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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2669190-1276442971/watcher-2669190-1276442971 -o /tmp/evaluation-result-2669190-1276442971/solver-2669190-1276442971 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2669190-1276442971.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.02 1.02 1.00 3/106 23266
/proc/meminfo: memFree=1840524/2059040 swapFree=4140260/4192956
[pid=23266] ppid=23264 vsize=2488 CPUtime=0
/proc/23266/stat : 23266 (pbct) R 23264 23266 22931 0 -1 4202496 309 0 0 0 0 0 0 0 20 0 1 0 19898591 2547712 231 1992294400 134512640 136485738 4287565008 18446744073709551615 135297536 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/23266/statm: 622 231 156 482 0 138 0

[startup+0.024744 s]
/proc/loadavg: 1.02 1.02 1.00 3/106 23266
/proc/meminfo: memFree=1840524/2059040 swapFree=4140260/4192956
[pid=23266] ppid=23264 vsize=2488 CPUtime=0.02
/proc/23266/stat : 23266 (pbct) R 23264 23266 22931 0 -1 4202496 310 0 0 0 2 0 0 0 20 0 1 0 19898591 2547712 232 1992294400 134512640 136485738 4287565008 18446744073709551615 135848155 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/23266/statm: 622 232 157 482 0 138 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 2488

[startup+0.100754 s]
/proc/loadavg: 1.02 1.02 1.00 3/106 23266
/proc/meminfo: memFree=1840524/2059040 swapFree=4140260/4192956
[pid=23266] ppid=23264 vsize=2488 CPUtime=0.09
/proc/23266/stat : 23266 (pbct) R 23264 23266 22931 0 -1 4202496 334 0 0 0 9 0 0 0 20 0 1 0 19898591 2547712 256 1992294400 134512640 136485738 4287565008 18446744073709551615 135346650 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/23266/statm: 622 256 157 482 0 138 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2488

[startup+0.300779 s]
/proc/loadavg: 1.02 1.02 1.00 3/106 23266
/proc/meminfo: memFree=1840524/2059040 swapFree=4140260/4192956
[pid=23266] ppid=23264 vsize=21600 CPUtime=0.29
/proc/23266/stat : 23266 (pbct) R 23264 23266 22931 0 -1 4202496 5220 0 0 0 28 1 0 0 20 0 1 0 19898591 22118400 5027 1992294400 134512640 136485738 4287565008 18446744073709551615 135080255 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23266/statm: 5400 5028 198 482 0 4916 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 21600

[startup+0.700831 s]
/proc/loadavg: 1.02 1.02 1.00 3/106 23266
/proc/meminfo: memFree=1840524/2059040 swapFree=4140260/4192956
[pid=23266] ppid=23264 vsize=33712 CPUtime=0.69
/proc/23266/stat : 23266 (pbct) R 23264 23266 22931 0 -1 4202496 8372 0 0 0 59 10 0 0 20 0 1 0 19898591 34521088 7597 1992294400 134512640 136485738 4287565008 18446744073709551615 135040916 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23266/statm: 8428 7597 244 482 0 7944 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 33712

[startup+1.50094 s]
/proc/loadavg: 1.02 1.02 1.00 2/107 23267
/proc/meminfo: memFree=1810756/2059040 swapFree=4140260/4192956
[pid=23266] ppid=23264 vsize=34108 CPUtime=1.49
/proc/23266/stat : 23266 (pbct) R 23264 23266 22931 0 -1 4202496 8488 0 0 0 116 33 0 0 23 0 1 0 19898591 34926592 7713 1992294400 134512640 136485738 4287565008 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23266/statm: 8527 7713 244 482 0 8043 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 34108

[startup+3.10115 s]
/proc/loadavg: 1.01 1.02 1.00 2/107 23267
/proc/meminfo: memFree=1809888/2059040 swapFree=4140260/4192956
[pid=23266] ppid=23264 vsize=35164 CPUtime=3.09
/proc/23266/stat : 23266 (pbct) R 23264 23266 22931 0 -1 4202496 8755 0 0 0 231 78 0 0 25 0 1 0 19898591 36007936 7980 1992294400 134512640 136485738 4287565008 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23266/statm: 8791 7980 244 482 0 8307 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 35164

[startup+6.30156 s]
/proc/loadavg: 1.01 1.02 1.00 2/107 23267
/proc/meminfo: memFree=1808772/2059040 swapFree=4140260/4192956
[pid=23266] ppid=23264 vsize=35692 CPUtime=6.29
/proc/23266/stat : 23266 (pbct) R 23264 23266 22931 0 -1 4202496 8870 0 0 0 462 167 0 0 25 0 1 0 19898591 36548608 8095 1992294400 134512640 136485738 4287565008 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23266/statm: 8923 8095 244 482 0 8439 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 35692

