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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2682242-1277479263/watcher-2682242-1277479263 -o /tmp/evaluation-result-2682242-1277479263/solver-2682242-1277479263 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2682242-1277479263.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 28403
/proc/meminfo: memFree=1872700/2059040 swapFree=4139556/4192956
[pid=28403] ppid=28401 vsize=2136 CPUtime=0
/proc/28403/stat : 28403 (pbct) R 28401 28403 28186 0 -1 4202496 267 0 0 0 0 0 0 0 19 0 1 0 89217217 2187264 187 1992294400 134512640 136421960 4288437120 18446744073709551615 135811817 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28403/statm: 534 187 145 467 0 65 0

[startup+0.081277 s]
/proc/loadavg: 1.00 1.00 0.92 3/106 28403
/proc/meminfo: memFree=1872700/2059040 swapFree=4139556/4192956
[pid=28403] ppid=28401 vsize=2664 CPUtime=0.07
/proc/28403/stat : 28403 (pbct) R 28401 28403 28186 0 -1 4202496 396 0 0 0 7 0 0 0 19 0 1 0 89217217 2727936 316 1992294400 134512640 136421960 4288437120 18446744073709551615 135818454 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28403/statm: 666 316 145 467 0 197 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2664

[startup+0.10128 s]
/proc/loadavg: 1.00 1.00 0.92 3/106 28403
/proc/meminfo: memFree=1872700/2059040 swapFree=4139556/4192956
[pid=28403] ppid=28401 vsize=2796 CPUtime=0.09
/proc/28403/stat : 28403 (pbct) R 28401 28403 28186 0 -1 4202496 426 0 0 0 9 0 0 0 20 0 1 0 89217217 2863104 346 1992294400 134512640 136421960 4288437120 18446744073709551615 135159009 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28403/statm: 699 347 145 467 0 230 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2796

[startup+0.301314 s]
/proc/loadavg: 1.00 1.00 0.92 3/106 28403
/proc/meminfo: memFree=1872700/2059040 swapFree=4139556/4192956
[pid=28403] ppid=28401 vsize=8604 CPUtime=0.29
/proc/28403/stat : 28403 (pbct) R 28401 28403 28186 0 -1 4202496 1863 0 0 0 29 0 0 0 20 0 1 0 89217217 8810496 1783 1992294400 134512640 136421960 4288437120 18446744073709551615 135811817 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28403/statm: 2151 1783 145 467 0 1682 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8604

[startup+0.70138 s]
/proc/loadavg: 1.00 1.00 0.92 3/106 28403
/proc/meminfo: memFree=1872700/2059040 swapFree=4139556/4192956
[pid=28403] ppid=28401 vsize=38020 CPUtime=0.69
/proc/28403/stat : 28403 (pbct) R 28401 28403 28186 0 -1 4202496 9503 0 0 0 64 5 0 0 21 0 1 0 89217217 38932480 8996 1992294400 134512640 136421960 4288437120 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28403/statm: 9505 8996 193 467 0 9036 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 38020

