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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2682263-1277483551/watcher-2682263-1277483551 -o /tmp/evaluation-result-2682263-1277483551/solver-2682263-1277483551 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2682263-1277483551.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.91 0.97 0.91 3/106 23265
/proc/meminfo: memFree=1814096/2059040 swapFree=4134180/4192956
[pid=23265] ppid=23263 vsize=2280 CPUtime=0
/proc/23265/stat : 23265 (pbct) R 23263 23265 22622 0 -1 4202496 268 0 0 0 0 0 0 0 19 0 1 0 123941510 2334720 187 1992294400 134512640 136421960 4287975472 18446744073709551615 134541311 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/23265/statm: 570 187 140 467 0 101 0

[startup+0.0572469 s]
/proc/loadavg: 0.91 0.97 0.91 3/106 23265
/proc/meminfo: memFree=1814096/2059040 swapFree=4134180/4192956
[pid=23265] ppid=23263 vsize=2436 CPUtime=0.05
/proc/23265/stat : 23265 (pbct) R 23263 23265 22622 0 -1 4202496 318 0 0 0 5 0 0 0 19 0 1 0 123941510 2494464 237 1992294400 134512640 136421960 4287975472 18446744073709551615 134517623 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/23265/statm: 609 237 145 467 0 140 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 2436

[startup+0.100251 s]
/proc/loadavg: 0.91 0.97 0.91 3/106 23265
/proc/meminfo: memFree=1814096/2059040 swapFree=4134180/4192956
[pid=23265] ppid=23263 vsize=2612 CPUtime=0.09
/proc/23265/stat : 23265 (pbct) R 23263 23265 22622 0 -1 4202496 362 0 0 0 9 0 0 0 19 0 1 0 123941510 2674688 281 1992294400 134512640 136421960 4287975472 18446744073709551615 135811817 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/23265/statm: 653 281 145 467 0 184 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2612

[startup+0.300271 s]
/proc/loadavg: 0.91 0.97 0.91 3/106 23265
/proc/meminfo: memFree=1814096/2059040 swapFree=4134180/4192956
[pid=23265] ppid=23263 vsize=3532 CPUtime=0.29
/proc/23265/stat : 23265 (pbct) R 23263 23265 22622 0 -1 4202496 595 0 0 0 29 0 0 0 20 0 1 0 123941510 3616768 481 1992294400 134512640 136421960 4287975472 18446744073709551615 135158942 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/23265/statm: 883 481 145 467 0 414 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3532

[startup+0.700311 s]
/proc/loadavg: 0.91 0.97 0.91 3/106 23265
/proc/meminfo: memFree=1814096/2059040 swapFree=4134180/4192956
[pid=23265] ppid=23263 vsize=5240 CPUtime=0.69
/proc/23265/stat : 23265 (pbct) R 23263 23265 22622 0 -1 4202496 1063 0 0 0 69 0 0 0 21 0 1 0 123941510 5365760 884 1992294400 134512640 136421960 4287975472 18446744073709551615 135372688 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/23265/statm: 1310 884 145 467 0 841 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5240

[startup+1.50039 s]
/proc/loadavg: 0.91 0.97 0.91 2/107 23266
/proc/meminfo: memFree=1809748/2059040 swapFree=4134180/4192956
[pid=23265] ppid=23263 vsize=42016 CPUtime=1.48
/proc/23265/stat : 23265 (pbct) R 23263 23265 22622 0 -1 4202496 10536 0 0 0 145 3 0 0 23 0 1 0 123941510 43024384 9678 1992294400 134512640 136421960 4287975472 18446744073709551615 134706124 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23265/statm: 10504 9679 189 467 0 10035 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 42016

[startup+3.10055 s]
/proc/loadavg: 0.91 0.97 0.91 2/107 23266
/proc/meminfo: memFree=1632056/2059040 swapFree=4134180/4192956
[pid=23265] ppid=23263 vsize=208776 CPUtime=3.09
/proc/23265/stat : 23265 (pbct) R 23263 23265 22622 0 -1 4202496 54667 0 0 0 289 20 0 0 25 0 1 0 123941510 213786624 49884 1992294400 134512640 136421960 4287975472 18446744073709551615 134643074 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23265/statm: 52194 49884 236 467 0 51725 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 208776

