runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node16/watcher-459784-1178660190 -o ROOT/results/node16/solver-459784-1178660190 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/459784-1178660190/instance-459784-1178660190.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): 3600 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
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.93 0.99 0.99 3/77 11125
/proc/meminfo: memFree=1808896/2055920 swapFree=4148540/4192956
[pid=11125] ppid=11123 vsize=1592 CPUtime=0
/proc/11125/stat : 11125 (PBS4_SAT07v2) R 11123 11125 10324 0 -1 4194304 184 0 0 0 0 0 0 0 18 0 1 0 313936647 1630208 166 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135006757 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11125/statm: 398 166 86 219 0 175 0

[startup+0.022445 s]
/proc/loadavg: 0.93 0.99 0.99 3/77 11125
/proc/meminfo: memFree=1808896/2055920 swapFree=4148540/4192956
[pid=11125] ppid=11123 vsize=1872 CPUtime=0.02
/proc/11125/stat : 11125 (PBS4_SAT07v2) R 11123 11125 10324 0 -1 4194304 251 0 0 0 2 0 0 0 18 0 1 0 313936647 1916928 233 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135057549 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11125/statm: 468 233 86 219 0 245 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 1872

[startup+0.101427 s]
/proc/loadavg: 0.93 0.99 0.99 3/77 11125
/proc/meminfo: memFree=1808896/2055920 swapFree=4148540/4192956
[pid=11125] ppid=11123 vsize=2000 CPUtime=0.09
/proc/11125/stat : 11125 (PBS4_SAT07v2) R 11123 11125 10324 0 -1 4194304 302 0 0 0 9 0 0 0 18 0 1 0 313936647 2048000 284 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557308 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11125/statm: 500 284 90 219 0 277 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2000

[startup+0.301385 s]
/proc/loadavg: 0.93 0.99 0.99 3/77 11125
/proc/meminfo: memFree=1808896/2055920 swapFree=4148540/4192956
[pid=11125] ppid=11123 vsize=2132 CPUtime=0.29
/proc/11125/stat : 11125 (PBS4_SAT07v2) R 11123 11125 10324 0 -1 4194304 347 0 0 0 29 0 0 0 19 0 1 0 313936647 2183168 329 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11125/statm: 533 329 102 219 0 310 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 2132

[startup+0.7013 s]
/proc/loadavg: 0.93 0.99 0.99 3/77 11125
/proc/meminfo: memFree=1808896/2055920 swapFree=4148540/4192956
[pid=11125] ppid=11123 vsize=4056 CPUtime=0.69
/proc/11125/stat : 11125 (PBS4_SAT07v2) R 11123 11125 10324 0 -1 4194304 685 0 0 0 69 0 0 0 23 0 1 0 313936647 4153344 667 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11125/statm: 1014 667 102 219 0 791 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4056

[startup+1.50113 s]
/proc/loadavg: 0.93 0.99 0.99 2/78 11126
/proc/meminfo: memFree=1805432/2055920 swapFree=4148540/4192956
[pid=11125] ppid=11123 vsize=10396 CPUtime=1.49
/proc/11125/stat : 11125 (PBS4_SAT07v2) R 11123 11125 10324 0 -1 4194304 1562 0 0 0 149 0 0 0 25 0 1 0 313936647 10645504 1544 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11125/statm: 2599 1544 102 219 0 2376 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10396

[startup+3.10179 s]
/proc/loadavg: 0.93 0.99 0.99 2/78 11126
/proc/meminfo: memFree=1800504/2055920 swapFree=4148540/4192956
[pid=11125] ppid=11123 vsize=11272 CPUtime=3.09
/proc/11125/stat : 11125 (PBS4_SAT07v2) R 11123 11125 10324 0 -1 4194304 2704 0 0 0 307 2 0 0 25 0 1 0 313936647 11542528 2637 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134584020 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11125/statm: 2818 2637 102 219 0 2595 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 11272

