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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2695250-1277894291/watcher-2695250-1277894291 -o /tmp/evaluation-result-2695250-1277894291/solver-2695250-1277894291 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2695250-1277894291.wbo 

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): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 4/196 13755
/proc/meminfo: memFree=30911704/32951124 swapFree=67111528/67111528
[pid=13755] ppid=13753 vsize=3048 CPUtime=0
/proc/13755/stat : 13755 (pbct) R 13753 13755 12555 0 -1 4202496 454 0 0 0 0 0 0 0 25 0 1 0 130725013 3121152 374 4089446400 134512640 136421960 4289993936 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13755/statm: 762 375 184 467 0 293 0

[startup+0.0639079 s]
/proc/loadavg: 2.00 2.00 2.00 4/196 13755
/proc/meminfo: memFree=30911704/32951124 swapFree=67111528/67111528
[pid=13755] ppid=13753 vsize=14984 CPUtime=0.05
/proc/13755/stat : 13755 (pbct) R 13753 13755 12555 0 -1 4202496 3394 0 0 0 5 0 0 0 25 0 1 0 130725013 15343616 3314 4089446400 134512640 136421960 4289993936 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13755/statm: 3746 3314 213 467 0 3277 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 14984

[startup+0.100908 s]
/proc/loadavg: 2.00 2.00 2.00 4/196 13755
/proc/meminfo: memFree=30911704/32951124 swapFree=67111528/67111528
[pid=13755] ppid=13753 vsize=14984 CPUtime=0.09
/proc/13755/stat : 13755 (pbct) R 13753 13755 12555 0 -1 4202496 3395 0 0 0 7 2 0 0 25 0 1 0 130725013 15343616 3315 4089446400 134512640 136421960 4289993936 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13755/statm: 3746 3315 213 467 0 3277 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14984

[startup+0.300866 s]
/proc/loadavg: 2.00 2.00 2.00 4/196 13755
/proc/meminfo: memFree=30911704/32951124 swapFree=67111528/67111528
[pid=13755] ppid=13753 vsize=14984 CPUtime=0.29
/proc/13755/stat : 13755 (pbct) R 13753 13755 12555 0 -1 4202496 3397 0 0 0 20 9 0 0 25 0 1 0 130725013 15343616 3317 4089446400 134512640 136421960 4289993936 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13755/statm: 3746 3317 213 467 0 3277 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14984

[startup+0.700795 s]
/proc/loadavg: 2.00 2.00 2.00 4/196 13755
/proc/meminfo: memFree=30911704/32951124 swapFree=67111528/67111528
[pid=13755] ppid=13753 vsize=14984 CPUtime=0.69
/proc/13755/stat : 13755 (pbct) R 13753 13755 12555 0 -1 4202496 3398 0 0 0 47 22 0 0 25 0 1 0 130725013 15343616 3318 4089446400 134512640 136421960 4289993936 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13755/statm: 3746 3318 213 467 0 3277 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14984

