runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2682403-1277483445/watcher-2682403-1277483445 -o /tmp/evaluation-result-2682403-1277483445/solver-2682403-1277483445 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2682403-1277483445.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.07 1.03 0.96 2/106 29703
/proc/meminfo: memFree=1822616/2059040 swapFree=4136688/4192956
[pid=29703] ppid=29701 vsize=2280 CPUtime=0
/proc/29703/stat : 29703 (pbct) R 29701 29703 29172 0 -1 4202496 270 0 0 0 0 0 0 0 25 0 1 0 89636575 2334720 190 1992294400 134512640 136421960 4289736016 18446744073709551615 135377264 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29703/statm: 570 190 145 467 0 101 0

[startup+0.062023 s]
/proc/loadavg: 1.07 1.03 0.96 2/106 29703
/proc/meminfo: memFree=1822616/2059040 swapFree=4136688/4192956
[pid=29703] ppid=29701 vsize=2424 CPUtime=0.06
/proc/29703/stat : 29703 (pbct) R 29701 29703 29172 0 -1 4202496 320 0 0 0 6 0 0 0 25 0 1 0 89636575 2482176 240 1992294400 134512640 136421960 4289736016 18446744073709551615 135805316 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29703/statm: 606 240 145 467 0 137 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 2424

[startup+0.101028 s]
/proc/loadavg: 1.07 1.03 0.96 2/106 29703
/proc/meminfo: memFree=1822616/2059040 swapFree=4136688/4192956
[pid=29703] ppid=29701 vsize=2600 CPUtime=0.1
/proc/29703/stat : 29703 (pbct) R 29701 29703 29172 0 -1 4202496 357 0 0 0 10 0 0 0 25 0 1 0 89636575 2662400 277 1992294400 134512640 136421960 4289736016 18446744073709551615 135377231 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29703/statm: 650 277 145 467 0 181 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2600

[startup+0.301049 s]
/proc/loadavg: 1.07 1.03 0.96 2/106 29703
/proc/meminfo: memFree=1822616/2059040 swapFree=4136688/4192956
[pid=29703] ppid=29701 vsize=3392 CPUtime=0.29
/proc/29703/stat : 29703 (pbct) R 29701 29703 29172 0 -1 4202496 549 0 0 0 29 0 0 0 25 0 1 0 89636575 3473408 469 1992294400 134512640 136421960 4289736016 18446744073709551615 134536806 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29703/statm: 848 469 145 467 0 379 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3392

[startup+0.701091 s]
/proc/loadavg: 1.07 1.03 0.96 2/106 29703
/proc/meminfo: memFree=1822616/2059040 swapFree=4136688/4192956
[pid=29703] ppid=29701 vsize=5096 CPUtime=0.69
/proc/29703/stat : 29703 (pbct) R 29701 29703 29172 0 -1 4202496 1034 0 0 0 69 0 0 0 25 0 1 0 89636575 5218304 856 1992294400 134512640 136421960 4289736016 18446744073709551615 135809509 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29703/statm: 1274 856 145 467 0 805 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5096

[startup+1.50118 s]
/proc/loadavg: 1.06 1.03 0.96 2/107 29704
/proc/meminfo: memFree=1805620/2059040 swapFree=4136688/4192956
[pid=29703] ppid=29701 vsize=115012 CPUtime=1.49
/proc/29703/stat : 29703 (pbct) R 29701 29703 29172 0 -1 4202496 29509 0 0 0 137 12 0 0 25 0 1 0 89636575 117772288 27170 1992294400 134512640 136421960 4289736016 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29703/statm: 28753 27175 195 467 0 28284 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 115012

[startup+3.10035 s]
/proc/loadavg: 1.06 1.03 0.96 2/107 29704
/proc/meminfo: memFree=1675420/2059040 swapFree=4136688/4192956
[pid=29703] ppid=29701 vsize=165936 CPUtime=3.09
/proc/29703/stat : 29703 (pbct) R 29701 29703 29172 0 -1 4202496 42850 0 0 0 290 19 0 0 25 0 1 0 89636575 169918464 39222 1992294400 134512640 136421960 4289736016 18446744073709551615 134864148 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29703/statm: 41484 39222 236 467 0 41015 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 165936

