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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2668186-1276673288/watcher-2668186-1276673288 -o /tmp/evaluation-result-2668186-1276673288/solver-2668186-1276673288 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2668186-1276673288.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.04 1.03 1.13 2/106 14922
/proc/meminfo: memFree=1782060/2059040 swapFree=4164944/4192956
[pid=14922] ppid=14920 vsize=2340 CPUtime=0
/proc/14922/stat : 14922 (pbct) R 14920 14922 14723 0 -1 4202496 300 0 0 0 0 0 0 0 17 0 1 0 8624203 2396160 223 1992294400 134512640 136485738 4293479104 18446744073709551615 135332318 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14922/statm: 585 223 156 482 0 101 0

[startup+0.013498 s]
/proc/loadavg: 1.04 1.03 1.13 2/106 14922
/proc/meminfo: memFree=1782060/2059040 swapFree=4164944/4192956
[pid=14922] ppid=14920 vsize=2472 CPUtime=0.01
/proc/14922/stat : 14922 (pbct) R 14920 14922 14723 0 -1 4202496 337 0 0 0 1 0 0 0 17 0 1 0 8624203 2531328 260 1992294400 134512640 136485738 4293479104 18446744073709551615 135850441 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14922/statm: 618 260 156 482 0 134 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2472

[startup+0.100504 s]
/proc/loadavg: 1.04 1.03 1.13 2/106 14922
/proc/meminfo: memFree=1782060/2059040 swapFree=4164944/4192956
[pid=14922] ppid=14920 vsize=4848 CPUtime=0.09
/proc/14922/stat : 14922 (pbct) R 14920 14922 14723 0 -1 4202496 916 0 0 0 9 0 0 0 17 0 1 0 8624203 4964352 839 1992294400 134512640 136485738 4293479104 18446744073709551615 135850441 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14922/statm: 1212 839 156 482 0 728 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4848

[startup+0.300515 s]
/proc/loadavg: 1.04 1.03 1.13 2/106 14922
/proc/meminfo: memFree=1782060/2059040 swapFree=4164944/4192956
[pid=14922] ppid=14920 vsize=9336 CPUtime=0.29
/proc/14922/stat : 14922 (pbct) R 14920 14922 14723 0 -1 4202496 2050 0 0 0 28 1 0 0 17 0 1 0 8624203 9560064 1973 1992294400 134512640 136485738 4293479104 18446744073709551615 134526495 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14922/statm: 2334 1973 156 482 0 1850 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9336

[startup+0.70054 s]
/proc/loadavg: 1.04 1.03 1.13 2/106 14922
/proc/meminfo: memFree=1782060/2059040 swapFree=4164944/4192956
[pid=14922] ppid=14920 vsize=19792 CPUtime=0.69
/proc/14922/stat : 14922 (pbct) R 14920 14922 14723 0 -1 4202496 4656 0 0 0 67 2 0 0 17 0 1 0 8624203 20267008 4579 1992294400 134512640 136485738 4293479104 18446744073709551615 135849475 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14922/statm: 4948 4580 156 482 0 4464 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 19792

[startup+1.50059 s]
/proc/loadavg: 1.04 1.03 1.13 2/107 14923
/proc/meminfo: memFree=1739520/2059040 swapFree=4164944/4192956
[pid=14922] ppid=14920 vsize=87748 CPUtime=1.49
/proc/14922/stat : 14922 (pbct) R 14920 14922 14723 0 -1 4202496 22220 0 0 0 139 10 0 0 18 0 1 0 8624203 89853952 21540 1992294400 134512640 136485738 4293479104 18446744073709551615 135850441 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/14922/statm: 21937 21541 194 482 0 21453 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 87748

[startup+3.10069 s]
/proc/loadavg: 1.04 1.03 1.13 2/107 14923
/proc/meminfo: memFree=1652100/2059040 swapFree=4164944/4192956
[pid=14922] ppid=14920 vsize=200084 CPUtime=3.09
/proc/14922/stat : 14922 (pbct) R 14920 14922 14723 0 -1 4202496 51965 0 0 0 286 23 0 0 21 0 1 0 8624203 204886016 49032 1992294400 134512640 136485738 4293479104 18446744073709551615 135533248 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/14922/statm: 50021 49033 198 482 0 49537 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 200084