[startup+1.50065 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 13756
/proc/meminfo: memFree=30899048/32951124 swapFree=67111528/67111528
[pid=13755] ppid=13753 vsize=14984 CPUtime=1.48
/proc/13755/stat : 13755 (pbct) R 13753 13755 12555 0 -1 4202496 3406 0 0 0 98 50 0 0 25 0 1 0 130725013 15343616 3326 4089446400 134512640 136421960 4289993936 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13755/statm: 3746 3326 213 467 0 3277 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 14984

[startup+3.10036 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 13756
/proc/meminfo: memFree=30899276/32951124 swapFree=67111528/67111528
[pid=13755] ppid=13753 vsize=15112 CPUtime=3.09
/proc/13755/stat : 13755 (pbct) R 13753 13755 12555 0 -1 4202496 3419 0 0 0 210 99 0 0 25 0 1 0 130725013 15474688 3339 4089446400 134512640 136421960 4289993936 18446744073709551615 134902548 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13755/statm: 3778 3339 214 467 0 3309 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15112

[startup+6.30077 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 13756
/proc/meminfo: memFree=30899028/32951124 swapFree=67111528/67111528
[pid=13755] ppid=13753 vsize=15112 CPUtime=6.28
/proc/13755/stat : 13755 (pbct) R 13753 13755 12555 0 -1 4202496 3425 0 0 0 491 137 0 0 25 0 1 0 130725013 15474688 3345 4089446400 134512640 136421960 4289993936 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13755/statm: 3778 3345 214 467 0 3309 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 15112

[startup+12.7006 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 13756
/proc/meminfo: memFree=30899308/32951124 swapFree=67111528/67111528
[pid=13755] ppid=13753 vsize=15112 CPUtime=12.68
/proc/13755/stat : 13755 (pbct) R 13753 13755 12555 0 -1 4202496 3429 0 0 0 1106 162 0 0 25 0 1 0 130725013 15474688 3349 4089446400 134512640 136421960 4289993936 18446744073709551615 134902408 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13755/statm: 3778 3349 214 467 0 3309 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 15112

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 13756
/proc/meminfo: memFree=30899776/32951124 swapFree=67111528/67111528
[pid=13755] ppid=13753 vsize=15112 CPUtime=25.49
/proc/13755/stat : 13755 (pbct) R 13753 13755 12555 0 -1 4202496 3432 0 0 0 2372 177 0 0 25 0 1 0 130725013 15474688 3352 4089446400 134512640 136421960 4289993936 18446744073709551615 134902548 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13755/statm: 3778 3352 214 467 0 3309 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 15112

[startup+51.1006 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 13757
/proc/meminfo: memFree=30899936/32951124 swapFree=67111528/67111528
[pid=13755] ppid=13753 vsize=15112 CPUtime=51.09
/proc/13755/stat : 13755 (pbct) R 13753 13755 12555 0 -1 4202496 3436 0 0 0 4905 204 0 0 25 0 1 0 130725013 15474688 3356 4089446400 134512640 136421960 4289993936 18446744073709551615 134902512 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13755/statm: 3778 3356 214 467 0 3309 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 15112

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 13759
/proc/meminfo: memFree=30899416/32951124 swapFree=67111528/67111528
[pid=13755] ppid=13753 vsize=15112 CPUtime=102.29
/proc/13755/stat : 13755 (pbct) R 13753 13755 12555 0 -1 4202496 3441 0 0 0 9991 238 0 0 25 0 1 0 130725013 15474688 3361 4089446400 134512640 136421960 4289993936 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13755/statm: 3778 3361 214 467 0 3309 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 15112

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 13760
/proc/meminfo: memFree=30899248/32951124 swapFree=67111528/67111528
[pid=13755] ppid=13753 vsize=15260 CPUtime=162.29
/proc/13755/stat : 13755 (pbct) R 13753 13755 12555 0 -1 4202496 3496 0 0 0 15969 260 0 0 25 0 1 0 130725013 15626240 3413 4089446400 134512640 136421960 4289993936 18446744073709551615 134902408 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13755/statm: 3815 3413 237 467 0 3346 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 15260

[startup+222.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/197 13761
/proc/meminfo: memFree=30899060/32951124 swapFree=67111528/67111528
[pid=13755] ppid=13753 vsize=15260 CPUtime=222.3
/proc/13755/stat : 13755 (pbct) R 13753 13755 12555 0 -1 4202496 3500 0 0 0 21946 284 0 0 25 0 1 0 130725013 15626240 3414 4089446400 134512640 136421960 4289993936 18446744073709551615 134902394 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13755/statm: 3815 3414 237 467 0 3346 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 15260

[startup+282.301 s]
/proc/loadavg: 2.01 2.01 2.00 3/197 13763
/proc/meminfo: memFree=30899024/32951124 swapFree=67111528/67111528
[pid=13755] ppid=13753 vsize=15384 CPUtime=282.29
/proc/13755/stat : 13755 (pbct) R 13753 13755 12555 0 -1 4202496 3505 0 0 0 27920 309 0 0 25 0 1 0 130725013 15753216 3419 4089446400 134512640 136421960 4289993936 18446744073709551615 134902536 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13755/statm: 3846 3419 237 467 0 3377 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 15384

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 13765
/proc/meminfo: memFree=30899096/32951124 swapFree=67111528/67111528
[pid=13755] ppid=13753 vsize=15384 CPUtime=342.29
/proc/13755/stat : 13755 (pbct) R 13753 13755 12555 0 -1 4202496 3506 0 0 0 33898 331 0 0 25 0 1 0 130725013 15753216 3420 4089446400 134512640 136421960 4289993936 18446744073709551615 134902283 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13755/statm: 3846 3420 237 467 0 3377 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 15384

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 13767
/proc/meminfo: memFree=30898812/32951124 swapFree=67111528/67111528
[pid=13755] ppid=13753 vsize=15384 CPUtime=402.3
/proc/13755/stat : 13755 (pbct) R 13753 13755 12555 0 -1 4202496 3507 0 0 0 39875 355 0 0 25 0 1 0 130725013 15753216 3421 4089446400 134512640 136421960 4289993936 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13755/statm: 3846 3421 237 467 0 3377 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 15384

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 13768
/proc/meminfo: memFree=30898388/32951124 swapFree=67111528/67111528
[pid=13755] ppid=13753 vsize=15900 CPUtime=462.3
/proc/13755/stat : 13755 (pbct) R 13753 13755 12555 0 -1 4202496 3651 0 0 0 45822 408 0 0 25 0 1 0 130725013 16281600 3565 4089446400 134512640 136421960 4289993936 18446744073709551615 134902265 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13755/statm: 3975 3565 237 467 0 3506 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 15900

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 13769
/proc/meminfo: memFree=30897344/32951124 swapFree=67111528/67111528
[pid=13755] ppid=13753 vsize=16892 CPUtime=522.31
/proc/13755/stat : 13755 (pbct) R 13753 13755 12555 0 -1 4202496 3898 0 0 0 51713 518 0 0 25 0 1 0 130725013 17297408 3812 4089446400 134512640 136421960 4289993936 18446744073709551615 134902548 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13755/statm: 4223 3812 237 467 0 3754 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 16892

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13801
/proc/meminfo: memFree=31038900/32951124 swapFree=67111528/67111528
[pid=13755] ppid=13753 vsize=17156 CPUtime=582.3
/proc/13755/stat : 13755 (pbct) R 13753 13755 12555 0 -1 4202496 3970 0 0 0 57641 589 0 0 25 0 1 0 130725013 17567744 3884 4089446400 134512640 136421960 4289993936 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/13755/statm: 4289 3884 237 467 0 3820 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 17156

[startup+642.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13803
/proc/meminfo: memFree=30809380/32951124 swapFree=67111528/67111528
[pid=13755] ppid=13753 vsize=17408 CPUtime=642.31
/proc/13755/stat : 13755 (pbct) R 13753 13755 12555 0 -1 4202496 4020 0 0 0 63482 749 0 0 25 0 1 0 130725013 17825792 3934 4089446400 134512640 136421960 4289993936 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/13755/statm: 4352 3934 237 467 0 3883 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 17408

[startup+702.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13807
/proc/meminfo: memFree=30341404/32951124 swapFree=67111528/67111528
[pid=13755] ppid=13753 vsize=18716 CPUtime=822.31
/proc/13755/stat : 13755 (pbct) R 13753 13755 12555 0 -1 4202496 4520 0 0 0 80719 1512 0 0 25 0 1 0 130725013 19165184 4257 4089446400 134512640 136421960 4289993936 18446744073709551615 134902408 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/13755/statm: 4679 4257 237 467 0 4210 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 18716

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13809
/proc/meminfo: memFree=30164804/32951124 swapFree=67111528/67111528
[pid=13755] ppid=13753 vsize=19152 CPUtime=882.31
/proc/13755/stat : 13755 (pbct) R 13753 13755 12555 0 -1 4202496 4643 0 0 0 86546 1685 0 0 25 0 1 0 130725013 19611648 4380 4089446400 134512640 136421960 4289993936 18446744073709551615 134902414 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/13755/statm: 4788 4380 237 467 0 4319 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 19152

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13811
/proc/meminfo: memFree=30002328/32951124 swapFree=67111528/67111528
[pid=13755] ppid=13753 vsize=19152 CPUtime=942.32
/proc/13755/stat : 13755 (pbct) R 13753 13755 12555 0 -1 4202496 4643 0 0 0 92307 1925 0 0 25 0 1 0 130725013 19611648 4380 4089446400 134512640 136421960 4289993936 18446744073709551615 134902521 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/13755/statm: 4788 4380 237 467 0 4319 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 19152

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13813
/proc/meminfo: memFree=29891192/32951124 swapFree=67111528/67111528
[pid=13755] ppid=13753 vsize=19152 CPUtime=1002.32
/proc/13755/stat : 13755 (pbct) R 13753 13755 12555 0 -1 4202496 4644 0 0 0 98169 2063 0 0 25 0 1 0 130725013 19611648 4381 4089446400 134512640 136421960 4289993936 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/13755/statm: 4788 4381 237 467 0 4319 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 19152

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13814
/proc/meminfo: memFree=29743848/32951124 swapFree=67111528/67111528
[pid=13755] ppid=13753 vsize=19520 CPUtime=1062.32
/proc/13755/stat : 13755 (pbct) R 13753 13755 12555 0 -1 4202496 4740 0 0 0 103989 2243 0 0 25 0 1 0 130725013 19988480 4477 4089446400 134512640 136421960 4289993936 18446744073709551615 134902384 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/13755/statm: 4880 4477 237 467 0 4411 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 19520

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13815
/proc/meminfo: memFree=29652052/32951124 swapFree=67111528/67111528
[pid=13755] ppid=13753 vsize=19784 CPUtime=1122.32
/proc/13755/stat : 13755 (pbct) R 13753 13755 12555 0 -1 4202496 4806 0 0 0 109837 2395 0 0 25 0 1 0 130725013 20258816 4543 4089446400 134512640 136421960 4289993936 18446744073709551615 134902408 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/13755/statm: 4946 4543 237 467 0 4477 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 19784

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13817
/proc/meminfo: memFree=29492804/32951124 swapFree=67111528/67111528
[pid=13755] ppid=13753 vsize=20960 CPUtime=1182.32
/proc/13755/stat : 13755 (pbct) R 13753 13755 12555 0 -1 4202496 5358 0 0 0 115006 3226 0 0 25 0 1 0 130725013 21463040 4839 4089446400 134512640 136421960 4289993936 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/13755/statm: 5240 4839 237 467 0 4771 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 20960

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13819
/proc/meminfo: memFree=29395924/32951124 swapFree=67111528/67111528
[pid=13755] ppid=13753 vsize=20960 CPUtime=1242.33
/proc/13755/stat : 13755 (pbct) R 13753 13755 12555 0 -1 4202496 5358 0 0 0 120808 3425 0 0 25 0 1 0 130725013 21463040 4839 4089446400 134512640 136421960 4289993936 18446744073709551615 134902237 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/13755/statm: 5240 4839 237 467 0 4771 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 20960

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13821
/proc/meminfo: memFree=29277344/32951124 swapFree=67111528/67111528
[pid=13755] ppid=13753 vsize=20960 CPUtime=1302.33
/proc/13755/stat : 13755 (pbct) R 13753 13755 12555 0 -1 4202496 5358 0 0 0 126703 3530 0 0 25 0 1 0 130725013 21463040 4839 4089446400 134512640 136421960 4289993936 18446744073709551615 134902178 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/13755/statm: 5240 4839 237 467 0 4771 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 20960

[startup+1362.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 13822
/proc/meminfo: memFree=29131236/32951124 swapFree=67111528/67111528
[pid=13755] ppid=13753 vsize=21880 CPUtime=1362.32
/proc/13755/stat : 13755 (pbct) R 13753 13755 12555 0 -1 4202496 5619 0 0 0 132472 3760 0 0 25 0 1 0 130725013 22405120 5059 4089446400 134512640 136421960 4289993936 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/13755/statm: 5470 5059 237 467 0 5001 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 21880

[startup+1422.31 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 13832
/proc/meminfo: memFree=29005392/32951124 swapFree=67111528/67111528
[pid=13755] ppid=13753 vsize=21880 CPUtime=1422.33
/proc/13755/stat : 13755 (pbct) R 13753 13755 12555 0 -1 4202496 5619 0 0 0 138285 3948 0 0 25 0 1 0 130725013 22405120 5059 4089446400 134512640 136421960 4289993936 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/13755/statm: 5470 5059 237 467 0 5001 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 21880

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13834
/proc/meminfo: memFree=28862644/32951124 swapFree=67111528/67111528
[pid=13755] ppid=13753 vsize=21880 CPUtime=1482.33
/proc/13755/stat : 13755 (pbct) R 13753 13755 12555 0 -1 4202496 5619 0 0 0 144047 4186 0 0 25 0 1 0 130725013 22405120 5059 4089446400 134512640 136421960 4289993936 18446744073709551615 134902117 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/13755/statm: 5470 5059 237 467 0 5001 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 21880

[startup+1542.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 13836
/proc/meminfo: memFree=28731044/32951124 swapFree=67111528/67111528
[pid=13755] ppid=13753 vsize=21880 CPUtime=1542.33
/proc/13755/stat : 13755 (pbct) R 13753 13755 12555 0 -1 4202496 5619 0 0 0 149941 4292 0 0 25 0 1 0 130725013 22405120 5059 4089446400 134512640 136421960 4289993936 18446744073709551615 134902521 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/13755/statm: 5470 5059 237 467 0 5001 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 21880

[startup+1602.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 13838
/proc/meminfo: memFree=28572668/32951124 swapFree=67111528/67111528
[pid=13755] ppid=13753 vsize=22012 CPUtime=1602.33
/proc/13755/stat : 13755 (pbct) R 13753 13755 12555 0 -1 4202496 5640 0 0 0 155513 4720 0 0 25 0 1 0 130725013 22540288 5075 4089446400 134512640 136421960 4289993936 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/13755/statm: 5503 5075 237 467 0 5034 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 22012

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13839
/proc/meminfo: memFree=28431392/32951124 swapFree=67111528/67111528
[pid=13755] ppid=13753 vsize=22012 CPUtime=1662.33
/proc/13755/stat : 13755 (pbct) R 13753 13755 12555 0 -1 4202496 5666 0 0 0 161323 4910 0 0 25 0 1 0 130725013 22540288 5101 4089446400 134512640 136421960 4289993936 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/13755/statm: 5503 5101 237 467 0 5034 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 22012

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13840
/proc/meminfo: memFree=28303880/32951124 swapFree=67111528/67111528
[pid=13755] ppid=13753 vsize=22012 CPUtime=1722.34
/proc/13755/stat : 13755 (pbct) R 13753 13755 12555 0 -1 4202496 5666 0 0 0 167185 5049 0 0 25 0 1 0 130725013 22540288 5101 4089446400 134512640 136421960 4289993936 18446744073709551615 134902265 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/13755/statm: 5503 5101 237 467 0 5034 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 22012

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13842
/proc/meminfo: memFree=28168932/32951124 swapFree=67111528/67111528
[pid=13755] ppid=13753 vsize=22276 CPUtime=1782.34
/proc/13755/stat : 13755 (pbct) R 13753 13755 12555 0 -1 4202496 5716 0 0 0 172919 5315 0 0 25 0 1 0 130725013 22810624 5151 4089446400 134512640 136421960 4289993936 18446744073709551615 134902408 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/13755/statm: 5569 5151 237 467 0 5100 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 22276



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13843
/proc/meminfo: memFree=28118448/32951124 swapFree=67111528/67111528
[pid=13755] ppid=13753 vsize=22376 CPUtime=1800.04
/proc/13755/stat : 13755 (pbct) R 13753 13755 12555 0 -1 4202496 5744 0 0 0 174618 5386 0 0 25 0 1 0 130725013 22913024 5179 4089446400 134512640 136421960 4289993936 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/13755/statm: 5594 5179 237 467 0 5125 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 22376

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.01
CPU time (s): 1800.05
CPU user time (s): 1746.19
CPU system time (s): 53.8678
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 22408

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

runsolver used 2.53261 second user time and 5.66314 second system time

The end