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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2695473-1277920538/watcher-2695473-1277920538 -o /tmp/evaluation-result-2695473-1277920538/solver-2695473-1277920538 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2695473-1277920538.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.07 2.03 2.00 4/178 13686
/proc/meminfo: memFree=30753024/32951124 swapFree=67111528/67111528
[pid=13686] ppid=13684 vsize=2268 CPUtime=0
/proc/13686/stat : 13686 (pbct) R 13684 13686 12709 0 -1 4202496 277 0 0 0 0 0 0 0 25 0 1 0 133351930 2322432 196 4089446400 134512640 136421960 4287032096 18446744073709551615 135811817 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/13686/statm: 567 196 144 467 0 98 0

[startup+0.0792241 s]
/proc/loadavg: 2.07 2.03 2.00 4/178 13686
/proc/meminfo: memFree=30753024/32951124 swapFree=67111528/67111528
[pid=13686] ppid=13684 vsize=18812 CPUtime=0.07
/proc/13686/stat : 13686 (pbct) R 13684 13686 12709 0 -1 4202496 4365 0 0 0 7 0 0 0 25 0 1 0 133351930 19263488 4263 4089446400 134512640 136421960 4287032096 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/13686/statm: 4703 4263 213 467 0 4234 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 18812

[startup+0.10023 s]
/proc/loadavg: 2.07 2.03 2.00 4/178 13686
/proc/meminfo: memFree=30753024/32951124 swapFree=67111528/67111528
[pid=13686] ppid=13684 vsize=18812 CPUtime=0.09
/proc/13686/stat : 13686 (pbct) R 13684 13686 12709 0 -1 4202496 4366 0 0 0 8 1 0 0 25 0 1 0 133351930 19263488 4264 4089446400 134512640 136421960 4287032096 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/13686/statm: 4703 4264 214 467 0 4234 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18812

[startup+0.300192 s]
/proc/loadavg: 2.07 2.03 2.00 4/178 13686
/proc/meminfo: memFree=30753024/32951124 swapFree=67111528/67111528
[pid=13686] ppid=13684 vsize=18812 CPUtime=0.29
/proc/13686/stat : 13686 (pbct) R 13684 13686 12709 0 -1 4202496 4383 0 0 0 21 8 0 0 25 0 1 0 133351930 19263488 4281 4089446400 134512640 136421960 4287032096 18446744073709551615 134620003 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/13686/statm: 4703 4281 214 467 0 4234 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 18812

[startup+0.700105 s]
/proc/loadavg: 2.07 2.03 2.00 4/178 13686
/proc/meminfo: memFree=30753024/32951124 swapFree=67111528/67111528
[pid=13686] ppid=13684 vsize=18940 CPUtime=0.69
/proc/13686/stat : 13686 (pbct) R 13684 13686 12709 0 -1 4202496 4394 0 0 0 53 16 0 0 25 0 1 0 133351930 19394560 4292 4089446400 134512640 136421960 4287032096 18446744073709551615 134855922 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/13686/statm: 4735 4292 214 467 0 4266 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 18940

[startup+1.50096 s]
/proc/loadavg: 2.07 2.03 2.00 3/179 13687
/proc/meminfo: memFree=30734416/32951124 swapFree=67111528/67111528
[pid=13686] ppid=13684 vsize=18940 CPUtime=1.49
/proc/13686/stat : 13686 (pbct) R 13684 13686 12709 0 -1 4202496 4410 0 0 0 126 23 0 0 25 0 1 0 133351930 19394560 4308 4089446400 134512640 136421960 4287032096 18446744073709551615 134902408 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/13686/statm: 4735 4308 214 467 0 4266 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 18940

[startup+3.10065 s]
/proc/loadavg: 2.07 2.03 2.00 3/179 13687
/proc/meminfo: memFree=30732308/32951124 swapFree=67111528/67111528
[pid=13686] ppid=13684 vsize=18940 CPUtime=3.09
/proc/13686/stat : 13686 (pbct) R 13684 13686 12709 0 -1 4202496 4412 0 0 0 284 25 0 0 25 0 1 0 133351930 19394560 4310 4089446400 134512640 136421960 4287032096 18446744073709551615 134862098 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/13686/statm: 4735 4310 214 467 0 4266 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 18940