[startup+6.30087 s]
/proc/loadavg: 0.92 0.97 0.91 2/107 23268
/proc/meminfo: memFree=1593120/2059040 swapFree=4134180/4192956
[pid=23265] ppid=23263 vsize=238360 CPUtime=6.28
/proc/23265/stat : 23265 (pbct) R 23263 23265 22622 0 -1 4202496 62058 0 0 0 602 26 0 0 25 0 1 0 123941510 244080640 57274 1992294400 134512640 136421960 4287975472 18446744073709551615 135022226 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23265/statm: 59590 57274 236 467 0 59121 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 238360

[startup+12.7015 s]
/proc/loadavg: 0.93 0.97 0.91 2/107 23268
/proc/meminfo: memFree=1535956/2059040 swapFree=4134180/4192956
[pid=23265] ppid=23263 vsize=293220 CPUtime=12.68
/proc/23265/stat : 23265 (pbct) R 23263 23265 22622 0 -1 4202496 75766 0 0 0 1230 38 0 0 25 0 1 0 123941510 300257280 70982 1992294400 134512640 136421960 4287975472 18446744073709551615 134859904 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23265/statm: 73305 70982 236 467 0 72836 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 293220

[startup+25.5008 s]
/proc/loadavg: 0.94 0.97 0.91 2/107 23268
/proc/meminfo: memFree=1434896/2059040 swapFree=4134180/4192956
[pid=23265] ppid=23263 vsize=390056 CPUtime=25.48
/proc/23265/stat : 23265 (pbct) R 23263 23265 22622 0 -1 4202496 99980 0 0 0 2486 62 0 0 25 0 1 0 123941510 399417344 95194 1992294400 134512640 136421960 4287975472 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23265/statm: 97514 95194 236 467 0 97045 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 390056

[startup+51.1004 s]
/proc/loadavg: 0.96 0.97 0.91 2/107 23268
/proc/meminfo: memFree=1309160/2059040 swapFree=4134180/4192956
[pid=23265] ppid=23263 vsize=513668 CPUtime=51.07
/proc/23265/stat : 23265 (pbct) R 23263 23265 22622 0 -1 4202496 130872 0 0 0 5009 98 0 0 25 0 1 0 123941510 525996032 126086 1992294400 134512640 136421960 4287975472 18446744073709551615 134864391 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23265/statm: 128417 126086 236 467 0 127948 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 513668

