runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4099767-1466207995/watcher-4099767-1466207995 -o /tmp/evaluation-result-4099767-1466207995/solver-4099767-1466207995 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node121-1466206085-402 --watchdog 1960 naps-1.02 HOME/instance-4099767-1466207995.opb 

pid=2097
running on 4 cores: 0,2,4,6

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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.24 2.19 1.90 3/174 2100
/proc/meminfo: memFree=27707752/32872528 swapFree=1316768/1463936
[pid=2100] ppid=2097 vsize=6816 CPUtime=0 cores=0,2,4,6
/proc/2100/stat : 2100 (naps-1.02) R 2097 2100 386 0 -1 4202496 378 0 0 0 0 0 0 0 20 0 1 0 22846430 6979584 252 33554432000 4194304 5796924 140736638750960 140737093254472 5183584 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/2100/statm: 1704 252 124 392 0 1303 0

[startup+0.100157 s]
/proc/loadavg: 2.24 2.19 1.90 3/174 2100
/proc/meminfo: memFree=27707752/32872528 swapFree=1316768/1463936
[pid=2100] ppid=2097 vsize=9128 CPUtime=0.09 cores=0,2,4,6
/proc/2100/stat : 2100 (naps-1.02) R 2097 2100 386 0 -1 4202496 1005 0 0 0 9 0 0 0 20 0 1 0 22846430 9347072 848 33554432000 4194304 5796924 140736638750960 140737093254472 5184407 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/2100/statm: 2282 848 143 392 0 1881 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9128

[startup+0.20028 s]
/proc/loadavg: 2.24 2.19 1.90 3/174 2100
/proc/meminfo: memFree=27707752/32872528 swapFree=1316768/1463936
[pid=2100] ppid=2097 vsize=9260 CPUtime=0.19 cores=0,2,4,6
/proc/2100/stat : 2100 (naps-1.02) R 2097 2100 386 0 -1 4202496 1029 0 0 0 19 0 0 0 20 0 1 0 22846430 9482240 872 33554432000 4194304 5796924 140736638750960 140737093254472 4865437 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/2100/statm: 2315 872 143 392 0 1914 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 9260

[startup+0.30026 s]
/proc/loadavg: 2.24 2.19 1.90 3/174 2100
/proc/meminfo: memFree=27707752/32872528 swapFree=1316768/1463936
[pid=2100] ppid=2097 vsize=9448 CPUtime=0.29 cores=0,2,4,6
/proc/2100/stat : 2100 (naps-1.02) R 2097 2100 386 0 -1 4202496 1066 0 0 0 29 0 0 0 20 0 1 0 22846430 9674752 909 33554432000 4194304 5796924 140736638750960 140737093254472 4810733 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/2100/statm: 2362 909 143 392 0 1961 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9448

[startup+0.700208 s]
/proc/loadavg: 2.24 2.19 1.90 3/174 2100
/proc/meminfo: memFree=27707752/32872528 swapFree=1316768/1463936
[pid=2100] ppid=2097 vsize=9884 CPUtime=0.69 cores=0,2,4,6
/proc/2100/stat : 2100 (naps-1.02) R 2097 2100 386 0 -1 4202496 1234 0 0 0 69 0 0 0 20 0 1 0 22846430 10121216 1033 33554432000 4194304 5796924 140736638750960 140736638747176 5077954 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/2100/statm: 2471 1033 143 392 0 2070 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 9884

[startup+1.50028 s]
/proc/loadavg: 2.24 2.19 1.90 3/175 2101
/proc/meminfo: memFree=27703992/32872528 swapFree=1316768/1463936
[pid=2100] ppid=2097 vsize=10408 CPUtime=1.49 cores=0,2,4,6
/proc/2100/stat : 2100 (naps-1.02) R 2097 2100 386 0 -1 4202496 1344 0 0 0 149 0 0 0 20 0 1 0 22846430 10657792 1143 33554432000 4194304 5796924 140736638750960 140736638747176 5087632 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/2100/statm: 2602 1143 144 392 0 2201 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10408

