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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2668482-1276472930/watcher-2668482-1276472930 -o /tmp/evaluation-result-2668482-1276472930/solver-2668482-1276472930 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2668482-1276472930.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.00 1.05 3/107 25246
/proc/meminfo: memFree=1772968/2059040 swapFree=4140108/4192956
[pid=25246] ppid=25244 vsize=2488 CPUtime=0
/proc/25246/stat : 25246 (pbct) R 25244 25246 24810 0 -1 4202496 306 0 0 0 0 0 0 0 20 0 1 0 20948731 2547712 229 1992294400 134512640 136485738 4288975264 18446744073709551615 135416602 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/25246/statm: 622 229 156 482 0 138 0

[startup+0.0436699 s]
/proc/loadavg: 1.00 1.00 1.05 3/107 25246
/proc/meminfo: memFree=1772968/2059040 swapFree=4140108/4192956
[pid=25246] ppid=25244 vsize=2488 CPUtime=0.04
/proc/25246/stat : 25246 (pbct) R 25244 25246 24810 0 -1 4202496 323 0 0 0 4 0 0 0 20 0 1 0 20948731 2547712 246 1992294400 134512640 136485738 4288975264 18446744073709551615 134533250 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/25246/statm: 622 246 156 482 0 138 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 2488

[startup+0.101675 s]
/proc/loadavg: 1.00 1.00 1.05 3/107 25246
/proc/meminfo: memFree=1772968/2059040 swapFree=4140108/4192956
[pid=25246] ppid=25244 vsize=4084 CPUtime=0.09
/proc/25246/stat : 25246 (pbct) R 25244 25246 24810 0 -1 4202496 675 0 0 0 9 0 0 0 20 0 1 0 20948731 4182016 598 1992294400 134512640 136485738 4288975264 18446744073709551615 134726344 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/25246/statm: 1021 598 193 482 0 537 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4084

[startup+0.300693 s]
/proc/loadavg: 1.00 1.00 1.05 3/107 25246
/proc/meminfo: memFree=1772968/2059040 swapFree=4140108/4192956
[pid=25246] ppid=25244 vsize=30884 CPUtime=0.29
/proc/25246/stat : 25246 (pbct) R 25244 25246 24810 0 -1 4202496 7510 0 0 0 26 3 0 0 20 0 1 0 20948731 31625216 7318 1992294400 134512640 136485738 4288975264 18446744073709551615 135850714 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/25246/statm: 7721 7323 199 482 0 7237 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 30884

[startup+0.700728 s]
/proc/loadavg: 1.00 1.00 1.05 3/107 25246
/proc/meminfo: memFree=1772968/2059040 swapFree=4140108/4192956
[pid=25246] ppid=25244 vsize=40612 CPUtime=0.69
/proc/25246/stat : 25246 (pbct) R 25244 25246 24810 0 -1 4202496 10001 0 0 0 65 4 0 0 21 0 1 0 20948731 41586688 9278 1992294400 134512640 136485738 4288975264 18446744073709551615 134883851 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/25246/statm: 10153 9278 244 482 0 9669 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 40612

[startup+1.5008 s]
/proc/loadavg: 1.00 1.00 1.05 2/108 25247
/proc/meminfo: memFree=1735636/2059040 swapFree=4140108/4192956
[pid=25246] ppid=25244 vsize=43384 CPUtime=1.49
/proc/25246/stat : 25246 (pbct) R 25244 25246 24810 0 -1 4202496 10699 0 0 0 144 5 0 0 23 0 1 0 20948731 44425216 9976 1992294400 134512640 136485738 4288975264 18446744073709551615 135025302 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/25246/statm: 10846 9976 244 482 0 10362 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 43384

[startup+3.10194 s]
/proc/loadavg: 1.00 1.00 1.05 2/108 25247
/proc/meminfo: memFree=1730924/2059040 swapFree=4140108/4192956
[pid=25246] ppid=25244 vsize=50512 CPUtime=3.09
/proc/25246/stat : 25246 (pbct) R 25244 25246 24810 0 -1 4202496 12496 0 0 0 300 9 0 0 25 0 1 0 20948731 51724288 11773 1992294400 134512640 136485738 4288975264 18446744073709551615 134880463 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/25246/statm: 12628 11773 244 482 0 12144 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 50512

