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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2668487-1276474701/watcher-2668487-1276474701 -o /tmp/evaluation-result-2668487-1276474701/solver-2668487-1276474701 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2668487-1276474701.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.08 3/106 25761
/proc/meminfo: memFree=1643320/2059040 swapFree=4192956/4192956
[pid=25761] ppid=25759 vsize=2352 CPUtime=0
/proc/25761/stat : 25761 (pbct) R 25759 25761 25648 0 -1 4202496 283 0 0 0 0 0 0 0 20 0 1 0 23073834 2408448 206 1992294400 134512640 136485738 4291315168 18446744073709551615 135350462 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/25761/statm: 588 206 156 482 0 104 0

[startup+0.0621209 s]
/proc/loadavg: 1.00 1.00 1.08 3/106 25761
/proc/meminfo: memFree=1643320/2059040 swapFree=4192956/4192956
[pid=25761] ppid=25759 vsize=2484 CPUtime=0.06
/proc/25761/stat : 25761 (pbct) R 25759 25761 25648 0 -1 4202496 336 0 0 0 6 0 0 0 22 0 1 0 23073834 2543616 259 1992294400 134512640 136485738 4291315168 18446744073709551615 135411125 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/25761/statm: 621 259 156 482 0 137 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 2484

[startup+0.101126 s]
/proc/loadavg: 1.00 1.00 1.08 3/106 25761
/proc/meminfo: memFree=1643320/2059040 swapFree=4192956/4192956
[pid=25761] ppid=25759 vsize=6156 CPUtime=0.09
/proc/25761/stat : 25761 (pbct) R 25759 25761 25648 0 -1 4202496 1217 0 0 0 9 0 0 0 22 0 1 0 23073834 6303744 1140 1992294400 134512640 136485738 4291315168 18446744073709551615 135850441 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/25761/statm: 1539 1141 193 482 0 1055 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6156

[startup+0.301148 s]
/proc/loadavg: 1.00 1.00 1.08 3/106 25761
/proc/meminfo: memFree=1643320/2059040 swapFree=4192956/4192956
[pid=25761] ppid=25759 vsize=29584 CPUtime=0.29
/proc/25761/stat : 25761 (pbct) R 25759 25761 25648 0 -1 4202496 7251 0 0 0 26 3 0 0 22 0 1 0 23073834 30294016 7026 1992294400 134512640 136485738 4291315168 18446744073709551615 134948160 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/25761/statm: 7396 7026 210 482 0 6912 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 29584

[startup+0.701192 s]
/proc/loadavg: 1.00 1.00 1.08 3/106 25761
/proc/meminfo: memFree=1643320/2059040 swapFree=4192956/4192956
[pid=25761] ppid=25759 vsize=32896 CPUtime=0.69
/proc/25761/stat : 25761 (pbct) R 25759 25761 25648 0 -1 4202496 8135 0 0 0 65 4 0 0 23 0 1 0 23073834 33685504 7703 1992294400 134512640 136485738 4291315168 18446744073709551615 134878376 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/25761/statm: 8224 7703 244 482 0 7740 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 32896

[startup+1.50128 s]
/proc/loadavg: 1.00 1.00 1.08 2/107 25762
/proc/meminfo: memFree=1611940/2059040 swapFree=4192956/4192956
[pid=25761] ppid=25759 vsize=36988 CPUtime=1.49
/proc/25761/stat : 25761 (pbct) R 25759 25761 25648 0 -1 4202496 9158 0 0 0 143 6 0 0 25 0 1 0 23073834 37875712 8726 1992294400 134512640 136485738 4291315168 18446744073709551615 134878425 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/25761/statm: 9247 8726 244 482 0 8763 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 36988

[startup+3.10046 s]
/proc/loadavg: 1.00 1.00 1.08 2/107 25762
/proc/meminfo: memFree=1605492/2059040 swapFree=4192956/4192956
[pid=25761] ppid=25759 vsize=43324 CPUtime=3.09
/proc/25761/stat : 25761 (pbct) R 25759 25761 25648 0 -1 4202496 10748 0 0 0 298 11 0 0 25 0 1 0 23073834 44363776 10316 1992294400 134512640 136485738 4291315168 18446744073709551615 135040914 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/25761/statm: 10831 10316 244 482 0 10347 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 43324

