runsolver version 3.4.0 (svn: 3018) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 15859 MiB (13244 MiB free)
  memory of node 1: 16087 MiB (13548 MiB free)
  node distances:
     10  21
     21  10

command line: runsolver -W 1800 ./pigeonPur.py ./benchmarks/sat-2002/goldberg/rand_net/rand_net70-40-1.shuffled.cnf 

running on 1 cores: 5

Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Linux 4.18.0-301.1.el8.x86_64
solver pid=1191618, runsolver pid=1191617
Current StackSize limit: 8192 KiB


[startup+0.100669 s]*
/proc/loadavg: 0.01 1.69 3.70 12/570 1191623
/proc/meminfo: memFree=27373056/32713960 swapFree=33554428/33554428
[pid=1191618] ppid=1191617 vsize=42596 memory=15524 CPUtime=0.07 cores=5
/proc/1191618/stat : 1191618 (pigeonPur.py) R 1191617 1191618 1191584 0 -1 4194304 2710 0 0 0 7 0 0 0 20 0 1 0 347654737 43618304 3881 18446744073709551615 93911708418048 93911708422160 140729408950016 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 1 0 0 93911710522624 93911710523396 93911733022720 140729408954862 140729408954963 140729408954963 140729408958441 0
/proc/1191618/statm: 10649 3881 1527 2 0 3061 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 42596 KiB
Current children cumulated memory: 15524 KiB

[startup+0.22367 s]*
/proc/loadavg: 0.01 1.69 3.70 12/570 1191623
/proc/meminfo: memFree=27346320/32713960 swapFree=33554428/33554428
[pid=1191618] ppid=1191617 vsize=46048 memory=19484 CPUtime=0.18 cores=5
/proc/1191618/stat : 1191618 (pigeonPur.py) R 1191617 1191618 1191584 0 -1 4194304 3681 0 0 0 17 1 0 0 20 0 1 0 347654737 47153152 4871 18446744073709551615 93911708418048 93911708422160 140729408950016 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 1 0 0 93911710522624 93911710523396 93911733022720 140729408954862 140729408954963 140729408954963 140729408958441 0
/proc/1191618/statm: 11512 4871 1527 2 0 3924 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 46048 KiB
Current children cumulated memory: 19484 KiB

[startup+0.329675 s]*
/proc/loadavg: 0.01 1.69 3.70 12/570 1191623
/proc/meminfo: memFree=27343212/32713960 swapFree=33554428/33554428
[pid=1191618] ppid=1191617 vsize=46048 memory=19484 CPUtime=0.27 cores=5
/proc/1191618/stat : 1191618 (pigeonPur.py) R 1191617 1191618 1191584 0 -1 4194304 3681 0 0 0 26 1 0 0 20 0 1 0 347654737 47153152 4871 18446744073709551615 93911708418048 93911708422160 140729408950016 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 1 0 0 93911710522624 93911710523396 93911733022720 140729408954862 140729408954963 140729408954963 140729408958441 0
/proc/1191618/statm: 11512 4871 1527 2 0 3924 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 46048 KiB
Current children cumulated memory: 19484 KiB

[startup+0.700677 s]
/proc/loadavg: 0.01 1.69 3.70 12/570 1191623
/proc/meminfo: memFree=27340512/32713960 swapFree=33554428/33554428
[pid=1191618] ppid=1191617 vsize=46048 memory=19484 CPUtime=0.58 cores=5
/proc/1191618/stat : 1191618 (pigeonPur.py) R 1191617 1191618 1191584 0 -1 4194304 3681 0 0 0 57 1 0 0 20 0 1 0 347654737 47153152 4871 18446744073709551615 93911708418048 93911708422160 140729408950016 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 1 0 0 93911710522624 93911710523396 93911733022720 140729408954862 140729408954963 140729408954963 140729408958441 0
/proc/1191618/statm: 11512 4871 1527 2 0 3924 0
Current children cumulated CPU time: 0.58 s
Current children cumulated vsize: 46048 KiB
Current children cumulated memory: 19484 KiB

[startup+1.50069 s]
/proc/loadavg: 0.01 1.69 3.70 13/570 1191623
/proc/meminfo: memFree=27340512/32713960 swapFree=33554428/33554428
[pid=1191618] ppid=1191617 vsize=46048 memory=19484 CPUtime=1.36 cores=5
/proc/1191618/stat : 1191618 (pigeonPur.py) R 1191617 1191618 1191584 0 -1 4194304 3682 0 0 0 135 1 0 0 20 0 1 0 347654737 47153152 4871 18446744073709551615 93911708418048 93911708422160 140729408950016 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 1 0 0 93911710522624 93911710523396 93911733022720 140729408954862 140729408954963 140729408954963 140729408958441 0
/proc/1191618/statm: 11512 4871 1527 2 0 3924 0
Current children cumulated CPU time: 1.36 s
Current children cumulated vsize: 46048 KiB
Current children cumulated memory: 19484 KiB