[startup+6.30123 s]
/proc/loadavg: 1.00 1.00 1.05 2/108 25247
/proc/meminfo: memFree=1717656/2059040 swapFree=4140108/4192956
[pid=25246] ppid=25244 vsize=62260 CPUtime=6.29
/proc/25246/stat : 25246 (pbct) R 25244 25246 24810 0 -1 4202496 15414 0 0 0 612 17 0 0 25 0 1 0 20948731 63754240 14691 1992294400 134512640 136485738 4288975264 18446744073709551615 134878669 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/25246/statm: 15565 14691 244 482 0 15081 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 62260

[startup+12.7018 s]
/proc/loadavg: 1.00 1.00 1.05 2/108 25247
/proc/meminfo: memFree=1706620/2059040 swapFree=4140108/4192956
[pid=25246] ppid=25244 vsize=72336 CPUtime=12.69
/proc/25246/stat : 25246 (pbct) R 25244 25246 24810 0 -1 4202496 17928 0 0 0 1241 28 0 0 25 0 1 0 20948731 74072064 17205 1992294400 134512640 136485738 4288975264 18446744073709551615 134638729 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/25246/statm: 18084 17205 244 482 0 17600 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 72336

[startup+25.5009 s]
/proc/loadavg: 1.08 1.02 1.06 2/108 25247
/proc/meminfo: memFree=1704264/2059040 swapFree=4140108/4192956
[pid=25246] ppid=25244 vsize=72468 CPUtime=25.49
/proc/25246/stat : 25246 (pbct) R 25244 25246 24810 0 -1 4202496 17958 0 0 0 2500 49 0 0 25 0 1 0 20948731 74207232 17235 1992294400 134512640 136485738 4288975264 18446744073709551615 134878360 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/25246/statm: 18117 17235 244 482 0 17633 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 72468

[startup+51.1012 s]
/proc/loadavg: 1.05 1.01 1.05 2/108 25247
/proc/meminfo: memFree=1694964/2059040 swapFree=4140108/4192956
[pid=25246] ppid=25244 vsize=81260 CPUtime=51.07
/proc/25246/stat : 25246 (pbct) R 25244 25246 24810 0 -1 4202496 20271 0 0 0 5012 95 0 0 25 0 1 0 20948731 83210240 19467 1992294400 134512640 136485738 4288975264 18446744073709551615 135040914 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/25246/statm: 20315 19467 244 482 0 19831 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 81260

[startup+102.309 s]
/proc/loadavg: 1.07 1.03 1.05 2/108 25249
/proc/meminfo: memFree=1687152/2059040 swapFree=4140108/4192956
[pid=25246] ppid=25244 vsize=89388 CPUtime=102.26
/proc/25246/stat : 25246 (pbct) R 25244 25246 24810 0 -1 4202496 22295 0 0 0 10069 157 0 0 25 0 1 0 20948731 91533312 21491 1992294400 134512640 136485738 4288975264 18446744073709551615 134878486 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/25246/statm: 22347 21491 244 482 0 21863 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 89388

[startup+162.301 s]
/proc/loadavg: 1.08 1.03 1.05 2/108 25251
/proc/meminfo: memFree=1675124/2059040 swapFree=4140108/4192956
[pid=25246] ppid=25244 vsize=101400 CPUtime=162.24
/proc/25246/stat : 25246 (pbct) R 25244 25246 24810 0 -1 4202496 25279 0 0 0 15952 272 0 0 25 0 1 0 20948731 103833600 24475 1992294400 134512640 136485738 4288975264 18446744073709551615 135040914 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/25246/statm: 25350 24475 244 482 0 24866 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 101400

[startup+222.302 s]
/proc/loadavg: 1.02 1.03 1.05 2/108 25253
/proc/meminfo: memFree=1668676/2059040 swapFree=4140108/4192956
[pid=25246] ppid=25244 vsize=107760 CPUtime=222.22
/proc/25246/stat : 25246 (pbct) R 25244 25246 24810 0 -1 4202496 26884 0 0 0 21845 377 0 0 25 0 1 0 20948731 110346240 26080 1992294400 134512640 136485738 4288975264 18446744073709551615 135029536 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/25246/statm: 26940 26080 244 482 0 26456 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 107760

[startup+282.301 s]
/proc/loadavg: 1.01 1.02 1.04 2/108 25253
/proc/meminfo: memFree=1668676/2059040 swapFree=4140108/4192956
[pid=25246] ppid=25244 vsize=107760 CPUtime=282.2
/proc/25246/stat : 25246 (pbct) R 25244 25246 24810 0 -1 4202496 26885 0 0 0 27732 488 0 0 25 0 1 0 20948731 110346240 26081 1992294400 134512640 136485738 4288975264 18446744073709551615 134880683 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/25246/statm: 26940 26081 244 482 0 26456 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 107760

