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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2681879-1277497311/watcher-2681879-1277497311 -o /tmp/evaluation-result-2681879-1277497311/solver-2681879-1277497311 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2681879-1277497311.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 30039
/proc/meminfo: memFree=1849124/2059040 swapFree=4139448/4192956
[pid=30039] ppid=30037 vsize=2280 CPUtime=0
/proc/30039/stat : 30039 (pbct) R 30037 30039 29682 0 -1 4202496 269 0 0 0 0 0 0 0 20 0 1 0 91023602 2334720 189 1992294400 134512640 136421960 4291512400 18446744073709551615 135521255 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30039/statm: 570 189 145 467 0 101 0

[startup+0.104939 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 30039
/proc/meminfo: memFree=1849124/2059040 swapFree=4139448/4192956
[pid=30039] ppid=30037 vsize=11420 CPUtime=0.1
/proc/30039/stat : 30039 (pbct) R 30037 30039 29682 0 -1 4202496 2531 0 0 0 9 1 0 0 20 0 1 0 91023602 11694080 2451 1992294400 134512640 136421960 4291512400 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30039/statm: 2855 2453 194 467 0 2386 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 11420

[startup+0.200949 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 30039
/proc/meminfo: memFree=1849124/2059040 swapFree=4139448/4192956
[pid=30039] ppid=30037 vsize=21132 CPUtime=0.19
/proc/30039/stat : 30039 (pbct) R 30037 30039 29682 0 -1 4202496 4983 0 0 0 17 2 0 0 20 0 1 0 91023602 21639168 4871 1992294400 134512640 136421960 4291512400 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30039/statm: 5283 4871 236 467 0 4814 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 21132

[startup+0.30096 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 30039
/proc/meminfo: memFree=1849124/2059040 swapFree=4139448/4192956
[pid=30039] ppid=30037 vsize=21132 CPUtime=0.29
/proc/30039/stat : 30039 (pbct) R 30037 30039 29682 0 -1 4202496 4988 0 0 0 24 5 0 0 20 0 1 0 91023602 21639168 4872 1992294400 134512640 136421960 4291512400 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30039/statm: 5283 4872 237 467 0 4814 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 21132

[startup+0.701004 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 30039
/proc/meminfo: memFree=1849124/2059040 swapFree=4139448/4192956
[pid=30039] ppid=30037 vsize=21260 CPUtime=0.69
/proc/30039/stat : 30039 (pbct) R 30037 30039 29682 0 -1 4202496 5004 0 0 0 49 20 0 0 20 0 1 0 91023602 21770240 4888 1992294400 134512640 136421960 4291512400 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30039/statm: 5315 4888 237 467 0 4846 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 21260

[startup+1.50109 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30040
/proc/meminfo: memFree=1830268/2059040 swapFree=4139448/4192956
[pid=30039] ppid=30037 vsize=21388 CPUtime=1.49
/proc/30039/stat : 30039 (pbct) R 30037 30039 29682 0 -1 4202496 5043 0 0 0 97 52 0 0 23 0 1 0 91023602 21901312 4927 1992294400 134512640 136421960 4291512400 18446744073709551615 135005960 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30039/statm: 5347 4927 237 467 0 4878 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 21388

[startup+3.10127 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30040
/proc/meminfo: memFree=1829772/2059040 swapFree=4139448/4192956
[pid=30039] ppid=30037 vsize=21644 CPUtime=3.09
/proc/30039/stat : 30039 (pbct) R 30037 30039 29682 0 -1 4202496 5124 0 0 0 197 112 0 0 25 0 1 0 91023602 22163456 5008 1992294400 134512640 136421960 4291512400 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30039/statm: 5411 5008 237 467 0 4942 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 21644

[startup+6.30062 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30040
/proc/meminfo: memFree=1829400/2059040 swapFree=4139448/4192956
[pid=30039] ppid=30037 vsize=21772 CPUtime=6.29
/proc/30039/stat : 30039 (pbct) R 30037 30039 29682 0 -1 4202496 5134 0 0 0 395 234 0 0 25 0 1 0 91023602 22294528 5018 1992294400 134512640 136421960 4291512400 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30039/statm: 5443 5018 237 467 0 4974 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 21772

[startup+12.7003 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30040
/proc/meminfo: memFree=1829028/2059040 swapFree=4139448/4192956
[pid=30039] ppid=30037 vsize=22020 CPUtime=12.69
/proc/30039/stat : 30039 (pbct) R 30037 30039 29682 0 -1 4202496 5211 0 0 0 792 477 0 0 25 0 1 0 91023602 22548480 5095 1992294400 134512640 136421960 4291512400 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30039/statm: 5505 5095 237 467 0 5036 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 22020

[startup+25.5007 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30042
/proc/meminfo: memFree=1828532/2059040 swapFree=4139448/4192956
[pid=30039] ppid=30037 vsize=22524 CPUtime=25.48
/proc/30039/stat : 30039 (pbct) R 30037 30039 29682 0 -1 4202496 5325 0 0 0 1585 963 0 0 25 0 1 0 91023602 23064576 5209 1992294400 134512640 136421960 4291512400 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30039/statm: 5631 5209 237 467 0 5162 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 22524

[startup+51.1016 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30042
/proc/meminfo: memFree=1828284/2059040 swapFree=4139448/4192956
[pid=30039] ppid=30037 vsize=22908 CPUtime=51.08
/proc/30039/stat : 30039 (pbct) R 30037 30039 29682 0 -1 4202496 5409 0 0 0 3171 1937 0 0 25 0 1 0 91023602 23457792 5293 1992294400 134512640 136421960 4291512400 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30039/statm: 5727 5293 237 467 0 5258 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 22908

[startup+102.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30044
/proc/meminfo: memFree=1827912/2059040 swapFree=4139448/4192956
[pid=30039] ppid=30037 vsize=23032 CPUtime=102.27
/proc/30039/stat : 30039 (pbct) R 30037 30039 29682 0 -1 4202496 5444 0 0 0 6357 3870 0 0 25 0 1 0 91023602 23584768 5328 1992294400 134512640 136421960 4291512400 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30039/statm: 5758 5328 237 467 0 5289 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 23032

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30044
/proc/meminfo: memFree=1827664/2059040 swapFree=4139448/4192956
[pid=30039] ppid=30037 vsize=23288 CPUtime=162.25
/proc/30039/stat : 30039 (pbct) R 30037 30039 29682 0 -1 4202496 5525 0 0 0 10080 6145 0 0 25 0 1 0 91023602 23846912 5409 1992294400 134512640 136421960 4291512400 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30039/statm: 5822 5409 237 467 0 5353 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 23288

[startup+222.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30046
/proc/meminfo: memFree=1827292/2059040 swapFree=4139448/4192956
[pid=30039] ppid=30037 vsize=23532 CPUtime=222.24
/proc/30039/stat : 30039 (pbct) R 30037 30039 29682 0 -1 4202496 5574 0 0 0 13797 8427 0 0 25 0 1 0 91023602 24096768 5458 1992294400 134512640 136421960 4291512400 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30039/statm: 5883 5458 237 467 0 5414 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 23532

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30048
/proc/meminfo: memFree=1826920/2059040 swapFree=4139448/4192956
[pid=30039] ppid=30037 vsize=23960 CPUtime=282.22
/proc/30039/stat : 30039 (pbct) R 30037 30039 29682 0 -1 4202496 5684 0 0 0 17567 10655 0 0 25 0 1 0 91023602 24535040 5568 1992294400 134512640 136421960 4291512400 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30039/statm: 5990 5568 237 467 0 5521 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 23960

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30050
/proc/meminfo: memFree=1826672/2059040 swapFree=4139448/4192956
[pid=30039] ppid=30037 vsize=24212 CPUtime=342.21
/proc/30039/stat : 30039 (pbct) R 30037 30039 29682 0 -1 4202496 5758 0 0 0 21328 12893 0 0 25 0 1 0 91023602 24793088 5642 1992294400 134512640 136421960 4291512400 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30039/statm: 6053 5642 237 467 0 5584 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 24212

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30052
/proc/meminfo: memFree=1826176/2059040 swapFree=4139448/4192956
[pid=30039] ppid=30037 vsize=24588 CPUtime=402.18
/proc/30039/stat : 30039 (pbct) R 30037 30039 29682 0 -1 4202496 5847 0 0 0 25088 15130 0 0 25 0 1 0 91023602 25178112 5731 1992294400 134512640 136421960 4291512400 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30039/statm: 6147 5731 237 467 0 5678 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 24588

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30052
/proc/meminfo: memFree=1826176/2059040 swapFree=4139448/4192956
[pid=30039] ppid=30037 vsize=24588 CPUtime=462.17
/proc/30039/stat : 30039 (pbct) R 30037 30039 29682 0 -1 4202496 5847 0 0 0 28842 17375 0 0 25 0 1 0 91023602 25178112 5731 1992294400 134512640 136421960 4291512400 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30039/statm: 6147 5731 237 467 0 5678 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 24588

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30054
/proc/meminfo: memFree=1824936/2059040 swapFree=4139448/4192956
[pid=30039] ppid=30037 vsize=25760 CPUtime=522.15
/proc/30039/stat : 30039 (pbct) R 30037 30039 29682 0 -1 4202496 6128 0 0 0 32615 19600 0 0 25 0 1 0 91023602 26378240 6012 1992294400 134512640 136421960 4291512400 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30039/statm: 6440 6012 237 467 0 5971 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 25760

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30056
/proc/meminfo: memFree=1824564/2059040 swapFree=4139448/4192956
[pid=30039] ppid=30037 vsize=26132 CPUtime=582.14
/proc/30039/stat : 30039 (pbct) R 30037 30039 29682 0 -1 4202496 6237 0 0 0 36413 21801 0 0 25 0 1 0 91023602 26759168 6121 1992294400 134512640 136421960 4291512400 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30039/statm: 6533 6121 237 467 0 6064 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 26132

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30061
/proc/meminfo: memFree=1823820/2059040 swapFree=4139448/4192956
[pid=30039] ppid=30037 vsize=26132 CPUtime=642.12
/proc/30039/stat : 30039 (pbct) R 30037 30039 29682 0 -1 4202496 6237 0 0 0 40172 24040 0 0 25 0 1 0 91023602 26759168 6121 1992294400 134512640 136421960 4291512400 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30039/statm: 6533 6121 237 467 0 6064 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 26132

[startup+702.301 s]

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

[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30065
/proc/meminfo: memFree=1823696/2059040 swapFree=4139448/4192956
[pid=30039] ppid=30037 vsize=26500 CPUtime=822.08
/proc/30039/stat : 30039 (pbct) R 30037 30039 29682 0 -1 4202496 6334 0 0 0 51409 30799 0 0 25 0 1 0 91023602 27136000 6218 1992294400 134512640 136421960 4291512400 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30039/statm: 6625 6218 237 467 0 6156 0
Current children cumulated CPU time (s) 822.08
Current children cumulated vsize (KiB) 26500

[startup+882.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30067
/proc/meminfo: memFree=1823696/2059040 swapFree=4139448/4192956
[pid=30039] ppid=30037 vsize=26500 CPUtime=882.07
/proc/30039/stat : 30039 (pbct) R 30037 30039 29682 0 -1 4202496 6334 0 0 0 55179 33028 0 0 25 0 1 0 91023602 27136000 6218 1992294400 134512640 136421960 4291512400 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30039/statm: 6625 6218 237 467 0 6156 0
Current children cumulated CPU time (s) 882.07
Current children cumulated vsize (KiB) 26500

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30069
/proc/meminfo: memFree=1823572/2059040 swapFree=4139448/4192956
[pid=30039] ppid=30037 vsize=26628 CPUtime=942.05
/proc/30039/stat : 30039 (pbct) R 30037 30039 29682 0 -1 4202496 6364 0 0 0 58921 35284 0 0 25 0 1 0 91023602 27267072 6248 1992294400 134512640 136421960 4291512400 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30039/statm: 6657 6248 237 467 0 6188 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 26628

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30071
/proc/meminfo: memFree=1823572/2059040 swapFree=4139448/4192956
[pid=30039] ppid=30037 vsize=26628 CPUtime=1002.03
/proc/30039/stat : 30039 (pbct) R 30037 30039 29682 0 -1 4202496 6364 0 0 0 62676 37527 0 0 25 0 1 0 91023602 27267072 6248 1992294400 134512640 136421960 4291512400 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30039/statm: 6657 6248 237 467 0 6188 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 26628

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30071
/proc/meminfo: memFree=1823572/2059040 swapFree=4139448/4192956
[pid=30039] ppid=30037 vsize=26628 CPUtime=1062.01
/proc/30039/stat : 30039 (pbct) R 30037 30039 29682 0 -1 4202496 6364 0 0 0 66426 39775 0 0 25 0 1 0 91023602 27267072 6248 1992294400 134512640 136421960 4291512400 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30039/statm: 6657 6248 237 467 0 6188 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 26628

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30073
/proc/meminfo: memFree=1823200/2059040 swapFree=4139448/4192956
[pid=30039] ppid=30037 vsize=27132 CPUtime=1122
/proc/30039/stat : 30039 (pbct) R 30037 30039 29682 0 -1 4202496 6472 0 0 0 70203 41997 0 0 25 0 1 0 91023602 27783168 6356 1992294400 134512640 136421960 4291512400 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30039/statm: 6783 6356 237 467 0 6314 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 27132

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30075
/proc/meminfo: memFree=1822332/2059040 swapFree=4139448/4192956
[pid=30039] ppid=30037 vsize=28044 CPUtime=1181.98
/proc/30039/stat : 30039 (pbct) R 30037 30039 29682 0 -1 4202496 6686 0 0 0 74025 44173 0 0 25 0 1 0 91023602 28717056 6570 1992294400 134512640 136421960 4291512400 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30039/statm: 7011 6570 237 467 0 6542 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 28044

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30077
/proc/meminfo: memFree=1822084/2059040 swapFree=4139448/4192956
[pid=30039] ppid=30037 vsize=28044 CPUtime=1241.96
/proc/30039/stat : 30039 (pbct) R 30037 30039 29682 0 -1 4202496 6686 0 0 0 77782 46414 0 0 25 0 1 0 91023602 28717056 6570 1992294400 134512640 136421960 4291512400 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30039/statm: 7011 6570 237 467 0 6542 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 28044

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30079
/proc/meminfo: memFree=1822084/2059040 swapFree=4139448/4192956
[pid=30039] ppid=30037 vsize=28044 CPUtime=1301.95
/proc/30039/stat : 30039 (pbct) R 30037 30039 29682 0 -1 4202496 6686 0 0 0 81532 48663 0 0 25 0 1 0 91023602 28717056 6570 1992294400 134512640 136421960 4291512400 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30039/statm: 7011 6570 237 467 0 6542 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 28044

[startup+1362.3 s]
/proc/loadavg: 1.07 1.02 1.00 2/107 30079
/proc/meminfo: memFree=1822084/2059040 swapFree=4139448/4192956
[pid=30039] ppid=30037 vsize=28044 CPUtime=1361.93
/proc/30039/stat : 30039 (pbct) R 30037 30039 29682 0 -1 4202496 6686 0 0 0 85276 50917 0 0 25 0 1 0 91023602 28717056 6570 1992294400 134512640 136421960 4291512400 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30039/statm: 7011 6570 237 467 0 6542 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 28044

[startup+1422.3 s]
/proc/loadavg: 1.02 1.01 1.00 2/107 30081
/proc/meminfo: memFree=1822084/2059040 swapFree=4139448/4192956
[pid=30039] ppid=30037 vsize=28044 CPUtime=1421.93
/proc/30039/stat : 30039 (pbct) R 30037 30039 29682 0 -1 4202496 6686 0 0 0 89022 53171 0 0 25 0 1 0 91023602 28717056 6570 1992294400 134512640 136421960 4291512400 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30039/statm: 7011 6570 237 467 0 6542 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 28044

[startup+1482.3 s]
/proc/loadavg: 1.01 1.00 1.00 2/107 30083
/proc/meminfo: memFree=1821960/2059040 swapFree=4139448/4192956
[pid=30039] ppid=30037 vsize=28044 CPUtime=1481.9
/proc/30039/stat : 30039 (pbct) R 30037 30039 29682 0 -1 4202496 6686 0 0 0 92769 55421 0 0 25 0 1 0 91023602 28717056 6570 1992294400 134512640 136421960 4291512400 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30039/statm: 7011 6570 237 467 0 6542 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 28044

[startup+1542.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30085
/proc/meminfo: memFree=1821960/2059040 swapFree=4139448/4192956
[pid=30039] ppid=30037 vsize=28044 CPUtime=1541.89
/proc/30039/stat : 30039 (pbct) R 30037 30039 29682 0 -1 4202496 6686 0 0 0 96526 57663 0 0 25 0 1 0 91023602 28717056 6570 1992294400 134512640 136421960 4291512400 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30039/statm: 7011 6570 237 467 0 6542 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 28044

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30087
/proc/meminfo: memFree=1821960/2059040 swapFree=4139448/4192956
[pid=30039] ppid=30037 vsize=28044 CPUtime=1601.87
/proc/30039/stat : 30039 (pbct) R 30037 30039 29682 0 -1 4202496 6686 0 0 0 100293 59894 0 0 25 0 1 0 91023602 28717056 6570 1992294400 134512640 136421960 4291512400 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30039/statm: 7011 6570 237 467 0 6542 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 28044

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30087
/proc/meminfo: memFree=1821960/2059040 swapFree=4139448/4192956
[pid=30039] ppid=30037 vsize=28044 CPUtime=1661.86
/proc/30039/stat : 30039 (pbct) R 30037 30039 29682 0 -1 4202496 6686 0 0 0 104030 62156 0 0 25 0 1 0 91023602 28717056 6570 1992294400 134512640 136421960 4291512400 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30039/statm: 7011 6570 237 467 0 6542 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 28044

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30089
/proc/meminfo: memFree=1821836/2059040 swapFree=4139448/4192956
[pid=30039] ppid=30037 vsize=28044 CPUtime=1721.84
/proc/30039/stat : 30039 (pbct) R 30037 30039 29682 0 -1 4202496 6686 0 0 0 107782 64402 0 0 25 0 1 0 91023602 28717056 6570 1992294400 134512640 136421960 4291512400 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30039/statm: 7011 6570 237 467 0 6542 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 28044

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30091
/proc/meminfo: memFree=1820348/2059040 swapFree=4139448/4192956
[pid=30039] ppid=30037 vsize=29416 CPUtime=1781.82
/proc/30039/stat : 30039 (pbct) R 30037 30039 29682 0 -1 4202496 7043 0 0 0 111575 66607 0 0 25 0 1 0 91023602 30121984 6927 1992294400 134512640 136421960 4291512400 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30039/statm: 7354 6927 237 467 0 6885 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 29416



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30091
/proc/meminfo: memFree=1820100/2059040 swapFree=4139448/4192956
[pid=30039] ppid=30037 vsize=29672 CPUtime=1800.03
/proc/30039/stat : 30039 (pbct) R 30037 30039 29682 0 -1 4202496 7109 0 0 0 112770 67233 0 0 25 0 1 0 91023602 30384128 6993 1992294400 134512640 136421960 4291512400 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30039/statm: 7418 6993 237 467 0 6949 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 29672

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.51
CPU time (s): 1800.04
CPU user time (s): 1127.7
CPU system time (s): 672.338
CPU usage (%): 99.9738
Max. virtual memory (cumulated for all children) (KiB): 29672

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

runsolver used 2.82557 second user time and 8.64768 second system time

The end