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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2682085-1277483254/watcher-2682085-1277483254 -o /tmp/evaluation-result-2682085-1277483254/solver-2682085-1277483254 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2682085-1277483254.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: 0.95 1.04 0.98 3/106 21895
/proc/meminfo: memFree=1820028/2059040 swapFree=4140248/4192956
[pid=21895] ppid=21893 vsize=2280 CPUtime=0
/proc/21895/stat : 21895 (pbct) R 21893 21895 21395 0 -1 4202496 271 0 0 0 0 0 0 0 20 0 1 0 123929329 2334720 191 1992294400 134512640 136421960 4290190656 18446744073709551615 135521393 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21895/statm: 570 191 145 467 0 101 0

[startup+0.0447311 s]
/proc/loadavg: 0.95 1.04 0.98 3/106 21895
/proc/meminfo: memFree=1820028/2059040 swapFree=4140248/4192956
[pid=21895] ppid=21893 vsize=2428 CPUtime=0.04
/proc/21895/stat : 21895 (pbct) R 21893 21895 21395 0 -1 4202496 306 0 0 0 4 0 0 0 20 0 1 0 123929329 2486272 226 1992294400 134512640 136421960 4290190656 18446744073709551615 135818204 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21895/statm: 607 226 145 467 0 138 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 2428

[startup+0.101735 s]
/proc/loadavg: 0.95 1.04 0.98 3/106 21895
/proc/meminfo: memFree=1820028/2059040 swapFree=4140248/4192956
[pid=21895] ppid=21893 vsize=2604 CPUtime=0.1
/proc/21895/stat : 21895 (pbct) R 21893 21895 21395 0 -1 4202496 363 0 0 0 10 0 0 0 20 0 1 0 123929329 2666496 283 1992294400 134512640 136421960 4290190656 18446744073709551615 135806124 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21895/statm: 651 283 145 467 0 182 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2604

[startup+0.300754 s]
/proc/loadavg: 0.95 1.04 0.98 3/106 21895
/proc/meminfo: memFree=1820028/2059040 swapFree=4140248/4192956
[pid=21895] ppid=21893 vsize=3524 CPUtime=0.29
/proc/21895/stat : 21895 (pbct) R 21893 21895 21395 0 -1 4202496 594 0 0 0 29 0 0 0 20 0 1 0 123929329 3608576 481 1992294400 134512640 136421960 4290190656 18446744073709551615 135372694 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21895/statm: 881 481 145 467 0 412 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3524

[startup+0.700792 s]
/proc/loadavg: 0.95 1.04 0.98 3/106 21895
/proc/meminfo: memFree=1820028/2059040 swapFree=4140248/4192956
[pid=21895] ppid=21893 vsize=5232 CPUtime=0.69
/proc/21895/stat : 21895 (pbct) R 21893 21895 21395 0 -1 4202496 1060 0 0 0 69 0 0 0 20 0 1 0 123929329 5357568 882 1992294400 134512640 136421960 4290190656 18446744073709551615 135809519 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21895/statm: 1308 882 145 467 0 839 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5232

[startup+1.50087 s]
/proc/loadavg: 0.95 1.04 0.98 2/107 21896
/proc/meminfo: memFree=1811960/2059040 swapFree=4140248/4192956
[pid=21895] ppid=21893 vsize=50604 CPUtime=1.49
/proc/21895/stat : 21895 (pbct) R 21893 21895 21395 0 -1 4202496 13133 0 0 0 144 5 0 0 23 0 1 0 123929329 51818496 12078 1992294400 134512640 136421960 4290190656 18446744073709551615 134640336 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/21895/statm: 12651 12079 189 467 0 12182 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 50604

[startup+3.10202 s]
/proc/loadavg: 0.95 1.04 0.98 2/107 21896
/proc/meminfo: memFree=1655224/2059040 swapFree=4140248/4192956
[pid=21895] ppid=21893 vsize=185904 CPUtime=3.09
/proc/21895/stat : 21895 (pbct) R 21893 21895 21395 0 -1 4202496 48058 0 0 0 290 19 0 0 25 0 1 0 123929329 190365696 44187 1992294400 134512640 136421960 4290190656 18446744073709551615 134863712 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/21895/statm: 46476 44187 236 467 0 46007 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 185904