[startup+6.30081 s]
/proc/loadavg: 1.00 1.00 1.08 2/107 25762
/proc/meminfo: memFree=1599540/2059040 swapFree=4192956/4192956
[pid=25761] ppid=25759 vsize=45852 CPUtime=6.29
/proc/25761/stat : 25761 (pbct) R 25759 25761 25648 0 -1 4202496 11470 0 0 0 612 17 0 0 25 0 1 0 23073834 46952448 10961 1992294400 134512640 136485738 4291315168 18446744073709551615 134882300 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/25761/statm: 11463 10961 244 482 0 10979 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 45852

[startup+12.7005 s]
/proc/loadavg: 1.00 1.00 1.07 2/107 25762
/proc/meminfo: memFree=1596564/2059040 swapFree=4192956/4192956
[pid=25761] ppid=25759 vsize=49152 CPUtime=12.69
/proc/25761/stat : 25761 (pbct) R 25759 25761 25648 0 -1 4202496 12277 0 0 0 1236 33 0 0 25 0 1 0 23073834 50331648 11768 1992294400 134512640 136485738 4291315168 18446744073709551615 135040914 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/25761/statm: 12288 11768 244 482 0 11804 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 49152

[startup+25.5009 s]
/proc/loadavg: 1.00 1.00 1.07 2/107 25762
/proc/meminfo: memFree=1596564/2059040 swapFree=4192956/4192956
[pid=25761] ppid=25759 vsize=49152 CPUtime=25.48
/proc/25761/stat : 25761 (pbct) R 25759 25761 25648 0 -1 4202496 12278 0 0 0 2490 58 0 0 25 0 1 0 23073834 50331648 11768 1992294400 134512640 136485738 4291315168 18446744073709551615 135040914 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/25761/statm: 12288 11768 244 482 0 11804 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 49152

[startup+51.1008 s]
/proc/loadavg: 1.00 1.00 1.07 2/107 25762
/proc/meminfo: memFree=1594952/2059040 swapFree=4192956/4192956
[pid=25761] ppid=25759 vsize=50192 CPUtime=51.08
/proc/25761/stat : 25761 (pbct) R 25759 25761 25648 0 -1 4202496 12784 0 0 0 4996 112 0 0 25 0 1 0 23073834 51396608 12046 1992294400 134512640 136485738 4291315168 18446744073709551615 134882740 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/25761/statm: 12548 12046 244 482 0 12064 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 50192

[startup+102.308 s]
/proc/loadavg: 1.00 1.00 1.07 2/107 25764
/proc/meminfo: memFree=1594208/2059040 swapFree=4192956/4192956
[pid=25761] ppid=25759 vsize=50776 CPUtime=102.27
/proc/25761/stat : 25761 (pbct) R 25759 25761 25648 0 -1 4202496 13103 0 0 0 10006 221 0 0 25 0 1 0 23073834 51994624 12169 1992294400 134512640 136485738 4291315168 18446744073709551615 134878384 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/25761/statm: 12694 12169 244 482 0 12210 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 50776

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.06 2/107 25766
/proc/meminfo: memFree=1594084/2059040 swapFree=4192956/4192956
[pid=25761] ppid=25759 vsize=50776 CPUtime=162.25
/proc/25761/stat : 25761 (pbct) R 25759 25761 25648 0 -1 4202496 13112 0 0 0 15885 340 0 0 25 0 1 0 23073834 51994624 12178 1992294400 134512640 136485738 4291315168 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/25761/statm: 12694 12178 244 482 0 12210 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 50776

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.05 2/107 25768
/proc/meminfo: memFree=1592720/2059040 swapFree=4192956/4192956
[pid=25761] ppid=25759 vsize=52756 CPUtime=222.23
/proc/25761/stat : 25761 (pbct) R 25759 25761 25648 0 -1 4202496 13605 0 0 0 21765 458 0 0 25 0 1 0 23073834 54022144 12671 1992294400 134512640 136485738 4291315168 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/25761/statm: 13189 12671 244 482 0 12705 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 52756

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.05 2/107 25768
/proc/meminfo: memFree=1592720/2059040 swapFree=4192956/4192956
[pid=25761] ppid=25759 vsize=52756 CPUtime=282.21
/proc/25761/stat : 25761 (pbct) R 25759 25761 25648 0 -1 4202496 13609 0 0 0 27622 599 0 0 25 0 1 0 23073834 54022144 12675 1992294400 134512640 136485738 4291315168 18446744073709551615 134921931 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/25761/statm: 13189 12675 244 482 0 12705 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 52756

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.04 2/107 25770
/proc/meminfo: memFree=1592596/2059040 swapFree=4192956/4192956
[pid=25761] ppid=25759 vsize=52756 CPUtime=342.2
/proc/25761/stat : 25761 (pbct) R 25759 25761 25648 0 -1 4202496 13609 0 0 0 33513 707 0 0 25 0 1 0 23073834 54022144 12675 1992294400 134512640 136485738 4291315168 18446744073709551615 134878712 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/25761/statm: 13189 12675 244 482 0 12705 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 52756

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.04 2/107 25772
/proc/meminfo: memFree=1592348/2059040 swapFree=4192956/4192956
[pid=25761] ppid=25759 vsize=53020 CPUtime=402.19
/proc/25761/stat : 25761 (pbct) R 25759 25761 25648 0 -1 4202496 13677 0 0 0 39402 817 0 0 25 0 1 0 23073834 54292480 12743 1992294400 134512640 136485738 4291315168 18446744073709551615 134878471 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/25761/statm: 13255 12743 244 482 0 12771 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 53020

