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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2681871-1277497134/watcher-2681871-1277497134 -o /tmp/evaluation-result-2681871-1277497134/solver-2681871-1277497134 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2681871-1277497134.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 30348
/proc/meminfo: memFree=1874868/2059040 swapFree=4140316/4192956
[pid=30348] ppid=30346 vsize=2136 CPUtime=0
/proc/30348/stat : 30348 (pbct) R 30346 30348 29979 0 -1 4202496 260 0 0 0 0 0 0 0 18 0 1 0 91004927 2187264 179 1992294400 134512640 136421960 4291402480 18446744073709551615 135811817 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30348/statm: 534 179 145 467 0 65 0

[startup+0.074485 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 30348
/proc/meminfo: memFree=1874868/2059040 swapFree=4140316/4192956
[pid=30348] ppid=30346 vsize=8788 CPUtime=0.06
/proc/30348/stat : 30348 (pbct) R 30346 30348 29979 0 -1 4202496 1877 0 0 0 6 0 0 0 20 0 1 0 91004927 8998912 1796 1992294400 134512640 136421960 4291402480 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30348/statm: 2197 1798 189 467 0 1728 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 8788

[startup+0.101486 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 30348
/proc/meminfo: memFree=1874868/2059040 swapFree=4140316/4192956
[pid=30348] ppid=30346 vsize=11648 CPUtime=0.09
/proc/30348/stat : 30348 (pbct) R 30346 30348 29979 0 -1 4202496 2572 0 0 0 8 1 0 0 20 0 1 0 91004927 11927552 2491 1992294400 134512640 136421960 4291402480 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30348/statm: 2912 2492 194 467 0 2443 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11648

[startup+0.301504 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 30348
/proc/meminfo: memFree=1874868/2059040 swapFree=4140316/4192956
[pid=30348] ppid=30346 vsize=16456 CPUtime=0.29
/proc/30348/stat : 30348 (pbct) R 30346 30348 29979 0 -1 4202496 3804 0 0 0 22 7 0 0 20 0 1 0 91004927 16850944 3707 1992294400 134512640 136421960 4291402480 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30348/statm: 4114 3707 237 467 0 3645 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 16456

[startup+0.701541 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 30348
/proc/meminfo: memFree=1874868/2059040 swapFree=4140316/4192956
[pid=30348] ppid=30346 vsize=16584 CPUtime=0.69
/proc/30348/stat : 30348 (pbct) R 30346 30348 29979 0 -1 4202496 3816 0 0 0 46 23 0 0 21 0 1 0 91004927 16982016 3719 1992294400 134512640 136421960 4291402480 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30348/statm: 4146 3719 237 467 0 3677 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16584

[startup+1.50061 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30349
/proc/meminfo: memFree=1860724/2059040 swapFree=4140316/4192956
[pid=30348] ppid=30346 vsize=16708 CPUtime=1.49
/proc/30348/stat : 30348 (pbct) R 30346 30348 29979 0 -1 4202496 3869 0 0 0 98 51 0 0 23 0 1 0 91004927 17108992 3772 1992294400 134512640 136421960 4291402480 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30348/statm: 4177 3772 237 467 0 3708 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16708

[startup+3.10076 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30349
/proc/meminfo: memFree=1860228/2059040 swapFree=4140316/4192956
[pid=30348] ppid=30346 vsize=16960 CPUtime=3.09
/proc/30348/stat : 30348 (pbct) R 30346 30348 29979 0 -1 4202496 3935 0 0 0 200 109 0 0 25 0 1 0 91004927 17367040 3838 1992294400 134512640 136421960 4291402480 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30348/statm: 4240 3838 237 467 0 3771 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16960

[startup+6.30104 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30349
/proc/meminfo: memFree=1859608/2059040 swapFree=4140316/4192956
[pid=30348] ppid=30346 vsize=17344 CPUtime=6.29
/proc/30348/stat : 30348 (pbct) R 30346 30348 29979 0 -1 4202496 4025 0 0 0 402 227 0 0 25 0 1 0 91004927 17760256 3928 1992294400 134512640 136421960 4291402480 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30348/statm: 4336 3928 237 467 0 3867 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 17344

[startup+12.7006 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30351
/proc/meminfo: memFree=1859236/2059040 swapFree=4140316/4192956
[pid=30348] ppid=30346 vsize=17736 CPUtime=12.69
/proc/30348/stat : 30348 (pbct) R 30346 30348 29979 0 -1 4202496 4125 0 0 0 813 456 0 0 25 0 1 0 91004927 18161664 4028 1992294400 134512640 136421960 4291402480 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30348/statm: 4434 4028 237 467 0 3965 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 17736

[startup+25.5018 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30351
/proc/meminfo: memFree=1859112/2059040 swapFree=4140316/4192956
[pid=30348] ppid=30346 vsize=17736 CPUtime=25.49
/proc/30348/stat : 30348 (pbct) R 30346 30348 29979 0 -1 4202496 4125 0 0 0 1628 921 0 0 25 0 1 0 91004927 18161664 4028 1992294400 134512640 136421960 4291402480 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30348/statm: 4434 4028 237 467 0 3965 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 17736

[startup+51.1011 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30351
/proc/meminfo: memFree=1858864/2059040 swapFree=4140316/4192956
[pid=30348] ppid=30346 vsize=18124 CPUtime=51.08
/proc/30348/stat : 30348 (pbct) R 30346 30348 29979 0 -1 4202496 4220 0 0 0 3264 1844 0 0 25 0 1 0 91004927 18558976 4123 1992294400 134512640 136421960 4291402480 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30348/statm: 4531 4123 237 467 0 4062 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 18124

[startup+102.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30353
/proc/meminfo: memFree=1857624/2059040 swapFree=4140316/4192956
[pid=30348] ppid=30346 vsize=19128 CPUtime=102.27
/proc/30348/stat : 30348 (pbct) R 30346 30348 29979 0 -1 4202496 4457 0 0 0 6540 3687 0 0 25 0 1 0 91004927 19587072 4359 1992294400 134512640 136421960 4291402480 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30348/statm: 4782 4359 237 467 0 4313 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 19128

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30353
/proc/meminfo: memFree=1857624/2059040 swapFree=4140316/4192956
[pid=30348] ppid=30346 vsize=19128 CPUtime=162.26
/proc/30348/stat : 30348 (pbct) R 30346 30348 29979 0 -1 4202496 4457 0 0 0 10321 5905 0 0 25 0 1 0 91004927 19587072 4359 1992294400 134512640 136421960 4291402480 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30348/statm: 4782 4359 237 467 0 4313 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 19128

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30355
/proc/meminfo: memFree=1857500/2059040 swapFree=4140316/4192956
[pid=30348] ppid=30346 vsize=19128 CPUtime=222.23
/proc/30348/stat : 30348 (pbct) R 30346 30348 29979 0 -1 4202496 4457 0 0 0 14139 8084 0 0 25 0 1 0 91004927 19587072 4359 1992294400 134512640 136421960 4291402480 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30348/statm: 4782 4359 237 467 0 4313 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 19128

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30357
/proc/meminfo: memFree=1857500/2059040 swapFree=4140316/4192956
[pid=30348] ppid=30346 vsize=19128 CPUtime=282.23
/proc/30348/stat : 30348 (pbct) R 30346 30348 29979 0 -1 4202496 4457 0 0 0 17950 10273 0 0 25 0 1 0 91004927 19587072 4359 1992294400 134512640 136421960 4291402480 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30348/statm: 4782 4359 237 467 0 4313 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 19128

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30359
/proc/meminfo: memFree=1857500/2059040 swapFree=4140316/4192956
[pid=30348] ppid=30346 vsize=19128 CPUtime=342.2
/proc/30348/stat : 30348 (pbct) R 30346 30348 29979 0 -1 4202496 4457 0 0 0 21828 12392 0 0 25 0 1 0 91004927 19587072 4359 1992294400 134512640 136421960 4291402480 18446744073709551615 134867956 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30348/statm: 4782 4359 237 467 0 4313 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 19128

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30361
/proc/meminfo: memFree=1857376/2059040 swapFree=4140316/4192956
[pid=30348] ppid=30346 vsize=19128 CPUtime=402.2
/proc/30348/stat : 30348 (pbct) R 30346 30348 29979 0 -1 4202496 4457 0 0 0 25625 14595 0 0 25 0 1 0 91004927 19587072 4359 1992294400 134512640 136421960 4291402480 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30348/statm: 4782 4359 237 467 0 4313 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 19128

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30363
/proc/meminfo: memFree=1857252/2059040 swapFree=4140316/4192956
[pid=30348] ppid=30346 vsize=19128 CPUtime=462.18
/proc/30348/stat : 30348 (pbct) R 30346 30348 29979 0 -1 4202496 4457 0 0 0 29450 16768 0 0 25 0 1 0 91004927 19587072 4359 1992294400 134512640 136421960 4291402480 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30348/statm: 4782 4359 237 467 0 4313 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 19128

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30363
/proc/meminfo: memFree=1857252/2059040 swapFree=4140316/4192956
[pid=30348] ppid=30346 vsize=19128 CPUtime=522.16
/proc/30348/stat : 30348 (pbct) R 30346 30348 29979 0 -1 4202496 4457 0 0 0 33295 18921 0 0 25 0 1 0 91004927 19587072 4359 1992294400 134512640 136421960 4291402480 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30348/statm: 4782 4359 237 467 0 4313 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 19128

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30365
/proc/meminfo: memFree=1857128/2059040 swapFree=4140316/4192956
[pid=30348] ppid=30346 vsize=19128 CPUtime=582.15
/proc/30348/stat : 30348 (pbct) R 30346 30348 29979 0 -1 4202496 4457 0 0 0 37156 21059 0 0 25 0 1 0 91004927 19587072 4359 1992294400 134512640 136421960 4291402480 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30348/statm: 4782 4359 237 467 0 4313 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 19128

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30367
/proc/meminfo: memFree=1857128/2059040 swapFree=4140316/4192956
[pid=30348] ppid=30346 vsize=19128 CPUtime=642.14
/proc/30348/stat : 30348 (pbct) R 30346 30348 29979 0 -1 4202496 4457 0 0 0 41070 23144 0 0 25 0 1 0 91004927 19587072 4359 1992294400 134512640 136421960 4291402480 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30348/statm: 4782 4359 237 467 0 4313 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 19128

[startup+702.301 s]

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

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30376
/proc/meminfo: memFree=1856012/2059040 swapFree=4140316/4192956
[pid=30348] ppid=30346 vsize=19620 CPUtime=882.08
/proc/30348/stat : 30348 (pbct) R 30346 30348 29979 0 -1 4202496 4585 0 0 0 56492 31716 0 0 25 0 1 0 91004927 20090880 4487 1992294400 134512640 136421960 4291402480 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30348/statm: 4905 4487 237 467 0 4436 0
Current children cumulated CPU time (s) 882.08
Current children cumulated vsize (KiB) 19620

[startup+942.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30378
/proc/meminfo: memFree=1856012/2059040 swapFree=4140316/4192956
[pid=30348] ppid=30346 vsize=19620 CPUtime=942.06
/proc/30348/stat : 30348 (pbct) R 30346 30348 29979 0 -1 4202496 4585 0 0 0 60356 33850 0 0 25 0 1 0 91004927 20090880 4487 1992294400 134512640 136421960 4291402480 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30348/statm: 4905 4487 237 467 0 4436 0
Current children cumulated CPU time (s) 942.06
Current children cumulated vsize (KiB) 19620

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30380
/proc/meminfo: memFree=1856012/2059040 swapFree=4140316/4192956
[pid=30348] ppid=30346 vsize=19620 CPUtime=1002.05
/proc/30348/stat : 30348 (pbct) R 30346 30348 29979 0 -1 4202496 4585 0 0 0 64182 36023 0 0 25 0 1 0 91004927 20090880 4487 1992294400 134512640 136421960 4291402480 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30348/statm: 4905 4487 237 467 0 4436 0
Current children cumulated CPU time (s) 1002.05
Current children cumulated vsize (KiB) 19620

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30380
/proc/meminfo: memFree=1856136/2059040 swapFree=4140316/4192956
[pid=30348] ppid=30346 vsize=19620 CPUtime=1062.04
/proc/30348/stat : 30348 (pbct) R 30346 30348 29979 0 -1 4202496 4585 0 0 0 68066 38138 0 0 25 0 1 0 91004927 20090880 4487 1992294400 134512640 136421960 4291402480 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30348/statm: 4905 4487 237 467 0 4436 0
Current children cumulated CPU time (s) 1062.04
Current children cumulated vsize (KiB) 19620

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30382
/proc/meminfo: memFree=1856136/2059040 swapFree=4140316/4192956
[pid=30348] ppid=30346 vsize=19620 CPUtime=1122.02
/proc/30348/stat : 30348 (pbct) R 30346 30348 29979 0 -1 4202496 4585 0 0 0 71892 40310 0 0 25 0 1 0 91004927 20090880 4487 1992294400 134512640 136421960 4291402480 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30348/statm: 4905 4487 237 467 0 4436 0
Current children cumulated CPU time (s) 1122.02
Current children cumulated vsize (KiB) 19620

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30384
/proc/meminfo: memFree=1856136/2059040 swapFree=4140316/4192956
[pid=30348] ppid=30346 vsize=19620 CPUtime=1182
/proc/30348/stat : 30348 (pbct) R 30346 30348 29979 0 -1 4202496 4600 0 0 0 75754 42446 0 0 25 0 1 0 91004927 20090880 4502 1992294400 134512640 136421960 4291402480 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30348/statm: 4905 4502 237 467 0 4436 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 19620

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30386
/proc/meminfo: memFree=1856136/2059040 swapFree=4140316/4192956
[pid=30348] ppid=30346 vsize=19620 CPUtime=1241.99
/proc/30348/stat : 30348 (pbct) R 30346 30348 29979 0 -1 4202496 4600 0 0 0 79582 44617 0 0 25 0 1 0 91004927 20090880 4502 1992294400 134512640 136421960 4291402480 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30348/statm: 4905 4502 237 467 0 4436 0
Current children cumulated CPU time (s) 1241.99
Current children cumulated vsize (KiB) 19620

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30388
/proc/meminfo: memFree=1856012/2059040 swapFree=4140316/4192956
[pid=30348] ppid=30346 vsize=19704 CPUtime=1301.98
/proc/30348/stat : 30348 (pbct) R 30346 30348 29979 0 -1 4202496 4625 0 0 0 83420 46778 0 0 25 0 1 0 91004927 20176896 4527 1992294400 134512640 136421960 4291402480 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30348/statm: 4926 4527 237 467 0 4457 0
Current children cumulated CPU time (s) 1301.98
Current children cumulated vsize (KiB) 19704

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30388
/proc/meminfo: memFree=1856012/2059040 swapFree=4140316/4192956
[pid=30348] ppid=30346 vsize=19704 CPUtime=1361.95
/proc/30348/stat : 30348 (pbct) R 30346 30348 29979 0 -1 4202496 4625 0 0 0 87260 48935 0 0 25 0 1 0 91004927 20176896 4527 1992294400 134512640 136421960 4291402480 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30348/statm: 4926 4527 237 467 0 4457 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 19704

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30390
/proc/meminfo: memFree=1856012/2059040 swapFree=4140316/4192956
[pid=30348] ppid=30346 vsize=19704 CPUtime=1421.95
/proc/30348/stat : 30348 (pbct) R 30346 30348 29979 0 -1 4202496 4625 0 0 0 91145 51050 0 0 25 0 1 0 91004927 20176896 4527 1992294400 134512640 136421960 4291402480 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30348/statm: 4926 4527 237 467 0 4457 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 19704

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30392
/proc/meminfo: memFree=1856012/2059040 swapFree=4140316/4192956
[pid=30348] ppid=30346 vsize=19960 CPUtime=1481.93
/proc/30348/stat : 30348 (pbct) R 30346 30348 29979 0 -1 4202496 4668 0 0 0 95044 53149 0 0 25 0 1 0 91004927 20439040 4570 1992294400 134512640 136421960 4291402480 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30348/statm: 4990 4570 237 467 0 4521 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 19960

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30394
/proc/meminfo: memFree=1856012/2059040 swapFree=4140316/4192956
[pid=30348] ppid=30346 vsize=19972 CPUtime=1541.91
/proc/30348/stat : 30348 (pbct) R 30346 30348 29979 0 -1 4202496 4675 0 0 0 98880 55311 0 0 25 0 1 0 91004927 20451328 4575 1992294400 134512640 136421960 4291402480 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30348/statm: 4993 4575 237 467 0 4524 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 19972

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30396
/proc/meminfo: memFree=1855888/2059040 swapFree=4140316/4192956
[pid=30348] ppid=30346 vsize=19972 CPUtime=1601.9
/proc/30348/stat : 30348 (pbct) R 30346 30348 29979 0 -1 4202496 4692 0 0 0 102691 57499 0 0 25 0 1 0 91004927 20451328 4592 1992294400 134512640 136421960 4291402480 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30348/statm: 4993 4592 237 467 0 4524 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 19972

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30398
/proc/meminfo: memFree=1855764/2059040 swapFree=4140316/4192956
[pid=30348] ppid=30346 vsize=19972 CPUtime=1661.89
/proc/30348/stat : 30348 (pbct) R 30346 30348 29979 0 -1 4202496 4692 0 0 0 106501 59688 0 0 25 0 1 0 91004927 20451328 4592 1992294400 134512640 136421960 4291402480 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30348/statm: 4993 4592 237 467 0 4524 0
Current children cumulated CPU time (s) 1661.89
Current children cumulated vsize (KiB) 19972

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30398
/proc/meminfo: memFree=1855640/2059040 swapFree=4140316/4192956
[pid=30348] ppid=30346 vsize=20100 CPUtime=1721.87
/proc/30348/stat : 30348 (pbct) R 30346 30348 29979 0 -1 4202496 4725 0 0 0 110356 61831 0 0 25 0 1 0 91004927 20582400 4625 1992294400 134512640 136421960 4291402480 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30348/statm: 5025 4625 237 467 0 4556 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 20100

[startup+1782.3 s]
/proc/loadavg: 1.11 1.03 1.01 2/107 30400
/proc/meminfo: memFree=1855392/2059040 swapFree=4140316/4192956
[pid=30348] ppid=30346 vsize=20100 CPUtime=1781.85
/proc/30348/stat : 30348 (pbct) R 30346 30348 29979 0 -1 4202496 4725 0 0 0 114186 63999 0 0 25 0 1 0 91004927 20582400 4625 1992294400 134512640 136421960 4291402480 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30348/statm: 5025 4625 237 467 0 4556 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 20100



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.08 1.03 1.00 2/107 30400
/proc/meminfo: memFree=1855392/2059040 swapFree=4140316/4192956
[pid=30348] ppid=30346 vsize=20100 CPUtime=1800.06
/proc/30348/stat : 30348 (pbct) R 30346 30348 29979 0 -1 4202496 4726 0 0 0 115350 64656 0 0 25 0 1 0 91004927 20582400 4626 1992294400 134512640 136421960 4291402480 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30348/statm: 5025 4626 237 467 0 4556 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 20100

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.08 1.03 1.00 2/107 30400
/proc/meminfo: memFree=1855392/2059040 swapFree=4140316/4192956
[pid=30348] ppid=30346 vsize=20100 CPUtime=1800.06
/proc/30348/stat : 30348 (pbct) R 30346 30348 29979 0 -1 4202496 4726 0 0 0 115350 64656 0 0 25 0 1 0 91004927 20582400 4626 1992294400 134512640 136421960 4291402480 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30348/statm: 5025 4626 237 467 0 4556 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 20100

Child status: 0
Real time (s): 1800.51
CPU time (s): 1800.07
CPU user time (s): 1153.51
CPU system time (s): 646.564
CPU usage (%): 99.9755
Max. virtual memory (cumulated for all children) (KiB): 20100

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

runsolver used 3.06753 second user time and 8.41072 second system time

The end