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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2682200-1277478000/watcher-2682200-1277478000 -o /tmp/evaluation-result-2682200-1277478000/solver-2682200-1277478000 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2682200-1277478000.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 0.97 0.88 3/106 29451
/proc/meminfo: memFree=1780828/2059040 swapFree=4139096/4192956
[pid=29451] ppid=29449 vsize=2136 CPUtime=0
/proc/29451/stat : 29451 (pbct) R 29449 29451 29007 0 -1 4202496 246 0 0 0 0 0 0 0 20 0 1 0 89095434 2187264 166 1992294400 134512640 136421960 4294455472 18446744073709551615 135160288 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29451/statm: 534 166 145 467 0 65 0

[startup+0.02185 s]
/proc/loadavg: 1.00 0.97 0.88 3/106 29451
/proc/meminfo: memFree=1780828/2059040 swapFree=4139096/4192956
[pid=29451] ppid=29449 vsize=2400 CPUtime=0.02
/proc/29451/stat : 29451 (pbct) R 29449 29451 29007 0 -1 4202496 305 0 0 0 2 0 0 0 20 0 1 0 89095434 2457600 225 1992294400 134512640 136421960 4294455472 18446744073709551615 135811817 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29451/statm: 600 225 145 467 0 131 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 2400

[startup+0.100855 s]
/proc/loadavg: 1.00 0.97 0.88 3/106 29451
/proc/meminfo: memFree=1780828/2059040 swapFree=4139096/4192956
[pid=29451] ppid=29449 vsize=7560 CPUtime=0.09
/proc/29451/stat : 29451 (pbct) R 29449 29451 29007 0 -1 4202496 1590 0 0 0 9 0 0 0 20 0 1 0 89095434 7741440 1510 1992294400 134512640 136421960 4294455472 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29451/statm: 1890 1511 189 467 0 1421 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7560

[startup+0.300867 s]
/proc/loadavg: 1.00 0.97 0.88 3/106 29451
/proc/meminfo: memFree=1780828/2059040 swapFree=4139096/4192956
[pid=29451] ppid=29449 vsize=23008 CPUtime=0.29
/proc/29451/stat : 29451 (pbct) R 29449 29451 29007 0 -1 4202496 5493 0 0 0 27 2 0 0 20 0 1 0 89095434 23560192 5347 1992294400 134512640 136421960 4294455472 18446744073709551615 134632331 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29451/statm: 5752 5347 194 467 0 5283 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 23008

[startup+0.700892 s]
/proc/loadavg: 1.00 0.97 0.88 3/106 29451
/proc/meminfo: memFree=1780828/2059040 swapFree=4139096/4192956
[pid=29451] ppid=29449 vsize=48628 CPUtime=0.69
/proc/29451/stat : 29451 (pbct) R 29449 29451 29007 0 -1 4202496 12194 0 0 0 65 4 0 0 20 0 1 0 89095434 49795072 11430 1992294400 134512640 136421960 4294455472 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29451/statm: 12157 11430 214 467 0 11688 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 48628

[startup+1.50094 s]
/proc/loadavg: 1.00 0.97 0.88 2/107 29452
/proc/meminfo: memFree=1735684/2059040 swapFree=4139096/4192956
[pid=29451] ppid=29449 vsize=48920 CPUtime=1.49
/proc/29451/stat : 29451 (pbct) R 29449 29451 29007 0 -1 4202496 12259 0 0 0 138 11 0 0 23 0 1 0 89095434 50094080 11495 1992294400 134512640 136421960 4294455472 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29451/statm: 12230 11495 215 467 0 11761 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 48920

[startup+3.10104 s]
/proc/loadavg: 1.00 0.97 0.88 2/107 29452
/proc/meminfo: memFree=1735188/2059040 swapFree=4139096/4192956
[pid=29451] ppid=29449 vsize=49064 CPUtime=3.09
/proc/29451/stat : 29451 (pbct) R 29449 29451 29007 0 -1 4202496 12284 0 0 0 286 23 0 0 25 0 1 0 89095434 50241536 11520 1992294400 134512640 136421960 4294455472 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29451/statm: 12266 11520 216 467 0 11797 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 49064