[startup+462.301 s]
/proc/loadavg: 1.05 1.01 1.04 2/107 25774
/proc/meminfo: memFree=1591604/2059040 swapFree=4192956/4192956
[pid=25761] ppid=25759 vsize=53812 CPUtime=462.17
/proc/25761/stat : 25761 (pbct) R 25759 25761 25648 0 -1 4202496 13865 0 0 0 45292 925 0 0 25 0 1 0 23073834 55103488 12931 1992294400 134512640 136485738 4291315168 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/25761/statm: 13453 12931 244 482 0 12969 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 53812

[startup+522.301 s]
/proc/loadavg: 1.02 1.01 1.03 2/107 25776
/proc/meminfo: memFree=1589124/2059040 swapFree=4192956/4192956
[pid=25761] ppid=25759 vsize=56320 CPUtime=522.16
/proc/25761/stat : 25761 (pbct) R 25759 25761 25648 0 -1 4202496 14490 0 0 0 51086 1130 0 0 25 0 1 0 23073834 57671680 13556 1992294400 134512640 136485738 4291315168 18446744073709551615 134878425 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/25761/statm: 14080 13556 244 482 0 13596 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 56320

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.02 2/107 25776
/proc/meminfo: memFree=1589000/2059040 swapFree=4192956/4192956
[pid=25761] ppid=25759 vsize=56320 CPUtime=582.14
/proc/25761/stat : 25761 (pbct) R 25759 25761 25648 0 -1 4202496 14501 0 0 0 56956 1258 0 0 25 0 1 0 23073834 57671680 13567 1992294400 134512640 136485738 4291315168 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/25761/statm: 14080 13567 244 482 0 13596 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 56320

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.02 2/107 25778
/proc/meminfo: memFree=1589000/2059040 swapFree=4192956/4192956
[pid=25761] ppid=25759 vsize=56320 CPUtime=642.13
/proc/25761/stat : 25761 (pbct) R 25759 25761 25648 0 -1 4202496 14503 0 0 0 62829 1384 0 0 25 0 1 0 23073834 57671680 13569 1992294400 134512640 136485738 4291315168 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/25761/statm: 14080 13569 244 482 0 13596 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 56320