[startup+342.301 s]
/proc/loadavg: 1.00 1.01 1.04 2/108 25255
/proc/meminfo: memFree=1668676/2059040 swapFree=4140108/4192956
[pid=25246] ppid=25244 vsize=107760 CPUtime=342.19
/proc/25246/stat : 25246 (pbct) R 25244 25246 24810 0 -1 4202496 26892 0 0 0 33623 596 0 0 25 0 1 0 20948731 110346240 26088 1992294400 134512640 136485738 4288975264 18446744073709551615 135025302 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/25246/statm: 26940 26088 244 482 0 26456 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 107760

[startup+402.301 s]
/proc/loadavg: 1.00 1.01 1.03 2/108 25257
/proc/meminfo: memFree=1653424/2059040 swapFree=4140108/4192956
[pid=25246] ppid=25244 vsize=123068 CPUtime=402.17
/proc/25246/stat : 25246 (pbct) R 25244 25246 24810 0 -1 4202496 30700 0 0 0 39512 705 0 0 25 0 1 0 20948731 126021632 29896 1992294400 134512640 136485738 4288975264 18446744073709551615 134878425 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/25246/statm: 30767 29896 244 482 0 30283 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 123068

[startup+462.301 s]
/proc/loadavg: 1.06 1.02 1.03 2/108 25259
/proc/meminfo: memFree=1655656/2059040 swapFree=4140108/4192956
[pid=25246] ppid=25244 vsize=120024 CPUtime=462.15
/proc/25246/stat : 25246 (pbct) R 25244 25246 24810 0 -1 4202496 30700 0 0 0 45422 793 0 0 25 0 1 0 20948731 122904576 29145 1992294400 134512640 136485738 4288975264 18446744073709551615 134878360 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/25246/statm: 30006 29145 244 482 0 29522 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 120024

[startup+522.301 s]
/proc/loadavg: 1.08 1.03 1.03 2/108 25261
/proc/meminfo: memFree=1655780/2059040 swapFree=4140108/4192956
[pid=25246] ppid=25244 vsize=120024 CPUtime=522.14
/proc/25246/stat : 25246 (pbct) R 25244 25246 24810 0 -1 4202496 30700 0 0 0 51339 875 0 0 25 0 1 0 20948731 122904576 29145 1992294400 134512640 136485738 4288975264 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/25246/statm: 30006 29145 244 482 0 29522 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 120024

[startup+582.301 s]
/proc/loadavg: 1.03 1.02 1.02 2/108 25261
/proc/meminfo: memFree=1655656/2059040 swapFree=4140108/4192956
[pid=25246] ppid=25244 vsize=120024 CPUtime=582.12
/proc/25246/stat : 25246 (pbct) R 25244 25246 24810 0 -1 4202496 30700 0 0 0 57247 965 0 0 25 0 1 0 20948731 122904576 29145 1992294400 134512640 136485738 4288975264 18446744073709551615 135047024 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/25246/statm: 30006 29145 244 482 0 29522 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 120024

[startup+642.301 s]
/proc/loadavg: 1.01 1.02 1.02 2/108 25263
/proc/meminfo: memFree=1655656/2059040 swapFree=4140108/4192956
[pid=25246] ppid=25244 vsize=120024 CPUtime=642.11
/proc/25246/stat : 25246 (pbct) R 25244 25246 24810 0 -1 4202496 30700 0 0 0 63141 1070 0 0 25 0 1 0 20948731 122904576 29145 1992294400 134512640 136485738 4288975264 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/25246/statm: 30006 29145 244 482 0 29522 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 120024

[startup+702.301 s]

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