[startup+1.50151 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 28404
/proc/meminfo: memFree=1818008/2059040 swapFree=4139556/4192956
[pid=28403] ppid=28401 vsize=89972 CPUtime=1.49
/proc/28403/stat : 28403 (pbct) R 28401 28403 28186 0 -1 4202496 23537 0 0 0 137 12 0 0 23 0 1 0 89217217 92131328 21912 1992294400 134512640 136421960 4288437120 18446744073709551615 135650176 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28403/statm: 22493 21913 193 467 0 22024 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 89972

[startup+3.10078 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 28404
/proc/meminfo: memFree=1745840/2059040 swapFree=4139556/4192956
[pid=28403] ppid=28401 vsize=270260 CPUtime=3.09
/proc/28403/stat : 28403 (pbct) R 28401 28403 28186 0 -1 4202496 70676 0 0 0 277 32 0 0 25 0 1 0 89217217 276746240 65171 1992294400 134512640 136421960 4288437120 18446744073709551615 135801287 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28403/statm: 67565 65171 194 467 0 67096 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 270260

[startup+6.30131 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 28404
/proc/meminfo: memFree=1567280/2059040 swapFree=4139556/4192956
[pid=28403] ppid=28401 vsize=321216 CPUtime=6.28
/proc/28403/stat : 28403 (pbct) R 28401 28403 28186 0 -1 4202496 83494 0 0 0 591 37 0 0 25 0 1 0 89217217 328925184 76331 1992294400 134512640 136421960 4288437120 18446744073709551615 135028857 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28403/statm: 80304 76331 215 467 0 79835 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 321216

[startup+12.7004 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 28404
/proc/meminfo: memFree=1566536/2059040 swapFree=4139556/4192956
[pid=28403] ppid=28401 vsize=321480 CPUtime=12.69
/proc/28403/stat : 28403 (pbct) R 28401 28403 28186 0 -1 4202496 83631 0 0 0 1228 41 0 0 25 0 1 0 89217217 329195520 76468 1992294400 134512640 136421960 4288437120 18446744073709551615 135028857 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28403/statm: 80370 76468 215 467 0 79901 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 321480

[startup+25.5015 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 28406
/proc/meminfo: memFree=1565544/2059040 swapFree=4139556/4192956
[pid=28403] ppid=28401 vsize=323160 CPUtime=25.48
/proc/28403/stat : 28403 (pbct) R 28401 28403 28186 0 -1 4202496 83876 0 0 0 2503 45 0 0 25 0 1 0 89217217 330915840 76713 1992294400 134512640 136421960 4288437120 18446744073709551615 135028329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28403/statm: 80790 76713 215 467 0 80321 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 323160

[startup+51.1018 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 28406
/proc/meminfo: memFree=1565544/2059040 swapFree=4139556/4192956
[pid=28403] ppid=28401 vsize=323160 CPUtime=51.07
/proc/28403/stat : 28403 (pbct) R 28401 28403 28186 0 -1 4202496 83889 0 0 0 5050 57 0 0 25 0 1 0 89217217 330915840 76726 1992294400 134512640 136421960 4288437120 18446744073709551615 135025736 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28403/statm: 80790 76726 215 467 0 80321 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 323160

[startup+102.309 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 28408
/proc/meminfo: memFree=1565296/2059040 swapFree=4139556/4192956
[pid=28403] ppid=28401 vsize=323160 CPUtime=102.27
/proc/28403/stat : 28403 (pbct) R 28401 28403 28186 0 -1 4202496 83897 0 0 0 10148 79 0 0 25 0 1 0 89217217 330915840 76734 1992294400 134512640 136421960 4288437120 18446744073709551615 134643259 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28403/statm: 80790 76734 215 467 0 80321 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 323160

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 28408
/proc/meminfo: memFree=1565048/2059040 swapFree=4139556/4192956
[pid=28403] ppid=28401 vsize=323292 CPUtime=162.24
/proc/28403/stat : 28403 (pbct) R 28401 28403 28186 0 -1 4202496 83952 0 0 0 16124 100 0 0 25 0 1 0 89217217 331051008 76789 1992294400 134512640 136421960 4288437120 18446744073709551615 134903394 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28403/statm: 80823 76789 215 467 0 80354 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 323292

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 28410
/proc/meminfo: memFree=1563188/2059040 swapFree=4139556/4192956
[pid=28403] ppid=28401 vsize=330568 CPUtime=222.22
/proc/28403/stat : 28403 (pbct) R 28401 28403 28186 0 -1 4202496 85957 0 0 0 22104 118 0 0 25 0 1 0 89217217 338501632 77194 1992294400 134512640 136421960 4288437120 18446744073709551615 135028852 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28403/statm: 82642 77194 238 467 0 82173 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 330568

[startup+282.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 28412
/proc/meminfo: memFree=1562568/2059040 swapFree=4139556/4192956
[pid=28403] ppid=28401 vsize=331172 CPUtime=282.2
/proc/28403/stat : 28403 (pbct) R 28401 28403 28186 0 -1 4202496 86192 0 0 0 28081 139 0 0 25 0 1 0 89217217 339120128 77427 1992294400 134512640 136421960 4288437120 18446744073709551615 134863509 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28403/statm: 82793 77427 238 467 0 82324 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 331172

[startup+342.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 28414
/proc/meminfo: memFree=1561204/2059040 swapFree=4139556/4192956
[pid=28403] ppid=28401 vsize=332492 CPUtime=342.18
/proc/28403/stat : 28403 (pbct) R 28401 28403 28186 0 -1 4202496 86506 0 0 0 34061 157 0 0 25 0 1 0 89217217 340471808 77741 1992294400 134512640 136421960 4288437120 18446744073709551615 134643244 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28403/statm: 83123 77741 238 467 0 82654 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 332492

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 28416
/proc/meminfo: memFree=1560088/2059040 swapFree=4139556/4192956
[pid=28403] ppid=28401 vsize=333548 CPUtime=402.16
/proc/28403/stat : 28403 (pbct) R 28401 28403 28186 0 -1 4202496 86799 0 0 0 40040 176 0 0 25 0 1 0 89217217 341553152 78033 1992294400 134512640 136421960 4288437120 18446744073709551615 135018975 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28403/statm: 83387 78033 238 467 0 82918 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 333548

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 28416
/proc/meminfo: memFree=1558724/2059040 swapFree=4139556/4192956
[pid=28403] ppid=28401 vsize=334696 CPUtime=462.14
/proc/28403/stat : 28403 (pbct) R 28401 28403 28186 0 -1 4202496 87083 0 0 0 46019 195 0 0 25 0 1 0 89217217 342728704 78316 1992294400 134512640 136421960 4288437120 18446744073709551615 134620057 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28403/statm: 83674 78316 238 467 0 83205 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 334696

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 28418
/proc/meminfo: memFree=1557112/2059040 swapFree=4139556/4192956
[pid=28403] ppid=28401 vsize=336412 CPUtime=522.12
/proc/28403/stat : 28403 (pbct) R 28401 28403 28186 0 -1 4202496 87497 0 0 0 51999 213 0 0 25 0 1 0 89217217 344485888 78730 1992294400 134512640 136421960 4288437120 18446744073709551615 135005960 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28403/statm: 84103 78730 238 467 0 83634 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 336412

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 28420
/proc/meminfo: memFree=1555500/2059040 swapFree=4139556/4192956
[pid=28403] ppid=28401 vsize=338044 CPUtime=582.1
/proc/28403/stat : 28403 (pbct) R 28401 28403 28186 0 -1 4202496 87887 0 0 0 57978 232 0 0 25 0 1 0 89217217 346157056 79120 1992294400 134512640 136421960 4288437120 18446744073709551615 135028857 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28403/statm: 84511 79120 238 467 0 84042 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 338044

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 28422
/proc/meminfo: memFree=1553268/2059040 swapFree=4139556/4192956
[pid=28403] ppid=28401 vsize=340156 CPUtime=642.09
/proc/28403/stat : 28403 (pbct) R 28401 28403 28186 0 -1 4202496 88434 0 0 0 63962 247 0 0 25 0 1 0 89217217 348319744 79667 1992294400 134512640 136421960 4288437120 18446744073709551615 135006289 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28403/statm: 85039 79667 238 467 0 84570 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 340156

[startup+702.302 s]

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

[startup+822.302 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 28429
/proc/meminfo: memFree=1544716/2059040 swapFree=4139556/4192956
[pid=28403] ppid=28401 vsize=347560 CPUtime=822.03
/proc/28403/stat : 28403 (pbct) R 28401 28403 28186 0 -1 4202496 90289 0 0 0 81907 296 0 0 25 0 1 0 89217217 355901440 81521 1992294400 134512640 136421960 4288437120 18446744073709551615 134861840 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28403/statm: 86890 81521 238 467 0 86421 0
Current children cumulated CPU time (s) 822.03
Current children cumulated vsize (KiB) 347560

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 28431
/proc/meminfo: memFree=1542980/2059040 swapFree=4139556/4192956
[pid=28403] ppid=28401 vsize=349408 CPUtime=882
/proc/28403/stat : 28403 (pbct) R 28401 28403 28186 0 -1 4202496 90728 0 0 0 87889 311 0 0 25 0 1 0 89217217 357793792 81959 1992294400 134512640 136421960 4288437120 18446744073709551615 135025621 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28403/statm: 87352 81959 238 467 0 86883 0
Current children cumulated CPU time (s) 882
Current children cumulated vsize (KiB) 349408

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 28433
/proc/meminfo: memFree=1540376/2059040 swapFree=4139556/4192956
[pid=28403] ppid=28401 vsize=351916 CPUtime=941.99
/proc/28403/stat : 28403 (pbct) R 28401 28403 28186 0 -1 4202496 91373 0 0 0 93873 326 0 0 25 0 1 0 89217217 360361984 82604 1992294400 134512640 136421960 4288437120 18446744073709551615 135028864 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28403/statm: 87979 82604 238 467 0 87510 0
Current children cumulated CPU time (s) 941.99
Current children cumulated vsize (KiB) 351916

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 28435
/proc/meminfo: memFree=1538392/2059040 swapFree=4139556/4192956
[pid=28403] ppid=28401 vsize=353764 CPUtime=1001.97
/proc/28403/stat : 28403 (pbct) R 28401 28403 28186 0 -1 4202496 91851 0 0 0 99856 341 0 0 25 0 1 0 89217217 362254336 83082 1992294400 134512640 136421960 4288437120 18446744073709551615 135006289 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28403/statm: 88441 83082 238 467 0 87972 0
Current children cumulated CPU time (s) 1001.97
Current children cumulated vsize (KiB) 353764

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 28435
/proc/meminfo: memFree=1536036/2059040 swapFree=4139556/4192956
[pid=28403] ppid=28401 vsize=356272 CPUtime=1061.95
/proc/28403/stat : 28403 (pbct) R 28401 28403 28186 0 -1 4202496 92451 0 0 0 105837 358 0 0 25 0 1 0 89217217 364822528 83682 1992294400 134512640 136421960 4288437120 18446744073709551615 134862299 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28403/statm: 89068 83682 238 467 0 88599 0
Current children cumulated CPU time (s) 1061.95
Current children cumulated vsize (KiB) 356272

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 28437
/proc/meminfo: memFree=1534300/2059040 swapFree=4139556/4192956
[pid=28403] ppid=28401 vsize=357856 CPUtime=1121.93
/proc/28403/stat : 28403 (pbct) R 28401 28403 28186 0 -1 4202496 92861 0 0 0 111823 370 0 0 25 0 1 0 89217217 366444544 84092 1992294400 134512640 136421960 4288437120 18446744073709551615 135005960 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28403/statm: 89464 84092 238 467 0 88995 0
Current children cumulated CPU time (s) 1121.93
Current children cumulated vsize (KiB) 357856

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 28439
/proc/meminfo: memFree=1534300/2059040 swapFree=4139556/4192956
[pid=28403] ppid=28401 vsize=357856 CPUtime=1181.91
/proc/28403/stat : 28403 (pbct) R 28401 28403 28186 0 -1 4202496 92862 0 0 0 117806 385 0 0 25 0 1 0 89217217 366444544 84092 1992294400 134512640 136421960 4288437120 18446744073709551615 135020403 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28403/statm: 89464 84092 238 467 0 88995 0
Current children cumulated CPU time (s) 1181.91
Current children cumulated vsize (KiB) 357856

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 28441
/proc/meminfo: memFree=1534300/2059040 swapFree=4139556/4192956
[pid=28403] ppid=28401 vsize=357856 CPUtime=1241.89
/proc/28403/stat : 28403 (pbct) R 28401 28403 28186 0 -1 4202496 92862 0 0 0 123788 401 0 0 25 0 1 0 89217217 366444544 84092 1992294400 134512640 136421960 4288437120 18446744073709551615 135028852 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28403/statm: 89464 84092 238 467 0 88995 0
Current children cumulated CPU time (s) 1241.89
Current children cumulated vsize (KiB) 357856

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 28443
/proc/meminfo: memFree=1534300/2059040 swapFree=4139556/4192956
[pid=28403] ppid=28401 vsize=357856 CPUtime=1301.88
/proc/28403/stat : 28403 (pbct) R 28401 28403 28186 0 -1 4202496 92862 0 0 0 129770 418 0 0 25 0 1 0 89217217 366444544 84092 1992294400 134512640 136421960 4288437120 18446744073709551615 135020403 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28403/statm: 89464 84092 238 467 0 88995 0
Current children cumulated CPU time (s) 1301.88
Current children cumulated vsize (KiB) 357856

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 28443
/proc/meminfo: memFree=1534176/2059040 swapFree=4139556/4192956
[pid=28403] ppid=28401 vsize=357856 CPUtime=1361.86
/proc/28403/stat : 28403 (pbct) R 28401 28403 28186 0 -1 4202496 92862 0 0 0 135755 431 0 0 25 0 1 0 89217217 366444544 84092 1992294400 134512640 136421960 4288437120 18446744073709551615 134861890 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28403/statm: 89464 84092 238 467 0 88995 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 357856

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 28445
/proc/meminfo: memFree=1534176/2059040 swapFree=4139556/4192956
[pid=28403] ppid=28401 vsize=357856 CPUtime=1421.84
/proc/28403/stat : 28403 (pbct) R 28401 28403 28186 0 -1 4202496 92862 0 0 0 141738 446 0 0 25 0 1 0 89217217 366444544 84092 1992294400 134512640 136421960 4288437120 18446744073709551615 134861937 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28403/statm: 89464 84092 238 467 0 88995 0
Current children cumulated CPU time (s) 1421.84
Current children cumulated vsize (KiB) 357856

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 28447
/proc/meminfo: memFree=1534176/2059040 swapFree=4139556/4192956
[pid=28403] ppid=28401 vsize=357856 CPUtime=1481.81
/proc/28403/stat : 28403 (pbct) R 28401 28403 28186 0 -1 4202496 92862 0 0 0 147724 457 0 0 25 0 1 0 89217217 366444544 84092 1992294400 134512640 136421960 4288437120 18446744073709551615 135028857 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28403/statm: 89464 84092 238 467 0 88995 0
Current children cumulated CPU time (s) 1481.81
Current children cumulated vsize (KiB) 357856

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 28449
/proc/meminfo: memFree=1534176/2059040 swapFree=4139556/4192956
[pid=28403] ppid=28401 vsize=357856 CPUtime=1541.79
/proc/28403/stat : 28403 (pbct) R 28401 28403 28186 0 -1 4202496 92862 0 0 0 153710 469 0 0 25 0 1 0 89217217 366444544 84092 1992294400 134512640 136421960 4288437120 18446744073709551615 135022100 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28403/statm: 89464 84092 238 467 0 88995 0
Current children cumulated CPU time (s) 1541.79
Current children cumulated vsize (KiB) 357856

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 28451
/proc/meminfo: memFree=1532936/2059040 swapFree=4139556/4192956
[pid=28403] ppid=28401 vsize=359176 CPUtime=1601.78
/proc/28403/stat : 28403 (pbct) R 28401 28403 28186 0 -1 4202496 93193 0 0 0 159693 485 0 0 25 0 1 0 89217217 367796224 84423 1992294400 134512640 136421960 4288437120 18446744073709551615 134861902 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28403/statm: 89794 84423 238 467 0 89325 0
Current children cumulated CPU time (s) 1601.78
Current children cumulated vsize (KiB) 359176

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 28451
/proc/meminfo: memFree=1527728/2059040 swapFree=4139556/4192956
[pid=28403] ppid=28401 vsize=364192 CPUtime=1661.75
/proc/28403/stat : 28403 (pbct) R 28401 28403 28186 0 -1 4202496 94458 0 0 0 165677 498 0 0 25 0 1 0 89217217 372932608 85688 1992294400 134512640 136421960 4288437120 18446744073709551615 135028336 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28403/statm: 91048 85688 238 467 0 90579 0
Current children cumulated CPU time (s) 1661.75
Current children cumulated vsize (KiB) 364192

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 28453
/proc/meminfo: memFree=1524504/2059040 swapFree=4139556/4192956
[pid=28403] ppid=28401 vsize=367492 CPUtime=1721.74
/proc/28403/stat : 28403 (pbct) R 28401 28403 28186 0 -1 4202496 95268 0 0 0 171662 512 0 0 25 0 1 0 89217217 376311808 86498 1992294400 134512640 136421960 4288437120 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28403/statm: 91873 86498 238 467 0 91404 0
Current children cumulated CPU time (s) 1721.74
Current children cumulated vsize (KiB) 367492

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 28455
/proc/meminfo: memFree=1522520/2059040 swapFree=4139556/4192956
[pid=28403] ppid=28401 vsize=369592 CPUtime=1781.72
/proc/28403/stat : 28403 (pbct) R 28401 28403 28186 0 -1 4202496 95761 0 0 0 177644 528 0 0 25 0 1 0 89217217 378462208 86991 1992294400 134512640 136421960 4288437120 18446744073709551615 135006289 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28403/statm: 92398 86991 238 467 0 91929 0
Current children cumulated CPU time (s) 1781.72
Current children cumulated vsize (KiB) 369592



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 28455
/proc/meminfo: memFree=1521900/2059040 swapFree=4139556/4192956
[pid=28403] ppid=28401 vsize=370120 CPUtime=1800.03
/proc/28403/stat : 28403 (pbct) R 28401 28403 28186 0 -1 4202496 95898 0 0 0 179469 534 0 0 25 0 1 0 89217217 379002880 87128 1992294400 134512640 136421960 4288437120 18446744073709551615 135022103 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28403/statm: 92530 87128 238 467 0 92061 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 370120

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.65
CPU time (s): 1800.07
CPU user time (s): 1794.69
CPU system time (s): 5.38118
CPU usage (%): 99.9678
Max. virtual memory (cumulated for all children) (KiB): 370120

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

runsolver used 2.97455 second user time and 8.51071 second system time

The end