[startup+3.10023 s]
/proc/loadavg: 2.22 2.18 1.90 3/175 2101
/proc/meminfo: memFree=27702372/32872528 swapFree=1316768/1463936
[pid=2100] ppid=2097 vsize=10540 CPUtime=3.09 cores=0,2,4,6
/proc/2100/stat : 2100 (naps-1.02) R 2097 2100 386 0 -1 4202496 1377 0 0 0 309 0 0 0 20 0 1 0 22846430 10792960 1176 33554432000 4194304 5796924 140736638750960 140736638747176 4865437 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/2100/statm: 2635 1176 144 392 0 2234 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10540

[startup+6.30023 s]
/proc/loadavg: 2.22 2.18 1.90 3/175 2101
/proc/meminfo: memFree=27701564/32872528 swapFree=1316768/1463936
[pid=2100] ppid=2097 vsize=10976 CPUtime=6.29 cores=0,2,4,6
/proc/2100/stat : 2100 (naps-1.02) R 2097 2100 386 0 -1 4202496 1584 0 0 0 629 0 0 0 20 0 1 0 22846430 11239424 1300 33554432000 4194304 5796924 140736638750960 140736638747176 5096633 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/2100/statm: 2744 1300 144 392 0 2343 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 10976

[startup+12.7002 s]
/proc/loadavg: 2.27 2.19 1.91 3/176 2104
/proc/meminfo: memFree=27700852/32872528 swapFree=1316768/1463936
[pid=2100] ppid=2097 vsize=20624 CPUtime=12.69 cores=0,2,4,6
/proc/2100/stat : 2100 (naps-1.02) R 2097 2100 386 0 -1 4202496 4123 0 0 0 1269 0 0 0 20 0 1 0 22846430 21118976 3674 33554432000 4194304 5796924 140736638750960 140736638747176 4805619 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/2100/statm: 5156 3674 144 392 0 4755 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 20624

[startup+25.5003 s]
/proc/loadavg: 2.23 2.19 1.91 3/176 2104
/proc/meminfo: memFree=27680200/32872528 swapFree=1316768/1463936
[pid=2100] ppid=2097 vsize=33196 CPUtime=25.49 cores=0,2,4,6
/proc/2100/stat : 2100 (naps-1.02) R 2097 2100 386 0 -1 4202496 7507 0 0 0 2548 1 0 0 20 0 1 0 22846430 33992704 6728 33554432000 4194304 5796924 140736638750960 140736638747176 5096588 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/2100/statm: 8299 6728 144 392 0 7898 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 33196

[startup+51.1003 s]
/proc/loadavg: 2.28 2.20 1.92 3/176 2105
/proc/meminfo: memFree=27664864/32872528 swapFree=1316768/1463936
[pid=2100] ppid=2097 vsize=49044 CPUtime=51.08 cores=0,2,4,6
/proc/2100/stat : 2100 (naps-1.02) R 2097 2100 386 0 -1 4202496 10270 0 0 0 5107 1 0 0 20 0 1 0 22846430 50221056 10580 33554432000 4194304 5796924 140736638750960 140736638747176 4316826 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/2100/statm: 12261 10580 144 392 0 11860 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 49044

[startup+102.3 s]
/proc/loadavg: 2.30 2.23 1.94 3/176 2129
/proc/meminfo: memFree=27351164/32872528 swapFree=1316768/1463936
[pid=2100] ppid=2097 vsize=387024 CPUtime=102.28 cores=0,2,4,6
/proc/2100/stat : 2100 (naps-1.02) R 2097 2100 386 0 -1 4202496 54811 0 0 0 10215 13 0 0 20 0 1 0 22846430 396312576 85457 33554432000 4194304 5796924 140736638750960 140736638748600 4592017 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/2100/statm: 96756 85457 171 392 0 96355 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 387024

[startup+162.3 s]
/proc/loadavg: 2.20 2.21 1.95 3/175 2130
/proc/meminfo: memFree=27321144/32872528 swapFree=1316768/1463936
[pid=2100] ppid=2097 vsize=392968 CPUtime=162.26 cores=0,2,4,6
/proc/2100/stat : 2100 (naps-1.02) R 2097 2100 386 0 -1 4202496 57119 0 0 0 16209 17 0 0 20 0 1 0 22846430 402399232 90610 33554432000 4194304 5796924 140736638750960 140736638748424 4606514 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/2100/statm: 98242 90610 171 392 0 97841 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 392968

