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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2668774-1276497453/watcher-2668774-1276497453 -o /tmp/evaluation-result-2668774-1276497453/solver-2668774-1276497453 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2668774-1276497453.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 1.00 3/106 29276
/proc/meminfo: memFree=1809128/2059040 swapFree=4140108/4192956
[pid=29276] ppid=29274 vsize=2352 CPUtime=0
/proc/29276/stat : 29276 (pbct) R 29274 29276 28961 0 -1 4202496 282 0 0 0 0 0 0 0 20 0 1 0 25348937 2408448 205 1992294400 134512640 136485738 4290414656 18446744073709551615 135856913 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29276/statm: 588 205 156 482 0 104 0

[startup+0.055062 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 29276
/proc/meminfo: memFree=1809128/2059040 swapFree=4140108/4192956
[pid=29276] ppid=29274 vsize=2500 CPUtime=0.05
/proc/29276/stat : 29276 (pbct) R 29274 29276 28961 0 -1 4202496 316 0 0 0 5 0 0 0 20 0 1 0 25348937 2560000 239 1992294400 134512640 136485738 4290414656 18446744073709551615 135856817 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29276/statm: 625 239 156 482 0 141 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 2500

[startup+0.101065 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 29276
/proc/meminfo: memFree=1809128/2059040 swapFree=4140108/4192956
[pid=29276] ppid=29274 vsize=2500 CPUtime=0.09
/proc/29276/stat : 29276 (pbct) R 29274 29276 28961 0 -1 4202496 345 0 0 0 9 0 0 0 20 0 1 0 25348937 2560000 268 1992294400 134512640 136485738 4290414656 18446744073709551615 135411125 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29276/statm: 625 268 156 482 0 141 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2500

[startup+0.301089 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 29276
/proc/meminfo: memFree=1809128/2059040 swapFree=4140108/4192956
[pid=29276] ppid=29274 vsize=3204 CPUtime=0.29
/proc/29276/stat : 29276 (pbct) R 29274 29276 28961 0 -1 4202496 488 0 0 0 29 0 0 0 20 0 1 0 25348937 3280896 411 1992294400 134512640 136485738 4290414656 18446744073709551615 134519730 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29276/statm: 801 411 156 482 0 317 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3204

[startup+0.701135 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 29276
/proc/meminfo: memFree=1809128/2059040 swapFree=4140108/4192956
[pid=29276] ppid=29274 vsize=4256 CPUtime=0.69
/proc/29276/stat : 29276 (pbct) R 29274 29276 28961 0 -1 4202496 809 0 0 0 69 0 0 0 20 0 1 0 25348937 4358144 699 1992294400 134512640 136485738 4290414656 18446744073709551615 135856817 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29276/statm: 1064 699 156 482 0 580 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4256

[startup+1.50123 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29277
/proc/meminfo: memFree=1806020/2059040 swapFree=4140108/4192956
[pid=29276] ppid=29274 vsize=20760 CPUtime=1.49
/proc/29276/stat : 29276 (pbct) R 29274 29276 28961 0 -1 4202496 5000 0 0 0 148 1 0 0 23 0 1 0 25348937 21258240 4825 1992294400 134512640 136485738 4290414656 18446744073709551615 134542052 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29276/statm: 5190 4826 194 482 0 4706 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 20760

[startup+3.10141 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29277
/proc/meminfo: memFree=1681276/2059040 swapFree=4140108/4192956
[pid=29276] ppid=29274 vsize=182660 CPUtime=3.09
/proc/29276/stat : 29276 (pbct) R 29274 29276 28961 0 -1 4202496 47452 0 0 0 292 17 0 0 25 0 1 0 25348937 187043840 43481 1992294400 134512640 136485738 4290414656 18446744073709551615 134885622 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29276/statm: 45665 43481 243 482 0 45181 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 182660

[startup+6.30078 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29277
/proc/meminfo: memFree=1614564/2059040 swapFree=4140108/4192956
[pid=29276] ppid=29274 vsize=211304 CPUtime=6.29
/proc/29276/stat : 29276 (pbct) R 29274 29276 28961 0 -1 4202496 54628 0 0 0 606 23 0 0 25 0 1 0 25348937 216375296 50656 1992294400 134512640 136485738 4290414656 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29276/statm: 52826 50656 243 482 0 52342 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 211304

[startup+12.7005 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29277
/proc/meminfo: memFree=1557276/2059040 swapFree=4140108/4192956
[pid=29276] ppid=29274 vsize=266636 CPUtime=12.68
/proc/29276/stat : 29276 (pbct) R 29274 29276 28961 0 -1 4202496 68445 0 0 0 1231 37 0 0 25 0 1 0 25348937 273035264 64473 1992294400 134512640 136485738 4290414656 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29276/statm: 66659 64473 243 482 0 66175 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 266636

[startup+25.501 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29277
/proc/meminfo: memFree=1458076/2059040 swapFree=4140108/4192956
[pid=29276] ppid=29274 vsize=362036 CPUtime=25.49
/proc/29276/stat : 29276 (pbct) R 29274 29276 28961 0 -1 4202496 92287 0 0 0 2487 62 0 0 25 0 1 0 25348937 370724864 88315 1992294400 134512640 136485738 4290414656 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29276/statm: 90509 88315 243 482 0 90025 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 362036

[startup+51.101 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29279
/proc/meminfo: memFree=1307044/2059040 swapFree=4140108/4192956
[pid=29276] ppid=29274 vsize=513768 CPUtime=51.08
/proc/29276/stat : 29276 (pbct) R 29274 29276 28961 0 -1 4202496 130210 0 0 0 5008 100 0 0 25 0 1 0 25348937 526098432 126238 1992294400 134512640 136485738 4290414656 18446744073709551615 135040911 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29276/statm: 128442 126238 243 482 0 127958 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 513768

[startup+102.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29279
/proc/meminfo: memFree=1276416/2059040 swapFree=4140108/4192956
[pid=29276] ppid=29274 vsize=540924 CPUtime=102.27
/proc/29276/stat : 29276 (pbct) R 29274 29276 28961 0 -1 4202496 136999 0 0 0 10082 145 0 0 25 0 1 0 25348937 553906176 133027 1992294400 134512640 136485738 4290414656 18446744073709551615 135040914 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29276/statm: 135231 133027 243 482 0 134747 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 540924

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29281
/proc/meminfo: memFree=1194824/2059040 swapFree=4140108/4192956
[pid=29276] ppid=29274 vsize=622100 CPUtime=162.25
/proc/29276/stat : 29276 (pbct) R 29274 29276 28961 0 -1 4202496 157303 0 0 0 16024 201 0 0 25 0 1 0 25348937 637030400 153331 1992294400 134512640 136485738 4290414656 18446744073709551615 135849505 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29276/statm: 155525 153331 243 482 0 155041 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 622100

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29283
/proc/meminfo: memFree=1085704/2059040 swapFree=4140108/4192956
[pid=29276] ppid=29274 vsize=731136 CPUtime=222.23
/proc/29276/stat : 29276 (pbct) R 29274 29276 28961 0 -1 4202496 184517 0 0 0 21964 259 0 0 25 0 1 0 25348937 748683264 180545 1992294400 134512640 136485738 4290414656 18446744073709551615 135040914 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29276/statm: 182784 180545 243 482 0 182300 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 731136

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29285
/proc/meminfo: memFree=1088184/2059040 swapFree=4140108/4192956
[pid=29276] ppid=29274 vsize=727988 CPUtime=282.21
/proc/29276/stat : 29276 (pbct) R 29274 29276 28961 0 -1 4202496 184518 0 0 0 27907 314 0 0 25 0 1 0 25348937 745459712 179781 1992294400 134512640 136485738 4290414656 18446744073709551615 134878360 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29276/statm: 181997 179781 243 482 0 181513 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 727988

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29285
/proc/meminfo: memFree=1088184/2059040 swapFree=4140108/4192956
[pid=29276] ppid=29274 vsize=727988 CPUtime=342.2
/proc/29276/stat : 29276 (pbct) R 29274 29276 28961 0 -1 4202496 184518 0 0 0 33848 372 0 0 25 0 1 0 25348937 745459712 179781 1992294400 134512640 136485738 4290414656 18446744073709551615 134878360 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29276/statm: 181997 179781 243 482 0 181513 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 727988

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29287
/proc/meminfo: memFree=1088184/2059040 swapFree=4140108/4192956
[pid=29276] ppid=29274 vsize=727988 CPUtime=402.18
/proc/29276/stat : 29276 (pbct) R 29274 29276 28961 0 -1 4202496 184518 0 0 0 39804 414 0 0 25 0 1 0 25348937 745459712 179781 1992294400 134512640 136485738 4290414656 18446744073709551615 135040914 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29276/statm: 181997 179781 243 482 0 181513 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 727988

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29289
/proc/meminfo: memFree=1088184/2059040 swapFree=4140108/4192956
[pid=29276] ppid=29274 vsize=727988 CPUtime=462.17
/proc/29276/stat : 29276 (pbct) R 29274 29276 28961 0 -1 4202496 184518 0 0 0 45771 446 0 0 25 0 1 0 25348937 745459712 179781 1992294400 134512640 136485738 4290414656 18446744073709551615 135040914 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29276/statm: 181997 179781 243 482 0 181513 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 727988

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29291
/proc/meminfo: memFree=1088184/2059040 swapFree=4140108/4192956
[pid=29276] ppid=29274 vsize=727988 CPUtime=522.15
/proc/29276/stat : 29276 (pbct) R 29274 29276 28961 0 -1 4202496 184518 0 0 0 51716 499 0 0 25 0 1 0 25348937 745459712 179781 1992294400 134512640 136485738 4290414656 18446744073709551615 135028061 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29276/statm: 181997 179781 243 482 0 181513 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 727988

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29293
/proc/meminfo: memFree=1088184/2059040 swapFree=4140108/4192956
[pid=29276] ppid=29274 vsize=727988 CPUtime=582.13
/proc/29276/stat : 29276 (pbct) R 29274 29276 28961 0 -1 4202496 184518 0 0 0 57662 551 0 0 25 0 1 0 25348937 745459712 179781 1992294400 134512640 136485738 4290414656 18446744073709551615 134661746 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29276/statm: 181997 179781 243 482 0 181513 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 727988

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29293
/proc/meminfo: memFree=1088184/2059040 swapFree=4140108/4192956
[pid=29276] ppid=29274 vsize=727988 CPUtime=642.12
/proc/29276/stat : 29276 (pbct) R 29274 29276 28961 0 -1 4202496 184518 0 0 0 63607 605 0 0 25 0 1 0 25348937 745459712 179781 1992294400 134512640 136485738 4290414656 18446744073709551615 134661929 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29276/statm: 181997 179781 243 482 0 181513 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 727988

[startup+702.301 s]

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

[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29299
/proc/meminfo: memFree=1088184/2059040 swapFree=4140108/4192956
[pid=29276] ppid=29274 vsize=727988 CPUtime=822.06
/proc/29276/stat : 29276 (pbct) R 29274 29276 28961 0 -1 4202496 184518 0 0 0 81443 763 0 0 25 0 1 0 25348937 745459712 179781 1992294400 134512640 136485738 4290414656 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29276/statm: 181997 179781 243 482 0 181513 0
Current children cumulated CPU time (s) 822.06
Current children cumulated vsize (KiB) 727988

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29301
/proc/meminfo: memFree=1088184/2059040 swapFree=4140108/4192956
[pid=29276] ppid=29274 vsize=727988 CPUtime=882.05
/proc/29276/stat : 29276 (pbct) R 29274 29276 28961 0 -1 4202496 184518 0 0 0 87403 802 0 0 25 0 1 0 25348937 745459712 179781 1992294400 134512640 136485738 4290414656 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29276/statm: 181997 179781 243 482 0 181513 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 727988

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29301
/proc/meminfo: memFree=1088184/2059040 swapFree=4140108/4192956
[pid=29276] ppid=29274 vsize=727988 CPUtime=942.04
/proc/29276/stat : 29276 (pbct) R 29274 29276 28961 0 -1 4202496 184518 0 0 0 93367 837 0 0 25 0 1 0 25348937 745459712 179781 1992294400 134512640 136485738 4290414656 18446744073709551615 134882749 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29276/statm: 181997 179781 243 482 0 181513 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 727988

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29303
/proc/meminfo: memFree=1088184/2059040 swapFree=4140108/4192956
[pid=29276] ppid=29274 vsize=727988 CPUtime=1002.01
/proc/29276/stat : 29276 (pbct) R 29274 29276 28961 0 -1 4202496 184521 0 0 0 99331 870 0 0 25 0 1 0 25348937 745459712 179784 1992294400 134512640 136485738 4290414656 18446744073709551615 135040916 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29276/statm: 181997 179784 243 482 0 181513 0
Current children cumulated CPU time (s) 1002.01
Current children cumulated vsize (KiB) 727988

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29305
/proc/meminfo: memFree=1088184/2059040 swapFree=4140108/4192956
[pid=29276] ppid=29274 vsize=727988 CPUtime=1062
/proc/29276/stat : 29276 (pbct) R 29274 29276 28961 0 -1 4202496 184522 0 0 0 105284 916 0 0 25 0 1 0 25348937 745459712 179785 1992294400 134512640 136485738 4290414656 18446744073709551615 134880611 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29276/statm: 181997 179785 243 482 0 181513 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 727988

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29307
/proc/meminfo: memFree=1088184/2059040 swapFree=4140108/4192956
[pid=29276] ppid=29274 vsize=727988 CPUtime=1121.98
/proc/29276/stat : 29276 (pbct) R 29274 29276 28961 0 -1 4202496 184522 0 0 0 111227 971 0 0 25 0 1 0 25348937 745459712 179785 1992294400 134512640 136485738 4290414656 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29276/statm: 181997 179785 243 482 0 181513 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 727988

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29309
/proc/meminfo: memFree=1088184/2059040 swapFree=4140108/4192956
[pid=29276] ppid=29274 vsize=727988 CPUtime=1181.96
/proc/29276/stat : 29276 (pbct) R 29274 29276 28961 0 -1 4202496 184522 0 0 0 117178 1018 0 0 25 0 1 0 25348937 745459712 179785 1992294400 134512640 136485738 4290414656 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29276/statm: 181997 179785 243 482 0 181513 0
Current children cumulated CPU time (s) 1181.96
Current children cumulated vsize (KiB) 727988

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29309
/proc/meminfo: memFree=1088060/2059040 swapFree=4140108/4192956
[pid=29276] ppid=29274 vsize=727988 CPUtime=1241.95
/proc/29276/stat : 29276 (pbct) R 29274 29276 28961 0 -1 4202496 184522 0 0 0 123130 1065 0 0 25 0 1 0 25348937 745459712 179785 1992294400 134512640 136485738 4290414656 18446744073709551615 134878365 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29276/statm: 181997 179785 243 482 0 181513 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 727988

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29311
/proc/meminfo: memFree=1088060/2059040 swapFree=4140108/4192956
[pid=29276] ppid=29274 vsize=727988 CPUtime=1301.95
/proc/29276/stat : 29276 (pbct) R 29274 29276 28961 0 -1 4202496 184522 0 0 0 129077 1118 0 0 25 0 1 0 25348937 745459712 179785 1992294400 134512640 136485738 4290414656 18446744073709551615 134882979 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29276/statm: 181997 179785 243 482 0 181513 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 727988

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29313
/proc/meminfo: memFree=1088060/2059040 swapFree=4140108/4192956
[pid=29276] ppid=29274 vsize=727988 CPUtime=1361.92
/proc/29276/stat : 29276 (pbct) R 29274 29276 28961 0 -1 4202496 184522 0 0 0 135024 1168 0 0 25 0 1 0 25348937 745459712 179785 1992294400 134512640 136485738 4290414656 18446744073709551615 135041950 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29276/statm: 181997 179785 243 482 0 181513 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 727988

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29324
/proc/meminfo: memFree=1087440/2059040 swapFree=4140108/4192956
[pid=29276] ppid=29274 vsize=727988 CPUtime=1421.89
/proc/29276/stat : 29276 (pbct) R 29274 29276 28961 0 -1 4202496 184522 0 0 0 140974 1215 0 0 25 0 1 0 25348937 745459712 179785 1992294400 134512640 136485738 4290414656 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29276/statm: 181997 179785 243 482 0 181513 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 727988

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29326
/proc/meminfo: memFree=1087440/2059040 swapFree=4140108/4192956
[pid=29276] ppid=29274 vsize=727988 CPUtime=1481.87
/proc/29276/stat : 29276 (pbct) R 29274 29276 28961 0 -1 4202496 184523 0 0 0 146932 1255 0 0 25 0 1 0 25348937 745459712 179786 1992294400 134512640 136485738 4290414656 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29276/statm: 181997 179786 243 482 0 181513 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 727988

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29326
/proc/meminfo: memFree=1087440/2059040 swapFree=4140108/4192956
[pid=29276] ppid=29274 vsize=727988 CPUtime=1541.86
/proc/29276/stat : 29276 (pbct) R 29274 29276 28961 0 -1 4202496 184523 0 0 0 152882 1304 0 0 25 0 1 0 25348937 745459712 179786 1992294400 134512640 136485738 4290414656 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29276/statm: 181997 179786 243 482 0 181513 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 727988

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29328
/proc/meminfo: memFree=1087440/2059040 swapFree=4140108/4192956
[pid=29276] ppid=29274 vsize=727988 CPUtime=1601.84
/proc/29276/stat : 29276 (pbct) R 29274 29276 28961 0 -1 4202496 184523 0 0 0 158829 1355 0 0 25 0 1 0 25348937 745459712 179786 1992294400 134512640 136485738 4290414656 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29276/statm: 181997 179786 243 482 0 181513 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 727988

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29330
/proc/meminfo: memFree=1087440/2059040 swapFree=4140108/4192956
[pid=29276] ppid=29274 vsize=727988 CPUtime=1661.82
/proc/29276/stat : 29276 (pbct) R 29274 29276 28961 0 -1 4202496 184523 0 0 0 164778 1404 0 0 25 0 1 0 25348937 745459712 179786 1992294400 134512640 136485738 4290414656 18446744073709551615 134662256 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29276/statm: 181997 179786 243 482 0 181513 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 727988

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29332
/proc/meminfo: memFree=1087440/2059040 swapFree=4140108/4192956
[pid=29276] ppid=29274 vsize=727988 CPUtime=1721.81
/proc/29276/stat : 29276 (pbct) R 29274 29276 28961 0 -1 4202496 184523 0 0 0 170730 1451 0 0 25 0 1 0 25348937 745459712 179786 1992294400 134512640 136485738 4290414656 18446744073709551615 135040914 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29276/statm: 181997 179786 243 482 0 181513 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 727988

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29334
/proc/meminfo: memFree=1087440/2059040 swapFree=4140108/4192956
[pid=29276] ppid=29274 vsize=727988 CPUtime=1781.79
/proc/29276/stat : 29276 (pbct) R 29274 29276 28961 0 -1 4202496 184523 0 0 0 176684 1495 0 0 25 0 1 0 25348937 745459712 179786 1992294400 134512640 136485738 4290414656 18446744073709551615 134882308 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29276/statm: 181997 179786 243 482 0 181513 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 727988



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29334
/proc/meminfo: memFree=1087440/2059040 swapFree=4140108/4192956
[pid=29276] ppid=29274 vsize=727988 CPUtime=1800.1
/proc/29276/stat : 29276 (pbct) R 29274 29276 28961 0 -1 4202496 184523 0 0 0 178501 1509 0 0 25 0 1 0 25348937 745459712 179786 1992294400 134512640 136485738 4290414656 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29276/statm: 181997 179786 243 482 0 181513 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 727988

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.69
CPU time (s): 1800.18
CPU user time (s): 1785.01
CPU system time (s): 15.1707
CPU usage (%): 99.972
Max. virtual memory (cumulated for all children) (KiB): 731136

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1785.01
system time used= 15.1707
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 184523
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= 2
involuntary context switches= 4428

runsolver used 3.06853 second user time and 8.41272 second system time

The end