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-4245368-1500700013/watcher-4245368-1500700013 -o /tmp/evaluation-result-4245368-1500700013/solver-4245368-1500700013 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node102-1500683214-16561 --watchdog 2560 java -jar HOME/AbsCon-basic.jar HOME/instance-4245368-1500700013.xml
pid=20154
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.08 1.77 1.71 3/263 20157
/proc/meminfo: memFree=31648348/32770624 swapFree=5944/279872
[pid=20157] ppid=20154 vsize=8339376 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20157/stat : 20157 (java) S 20154 20157 16530 0 -1 1077944320 1870 0 0 0 0 0 0 0 20 0 2 0 5271478 8539521024 2131 33554432000 4194304 4196468 140729406884096 140729406866640 140241267220215 0 0 0 16784584 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 16912384 140729406887107 140729406887236 140729406887236 140729406889935 0
/proc/20157/statm: 2084844 2131 1189 1 0 2073755 0
[pid=20157/tid=20158] ppid=20154 vsize=8349744 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20157/task/20158/stat : 20158 (java) R 20154 20157 16530 0 -1 4202560 647 0 0 0 0 0 0 0 20 0 2 0 5271479 8550137856 2197 33554432000 4194304 4196468 140729406884096 140241271462304 140241259509664 0 4 0 16784584 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 16912384 140729406887107 140729406887236 140729406887236 140729406889935 0
[startup+0.100161 s]
/proc/loadavg: 2.08 1.77 1.71 3/263 20157
/proc/meminfo: memFree=31648348/32770624 swapFree=5944/279872
[pid=20157] ppid=20154 vsize=10900580 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/20157/stat : 20157 (java) S 20154 20157 16530 0 -1 1077944320 5070 0 0 0 9 1 0 0 20 0 20 0 5271478 11162193920 6639 33554432000 4194304 4196468 140729406884096 140729406866640 140241267220215 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 16912384 140729406887107 140729406887236 140729406887236 140729406889935 0
/proc/20157/statm: 2725145 6639 2630 1 0 2713552 0
[pid=20157/tid=20158] ppid=20154 vsize=10900580 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/20157/task/20158/stat : 20158 (java) R 20154 20157 16530 0 -1 4202560 3160 0 0 0 7 1 0 0 20 0 20 0 5271479 11162193920 6639 33554432000 4194304 4196468 140729406884096 140241271447184 140241267242141 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16912384 140729406887107 140729406887236 140729406887236 140729406889935 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10900580
[startup+0.200385 s]
/proc/loadavg: 2.08 1.77 1.71 3/263 20157
/proc/meminfo: memFree=31648348/32770624 swapFree=5944/279872
[pid=20157] ppid=20154 vsize=10900580 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/20157/stat : 20157 (java) S 20154 20157 16530 0 -1 1077944320 7700 0 0 0 26 2 0 0 20 0 20 0 5271478 11162193920 9101 33554432000 4194304 4196468 140729406884096 140729406866640 140241267220215 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 16912384 140729406887107 140729406887236 140729406887236 140729406889935 0
/proc/20157/statm: 2725145 9101 2896 1 0 2713552 0
[pid=20157/tid=20158] ppid=20154 vsize=10900580 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/20157/task/20158/stat : 20158 (java) R 20154 20157 16530 0 -1 4202560 4901 0 0 0 17 1 0 0 20 0 20 0 5271479 11162193920 9101 33554432000 4194304 4196468 140729406884096 140241271444000 140241267232150 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16912384 140729406887107 140729406887236 140729406887236 140729406889935 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 10900580
[startup+0.30036 s]
/proc/loadavg: 2.08 1.77 1.71 3/263 20157
/proc/meminfo: memFree=31648348/32770624 swapFree=5944/279872
[pid=20157] ppid=20154 vsize=10969228 CPUtime=0.48 cores=0,2,4,6,8,10,12,14
/proc/20157/stat : 20157 (java) S 20154 20157 16530 0 -1 1077944320 8472 0 0 0 46 2 0 0 20 0 21 0 5271478 11232489472 13318 33554432000 4194304 4196468 140729406884096 140729406866640 140241267220215 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 16912384 140729406887107 140729406887236 140729406887236 140729406889935 0
/proc/20157/statm: 2742307 13318 2987 1 0 2730193 0
[pid=20157/tid=20158] ppid=20154 vsize=10969228 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/20157/task/20158/stat : 20158 (java) S 20154 20157 16530 0 -1 1077944384 5185 0 0 0 23 1 0 0 20 0 21 0 5271479 11232489472 13318 33554432000 4194304 4196468 140729406884096 140241271463088 140241267230421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16912384 140729406887107 140729406887236 140729406887236 140729406889935 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 10969228
[startup+0.700271 s]
/proc/loadavg: 2.08 1.77 1.71 3/263 20157
/proc/meminfo: memFree=31648348/32770624 swapFree=5944/279872
[pid=20157] ppid=20154 vsize=10971352 CPUtime=1.49 cores=0,2,4,6,8,10,12,14
/proc/20157/stat : 20157 (java) S 20154 20157 16530 0 -1 1077944320 11950 0 0 0 142 7 0 0 20 0 21 0 5271478 11234664448 38119 33554432000 4194304 4196468 140729406884096 140729406866640 140241267220215 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 16912384 140729406887107 140729406887236 140729406887236 140729406889935 0
/proc/20157/statm: 2742838 38119 3105 1 0 2730705 0
[pid=20157/tid=20158] ppid=20154 vsize=10971352 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/20157/task/20158/stat : 20158 (java) S 20154 20157 16530 0 -1 1077944384 5185 0 0 0 23 1 0 0 20 0 21 0 5271479 11234664448 38119 33554432000 4194304 4196468 140729406884096 140241271463088 140241267230421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16912384 140729406887107 140729406887236 140729406887236 140729406889935 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10971352
[startup+1.50082 s]
/proc/loadavg: 2.56 1.88 1.75 4/284 20178
/proc/meminfo: memFree=31387652/32770624 swapFree=5944/279568
[pid=20157] ppid=20154 vsize=10971352 CPUtime=3.86 cores=0,2,4,6,8,10,12,14
/proc/20157/stat : 20157 (java) S 20154 20157 16530 0 -1 1077944320 14412 0 0 0 298 88 0 0 20 0 21 0 5271478 11234664448 107986 33554432000 4194304 4196468 140729406884096 140729406866640 140241267220215 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 16912384 140729406887107 140729406887236 140729406887236 140729406889935 0
/proc/20157/statm: 2742838 107986 3135 1 0 2730705 0
[pid=20157/tid=20158] ppid=20154 vsize=10971352 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/20157/task/20158/stat : 20158 (java) S 20154 20157 16530 0 -1 1077944384 5185 0 0 0 23 1 0 0 20 0 21 0 5271479 11234664448 107986 33554432000 4194304 4196468 140729406884096 140241271463088 140241267230421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16912384 140729406887107 140729406887236 140729406887236 140729406889935 0
[pid=20157/tid=20160] ppid=20154 vsize=10971352 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/20157/task/20160/stat : 20160 (java) R 20154 20157 16530 0 -1 4202560 110 0 0 0 5 9 0 0 20 0 21 0 5271480 11234664448 107986 33554432000 4194304 4196468 140729406884096 140241219840728 140241260317051 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 16912384 140729406887107 140729406887236 140729406887236 140729406889935 0
[pid=20157/tid=20161] ppid=20154 vsize=10971352 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/20157/task/20161/stat : 20161 (java) R 20154 20157 16530 0 -1 4202560 125 0 0 0 6 8 0 0 20 0 21 0 5271480 11234664448 107986 33554432000 4194304 4196468 140729406884096 140240872987480 140241260317051 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16912384 140729406887107 140729406887236 140729406887236 140729406889935 0
[pid=20157/tid=20162] ppid=20154 vsize=10971352 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/20157/task/20162/stat : 20162 (java) R 20154 20157 16530 0 -1 4202560 100 0 0 0 4 10 0 0 20 0 21 0 5271480 11234664448 107986 33554432000 4194304 4196468 140729406884096 140240871934424 140241260317051 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16912384 140729406887107 140729406887236 140729406887236 140729406889935 0
[pid=20157/tid=20163] ppid=20154 vsize=10971352 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/20157/task/20163/stat : 20163 (java) R 20154 20157 16530 0 -1 4202560 107 0 0 0 4 10 0 0 20 0 21 0 5271480 11234664448 107986 33554432000 4194304 4196468 140729406884096 140240870881880 140241260317051 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16912384 140729406887107 140729406887236 140729406887236 140729406889935 0
[pid=20157/tid=20164] ppid=20154 vsize=10971352 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/20157/task/20164/stat : 20164 (java) R 20154 20157 16530 0 -1 4202560 95 0 0 0 3 8 0 0 20 0 21 0 5271480 11234664448 107986 33554432000 4194304 4196468 140729406884096 140240869829848 140241260320062 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 16912384 140729406887107 140729406887236 140729406887236 140729406889935 0
[pid=20157/tid=20165] ppid=20154 vsize=10971352 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/20157/task/20165/stat : 20165 (java) R 20154 20157 16530 0 -1 4202560 111 0 0 0 5 9 0 0 20 0 21 0 5271480 11234664448 107986 33554432000 4194304 4196468 140729406884096 140240868777304 140241252248098 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16912384 140729406887107 140729406887236 140729406887236 140729406889935 0
[pid=20157/tid=20166] ppid=20154 vsize=10971352 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/20157/task/20166/stat : 20166 (java) R 20154 20157 16530 0 -1 4202560 105 0 0 0 4 10 0 0 20 0 21 0 5271480 11234664448 107986 33554432000 4194304 4196468 140729406884096 140240867724248 140241252242393 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 16912384 140729406887107 140729406887236 140729406887236 140729406889935 0
[pid=20157/tid=20167] ppid=20154 vsize=10971352 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/20157/task/20167/stat : 20167 (java) R 20154 20157 16530 0 -1 4202560 101 0 0 0 5 10 0 0 20 0 21 0 5271480 11234664448 107986 33554432000 4194304 4196468 140729406884096 140240866671392 140241260323623 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 16912384 140729406887107 140729406887236 140729406887236 140729406889935 0
[pid=20157/tid=20168] ppid=20154 vsize=10971352 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20157/task/20168/stat : 20168 (java) S 20154 20157 16530 0 -1 1077944384 208 0 0 0 0 0 0 0 20 0 21 0 5271482 11234664448 107986 33554432000 4194304 4196468 140729406884096 140240742220576 140241267230421 0 0 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 16912384 140729406887107 140729406887236 140729406887236 140729406889935 0
[pid=20157/tid=20169] ppid=20154 vsize=10971352 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20157/task/20169/stat : 20169 (java) S 20154 20157 16530 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 21 0 5271483 11234664448 108024 33554432000 4194304 4196468 140729406884096 140240741168288 140241267230421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16912384 140729406887107 140729406887236 140729406887236 140729406889935 0
[pid=20157/tid=20170] ppid=20154 vsize=10971352 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20157/task/20170/stat : 20170 (java) S 20154 20157 16530 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 21 0 5271483 11234664448 108081 33554432000 4194304 4196468 140729406884096 140240740115184 140241267230421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16912384 140729406887107 140729406887236 140729406887236 140729406889935 0
[pid=20157/tid=20171] ppid=20154 vsize=10971352 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20157/task/20171/stat : 20171 (java) S 20154 20157 16530 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 5271486 11234664448 108119 33554432000 4194304 4196468 140729406884096 140240739063760 140241267238811 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 16912384 140729406887107 140729406887236 140729406887236 140729406889935 0
[pid=20157/tid=20172] ppid=20154 vsize=10971352 CPUtime=0.35 cores=0,2,4,6,8,10,12,14
/proc/20157/task/20172/stat : 20172 (java) S 20154 20157 16530 0 -1 1077944384 1385 0 0 0 35 0 0 0 20 0 21 0 5271486 11234664448 108119 33554432000 4194304 4196468 140729406884096 140240738011888 140241267231362 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16912384 140729406887107 140729406887236 140729406887236 140729406889935 0
[pid=20157/tid=20173] ppid=20154 vsize=10971352 CPUtime=0.32 cores=0,2,4,6,8,10,12,14
/proc/20157/task/20173/stat : 20173 (java) S 20154 20157 16530 0 -1 1077944384 1444 0 0 0 32 0 0 0 20 0 21 0 5271486 11234664448 108119 33554432000 4194304 4196468 140729406884096 140240736959344 140241267231362 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 16912384 140729406887107 140729406887236 140729406887236 140729406889935 0
[pid=20157/tid=20174] ppid=20154 vsize=10971352 CPUtime=0.32 cores=0,2,4,6,8,10,12,14
/proc/20157/task/20174/stat : 20174 (java) S 20154 20157 16530 0 -1 1077944384 922 0 0 0 32 0 0 0 20 0 21 0 5271486 11234664448 108119 33554432000 4194304 4196468 140729406884096 140240735906288 140241267231362 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16912384 140729406887107 140729406887236 140729406887236 140729406889935 0
[pid=20157/tid=20175] ppid=20154 vsize=10971352 CPUtime=0.32 cores=0,2,4,6,8,10,12,14
/proc/20157/task/20175/stat : 20175 (java) S 20154 20157 16530 0 -1 1077944384 1501 0 0 0 32 0 0 0 20 0 21 0 5271486 11234664448 108119 33554432000 4194304 4196468 140729406884096 140240734853744 140241267231362 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16912384 140729406887107 140729406887236 140729406887236 140729406889935 0
[pid=20157/tid=20176] ppid=20154 vsize=10971352 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20157/task/20176/stat : 20176 (java) S 20154 20157 16530 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 5271487 11234664448 108156 33554432000 4194304 4196468 140729406884096 140240733800928 140241267230421 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 16912384 140729406887107 140729406887236 140729406887236 140729406889935 0
[pid=20157/tid=20177] ppid=20154 vsize=10971352 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20157/task/20177/stat : 20177 (java) S 20154 20157 16530 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 5271487 11234664448 108156 33554432000 4194304 4196468 140729406884096 140240732748464 140241267231362 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 16912384 140729406887107 140729406887236 140729406887236 140729406889935 0
[pid=20157/tid=20178] ppid=20154 vsize=10971352 CPUtime=1.07 cores=0,2,4,6,8,10,12,14
/proc/20157/task/20178/stat : 20178 (java) S 20154 20157 16530 0 -1 1077944384 1547 0 0 0 102 5 0 0 20 0 21 0 5271504 11234664448 108156 33554432000 4194304 4196468 140729406884096 140240729556736 140241267230421 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 16912384 140729406887107 140729406887236 140729406887236 140729406889935 0
Current children cumulated CPU time (s) 3.86
Current children cumulated vsize (KiB) 10971352
[startup+3.10089 s]
/proc/loadavg: 2.56 1.88 1.75 3/284 20178
/proc/meminfo: memFree=30956824/32770624 swapFree=5944/279568
[pid=20157] ppid=20154 vsize=10971352 CPUtime=6.32 cores=0,2,4,6,8,10,12,14
/proc/20157/stat : 20157 (java) S 20154 20157 16530 0 -1 1077944320 16945 0 0 0 480 152 0 0 20 0 21 0 5271478 11234664448 221484 33554432000 4194304 4196468 140729406884096 140729406866640 140241267220215 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 16912384 140729406887107 140729406887236 140729406887236 140729406889935 0
/proc/20157/statm: 2742838 221484 3135 1 0 2730705 0
[pid=20157/tid=20158] ppid=20154 vsize=10971352 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/20157/task/20158/stat : 20158 (java) S 20154 20157 16530 0 -1 1077944384 5185 0 0 0 23 1 0 0 20 0 21 0 5271479 11234664448 221484 33554432000 4194304 4196468 140729406884096 140241271463088 140241267230421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16912384 140729406887107 140729406887236 140729406887236 140729406889935 0
[pid=20157/tid=20160] ppid=20154 vsize=10971352 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/20157/task/20160/stat : 20160 (java) S 20154 20157 16530 0 -1 1077944384 225 0 0 0 9 17 0 0 20 0 21 0 5271480 11234664448 221484 33554432000 4194304 4196468 140729406884096 140241219840528 140241267230421 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 16912384 140729406887107 140729406887236 140729406887236 140729406889935 0
[pid=20157/tid=20161] ppid=20154 vsize=10971352 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/20157/task/20161/stat : 20161 (java) S 20154 20157 16530 0 -1 1077944384 204 0 0 0 10 16 0 0 20 0 21 0 5271480 11234664448 221484 33554432000 4194304 4196468 140729406884096 140240872987280 140241267230421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16912384 140729406887107 140729406887236 140729406887236 140729406889935 0
[pid=20157/tid=20162] ppid=20154 vsize=10971352 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/20157/task/20162/stat : 20162 (java) S 20154 20157 16530 0 -1 1077944384 213 0 0 0 8 17 0 0 20 0 21 0 5271480 11234664448 221484 33554432000 4194304 4196468 140729406884096 140240871934224 140241267230421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16912384 140729406887107 140729406887236 140729406887236 140729406889935 0
[pid=20157/tid=20163] ppid=20154 vsize=10971352 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/20157/task/20163/stat : 20163 (java) S 20154 20157 16530 0 -1 1077944384 216 0 0 0 8 18 0 0 20 0 21 0 5271480 11234664448 221996 33554432000 4194304 4196468 140729406884096 140240870881680 140241267230421 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 16912384 140729406887107 140729406887236 140729406887236 140729406889935 0
[pid=20157/tid=20164] ppid=20154 vsize=10971352 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/20157/task/20164/stat : 20164 (java) S 20154 20157 16530 0 -1 1077944384 150 0 0 0 7 14 0 0 20 0 21 0 5271480 11234664448 221996 33554432000 4194304 4196468 140729406884096 140240869829648 140241267230421 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 16912384 140729406887107 140729406887236 140729406887236 140729406889935 0
[pid=20157/tid=20165] ppid=20154 vsize=10971352 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/20157/task/20165/stat : 20165 (java) S 20154 20157 16530 0 -1 1077944384 200 0 0 0 9 16 0 0 20 0 21 0 5271480 11234664448 221996 33554432000 4194304 4196468 140729406884096 140240868777104 140241267230421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16912384 140729406887107 140729406887236 140729406887236 140729406889935 0
[pid=20157/tid=20166] ppid=20154 vsize=10971352 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/20157/task/20166/stat : 20166 (java) S 20154 20157 16530 0 -1 1077944384 201 0 0 0 8 17 0 0 20 0 21 0 5271480 11234664448 221996 33554432000 4194304 4196468 140729406884096 140240867724048 140241267230421 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 16912384 140729406887107 140729406887236 140729406887236 140729406889935 0
[pid=20157/tid=20167] ppid=20154 vsize=10971352 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/20157/task/20167/stat : 20167 (java) S 20154 20157 16530 0 -1 1077944384 223 0 0 0 9 17 0 0 20 0 21 0 5271480 11234664448 221996 33554432000 4194304 4196468 140729406884096 140240866671504 140241267230421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16912384 140729406887107 140729406887236 140729406887236 140729406889935 0
[pid=20157/tid=20168] ppid=20154 vsize=10971352 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/20157/task/20168/stat : 20168 (java) S 20154 20157 16530 0 -1 1077944384 501 0 0 0 1 0 0 0 20 0 21 0 5271482 11234664448 221996 33554432000 4194304 4196468 140729406884096 140240742222064 140241267231362 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16912384 140729406887107 140729406887236 140729406887236 140729406889935 0
[pid=20157/tid=20169] ppid=20154 vsize=10971352 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20157/task/20169/stat : 20169 (java) S 20154 20157 16530 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 21 0 5271483 11234664448 221996 33554432000 4194304 4196468 140729406884096 140240741168288 140241267230421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16912384 140729406887107 140729406887236 140729406887236 140729406889935 0
[pid=20157/tid=20170] ppid=20154 vsize=10971352 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20157/task/20170/stat : 20170 (java) S 20154 20157 16530 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 21 0 5271483 11234664448 221996 33554432000 4194304 4196468 140729406884096 140240740115184 140241267230421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16912384 140729406887107 140729406887236 140729406887236 140729406889935 0
[pid=20157/tid=20171] ppid=20154 vsize=10971352 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20157/task/20171/stat : 20171 (java) S 20154 20157 16530 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 5271486 11234664448 221996 33554432000 4194304 4196468 140729406884096 140240739063760 140241267238811 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 16912384 140729406887107 140729406887236 140729406887236 140729406889935 0
[pid=20157/tid=20172] ppid=20154 vsize=10971352 CPUtime=0.36 cores=0,2,4,6,8,10,12,14
/proc/20157/task/20172/stat : 20172 (java) S 20154 20157 16530 0 -1 1077944384 1390 0 0 0 36 0 0 0 20 0 21 0 5271486 11234664448 221996 33554432000 4194304 4196468 140729406884096 140240738011888 140241267231362 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16912384 140729406887107 140729406887236 140729406887236 140729406889935 0
[pid=20157/tid=20173] ppid=20154 vsize=10971352 CPUtime=0.32 cores=0,2,4,6,8,10,12,14
/proc/20157/task/20173/stat : 20173 (java) S 20154 20157 16530 0 -1 1077944384 1444 0 0 0 32 0 0 0 20 0 21 0 5271486 11234664448 221996 33554432000 4194304 4196468 140729406884096 140240736959344 140241267231362 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 16912384 140729406887107 140729406887236 140729406887236 140729406889935 0
[pid=20157/tid=20174] ppid=20154 vsize=10971352 CPUtime=0.33 cores=0,2,4,6,8,10,12,14
/proc/20157/task/20174/stat : 20174 (java) S 20154 20157 16530 0 -1 1077944384 924 0 0 0 33 0 0 0 20 0 21 0 5271486 11234664448 221996 33554432000 4194304 4196468 140729406884096 140240735906288 140241267231362 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16912384 140729406887107 140729406887236 140729406887236 140729406889935 0
[pid=20157/tid=20175] ppid=20154 vsize=10971352 CPUtime=0.37 cores=0,2,4,6,8,10,12,14
/proc/20157/task/20175/stat : 20175 (java) S 20154 20157 16530 0 -1 1077944384 1616 0 0 0 37 0 0 0 20 0 21 0 5271486 11234664448 221996 33554432000 4194304 4196468 140729406884096 140240734853744 140241267231362 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16912384 140729406887107 140729406887236 140729406887236 140729406889935 0
[pid=20157/tid=20176] ppid=20154 vsize=10971352 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20157/task/20176/stat : 20176 (java) S 20154 20157 16530 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 5271487 11234664448 221996 33554432000 4194304 4196468 140729406884096 140240733800928 140241267230421 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 16912384 140729406887107 140729406887236 140729406887236 140729406889935 0
[pid=20157/tid=20177] ppid=20154 vsize=10971352 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20157/task/20177/stat : 20177 (java) S 20154 20157 16530 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 5271487 11234664448 221996 33554432000 4194304 4196468 140729406884096 140240732748464 140241267231362 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 16912384 140729406887107 140729406887236 140729406887236 140729406889935 0
[pid=20157/tid=20178] ppid=20154 vsize=10971352 CPUtime=2.55 cores=0,2,4,6,8,10,12,14
/proc/20157/task/20178/stat : 20178 (java) R 20154 20157 16530 0 -1 4202560 2884 0 0 0 244 11 0 0 20 0 21 0 5271504 11234664448 221996 33554432000 4194304 4196468 140729406884096 140240729555096 140240902888562 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16912384 140729406887107 140729406887236 140729406887236 140729406889935 0
Current children cumulated CPU time (s) 6.32
Current children cumulated vsize (KiB) 10971352
[startup+6.30088 s]
/proc/loadavg: 2.56 1.88 1.75 4/284 20178
/proc/meminfo: memFree=30016204/32770624 swapFree=5944/279576
[pid=20157] ppid=20154 vsize=10973400 CPUtime=15.94 cores=0,2,4,6,8,10,12,14
/proc/20157/stat : 20157 (java) S 20154 20157 16530 0 -1 1077944320 29323 0 0 0 1241 353 0 0 20 0 21 0 5271478 11236761600 412019 33554432000 4194304 4196468 140729406884096 140729406866640 140241267220215 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 16912384 140729406887107 140729406887236 140729406887236 140729406889935 0
/proc/20157/statm: 2743350 412019 3173 1 0 2731217 0
[pid=20157/tid=20158] ppid=20154 vsize=10973400 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/20157/task/20158/stat : 20158 (java) S 20154 20157 16530 0 -1 1077944384 5185 0 0 0 23 1 0 0 20 0 21 0 5271479 11236761600 412019 33554432000 4194304 4196468 140729406884096 140241271463088 140241267230421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16912384 140729406887107 140729406887236 140729406887236 140729406889935 0
[pid=20157/tid=20160] ppid=20154 vsize=10973400 CPUtime=1.04 cores=0,2,4,6,8,10,12,14
/proc/20157/task/20160/stat : 20160 (java) S 20154 20157 16530 0 -1 1077944384 1190 0 0 0 63 41 0 0 20 0 21 0 5271480 11236761600 412019 33554432000 4194304 4196468 140729406884096 140241219840528 140241267230421 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 16912384 140729406887107 140729406887236 140729406887236 140729406889935 0
[pid=20157/tid=20161] ppid=20154 vsize=10973400 CPUtime=1.04 cores=0,2,4,6,8,10,12,14
/proc/20157/task/20161/stat : 20161 (java) S 20154 20157 16530 0 -1 1077944384 716 0 0 0 64 40 0 0 20 0 21 0 5271480 11236761600 412019 33554432000 4194304 4196468 140729406884096 140240872987280 140241267230421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16912384 140729406887107 140729406887236 140729406887236 140729406889935 0
[pid=20157/tid=20162] ppid=20154 vsize=10973400 CPUtime=1.01 cores=0,2,4,6,8,10,12,14
/proc/20157/task/20162/stat : 20162 (java) S 20154 20157 16530 0 -1 1077944384 592 0 0 0 61 40 0 0 20 0 21 0 5271480 11236761600 412019 33554432000 4194304 4196468 140729406884096 140240871934224 140241267230421 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 16912384 140729406887107 140729406887236 140729406887236 140729406889935 0
[pid=20157/tid=20163] ppid=20154 vsize=10973400 CPUtime=1.04 cores=0,2,4,6,8,10,12,14
/proc/20157/task/20163/stat : 20163 (java) S 20154 20157 16530 0 -1 1077944384 563 0 0 0 63 41 0 0 20 0 21 0 5271480 11236761600 412019 33554432000 4194304 4196468 140729406884096 140240870881680 140241267230421 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 16912384 140729406887107 140729406887236 140729406887236 140729406889935 0
[pid=20157/tid=20164] ppid=20154 vsize=10973400 CPUtime=0.98 cores=0,2,4,6,8,10,12,14
/proc/20157/task/20164/stat : 20164 (java) S 20154 20157 16530 0 -1 1077944384 594 0 0 0 61 37 0 0 20 0 21 0 5271480 11236761600 412019 33554432000 4194304 4196468 140729406884096 140240869829648 140241267230421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16912384 140729406887107 140729406887236 140729406887236 140729406889935 0
[pid=20157/tid=20165] ppid=20154 vsize=10973400 CPUtime=1.03 cores=0,2,4,6,8,10,12,14
/proc/20157/task/20165/stat : 20165 (java) S 20154 20157 16530 0 -1 1077944384 1226 0 0 0 62 41 0 0 20 0 21 0 5271480 11236761600 412019 33554432000 4194304 4196468 140729406884096 140240868777104 140241267230421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16912384 140729406887107 140729406887236 140729406887236 140729406889935 0
[pid=20157/tid=20166] ppid=20154 vsize=10973400 CPUtime=1.04 cores=0,2,4,6,8,10,12,14
/proc/20157/task/20166/stat : 20166 (java) S 20154 20157 16530 0 -1 1077944384 428 0 0 0 62 42 0 0 20 0 21 0 5271480 11236761600 412019 33554432000 4194304 4196468 140729406884096 140240867724048 140241267230421 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 16912384 140729406887107 140729406887236 140729406887236 140729406889935 0
[pid=20157/tid=20167] ppid=20154 vsize=10973400 CPUtime=1.02 cores=0,2,4,6,8,10,12,14
/proc/20157/task/20167/stat : 20167 (java) S 20154 20157 16530 0 -1 1077944384 807 0 0 0 60 42 0 0 20 0 21 0 5271480 11236761600 412019 33554432000 4194304 4196468 140729406884096 140240866671504 140241267230421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16912384 140729406887107 140729406887236 140729406887236 140729406889935 0
[pid=20157/tid=20168] ppid=20154 vsize=10973400 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/20157/task/20168/stat : 20168 (java) S 20154 20157 16530 0 -1 1077944384 1493 0 0 0 9 0 0 0 20 0 21 0 5271482 11236761600 412019 33554432000 4194304 4196468 140729406884096 140240742222064 140241267231362 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16912384 140729406887107 140729406887236 140729406887236 140729406889935 0
[pid=20157/tid=20169] ppid=20154 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20157/task/20169/stat : 20169 (java) S 20154 20157 16530 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 21 0 5271483 11236761600 412019 33554432000 4194304 4196468 140729406884096 140240741168352 140241267230421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16912384 140729406887107 140729406887236 140729406887236 140729406889935 0
[pid=20157/tid=20170] ppid=20154 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20157/task/20170/stat : 20170 (java) S 20154 20157 16530 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 21 0 5271483 11236761600 412019 33554432000 4194304 4196468 140729406884096 140240740115200 140241267230421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16912384 140729406887107 140729406887236 140729406887236 140729406889935 0
[pid=20157/tid=20171] ppid=20154 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20157/task/20171/stat : 20171 (java) S 20154 20157 16530 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 5271486 11236761600 412019 33554432000 4194304 4196468 140729406884096 140240739063760 140241267238811 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 16912384 140729406887107 140729406887236 140729406887236 140729406889935 0
[pid=20157/tid=20172] ppid=20154 vsize=10973400 CPUtime=0.59 cores=0,2,4,6,8,10,12,14
/proc/20157/task/20172/stat : 20172 (java) S 20154 20157 16530 0 -1 1077944384 1842 0 0 0 59 0 0 0 20 0 21 0 5271486 11236761600 412019 33554432000 4194304 4196468 140729406884096 140240738011888 140241267231362 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16912384 140729406887107 140729406887236 140729406887236 140729406889935 0
[pid=20157/tid=20173] ppid=20154 vsize=10973400 CPUtime=0.55 cores=0,2,4,6,8,10,12,14
/proc/20157/task/20173/stat : 20173 (java) S 20154 20157 16530 0 -1 1077944384 2203 0 0 0 54 1 0 0 20 0 21 0 5271486 11236761600 412019 33554432000 4194304 4196468 140729406884096 140240736959344 140241267231362 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16912384 140729406887107 140729406887236 140729406887236 140729406889935 0
[pid=20157/tid=20174] ppid=20154 vsize=10973400 CPUtime=0.66 cores=0,2,4,6,8,10,12,14
/proc/20157/task/20174/stat : 20174 (java) S 20154 20157 16530 0 -1 1077944384 2245 0 0 0 66 0 0 0 20 0 21 0 5271486 11236761600 412019 33554432000 4194304 4196468 140729406884096 140240735906288 140241267231362 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 16912384 140729406887107 140729406887236 140729406887236 140729406889935 0
[pid=20157/tid=20175] ppid=20154 vsize=10973400 CPUtime=0.59 cores=0,2,4,6,8,10,12,14
/proc/20157/task/20175/stat : 20175 (java) S 20154 20157 16530 0 -1 1077944384 3245 0 0 0 58 1 0 0 20 0 21 0 5271486 11236761600 412019 33554432000 4194304 4196468 140729406884096 140240734853744 140241267231362 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 16912384 140729406887107 140729406887236 140729406887236 140729406889935 0
[pid=20157/tid=20176] ppid=20154 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20157/task/20176/stat : 20176 (java) S 20154 20157 16530 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 5271487 11236761600 412019 33554432000 4194304 4196468 140729406884096 140240733800928 140241267230421 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 16912384 140729406887107 140729406887236 140729406887236 140729406889935 0
[pid=20157/tid=20177] ppid=20154 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20157/task/20177/stat : 20177 (java) S 20154 20157 16530 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 21 0 5271487 11236761600 412019 33554432000 4194304 4196468 140729406884096 140240732748464 140241267231362 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16912384 140729406887107 140729406887236 140729406887236 140729406889935 0
[pid=20157/tid=20178] ppid=20154 vsize=10973400 CPUtime=4.86 cores=0,2,4,6,8,10,12,14
/proc/20157/task/20178/stat : 20178 (java) R 20154 20157 16530 0 -1 4202560 5612 0 0 0 470 16 0 0 20 0 21 0 5271504 11236761600 412019 33554432000 4194304 4196468 140729406884096 140240729557048 140240904907944 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 16912384 140729406887107 140729406887236 140729406887236 140729406889935 0
Current children cumulated CPU time (s) 15.94
Current children cumulated vsize (KiB) 10973400
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 20157 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+6.60088 s]
/proc/loadavg: 2.56 1.88 1.75 4/284 20178
/proc/meminfo: memFree=30016204/32770624 swapFree=5944/279576
[pid=20157] ppid=20154 vsize=10973400 CPUtime=16.29 cores=0,2,4,6,8,10,12,14
/proc/20157/stat : 20157 (java) S 20154 20157 16530 0 -1 1077944320 29493 0 0 0 1276 353 0 0 20 0 21 0 5271478 11236761600 412048 33554432000 4194304 4196468 140729406884096 140729406866640 140241267220215 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 16912384 140729406887107 140729406887236 140729406887236 140729406889935 0
/proc/20157/statm: 2743350 412048 3173 1 0 2731217 0
[pid=20157/tid=20158] ppid=20154 vsize=10973400 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/20157/task/20158/stat : 20158 (java) S 20154 20157 16530 0 -1 1077944384 5185 0 0 0 23 1 0 0 20 0 21 0 5271479 11236761600 412048 33554432000 4194304 4196468 140729406884096 140241271463088 140241267230421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16912384 140729406887107 140729406887236 140729406887236 140729406889935 0
[pid=20157/tid=20160] ppid=20154 vsize=10973400 CPUtime=1.04 cores=0,2,4,6,8,10,12,14
/proc/20157/task/20160/stat : 20160 (java) S 20154 20157 16530 0 -1 1077944384 1190 0 0 0 63 41 0 0 20 0 21 0 5271480 11236761600 412048 33554432000 4194304 4196468 140729406884096 140241219840528 140241267230421 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 16912384 140729406887107 140729406887236 140729406887236 140729406889935 0
[pid=20157/tid=20161] ppid=20154 vsize=10973400 CPUtime=1.04 cores=0,2,4,6,8,10,12,14
/proc/20157/task/20161/stat : 20161 (java) S 20154 20157 16530 0 -1 1077944384 716 0 0 0 64 40 0 0 20 0 21 0 5271480 11236761600 412048 33554432000 4194304 4196468 140729406884096 140240872987280 140241267230421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16912384 140729406887107 140729406887236 140729406887236 140729406889935 0
[pid=20157/tid=20162] ppid=20154 vsize=10973400 CPUtime=1.01 cores=0,2,4,6,8,10,12,14
/proc/20157/task/20162/stat : 20162 (java) S 20154 20157 16530 0 -1 1077944384 592 0 0 0 61 40 0 0 20 0 21 0 5271480 11236761600 412048 33554432000 4194304 4196468 140729406884096 140240871934224 140241267230421 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 16912384 140729406887107 140729406887236 140729406887236 140729406889935 0
[pid=20157/tid=20163] ppid=20154 vsize=10973400 CPUtime=1.04 cores=0,2,4,6,8,10,12,14
/proc/20157/task/20163/stat : 20163 (java) S 20154 20157 16530 0 -1 1077944384 563 0 0 0 63 41 0 0 20 0 21 0 5271480 11236761600 412048 33554432000 4194304 4196468 140729406884096 140240870881680 140241267230421 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 16912384 140729406887107 140729406887236 140729406887236 140729406889935 0
[pid=20157/tid=20164] ppid=20154 vsize=10973400 CPUtime=0.98 cores=0,2,4,6,8,10,12,14
/proc/20157/task/20164/stat : 20164 (java) S 20154 20157 16530 0 -1 1077944384 594 0 0 0 61 37 0 0 20 0 21 0 5271480 11236761600 412048 33554432000 4194304 4196468 140729406884096 140240869829648 140241267230421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16912384 140729406887107 140729406887236 140729406887236 140729406889935 0
[pid=20157/tid=20165] ppid=20154 vsize=10973400 CPUtime=1.03 cores=0,2,4,6,8,10,12,14
/proc/20157/task/20165/stat : 20165 (java) S 20154 20157 16530 0 -1 1077944384 1226 0 0 0 62 41 0 0 20 0 21 0 5271480 11236761600 412048 33554432000 4194304 4196468 140729406884096 140240868777104 140241267230421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16912384 140729406887107 140729406887236 140729406887236 140729406889935 0
[pid=20157/tid=20166] ppid=20154 vsize=10973400 CPUtime=1.04 cores=0,2,4,6,8,10,12,14
/proc/20157/task/20166/stat : 20166 (java) S 20154 20157 16530 0 -1 1077944384 428 0 0 0 62 42 0 0 20 0 21 0 5271480 11236761600 412048 33554432000 4194304 4196468 140729406884096 140240867724048 140241267230421 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 16912384 140729406887107 140729406887236 140729406887236 140729406889935 0
[pid=20157/tid=20167] ppid=20154 vsize=10973400 CPUtime=1.02 cores=0,2,4,6,8,10,12,14
/proc/20157/task/20167/stat : 20167 (java) S 20154 20157 16530 0 -1 1077944384 807 0 0 0 60 42 0 0 20 0 21 0 5271480 11236761600 412048 33554432000 4194304 4196468 140729406884096 140240866671504 140241267230421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16912384 140729406887107 140729406887236 140729406887236 140729406889935 0
[pid=20157/tid=20168] ppid=20154 vsize=10973400 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/20157/task/20168/stat : 20168 (java) S 20154 20157 16530 0 -1 1077944384 1538 0 0 0 9 0 0 0 20 0 21 0 5271482 11236761600 412048 33554432000 4194304 4196468 140729406884096 140240742222064 140241267231362 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16912384 140729406887107 140729406887236 140729406887236 140729406889935 0
[pid=20157/tid=20169] ppid=20154 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20157/task/20169/stat : 20169 (java) S 20154 20157 16530 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 21 0 5271483 11236761600 412048 33554432000 4194304 4196468 140729406884096 140240741168352 140241267230421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16912384 140729406887107 140729406887236 140729406887236 140729406889935 0
[pid=20157/tid=20170] ppid=20154 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20157/task/20170/stat : 20170 (java) S 20154 20157 16530 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 21 0 5271483 11236761600 412048 33554432000 4194304 4196468 140729406884096 140240740115200 140241267230421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16912384 140729406887107 140729406887236 140729406887236 140729406889935 0
[pid=20157/tid=20171] ppid=20154 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20157/task/20171/stat : 20171 (java) S 20154 20157 16530 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 5271486 11236761600 412048 33554432000 4194304 4196468 140729406884096 140240739063760 140241267238811 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 16912384 140729406887107 140729406887236 140729406887236 140729406889935 0
[pid=20157/tid=20172] ppid=20154 vsize=10973400 CPUtime=0.6 cores=0,2,4,6,8,10,12,14
/proc/20157/task/20172/stat : 20172 (java) S 20154 20157 16530 0 -1 1077944384 1858 0 0 0 60 0 0 0 20 0 21 0 5271486 11236761600 412048 33554432000 4194304 4196468 140729406884096 140240738011888 140241267231362 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16912384 140729406887107 140729406887236 140729406887236 140729406889935 0
[pid=20157/tid=20173] ppid=20154 vsize=10973400 CPUtime=0.56 cores=0,2,4,6,8,10,12,14
/proc/20157/task/20173/stat : 20173 (java) S 20154 20157 16530 0 -1 1077944384 2209 0 0 0 55 1 0 0 20 0 21 0 5271486 11236761600 412048 33554432000 4194304 4196468 140729406884096 140240736959344 140241267231362 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16912384 140729406887107 140729406887236 140729406887236 140729406889935 0
[pid=20157/tid=20174] ppid=20154 vsize=10973400 CPUtime=0.67 cores=0,2,4,6,8,10,12,14
/proc/20157/task/20174/stat : 20174 (java) S 20154 20157 16530 0 -1 1077944384 2274 0 0 0 67 0 0 0 20 0 21 0 5271486 11236761600 412048 33554432000 4194304 4196468 140729406884096 140240735906288 140241267231362 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 16912384 140729406887107 140729406887236 140729406887236 140729406889935 0
[pid=20157/tid=20175] ppid=20154 vsize=10973400 CPUtime=0.59 cores=0,2,4,6,8,10,12,14
/proc/20157/task/20175/stat : 20175 (java) S 20154 20157 16530 0 -1 1077944384 3282 0 0 0 58 1 0 0 20 0 21 0 5271486 11236761600 412048 33554432000 4194304 4196468 140729406884096 140240734853744 140241267231362 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 16912384 140729406887107 140729406887236 140729406887236 140729406889935 0
[pid=20157/tid=20176] ppid=20154 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20157/task/20176/stat : 20176 (java) S 20154 20157 16530 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 5271487 11236761600 412048 33554432000 4194304 4196468 140729406884096 140240733800928 140241267230421 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 16912384 140729406887107 140729406887236 140729406887236 140729406889935 0
[pid=20157/tid=20177] ppid=20154 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20157/task/20177/stat : 20177 (java) S 20154 20157 16530 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 21 0 5271487 11236761600 412048 33554432000 4194304 4196468 140729406884096 140240732748464 140241267231362 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16912384 140729406887107 140729406887236 140729406887236 140729406889935 0
[pid=20157/tid=20178] ppid=20154 vsize=10973400 CPUtime=5.16 cores=0,2,4,6,8,10,12,14
/proc/20157/task/20178/stat : 20178 (java) R 20154 20157 16530 0 -1 4202560 5649 0 0 0 500 16 0 0 20 0 21 0 5271504 11236761600 412048 33554432000 4194304 4196468 140729406884096 140240729555608 140240904901893 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 16912384 140729406887107 140729406887236 140729406887236 140729406889935 0
Current children cumulated CPU time (s) 16.29
Current children cumulated vsize (KiB) 10973400
[startup+6.70073 s]
/proc/loadavg: 2.56 1.88 1.75 4/284 20178
/proc/meminfo: memFree=30016204/32770624 swapFree=5944/279576
[pid=20157] ppid=20154 vsize=10973400 CPUtime=16.39 cores=0,2,4,6,8,10,12,14
/proc/20157/stat : 20157 (java) S 20154 20157 16530 0 -1 1077944320 30287 0 0 0 1286 353 0 0 20 0 17 0 5271478 11236761600 412048 33554432000 4194304 4196468 140729406884096 140729406866640 140241267220215 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 16912384 140729406887107 140729406887236 140729406887236 140729406889935 0
/proc/20157/statm: 2743350 412048 3174 1 0 2731217 0
[pid=20157/tid=20158] ppid=20154 vsize=10973400 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/20157/task/20158/stat : 20158 (java) R 20154 20157 16530 0 -1 4202560 5293 0 0 0 23 1 0 0 20 0 17 0 5271479 11236761600 412020 33554432000 4194304 4196468 140729406884096 140241271463056 140241259937511 0 0 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16912384 140729406887107 140729406887236 140729406887236 140729406889935 0
[pid=20157/tid=20160] ppid=20154 vsize=10973400 CPUtime=1.04 cores=0,2,4,6,8,10,12,14
/proc/20157/task/20160/stat : 20160 (java) S 20154 20157 16530 0 -1 1077944384 1190 0 0 0 63 41 0 0 20 0 16 0 5271480 11236761600 412020 33554432000 4194304 4196468 140729406884096 140241219840528 140241267230421 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 16912384 140729406887107 140729406887236 140729406887236 140729406889935 0
[pid=20157/tid=20161] ppid=20154 vsize=10973400 CPUtime=1.04 cores=0,2,4,6,8,10,12,14
/proc/20157/task/20161/stat : 20161 (java) S 20154 20157 16530 0 -1 1077944384 716 0 0 0 64 40 0 0 20 0 16 0 5271480 11236761600 412020 33554432000 4194304 4196468 140729406884096 140240872987280 140241267230421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16912384 140729406887107 140729406887236 140729406887236 140729406889935 0
[pid=20157/tid=20162] ppid=20154 vsize=10973400 CPUtime=1.01 cores=0,2,4,6,8,10,12,14
/proc/20157/task/20162/stat : 20162 (java) R 20154 20157 16530 0 -1 4203588 592 0 0 0 61 40 0 0 20 0 16 0 5271480 11236761600 412213 33554432000 4194304 4196468 140729406884096 140240871934224 140241267230421 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16912384 140729406887107 140729406887236 140729406887236 140729406889935 0
[pid=20157/tid=20172] ppid=20154 vsize=0 CPUtime=0.62 cores=0,2,4,6,8,10,12,14
/proc/20157/task/20172/stat : 20172 (java) R 20154 20157 16530 0 -1 4203588 2007 0 0 0 61 1 0 0 20 0 2 0 5271486 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 4 0 0 0 0 0 0 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 16.39
Current children cumulated vsize (KiB) 10973400
Child status: 0
Real time (s): 6.71412
CPU time (s): 16.4205
CPU user time (s): 12.8693
CPU system time (s): 3.55125
CPU usage (%): 244.567
Max. virtual memory (cumulated for all children) (KiB): 10973400
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 12.8693
system time used= 3.55125
maximum resident set size= 1649308
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30324
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= 3912
involuntary context switches= 1216
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.060553 second user time and 0.088668 second system time
The end