[startup+222.307 s]
/proc/loadavg: 2.26 2.23 1.97 3/175 2131
/proc/meminfo: memFree=27321048/32872528 swapFree=1316768/1463936
[pid=2100] ppid=2097 vsize=397556 CPUtime=222.27 cores=0,2,4,6
/proc/2100/stat : 2100 (naps-1.02) R 2097 2100 386 0 -1 4202496 58887 0 0 0 22207 20 0 0 20 0 1 0 22846430 407097344 90622 33554432000 4194304 5796924 140736638750960 140736638748072 4592031 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/2100/statm: 99389 90622 171 392 0 98988 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 397556

[startup+282.3 s]
/proc/loadavg: 2.18 2.22 1.98 4/176 2133
/proc/meminfo: memFree=25762928/32872528 swapFree=1316768/1463936
[pid=2100] ppid=2097 vsize=404528 CPUtime=282.24 cores=0,2,4,6
/proc/2100/stat : 2100 (naps-1.02) R 2097 2100 386 0 -1 4202496 61154 0 0 0 28202 22 0 0 20 0 1 0 22846430 414236672 92666 33554432000 4194304 5796924 140736638750960 140736638748424 4595452 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/2100/statm: 101132 92666 171 392 0 100731 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 404528

[startup+342.3 s]
/proc/loadavg: 4.13 2.77 2.19 2/176 2134
/proc/meminfo: memFree=22728940/32872528 swapFree=1316768/1463936
[pid=2100] ppid=2097 vsize=406788 CPUtime=342.23 cores=0,2,4,6
/proc/2100/stat : 2100 (naps-1.02) R 2097 2100 386 0 -1 4202496 61957 0 0 0 34199 24 0 0 20 0 1 0 22846430 416550912 97058 33554432000 4194304 5796924 140736638750960 140736638748072 4591861 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/2100/statm: 101697 97058 171 392 0 101296 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 406788

[startup+402.3 s]
/proc/loadavg: 3.06 2.72 2.21 4/176 2182
/proc/meminfo: memFree=30108952/32872528 swapFree=1316768/1463936
[pid=2100] ppid=2097 vsize=408584 CPUtime=402.21 cores=0,2,4,6
/proc/2100/stat : 2100 (naps-1.02) R 2097 2100 386 0 -1 4202496 64246 0 0 0 40193 28 0 0 20 0 1 0 22846430 418390016 96254 33554432000 4194304 5796924 140736638750960 140736638748424 4591861 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/2100/statm: 102146 96254 171 392 0 101745 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 408584

[startup+462.3 s]
/proc/loadavg: 2.56 2.64 2.20 3/175 2183
/proc/meminfo: memFree=29748964/32872528 swapFree=1316768/1463936
[pid=2100] ppid=2097 vsize=462520 CPUtime=462.19 cores=0,2,4,6
/proc/2100/stat : 2100 (naps-1.02) R 2097 2100 386 0 -1 4202496 66562 0 0 0 46187 32 0 0 20 0 1 0 22846430 473620480 99928 33554432000 4194304 5796924 140736638750960 140736638748600 4591861 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/2100/statm: 115630 99928 171 392 0 115229 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 462520

[startup+522.3 s]
/proc/loadavg: 2.32 2.56 2.20 3/175 2184
/proc/meminfo: memFree=29742656/32872528 swapFree=1316768/1463936
[pid=2100] ppid=2097 vsize=464012 CPUtime=522.17 cores=0,2,4,6
/proc/2100/stat : 2100 (naps-1.02) R 2097 2100 386 0 -1 4202496 67910 0 0 0 52183 34 0 0 20 0 1 0 22846430 475148288 102272 33554432000 4194304 5796924 140736638750960 140736638748600 4592031 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/2100/statm: 116003 102272 171 392 0 115602 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 464012

