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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2668180-1276672362/watcher-2668180-1276672362 -o /tmp/evaluation-result-2668180-1276672362/solver-2668180-1276672362 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2668180-1276672362.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.12 1.06 1.00 3/106 7721
/proc/meminfo: memFree=1750732/2059040 swapFree=4140468/4192956
[pid=7721] ppid=7719 vsize=2340 CPUtime=0
/proc/7721/stat : 7721 (pbct) R 7719 7721 7269 0 -1 4202496 302 0 0 0 0 0 0 0 20 0 1 0 42839915 2396160 224 1992294400 134512640 136485738 4294330592 18446744073709551615 135332318 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/7721/statm: 585 224 156 482 0 101 0

[startup+0.073735 s]
/proc/loadavg: 1.12 1.06 1.00 3/106 7721
/proc/meminfo: memFree=1750732/2059040 swapFree=4140468/4192956
[pid=7721] ppid=7719 vsize=4188 CPUtime=0.07
/proc/7721/stat : 7721 (pbct) R 7719 7721 7269 0 -1 4202496 746 0 0 0 7 0 0 0 20 0 1 0 42839915 4288512 668 1992294400 134512640 136485738 4294330592 18446744073709551615 135850441 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/7721/statm: 1047 668 156 482 0 563 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 4188

[startup+0.100737 s]
/proc/loadavg: 1.12 1.06 1.00 3/106 7721
/proc/meminfo: memFree=1750732/2059040 swapFree=4140468/4192956
[pid=7721] ppid=7719 vsize=4848 CPUtime=0.09
/proc/7721/stat : 7721 (pbct) R 7719 7721 7269 0 -1 4202496 925 0 0 0 9 0 0 0 20 0 1 0 42839915 4964352 847 1992294400 134512640 136485738 4294330592 18446744073709551615 135411155 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/7721/statm: 1212 848 156 482 0 728 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4848

[startup+0.30076 s]
/proc/loadavg: 1.12 1.06 1.00 3/106 7721
/proc/meminfo: memFree=1750732/2059040 swapFree=4140468/4192956
[pid=7721] ppid=7719 vsize=9356 CPUtime=0.29
/proc/7721/stat : 7721 (pbct) R 7719 7721 7269 0 -1 4202496 2055 0 0 0 29 0 0 0 20 0 1 0 42839915 9580544 1977 1992294400 134512640 136485738 4294330592 18446744073709551615 135850441 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/7721/statm: 2339 1977 156 482 0 1855 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9356

[startup+0.700804 s]
/proc/loadavg: 1.12 1.06 1.00 3/106 7721
/proc/meminfo: memFree=1750732/2059040 swapFree=4140468/4192956
[pid=7721] ppid=7719 vsize=19544 CPUtime=0.69
/proc/7721/stat : 7721 (pbct) R 7719 7721 7269 0 -1 4202496 4588 0 0 0 68 1 0 0 20 0 1 0 42839915 20013056 4510 1992294400 134512640 136485738 4294330592 18446744073709551615 134549118 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/7721/statm: 4886 4511 156 482 0 4402 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 19544

[startup+1.50089 s]
/proc/loadavg: 1.12 1.06 1.00 2/107 7722
/proc/meminfo: memFree=1709680/2059040 swapFree=4140468/4192956
[pid=7721] ppid=7719 vsize=86592 CPUtime=1.49
/proc/7721/stat : 7721 (pbct) R 7719 7721 7269 0 -1 4202496 21901 0 0 0 140 9 0 0 22 0 1 0 42839915 88670208 21220 1992294400 134512640 136485738 4294330592 18446744073709551615 135850441 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/7721/statm: 21648 21220 194 482 0 21164 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 86592

[startup+3.10107 s]
/proc/loadavg: 1.12 1.06 1.00 2/107 7722
/proc/meminfo: memFree=1620772/2059040 swapFree=4140468/4192956
[pid=7721] ppid=7719 vsize=199428 CPUtime=3.09
/proc/7721/stat : 7721 (pbct) R 7719 7721 7269 0 -1 4202496 51770 0 0 0 287 22 0 0 25 0 1 0 42839915 204214272 48836 1992294400 134512640 136485738 4294330592 18446744073709551615 135318950 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/7721/statm: 49857 48837 198 482 0 49373 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 199428

