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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2669491-1276690215/watcher-2669491-1276690215 -o /tmp/evaluation-result-2669491-1276690215/solver-2669491-1276690215 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2669491-1276690215.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.39 1.08 1.03 3/106 16643
/proc/meminfo: memFree=1562416/2059040 swapFree=4192956/4192956
[pid=16643] ppid=16641 vsize=2352 CPUtime=0
/proc/16643/stat : 16643 (pbct) R 16641 16643 16365 0 -1 4202496 295 0 0 0 0 0 0 0 25 0 1 0 10314439 2408448 217 1992294400 134512640 136485738 4288992928 18446744073709551615 135850441 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/16643/statm: 588 217 153 482 0 104 0

[startup+0.091893 s]
/proc/loadavg: 1.39 1.08 1.03 3/106 16643
/proc/meminfo: memFree=1562416/2059040 swapFree=4192956/4192956
[pid=16643] ppid=16641 vsize=8832 CPUtime=0.08
/proc/16643/stat : 16643 (pbct) R 16641 16643 16365 0 -1 4202496 1896 0 0 0 8 0 0 0 25 0 1 0 10314439 9043968 1818 1992294400 134512640 136485738 4288992928 18446744073709551615 134735653 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/16643/statm: 2208 1820 197 482 0 1724 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 8832

[startup+0.100894 s]
/proc/loadavg: 1.39 1.08 1.03 3/106 16643
/proc/meminfo: memFree=1562416/2059040 swapFree=4192956/4192956
[pid=16643] ppid=16641 vsize=9356 CPUtime=0.09
/proc/16643/stat : 16643 (pbct) R 16641 16643 16365 0 -1 4202496 2035 0 0 0 9 0 0 0 25 0 1 0 10314439 9580544 1957 1992294400 134512640 136485738 4288992928 18446744073709551615 135850441 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/16643/statm: 2339 1958 197 482 0 1855 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9356

[startup+0.300913 s]
/proc/loadavg: 1.39 1.08 1.03 3/106 16643
/proc/meminfo: memFree=1562416/2059040 swapFree=4192956/4192956
[pid=16643] ppid=16641 vsize=24156 CPUtime=0.29
/proc/16643/stat : 16643 (pbct) R 16641 16643 16365 0 -1 4202496 5795 0 0 0 27 2 0 0 25 0 1 0 10314439 24735744 5651 1992294400 134512640 136485738 4288992928 18446744073709551615 135850441 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/16643/statm: 6039 5652 197 482 0 5555 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24156

[startup+0.700952 s]
/proc/loadavg: 1.39 1.08 1.03 3/106 16643
/proc/meminfo: memFree=1562416/2059040 swapFree=4192956/4192956
[pid=16643] ppid=16641 vsize=35392 CPUtime=0.69
/proc/16643/stat : 16643 (pbct) R 16641 16643 16365 0 -1 4202496 8698 0 0 0 59 10 0 0 25 0 1 0 10314439 36241408 8387 1992294400 134512640 136485738 4288992928 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/16643/statm: 8848 8387 227 482 0 8364 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 35392

[startup+1.50103 s]
/proc/loadavg: 1.39 1.08 1.03 2/107 16644
/proc/meminfo: memFree=1529548/2059040 swapFree=4192956/4192956
[pid=16643] ppid=16641 vsize=35524 CPUtime=1.49
/proc/16643/stat : 16643 (pbct) R 16641 16643 16365 0 -1 4202496 8725 0 0 0 126 23 0 0 25 0 1 0 10314439 36376576 8414 1992294400 134512640 136485738 4288992928 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/16643/statm: 8881 8414 227 482 0 8397 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 35524

[startup+3.10119 s]
/proc/loadavg: 1.39 1.08 1.03 2/107 16644
/proc/meminfo: memFree=1529176/2059040 swapFree=4192956/4192956
[pid=16643] ppid=16641 vsize=35656 CPUtime=3.09
/proc/16643/stat : 16643 (pbct) R 16641 16643 16365 0 -1 4202496 8760 0 0 0 261 48 0 0 25 0 1 0 10314439 36511744 8449 1992294400 134512640 136485738 4288992928 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/16643/statm: 8914 8449 227 482 0 8430 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 35656