[startup+3.12167 s]
/proc/loadavg: 0.65 1.79 3.72 12/570 1191623
/proc/meminfo: memFree=27340612/32713960 swapFree=33554428/33554428
[pid=1191618] ppid=1191617 vsize=46048 memory=19484 CPUtime=2.93 cores=5
/proc/1191618/stat : 1191618 (pigeonPur.py) R 1191617 1191618 1191584 0 -1 4194304 3682 0 0 0 292 1 0 0 20 0 1 0 347654737 47153152 4871 18446744073709551615 93911708418048 93911708422160 140729408950016 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 1 0 0 93911710522624 93911710523396 93911733022720 140729408954862 140729408954963 140729408954963 140729408958441 0
/proc/1191618/statm: 11512 4871 1527 2 0 3924 0
Current children cumulated CPU time: 2.93 s
Current children cumulated vsize: 46048 KiB
Current children cumulated memory: 19484 KiB

[startup+6.30067 s]
/proc/loadavg: 0.65 1.79 3.72 13/570 1191623
/proc/meminfo: memFree=27340588/32713960 swapFree=33554428/33554428
[pid=1191618] ppid=1191617 vsize=46048 memory=19484 CPUtime=6.04 cores=5
/proc/1191618/stat : 1191618 (pigeonPur.py) R 1191617 1191618 1191584 0 -1 4194304 3682 0 0 0 603 1 0 0 20 0 1 0 347654737 47153152 4871 18446744073709551615 93911708418048 93911708422160 140729408950016 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 1 0 0 93911710522624 93911710523396 93911733022720 140729408954862 140729408954963 140729408954963 140729408958441 0
/proc/1191618/statm: 11512 4871 1527 2 0 3924 0
Current children cumulated CPU time: 6.04 s
Current children cumulated vsize: 46048 KiB
Current children cumulated memory: 19484 KiB

[startup+12.7007 s]
/proc/loadavg: 1.32 1.91 3.75 11/570 1191631
/proc/meminfo: memFree=27340148/32713960 swapFree=33554428/33554428
[pid=1191618] ppid=1191617 vsize=46048 memory=19484 CPUtime=12.29 cores=5
/proc/1191618/stat : 1191618 (pigeonPur.py) R 1191617 1191618 1191584 0 -1 4194304 3682 0 0 0 1228 1 0 0 20 0 1 0 347654737 47153152 4871 18446744073709551615 93911708418048 93911708422160 140729408950016 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 1 0 0 93911710522624 93911710523396 93911733022720 140729408954862 140729408954963 140729408954963 140729408958441 0
/proc/1191618/statm: 11512 4871 1527 2 0 3924 0
Current children cumulated CPU time: 12.29 s
Current children cumulated vsize: 46048 KiB
Current children cumulated memory: 19484 KiB

[startup+25.5037 s]
/proc/loadavg: 2.87 2.23 3.83 12/570 1191632
/proc/meminfo: memFree=27340920/32713960 swapFree=33554428/33554428
[pid=1191618] ppid=1191617 vsize=46048 memory=19484 CPUtime=24.78 cores=5
/proc/1191618/stat : 1191618 (pigeonPur.py) R 1191617 1191618 1191584 0 -1 4194304 3683 0 0 0 2477 1 0 0 20 0 1 0 347654737 47153152 4871 18446744073709551615 93911708418048 93911708422160 140729408950016 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 1 0 0 93911710522624 93911710523396 93911733022720 140729408954862 140729408954963 140729408954963 140729408958441 0
/proc/1191618/statm: 11512 4871 1527 2 0 3924 0
Current children cumulated CPU time: 24.78 s
Current children cumulated vsize: 46048 KiB
Current children cumulated memory: 19484 KiB

[startup+51.1187 s]
/proc/loadavg: 4.84 2.74 3.95 13/570 1191632
/proc/meminfo: memFree=27329384/32713960 swapFree=33554428/33554428
[pid=1191618] ppid=1191617 vsize=46048 memory=21412 CPUtime=49.76 cores=5
/proc/1191618/stat : 1191618 (pigeonPur.py) R 1191617 1191618 1191584 0 -1 4194304 3710 0 0 0 4975 1 0 0 20 0 1 0 347654737 47153152 5353 18446744073709551615 93911708418048 93911708422160 140729408950016 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 1 0 0 93911710522624 93911710523396 93911733022720 140729408954862 140729408954963 140729408954963 140729408958441 0
/proc/1191618/statm: 11512 5353 1527 2 0 3924 0
Current children cumulated CPU time: 49.76 s
Current children cumulated vsize: 46048 KiB
Current children cumulated memory: 21412 KiB