[startup+6.30043 s]
/proc/loadavg: 1.11 1.06 1.00 2/107 7722
/proc/meminfo: memFree=1420884/2059040 swapFree=4140468/4192956
[pid=7721] ppid=7719 vsize=381472 CPUtime=6.29
/proc/7721/stat : 7721 (pbct) R 7719 7721 7269 0 -1 4202496 100879 0 0 0 586 43 0 0 25 0 1 0 42839915 390627328 94227 1992294400 134512640 136485738 4294330592 18446744073709551615 135850441 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/7721/statm: 95368 94227 198 482 0 94884 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 381472

[startup+12.7011 s]
/proc/loadavg: 1.10 1.06 1.00 2/107 7722
/proc/meminfo: memFree=935556/2059040 swapFree=4140468/4192956
[pid=7721] ppid=7719 vsize=850064 CPUtime=12.69
/proc/7721/stat : 7721 (pbct) R 7719 7721 7269 0 -1 4202496 223834 0 0 0 1178 91 0 0 25 0 1 0 42839915 870465536 205809 1992294400 134512640 136485738 4294330592 18446744073709551615 134940833 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/7721/statm: 212516 205809 210 482 0 212032 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 850064

[startup+25.5006 s]
/proc/loadavg: 1.08 1.06 1.00 2/107 7722
/proc/meminfo: memFree=836604/2059040 swapFree=4140468/4192956
[pid=7721] ppid=7719 vsize=959328 CPUtime=25.48
/proc/7721/stat : 7721 (pbct) R 7719 7721 7269 0 -1 4202496 252308 0 0 0 2437 111 0 0 25 0 1 0 42839915 982351872 228107 1992294400 134512640 136485738 4294330592 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/7721/statm: 239832 228107 245 482 0 239348 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 959328

[startup+51.1014 s]
/proc/loadavg: 1.05 1.05 1.00 2/107 7722
/proc/meminfo: memFree=835984/2059040 swapFree=4140468/4192956
[pid=7721] ppid=7719 vsize=960252 CPUtime=51.08
/proc/7721/stat : 7721 (pbct) R 7719 7721 7269 0 -1 4202496 252566 0 0 0 4969 139 0 0 25 0 1 0 42839915 983298048 228365 1992294400 134512640 136485738 4294330592 18446744073709551615 134880448 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/7721/statm: 240063 228365 245 482 0 239579 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 960252

[startup+102.308 s]
/proc/loadavg: 1.02 1.04 1.00 2/107 7727
/proc/meminfo: memFree=832884/2059040 swapFree=4140468/4192956
[pid=7721] ppid=7719 vsize=962892 CPUtime=102.26
/proc/7721/stat : 7721 (pbct) R 7719 7721 7269 0 -1 4202496 253221 0 0 0 10036 190 0 0 25 0 1 0 42839915 986001408 229020 1992294400 134512640 136485738 4294330592 18446744073709551615 135047024 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/7721/statm: 240723 229020 245 482 0 240239 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 962892

[startup+162.301 s]
/proc/loadavg: 1.01 1.03 1.00 2/107 7729
/proc/meminfo: memFree=830156/2059040 swapFree=4140468/4192956
[pid=7721] ppid=7719 vsize=965796 CPUtime=162.24
/proc/7721/stat : 7721 (pbct) R 7719 7721 7269 0 -1 4202496 253931 0 0 0 15977 247 0 0 25 0 1 0 42839915 988975104 229730 1992294400 134512640 136485738 4294330592 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/7721/statm: 241449 229730 245 482 0 240965 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 965796

