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

command line: runsolver --timestamp -w ROOT/results/node60/watcher-458993-1178647042 -o ROOT/results/node60/solver-458993-1178647042 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/458993-1178647042/instance-458993-1178647042.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: 1.00 1.00 1.00 3/64 15165
/proc/meminfo: memFree=1893256/2055920 swapFree=4183392/4192956
[pid=15165] ppid=15163 vsize=1456 CPUtime=0
/proc/15165/stat : 15165 (PBS4_SAT07v2) R 15163 15165 14412 0 -1 4194304 171 0 0 0 0 0 0 0 18 0 1 0 312614253 1490944 153 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135006757 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15165/statm: 364 153 84 219 0 141 0

[startup+0.057557 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 15165
/proc/meminfo: memFree=1893256/2055920 swapFree=4183392/4192956
[pid=15165] ppid=15163 vsize=1848 CPUtime=0.05
/proc/15165/stat : 15165 (PBS4_SAT07v2) R 15163 15165 14412 0 -1 4194304 322 0 0 0 5 0 0 0 18 0 1 0 312614253 1892352 298 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134594427 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15165/statm: 462 299 86 219 0 239 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 1848

[startup+0.10156 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 15165
/proc/meminfo: memFree=1893256/2055920 swapFree=4183392/4192956
[pid=15165] ppid=15163 vsize=2296 CPUtime=0.09
/proc/15165/stat : 15165 (PBS4_SAT07v2) R 15163 15165 14412 0 -1 4194304 458 0 0 0 9 0 0 0 18 0 1 0 312614253 2351104 385 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134588758 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15165/statm: 574 385 86 219 0 351 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2296

[startup+0.301579 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 15165
/proc/meminfo: memFree=1893256/2055920 swapFree=4183392/4192956
[pid=15165] ppid=15163 vsize=5512 CPUtime=0.29
/proc/15165/stat : 15165 (PBS4_SAT07v2) R 15163 15165 14412 0 -1 4194304 1232 0 0 0 29 0 0 0 19 0 1 0 312614253 5644288 869 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134588758 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15165/statm: 1378 869 86 219 0 1155 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5512

[startup+0.701619 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 15165
/proc/meminfo: memFree=1893256/2055920 swapFree=4183392/4192956
[pid=15165] ppid=15163 vsize=9620 CPUtime=0.69
/proc/15165/stat : 15165 (PBS4_SAT07v2) R 15163 15165 14412 0 -1 4194304 2532 0 0 0 68 1 0 0 22 0 1 0 312614253 9850880 1784 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134588758 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15165/statm: 2405 1784 102 219 0 2182 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 9620

[startup+1.5027 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 15166
/proc/meminfo: memFree=1883904/2055920 swapFree=4183392/4192956
[pid=15165] ppid=15163 vsize=21908 CPUtime=1.49
/proc/15165/stat : 15165 (PBS4_SAT07v2) R 15163 15165 14412 0 -1 4194304 4098 0 0 0 147 2 0 0 25 0 1 0 312614253 22433792 3350 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134588758 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15165/statm: 5477 3350 102 219 0 5254 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 21908

[startup+3.10186 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 15166
/proc/meminfo: memFree=1875136/2055920 swapFree=4183392/4192956
[pid=15165] ppid=15163 vsize=38424 CPUtime=3.09
/proc/15165/stat : 15165 (PBS4_SAT07v2) R 15163 15165 14412 0 -1 4194304 7251 0 0 0 305 4 0 0 25 0 1 0 312614253 39346176 6503 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134588758 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15165/statm: 9606 6503 102 219 0 9383 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 38424

[startup+6.30117 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 15166
/proc/meminfo: memFree=1850568/2055920 swapFree=4183392/4192956
[pid=15165] ppid=15163 vsize=71592 CPUtime=6.29
/proc/15165/stat : 15165 (PBS4_SAT07v2) R 15163 15165 14412 0 -1 4194304 12888 0 0 0 621 8 0 0 25 0 1 0 312614253 73310208 12140 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15165/statm: 17898 12142 102 219 0 17675 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 71592

[startup+12.7018 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 15166
/proc/meminfo: memFree=1815752/2055920 swapFree=4183392/4192956
[pid=15165] ppid=15163 vsize=138800 CPUtime=12.69
/proc/15165/stat : 15165 (PBS4_SAT07v2) R 15163 15165 14412 0 -1 4194304 21113 0 0 0 1256 13 0 0 25 0 1 0 312614253 142131200 20365 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134546904 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15165/statm: 34700 20365 102 219 0 34477 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 138800

[startup+25.5011 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 15166
/proc/meminfo: memFree=1788552/2055920 swapFree=4183392/4192956
[pid=15165] ppid=15163 vsize=142684 CPUtime=25.48
/proc/15165/stat : 15165 (PBS4_SAT07v2) R 15163 15165 14412 0 -1 4194304 27000 0 0 0 2532 16 0 0 25 0 1 0 312614253 146108416 26252 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557514 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15165/statm: 35671 26252 102 219 0 35448 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 142684

[startup+51.1016 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 15166
/proc/meminfo: memFree=1766280/2055920 swapFree=4183392/4192956
[pid=15165] ppid=15163 vsize=146392 CPUtime=51.07
/proc/15165/stat : 15165 (PBS4_SAT07v2) R 15163 15165 14412 0 -1 4194304 32621 0 0 0 5087 20 0 0 25 0 1 0 312614253 149905408 31873 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15165/statm: 36598 31873 102 219 0 36375 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 146392

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 15166
/proc/meminfo: memFree=1753416/2055920 swapFree=4183392/4192956
[pid=15165] ppid=15163 vsize=151088 CPUtime=102.27
/proc/15165/stat : 15165 (PBS4_SAT07v2) R 15163 15165 14412 0 -1 4194304 35767 0 0 0 10202 25 0 0 25 0 1 0 312614253 154714112 35019 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557382 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15165/statm: 37772 35019 102 219 0 37549 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 151088

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 15166
/proc/meminfo: memFree=1747912/2055920 swapFree=4183392/4192956
[pid=15165] ppid=15163 vsize=158668 CPUtime=162.25
/proc/15165/stat : 15165 (PBS4_SAT07v2) R 15163 15165 14412 0 -1 4194304 37904 0 0 0 16194 31 0 0 25 0 1 0 312614253 162476032 36387 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134546904 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15165/statm: 39667 36387 102 219 0 39444 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 158668

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/71 15232
/proc/meminfo: memFree=1743440/2055920 swapFree=4183392/4192956
[pid=15165] ppid=15163 vsize=161196 CPUtime=222.21
/proc/15165/stat : 15165 (PBS4_SAT07v2) R 15163 15165 14412 0 -1 4194304 38663 0 0 0 22185 36 0 0 25 0 1 0 312614253 165064704 37146 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134544734 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15165/statm: 40299 37146 102 219 0 40076 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 161196

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 15364
/proc/meminfo: memFree=1742456/2055920 swapFree=4183392/4192956
[pid=15165] ppid=15163 vsize=162620 CPUtime=282.12
/proc/15165/stat : 15165 (PBS4_SAT07v2) R 15163 15165 14412 0 -1 4194304 39166 0 0 0 28170 42 0 0 25 0 1 0 312614253 166522880 37649 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15165/statm: 40655 37649 102 219 0 40432 0
Current children cumulated CPU time (s) 282.12
Current children cumulated vsize (KiB) 162620

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 15364
/proc/meminfo: memFree=1740744/2055920 swapFree=4183392/4192956
[pid=15165] ppid=15163 vsize=164028 CPUtime=342.11
/proc/15165/stat : 15165 (PBS4_SAT07v2) R 15163 15165 14412 0 -1 4194304 39606 0 0 0 34165 46 0 0 25 0 1 0 312614253 167964672 38089 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134544967 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15165/statm: 41007 38089 102 219 0 40784 0
Current children cumulated CPU time (s) 342.11
Current children cumulated vsize (KiB) 164028

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 15364
/proc/meminfo: memFree=1739080/2055920 swapFree=4183392/4192956
[pid=15165] ppid=15163 vsize=164944 CPUtime=402.09
/proc/15165/stat : 15165 (PBS4_SAT07v2) R 15163 15165 14412 0 -1 4194304 40021 0 0 0 40159 50 0 0 25 0 1 0 312614253 168902656 38504 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15165/statm: 41236 38504 102 219 0 41013 0
Current children cumulated CPU time (s) 402.09
Current children cumulated vsize (KiB) 164944

[startup+462.302 s]
/proc/loadavg: 1.05 1.01 1.00 2/65 15364
/proc/meminfo: memFree=1736968/2055920 swapFree=4183392/4192956
[pid=15165] ppid=15163 vsize=172720 CPUtime=462.08
/proc/15165/stat : 15165 (PBS4_SAT07v2) R 15163 15165 14412 0 -1 4194304 42079 0 0 0 46154 54 0 0 25 0 1 0 312614253 176865280 39025 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15165/statm: 43180 39025 102 219 0 42957 0
Current children cumulated CPU time (s) 462.08
Current children cumulated vsize (KiB) 172720

[startup+522.302 s]
/proc/loadavg: 1.06 1.02 1.00 2/65 15364
/proc/meminfo: memFree=1735304/2055920 swapFree=4183392/4192956
[pid=15165] ppid=15163 vsize=173972 CPUtime=522.06
/proc/15165/stat : 15165 (PBS4_SAT07v2) R 15163 15165 14412 0 -1 4194304 42535 0 0 0 52147 59 0 0 25 0 1 0 312614253 178147328 39481 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134544734 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15165/statm: 43493 39481 102 219 0 43270 0
Current children cumulated CPU time (s) 522.06
Current children cumulated vsize (KiB) 173972

[startup+582.302 s]
/proc/loadavg: 1.13 1.05 1.01 2/65 15364
/proc/meminfo: memFree=1733896/2055920 swapFree=4183392/4192956
[pid=15165] ppid=15163 vsize=174984 CPUtime=582.04
/proc/15165/stat : 15165 (PBS4_SAT07v2) R 15163 15165 14412 0 -1 4194304 42887 0 0 0 58141 63 0 0 25 0 1 0 312614253 179183616 39833 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134549380 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15165/statm: 43746 39833 102 219 0 43523 0
Current children cumulated CPU time (s) 582.04
Current children cumulated vsize (KiB) 174984

[startup+642.302 s]
/proc/loadavg: 1.05 1.04 1.00 2/65 15364
/proc/meminfo: memFree=1731784/2055920 swapFree=4183392/4192956
[pid=15165] ppid=15163 vsize=176548 CPUtime=642.04
/proc/15165/stat : 15165 (PBS4_SAT07v2) R 15163 15165 14412 0 -1 4194304 43399 0 0 0 64136 68 0 0 25 0 1 0 312614253 180785152 40345 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15165/statm: 44137 40345 102 219 0 43914 0
Current children cumulated CPU time (s) 642.04
Current children cumulated vsize (KiB) 176548


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

[startup+822.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 15364
/proc/meminfo: memFree=1727368/2055920 swapFree=4183392/4192956
[pid=15165] ppid=15163 vsize=179776 CPUtime=821.99
/proc/15165/stat : 15165 (PBS4_SAT07v2) R 15163 15165 14412 0 -1 4194304 44512 0 0 0 82119 80 0 0 25 0 1 0 312614253 184090624 41458 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134564358 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15165/statm: 44944 41458 102 219 0 44721 0
Current children cumulated CPU time (s) 821.99
Current children cumulated vsize (KiB) 179776

[startup+882.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 15364
/proc/meminfo: memFree=1726280/2055920 swapFree=4183392/4192956
[pid=15165] ppid=15163 vsize=180448 CPUtime=881.97
/proc/15165/stat : 15165 (PBS4_SAT07v2) R 15163 15165 14412 0 -1 4194304 44792 0 0 0 88114 83 0 0 25 0 1 0 312614253 184778752 41738 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557404 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15165/statm: 45112 41738 102 219 0 44889 0
Current children cumulated CPU time (s) 881.97
Current children cumulated vsize (KiB) 180448

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 15364
/proc/meminfo: memFree=1725064/2055920 swapFree=4183392/4192956
[pid=15165] ppid=15163 vsize=181136 CPUtime=941.95
/proc/15165/stat : 15165 (PBS4_SAT07v2) R 15163 15165 14412 0 -1 4194304 45088 0 0 0 94108 87 0 0 25 0 1 0 312614253 185483264 42034 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134532360 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15165/statm: 45284 42034 102 219 0 45061 0
Current children cumulated CPU time (s) 941.95
Current children cumulated vsize (KiB) 181136

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 15364
/proc/meminfo: memFree=1723976/2055920 swapFree=4183392/4192956
[pid=15165] ppid=15163 vsize=181716 CPUtime=1001.94
/proc/15165/stat : 15165 (PBS4_SAT07v2) R 15163 15165 14412 0 -1 4194304 45350 0 0 0 100103 91 0 0 25 0 1 0 312614253 186077184 42296 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134549392 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15165/statm: 45429 42296 102 219 0 45206 0
Current children cumulated CPU time (s) 1001.94
Current children cumulated vsize (KiB) 181716

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 15364
/proc/meminfo: memFree=1722952/2055920 swapFree=4183392/4192956
[pid=15165] ppid=15163 vsize=182476 CPUtime=1061.93
/proc/15165/stat : 15165 (PBS4_SAT07v2) R 15163 15165 14412 0 -1 4194304 45617 0 0 0 106099 94 0 0 25 0 1 0 312614253 186855424 42563 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15165/statm: 45619 42563 102 219 0 45396 0
Current children cumulated CPU time (s) 1061.93
Current children cumulated vsize (KiB) 182476

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 15364
/proc/meminfo: memFree=1721736/2055920 swapFree=4183392/4192956
[pid=15165] ppid=15163 vsize=194764 CPUtime=1121.91
/proc/15165/stat : 15165 (PBS4_SAT07v2) R 15163 15165 14412 0 -1 4194304 48935 0 0 0 112091 100 0 0 25 0 1 0 312614253 199438336 42808 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550406 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15165/statm: 48691 42808 102 219 0 48468 0
Current children cumulated CPU time (s) 1121.91
Current children cumulated vsize (KiB) 194764

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 15364
/proc/meminfo: memFree=1720904/2055920 swapFree=4183392/4192956
[pid=15165] ppid=15163 vsize=195576 CPUtime=1181.9
/proc/15165/stat : 15165 (PBS4_SAT07v2) R 15163 15165 14412 0 -1 4194304 49197 0 0 0 118087 103 0 0 25 0 1 0 312614253 200269824 43070 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15165/statm: 48894 43070 102 219 0 48671 0
Current children cumulated CPU time (s) 1181.9
Current children cumulated vsize (KiB) 195576

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 15364
/proc/meminfo: memFree=1719752/2055920 swapFree=4183392/4192956
[pid=15165] ppid=15163 vsize=196412 CPUtime=1241.89
/proc/15165/stat : 15165 (PBS4_SAT07v2) R 15163 15165 14412 0 -1 4194304 49466 0 0 0 124082 107 0 0 25 0 1 0 312614253 201125888 43339 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15165/statm: 49103 43339 102 219 0 48880 0
Current children cumulated CPU time (s) 1241.89
Current children cumulated vsize (KiB) 196412

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 15364
/proc/meminfo: memFree=1718664/2055920 swapFree=4183392/4192956
[pid=15165] ppid=15163 vsize=197308 CPUtime=1301.87
/proc/15165/stat : 15165 (PBS4_SAT07v2) R 15163 15165 14412 0 -1 4194304 49716 0 0 0 130076 111 0 0 25 0 1 0 312614253 202043392 43589 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134564381 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15165/statm: 49327 43589 102 219 0 49104 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 197308

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 15364
/proc/meminfo: memFree=1717704/2055920 swapFree=4183392/4192956
[pid=15165] ppid=15163 vsize=197308 CPUtime=1361.85
/proc/15165/stat : 15165 (PBS4_SAT07v2) R 15163 15165 14412 0 -1 4194304 49963 0 0 0 136070 115 0 0 25 0 1 0 312614253 202043392 43836 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15165/statm: 49327 43836 102 219 0 49104 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 197308

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 15364
/proc/meminfo: memFree=1716744/2055920 swapFree=4183392/4192956
[pid=15165] ppid=15163 vsize=198092 CPUtime=1421.84
/proc/15165/stat : 15165 (PBS4_SAT07v2) R 15163 15165 14412 0 -1 4194304 50192 0 0 0 142065 119 0 0 25 0 1 0 312614253 202846208 44065 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557328 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15165/statm: 49523 44065 102 219 0 49300 0
Current children cumulated CPU time (s) 1421.84
Current children cumulated vsize (KiB) 198092

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 15364
/proc/meminfo: memFree=1715848/2055920 swapFree=4183392/4192956
[pid=15165] ppid=15163 vsize=198092 CPUtime=1481.82
/proc/15165/stat : 15165 (PBS4_SAT07v2) R 15163 15165 14412 0 -1 4194304 50428 0 0 0 148060 122 0 0 25 0 1 0 312614253 202846208 44301 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15165/statm: 49523 44301 102 219 0 49300 0
Current children cumulated CPU time (s) 1481.82
Current children cumulated vsize (KiB) 198092

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 15364
/proc/meminfo: memFree=1714440/2055920 swapFree=4183392/4192956
[pid=15165] ppid=15163 vsize=199280 CPUtime=1541.8
/proc/15165/stat : 15165 (PBS4_SAT07v2) R 15163 15165 14412 0 -1 4194304 50763 0 0 0 154055 125 0 0 25 0 1 0 312614253 204062720 44636 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15165/statm: 49820 44636 102 219 0 49597 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 199280

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 15364
/proc/meminfo: memFree=1713480/2055920 swapFree=4183392/4192956
[pid=15165] ppid=15163 vsize=199600 CPUtime=1601.79
/proc/15165/stat : 15165 (PBS4_SAT07v2) R 15163 15165 14412 0 -1 4194304 51020 0 0 0 160050 129 0 0 25 0 1 0 312614253 204390400 44893 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15165/statm: 49900 44893 102 219 0 49677 0
Current children cumulated CPU time (s) 1601.79
Current children cumulated vsize (KiB) 199600

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 15364
/proc/meminfo: memFree=1712584/2055920 swapFree=4183392/4192956
[pid=15165] ppid=15163 vsize=200484 CPUtime=1661.78
/proc/15165/stat : 15165 (PBS4_SAT07v2) R 15163 15165 14412 0 -1 4194304 51238 0 0 0 166046 132 0 0 25 0 1 0 312614253 205295616 45111 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15165/statm: 50121 45111 102 219 0 49898 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 200484

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 15364
/proc/meminfo: memFree=1711624/2055920 swapFree=4183392/4192956
[pid=15165] ppid=15163 vsize=200484 CPUtime=1721.76
/proc/15165/stat : 15165 (PBS4_SAT07v2) R 15163 15165 14412 0 -1 4194304 51484 0 0 0 172041 135 0 0 25 0 1 0 312614253 205295616 45357 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557375 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15165/statm: 50121 45357 102 219 0 49898 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 200484

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 15364
/proc/meminfo: memFree=1710536/2055920 swapFree=4183392/4192956
[pid=15165] ppid=15163 vsize=201584 CPUtime=1781.75
/proc/15165/stat : 15165 (PBS4_SAT07v2) R 15163 15165 14412 0 -1 4194304 51715 0 0 0 178037 138 0 0 25 0 1 0 312614253 206422016 45588 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134548731 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15165/statm: 50396 45588 102 219 0 50173 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 201584



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 15364
/proc/meminfo: memFree=1710216/2055920 swapFree=4183392/4192956
[pid=15165] ppid=15163 vsize=201584 CPUtime=1800.06
/proc/15165/stat : 15165 (PBS4_SAT07v2) R 15163 15165 14412 0 -1 4194304 51788 0 0 0 179867 139 0 0 25 0 1 0 312614253 206422016 45661 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15165/statm: 50396 45661 102 219 0 50173 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 201584

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.7
CPU time (s): 1800.09
CPU user time (s): 1798.67
CPU system time (s): 1.42278
CPU usage (%): 99.9663
Max. virtual memory (cumulated for all children) (KiB): 207056

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

runsolver used 1.41278 second user time and 3.56246 second system time

The end