[startup+102.301 s]
/proc/loadavg: 6.83 3.62 4.19 12/570 1191641
/proc/meminfo: memFree=27328852/32713960 swapFree=33554428/33554428
[pid=1191618] ppid=1191617 vsize=46048 memory=21496 CPUtime=99.69 cores=5
/proc/1191618/stat : 1191618 (pigeonPur.py) R 1191617 1191618 1191584 0 -1 4194304 3730 0 0 0 9968 1 0 0 20 0 1 0 347654737 47153152 5374 18446744073709551615 93911708418048 93911708422160 140729408950016 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 1 0 0 93911710522624 93911710523396 93911733022720 140729408954862 140729408954963 140729408954963 140729408958441 0
/proc/1191618/statm: 11512 5374 1527 2 0 3924 0
Current children cumulated CPU time: 99.69 s
Current children cumulated vsize: 46048 KiB
Current children cumulated memory: 21496 KiB

[startup+162.301 s]
/proc/loadavg: 7.65 4.44 4.44 12/570 1191650
/proc/meminfo: memFree=27328560/32713960 swapFree=33554428/33554428
[pid=1191618] ppid=1191617 vsize=46048 memory=21496 CPUtime=158.22 cores=5
/proc/1191618/stat : 1191618 (pigeonPur.py) R 1191617 1191618 1191584 0 -1 4194304 3740 0 0 0 15821 1 0 0 20 0 1 0 347654737 47153152 5374 18446744073709551615 93911708418048 93911708422160 140729408950016 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 1 0 0 93911710522624 93911710523396 93911733022720 140729408954862 140729408954963 140729408954963 140729408958441 0
/proc/1191618/statm: 11512 5374 1527 2 0 3924 0
Current children cumulated CPU time: 158.22 s
Current children cumulated vsize: 46048 KiB
Current children cumulated memory: 21496 KiB

[startup+222.301 s]
/proc/loadavg: 7.97 5.12 4.68 11/570 1191661
/proc/meminfo: memFree=27326876/32713960 swapFree=33554428/33554428
[pid=1191618] ppid=1191617 vsize=46048 memory=21496 CPUtime=216.72 cores=5
/proc/1191618/stat : 1191618 (pigeonPur.py) R 1191617 1191618 1191584 0 -1 4194304 3745 0 0 0 21671 1 0 0 20 0 1 0 347654737 47153152 5374 18446744073709551615 93911708418048 93911708422160 140729408950016 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 1 0 0 93911710522624 93911710523396 93911733022720 140729408954862 140729408954963 140729408954963 140729408958441 0
/proc/1191618/statm: 11512 5374 1527 2 0 3924 0
Current children cumulated CPU time: 216.72 s
Current children cumulated vsize: 46048 KiB
Current children cumulated memory: 21496 KiB

[startup+282.301 s]
/proc/loadavg: 8.08 5.68 4.90 11/569 1191670
/proc/meminfo: memFree=27327012/32713960 swapFree=33554428/33554428
[pid=1191618] ppid=1191617 vsize=46048 memory=21496 CPUtime=275.23 cores=5
/proc/1191618/stat : 1191618 (pigeonPur.py) R 1191617 1191618 1191584 0 -1 4194304 3750 0 0 0 27522 1 0 0 20 0 1 0 347654737 47153152 5374 18446744073709551615 93911708418048 93911708422160 140729408950016 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 1 0 0 93911710522624 93911710523396 93911733022720 140729408954862 140729408954963 140729408954963 140729408958441 0
/proc/1191618/statm: 11512 5374 1527 2 0 3924 0
Current children cumulated CPU time: 275.23 s
Current children cumulated vsize: 46048 KiB
Current children cumulated memory: 21496 KiB

[startup+342.301 s]
/proc/loadavg: 8.35 6.18 5.12 13/567 1191679
/proc/meminfo: memFree=27326356/32713960 swapFree=33554428/33554428
[pid=1191618] ppid=1191617 vsize=46048 memory=21496 CPUtime=333.75 cores=5
/proc/1191618/stat : 1191618 (pigeonPur.py) R 1191617 1191618 1191584 0 -1 4194304 3755 0 0 0 33374 1 0 0 20 0 1 0 347654737 47153152 5374 18446744073709551615 93911708418048 93911708422160 140729408950016 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 1 0 0 93911710522624 93911710523396 93911733022720 140729408954862 140729408954963 140729408954963 140729408958441 0
/proc/1191618/statm: 11512 5374 1527 2 0 3924 0
Current children cumulated CPU time: 333.75 s
Current children cumulated vsize: 46048 KiB
Current children cumulated memory: 21496 KiB