[startup+6.30132 s]
/proc/loadavg: 0.95 1.04 0.98 2/107 21896
/proc/meminfo: memFree=1621124/2059040 swapFree=4140248/4192956
[pid=21895] ppid=21893 vsize=215988 CPUtime=6.29
/proc/21895/stat : 21895 (pbct) R 21893 21895 21395 0 -1 4202496 55709 0 0 0 604 25 0 0 25 0 1 0 123929329 221171712 51836 1992294400 134512640 136421960 4290190656 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/21895/statm: 53997 51838 236 467 0 53528 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 215988

[startup+12.7009 s]
/proc/loadavg: 0.95 1.04 0.98 2/107 21896
/proc/meminfo: memFree=1563464/2059040 swapFree=4140248/4192956
[pid=21895] ppid=21893 vsize=270912 CPUtime=12.69
/proc/21895/stat : 21895 (pbct) R 21893 21895 21395 0 -1 4202496 69434 0 0 0 1231 38 0 0 25 0 1 0 123929329 277413888 65561 1992294400 134512640 136421960 4290190656 18446744073709551615 134859702 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/21895/statm: 67728 65561 236 467 0 67259 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 270912

[startup+25.5011 s]
/proc/loadavg: 0.96 1.04 0.98 2/107 21896
/proc/meminfo: memFree=1467116/2059040 swapFree=4140248/4192956
[pid=21895] ppid=21893 vsize=363472 CPUtime=25.49
/proc/21895/stat : 21895 (pbct) R 21893 21895 21395 0 -1 4202496 92568 0 0 0 2486 63 0 0 25 0 1 0 123929329 372195328 88695 1992294400 134512640 136421960 4290190656 18446744073709551615 135022226 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/21895/statm: 90868 88695 236 467 0 90399 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 363472

[startup+51.1016 s]
/proc/loadavg: 1.06 1.05 0.99 2/107 21898
/proc/meminfo: memFree=1322656/2059040 swapFree=4140248/4192956
[pid=21895] ppid=21893 vsize=509472 CPUtime=51.07
/proc/21895/stat : 21895 (pbct) R 21893 21895 21395 0 -1 4202496 129030 0 0 0 5007 100 0 0 25 0 1 0 123929329 521699328 125157 1992294400 134512640 136421960 4290190656 18446744073709551615 135023975 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/21895/statm: 127368 125157 236 467 0 126899 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 509472

[startup+102.308 s]
/proc/loadavg: 1.02 1.04 0.99 2/107 21898
/proc/meminfo: memFree=1289176/2059040 swapFree=4140248/4192956
[pid=21895] ppid=21893 vsize=538872 CPUtime=102.27
/proc/21895/stat : 21895 (pbct) R 21893 21895 21395 0 -1 4202496 136406 0 0 0 10080 147 0 0 25 0 1 0 123929329 551804928 132533 1992294400 134512640 136421960 4290190656 18446744073709551615 134604592 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/21895/statm: 134718 132533 236 467 0 134249 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 538872

[startup+162.301 s]
/proc/loadavg: 1.12 1.06 1.00 2/107 21900
/proc/meminfo: memFree=1205476/2059040 swapFree=4140248/4192956
[pid=21895] ppid=21893 vsize=622336 CPUtime=162.25
/proc/21895/stat : 21895 (pbct) R 21893 21895 21395 0 -1 4202496 157277 0 0 0 16019 206 0 0 25 0 1 0 123929329 637272064 153404 1992294400 134512640 136421960 4290190656 18446744073709551615 134864151 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/21895/statm: 155584 153404 236 467 0 155115 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 622336

[startup+222.301 s]
/proc/loadavg: 1.12 1.06 1.00 2/107 21902
/proc/meminfo: memFree=1099580/2059040 swapFree=4140248/4192956
[pid=21895] ppid=21893 vsize=728252 CPUtime=222.23
/proc/21895/stat : 21895 (pbct) R 21893 21895 21395 0 -1 4202496 183702 0 0 0 21956 267 0 0 25 0 1 0 123929329 745730048 179829 1992294400 134512640 136421960 4290190656 18446744073709551615 134859688 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/21895/statm: 182063 179829 236 467 0 181594 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 728252