[startup+702.301 s]

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

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25784
/proc/meminfo: memFree=1588752/2059040 swapFree=4192956/4192956
[pid=25761] ppid=25759 vsize=56320 CPUtime=882.06
/proc/25761/stat : 25761 (pbct) R 25759 25761 25648 0 -1 4202496 14505 0 0 0 86374 1832 0 0 25 0 1 0 23073834 57671680 13569 1992294400 134512640 136485738 4291315168 18446744073709551615 134878575 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/25761/statm: 14080 13569 244 482 0 13596 0
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (KiB) 56320

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25786
/proc/meminfo: memFree=1588628/2059040 swapFree=4192956/4192956
[pid=25761] ppid=25759 vsize=56320 CPUtime=942.04
/proc/25761/stat : 25761 (pbct) R 25759 25761 25648 0 -1 4202496 14505 0 0 0 92251 1953 0 0 25 0 1 0 23073834 57671680 13569 1992294400 134512640 136485738 4291315168 18446744073709551615 135843959 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/25761/statm: 14080 13569 244 482 0 13596 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 56320

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25788
/proc/meminfo: memFree=1588628/2059040 swapFree=4192956/4192956
[pid=25761] ppid=25759 vsize=56320 CPUtime=1002.03
/proc/25761/stat : 25761 (pbct) R 25759 25761 25648 0 -1 4202496 14505 0 0 0 98107 2096 0 0 25 0 1 0 23073834 57671680 13569 1992294400 134512640 136485738 4291315168 18446744073709551615 134878587 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/25761/statm: 14080 13569 244 482 0 13596 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 56320

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25790
/proc/meminfo: memFree=1588504/2059040 swapFree=4192956/4192956
[pid=25761] ppid=25759 vsize=56320 CPUtime=1062.01
/proc/25761/stat : 25761 (pbct) R 25759 25761 25648 0 -1 4202496 14505 0 0 0 104021 2180 0 0 25 0 1 0 23073834 57671680 13569 1992294400 134512640 136485738 4291315168 18446744073709551615 134878445 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/25761/statm: 14080 13569 244 482 0 13596 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 56320

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25792
/proc/meminfo: memFree=1588504/2059040 swapFree=4192956/4192956
[pid=25761] ppid=25759 vsize=56320 CPUtime=1122
/proc/25761/stat : 25761 (pbct) R 25759 25761 25648 0 -1 4202496 14505 0 0 0 109910 2290 0 0 25 0 1 0 23073834 57671680 13569 1992294400 134512640 136485738 4291315168 18446744073709551615 134878471 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/25761/statm: 14080 13569 244 482 0 13596 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 56320

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25792
/proc/meminfo: memFree=1588380/2059040 swapFree=4192956/4192956
[pid=25761] ppid=25759 vsize=56320 CPUtime=1181.98
/proc/25761/stat : 25761 (pbct) R 25759 25761 25648 0 -1 4202496 14507 0 0 0 115785 2413 0 0 25 0 1 0 23073834 57671680 13569 1992294400 134512640 136485738 4291315168 18446744073709551615 135025302 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/25761/statm: 14080 13569 244 482 0 13596 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 56320

[startup+1242.3 s]
/proc/loadavg: 1.04 1.01 1.00 2/107 25794
/proc/meminfo: memFree=1588256/2059040 swapFree=4192956/4192956
[pid=25761] ppid=25759 vsize=56320 CPUtime=1241.96
/proc/25761/stat : 25761 (pbct) R 25759 25761 25648 0 -1 4202496 14507 0 0 0 121659 2537 0 0 25 0 1 0 23073834 57671680 13569 1992294400 134512640 136485738 4291315168 18446744073709551615 135042653 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/25761/statm: 14080 13569 244 482 0 13596 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 56320

[startup+1302.3 s]
/proc/loadavg: 1.01 1.01 1.00 2/107 25796
/proc/meminfo: memFree=1588132/2059040 swapFree=4192956/4192956
[pid=25761] ppid=25759 vsize=56320 CPUtime=1301.96
/proc/25761/stat : 25761 (pbct) R 25759 25761 25648 0 -1 4202496 14507 0 0 0 127532 2664 0 0 25 0 1 0 23073834 57671680 13569 1992294400 134512640 136485738 4291315168 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/25761/statm: 14080 13569 244 482 0 13596 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 56320

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25798
/proc/meminfo: memFree=1588132/2059040 swapFree=4192956/4192956
[pid=25761] ppid=25759 vsize=56320 CPUtime=1361.93
/proc/25761/stat : 25761 (pbct) R 25759 25761 25648 0 -1 4202496 14507 0 0 0 133413 2780 0 0 25 0 1 0 23073834 57671680 13569 1992294400 134512640 136485738 4291315168 18446744073709551615 134878669 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/25761/statm: 14080 13569 244 482 0 13596 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 56320

[startup+1422.31 s]
/proc/loadavg: 1.07 1.02 1.00 2/107 25800
/proc/meminfo: memFree=1588132/2059040 swapFree=4192956/4192956
[pid=25761] ppid=25759 vsize=56320 CPUtime=1421.93
/proc/25761/stat : 25761 (pbct) R 25759 25761 25648 0 -1 4202496 14507 0 0 0 139278 2915 0 0 25 0 1 0 23073834 57671680 13569 1992294400 134512640 136485738 4291315168 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/25761/statm: 14080 13569 244 482 0 13596 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 56320