[startup+6.30069 s]
/proc/loadavg: 1.06 1.03 0.96 2/107 29704
/proc/meminfo: memFree=1643800/2059040 swapFree=4136688/4192956
[pid=29703] ppid=29701 vsize=195828 CPUtime=6.29
/proc/29703/stat : 29703 (pbct) R 29701 29703 29172 0 -1 4202496 50329 0 0 0 603 26 0 0 25 0 1 0 89636575 200527872 46701 1992294400 134512640 136421960 4289736016 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29703/statm: 48957 46701 236 467 0 48488 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 195828

[startup+12.7014 s]
/proc/loadavg: 1.05 1.03 0.96 2/107 29704
/proc/meminfo: memFree=1586512/2059040 swapFree=4136688/4192956
[pid=29703] ppid=29701 vsize=250704 CPUtime=12.69
/proc/29703/stat : 29703 (pbct) R 29701 29703 29172 0 -1 4202496 64046 0 0 0 1229 40 0 0 25 0 1 0 89636575 256720896 60418 1992294400 134512640 136421960 4289736016 18446744073709551615 135010280 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29703/statm: 62709 60419 236 467 0 62240 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 250704

[startup+25.5018 s]
/proc/loadavg: 1.04 1.02 0.96 2/107 29706
/proc/meminfo: memFree=1512484/2059040 swapFree=4136688/4192956
[pid=29703] ppid=29701 vsize=319120 CPUtime=25.49
/proc/29703/stat : 29703 (pbct) R 29701 29703 29172 0 -1 4202496 81124 0 0 0 2486 63 0 0 25 0 1 0 89636575 326778880 77495 1992294400 134512640 136421960 4289736016 18446744073709551615 134860118 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29703/statm: 79780 77495 236 467 0 79311 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 319120

[startup+51.1015 s]
/proc/loadavg: 1.02 1.02 0.96 2/107 29706
/proc/meminfo: memFree=1512360/2059040 swapFree=4136688/4192956
[pid=29703] ppid=29701 vsize=319120 CPUtime=51.08
/proc/29703/stat : 29703 (pbct) R 29701 29703 29172 0 -1 4202496 81126 0 0 0 5018 90 0 0 25 0 1 0 89636575 326778880 77495 1992294400 134512640 136421960 4289736016 18446744073709551615 134864132 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29703/statm: 79780 77495 236 467 0 79311 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 319120

[startup+102.309 s]
/proc/loadavg: 1.08 1.03 0.97 2/107 29711
/proc/meminfo: memFree=1467596/2059040 swapFree=4136688/4192956
[pid=29703] ppid=29701 vsize=363096 CPUtime=102.27
/proc/29703/stat : 29703 (pbct) R 29701 29703 29172 0 -1 4202496 92116 0 0 0 10080 147 0 0 25 0 1 0 89636575 371810304 88485 1992294400 134512640 136421960 4289736016 18446744073709551615 134651063 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29703/statm: 90774 88485 236 467 0 90305 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 363096

[startup+162.301 s]
/proc/loadavg: 1.03 1.03 0.97 2/107 29711
/proc/meminfo: memFree=1435480/2059040 swapFree=4136688/4192956
[pid=29703] ppid=29701 vsize=395152 CPUtime=162.25
/proc/29703/stat : 29703 (pbct) R 29701 29703 29172 0 -1 4202496 100412 0 0 0 16017 208 0 0 25 0 1 0 89636575 404635648 96512 1992294400 134512640 136421960 4289736016 18446744073709551615 135820671 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29703/statm: 98788 96512 236 467 0 98319 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 395152

[startup+222.302 s]
/proc/loadavg: 1.01 1.02 0.97 2/107 29713
/proc/meminfo: memFree=1434736/2059040 swapFree=4136688/4192956
[pid=29703] ppid=29701 vsize=395256 CPUtime=222.24
/proc/29703/stat : 29703 (pbct) R 29701 29703 29172 0 -1 4202496 103528 0 0 0 21952 272 0 0 25 0 1 0 89636575 404742144 96542 1992294400 134512640 136421960 4289736016 18446744073709551615 134859887 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29703/statm: 98814 96542 236 467 0 98345 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 395256

[startup+282.301 s]
/proc/loadavg: 1.00 1.01 0.97 2/107 29715
/proc/meminfo: memFree=1429776/2059040 swapFree=4136688/4192956
[pid=29703] ppid=29701 vsize=400836 CPUtime=282.21
/proc/29703/stat : 29703 (pbct) R 29701 29703 29172 0 -1 4202496 104918 0 0 0 27893 328 0 0 25 0 1 0 89636575 410456064 97932 1992294400 134512640 136421960 4289736016 18446744073709551615 134860102 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29703/statm: 100209 97932 236 467 0 99740 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 400836