[startup+282.302 s]
/proc/loadavg: 1.04 1.05 1.00 2/107 21904
/proc/meminfo: memFree=1099580/2059040 swapFree=4140248/4192956
[pid=21895] ppid=21893 vsize=728252 CPUtime=282.22
/proc/21895/stat : 21895 (pbct) R 21893 21895 21395 0 -1 4202496 183702 0 0 0 27911 311 0 0 25 0 1 0 123929329 745730048 179829 1992294400 134512640 136421960 4290190656 18446744073709551615 134861921 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/21895/statm: 182063 179829 236 467 0 181594 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 728252

[startup+342.301 s]
/proc/loadavg: 1.01 1.04 1.00 2/107 21906
/proc/meminfo: memFree=1095860/2059040 swapFree=4140248/4192956
[pid=21895] ppid=21893 vsize=731856 CPUtime=342.2
/proc/21895/stat : 21895 (pbct) R 21893 21895 21395 0 -1 4202496 184610 0 0 0 33865 355 0 0 25 0 1 0 123929329 749420544 180737 1992294400 134512640 136421960 4290190656 18446744073709551615 134861902 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/21895/statm: 182964 180737 236 467 0 182495 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 731856

[startup+402.301 s]
/proc/loadavg: 1.00 1.03 1.00 2/107 21906
/proc/meminfo: memFree=1098712/2059040 swapFree=4140248/4192956
[pid=21895] ppid=21893 vsize=728264 CPUtime=402.18
/proc/21895/stat : 21895 (pbct) R 21893 21895 21395 0 -1 4202496 184610 0 0 0 39823 395 0 0 25 0 1 0 123929329 745742336 179856 1992294400 134512640 136421960 4290190656 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/21895/statm: 182066 179856 236 467 0 181597 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 728264