[startup+402.301 s]
/proc/loadavg: 8.38 6.59 5.33 13/567 1191689
/proc/meminfo: memFree=27326164/32713960 swapFree=33554428/33554428
[pid=1191618] ppid=1191617 vsize=46048 memory=21496 CPUtime=392.28 cores=5
/proc/1191618/stat : 1191618 (pigeonPur.py) R 1191617 1191618 1191584 0 -1 4194304 3760 0 0 0 39227 1 0 0 20 0 1 0 347654737 47153152 5374 18446744073709551615 93911708418048 93911708422160 140729408950016 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 1 0 0 93911710522624 93911710523396 93911733022720 140729408954862 140729408954963 140729408954963 140729408958441 0
/proc/1191618/statm: 11512 5374 1527 2 0 3924 0
Current children cumulated CPU time: 392.28 s
Current children cumulated vsize: 46048 KiB
Current children cumulated memory: 21496 KiB

[startup+462.301 s]
/proc/loadavg: 8.40 6.94 5.53 13/567 1191698
/proc/meminfo: memFree=27325704/32713960 swapFree=33554428/33554428
[pid=1191618] ppid=1191617 vsize=46048 memory=21496 CPUtime=450.81 cores=5
/proc/1191618/stat : 1191618 (pigeonPur.py) R 1191617 1191618 1191584 0 -1 4194304 3765 0 0 0 45080 1 0 0 20 0 1 0 347654737 47153152 5374 18446744073709551615 93911708418048 93911708422160 140729408950016 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 1 0 0 93911710522624 93911710523396 93911733022720 140729408954862 140729408954963 140729408954963 140729408958441 0
/proc/1191618/statm: 11512 5374 1527 2 0 3924 0
Current children cumulated CPU time: 450.81 s
Current children cumulated vsize: 46048 KiB
Current children cumulated memory: 21496 KiB

[startup+522.301 s]
/proc/loadavg: 8.52 7.24 5.72 12/568 1191709
/proc/meminfo: memFree=27325656/32713960 swapFree=33554428/33554428
[pid=1191618] ppid=1191617 vsize=46048 memory=21496 CPUtime=509.34 cores=5
/proc/1191618/stat : 1191618 (pigeonPur.py) R 1191617 1191618 1191584 0 -1 4194304 3770 0 0 0 50933 1 0 0 20 0 1 0 347654737 47153152 5374 18446744073709551615 93911708418048 93911708422160 140729408950016 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 1 0 0 93911710522624 93911710523396 93911733022720 140729408954862 140729408954963 140729408954963 140729408958441 0
/proc/1191618/statm: 11512 5374 1527 2 0 3924 0
Current children cumulated CPU time: 509.34 s
Current children cumulated vsize: 46048 KiB
Current children cumulated memory: 21496 KiB

[startup+582.301 s]
/proc/loadavg: 8.57 7.49 5.91 13/568 1191719
/proc/meminfo: memFree=27325524/32713960 swapFree=33554428/33554428
[pid=1191618] ppid=1191617 vsize=46048 memory=21496 CPUtime=567.86 cores=5
/proc/1191618/stat : 1191618 (pigeonPur.py) R 1191617 1191618 1191584 0 -1 4194304 3775 0 0 0 56785 1 0 0 20 0 1 0 347654737 47153152 5374 18446744073709551615 93911708418048 93911708422160 140729408950016 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 1 0 0 93911710522624 93911710523396 93911733022720 140729408954862 140729408954963 140729408954963 140729408958441 0
/proc/1191618/statm: 11512 5374 1527 2 0 3924 0
Current children cumulated CPU time: 567.86 s
Current children cumulated vsize: 46048 KiB
Current children cumulated memory: 21496 KiB

[startup+642.301 s]
/proc/loadavg: 8.59 7.69 6.08 12/568 1191728
/proc/meminfo: memFree=27325448/32713960 swapFree=33554428/33554428
[pid=1191618] ppid=1191617 vsize=46048 memory=21496 CPUtime=626.41 cores=5
/proc/1191618/stat : 1191618 (pigeonPur.py) R 1191617 1191618 1191584 0 -1 4194304 3780 0 0 0 62640 1 0 0 20 0 1 0 347654737 47153152 5374 18446744073709551615 93911708418048 93911708422160 140729408950016 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 1 0 0 93911710522624 93911710523396 93911733022720 140729408954862 140729408954963 140729408954963 140729408958441 0
/proc/1191618/statm: 11512 5374 1527 2 0 3924 0
Current children cumulated CPU time: 626.41 s
Current children cumulated vsize: 46048 KiB
Current children cumulated memory: 21496 KiB