[startup+6.30124 s]
/proc/loadavg: 1.00 0.97 0.88 2/107 29452
/proc/meminfo: memFree=1734568/2059040 swapFree=4139096/4192956
[pid=29451] ppid=29449 vsize=50052 CPUtime=6.29
/proc/29451/stat : 29451 (pbct) R 29449 29451 29007 0 -1 4202496 12527 0 0 0 580 49 0 0 25 0 1 0 89095434 51253248 11671 1992294400 134512640 136421960 4294455472 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29451/statm: 12513 11671 238 467 0 12044 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 50052

[startup+12.7006 s]
/proc/loadavg: 1.00 0.97 0.88 2/107 29452
/proc/meminfo: memFree=1734072/2059040 swapFree=4139096/4192956
[pid=29451] ppid=29449 vsize=50448 CPUtime=12.68
/proc/29451/stat : 29451 (pbct) R 29449 29451 29007 0 -1 4202496 12631 0 0 0 1171 97 0 0 25 0 1 0 89095434 51658752 11775 1992294400 134512640 136421960 4294455472 18446744073709551615 135019183 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29451/statm: 12612 11775 238 467 0 12143 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 50448

[startup+25.5004 s]
/proc/loadavg: 1.00 0.97 0.88 2/107 29452
/proc/meminfo: memFree=1732832/2059040 swapFree=4139096/4192956
[pid=29451] ppid=29449 vsize=51900 CPUtime=25.48
/proc/29451/stat : 29451 (pbct) R 29449 29451 29007 0 -1 4202496 12967 0 0 0 2369 179 0 0 25 0 1 0 89095434 53145600 12111 1992294400 134512640 136421960 4294455472 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29451/statm: 12975 12111 238 467 0 12506 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 51900

[startup+51.101 s]
/proc/loadavg: 1.00 0.97 0.88 2/107 29452
/proc/meminfo: memFree=1731220/2059040 swapFree=4139096/4192956
[pid=29451] ppid=29449 vsize=53356 CPUtime=51.08
/proc/29451/stat : 29451 (pbct) R 29449 29451 29007 0 -1 4202496 13344 0 0 0 4771 337 0 0 25 0 1 0 89095434 54636544 12487 1992294400 134512640 136421960 4294455472 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29451/statm: 13339 12487 238 467 0 12870 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 53356

[startup+102.309 s]
/proc/loadavg: 1.00 0.97 0.89 2/107 29463
/proc/meminfo: memFree=1730600/2059040 swapFree=4139096/4192956
[pid=29451] ppid=29449 vsize=53356 CPUtime=102.27
/proc/29451/stat : 29451 (pbct) R 29449 29451 29007 0 -1 4202496 13345 0 0 0 9787 440 0 0 25 0 1 0 89095434 54636544 12487 1992294400 134512640 136421960 4294455472 18446744073709551615 134857089 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29451/statm: 13339 12487 238 467 0 12870 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 53356

[startup+162.302 s]
/proc/loadavg: 1.00 0.97 0.89 2/107 29465
/proc/meminfo: memFree=1730600/2059040 swapFree=4139096/4192956
[pid=29451] ppid=29449 vsize=53356 CPUtime=162.25
/proc/29451/stat : 29451 (pbct) R 29449 29451 29007 0 -1 4202496 13345 0 0 0 15746 479 0 0 25 0 1 0 89095434 54636544 12487 1992294400 134512640 136421960 4294455472 18446744073709551615 134902521 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29451/statm: 13339 12487 238 467 0 12870 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 53356

[startup+222.301 s]
/proc/loadavg: 1.00 0.97 0.90 2/107 29467
/proc/meminfo: memFree=1730600/2059040 swapFree=4139096/4192956
[pid=29451] ppid=29449 vsize=53356 CPUtime=222.24
/proc/29451/stat : 29451 (pbct) R 29449 29451 29007 0 -1 4202496 13345 0 0 0 21709 515 0 0 25 0 1 0 89095434 54636544 12487 1992294400 134512640 136421960 4294455472 18446744073709551615 134902271 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29451/statm: 13339 12487 238 467 0 12870 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 53356