[startup+6.30112 s]
/proc/loadavg: 0.94 0.99 0.99 2/78 11126
/proc/meminfo: memFree=1797368/2055920 swapFree=4148540/4192956
[pid=11125] ppid=11123 vsize=20656 CPUtime=6.29
/proc/11125/stat : 11125 (PBS4_SAT07v2) R 11123 11125 10324 0 -1 4194304 3545 0 0 0 625 4 0 0 25 0 1 0 313936647 21151744 3381 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11125/statm: 5164 3381 102 219 0 4941 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 20656

[startup+12.7018 s]
/proc/loadavg: 0.94 0.99 0.99 2/78 11126
/proc/meminfo: memFree=1788792/2055920 swapFree=4148540/4192956
[pid=11125] ppid=11123 vsize=21488 CPUtime=12.69
/proc/11125/stat : 11125 (PBS4_SAT07v2) R 11123 11125 10324 0 -1 4194304 5216 0 0 0 1262 7 0 0 25 0 1 0 313936647 22003712 5052 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134550331 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11125/statm: 5372 5052 102 219 0 5149 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 21488

[startup+25.5011 s]
/proc/loadavg: 0.95 0.99 0.99 2/78 11126
/proc/meminfo: memFree=1780600/2055920 swapFree=4148540/4192956
[pid=11125] ppid=11123 vsize=39576 CPUtime=25.49
/proc/11125/stat : 11125 (PBS4_SAT07v2) R 11123 11125 10324 0 -1 4194304 7577 0 0 0 2537 12 0 0 25 0 1 0 313936647 40525824 7220 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134547292 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11125/statm: 9894 7220 102 219 0 9671 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 39576

[startup+51.1016 s]
/proc/loadavg: 0.97 0.99 0.99 2/78 11126
/proc/meminfo: memFree=1758776/2055920 swapFree=4148540/4192956
[pid=11125] ppid=11123 vsize=73840 CPUtime=51.09
/proc/11125/stat : 11125 (PBS4_SAT07v2) R 11123 11125 10324 0 -1 4194304 13028 0 0 0 5089 20 0 0 25 0 1 0 313936647 75612160 12671 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134545617 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11125/statm: 18460 12671 102 219 0 18237 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 73840

[startup+102.306 s]
/proc/loadavg: 0.98 0.99 0.99 2/78 11126
/proc/meminfo: memFree=1733304/2055920 swapFree=4148540/4192956
[pid=11125] ppid=11123 vsize=78712 CPUtime=102.3
/proc/11125/stat : 11125 (PBS4_SAT07v2) R 11123 11125 10324 0 -1 4194304 19634 0 0 0 10199 31 0 0 25 0 1 0 313936647 80601088 18892 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11125/statm: 19678 18892 102 219 0 19455 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 78712

[startup+162.301 s]
/proc/loadavg: 1.07 1.01 1.00 2/78 11126
/proc/meminfo: memFree=1716664/2055920 swapFree=4148540/4192956
[pid=11125] ppid=11123 vsize=146968 CPUtime=162.3
/proc/11125/stat : 11125 (PBS4_SAT07v2) R 11123 11125 10324 0 -1 4194304 23769 0 0 0 16187 43 0 0 25 0 1 0 313936647 150495232 23027 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11125/statm: 36742 23027 102 219 0 36519 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 146968

[startup+222.301 s]
/proc/loadavg: 1.02 1.00 1.00 2/78 11126
/proc/meminfo: memFree=1703864/2055920 swapFree=4148540/4192956
[pid=11125] ppid=11123 vsize=152496 CPUtime=222.3
/proc/11125/stat : 11125 (PBS4_SAT07v2) R 11123 11125 10324 0 -1 4194304 27738 0 0 0 22178 52 0 0 25 0 1 0 313936647 156155904 26227 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134548451 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11125/statm: 38124 26227 102 219 0 37901 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 152496

