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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2682054-1277484299/watcher-2682054-1277484299 -o /tmp/evaluation-result-2682054-1277484299/solver-2682054-1277484299 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2682054-1277484299.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.93 3/105 30366
/proc/meminfo: memFree=1733608/2059040 swapFree=4139732/4192956
[pid=30366] ppid=30364 vsize=2416 CPUtime=0
/proc/30366/stat : 30366 (pbct) R 30364 30366 29924 0 -1 4202496 297 0 0 0 0 0 0 0 25 0 1 0 89723048 2473984 217 1992294400 134512640 136421960 4290982592 18446744073709551615 134546896 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30366/statm: 604 217 139 467 0 135 0

[startup+0.066817 s]
/proc/loadavg: 1.00 1.00 0.93 3/105 30366
/proc/meminfo: memFree=1733608/2059040 swapFree=4139732/4192956
[pid=30366] ppid=30364 vsize=5444 CPUtime=0.06
/proc/30366/stat : 30366 (pbct) R 30364 30366 29924 0 -1 4202496 1062 0 0 0 6 0 0 0 25 0 1 0 89723048 5574656 982 1992294400 134512640 136421960 4290982592 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30366/statm: 1361 984 188 467 0 892 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 5444

[startup+0.100822 s]
/proc/loadavg: 1.00 1.00 0.93 3/105 30366
/proc/meminfo: memFree=1733608/2059040 swapFree=4139732/4192956
[pid=30366] ppid=30364 vsize=9572 CPUtime=0.09
/proc/30366/stat : 30366 (pbct) R 30364 30366 29924 0 -1 4202496 2073 0 0 0 9 0 0 0 25 0 1 0 89723048 9801728 1993 1992294400 134512640 136421960 4290982592 18446744073709551615 136044366 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30366/statm: 2393 1994 194 467 0 1924 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9572

[startup+0.300846 s]
/proc/loadavg: 1.00 1.00 0.93 3/105 30366
/proc/meminfo: memFree=1733608/2059040 swapFree=4139732/4192956
[pid=30366] ppid=30364 vsize=23916 CPUtime=0.29
/proc/30366/stat : 30366 (pbct) R 30364 30366 29924 0 -1 4202496 5742 0 0 0 27 2 0 0 25 0 1 0 89723048 24489984 5596 1992294400 134512640 136421960 4290982592 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30366/statm: 5979 5597 194 467 0 5510 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 23916

[startup+0.700895 s]
/proc/loadavg: 1.00 1.00 0.93 3/105 30366
/proc/meminfo: memFree=1733608/2059040 swapFree=4139732/4192956
[pid=30366] ppid=30364 vsize=47964 CPUtime=0.69
/proc/30366/stat : 30366 (pbct) R 30364 30366 29924 0 -1 4202496 11940 0 0 0 63 6 0 0 25 0 1 0 89723048 49115136 11198 1992294400 134512640 136421960 4290982592 18446744073709551615 135005960 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30366/statm: 11991 11198 217 467 0 11522 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 47964

[startup+1.50099 s]
/proc/loadavg: 1.00 1.00 0.93 2/106 30367
/proc/meminfo: memFree=1689208/2059040 swapFree=4139732/4192956
[pid=30366] ppid=30364 vsize=48492 CPUtime=1.49
/proc/30366/stat : 30366 (pbct) R 30364 30366 29924 0 -1 4202496 12056 0 0 0 133 16 0 0 25 0 1 0 89723048 49655808 11314 1992294400 134512640 136421960 4290982592 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30366/statm: 12123 11314 217 467 0 11654 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 48492

[startup+3.10119 s]
/proc/loadavg: 1.00 1.00 0.93 2/106 30367
/proc/meminfo: memFree=1688464/2059040 swapFree=4139732/4192956
[pid=30366] ppid=30364 vsize=49284 CPUtime=3.09
/proc/30366/stat : 30366 (pbct) R 30364 30366 29924 0 -1 4202496 12260 0 0 0 276 33 0 0 25 0 1 0 89723048 50466816 11518 1992294400 134512640 136421960 4290982592 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30366/statm: 12321 11518 217 467 0 11852 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 49284

