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-4245014-1500697046/watcher-4245014-1500697046 -o /tmp/evaluation-result-4245014-1500697046/solver-4245014-1500697046 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node123-1500682662-9704 --watchdog 2560 java -jar HOME/AbsCon-basic.jar HOME/instance-4245014-1500697046.xml
pid=12138
running on 8 cores: 0,2,4,6,8,10,12,14
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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: 8192 KiB
[startup+0 s]
/proc/loadavg: 2.01 2.04 2.02 3/262 12141
/proc/meminfo: memFree=31154600/32770624 swapFree=6252/91196
[pid=12141] ppid=12138 vsize=8339376 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12141/stat : 12141 (java) S 12138 12141 8385 0 -1 1077944320 1818 0 0 0 0 0 0 0 20 0 2 0 4973075 8539521024 2065 33554432000 4194304 4196468 140734710321136 140734710303680 140478227443447 0 0 0 16784584 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 8544256 140734710326467 140734710326596 140734710326596 140734710329295 0
/proc/12141/statm: 2084844 2065 1189 1 0 2073755 0
[pid=12141/tid=12142] ppid=12138 vsize=8349744 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12141/task/12142/stat : 12142 (java) R 12138 12141 8385 0 -1 4202560 598 0 0 0 0 0 0 0 20 0 2 0 4973075 8550137856 2131 33554432000 4194304 4196468 140734710321136 140478231685536 140478219732896 0 4 0 16784584 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 8544256 140734710326467 140734710326596 140734710326596 140734710329295 0
[startup+0.100163 s]
/proc/loadavg: 2.01 2.04 2.02 3/262 12141
/proc/meminfo: memFree=31154600/32770624 swapFree=6252/91196
[pid=12141] ppid=12138 vsize=10900580 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/12141/stat : 12141 (java) S 12138 12141 8385 0 -1 1077944320 4815 0 0 0 8 2 0 0 20 0 20 0 4973075 11162193920 6371 33554432000 4194304 4196468 140734710321136 140734710303680 140478227443447 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 8544256 140734710326467 140734710326596 140734710326596 140734710329295 0
/proc/12141/statm: 2725145 6371 2636 1 0 2713552 0
[pid=12141/tid=12142] ppid=12138 vsize=10900580 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/12141/task/12142/stat : 12142 (java) R 12138 12141 8385 0 -1 4202560 2892 0 0 0 7 1 0 0 20 0 20 0 4973075 11162193920 6371 33554432000 4194304 4196468 140734710321136 140478231681456 140478227465373 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8544256 140734710326467 140734710326596 140734710326596 140734710329295 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10900580
[startup+0.200398 s]
/proc/loadavg: 2.01 2.04 2.02 3/262 12141
/proc/meminfo: memFree=31154600/32770624 swapFree=6252/91196
[pid=12141] ppid=12138 vsize=10900580 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/12141/stat : 12141 (java) S 12138 12141 8385 0 -1 1077944320 7700 0 0 0 25 2 0 0 20 0 20 0 4973075 11162193920 9134 33554432000 4194304 4196468 140734710321136 140734710303680 140478227443447 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 8544256 140734710326467 140734710326596 140734710326596 140734710329295 0
/proc/12141/statm: 2725145 9134 2924 1 0 2713552 0
[pid=12141/tid=12142] ppid=12138 vsize=10900580 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/12141/task/12142/stat : 12142 (java) R 12138 12141 8385 0 -1 4202560 4850 0 0 0 17 1 0 0 20 0 20 0 4973075 11162193920 9134 33554432000 4194304 4196468 140734710321136 140478231680480 140478220121540 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8544256 140734710326467 140734710326596 140734710326596 140734710329295 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 10900580
[startup+0.300299 s]
/proc/loadavg: 2.01 2.04 2.02 3/262 12141
/proc/meminfo: memFree=31154600/32770624 swapFree=6252/91196
[pid=12141] ppid=12138 vsize=10969228 CPUtime=0.48 cores=0,2,4,6,8,10,12,14
/proc/12141/stat : 12141 (java) S 12138 12141 8385 0 -1 1077944320 8653 0 0 0 45 3 0 0 20 0 21 0 4973075 11232489472 13438 33554432000 4194304 4196468 140734710321136 140734710303680 140478227443447 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 8544256 140734710326467 140734710326596 140734710326596 140734710329295 0
/proc/12141/statm: 2742307 13438 2997 1 0 2730193 0
[pid=12141/tid=12142] ppid=12138 vsize=10969228 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/12141/task/12142/stat : 12142 (java) S 12138 12141 8385 0 -1 1077944384 5153 0 0 0 23 1 0 0 20 0 21 0 4973075 11232489472 13438 33554432000 4194304 4196468 140734710321136 140478231686320 140478227453653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8544256 140734710326467 140734710326596 140734710326596 140734710329295 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 10969228
[startup+0.708653 s]
/proc/loadavg: 2.01 2.04 2.02 3/262 12141
/proc/meminfo: memFree=31154600/32770624 swapFree=6252/91196
[pid=12141] ppid=12138 vsize=10971352 CPUtime=1.61 cores=0,2,4,6,8,10,12,14
/proc/12141/stat : 12141 (java) S 12138 12141 8385 0 -1 1077944320 11252 0 0 0 135 26 0 0 20 0 21 0 4973075 11234664448 65394 33554432000 4194304 4196468 140734710321136 140734710303680 140478227443447 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 8544256 140734710326467 140734710326596 140734710326596 140734710329295 0
/proc/12141/statm: 2742838 65394 3112 1 0 2730705 0
[pid=12141/tid=12142] ppid=12138 vsize=10971352 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/12141/task/12142/stat : 12142 (java) S 12138 12141 8385 0 -1 1077944384 5153 0 0 0 23 1 0 0 20 0 21 0 4973075 11234664448 65394 33554432000 4194304 4196468 140734710321136 140478231686320 140478227453653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8544256 140734710326467 140734710326596 140734710326596 140734710329295 0
Current children cumulated CPU time (s) 1.61
Current children cumulated vsize (KiB) 10971352
[startup+1.50115 s]
/proc/loadavg: 2.01 2.04 2.02 3/281 12197
/proc/meminfo: memFree=31504324/32770624 swapFree=6252/91196
[pid=12141] ppid=12138 vsize=10971352 CPUtime=3.37 cores=0,2,4,6,8,10,12,14
/proc/12141/stat : 12141 (java) S 12138 12141 8385 0 -1 1077944320 13951 0 0 0 283 54 0 0 20 0 21 0 4973075 11234664448 117406 33554432000 4194304 4196468 140734710321136 140734710303680 140478227443447 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 8544256 140734710326467 140734710326596 140734710326596 140734710329295 0
/proc/12141/statm: 2742838 117406 3137 1 0 2730705 0
[pid=12141/tid=12142] ppid=12138 vsize=10971352 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/12141/task/12142/stat : 12142 (java) S 12138 12141 8385 0 -1 1077944384 5153 0 0 0 23 1 0 0 20 0 21 0 4973075 11234664448 117406 33554432000 4194304 4196468 140734710321136 140478231686320 140478227453653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8544256 140734710326467 140734710326596 140734710326596 140734710329295 0
[pid=12141/tid=12144] ppid=12138 vsize=10971352 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/12141/task/12144/stat : 12144 (java) S 12138 12141 8385 0 -1 1077944384 133 0 0 0 4 6 0 0 20 0 21 0 4973076 11234664448 117406 33554432000 4194304 4196468 140734710321136 140477834385936 140478227453653 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8544256 140734710326467 140734710326596 140734710326596 140734710329295 0
[pid=12141/tid=12145] ppid=12138 vsize=10971352 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/12141/task/12145/stat : 12145 (java) S 12138 12141 8385 0 -1 1077944384 102 0 0 0 4 5 0 0 20 0 21 0 4973076 11234664448 117406 33554432000 4194304 4196468 140734710321136 140477833333392 140478227453653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8544256 140734710326467 140734710326596 140734710326596 140734710329295 0
[pid=12141/tid=12146] ppid=12138 vsize=10971352 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/12141/task/12146/stat : 12146 (java) S 12138 12141 8385 0 -1 1077944384 177 0 0 0 3 6 0 0 20 0 21 0 4973076 11234664448 117406 33554432000 4194304 4196468 140734710321136 140477832280336 140478227453653 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 8544256 140734710326467 140734710326596 140734710326596 140734710329295 0
[pid=12141/tid=12147] ppid=12138 vsize=10971352 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/12141/task/12147/stat : 12147 (java) S 12138 12141 8385 0 -1 1077944384 104 0 0 0 4 6 0 0 20 0 21 0 4973076 11234664448 117406 33554432000 4194304 4196468 140734710321136 140477831227792 140478227453653 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 8544256 140734710326467 140734710326596 140734710326596 140734710329295 0
[pid=12141/tid=12148] ppid=12138 vsize=10971352 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/12141/task/12148/stat : 12148 (java) S 12138 12141 8385 0 -1 1077944384 147 0 0 0 5 4 0 0 20 0 21 0 4973076 11234664448 117406 33554432000 4194304 4196468 140734710321136 140477830175760 140478227453653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8544256 140734710326467 140734710326596 140734710326596 140734710329295 0
[pid=12141/tid=12149] ppid=12138 vsize=10971352 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/12141/task/12149/stat : 12149 (java) S 12138 12141 8385 0 -1 1077944384 70 0 0 0 4 5 0 0 20 0 21 0 4973076 11234664448 117406 33554432000 4194304 4196468 140734710321136 140477829123216 140478227453653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8544256 140734710326467 140734710326596 140734710326596 140734710329295 0
[pid=12141/tid=12150] ppid=12138 vsize=10971352 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/12141/task/12150/stat : 12150 (java) S 12138 12141 8385 0 -1 1077944384 94 0 0 0 5 4 0 0 20 0 21 0 4973076 11234664448 117406 33554432000 4194304 4196468 140734710321136 140477828070160 140478227453653 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 8544256 140734710326467 140734710326596 140734710326596 140734710329295 0
[pid=12141/tid=12151] ppid=12138 vsize=10971352 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/12141/task/12151/stat : 12151 (java) S 12138 12141 8385 0 -1 1077944384 117 0 0 0 6 4 0 0 20 0 21 0 4973076 11234664448 117406 33554432000 4194304 4196468 140734710321136 140477827017616 140478227453653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8544256 140734710326467 140734710326596 140734710326596 140734710329295 0
[pid=12141/tid=12152] ppid=12138 vsize=10971352 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12141/task/12152/stat : 12152 (java) S 12138 12141 8385 0 -1 1077944384 209 0 0 0 0 0 0 0 20 0 21 0 4973078 11234664448 117406 33554432000 4194304 4196468 140734710321136 140477045111024 140478227454594 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8544256 140734710326467 140734710326596 140734710326596 140734710329295 0
[pid=12141/tid=12153] ppid=12138 vsize=10971352 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12141/task/12153/stat : 12153 (java) S 12138 12141 8385 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 21 0 4973079 11234664448 117406 33554432000 4194304 4196468 140734710321136 140477044057312 140478227453653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8544256 140734710326467 140734710326596 140734710326596 140734710329295 0
[pid=12141/tid=12154] ppid=12138 vsize=10971352 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12141/task/12154/stat : 12154 (java) S 12138 12141 8385 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 21 0 4973079 11234664448 117406 33554432000 4194304 4196468 140734710321136 140477043004160 140478227453653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8544256 140734710326467 140734710326596 140734710326596 140734710329295 0
[pid=12141/tid=12155] ppid=12138 vsize=10971352 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12141/task/12155/stat : 12155 (java) S 12138 12141 8385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 4973083 11234664448 117406 33554432000 4194304 4196468 140734710321136 140477041952720 140478227462043 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 8544256 140734710326467 140734710326596 140734710326596 140734710329295 0
[pid=12141/tid=12156] ppid=12138 vsize=10971352 CPUtime=0.31 cores=0,2,4,6,8,10,12,14
/proc/12141/task/12156/stat : 12156 (java) S 12138 12141 8385 0 -1 1077944384 1494 0 0 0 31 0 0 0 20 0 21 0 4973083 11234664448 117406 33554432000 4194304 4196468 140734710321136 140477040900848 140478227454594 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8544256 140734710326467 140734710326596 140734710326596 140734710329295 0
[pid=12141/tid=12157] ppid=12138 vsize=10971352 CPUtime=0.3 cores=0,2,4,6,8,10,12,14
/proc/12141/task/12157/stat : 12157 (java) S 12138 12141 8385 0 -1 1077944384 870 0 0 0 30 0 0 0 20 0 21 0 4973083 11234664448 117406 33554432000 4194304 4196468 140734710321136 140476703304560 140478227454594 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8544256 140734710326467 140734710326596 140734710326596 140734710329295 0
[pid=12141/tid=12158] ppid=12138 vsize=10971352 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/12141/task/12158/stat : 12158 (java) S 12138 12141 8385 0 -1 1077944384 953 0 0 0 25 0 0 0 20 0 21 0 4973083 11234664448 117406 33554432000 4194304 4196468 140734710321136 140476702251504 140478227454594 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8544256 140734710326467 140734710326596 140734710326596 140734710329295 0
[pid=12141/tid=12159] ppid=12138 vsize=10971352 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/12141/task/12159/stat : 12159 (java) S 12138 12141 8385 0 -1 1077944384 1397 0 0 0 26 0 0 0 20 0 21 0 4973083 11234664448 117406 33554432000 4194304 4196468 140734710321136 140476701198960 140478227454594 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 8544256 140734710326467 140734710326596 140734710326596 140734710329295 0
[pid=12141/tid=12160] ppid=12138 vsize=10971352 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12141/task/12160/stat : 12160 (java) S 12138 12141 8385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 4973083 11234664448 117406 33554432000 4194304 4196468 140734710321136 140476700146144 140478227453653 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8544256 140734710326467 140734710326596 140734710326596 140734710329295 0
[pid=12141/tid=12161] ppid=12138 vsize=10971352 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12141/task/12161/stat : 12161 (java) S 12138 12141 8385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 4973083 11234664448 117406 33554432000 4194304 4196468 140734710321136 140476699093680 140478227454594 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8544256 140734710326467 140734710326596 140734710326596 140734710329295 0
[pid=12141/tid=12162] ppid=12138 vsize=10971352 CPUtime=1.11 cores=0,2,4,6,8,10,12,14
/proc/12141/task/12162/stat : 12162 (java) R 12138 12141 8385 0 -1 4202560 1564 0 0 0 106 5 0 0 20 0 21 0 4973101 11234664448 117406 33554432000 4194304 4196468 140734710321136 140476695901640 140477863893838 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8544256 140734710326467 140734710326596 140734710326596 140734710329295 0
Current children cumulated CPU time (s) 3.37
Current children cumulated vsize (KiB) 10971352
[startup+3.10078 s]
/proc/loadavg: 2.01 2.04 2.02 3/281 12197
/proc/meminfo: memFree=30751464/32770624 swapFree=6252/91232
[pid=12141] ppid=12138 vsize=10971352 CPUtime=5.48 cores=0,2,4,6,8,10,12,14
/proc/12141/stat : 12141 (java) S 12138 12141 8385 0 -1 1077944320 15902 0 0 0 479 69 0 0 20 0 21 0 4973075 11234664448 183917 33554432000 4194304 4196468 140734710321136 140734710303680 140478227443447 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 8544256 140734710326467 140734710326596 140734710326596 140734710329295 0
/proc/12141/statm: 2742838 183917 3139 1 0 2730705 0
[pid=12141/tid=12142] ppid=12138 vsize=10971352 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/12141/task/12142/stat : 12142 (java) S 12138 12141 8385 0 -1 1077944384 5153 0 0 0 23 1 0 0 20 0 21 0 4973075 11234664448 183917 33554432000 4194304 4196468 140734710321136 140478231686320 140478227453653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8544256 140734710326467 140734710326596 140734710326596 140734710329295 0
[pid=12141/tid=12144] ppid=12138 vsize=10971352 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/12141/task/12144/stat : 12144 (java) S 12138 12141 8385 0 -1 1077944384 179 0 0 0 5 8 0 0 20 0 21 0 4973076 11234664448 183917 33554432000 4194304 4196468 140734710321136 140477834385936 140478227453653 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8544256 140734710326467 140734710326596 140734710326596 140734710329295 0
[pid=12141/tid=12145] ppid=12138 vsize=10971352 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/12141/task/12145/stat : 12145 (java) S 12138 12141 8385 0 -1 1077944384 151 0 0 0 5 6 0 0 20 0 21 0 4973076 11234664448 183917 33554432000 4194304 4196468 140734710321136 140477833333392 140478227453653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8544256 140734710326467 140734710326596 140734710326596 140734710329295 0
[pid=12141/tid=12146] ppid=12138 vsize=10971352 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/12141/task/12146/stat : 12146 (java) S 12138 12141 8385 0 -1 1077944384 204 0 0 0 4 8 0 0 20 0 21 0 4973076 11234664448 183917 33554432000 4194304 4196468 140734710321136 140477832280336 140478227453653 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 8544256 140734710326467 140734710326596 140734710326596 140734710329295 0
[pid=12141/tid=12147] ppid=12138 vsize=10971352 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/12141/task/12147/stat : 12147 (java) S 12138 12141 8385 0 -1 1077944384 141 0 0 0 6 7 0 0 20 0 21 0 4973076 11234664448 183917 33554432000 4194304 4196468 140734710321136 140477831227792 140478227453653 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 8544256 140734710326467 140734710326596 140734710326596 140734710329295 0
[pid=12141/tid=12148] ppid=12138 vsize=10971352 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/12141/task/12148/stat : 12148 (java) S 12138 12141 8385 0 -1 1077944384 197 0 0 0 7 6 0 0 20 0 21 0 4973076 11234664448 183917 33554432000 4194304 4196468 140734710321136 140477830175760 140478227453653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8544256 140734710326467 140734710326596 140734710326596 140734710329295 0
[pid=12141/tid=12149] ppid=12138 vsize=10971352 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/12141/task/12149/stat : 12149 (java) S 12138 12141 8385 0 -1 1077944384 103 0 0 0 6 6 0 0 20 0 21 0 4973076 11234664448 183917 33554432000 4194304 4196468 140734710321136 140477829123216 140478227453653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8544256 140734710326467 140734710326596 140734710326596 140734710329295 0
[pid=12141/tid=12150] ppid=12138 vsize=10971352 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/12141/task/12150/stat : 12150 (java) S 12138 12141 8385 0 -1 1077944384 137 0 0 0 7 6 0 0 20 0 21 0 4973076 11234664448 183917 33554432000 4194304 4196468 140734710321136 140477828070160 140478227453653 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 8544256 140734710326467 140734710326596 140734710326596 140734710329295 0
[pid=12141/tid=12151] ppid=12138 vsize=10971352 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/12141/task/12151/stat : 12151 (java) S 12138 12141 8385 0 -1 1077944384 148 0 0 0 8 5 0 0 20 0 21 0 4973076 11234664448 183917 33554432000 4194304 4196468 140734710321136 140477827017616 140478227453653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8544256 140734710326467 140734710326596 140734710326596 140734710329295 0
[pid=12141/tid=12152] ppid=12138 vsize=10971352 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12141/task/12152/stat : 12152 (java) S 12138 12141 8385 0 -1 1077944384 518 0 0 0 0 0 0 0 20 0 21 0 4973078 11234664448 183917 33554432000 4194304 4196468 140734710321136 140477045111024 140478227454594 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8544256 140734710326467 140734710326596 140734710326596 140734710329295 0
[pid=12141/tid=12153] ppid=12138 vsize=10971352 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12141/task/12153/stat : 12153 (java) S 12138 12141 8385 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 21 0 4973079 11234664448 183917 33554432000 4194304 4196468 140734710321136 140477044057312 140478227453653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8544256 140734710326467 140734710326596 140734710326596 140734710329295 0
[pid=12141/tid=12154] ppid=12138 vsize=10971352 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12141/task/12154/stat : 12154 (java) S 12138 12141 8385 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 21 0 4973079 11234664448 183917 33554432000 4194304 4196468 140734710321136 140477043004160 140478227453653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8544256 140734710326467 140734710326596 140734710326596 140734710329295 0
[pid=12141/tid=12155] ppid=12138 vsize=10971352 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12141/task/12155/stat : 12155 (java) S 12138 12141 8385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 4973083 11234664448 183917 33554432000 4194304 4196468 140734710321136 140477041952720 140478227462043 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 8544256 140734710326467 140734710326596 140734710326596 140734710329295 0
[pid=12141/tid=12156] ppid=12138 vsize=10971352 CPUtime=0.39 cores=0,2,4,6,8,10,12,14
/proc/12141/task/12156/stat : 12156 (java) S 12138 12141 8385 0 -1 1077944384 1522 0 0 0 39 0 0 0 20 0 21 0 4973083 11234664448 183917 33554432000 4194304 4196468 140734710321136 140477040900848 140478227454594 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8544256 140734710326467 140734710326596 140734710326596 140734710329295 0
[pid=12141/tid=12157] ppid=12138 vsize=10971352 CPUtime=0.41 cores=0,2,4,6,8,10,12,14
/proc/12141/task/12157/stat : 12157 (java) S 12138 12141 8385 0 -1 1077944384 903 0 0 0 41 0 0 0 20 0 21 0 4973083 11234664448 183917 33554432000 4194304 4196468 140734710321136 140476703304560 140478227454594 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8544256 140734710326467 140734710326596 140734710326596 140734710329295 0
[pid=12141/tid=12158] ppid=12138 vsize=10971352 CPUtime=0.34 cores=0,2,4,6,8,10,12,14
/proc/12141/task/12158/stat : 12158 (java) S 12138 12141 8385 0 -1 1077944384 1124 0 0 0 34 0 0 0 20 0 21 0 4973083 11234664448 183917 33554432000 4194304 4196468 140734710321136 140476702251504 140478227454594 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8544256 140734710326467 140734710326596 140734710326596 140734710329295 0
[pid=12141/tid=12159] ppid=12138 vsize=10971352 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/12141/task/12159/stat : 12159 (java) S 12138 12141 8385 0 -1 1077944384 1424 0 0 0 28 0 0 0 20 0 21 0 4973083 11234664448 183917 33554432000 4194304 4196468 140734710321136 140476701198960 140478227454594 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8544256 140734710326467 140734710326596 140734710326596 140734710329295 0
[pid=12141/tid=12160] ppid=12138 vsize=10971352 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12141/task/12160/stat : 12160 (java) S 12138 12141 8385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 4973083 11234664448 183917 33554432000 4194304 4196468 140734710321136 140476700146144 140478227453653 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8544256 140734710326467 140734710326596 140734710326596 140734710329295 0
[pid=12141/tid=12161] ppid=12138 vsize=10971352 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12141/task/12161/stat : 12161 (java) S 12138 12141 8385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 4973083 11234664448 183917 33554432000 4194304 4196468 140734710321136 140476699093680 140478227454594 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8544256 140734710326467 140734710326596 140734710326596 140734710329295 0
[pid=12141/tid=12162] ppid=12138 vsize=10971352 CPUtime=2.67 cores=0,2,4,6,8,10,12,14
/proc/12141/task/12162/stat : 12162 (java) R 12138 12141 8385 0 -1 4202560 2631 0 0 0 259 8 0 0 20 0 21 0 4973101 11234664448 183917 33554432000 4194304 4196468 140734710321136 140476695901056 140478212524181 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8544256 140734710326467 140734710326596 140734710326596 140734710329295 0
Current children cumulated CPU time (s) 5.48
Current children cumulated vsize (KiB) 10971352
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 12141 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20105 s]
/proc/loadavg: 2.01 2.04 2.02 3/281 12197
/proc/meminfo: memFree=30751464/32770624 swapFree=6252/91232
[pid=12141] ppid=12138 vsize=10971352 CPUtime=5.67 cores=0,2,4,6,8,10,12,14
/proc/12141/stat : 12141 (java) S 12138 12141 8385 0 -1 1077944320 16160 0 0 0 498 69 0 0 20 0 21 0 4973075 11234664448 184118 33554432000 4194304 4196468 140734710321136 140734710303680 140478227443447 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 8544256 140734710326467 140734710326596 140734710326596 140734710329295 0
/proc/12141/statm: 2742838 184118 3140 1 0 2730705 0
[pid=12141/tid=12142] ppid=12138 vsize=10971352 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/12141/task/12142/stat : 12142 (java) S 12138 12141 8385 0 -1 1077944384 5153 0 0 0 23 1 0 0 20 0 21 0 4973075 11234664448 184118 33554432000 4194304 4196468 140734710321136 140478231686320 140478227453653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8544256 140734710326467 140734710326596 140734710326596 140734710329295 0
[pid=12141/tid=12144] ppid=12138 vsize=10971352 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/12141/task/12144/stat : 12144 (java) S 12138 12141 8385 0 -1 1077944384 179 0 0 0 5 8 0 0 20 0 21 0 4973076 11234664448 184118 33554432000 4194304 4196468 140734710321136 140477834385936 140478227453653 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8544256 140734710326467 140734710326596 140734710326596 140734710329295 0
[pid=12141/tid=12145] ppid=12138 vsize=10971352 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/12141/task/12145/stat : 12145 (java) S 12138 12141 8385 0 -1 1077944384 151 0 0 0 5 6 0 0 20 0 21 0 4973076 11234664448 184118 33554432000 4194304 4196468 140734710321136 140477833333392 140478227453653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8544256 140734710326467 140734710326596 140734710326596 140734710329295 0
[pid=12141/tid=12146] ppid=12138 vsize=10971352 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/12141/task/12146/stat : 12146 (java) S 12138 12141 8385 0 -1 1077944384 204 0 0 0 4 8 0 0 20 0 21 0 4973076 11234664448 184118 33554432000 4194304 4196468 140734710321136 140477832280336 140478227453653 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 8544256 140734710326467 140734710326596 140734710326596 140734710329295 0
[pid=12141/tid=12147] ppid=12138 vsize=10971352 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/12141/task/12147/stat : 12147 (java) S 12138 12141 8385 0 -1 1077944384 141 0 0 0 6 7 0 0 20 0 21 0 4973076 11234664448 184118 33554432000 4194304 4196468 140734710321136 140477831227792 140478227453653 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 8544256 140734710326467 140734710326596 140734710326596 140734710329295 0
[pid=12141/tid=12148] ppid=12138 vsize=10971352 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/12141/task/12148/stat : 12148 (java) S 12138 12141 8385 0 -1 1077944384 197 0 0 0 7 6 0 0 20 0 21 0 4973076 11234664448 184118 33554432000 4194304 4196468 140734710321136 140477830175760 140478227453653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8544256 140734710326467 140734710326596 140734710326596 140734710329295 0
[pid=12141/tid=12149] ppid=12138 vsize=10971352 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/12141/task/12149/stat : 12149 (java) S 12138 12141 8385 0 -1 1077944384 103 0 0 0 6 6 0 0 20 0 21 0 4973076 11234664448 184118 33554432000 4194304 4196468 140734710321136 140477829123216 140478227453653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8544256 140734710326467 140734710326596 140734710326596 140734710329295 0
[pid=12141/tid=12150] ppid=12138 vsize=10971352 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/12141/task/12150/stat : 12150 (java) S 12138 12141 8385 0 -1 1077944384 137 0 0 0 7 6 0 0 20 0 21 0 4973076 11234664448 184118 33554432000 4194304 4196468 140734710321136 140477828070160 140478227453653 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 8544256 140734710326467 140734710326596 140734710326596 140734710329295 0
[pid=12141/tid=12151] ppid=12138 vsize=10971352 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/12141/task/12151/stat : 12151 (java) S 12138 12141 8385 0 -1 1077944384 148 0 0 0 8 5 0 0 20 0 21 0 4973076 11234664448 184118 33554432000 4194304 4196468 140734710321136 140477827017616 140478227453653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8544256 140734710326467 140734710326596 140734710326596 140734710329295 0
[pid=12141/tid=12152] ppid=12138 vsize=10971352 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12141/task/12152/stat : 12152 (java) S 12138 12141 8385 0 -1 1077944384 518 0 0 0 0 0 0 0 20 0 21 0 4973078 11234664448 184118 33554432000 4194304 4196468 140734710321136 140477045111024 140478227454594 0 0 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 8544256 140734710326467 140734710326596 140734710326596 140734710329295 0
[pid=12141/tid=12153] ppid=12138 vsize=10971352 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12141/task/12153/stat : 12153 (java) S 12138 12141 8385 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 21 0 4973079 11234664448 184118 33554432000 4194304 4196468 140734710321136 140477044057312 140478227453653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8544256 140734710326467 140734710326596 140734710326596 140734710329295 0
[pid=12141/tid=12154] ppid=12138 vsize=10971352 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12141/task/12154/stat : 12154 (java) S 12138 12141 8385 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 21 0 4973079 11234664448 184118 33554432000 4194304 4196468 140734710321136 140477043004160 140478227453653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8544256 140734710326467 140734710326596 140734710326596 140734710329295 0
[pid=12141/tid=12155] ppid=12138 vsize=10971352 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12141/task/12155/stat : 12155 (java) S 12138 12141 8385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 4973083 11234664448 184118 33554432000 4194304 4196468 140734710321136 140477041952720 140478227462043 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 8544256 140734710326467 140734710326596 140734710326596 140734710329295 0
[pid=12141/tid=12156] ppid=12138 vsize=10971352 CPUtime=0.41 cores=0,2,4,6,8,10,12,14
/proc/12141/task/12156/stat : 12156 (java) S 12138 12141 8385 0 -1 1077944384 1534 0 0 0 41 0 0 0 20 0 21 0 4973083 11234664448 184118 33554432000 4194304 4196468 140734710321136 140477040900848 140478227454594 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8544256 140734710326467 140734710326596 140734710326596 140734710329295 0
[pid=12141/tid=12157] ppid=12138 vsize=10971352 CPUtime=0.43 cores=0,2,4,6,8,10,12,14
/proc/12141/task/12157/stat : 12157 (java) S 12138 12141 8385 0 -1 1077944384 907 0 0 0 43 0 0 0 20 0 21 0 4973083 11234664448 184118 33554432000 4194304 4196468 140734710321136 140476703304560 140478227454594 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8544256 140734710326467 140734710326596 140734710326596 140734710329295 0
[pid=12141/tid=12158] ppid=12138 vsize=10971352 CPUtime=0.35 cores=0,2,4,6,8,10,12,14
/proc/12141/task/12158/stat : 12158 (java) S 12138 12141 8385 0 -1 1077944384 1127 0 0 0 35 0 0 0 20 0 21 0 4973083 11234664448 184118 33554432000 4194304 4196468 140734710321136 140476702251504 140478227454594 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 8544256 140734710326467 140734710326596 140734710326596 140734710329295 0
[pid=12141/tid=12159] ppid=12138 vsize=10971352 CPUtime=0.32 cores=0,2,4,6,8,10,12,14
/proc/12141/task/12159/stat : 12159 (java) S 12138 12141 8385 0 -1 1077944384 1519 0 0 0 32 0 0 0 20 0 21 0 4973083 11234664448 184118 33554432000 4194304 4196468 140734710321136 140476701198960 140478227454594 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8544256 140734710326467 140734710326596 140734710326596 140734710329295 0
[pid=12141/tid=12160] ppid=12138 vsize=10971352 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12141/task/12160/stat : 12160 (java) S 12138 12141 8385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 4973083 11234664448 184118 33554432000 4194304 4196468 140734710321136 140476700146144 140478227453653 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8544256 140734710326467 140734710326596 140734710326596 140734710329295 0
[pid=12141/tid=12161] ppid=12138 vsize=10971352 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12141/task/12161/stat : 12161 (java) S 12138 12141 8385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 4973083 11234664448 184118 33554432000 4194304 4196468 140734710321136 140476699093680 140478227454594 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8544256 140734710326467 140734710326596 140734710326596 140734710329295 0
[pid=12141/tid=12162] ppid=12138 vsize=10971352 CPUtime=2.76 cores=0,2,4,6,8,10,12,14
/proc/12141/task/12162/stat : 12162 (java) R 12138 12141 8385 0 -1 4202560 2775 0 0 0 268 8 0 0 20 0 21 0 4973101 11234664448 184118 33554432000 4194304 4196468 140734710321136 140476695897888 140478209850575 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8544256 140734710326467 140734710326596 140734710326596 140734710329295 0
Current children cumulated CPU time (s) 5.67
Current children cumulated vsize (KiB) 10971352
[startup+4.8008 s]
/proc/loadavg: 2.01 2.04 2.02 4/282 12255
/proc/meminfo: memFree=31146872/32770624 swapFree=6252/91532
[pid=12141] ppid=12138 vsize=10971352 CPUtime=7.97 cores=0,2,4,6,8,10,12,14
/proc/12141/stat : 12141 (java) S 12138 12141 8385 0 -1 1077944320 20473 0 0 0 712 85 0 0 20 0 21 0 4973075 11234664448 193824 33554432000 4194304 4196468 140734710321136 140734710303680 140478227443447 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 8544256 140734710326467 140734710326596 140734710326596 140734710329295 0
/proc/12141/statm: 2742838 193824 3142 1 0 2730705 0
[pid=12141/tid=12142] ppid=12138 vsize=10971352 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/12141/task/12142/stat : 12142 (java) S 12138 12141 8385 0 -1 1077944384 5153 0 0 0 23 1 0 0 20 0 21 0 4973075 11234664448 193824 33554432000 4194304 4196468 140734710321136 140478231686320 140478227453653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8544256 140734710326467 140734710326596 140734710326596 140734710329295 0
[pid=12141/tid=12144] ppid=12138 vsize=10971352 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/12141/task/12144/stat : 12144 (java) S 12138 12141 8385 0 -1 1077944384 204 0 0 0 7 10 0 0 20 0 21 0 4973076 11234664448 193824 33554432000 4194304 4196468 140734710321136 140477834385936 140478227453653 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8544256 140734710326467 140734710326596 140734710326596 140734710329295 0
[pid=12141/tid=12145] ppid=12138 vsize=10971352 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/12141/task/12145/stat : 12145 (java) S 12138 12141 8385 0 -1 1077944384 171 0 0 0 7 9 0 0 20 0 21 0 4973076 11234664448 193824 33554432000 4194304 4196468 140734710321136 140477833333392 140478227453653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8544256 140734710326467 140734710326596 140734710326596 140734710329295 0
[pid=12141/tid=12146] ppid=12138 vsize=10971352 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/12141/task/12146/stat : 12146 (java) S 12138 12141 8385 0 -1 1077944384 221 0 0 0 7 10 0 0 20 0 21 0 4973076 11234664448 193824 33554432000 4194304 4196468 140734710321136 140477832280336 140478227453653 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 8544256 140734710326467 140734710326596 140734710326596 140734710329295 0
[pid=12141/tid=12147] ppid=12138 vsize=10971352 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/12141/task/12147/stat : 12147 (java) S 12138 12141 8385 0 -1 1077944384 165 0 0 0 8 9 0 0 20 0 21 0 4973076 11234664448 193824 33554432000 4194304 4196468 140734710321136 140477831227792 140478227453653 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 8544256 140734710326467 140734710326596 140734710326596 140734710329295 0
[pid=12141/tid=12148] ppid=12138 vsize=10971352 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/12141/task/12148/stat : 12148 (java) S 12138 12141 8385 0 -1 1077944384 219 0 0 0 9 8 0 0 20 0 21 0 4973076 11234664448 193824 33554432000 4194304 4196468 140734710321136 140477830175760 140478227453653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8544256 140734710326467 140734710326596 140734710326596 140734710329295 0
[pid=12141/tid=12149] ppid=12138 vsize=10971352 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/12141/task/12149/stat : 12149 (java) S 12138 12141 8385 0 -1 1077944384 131 0 0 0 8 8 0 0 20 0 21 0 4973076 11234664448 193824 33554432000 4194304 4196468 140734710321136 140477829123216 140478227453653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8544256 140734710326467 140734710326596 140734710326596 140734710329295 0
[pid=12141/tid=12150] ppid=12138 vsize=10971352 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/12141/task/12150/stat : 12150 (java) S 12138 12141 8385 0 -1 1077944384 153 0 0 0 8 7 0 0 20 0 21 0 4973076 11234664448 193824 33554432000 4194304 4196468 140734710321136 140477828070160 140478227453653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8544256 140734710326467 140734710326596 140734710326596 140734710329295 0
[pid=12141/tid=12151] ppid=12138 vsize=10971352 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/12141/task/12151/stat : 12151 (java) S 12138 12141 8385 0 -1 1077944384 167 0 0 0 9 7 0 0 20 0 21 0 4973076 11234664448 193824 33554432000 4194304 4196468 140734710321136 140477827017616 140478227453653 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 8544256 140734710326467 140734710326596 140734710326596 140734710329295 0
[pid=12141/tid=12152] ppid=12138 vsize=10971352 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12141/task/12152/stat : 12152 (java) S 12138 12141 8385 0 -1 1077944384 686 0 0 0 0 0 0 0 20 0 21 0 4973078 11234664448 193824 33554432000 4194304 4196468 140734710321136 140477045111024 140478227454594 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8544256 140734710326467 140734710326596 140734710326596 140734710329295 0
[pid=12141/tid=12153] ppid=12138 vsize=10971352 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12141/task/12153/stat : 12153 (java) S 12138 12141 8385 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 21 0 4973079 11234664448 193824 33554432000 4194304 4196468 140734710321136 140477044057312 140478227453653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8544256 140734710326467 140734710326596 140734710326596 140734710329295 0
[pid=12141/tid=12154] ppid=12138 vsize=10971352 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12141/task/12154/stat : 12154 (java) S 12138 12141 8385 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 21 0 4973079 11234664448 193824 33554432000 4194304 4196468 140734710321136 140477043004160 140478227453653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8544256 140734710326467 140734710326596 140734710326596 140734710329295 0
[pid=12141/tid=12155] ppid=12138 vsize=10971352 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12141/task/12155/stat : 12155 (java) S 12138 12141 8385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 4973083 11234664448 193824 33554432000 4194304 4196468 140734710321136 140477041952720 140478227462043 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 8544256 140734710326467 140734710326596 140734710326596 140734710329295 0
[pid=12141/tid=12156] ppid=12138 vsize=10971352 CPUtime=0.56 cores=0,2,4,6,8,10,12,14
/proc/12141/task/12156/stat : 12156 (java) S 12138 12141 8385 0 -1 1077944384 2126 0 0 0 56 0 0 0 20 0 21 0 4973083 11234664448 193824 33554432000 4194304 4196468 140734710321136 140477040900848 140478227454594 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8544256 140734710326467 140734710326596 140734710326596 140734710329295 0
[pid=12141/tid=12157] ppid=12138 vsize=10971352 CPUtime=0.56 cores=0,2,4,6,8,10,12,14
/proc/12141/task/12157/stat : 12157 (java) S 12138 12141 8385 0 -1 1077944384 1428 0 0 0 56 0 0 0 20 0 21 0 4973083 11234664448 193824 33554432000 4194304 4196468 140734710321136 140476703304560 140478227454594 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8544256 140734710326467 140734710326596 140734710326596 140734710329295 0
[pid=12141/tid=12158] ppid=12138 vsize=10971352 CPUtime=0.45 cores=0,2,4,6,8,10,12,14
/proc/12141/task/12158/stat : 12158 (java) S 12138 12141 8385 0 -1 1077944384 1674 0 0 0 45 0 0 0 20 0 21 0 4973083 11234664448 193824 33554432000 4194304 4196468 140734710321136 140476702251504 140478227454594 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 8544256 140734710326467 140734710326596 140734710326596 140734710329295 0
[pid=12141/tid=12159] ppid=12138 vsize=10971352 CPUtime=0.38 cores=0,2,4,6,8,10,12,14
/proc/12141/task/12159/stat : 12159 (java) S 12138 12141 8385 0 -1 1077944384 2030 0 0 0 38 0 0 0 20 0 21 0 4973083 11234664448 193824 33554432000 4194304 4196468 140734710321136 140476701198960 140478227454594 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8544256 140734710326467 140734710326596 140734710326596 140734710329295 0
[pid=12141/tid=12160] ppid=12138 vsize=10971352 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12141/task/12160/stat : 12160 (java) S 12138 12141 8385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 4973083 11234664448 193824 33554432000 4194304 4196468 140734710321136 140476700146144 140478227453653 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8544256 140734710326467 140734710326596 140734710326596 140734710329295 0
[pid=12141/tid=12161] ppid=12138 vsize=10971352 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12141/task/12161/stat : 12161 (java) S 12138 12141 8385 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 21 0 4973083 11234664448 193824 33554432000 4194304 4196468 140734710321136 140476699093680 140478227454594 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8544256 140734710326467 140734710326596 140734710326596 140734710329295 0
[pid=12141/tid=12162] ppid=12138 vsize=10971352 CPUtime=4.31 cores=0,2,4,6,8,10,12,14
/proc/12141/task/12162/stat : 12162 (java) R 12138 12141 8385 0 -1 4202560 4565 0 0 0 423 8 0 0 20 0 21 0 4973101 11234664448 193824 33554432000 4194304 4196468 140734710321136 140476695900728 140477865077387 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8544256 140734710326467 140734710326596 140734710326596 140734710329295 0
Current children cumulated CPU time (s) 7.97
Current children cumulated vsize (KiB) 10971352
[startup+5.20101 s]
/proc/loadavg: 2.01 2.04 2.02 4/282 12255
/proc/meminfo: memFree=31146872/32770624 swapFree=6252/91532
[pid=12141] ppid=12138 vsize=10971352 CPUtime=8.38 cores=0,2,4,6,8,10,12,14
/proc/12141/stat : 12141 (java) S 12138 12141 8385 0 -1 1077944320 21263 0 0 0 752 86 0 0 20 0 21 0 4973075 11234664448 199711 33554432000 4194304 4196468 140734710321136 140734710303680 140478227443447 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 8544256 140734710326467 140734710326596 140734710326596 140734710329295 0
/proc/12141/statm: 2742838 199711 3142 1 0 2730705 0
[pid=12141/tid=12142] ppid=12138 vsize=10971352 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/12141/task/12142/stat : 12142 (java) S 12138 12141 8385 0 -1 1077944384 5153 0 0 0 23 1 0 0 20 0 21 0 4973075 11234664448 199711 33554432000 4194304 4196468 140734710321136 140478231686320 140478227453653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8544256 140734710326467 140734710326596 140734710326596 140734710329295 0
[pid=12141/tid=12144] ppid=12138 vsize=10971352 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/12141/task/12144/stat : 12144 (java) S 12138 12141 8385 0 -1 1077944384 204 0 0 0 7 10 0 0 20 0 21 0 4973076 11234664448 199711 33554432000 4194304 4196468 140734710321136 140477834385936 140478227453653 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8544256 140734710326467 140734710326596 140734710326596 140734710329295 0
[pid=12141/tid=12145] ppid=12138 vsize=10971352 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/12141/task/12145/stat : 12145 (java) S 12138 12141 8385 0 -1 1077944384 171 0 0 0 7 9 0 0 20 0 21 0 4973076 11234664448 199711 33554432000 4194304 4196468 140734710321136 140477833333392 140478227453653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8544256 140734710326467 140734710326596 140734710326596 140734710329295 0
[pid=12141/tid=12146] ppid=12138 vsize=10971352 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/12141/task/12146/stat : 12146 (java) S 12138 12141 8385 0 -1 1077944384 221 0 0 0 7 10 0 0 20 0 21 0 4973076 11234664448 199711 33554432000 4194304 4196468 140734710321136 140477832280336 140478227453653 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 8544256 140734710326467 140734710326596 140734710326596 140734710329295 0
[pid=12141/tid=12147] ppid=12138 vsize=10971352 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/12141/task/12147/stat : 12147 (java) S 12138 12141 8385 0 -1 1077944384 165 0 0 0 8 9 0 0 20 0 21 0 4973076 11234664448 199711 33554432000 4194304 4196468 140734710321136 140477831227792 140478227453653 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 8544256 140734710326467 140734710326596 140734710326596 140734710329295 0
[pid=12141/tid=12148] ppid=12138 vsize=10971352 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/12141/task/12148/stat : 12148 (java) S 12138 12141 8385 0 -1 1077944384 219 0 0 0 9 8 0 0 20 0 21 0 4973076 11234664448 199711 33554432000 4194304 4196468 140734710321136 140477830175760 140478227453653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8544256 140734710326467 140734710326596 140734710326596 140734710329295 0
[pid=12141/tid=12149] ppid=12138 vsize=10971352 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/12141/task/12149/stat : 12149 (java) S 12138 12141 8385 0 -1 1077944384 131 0 0 0 8 8 0 0 20 0 21 0 4973076 11234664448 199711 33554432000 4194304 4196468 140734710321136 140477829123216 140478227453653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8544256 140734710326467 140734710326596 140734710326596 140734710329295 0
[pid=12141/tid=12150] ppid=12138 vsize=10971352 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/12141/task/12150/stat : 12150 (java) S 12138 12141 8385 0 -1 1077944384 153 0 0 0 8 7 0 0 20 0 21 0 4973076 11234664448 199711 33554432000 4194304 4196468 140734710321136 140477828070160 140478227453653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8544256 140734710326467 140734710326596 140734710326596 140734710329295 0
[pid=12141/tid=12151] ppid=12138 vsize=10971352 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/12141/task/12151/stat : 12151 (java) S 12138 12141 8385 0 -1 1077944384 167 0 0 0 9 7 0 0 20 0 21 0 4973076 11234664448 199711 33554432000 4194304 4196468 140734710321136 140477827017616 140478227453653 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 8544256 140734710326467 140734710326596 140734710326596 140734710329295 0
[pid=12141/tid=12152] ppid=12138 vsize=10971352 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/12141/task/12152/stat : 12152 (java) S 12138 12141 8385 0 -1 1077944384 687 0 0 0 1 0 0 0 20 0 21 0 4973078 11234664448 199711 33554432000 4194304 4196468 140734710321136 140477045111024 140478227454594 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8544256 140734710326467 140734710326596 140734710326596 140734710329295 0
[pid=12141/tid=12153] ppid=12138 vsize=10971352 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12141/task/12153/stat : 12153 (java) S 12138 12141 8385 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 21 0 4973079 11234664448 199711 33554432000 4194304 4196468 140734710321136 140477044057312 140478227453653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8544256 140734710326467 140734710326596 140734710326596 140734710329295 0
[pid=12141/tid=12154] ppid=12138 vsize=10971352 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12141/task/12154/stat : 12154 (java) S 12138 12141 8385 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 21 0 4973079 11234664448 199711 33554432000 4194304 4196468 140734710321136 140477043004160 140478227453653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8544256 140734710326467 140734710326596 140734710326596 140734710329295 0
[pid=12141/tid=12155] ppid=12138 vsize=10971352 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12141/task/12155/stat : 12155 (java) S 12138 12141 8385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 4973083 11234664448 199711 33554432000 4194304 4196468 140734710321136 140477041952720 140478227462043 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 8544256 140734710326467 140734710326596 140734710326596 140734710329295 0
[pid=12141/tid=12156] ppid=12138 vsize=10971352 CPUtime=0.57 cores=0,2,4,6,8,10,12,14
/proc/12141/task/12156/stat : 12156 (java) S 12138 12141 8385 0 -1 1077944384 2127 0 0 0 57 0 0 0 20 0 21 0 4973083 11234664448 199711 33554432000 4194304 4196468 140734710321136 140477040900848 140478227454594 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8544256 140734710326467 140734710326596 140734710326596 140734710329295 0
[pid=12141/tid=12157] ppid=12138 vsize=10971352 CPUtime=0.56 cores=0,2,4,6,8,10,12,14
/proc/12141/task/12157/stat : 12157 (java) S 12138 12141 8385 0 -1 1077944384 1428 0 0 0 56 0 0 0 20 0 21 0 4973083 11234664448 199711 33554432000 4194304 4196468 140734710321136 140476703304560 140478227454594 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8544256 140734710326467 140734710326596 140734710326596 140734710329295 0
[pid=12141/tid=12158] ppid=12138 vsize=10971352 CPUtime=0.45 cores=0,2,4,6,8,10,12,14
/proc/12141/task/12158/stat : 12158 (java) S 12138 12141 8385 0 -1 1077944384 1677 0 0 0 45 0 0 0 20 0 21 0 4973083 11234664448 199711 33554432000 4194304 4196468 140734710321136 140476702251504 140478227454594 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 8544256 140734710326467 140734710326596 140734710326596 140734710329295 0
[pid=12141/tid=12159] ppid=12138 vsize=10971352 CPUtime=0.38 cores=0,2,4,6,8,10,12,14
/proc/12141/task/12159/stat : 12159 (java) S 12138 12141 8385 0 -1 1077944384 2085 0 0 0 38 0 0 0 20 0 21 0 4973083 11234664448 199711 33554432000 4194304 4196468 140734710321136 140476701198960 140478227454594 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8544256 140734710326467 140734710326596 140734710326596 140734710329295 0
[pid=12141/tid=12160] ppid=12138 vsize=10971352 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12141/task/12160/stat : 12160 (java) S 12138 12141 8385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 4973083 11234664448 199711 33554432000 4194304 4196468 140734710321136 140476700146144 140478227453653 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8544256 140734710326467 140734710326596 140734710326596 140734710329295 0
[pid=12141/tid=12161] ppid=12138 vsize=10971352 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12141/task/12161/stat : 12161 (java) S 12138 12141 8385 0 -1 1077944384 166 0 0 0 0 0 0 0 20 0 21 0 4973083 11234664448 199711 33554432000 4194304 4196468 140734710321136 140476699093680 140478227454594 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8544256 140734710326467 140734710326596 140734710326596 140734710329295 0
[pid=12141/tid=12162] ppid=12138 vsize=10971352 CPUtime=4.71 cores=0,2,4,6,8,10,12,14
/proc/12141/task/12162/stat : 12162 (java) R 12138 12141 8385 0 -1 4202560 5143 0 0 0 462 9 0 0 20 0 21 0 4973101 11234664448 199711 33554432000 4194304 4196468 140734710321136 140476695898448 140477865308991 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8544256 140734710326467 140734710326596 140734710326596 140734710329295 0
Current children cumulated CPU time (s) 8.38
Current children cumulated vsize (KiB) 10971352
[startup+5.60897 s]
/proc/loadavg: 2.01 2.04 2.02 8/283 12256
/proc/meminfo: memFree=30639352/32770624 swapFree=6252/91472
[pid=12141] ppid=12138 vsize=0 CPUtime=9.18 cores=0,2,4,6,8,10,12,14
/proc/12141/stat : 12141 (java) Z 12138 12141 8385 0 -1 4227084 24443 0 0 0 828 90 0 0 20 0 2 0 4973075 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 0 0 0 0 0 0 0 0
/proc/12141/statm: 0 0 0 0 0 0 0
[pid=12141/tid=12157] ppid=12138 vsize=0 CPUtime=0.68 cores=0,2,4,6,8,10,12,14
/proc/12141/task/12157/stat : 12157 (java) D 12138 12141 8385 0 -1 4203588 1722 0 0 0 67 1 0 0 20 0 2 0 4973083 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 8 0 0 0 0 0 0 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 9.18
Current children cumulated vsize (KiB) 0
[startup+5.70057 s]
/proc/loadavg: 2.01 2.04 2.02 8/283 12256
/proc/meminfo: memFree=30639352/32770624 swapFree=6252/91472
[pid=12141] ppid=12138 vsize=0 CPUtime=9.18 cores=0,2,4,6,8,10,12,14
/proc/12141/stat : 12141 (java) Z 12138 12141 8385 0 -1 4227084 24443 0 0 0 828 90 0 0 20 0 2 0 4973075 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 0 0 0 0 0 0 0 0
/proc/12141/statm: 0 0 0 0 0 0 0
[pid=12141/tid=12157] ppid=12138 vsize=0 CPUtime=0.68 cores=0,2,4,6,8,10,12,14
/proc/12141/task/12157/stat : 12157 (java) D 12138 12141 8385 0 -1 4203588 1722 0 0 0 67 1 0 0 20 0 2 0 4973083 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 8 0 0 0 0 0 0 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 9.18
Current children cumulated vsize (KiB) 0
Child status: 0
Real time (s): 5.76368
CPU time (s): 9.1971
CPU user time (s): 8.28704
CPU system time (s): 0.910068
CPU usage (%): 159.57
Max. virtual memory (cumulated for all children) (KiB): 10973400
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.28704
system time used= 0.910068
maximum resident set size= 874356
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24443
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3290
involuntary context switches= 690
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.057789 second user time and 0.056206 second system time
The end