[startup+582.3 s]
/proc/loadavg: 2.29 2.49 2.20 3/175 2185
/proc/meminfo: memFree=29746180/32872528 swapFree=1316768/1463936
[pid=2100] ppid=2097 vsize=415952 CPUtime=582.16 cores=0,2,4,6
/proc/2100/stat : 2100 (naps-1.02) R 2097 2100 386 0 -1 4202496 69872 0 0 0 58178 38 0 0 20 0 1 0 22846430 425934848 97835 33554432000 4194304 5796924 140736638750960 140736638748424 4592031 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/2100/statm: 103988 97835 171 392 0 103587 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 415952


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


[startup+882.307 s]
/proc/loadavg: 2.18 2.32 2.18 3/175 2194
/proc/meminfo: memFree=29683336/32872528 swapFree=1316768/1463936
[pid=2100] ppid=2097 vsize=480976 CPUtime=882.12 cores=0,2,4,6
/proc/2100/stat : 2100 (naps-1.02) R 2097 2100 386 0 -1 4202496 75003 0 0 0 88166 46 0 0 20 0 1 0 22846430 492519424 108612 33554432000 4194304 5796924 140736638750960 140736638748008 4607232 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/2100/statm: 120244 108612 180 392 0 119843 0
Current children cumulated CPU time (s) 882.12
Current children cumulated vsize (KiB) 480976

[startup+942.3 s]
/proc/loadavg: 2.24 2.30 2.18 4/175 2195
/proc/meminfo: memFree=29684444/32872528 swapFree=1316768/1463936
[pid=2100] ppid=2097 vsize=482688 CPUtime=942.1 cores=0,2,4,6
/proc/2100/stat : 2100 (naps-1.02) R 2097 2100 386 0 -1 4202496 75759 0 0 0 94164 46 0 0 20 0 1 0 22846430 494272512 112434 33554432000 4194304 5796924 140736638750960 140736638748008 4592040 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/2100/statm: 120672 112434 180 392 0 120271 0
Current children cumulated CPU time (s) 942.1
Current children cumulated vsize (KiB) 482688

[startup+1002.3 s]
/proc/loadavg: 2.19 2.28 2.18 3/175 2197
/proc/meminfo: memFree=29711120/32872528 swapFree=1316768/1463936
[pid=2100] ppid=2097 vsize=433852 CPUtime=1002.1 cores=0,2,4,6
/proc/2100/stat : 2100 (naps-1.02) R 2097 2100 386 0 -1 4202496 76640 0 0 0 100162 48 0 0 20 0 1 0 22846430 444264448 103101 33554432000 4194304 5796924 140736638750960 140736638748008 4592031 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/2100/statm: 108463 103101 180 392 0 108062 0
Current children cumulated CPU time (s) 1002.1
Current children cumulated vsize (KiB) 433852

[startup+1062.3 s]
/proc/loadavg: 2.28 2.28 2.19 3/175 2198
/proc/meminfo: memFree=29698216/32872528 swapFree=1316768/1463936
[pid=2100] ppid=2097 vsize=447996 CPUtime=1062.09 cores=0,2,4,6
/proc/2100/stat : 2100 (naps-1.02) R 2097 2100 386 0 -1 4202496 80557 0 0 0 106158 51 0 0 20 0 1 0 22846430 458747904 107018 33554432000 4194304 5796924 140736638750960 140736638748424 4595464 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/2100/statm: 111999 107018 180 392 0 111598 0
Current children cumulated CPU time (s) 1062.09
Current children cumulated vsize (KiB) 447996

[startup+1122.3 s]
/proc/loadavg: 2.21 2.25 2.18 4/175 2199
/proc/meminfo: memFree=29672456/32872528 swapFree=1316768/1463936
[pid=2100] ppid=2097 vsize=500784 CPUtime=1122.08 cores=0,2,4,6
/proc/2100/stat : 2100 (naps-1.02) R 2097 2100 386 0 -1 4202496 81532 0 0 0 112156 52 0 0 20 0 1 0 22846430 512802816 111562 33554432000 4194304 5796924 140736638750960 140736638748600 4592061 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/2100/statm: 125196 111562 180 392 0 124795 0
Current children cumulated CPU time (s) 1122.08
Current children cumulated vsize (KiB) 500784

