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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2682208-1277479303/watcher-2682208-1277479303 -o /tmp/evaluation-result-2682208-1277479303/solver-2682208-1277479303 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2682208-1277479303.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 0.99 0.91 3/106 29116
/proc/meminfo: memFree=1810296/2059040 swapFree=4140344/4192956
[pid=29116] ppid=29114 vsize=2136 CPUtime=0
/proc/29116/stat : 29116 (pbct) R 29114 29116 28871 0 -1 4202496 267 0 0 0 0 0 0 0 19 0 1 0 89222782 2187264 187 1992294400 134512640 136421960 4290680624 18446744073709551615 135650199 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29116/statm: 534 187 145 467 0 65 0

[startup+0.101183 s]
/proc/loadavg: 1.00 0.99 0.91 3/106 29116
/proc/meminfo: memFree=1810296/2059040 swapFree=4140344/4192956
[pid=29116] ppid=29114 vsize=2796 CPUtime=0.09
/proc/29116/stat : 29116 (pbct) R 29114 29116 28871 0 -1 4202496 432 0 0 0 9 0 0 0 20 0 1 0 89222782 2863104 352 1992294400 134512640 136421960 4290680624 18446744073709551615 135818454 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29116/statm: 699 353 145 467 0 230 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2796

[startup+0.201194 s]
/proc/loadavg: 1.00 0.99 0.91 3/106 29116
/proc/meminfo: memFree=1810296/2059040 swapFree=4140344/4192956
[pid=29116] ppid=29114 vsize=5700 CPUtime=0.19
/proc/29116/stat : 29116 (pbct) R 29114 29116 28871 0 -1 4202496 1155 0 0 0 18 1 0 0 20 0 1 0 89222782 5836800 1075 1992294400 134512640 136421960 4290680624 18446744073709551615 135811817 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29116/statm: 1425 1075 145 467 0 956 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 5700

[startup+0.301204 s]
/proc/loadavg: 1.00 0.99 0.91 3/106 29116
/proc/meminfo: memFree=1810296/2059040 swapFree=4140344/4192956
[pid=29116] ppid=29114 vsize=8604 CPUtime=0.29
/proc/29116/stat : 29116 (pbct) R 29114 29116 28871 0 -1 4202496 1874 0 0 0 28 1 0 0 20 0 1 0 89222782 8810496 1794 1992294400 134512640 136421960 4290680624 18446744073709551615 135811817 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29116/statm: 2151 1794 145 467 0 1682 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8604

[startup+0.701248 s]
/proc/loadavg: 1.00 0.99 0.91 3/106 29116
/proc/meminfo: memFree=1810296/2059040 swapFree=4140344/4192956
[pid=29116] ppid=29114 vsize=38020 CPUtime=0.69
/proc/29116/stat : 29116 (pbct) R 29114 29116 28871 0 -1 4202496 9511 0 0 0 65 4 0 0 21 0 1 0 89222782 38932480 9004 1992294400 134512640 136421960 4290680624 18446744073709551615 134708034 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29116/statm: 9505 9005 193 467 0 9036 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 38020