[startup+282.302 s]
/proc/loadavg: 1.01 1.00 1.00 2/78 11126
/proc/meminfo: memFree=1693560/2055920 swapFree=4148540/4192956
[pid=11125] ppid=11123 vsize=154288 CPUtime=282.31
/proc/11125/stat : 11125 (PBS4_SAT07v2) R 11123 11125 10324 0 -1 4194304 30281 0 0 0 28172 59 0 0 25 0 1 0 313936647 157990912 28770 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11125/statm: 38572 28770 102 219 0 38349 0
Current children cumulated CPU time (s) 282.31
Current children cumulated vsize (KiB) 154288

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11126
/proc/meminfo: memFree=1686008/2055920 swapFree=4148540/4192956
[pid=11125] ppid=11123 vsize=155628 CPUtime=342.31
/proc/11125/stat : 11125 (PBS4_SAT07v2) R 11123 11125 10324 0 -1 4194304 32161 0 0 0 34165 66 0 0 25 0 1 0 313936647 159363072 30650 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11125/statm: 38907 30650 102 219 0 38684 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 155628

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11126
/proc/meminfo: memFree=1677880/2055920 swapFree=4148540/4192956
[pid=11125] ppid=11123 vsize=158176 CPUtime=402.31
/proc/11125/stat : 11125 (PBS4_SAT07v2) R 11123 11125 10324 0 -1 4194304 34284 0 0 0 40158 73 0 0 25 0 1 0 313936647 161972224 32740 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11125/statm: 39544 32740 102 219 0 39321 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 158176

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11126
/proc/meminfo: memFree=1669880/2055920 swapFree=4148540/4192956
[pid=11125] ppid=11123 vsize=160260 CPUtime=462.3
/proc/11125/stat : 11125 (PBS4_SAT07v2) R 11123 11125 10324 0 -1 4194304 36259 0 0 0 46152 78 0 0 25 0 1 0 313936647 164106240 34682 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11125/statm: 40065 34682 102 219 0 39842 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 160260

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11126
/proc/meminfo: memFree=1663032/2055920 swapFree=4148540/4192956
[pid=11125] ppid=11123 vsize=161256 CPUtime=522.31
/proc/11125/stat : 11125 (PBS4_SAT07v2) R 11123 11125 10324 0 -1 4194304 37963 0 0 0 52148 83 0 0 25 0 1 0 313936647 165126144 36386 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11125/statm: 40314 36386 102 219 0 40091 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 161256

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11126
/proc/meminfo: memFree=1656312/2055920 swapFree=4148540/4192956
[pid=11125] ppid=11123 vsize=162396 CPUtime=582.31
/proc/11125/stat : 11125 (PBS4_SAT07v2) R 11123 11125 10324 0 -1 4194304 39645 0 0 0 58142 89 0 0 25 0 1 0 313936647 166293504 38068 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134550340 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11125/statm: 40599 38068 102 219 0 40376 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 162396

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11126
/proc/meminfo: memFree=1651256/2055920 swapFree=4148540/4192956
[pid=11125] ppid=11123 vsize=169936 CPUtime=642.32
/proc/11125/stat : 11125 (PBS4_SAT07v2) R 11123 11125 10324 0 -1 4194304 42453 0 0 0 64138 94 0 0 25 0 1 0 313936647 174014464 39339 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11125/statm: 42484 39339 102 219 0 42261 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 169936


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

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11126
/proc/meminfo: memFree=1630520/2055920 swapFree=4148540/4192956
[pid=11125] ppid=11123 vsize=304712 CPUtime=882.32
/proc/11125/stat : 11125 (PBS4_SAT07v2) R 11123 11125 10324 0 -1 4194304 47576 0 0 0 88118 114 0 0 25 0 1 0 313936647 312025088 44429 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11125/statm: 76178 44429 102 219 0 75955 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 304712

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11126
/proc/meminfo: memFree=1627192/2055920 swapFree=4148540/4192956
[pid=11125] ppid=11123 vsize=305616 CPUtime=942.32
/proc/11125/stat : 11125 (PBS4_SAT07v2) R 11123 11125 10324 0 -1 4194304 48473 0 0 0 94113 119 0 0 25 0 1 0 313936647 312950784 45260 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134550325 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11125/statm: 76404 45260 102 219 0 76181 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 305616

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11126
/proc/meminfo: memFree=1623992/2055920 swapFree=4148540/4192956
[pid=11125] ppid=11123 vsize=306864 CPUtime=1002.32
/proc/11125/stat : 11125 (PBS4_SAT07v2) R 11123 11125 10324 0 -1 4194304 49326 0 0 0 100109 123 0 0 25 0 1 0 313936647 314228736 46080 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134550314 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11125/statm: 76716 46080 102 219 0 76493 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 306864

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11126
/proc/meminfo: memFree=1620536/2055920 swapFree=4148540/4192956
[pid=11125] ppid=11123 vsize=307732 CPUtime=1062.32
/proc/11125/stat : 11125 (PBS4_SAT07v2) R 11123 11125 10324 0 -1 4194304 50275 0 0 0 106104 128 0 0 25 0 1 0 313936647 315117568 46963 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11125/statm: 76933 46963 102 219 0 76710 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 307732

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11126
/proc/meminfo: memFree=1618488/2055920 swapFree=4148540/4192956
[pid=11125] ppid=11123 vsize=308236 CPUtime=1122.33
/proc/11125/stat : 11125 (PBS4_SAT07v2) R 11123 11125 10324 0 -1 4194304 50784 0 0 0 112101 132 0 0 25 0 1 0 313936647 315633664 47472 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134546873 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11125/statm: 77059 47472 102 219 0 76836 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 308236

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11126
/proc/meminfo: memFree=1615864/2055920 swapFree=4148540/4192956
[pid=11125] ppid=11123 vsize=308764 CPUtime=1182.33
/proc/11125/stat : 11125 (PBS4_SAT07v2) R 11123 11125 10324 0 -1 4194304 51429 0 0 0 118098 135 0 0 25 0 1 0 313936647 316174336 48117 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11125/statm: 77191 48117 102 219 0 76968 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 308764

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11126
/proc/meminfo: memFree=1612600/2055920 swapFree=4148540/4192956
[pid=11125] ppid=11123 vsize=310068 CPUtime=1242.33
/proc/11125/stat : 11125 (PBS4_SAT07v2) R 11123 11125 10324 0 -1 4194304 52363 0 0 0 124095 138 0 0 25 0 1 0 313936647 317509632 48919 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11125/statm: 77517 48919 102 219 0 77294 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 310068

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11126
/proc/meminfo: memFree=1609784/2055920 swapFree=4148540/4192956
[pid=11125] ppid=11123 vsize=311008 CPUtime=1302.33
/proc/11125/stat : 11125 (PBS4_SAT07v2) R 11123 11125 10324 0 -1 4194304 53138 0 0 0 130090 143 0 0 25 0 1 0 313936647 318472192 49628 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11125/statm: 77752 49628 102 219 0 77529 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 311008

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11126
/proc/meminfo: memFree=1606072/2055920 swapFree=4148540/4192956
[pid=11125] ppid=11123 vsize=311796 CPUtime=1362.33
/proc/11125/stat : 11125 (PBS4_SAT07v2) R 11123 11125 10324 0 -1 4194304 54147 0 0 0 136087 146 0 0 25 0 1 0 313936647 319279104 50604 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11125/statm: 77949 50604 102 219 0 77726 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 311796

