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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2681766-1277504247/watcher-2681766-1277504247 -o /tmp/evaluation-result-2681766-1277504247/solver-2681766-1277504247 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2681766-1277504247.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.00 1.01 1.00 3/106 31773
/proc/meminfo: memFree=1807988/2059040 swapFree=4140112/4192956
[pid=31773] ppid=31771 vsize=2268 CPUtime=0
/proc/31773/stat : 31773 (pbct) R 31771 31773 30988 0 -1 4202496 295 0 0 0 0 0 0 0 20 0 1 0 91719177 2322432 214 1992294400 134512640 136421960 4289623936 18446744073709551615 135811817 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31773/statm: 567 214 145 467 0 98 0

[startup+0.109079 s]
/proc/loadavg: 1.00 1.01 1.00 3/106 31773
/proc/meminfo: memFree=1807988/2059040 swapFree=4140112/4192956
[pid=31773] ppid=31771 vsize=5172 CPUtime=0.1
/proc/31773/stat : 31773 (pbct) R 31771 31773 30988 0 -1 4202496 1010 0 0 0 10 0 0 0 20 0 1 0 91719177 5296128 929 1992294400 134512640 136421960 4289623936 18446744073709551615 135811817 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31773/statm: 1293 930 145 467 0 824 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 5172

[startup+0.201086 s]
/proc/loadavg: 1.00 1.01 1.00 3/106 31773
/proc/meminfo: memFree=1807988/2059040 swapFree=4140112/4192956
[pid=31773] ppid=31771 vsize=7420 CPUtime=0.19
/proc/31773/stat : 31773 (pbct) R 31771 31773 30988 0 -1 4202496 1565 0 0 0 19 0 0 0 20 0 1 0 91719177 7598080 1484 1992294400 134512640 136421960 4289623936 18446744073709551615 135203803 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31773/statm: 1855 1484 145 467 0 1386 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 7420

[startup+0.301095 s]
/proc/loadavg: 1.00 1.01 1.00 3/106 31773
/proc/meminfo: memFree=1807988/2059040 swapFree=4140112/4192956
[pid=31773] ppid=31771 vsize=10224 CPUtime=0.29
/proc/31773/stat : 31773 (pbct) R 31771 31773 30988 0 -1 4202496 2283 0 0 0 29 0 0 0 20 0 1 0 91719177 10469376 2202 1992294400 134512640 136421960 4289623936 18446744073709551615 135818281 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31773/statm: 2556 2203 146 467 0 2087 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10224

[startup+0.70113 s]
/proc/loadavg: 1.00 1.01 1.00 3/106 31773
/proc/meminfo: memFree=1807988/2059040 swapFree=4140112/4192956
[pid=31773] ppid=31771 vsize=29820 CPUtime=0.69
/proc/31773/stat : 31773 (pbct) R 31771 31773 30988 0 -1 4202496 7144 0 0 0 66 3 0 0 21 0 1 0 91719177 30535680 7030 1992294400 134512640 136421960 4289623936 18446744073709551615 135812090 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31773/statm: 7455 7031 190 467 0 6986 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 29820

