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-4250048-1500776063/watcher-4250048-1500776063 -o /tmp/evaluation-result-4250048-1500776063/solver-4250048-1500776063 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node102-1500775267-32564 --watchdog 2560 bin/concrete HOME/instance-4250048-1500776063.xml
pid=1152
running on 8 cores: 1,3,5,7,9,11,13,15
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.12 1.80 1.51 3/262 1155
/proc/meminfo: memFree=26756556/32770624 swapFree=5932/356536
[pid=1155] ppid=1152 vsize=9508 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/1155/stat : 1155 (bash) S 1152 1155 27482 0 -1 4202496 654 0 0 0 0 0 0 0 20 0 1 0 12876346 9736192 351 33554432000 4194304 5098028 140731544733248 140731544730888 139852179090432 0 0 4100 65536 18446744071580971376 0 0 17 13 0 0 0 0 0 7196144 7232144 12677120 140731544737038 140731544737123 140731544737123 140731544739822 0
/proc/1155/statm: 2377 351 278 221 0 86 0
[startup+0.100096 s]
/proc/loadavg: 2.12 1.80 1.51 3/262 1155
/proc/meminfo: memFree=26756556/32770624 swapFree=5932/356536
[pid=1155] ppid=1152 vsize=9640 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/1155/stat : 1155 (bash) S 1152 1155 27482 0 -1 4202496 884 6413 0 0 0 0 0 1 20 0 1 0 12876346 9871360 378 33554432000 4194304 5098028 140731544733248 140731544727256 139852179090432 0 0 4100 65536 18446744071580971376 0 0 17 13 0 0 0 0 0 7196144 7232144 12677120 140731544737038 140731544737123 140731544737123 140731544739822 0
/proc/1155/statm: 2410 378 296 221 0 119 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9640
[startup+0.200312 s]
/proc/loadavg: 2.12 1.80 1.51 3/262 1155
/proc/meminfo: memFree=26756556/32770624 swapFree=5932/356536
[pid=1155] ppid=1152 vsize=10435860 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/1155/stat : 1155 (java) S 1152 1155 27482 0 -1 1077944320 5058 12568 0 0 6 1 8 3 20 0 13 0 12876346 10686320640 5413 33554432000 4194304 4196468 140723788823168 140723788805712 140448856579831 0 0 0 16800971 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 22220800 140723788827329 140723788830103 140723788830103 140723788832719 0
/proc/1155/statm: 2608965 5413 2171 1 0 2597403 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 10435860
[startup+0.300268 s]
/proc/loadavg: 2.12 1.80 1.51 3/262 1155
/proc/meminfo: memFree=26756556/32770624 swapFree=5932/356536
[pid=1155] ppid=1152 vsize=10902392 CPUtime=0.36 cores=1,3,5,7,9,11,13,15
/proc/1155/stat : 1155 (java) S 1152 1155 27482 0 -1 1077944320 9561 12568 0 0 23 2 8 3 20 0 20 0 12876346 11164049408 10558 33554432000 4194304 4196468 140723788823168 140723788805712 140448856579831 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 22220800 140723788827329 140723788830103 140723788830103 140723788832719 0
/proc/1155/statm: 2725598 10558 2977 1 0 2713890 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 10902392
[startup+0.700261 s]
/proc/loadavg: 2.12 1.80 1.51 3/262 1155
/proc/meminfo: memFree=26756556/32770624 swapFree=5932/356536
[pid=1155] ppid=1152 vsize=10902720 CPUtime=1 cores=1,3,5,7,9,11,13,15
/proc/1155/stat : 1155 (java) S 1152 1155 27482 0 -1 1077944320 13047 12568 0 0 85 4 8 3 20 0 20 0 12876346 11164385280 16359 33554432000 4194304 4196468 140723788823168 140723788805712 140448856579831 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 22220800 140723788827329 140723788830103 140723788830103 140723788832719 0
/proc/1155/statm: 2725680 16359 3232 1 0 2713890 0
Current children cumulated CPU time (s) 1
Current children cumulated vsize (KiB) 10902720
[startup+1.5017 s]
/proc/loadavg: 2.12 1.80 1.51 4/282 1228
/proc/meminfo: memFree=26649372/32770624 swapFree=5932/356588
[pid=1155] ppid=1152 vsize=10915392 CPUtime=2.31 cores=1,3,5,7,9,11,13,15
/proc/1155/stat : 1155 (java) S 1152 1155 27482 0 -1 1077944320 27818 12568 0 0 206 14 8 3 20 0 20 0 12876346 11177361408 44127 33554432000 4194304 4196468 140723788823168 140723788805712 140448856579831 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 22220800 140723788827329 140723788830103 140723788830103 140723788832719 0
/proc/1155/statm: 2728848 44127 3411 1 0 2716962 0
[pid=1155/tid=1210] ppid=1152 vsize=10915392 CPUtime=1.41 cores=1,3,5,7,9,11,13,15
/proc/1155/task/1210/stat : 1210 (java) R 1152 1155 27482 0 -1 4202560 19583 12568 0 0 125 5 8 3 20 0 20 0 12876359 11177361408 44127 33554432000 4194304 4196468 140723788823168 140448860810744 140448839755450 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22220800 140723788827329 140723788830103 140723788830103 140723788832719 0
[pid=1155/tid=1211] ppid=1152 vsize=10915392 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/1155/task/1211/stat : 1211 (java) S 1152 1155 27482 0 -1 1077944384 137 12568 0 0 0 0 8 3 20 0 20 0 12876360 11177361408 44127 33554432000 4194304 4196468 140723788823168 140448793271056 140448856590037 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 22220800 140723788827329 140723788830103 140723788830103 140723788832719 0
[pid=1155/tid=1212] ppid=1152 vsize=10915392 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/1155/task/1212/stat : 1212 (java) S 1152 1155 27482 0 -1 1077944384 11 12568 0 0 0 0 8 3 20 0 20 0 12876360 11177361408 44127 33554432000 4194304 4196468 140723788823168 140448792218512 140448856590037 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22220800 140723788827329 140723788830103 140723788830103 140723788832719 0
[pid=1155/tid=1213] ppid=1152 vsize=10915392 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/1155/task/1213/stat : 1213 (java) S 1152 1155 27482 0 -1 1077944384 47 12568 0 0 1 0 8 3 20 0 20 0 12876360 11177361408 44127 33554432000 4194304 4196468 140723788823168 140448791165968 140448856590037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22220800 140723788827329 140723788830103 140723788830103 140723788832719 0
[pid=1155/tid=1214] ppid=1152 vsize=10915392 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/1155/task/1214/stat : 1214 (java) S 1152 1155 27482 0 -1 1077944384 30 12568 0 0 0 0 8 3 20 0 20 0 12876360 11177361408 44127 33554432000 4194304 4196468 140723788823168 140448790113424 140448856590037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22220800 140723788827329 140723788830103 140723788830103 140723788832719 0
[pid=1155/tid=1215] ppid=1152 vsize=10915392 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/1155/task/1215/stat : 1215 (java) S 1152 1155 27482 0 -1 1077944384 10 12568 0 0 0 0 8 3 20 0 20 0 12876360 11177361408 44127 33554432000 4194304 4196468 140723788823168 140448789059856 140448856590037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22220800 140723788827329 140723788830103 140723788830103 140723788832719 0
[pid=1155/tid=1216] ppid=1152 vsize=10915392 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/1155/task/1216/stat : 1216 (java) S 1152 1155 27482 0 -1 1077944384 29 12568 0 0 0 0 8 3 20 0 20 0 12876360 11177361408 44127 33554432000 4194304 4196468 140723788823168 140448788007312 140448856590037 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 22220800 140723788827329 140723788830103 140723788830103 140723788832719 0
[pid=1155/tid=1217] ppid=1152 vsize=10915392 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/1155/task/1217/stat : 1217 (java) S 1152 1155 27482 0 -1 1077944384 23 12568 0 0 1 0 8 3 20 0 20 0 12876360 11177361408 44127 33554432000 4194304 4196468 140723788823168 140448456632848 140448856590037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22220800 140723788827329 140723788830103 140723788830103 140723788832719 0
[pid=1155/tid=1218] ppid=1152 vsize=10915392 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/1155/task/1218/stat : 1218 (java) S 1152 1155 27482 0 -1 1077944384 58 12568 0 0 1 0 8 3 20 0 20 0 12876360 11177361408 44127 33554432000 4194304 4196468 140723788823168 140448455580304 140448856590037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22220800 140723788827329 140723788830103 140723788830103 140723788832719 0
[pid=1155/tid=1219] ppid=1152 vsize=10915392 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/1155/task/1219/stat : 1219 (java) S 1152 1155 27482 0 -1 1077944384 1495 12568 0 0 1 0 8 3 20 0 20 0 12876362 11177361408 44127 33554432000 4194304 4196468 140723788823168 140448331139568 140448856590978 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22220800 140723788827329 140723788830103 140723788830103 140723788832719 0
[pid=1155/tid=1220] ppid=1152 vsize=10915392 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/1155/task/1220/stat : 1220 (java) S 1152 1155 27482 0 -1 1077944384 57 12568 0 0 0 0 8 3 20 0 20 0 12876363 11177361408 44127 33554432000 4194304 4196468 140723788823168 140448330085856 140448856590037 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 22220800 140723788827329 140723788830103 140723788830103 140723788832719 0
[pid=1155/tid=1221] ppid=1152 vsize=10915392 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/1155/task/1221/stat : 1221 (java) S 1152 1155 27482 0 -1 1077944384 43 12568 0 0 0 0 8 3 20 0 20 0 12876363 11177361408 44127 33554432000 4194304 4196468 140723788823168 140448329033216 140448856590037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22220800 140723788827329 140723788830103 140723788830103 140723788832719 0
[pid=1155/tid=1222] ppid=1152 vsize=10915392 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/1155/task/1222/stat : 1222 (java) S 1152 1155 27482 0 -1 1077944384 1 12568 0 0 0 0 8 3 20 0 20 0 12876366 11177361408 44127 33554432000 4194304 4196468 140723788823168 140448327981776 140448856598427 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 22220800 140723788827329 140723788830103 140723788830103 140723788832719 0
[pid=1155/tid=1223] ppid=1152 vsize=10915392 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/1155/task/1223/stat : 1223 (java) S 1152 1155 27482 0 -1 1077944384 1553 12568 0 0 15 0 8 3 20 0 20 0 12876366 11177361408 44127 33554432000 4194304 4196468 140723788823168 140448326928368 140448856590978 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22220800 140723788827329 140723788830103 140723788830103 140723788832719 0
[pid=1155/tid=1224] ppid=1152 vsize=10915392 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/1155/task/1224/stat : 1224 (java) S 1152 1155 27482 0 -1 1077944384 540 12568 0 0 11 0 8 3 20 0 20 0 12876366 11177361408 44127 33554432000 4194304 4196468 140723788823168 140448325875824 140448856590978 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22220800 140723788827329 140723788830103 140723788830103 140723788832719 0
[pid=1155/tid=1225] ppid=1152 vsize=10915392 CPUtime=0.24 cores=1,3,5,7,9,11,13,15
/proc/1155/task/1225/stat : 1225 (java) S 1152 1155 27482 0 -1 1077944384 629 12568 0 0 13 0 8 3 20 0 20 0 12876366 11177361408 44127 33554432000 4194304 4196468 140723788823168 140448324823280 140448856590978 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22220800 140723788827329 140723788830103 140723788830103 140723788832719 0
[pid=1155/tid=1226] ppid=1152 vsize=10915392 CPUtime=0.39 cores=1,3,5,7,9,11,13,15
/proc/1155/task/1226/stat : 1226 (java) R 1152 1155 27482 0 -1 4202560 1431 12568 0 0 28 0 8 3 20 0 20 0 12876366 11177361408 44127 33554432000 4194304 4196468 140723788823168 140448323770736 140448849676667 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 22220800 140723788827329 140723788830103 140723788830103 140723788832719 0
[pid=1155/tid=1227] ppid=1152 vsize=10915392 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/1155/task/1227/stat : 1227 (java) S 1152 1155 27482 0 -1 1077944384 3 12568 0 0 0 0 8 3 20 0 20 0 12876367 11177361408 44127 33554432000 4194304 4196468 140723788823168 140448322718432 140448856590037 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22220800 140723788827329 140723788830103 140723788830103 140723788832719 0
[pid=1155/tid=1228] ppid=1152 vsize=10915392 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/1155/task/1228/stat : 1228 (java) S 1152 1155 27482 0 -1 1077944384 7 12568 0 0 0 0 8 3 20 0 20 0 12876367 11177361408 44127 33554432000 4194304 4196468 140723788823168 140448321665968 140448856590978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22220800 140723788827329 140723788830103 140723788830103 140723788832719 0
Current children cumulated CPU time (s) 2.31
Current children cumulated vsize (KiB) 10915392
[startup+3.10115 s]
/proc/loadavg: 2.12 1.80 1.51 5/282 1228
/proc/meminfo: memFree=26577724/32770624 swapFree=5932/356596
[pid=1155] ppid=1152 vsize=10923772 CPUtime=7.63 cores=1,3,5,7,9,11,13,15
/proc/1155/stat : 1155 (java) S 1152 1155 27482 0 -1 1077944320 42075 12568 0 0 732 20 8 3 20 0 20 0 12876346 11185942528 66121 33554432000 4194304 4196468 140723788823168 140723788805712 140448856579831 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 22220800 140723788827329 140723788830103 140723788830103 140723788832719 0
/proc/1155/statm: 2730943 66121 3484 1 0 2718498 0
[pid=1155/tid=1210] ppid=1152 vsize=10923772 CPUtime=3.01 cores=1,3,5,7,9,11,13,15
/proc/1155/task/1210/stat : 1210 (java) R 1152 1155 27482 0 -1 4202560 24722 12568 0 0 282 8 8 3 20 0 20 0 12876359 11185942528 66121 33554432000 4194304 4196468 140723788823168 140448860807328 140448856591766 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22220800 140723788827329 140723788830103 140723788830103 140723788832719 0
[pid=1155/tid=1211] ppid=1152 vsize=10923772 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/1155/task/1211/stat : 1211 (java) S 1152 1155 27482 0 -1 1077944384 137 12568 0 0 0 0 8 3 20 0 20 0 12876360 11185942528 66121 33554432000 4194304 4196468 140723788823168 140448793271056 140448856590037 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 22220800 140723788827329 140723788830103 140723788830103 140723788832719 0
[pid=1155/tid=1212] ppid=1152 vsize=10923772 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/1155/task/1212/stat : 1212 (java) S 1152 1155 27482 0 -1 1077944384 11 12568 0 0 0 0 8 3 20 0 20 0 12876360 11185942528 66121 33554432000 4194304 4196468 140723788823168 140448792218512 140448856590037 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22220800 140723788827329 140723788830103 140723788830103 140723788832719 0
[pid=1155/tid=1213] ppid=1152 vsize=10923772 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/1155/task/1213/stat : 1213 (java) S 1152 1155 27482 0 -1 1077944384 47 12568 0 0 1 0 8 3 20 0 20 0 12876360 11185942528 66121 33554432000 4194304 4196468 140723788823168 140448791165968 140448856590037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22220800 140723788827329 140723788830103 140723788830103 140723788832719 0
[pid=1155/tid=1214] ppid=1152 vsize=10923772 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/1155/task/1214/stat : 1214 (java) S 1152 1155 27482 0 -1 1077944384 30 12568 0 0 0 0 8 3 20 0 20 0 12876360 11185942528 66121 33554432000 4194304 4196468 140723788823168 140448790113424 140448856590037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22220800 140723788827329 140723788830103 140723788830103 140723788832719 0
[pid=1155/tid=1215] ppid=1152 vsize=10923772 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/1155/task/1215/stat : 1215 (java) S 1152 1155 27482 0 -1 1077944384 10 12568 0 0 0 0 8 3 20 0 20 0 12876360 11185942528 66121 33554432000 4194304 4196468 140723788823168 140448789059856 140448856590037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22220800 140723788827329 140723788830103 140723788830103 140723788832719 0
[pid=1155/tid=1216] ppid=1152 vsize=10923772 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/1155/task/1216/stat : 1216 (java) S 1152 1155 27482 0 -1 1077944384 29 12568 0 0 0 0 8 3 20 0 20 0 12876360 11185942528 66121 33554432000 4194304 4196468 140723788823168 140448788007312 140448856590037 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 22220800 140723788827329 140723788830103 140723788830103 140723788832719 0
[pid=1155/tid=1217] ppid=1152 vsize=10923772 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/1155/task/1217/stat : 1217 (java) S 1152 1155 27482 0 -1 1077944384 23 12568 0 0 1 0 8 3 20 0 20 0 12876360 11185942528 66121 33554432000 4194304 4196468 140723788823168 140448456632848 140448856590037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22220800 140723788827329 140723788830103 140723788830103 140723788832719 0
[pid=1155/tid=1218] ppid=1152 vsize=10923772 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/1155/task/1218/stat : 1218 (java) S 1152 1155 27482 0 -1 1077944384 58 12568 0 0 1 0 8 3 20 0 20 0 12876360 11185942528 66121 33554432000 4194304 4196468 140723788823168 140448455580304 140448856590037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22220800 140723788827329 140723788830103 140723788830103 140723788832719 0
[pid=1155/tid=1219] ppid=1152 vsize=10923772 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/1155/task/1219/stat : 1219 (java) S 1152 1155 27482 0 -1 1077944384 1519 12568 0 0 2 0 8 3 20 0 20 0 12876362 11185942528 66121 33554432000 4194304 4196468 140723788823168 140448331139568 140448856590978 0 0 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 22220800 140723788827329 140723788830103 140723788830103 140723788832719 0
[pid=1155/tid=1220] ppid=1152 vsize=10923772 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/1155/task/1220/stat : 1220 (java) S 1152 1155 27482 0 -1 1077944384 57 12568 0 0 0 0 8 3 20 0 20 0 12876363 11185942528 66121 33554432000 4194304 4196468 140723788823168 140448330085856 140448856590037 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 22220800 140723788827329 140723788830103 140723788830103 140723788832719 0
[pid=1155/tid=1221] ppid=1152 vsize=10923772 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/1155/task/1221/stat : 1221 (java) S 1152 1155 27482 0 -1 1077944384 43 12568 0 0 0 0 8 3 20 0 20 0 12876363 11185942528 66121 33554432000 4194304 4196468 140723788823168 140448329033216 140448856590037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22220800 140723788827329 140723788830103 140723788830103 140723788832719 0
[pid=1155/tid=1222] ppid=1152 vsize=10923772 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/1155/task/1222/stat : 1222 (java) S 1152 1155 27482 0 -1 1077944384 1 12568 0 0 0 0 8 3 20 0 20 0 12876366 11185942528 66121 33554432000 4194304 4196468 140723788823168 140448327981776 140448856598427 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 22220800 140723788827329 140723788830103 140723788830103 140723788832719 0
[pid=1155/tid=1223] ppid=1152 vsize=10923772 CPUtime=1.15 cores=1,3,5,7,9,11,13,15
/proc/1155/task/1223/stat : 1223 (java) R 1152 1155 27482 0 -1 4202560 2952 12568 0 0 103 1 8 3 20 0 20 0 12876366 11185942528 66121 33554432000 4194304 4196468 140723788823168 140448326928368 140448856591766 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22220800 140723788827329 140723788830103 140723788830103 140723788832719 0
[pid=1155/tid=1224] ppid=1152 vsize=10923772 CPUtime=1.32 cores=1,3,5,7,9,11,13,15
/proc/1155/task/1224/stat : 1224 (java) R 1152 1155 27482 0 -1 4202560 4396 12568 0 0 121 0 8 3 20 0 20 0 12876366 11185942528 66121 33554432000 4194304 4196468 140723788823168 140448325876120 140448840080446 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 22220800 140723788827329 140723788830103 140723788830103 140723788832719 0
[pid=1155/tid=1225] ppid=1152 vsize=10923772 CPUtime=1.15 cores=1,3,5,7,9,11,13,15
/proc/1155/task/1225/stat : 1225 (java) R 1152 1155 27482 0 -1 4202560 1930 12568 0 0 102 2 8 3 20 0 20 0 12876366 11185942528 66121 33554432000 4194304 4196468 140723788823168 140448324823280 140448856601178 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22220800 140723788827329 140723788830103 140723788830103 140723788832719 0
[pid=1155/tid=1226] ppid=1152 vsize=10923772 CPUtime=1.23 cores=1,3,5,7,9,11,13,15
/proc/1155/task/1226/stat : 1226 (java) S 1152 1155 27482 0 -1 1077944384 3967 12568 0 0 111 1 8 3 20 0 20 0 12876366 11185942528 66121 33554432000 4194304 4196468 140723788823168 140448323770736 140448856590978 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22220800 140723788827329 140723788830103 140723788830103 140723788832719 0
[pid=1155/tid=1227] ppid=1152 vsize=10923772 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/1155/task/1227/stat : 1227 (java) S 1152 1155 27482 0 -1 1077944384 3 12568 0 0 0 0 8 3 20 0 20 0 12876367 11185942528 66121 33554432000 4194304 4196468 140723788823168 140448322718432 140448856590037 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22220800 140723788827329 140723788830103 140723788830103 140723788832719 0
[pid=1155/tid=1228] ppid=1152 vsize=10923772 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/1155/task/1228/stat : 1228 (java) S 1152 1155 27482 0 -1 1077944384 8 12568 0 0 0 0 8 3 20 0 20 0 12876367 11185942528 66121 33554432000 4194304 4196468 140723788823168 140448321665968 140448856590978 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 22220800 140723788827329 140723788830103 140723788830103 140723788832719 0
Current children cumulated CPU time (s) 7.63
Current children cumulated vsize (KiB) 10923772
[startup+6.3008 s]
/proc/loadavg: 2.27 1.83 1.52 7/282 1228
/proc/meminfo: memFree=26417500/32770624 swapFree=5932/356596
[pid=1155] ppid=1152 vsize=10927868 CPUtime=18.31 cores=1,3,5,7,9,11,13,15
/proc/1155/stat : 1155 (java) S 1152 1155 27482 0 -1 1077944320 61521 12568 0 0 1765 55 8 3 20 0 20 0 12876346 11190136832 92598 33554432000 4194304 4196468 140723788823168 140723788805712 140448856579831 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 22220800 140723788827329 140723788830103 140723788830103 140723788832719 0
/proc/1155/statm: 2731967 92598 3508 1 0 2719522 0
[pid=1155/tid=1210] ppid=1152 vsize=10927868 CPUtime=6.1 cores=1,3,5,7,9,11,13,15
/proc/1155/task/1210/stat : 1210 (java) R 1152 1155 27482 0 -1 4202560 27464 12568 0 0 590 9 8 3 20 0 20 0 12876359 11190136832 92598 33554432000 4194304 4196468 140723788823168 140448860812152 140448482721119 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 22220800 140723788827329 140723788830103 140723788830103 140723788832719 0
[pid=1155/tid=1211] ppid=1152 vsize=10927868 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/1155/task/1211/stat : 1211 (java) S 1152 1155 27482 0 -1 1077944384 486 12568 0 0 5 4 8 3 20 0 20 0 12876360 11190136832 92598 33554432000 4194304 4196468 140723788823168 140448793271056 140448856590037 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 22220800 140723788827329 140723788830103 140723788830103 140723788832719 0
[pid=1155/tid=1212] ppid=1152 vsize=10927868 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/1155/task/1212/stat : 1212 (java) S 1152 1155 27482 0 -1 1077944384 118 12568 0 0 5 4 8 3 20 0 20 0 12876360 11190136832 92598 33554432000 4194304 4196468 140723788823168 140448792218512 140448856590037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22220800 140723788827329 140723788830103 140723788830103 140723788832719 0
[pid=1155/tid=1213] ppid=1152 vsize=10927868 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/1155/task/1213/stat : 1213 (java) S 1152 1155 27482 0 -1 1077944384 551 12568 0 0 5 3 8 3 20 0 20 0 12876360 11190136832 92598 33554432000 4194304 4196468 140723788823168 140448791165968 140448856590037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22220800 140723788827329 140723788830103 140723788830103 140723788832719 0
[pid=1155/tid=1214] ppid=1152 vsize=10927868 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/1155/task/1214/stat : 1214 (java) S 1152 1155 27482 0 -1 1077944384 73 12568 0 0 4 3 8 3 20 0 20 0 12876360 11190136832 92598 33554432000 4194304 4196468 140723788823168 140448790113424 140448856590037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22220800 140723788827329 140723788830103 140723788830103 140723788832719 0
[pid=1155/tid=1215] ppid=1152 vsize=10927868 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/1155/task/1215/stat : 1215 (java) S 1152 1155 27482 0 -1 1077944384 129 12568 0 0 5 4 8 3 20 0 20 0 12876360 11190136832 92598 33554432000 4194304 4196468 140723788823168 140448789059856 140448856590037 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 22220800 140723788827329 140723788830103 140723788830103 140723788832719 0
[pid=1155/tid=1216] ppid=1152 vsize=10927868 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/1155/task/1216/stat : 1216 (java) S 1152 1155 27482 0 -1 1077944384 68 12568 0 0 4 4 8 3 20 0 20 0 12876360 11190136832 92598 33554432000 4194304 4196468 140723788823168 140448788007312 140448856590037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22220800 140723788827329 140723788830103 140723788830103 140723788832719 0
[pid=1155/tid=1217] ppid=1152 vsize=10927868 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/1155/task/1217/stat : 1217 (java) S 1152 1155 27482 0 -1 1077944384 524 12568 0 0 4 4 8 3 20 0 20 0 12876360 11190136832 92598 33554432000 4194304 4196468 140723788823168 140448456632848 140448856590037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22220800 140723788827329 140723788830103 140723788830103 140723788832719 0
[pid=1155/tid=1218] ppid=1152 vsize=10927868 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/1155/task/1218/stat : 1218 (java) S 1152 1155 27482 0 -1 1077944384 130 12568 0 0 5 4 8 3 20 0 20 0 12876360 11190136832 92598 33554432000 4194304 4196468 140723788823168 140448455580304 140448856590037 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22220800 140723788827329 140723788830103 140723788830103 140723788832719 0
[pid=1155/tid=1219] ppid=1152 vsize=10927868 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/1155/task/1219/stat : 1219 (java) S 1152 1155 27482 0 -1 1077944384 1789 12568 0 0 3 0 8 3 20 0 20 0 12876362 11190136832 92598 33554432000 4194304 4196468 140723788823168 140448331139568 140448856590978 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22220800 140723788827329 140723788830103 140723788830103 140723788832719 0
[pid=1155/tid=1220] ppid=1152 vsize=10927868 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/1155/task/1220/stat : 1220 (java) S 1152 1155 27482 0 -1 1077944384 62 12568 0 0 0 0 8 3 20 0 20 0 12876363 11190136832 92598 33554432000 4194304 4196468 140723788823168 140448330085856 140448856590037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22220800 140723788827329 140723788830103 140723788830103 140723788832719 0
[pid=1155/tid=1221] ppid=1152 vsize=10927868 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/1155/task/1221/stat : 1221 (java) S 1152 1155 27482 0 -1 1077944384 55 12568 0 0 0 0 8 3 20 0 20 0 12876363 11190136832 92598 33554432000 4194304 4196468 140723788823168 140448329033216 140448856590037 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22220800 140723788827329 140723788830103 140723788830103 140723788832719 0
[pid=1155/tid=1222] ppid=1152 vsize=10927868 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/1155/task/1222/stat : 1222 (java) S 1152 1155 27482 0 -1 1077944384 1 12568 0 0 0 0 8 3 20 0 20 0 12876366 11190136832 92598 33554432000 4194304 4196468 140723788823168 140448327981776 140448856598427 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 22220800 140723788827329 140723788830103 140723788830103 140723788832719 0
[pid=1155/tid=1223] ppid=1152 vsize=10927868 CPUtime=3.27 cores=1,3,5,7,9,11,13,15
/proc/1155/task/1223/stat : 1223 (java) S 1152 1155 27482 0 -1 1077944384 7450 12568 0 0 313 3 8 3 20 0 20 0 12876366 11190136832 92598 33554432000 4194304 4196468 140723788823168 140448326928368 140448856590978 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22220800 140723788827329 140723788830103 140723788830103 140723788832719 0
[pid=1155/tid=1224] ppid=1152 vsize=10927868 CPUtime=3.32 cores=1,3,5,7,9,11,13,15
/proc/1155/task/1224/stat : 1224 (java) S 1152 1155 27482 0 -1 1077944384 7303 12568 0 0 320 1 8 3 20 0 20 0 12876366 11190136832 92598 33554432000 4194304 4196468 140723788823168 140448325875824 140448856590978 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 22220800 140723788827329 140723788830103 140723788830103 140723788832719 0
[pid=1155/tid=1225] ppid=1152 vsize=10927868 CPUtime=3.13 cores=1,3,5,7,9,11,13,15
/proc/1155/task/1225/stat : 1225 (java) S 1152 1155 27482 0 -1 1077944384 4827 12568 0 0 299 3 8 3 20 0 20 0 12876366 11190136832 92598 33554432000 4194304 4196468 140723788823168 140448324823280 140448856590978 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 22220800 140723788827329 140723788830103 140723788830103 140723788832719 0
[pid=1155/tid=1226] ppid=1152 vsize=10927868 CPUtime=2.09 cores=1,3,5,7,9,11,13,15
/proc/1155/task/1226/stat : 1226 (java) S 1152 1155 27482 0 -1 1077944384 8337 12568 0 0 196 2 8 3 20 0 20 0 12876366 11190136832 92598 33554432000 4194304 4196468 140723788823168 140448323770736 140448856590978 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22220800 140723788827329 140723788830103 140723788830103 140723788832719 0
[pid=1155/tid=1227] ppid=1152 vsize=10927868 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/1155/task/1227/stat : 1227 (java) S 1152 1155 27482 0 -1 1077944384 3 12568 0 0 0 0 8 3 20 0 20 0 12876367 11190136832 92598 33554432000 4194304 4196468 140723788823168 140448322718432 140448856590037 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22220800 140723788827329 140723788830103 140723788830103 140723788832719 0
[pid=1155/tid=1228] ppid=1152 vsize=10927868 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/1155/task/1228/stat : 1228 (java) S 1152 1155 27482 0 -1 1077944384 19 12568 0 0 0 0 8 3 20 0 20 0 12876367 11190136832 92598 33554432000 4194304 4196468 140723788823168 140448321665968 140448856590978 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22220800 140723788827329 140723788830103 140723788830103 140723788832719 0
Current children cumulated CPU time (s) 18.31
Current children cumulated vsize (KiB) 10927868
[startup+12.701 s]
/proc/loadavg: 2.33 1.85 1.53 3/282 1228
/proc/meminfo: memFree=25960452/32770624 swapFree=5932/356588
[pid=1155] ppid=1152 vsize=10931964 CPUtime=36.87 cores=1,3,5,7,9,11,13,15
/proc/1155/stat : 1155 (java) S 1152 1155 27482 0 -1 1077944320 109740 12568 0 0 3546 130 8 3 20 0 20 0 12876346 11194331136 209127 33554432000 4194304 4196468 140723788823168 140723788805712 140448856579831 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 22220800 140723788827329 140723788830103 140723788830103 140723788832719 0
/proc/1155/statm: 2732991 209127 3529 1 0 2720546 0
[pid=1155/tid=1210] ppid=1152 vsize=10931964 CPUtime=11.72 cores=1,3,5,7,9,11,13,15
/proc/1155/task/1210/stat : 1210 (java) S 1152 1155 27482 0 -1 1077944384 43317 12568 0 0 1145 16 8 3 20 0 20 0 12876359 11194331136 209127 33554432000 4194304 4196468 140723788823168 140448860817488 140448856590037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22220800 140723788827329 140723788830103 140723788830103 140723788832719 0
[pid=1155/tid=1211] ppid=1152 vsize=10931964 CPUtime=0.82 cores=1,3,5,7,9,11,13,15
/proc/1155/task/1211/stat : 1211 (java) R 1152 1155 27482 0 -1 4202560 667 12568 0 0 60 11 8 3 20 0 20 0 12876360 11194331136 209127 33554432000 4194304 4196468 140723788823168 140448793271256 140448849683478 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22220800 140723788827329 140723788830103 140723788830103 140723788832719 0
[pid=1155/tid=1212] ppid=1152 vsize=10931964 CPUtime=0.81 cores=1,3,5,7,9,11,13,15
/proc/1155/task/1212/stat : 1212 (java) R 1152 1155 27482 0 -1 4202560 314 12568 0 0 58 12 8 3 20 0 20 0 12876360 11194331136 209127 33554432000 4194304 4196468 140723788823168 140448792218712 140448841037464 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22220800 140723788827329 140723788830103 140723788830103 140723788832719 0
[pid=1155/tid=1213] ppid=1152 vsize=10931964 CPUtime=0.81 cores=1,3,5,7,9,11,13,15
/proc/1155/task/1213/stat : 1213 (java) R 1152 1155 27482 0 -1 4202560 783 12568 0 0 58 12 8 3 20 0 20 0 12876360 11194331136 209127 33554432000 4194304 4196468 140723788823168 140448791166088 140448849208039 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 22220800 140723788827329 140723788830103 140723788830103 140723788832719 0
[pid=1155/tid=1214] ppid=1152 vsize=10931964 CPUtime=0.8 cores=1,3,5,7,9,11,13,15
/proc/1155/task/1214/stat : 1214 (java) R 1152 1155 27482 0 -1 4202560 236 12568 0 0 58 11 8 3 20 0 20 0 12876360 11194331136 209127 33554432000 4194304 4196468 140723788823168 140448790113544 140448849208039 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 22220800 140723788827329 140723788830103 140723788830103 140723788832719 0
[pid=1155/tid=1215] ppid=1152 vsize=10931964 CPUtime=0.82 cores=1,3,5,7,9,11,13,15
/proc/1155/task/1215/stat : 1215 (java) R 1152 1155 27482 0 -1 4202560 1066 12568 0 0 60 11 8 3 20 0 20 0 12876360 11194331136 209127 33554432000 4194304 4196468 140723788823168 140448789059976 140448849208039 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 22220800 140723788827329 140723788830103 140723788830103 140723788832719 0
[pid=1155/tid=1216] ppid=1152 vsize=10931964 CPUtime=0.79 cores=1,3,5,7,9,11,13,15
/proc/1155/task/1216/stat : 1216 (java) R 1152 1155 27482 0 -1 4202560 213 12568 0 0 57 11 8 3 20 0 20 0 12876360 11194331136 209127 33554432000 4194304 4196468 140723788823168 140448788007432 140448839962866 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 22220800 140723788827329 140723788830103 140723788830103 140723788832719 0
[pid=1155/tid=1217] ppid=1152 vsize=10931964 CPUtime=0.81 cores=1,3,5,7,9,11,13,15
/proc/1155/task/1217/stat : 1217 (java) R 1152 1155 27482 0 -1 4202560 642 12568 0 0 59 11 8 3 20 0 20 0 12876360 11194331136 209127 33554432000 4194304 4196468 140723788823168 140448456632968 140448849208039 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22220800 140723788827329 140723788830103 140723788830103 140723788832719 0
[pid=1155/tid=1218] ppid=1152 vsize=10931964 CPUtime=0.84 cores=1,3,5,7,9,11,13,15
/proc/1155/task/1218/stat : 1218 (java) R 1152 1155 27482 0 -1 4202560 280 12568 0 0 60 13 8 3 20 0 20 0 12876360 11194331136 209127 33554432000 4194304 4196468 140723788823168 140448455580424 140448849208039 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22220800 140723788827329 140723788830103 140723788830103 140723788832719 0
[pid=1155/tid=1219] ppid=1152 vsize=10931964 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/1155/task/1219/stat : 1219 (java) S 1152 1155 27482 0 -1 1077944384 9426 12568 0 0 14 1 8 3 20 0 20 0 12876362 11194331136 209127 33554432000 4194304 4196468 140723788823168 140448331138192 140448856590037 0 0 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 22220800 140723788827329 140723788830103 140723788830103 140723788832719 0
[pid=1155/tid=1220] ppid=1152 vsize=10931964 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/1155/task/1220/stat : 1220 (java) S 1152 1155 27482 0 -1 1077944384 68 12568 0 0 0 0 8 3 20 0 20 0 12876363 11194331136 209127 33554432000 4194304 4196468 140723788823168 140448330085680 140448856590037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22220800 140723788827329 140723788830103 140723788830103 140723788832719 0
[pid=1155/tid=1221] ppid=1152 vsize=10931964 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/1155/task/1221/stat : 1221 (java) S 1152 1155 27482 0 -1 1077944384 62 12568 0 0 0 0 8 3 20 0 20 0 12876363 11194331136 209127 33554432000 4194304 4196468 140723788823168 140448329032768 140448856590037 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22220800 140723788827329 140723788830103 140723788830103 140723788832719 0
[pid=1155/tid=1222] ppid=1152 vsize=10931964 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/1155/task/1222/stat : 1222 (java) S 1152 1155 27482 0 -1 1077944384 1 12568 0 0 0 0 8 3 20 0 20 0 12876366 11194331136 209127 33554432000 4194304 4196468 140723788823168 140448327981776 140448856598427 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 22220800 140723788827329 140723788830103 140723788830103 140723788832719 0
[pid=1155/tid=1223] ppid=1152 vsize=10931964 CPUtime=5.57 cores=1,3,5,7,9,11,13,15
/proc/1155/task/1223/stat : 1223 (java) S 1152 1155 27482 0 -1 1077944384 11571 12568 0 0 543 3 8 3 20 0 20 0 12876366 11194331136 209127 33554432000 4194304 4196468 140723788823168 140448326908320 140448856590037 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22220800 140723788827329 140723788830103 140723788830103 140723788832719 0
[pid=1155/tid=1224] ppid=1152 vsize=10931964 CPUtime=5.55 cores=1,3,5,7,9,11,13,15
/proc/1155/task/1224/stat : 1224 (java) S 1152 1155 27482 0 -1 1077944384 11232 12568 0 0 542 2 8 3 20 0 20 0 12876366 11194331136 209127 33554432000 4194304 4196468 140723788823168 140448325875824 140448856590978 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22220800 140723788827329 140723788830103 140723788830103 140723788832719 0
[pid=1155/tid=1225] ppid=1152 vsize=10931964 CPUtime=5.57 cores=1,3,5,7,9,11,13,15
/proc/1155/task/1225/stat : 1225 (java) S 1152 1155 27482 0 -1 1077944384 13141 12568 0 0 542 4 8 3 20 0 20 0 12876366 11194331136 209127 33554432000 4194304 4196468 140723788823168 140448324812480 140448856590037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22220800 140723788827329 140723788830103 140723788830103 140723788832719 0
[pid=1155/tid=1226] ppid=1152 vsize=10931964 CPUtime=2.96 cores=1,3,5,7,9,11,13,15
/proc/1155/task/1226/stat : 1226 (java) S 1152 1155 27482 0 -1 1077944384 13932 12568 0 0 282 3 8 3 20 0 20 0 12876366 11194331136 209127 33554432000 4194304 4196468 140723788823168 140448323770736 140448856590978 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22220800 140723788827329 140723788830103 140723788830103 140723788832719 0
[pid=1155/tid=1227] ppid=1152 vsize=10931964 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/1155/task/1227/stat : 1227 (java) S 1152 1155 27482 0 -1 1077944384 3 12568 0 0 0 0 8 3 20 0 20 0 12876367 11194331136 209127 33554432000 4194304 4196468 140723788823168 140448322718432 140448856590037 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22220800 140723788827329 140723788830103 140723788830103 140723788832719 0
[pid=1155/tid=1228] ppid=1152 vsize=10931964 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/1155/task/1228/stat : 1228 (java) S 1152 1155 27482 0 -1 1077944384 654 12568 0 0 0 0 8 3 20 0 20 0 12876367 11194331136 209127 33554432000 4194304 4196468 140723788823168 140448321665968 140448856590978 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22220800 140723788827329 140723788830103 140723788830103 140723788832719 0
Current children cumulated CPU time (s) 36.87
Current children cumulated vsize (KiB) 10931964
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 1155 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+12.8013 s]
/proc/loadavg: 2.33 1.85 1.53 3/282 1228
/proc/meminfo: memFree=25960452/32770624 swapFree=5932/356588
[pid=1155] ppid=1152 vsize=10931964 CPUtime=37.41 cores=1,3,5,7,9,11,13,15
/proc/1155/stat : 1155 (java) S 1152 1155 27482 0 -1 1077944320 109955 12568 0 0 3600 130 8 3 20 0 20 0 12876346 11194331136 209160 33554432000 4194304 4196468 140723788823168 140723788805712 140448856579831 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 22220800 140723788827329 140723788830103 140723788830103 140723788832719 0
/proc/1155/statm: 2732991 209160 3529 1 0 2720546 0
[pid=1155/tid=1210] ppid=1152 vsize=10931964 CPUtime=11.74 cores=1,3,5,7,9,11,13,15
/proc/1155/task/1210/stat : 1210 (java) R 1152 1155 27482 0 -1 4202560 43387 12568 0 0 1147 16 8 3 20 0 20 0 12876359 11194331136 209160 33554432000 4194304 4196468 140723788823168 140448860807376 140448840686957 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22220800 140723788827329 140723788830103 140723788830103 140723788832719 0
[pid=1155/tid=1211] ppid=1152 vsize=10931964 CPUtime=0.88 cores=1,3,5,7,9,11,13,15
/proc/1155/task/1211/stat : 1211 (java) S 1152 1155 27482 0 -1 1077944384 667 12568 0 0 66 11 8 3 20 0 20 0 12876360 11194331136 209160 33554432000 4194304 4196468 140723788823168 140448793271056 140448856590037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22220800 140723788827329 140723788830103 140723788830103 140723788832719 0
[pid=1155/tid=1212] ppid=1152 vsize=10931964 CPUtime=0.87 cores=1,3,5,7,9,11,13,15
/proc/1155/task/1212/stat : 1212 (java) S 1152 1155 27482 0 -1 1077944384 316 12568 0 0 64 12 8 3 20 0 20 0 12876360 11194331136 209160 33554432000 4194304 4196468 140723788823168 140448792218512 140448856590037 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22220800 140723788827329 140723788830103 140723788830103 140723788832719 0
[pid=1155/tid=1213] ppid=1152 vsize=10931964 CPUtime=0.86 cores=1,3,5,7,9,11,13,15
/proc/1155/task/1213/stat : 1213 (java) S 1152 1155 27482 0 -1 1077944384 783 12568 0 0 63 12 8 3 20 0 20 0 12876360 11194331136 209160 33554432000 4194304 4196468 140723788823168 140448791165968 140448856590037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22220800 140723788827329 140723788830103 140723788830103 140723788832719 0
[pid=1155/tid=1214] ppid=1152 vsize=10931964 CPUtime=0.86 cores=1,3,5,7,9,11,13,15
/proc/1155/task/1214/stat : 1214 (java) S 1152 1155 27482 0 -1 1077944384 238 12568 0 0 64 11 8 3 20 0 20 0 12876360 11194331136 209160 33554432000 4194304 4196468 140723788823168 140448790113424 140448856590037 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22220800 140723788827329 140723788830103 140723788830103 140723788832719 0
[pid=1155/tid=1215] ppid=1152 vsize=10931964 CPUtime=0.88 cores=1,3,5,7,9,11,13,15
/proc/1155/task/1215/stat : 1215 (java) S 1152 1155 27482 0 -1 1077944384 1067 12568 0 0 66 11 8 3 20 0 20 0 12876360 11194331136 209160 33554432000 4194304 4196468 140723788823168 140448789059856 140448856590037 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22220800 140723788827329 140723788830103 140723788830103 140723788832719 0
[pid=1155/tid=1216] ppid=1152 vsize=10931964 CPUtime=0.85 cores=1,3,5,7,9,11,13,15
/proc/1155/task/1216/stat : 1216 (java) S 1152 1155 27482 0 -1 1077944384 213 12568 0 0 63 11 8 3 20 0 20 0 12876360 11194331136 209160 33554432000 4194304 4196468 140723788823168 140448788007312 140448856590037 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 22220800 140723788827329 140723788830103 140723788830103 140723788832719 0
[pid=1155/tid=1217] ppid=1152 vsize=10931964 CPUtime=0.87 cores=1,3,5,7,9,11,13,15
/proc/1155/task/1217/stat : 1217 (java) S 1152 1155 27482 0 -1 1077944384 642 12568 0 0 65 11 8 3 20 0 20 0 12876360 11194331136 209160 33554432000 4194304 4196468 140723788823168 140448456632848 140448856590037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22220800 140723788827329 140723788830103 140723788830103 140723788832719 0
[pid=1155/tid=1218] ppid=1152 vsize=10931964 CPUtime=0.9 cores=1,3,5,7,9,11,13,15
/proc/1155/task/1218/stat : 1218 (java) S 1152 1155 27482 0 -1 1077944384 280 12568 0 0 66 13 8 3 20 0 20 0 12876360 11194331136 209160 33554432000 4194304 4196468 140723788823168 140448455580304 140448856590037 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 22220800 140723788827329 140723788830103 140723788830103 140723788832719 0
[pid=1155/tid=1219] ppid=1152 vsize=10931964 CPUtime=0.28 cores=1,3,5,7,9,11,13,15
/proc/1155/task/1219/stat : 1219 (java) S 1152 1155 27482 0 -1 1077944384 9429 12568 0 0 16 1 8 3 20 0 20 0 12876362 11194331136 209160 33554432000 4194304 4196468 140723788823168 140448331139568 140448856590978 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22220800 140723788827329 140723788830103 140723788830103 140723788832719 0
[pid=1155/tid=1220] ppid=1152 vsize=10931964 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/1155/task/1220/stat : 1220 (java) S 1152 1155 27482 0 -1 1077944384 68 12568 0 0 0 0 8 3 20 0 20 0 12876363 11194331136 209160 33554432000 4194304 4196468 140723788823168 140448330085920 140448856590037 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 22220800 140723788827329 140723788830103 140723788830103 140723788832719 0
[pid=1155/tid=1221] ppid=1152 vsize=10931964 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/1155/task/1221/stat : 1221 (java) S 1152 1155 27482 0 -1 1077944384 62 12568 0 0 0 0 8 3 20 0 20 0 12876363 11194331136 209160 33554432000 4194304 4196468 140723788823168 140448329033216 140448856590037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22220800 140723788827329 140723788830103 140723788830103 140723788832719 0
[pid=1155/tid=1222] ppid=1152 vsize=10931964 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/1155/task/1222/stat : 1222 (java) S 1152 1155 27482 0 -1 1077944384 1 12568 0 0 0 0 8 3 20 0 20 0 12876366 11194331136 209160 33554432000 4194304 4196468 140723788823168 140448327981776 140448856598427 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 22220800 140723788827329 140723788830103 140723788830103 140723788832719 0
[pid=1155/tid=1223] ppid=1152 vsize=10931964 CPUtime=5.59 cores=1,3,5,7,9,11,13,15
/proc/1155/task/1223/stat : 1223 (java) R 1152 1155 27482 0 -1 4202560 11705 12568 0 0 545 3 8 3 20 0 20 0 12876366 11194331136 209160 33554432000 4194304 4196468 140723788823168 140448326914656 140448835829519 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22220800 140723788827329 140723788830103 140723788830103 140723788832719 0
[pid=1155/tid=1224] ppid=1152 vsize=10931964 CPUtime=5.55 cores=1,3,5,7,9,11,13,15
/proc/1155/task/1224/stat : 1224 (java) S 1152 1155 27482 0 -1 1077944384 11232 12568 0 0 542 2 8 3 20 0 20 0 12876366 11194331136 209160 33554432000 4194304 4196468 140723788823168 140448325875824 140448856590978 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22220800 140723788827329 140723788830103 140723788830103 140723788832719 0
[pid=1155/tid=1225] ppid=1152 vsize=10931964 CPUtime=5.58 cores=1,3,5,7,9,11,13,15
/proc/1155/task/1225/stat : 1225 (java) S 1152 1155 27482 0 -1 1077944384 13145 12568 0 0 543 4 8 3 20 0 20 0 12876366 11194331136 209160 33554432000 4194304 4196468 140723788823168 140448324823280 140448856590978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22220800 140723788827329 140723788830103 140723788830103 140723788832719 0
[pid=1155/tid=1226] ppid=1152 vsize=10931964 CPUtime=2.96 cores=1,3,5,7,9,11,13,15
/proc/1155/task/1226/stat : 1226 (java) S 1152 1155 27482 0 -1 1077944384 13932 12568 0 0 282 3 8 3 20 0 20 0 12876366 11194331136 209160 33554432000 4194304 4196468 140723788823168 140448323770736 140448856590978 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22220800 140723788827329 140723788830103 140723788830103 140723788832719 0
[pid=1155/tid=1227] ppid=1152 vsize=10931964 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/1155/task/1227/stat : 1227 (java) S 1152 1155 27482 0 -1 1077944384 3 12568 0 0 0 0 8 3 20 0 20 0 12876367 11194331136 209160 33554432000 4194304 4196468 140723788823168 140448322718432 140448856590037 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22220800 140723788827329 140723788830103 140723788830103 140723788832719 0
[pid=1155/tid=1228] ppid=1152 vsize=10931964 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/1155/task/1228/stat : 1228 (java) S 1152 1155 27482 0 -1 1077944384 654 12568 0 0 0 0 8 3 20 0 20 0 12876367 11194331136 209160 33554432000 4194304 4196468 140723788823168 140448321665968 140448856590978 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22220800 140723788827329 140723788830103 140723788830103 140723788832719 0
Current children cumulated CPU time (s) 37.41
Current children cumulated vsize (KiB) 10931964
Child status: 0
Real time (s): 12.8603
CPU time (s): 37.6125
CPU user time (s): 36.2551
CPU system time (s): 1.35743
CPU usage (%): 292.471
Max. virtual memory (cumulated for all children) (KiB): 10934764
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 36.2551
system time used= 1.35743
maximum resident set size= 837436
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 122998
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13221
involuntary context switches= 2744
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.108886 second user time and 0.133632 second system time
The end