[startup+1422.31 s]
/proc/loadavg: 1.04 1.01 1.00 2/78 11126
/proc/meminfo: memFree=1602424/2055920 swapFree=4148540/4192956
[pid=11125] ppid=11123 vsize=312636 CPUtime=1422.34
/proc/11125/stat : 11125 (PBS4_SAT07v2) R 11123 11125 10324 0 -1 4194304 55017 0 0 0 142084 150 0 0 25 0 1 0 313936647 320139264 51474 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11125/statm: 78159 51474 102 219 0 77936 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 312636

[startup+1482.3 s]
/proc/loadavg: 1.01 1.01 1.00 2/84 11200
/proc/meminfo: memFree=1600568/2055920 swapFree=4148540/4192956
[pid=11125] ppid=11123 vsize=313240 CPUtime=1482.3
/proc/11125/stat : 11125 (PBS4_SAT07v2) R 11123 11125 10324 0 -1 4194304 55150 0 0 0 148077 153 0 0 25 0 1 0 313936647 320757760 51607 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134549380 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11125/statm: 78310 51607 102 219 0 78087 0
Current children cumulated CPU time (s) 1482.3
Current children cumulated vsize (KiB) 313240

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11324
/proc/meminfo: memFree=1600632/2055920 swapFree=4148540/4192956
[pid=11125] ppid=11123 vsize=314152 CPUtime=1542.23
/proc/11125/stat : 11125 (PBS4_SAT07v2) R 11123 11125 10324 0 -1 4194304 55522 0 0 0 154066 157 0 0 25 0 1 0 313936647 321691648 51880 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134549376 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11125/statm: 78538 51880 102 219 0 78315 0
Current children cumulated CPU time (s) 1542.23
Current children cumulated vsize (KiB) 314152

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11324
/proc/meminfo: memFree=1599864/2055920 swapFree=4148540/4192956
[pid=11125] ppid=11123 vsize=314544 CPUtime=1602.24
/proc/11125/stat : 11125 (PBS4_SAT07v2) R 11123 11125 10324 0 -1 4194304 55753 0 0 0 160064 160 0 0 25 0 1 0 313936647 322093056 52078 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11125/statm: 78636 52078 102 219 0 78413 0
Current children cumulated CPU time (s) 1602.24
Current children cumulated vsize (KiB) 314544

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11324
/proc/meminfo: memFree=1599032/2055920 swapFree=4148540/4192956
[pid=11125] ppid=11123 vsize=315440 CPUtime=1662.24
/proc/11125/stat : 11125 (PBS4_SAT07v2) R 11123 11125 10324 0 -1 4194304 55954 0 0 0 166061 163 0 0 25 0 1 0 313936647 323010560 52279 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11125/statm: 78860 52279 102 219 0 78637 0
Current children cumulated CPU time (s) 1662.24
Current children cumulated vsize (KiB) 315440

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11324
/proc/meminfo: memFree=1597816/2055920 swapFree=4148540/4192956
[pid=11125] ppid=11123 vsize=316356 CPUtime=1722.24
/proc/11125/stat : 11125 (PBS4_SAT07v2) R 11123 11125 10324 0 -1 4194304 56266 0 0 0 172058 166 0 0 25 0 1 0 313936647 323948544 52591 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11125/statm: 79089 52591 102 219 0 78866 0
Current children cumulated CPU time (s) 1722.24
Current children cumulated vsize (KiB) 316356