[startup+1482.3 s]
/proc/loadavg: 1.02 1.01 1.00 2/107 25800
/proc/meminfo: memFree=1588008/2059040 swapFree=4192956/4192956
[pid=25761] ppid=25759 vsize=56320 CPUtime=1481.91
/proc/25761/stat : 25761 (pbct) R 25759 25761 25648 0 -1 4202496 14507 0 0 0 145183 3008 0 0 25 0 1 0 23073834 57671680 13569 1992294400 134512640 136485738 4291315168 18446744073709551615 134878712 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/25761/statm: 14080 13569 244 482 0 13596 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 56320

[startup+1542.3 s]
/proc/loadavg: 1.01 1.00 1.00 2/107 25802
/proc/meminfo: memFree=1588008/2059040 swapFree=4192956/4192956
[pid=25761] ppid=25759 vsize=56320 CPUtime=1541.88
/proc/25761/stat : 25761 (pbct) R 25759 25761 25648 0 -1 4202496 14507 0 0 0 151050 3138 0 0 25 0 1 0 23073834 57671680 13569 1992294400 134512640 136485738 4291315168 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/25761/statm: 14080 13569 244 482 0 13596 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 56320

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25804
/proc/meminfo: memFree=1588008/2059040 swapFree=4192956/4192956
[pid=25761] ppid=25759 vsize=56320 CPUtime=1601.87
/proc/25761/stat : 25761 (pbct) R 25759 25761 25648 0 -1 4202496 14507 0 0 0 156926 3261 0 0 25 0 1 0 23073834 57671680 13569 1992294400 134512640 136485738 4291315168 18446744073709551615 135025212 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/25761/statm: 14080 13569 244 482 0 13596 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 56320

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25806
/proc/meminfo: memFree=1588008/2059040 swapFree=4192956/4192956
[pid=25761] ppid=25759 vsize=56320 CPUtime=1661.86
/proc/25761/stat : 25761 (pbct) R 25759 25761 25648 0 -1 4202496 14507 0 0 0 162807 3379 0 0 25 0 1 0 23073834 57671680 13569 1992294400 134512640 136485738 4291315168 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/25761/statm: 14080 13569 244 482 0 13596 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 56320

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25808
/proc/meminfo: memFree=1587884/2059040 swapFree=4192956/4192956
[pid=25761] ppid=25759 vsize=56320 CPUtime=1721.83
/proc/25761/stat : 25761 (pbct) R 25759 25761 25648 0 -1 4202496 14507 0 0 0 168681 3502 0 0 25 0 1 0 23073834 57671680 13569 1992294400 134512640 136485738 4291315168 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/25761/statm: 14080 13569 244 482 0 13596 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 56320

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25808
/proc/meminfo: memFree=1587636/2059040 swapFree=4192956/4192956
[pid=25761] ppid=25759 vsize=56320 CPUtime=1781.82
/proc/25761/stat : 25761 (pbct) R 25759 25761 25648 0 -1 4202496 14507 0 0 0 174550 3632 0 0 25 0 1 0 23073834 57671680 13569 1992294400 134512640 136485738 4291315168 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/25761/statm: 14080 13569 244 482 0 13596 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 56320



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25810
/proc/meminfo: memFree=1587636/2059040 swapFree=4192956/4192956
[pid=25761] ppid=25759 vsize=56320 CPUtime=1800.02
/proc/25761/stat : 25761 (pbct) R 25759 25761 25648 0 -1 4202496 14507 0 0 0 176328 3674 0 0 25 0 1 0 23073834 57671680 13569 1992294400 134512640 136485738 4291315168 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/25761/statm: 14080 13569 244 482 0 13596 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 56320

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 25810
/proc/meminfo: memFree=1587636/2059040 swapFree=4192956/4192956
[pid=25761] ppid=25759 vsize=56320 CPUtime=1800.02
/proc/25761/stat : 25761 (pbct) R 25759 25761 25648 0 -1 4202496 14507 0 0 0 176328 3674 0 0 25 0 1 0 23073834 57671680 13569 1992294400 134512640 136485738 4291315168 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/25761/statm: 14080 13569 244 482 0 13596 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 56320

Child status: 0
Real time (s): 1800.52
CPU time (s): 1800.04
CPU user time (s): 1763.29
CPU system time (s): 36.7514
CPU usage (%): 99.9737
Max. virtual memory (cumulated for all children) (KiB): 56320

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

runsolver used 2.93955 second user time and 8.5407 second system time

The end