[startup+342.302 s]
/proc/loadavg: 1.00 1.01 0.97 2/107 29717
/proc/meminfo: memFree=1370628/2059040 swapFree=4136688/4192956
[pid=29703] ppid=29701 vsize=459780 CPUtime=342.2
/proc/29703/stat : 29703 (pbct) R 29701 29703 29172 0 -1 4202496 119656 0 0 0 33837 383 0 0 25 0 1 0 89636575 470814720 112670 1992294400 134512640 136421960 4289736016 18446744073709551615 135010280 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29703/statm: 114945 112670 236 467 0 114476 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 459780

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 0.97 2/107 29719
/proc/meminfo: memFree=1387988/2059040 swapFree=4136688/4192956
[pid=29703] ppid=29701 vsize=441852 CPUtime=402.19
/proc/29703/stat : 29703 (pbct) R 29701 29703 29172 0 -1 4202496 119656 0 0 0 39792 427 0 0 25 0 1 0 89636575 452456448 108201 1992294400 134512640 136421960 4289736016 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29703/statm: 110463 108201 236 467 0 109994 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 441852

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 0.97 2/107 29719
/proc/meminfo: memFree=1366660/2059040 swapFree=4136688/4192956
[pid=29703] ppid=29701 vsize=464012 CPUtime=462.17
/proc/29703/stat : 29703 (pbct) R 29701 29703 29172 0 -1 4202496 125163 0 0 0 45734 483 0 0 25 0 1 0 89636575 475148288 113708 1992294400 134512640 136421960 4289736016 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29703/statm: 116003 113708 236 467 0 115534 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 464012

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 0.97 2/107 29721
/proc/meminfo: memFree=1370132/2059040 swapFree=4136688/4192956
[pid=29703] ppid=29701 vsize=459800 CPUtime=522.15
/proc/29703/stat : 29703 (pbct) R 29701 29703 29172 0 -1 4202496 125163 0 0 0 51673 542 0 0 25 0 1 0 89636575 470835200 112687 1992294400 134512640 136421960 4289736016 18446744073709551615 135010246 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29703/statm: 114950 112687 236 467 0 114481 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 459800

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 0.97 2/107 29723
/proc/meminfo: memFree=1370008/2059040 swapFree=4136688/4192956
[pid=29703] ppid=29701 vsize=459800 CPUtime=582.14
/proc/29703/stat : 29703 (pbct) R 29701 29703 29172 0 -1 4202496 126380 0 0 0 57620 594 0 0 25 0 1 0 89636575 470835200 112688 1992294400 134512640 136421960 4289736016 18446744073709551615 134859728 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29703/statm: 114950 112688 236 467 0 114481 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 459800

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 0.97 2/107 29725
/proc/meminfo: memFree=1370008/2059040 swapFree=4136688/4192956
[pid=29703] ppid=29701 vsize=459800 CPUtime=642.13
/proc/29703/stat : 29703 (pbct) R 29701 29703 29172 0 -1 4202496 126380 0 0 0 63564 649 0 0 25 0 1 0 89636575 470835200 112688 1992294400 134512640 136421960 4289736016 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29703/statm: 114950 112688 236 467 0 114481 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 459800

[startup+702.301 s]