[startup+1782.3 s]
/proc/loadavg: 1.12 1.03 1.01 2/78 11324
/proc/meminfo: memFree=1596664/2055920 swapFree=4148540/4192956
[pid=11125] ppid=11123 vsize=318052 CPUtime=1782.25
/proc/11125/stat : 11125 (PBS4_SAT07v2) R 11123 11125 10324 0 -1 4194304 56716 0 0 0 178054 171 0 0 25 0 1 0 313936647 325685248 52876 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134546923 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11125/statm: 79513 52876 102 219 0 79290 0
Current children cumulated CPU time (s) 1782.25
Current children cumulated vsize (KiB) 318052



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.1 s]
/proc/loadavg: 1.08 1.03 1.01 2/78 11324
/proc/meminfo: memFree=1596152/2055920 swapFree=4148540/4192956
[pid=11125] ppid=11123 vsize=330468 CPUtime=1800.05
/proc/11125/stat : 11125 (PBS4_SAT07v2) R 11123 11125 10324 0 -1 4194304 59910 0 0 0 179832 173 0 0 25 0 1 0 313936647 338399232 52964 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11125/statm: 82617 52964 102 219 0 82394 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 330468

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

[startup+1800.1 s]
/proc/loadavg: 1.08 1.03 1.01 2/78 11324
/proc/meminfo: memFree=1596152/2055920 swapFree=4148540/4192956
[pid=11125] ppid=11123 vsize=330468 CPUtime=1800.05
/proc/11125/stat : 11125 (PBS4_SAT07v2) R 11123 11125 10324 0 -1 4194304 59910 0 0 0 179832 173 0 0 25 0 1 0 313936647 338399232 52964 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11125/statm: 82617 52964 102 219 0 82394 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 330468

Child status: 0
Real time (s): 1800.14
CPU time (s): 1800.1
CPU user time (s): 1798.32
CPU system time (s): 1.77373
CPU usage (%): 99.9973
Max. virtual memory (cumulated for all children) (KiB): 330468

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.32
system time used= 1.77373
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 59913
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= 8
involuntary context switches= 37387

runsolver used 1.67774 second user time and 4.54231 second system time

The end