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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2682268-1277483467/watcher-2682268-1277483467 -o /tmp/evaluation-result-2682268-1277483467/solver-2682268-1277483467 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2682268-1277483467.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 0.92 3/106 30682
/proc/meminfo: memFree=1857064/2059040 swapFree=4140792/4192956
[pid=30682] ppid=30680 vsize=2280 CPUtime=0
/proc/30682/stat : 30682 (pbct) R 30680 30682 30067 0 -1 4202496 271 0 0 0 0 0 0 0 20 0 1 0 89639599 2334720 190 1992294400 134512640 136421960 4290424416 18446744073709551615 134523897 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30682/statm: 570 190 145 467 0 101 0

[startup+0.094952 s]
/proc/loadavg: 1.00 1.00 0.92 3/106 30682
/proc/meminfo: memFree=1857064/2059040 swapFree=4140792/4192956
[pid=30682] ppid=30680 vsize=2600 CPUtime=0.09
/proc/30682/stat : 30682 (pbct) R 30680 30682 30067 0 -1 4202496 355 0 0 0 9 0 0 0 20 0 1 0 89639599 2662400 274 1992294400 134512640 136421960 4290424416 18446744073709551615 135825886 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30682/statm: 650 274 145 467 0 181 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2600

[startup+0.100952 s]
/proc/loadavg: 1.00 1.00 0.92 3/106 30682
/proc/meminfo: memFree=1857064/2059040 swapFree=4140792/4192956
[pid=30682] ppid=30680 vsize=2600 CPUtime=0.09
/proc/30682/stat : 30682 (pbct) R 30680 30682 30067 0 -1 4202496 361 0 0 0 9 0 0 0 20 0 1 0 89639599 2662400 280 1992294400 134512640 136421960 4290424416 18446744073709551615 135873694 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30682/statm: 650 280 145 467 0 181 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2600

[startup+0.300972 s]
/proc/loadavg: 1.00 1.00 0.92 3/106 30682
/proc/meminfo: memFree=1857064/2059040 swapFree=4140792/4192956
[pid=30682] ppid=30680 vsize=3520 CPUtime=0.29
/proc/30682/stat : 30682 (pbct) R 30680 30682 30067 0 -1 4202496 592 0 0 0 29 0 0 0 20 0 1 0 89639599 3604480 478 1992294400 134512640 136421960 4290424416 18446744073709551615 134516661 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30682/statm: 880 478 145 467 0 411 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3520

[startup+0.70101 s]
/proc/loadavg: 1.00 1.00 0.92 3/106 30682
/proc/meminfo: memFree=1857064/2059040 swapFree=4140792/4192956
[pid=30682] ppid=30680 vsize=5228 CPUtime=0.69
/proc/30682/stat : 30682 (pbct) R 30680 30682 30067 0 -1 4202496 1057 0 0 0 68 1 0 0 21 0 1 0 89639599 5353472 878 1992294400 134512640 136421960 4290424416 18446744073709551615 134518611 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30682/statm: 1307 878 145 467 0 838 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5228

