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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2681760-1277504068/watcher-2681760-1277504068 -o /tmp/evaluation-result-2681760-1277504068/solver-2681760-1277504068 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2681760-1277504068.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.04 1.01 1.00 2/106 31821
/proc/meminfo: memFree=1887352/2059040 swapFree=4140788/4192956
[pid=31821] ppid=31819 vsize=2268 CPUtime=0
/proc/31821/stat : 31821 (pbct) R 31819 31821 31059 0 -1 4202496 298 0 0 0 0 0 0 0 17 0 1 0 91699720 2322432 217 1992294400 134512640 136421960 4293032944 18446744073709551615 135811817 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31821/statm: 567 217 145 467 0 98 0

[startup+0.103394 s]
/proc/loadavg: 1.04 1.01 1.00 2/106 31821
/proc/meminfo: memFree=1887352/2059040 swapFree=4140788/4192956
[pid=31821] ppid=31819 vsize=5040 CPUtime=0.09
/proc/31821/stat : 31821 (pbct) R 31819 31821 31059 0 -1 4202496 971 0 0 0 9 0 0 0 17 0 1 0 91699720 5160960 890 1992294400 134512640 136421960 4293032944 18446744073709551615 134529456 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31821/statm: 1260 891 145 467 0 791 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5040

[startup+0.200403 s]
/proc/loadavg: 1.04 1.01 1.00 2/106 31821
/proc/meminfo: memFree=1887352/2059040 swapFree=4140788/4192956
[pid=31821] ppid=31819 vsize=7416 CPUtime=0.19
/proc/31821/stat : 31821 (pbct) R 31819 31821 31059 0 -1 4202496 1563 0 0 0 19 0 0 0 17 0 1 0 91699720 7593984 1482 1992294400 134512640 136421960 4293032944 18446744073709551615 135811281 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31821/statm: 1854 1482 145 467 0 1385 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 7416

[startup+0.300412 s]
/proc/loadavg: 1.04 1.01 1.00 2/106 31821
/proc/meminfo: memFree=1887352/2059040 swapFree=4140788/4192956
[pid=31821] ppid=31819 vsize=10220 CPUtime=0.29
/proc/31821/stat : 31821 (pbct) R 31819 31821 31059 0 -1 4202496 2284 0 0 0 29 0 0 0 17 0 1 0 91699720 10465280 2203 1992294400 134512640 136421960 4293032944 18446744073709551615 135805363 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31821/statm: 2555 2204 146 467 0 2086 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10220

[startup+0.700451 s]
/proc/loadavg: 1.04 1.01 1.00 2/106 31821
/proc/meminfo: memFree=1887352/2059040 swapFree=4140788/4192956
[pid=31821] ppid=31819 vsize=29808 CPUtime=0.69
/proc/31821/stat : 31821 (pbct) R 31819 31821 31059 0 -1 4202496 7169 0 0 0 67 2 0 0 17 0 1 0 91699720 30523392 7055 1992294400 134512640 136421960 4293032944 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31821/statm: 7452 7056 190 467 0 6983 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 29808

[startup+1.50053 s]
/proc/loadavg: 1.04 1.01 1.00 2/107 31822
/proc/meminfo: memFree=1823112/2059040 swapFree=4140788/4192956
[pid=31821] ppid=31819 vsize=102232 CPUtime=1.49
/proc/31821/stat : 31821 (pbct) R 31819 31821 31059 0 -1 4202496 26009 0 0 0 140 9 0 0 18 0 1 0 91699720 104685568 24678 1992294400 134512640 136421960 4293032944 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31821/statm: 25558 24679 190 467 0 25089 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 102232

[startup+3.10069 s]
/proc/loadavg: 1.04 1.01 1.00 2/107 31822
/proc/meminfo: memFree=1736188/2059040 swapFree=4140788/4192956
[pid=31821] ppid=31819 vsize=216320 CPUtime=3.09
/proc/31821/stat : 31821 (pbct) R 31819 31821 31059 0 -1 4202496 56650 0 0 0 287 22 0 0 21 0 1 0 91699720 221511680 53328 1992294400 134512640 136421960 4293032944 18446744073709551615 134723079 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31821/statm: 54080 53329 194 467 0 53611 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 216320