[startup+1182.3 s]
/proc/loadavg: 2.25 2.25 2.18 4/175 2200
/proc/meminfo: memFree=29667364/32872528 swapFree=1316768/1463936
[pid=2100] ppid=2097 vsize=500784 CPUtime=1182.07 cores=0,2,4,6
/proc/2100/stat : 2100 (naps-1.02) R 2097 2100 386 0 -1 4202496 81538 0 0 0 118155 52 0 0 20 0 1 0 22846430 512802816 114634 33554432000 4194304 5796924 140736638750960 140736638748600 4606555 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/2100/statm: 125196 114634 180 392 0 124795 0
Current children cumulated CPU time (s) 1182.07
Current children cumulated vsize (KiB) 500784

[startup+1242.3 s]
/proc/loadavg: 2.18 2.23 2.18 3/176 2204
/proc/meminfo: memFree=29678800/32872528 swapFree=1316768/1463936
[pid=2100] ppid=2097 vsize=452780 CPUtime=1242.06 cores=0,2,4,6
/proc/2100/stat : 2100 (naps-1.02) R 2097 2100 386 0 -1 4202496 82725 0 0 0 124152 54 0 0 20 0 1 0 22846430 463646720 108677 33554432000 4194304 5796924 140736638750960 140736638748072 4606433 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/2100/statm: 113195 108677 180 392 0 112794 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 452780

[startup+1302.3 s]
/proc/loadavg: 2.16 2.22 2.18 4/175 2206
/proc/meminfo: memFree=29644928/32872528 swapFree=1316768/1463936
[pid=2100] ppid=2097 vsize=510128 CPUtime=1302.06 cores=0,2,4,6
/proc/2100/stat : 2100 (naps-1.02) R 2097 2100 386 0 -1 4202496 84860 0 0 0 130150 56 0 0 20 0 1 0 22846430 522371072 119487 33554432000 4194304 5796924 140736638750960 140736638748072 4606507 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/2100/statm: 127532 119487 180 392 0 127131 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 510128

[startup+1362.3 s]
/proc/loadavg: 2.18 2.22 2.18 3/175 2207
/proc/meminfo: memFree=29665828/32872528 swapFree=1316768/1463936
[pid=2100] ppid=2097 vsize=464400 CPUtime=1362.04 cores=0,2,4,6
/proc/2100/stat : 2100 (naps-1.02) R 2097 2100 386 0 -1 4202496 85972 0 0 0 136147 57 0 0 20 0 1 0 22846430 475545600 110897 33554432000 4194304 5796924 140736638750960 140736638748424 4594424 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/2100/statm: 116100 110897 180 392 0 115699 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 464400

[startup+1422.3 s]
/proc/loadavg: 2.06 2.17 2.17 4/175 2208
/proc/meminfo: memFree=29647776/32872528 swapFree=1316768/1463936
[pid=2100] ppid=2097 vsize=516716 CPUtime=1422.04 cores=0,2,4,6
/proc/2100/stat : 2100 (naps-1.02) R 2097 2100 386 0 -1 4202496 86904 0 0 0 142146 58 0 0 20 0 1 0 22846430 529117184 118470 33554432000 4194304 5796924 140736638750960 140736638748072 4591910 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/2100/statm: 129179 118470 180 392 0 128778 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 516716

[startup+1482.3 s]
/proc/loadavg: 2.14 2.17 2.17 4/175 2209
/proc/meminfo: memFree=29654840/32872528 swapFree=1316768/1463936
[pid=2100] ppid=2097 vsize=520020 CPUtime=1482.03 cores=0,2,4,6
/proc/2100/stat : 2100 (naps-1.02) R 2097 2100 386 0 -1 4202496 88663 0 0 0 148142 61 0 0 20 0 1 0 22846430 532500480 114600 33554432000 4194304 5796924 140736638750960 140736638748072 4592031 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/2100/statm: 130005 114600 180 392 0 129604 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 520020