[startup+102.309 s]
/proc/loadavg: 0.98 0.97 0.91 2/107 23270
/proc/meminfo: memFree=1240340/2059040 swapFree=4134180/4192956
[pid=23265] ppid=23263 vsize=582348 CPUtime=102.27
/proc/23265/stat : 23265 (pbct) R 23263 23265 22622 0 -1 4202496 148033 0 0 0 10082 145 0 0 25 0 1 0 123941510 596324352 143247 1992294400 134512640 136421960 4287975472 18446744073709551615 135006663 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23265/statm: 145587 143247 236 467 0 145118 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 582348

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 23272
/proc/meminfo: memFree=1244184/2059040 swapFree=4134180/4192956
[pid=23265] ppid=23263 vsize=577808 CPUtime=162.24
/proc/23265/stat : 23265 (pbct) R 23263 23265 22622 0 -1 4202496 148034 0 0 0 16030 194 0 0 25 0 1 0 123941510 591675392 142114 1992294400 134512640 136421960 4287975472 18446744073709551615 134864371 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23265/statm: 144452 142114 236 467 0 143983 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 577808

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 23272
/proc/meminfo: memFree=1244184/2059040 swapFree=4134180/4192956
[pid=23265] ppid=23263 vsize=577808 CPUtime=222.23
/proc/23265/stat : 23265 (pbct) R 23263 23265 22622 0 -1 4202496 148034 0 0 0 21977 246 0 0 25 0 1 0 123941510 591675392 142114 1992294400 134512640 136421960 4287975472 18446744073709551615 134863654 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23265/statm: 144452 142114 236 467 0 143983 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 577808

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 23274
/proc/meminfo: memFree=1244184/2059040 swapFree=4134180/4192956
[pid=23265] ppid=23263 vsize=577808 CPUtime=282.21
/proc/23265/stat : 23265 (pbct) R 23263 23265 22622 0 -1 4202496 148034 0 0 0 27925 296 0 0 25 0 1 0 123941510 591675392 142114 1992294400 134512640 136421960 4287975472 18446744073709551615 135022226 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23265/statm: 144452 142114 236 467 0 143983 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 577808

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 23276
/proc/meminfo: memFree=1244184/2059040 swapFree=4134180/4192956
[pid=23265] ppid=23263 vsize=577808 CPUtime=342.19
/proc/23265/stat : 23265 (pbct) R 23263 23265 22622 0 -1 4202496 148034 0 0 0 33873 346 0 0 25 0 1 0 123941510 591675392 142114 1992294400 134512640 136421960 4287975472 18446744073709551615 134859688 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23265/statm: 144452 142114 236 467 0 143983 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 577808

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 23278
/proc/meminfo: memFree=1244184/2059040 swapFree=4134180/4192956
[pid=23265] ppid=23263 vsize=577808 CPUtime=402.17
/proc/23265/stat : 23265 (pbct) R 23263 23265 22622 0 -1 4202496 148034 0 0 0 39823 394 0 0 25 0 1 0 123941510 591675392 142114 1992294400 134512640 136421960 4287975472 18446744073709551615 134862003 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23265/statm: 144452 142114 236 467 0 143983 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 577808

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 23280
/proc/meminfo: memFree=1214548/2059040 swapFree=4134180/4192956
[pid=23265] ppid=23263 vsize=607808 CPUtime=462.16
/proc/23265/stat : 23265 (pbct) R 23263 23265 22622 0 -1 4202496 155523 0 0 0 45769 447 0 0 25 0 1 0 123941510 622395392 149603 1992294400 134512640 136421960 4287975472 18446744073709551615 134859688 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23265/statm: 151952 149603 236 467 0 151483 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 607808

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 23280
/proc/meminfo: memFree=1224716/2059040 swapFree=4134180/4192956
[pid=23265] ppid=23263 vsize=597040 CPUtime=522.14
/proc/23265/stat : 23265 (pbct) R 23263 23265 22622 0 -1 4202496 155524 0 0 0 51719 495 0 0 25 0 1 0 123941510 611368960 146925 1992294400 134512640 136421960 4287975472 18446744073709551615 134872668 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23265/statm: 149260 146925 236 467 0 148791 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 597040

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 23282
/proc/meminfo: memFree=1221864/2059040 swapFree=4134180/4192956
[pid=23265] ppid=23263 vsize=600500 CPUtime=582.12
/proc/23265/stat : 23265 (pbct) R 23263 23265 22622 0 -1 4202496 156364 0 0 0 57668 544 0 0 25 0 1 0 123941510 614912000 147765 1992294400 134512640 136421960 4287975472 18446744073709551615 134860102 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23265/statm: 150125 147765 236 467 0 149656 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 600500

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 23284
/proc/meminfo: memFree=1222236/2059040 swapFree=4134180/4192956
[pid=23265] ppid=23263 vsize=599408 CPUtime=642.12
/proc/23265/stat : 23265 (pbct) R 23263 23265 22622 0 -1 4202496 156364 0 0 0 63618 594 0 0 25 0 1 0 123941510 613793792 147517 1992294400 134512640 136421960 4287975472 18446744073709551615 135022223 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23265/statm: 149852 147517 236 467 0 149383 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 599408

[startup+702.301 s]

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