[startup+12.7014 s]
/proc/loadavg: 1.01 1.02 1.00 2/107 23267
/proc/meminfo: memFree=1807780/2059040 swapFree=4140260/4192956
[pid=23266] ppid=23264 vsize=36352 CPUtime=12.68
/proc/23266/stat : 23266 (pbct) R 23264 23266 22931 0 -1 4202496 9051 0 0 0 918 350 0 0 25 0 1 0 19898591 37224448 8276 1992294400 134512640 136485738 4287565008 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23266/statm: 9088 8276 244 482 0 8604 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 36352

[startup+25.5011 s]
/proc/loadavg: 1.01 1.01 1.00 2/107 23267
/proc/meminfo: memFree=1807160/2059040 swapFree=4140260/4192956
[pid=23266] ppid=23264 vsize=37144 CPUtime=25.49
/proc/23266/stat : 23266 (pbct) R 23264 23266 22931 0 -1 4202496 9229 0 0 0 1789 760 0 0 25 0 1 0 19898591 38035456 8454 1992294400 134512640 136485738 4287565008 18446744073709551615 135040914 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23266/statm: 9286 8454 244 482 0 8802 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 37144

[startup+51.1004 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 23269
/proc/meminfo: memFree=1805176/2059040 swapFree=4140260/4192956
[pid=23266] ppid=23264 vsize=39020 CPUtime=51.08
/proc/23266/stat : 23266 (pbct) R 23264 23266 22931 0 -1 4202496 9724 0 0 0 3619 1489 0 0 25 0 1 0 19898591 39956480 8949 1992294400 134512640 136485738 4287565008 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23266/statm: 9755 8949 244 482 0 9271 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 39020

[startup+102.308 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 23271
/proc/meminfo: memFree=1802944/2059040 swapFree=4140260/4192956
[pid=23266] ppid=23264 vsize=41132 CPUtime=102.27
/proc/23266/stat : 23266 (pbct) R 23264 23266 22931 0 -1 4202496 10227 0 0 0 7207 3020 0 0 25 0 1 0 19898591 42119168 9452 1992294400 134512640 136485738 4287565008 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23266/statm: 10283 9452 244 482 0 9799 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 41132

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 23271
/proc/meminfo: memFree=1802944/2059040 swapFree=4140260/4192956
[pid=23266] ppid=23264 vsize=41132 CPUtime=162.25
/proc/23266/stat : 23266 (pbct) R 23264 23266 22931 0 -1 4202496 10227 0 0 0 11395 4830 0 0 25 0 1 0 19898591 42119168 9452 1992294400 134512640 136485738 4287565008 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23266/statm: 10283 9452 244 482 0 9799 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 41132

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 23273
/proc/meminfo: memFree=1801580/2059040 swapFree=4140260/4192956
[pid=23266] ppid=23264 vsize=42320 CPUtime=222.23
/proc/23266/stat : 23266 (pbct) R 23264 23266 22931 0 -1 4202496 10548 0 0 0 15679 6544 0 0 25 0 1 0 19898591 43335680 9773 1992294400 134512640 136485738 4287565008 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23266/statm: 10580 9773 244 482 0 10096 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 42320

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 23275
/proc/meminfo: memFree=1800712/2059040 swapFree=4140260/4192956
[pid=23266] ppid=23264 vsize=43244 CPUtime=282.21
/proc/23266/stat : 23266 (pbct) R 23264 23266 22931 0 -1 4202496 10777 0 0 0 19940 8281 0 0 25 0 1 0 19898591 44281856 10002 1992294400 134512640 136485738 4287565008 18446744073709551615 135040956 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23266/statm: 10811 10002 244 482 0 10327 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 43244

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 23277
/proc/meminfo: memFree=1799596/2059040 swapFree=4140260/4192956
[pid=23266] ppid=23264 vsize=44432 CPUtime=342.2
/proc/23266/stat : 23266 (pbct) R 23264 23266 22931 0 -1 4202496 11056 0 0 0 24235 9985 0 0 25 0 1 0 19898591 45498368 10281 1992294400 134512640 136485738 4287565008 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23266/statm: 11108 10281 244 482 0 10624 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 44432

[startup+402.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 23279
/proc/meminfo: memFree=1799472/2059040 swapFree=4140260/4192956
[pid=23266] ppid=23264 vsize=44432 CPUtime=402.18
/proc/23266/stat : 23266 (pbct) R 23264 23266 22931 0 -1 4202496 11056 0 0 0 28492 11726 0 0 25 0 1 0 19898591 45498368 10281 1992294400 134512640 136485738 4287565008 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23266/statm: 11108 10281 244 482 0 10624 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 44432

[startup+462.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 23279
/proc/meminfo: memFree=1796620/2059040 swapFree=4140260/4192956
[pid=23266] ppid=23264 vsize=47072 CPUtime=462.16
/proc/23266/stat : 23266 (pbct) R 23264 23266 22931 0 -1 4202496 11730 0 0 0 33223 12993 0 0 25 0 1 0 19898591 48201728 10955 1992294400 134512640 136485738 4287565008 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23266/statm: 11768 10955 244 482 0 11284 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 47072

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 23281
/proc/meminfo: memFree=1796372/2059040 swapFree=4140260/4192956
[pid=23266] ppid=23264 vsize=47336 CPUtime=522.14
/proc/23266/stat : 23266 (pbct) R 23264 23266 22931 0 -1 4202496 11800 0 0 0 37485 14729 0 0 25 0 1 0 19898591 48472064 11025 1992294400 134512640 136485738 4287565008 18446744073709551615 134661691 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23266/statm: 11834 11025 244 482 0 11350 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 47336

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 23283
/proc/meminfo: memFree=1796000/2059040 swapFree=4140260/4192956
[pid=23266] ppid=23264 vsize=47600 CPUtime=582.13
/proc/23266/stat : 23266 (pbct) R 23264 23266 22931 0 -1 4202496 11863 0 0 0 41723 16490 0 0 25 0 1 0 19898591 48742400 11088 1992294400 134512640 136485738 4287565008 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23266/statm: 11900 11088 244 482 0 11416 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 47600

[startup+642.301 s]
/proc/loadavg: 1.08 1.02 1.01 2/107 23285
/proc/meminfo: memFree=1794636/2059040 swapFree=4140260/4192956
[pid=23266] ppid=23264 vsize=49060 CPUtime=642.12
/proc/23266/stat : 23266 (pbct) R 23264 23266 22931 0 -1 4202496 12203 0 0 0 46067 18145 0 0 25 0 1 0 19898591 50237440 11428 1992294400 134512640 136485738 4287565008 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23266/statm: 12265 11428 244 482 0 11781 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 49060

[startup+702.301 s]

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

[startup+822.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 23289
/proc/meminfo: memFree=1794264/2059040 swapFree=4140260/4192956
[pid=23266] ppid=23264 vsize=49328 CPUtime=822.06
/proc/23266/stat : 23266 (pbct) R 23264 23266 22931 0 -1 4202496 12284 0 0 0 58887 23319 0 0 25 0 1 0 19898591 50511872 11509 1992294400 134512640 136485738 4287565008 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23266/statm: 12332 11509 244 482 0 11848 0
Current children cumulated CPU time (s) 822.06
Current children cumulated vsize (KiB) 49328

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 23291
/proc/meminfo: memFree=1791288/2059040 swapFree=4140260/4192956
[pid=23266] ppid=23264 vsize=52244 CPUtime=882.04
/proc/23266/stat : 23266 (pbct) R 23264 23266 22931 0 -1 4202496 13012 0 0 0 63469 24735 0 0 25 0 1 0 19898591 53497856 12237 1992294400 134512640 136485738 4287565008 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23266/statm: 13061 12237 244 482 0 12577 0
Current children cumulated CPU time (s) 882.04
Current children cumulated vsize (KiB) 52244

[startup+942.301 s]
/proc/loadavg: 1.09 1.03 1.01 2/107 23293
/proc/meminfo: memFree=1790296/2059040 swapFree=4140260/4192956
[pid=23266] ppid=23264 vsize=53180 CPUtime=942.03
/proc/23266/stat : 23266 (pbct) R 23264 23266 22931 0 -1 4202496 13252 0 0 0 68490 25713 0 0 25 0 1 0 19898591 54456320 12477 1992294400 134512640 136485738 4287565008 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23266/statm: 13295 12477 244 482 0 12811 0
Current children cumulated CPU time (s) 942.03
Current children cumulated vsize (KiB) 53180

[startup+1002.3 s]
/proc/loadavg: 1.11 1.05 1.01 2/107 23295
/proc/meminfo: memFree=1790296/2059040 swapFree=4140260/4192956
[pid=23266] ppid=23264 vsize=53180 CPUtime=1002.01
/proc/23266/stat : 23266 (pbct) R 23264 23266 22931 0 -1 4202496 13252 0 0 0 72727 27474 0 0 25 0 1 0 19898591 54456320 12477 1992294400 134512640 136485738 4287565008 18446744073709551615 135042680 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23266/statm: 13295 12477 244 482 0 12811 0
Current children cumulated CPU time (s) 1002.01
Current children cumulated vsize (KiB) 53180

[startup+1062.3 s]
/proc/loadavg: 1.09 1.05 1.01 2/107 23295
/proc/meminfo: memFree=1790172/2059040 swapFree=4140260/4192956
[pid=23266] ppid=23264 vsize=53180 CPUtime=1061.99
/proc/23266/stat : 23266 (pbct) R 23264 23266 22931 0 -1 4202496 13252 0 0 0 77000 29199 0 0 25 0 1 0 19898591 54456320 12477 1992294400 134512640 136485738 4287565008 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23266/statm: 13295 12477 244 482 0 12811 0
Current children cumulated CPU time (s) 1061.99
Current children cumulated vsize (KiB) 53180

[startup+1122.3 s]
/proc/loadavg: 1.07 1.06 1.01 2/107 23297
/proc/meminfo: memFree=1790172/2059040 swapFree=4140260/4192956
[pid=23266] ppid=23264 vsize=53180 CPUtime=1121.97
/proc/23266/stat : 23266 (pbct) R 23264 23266 22931 0 -1 4202496 13252 0 0 0 81317 30880 0 0 25 0 1 0 19898591 54456320 12477 1992294400 134512640 136485738 4287565008 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23266/statm: 13295 12477 244 482 0 12811 0
Current children cumulated CPU time (s) 1121.97
Current children cumulated vsize (KiB) 53180

[startup+1182.3 s]
/proc/loadavg: 1.06 1.06 1.01 2/107 23299
/proc/meminfo: memFree=1787940/2059040 swapFree=4140260/4192956
[pid=23266] ppid=23264 vsize=55424 CPUtime=1181.96
/proc/23266/stat : 23266 (pbct) R 23264 23266 22931 0 -1 4202496 13793 0 0 0 85824 32372 0 0 25 0 1 0 19898591 56754176 13018 1992294400 134512640 136485738 4287565008 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23266/statm: 13856 13018 244 482 0 13372 0
Current children cumulated CPU time (s) 1181.96
Current children cumulated vsize (KiB) 55424

[startup+1242.3 s]
/proc/loadavg: 1.06 1.06 1.01 2/107 23301
/proc/meminfo: memFree=1787692/2059040 swapFree=4140260/4192956
[pid=23266] ppid=23264 vsize=55424 CPUtime=1241.94
/proc/23266/stat : 23266 (pbct) R 23264 23266 22931 0 -1 4202496 13793 0 0 0 90161 34033 0 0 25 0 1 0 19898591 56754176 13018 1992294400 134512640 136485738 4287565008 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23266/statm: 13856 13018 244 482 0 13372 0
Current children cumulated CPU time (s) 1241.94
Current children cumulated vsize (KiB) 55424

[startup+1302.3 s]
/proc/loadavg: 1.12 1.07 1.01 2/107 23303
/proc/meminfo: memFree=1787692/2059040 swapFree=4140260/4192956
[pid=23266] ppid=23264 vsize=55424 CPUtime=1301.93
/proc/23266/stat : 23266 (pbct) R 23264 23266 22931 0 -1 4202496 13793 0 0 0 94470 35723 0 0 25 0 1 0 19898591 56754176 13018 1992294400 134512640 136485738 4287565008 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23266/statm: 13856 13018 244 482 0 13372 0
Current children cumulated CPU time (s) 1301.93
Current children cumulated vsize (KiB) 55424

[startup+1362.3 s]
/proc/loadavg: 1.12 1.07 1.01 2/107 23303
/proc/meminfo: memFree=1787568/2059040 swapFree=4140260/4192956
[pid=23266] ppid=23264 vsize=57800 CPUtime=1361.9
/proc/23266/stat : 23266 (pbct) R 23264 23266 22931 0 -1 4202496 14398 0 0 0 98843 37347 0 0 25 0 1 0 19898591 59187200 13623 1992294400 134512640 136485738 4287565008 18446744073709551615 135040911 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23266/statm: 14450 13623 244 482 0 13966 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 57800

[startup+1422.31 s]
/proc/loadavg: 1.10 1.07 1.01 2/107 23305
/proc/meminfo: memFree=1784840/2059040 swapFree=4140260/4192956
[pid=23266] ppid=23264 vsize=58196 CPUtime=1421.89
/proc/23266/stat : 23266 (pbct) R 23264 23266 22931 0 -1 4202496 14501 0 0 0 103374 38815 0 0 25 0 1 0 19898591 59592704 13726 1992294400 134512640 136485738 4287565008 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23266/statm: 14549 13726 244 482 0 14065 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 58196

[startup+1482.3 s]
/proc/loadavg: 1.04 1.06 1.01 2/107 23307
/proc/meminfo: memFree=1784840/2059040 swapFree=4140260/4192956
[pid=23266] ppid=23264 vsize=58196 CPUtime=1481.87
/proc/23266/stat : 23266 (pbct) R 23264 23266 22931 0 -1 4202496 14501 0 0 0 107661 40526 0 0 25 0 1 0 19898591 59592704 13726 1992294400 134512640 136485738 4287565008 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23266/statm: 14549 13726 244 482 0 14065 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 58196

[startup+1542.3 s]
/proc/loadavg: 1.01 1.04 1.00 2/107 23309
/proc/meminfo: memFree=1784716/2059040 swapFree=4140260/4192956
[pid=23266] ppid=23264 vsize=58196 CPUtime=1541.85
/proc/23266/stat : 23266 (pbct) R 23264 23266 22931 0 -1 4202496 14501 0 0 0 111884 42301 0 0 25 0 1 0 19898591 59592704 13726 1992294400 134512640 136485738 4287565008 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23266/statm: 14549 13726 244 482 0 14065 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 58196

[startup+1602.3 s]
/proc/loadavg: 1.00 1.03 1.00 2/107 23311
/proc/meminfo: memFree=1784716/2059040 swapFree=4140260/4192956
[pid=23266] ppid=23264 vsize=58328 CPUtime=1601.84
/proc/23266/stat : 23266 (pbct) R 23264 23266 22931 0 -1 4202496 14544 0 0 0 116309 43875 0 0 25 0 1 0 19898591 59727872 13769 1992294400 134512640 136485738 4287565008 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23266/statm: 14582 13769 244 482 0 14098 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 58328

[startup+1662.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 23311
/proc/meminfo: memFree=1784716/2059040 swapFree=4140260/4192956
[pid=23266] ppid=23264 vsize=58328 CPUtime=1661.83
/proc/23266/stat : 23266 (pbct) R 23264 23266 22931 0 -1 4202496 14544 0 0 0 120572 45611 0 0 25 0 1 0 19898591 59727872 13769 1992294400 134512640 136485738 4287565008 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23266/statm: 14582 13769 244 482 0 14098 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 58328

[startup+1722.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 23313
/proc/meminfo: memFree=1784592/2059040 swapFree=4140260/4192956
[pid=23266] ppid=23264 vsize=58328 CPUtime=1721.8
/proc/23266/stat : 23266 (pbct) R 23264 23266 22931 0 -1 4202496 14544 0 0 0 124825 47355 0 0 25 0 1 0 19898591 59727872 13769 1992294400 134512640 136485738 4287565008 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23266/statm: 14582 13769 244 482 0 14098 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 58328

[startup+1782.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 23315
/proc/meminfo: memFree=1784220/2059040 swapFree=4140260/4192956
[pid=23266] ppid=23264 vsize=58328 CPUtime=1781.79
/proc/23266/stat : 23266 (pbct) R 23264 23266 22931 0 -1 4202496 14544 0 0 0 129323 48856 0 0 25 0 1 0 19898591 59727872 13769 1992294400 134512640 136485738 4287565008 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23266/statm: 14582 13769 244 482 0 14098 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 58328



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 23315
/proc/meminfo: memFree=1784220/2059040 swapFree=4140260/4192956
[pid=23266] ppid=23264 vsize=58328 CPUtime=1800.1
/proc/23266/stat : 23266 (pbct) R 23264 23266 22931 0 -1 4202496 14544 0 0 0 130836 49174 0 0 25 0 1 0 19898591 59727872 13769 1992294400 134512640 136485738 4287565008 18446744073709551615 135040914 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23266/statm: 14582 13769 244 482 0 14098 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 58328

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.11
CPU user time (s): 1308.37
CPU system time (s): 491.747
CPU usage (%): 99.9717
Max. virtual memory (cumulated for all children) (KiB): 58328

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

runsolver used 3.11753 second user time and 8.35973 second system time

The end