[startup+6.301 s]
/proc/loadavg: 1.04 1.01 1.00 2/107 31822
/proc/meminfo: memFree=1518692/2059040 swapFree=4140788/4192956
[pid=31821] ppid=31819 vsize=423220 CPUtime=6.29
/proc/31821/stat : 31821 (pbct) R 31819 31821 31059 0 -1 4202496 111947 0 0 0 584 45 0 0 25 0 1 0 91699720 433377280 105292 1992294400 134512640 136421960 4293032944 18446744073709551615 135064524 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31821/statm: 105805 105293 194 467 0 105336 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 423220

[startup+12.7016 s]
/proc/loadavg: 1.03 1.01 1.00 2/107 31822
/proc/meminfo: memFree=1057784/2059040 swapFree=4140788/4192956
[pid=31821] ppid=31819 vsize=900900 CPUtime=12.68
/proc/31821/stat : 31821 (pbct) R 31819 31821 31059 0 -1 4202496 236956 0 0 0 1174 94 0 0 25 0 1 0 91699720 922521600 217677 1992294400 134512640 136421960 4293032944 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31821/statm: 225225 217679 209 467 0 224756 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 900900

[startup+25.5009 s]
/proc/loadavg: 1.03 1.01 1.00 2/107 31822
/proc/meminfo: memFree=972224/2059040 swapFree=4140788/4192956
[pid=31821] ppid=31819 vsize=960220 CPUtime=25.48
/proc/31821/stat : 31821 (pbct) R 31819 31821 31059 0 -1 4202496 252576 0 0 0 2435 113 0 0 25 0 1 0 91699720 983265280 228366 1992294400 134512640 136421960 4293032944 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31821/statm: 240055 228366 238 467 0 239586 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 960220

[startup+51.1004 s]
/proc/loadavg: 1.02 1.01 1.00 2/107 31824
/proc/meminfo: memFree=971852/2059040 swapFree=4140788/4192956
[pid=31821] ppid=31819 vsize=960880 CPUtime=51.08
/proc/31821/stat : 31821 (pbct) R 31819 31821 31059 0 -1 4202496 252752 0 0 0 4966 142 0 0 25 0 1 0 91699720 983941120 228542 1992294400 134512640 136421960 4293032944 18446744073709551615 135018961 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31821/statm: 240220 228542 238 467 0 239751 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 960880