[startup+1542.31 s]
/proc/loadavg: 2.15 2.17 2.16 3/174 2210
/proc/meminfo: memFree=29606324/32872528 swapFree=1316768/1463936
[pid=2100] ppid=2097 vsize=524252 CPUtime=1542.02 cores=0,2,4,6
/proc/2100/stat : 2100 (naps-1.02) R 2097 2100 386 0 -1 4202496 89517 0 0 0 154140 62 0 0 20 0 1 0 22846430 536834048 124141 33554432000 4194304 5796924 140736638750960 140736638748072 4607229 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/2100/statm: 131063 124141 180 392 0 130662 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 524252

[startup+1602.3 s]
/proc/loadavg: 2.24 2.18 2.17 3/175 2213
/proc/meminfo: memFree=29645988/32872528 swapFree=1316768/1463936
[pid=2100] ppid=2097 vsize=525212 CPUtime=1602.01 cores=0,2,4,6
/proc/2100/stat : 2100 (naps-1.02) R 2097 2100 386 0 -1 4202496 91575 0 0 0 160136 65 0 0 20 0 1 0 22846430 537817088 117321 33554432000 4194304 5796924 140736638750960 140736638748600 4592031 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/2100/statm: 131303 117321 180 392 0 130902 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 525212

[startup+1662.3 s]
/proc/loadavg: 2.25 2.19 2.17 4/175 2214
/proc/meminfo: memFree=29599100/32872528 swapFree=1316768/1463936
[pid=2100] ppid=2097 vsize=527524 CPUtime=1662 cores=0,2,4,6
/proc/2100/stat : 2100 (naps-1.02) R 2097 2100 386 0 -1 4202496 92038 0 0 0 166134 66 0 0 20 0 1 0 22846430 540184576 126471 33554432000 4194304 5796924 140736638750960 140736638748072 4606523 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/2100/statm: 131881 126471 180 392 0 131480 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 527524

[startup+1722.3 s]
/proc/loadavg: 2.26 2.20 2.18 3/175 2215
/proc/meminfo: memFree=29613324/32872528 swapFree=1316768/1463936
[pid=2100] ppid=2097 vsize=528520 CPUtime=1721.98 cores=0,2,4,6
/proc/2100/stat : 2100 (naps-1.02) R 2097 2100 386 0 -1 4202496 93932 0 0 0 172129 69 0 0 20 0 1 0 22846430 541204480 120510 33554432000 4194304 5796924 140736638750960 140736638748072 4592073 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/2100/statm: 132130 120510 180 392 0 131729 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 528520

[startup+1782.3 s]
/proc/loadavg: 2.27 2.21 2.18 3/175 2216
/proc/meminfo: memFree=29591928/32872528 swapFree=1316768/1463936
[pid=2100] ppid=2097 vsize=612836 CPUtime=1781.98 cores=0,2,4,6
/proc/2100/stat : 2100 (naps-1.02) R 2097 2100 386 0 -1 4202496 95330 0 0 0 178127 71 0 0 20 0 1 0 22846430 627544064 130074 33554432000 4194304 5796924 140736638750960 140736638748072 4591892 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/2100/statm: 153209 130074 180 392 0 152808 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 612836



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.36 2.23 2.19 4/175 2217
/proc/meminfo: memFree=29645224/32872528 swapFree=1316768/1463936
[pid=2100] ppid=2097 vsize=481360 CPUtime=1800.07 cores=0,2,4,6
/proc/2100/stat : 2100 (naps-1.02) R 2097 2100 386 0 -1 4202496 95896 0 0 0 179934 73 0 0 20 0 1 0 22846430 492912640 115649 33554432000 4194304 5796924 140736638750960 140736638748424 4592613 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/2100/statm: 120340 115649 180 392 0 119939 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 481360

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 2100 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 10
Real time (s): 1800.41
CPU time (s): 1800.09
CPU user time (s): 1799.35
CPU system time (s): 0.744886
CPU usage (%): 99.9826
Max. virtual memory (cumulated for all children) (KiB): 692976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.35
system time used= 0.744886
maximum resident set size= 593824
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 95908
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= 71
involuntary context switches= 1858

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.98424 second user time and 6.46802 second system time

The end