################
# More data... #
################

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 0.97 2/107 29731
/proc/meminfo: memFree=1301436/2059040 swapFree=4136688/4192956
[pid=29703] ppid=29701 vsize=528992 CPUtime=882.06
/proc/29703/stat : 29703 (pbct) R 29701 29703 29172 0 -1 4202496 143616 0 0 0 87379 827 0 0 25 0 1 0 89636575 541687808 129924 1992294400 134512640 136421960 4289736016 18446744073709551615 134861902 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29703/statm: 132248 129924 236 467 0 131779 0
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (KiB) 528992

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 0.97 2/107 29733
/proc/meminfo: memFree=1300940/2059040 swapFree=4136688/4192956
[pid=29703] ppid=29701 vsize=529392 CPUtime=942.04
/proc/29703/stat : 29703 (pbct) R 29701 29703 29172 0 -1 4202496 143747 0 0 0 93343 861 0 0 25 0 1 0 89636575 542097408 130055 1992294400 134512640 136421960 4289736016 18446744073709551615 134864139 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29703/statm: 132348 130055 236 467 0 131879 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 529392

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/107 29735
/proc/meminfo: memFree=1300940/2059040 swapFree=4136688/4192956
[pid=29703] ppid=29701 vsize=529392 CPUtime=1002.02
/proc/29703/stat : 29703 (pbct) R 29701 29703 29172 0 -1 4202496 143747 0 0 0 99290 912 0 0 25 0 1 0 89636575 542097408 130055 1992294400 134512640 136421960 4289736016 18446744073709551615 134863669 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29703/statm: 132348 130055 236 467 0 131879 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 529392

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/107 29735
/proc/meminfo: memFree=1300816/2059040 swapFree=4136688/4192956
[pid=29703] ppid=29701 vsize=529392 CPUtime=1062.01
/proc/29703/stat : 29703 (pbct) R 29701 29703 29172 0 -1 4202496 143747 0 0 0 105236 965 0 0 25 0 1 0 89636575 542097408 130055 1992294400 134512640 136421960 4289736016 18446744073709551615 134861890 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29703/statm: 132348 130055 236 467 0 131879 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 529392

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/107 29737
/proc/meminfo: memFree=1299080/2059040 swapFree=4136688/4192956
[pid=29703] ppid=29701 vsize=531112 CPUtime=1122
/proc/29703/stat : 29703 (pbct) R 29701 29703 29172 0 -1 4202496 144176 0 0 0 111182 1018 0 0 25 0 1 0 89636575 543858688 130484 1992294400 134512640 136421960 4289736016 18446744073709551615 134859726 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29703/statm: 132778 130484 236 467 0 132309 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 531112

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/107 29739
/proc/meminfo: memFree=1300568/2059040 swapFree=4136688/4192956
[pid=29703] ppid=29701 vsize=528984 CPUtime=1181.98
/proc/29703/stat : 29703 (pbct) R 29701 29703 29172 0 -1 4202496 144178 0 0 0 117125 1073 0 0 25 0 1 0 89636575 541679616 129955 1992294400 134512640 136421960 4289736016 18446744073709551615 135022366 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29703/statm: 132246 129955 236 467 0 131777 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 528984

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/107 29741
/proc/meminfo: memFree=1300568/2059040 swapFree=4136688/4192956
[pid=29703] ppid=29701 vsize=528984 CPUtime=1241.97
/proc/29703/stat : 29703 (pbct) R 29701 29703 29172 0 -1 4202496 144178 0 0 0 123068 1129 0 0 25 0 1 0 89636575 541679616 129955 1992294400 134512640 136421960 4289736016 18446744073709551615 135022223 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29703/statm: 132246 129955 236 467 0 131777 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 528984

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/107 29743
/proc/meminfo: memFree=1300568/2059040 swapFree=4136688/4192956
[pid=29703] ppid=29701 vsize=528984 CPUtime=1301.96
/proc/29703/stat : 29703 (pbct) R 29701 29703 29172 0 -1 4202496 144178 0 0 0 129013 1183 0 0 25 0 1 0 89636575 541679616 129955 1992294400 134512640 136421960 4289736016 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29703/statm: 132246 129955 236 467 0 131777 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 528984

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/107 29743
/proc/meminfo: memFree=1297096/2059040 swapFree=4136688/4192956
[pid=29703] ppid=29701 vsize=533104 CPUtime=1361.93
/proc/29703/stat : 29703 (pbct) R 29701 29703 29172 0 -1 4202496 145184 0 0 0 134967 1226 0 0 25 0 1 0 89636575 545898496 130961 1992294400 134512640 136421960 4289736016 18446744073709551615 134861902 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29703/statm: 133276 130961 236 467 0 132807 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 533104

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.97 2/107 29745
/proc/meminfo: memFree=1297468/2059040 swapFree=4136688/4192956
[pid=29703] ppid=29701 vsize=532028 CPUtime=1421.92
/proc/29703/stat : 29703 (pbct) R 29701 29703 29172 0 -1 4202496 145186 0 0 0 140919 1273 0 0 25 0 1 0 89636575 544796672 130716 1992294400 134512640 136421960 4289736016 18446744073709551615 135022226 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29703/statm: 133007 130716 236 467 0 132538 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 532028

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/107 29747
/proc/meminfo: memFree=1297468/2059040 swapFree=4136688/4192956
[pid=29703] ppid=29701 vsize=532028 CPUtime=1481.9
/proc/29703/stat : 29703 (pbct) R 29701 29703 29172 0 -1 4202496 145186 0 0 0 146858 1332 0 0 25 0 1 0 89636575 544796672 130716 1992294400 134512640 136421960 4289736016 18446744073709551615 134859921 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29703/statm: 133007 130716 236 467 0 132538 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 532028

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/107 29749
/proc/meminfo: memFree=1297468/2059040 swapFree=4136688/4192956
[pid=29703] ppid=29701 vsize=532028 CPUtime=1541.89
/proc/29703/stat : 29703 (pbct) R 29701 29703 29172 0 -1 4202496 145186 0 0 0 152800 1389 0 0 25 0 1 0 89636575 544796672 130716 1992294400 134512640 136421960 4289736016 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29703/statm: 133007 130716 236 467 0 132538 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 532028

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/107 29751
/proc/meminfo: memFree=1297468/2059040 swapFree=4136688/4192956
[pid=29703] ppid=29701 vsize=532028 CPUtime=1601.87
/proc/29703/stat : 29703 (pbct) R 29701 29703 29172 0 -1 4202496 145186 0 0 0 158746 1441 0 0 25 0 1 0 89636575 544796672 130716 1992294400 134512640 136421960 4289736016 18446744073709551615 134861902 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29703/statm: 133007 130716 236 467 0 132538 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 532028

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/107 29751
/proc/meminfo: memFree=1297468/2059040 swapFree=4136688/4192956
[pid=29703] ppid=29701 vsize=532028 CPUtime=1661.85
/proc/29703/stat : 29703 (pbct) R 29701 29703 29172 0 -1 4202496 145186 0 0 0 164694 1491 0 0 25 0 1 0 89636575 544796672 130716 1992294400 134512640 136421960 4289736016 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29703/statm: 133007 130716 236 467 0 132538 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 532028

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/107 29753
/proc/meminfo: memFree=1297468/2059040 swapFree=4136688/4192956
[pid=29703] ppid=29701 vsize=532028 CPUtime=1721.84
/proc/29703/stat : 29703 (pbct) R 29701 29703 29172 0 -1 4202496 145186 0 0 0 170640 1544 0 0 25 0 1 0 89636575 544796672 130716 1992294400 134512640 136421960 4289736016 18446744073709551615 134861902 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29703/statm: 133007 130716 236 467 0 132538 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 532028

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/107 29755
/proc/meminfo: memFree=1293376/2059040 swapFree=4136688/4192956
[pid=29703] ppid=29701 vsize=536664 CPUtime=1781.83
/proc/29703/stat : 29703 (pbct) R 29701 29703 29172 0 -1 4202496 146339 0 0 0 176594 1589 0 0 25 0 1 0 89636575 549543936 131869 1992294400 134512640 136421960 4289736016 18446744073709551615 134861902 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29703/statm: 134166 131869 236 467 0 133697 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 536664



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 0.97 2/107 29755
/proc/meminfo: memFree=1293376/2059040 swapFree=4136688/4192956
[pid=29703] ppid=29701 vsize=536664 CPUtime=1800.03
/proc/29703/stat : 29703 (pbct) R 29701 29703 29172 0 -1 4202496 146339 0 0 0 178404 1599 0 0 25 0 1 0 89636575 549543936 131869 1992294400 134512640 136421960 4289736016 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29703/statm: 134166 131869 236 467 0 133697 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 536664

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

Solver just ended. Dumping a history of the last processes samples

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 0.97 2/107 29755
/proc/meminfo: memFree=1293376/2059040 swapFree=4136688/4192956
[pid=29703] ppid=29701 vsize=536664 CPUtime=1800.03
/proc/29703/stat : 29703 (pbct) R 29701 29703 29172 0 -1 4202496 146339 0 0 0 178404 1599 0 0 25 0 1 0 89636575 549543936 131869 1992294400 134512640 136421960 4289736016 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29703/statm: 134166 131869 236 467 0 133697 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 536664

Child status: 0
Real time (s): 1800.56
CPU time (s): 1800.09
CPU user time (s): 1784.04
CPU system time (s): 16.0486
CPU usage (%): 99.9738
Max. virtual memory (cumulated for all children) (KiB): 536664

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1784.04
system time used= 16.0486
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 146340
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1
involuntary context switches= 4145

runsolver used 2.86956 second user time and 8.61069 second system time

The end