[startup+6.3015 s]
/proc/loadavg: 1.36 1.08 1.03 2/107 16644
/proc/meminfo: memFree=1528928/2059040 swapFree=4192956/4192956
[pid=16643] ppid=16641 vsize=36052 CPUtime=6.29
/proc/16643/stat : 16643 (pbct) R 16641 16643 16365 0 -1 4202496 8847 0 0 0 532 97 0 0 25 0 1 0 10314439 36917248 8536 1992294400 134512640 136485738 4288992928 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/16643/statm: 9013 8536 227 482 0 8529 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 36052

[startup+12.7011 s]
/proc/loadavg: 1.33 1.08 1.03 2/107 16644
/proc/meminfo: memFree=1528184/2059040 swapFree=4192956/4192956
[pid=16643] ppid=16641 vsize=36592 CPUtime=12.69
/proc/16643/stat : 16643 (pbct) R 16641 16643 16365 0 -1 4202496 8968 0 0 0 1080 189 0 0 25 0 1 0 10314439 37470208 8657 1992294400 134512640 136485738 4288992928 18446744073709551615 135039157 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/16643/statm: 9148 8657 227 482 0 8664 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 36592

[startup+25.5004 s]
/proc/loadavg: 1.26 1.08 1.02 2/107 16644
/proc/meminfo: memFree=1527812/2059040 swapFree=4192956/4192956
[pid=16643] ppid=16641 vsize=37040 CPUtime=25.49
/proc/16643/stat : 16643 (pbct) R 16641 16643 16365 0 -1 4202496 9076 0 0 0 2173 376 0 0 25 0 1 0 10314439 37928960 8765 1992294400 134512640 136485738 4288992928 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/16643/statm: 9260 8765 227 482 0 8776 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 37040

[startup+51.1009 s]
/proc/loadavg: 1.17 1.07 1.02 2/107 16644
/proc/meminfo: memFree=1527564/2059040 swapFree=4192956/4192956
[pid=16643] ppid=16641 vsize=37688 CPUtime=51.08
/proc/16643/stat : 16643 (pbct) R 16641 16643 16365 0 -1 4202496 9248 0 0 0 4354 754 0 0 25 0 1 0 10314439 38592512 8877 1992294400 134512640 136485738 4288992928 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/16643/statm: 9422 8877 245 482 0 8938 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 37688

[startup+102.308 s]
/proc/loadavg: 1.07 1.06 1.02 2/107 16646
/proc/meminfo: memFree=1527316/2059040 swapFree=4192956/4192956
[pid=16643] ppid=16641 vsize=37688 CPUtime=102.27
/proc/16643/stat : 16643 (pbct) R 16641 16643 16365 0 -1 4202496 9248 0 0 0 8689 1538 0 0 25 0 1 0 10314439 38592512 8877 1992294400 134512640 136485738 4288992928 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/16643/statm: 9422 8877 245 482 0 8938 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 37688

[startup+162.301 s]
/proc/loadavg: 1.02 1.04 1.01 2/107 16648
/proc/meminfo: memFree=1524960/2059040 swapFree=4192956/4192956
[pid=16643] ppid=16641 vsize=40064 CPUtime=162.25
/proc/16643/stat : 16643 (pbct) R 16641 16643 16365 0 -1 4202496 9824 0 0 0 13763 2462 0 0 25 0 1 0 10314439 41025536 9451 1992294400 134512640 136485738 4288992928 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/16643/statm: 10016 9451 245 482 0 9532 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 40064

[startup+222.301 s]
/proc/loadavg: 1.01 1.03 1.00 2/107 16648
/proc/meminfo: memFree=1524960/2059040 swapFree=4192956/4192956
[pid=16643] ppid=16641 vsize=40064 CPUtime=222.23
/proc/16643/stat : 16643 (pbct) R 16641 16643 16365 0 -1 4202496 9825 0 0 0 18849 3374 0 0 25 0 1 0 10314439 41025536 9451 1992294400 134512640 136485738 4288992928 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/16643/statm: 10016 9451 245 482 0 9532 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 40064