[startup+702.301 s]
/proc/loadavg: 8.78 7.93 6.26 13/569 1191749
/proc/meminfo: memFree=27323280/32713960 swapFree=33554428/33554428
[pid=1191618] ppid=1191617 vsize=46048 memory=21496 CPUtime=684.94 cores=5
/proc/1191618/stat : 1191618 (pigeonPur.py) R 1191617 1191618 1191584 0 -1 4194304 3785 0 0 0 68493 1 0 0 20 0 1 0 347654737 47153152 5374 18446744073709551615 93911708418048 93911708422160 140729408950016 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 1 0 0 93911710522624 93911710523396 93911733022720 140729408954862 140729408954963 140729408954963 140729408958441 0
/proc/1191618/statm: 11512 5374 1527 2 0 3924 0
Current children cumulated CPU time: 684.94 s
Current children cumulated vsize: 46048 KiB
Current children cumulated memory: 21496 KiB

[startup+762.308 s]
/proc/loadavg: 8.44 7.99 6.39 12/569 1191758
/proc/meminfo: memFree=27324228/32713960 swapFree=33554428/33554428
[pid=1191618] ppid=1191617 vsize=46048 memory=21496 CPUtime=743.36 cores=5
/proc/1191618/stat : 1191618 (pigeonPur.py) R 1191617 1191618 1191584 0 -1 4194304 3790 0 0 0 74335 1 0 0 20 0 1 0 347654737 47153152 5374 18446744073709551615 93911708418048 93911708422160 140729408950016 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 1 0 0 93911710522624 93911710523396 93911733022720 140729408954862 140729408954963 140729408954963 140729408958441 0
/proc/1191618/statm: 11512 5374 1527 2 0 3924 0
Current children cumulated CPU time: 743.36 s
Current children cumulated vsize: 46048 KiB
Current children cumulated memory: 21496 KiB

[startup+822.301 s]
/proc/loadavg: 8.51 8.07 6.52 12/569 1191768
/proc/meminfo: memFree=27324024/32713960 swapFree=33554428/33554428
[pid=1191618] ppid=1191617 vsize=46048 memory=21496 CPUtime=801.89 cores=5
/proc/1191618/stat : 1191618 (pigeonPur.py) R 1191617 1191618 1191584 0 -1 4194304 3795 0 0 0 80188 1 0 0 20 0 1 0 347654737 47153152 5374 18446744073709551615 93911708418048 93911708422160 140729408950016 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 1 0 0 93911710522624 93911710523396 93911733022720 140729408954862 140729408954963 140729408954963 140729408958441 0
/proc/1191618/statm: 11512 5374 1527 2 0 3924 0
Current children cumulated CPU time: 801.89 s
Current children cumulated vsize: 46048 KiB
Current children cumulated memory: 21496 KiB

[startup+882.301 s]
/proc/loadavg: 10.16 8.62 6.81 12/568 1191777
/proc/meminfo: memFree=27324104/32713960 swapFree=33554428/33554428
[pid=1191618] ppid=1191617 vsize=46048 memory=21496 CPUtime=860.39 cores=5
/proc/1191618/stat : 1191618 (pigeonPur.py) R 1191617 1191618 1191584 0 -1 4194304 3800 0 0 0 86038 1 0 0 20 0 1 0 347654737 47153152 5374 18446744073709551615 93911708418048 93911708422160 140729408950016 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 1 0 0 93911710522624 93911710523396 93911733022720 140729408954862 140729408954963 140729408954963 140729408958441 0
/proc/1191618/statm: 11512 5374 1527 2 0 3924 0
Current children cumulated CPU time: 860.39 s
Current children cumulated vsize: 46048 KiB
Current children cumulated memory: 21496 KiB

[startup+942.301 s]
/proc/loadavg: 11.38 9.23 7.13 13/568 1191786
/proc/meminfo: memFree=27324104/32713960 swapFree=33554428/33554428
[pid=1191618] ppid=1191617 vsize=46048 memory=21496 CPUtime=918.88 cores=5
/proc/1191618/stat : 1191618 (pigeonPur.py) R 1191617 1191618 1191584 0 -1 4194304 3805 0 0 0 91887 1 0 0 20 0 1 0 347654737 47153152 5374 18446744073709551615 93911708418048 93911708422160 140729408950016 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 1 0 0 93911710522624 93911710523396 93911733022720 140729408954862 140729408954963 140729408954963 140729408958441 0
/proc/1191618/statm: 11512 5374 1527 2 0 3924 0
Current children cumulated CPU time: 918.88 s
Current children cumulated vsize: 46048 KiB
Current children cumulated memory: 21496 KiB

[startup+1002.3 s]
/proc/loadavg: 11.73 9.70 7.42 12/567 1191796
/proc/meminfo: memFree=27324148/32713960 swapFree=33554428/33554428
[pid=1191618] ppid=1191617 vsize=46048 memory=21496 CPUtime=977.39 cores=5
/proc/1191618/stat : 1191618 (pigeonPur.py) R 1191617 1191618 1191584 0 -1 4194304 3810 0 0 0 97738 1 0 0 20 0 1 0 347654737 47153152 5374 18446744073709551615 93911708418048 93911708422160 140729408950016 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 1 0 0 93911710522624 93911710523396 93911733022720 140729408954862 140729408954963 140729408954963 140729408958441 0
/proc/1191618/statm: 11512 5374 1527 2 0 3924 0
Current children cumulated CPU time: 977.39 s
Current children cumulated vsize: 46048 KiB
Current children cumulated memory: 21496 KiB