[startup+822.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 23288
/proc/meminfo: memFree=1222112/2059040 swapFree=4134180/4192956
[pid=23265] ppid=23263 vsize=599264 CPUtime=822.05
/proc/23265/stat : 23265 (pbct) R 23263 23265 22622 0 -1 4202496 160405 0 0 0 81471 734 0 0 25 0 1 0 123941510 613646336 147481 1992294400 134512640 136421960 4287975472 18446744073709551615 134861902 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23265/statm: 149816 147481 236 467 0 149347 0
Current children cumulated CPU time (s) 822.05
Current children cumulated vsize (KiB) 599264

[startup+882.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 23290
/proc/meminfo: memFree=1222112/2059040 swapFree=4134180/4192956
[pid=23265] ppid=23263 vsize=599264 CPUtime=882.04
/proc/23265/stat : 23265 (pbct) R 23263 23265 22622 0 -1 4202496 160405 0 0 0 87420 784 0 0 25 0 1 0 123941510 613646336 147481 1992294400 134512640 136421960 4287975472 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23265/statm: 149816 147481 236 467 0 149347 0
Current children cumulated CPU time (s) 882.04
Current children cumulated vsize (KiB) 599264

[startup+942.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 23292
/proc/meminfo: memFree=1207480/2059040 swapFree=4134180/4192956
[pid=23265] ppid=23263 vsize=614548 CPUtime=942.01
/proc/23265/stat : 23265 (pbct) R 23263 23265 22622 0 -1 4202496 164217 0 0 0 93375 826 0 0 25 0 1 0 123941510 629297152 151293 1992294400 134512640 136421960 4287975472 18446744073709551615 134860073 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23265/statm: 153637 151293 236 467 0 153168 0
Current children cumulated CPU time (s) 942.01
Current children cumulated vsize (KiB) 614548

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 23294
/proc/meminfo: memFree=1206984/2059040 swapFree=4134180/4192956
[pid=23265] ppid=23263 vsize=615076 CPUtime=1002
/proc/23265/stat : 23265 (pbct) R 23263 23265 22622 0 -1 4202496 164335 0 0 0 99339 861 0 0 25 0 1 0 123941510 629837824 151411 1992294400 134512640 136421960 4287975472 18446744073709551615 134859688 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23265/statm: 153769 151411 236 467 0 153300 0
Current children cumulated CPU time (s) 1002
Current children cumulated vsize (KiB) 615076

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 23296
/proc/meminfo: memFree=1161476/2059040 swapFree=4134180/4192956
[pid=23265] ppid=23263 vsize=663452 CPUtime=1061.97
/proc/23265/stat : 23265 (pbct) R 23263 23265 22622 0 -1 4202496 176422 0 0 0 105297 900 0 0 25 0 1 0 123941510 679374848 163498 1992294400 134512640 136421960 4287975472 18446744073709551615 134861902 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23265/statm: 165863 163498 236 467 0 165394 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 663452

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 23296
/proc/meminfo: memFree=1127252/2059040 swapFree=4134180/4192956
[pid=23265] ppid=23263 vsize=694492 CPUtime=1121.95
/proc/23265/stat : 23265 (pbct) R 23263 23265 22622 0 -1 4202496 184193 0 0 0 111259 936 0 0 25 0 1 0 123941510 711159808 171269 1992294400 134512640 136421960 4287975472 18446744073709551615 135010246 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23265/statm: 173623 171269 236 467 0 173154 0
Current children cumulated CPU time (s) 1121.95
Current children cumulated vsize (KiB) 694492

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 23298
/proc/meminfo: memFree=1152424/2059040 swapFree=4134180/4192956
[pid=23265] ppid=23263 vsize=668508 CPUtime=1181.93
/proc/23265/stat : 23265 (pbct) R 23263 23265 22622 0 -1 4202496 184193 0 0 0 117214 979 0 0 25 0 1 0 123941510 684552192 164802 1992294400 134512640 136421960 4287975472 18446744073709551615 134865014 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23265/statm: 167127 164802 236 467 0 166658 0
Current children cumulated CPU time (s) 1181.93
Current children cumulated vsize (KiB) 668508

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 23300
/proc/meminfo: memFree=1121548/2059040 swapFree=4134180/4192956
[pid=23265] ppid=23263 vsize=699768 CPUtime=1241.92
/proc/23265/stat : 23265 (pbct) R 23263 23265 22622 0 -1 4202496 192004 0 0 0 123162 1030 0 0 25 0 1 0 123941510 716562432 172613 1992294400 134512640 136421960 4287975472 18446744073709551615 134859751 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23265/statm: 174942 172613 236 467 0 174473 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 699768

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 23302
/proc/meminfo: memFree=1152300/2059040 swapFree=4134180/4192956
[pid=23265] ppid=23263 vsize=668508 CPUtime=1301.9
/proc/23265/stat : 23265 (pbct) R 23263 23265 22622 0 -1 4202496 192005 0 0 0 129109 1081 0 0 25 0 1 0 123941510 684552192 164803 1992294400 134512640 136421960 4287975472 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23265/statm: 167127 164803 236 467 0 166658 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 668508

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 23304
/proc/meminfo: memFree=1133948/2059040 swapFree=4134180/4192956
[pid=23265] ppid=23263 vsize=690320 CPUtime=1361.88
/proc/23265/stat : 23265 (pbct) R 23263 23265 22622 0 -1 4202496 197457 0 0 0 135059 1129 0 0 25 0 1 0 123941510 706887680 170255 1992294400 134512640 136421960 4287975472 18446744073709551615 134859688 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23265/statm: 172580 170255 236 467 0 172111 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 690320

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 23304
/proc/meminfo: memFree=1121176/2059040 swapFree=4134180/4192956
[pid=23265] ppid=23263 vsize=700144 CPUtime=1421.87
/proc/23265/stat : 23265 (pbct) R 23263 23265 22622 0 -1 4202496 199886 0 0 0 141010 1177 0 0 25 0 1 0 123941510 716947456 172684 1992294400 134512640 136421960 4287975472 18446744073709551615 134859688 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23265/statm: 175036 172684 236 467 0 174567 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 700144

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 23306
/proc/meminfo: memFree=1132832/2059040 swapFree=4134180/4192956
[pid=23265] ppid=23263 vsize=687864 CPUtime=1481.84
/proc/23265/stat : 23265 (pbct) R 23263 23265 22622 0 -1 4202496 199886 0 0 0 146962 1222 0 0 25 0 1 0 123941510 704372736 169641 1992294400 134512640 136421960 4287975472 18446744073709551615 135022226 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23265/statm: 171966 169641 236 467 0 171497 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 687864

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 23308
/proc/meminfo: memFree=1132832/2059040 swapFree=4134180/4192956
[pid=23265] ppid=23263 vsize=687864 CPUtime=1541.83
/proc/23265/stat : 23265 (pbct) R 23263 23265 22622 0 -1 4202496 199886 0 0 0 152913 1270 0 0 25 0 1 0 123941510 704372736 169641 1992294400 134512640 136421960 4287975472 18446744073709551615 134859865 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23265/statm: 171966 169641 236 467 0 171497 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 687864

[startup+1602.3 s]
/proc/loadavg: 1.07 0.99 0.91 2/107 23310
/proc/meminfo: memFree=1119192/2059040 swapFree=4134180/4192956
[pid=23265] ppid=23263 vsize=702072 CPUtime=1601.82
/proc/23265/stat : 23265 (pbct) R 23263 23265 22622 0 -1 4202496 203419 0 0 0 158870 1312 0 0 25 0 1 0 123941510 718921728 173174 1992294400 134512640 136421960 4287975472 18446744073709551615 134861902 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23265/statm: 175518 173174 236 467 0 175049 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 702072

[startup+1662.3 s]
/proc/loadavg: 1.10 1.00 0.92 2/107 23312
/proc/meminfo: memFree=1125268/2059040 swapFree=4134180/4192956
[pid=23265] ppid=23263 vsize=695236 CPUtime=1661.79
/proc/23265/stat : 23265 (pbct) R 23263 23265 22622 0 -1 4202496 203419 0 0 0 164831 1348 0 0 25 0 1 0 123941510 711921664 171484 1992294400 134512640 136421960 4287975472 18446744073709551615 134859688 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23265/statm: 173809 171484 236 467 0 173340 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 695236

[startup+1722.3 s]
/proc/loadavg: 1.10 1.02 0.93 2/107 23321
/proc/meminfo: memFree=1124772/2059040 swapFree=4134180/4192956
[pid=23265] ppid=23263 vsize=695236 CPUtime=1721.76
/proc/23265/stat : 23265 (pbct) R 23263 23265 22622 0 -1 4202496 203419 0 0 0 170785 1391 0 0 25 0 1 0 123941510 711921664 171484 1992294400 134512640 136421960 4287975472 18446744073709551615 135010280 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23265/statm: 173809 171484 236 467 0 173340 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 695236

[startup+1782.3 s]
/proc/loadavg: 1.10 1.03 0.93 2/107 23323
/proc/meminfo: memFree=1125020/2059040 swapFree=4134180/4192956
[pid=23265] ppid=23263 vsize=695236 CPUtime=1781.75
/proc/23265/stat : 23265 (pbct) R 23263 23265 22622 0 -1 4202496 203419 0 0 0 176736 1439 0 0 25 0 1 0 123941510 711921664 171484 1992294400 134512640 136421960 4287975472 18446744073709551615 135022305 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23265/statm: 173809 171484 236 467 0 173340 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 695236



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.07 1.02 0.93 2/107 23323
/proc/meminfo: memFree=1125020/2059040 swapFree=4134180/4192956
[pid=23265] ppid=23263 vsize=695236 CPUtime=1800.06
/proc/23265/stat : 23265 (pbct) R 23263 23265 22622 0 -1 4202496 203419 0 0 0 178552 1454 0 0 25 0 1 0 123941510 711921664 171484 1992294400 134512640 136421960 4287975472 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23265/statm: 173809 171484 236 467 0 173340 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 695236

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

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

Child status: 0
Real time (s): 1800.69
CPU time (s): 1800.14
CPU user time (s): 1785.52
CPU system time (s): 14.6148
CPU usage (%): 99.9695
Max. virtual memory (cumulated for all children) (KiB): 702072

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

runsolver used 3.10253 second user time and 8.37673 second system time

The end