[startup+282.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 16650
/proc/meminfo: memFree=1524960/2059040 swapFree=4192956/4192956
[pid=16643] ppid=16641 vsize=40064 CPUtime=282.21
/proc/16643/stat : 16643 (pbct) R 16641 16643 16365 0 -1 4202496 9839 0 0 0 23950 4271 0 0 25 0 1 0 10314439 41025536 9465 1992294400 134512640 136485738 4288992928 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/16643/statm: 10016 9465 245 482 0 9532 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 40064

[startup+342.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 16652
/proc/meminfo: memFree=1524836/2059040 swapFree=4192956/4192956
[pid=16643] ppid=16641 vsize=40064 CPUtime=342.19
/proc/16643/stat : 16643 (pbct) R 16641 16643 16365 0 -1 4202496 9839 0 0 0 29035 5184 0 0 25 0 1 0 10314439 41025536 9465 1992294400 134512640 136485738 4288992928 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/16643/statm: 10016 9465 245 482 0 9532 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 40064

[startup+402.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 16654
/proc/meminfo: memFree=1524836/2059040 swapFree=4192956/4192956
[pid=16643] ppid=16641 vsize=40064 CPUtime=402.17
/proc/16643/stat : 16643 (pbct) R 16641 16643 16365 0 -1 4202496 9840 0 0 0 34124 6093 0 0 25 0 1 0 10314439 41025536 9465 1992294400 134512640 136485738 4288992928 18446744073709551615 135024661 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/16643/statm: 10016 9465 245 482 0 9532 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 40064

[startup+462.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 16656
/proc/meminfo: memFree=1524712/2059040 swapFree=4192956/4192956
[pid=16643] ppid=16641 vsize=40064 CPUtime=462.15
/proc/16643/stat : 16643 (pbct) R 16641 16643 16365 0 -1 4202496 9840 0 0 0 39468 6747 0 0 25 0 1 0 10314439 41025536 9465 1992294400 134512640 136485738 4288992928 18446744073709551615 134920861 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/16643/statm: 10016 9465 245 482 0 9532 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 40064

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16656
/proc/meminfo: memFree=1524712/2059040 swapFree=4192956/4192956
[pid=16643] ppid=16641 vsize=40064 CPUtime=522.13
/proc/16643/stat : 16643 (pbct) R 16641 16643 16365 0 -1 4202496 9840 0 0 0 44902 7311 0 0 25 0 1 0 10314439 41025536 9465 1992294400 134512640 136485738 4288992928 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/16643/statm: 10016 9465 245 482 0 9532 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 40064

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16658
/proc/meminfo: memFree=1524588/2059040 swapFree=4192956/4192956
[pid=16643] ppid=16641 vsize=40064 CPUtime=582.11
/proc/16643/stat : 16643 (pbct) R 16641 16643 16365 0 -1 4202496 9840 0 0 0 50476 7735 0 0 25 0 1 0 10314439 41025536 9465 1992294400 134512640 136485738 4288992928 18446744073709551615 134921156 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/16643/statm: 10016 9465 245 482 0 9532 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 40064

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16660
/proc/meminfo: memFree=1524588/2059040 swapFree=4192956/4192956
[pid=16643] ppid=16641 vsize=40064 CPUtime=642.09
/proc/16643/stat : 16643 (pbct) R 16641 16643 16365 0 -1 4202496 9840 0 0 0 55742 8467 0 0 25 0 1 0 10314439 41025536 9465 1992294400 134512640 136485738 4288992928 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/16643/statm: 10016 9465 245 482 0 9532 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 40064

[startup+702.301 s]

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

[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16664
/proc/meminfo: memFree=1524340/2059040 swapFree=4192956/4192956
[pid=16643] ppid=16641 vsize=40460 CPUtime=822.04
/proc/16643/stat : 16643 (pbct) R 16641 16643 16365 0 -1 4202496 9936 0 0 0 72662 9542 0 0 25 0 1 0 10314439 41431040 9561 1992294400 134512640 136485738 4288992928 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/16643/statm: 10115 9561 245 482 0 9631 0
Current children cumulated CPU time (s) 822.04
Current children cumulated vsize (KiB) 40460

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16666
/proc/meminfo: memFree=1524216/2059040 swapFree=4192956/4192956
[pid=16643] ppid=16641 vsize=40460 CPUtime=882.01
/proc/16643/stat : 16643 (pbct) R 16641 16643 16365 0 -1 4202496 9936 0 0 0 78391 9810 0 0 25 0 1 0 10314439 41431040 9561 1992294400 134512640 136485738 4288992928 18446744073709551615 134921016 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/16643/statm: 10115 9561 245 482 0 9631 0
Current children cumulated CPU time (s) 882.01
Current children cumulated vsize (KiB) 40460

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16668
/proc/meminfo: memFree=1524216/2059040 swapFree=4192956/4192956
[pid=16643] ppid=16641 vsize=40460 CPUtime=942
/proc/16643/stat : 16643 (pbct) R 16641 16643 16365 0 -1 4202496 9936 0 0 0 84068 10132 0 0 25 0 1 0 10314439 41431040 9561 1992294400 134512640 136485738 4288992928 18446744073709551615 134921016 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/16643/statm: 10115 9561 245 482 0 9631 0
Current children cumulated CPU time (s) 942
Current children cumulated vsize (KiB) 40460

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16670
/proc/meminfo: memFree=1524092/2059040 swapFree=4192956/4192956
[pid=16643] ppid=16641 vsize=40460 CPUtime=1001.98
/proc/16643/stat : 16643 (pbct) R 16641 16643 16365 0 -1 4202496 9936 0 0 0 89656 10542 0 0 25 0 1 0 10314439 41431040 9561 1992294400 134512640 136485738 4288992928 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/16643/statm: 10115 9561 245 482 0 9631 0
Current children cumulated CPU time (s) 1001.98
Current children cumulated vsize (KiB) 40460

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16672
/proc/meminfo: memFree=1524092/2059040 swapFree=4192956/4192956
[pid=16643] ppid=16641 vsize=40460 CPUtime=1061.97
/proc/16643/stat : 16643 (pbct) R 16641 16643 16365 0 -1 4202496 9937 0 0 0 95033 11164 0 0 25 0 1 0 10314439 41431040 9561 1992294400 134512640 136485738 4288992928 18446744073709551615 134920853 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/16643/statm: 10115 9561 245 482 0 9631 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 40460

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16672
/proc/meminfo: memFree=1523968/2059040 swapFree=4192956/4192956
[pid=16643] ppid=16641 vsize=40460 CPUtime=1121.95
/proc/16643/stat : 16643 (pbct) R 16641 16643 16365 0 -1 4202496 9937 0 0 0 100882 11313 0 0 25 0 1 0 10314439 41431040 9561 1992294400 134512640 136485738 4288992928 18446744073709551615 135044309 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/16643/statm: 10115 9561 245 482 0 9631 0
Current children cumulated CPU time (s) 1121.95
Current children cumulated vsize (KiB) 40460

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16674
/proc/meminfo: memFree=1523968/2059040 swapFree=4192956/4192956
[pid=16643] ppid=16641 vsize=40460 CPUtime=1181.93
/proc/16643/stat : 16643 (pbct) R 16641 16643 16365 0 -1 4202496 9937 0 0 0 106716 11477 0 0 25 0 1 0 10314439 41431040 9561 1992294400 134512640 136485738 4288992928 18446744073709551615 134921025 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/16643/statm: 10115 9561 245 482 0 9631 0
Current children cumulated CPU time (s) 1181.93
Current children cumulated vsize (KiB) 40460

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16676
/proc/meminfo: memFree=1523844/2059040 swapFree=4192956/4192956
[pid=16643] ppid=16641 vsize=40460 CPUtime=1241.91
/proc/16643/stat : 16643 (pbct) R 16641 16643 16365 0 -1 4202496 9937 0 0 0 112534 11657 0 0 25 0 1 0 10314439 41431040 9561 1992294400 134512640 136485738 4288992928 18446744073709551615 134921011 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/16643/statm: 10115 9561 245 482 0 9631 0
Current children cumulated CPU time (s) 1241.91
Current children cumulated vsize (KiB) 40460

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16678
/proc/meminfo: memFree=1523720/2059040 swapFree=4192956/4192956
[pid=16643] ppid=16641 vsize=40460 CPUtime=1301.91
/proc/16643/stat : 16643 (pbct) R 16641 16643 16365 0 -1 4202496 9937 0 0 0 118359 11832 0 0 25 0 1 0 10314439 41431040 9561 1992294400 134512640 136485738 4288992928 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/16643/statm: 10115 9561 245 482 0 9631 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 40460

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16683
/proc/meminfo: memFree=1523100/2059040 swapFree=4192956/4192956
[pid=16643] ppid=16641 vsize=40460 CPUtime=1361.88
/proc/16643/stat : 16643 (pbct) R 16641 16643 16365 0 -1 4202496 9937 0 0 0 124153 12035 0 0 25 0 1 0 10314439 41431040 9561 1992294400 134512640 136485738 4288992928 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/16643/statm: 10115 9561 245 482 0 9631 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 40460

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16683
/proc/meminfo: memFree=1523100/2059040 swapFree=4192956/4192956
[pid=16643] ppid=16641 vsize=40460 CPUtime=1421.87
/proc/16643/stat : 16643 (pbct) R 16641 16643 16365 0 -1 4202496 9937 0 0 0 129935 12252 0 0 25 0 1 0 10314439 41431040 9561 1992294400 134512640 136485738 4288992928 18446744073709551615 134921016 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/16643/statm: 10115 9561 245 482 0 9631 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 40460

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16685
/proc/meminfo: memFree=1523100/2059040 swapFree=4192956/4192956
[pid=16643] ppid=16641 vsize=40460 CPUtime=1481.85
/proc/16643/stat : 16643 (pbct) R 16641 16643 16365 0 -1 4202496 9937 0 0 0 135788 12397 0 0 25 0 1 0 10314439 41431040 9561 1992294400 134512640 136485738 4288992928 18446744073709551615 134920996 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/16643/statm: 10115 9561 245 482 0 9631 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 40460

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16687
/proc/meminfo: memFree=1523100/2059040 swapFree=4192956/4192956
[pid=16643] ppid=16641 vsize=40460 CPUtime=1541.83
/proc/16643/stat : 16643 (pbct) R 16641 16643 16365 0 -1 4202496 9937 0 0 0 141660 12523 0 0 25 0 1 0 10314439 41431040 9561 1992294400 134512640 136485738 4288992928 18446744073709551615 135044970 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/16643/statm: 10115 9561 245 482 0 9631 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 40460

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16689
/proc/meminfo: memFree=1523100/2059040 swapFree=4192956/4192956
[pid=16643] ppid=16641 vsize=40460 CPUtime=1601.82
/proc/16643/stat : 16643 (pbct) R 16641 16643 16365 0 -1 4202496 9937 0 0 0 147487 12695 0 0 25 0 1 0 10314439 41431040 9561 1992294400 134512640 136485738 4288992928 18446744073709551615 134921019 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/16643/statm: 10115 9561 245 482 0 9631 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 40460

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16691
/proc/meminfo: memFree=1523100/2059040 swapFree=4192956/4192956
[pid=16643] ppid=16641 vsize=40460 CPUtime=1661.79
/proc/16643/stat : 16643 (pbct) R 16641 16643 16365 0 -1 4202496 9937 0 0 0 153316 12863 0 0 25 0 1 0 10314439 41431040 9561 1992294400 134512640 136485738 4288992928 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/16643/statm: 10115 9561 245 482 0 9631 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 40460

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16691
/proc/meminfo: memFree=1523100/2059040 swapFree=4192956/4192956
[pid=16643] ppid=16641 vsize=40460 CPUtime=1721.78
/proc/16643/stat : 16643 (pbct) R 16641 16643 16365 0 -1 4202496 9937 0 0 0 158549 13629 0 0 25 0 1 0 10314439 41431040 9561 1992294400 134512640 136485738 4288992928 18446744073709551615 135050862 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/16643/statm: 10115 9561 245 482 0 9631 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 40460

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16693
/proc/meminfo: memFree=1523224/2059040 swapFree=4192956/4192956
[pid=16643] ppid=16641 vsize=40460 CPUtime=1781.76
/proc/16643/stat : 16643 (pbct) R 16641 16643 16365 0 -1 4202496 9937 0 0 0 164360 13816 0 0 25 0 1 0 10314439 41431040 9561 1992294400 134512640 136485738 4288992928 18446744073709551615 134921129 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/16643/statm: 10115 9561 245 482 0 9631 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 40460



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16695
/proc/meminfo: memFree=1523224/2059040 swapFree=4192956/4192956
[pid=16643] ppid=16641 vsize=40460 CPUtime=1800.07
/proc/16643/stat : 16643 (pbct) R 16641 16643 16365 0 -1 4202496 9937 0 0 0 166175 13832 0 0 25 0 1 0 10314439 41431040 9561 1992294400 134512640 136485738 4288992928 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/16643/statm: 10115 9561 245 482 0 9631 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 40460

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.62
CPU time (s): 1800.09
CPU user time (s): 1661.76
CPU system time (s): 138.328
CPU usage (%): 99.9703
Max. virtual memory (cumulated for all children) (KiB): 40460

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

runsolver used 2.91956 second user time and 8.5607 second system time

The end