[startup+6.30106 s]
/proc/loadavg: 2.07 2.03 2.00 3/179 13687
/proc/meminfo: memFree=30728972/32951124 swapFree=67111528/67111528
[pid=13686] ppid=13684 vsize=18940 CPUtime=6.29
/proc/13686/stat : 13686 (pbct) R 13684 13686 12709 0 -1 4202496 4416 0 0 0 602 27 0 0 25 0 1 0 133351930 19394560 4314 4089446400 134512640 136421960 4287032096 18446744073709551615 134902444 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/13686/statm: 4735 4314 214 467 0 4266 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 18940

[startup+12.7008 s]
/proc/loadavg: 2.06 2.03 2.00 3/179 13687
/proc/meminfo: memFree=30721284/32951124 swapFree=67111528/67111528
[pid=13686] ppid=13684 vsize=19068 CPUtime=12.7
/proc/13686/stat : 13686 (pbct) R 13684 13686 12709 0 -1 4202496 4419 0 0 0 1240 30 0 0 25 0 1 0 133351930 19525632 4317 4089446400 134512640 136421960 4287032096 18446744073709551615 134902245 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/13686/statm: 4767 4317 214 467 0 4298 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 19068

[startup+25.5004 s]
/proc/loadavg: 2.05 2.02 2.00 3/179 13687
/proc/meminfo: memFree=30703784/32951124 swapFree=67111528/67111528
[pid=13686] ppid=13684 vsize=19068 CPUtime=25.5
/proc/13686/stat : 13686 (pbct) R 13684 13686 12709 0 -1 4202496 4423 0 0 0 2516 34 0 0 25 0 1 0 133351930 19525632 4321 4089446400 134512640 136421960 4287032096 18446744073709551615 134902536 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/13686/statm: 4767 4321 214 467 0 4298 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 19068

[startup+51.1006 s]
/proc/loadavg: 2.03 2.02 2.00 3/179 13688
/proc/meminfo: memFree=30667164/32951124 swapFree=67111528/67111528
[pid=13686] ppid=13684 vsize=19068 CPUtime=51.09
/proc/13686/stat : 13686 (pbct) R 13684 13686 12709 0 -1 4202496 4438 0 0 0 5070 39 0 0 25 0 1 0 133351930 19525632 4336 4089446400 134512640 136421960 4287032096 18446744073709551615 134857649 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/13686/statm: 4767 4336 214 467 0 4298 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 19068

