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-4103623-1466262045/watcher-4103623-1466262045 -o /tmp/evaluation-result-4103623-1466262045/solver-4103623-1466262045 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node103-1466241673-16674 --watchdog 1960 naps-1.02 HOME/instance-4103623-1466262045.opb 

pid=18933
running on 4 cores: 1,3,5,7

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.00 2.01 2.00 3/177 18936
/proc/meminfo: memFree=31407300/32872528 swapFree=249320/249320
[pid=18936] ppid=18933 vsize=6556 CPUtime=0 cores=1,3,5,7
/proc/18936/stat : 18936 (naps-1.02) R 18933 18936 16657 0 -1 4202496 344 0 0 0 0 0 0 0 20 0 1 0 28254916 6713344 219 33554432000 4194304 5796924 140734807905456 140734041142072 5183584 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/18936/statm: 1639 219 128 392 0 1238 0

[startup+0.100259 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 18936
/proc/meminfo: memFree=31407300/32872528 swapFree=249320/249320
[pid=18936] ppid=18933 vsize=8624 CPUtime=0.09 cores=1,3,5,7
/proc/18936/stat : 18936 (naps-1.02) R 18933 18936 16657 0 -1 4202496 876 0 0 0 9 0 0 0 20 0 1 0 28254916 8830976 715 33554432000 4194304 5796924 140734807905456 140734041142072 5087650 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/18936/statm: 2156 715 139 392 0 1755 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 8624

[startup+0.200232 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 18936
/proc/meminfo: memFree=31407300/32872528 swapFree=249320/249320
[pid=18936] ppid=18933 vsize=8624 CPUtime=0.19 cores=1,3,5,7
/proc/18936/stat : 18936 (naps-1.02) R 18933 18936 16657 0 -1 4202496 877 0 0 0 19 0 0 0 20 0 1 0 28254916 8830976 716 33554432000 4194304 5796924 140734807905456 140734041142072 5096544 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/18936/statm: 2156 716 140 392 0 1755 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 8624

[startup+0.300229 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 18936
/proc/meminfo: memFree=31407300/32872528 swapFree=249320/249320
[pid=18936] ppid=18933 vsize=8624 CPUtime=0.29 cores=1,3,5,7
/proc/18936/stat : 18936 (naps-1.02) R 18933 18936 16657 0 -1 4202496 877 0 0 0 29 0 0 0 20 0 1 0 28254916 8830976 716 33554432000 4194304 5796924 140734807905456 140734041142072 4809276 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/18936/statm: 2156 716 140 392 0 1755 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8624

[startup+0.70026 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 18936
/proc/meminfo: memFree=31407300/32872528 swapFree=249320/249320
[pid=18936] ppid=18933 vsize=8624 CPUtime=0.69 cores=1,3,5,7
/proc/18936/stat : 18936 (naps-1.02) R 18933 18936 16657 0 -1 4202496 877 0 0 0 69 0 0 0 20 0 1 0 28254916 8830976 716 33554432000 4194304 5796924 140734807905456 140734807901672 4865554 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/18936/statm: 2156 716 140 392 0 1755 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8624

[startup+1.50026 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 18937
/proc/meminfo: memFree=31404796/32872528 swapFree=249320/249320
[pid=18936] ppid=18933 vsize=8756 CPUtime=1.49 cores=1,3,5,7
/proc/18936/stat : 18936 (naps-1.02) R 18933 18936 16657 0 -1 4202496 880 0 0 0 149 0 0 0 20 0 1 0 28254916 8966144 719 33554432000 4194304 5796924 140734807905456 140734807901672 5087529 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/18936/statm: 2189 719 140 392 0 1788 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8756

[startup+3.10023 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 18937
/proc/meminfo: memFree=31401824/32872528 swapFree=249320/249320
[pid=18936] ppid=18933 vsize=11336 CPUtime=3.09 cores=1,3,5,7
/proc/18936/stat : 18936 (naps-1.02) R 18933 18936 16657 0 -1 4202496 1555 0 0 0 309 0 0 0 20 0 1 0 28254916 11608064 1394 33554432000 4194304 5796924 140734807905456 140734807901672 5096544 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/18936/statm: 2834 1394 144 392 0 2433 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 11336

[startup+6.30026 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 18937
/proc/meminfo: memFree=31399768/32872528 swapFree=249320/249320
[pid=18936] ppid=18933 vsize=13964 CPUtime=6.29 cores=1,3,5,7
/proc/18936/stat : 18936 (naps-1.02) R 18933 18936 16657 0 -1 4202496 2322 0 0 0 629 0 0 0 20 0 1 0 28254916 14299136 2036 33554432000 4194304 5796924 140734807905456 140734807901672 5092550 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/18936/statm: 3491 2036 144 392 0 3090 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 13964

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 18937
/proc/meminfo: memFree=31398560/32872528 swapFree=249320/249320
[pid=18936] ppid=18933 vsize=18324 CPUtime=12.69 cores=1,3,5,7
/proc/18936/stat : 18936 (naps-1.02) R 18933 18936 16657 0 -1 4202496 3532 0 0 0 1268 1 0 0 20 0 1 0 28254916 18763776 3081 33554432000 4194304 5796924 140734807905456 140734807901672 5096706 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/18936/statm: 4581 3081 144 392 0 4180 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 18324

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 18960
/proc/meminfo: memFree=31393648/32872528 swapFree=249320/249320
[pid=18936] ppid=18933 vsize=18684 CPUtime=25.49 cores=1,3,5,7
/proc/18936/stat : 18936 (naps-1.02) R 18933 18936 16657 0 -1 4202496 3632 0 0 0 2548 1 0 0 20 0 1 0 28254916 19132416 3181 33554432000 4194304 5796924 140734807905456 140734807901672 4313072 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/18936/statm: 4671 3181 144 392 0 4270 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 18684

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 18960
/proc/meminfo: memFree=31389100/32872528 swapFree=249320/249320
[pid=18936] ppid=18933 vsize=24048 CPUtime=51.08 cores=1,3,5,7
/proc/18936/stat : 18936 (naps-1.02) R 18933 18936 16657 0 -1 4202496 5198 0 0 0 5107 1 0 0 20 0 1 0 28254916 24625152 4417 33554432000 4194304 5796924 140734807905456 140734807901672 4861426 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/18936/statm: 6012 4417 144 392 0 5611 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 24048

[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 18961
/proc/meminfo: memFree=31382752/32872528 swapFree=249320/249320
[pid=18936] ppid=18933 vsize=30852 CPUtime=102.28 cores=1,3,5,7
/proc/18936/stat : 18936 (naps-1.02) R 18933 18936 16657 0 -1 4202496 6976 0 0 0 10227 1 0 0 20 0 1 0 28254916 31592448 6047 33554432000 4194304 5796924 140734807905456 140734807901672 5087743 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/18936/statm: 7713 6047 144 392 0 7312 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 30852

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 18962
/proc/meminfo: memFree=31371776/32872528 swapFree=249320/249320
[pid=18936] ppid=18933 vsize=41168 CPUtime=162.27 cores=1,3,5,7
/proc/18936/stat : 18936 (naps-1.02) R 18933 18936 16657 0 -1 4202496 8747 0 0 0 16225 2 0 0 20 0 1 0 28254916 42156032 8544 33554432000 4194304 5796924 140734807905456 140734807901672 4809276 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/18936/statm: 10292 8544 191 392 0 9891 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 41168

[startup+222.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 18963
/proc/meminfo: memFree=31371772/32872528 swapFree=249320/249320
[pid=18936] ppid=18933 vsize=41340 CPUtime=222.26 cores=1,3,5,7
/proc/18936/stat : 18936 (naps-1.02) R 18933 18936 16657 0 -1 4202496 8854 0 0 0 22224 2 0 0 20 0 1 0 28254916 42332160 8663 33554432000 4194304 5796924 140734807905456 140734807901672 4865437 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/18936/statm: 10335 8663 191 392 0 9934 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 41340

[startup+282.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 18965
/proc/meminfo: memFree=31368304/32872528 swapFree=249320/249320
[pid=18936] ppid=18933 vsize=44296 CPUtime=282.25 cores=1,3,5,7
/proc/18936/stat : 18936 (naps-1.02) R 18933 18936 16657 0 -1 4202496 9732 0 0 0 28223 2 0 0 20 0 1 0 28254916 45359104 9541 33554432000 4194304 5796924 140734807905456 140734807901672 4865204 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/18936/statm: 11074 9541 191 392 0 10673 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 44296

[startup+342.3 s]
/proc/loadavg: 2.12 2.04 2.01 3/177 18966
/proc/meminfo: memFree=31368428/32872528 swapFree=249320/249320
[pid=18936] ppid=18933 vsize=44296 CPUtime=342.24 cores=1,3,5,7
/proc/18936/stat : 18936 (naps-1.02) R 18933 18936 16657 0 -1 4202496 9758 0 0 0 34222 2 0 0 20 0 1 0 28254916 45359104 9567 33554432000 4194304 5796924 140734807905456 140734807901672 4805764 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/18936/statm: 11074 9567 191 392 0 10673 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 44296

[startup+402.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/177 18967
/proc/meminfo: memFree=31366196/32872528 swapFree=249320/249320
[pid=18936] ppid=18933 vsize=46068 CPUtime=402.23 cores=1,3,5,7
/proc/18936/stat : 18936 (naps-1.02) R 18933 18936 16657 0 -1 4202496 10313 0 0 0 40221 2 0 0 20 0 1 0 28254916 47173632 10122 33554432000 4194304 5796924 140734807905456 140734807901672 5092526 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/18936/statm: 11517 10122 191 392 0 11116 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 46068

[startup+462.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 18968
/proc/meminfo: memFree=31366000/32872528 swapFree=249320/249320
[pid=18936] ppid=18933 vsize=46252 CPUtime=462.22 cores=1,3,5,7
/proc/18936/stat : 18936 (naps-1.02) R 18933 18936 16657 0 -1 4202496 10333 0 0 0 46220 2 0 0 20 0 1 0 28254916 47362048 10140 33554432000 4194304 5796924 140734807905456 140734807901672 5087532 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/18936/statm: 11563 10140 191 392 0 11162 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 46252

[startup+522.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 18969
/proc/meminfo: memFree=31363968/32872528 swapFree=249320/249320
[pid=18936] ppid=18933 vsize=50784 CPUtime=522.21 cores=1,3,5,7
/proc/18936/stat : 18936 (naps-1.02) R 18933 18936 16657 0 -1 4202496 10905 0 0 0 52219 2 0 0 20 0 1 0 28254916 52002816 10712 33554432000 4194304 5796924 140734807905456 140734807901672 5087743 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/18936/statm: 12696 10712 191 392 0 12295 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 50784

[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 18974
/proc/meminfo: memFree=31363836/32872528 swapFree=249320/249320
[pid=18936] ppid=18933 vsize=50784 CPUtime=582.2 cores=1,3,5,7
/proc/18936/stat : 18936 (naps-1.02) R 18933 18936 16657 0 -1 4202496 10936 0 0 0 58218 2 0 0 20 0 1 0 28254916 52002816 10743 33554432000 4194304 5796924 140734807905456 140734807901672 5100064 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/18936/statm: 12696 10743 191 392 0 12295 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 50784


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

/proc/loadavg: 2.06 2.02 2.00 3/177 18978
/proc/meminfo: memFree=31360604/32872528 swapFree=249320/249320
[pid=18936] ppid=18933 vsize=52104 CPUtime=822.16 cores=1,3,5,7
/proc/18936/stat : 18936 (naps-1.02) R 18933 18936 16657 0 -1 4202496 11343 0 0 0 82214 2 0 0 20 0 1 0 28254916 53354496 11149 33554432000 4194304 5796924 140734807905456 140734807901672 4865620 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/18936/statm: 13026 11149 191 392 0 12625 0
Current children cumulated CPU time (s) 822.16
Current children cumulated vsize (KiB) 52104

[startup+882.307 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 18980
/proc/meminfo: memFree=31360320/32872528 swapFree=249320/249320
[pid=18936] ppid=18933 vsize=52104 CPUtime=882.16 cores=1,3,5,7
/proc/18936/stat : 18936 (naps-1.02) R 18933 18936 16657 0 -1 4202496 11381 0 0 0 88214 2 0 0 20 0 1 0 28254916 53354496 11187 33554432000 4194304 5796924 140734807905456 140734807901672 4865437 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/18936/statm: 13026 11187 191 392 0 12625 0
Current children cumulated CPU time (s) 882.16
Current children cumulated vsize (KiB) 52104

[startup+942.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 18981
/proc/meminfo: memFree=31358884/32872528 swapFree=249320/249320
[pid=18936] ppid=18933 vsize=52104 CPUtime=942.14 cores=1,3,5,7
/proc/18936/stat : 18936 (naps-1.02) R 18933 18936 16657 0 -1 4202496 11381 0 0 0 94212 2 0 0 20 0 1 0 28254916 53354496 11428 33554432000 4194304 5796924 140734807905456 140734807901672 5087771 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/18936/statm: 13026 11428 191 392 0 12625 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 52104

[startup+1002.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/177 18982
/proc/meminfo: memFree=31359724/32872528 swapFree=249320/249320
[pid=18936] ppid=18933 vsize=52104 CPUtime=1002.13 cores=1,3,5,7
/proc/18936/stat : 18936 (naps-1.02) R 18933 18936 16657 0 -1 4202496 11381 0 0 0 100211 2 0 0 20 0 1 0 28254916 53354496 11428 33554432000 4194304 5796924 140734807905456 140734807901672 5087771 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/18936/statm: 13026 11428 191 392 0 12625 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 52104

[startup+1062.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/177 18983
/proc/meminfo: memFree=31359728/32872528 swapFree=249320/249320
[pid=18936] ppid=18933 vsize=52104 CPUtime=1062.12 cores=1,3,5,7
/proc/18936/stat : 18936 (naps-1.02) R 18933 18936 16657 0 -1 4202496 11381 0 0 0 106210 2 0 0 20 0 1 0 28254916 53354496 11428 33554432000 4194304 5796924 140734807905456 140734807901672 5100093 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/18936/statm: 13026 11428 191 392 0 12625 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 52104

[startup+1122.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/177 18984
/proc/meminfo: memFree=31358616/32872528 swapFree=249320/249320
[pid=18936] ppid=18933 vsize=53376 CPUtime=1122.11 cores=1,3,5,7
/proc/18936/stat : 18936 (naps-1.02) R 18933 18936 16657 0 -1 4202496 11687 0 0 0 112209 2 0 0 20 0 1 0 28254916 54657024 11734 33554432000 4194304 5796924 140734807905456 140734807901672 4806969 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/18936/statm: 13344 11734 191 392 0 12943 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 53376

[startup+1182.3 s]
/proc/loadavg: 2.05 2.05 2.00 3/178 18989
/proc/meminfo: memFree=31356192/32872528 swapFree=249320/249320
[pid=18936] ppid=18933 vsize=55240 CPUtime=1182.11 cores=1,3,5,7
/proc/18936/stat : 18936 (naps-1.02) R 18933 18936 16657 0 -1 4202496 12142 0 0 0 118208 3 0 0 20 0 1 0 28254916 56565760 12189 33554432000 4194304 5796924 140734807905456 140734807899176 4865437 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/18936/statm: 13810 12189 191 392 0 13409 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 55240

[startup+1242.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 18990
/proc/meminfo: memFree=31060632/32872528 swapFree=249320/249320
[pid=18936] ppid=18933 vsize=370768 CPUtime=1242.09 cores=1,3,5,7
/proc/18936/stat : 18936 (naps-1.02) R 18933 18936 16657 0 -1 4202496 53820 0 0 0 124197 12 0 0 20 0 1 0 28254916 379666432 86001 33554432000 4194304 5796924 140734807905456 140734807902504 4606507 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/18936/statm: 92692 86001 218 392 0 92291 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 370768

[startup+1302.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/177 18991
/proc/meminfo: memFree=30849204/32872528 swapFree=249320/249320
[pid=18936] ppid=18933 vsize=378048 CPUtime=1302.09 cores=1,3,5,7
/proc/18936/stat : 18936 (naps-1.02) R 18933 18936 16657 0 -1 4202496 55539 0 0 0 130196 13 0 0 20 0 1 0 28254916 387121152 89238 33554432000 4194304 5796924 140734807905456 140734807902504 4606552 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/18936/statm: 94512 89238 221 392 0 94111 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 378048

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

[startup+1305.6 s]
/proc/loadavg: 2.12 2.05 2.01 3/177 18991
/proc/meminfo: memFree=30816716/32872528 swapFree=249320/249320
[pid=18936] ppid=18933 vsize=378048 CPUtime=1305.39 cores=1,3,5,7
/proc/18936/stat : 18936 (naps-1.02) R 18933 18936 16657 0 -1 4202496 55720 0 0 0 130526 13 0 0 20 0 1 0 28254916 387121152 90441 33554432000 4194304 5796924 140734807905456 140734807903848 4606507 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/18936/statm: 94512 90441 221 392 0 94111 0
Current children cumulated CPU time (s) 1305.39
Current children cumulated vsize (KiB) 378048

[startup+1318.4 s]
/proc/loadavg: 2.09 2.05 2.00 3/177 18991
/proc/meminfo: memFree=30817960/32872528 swapFree=249320/249320
[pid=18936] ppid=18933 vsize=378048 CPUtime=1318.18 cores=1,3,5,7
/proc/18936/stat : 18936 (naps-1.02) R 18933 18936 16657 0 -1 4202496 56347 0 0 0 131804 14 0 0 20 0 1 0 28254916 387121152 88890 33554432000 4194304 5796924 140734807905456 140734807902920 4607241 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/18936/statm: 94512 88890 221 392 0 94111 0
Current children cumulated CPU time (s) 1318.18
Current children cumulated vsize (KiB) 378048

[startup+1324.8 s]
/proc/loadavg: 2.08 2.05 2.00 3/177 18992
/proc/meminfo: memFree=30816588/32872528 swapFree=249320/249320
[pid=18936] ppid=18933 vsize=379604 CPUtime=1324.58 cores=1,3,5,7
/proc/18936/stat : 18936 (naps-1.02) R 18933 18936 16657 0 -1 4202496 56717 0 0 0 132444 14 0 0 20 0 1 0 28254916 388714496 89260 33554432000 4194304 5796924 140734807905456 140734807903848 4606507 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/18936/statm: 94901 89260 221 392 0 94500 0
Current children cumulated CPU time (s) 1324.58
Current children cumulated vsize (KiB) 379604

[startup+1328 s]
/proc/loadavg: 2.08 2.05 2.00 3/177 18992
/proc/meminfo: memFree=30814044/32872528 swapFree=249320/249320
[pid=18936] ppid=18933 vsize=379604 CPUtime=1327.79 cores=1,3,5,7
/proc/18936/stat : 18936 (naps-1.02) R 18933 18936 16657 0 -1 4202496 56793 0 0 0 132764 15 0 0 20 0 1 0 28254916 388714496 89847 33554432000 4194304 5796924 140734807905456 140734807903848 4591871 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/18936/statm: 94901 89847 221 392 0 94500 0
Current children cumulated CPU time (s) 1327.79
Current children cumulated vsize (KiB) 379604

[startup+1331.2 s]
/proc/loadavg: 2.08 2.05 2.00 3/177 18992
/proc/meminfo: memFree=30814044/32872528 swapFree=249320/249320
[pid=18936] ppid=18933 vsize=381164 CPUtime=1330.99 cores=1,3,5,7
/proc/18936/stat : 18936 (naps-1.02) R 18933 18936 16657 0 -1 4202496 57118 0 0 0 133084 15 0 0 20 0 1 0 28254916 390311936 90172 33554432000 4194304 5796924 140734807905456 140734807903848 4654159 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/18936/statm: 95291 90172 221 392 0 94890 0
Current children cumulated CPU time (s) 1330.99
Current children cumulated vsize (KiB) 381164

[startup+1332.8 s]
/proc/loadavg: 2.08 2.05 2.00 3/177 18992
/proc/meminfo: memFree=30812680/32872528 swapFree=249320/249320
[pid=18936] ppid=18933 vsize=381164 CPUtime=1332.59 cores=1,3,5,7
/proc/18936/stat : 18936 (naps-1.02) R 18933 18936 16657 0 -1 4202496 57193 0 0 0 133244 15 0 0 20 0 1 0 28254916 390311936 90247 33554432000 4194304 5796924 140734807905456 140734807903848 4583292 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/18936/statm: 95291 90247 221 392 0 94890 0
Current children cumulated CPU time (s) 1332.59
Current children cumulated vsize (KiB) 381164

[startup+1333.2 s]
/proc/loadavg: 2.07 2.05 2.00 3/177 18992
/proc/meminfo: memFree=30810384/32872528 swapFree=249320/249320
[pid=18936] ppid=18933 vsize=381164 CPUtime=1332.99 cores=1,3,5,7
/proc/18936/stat : 18936 (naps-1.02) R 18933 18936 16657 0 -1 4202496 57198 0 0 0 133284 15 0 0 20 0 1 0 28254916 390311936 90763 33554432000 4194304 5796924 140734807905456 140734807903848 4606239 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/18936/statm: 95291 90763 221 392 0 94890 0
Current children cumulated CPU time (s) 1332.99
Current children cumulated vsize (KiB) 381164

[startup+1333.4 s]
/proc/loadavg: 2.07 2.05 2.00 3/177 18992
/proc/meminfo: memFree=30810384/32872528 swapFree=249320/249320
[pid=18936] ppid=18933 vsize=430484 CPUtime=1333.18 cores=1,3,5,7
/proc/18936/stat : 18936 (naps-1.02) R 18933 18936 16657 0 -1 4202496 57266 0 0 0 133303 15 0 0 20 0 1 0 28254916 440815616 95930 33554432000 4194304 5796924 140734807905456 140734807903848 4627201 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/18936/statm: 107621 95930 221 392 0 107220 0
Current children cumulated CPU time (s) 1333.18
Current children cumulated vsize (KiB) 430484

[startup+1333.5 s]
/proc/loadavg: 2.07 2.05 2.00 3/177 18992
/proc/meminfo: memFree=30810384/32872528 swapFree=249320/249320
[pid=18936] ppid=18933 vsize=430484 CPUtime=1333.28 cores=1,3,5,7
/proc/18936/stat : 18936 (naps-1.02) R 18933 18936 16657 0 -1 4202496 57271 0 0 0 133313 15 0 0 20 0 1 0 28254916 440815616 98490 33554432000 4194304 5796924 140734807905456 140734807903848 4579308 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/18936/statm: 107621 98490 221 392 0 107220 0
Current children cumulated CPU time (s) 1333.28
Current children cumulated vsize (KiB) 430484

Child status: 30
Real time (s): 1333.56
CPU time (s): 1333.35
CPU user time (s): 1333.18
CPU system time (s): 0.170974
CPU usage (%): 99.9845
Max. virtual memory (cumulated for all children) (KiB): 436724

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1333.18
system time used= 0.170974
maximum resident set size= 396708
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57285
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= 14
involuntary context switches= 1373

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.32349 second user time and 4.68729 second system time

The end