[startup+282.3 s]
/proc/loadavg: 1.00 0.97 0.91 2/107 29467
/proc/meminfo: memFree=1730600/2059040 swapFree=4139096/4192956
[pid=29451] ppid=29449 vsize=53356 CPUtime=282.22
/proc/29451/stat : 29451 (pbct) R 29449 29451 29007 0 -1 4202496 13346 0 0 0 27666 556 0 0 25 0 1 0 89095434 54636544 12487 1992294400 134512640 136421960 4294455472 18446744073709551615 134902239 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29451/statm: 13339 12487 238 467 0 12870 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 53356

[startup+342.301 s]
/proc/loadavg: 1.00 0.97 0.91 2/107 29469
/proc/meminfo: memFree=1730600/2059040 swapFree=4139096/4192956
[pid=29451] ppid=29449 vsize=53356 CPUtime=342.21
/proc/29451/stat : 29451 (pbct) R 29449 29451 29007 0 -1 4202496 13346 0 0 0 33644 577 0 0 25 0 1 0 89095434 54636544 12487 1992294400 134512640 136421960 4294455472 18446744073709551615 134902239 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29451/statm: 13339 12487 238 467 0 12870 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 53356

[startup+402.301 s]
/proc/loadavg: 1.00 0.97 0.91 2/107 29471
/proc/meminfo: memFree=1730600/2059040 swapFree=4139096/4192956
[pid=29451] ppid=29449 vsize=53356 CPUtime=402.2
/proc/29451/stat : 29451 (pbct) R 29449 29451 29007 0 -1 4202496 13346 0 0 0 39628 592 0 0 25 0 1 0 89095434 54636544 12487 1992294400 134512640 136421960 4294455472 18446744073709551615 134902414 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29451/statm: 13339 12487 238 467 0 12870 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 53356

[startup+462.3 s]
/proc/loadavg: 1.00 0.97 0.91 2/107 29473
/proc/meminfo: memFree=1730476/2059040 swapFree=4139096/4192956
[pid=29451] ppid=29449 vsize=53356 CPUtime=462.18
/proc/29451/stat : 29451 (pbct) R 29449 29451 29007 0 -1 4202496 13346 0 0 0 45611 607 0 0 25 0 1 0 89095434 54636544 12487 1992294400 134512640 136421960 4294455472 18446744073709551615 134902239 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29451/statm: 13339 12487 238 467 0 12870 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 53356

[startup+522.3 s]
/proc/loadavg: 1.00 0.97 0.91 2/107 29475
/proc/meminfo: memFree=1730352/2059040 swapFree=4139096/4192956
[pid=29451] ppid=29449 vsize=53356 CPUtime=522.17
/proc/29451/stat : 29451 (pbct) R 29449 29451 29007 0 -1 4202496 13347 0 0 0 51586 631 0 0 25 0 1 0 89095434 54636544 12488 1992294400 134512640 136421960 4294455472 18446744073709551615 134902408 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29451/statm: 13339 12488 238 467 0 12870 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 53356

[startup+582.301 s]
/proc/loadavg: 1.00 0.97 0.91 2/107 29475
/proc/meminfo: memFree=1730352/2059040 swapFree=4139096/4192956
[pid=29451] ppid=29449 vsize=53356 CPUtime=582.16
/proc/29451/stat : 29451 (pbct) R 29449 29451 29007 0 -1 4202496 13347 0 0 0 57573 643 0 0 25 0 1 0 89095434 54636544 12488 1992294400 134512640 136421960 4294455472 18446744073709551615 134902408 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29451/statm: 13339 12488 238 467 0 12870 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 53356