[startup+6.30189 s]
/proc/loadavg: 1.04 1.03 1.13 2/107 14923
/proc/meminfo: memFree=1451344/2059040 swapFree=4164944/4192956
[pid=14922] ppid=14920 vsize=382224 CPUtime=6.3
/proc/14922/stat : 14922 (pbct) R 14920 14922 14723 0 -1 4202496 101096 0 0 0 584 46 0 0 25 0 1 0 8624203 391397376 94445 1992294400 134512640 136485738 4293479104 18446744073709551615 135850441 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/14922/statm: 95556 94445 198 482 0 95072 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 382224

[startup+12.7013 s]
/proc/loadavg: 1.04 1.03 1.13 2/107 14925
/proc/meminfo: memFree=966256/2059040 swapFree=4164944/4192956
[pid=14922] ppid=14920 vsize=849400 CPUtime=12.69
/proc/14922/stat : 14922 (pbct) R 14920 14922 14723 0 -1 4202496 223727 0 0 0 1171 98 0 0 25 0 1 0 8624203 869785600 205708 1992294400 134512640 136485738 4293479104 18446744073709551615 134719603 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/14922/statm: 212350 205708 210 482 0 211866 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 849400

[startup+25.5011 s]
/proc/loadavg: 1.03 1.03 1.13 2/107 14925
/proc/meminfo: memFree=869040/2059040 swapFree=4164944/4192956
[pid=14922] ppid=14920 vsize=958252 CPUtime=25.49
/proc/14922/stat : 14922 (pbct) R 14920 14922 14723 0 -1 4202496 252019 0 0 0 2432 117 0 0 25 0 1 0 8624203 981250048 227830 1992294400 134512640 136485738 4293479104 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/14922/statm: 239563 227830 245 482 0 239079 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 958252

[startup+51.1007 s]
/proc/loadavg: 1.02 1.02 1.12 2/107 14925
/proc/meminfo: memFree=868544/2059040 swapFree=4164944/4192956
[pid=14922] ppid=14920 vsize=958912 CPUtime=51.08
/proc/14922/stat : 14922 (pbct) R 14920 14922 14723 0 -1 4202496 252207 0 0 0 4967 141 0 0 25 0 1 0 8624203 981925888 228018 1992294400 134512640 136485738 4293479104 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/14922/statm: 239728 228018 245 482 0 239244 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 958912

[startup+102.308 s]
/proc/loadavg: 1.01 1.02 1.11 2/107 14927
/proc/meminfo: memFree=866684/2059040 swapFree=4164944/4192956
[pid=14922] ppid=14920 vsize=960892 CPUtime=102.27
/proc/14922/stat : 14922 (pbct) R 14920 14922 14723 0 -1 4202496 252678 0 0 0 10034 193 0 0 25 0 1 0 8624203 983953408 228489 1992294400 134512640 136485738 4293479104 18446744073709551615 135047545 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/14922/statm: 240223 228489 245 482 0 239739 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 960892

[startup+162.301 s]
/proc/loadavg: 1.04 1.03 1.11 2/107 14929
/proc/meminfo: memFree=864328/2059040 swapFree=4164944/4192956
[pid=14922] ppid=14920 vsize=963136 CPUtime=162.26
/proc/14922/stat : 14922 (pbct) R 14920 14922 14723 0 -1 4202496 253240 0 0 0 15975 251 0 0 25 0 1 0 8624203 986251264 229051 1992294400 134512640 136485738 4293479104 18446744073709551615 135024608 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/14922/statm: 240784 229051 245 482 0 240300 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 963136