[startup+222.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 7731
/proc/meminfo: memFree=827924/2059040 swapFree=4140468/4192956
[pid=7721] ppid=7719 vsize=967780 CPUtime=222.22
/proc/7721/stat : 7721 (pbct) R 7719 7721 7269 0 -1 4202496 254451 0 0 0 21913 309 0 0 25 0 1 0 42839915 991006720 230250 1992294400 134512640 136485738 4294330592 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/7721/statm: 241945 230250 245 482 0 241461 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 967780

[startup+282.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 7731
/proc/meminfo: memFree=822220/2059040 swapFree=4140468/4192956
[pid=7721] ppid=7719 vsize=973592 CPUtime=282.21
/proc/7721/stat : 7721 (pbct) R 7719 7721 7269 0 -1 4202496 255904 0 0 0 27855 366 0 0 25 0 1 0 42839915 996958208 231703 1992294400 134512640 136485738 4294330592 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/7721/statm: 243398 231703 245 482 0 242914 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 973592

[startup+342.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 7733
/proc/meminfo: memFree=819492/2059040 swapFree=4140468/4192956
[pid=7721] ppid=7719 vsize=976528 CPUtime=342.2
/proc/7721/stat : 7721 (pbct) R 7719 7721 7269 0 -1 4202496 256633 0 0 0 33793 427 0 0 25 0 1 0 42839915 999964672 232432 1992294400 134512640 136485738 4294330592 18446744073709551615 135024568 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/7721/statm: 244132 232432 245 482 0 243648 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 976528

[startup+402.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 7735
/proc/meminfo: memFree=816516/2059040 swapFree=4140468/4192956
[pid=7721] ppid=7719 vsize=979168 CPUtime=402.18
/proc/7721/stat : 7721 (pbct) R 7719 7721 7269 0 -1 4202496 257288 0 0 0 39735 483 0 0 25 0 1 0 42839915 1002668032 233087 1992294400 134512640 136485738 4294330592 18446744073709551615 135724785 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/7721/statm: 244792 233087 245 482 0 244308 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 979168

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 7737
/proc/meminfo: memFree=812920/2059040 swapFree=4140468/4192956
[pid=7721] ppid=7719 vsize=982868 CPUtime=462.17
/proc/7721/stat : 7721 (pbct) R 7719 7721 7269 0 -1 4202496 258193 0 0 0 45677 540 0 0 25 0 1 0 42839915 1006456832 233992 1992294400 134512640 136485738 4294330592 18446744073709551615 135044489 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/7721/statm: 245717 233992 245 482 0 245233 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 982868

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 7739
/proc/meminfo: memFree=809572/2059040 swapFree=4140468/4192956
[pid=7721] ppid=7719 vsize=986168 CPUtime=522.14
/proc/7721/stat : 7721 (pbct) R 7719 7721 7269 0 -1 4202496 259037 0 0 0 51618 596 0 0 25 0 1 0 42839915 1009836032 234836 1992294400 134512640 136485738 4294330592 18446744073709551615 135024568 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/7721/statm: 246542 234836 245 482 0 246058 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 986168

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 7741
/proc/meminfo: memFree=807092/2059040 swapFree=4140468/4192956
[pid=7721] ppid=7719 vsize=988548 CPUtime=582.13
/proc/7721/stat : 7721 (pbct) R 7719 7721 7269 0 -1 4202496 259621 0 0 0 57559 654 0 0 25 0 1 0 42839915 1012273152 235420 1992294400 134512640 136485738 4294330592 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/7721/statm: 247137 235420 245 482 0 246653 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 988548

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 7741
/proc/meminfo: memFree=803620/2059040 swapFree=4140468/4192956
[pid=7721] ppid=7719 vsize=991980 CPUtime=642.13
/proc/7721/stat : 7721 (pbct) R 7719 7721 7269 0 -1 4202496 260483 0 0 0 63501 712 0 0 25 0 1 0 42839915 1015787520 236282 1992294400 134512640 136485738 4294330592 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/7721/statm: 247995 236282 245 482 0 247511 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 991980

[startup+702.301 s]

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

/proc/loadavg: 1.00 1.00 1.00 2/107 7755
/proc/meminfo: memFree=774728/2059040 swapFree=4140468/4192956
[pid=7721] ppid=7719 vsize=1020704 CPUtime=1181.98
/proc/7721/stat : 7721 (pbct) R 7719 7721 7269 0 -1 4202496 267643 0 0 0 117014 1184 0 0 25 0 1 0 42839915 1045200896 243442 1992294400 134512640 136485738 4294330592 18446744073709551615 135039324 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/7721/statm: 255176 243442 245 482 0 254692 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 1020704

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 7757
/proc/meminfo: memFree=772000/2059040 swapFree=4140468/4192956
[pid=7721] ppid=7719 vsize=1023476 CPUtime=1241.96
/proc/7721/stat : 7721 (pbct) R 7719 7721 7269 0 -1 4202496 268345 0 0 0 122963 1233 0 0 25 0 1 0 42839915 1048039424 244144 1992294400 134512640 136485738 4294330592 18446744073709551615 134638760 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/7721/statm: 255869 244144 245 482 0 255385 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 1023476

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 7759
/proc/meminfo: memFree=769148/2059040 swapFree=4140468/4192956
[pid=7721] ppid=7719 vsize=1025988 CPUtime=1301.95
/proc/7721/stat : 7721 (pbct) R 7719 7721 7269 0 -1 4202496 268995 0 0 0 128910 1285 0 0 25 0 1 0 42839915 1050611712 244794 1992294400 134512640 136485738 4294330592 18446744073709551615 135024897 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/7721/statm: 256497 244794 245 482 0 256013 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 1025988

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 7761
/proc/meminfo: memFree=763816/2059040 swapFree=4140468/4192956
[pid=7721] ppid=7719 vsize=1031400 CPUtime=1361.93
/proc/7721/stat : 7721 (pbct) R 7719 7721 7269 0 -1 4202496 270335 0 0 0 134853 1340 0 0 25 0 1 0 42839915 1056153600 246134 1992294400 134512640 136485738 4294330592 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/7721/statm: 257850 246134 245 482 0 257366 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 1031400

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 7763
/proc/meminfo: memFree=756996/2059040 swapFree=4140468/4192956
[pid=7721] ppid=7719 vsize=1038144 CPUtime=1421.91
/proc/7721/stat : 7721 (pbct) R 7719 7721 7269 0 -1 4202496 272025 0 0 0 140799 1392 0 0 25 0 1 0 42839915 1063059456 247824 1992294400 134512640 136485738 4294330592 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/7721/statm: 259536 247824 245 482 0 259052 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 1038144

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 7763
/proc/meminfo: memFree=753524/2059040 swapFree=4140468/4192956
[pid=7721] ppid=7719 vsize=1041580 CPUtime=1481.89
/proc/7721/stat : 7721 (pbct) R 7719 7721 7269 0 -1 4202496 272896 0 0 0 146745 1444 0 0 25 0 1 0 42839915 1066577920 248695 1992294400 134512640 136485738 4294330592 18446744073709551615 135047545 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/7721/statm: 260395 248695 245 482 0 259911 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 1041580

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 7765
/proc/meminfo: memFree=745340/2059040 swapFree=4140468/4192956
[pid=7721] ppid=7719 vsize=1049732 CPUtime=1541.88
/proc/7721/stat : 7721 (pbct) R 7719 7721 7269 0 -1 4202496 274899 0 0 0 152695 1493 0 0 25 0 1 0 42839915 1074925568 250698 1992294400 134512640 136485738 4294330592 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/7721/statm: 262433 250698 245 482 0 261949 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 1049732

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 7767
/proc/meminfo: memFree=741992/2059040 swapFree=4140468/4192956
[pid=7721] ppid=7719 vsize=1053032 CPUtime=1601.86
/proc/7721/stat : 7721 (pbct) R 7719 7721 7269 0 -1 4202496 275725 0 0 0 158651 1535 0 0 25 0 1 0 42839915 1078304768 251524 1992294400 134512640 136485738 4294330592 18446744073709551615 135024568 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/7721/statm: 263258 251524 245 482 0 262774 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 1053032

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 7769
/proc/meminfo: memFree=738396/2059040 swapFree=4140468/4192956
[pid=7721] ppid=7719 vsize=1056468 CPUtime=1661.84
/proc/7721/stat : 7721 (pbct) R 7719 7721 7269 0 -1 4202496 276585 0 0 0 164600 1584 0 0 25 0 1 0 42839915 1081823232 252384 1992294400 134512640 136485738 4294330592 18446744073709551615 135024568 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/7721/statm: 264117 252384 245 482 0 263633 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 1056468

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 7771
/proc/meminfo: memFree=735048/2059040 swapFree=4140468/4192956
[pid=7721] ppid=7719 vsize=1059772 CPUtime=1721.82
/proc/7721/stat : 7721 (pbct) R 7719 7721 7269 0 -1 4202496 277410 0 0 0 170549 1633 0 0 25 0 1 0 42839915 1085206528 253209 1992294400 134512640 136485738 4294330592 18446744073709551615 135024568 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/7721/statm: 264943 253209 245 482 0 264459 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 1059772

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 7771
/proc/meminfo: memFree=732444/2059040 swapFree=4140468/4192956
[pid=7721] ppid=7719 vsize=1062152 CPUtime=1781.81
/proc/7721/stat : 7721 (pbct) R 7719 7721 7269 0 -1 4202496 278026 0 0 0 176500 1681 0 0 25 0 1 0 42839915 1087643648 253825 1992294400 134512640 136485738 4294330592 18446744073709551615 135024897 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/7721/statm: 265538 253825 245 482 0 265054 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 1062152



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 7773
/proc/meminfo: memFree=731080/2059040 swapFree=4140468/4192956
[pid=7721] ppid=7719 vsize=1063608 CPUtime=1800.02
/proc/7721/stat : 7721 (pbct) R 7719 7721 7269 0 -1 4202496 278386 0 0 0 178305 1697 0 0 25 0 1 0 42839915 1089134592 254185 1992294400 134512640 136485738 4294330592 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/7721/statm: 265902 254185 245 482 0 265418 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1063608

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

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 7773
/proc/meminfo: memFree=731080/2059040 swapFree=4140468/4192956
[pid=7721] ppid=7719 vsize=1063608 CPUtime=1800.02
/proc/7721/stat : 7721 (pbct) R 7719 7721 7269 0 -1 4202496 278386 0 0 0 178305 1697 0 0 25 0 1 0 42839915 1089134592 254185 1992294400 134512640 136485738 4294330592 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/7721/statm: 265902 254185 245 482 0 265418 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1063608

[startup+1800.61 s]
/proc/loadavg: 1.00 1.00 1.00 3/108 7774
/proc/meminfo: memFree=1734456/2059040 swapFree=4140468/4192956
[pid=7721] ppid=-1 vsize=0 CPUtime=0
/proc/7721/stat : -- couldn't open stat file --/proc/7721/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 3/108 7774
/proc/meminfo: memFree=1734456/2059040 swapFree=4140468/4192956
[pid=7721] ppid=-1 vsize=0 CPUtime=0
/proc/7721/stat : -- couldn't open stat file --/proc/7721/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 7721 and gives
#  childrusage.ru_utime.tv_sec=1783
#  childrusage.ru_utime.tv_usec=53934
#  childrusage.ru_stime.tv_sec=17
#  childrusage.ru_stime.tv_usec=74404
# CPU time returned by wait4() is 1800.13
# 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.02
#  lost CPU user time (s): 1783.05
#  lost CPU system time (s): 16.97

Real time (s): 1800.61
CPU time (s): 1800.02
CPU user time (s): 1783.05
CPU system time (s): 16.97
CPU usage (%): 99.9671
Max. virtual memory (cumulated for all children) (KiB): 1063608

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

runsolver used 2.79857 second user time and 8.68068 second system time

The end