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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2668166-1276670114/watcher-2668166-1276670114 -o /tmp/evaluation-result-2668166-1276670114/solver-2668166-1276670114 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2668166-1276670114.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.00 3/106 14795
/proc/meminfo: memFree=1765652/2059040 swapFree=4192956/4192956
[pid=14795] ppid=14793 vsize=2340 CPUtime=0
/proc/14795/stat : 14795 (pbct) R 14793 14795 14053 0 -1 4202496 302 0 0 0 0 0 0 0 20 0 1 0 8303857 2396160 224 1992294400 134512640 136485738 4291085696 18446744073709551615 135850441 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14795/statm: 585 224 156 482 0 101 0

[startup+0.055905 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 14795
/proc/meminfo: memFree=1765652/2059040 swapFree=4192956/4192956
[pid=14795] ppid=14793 vsize=3660 CPUtime=0.05
/proc/14795/stat : 14795 (pbct) R 14793 14795 14053 0 -1 4202496 622 0 0 0 5 0 0 0 20 0 1 0 8303857 3747840 544 1992294400 134512640 136485738 4291085696 18446744073709551615 135559946 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14795/statm: 915 545 156 482 0 431 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 3660

[startup+0.10091 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 14795
/proc/meminfo: memFree=1765652/2059040 swapFree=4192956/4192956
[pid=14795] ppid=14793 vsize=4848 CPUtime=0.09
/proc/14795/stat : 14795 (pbct) R 14793 14795 14053 0 -1 4202496 921 0 0 0 9 0 0 0 20 0 1 0 8303857 4964352 843 1992294400 134512640 136485738 4291085696 18446744073709551615 135856871 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14795/statm: 1212 844 156 482 0 728 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4848

[startup+0.300931 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 14795
/proc/meminfo: memFree=1765652/2059040 swapFree=4192956/4192956
[pid=14795] ppid=14793 vsize=9340 CPUtime=0.29
/proc/14795/stat : 14795 (pbct) R 14793 14795 14053 0 -1 4202496 2059 0 0 0 29 0 0 0 20 0 1 0 8303857 9564160 1981 1992294400 134512640 136485738 4291085696 18446744073709551615 134526214 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14795/statm: 2335 1981 156 482 0 1851 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9340

[startup+0.700975 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 14795
/proc/meminfo: memFree=1765652/2059040 swapFree=4192956/4192956
[pid=14795] ppid=14793 vsize=19824 CPUtime=0.69
/proc/14795/stat : 14795 (pbct) R 14793 14795 14053 0 -1 4202496 4654 0 0 0 67 2 0 0 20 0 1 0 8303857 20299776 4576 1992294400 134512640 136485738 4291085696 18446744073709551615 134517466 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14795/statm: 4956 4577 156 482 0 4472 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 19824

[startup+1.50106 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14796
/proc/meminfo: memFree=1723360/2059040 swapFree=4192956/4192956
[pid=14795] ppid=14793 vsize=87276 CPUtime=1.49
/proc/14795/stat : 14795 (pbct) R 14793 14795 14053 0 -1 4202496 22104 0 0 0 139 10 0 0 22 0 1 0 8303857 89370624 21423 1992294400 134512640 136485738 4291085696 18446744073709551615 135850441 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/14795/statm: 21819 21423 194 482 0 21335 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 87276

[startup+3.10124 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14796
/proc/meminfo: memFree=1635320/2059040 swapFree=4192956/4192956
[pid=14795] ppid=14793 vsize=199680 CPUtime=3.09
/proc/14795/stat : 14795 (pbct) R 14793 14795 14053 0 -1 4202496 51855 0 0 0 285 24 0 0 25 0 1 0 8303857 204472320 48921 1992294400 134512640 136485738 4291085696 18446744073709551615 135850441 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/14795/statm: 49920 48921 198 482 0 49436 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 199680

[startup+6.30159 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14796
/proc/meminfo: memFree=1435556/2059040 swapFree=4192956/4192956
[pid=14795] ppid=14793 vsize=381448 CPUtime=6.29
/proc/14795/stat : 14795 (pbct) R 14793 14795 14053 0 -1 4202496 100901 0 0 0 583 46 0 0 25 0 1 0 8303857 390602752 94249 1992294400 134512640 136485738 4291085696 18446744073709551615 135850441 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/14795/statm: 95362 94249 198 482 0 94878 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 381448

[startup+12.7013 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14796
/proc/meminfo: memFree=949476/2059040 swapFree=4192956/4192956
[pid=14795] ppid=14793 vsize=850924 CPUtime=12.69
/proc/14795/stat : 14795 (pbct) R 14793 14795 14053 0 -1 4202496 224042 0 0 0 1177 92 0 0 25 0 1 0 8303857 871346176 206015 1992294400 134512640 136485738 4291085696 18446744073709551615 134933040 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/14795/statm: 212731 206015 210 482 0 212247 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 850924

[startup+25.5007 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14796
/proc/meminfo: memFree=850400/2059040 swapFree=4192956/4192956
[pid=14795] ppid=14793 vsize=960176 CPUtime=25.48
/proc/14795/stat : 14795 (pbct) R 14793 14795 14053 0 -1 4202496 252563 0 0 0 2436 112 0 0 25 0 1 0 8303857 983220224 228356 1992294400 134512640 136485738 4291085696 18446744073709551615 135857078 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/14795/statm: 240044 228356 245 482 0 239560 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 960176

[startup+51.1005 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14796
/proc/meminfo: memFree=849656/2059040 swapFree=4192956/4192956
[pid=14795] ppid=14793 vsize=961364 CPUtime=51.08
/proc/14795/stat : 14795 (pbct) R 14793 14795 14053 0 -1 4202496 252838 0 0 0 4972 136 0 0 25 0 1 0 8303857 984436736 228631 1992294400 134512640 136485738 4291085696 18446744073709551615 135050800 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/14795/statm: 240341 228631 245 482 0 239857 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 961364

[startup+102.308 s]
/proc/loadavg: 1.05 1.01 1.00 2/107 14798
/proc/meminfo: memFree=847176/2059040 swapFree=4192956/4192956
[pid=14795] ppid=14793 vsize=963608 CPUtime=102.26
/proc/14795/stat : 14795 (pbct) R 14793 14795 14053 0 -1 4202496 253411 0 0 0 10039 187 0 0 25 0 1 0 8303857 986734592 229204 1992294400 134512640 136485738 4291085696 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/14795/statm: 240902 229204 245 482 0 240418 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 963608

[startup+162.301 s]
/proc/loadavg: 1.02 1.01 1.00 2/107 14800
/proc/meminfo: memFree=843208/2059040 swapFree=4192956/4192956
[pid=14795] ppid=14793 vsize=967568 CPUtime=162.25
/proc/14795/stat : 14795 (pbct) R 14793 14795 14053 0 -1 4202496 254399 0 0 0 15980 245 0 0 25 0 1 0 8303857 990789632 230192 1992294400 134512640 136485738 4291085696 18446744073709551615 135024897 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/14795/statm: 241892 230192 245 482 0 241408 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 967568

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14802
/proc/meminfo: memFree=839488/2059040 swapFree=4192956/4192956
[pid=14795] ppid=14793 vsize=971264 CPUtime=222.23
/proc/14795/stat : 14795 (pbct) R 14793 14795 14053 0 -1 4202496 255320 0 0 0 21918 305 0 0 25 0 1 0 8303857 994574336 231113 1992294400 134512640 136485738 4291085696 18446744073709551615 134638729 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/14795/statm: 242816 231113 245 482 0 242332 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 971264

[startup+282.301 s]
/proc/loadavg: 1.07 1.02 1.00 2/107 14804
/proc/meminfo: memFree=836016/2059040 swapFree=4192956/4192956
[pid=14795] ppid=14793 vsize=974696 CPUtime=282.2
/proc/14795/stat : 14795 (pbct) R 14793 14795 14053 0 -1 4202496 256195 0 0 0 27857 363 0 0 25 0 1 0 8303857 998088704 231988 1992294400 134512640 136485738 4291085696 18446744073709551615 135024568 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/14795/statm: 243674 231988 245 482 0 243190 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 974696

[startup+342.3 s]
/proc/loadavg: 1.08 1.03 1.00 2/107 14804
/proc/meminfo: memFree=832180/2059040 swapFree=4192956/4192956
[pid=14795] ppid=14793 vsize=978656 CPUtime=342.18
/proc/14795/stat : 14795 (pbct) R 14793 14795 14053 0 -1 4202496 257156 0 0 0 33799 419 0 0 25 0 1 0 8303857 1002143744 232949 1992294400 134512640 136485738 4291085696 18446744073709551615 134638729 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/14795/statm: 244664 232949 245 482 0 244180 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 978656

[startup+402.301 s]
/proc/loadavg: 1.03 1.02 1.00 2/107 14806
/proc/meminfo: memFree=829204/2059040 swapFree=4192956/4192956
[pid=14795] ppid=14793 vsize=981564 CPUtime=402.17
/proc/14795/stat : 14795 (pbct) R 14793 14795 14053 0 -1 4202496 257886 0 0 0 39737 480 0 0 25 0 1 0 8303857 1005121536 233679 1992294400 134512640 136485738 4291085696 18446744073709551615 135040473 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/14795/statm: 245391 233679 245 482 0 244907 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 981564

[startup+462.301 s]
/proc/loadavg: 1.08 1.03 1.00 2/107 14808
/proc/meminfo: memFree=827592/2059040 swapFree=4192956/4192956
[pid=14795] ppid=14793 vsize=983020 CPUtime=462.15
/proc/14795/stat : 14795 (pbct) R 14793 14795 14053 0 -1 4202496 258278 0 0 0 45682 533 0 0 25 0 1 0 8303857 1006612480 234071 1992294400 134512640 136485738 4291085696 18446744073709551615 135047545 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/14795/statm: 245755 234071 245 482 0 245271 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 983020

[startup+522.301 s]
/proc/loadavg: 1.03 1.02 1.00 2/107 14810
/proc/meminfo: memFree=824616/2059040 swapFree=4192956/4192956
[pid=14795] ppid=14793 vsize=986056 CPUtime=522.13
/proc/14795/stat : 14795 (pbct) R 14793 14795 14053 0 -1 4202496 259028 0 0 0 51626 587 0 0 25 0 1 0 8303857 1009721344 234821 1992294400 134512640 136485738 4291085696 18446744073709551615 135044294 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/14795/statm: 246514 234821 245 482 0 246030 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 986056

[startup+582.301 s]
/proc/loadavg: 1.01 1.02 1.00 2/107 14812
/proc/meminfo: memFree=821020/2059040 swapFree=4192956/4192956
[pid=14795] ppid=14793 vsize=989492 CPUtime=582.12
/proc/14795/stat : 14795 (pbct) R 14793 14795 14053 0 -1 4202496 259896 0 0 0 57568 644 0 0 25 0 1 0 8303857 1013239808 235689 1992294400 134512640 136485738 4291085696 18446744073709551615 134638729 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/14795/statm: 247373 235689 245 482 0 246889 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 989492

[startup+642.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 14812
/proc/meminfo: memFree=813580/2059040 swapFree=4192956/4192956
[pid=14795] ppid=14793 vsize=997016 CPUtime=642.1
/proc/14795/stat : 14795 (pbct) R 14793 14795 14053 0 -1 4202496 261752 0 0 0 63509 701 0 0 25 0 1 0 8303857 1020944384 237545 1992294400 134512640 136485738 4291085696 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/14795/statm: 249254 237545 245 482 0 248770 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 997016

[startup+702.301 s]

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

[startup+822.301 s]
/proc/loadavg: 1.03 1.02 1.00 2/107 14818
/proc/meminfo: memFree=804528/2059040 swapFree=4192956/4192956
[pid=14795] ppid=14793 vsize=1005860 CPUtime=822.03
/proc/14795/stat : 14795 (pbct) R 14793 14795 14053 0 -1 4202496 263965 0 0 0 81340 863 0 0 25 0 1 0 8303857 1030000640 239758 1992294400 134512640 136485738 4291085696 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/14795/statm: 251465 239758 245 482 0 250981 0
Current children cumulated CPU time (s) 822.03
Current children cumulated vsize (KiB) 1005860

[startup+882.301 s]
/proc/loadavg: 1.01 1.02 1.00 2/107 14820
/proc/meminfo: memFree=802048/2059040 swapFree=4192956/4192956
[pid=14795] ppid=14793 vsize=1008244 CPUtime=882.01
/proc/14795/stat : 14795 (pbct) R 14793 14795 14053 0 -1 4202496 264567 0 0 0 87283 918 0 0 25 0 1 0 8303857 1032441856 240360 1992294400 134512640 136485738 4291085696 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/14795/statm: 252061 240360 245 482 0 251577 0
Current children cumulated CPU time (s) 882.01
Current children cumulated vsize (KiB) 1008244

[startup+942.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 14820
/proc/meminfo: memFree=798452/2059040 swapFree=4192956/4192956
[pid=14795] ppid=14793 vsize=1011808 CPUtime=942
/proc/14795/stat : 14795 (pbct) R 14793 14795 14053 0 -1 4202496 265468 0 0 0 93230 970 0 0 25 0 1 0 8303857 1036091392 241261 1992294400 134512640 136485738 4291085696 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/14795/statm: 252952 241261 245 482 0 252468 0
Current children cumulated CPU time (s) 942
Current children cumulated vsize (KiB) 1011808

[startup+1002.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 14822
/proc/meminfo: memFree=794980/2059040 swapFree=4192956/4192956
[pid=14795] ppid=14793 vsize=1015248 CPUtime=1001.97
/proc/14795/stat : 14795 (pbct) R 14793 14795 14053 0 -1 4202496 266324 0 0 0 99175 1022 0 0 25 0 1 0 8303857 1039613952 242117 1992294400 134512640 136485738 4291085696 18446744073709551615 135040473 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/14795/statm: 253812 242117 245 482 0 253328 0
Current children cumulated CPU time (s) 1001.97
Current children cumulated vsize (KiB) 1015248

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14824
/proc/meminfo: memFree=793864/2059040 swapFree=4192956/4192956
[pid=14795] ppid=14793 vsize=1016348 CPUtime=1061.95
/proc/14795/stat : 14795 (pbct) R 14793 14795 14053 0 -1 4202496 266594 0 0 0 105132 1063 0 0 25 0 1 0 8303857 1040740352 242387 1992294400 134512640 136485738 4291085696 18446744073709551615 135047540 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/14795/statm: 254087 242387 245 482 0 253603 0
Current children cumulated CPU time (s) 1061.95
Current children cumulated vsize (KiB) 1016348

[startup+1122.3 s]
/proc/loadavg: 1.04 1.01 1.00 2/107 14826
/proc/meminfo: memFree=790764/2059040 swapFree=4192956/4192956
[pid=14795] ppid=14793 vsize=1019392 CPUtime=1121.94
/proc/14795/stat : 14795 (pbct) R 14793 14795 14053 0 -1 4202496 267360 0 0 0 111080 1114 0 0 25 0 1 0 8303857 1043857408 243153 1992294400 134512640 136485738 4291085696 18446744073709551615 135024568 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/14795/statm: 254848 243153 245 482 0 254364 0
Current children cumulated CPU time (s) 1121.94
Current children cumulated vsize (KiB) 1019392

[startup+1182.3 s]
/proc/loadavg: 1.08 1.02 1.00 2/107 14828
/proc/meminfo: memFree=786796/2059040 swapFree=4192956/4192956
[pid=14795] ppid=14793 vsize=1023356 CPUtime=1181.92
/proc/14795/stat : 14795 (pbct) R 14793 14795 14053 0 -1 4202496 268345 0 0 0 117026 1166 0 0 25 0 1 0 8303857 1047916544 244138 1992294400 134512640 136485738 4291085696 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/14795/statm: 255839 244138 245 482 0 255355 0
Current children cumulated CPU time (s) 1181.92
Current children cumulated vsize (KiB) 1023356

[startup+1242.3 s]
/proc/loadavg: 1.10 1.03 1.00 2/107 14828
/proc/meminfo: memFree=781960/2059040 swapFree=4192956/4192956
[pid=14795] ppid=14793 vsize=1027980 CPUtime=1241.91
/proc/14795/stat : 14795 (pbct) R 14793 14795 14053 0 -1 4202496 269509 0 0 0 122976 1215 0 0 25 0 1 0 8303857 1052651520 245302 1992294400 134512640 136485738 4291085696 18446744073709551615 135047207 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/14795/statm: 256995 245302 245 482 0 256511 0
Current children cumulated CPU time (s) 1241.91
Current children cumulated vsize (KiB) 1027980

[startup+1302.3 s]
/proc/loadavg: 1.10 1.04 1.00 2/107 14830
/proc/meminfo: memFree=778364/2059040 swapFree=4192956/4192956
[pid=14795] ppid=14793 vsize=1031552 CPUtime=1301.89
/proc/14795/stat : 14795 (pbct) R 14793 14795 14053 0 -1 4202496 270399 0 0 0 128933 1256 0 0 25 0 1 0 8303857 1056309248 246192 1992294400 134512640 136485738 4291085696 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/14795/statm: 257888 246192 245 482 0 257404 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 1031552

[startup+1362.3 s]
/proc/loadavg: 1.09 1.04 1.00 2/107 14832
/proc/meminfo: memFree=774024/2059040 swapFree=4192956/4192956
[pid=14795] ppid=14793 vsize=1035924 CPUtime=1361.86
/proc/14795/stat : 14795 (pbct) R 14793 14795 14053 0 -1 4202496 271476 0 0 0 134887 1299 0 0 25 0 1 0 8303857 1060786176 247269 1992294400 134512640 136485738 4291085696 18446744073709551615 135047017 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/14795/statm: 258981 247269 245 482 0 258497 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 1035924

[startup+1422.31 s]
/proc/loadavg: 1.08 1.05 1.00 2/107 14834
/proc/meminfo: memFree=771172/2059040 swapFree=4192956/4192956
[pid=14795] ppid=14793 vsize=1038572 CPUtime=1421.85
/proc/14795/stat : 14795 (pbct) R 14793 14795 14053 0 -1 4202496 272161 0 0 0 140838 1347 0 0 25 0 1 0 8303857 1063497728 247954 1992294400 134512640 136485738 4291085696 18446744073709551615 135724785 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/14795/statm: 259643 247954 245 482 0 259159 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 1038572

[startup+1482.3 s]
/proc/loadavg: 1.08 1.05 1.00 2/107 14836
/proc/meminfo: memFree=764848/2059040 swapFree=4192956/4192956
[pid=14795] ppid=14793 vsize=1045044 CPUtime=1481.83
/proc/14795/stat : 14795 (pbct) R 14793 14795 14053 0 -1 4202496 273762 0 0 0 146786 1397 0 0 25 0 1 0 8303857 1070125056 249555 1992294400 134512640 136485738 4291085696 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/14795/statm: 261261 249555 245 482 0 260777 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 1045044

[startup+1542.3 s]
/proc/loadavg: 1.07 1.06 1.00 2/107 14836
/proc/meminfo: memFree=760880/2059040 swapFree=4192956/4192956
[pid=14795] ppid=14793 vsize=1048916 CPUtime=1541.81
/proc/14795/stat : 14795 (pbct) R 14793 14795 14053 0 -1 4202496 274726 0 0 0 152740 1441 0 0 25 0 1 0 8303857 1074089984 250519 1992294400 134512640 136485738 4291085696 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/14795/statm: 262229 250519 245 482 0 261745 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 1048916

[startup+1602.3 s]
/proc/loadavg: 1.07 1.06 1.00 2/107 14847
/proc/meminfo: memFree=755424/2059040 swapFree=4192956/4192956
[pid=14795] ppid=14793 vsize=1054340 CPUtime=1601.78
/proc/14795/stat : 14795 (pbct) R 14793 14795 14053 0 -1 4202496 276073 0 0 0 158690 1488 0 0 25 0 1 0 8303857 1079644160 251866 1992294400 134512640 136485738 4291085696 18446744073709551615 135039091 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/14795/statm: 263585 251866 245 482 0 263101 0
Current children cumulated CPU time (s) 1601.78
Current children cumulated vsize (KiB) 1054340

[startup+1662.3 s]
/proc/loadavg: 1.12 1.07 1.01 2/107 14849
/proc/meminfo: memFree=752200/2059040 swapFree=4192956/4192956
[pid=14795] ppid=14793 vsize=1057528 CPUtime=1661.76
/proc/14795/stat : 14795 (pbct) R 14793 14795 14053 0 -1 4202496 276885 0 0 0 164638 1538 0 0 25 0 1 0 8303857 1082908672 252678 1992294400 134512640 136485738 4291085696 18446744073709551615 135045009 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/14795/statm: 264382 252678 245 482 0 263898 0
Current children cumulated CPU time (s) 1661.76
Current children cumulated vsize (KiB) 1057528

[startup+1722.3 s]
/proc/loadavg: 1.08 1.07 1.01 2/107 14851
/proc/meminfo: memFree=749224/2059040 swapFree=4192956/4192956
[pid=14795] ppid=14793 vsize=1060440 CPUtime=1721.75
/proc/14795/stat : 14795 (pbct) R 14793 14795 14053 0 -1 4202496 277601 0 0 0 170587 1588 0 0 25 0 1 0 8303857 1085890560 253394 1992294400 134512640 136485738 4291085696 18446744073709551615 135024568 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/14795/statm: 265110 253394 245 482 0 264626 0
Current children cumulated CPU time (s) 1721.75
Current children cumulated vsize (KiB) 1060440

[startup+1782.3 s]
/proc/loadavg: 1.14 1.09 1.01 2/107 14853
/proc/meminfo: memFree=746124/2059040 swapFree=4192956/4192956
[pid=14795] ppid=14793 vsize=1063344 CPUtime=1781.73
/proc/14795/stat : 14795 (pbct) R 14793 14795 14053 0 -1 4202496 278350 0 0 0 176536 1637 0 0 25 0 1 0 8303857 1088864256 254143 1992294400 134512640 136485738 4291085696 18446744073709551615 135047563 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/14795/statm: 265836 254143 245 482 0 265352 0
Current children cumulated CPU time (s) 1781.73
Current children cumulated vsize (KiB) 1063344



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.11 1.08 1.01 2/107 14853
/proc/meminfo: memFree=744884/2059040 swapFree=4192956/4192956
[pid=14795] ppid=14793 vsize=1064532 CPUtime=1800.03
/proc/14795/stat : 14795 (pbct) R 14793 14795 14053 0 -1 4202496 278646 0 0 0 178351 1652 0 0 25 0 1 0 8303857 1090080768 254439 1992294400 134512640 136485738 4291085696 18446744073709551615 135024897 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/14795/statm: 266133 254439 245 482 0 265649 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1064532

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.72
CPU time (s): 1800.14
CPU user time (s): 1783.51
CPU system time (s): 16.6275
CPU usage (%): 99.9682
Max. virtual memory (cumulated for all children) (KiB): 1064532

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

runsolver used 2.74258 second user time and 8.73867 second system time

The end