[startup+222.3 s]
/proc/loadavg: 1.12 1.05 1.11 2/107 14932
/proc/meminfo: memFree=860980/2059040 swapFree=4164944/4192956
[pid=14922] ppid=14920 vsize=965792 CPUtime=222.24
/proc/14922/stat : 14922 (pbct) R 14920 14922 14723 0 -1 4202496 253920 0 0 0 21918 306 0 0 25 0 1 0 8624203 988971008 229731 1992294400 134512640 136485738 4293479104 18446744073709551615 135725226 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/14922/statm: 241448 229731 245 482 0 240964 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 965792

[startup+282.301 s]
/proc/loadavg: 1.04 1.04 1.10 2/107 14934
/proc/meminfo: memFree=857756/2059040 swapFree=4164944/4192956
[pid=14922] ppid=14920 vsize=969092 CPUtime=282.22
/proc/14922/stat : 14922 (pbct) R 14920 14922 14723 0 -1 4202496 254754 0 0 0 27862 360 0 0 25 0 1 0 8624203 992350208 230565 1992294400 134512640 136485738 4293479104 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/14922/statm: 242273 230565 245 482 0 241789 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 969092

[startup+342.301 s]
/proc/loadavg: 1.01 1.03 1.09 3/107 14936
/proc/meminfo: memFree=855648/2059040 swapFree=4164944/4192956
[pid=14922] ppid=14920 vsize=971344 CPUtime=342.22
/proc/14922/stat : 14922 (pbct) R 14920 14922 14723 0 -1 4202496 255298 0 0 0 33808 414 0 0 25 0 1 0 8624203 994656256 231109 1992294400 134512640 136485738 4293479104 18446744073709551615 135024897 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/14922/statm: 242836 231109 245 482 0 242352 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 971344

[startup+402.3 s]
/proc/loadavg: 1.00 1.02 1.08 2/107 14938
/proc/meminfo: memFree=851308/2059040 swapFree=4164944/4192956
[pid=14922] ppid=14920 vsize=975592 CPUtime=402.2
/proc/14922/stat : 14922 (pbct) R 14920 14922 14723 0 -1 4202496 256357 0 0 0 39751 469 0 0 25 0 1 0 8624203 999006208 232168 1992294400 134512640 136485738 4293479104 18446744073709551615 135047545 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/14922/statm: 243898 232168 245 482 0 243414 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 975592

[startup+462.301 s]
/proc/loadavg: 1.00 1.02 1.08 2/107 14940
/proc/meminfo: memFree=848952/2059040 swapFree=4164944/4192956
[pid=14922] ppid=14920 vsize=977968 CPUtime=462.19
/proc/14922/stat : 14922 (pbct) R 14920 14922 14723 0 -1 4202496 256969 0 0 0 45698 521 0 0 25 0 1 0 8624203 1001439232 232780 1992294400 134512640 136485738 4293479104 18446744073709551615 134880498 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/14922/statm: 244492 232780 245 482 0 244008 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 977968

[startup+522.301 s]
/proc/loadavg: 1.00 1.01 1.07 2/107 14940
/proc/meminfo: memFree=847216/2059040 swapFree=4164944/4192956
[pid=14922] ppid=14920 vsize=979684 CPUtime=522.18
/proc/14922/stat : 14922 (pbct) R 14920 14922 14723 0 -1 4202496 257398 0 0 0 51643 575 0 0 25 0 1 0 8624203 1003196416 233209 1992294400 134512640 136485738 4293479104 18446744073709551615 135047552 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/14922/statm: 244921 233209 245 482 0 244437 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 979684

