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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2682315-1277488155/watcher-2682315-1277488155 -o /tmp/evaluation-result-2682315-1277488155/solver-2682315-1277488155 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2682315-1277488155.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.01 1.03 1.00 3/106 23640
/proc/meminfo: memFree=1803236/2059040 swapFree=4135508/4192956
[pid=23640] ppid=23638 vsize=2280 CPUtime=0
/proc/23640/stat : 23640 (pbct) R 23638 23640 22887 0 -1 4202496 279 0 0 0 0 0 0 0 20 0 1 0 124416840 2334720 198 1992294400 134512640 136421960 4287345504 18446744073709551615 135811817 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/23640/statm: 570 198 144 467 0 101 0

[startup+0.09285 s]
/proc/loadavg: 1.01 1.03 1.00 3/106 23640
/proc/meminfo: memFree=1803236/2059040 swapFree=4135508/4192956
[pid=23640] ppid=23638 vsize=9464 CPUtime=0.08
/proc/23640/stat : 23640 (pbct) R 23638 23640 22887 0 -1 4202496 2068 0 0 0 8 0 0 0 20 0 1 0 124416840 9691136 1987 1992294400 134512640 136421960 4287345504 18446744073709551615 135518859 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23640/statm: 2366 1988 194 467 0 1897 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9464

[startup+0.10085 s]
/proc/loadavg: 1.01 1.03 1.00 3/106 23640
/proc/meminfo: memFree=1803236/2059040 swapFree=4135508/4192956
[pid=23640] ppid=23638 vsize=9904 CPUtime=0.09
/proc/23640/stat : 23640 (pbct) R 23638 23640 22887 0 -1 4202496 2207 0 0 0 9 0 0 0 20 0 1 0 124416840 10141696 2126 1992294400 134512640 136421960 4287345504 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23640/statm: 2476 2127 194 467 0 2007 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9904

[startup+0.300868 s]
/proc/loadavg: 1.01 1.03 1.00 3/106 23640
/proc/meminfo: memFree=1803236/2059040 swapFree=4135508/4192956
[pid=23640] ppid=23638 vsize=26344 CPUtime=0.29
/proc/23640/stat : 23640 (pbct) R 23638 23640 22887 0 -1 4202496 6284 0 0 0 27 2 0 0 20 0 1 0 124416840 26976256 6055 1992294400 134512640 136421960 4287345504 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23640/statm: 6586 6055 216 467 0 6117 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 26344

[startup+0.700905 s]
/proc/loadavg: 1.01 1.03 1.00 3/106 23640
/proc/meminfo: memFree=1803236/2059040 swapFree=4135508/4192956
[pid=23640] ppid=23638 vsize=26608 CPUtime=0.69
/proc/23640/stat : 23640 (pbct) R 23638 23640 22887 0 -1 4202496 6365 0 0 0 62 7 0 0 20 0 1 0 124416840 27246592 6136 1992294400 134512640 136421960 4287345504 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23640/statm: 6652 6136 217 467 0 6183 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 26608

[startup+1.50097 s]
/proc/loadavg: 1.01 1.03 1.00 2/107 23641
/proc/meminfo: memFree=1779172/2059040 swapFree=4135508/4192956
[pid=23640] ppid=23638 vsize=27012 CPUtime=1.49
/proc/23640/stat : 23640 (pbct) R 23638 23640 22887 0 -1 4202496 6454 0 0 0 132 17 0 0 22 0 1 0 124416840 27660288 6225 1992294400 134512640 136421960 4287345504 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23640/statm: 6753 6225 217 467 0 6284 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 27012

[startup+3.10112 s]
/proc/loadavg: 1.01 1.03 1.00 2/107 23641
/proc/meminfo: memFree=1778552/2059040 swapFree=4135508/4192956
[pid=23640] ppid=23638 vsize=27688 CPUtime=3.09
/proc/23640/stat : 23640 (pbct) R 23638 23640 22887 0 -1 4202496 6620 0 0 0 273 36 0 0 25 0 1 0 124416840 28352512 6391 1992294400 134512640 136421960 4287345504 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23640/statm: 6922 6391 217 467 0 6453 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 27688