[startup+6.30158 s]
/proc/loadavg: 1.00 1.00 0.93 2/106 30367
/proc/meminfo: memFree=1686604/2059040 swapFree=4139732/4192956
[pid=30366] ppid=30364 vsize=50868 CPUtime=6.29
/proc/30366/stat : 30366 (pbct) R 30364 30366 29924 0 -1 4202496 12656 0 0 0 556 73 0 0 25 0 1 0 89723048 52088832 11914 1992294400 134512640 136421960 4290982592 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30366/statm: 12717 11914 217 467 0 12248 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 50868

[startup+12.7014 s]
/proc/loadavg: 1.00 1.00 0.93 2/106 30367
/proc/meminfo: memFree=1683752/2059040 swapFree=4139732/4192956
[pid=30366] ppid=30364 vsize=53652 CPUtime=12.69
/proc/30366/stat : 30366 (pbct) R 30364 30366 29924 0 -1 4202496 13349 0 0 0 1125 144 0 0 25 0 1 0 89723048 54939648 12607 1992294400 134512640 136421960 4290982592 18446744073709551615 135686321 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30366/statm: 13413 12607 217 467 0 12944 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 53652

[startup+25.5009 s]
/proc/loadavg: 1.00 1.00 0.93 2/106 30367
/proc/meminfo: memFree=1683008/2059040 swapFree=4139732/4192956
[pid=30366] ppid=30364 vsize=53916 CPUtime=25.49
/proc/30366/stat : 30366 (pbct) R 30364 30366 29924 0 -1 4202496 13438 0 0 0 2268 281 0 0 25 0 1 0 89723048 55209984 12696 1992294400 134512640 136421960 4290982592 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30366/statm: 13479 12696 217 467 0 13010 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 53916

[startup+51.1011 s]
/proc/loadavg: 1.00 1.00 0.93 2/106 30369
/proc/meminfo: memFree=1681148/2059040 swapFree=4139732/4192956
[pid=30366] ppid=30364 vsize=55896 CPUtime=51.08
/proc/30366/stat : 30366 (pbct) R 30364 30366 29924 0 -1 4202496 13917 0 0 0 4550 558 0 0 25 0 1 0 89723048 57237504 13175 1992294400 134512640 136421960 4290982592 18446744073709551615 134867945 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30366/statm: 13974 13175 217 467 0 13505 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 55896

[startup+102.308 s]
/proc/loadavg: 1.00 1.00 0.93 2/106 30371
/proc/meminfo: memFree=1679536/2059040 swapFree=4139732/4192956
[pid=30366] ppid=30364 vsize=57292 CPUtime=102.27
/proc/30366/stat : 30366 (pbct) R 30364 30366 29924 0 -1 4202496 14266 0 0 0 9131 1096 0 0 25 0 1 0 89723048 58667008 13524 1992294400 134512640 136421960 4290982592 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30366/statm: 14323 13524 217 467 0 13854 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 57292

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/106 30371
/proc/meminfo: memFree=1677056/2059040 swapFree=4139732/4192956
[pid=30366] ppid=30364 vsize=59668 CPUtime=162.24
/proc/30366/stat : 30366 (pbct) R 30364 30366 29924 0 -1 4202496 14868 0 0 0 14543 1681 0 0 25 0 1 0 89723048 61100032 14126 1992294400 134512640 136421960 4290982592 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30366/statm: 14917 14126 217 467 0 14448 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 59668

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/106 30373
/proc/meminfo: memFree=1676064/2059040 swapFree=4139732/4192956
[pid=30366] ppid=30364 vsize=60724 CPUtime=222.23
/proc/30366/stat : 30366 (pbct) R 30364 30366 29924 0 -1 4202496 15122 0 0 0 19928 2295 0 0 25 0 1 0 89723048 62181376 14380 1992294400 134512640 136421960 4290982592 18446744073709551615 135005960 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30366/statm: 15181 14380 217 467 0 14712 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 60724