[startup+1062.3 s]
/proc/loadavg: 12.00 10.16 7.73 13/567 1191805
/proc/meminfo: memFree=27324040/32713960 swapFree=33554428/33554428
[pid=1191618] ppid=1191617 vsize=46048 memory=21496 CPUtime=1035.88 cores=5
/proc/1191618/stat : 1191618 (pigeonPur.py) R 1191617 1191618 1191584 0 -1 4194304 3815 0 0 0 103587 1 0 0 20 0 1 0 347654737 47153152 5374 18446744073709551615 93911708418048 93911708422160 140729408950016 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 1 0 0 93911710522624 93911710523396 93911733022720 140729408954862 140729408954963 140729408954963 140729408958441 0
/proc/1191618/statm: 11512 5374 1527 2 0 3924 0
Current children cumulated CPU time: 1035.88 s
Current children cumulated vsize: 46048 KiB
Current children cumulated memory: 21496 KiB

[startup+1122.3 s]
/proc/loadavg: 11.83 10.47 7.99 14/569 1191827
/proc/meminfo: memFree=27323612/32713960 swapFree=33554428/33554428
[pid=1191618] ppid=1191617 vsize=46048 memory=21496 CPUtime=1094.42 cores=5
/proc/1191618/stat : 1191618 (pigeonPur.py) R 1191617 1191618 1191584 0 -1 4194304 3820 0 0 0 109441 1 0 0 20 0 1 0 347654737 47153152 5374 18446744073709551615 93911708418048 93911708422160 140729408950016 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 1 0 0 93911710522624 93911710523396 93911733022720 140729408954862 140729408954963 140729408954963 140729408958441 0
/proc/1191618/statm: 11512 5374 1527 2 0 3924 0
Current children cumulated CPU time: 1094.42 s
Current children cumulated vsize: 46048 KiB
Current children cumulated memory: 21496 KiB

[startup+1182.3 s]
/proc/loadavg: 10.24 10.28 8.08 13/570 1191838
/proc/meminfo: memFree=27323860/32713960 swapFree=33554428/33554428
[pid=1191618] ppid=1191617 vsize=46048 memory=21496 CPUtime=1152.95 cores=5
/proc/1191618/stat : 1191618 (pigeonPur.py) R 1191617 1191618 1191584 0 -1 4194304 3825 0 0 0 115294 1 0 0 20 0 1 0 347654737 47153152 5374 18446744073709551615 93911708418048 93911708422160 140729408950016 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 1 0 0 93911710522624 93911710523396 93911733022720 140729408954862 140729408954963 140729408954963 140729408958441 0
/proc/1191618/statm: 11512 5374 1527 2 0 3924 0
Current children cumulated CPU time: 1152.95 s
Current children cumulated vsize: 46048 KiB
Current children cumulated memory: 21496 KiB

[startup+1242.3 s]
/proc/loadavg: 9.27 10.01 8.13 12/571 1191848
/proc/meminfo: memFree=27323608/32713960 swapFree=33554428/33554428
[pid=1191618] ppid=1191617 vsize=46048 memory=21496 CPUtime=1211.47 cores=5
/proc/1191618/stat : 1191618 (pigeonPur.py) R 1191617 1191618 1191584 0 -1 4194304 3830 0 0 0 121146 1 0 0 20 0 1 0 347654737 47153152 5374 18446744073709551615 93911708418048 93911708422160 140729408950016 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 1 0 0 93911710522624 93911710523396 93911733022720 140729408954862 140729408954963 140729408954963 140729408958441 0
/proc/1191618/statm: 11512 5374 1527 2 0 3924 0
Current children cumulated CPU time: 1211.47 s
Current children cumulated vsize: 46048 KiB
Current children cumulated memory: 21496 KiB

[startup+1302.3 s]
/proc/loadavg: 8.73 9.72 8.15 13/571 1191857
/proc/meminfo: memFree=27323740/32713960 swapFree=33554428/33554428
[pid=1191618] ppid=1191617 vsize=46048 memory=21496 CPUtime=1269.93 cores=5
/proc/1191618/stat : 1191618 (pigeonPur.py) R 1191617 1191618 1191584 0 -1 4194304 3835 0 0 0 126992 1 0 0 20 0 1 0 347654737 47153152 5374 18446744073709551615 93911708418048 93911708422160 140729408950016 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 1 0 0 93911710522624 93911710523396 93911733022720 140729408954862 140729408954963 140729408954963 140729408958441 0
/proc/1191618/statm: 11512 5374 1527 2 0 3924 0
Current children cumulated CPU time: 1269.93 s
Current children cumulated vsize: 46048 KiB
Current children cumulated memory: 21496 KiB