[startup+642.301 s]
/proc/loadavg: 1.00 0.97 0.91 2/107 29477
/proc/meminfo: memFree=1730228/2059040 swapFree=4139096/4192956
[pid=29451] ppid=29449 vsize=53356 CPUtime=642.15
/proc/29451/stat : 29451 (pbct) R 29449 29451 29007 0 -1 4202496 13347 0 0 0 63563 652 0 0 25 0 1 0 89095434 54636544 12488 1992294400 134512640 136421960 4294455472 18446744073709551615 134902408 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29451/statm: 13339 12488 238 467 0 12870 0
Current children cumulated CPU time (s) 642.15
Current children cumulated vsize (KiB) 53356

[startup+702.3 s]

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

[startup+882.3 s]
/proc/loadavg: 1.00 0.97 0.91 2/107 29483
/proc/meminfo: memFree=1729980/2059040 swapFree=4139096/4192956
[pid=29451] ppid=29449 vsize=53356 CPUtime=882.1
/proc/29451/stat : 29451 (pbct) R 29449 29451 29007 0 -1 4202496 13347 0 0 0 87518 692 0 0 25 0 1 0 89095434 54636544 12488 1992294400 134512640 136421960 4294455472 18446744073709551615 134902521 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29451/statm: 13339 12488 238 467 0 12870 0
Current children cumulated CPU time (s) 882.1
Current children cumulated vsize (KiB) 53356

[startup+942.301 s]
/proc/loadavg: 1.03 0.99 0.91 2/107 29485
/proc/meminfo: memFree=1729980/2059040 swapFree=4139096/4192956
[pid=29451] ppid=29449 vsize=53356 CPUtime=942.08
/proc/29451/stat : 29451 (pbct) R 29449 29451 29007 0 -1 4202496 13347 0 0 0 93507 701 0 0 25 0 1 0 89095434 54636544 12488 1992294400 134512640 136421960 4294455472 18446744073709551615 134902253 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29451/statm: 13339 12488 238 467 0 12870 0
Current children cumulated CPU time (s) 942.08
Current children cumulated vsize (KiB) 53356

[startup+1002.3 s]
/proc/loadavg: 1.11 1.02 0.93 2/107 29487
/proc/meminfo: memFree=1729980/2059040 swapFree=4139096/4192956
[pid=29451] ppid=29449 vsize=53356 CPUtime=1002.07
/proc/29451/stat : 29451 (pbct) R 29449 29451 29007 0 -1 4202496 13348 0 0 0 99497 710 0 0 25 0 1 0 89095434 54636544 12489 1992294400 134512640 136421960 4294455472 18446744073709551615 134902403 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29451/statm: 13339 12489 238 467 0 12870 0
Current children cumulated CPU time (s) 1002.07
Current children cumulated vsize (KiB) 53356

[startup+1062.3 s]
/proc/loadavg: 1.04 1.01 0.93 2/107 29489
/proc/meminfo: memFree=1729856/2059040 swapFree=4139096/4192956
[pid=29451] ppid=29449 vsize=53356 CPUtime=1062.05
/proc/29451/stat : 29451 (pbct) R 29449 29451 29007 0 -1 4202496 13349 0 0 0 105483 722 0 0 25 0 1 0 89095434 54636544 12490 1992294400 134512640 136421960 4294455472 18446744073709551615 134902411 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29451/statm: 13339 12490 238 467 0 12870 0
Current children cumulated CPU time (s) 1062.05
Current children cumulated vsize (KiB) 53356