[startup+1.50034 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 29117
/proc/meminfo: memFree=1748784/2059040 swapFree=4140344/4192956
[pid=29116] ppid=29114 vsize=89708 CPUtime=1.49
/proc/29116/stat : 29116 (pbct) R 29114 29116 28871 0 -1 4202496 23477 0 0 0 139 10 0 0 23 0 1 0 89222782 91860992 21852 1992294400 134512640 136421960 4290680624 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29116/statm: 22427 21853 193 467 0 21958 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 89708

[startup+3.10051 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 29117
/proc/meminfo: memFree=1676864/2059040 swapFree=4140344/4192956
[pid=29116] ppid=29114 vsize=270260 CPUtime=3.09
/proc/29116/stat : 29116 (pbct) R 29114 29116 28871 0 -1 4202496 70687 0 0 0 282 27 0 0 25 0 1 0 89222782 276746240 65182 1992294400 134512640 136421960 4290680624 18446744073709551615 135801367 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29116/statm: 67565 65182 194 467 0 67096 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 270260

[startup+6.30086 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 29117
/proc/meminfo: memFree=1504876/2059040 swapFree=4140344/4192956
[pid=29116] ppid=29114 vsize=321252 CPUtime=6.29
/proc/29116/stat : 29116 (pbct) R 29114 29116 28871 0 -1 4202496 83497 0 0 0 597 32 0 0 25 0 1 0 89222782 328962048 76334 1992294400 134512640 136421960 4290680624 18446744073709551615 135028864 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29116/statm: 80313 76334 215 467 0 79844 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 321252

[startup+12.7006 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 29117
/proc/meminfo: memFree=1504008/2059040 swapFree=4140344/4192956
[pid=29116] ppid=29114 vsize=323064 CPUtime=12.69
/proc/29116/stat : 29116 (pbct) R 29114 29116 28871 0 -1 4202496 83871 0 0 0 1234 35 0 0 25 0 1 0 89222782 330817536 76708 1992294400 134512640 136421960 4290680624 18446744073709551615 135025658 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29116/statm: 80766 76708 215 467 0 80297 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 323064

[startup+25.502 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 29119
/proc/meminfo: memFree=1503264/2059040 swapFree=4140344/4192956
[pid=29116] ppid=29114 vsize=323064 CPUtime=25.48
/proc/29116/stat : 29116 (pbct) R 29114 29116 28871 0 -1 4202496 83871 0 0 0 2508 40 0 0 25 0 1 0 89222782 330817536 76708 1992294400 134512640 136421960 4290680624 18446744073709551615 134861840 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29116/statm: 80766 76708 215 467 0 80297 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 323064

[startup+51.1018 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 29119
/proc/meminfo: memFree=1503140/2059040 swapFree=4140344/4192956
[pid=29116] ppid=29114 vsize=323064 CPUtime=51.08
/proc/29116/stat : 29116 (pbct) R 29114 29116 28871 0 -1 4202496 83892 0 0 0 5056 52 0 0 25 0 1 0 89222782 330817536 76729 1992294400 134512640 136421960 4290680624 18446744073709551615 135025621 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29116/statm: 80766 76729 215 467 0 80297 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 323064

[startup+102.301 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 29121
/proc/meminfo: memFree=1502892/2059040 swapFree=4140344/4192956
[pid=29116] ppid=29114 vsize=323064 CPUtime=102.27
/proc/29116/stat : 29116 (pbct) R 29114 29116 28871 0 -1 4202496 83898 0 0 0 10155 72 0 0 25 0 1 0 89222782 330817536 76735 1992294400 134512640 136421960 4290680624 18446744073709551615 135005995 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29116/statm: 80766 76735 215 467 0 80297 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 323064

[startup+162.301 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 29121
/proc/meminfo: memFree=1502768/2059040 swapFree=4140344/4192956
[pid=29116] ppid=29114 vsize=323328 CPUtime=162.25
/proc/29116/stat : 29116 (pbct) R 29114 29116 28871 0 -1 4202496 83960 0 0 0 16129 96 0 0 25 0 1 0 89222782 331087872 76797 1992294400 134512640 136421960 4290680624 18446744073709551615 134861902 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29116/statm: 80832 76797 215 467 0 80363 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 323328

[startup+222.309 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 29123
/proc/meminfo: memFree=1500412/2059040 swapFree=4140344/4192956
[pid=29116] ppid=29114 vsize=330716 CPUtime=222.24
/proc/29116/stat : 29116 (pbct) R 29114 29116 28871 0 -1 4202496 86055 0 0 0 22104 120 0 0 25 0 1 0 89222782 338653184 77291 1992294400 134512640 136421960 4290680624 18446744073709551615 134620060 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29116/statm: 82679 77291 238 467 0 82210 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 330716

[startup+282.301 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 29125
/proc/meminfo: memFree=1500164/2059040 swapFree=4140344/4192956
[pid=29116] ppid=29114 vsize=331112 CPUtime=282.22
/proc/29116/stat : 29116 (pbct) R 29114 29116 28871 0 -1 4202496 86198 0 0 0 28083 139 0 0 25 0 1 0 89222782 339058688 77431 1992294400 134512640 136421960 4290680624 18446744073709551615 134861890 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29116/statm: 82778 77431 238 467 0 82309 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 331112

[startup+342.302 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 29127
/proc/meminfo: memFree=1498552/2059040 swapFree=4140344/4192956
[pid=29116] ppid=29114 vsize=332860 CPUtime=342.2
/proc/29116/stat : 29116 (pbct) R 29114 29116 28871 0 -1 4202496 86607 0 0 0 34063 157 0 0 25 0 1 0 89222782 340848640 77839 1992294400 134512640 136421960 4290680624 18446744073709551615 134973855 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29116/statm: 83215 77839 238 467 0 82746 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 332860

[startup+402.301 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 29129
/proc/meminfo: memFree=1497436/2059040 swapFree=4140344/4192956
[pid=29116] ppid=29114 vsize=333872 CPUtime=402.18
/proc/29116/stat : 29116 (pbct) R 29114 29116 28871 0 -1 4202496 86859 0 0 0 40043 175 0 0 25 0 1 0 89222782 341884928 78091 1992294400 134512640 136421960 4290680624 18446744073709551615 135020548 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29116/statm: 83468 78091 238 467 0 82999 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 333872

[startup+462.302 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 29129
/proc/meminfo: memFree=1495948/2059040 swapFree=4140344/4192956
[pid=29116] ppid=29114 vsize=335192 CPUtime=462.17
/proc/29116/stat : 29116 (pbct) R 29114 29116 28871 0 -1 4202496 87211 0 0 0 46026 191 0 0 25 0 1 0 89222782 343236608 78441 1992294400 134512640 136421960 4290680624 18446744073709551615 134859688 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29116/statm: 83798 78441 238 467 0 83329 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 335192

[startup+522.301 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 29131
/proc/meminfo: memFree=1494584/2059040 swapFree=4140344/4192956
[pid=29116] ppid=29114 vsize=336644 CPUtime=522.15
/proc/29116/stat : 29116 (pbct) R 29114 29116 28871 0 -1 4202496 87555 0 0 0 52008 207 0 0 25 0 1 0 89222782 344723456 78785 1992294400 134512640 136421960 4290680624 18446744073709551615 135005960 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29116/statm: 84161 78785 238 467 0 83692 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 336644

[startup+582.302 s]
/proc/loadavg: 1.00 0.99 0.91 3/107 29133
/proc/meminfo: memFree=1492972/2059040 swapFree=4140344/4192956
[pid=29116] ppid=29114 vsize=338068 CPUtime=582.14
/proc/29116/stat : 29116 (pbct) R 29114 29116 28871 0 -1 4202496 87931 0 0 0 57988 226 0 0 25 0 1 0 89222782 346181632 79159 1992294400 134512640 136421960 4290680624 18446744073709551615 135006289 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29116/statm: 84517 79159 238 467 0 84048 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 338068

[startup+642.302 s]
/proc/loadavg: 1.00 0.99 0.91 3/107 29138
/proc/meminfo: memFree=1489996/2059040 swapFree=4140344/4192956
[pid=29116] ppid=29114 vsize=340444 CPUtime=642.13
/proc/29116/stat : 29116 (pbct) R 29114 29116 28871 0 -1 4202496 88503 0 0 0 63972 241 0 0 25 0 1 0 89222782 348614656 79730 1992294400 134512640 136421960 4290680624 18446744073709551615 135028857 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29116/statm: 85111 79730 238 467 0 84642 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 340444

[startup+702.301 s]

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

[startup+822.301 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 29142
/proc/meminfo: memFree=1485284/2059040 swapFree=4140344/4192956
[pid=29116] ppid=29114 vsize=345292 CPUtime=822.07
/proc/29116/stat : 29116 (pbct) R 29114 29116 28871 0 -1 4202496 89723 0 0 0 81916 291 0 0 25 0 1 0 89222782 353579008 80950 1992294400 134512640 136421960 4290680624 18446744073709551615 135686251 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29116/statm: 86323 80950 238 467 0 85854 0
Current children cumulated CPU time (s) 822.07
Current children cumulated vsize (KiB) 345292

[startup+882.308 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 29144
/proc/meminfo: memFree=1483672/2059040 swapFree=4140344/4192956
[pid=29116] ppid=29114 vsize=346876 CPUtime=882.07
/proc/29116/stat : 29116 (pbct) R 29114 29116 28871 0 -1 4202496 90118 0 0 0 87901 306 0 0 25 0 1 0 89222782 355201024 81345 1992294400 134512640 136421960 4290680624 18446744073709551615 135006251 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29116/statm: 86719 81345 238 467 0 86250 0
Current children cumulated CPU time (s) 882.07
Current children cumulated vsize (KiB) 346876

[startup+942.301 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 29146
/proc/meminfo: memFree=1480200/2059040 swapFree=4140344/4192956
[pid=29116] ppid=29114 vsize=350440 CPUtime=942.04
/proc/29116/stat : 29116 (pbct) R 29114 29116 28871 0 -1 4202496 91008 0 0 0 93883 321 0 0 25 0 1 0 89222782 358850560 82235 1992294400 134512640 136421960 4290680624 18446744073709551615 134620088 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29116/statm: 87610 82235 238 467 0 87141 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 350440

[startup+1002.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 29148
/proc/meminfo: memFree=1478340/2059040 swapFree=4140344/4192956
[pid=29116] ppid=29114 vsize=352156 CPUtime=1002.03
/proc/29116/stat : 29116 (pbct) R 29114 29116 28871 0 -1 4202496 91451 0 0 0 99865 338 0 0 25 0 1 0 89222782 360607744 82678 1992294400 134512640 136421960 4290680624 18446744073709551615 135026217 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29116/statm: 88039 82678 238 467 0 87570 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 352156

[startup+1062.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 29148
/proc/meminfo: memFree=1475860/2059040 swapFree=4140344/4192956
[pid=29116] ppid=29114 vsize=354796 CPUtime=1062.01
/proc/29116/stat : 29116 (pbct) R 29114 29116 28871 0 -1 4202496 92098 0 0 0 105845 356 0 0 25 0 1 0 89222782 363311104 83325 1992294400 134512640 136421960 4290680624 18446744073709551615 135026187 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29116/statm: 88699 83325 238 467 0 88230 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 354796

[startup+1122.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 29150
/proc/meminfo: memFree=1474496/2059040 swapFree=4140344/4192956
[pid=29116] ppid=29114 vsize=356116 CPUtime=1121.99
/proc/29116/stat : 29116 (pbct) R 29114 29116 28871 0 -1 4202496 92434 0 0 0 111827 372 0 0 25 0 1 0 89222782 364662784 83661 1992294400 134512640 136421960 4290680624 18446744073709551615 135006251 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29116/statm: 89029 83661 238 467 0 88560 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 356116

[startup+1182.3 s]
/proc/loadavg: 1.05 1.00 0.91 2/107 29152
/proc/meminfo: memFree=1474496/2059040 swapFree=4140344/4192956
[pid=29116] ppid=29114 vsize=356116 CPUtime=1181.98
/proc/29116/stat : 29116 (pbct) R 29114 29116 28871 0 -1 4202496 92434 0 0 0 117810 388 0 0 25 0 1 0 89222782 364662784 83661 1992294400 134512640 136421960 4290680624 18446744073709551615 134620057 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29116/statm: 89029 83661 238 467 0 88560 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 356116

[startup+1242.3 s]
/proc/loadavg: 1.02 1.00 0.91 2/107 29154
/proc/meminfo: memFree=1474372/2059040 swapFree=4140344/4192956
[pid=29116] ppid=29114 vsize=356116 CPUtime=1241.97
/proc/29116/stat : 29116 (pbct) R 29114 29116 28871 0 -1 4202496 92434 0 0 0 123793 404 0 0 25 0 1 0 89222782 364662784 83661 1992294400 134512640 136421960 4290680624 18446744073709551615 135006289 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29116/statm: 89029 83661 238 467 0 88560 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 356116

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 29156
/proc/meminfo: memFree=1474248/2059040 swapFree=4140344/4192956
[pid=29116] ppid=29114 vsize=356116 CPUtime=1301.95
/proc/29116/stat : 29116 (pbct) R 29114 29116 28871 0 -1 4202496 92434 0 0 0 129774 421 0 0 25 0 1 0 89222782 364662784 83661 1992294400 134512640 136421960 4290680624 18446744073709551615 134861840 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29116/statm: 89029 83661 238 467 0 88560 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 356116

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 29156
/proc/meminfo: memFree=1474248/2059040 swapFree=4140344/4192956
[pid=29116] ppid=29114 vsize=356116 CPUtime=1361.94
/proc/29116/stat : 29116 (pbct) R 29114 29116 28871 0 -1 4202496 92434 0 0 0 135760 434 0 0 25 0 1 0 89222782 364662784 83661 1992294400 134512640 136421960 4290680624 18446744073709551615 135021788 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29116/statm: 89029 83661 238 467 0 88560 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 356116

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 29158
/proc/meminfo: memFree=1469784/2059040 swapFree=4140344/4192956
[pid=29116] ppid=29114 vsize=360736 CPUtime=1421.93
/proc/29116/stat : 29116 (pbct) R 29114 29116 28871 0 -1 4202496 93583 0 0 0 141743 450 0 0 25 0 1 0 89222782 369393664 84810 1992294400 134512640 136421960 4290680624 18446744073709551615 135025736 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29116/statm: 90184 84810 238 467 0 89715 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 360736

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 29160
/proc/meminfo: memFree=1465072/2059040 swapFree=4140344/4192956
[pid=29116] ppid=29114 vsize=365224 CPUtime=1481.9
/proc/29116/stat : 29116 (pbct) R 29114 29116 28871 0 -1 4202496 94710 0 0 0 147723 467 0 0 25 0 1 0 89222782 373989376 85937 1992294400 134512640 136421960 4290680624 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29116/statm: 91306 85937 238 467 0 90837 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 365224

[startup+1542.31 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 29162
/proc/meminfo: memFree=1463212/2059040 swapFree=4140344/4192956
[pid=29116] ppid=29114 vsize=367072 CPUtime=1541.89
/proc/29116/stat : 29116 (pbct) R 29114 29116 28871 0 -1 4202496 95194 0 0 0 153709 480 0 0 25 0 1 0 89222782 375881728 86421 1992294400 134512640 136421960 4290680624 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29116/statm: 91768 86421 238 467 0 91299 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 367072

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 29164
/proc/meminfo: memFree=1461352/2059040 swapFree=4140344/4192956
[pid=29116] ppid=29114 vsize=368920 CPUtime=1601.88
/proc/29116/stat : 29116 (pbct) R 29114 29116 28871 0 -1 4202496 95652 0 0 0 159693 495 0 0 25 0 1 0 89222782 377774080 86879 1992294400 134512640 136421960 4290680624 18446744073709551615 135006405 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29116/statm: 92230 86879 238 467 0 91761 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 368920

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 29164
/proc/meminfo: memFree=1459616/2059040 swapFree=4140344/4192956
[pid=29116] ppid=29114 vsize=370928 CPUtime=1661.85
/proc/29116/stat : 29116 (pbct) R 29114 29116 28871 0 -1 4202496 96109 0 0 0 165674 511 0 0 25 0 1 0 89222782 379830272 87335 1992294400 134512640 136421960 4290680624 18446744073709551615 135028875 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29116/statm: 92732 87335 238 467 0 92263 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 370928

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 29166
/proc/meminfo: memFree=1459492/2059040 swapFree=4140344/4192956
[pid=29116] ppid=29114 vsize=370928 CPUtime=1721.84
/proc/29116/stat : 29116 (pbct) R 29114 29116 28871 0 -1 4202496 96109 0 0 0 171659 525 0 0 25 0 1 0 89222782 379830272 87335 1992294400 134512640 136421960 4290680624 18446744073709551615 135019620 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29116/statm: 92732 87335 238 467 0 92263 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 370928

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 29168
/proc/meminfo: memFree=1459244/2059040 swapFree=4140344/4192956
[pid=29116] ppid=29114 vsize=370928 CPUtime=1781.83
/proc/29116/stat : 29116 (pbct) R 29114 29116 28871 0 -1 4202496 96109 0 0 0 177645 538 0 0 25 0 1 0 89222782 379830272 87335 1992294400 134512640 136421960 4290680624 18446744073709551615 135028857 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29116/statm: 92732 87335 238 467 0 92263 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 370928



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 29168
/proc/meminfo: memFree=1459244/2059040 swapFree=4140344/4192956
[pid=29116] ppid=29114 vsize=370928 CPUtime=1800.02
/proc/29116/stat : 29116 (pbct) R 29114 29116 28871 0 -1 4202496 96109 0 0 0 179461 541 0 0 25 0 1 0 89222782 379830272 87335 1992294400 134512640 136421960 4290680624 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29116/statm: 92732 87335 238 467 0 92263 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 370928

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.55
CPU time (s): 1800.08
CPU user time (s): 1794.62
CPU system time (s): 5.45617
CPU usage (%): 99.9738
Max. virtual memory (cumulated for all children) (KiB): 370928

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

runsolver used 2.71259 second user time and 8.76167 second system time

The end