[startup+6.3014 s]
/proc/loadavg: 1.01 1.03 1.00 2/107 23641
/proc/meminfo: memFree=1777436/2059040 swapFree=4135508/4192956
[pid=23640] ppid=23638 vsize=28224 CPUtime=6.29
/proc/23640/stat : 23640 (pbct) R 23638 23640 22887 0 -1 4202496 6758 0 0 0 552 77 0 0 25 0 1 0 124416840 28901376 6529 1992294400 134512640 136421960 4287345504 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23640/statm: 7056 6529 217 467 0 6587 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 28224

[startup+12.701 s]
/proc/loadavg: 1.01 1.03 1.00 2/107 23641
/proc/meminfo: memFree=1776444/2059040 swapFree=4135508/4192956
[pid=23640] ppid=23638 vsize=28884 CPUtime=12.69
/proc/23640/stat : 23640 (pbct) R 23638 23640 22887 0 -1 4202496 6952 0 0 0 1111 158 0 0 25 0 1 0 124416840 29577216 6723 1992294400 134512640 136421960 4287345504 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23640/statm: 7221 6723 217 467 0 6752 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 28884

[startup+25.5011 s]
/proc/loadavg: 1.01 1.03 1.00 2/107 23641
/proc/meminfo: memFree=1775452/2059040 swapFree=4135508/4192956
[pid=23640] ppid=23638 vsize=30312 CPUtime=25.48
/proc/23640/stat : 23640 (pbct) R 23638 23640 22887 0 -1 4202496 7297 0 0 0 2233 315 0 0 25 0 1 0 124416840 31039488 7026 1992294400 134512640 136421960 4287345504 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23640/statm: 7578 7026 239 467 0 7109 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 30312

[startup+51.1014 s]
/proc/loadavg: 1.00 1.03 1.00 2/107 23643
/proc/meminfo: memFree=1775452/2059040 swapFree=4135508/4192956
[pid=23640] ppid=23638 vsize=30312 CPUtime=51.08
/proc/23640/stat : 23640 (pbct) R 23638 23640 22887 0 -1 4202496 7297 0 0 0 4479 629 0 0 25 0 1 0 124416840 31039488 7026 1992294400 134512640 136421960 4287345504 18446744073709551615 134640989 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23640/statm: 7578 7026 239 467 0 7109 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 30312