[startup+1122.3 s]
/proc/loadavg: 1.01 1.00 0.93 2/107 29491
/proc/meminfo: memFree=1729856/2059040 swapFree=4139096/4192956
[pid=29451] ppid=29449 vsize=53356 CPUtime=1122.04
/proc/29451/stat : 29451 (pbct) R 29449 29451 29007 0 -1 4202496 13349 0 0 0 111474 730 0 0 25 0 1 0 89095434 54636544 12490 1992294400 134512640 136421960 4294455472 18446744073709551615 134902408 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29451/statm: 13339 12490 238 467 0 12870 0
Current children cumulated CPU time (s) 1122.04
Current children cumulated vsize (KiB) 53356

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 29491
/proc/meminfo: memFree=1729856/2059040 swapFree=4139096/4192956
[pid=29451] ppid=29449 vsize=53356 CPUtime=1182.03
/proc/29451/stat : 29451 (pbct) R 29449 29451 29007 0 -1 4202496 13349 0 0 0 117461 742 0 0 25 0 1 0 89095434 54636544 12490 1992294400 134512640 136421960 4294455472 18446744073709551615 134902408 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29451/statm: 13339 12490 238 467 0 12870 0
Current children cumulated CPU time (s) 1182.03
Current children cumulated vsize (KiB) 53356

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 29493
/proc/meminfo: memFree=1729732/2059040 swapFree=4139096/4192956
[pid=29451] ppid=29449 vsize=53356 CPUtime=1242.01
/proc/29451/stat : 29451 (pbct) R 29449 29451 29007 0 -1 4202496 13349 0 0 0 123451 750 0 0 25 0 1 0 89095434 54636544 12490 1992294400 134512640 136421960 4294455472 18446744073709551615 134902253 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29451/statm: 13339 12490 238 467 0 12870 0
Current children cumulated CPU time (s) 1242.01
Current children cumulated vsize (KiB) 53356

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 29495
/proc/meminfo: memFree=1729608/2059040 swapFree=4139096/4192956
[pid=29451] ppid=29449 vsize=53356 CPUtime=1302.01
/proc/29451/stat : 29451 (pbct) R 29449 29451 29007 0 -1 4202496 13349 0 0 0 129441 760 0 0 25 0 1 0 89095434 54636544 12490 1992294400 134512640 136421960 4294455472 18446744073709551615 134902408 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29451/statm: 13339 12490 238 467 0 12870 0
Current children cumulated CPU time (s) 1302.01
Current children cumulated vsize (KiB) 53356

[startup+1362.3 s]
/proc/loadavg: 1.07 1.02 0.93 2/107 29497
/proc/meminfo: memFree=1729732/2059040 swapFree=4139096/4192956
[pid=29451] ppid=29449 vsize=53356 CPUtime=1361.99
/proc/29451/stat : 29451 (pbct) R 29449 29451 29007 0 -1 4202496 13349 0 0 0 135428 771 0 0 25 0 1 0 89095434 54636544 12490 1992294400 134512640 136421960 4294455472 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29451/statm: 13339 12490 238 467 0 12870 0
Current children cumulated CPU time (s) 1361.99
Current children cumulated vsize (KiB) 53356

[startup+1422.31 s]
/proc/loadavg: 1.02 1.01 0.93 2/107 29499
/proc/meminfo: memFree=1729732/2059040 swapFree=4139096/4192956
[pid=29451] ppid=29449 vsize=53356 CPUtime=1421.98
/proc/29451/stat : 29451 (pbct) R 29449 29451 29007 0 -1 4202496 13349 0 0 0 141416 782 0 0 25 0 1 0 89095434 54636544 12490 1992294400 134512640 136421960 4294455472 18446744073709551615 134902521 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29451/statm: 13339 12490 238 467 0 12870 0
Current children cumulated CPU time (s) 1421.98
Current children cumulated vsize (KiB) 53356