[startup+102.306 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 13689
/proc/meminfo: memFree=30594356/32951124 swapFree=67111528/67111528
[pid=13686] ppid=13684 vsize=19192 CPUtime=102.3
/proc/13686/stat : 13686 (pbct) R 13684 13686 12709 0 -1 4202496 4450 0 0 0 10180 50 0 0 25 0 1 0 133351930 19652608 4348 4089446400 134512640 136421960 4287032096 18446744073709551615 134902316 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/13686/statm: 4798 4348 214 467 0 4329 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 19192

[startup+162.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 13691
/proc/meminfo: memFree=30497960/32951124 swapFree=67111528/67111528
[pid=13686] ppid=13684 vsize=19192 CPUtime=162.29
/proc/13686/stat : 13686 (pbct) R 13684 13686 12709 0 -1 4202496 4465 0 0 0 16171 58 0 0 25 0 1 0 133351930 19652608 4363 4089446400 134512640 136421960 4287032096 18446744073709551615 134902237 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/13686/statm: 4798 4363 214 467 0 4329 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 19192

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 13693
/proc/meminfo: memFree=30422904/32951124 swapFree=67111528/67111528
[pid=13686] ppid=13684 vsize=19192 CPUtime=222.3
/proc/13686/stat : 13686 (pbct) R 13684 13686 12709 0 -1 4202496 4474 0 0 0 22162 68 0 0 25 0 1 0 133351930 19652608 4372 4089446400 134512640 136421960 4287032096 18446744073709551615 134902245 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/13686/statm: 4798 4372 214 467 0 4329 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 19192

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13694
/proc/meminfo: memFree=30345240/32951124 swapFree=67111528/67111528
[pid=13686] ppid=13684 vsize=19316 CPUtime=282.31
/proc/13686/stat : 13686 (pbct) R 13684 13686 12709 0 -1 4202496 4485 0 0 0 28154 77 0 0 25 0 1 0 133351930 19779584 4383 4089446400 134512640 136421960 4287032096 18446744073709551615 134902414 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/13686/statm: 4829 4383 214 467 0 4360 0
Current children cumulated CPU time (s) 282.31
Current children cumulated vsize (KiB) 19316

[startup+342.301 s]
/proc/loadavg: 2.06 2.01 2.00 3/179 13705
/proc/meminfo: memFree=30269632/32951124 swapFree=67111528/67111528
[pid=13686] ppid=13684 vsize=19316 CPUtime=342.3
/proc/13686/stat : 13686 (pbct) R 13684 13686 12709 0 -1 4202496 4494 0 0 0 34145 85 0 0 25 0 1 0 133351930 19779584 4392 4089446400 134512640 136421960 4287032096 18446744073709551615 134857072 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13686/statm: 4829 4392 214 467 0 4360 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 19316

[startup+402.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 13706
/proc/meminfo: memFree=30199924/32951124 swapFree=67111528/67111528
[pid=13686] ppid=13684 vsize=19464 CPUtime=402.3
/proc/13686/stat : 13686 (pbct) R 13684 13686 12709 0 -1 4202496 4510 0 0 0 40139 91 0 0 25 0 1 0 133351930 19931136 4408 4089446400 134512640 136421960 4287032096 18446744073709551615 134902384 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13686/statm: 4866 4408 214 467 0 4397 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 19464

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13708
/proc/meminfo: memFree=30131800/32951124 swapFree=67111528/67111528
[pid=13686] ppid=13684 vsize=19464 CPUtime=462.3
/proc/13686/stat : 13686 (pbct) R 13684 13686 12709 0 -1 4202496 4516 0 0 0 46135 95 0 0 25 0 1 0 133351930 19931136 4414 4089446400 134512640 136421960 4287032096 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13686/statm: 4866 4414 214 467 0 4397 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 19464

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13710
/proc/meminfo: memFree=30066412/32951124 swapFree=67111528/67111528
[pid=13686] ppid=13684 vsize=19464 CPUtime=522.3
/proc/13686/stat : 13686 (pbct) R 13684 13686 12709 0 -1 4202496 4525 0 0 0 52129 101 0 0 25 0 1 0 133351930 19931136 4423 4089446400 134512640 136421960 4287032096 18446744073709551615 134902271 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13686/statm: 4866 4423 214 467 0 4397 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 19464

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13711
/proc/meminfo: memFree=29979568/32951124 swapFree=67111528/67111528
[pid=13686] ppid=13684 vsize=19464 CPUtime=582.31
/proc/13686/stat : 13686 (pbct) R 13684 13686 12709 0 -1 4202496 4532 0 0 0 58125 106 0 0 25 0 1 0 133351930 19931136 4430 4089446400 134512640 136421960 4287032096 18446744073709551615 134902245 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13686/statm: 4866 4430 214 467 0 4397 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 19464

[startup+642.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13713
/proc/meminfo: memFree=29907232/32951124 swapFree=67111528/67111528
[pid=13686] ppid=13684 vsize=19464 CPUtime=642.32
/proc/13686/stat : 13686 (pbct) R 13684 13686 12709 0 -1 4202496 4540 0 0 0 64120 112 0 0 25 0 1 0 133351930 19931136 4438 4089446400 134512640 136421960 4287032096 18446744073709551615 134902408 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13686/statm: 4866 4438 214 467 0 4397 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 19464

[startup+702.3 s]

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

[startup+822.301 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 13718
/proc/meminfo: memFree=29655756/32951124 swapFree=67111528/67111528
[pid=13686] ppid=13684 vsize=19748 CPUtime=822.32
/proc/13686/stat : 13686 (pbct) R 13684 13686 12709 0 -1 4202496 4579 0 0 0 82103 129 0 0 25 0 1 0 133351930 20221952 4477 4089446400 134512640 136421960 4287032096 18446744073709551615 134902265 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13686/statm: 4937 4477 214 467 0 4468 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 19748

[startup+882.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/179 13719
/proc/meminfo: memFree=29578340/32951124 swapFree=67111528/67111528
[pid=13686] ppid=13684 vsize=19748 CPUtime=882.32
/proc/13686/stat : 13686 (pbct) R 13684 13686 12709 0 -1 4202496 4579 0 0 0 88099 133 0 0 25 0 1 0 133351930 20221952 4477 4089446400 134512640 136421960 4287032096 18446744073709551615 134902408 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13686/statm: 4937 4477 214 467 0 4468 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 19748

[startup+942.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 13721
/proc/meminfo: memFree=29487280/32951124 swapFree=67111528/67111528
[pid=13686] ppid=13684 vsize=19748 CPUtime=942.32
/proc/13686/stat : 13686 (pbct) R 13684 13686 12709 0 -1 4202496 4580 0 0 0 94094 138 0 0 25 0 1 0 133351930 20221952 4478 4089446400 134512640 136421960 4287032096 18446744073709551615 134902408 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13686/statm: 4937 4478 214 467 0 4468 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 19748

[startup+1002.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 13722
/proc/meminfo: memFree=29405160/32951124 swapFree=67111528/67111528
[pid=13686] ppid=13684 vsize=19748 CPUtime=1002.32
/proc/13686/stat : 13686 (pbct) R 13684 13686 12709 0 -1 4202496 4598 0 0 0 100090 142 0 0 25 0 1 0 133351930 20221952 4496 4089446400 134512640 136421960 4287032096 18446744073709551615 134902408 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13686/statm: 4937 4496 214 467 0 4468 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 19748

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13724
/proc/meminfo: memFree=29312244/32951124 swapFree=67111528/67111528
[pid=13686] ppid=13684 vsize=19748 CPUtime=1062.33
/proc/13686/stat : 13686 (pbct) R 13684 13686 12709 0 -1 4202496 4600 0 0 0 106085 148 0 0 25 0 1 0 133351930 20221952 4498 4089446400 134512640 136421960 4287032096 18446744073709551615 134902408 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13686/statm: 4937 4498 214 467 0 4468 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 19748

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 13727
/proc/meminfo: memFree=31790108/32951124 swapFree=67111528/67111528
[pid=13686] ppid=13684 vsize=19748 CPUtime=1122.33
/proc/13686/stat : 13686 (pbct) R 13684 13686 12709 0 -1 4202496 4607 0 0 0 112081 152 0 0 25 0 1 0 133351930 20221952 4505 4089446400 134512640 136421960 4287032096 18446744073709551615 134902536 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13686/statm: 4937 4505 214 467 0 4468 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 19748

[startup+1182.3 s]
/proc/loadavg: 1.97 1.98 1.99 3/179 13806
/proc/meminfo: memFree=31787728/32951124 swapFree=67111528/67111528
[pid=13686] ppid=13684 vsize=19872 CPUtime=1182.33
/proc/13686/stat : 13686 (pbct) R 13684 13686 12709 0 -1 4202496 4614 0 0 0 118077 156 0 0 25 0 1 0 133351930 20348928 4512 4089446400 134512640 136421960 4287032096 18446744073709551615 134902408 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13686/statm: 4968 4512 214 467 0 4499 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 19872

[startup+1242.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 13808
/proc/meminfo: memFree=31787324/32951124 swapFree=67111528/67111528
[pid=13686] ppid=13684 vsize=19872 CPUtime=1242.33
/proc/13686/stat : 13686 (pbct) R 13684 13686 12709 0 -1 4202496 4620 0 0 0 124074 159 0 0 25 0 1 0 133351930 20348928 4518 4089446400 134512640 136421960 4287032096 18446744073709551615 134857649 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13686/statm: 4968 4518 214 467 0 4499 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 19872

[startup+1302.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 13809
/proc/meminfo: memFree=31787300/32951124 swapFree=67111528/67111528
[pid=13686] ppid=13684 vsize=19872 CPUtime=1302.33
/proc/13686/stat : 13686 (pbct) R 13684 13686 12709 0 -1 4202496 4626 0 0 0 130071 162 0 0 25 0 1 0 133351930 20348928 4524 4089446400 134512640 136421960 4287032096 18446744073709551615 134902408 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13686/statm: 4968 4524 214 467 0 4499 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 19872

[startup+1362.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 13811
/proc/meminfo: memFree=31787276/32951124 swapFree=67111528/67111528
[pid=13686] ppid=13684 vsize=19872 CPUtime=1362.33
/proc/13686/stat : 13686 (pbct) R 13684 13686 12709 0 -1 4202496 4631 0 0 0 136068 165 0 0 25 0 1 0 133351930 20348928 4529 4089446400 134512640 136421960 4287032096 18446744073709551615 134902237 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13686/statm: 4968 4529 214 467 0 4499 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 19872

[startup+1422.31 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 13813
/proc/meminfo: memFree=31787236/32951124 swapFree=67111528/67111528
[pid=13686] ppid=13684 vsize=19872 CPUtime=1422.35
/proc/13686/stat : 13686 (pbct) R 13684 13686 12709 0 -1 4202496 4637 0 0 0 142066 169 0 0 25 0 1 0 133351930 20348928 4535 4089446400 134512640 136421960 4287032096 18446744073709551615 134902408 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/13686/statm: 4968 4535 214 467 0 4499 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 19872

[startup+1482.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 13814
/proc/meminfo: memFree=31787316/32951124 swapFree=67111528/67111528
[pid=13686] ppid=13684 vsize=19872 CPUtime=1482.33
/proc/13686/stat : 13686 (pbct) R 13684 13686 12709 0 -1 4202496 4643 0 0 0 148062 171 0 0 25 0 1 0 133351930 20348928 4541 4089446400 134512640 136421960 4287032096 18446744073709551615 134902408 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13686/statm: 4968 4541 214 467 0 4499 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 19872

[startup+1542.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 13816
/proc/meminfo: memFree=31787424/32951124 swapFree=67111528/67111528
[pid=13686] ppid=13684 vsize=19872 CPUtime=1542.34
/proc/13686/stat : 13686 (pbct) R 13684 13686 12709 0 -1 4202496 4647 0 0 0 154060 174 0 0 25 0 1 0 133351930 20348928 4545 4089446400 134512640 136421960 4287032096 18446744073709551615 134902521 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13686/statm: 4968 4545 214 467 0 4499 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 19872

[startup+1602.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 13817
/proc/meminfo: memFree=31787524/32951124 swapFree=67111528/67111528
[pid=13686] ppid=13684 vsize=19992 CPUtime=1602.34
/proc/13686/stat : 13686 (pbct) R 13684 13686 12709 0 -1 4202496 4652 0 0 0 160057 177 0 0 25 0 1 0 133351930 20471808 4550 4089446400 134512640 136421960 4287032096 18446744073709551615 134902245 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13686/statm: 4998 4550 214 467 0 4529 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 19992

[startup+1662.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 13819
/proc/meminfo: memFree=31787348/32951124 swapFree=67111528/67111528
[pid=13686] ppid=13684 vsize=19992 CPUtime=1662.34
/proc/13686/stat : 13686 (pbct) R 13684 13686 12709 0 -1 4202496 4658 0 0 0 166055 179 0 0 25 0 1 0 133351930 20471808 4556 4089446400 134512640 136421960 4287032096 18446744073709551615 134902129 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13686/statm: 4998 4556 214 467 0 4529 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 19992

[startup+1722.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 13821
/proc/meminfo: memFree=31787200/32951124 swapFree=67111528/67111528
[pid=13686] ppid=13684 vsize=20156 CPUtime=1722.34
/proc/13686/stat : 13686 (pbct) R 13684 13686 12709 0 -1 4202496 4686 0 0 0 172052 182 0 0 25 0 1 0 133351930 20639744 4584 4089446400 134512640 136421960 4287032096 18446744073709551615 134902248 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13686/statm: 5039 4584 214 467 0 4570 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 20156

[startup+1782.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 13822
/proc/meminfo: memFree=31787164/32951124 swapFree=67111528/67111528
[pid=13686] ppid=13684 vsize=20352 CPUtime=1782.34
/proc/13686/stat : 13686 (pbct) R 13684 13686 12709 0 -1 4202496 4747 0 0 0 178049 185 0 0 25 0 1 0 133351930 20840448 4643 4089446400 134512640 136421960 4287032096 18446744073709551615 134902304 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13686/statm: 5088 4643 237 467 0 4619 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 20352



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 13823
/proc/meminfo: memFree=31787272/32951124 swapFree=67111528/67111528
[pid=13686] ppid=13684 vsize=20352 CPUtime=1800.06
/proc/13686/stat : 13686 (pbct) R 13684 13686 12709 0 -1 4202496 4747 0 0 0 179819 187 0 0 25 0 1 0 133351930 20840448 4643 4089446400 134512640 136421960 4287032096 18446744073709551615 134902408 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13686/statm: 5088 4643 237 467 0 4619 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 20352

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.07
CPU user time (s): 1798.19
CPU system time (s): 1.87271
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 20352

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

runsolver used 2.47062 second user time and 5.73813 second system time

The end