[startup+1362.3 s]
/proc/loadavg: 8.42 9.45 8.15 12/571 1191866
/proc/meminfo: memFree=27323632/32713960 swapFree=33554428/33554428
[pid=1191618] ppid=1191617 vsize=46048 memory=21496 CPUtime=1328.36 cores=5
/proc/1191618/stat : 1191618 (pigeonPur.py) R 1191617 1191618 1191584 0 -1 4194304 3840 0 0 0 132835 1 0 0 20 0 1 0 347654737 47153152 5374 18446744073709551615 93911708418048 93911708422160 140729408950016 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 1 0 0 93911710522624 93911710523396 93911733022720 140729408954862 140729408954963 140729408954963 140729408958441 0
/proc/1191618/statm: 11512 5374 1527 2 0 3924 0
Current children cumulated CPU time: 1328.36 s
Current children cumulated vsize: 46048 KiB
Current children cumulated memory: 21496 KiB

[startup+1422.3 s]
/proc/loadavg: 8.20 9.20 8.15 11/569 1191876
/proc/meminfo: memFree=27323752/32713960 swapFree=33554428/33554428
[pid=1191618] ppid=1191617 vsize=46048 memory=21496 CPUtime=1386.83 cores=5
/proc/1191618/stat : 1191618 (pigeonPur.py) R 1191617 1191618 1191584 0 -1 4194304 3845 0 0 0 138682 1 0 0 20 0 1 0 347654737 47153152 5374 18446744073709551615 93911708418048 93911708422160 140729408950016 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 1 0 0 93911710522624 93911710523396 93911733022720 140729408954862 140729408954963 140729408954963 140729408958441 0
/proc/1191618/statm: 11512 5374 1527 2 0 3924 0
Current children cumulated CPU time: 1386.83 s
Current children cumulated vsize: 46048 KiB
Current children cumulated memory: 21496 KiB

[startup+1482.3 s]
/proc/loadavg: 8.53 9.10 8.18 14/568 1191885
/proc/meminfo: memFree=27323604/32713960 swapFree=33554428/33554428
[pid=1191618] ppid=1191617 vsize=46048 memory=21496 CPUtime=1445.34 cores=5
/proc/1191618/stat : 1191618 (pigeonPur.py) R 1191617 1191618 1191584 0 -1 4194304 3850 0 0 0 144533 1 0 0 20 0 1 0 347654737 47153152 5374 18446744073709551615 93911708418048 93911708422160 140729408950016 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 1 0 0 93911710522624 93911710523396 93911733022720 140729408954862 140729408954963 140729408954963 140729408958441 0
/proc/1191618/statm: 11512 5374 1527 2 0 3924 0
Current children cumulated CPU time: 1445.34 s
Current children cumulated vsize: 46048 KiB
Current children cumulated memory: 21496 KiB

[startup+1542.3 s]
/proc/loadavg: 8.36 8.94 8.18 13/568 1191894
/proc/meminfo: memFree=27323996/32713960 swapFree=33554428/33554428
[pid=1191618] ppid=1191617 vsize=46048 memory=21496 CPUtime=1503.85 cores=5
/proc/1191618/stat : 1191618 (pigeonPur.py) R 1191617 1191618 1191584 0 -1 4194304 3855 0 0 0 150384 1 0 0 20 0 1 0 347654737 47153152 5374 18446744073709551615 93911708418048 93911708422160 140729408950016 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 1 0 0 93911710522624 93911710523396 93911733022720 140729408954862 140729408954963 140729408954963 140729408958441 0
/proc/1191618/statm: 11512 5374 1527 2 0 3924 0
Current children cumulated CPU time: 1503.85 s
Current children cumulated vsize: 46048 KiB
Current children cumulated memory: 21496 KiB

[startup+1602.3 s]
/proc/loadavg: 8.43 8.86 8.20 12/567 1191912
/proc/meminfo: memFree=27323776/32713960 swapFree=33554428/33554428
[pid=1191618] ppid=1191617 vsize=46048 memory=21496 CPUtime=1562.31 cores=5
/proc/1191618/stat : 1191618 (pigeonPur.py) R 1191617 1191618 1191584 0 -1 4194304 3860 0 0 0 156230 1 0 0 20 0 1 0 347654737 47153152 5374 18446744073709551615 93911708418048 93911708422160 140729408950016 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 1 0 0 93911710522624 93911710523396 93911733022720 140729408954862 140729408954963 140729408954963 140729408958441 0
/proc/1191618/statm: 11512 5374 1527 2 0 3924 0
Current children cumulated CPU time: 1562.31 s
Current children cumulated vsize: 46048 KiB
Current children cumulated memory: 21496 KiB