[startup+102.309 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 23643
/proc/meminfo: memFree=1774088/2059040 swapFree=4135508/4192956
[pid=23640] ppid=23638 vsize=31500 CPUtime=102.28
/proc/23640/stat : 23640 (pbct) R 23638 23640 22887 0 -1 4202496 7578 0 0 0 9027 1201 0 0 25 0 1 0 124416840 32256000 7307 1992294400 134512640 136421960 4287345504 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23640/statm: 7875 7307 239 467 0 7406 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 31500

[startup+162.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 23645
/proc/meminfo: memFree=1773964/2059040 swapFree=4135508/4192956
[pid=23640] ppid=23638 vsize=31500 CPUtime=162.25
/proc/23640/stat : 23640 (pbct) R 23638 23640 22887 0 -1 4202496 7578 0 0 0 14324 1901 0 0 25 0 1 0 124416840 32256000 7307 1992294400 134512640 136421960 4287345504 18446744073709551615 135006251 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23640/statm: 7875 7307 239 467 0 7406 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 31500

[startup+222.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 23647
/proc/meminfo: memFree=1773964/2059040 swapFree=4135508/4192956
[pid=23640] ppid=23638 vsize=31500 CPUtime=222.23
/proc/23640/stat : 23640 (pbct) R 23638 23640 22887 0 -1 4202496 7579 0 0 0 19600 2623 0 0 25 0 1 0 124416840 32256000 7307 1992294400 134512640 136421960 4287345504 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23640/statm: 7875 7307 239 467 0 7406 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 31500

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 23649
/proc/meminfo: memFree=1773840/2059040 swapFree=4135508/4192956
[pid=23640] ppid=23638 vsize=31500 CPUtime=282.22
/proc/23640/stat : 23640 (pbct) R 23638 23640 22887 0 -1 4202496 7579 0 0 0 24886 3336 0 0 25 0 1 0 124416840 32256000 7307 1992294400 134512640 136421960 4287345504 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23640/statm: 7875 7307 239 467 0 7406 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 31500

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 23649
/proc/meminfo: memFree=1773716/2059040 swapFree=4135508/4192956
[pid=23640] ppid=23638 vsize=31500 CPUtime=342.21
/proc/23640/stat : 23640 (pbct) R 23638 23640 22887 0 -1 4202496 7581 0 0 0 30155 4066 0 0 25 0 1 0 124416840 32256000 7307 1992294400 134512640 136421960 4287345504 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23640/statm: 7875 7307 239 467 0 7406 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 31500

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 23651
/proc/meminfo: memFree=1773716/2059040 swapFree=4135508/4192956
[pid=23640] ppid=23638 vsize=31500 CPUtime=402.2
/proc/23640/stat : 23640 (pbct) R 23638 23640 22887 0 -1 4202496 7581 0 0 0 35422 4798 0 0 25 0 1 0 124416840 32256000 7307 1992294400 134512640 136421960 4287345504 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23640/statm: 7875 7307 239 467 0 7406 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 31500

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 23653
/proc/meminfo: memFree=1773592/2059040 swapFree=4135508/4192956
[pid=23640] ppid=23638 vsize=31500 CPUtime=462.18
/proc/23640/stat : 23640 (pbct) R 23638 23640 22887 0 -1 4202496 7581 0 0 0 40687 5531 0 0 25 0 1 0 124416840 32256000 7307 1992294400 134512640 136421960 4287345504 18446744073709551615 135686975 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23640/statm: 7875 7307 239 467 0 7406 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 31500

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 23655
/proc/meminfo: memFree=1773468/2059040 swapFree=4135508/4192956
[pid=23640] ppid=23638 vsize=31500 CPUtime=522.17
/proc/23640/stat : 23640 (pbct) R 23638 23640 22887 0 -1 4202496 7581 0 0 0 45958 6259 0 0 25 0 1 0 124416840 32256000 7307 1992294400 134512640 136421960 4287345504 18446744073709551615 135028356 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23640/statm: 7875 7307 239 467 0 7406 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 31500

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 23657
/proc/meminfo: memFree=1773468/2059040 swapFree=4135508/4192956
[pid=23640] ppid=23638 vsize=31500 CPUtime=582.15
/proc/23640/stat : 23640 (pbct) R 23638 23640 22887 0 -1 4202496 7581 0 0 0 51234 6981 0 0 25 0 1 0 124416840 32256000 7307 1992294400 134512640 136421960 4287345504 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23640/statm: 7875 7307 239 467 0 7406 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 31500

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 23657
/proc/meminfo: memFree=1773344/2059040 swapFree=4135508/4192956
[pid=23640] ppid=23638 vsize=31500 CPUtime=642.14
/proc/23640/stat : 23640 (pbct) R 23638 23640 22887 0 -1 4202496 7582 0 0 0 56505 7709 0 0 25 0 1 0 124416840 32256000 7307 1992294400 134512640 136421960 4287345504 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23640/statm: 7875 7307 239 467 0 7406 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 31500

[startup+702.302 s]

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

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 23674
/proc/meminfo: memFree=1771732/2059040 swapFree=4135508/4192956
[pid=23640] ppid=23638 vsize=32556 CPUtime=882.06
/proc/23640/stat : 23640 (pbct) R 23638 23640 22887 0 -1 4202496 7848 0 0 0 77594 10612 0 0 25 0 1 0 124416840 33337344 7570 1992294400 134512640 136421960 4287345504 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23640/statm: 8139 7570 239 467 0 7670 0
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (KiB) 32556

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 23674
/proc/meminfo: memFree=1769500/2059040 swapFree=4135508/4192956
[pid=23640] ppid=23638 vsize=35328 CPUtime=942.05
/proc/23640/stat : 23640 (pbct) R 23638 23640 22887 0 -1 4202496 8549 0 0 0 82883 11322 0 0 25 0 1 0 124416840 36175872 8270 1992294400 134512640 136421960 4287345504 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23640/statm: 8832 8270 239 467 0 8363 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 35328

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 23676
/proc/meminfo: memFree=1769500/2059040 swapFree=4135508/4192956
[pid=23640] ppid=23638 vsize=35328 CPUtime=1002.03
/proc/23640/stat : 23640 (pbct) R 23638 23640 22887 0 -1 4202496 8549 0 0 0 88174 12029 0 0 25 0 1 0 124416840 36175872 8270 1992294400 134512640 136421960 4287345504 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23640/statm: 8832 8270 239 467 0 8363 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 35328

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 23678
/proc/meminfo: memFree=1769376/2059040 swapFree=4135508/4192956
[pid=23640] ppid=23638 vsize=35328 CPUtime=1062.02
/proc/23640/stat : 23640 (pbct) R 23638 23640 22887 0 -1 4202496 8549 0 0 0 93600 12602 0 0 25 0 1 0 124416840 36175872 8270 1992294400 134512640 136421960 4287345504 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23640/statm: 8832 8270 239 467 0 8363 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 35328

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 23680
/proc/meminfo: memFree=1769376/2059040 swapFree=4135508/4192956
[pid=23640] ppid=23638 vsize=35328 CPUtime=1122
/proc/23640/stat : 23640 (pbct) R 23638 23640 22887 0 -1 4202496 8549 0 0 0 98873 13327 0 0 25 0 1 0 124416840 36175872 8270 1992294400 134512640 136421960 4287345504 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23640/statm: 8832 8270 239 467 0 8363 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 35328

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 23682
/proc/meminfo: memFree=1769252/2059040 swapFree=4135508/4192956
[pid=23640] ppid=23638 vsize=35328 CPUtime=1181.99
/proc/23640/stat : 23640 (pbct) R 23638 23640 22887 0 -1 4202496 8556 0 0 0 104172 14027 0 0 25 0 1 0 124416840 36175872 8276 1992294400 134512640 136421960 4287345504 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23640/statm: 8832 8276 239 467 0 8363 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 35328

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 23682
/proc/meminfo: memFree=1769004/2059040 swapFree=4135508/4192956
[pid=23640] ppid=23638 vsize=35592 CPUtime=1241.98
/proc/23640/stat : 23640 (pbct) R 23638 23640 22887 0 -1 4202496 8608 0 0 0 109445 14753 0 0 25 0 1 0 124416840 36446208 8328 1992294400 134512640 136421960 4287345504 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23640/statm: 8898 8328 239 467 0 8429 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 35592

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 23684
/proc/meminfo: memFree=1768384/2059040 swapFree=4135508/4192956
[pid=23640] ppid=23638 vsize=36252 CPUtime=1301.97
/proc/23640/stat : 23640 (pbct) R 23638 23640 22887 0 -1 4202496 8788 0 0 0 114765 15432 0 0 25 0 1 0 124416840 37122048 8507 1992294400 134512640 136421960 4287345504 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23640/statm: 9063 8507 239 467 0 8594 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 36252

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 23686
/proc/meminfo: memFree=1765780/2059040 swapFree=4135508/4192956
[pid=23640] ppid=23638 vsize=38628 CPUtime=1361.94
/proc/23640/stat : 23640 (pbct) R 23638 23640 22887 0 -1 4202496 9400 0 0 0 120192 16002 0 0 25 0 1 0 124416840 39555072 9118 1992294400 134512640 136421960 4287345504 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23640/statm: 9657 9118 239 467 0 9188 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 38628

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 23688
/proc/meminfo: memFree=1765780/2059040 swapFree=4135508/4192956
[pid=23640] ppid=23638 vsize=38628 CPUtime=1421.94
/proc/23640/stat : 23640 (pbct) R 23638 23640 22887 0 -1 4202496 9401 0 0 0 125491 16703 0 0 25 0 1 0 124416840 39555072 9118 1992294400 134512640 136421960 4287345504 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23640/statm: 9657 9118 239 467 0 9188 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 38628

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 23690
/proc/meminfo: memFree=1765656/2059040 swapFree=4135508/4192956
[pid=23640] ppid=23638 vsize=38628 CPUtime=1481.92
/proc/23640/stat : 23640 (pbct) R 23638 23640 22887 0 -1 4202496 9401 0 0 0 130872 17320 0 0 25 0 1 0 124416840 39555072 9118 1992294400 134512640 136421960 4287345504 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23640/statm: 9657 9118 239 467 0 9188 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 38628

[startup+1542.3 s]
/proc/loadavg: 1.03 1.01 1.00 2/107 23693
/proc/meminfo: memFree=1765036/2059040 swapFree=4135508/4192956
[pid=23640] ppid=23638 vsize=38628 CPUtime=1541.91
/proc/23640/stat : 23640 (pbct) R 23638 23640 22887 0 -1 4202496 9401 0 0 0 136214 17977 0 0 25 0 1 0 124416840 39555072 9118 1992294400 134512640 136421960 4287345504 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23640/statm: 9657 9118 239 467 0 9188 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 38628

[startup+1602.3 s]
/proc/loadavg: 1.01 1.01 1.00 2/107 23695
/proc/meminfo: memFree=1765036/2059040 swapFree=4135508/4192956
[pid=23640] ppid=23638 vsize=38628 CPUtime=1601.89
/proc/23640/stat : 23640 (pbct) R 23638 23640 22887 0 -1 4202496 9401 0 0 0 141531 18658 0 0 25 0 1 0 124416840 39555072 9118 1992294400 134512640 136421960 4287345504 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23640/statm: 9657 9118 239 467 0 9188 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 38628

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 23697
/proc/meminfo: memFree=1765036/2059040 swapFree=4135508/4192956
[pid=23640] ppid=23638 vsize=38628 CPUtime=1661.87
/proc/23640/stat : 23640 (pbct) R 23638 23640 22887 0 -1 4202496 9401 0 0 0 146955 19232 0 0 25 0 1 0 124416840 39555072 9118 1992294400 134512640 136421960 4287345504 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23640/statm: 9657 9118 239 467 0 9188 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 38628

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 23699
/proc/meminfo: memFree=1765036/2059040 swapFree=4135508/4192956
[pid=23640] ppid=23638 vsize=38628 CPUtime=1721.86
/proc/23640/stat : 23640 (pbct) R 23638 23640 22887 0 -1 4202496 9401 0 0 0 152350 19836 0 0 25 0 1 0 124416840 39555072 9118 1992294400 134512640 136421960 4287345504 18446744073709551615 134868546 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23640/statm: 9657 9118 239 467 0 9188 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 38628

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 23701
/proc/meminfo: memFree=1765036/2059040 swapFree=4135508/4192956
[pid=23640] ppid=23638 vsize=38628 CPUtime=1781.84
/proc/23640/stat : 23640 (pbct) R 23638 23640 22887 0 -1 4202496 9401 0 0 0 157674 20510 0 0 25 0 1 0 124416840 39555072 9118 1992294400 134512640 136421960 4287345504 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23640/statm: 9657 9118 239 467 0 9188 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 38628



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 23701
/proc/meminfo: memFree=1765036/2059040 swapFree=4135508/4192956
[pid=23640] ppid=23638 vsize=38628 CPUtime=1800.04
/proc/23640/stat : 23640 (pbct) R 23638 23640 22887 0 -1 4202496 9401 0 0 0 159297 20707 0 0 25 0 1 0 124416840 39555072 9118 1992294400 134512640 136421960 4287345504 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23640/statm: 9657 9118 239 467 0 9188 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 38628

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 23701
/proc/meminfo: memFree=1765036/2059040 swapFree=4135508/4192956
[pid=23640] ppid=23638 vsize=38628 CPUtime=1800.04
/proc/23640/stat : 23640 (pbct) R 23638 23640 22887 0 -1 4202496 9401 0 0 0 159297 20707 0 0 25 0 1 0 124416840 39555072 9118 1992294400 134512640 136421960 4287345504 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23640/statm: 9657 9118 239 467 0 9188 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 38628

Child status: 0
Real time (s): 1800.51
CPU time (s): 1800.06
CPU user time (s): 1592.98
CPU system time (s): 207.085
CPU usage (%): 99.975
Max. virtual memory (cumulated for all children) (KiB): 38628

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

runsolver used 2.79357 second user time and 8.68668 second system time

The end