[startup+582.3 s]
/proc/loadavg: 1.00 1.00 1.06 2/107 14942
/proc/meminfo: memFree=844984/2059040 swapFree=4164944/4192956
[pid=14922] ppid=14920 vsize=981928 CPUtime=582.16
/proc/14922/stat : 14922 (pbct) R 14920 14922 14723 0 -1 4202496 257956 0 0 0 57591 625 0 0 25 0 1 0 8624203 1005494272 233767 1992294400 134512640 136485738 4293479104 18446744073709551615 135024897 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/14922/statm: 245482 233767 245 482 0 244998 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 981928

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.06 2/107 14944
/proc/meminfo: memFree=842876/2059040 swapFree=4164944/4192956
[pid=14922] ppid=14920 vsize=984176 CPUtime=642.15
/proc/14922/stat : 14922 (pbct) R 14920 14922 14723 0 -1 4202496 258509 0 0 0 63542 673 0 0 25 0 1 0 8624203 1007796224 234320 1992294400 134512640 136485738 4293479104 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/14922/statm: 246044 234320 245 482 0 245560 0
Current children cumulated CPU time (s) 642.15
Current children cumulated vsize (KiB) 984176

[startup+702.301 s]

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

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.03 2/107 14950
/proc/meminfo: memFree=827996/2059040 swapFree=4164944/4192956
[pid=14922] ppid=14920 vsize=999000 CPUtime=882.09
/proc/14922/stat : 14922 (pbct) R 14920 14922 14723 0 -1 4202496 262197 0 0 0 87335 874 0 0 25 0 1 0 8624203 1022976000 238008 1992294400 134512640 136485738 4293479104 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/14922/statm: 249750 238008 245 482 0 249266 0
Current children cumulated CPU time (s) 882.09
Current children cumulated vsize (KiB) 999000

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.03 2/107 14952
/proc/meminfo: memFree=826136/2059040 swapFree=4164944/4192956
[pid=14922] ppid=14920 vsize=1000848 CPUtime=942.08
/proc/14922/stat : 14922 (pbct) R 14920 14922 14723 0 -1 4202496 262688 0 0 0 93293 915 0 0 25 0 1 0 8624203 1024868352 238499 1992294400 134512640 136485738 4293479104 18446744073709551615 135044309 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/14922/statm: 250212 238499 245 482 0 249728 0
Current children cumulated CPU time (s) 942.08
Current children cumulated vsize (KiB) 1000848

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.02 2/107 14954
/proc/meminfo: memFree=823532/2059040 swapFree=4164944/4192956
[pid=14922] ppid=14920 vsize=1003360 CPUtime=1002.07
/proc/14922/stat : 14922 (pbct) R 14920 14922 14723 0 -1 4202496 263294 0 0 0 99241 966 0 0 25 0 1 0 8624203 1027440640 239105 1992294400 134512640 136485738 4293479104 18446744073709551615 135725226 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/14922/statm: 250840 239105 245 482 0 250356 0
Current children cumulated CPU time (s) 1002.07
Current children cumulated vsize (KiB) 1003360

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.02 2/107 14956
/proc/meminfo: memFree=819688/2059040 swapFree=4164944/4192956
[pid=14922] ppid=14920 vsize=1007192 CPUtime=1062.05
/proc/14922/stat : 14922 (pbct) R 14920 14922 14723 0 -1 4202496 264252 0 0 0 105188 1017 0 0 25 0 1 0 8624203 1031364608 240063 1992294400 134512640 136485738 4293479104 18446744073709551615 135024568 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/14922/statm: 251798 240063 245 482 0 251314 0
Current children cumulated CPU time (s) 1062.05
Current children cumulated vsize (KiB) 1007192

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.01 2/107 14956
/proc/meminfo: memFree=816340/2059040 swapFree=4164944/4192956
[pid=14922] ppid=14920 vsize=1010472 CPUtime=1122.05
/proc/14922/stat : 14922 (pbct) R 14920 14922 14723 0 -1 4202496 265056 0 0 0 111141 1064 0 0 25 0 1 0 8624203 1034723328 240867 1992294400 134512640 136485738 4293479104 18446744073709551615 134886555 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/14922/statm: 252618 240867 245 482 0 252134 0
Current children cumulated CPU time (s) 1122.05
Current children cumulated vsize (KiB) 1010472

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.01 2/107 14958
/proc/meminfo: memFree=813612/2059040 swapFree=4164944/4192956
[pid=14922] ppid=14920 vsize=1013248 CPUtime=1182.03
/proc/14922/stat : 14922 (pbct) R 14920 14922 14723 0 -1 4202496 265765 0 0 0 117092 1111 0 0 25 0 1 0 8624203 1037565952 241576 1992294400 134512640 136485738 4293479104 18446744073709551615 135725226 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/14922/statm: 253312 241576 245 482 0 252828 0
Current children cumulated CPU time (s) 1182.03
Current children cumulated vsize (KiB) 1013248

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14960
/proc/meminfo: memFree=810760/2059040 swapFree=4164944/4192956
[pid=14922] ppid=14920 vsize=1015888 CPUtime=1242.01
/proc/14922/stat : 14922 (pbct) R 14920 14922 14723 0 -1 4202496 266424 0 0 0 123038 1163 0 0 25 0 1 0 8624203 1040269312 242235 1992294400 134512640 136485738 4293479104 18446744073709551615 135045330 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/14922/statm: 253972 242235 245 482 0 253488 0
Current children cumulated CPU time (s) 1242.01
Current children cumulated vsize (KiB) 1015888

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14962
/proc/meminfo: memFree=808156/2059040 swapFree=4164944/4192956
[pid=14922] ppid=14920 vsize=1018396 CPUtime=1302.01
/proc/14922/stat : 14922 (pbct) R 14920 14922 14723 0 -1 4202496 267048 0 0 0 128987 1214 0 0 25 0 1 0 8624203 1042837504 242859 1992294400 134512640 136485738 4293479104 18446744073709551615 135044064 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/14922/statm: 254599 242859 245 482 0 254115 0
Current children cumulated CPU time (s) 1302.01
Current children cumulated vsize (KiB) 1018396

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14964
/proc/meminfo: memFree=806296/2059040 swapFree=4164944/4192956
[pid=14922] ppid=14920 vsize=1020244 CPUtime=1361.99
/proc/14922/stat : 14922 (pbct) R 14920 14922 14723 0 -1 4202496 267532 0 0 0 134940 1259 0 0 25 0 1 0 8624203 1044729856 243343 1992294400 134512640 136485738 4293479104 18446744073709551615 135037649 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/14922/statm: 255061 243343 245 482 0 254577 0
Current children cumulated CPU time (s) 1361.99
Current children cumulated vsize (KiB) 1020244

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14964
/proc/meminfo: memFree=802700/2059040 swapFree=4164944/4192956
[pid=14922] ppid=14920 vsize=1023816 CPUtime=1421.98
/proc/14922/stat : 14922 (pbct) R 14920 14922 14723 0 -1 4202496 268422 0 0 0 140888 1310 0 0 25 0 1 0 8624203 1048387584 244233 1992294400 134512640 136485738 4293479104 18446744073709551615 135024728 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/14922/statm: 255954 244233 245 482 0 255470 0
Current children cumulated CPU time (s) 1421.98
Current children cumulated vsize (KiB) 1023816

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14966
/proc/meminfo: memFree=790672/2059040 swapFree=4164944/4192956
[pid=14922] ppid=14920 vsize=1035832 CPUtime=1481.96
/proc/14922/stat : 14922 (pbct) R 14920 14922 14723 0 -1 4202496 271431 0 0 0 146829 1367 0 0 25 0 1 0 8624203 1060691968 247242 1992294400 134512640 136485738 4293479104 18446744073709551615 135039091 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/14922/statm: 258958 247242 245 482 0 258474 0
Current children cumulated CPU time (s) 1481.96
Current children cumulated vsize (KiB) 1035832

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14968
/proc/meminfo: memFree=789060/2059040 swapFree=4164944/4192956
[pid=14922] ppid=14920 vsize=1037420 CPUtime=1541.96
/proc/14922/stat : 14922 (pbct) R 14920 14922 14723 0 -1 4202496 271822 0 0 0 152788 1408 0 0 25 0 1 0 8624203 1062318080 247633 1992294400 134512640 136485738 4293479104 18446744073709551615 135044070 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/14922/statm: 259355 247633 245 482 0 258871 0
Current children cumulated CPU time (s) 1541.96
Current children cumulated vsize (KiB) 1037420

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14970
/proc/meminfo: memFree=781620/2059040 swapFree=4164944/4192956
[pid=14922] ppid=14920 vsize=1044832 CPUtime=1601.94
/proc/14922/stat : 14922 (pbct) R 14920 14922 14723 0 -1 4202496 273672 0 0 0 158735 1459 0 0 25 0 1 0 8624203 1069907968 249483 1992294400 134512640 136485738 4293479104 18446744073709551615 135047552 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/14922/statm: 261208 249483 245 482 0 260724 0
Current children cumulated CPU time (s) 1601.94
Current children cumulated vsize (KiB) 1044832

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14972
/proc/meminfo: memFree=777776/2059040 swapFree=4164944/4192956
[pid=14922] ppid=14920 vsize=1048800 CPUtime=1661.92
/proc/14922/stat : 14922 (pbct) R 14920 14922 14723 0 -1 4202496 274648 0 0 0 164687 1505 0 0 25 0 1 0 8624203 1073971200 250459 1992294400 134512640 136485738 4293479104 18446744073709551615 135047012 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/14922/statm: 262200 250459 245 482 0 261716 0
Current children cumulated CPU time (s) 1661.92
Current children cumulated vsize (KiB) 1048800

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14972
/proc/meminfo: memFree=773436/2059040 swapFree=4164944/4192956
[pid=14922] ppid=14920 vsize=1053032 CPUtime=1721.92
/proc/14922/stat : 14922 (pbct) R 14920 14922 14723 0 -1 4202496 275703 0 0 0 170638 1554 0 0 25 0 1 0 8624203 1078304768 251514 1992294400 134512640 136485738 4293479104 18446744073709551615 134638729 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/14922/statm: 263258 251514 245 482 0 262774 0
Current children cumulated CPU time (s) 1721.92
Current children cumulated vsize (KiB) 1053032

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14974
/proc/meminfo: memFree=770708/2059040 swapFree=4164944/4192956
[pid=14922] ppid=14920 vsize=1055548 CPUtime=1781.9
/proc/14922/stat : 14922 (pbct) R 14920 14922 14723 0 -1 4202496 276339 0 0 0 176587 1603 0 0 25 0 1 0 8624203 1080881152 252150 1992294400 134512640 136485738 4293479104 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/14922/statm: 263887 252150 245 482 0 263403 0
Current children cumulated CPU time (s) 1781.9
Current children cumulated vsize (KiB) 1055548



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14974
/proc/meminfo: memFree=769716/2059040 swapFree=4164944/4192956
[pid=14922] ppid=14920 vsize=1056472 CPUtime=1800.1
/proc/14922/stat : 14922 (pbct) R 14920 14922 14723 0 -1 4202496 276565 0 0 0 178394 1616 0 0 25 0 1 0 8624203 1081827328 252376 1992294400 134512640 136485738 4293479104 18446744073709551615 135024568 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/14922/statm: 264118 252376 245 482 0 263634 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 1056472

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 1.00 2/107 14974
/proc/meminfo: memFree=769716/2059040 swapFree=4164944/4192956
[pid=14922] ppid=14920 vsize=1056472 CPUtime=1800.1
/proc/14922/stat : 14922 (pbct) R 14920 14922 14723 0 -1 4202496 276565 0 0 0 178394 1616 0 0 25 0 1 0 8624203 1081827328 252376 1992294400 134512640 136485738 4293479104 18446744073709551615 135024568 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/14922/statm: 264118 252376 245 482 0 263634 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 1056472

Child status: 0
Real time (s): 1800.61
CPU time (s): 1800.21
CPU user time (s): 1783.95
CPU system time (s): 16.2655
CPU usage (%): 99.9781
Max. virtual memory (cumulated for all children) (KiB): 1056472

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

runsolver used 2.82357 second user time and 8.65568 second system time

The end