[startup+1662.3 s]
/proc/loadavg: 8.55 8.81 8.23 12/567 1191921
/proc/meminfo: memFree=27323792/32713960 swapFree=33554428/33554428
[pid=1191618] ppid=1191617 vsize=46048 memory=21496 CPUtime=1620.79 cores=5
/proc/1191618/stat : 1191618 (pigeonPur.py) R 1191617 1191618 1191584 0 -1 4194304 3865 0 0 0 162078 1 0 0 20 0 1 0 347654737 47153152 5374 18446744073709551615 93911708418048 93911708422160 140729408950016 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 1 0 0 93911710522624 93911710523396 93911733022720 140729408954862 140729408954963 140729408954963 140729408958441 0
/proc/1191618/statm: 11512 5374 1527 2 0 3924 0
Current children cumulated CPU time: 1620.79 s
Current children cumulated vsize: 46048 KiB
Current children cumulated memory: 21496 KiB

[startup+1722.3 s]
/proc/loadavg: 8.45 8.74 8.24 12/567 1191931
/proc/meminfo: memFree=27323156/32713960 swapFree=33554428/33554428
[pid=1191618] ppid=1191617 vsize=46048 memory=21496 CPUtime=1679.33 cores=5
/proc/1191618/stat : 1191618 (pigeonPur.py) R 1191617 1191618 1191584 0 -1 4194304 3870 0 0 0 167932 1 0 0 20 0 1 0 347654737 47153152 5374 18446744073709551615 93911708418048 93911708422160 140729408950016 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 1 0 0 93911710522624 93911710523396 93911733022720 140729408954862 140729408954963 140729408954963 140729408958441 0
/proc/1191618/statm: 11512 5374 1527 2 0 3924 0
Current children cumulated CPU time: 1679.33 s
Current children cumulated vsize: 46048 KiB
Current children cumulated memory: 21496 KiB

[startup+1782.3 s]
/proc/loadavg: 8.48 8.69 8.25 13/567 1191941
/proc/meminfo: memFree=27323812/32713960 swapFree=33554428/33554428
[pid=1191618] ppid=1191617 vsize=46048 memory=21496 CPUtime=1737.87 cores=5
/proc/1191618/stat : 1191618 (pigeonPur.py) R 1191617 1191618 1191584 0 -1 4194304 3875 0 0 0 173786 1 0 0 20 0 1 0 347654737 47153152 5374 18446744073709551615 93911708418048 93911708422160 140729408950016 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 1 0 0 93911710522624 93911710523396 93911733022720 140729408954862 140729408954963 140729408954963 140729408958441 0
/proc/1191618/statm: 11512 5374 1527 2 0 3924 0
Current children cumulated CPU time: 1737.87 s
Current children cumulated vsize: 46048 KiB
Current children cumulated memory: 21496 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]*
/proc/loadavg: 8.41 8.66 8.25 12/567 1191942
/proc/meminfo: memFree=27337204/32713960 swapFree=33554428/33554428
[pid=1191618] ppid=1191617 vsize=46048 memory=21496 CPUtime=1755.15 cores=5
/proc/1191618/stat : 1191618 (pigeonPur.py) R 1191617 1191618 1191584 0 -1 4194304 3875 0 0 0 175514 1 0 0 20 0 1 0 347654737 47153152 5374 18446744073709551615 93911708418048 93911708422160 140729408950016 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 1 0 0 93911710522624 93911710523396 93911733022720 140729408954862 140729408954963 140729408954963 140729408958441 0
/proc/1191618/statm: 11512 5374 1527 2 0 3924 0
Current children cumulated CPU time: 1755.15 s
Current children cumulated vsize: 46048 KiB
Current children cumulated memory: 21496 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Detected pigeons:

[startup+1800.06 s]
# the end of solver process 1191618 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1755.16 s, system=0.013864 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 1
Real time (s): 1800.06
CPU time (s): 1755.17
CPU user time (s): 1755.16
CPU system time (s): 0.013864
CPU usage (%): 97.5063
Max. virtual memory (cumulated for all children) (KiB): 46048
Max. memory (cumulated for all children) (KiB): 21496

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1755.16
system time used= 0.013864
maximum resident set size= 21496
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3877
page faults= 0
swaps= 0
block input operations= 472
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 18
involuntary context switches= 58366


# summary of solver processes directly reported to runsolver:
#   pid: 1191618
#   total CPU time (s): 1755.17
#   total CPU user time (s): 1755.16
#   total CPU system time (s): 0.013864

??? end of timestamper thread
runsolver used 15.8277 second user time and 19.8812 second system time

The end