[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 25278
/proc/meminfo: memFree=1643504/2059040 swapFree=4140108/4192956
[pid=25246] ppid=25244 vsize=134288 CPUtime=822.05
/proc/25246/stat : 25246 (pbct) R 25244 25246 24810 0 -1 4202496 34237 0 0 0 80893 1312 0 0 25 0 1 0 20948731 137510912 32682 1992294400 134512640 136485738 4288975264 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/25246/statm: 33572 32682 244 482 0 33088 0
Current children cumulated CPU time (s) 822.05
Current children cumulated vsize (KiB) 134288

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 25278
/proc/meminfo: memFree=1635816/2059040 swapFree=4140108/4192956
[pid=25246] ppid=25244 vsize=139832 CPUtime=882.03
/proc/25246/stat : 25246 (pbct) R 25244 25246 24810 0 -1 4202496 35642 0 0 0 86807 1396 0 0 25 0 1 0 20948731 143187968 34087 1992294400 134512640 136485738 4288975264 18446744073709551615 135025264 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/25246/statm: 34958 34087 244 482 0 34474 0
Current children cumulated CPU time (s) 882.03
Current children cumulated vsize (KiB) 139832

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 25280
/proc/meminfo: memFree=1635196/2059040 swapFree=4140108/4192956
[pid=25246] ppid=25244 vsize=140624 CPUtime=942.01
/proc/25246/stat : 25246 (pbct) R 25244 25246 24810 0 -1 4202496 35821 0 0 0 92721 1480 0 0 25 0 1 0 20948731 143998976 34266 1992294400 134512640 136485738 4288975264 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/25246/statm: 35156 34266 244 482 0 34672 0
Current children cumulated CPU time (s) 942.01
Current children cumulated vsize (KiB) 140624

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 25282
/proc/meminfo: memFree=1636188/2059040 swapFree=4140108/4192956
[pid=25246] ppid=25244 vsize=138908 CPUtime=1001.99
/proc/25246/stat : 25246 (pbct) R 25244 25246 24810 0 -1 4202496 35821 0 0 0 98642 1557 0 0 25 0 1 0 20948731 142241792 33867 1992294400 134512640 136485738 4288975264 18446744073709551615 134880498 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/25246/statm: 34727 33867 244 482 0 34243 0
Current children cumulated CPU time (s) 1001.99
Current children cumulated vsize (KiB) 138908

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 25284
/proc/meminfo: memFree=1636188/2059040 swapFree=4140108/4192956
[pid=25246] ppid=25244 vsize=138908 CPUtime=1061.97
/proc/25246/stat : 25246 (pbct) R 25244 25246 24810 0 -1 4202496 35821 0 0 0 104555 1642 0 0 25 0 1 0 20948731 142241792 33867 1992294400 134512640 136485738 4288975264 18446744073709551615 135028834 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/25246/statm: 34727 33867 244 482 0 34243 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 138908

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 25286
/proc/meminfo: memFree=1636188/2059040 swapFree=4140108/4192956
[pid=25246] ppid=25244 vsize=138908 CPUtime=1121.96
/proc/25246/stat : 25246 (pbct) R 25244 25246 24810 0 -1 4202496 35821 0 0 0 110486 1710 0 0 25 0 1 0 20948731 142241792 33867 1992294400 134512640 136485738 4288975264 18446744073709551615 135040914 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/25246/statm: 34727 33867 244 482 0 34243 0
Current children cumulated CPU time (s) 1121.96
Current children cumulated vsize (KiB) 138908

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 25286
/proc/meminfo: memFree=1636188/2059040 swapFree=4140108/4192956
[pid=25246] ppid=25244 vsize=138908 CPUtime=1181.94
/proc/25246/stat : 25246 (pbct) R 25244 25246 24810 0 -1 4202496 35821 0 0 0 116403 1791 0 0 25 0 1 0 20948731 142241792 33867 1992294400 134512640 136485738 4288975264 18446744073709551615 134878213 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/25246/statm: 34727 33867 244 482 0 34243 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 138908

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 25288
/proc/meminfo: memFree=1635940/2059040 swapFree=4140108/4192956
[pid=25246] ppid=25244 vsize=138908 CPUtime=1241.92
/proc/25246/stat : 25246 (pbct) R 25244 25246 24810 0 -1 4202496 35821 0 0 0 122312 1880 0 0 25 0 1 0 20948731 142241792 33867 1992294400 134512640 136485738 4288975264 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/25246/statm: 34727 33867 244 482 0 34243 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 138908

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 25290
/proc/meminfo: memFree=1635940/2059040 swapFree=4140108/4192956
[pid=25246] ppid=25244 vsize=138908 CPUtime=1301.91
/proc/25246/stat : 25246 (pbct) R 25244 25246 24810 0 -1 4202496 35821 0 0 0 128241 1950 0 0 25 0 1 0 20948731 142241792 33867 1992294400 134512640 136485738 4288975264 18446744073709551615 135047545 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/25246/statm: 34727 33867 244 482 0 34243 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 138908

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 25292
/proc/meminfo: memFree=1634328/2059040 swapFree=4140108/4192956
[pid=25246] ppid=25244 vsize=141152 CPUtime=1361.88
/proc/25246/stat : 25246 (pbct) R 25244 25246 24810 0 -1 4202496 36369 0 0 0 134149 2039 0 0 25 0 1 0 20948731 144539648 34415 1992294400 134512640 136485738 4288975264 18446744073709551615 134878360 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/25246/statm: 35288 34415 244 482 0 34804 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 141152

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 25294
/proc/meminfo: memFree=1634576/2059040 swapFree=4140108/4192956
[pid=25246] ppid=25244 vsize=140220 CPUtime=1421.87
/proc/25246/stat : 25246 (pbct) R 25244 25246 24810 0 -1 4202496 36369 0 0 0 140060 2127 0 0 25 0 1 0 20948731 143585280 34193 1992294400 134512640 136485738 4288975264 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/25246/statm: 35055 34193 244 482 0 34571 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 140220

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 25294
/proc/meminfo: memFree=1634576/2059040 swapFree=4140108/4192956
[pid=25246] ppid=25244 vsize=140220 CPUtime=1481.85
/proc/25246/stat : 25246 (pbct) R 25244 25246 24810 0 -1 4202496 36369 0 0 0 145972 2213 0 0 25 0 1 0 20948731 143585280 34193 1992294400 134512640 136485738 4288975264 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/25246/statm: 35055 34193 244 482 0 34571 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 140220

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 25296
/proc/meminfo: memFree=1634576/2059040 swapFree=4140108/4192956
[pid=25246] ppid=25244 vsize=140220 CPUtime=1541.83
/proc/25246/stat : 25246 (pbct) R 25244 25246 24810 0 -1 4202496 36369 0 0 0 151884 2299 0 0 25 0 1 0 20948731 143585280 34193 1992294400 134512640 136485738 4288975264 18446744073709551615 135028901 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/25246/statm: 35055 34193 244 482 0 34571 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 140220

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 25298
/proc/meminfo: memFree=1634576/2059040 swapFree=4140108/4192956
[pid=25246] ppid=25244 vsize=140220 CPUtime=1601.82
/proc/25246/stat : 25246 (pbct) R 25244 25246 24810 0 -1 4202496 36370 0 0 0 157787 2395 0 0 25 0 1 0 20948731 143585280 34194 1992294400 134512640 136485738 4288975264 18446744073709551615 134921875 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/25246/statm: 35055 34194 244 482 0 34571 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 140220

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 25300
/proc/meminfo: memFree=1634576/2059040 swapFree=4140108/4192956
[pid=25246] ppid=25244 vsize=140220 CPUtime=1661.8
/proc/25246/stat : 25246 (pbct) R 25244 25246 24810 0 -1 4202496 36370 0 0 0 163701 2479 0 0 25 0 1 0 20948731 143585280 34194 1992294400 134512640 136485738 4288975264 18446744073709551615 135040914 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/25246/statm: 35055 34194 244 482 0 34571 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 140220

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 25302
/proc/meminfo: memFree=1634452/2059040 swapFree=4140108/4192956
[pid=25246] ppid=25244 vsize=140220 CPUtime=1721.78
/proc/25246/stat : 25246 (pbct) R 25244 25246 24810 0 -1 4202496 36370 0 0 0 169616 2562 0 0 25 0 1 0 20948731 143585280 34194 1992294400 134512640 136485738 4288975264 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/25246/statm: 35055 34194 244 482 0 34571 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 140220

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 25302
/proc/meminfo: memFree=1631848/2059040 swapFree=4140108/4192956
[pid=25246] ppid=25244 vsize=143256 CPUtime=1781.76
/proc/25246/stat : 25246 (pbct) R 25244 25246 24810 0 -1 4202496 37117 0 0 0 175501 2675 0 0 25 0 1 0 20948731 146694144 34941 1992294400 134512640 136485738 4288975264 18446744073709551615 134886553 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/25246/statm: 35814 34941 244 482 0 35330 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 143256



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 25304
/proc/meminfo: memFree=1631848/2059040 swapFree=4140108/4192956
[pid=25246] ppid=25244 vsize=143256 CPUtime=1800.08
/proc/25246/stat : 25246 (pbct) R 25244 25246 24810 0 -1 4202496 37117 0 0 0 177319 2689 0 0 25 0 1 0 20948731 146694144 34941 1992294400 134512640 136485738 4288975264 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/25246/statm: 35814 34941 244 482 0 35330 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 143256

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.63
CPU time (s): 1800.1
CPU user time (s): 1773.2
CPU system time (s): 26.9069
CPU usage (%): 99.9705
Max. virtual memory (cumulated for all children) (KiB): 143256

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1773.2
system time used= 26.9069
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37117
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= 2
involuntary context switches= 5734

runsolver used 2.95355 second user time and 8.5257 second system time

The end