[startup+282.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/106 30375
/proc/meminfo: memFree=1675940/2059040 swapFree=4139732/4192956
[pid=30366] ppid=30364 vsize=60856 CPUtime=282.22
/proc/30366/stat : 30366 (pbct) R 30364 30366 29924 0 -1 4202496 15174 0 0 0 25327 2895 0 0 25 0 1 0 89723048 62316544 14432 1992294400 134512640 136421960 4290982592 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30366/statm: 15214 14432 217 467 0 14745 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 60856

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/106 30377
/proc/meminfo: memFree=1670360/2059040 swapFree=4139732/4192956
[pid=30366] ppid=30364 vsize=66408 CPUtime=342.2
/proc/30366/stat : 30366 (pbct) R 30364 30366 29924 0 -1 4202496 16541 0 0 0 30719 3501 0 0 25 0 1 0 89723048 68001792 15799 1992294400 134512640 136421960 4290982592 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30366/statm: 16602 15799 217 467 0 16133 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 66408

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/106 30379
/proc/meminfo: memFree=1670360/2059040 swapFree=4139732/4192956
[pid=30366] ppid=30364 vsize=66408 CPUtime=402.19
/proc/30366/stat : 30366 (pbct) R 30364 30366 29924 0 -1 4202496 16541 0 0 0 36090 4129 0 0 25 0 1 0 89723048 68001792 15799 1992294400 134512640 136421960 4290982592 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30366/statm: 16602 15799 217 467 0 16133 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 66408

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/106 30379
/proc/meminfo: memFree=1670236/2059040 swapFree=4139732/4192956
[pid=30366] ppid=30364 vsize=66408 CPUtime=462.17
/proc/30366/stat : 30366 (pbct) R 30364 30366 29924 0 -1 4202496 16541 0 0 0 41508 4709 0 0 25 0 1 0 89723048 68001792 15799 1992294400 134512640 136421960 4290982592 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30366/statm: 16602 15799 217 467 0 16133 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 66408

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/106 30381
/proc/meminfo: memFree=1670236/2059040 swapFree=4139732/4192956
[pid=30366] ppid=30364 vsize=66408 CPUtime=522.15
/proc/30366/stat : 30366 (pbct) R 30364 30366 29924 0 -1 4202496 16541 0 0 0 46874 5341 0 0 25 0 1 0 89723048 68001792 15799 1992294400 134512640 136421960 4290982592 18446744073709551615 134870295 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30366/statm: 16602 15799 217 467 0 16133 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 66408

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/106 30383
/proc/meminfo: memFree=1670112/2059040 swapFree=4139732/4192956
[pid=30366] ppid=30364 vsize=66408 CPUtime=582.13
/proc/30366/stat : 30366 (pbct) R 30364 30366 29924 0 -1 4202496 16541 0 0 0 52261 5952 0 0 25 0 1 0 89723048 68001792 15799 1992294400 134512640 136421960 4290982592 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30366/statm: 16602 15799 217 467 0 16133 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 66408

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/106 30385
/proc/meminfo: memFree=1669740/2059040 swapFree=4139732/4192956
[pid=30366] ppid=30364 vsize=67272 CPUtime=642.12
/proc/30366/stat : 30366 (pbct) R 30364 30366 29924 0 -1 4202496 16746 0 0 0 57648 6564 0 0 25 0 1 0 89723048 68886528 15924 1992294400 134512640 136421960 4290982592 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30366/statm: 16818 15924 239 467 0 16349 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 67272

[startup+702.301 s]

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

[startup+822.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/106 30389
/proc/meminfo: memFree=1669492/2059040 swapFree=4139732/4192956
[pid=30366] ppid=30364 vsize=67272 CPUtime=822.06
/proc/30366/stat : 30366 (pbct) R 30364 30366 29924 0 -1 4202496 16746 0 0 0 73767 8439 0 0 25 0 1 0 89723048 68886528 15924 1992294400 134512640 136421960 4290982592 18446744073709551615 135020790 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30366/statm: 16818 15924 239 467 0 16349 0
Current children cumulated CPU time (s) 822.06
Current children cumulated vsize (KiB) 67272

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/106 30391
/proc/meminfo: memFree=1669492/2059040 swapFree=4139732/4192956
[pid=30366] ppid=30364 vsize=67272 CPUtime=882.05
/proc/30366/stat : 30366 (pbct) R 30364 30366 29924 0 -1 4202496 16747 0 0 0 79150 9055 0 0 25 0 1 0 89723048 68886528 15924 1992294400 134512640 136421960 4290982592 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30366/statm: 16818 15924 239 467 0 16349 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 67272

[startup+942.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/106 30393
/proc/meminfo: memFree=1669368/2059040 swapFree=4139732/4192956
[pid=30366] ppid=30364 vsize=67272 CPUtime=942.04
/proc/30366/stat : 30366 (pbct) R 30364 30366 29924 0 -1 4202496 16747 0 0 0 84501 9703 0 0 25 0 1 0 89723048 68886528 15924 1992294400 134512640 136421960 4290982592 18446744073709551615 135025621 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30366/statm: 16818 15924 239 467 0 16349 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 67272

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/106 30404
/proc/meminfo: memFree=1668748/2059040 swapFree=4139732/4192956
[pid=30366] ppid=30364 vsize=67272 CPUtime=1002
/proc/30366/stat : 30366 (pbct) R 30364 30366 29924 0 -1 4202496 16747 0 0 0 89863 10337 0 0 25 0 1 0 89723048 68886528 15924 1992294400 134512640 136421960 4290982592 18446744073709551615 135032521 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30366/statm: 16818 15924 239 467 0 16349 0
Current children cumulated CPU time (s) 1002
Current children cumulated vsize (KiB) 67272

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/106 30404
/proc/meminfo: memFree=1668748/2059040 swapFree=4139732/4192956
[pid=30366] ppid=30364 vsize=67272 CPUtime=1061.99
/proc/30366/stat : 30366 (pbct) R 30364 30366 29924 0 -1 4202496 16747 0 0 0 95243 10956 0 0 25 0 1 0 89723048 68886528 15924 1992294400 134512640 136421960 4290982592 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30366/statm: 16818 15924 239 467 0 16349 0
Current children cumulated CPU time (s) 1061.99
Current children cumulated vsize (KiB) 67272

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/106 30406
/proc/meminfo: memFree=1668748/2059040 swapFree=4139732/4192956
[pid=30366] ppid=30364 vsize=67272 CPUtime=1121.98
/proc/30366/stat : 30366 (pbct) R 30364 30366 29924 0 -1 4202496 16747 0 0 0 100598 11600 0 0 25 0 1 0 89723048 68886528 15924 1992294400 134512640 136421960 4290982592 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30366/statm: 16818 15924 239 467 0 16349 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 67272

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/106 30408
/proc/meminfo: memFree=1668748/2059040 swapFree=4139732/4192956
[pid=30366] ppid=30364 vsize=67272 CPUtime=1181.96
/proc/30366/stat : 30366 (pbct) R 30364 30366 29924 0 -1 4202496 16747 0 0 0 105949 12247 0 0 25 0 1 0 89723048 68886528 15924 1992294400 134512640 136421960 4290982592 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30366/statm: 16818 15924 239 467 0 16349 0
Current children cumulated CPU time (s) 1181.96
Current children cumulated vsize (KiB) 67272

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/106 30410
/proc/meminfo: memFree=1668624/2059040 swapFree=4139732/4192956
[pid=30366] ppid=30364 vsize=67272 CPUtime=1241.94
/proc/30366/stat : 30366 (pbct) R 30364 30366 29924 0 -1 4202496 16747 0 0 0 111307 12887 0 0 25 0 1 0 89723048 68886528 15924 1992294400 134512640 136421960 4290982592 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30366/statm: 16818 15924 239 467 0 16349 0
Current children cumulated CPU time (s) 1241.94
Current children cumulated vsize (KiB) 67272

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/106 30412
/proc/meminfo: memFree=1667756/2059040 swapFree=4139732/4192956
[pid=30366] ppid=30364 vsize=68592 CPUtime=1301.93
/proc/30366/stat : 30366 (pbct) R 30364 30366 29924 0 -1 4202496 17074 0 0 0 116762 13431 0 0 25 0 1 0 89723048 70238208 16251 1992294400 134512640 136421960 4290982592 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30366/statm: 17148 16251 239 467 0 16679 0
Current children cumulated CPU time (s) 1301.93
Current children cumulated vsize (KiB) 68592

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/106 30412
/proc/meminfo: memFree=1667756/2059040 swapFree=4139732/4192956
[pid=30366] ppid=30364 vsize=68592 CPUtime=1361.91
/proc/30366/stat : 30366 (pbct) R 30364 30366 29924 0 -1 4202496 17075 0 0 0 122113 14078 0 0 25 0 1 0 89723048 70238208 16251 1992294400 134512640 136421960 4290982592 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30366/statm: 17148 16251 239 467 0 16679 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 68592

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.93 2/106 30414
/proc/meminfo: memFree=1667756/2059040 swapFree=4139732/4192956
[pid=30366] ppid=30364 vsize=68592 CPUtime=1421.9
/proc/30366/stat : 30366 (pbct) R 30364 30366 29924 0 -1 4202496 17075 0 0 0 127464 14726 0 0 25 0 1 0 89723048 70238208 16251 1992294400 134512640 136421960 4290982592 18446744073709551615 135686965 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30366/statm: 17148 16251 239 467 0 16679 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 68592

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/106 30416
/proc/meminfo: memFree=1667632/2059040 swapFree=4139732/4192956
[pid=30366] ppid=30364 vsize=68592 CPUtime=1481.88
/proc/30366/stat : 30366 (pbct) R 30364 30366 29924 0 -1 4202496 17075 0 0 0 132843 15345 0 0 25 0 1 0 89723048 70238208 16251 1992294400 134512640 136421960 4290982592 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30366/statm: 17148 16251 239 467 0 16679 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 68592

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/106 30418
/proc/meminfo: memFree=1667632/2059040 swapFree=4139732/4192956
[pid=30366] ppid=30364 vsize=68592 CPUtime=1541.86
/proc/30366/stat : 30366 (pbct) R 30364 30366 29924 0 -1 4202496 17075 0 0 0 138185 16001 0 0 25 0 1 0 89723048 70238208 16251 1992294400 134512640 136421960 4290982592 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30366/statm: 17148 16251 239 467 0 16679 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 68592

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/106 30418
/proc/meminfo: memFree=1667508/2059040 swapFree=4139732/4192956
[pid=30366] ppid=30364 vsize=68592 CPUtime=1601.84
/proc/30366/stat : 30366 (pbct) R 30364 30366 29924 0 -1 4202496 17076 0 0 0 143570 16614 0 0 25 0 1 0 89723048 70238208 16251 1992294400 134512640 136421960 4290982592 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30366/statm: 17148 16251 239 467 0 16679 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 68592

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/106 30420
/proc/meminfo: memFree=1667384/2059040 swapFree=4139732/4192956
[pid=30366] ppid=30364 vsize=68592 CPUtime=1661.83
/proc/30366/stat : 30366 (pbct) R 30364 30366 29924 0 -1 4202496 17077 0 0 0 148956 17227 0 0 25 0 1 0 89723048 70238208 16251 1992294400 134512640 136421960 4290982592 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30366/statm: 17148 16251 239 467 0 16679 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 68592

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/106 30422
/proc/meminfo: memFree=1667260/2059040 swapFree=4139732/4192956
[pid=30366] ppid=30364 vsize=68592 CPUtime=1721.81
/proc/30366/stat : 30366 (pbct) R 30364 30366 29924 0 -1 4202496 17077 0 0 0 154333 17848 0 0 25 0 1 0 89723048 70238208 16251 1992294400 134512640 136421960 4290982592 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30366/statm: 17148 16251 239 467 0 16679 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 68592

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/106 30424
/proc/meminfo: memFree=1667012/2059040 swapFree=4139732/4192956
[pid=30366] ppid=30364 vsize=68592 CPUtime=1781.79
/proc/30366/stat : 30366 (pbct) R 30364 30366 29924 0 -1 4202496 17077 0 0 0 159739 18440 0 0 25 0 1 0 89723048 70238208 16251 1992294400 134512640 136421960 4290982592 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30366/statm: 17148 16251 239 467 0 16679 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 68592



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 0.93 2/106 30424
/proc/meminfo: memFree=1667012/2059040 swapFree=4139732/4192956
[pid=30366] ppid=30364 vsize=68592 CPUtime=1800.1
/proc/30366/stat : 30366 (pbct) R 30364 30366 29924 0 -1 4202496 17077 0 0 0 161381 18629 0 0 25 0 1 0 89723048 70238208 16251 1992294400 134512640 136421960 4290982592 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30366/statm: 17148 16251 239 467 0 16679 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 68592

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.62
CPU time (s): 1800.12
CPU user time (s): 1613.81
CPU system time (s): 186.306
CPU usage (%): 99.972
Max. virtual memory (cumulated for all children) (KiB): 68592

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

runsolver used 3.15952 second user time and 8.31874 second system time

The end