[startup+1482.3 s]
/proc/loadavg: 1.01 1.00 0.93 2/107 29499
/proc/meminfo: memFree=1729608/2059040 swapFree=4139096/4192956
[pid=29451] ppid=29449 vsize=53356 CPUtime=1481.97
/proc/29451/stat : 29451 (pbct) R 29449 29451 29007 0 -1 4202496 13349 0 0 0 147404 793 0 0 25 0 1 0 89095434 54636544 12490 1992294400 134512640 136421960 4294455472 18446744073709551615 134902515 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29451/statm: 13339 12490 238 467 0 12870 0
Current children cumulated CPU time (s) 1481.97
Current children cumulated vsize (KiB) 53356

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 29501
/proc/meminfo: memFree=1729732/2059040 swapFree=4139096/4192956
[pid=29451] ppid=29449 vsize=53356 CPUtime=1541.95
/proc/29451/stat : 29451 (pbct) R 29449 29451 29007 0 -1 4202496 13349 0 0 0 153393 802 0 0 25 0 1 0 89095434 54636544 12490 1992294400 134512640 136421960 4294455472 18446744073709551615 134858075 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29451/statm: 13339 12490 238 467 0 12870 0
Current children cumulated CPU time (s) 1541.95
Current children cumulated vsize (KiB) 53356

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 29503
/proc/meminfo: memFree=1729732/2059040 swapFree=4139096/4192956
[pid=29451] ppid=29449 vsize=53356 CPUtime=1601.93
/proc/29451/stat : 29451 (pbct) R 29449 29451 29007 0 -1 4202496 13349 0 0 0 159382 811 0 0 25 0 1 0 89095434 54636544 12490 1992294400 134512640 136421960 4294455472 18446744073709551615 134902299 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29451/statm: 13339 12490 238 467 0 12870 0
Current children cumulated CPU time (s) 1601.93
Current children cumulated vsize (KiB) 53356

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 29505
/proc/meminfo: memFree=1729608/2059040 swapFree=4139096/4192956
[pid=29451] ppid=29449 vsize=53356 CPUtime=1661.92
/proc/29451/stat : 29451 (pbct) R 29449 29451 29007 0 -1 4202496 13349 0 0 0 165372 820 0 0 25 0 1 0 89095434 54636544 12490 1992294400 134512640 136421960 4294455472 18446744073709551615 134857089 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29451/statm: 13339 12490 238 467 0 12870 0
Current children cumulated CPU time (s) 1661.92
Current children cumulated vsize (KiB) 53356

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 29507
/proc/meminfo: memFree=1729608/2059040 swapFree=4139096/4192956
[pid=29451] ppid=29449 vsize=53356 CPUtime=1721.91
/proc/29451/stat : 29451 (pbct) R 29449 29451 29007 0 -1 4202496 13349 0 0 0 171361 830 0 0 25 0 1 0 89095434 54636544 12490 1992294400 134512640 136421960 4294455472 18446744073709551615 134902414 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29451/statm: 13339 12490 238 467 0 12870 0
Current children cumulated CPU time (s) 1721.91
Current children cumulated vsize (KiB) 53356

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 29507
/proc/meminfo: memFree=1729360/2059040 swapFree=4139096/4192956
[pid=29451] ppid=29449 vsize=53356 CPUtime=1781.89
/proc/29451/stat : 29451 (pbct) R 29449 29451 29007 0 -1 4202496 13350 0 0 0 177350 839 0 0 25 0 1 0 89095434 54636544 12491 1992294400 134512640 136421960 4294455472 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29451/statm: 13339 12491 238 467 0 12870 0
Current children cumulated CPU time (s) 1781.89
Current children cumulated vsize (KiB) 53356



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 29509
/proc/meminfo: memFree=1729360/2059040 swapFree=4139096/4192956
[pid=29451] ppid=29449 vsize=53356 CPUtime=1800.1
/proc/29451/stat : 29451 (pbct) R 29449 29451 29007 0 -1 4202496 13350 0 0 0 179168 842 0 0 25 0 1 0 89095434 54636544 12491 1992294400 134512640 136421960 4294455472 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29451/statm: 13339 12491 238 467 0 12870 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 53356

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.00 1.00 0.93 2/107 29509
/proc/meminfo: memFree=1729360/2059040 swapFree=4139096/4192956
[pid=29451] ppid=29449 vsize=53356 CPUtime=1800.1
/proc/29451/stat : 29451 (pbct) R 29449 29451 29007 0 -1 4202496 13350 0 0 0 179168 842 0 0 25 0 1 0 89095434 54636544 12491 1992294400 134512640 136421960 4294455472 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29451/statm: 13339 12491 238 467 0 12870 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 53356

Child status: 0
Real time (s): 1800.51
CPU time (s): 1800.12
CPU user time (s): 1791.68
CPU system time (s): 8.43472
CPU usage (%): 99.9779
Max. virtual memory (cumulated for all children) (KiB): 53356

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

runsolver used 3.06653 second user time and 8.41572 second system time

The end