[startup+1.5012 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 31774
/proc/meminfo: memFree=1743748/2059040 swapFree=4140112/4192956
[pid=31773] ppid=31771 vsize=102376 CPUtime=1.49
/proc/31773/stat : 31773 (pbct) R 31771 31773 30988 0 -1 4202496 26035 0 0 0 136 13 0 0 23 0 1 0 91719177 104833024 24704 1992294400 134512640 136421960 4289623936 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31773/statm: 25594 24705 190 467 0 25125 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 102376

[startup+3.10134 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 31774
/proc/meminfo: memFree=1656948/2059040 swapFree=4140112/4192956
[pid=31773] ppid=31771 vsize=216096 CPUtime=3.09
/proc/31773/stat : 31773 (pbct) R 31771 31773 30988 0 -1 4202496 56567 0 0 0 283 26 0 0 25 0 1 0 91719177 221282304 53245 1992294400 134512640 136421960 4289623936 18446744073709551615 134707152 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31773/statm: 54024 53246 194 467 0 53555 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 216096

[startup+6.30161 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 31774
/proc/meminfo: memFree=1439700/2059040 swapFree=4140112/4192956
[pid=31773] ppid=31771 vsize=423100 CPUtime=6.29
/proc/31773/stat : 31773 (pbct) R 31771 31773 30988 0 -1 4202496 111921 0 0 0 580 49 0 0 25 0 1 0 91719177 433254400 105266 1992294400 134512640 136421960 4289623936 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31773/statm: 105775 105266 194 467 0 105306 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 423100

[startup+12.7012 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 31774
/proc/meminfo: memFree=978048/2059040 swapFree=4140112/4192956
[pid=31773] ppid=31771 vsize=901332 CPUtime=12.68
/proc/31773/stat : 31773 (pbct) R 31771 31773 30988 0 -1 4202496 237040 0 0 0 1169 99 0 0 25 0 1 0 91719177 922963968 217759 1992294400 134512640 136421960 4289623936 18446744073709551615 135028707 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31773/statm: 225333 217759 209 467 0 224864 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 901332

[startup+25.5003 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 31774
/proc/meminfo: memFree=892364/2059040 swapFree=4140112/4192956
[pid=31773] ppid=31771 vsize=960972 CPUtime=25.48
/proc/31773/stat : 31773 (pbct) R 31771 31773 30988 0 -1 4202496 252759 0 0 0 2430 118 0 0 25 0 1 0 91719177 984035328 228544 1992294400 134512640 136421960 4289623936 18446744073709551615 135006699 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31773/statm: 240243 228544 238 467 0 239774 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 960972

[startup+51.1005 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 31776
/proc/meminfo: memFree=890256/2059040 swapFree=4140112/4192956
[pid=31773] ppid=31771 vsize=963216 CPUtime=51.07
/proc/31773/stat : 31773 (pbct) R 31771 31773 30988 0 -1 4202496 253326 0 0 0 4963 144 0 0 25 0 1 0 91719177 986333184 229111 1992294400 134512640 136421960 4289623936 18446744073709551615 135019118 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31773/statm: 240804 229111 238 467 0 240335 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 963216

[startup+102.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31776
/proc/meminfo: memFree=888768/2059040 swapFree=4140112/4192956
[pid=31773] ppid=31771 vsize=964404 CPUtime=102.27
/proc/31773/stat : 31773 (pbct) R 31771 31773 30988 0 -1 4202496 253642 0 0 0 10032 195 0 0 25 0 1 0 91719177 987549696 229427 1992294400 134512640 136421960 4289623936 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31773/statm: 241101 229427 238 467 0 240632 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 964404

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31778
/proc/meminfo: memFree=885420/2059040 swapFree=4140112/4192956
[pid=31773] ppid=31771 vsize=967848 CPUtime=162.24
/proc/31773/stat : 31773 (pbct) R 31771 31773 30988 0 -1 4202496 254489 0 0 0 15970 254 0 0 25 0 1 0 91719177 991076352 230274 1992294400 134512640 136421960 4289623936 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31773/statm: 241962 230274 238 467 0 241493 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 967848

[startup+222.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31780
/proc/meminfo: memFree=883560/2059040 swapFree=4140112/4192956
[pid=31773] ppid=31771 vsize=969564 CPUtime=222.24
/proc/31773/stat : 31773 (pbct) R 31771 31773 30988 0 -1 4202496 254924 0 0 0 21911 313 0 0 25 0 1 0 91719177 992833536 230709 1992294400 134512640 136421960 4289623936 18446744073709551615 134861902 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31773/statm: 242391 230709 238 467 0 241922 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 969564

[startup+282.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31782
/proc/meminfo: memFree=879964/2059040 swapFree=4140112/4192956
[pid=31773] ppid=31771 vsize=973128 CPUtime=282.21
/proc/31773/stat : 31773 (pbct) R 31771 31773 30988 0 -1 4202496 255796 0 0 0 27846 375 0 0 25 0 1 0 91719177 996483072 231581 1992294400 134512640 136421960 4289623936 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31773/statm: 243282 231581 238 467 0 242813 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 973128

[startup+342.301 s]
/proc/loadavg: 1.08 1.02 1.01 2/107 31784
/proc/meminfo: memFree=876368/2059040 swapFree=4140112/4192956
[pid=31773] ppid=31771 vsize=976692 CPUtime=342.19
/proc/31773/stat : 31773 (pbct) R 31771 31773 30988 0 -1 4202496 256698 0 0 0 33787 432 0 0 25 0 1 0 91719177 1000132608 232483 1992294400 134512640 136421960 4289623936 18446744073709551615 135028329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31773/statm: 244173 232483 238 467 0 243704 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 976692

[startup+402.301 s]
/proc/loadavg: 1.10 1.03 1.00 2/107 31784
/proc/meminfo: memFree=873640/2059040 swapFree=4140112/4192956
[pid=31773] ppid=31771 vsize=979464 CPUtime=402.18
/proc/31773/stat : 31773 (pbct) R 31771 31773 30988 0 -1 4202496 257403 0 0 0 39728 490 0 0 25 0 1 0 91719177 1002971136 233188 1992294400 134512640 136421960 4289623936 18446744073709551615 134640938 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31773/statm: 244866 233188 238 467 0 244397 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 979464

[startup+462.301 s]
/proc/loadavg: 1.10 1.04 1.00 2/107 31786
/proc/meminfo: memFree=871408/2059040 swapFree=4140112/4192956
[pid=31773] ppid=31771 vsize=981712 CPUtime=462.15
/proc/31773/stat : 31773 (pbct) R 31771 31773 30988 0 -1 4202496 257941 0 0 0 45672 543 0 0 25 0 1 0 91719177 1005273088 233726 1992294400 134512640 136421960 4289623936 18446744073709551615 135006289 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31773/statm: 245428 233726 238 467 0 244959 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 981712

[startup+522.301 s]
/proc/loadavg: 1.10 1.04 1.00 2/107 31788
/proc/meminfo: memFree=870664/2059040 swapFree=4140112/4192956
[pid=31773] ppid=31771 vsize=982372 CPUtime=522.14
/proc/31773/stat : 31773 (pbct) R 31771 31773 30988 0 -1 4202496 258134 0 0 0 51622 592 0 0 25 0 1 0 91719177 1005948928 233919 1992294400 134512640 136421960 4289623936 18446744073709551615 134620049 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31773/statm: 245593 233919 238 467 0 245124 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 982372

[startup+582.3 s]
/proc/loadavg: 1.14 1.06 1.01 2/107 31790
/proc/meminfo: memFree=868308/2059040 swapFree=4140112/4192956
[pid=31773] ppid=31771 vsize=984620 CPUtime=582.13
/proc/31773/stat : 31773 (pbct) R 31771 31773 30988 0 -1 4202496 258675 0 0 0 57567 646 0 0 25 0 1 0 91719177 1008250880 234460 1992294400 134512640 136421960 4289623936 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31773/statm: 246155 234460 238 467 0 245686 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 984620

[startup+642.3 s]
/proc/loadavg: 1.05 1.05 1.00 2/107 31792
/proc/meminfo: memFree=864216/2059040 swapFree=4140112/4192956
[pid=31773] ppid=31771 vsize=988712 CPUtime=642.1
/proc/31773/stat : 31773 (pbct) R 31771 31773 30988 0 -1 4202496 259704 0 0 0 63507 703 0 0 25 0 1 0 91719177 1012441088 235489 1992294400 134512640 136421960 4289623936 18446744073709551615 135686321 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31773/statm: 247178 235489 238 467 0 246709 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 988712

[startup+702.301 s]

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

/proc/loadavg: 1.00 1.00 1.00 2/107 31809
/proc/meminfo: memFree=831976/2059040 swapFree=4140112/4192956
[pid=31773] ppid=31771 vsize=1020396 CPUtime=1181.96
/proc/31773/stat : 31773 (pbct) R 31771 31773 30988 0 -1 4202496 267612 0 0 0 117029 1167 0 0 25 0 1 0 91719177 1044885504 243397 1992294400 134512640 136421960 4289623936 18446744073709551615 134861902 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31773/statm: 255099 243397 238 467 0 254630 0
Current children cumulated CPU time (s) 1181.96
Current children cumulated vsize (KiB) 1020396

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31811
/proc/meminfo: memFree=829124/2059040 swapFree=4140112/4192956
[pid=31773] ppid=31771 vsize=1023300 CPUtime=1241.95
/proc/31773/stat : 31773 (pbct) R 31771 31773 30988 0 -1 4202496 268331 0 0 0 122977 1218 0 0 25 0 1 0 91719177 1047859200 244116 1992294400 134512640 136421960 4289623936 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31773/statm: 255825 244116 238 467 0 255356 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 1023300

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31811
/proc/meminfo: memFree=824536/2059040 swapFree=4140112/4192956
[pid=31773] ppid=31771 vsize=1027788 CPUtime=1301.93
/proc/31773/stat : 31773 (pbct) R 31771 31773 30988 0 -1 4202496 269460 0 0 0 128922 1271 0 0 25 0 1 0 91719177 1052454912 245245 1992294400 134512640 136421960 4289623936 18446744073709551615 135028329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31773/statm: 256947 245245 238 467 0 256478 0
Current children cumulated CPU time (s) 1301.93
Current children cumulated vsize (KiB) 1027788

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31813
/proc/meminfo: memFree=817096/2059040 swapFree=4140112/4192956
[pid=31773] ppid=31771 vsize=1035060 CPUtime=1361.91
/proc/31773/stat : 31773 (pbct) R 31771 31773 30988 0 -1 4202496 271295 0 0 0 134868 1323 0 0 25 0 1 0 91719177 1059901440 247080 1992294400 134512640 136421960 4289623936 18446744073709551615 135006251 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31773/statm: 258765 247080 238 467 0 258296 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 1035060

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31815
/proc/meminfo: memFree=813500/2059040 swapFree=4140112/4192956
[pid=31773] ppid=31771 vsize=1038628 CPUtime=1421.9
/proc/31773/stat : 31773 (pbct) R 31771 31773 30988 0 -1 4202496 272192 0 0 0 140820 1370 0 0 25 0 1 0 91719177 1063555072 247977 1992294400 134512640 136421960 4289623936 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31773/statm: 259657 247977 238 467 0 259188 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 1038628

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31817
/proc/meminfo: memFree=809532/2059040 swapFree=4140112/4192956
[pid=31773] ppid=31771 vsize=1042736 CPUtime=1481.87
/proc/31773/stat : 31773 (pbct) R 31771 31773 30988 0 -1 4202496 273214 0 0 0 146769 1418 0 0 25 0 1 0 91719177 1067761664 248999 1992294400 134512640 136421960 4289623936 18446744073709551615 135686625 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31773/statm: 260684 248999 238 467 0 260215 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 1042736

[startup+1542.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31819
/proc/meminfo: memFree=800852/2059040 swapFree=4140112/4192956
[pid=31773] ppid=31771 vsize=1051340 CPUtime=1541.86
/proc/31773/stat : 31773 (pbct) R 31771 31773 30988 0 -1 4202496 275347 0 0 0 152722 1464 0 0 25 0 1 0 91719177 1076572160 251132 1992294400 134512640 136421960 4289623936 18446744073709551615 135025658 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31773/statm: 262835 251132 238 467 0 262366 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 1051340

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31819
/proc/meminfo: memFree=797380/2059040 swapFree=4140112/4192956
[pid=31773] ppid=31771 vsize=1054908 CPUtime=1601.84
/proc/31773/stat : 31773 (pbct) R 31771 31773 30988 0 -1 4202496 276229 0 0 0 158687 1497 0 0 25 0 1 0 91719177 1080225792 252014 1992294400 134512640 136421960 4289623936 18446744073709551615 135020403 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31773/statm: 263727 252014 238 467 0 263258 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 1054908

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31821
/proc/meminfo: memFree=795644/2059040 swapFree=4140112/4192956
[pid=31773] ppid=31771 vsize=1056492 CPUtime=1661.82
/proc/31773/stat : 31773 (pbct) R 31771 31773 30988 0 -1 4202496 276639 0 0 0 164641 1541 0 0 25 0 1 0 91719177 1081847808 252424 1992294400 134512640 136421960 4289623936 18446744073709551615 134641036 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31773/statm: 264123 252424 238 467 0 263654 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 1056492

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31823
/proc/meminfo: memFree=792792/2059040 swapFree=4140112/4192956
[pid=31773] ppid=31771 vsize=1059268 CPUtime=1721.8
/proc/31773/stat : 31773 (pbct) R 31771 31773 30988 0 -1 4202496 277345 0 0 0 170599 1581 0 0 25 0 1 0 91719177 1084690432 253130 1992294400 134512640 136421960 4289623936 18446744073709551615 135025658 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31773/statm: 264817 253130 238 467 0 264348 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 1059268

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31825
/proc/meminfo: memFree=790312/2059040 swapFree=4140112/4192956
[pid=31773] ppid=31771 vsize=1061520 CPUtime=1781.78
/proc/31773/stat : 31773 (pbct) R 31771 31773 30988 0 -1 4202496 277890 0 0 0 176554 1624 0 0 25 0 1 0 91719177 1086996480 253675 1992294400 134512640 136421960 4289623936 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31773/statm: 265380 253675 238 467 0 264911 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 1061520



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31825
/proc/meminfo: memFree=789692/2059040 swapFree=4140112/4192956
[pid=31773] ppid=31771 vsize=1062180 CPUtime=1800.08
/proc/31773/stat : 31773 (pbct) R 31771 31773 30988 0 -1 4202496 278065 0 0 0 178370 1638 0 0 25 0 1 0 91719177 1087672320 253850 1992294400 134512640 136421960 4289623936 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31773/statm: 265545 253850 238 467 0 265076 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1062180

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.08 s)
# The time of a child was probably not reported to its father.
# (see the two samples below)
# Adding the difference (1800.08 s) to the 'lost time'.

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31825
/proc/meminfo: memFree=789692/2059040 swapFree=4140112/4192956
[pid=31773] ppid=31771 vsize=1062180 CPUtime=1800.08
/proc/31773/stat : 31773 (pbct) R 31771 31773 30988 0 -1 4202496 278065 0 0 0 178370 1638 0 0 25 0 1 0 91719177 1087672320 253850 1992294400 134512640 136421960 4289623936 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31773/statm: 265545 253850 238 467 0 265076 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1062180

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 31826
/proc/meminfo: memFree=1787136/2059040 swapFree=4140112/4192956
[pid=31773] ppid=-1 vsize=0 CPUtime=0
/proc/31773/stat : -- couldn't open stat file --/proc/31773/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.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 31826
/proc/meminfo: memFree=1787136/2059040 swapFree=4140112/4192956
[pid=31773] ppid=-1 vsize=0 CPUtime=0
/proc/31773/stat : -- couldn't open stat file --/proc/31773/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 31773 and gives
#  childrusage.ru_utime.tv_sec=1783
#  childrusage.ru_utime.tv_usec=709834
#  childrusage.ru_stime.tv_sec=16
#  childrusage.ru_stime.tv_usec=490493
# CPU time returned by wait4() is 1800.2
# 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.08
#  lost CPU user time (s): 1783.7
#  lost CPU system time (s): 16.38

Real time (s): 1800.71
CPU time (s): 1800.08
CPU user time (s): 1783.7
CPU system time (s): 16.38
CPU usage (%): 99.9649
Max. virtual memory (cumulated for all children) (KiB): 1062180

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

runsolver used 2.78658 second user time and 8.69368 second system time

The end