[startup+102.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31826
/proc/meminfo: memFree=969124/2059040 swapFree=4140788/4192956
[pid=31821] ppid=31819 vsize=963520 CPUtime=102.27
/proc/31821/stat : 31821 (pbct) R 31819 31821 31059 0 -1 4202496 253393 0 0 0 10036 191 0 0 25 0 1 0 91699720 986644480 229183 1992294400 134512640 136421960 4293032944 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31821/statm: 240880 229183 238 467 0 240411 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 963520

[startup+162.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31826
/proc/meminfo: memFree=966148/2059040 swapFree=4140788/4192956
[pid=31821] ppid=31819 vsize=966556 CPUtime=162.25
/proc/31821/stat : 31821 (pbct) R 31819 31821 31059 0 -1 4202496 254156 0 0 0 15978 247 0 0 25 0 1 0 91699720 989753344 229946 1992294400 134512640 136421960 4293032944 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31821/statm: 241639 229946 238 467 0 241170 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 966556

[startup+222.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31828
/proc/meminfo: memFree=963296/2059040 swapFree=4140788/4192956
[pid=31821] ppid=31819 vsize=969196 CPUtime=222.24
/proc/31821/stat : 31821 (pbct) R 31819 31821 31059 0 -1 4202496 254828 0 0 0 21920 304 0 0 25 0 1 0 91699720 992456704 230618 1992294400 134512640 136421960 4293032944 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31821/statm: 242299 230618 238 467 0 241830 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 969196

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31830
/proc/meminfo: memFree=961560/2059040 swapFree=4140788/4192956
[pid=31821] ppid=31819 vsize=971044 CPUtime=282.22
/proc/31821/stat : 31821 (pbct) R 31819 31821 31059 0 -1 4202496 255275 0 0 0 27865 357 0 0 25 0 1 0 91699720 994349056 231065 1992294400 134512640 136421960 4293032944 18446744073709551615 135005960 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31821/statm: 242761 231065 238 467 0 242292 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 971044

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31832
/proc/meminfo: memFree=957840/2059040 swapFree=4140788/4192956
[pid=31821] ppid=31819 vsize=974612 CPUtime=342.2
/proc/31821/stat : 31821 (pbct) R 31819 31821 31059 0 -1 4202496 256166 0 0 0 33813 407 0 0 25 0 1 0 91699720 998002688 231956 1992294400 134512640 136421960 4293032944 18446744073709551615 135025621 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31821/statm: 243653 231956 238 467 0 243184 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 974612

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31834
/proc/meminfo: memFree=955856/2059040 swapFree=4140788/4192956
[pid=31821] ppid=31819 vsize=976728 CPUtime=402.19
/proc/31821/stat : 31821 (pbct) R 31819 31821 31059 0 -1 4202496 256710 0 0 0 39754 465 0 0 25 0 1 0 91699720 1000169472 232500 1992294400 134512640 136421960 4293032944 18446744073709551615 135006297 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31821/statm: 244182 232500 238 467 0 243713 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 976728

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31834
/proc/meminfo: memFree=954244/2059040 swapFree=4140788/4192956
[pid=31821] ppid=31819 vsize=978180 CPUtime=462.18
/proc/31821/stat : 31821 (pbct) R 31819 31821 31059 0 -1 4202496 257053 0 0 0 45703 515 0 0 25 0 1 0 91699720 1001656320 232843 1992294400 134512640 136421960 4293032944 18446744073709551615 135021785 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31821/statm: 244545 232843 238 467 0 244076 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 978180

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31836
/proc/meminfo: memFree=951144/2059040 swapFree=4140788/4192956
[pid=31821] ppid=31819 vsize=981216 CPUtime=522.16
/proc/31821/stat : 31821 (pbct) R 31819 31821 31059 0 -1 4202496 257833 0 0 0 51649 567 0 0 25 0 1 0 91699720 1004765184 233623 1992294400 134512640 136421960 4293032944 18446744073709551615 134973862 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31821/statm: 245304 233623 238 467 0 244835 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 981216

[startup+582.301 s]
/proc/loadavg: 1.05 1.01 1.00 3/107 31838
/proc/meminfo: memFree=948912/2059040 swapFree=4140788/4192956
[pid=31821] ppid=31819 vsize=983344 CPUtime=582.14
/proc/31821/stat : 31821 (pbct) R 31819 31821 31059 0 -1 4202496 258370 0 0 0 57599 615 0 0 25 0 1 0 91699720 1006944256 234160 1992294400 134512640 136421960 4293032944 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31821/statm: 245836 234160 238 467 0 245367 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 983344

[startup+642.3 s]
/proc/loadavg: 1.02 1.01 1.00 2/107 31840
/proc/meminfo: memFree=946680/2059040 swapFree=4140788/4192956
[pid=31821] ppid=31819 vsize=985852 CPUtime=642.13
/proc/31821/stat : 31821 (pbct) R 31819 31821 31059 0 -1 4202496 258970 0 0 0 63550 663 0 0 25 0 1 0 91699720 1009512448 234760 1992294400 134512640 136421960 4293032944 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31821/statm: 246463 234760 238 467 0 245994 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 985852

[startup+702.3 s]

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

[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31844
/proc/meminfo: memFree=936016/2059040 swapFree=4140788/4192956
[pid=31821] ppid=31819 vsize=996128 CPUtime=822.09
/proc/31821/stat : 31821 (pbct) R 31819 31821 31059 0 -1 4202496 261541 0 0 0 81402 807 0 0 25 0 1 0 91699720 1020035072 237331 1992294400 134512640 136421960 4293032944 18446744073709551615 135032434 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31821/statm: 249032 237331 238 467 0 248563 0
Current children cumulated CPU time (s) 822.09
Current children cumulated vsize (KiB) 996128

[startup+882.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31846
/proc/meminfo: memFree=933040/2059040 swapFree=4140788/4192956
[pid=31821] ppid=31819 vsize=999032 CPUtime=882.08
/proc/31821/stat : 31821 (pbct) R 31819 31821 31059 0 -1 4202496 262271 0 0 0 87354 854 0 0 25 0 1 0 91699720 1023008768 238061 1992294400 134512640 136421960 4293032944 18446744073709551615 135028329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31821/statm: 249758 238061 238 467 0 249289 0
Current children cumulated CPU time (s) 882.08
Current children cumulated vsize (KiB) 999032

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31848
/proc/meminfo: memFree=930808/2059040 swapFree=4140788/4192956
[pid=31821] ppid=31819 vsize=1001672 CPUtime=942.05
/proc/31821/stat : 31821 (pbct) R 31819 31821 31059 0 -1 4202496 262937 0 0 0 93300 905 0 0 25 0 1 0 91699720 1025712128 238727 1992294400 134512640 136421960 4293032944 18446744073709551615 134859902 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31821/statm: 250418 238727 238 467 0 249949 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 1001672

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31850
/proc/meminfo: memFree=927832/2059040 swapFree=4140788/4192956
[pid=31821] ppid=31819 vsize=1004064 CPUtime=1002.04
/proc/31821/stat : 31821 (pbct) R 31819 31821 31059 0 -1 4202496 263543 0 0 0 99252 952 0 0 25 0 1 0 91699720 1028161536 239333 1992294400 134512640 136421960 4293032944 18446744073709551615 135006289 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31821/statm: 251016 239333 238 467 0 250547 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 1004064

[startup+1062.3 s]
/proc/loadavg: 1.08 1.02 1.01 2/107 31853
/proc/meminfo: memFree=924484/2059040 swapFree=4140788/4192956
[pid=31821] ppid=31819 vsize=1006844 CPUtime=1062.03
/proc/31821/stat : 31821 (pbct) R 31819 31821 31059 0 -1 4202496 264219 0 0 0 105202 1001 0 0 25 0 1 0 91699720 1031008256 240009 1992294400 134512640 136421960 4293032944 18446744073709551615 135686762 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31821/statm: 251711 240009 238 467 0 251242 0
Current children cumulated CPU time (s) 1062.03
Current children cumulated vsize (KiB) 1006844

[startup+1122.3 s]
/proc/loadavg: 1.03 1.01 1.00 2/107 31855
/proc/meminfo: memFree=921260/2059040 swapFree=4140788/4192956
[pid=31821] ppid=31819 vsize=1010148 CPUtime=1122.01
/proc/31821/stat : 31821 (pbct) R 31819 31821 31059 0 -1 4202496 265055 0 0 0 111154 1047 0 0 25 0 1 0 91699720 1034391552 240845 1992294400 134512640 136421960 4293032944 18446744073709551615 134593920 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31821/statm: 252537 240845 238 467 0 252068 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 1010148

[startup+1182.3 s]
/proc/loadavg: 1.01 1.00 1.00 2/107 31857
/proc/meminfo: memFree=919276/2059040 swapFree=4140788/4192956
[pid=31821] ppid=31819 vsize=1012136 CPUtime=1181.99
/proc/31821/stat : 31821 (pbct) R 31819 31821 31059 0 -1 4202496 265542 0 0 0 117108 1091 0 0 25 0 1 0 91699720 1036427264 241332 1992294400 134512640 136421960 4293032944 18446744073709551615 135027952 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31821/statm: 253034 241332 238 467 0 252565 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 1012136

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31859
/proc/meminfo: memFree=915432/2059040 swapFree=4140788/4192956
[pid=31821] ppid=31819 vsize=1015968 CPUtime=1241.98
/proc/31821/stat : 31821 (pbct) R 31819 31821 31059 0 -1 4202496 266506 0 0 0 123057 1141 0 0 25 0 1 0 91699720 1040351232 242296 1992294400 134512640 136421960 4293032944 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31821/statm: 253992 242296 238 467 0 253523 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 1015968

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31861
/proc/meminfo: memFree=912704/2059040 swapFree=4140788/4192956
[pid=31821] ppid=31819 vsize=1018748 CPUtime=1301.96
/proc/31821/stat : 31821 (pbct) R 31819 31821 31059 0 -1 4202496 267219 0 0 0 129013 1183 0 0 25 0 1 0 91699720 1043197952 243009 1992294400 134512640 136421960 4293032944 18446744073709551615 135006251 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31821/statm: 254687 243009 238 467 0 254218 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 1018748

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31861
/proc/meminfo: memFree=909728/2059040 swapFree=4140788/4192956
[pid=31821] ppid=31819 vsize=1022312 CPUtime=1361.94
/proc/31821/stat : 31821 (pbct) R 31819 31821 31059 0 -1 4202496 268094 0 0 0 134961 1233 0 0 25 0 1 0 91699720 1046847488 243884 1992294400 134512640 136421960 4293032944 18446744073709551615 134859919 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31821/statm: 255578 243884 238 467 0 255109 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 1022312

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31863
/proc/meminfo: memFree=903528/2059040 swapFree=4140788/4192956
[pid=31821] ppid=31819 vsize=1027996 CPUtime=1421.94
/proc/31821/stat : 31821 (pbct) R 31819 31821 31059 0 -1 4202496 269518 0 0 0 140911 1283 0 0 25 0 1 0 91699720 1052667904 245308 1992294400 134512640 136421960 4293032944 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31821/statm: 256999 245308 238 467 0 256530 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 1027996

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31865
/proc/meminfo: memFree=900428/2059040 swapFree=4140788/4192956
[pid=31821] ppid=31819 vsize=1031036 CPUtime=1481.91
/proc/31821/stat : 31821 (pbct) R 31819 31821 31059 0 -1 4202496 270283 0 0 0 146870 1321 0 0 25 0 1 0 91699720 1055780864 246073 1992294400 134512640 136421960 4293032944 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31821/statm: 257759 246073 238 467 0 257290 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 1031036

[startup+1542.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31867
/proc/meminfo: memFree=885672/2059040 swapFree=4140788/4192956
[pid=31821] ppid=31819 vsize=1045888 CPUtime=1541.91
/proc/31821/stat : 31821 (pbct) R 31819 31821 31059 0 -1 4202496 273986 0 0 0 152817 1374 0 0 25 0 1 0 91699720 1070989312 249776 1992294400 134512640 136421960 4293032944 18446744073709551615 135025801 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31821/statm: 261472 249776 238 467 0 261003 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 1045888

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31869
/proc/meminfo: memFree=877240/2059040 swapFree=4140788/4192956
[pid=31821] ppid=31819 vsize=1054344 CPUtime=1601.88
/proc/31821/stat : 31821 (pbct) R 31819 31821 31059 0 -1 4202496 276097 0 0 0 158756 1432 0 0 25 0 1 0 91699720 1079648256 251887 1992294400 134512640 136421960 4293032944 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31821/statm: 263586 251887 238 467 0 263117 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 1054344

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31869
/proc/meminfo: memFree=874884/2059040 swapFree=4140788/4192956
[pid=31821] ppid=31819 vsize=1056592 CPUtime=1661.87
/proc/31821/stat : 31821 (pbct) R 31819 31821 31059 0 -1 4202496 276665 0 0 0 164709 1478 0 0 25 0 1 0 91699720 1081950208 252455 1992294400 134512640 136421960 4293032944 18446744073709551615 134604515 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31821/statm: 264148 252455 238 467 0 263679 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 1056592

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31871
/proc/meminfo: memFree=870916/2059040 swapFree=4140788/4192956
[pid=31821] ppid=31819 vsize=1060572 CPUtime=1721.85
/proc/31821/stat : 31821 (pbct) R 31819 31821 31059 0 -1 4202496 277667 0 0 0 170656 1529 0 0 25 0 1 0 91699720 1086025728 253457 1992294400 134512640 136421960 4293032944 18446744073709551615 134642113 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31821/statm: 265143 253457 238 467 0 264674 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 1060572

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31873
/proc/meminfo: memFree=866700/2059040 swapFree=4140788/4192956
[pid=31821] ppid=31819 vsize=1064668 CPUtime=1781.84
/proc/31821/stat : 31821 (pbct) R 31819 31821 31059 0 -1 4202496 278665 0 0 0 176605 1579 0 0 25 0 1 0 91699720 1090220032 254455 1992294400 134512640 136421960 4293032944 18446744073709551615 135005960 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31821/statm: 266167 254455 238 467 0 265698 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 1064668



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.13 1.03 1.01 2/107 31873
/proc/meminfo: memFree=866080/2059040 swapFree=4140788/4192956
[pid=31821] ppid=31819 vsize=1065196 CPUtime=1800.04
/proc/31821/stat : 31821 (pbct) R 31819 31821 31059 0 -1 4202496 278814 0 0 0 178409 1595 0 0 25 0 1 0 91699720 1090760704 254604 1992294400 134512640 136421960 4293032944 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31821/statm: 266299 254604 238 467 0 265830 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1065196

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.61
CPU time (s): 1800.16
CPU user time (s): 1784.1
CPU system time (s): 16.0546
CPU usage (%): 99.9748
Max. virtual memory (cumulated for all children) (KiB): 1065196

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

runsolver used 3.20851 second user time and 8.26374 second system time

The end