[startup+1.50109 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 30683
/proc/meminfo: memFree=1838332/2059040 swapFree=4140792/4192956
[pid=30682] ppid=30680 vsize=124248 CPUtime=1.49
/proc/30682/stat : 30682 (pbct) R 30680 30682 30067 0 -1 4202496 31858 0 0 0 136 13 0 0 23 0 1 0 89639599 127229952 29511 1992294400 134512640 136421960 4290424416 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30682/statm: 31062 29516 195 467 0 30593 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 124248

[startup+3.10125 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 30683
/proc/meminfo: memFree=1709248/2059040 swapFree=4140792/4192956
[pid=30682] ppid=30680 vsize=166700 CPUtime=3.09
/proc/30682/stat : 30682 (pbct) R 30680 30682 30067 0 -1 4202496 43062 0 0 0 290 19 0 0 25 0 1 0 89639599 170700800 39428 1992294400 134512640 136421960 4290424416 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30682/statm: 41675 39428 236 467 0 41206 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 166700

[startup+6.30056 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 30683
/proc/meminfo: memFree=1677628/2059040 swapFree=4140792/4192956
[pid=30682] ppid=30680 vsize=196832 CPUtime=6.29
/proc/30682/stat : 30682 (pbct) R 30680 30682 30067 0 -1 4202496 50581 0 0 0 602 27 0 0 25 0 1 0 89639599 201555968 46947 1992294400 134512640 136421960 4290424416 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30682/statm: 49208 46947 236 467 0 48739 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 196832

[startup+12.7012 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 30683
/proc/meminfo: memFree=1620092/2059040 swapFree=4140792/4192956
[pid=30682] ppid=30680 vsize=251512 CPUtime=12.68
/proc/30682/stat : 30682 (pbct) R 30680 30682 30067 0 -1 4202496 64250 0 0 0 1229 39 0 0 25 0 1 0 89639599 257548288 60615 1992294400 134512640 136421960 4290424416 18446744073709551615 134868329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30682/statm: 62878 60615 236 467 0 62409 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 251512

[startup+25.5004 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 30683
/proc/meminfo: memFree=1540360/2059040 swapFree=4140792/4192956
[pid=30682] ppid=30680 vsize=325476 CPUtime=25.49
/proc/30682/stat : 30682 (pbct) R 30680 30682 30067 0 -1 4202496 82749 0 0 0 2489 60 0 0 25 0 1 0 89639599 333287424 79114 1992294400 134512640 136421960 4290424416 18446744073709551615 134859688 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30682/statm: 81369 79114 236 467 0 80900 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 325476

[startup+51.101 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 30683
/proc/meminfo: memFree=1515436/2059040 swapFree=4140792/4192956
[pid=30682] ppid=30680 vsize=350304 CPUtime=51.07
/proc/30682/stat : 30682 (pbct) R 30680 30682 30067 0 -1 4202496 88956 0 0 0 5017 90 0 0 25 0 1 0 89639599 358711296 85321 1992294400 134512640 136421960 4290424416 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30682/statm: 87576 85321 236 467 0 87107 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 350304

[startup+102.308 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 30688
/proc/meminfo: memFree=1463976/2059040 swapFree=4140792/4192956
[pid=30682] ppid=30680 vsize=401328 CPUtime=102.27
/proc/30682/stat : 30682 (pbct) R 30680 30682 30067 0 -1 4202496 101688 0 0 0 10084 143 0 0 25 0 1 0 89639599 410959872 98053 1992294400 134512640 136421960 4290424416 18446744073709551615 135010280 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30682/statm: 100332 98053 236 467 0 99863 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 401328

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 30690
/proc/meminfo: memFree=1408920/2059040 swapFree=4140792/4192956
[pid=30682] ppid=30680 vsize=456188 CPUtime=162.25
/proc/30682/stat : 30682 (pbct) R 30680 30682 30067 0 -1 4202496 115434 0 0 0 16023 202 0 0 25 0 1 0 89639599 467136512 111799 1992294400 134512640 136421960 4290424416 18446744073709551615 135022226 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30682/statm: 114047 111799 236 467 0 113578 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 456188

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 30690
/proc/meminfo: memFree=1406936/2059040 swapFree=4140792/4192956
[pid=30682] ppid=30680 vsize=458316 CPUtime=222.23
/proc/30682/stat : 30682 (pbct) R 30680 30682 30067 0 -1 4202496 115955 0 0 0 21960 263 0 0 25 0 1 0 89639599 469315584 112320 1992294400 134512640 136421960 4290424416 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30682/statm: 114579 112320 236 467 0 114110 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 458316

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 30692
/proc/meminfo: memFree=1406316/2059040 swapFree=4140792/4192956
[pid=30682] ppid=30680 vsize=458848 CPUtime=282.22
/proc/30682/stat : 30682 (pbct) R 30680 30682 30067 0 -1 4202496 116095 0 0 0 27903 319 0 0 25 0 1 0 89639599 469860352 112460 1992294400 134512640 136421960 4290424416 18446744073709551615 134861916 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30682/statm: 114712 112460 236 467 0 114243 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 458848

[startup+342.301 s]
/proc/loadavg: 1.03 1.01 0.93 2/107 30694
/proc/meminfo: memFree=1404828/2059040 swapFree=4140792/4192956
[pid=30682] ppid=30680 vsize=460440 CPUtime=342.2
/proc/30682/stat : 30682 (pbct) R 30680 30682 30067 0 -1 4202496 116474 0 0 0 33851 369 0 0 25 0 1 0 89639599 471490560 112839 1992294400 134512640 136421960 4290424416 18446744073709551615 134859887 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30682/statm: 115110 112839 236 467 0 114641 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 460440

[startup+402.3 s]
/proc/loadavg: 1.01 1.01 0.93 2/107 30696
/proc/meminfo: memFree=1342828/2059040 swapFree=4140792/4192956
[pid=30682] ppid=30680 vsize=522496 CPUtime=402.19
/proc/30682/stat : 30682 (pbct) R 30680 30682 30067 0 -1 4202496 131958 0 0 0 39797 422 0 0 25 0 1 0 89639599 535035904 128323 1992294400 134512640 136421960 4290424416 18446744073709551615 135022339 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30682/statm: 130624 128323 236 467 0 130155 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 522496

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 30698
/proc/meminfo: memFree=1346052/2059040 swapFree=4140792/4192956
[pid=30682] ppid=30680 vsize=518548 CPUtime=462.17
/proc/30682/stat : 30682 (pbct) R 30680 30682 30067 0 -1 4202496 131958 0 0 0 45742 475 0 0 25 0 1 0 89639599 530993152 127366 1992294400 134512640 136421960 4290424416 18446744073709551615 134859751 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30682/statm: 129637 127366 236 467 0 129168 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 518548

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 30698
/proc/meminfo: memFree=1340348/2059040 swapFree=4140792/4192956
[pid=30682] ppid=30680 vsize=524272 CPUtime=522.16
/proc/30682/stat : 30682 (pbct) R 30680 30682 30067 0 -1 4202496 133648 0 0 0 51684 532 0 0 25 0 1 0 89639599 536854528 128797 1992294400 134512640 136421960 4290424416 18446744073709551615 134859921 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30682/statm: 131068 128797 236 467 0 130599 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 524272

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 30700
/proc/meminfo: memFree=1340348/2059040 swapFree=4140792/4192956
[pid=30682] ppid=30680 vsize=524272 CPUtime=582.15
/proc/30682/stat : 30682 (pbct) R 30680 30682 30067 0 -1 4202496 133649 0 0 0 57620 595 0 0 25 0 1 0 89639599 536854528 128797 1992294400 134512640 136421960 4290424416 18446744073709551615 134859688 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30682/statm: 131068 128797 236 467 0 130599 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 524272

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 30702
/proc/meminfo: memFree=1340224/2059040 swapFree=4140792/4192956
[pid=30682] ppid=30680 vsize=524272 CPUtime=642.13
/proc/30682/stat : 30682 (pbct) R 30680 30682 30067 0 -1 4202496 133649 0 0 0 63556 657 0 0 25 0 1 0 89639599 536854528 128797 1992294400 134512640 136421960 4290424416 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30682/statm: 131068 128797 236 467 0 130599 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 524272

[startup+702.301 s]

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

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 30708
/proc/meminfo: memFree=1340100/2059040 swapFree=4140792/4192956
[pid=30682] ppid=30680 vsize=524272 CPUtime=882.07
/proc/30682/stat : 30682 (pbct) R 30680 30682 30067 0 -1 4202496 133649 0 0 0 87363 844 0 0 25 0 1 0 89639599 536854528 128797 1992294400 134512640 136421960 4290424416 18446744073709551615 134860118 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30682/statm: 131068 128797 236 467 0 130599 0
Current children cumulated CPU time (s) 882.07
Current children cumulated vsize (KiB) 524272

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 30710
/proc/meminfo: memFree=1340100/2059040 swapFree=4140792/4192956
[pid=30682] ppid=30680 vsize=524272 CPUtime=942.05
/proc/30682/stat : 30682 (pbct) R 30680 30682 30067 0 -1 4202496 133649 0 0 0 93302 903 0 0 25 0 1 0 89639599 536854528 128797 1992294400 134512640 136421960 4290424416 18446744073709551615 134643003 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30682/statm: 131068 128797 236 467 0 130599 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 524272

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 30712
/proc/meminfo: memFree=1340100/2059040 swapFree=4140792/4192956
[pid=30682] ppid=30680 vsize=524272 CPUtime=1002.04
/proc/30682/stat : 30682 (pbct) R 30680 30682 30067 0 -1 4202496 133649 0 0 0 99238 966 0 0 25 0 1 0 89639599 536854528 128797 1992294400 134512640 136421960 4290424416 18446744073709551615 134856026 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30682/statm: 131068 128797 236 467 0 130599 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 524272

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 30714
/proc/meminfo: memFree=1340100/2059040 swapFree=4140792/4192956
[pid=30682] ppid=30680 vsize=524272 CPUtime=1062.02
/proc/30682/stat : 30682 (pbct) R 30680 30682 30067 0 -1 4202496 133649 0 0 0 105178 1024 0 0 25 0 1 0 89639599 536854528 128797 1992294400 134512640 136421960 4290424416 18446744073709551615 135022226 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30682/statm: 131068 128797 236 467 0 130599 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 524272

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 30714
/proc/meminfo: memFree=1339976/2059040 swapFree=4140792/4192956
[pid=30682] ppid=30680 vsize=524272 CPUtime=1122.01
/proc/30682/stat : 30682 (pbct) R 30680 30682 30067 0 -1 4202496 133649 0 0 0 111122 1079 0 0 25 0 1 0 89639599 536854528 128797 1992294400 134512640 136421960 4290424416 18446744073709551615 134859751 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30682/statm: 131068 128797 236 467 0 130599 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 524272

[startup+1182.3 s]
/proc/loadavg: 1.08 1.02 0.93 2/107 30716
/proc/meminfo: memFree=1339976/2059040 swapFree=4140792/4192956
[pid=30682] ppid=30680 vsize=524272 CPUtime=1181.99
/proc/30682/stat : 30682 (pbct) R 30680 30682 30067 0 -1 4202496 133649 0 0 0 117060 1139 0 0 25 0 1 0 89639599 536854528 128797 1992294400 134512640 136421960 4290424416 18446744073709551615 135023265 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30682/statm: 131068 128797 236 467 0 130599 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 524272

[startup+1242.3 s]
/proc/loadavg: 1.10 1.03 0.94 2/107 30718
/proc/meminfo: memFree=1339852/2059040 swapFree=4140792/4192956
[pid=30682] ppid=30680 vsize=524272 CPUtime=1241.98
/proc/30682/stat : 30682 (pbct) R 30680 30682 30067 0 -1 4202496 133649 0 0 0 123013 1185 0 0 25 0 1 0 89639599 536854528 128797 1992294400 134512640 136421960 4290424416 18446744073709551615 134864132 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30682/statm: 131068 128797 236 467 0 130599 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 524272

[startup+1302.3 s]
/proc/loadavg: 1.09 1.04 0.94 2/107 30720
/proc/meminfo: memFree=1339728/2059040 swapFree=4140792/4192956
[pid=30682] ppid=30680 vsize=524272 CPUtime=1301.96
/proc/30682/stat : 30682 (pbct) R 30680 30682 30067 0 -1 4202496 133649 0 0 0 128965 1231 0 0 25 0 1 0 89639599 536854528 128797 1992294400 134512640 136421960 4290424416 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30682/statm: 131068 128797 236 467 0 130599 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 524272

[startup+1362.3 s]
/proc/loadavg: 1.10 1.04 0.95 2/107 30722
/proc/meminfo: memFree=1339728/2059040 swapFree=4140792/4192956
[pid=30682] ppid=30680 vsize=524272 CPUtime=1361.94
/proc/30682/stat : 30682 (pbct) R 30680 30682 30067 0 -1 4202496 133649 0 0 0 134903 1291 0 0 25 0 1 0 89639599 536854528 128797 1992294400 134512640 136421960 4290424416 18446744073709551615 135810238 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30682/statm: 131068 128797 236 467 0 130599 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 524272

[startup+1422.31 s]
/proc/loadavg: 1.08 1.05 0.95 2/107 30722
/proc/meminfo: memFree=1339728/2059040 swapFree=4140792/4192956
[pid=30682] ppid=30680 vsize=524272 CPUtime=1421.93
/proc/30682/stat : 30682 (pbct) R 30680 30682 30067 0 -1 4202496 133649 0 0 0 140838 1355 0 0 25 0 1 0 89639599 536854528 128797 1992294400 134512640 136421960 4290424416 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30682/statm: 131068 128797 236 467 0 130599 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 524272

[startup+1482.3 s]
/proc/loadavg: 1.08 1.05 0.96 2/107 30724
/proc/meminfo: memFree=1339728/2059040 swapFree=4140792/4192956
[pid=30682] ppid=30680 vsize=524272 CPUtime=1481.91
/proc/30682/stat : 30682 (pbct) R 30680 30682 30067 0 -1 4202496 133649 0 0 0 146778 1413 0 0 25 0 1 0 89639599 536854528 128797 1992294400 134512640 136421960 4290424416 18446744073709551615 134861904 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30682/statm: 131068 128797 236 467 0 130599 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 524272

[startup+1542.3 s]
/proc/loadavg: 1.12 1.07 0.97 2/107 30726
/proc/meminfo: memFree=1339728/2059040 swapFree=4140792/4192956
[pid=30682] ppid=30680 vsize=524272 CPUtime=1541.9
/proc/30682/stat : 30682 (pbct) R 30680 30682 30067 0 -1 4202496 133649 0 0 0 152720 1470 0 0 25 0 1 0 89639599 536854528 128797 1992294400 134512640 136421960 4290424416 18446744073709551615 134861902 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30682/statm: 131068 128797 236 467 0 130599 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 524272

[startup+1602.3 s]
/proc/loadavg: 1.05 1.05 0.97 2/107 30728
/proc/meminfo: memFree=1339604/2059040 swapFree=4140792/4192956
[pid=30682] ppid=30680 vsize=524272 CPUtime=1601.89
/proc/30682/stat : 30682 (pbct) R 30680 30682 30067 0 -1 4202496 133649 0 0 0 158662 1527 0 0 25 0 1 0 89639599 536854528 128797 1992294400 134512640 136421960 4290424416 18446744073709551615 134861902 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30682/statm: 131068 128797 236 467 0 130599 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 524272

[startup+1662.3 s]
/proc/loadavg: 1.01 1.04 0.97 2/107 30730
/proc/meminfo: memFree=1339480/2059040 swapFree=4140792/4192956
[pid=30682] ppid=30680 vsize=524272 CPUtime=1661.87
/proc/30682/stat : 30682 (pbct) R 30680 30682 30067 0 -1 4202496 133649 0 0 0 164626 1561 0 0 25 0 1 0 89639599 536854528 128797 1992294400 134512640 136421960 4290424416 18446744073709551615 135010280 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30682/statm: 131068 128797 236 467 0 130599 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 524272

[startup+1722.3 s]
/proc/loadavg: 1.00 1.03 0.97 2/107 30730
/proc/meminfo: memFree=1339604/2059040 swapFree=4140792/4192956
[pid=30682] ppid=30680 vsize=524272 CPUtime=1721.86
/proc/30682/stat : 30682 (pbct) R 30680 30682 30067 0 -1 4202496 133649 0 0 0 170583 1603 0 0 25 0 1 0 89639599 536854528 128797 1992294400 134512640 136421960 4290424416 18446744073709551615 134860016 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30682/statm: 131068 128797 236 467 0 130599 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 524272

[startup+1782.3 s]
/proc/loadavg: 1.03 1.04 0.97 2/107 30732
/proc/meminfo: memFree=1339480/2059040 swapFree=4140792/4192956
[pid=30682] ppid=30680 vsize=524272 CPUtime=1781.84
/proc/30682/stat : 30682 (pbct) R 30680 30682 30067 0 -1 4202496 133649 0 0 0 176540 1644 0 0 25 0 1 0 89639599 536854528 128797 1992294400 134512640 136421960 4290424416 18446744073709551615 134859949 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30682/statm: 131068 128797 236 467 0 130599 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 524272



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.02 1.03 0.97 2/107 30743
/proc/meminfo: memFree=1338860/2059040 swapFree=4140792/4192956
[pid=30682] ppid=30680 vsize=524272 CPUtime=1800.03
/proc/30682/stat : 30682 (pbct) R 30680 30682 30067 0 -1 4202496 133649 0 0 0 178348 1655 0 0 25 0 1 0 89639599 536854528 128797 1992294400 134512640 136421960 4290424416 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30682/statm: 131068 128797 236 467 0 130599 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 524272

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.02 1.03 0.97 2/107 30743
/proc/meminfo: memFree=1338860/2059040 swapFree=4140792/4192956
[pid=30682] ppid=30680 vsize=524272 CPUtime=1800.03
/proc/30682/stat : 30682 (pbct) R 30680 30682 30067 0 -1 4202496 133649 0 0 0 178348 1655 0 0 25 0 1 0 89639599 536854528 128797 1992294400 134512640 136421960 4290424416 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30682/statm: 131068 128797 236 467 0 130599 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 524272

Child status: 0
Real time (s): 1800.56
CPU time (s): 1800.1
CPU user time (s): 1783.48
CPU system time (s): 16.6135
CPU usage (%): 99.974
Max. virtual memory (cumulated for all children) (KiB): 525312

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

runsolver used 2.77558 second user time and 8.70268 second system time

The end