[startup+462.302 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 21908
/proc/meminfo: memFree=1098712/2059040 swapFree=4140248/4192956
[pid=21895] ppid=21893 vsize=728264 CPUtime=462.17
/proc/21895/stat : 21895 (pbct) R 21893 21895 21395 0 -1 4202496 184610 0 0 0 45778 439 0 0 25 0 1 0 123929329 745742336 179856 1992294400 134512640 136421960 4290190656 18446744073709551615 134859865 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/21895/statm: 182066 179856 236 467 0 181597 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 728264

[startup+522.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 21910
/proc/meminfo: memFree=1060892/2059040 swapFree=4140248/4192956
[pid=21895] ppid=21893 vsize=768852 CPUtime=522.16
/proc/21895/stat : 21895 (pbct) R 21893 21895 21395 0 -1 4202496 194756 0 0 0 51740 476 0 0 25 0 1 0 123929329 787304448 190002 1992294400 134512640 136421960 4290190656 18446744073709551615 135830543 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/21895/statm: 192213 190003 236 467 0 191744 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 768852

[startup+582.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 21912
/proc/meminfo: memFree=991452/2059040 swapFree=4140248/4192956
[pid=21895] ppid=21893 vsize=835920 CPUtime=582.14
/proc/21895/stat : 21895 (pbct) R 21893 21895 21395 0 -1 4202496 211493 0 0 0 57686 528 0 0 25 0 1 0 123929329 855982080 206739 1992294400 134512640 136421960 4290190656 18446744073709551615 134860088 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/21895/statm: 208980 206739 236 467 0 208511 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 835920

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21914
/proc/meminfo: memFree=991452/2059040 swapFree=4140248/4192956
[pid=21895] ppid=21893 vsize=835920 CPUtime=642.14
/proc/21895/stat : 21895 (pbct) R 21893 21895 21395 0 -1 4202496 211494 0 0 0 63649 565 0 0 25 0 1 0 123929329 855982080 206740 1992294400 134512640 136421960 4290190656 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/21895/statm: 208980 206740 236 467 0 208511 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 835920

[startup+702.301 s]

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

/proc/loadavg: 1.00 1.00 1.00 2/107 21928
/proc/meminfo: memFree=971612/2059040 swapFree=4140248/4192956
[pid=21895] ppid=21893 vsize=855456 CPUtime=1181.99
/proc/21895/stat : 21895 (pbct) R 21893 21895 21395 0 -1 4202496 216377 0 0 0 117271 928 0 0 25 0 1 0 123929329 875986944 211623 1992294400 134512640 136421960 4290190656 18446744073709551615 134863797 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/21895/statm: 213864 211623 236 467 0 213395 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 855456

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21930
/proc/meminfo: memFree=879232/2059040 swapFree=4140248/4192956
[pid=21895] ppid=21893 vsize=948780 CPUtime=1241.97
/proc/21895/stat : 21895 (pbct) R 21893 21895 21395 0 -1 4202496 239651 0 0 0 123231 966 0 0 25 0 1 0 123929329 971550720 234897 1992294400 134512640 136421960 4290190656 18446744073709551615 134642106 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/21895/statm: 237195 234897 236 467 0 236726 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 948780

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21930
/proc/meminfo: memFree=833724/2059040 swapFree=4140248/4192956
[pid=21895] ppid=21893 vsize=993320 CPUtime=1301.97
/proc/21895/stat : 21895 (pbct) R 21893 21895 21395 0 -1 4202496 250744 0 0 0 129194 1003 0 0 25 0 1 0 123929329 1017159680 245990 1992294400 134512640 136421960 4290190656 18446744073709551615 134861902 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/21895/statm: 248330 245990 236 467 0 247861 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 993320

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21932
/proc/meminfo: memFree=833600/2059040 swapFree=4140248/4192956
[pid=21895] ppid=21893 vsize=993320 CPUtime=1361.95
/proc/21895/stat : 21895 (pbct) R 21893 21895 21395 0 -1 4202496 250749 0 0 0 135152 1043 0 0 25 0 1 0 123929329 1017159680 245995 1992294400 134512640 136421960 4290190656 18446744073709551615 134862003 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/21895/statm: 248330 245995 236 467 0 247861 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 993320

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21934
/proc/meminfo: memFree=833600/2059040 swapFree=4140248/4192956
[pid=21895] ppid=21893 vsize=993320 CPUtime=1421.94
/proc/21895/stat : 21895 (pbct) R 21893 21895 21395 0 -1 4202496 250749 0 0 0 141117 1077 0 0 25 0 1 0 123929329 1017159680 245995 1992294400 134512640 136421960 4290190656 18446744073709551615 134859688 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/21895/statm: 248330 245995 236 467 0 247861 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 993320

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21936
/proc/meminfo: memFree=828640/2059040 swapFree=4140248/4192956
[pid=21895] ppid=21893 vsize=998228 CPUtime=1481.92
/proc/21895/stat : 21895 (pbct) R 21893 21895 21395 0 -1 4202496 251972 0 0 0 147067 1125 0 0 25 0 1 0 123929329 1022185472 247218 1992294400 134512640 136421960 4290190656 18446744073709551615 135806931 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/21895/statm: 249557 247218 236 467 0 249088 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 998228

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21938
/proc/meminfo: memFree=828640/2059040 swapFree=4140248/4192956
[pid=21895] ppid=21893 vsize=998228 CPUtime=1541.9
/proc/21895/stat : 21895 (pbct) R 21893 21895 21395 0 -1 4202496 251972 0 0 0 153028 1162 0 0 25 0 1 0 123929329 1022185472 247218 1992294400 134512640 136421960 4290190656 18446744073709551615 134861904 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/21895/statm: 249557 247218 236 467 0 249088 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 998228

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21938
/proc/meminfo: memFree=828640/2059040 swapFree=4140248/4192956
[pid=21895] ppid=21893 vsize=998228 CPUtime=1601.9
/proc/21895/stat : 21895 (pbct) R 21893 21895 21395 0 -1 4202496 251972 0 0 0 158994 1196 0 0 25 0 1 0 123929329 1022185472 247218 1992294400 134512640 136421960 4290190656 18446744073709551615 134861902 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/21895/statm: 249557 247218 236 467 0 249088 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 998228

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21940
/proc/meminfo: memFree=828640/2059040 swapFree=4140248/4192956
[pid=21895] ppid=21893 vsize=998228 CPUtime=1661.87
/proc/21895/stat : 21895 (pbct) R 21893 21895 21395 0 -1 4202496 251972 0 0 0 164947 1240 0 0 25 0 1 0 123929329 1022185472 247218 1992294400 134512640 136421960 4290190656 18446744073709551615 135010280 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/21895/statm: 249557 247218 236 467 0 249088 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 998228

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21942
/proc/meminfo: memFree=828640/2059040 swapFree=4140248/4192956
[pid=21895] ppid=21893 vsize=998228 CPUtime=1721.87
/proc/21895/stat : 21895 (pbct) R 21893 21895 21395 0 -1 4202496 251972 0 0 0 170912 1275 0 0 25 0 1 0 123929329 1022185472 247218 1992294400 134512640 136421960 4290190656 18446744073709551615 134862018 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/21895/statm: 249557 247218 236 467 0 249088 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 998228

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21944
/proc/meminfo: memFree=828392/2059040 swapFree=4140248/4192956
[pid=21895] ppid=21893 vsize=998228 CPUtime=1781.84
/proc/21895/stat : 21895 (pbct) R 21893 21895 21395 0 -1 4202496 251972 0 0 0 176884 1300 0 0 25 0 1 0 123929329 1022185472 247218 1992294400 134512640 136421960 4290190656 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/21895/statm: 249557 247218 236 467 0 249088 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 998228



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21944
/proc/meminfo: memFree=828392/2059040 swapFree=4140248/4192956
[pid=21895] ppid=21893 vsize=998228 CPUtime=1800.05
/proc/21895/stat : 21895 (pbct) R 21893 21895 21395 0 -1 4202496 251972 0 0 0 178692 1313 0 0 25 0 1 0 123929329 1022185472 247218 1992294400 134512640 136421960 4290190656 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/21895/statm: 249557 247218 236 467 0 249088 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 998228

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

############
# WARNING:
# current cumulated CPU time (0 s) is less than in the last sample (1800.05 s)
# The time of a child was probably not reported to its father.
# (see the two samples below)
# Adding the difference (1800.05 s) to the 'lost time'.

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21944
/proc/meminfo: memFree=828392/2059040 swapFree=4140248/4192956
[pid=21895] ppid=21893 vsize=998228 CPUtime=1800.05
/proc/21895/stat : 21895 (pbct) R 21893 21895 21395 0 -1 4202496 251972 0 0 0 178692 1313 0 0 25 0 1 0 123929329 1022185472 247218 1992294400 134512640 136421960 4290190656 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/21895/statm: 249557 247218 236 467 0 249088 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 998228

[startup+1800.61 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 21945
/proc/meminfo: memFree=1816292/2059040 swapFree=4140248/4192956
[pid=21895] ppid=-1 vsize=0 CPUtime=0
/proc/21895/stat : -- couldn't open stat file --/proc/21895/statm: Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 0
#
############


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

[startup+1800.61 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 21945
/proc/meminfo: memFree=1816292/2059040 swapFree=4140248/4192956
[pid=21895] ppid=-1 vsize=0 CPUtime=0
/proc/21895/stat : -- couldn't open stat file --/proc/21895/statm: Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 0

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 21895 and gives
#  childrusage.ru_utime.tv_sec=1786
#  childrusage.ru_utime.tv_usec=927345
#  childrusage.ru_stime.tv_sec=13
#  childrusage.ru_stime.tv_usec=230988
# CPU time returned by wait4() is 1800.16
# while last known CPU time is 0
#
# Using CPU time of the last sample as value...


# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 1800.05
#  lost CPU user time (s): 1786.92
#  lost CPU system time (s): 13.13

Real time (s): 1800.61
CPU time (s): 1800.05
CPU user time (s): 1786.92
CPU system time (s): 13.13
CPU usage (%): 99.9689
Max. virtual memory (cumulated for all children) (KiB): 998228

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1786.93
system time used= 13.231
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 251973
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= 3583

runsolver used 2.88256 second user time and 8.59569 second system time

The end