runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 935)
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-3266660-1303583541/watcher-3266660-1303583541 -o /tmp/evaluation-result-3266660-1303583541/solver-3266660-1303583541 -C 2400 -W 1300 -M 7680 java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar HOME/instance-3266660-1303583541.cnf
running on 2 cores: 0,2
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): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.47 3.61 3.80 7/219 2171
/proc/meminfo: memFree=14671848/32951124 swapFree=67111528/67111528
[pid=2171] ppid=2169 vsize=11800 CPUtime=0 cores=0,2
/proc/2171/stat : 2171 (runsolver) R 2169 2171 1299 0 -1 4202560 43 0 0 0 0 0 0 0 22 0 1 0 450769716 12083200 52 33554432000 4194304 5434984 140733305355424 18446744073709551615 4881607 0 2147483391 4096 24578 0 0 0 17 2 0 0 0
/proc/2171/statm: 2950 52 31 303 0 2644 0
[startup+0.0783841 s]
/proc/loadavg: 2.47 3.61 3.80 7/219 2171
/proc/meminfo: memFree=14671848/32951124 swapFree=67111528/67111528
[pid=2171] ppid=2169 vsize=7569940 CPUtime=0.06 cores=0,2
/proc/2171/stat : 2171 (java) S 2169 2171 1299 0 -1 4202496 9448 0 1 0 5 1 0 0 22 0 18 0 450769716 7751618560 9144 33554432000 1073741824 1073778376 140734415566480 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/2171/statm: 1892485 9144 1754 9 0 1883223 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 7569940
[startup+0.100407 s]
/proc/loadavg: 2.47 3.61 3.80 7/219 2171
/proc/meminfo: memFree=14671848/32951124 swapFree=67111528/67111528
[pid=2171] ppid=2169 vsize=7569940 CPUtime=0.08 cores=0,2
/proc/2171/stat : 2171 (java) S 2169 2171 1299 0 -1 4202496 9860 0 1 0 7 1 0 0 22 0 18 0 450769716 7751618560 9556 33554432000 1073741824 1073778376 140734415566480 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/2171/statm: 1892485 9556 1757 9 0 1883223 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 7569940
[startup+0.300374 s]
/proc/loadavg: 2.47 3.61 3.80 7/219 2171
/proc/meminfo: memFree=14671848/32951124 swapFree=67111528/67111528
[pid=2171] ppid=2169 vsize=7639252 CPUtime=0.4 cores=0,2
/proc/2171/stat : 2171 (java) S 2169 2171 1299 0 -1 4202496 13845 0 1 0 39 1 0 0 22 0 19 0 450769716 7822594048 13218 33554432000 1073741824 1073778376 140734415566480 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/2171/statm: 1909813 13218 2203 9 0 1900551 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 7639252
[startup+0.700266 s]
/proc/loadavg: 2.47 3.61 3.80 7/219 2171
/proc/meminfo: memFree=14671848/32951124 swapFree=67111528/67111528
[pid=2171] ppid=2169 vsize=7642312 CPUtime=1.09 cores=0,2
/proc/2171/stat : 2171 (java) S 2169 2171 1299 0 -1 4202496 16724 0 1 0 107 2 0 0 22 0 19 0 450769716 7825727488 14852 33554432000 1073741824 1073778376 140734415566480 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/2171/statm: 1910578 14852 2219 9 0 1901316 0
Current children cumulated CPU time (s) 1.09
Current children cumulated vsize (KiB) 7642312
[startup+1.50114 s]
/proc/loadavg: 2.75 3.65 3.82 5/261 2218
/proc/meminfo: memFree=14468168/32951124 swapFree=67111528/67111528
[pid=2171] ppid=2169 vsize=7644156 CPUtime=1.94 cores=0,2
/proc/2171/stat : 2171 (java) S 2169 2171 1299 0 -1 4202496 18365 0 1 0 192 2 0 0 22 0 19 0 450769716 7827615744 16023 33554432000 1073741824 1073778376 140734415566480 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/2171/statm: 1911039 16023 2229 9 0 1901777 0
[pid=2171/tid=2174] ppid=2169 vsize=7644156 CPUtime=1.45 cores=0,2
/proc/2171/task/2174/stat : 2174 (java) R 2169 2171 1299 0 -1 4202560 11834 0 1 0 144 1 0 0 25 0 19 0 450769717 7827615744 16023 33554432000 1073741824 1073778376 140734415566480 18446744073709551615 46912505205040 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=2171/tid=2175] ppid=2169 vsize=7644156 CPUtime=0 cores=0,2
/proc/2171/task/2175/stat : 2175 (java) S 2169 2171 1299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 450769718 7827615744 16023 33554432000 1073741824 1073778376 140734415566480 18446744073709551615 264738220953 0 4 0 16800975 18446604453947925504 0 0 -1 0 0 0 0
[pid=2171/tid=2176] ppid=2169 vsize=7644156 CPUtime=0 cores=0,2
/proc/2171/task/2176/stat : 2176 (java) S 2169 2171 1299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 450769718 7827615744 16023 33554432000 1073741824 1073778376 140734415566480 18446744073709551615 264738220953 0 4 0 16800975 18446604453947925504 0 0 -1 0 0 0 0
[pid=2171/tid=2177] ppid=2169 vsize=7644156 CPUtime=0 cores=0,2
/proc/2171/task/2177/stat : 2177 (java) S 2169 2171 1299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 450769718 7827615744 16023 33554432000 1073741824 1073778376 140734415566480 18446744073709551615 264738220953 0 4 0 16800975 18446604453947925504 0 0 -1 0 0 0 0
[pid=2171/tid=2178] ppid=2169 vsize=7644156 CPUtime=0 cores=0,2
/proc/2171/task/2178/stat : 2178 (java) S 2169 2171 1299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 450769718 7827615744 16023 33554432000 1073741824 1073778376 140734415566480 18446744073709551615 264738220953 0 4 0 16800975 18446604453947925504 0 0 -1 0 0 0 0
[pid=2171/tid=2179] ppid=2169 vsize=7644156 CPUtime=0 cores=0,2
/proc/2171/task/2179/stat : 2179 (java) S 2169 2171 1299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 450769718 7827615744 16023 33554432000 1073741824 1073778376 140734415566480 18446744073709551615 264738220953 0 4 0 16800975 18446604453947925504 0 0 -1 0 0 0 0
[pid=2171/tid=2180] ppid=2169 vsize=7644156 CPUtime=0 cores=0,2
/proc/2171/task/2180/stat : 2180 (java) S 2169 2171 1299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 450769718 7827615744 16023 33554432000 1073741824 1073778376 140734415566480 18446744073709551615 264738220953 0 4 0 16800975 18446604453947925504 0 0 -1 0 0 0 0
[pid=2171/tid=2181] ppid=2169 vsize=7644156 CPUtime=0 cores=0,2
/proc/2171/task/2181/stat : 2181 (java) S 2169 2171 1299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 450769718 7827615744 16023 33554432000 1073741824 1073778376 140734415566480 18446744073709551615 264738220953 0 4 0 16800975 18446604453947925504 0 0 -1 0 0 0 0
[pid=2171/tid=2182] ppid=2169 vsize=7644156 CPUtime=0 cores=0,2
/proc/2171/task/2182/stat : 2182 (java) S 2169 2171 1299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 450769718 7827615744 16023 33554432000 1073741824 1073778376 140734415566480 18446744073709551615 264738220953 0 4 0 16800975 18446604453947925504 0 0 -1 0 0 0 0
[pid=2171/tid=2183] ppid=2169 vsize=7644156 CPUtime=0 cores=0,2
/proc/2171/task/2183/stat : 2183 (java) S 2169 2171 1299 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 450769719 7827615744 16023 33554432000 1073741824 1073778376 140734415566480 18446744073709551615 264738221568 0 0 0 16800975 18446604453947925504 0 0 -1 2 0 0 0
[pid=2171/tid=2184] ppid=2169 vsize=7644156 CPUtime=0 cores=0,2
/proc/2171/task/2184/stat : 2184 (java) S 2169 2171 1299 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 450769719 7827615744 16023 33554432000 1073741824 1073778376 140734415566480 18446744073709551615 264738220953 0 4 0 16800975 18446604453947925504 0 0 -1 2 0 0 0
[pid=2171/tid=2185] ppid=2169 vsize=7644156 CPUtime=0 cores=0,2
/proc/2171/task/2185/stat : 2185 (java) S 2169 2171 1299 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 450769719 7827615744 16023 33554432000 1073741824 1073778376 140734415566480 18446744073709551615 264738220953 0 4 0 16800975 18446604453947925504 0 0 -1 2 0 0 0
[pid=2171/tid=2186] ppid=2169 vsize=7644156 CPUtime=0 cores=0,2
/proc/2171/task/2186/stat : 2186 (java) S 2169 2171 1299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 450769722 7827615744 16023 33554432000 1073741824 1073778376 140734415566480 18446744073709551615 264738228657 0 4 0 16800975 18446604453947925504 0 0 -1 2 0 0 0
[pid=2171/tid=2187] ppid=2169 vsize=7644156 CPUtime=0.28 cores=0,2
/proc/2171/task/2187/stat : 2187 (java) R 2169 2171 1299 0 -1 4202560 2604 0 0 0 28 0 0 0 17 0 19 0 450769722 7827615744 16023 33554432000 1073741824 1073778376 140734415566480 18446744073709551615 47410642543752 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2171/tid=2188] ppid=2169 vsize=7644156 CPUtime=0.19 cores=0,2
/proc/2171/task/2188/stat : 2188 (java) R 2169 2171 1299 0 -1 4202560 2766 0 0 0 19 0 0 0 17 0 19 0 450769722 7827615744 16023 33554432000 1073741824 1073778376 140734415566480 18446744073709551615 264738220953 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2171/tid=2189] ppid=2169 vsize=7644156 CPUtime=0 cores=0,2
/proc/2171/task/2189/stat : 2189 (java) S 2169 2171 1299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 450769722 7827615744 16023 33554432000 1073741824 1073778376 140734415566480 18446744073709551615 264738220953 0 4 0 16800975 18446604453947925504 0 0 -1 2 0 0 0
[pid=2171/tid=2190] ppid=2169 vsize=7644156 CPUtime=0 cores=0,2
/proc/2171/task/2190/stat : 2190 (java) S 2169 2171 1299 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 450769722 7827615744 16023 33554432000 1073741824 1073778376 140734415566480 18446744073709551615 264738221568 0 4 0 16800975 18446604453947925504 0 0 -1 0 0 0 0
[pid=2171/tid=2195] ppid=2169 vsize=7644156 CPUtime=0 cores=0,2
/proc/2171/task/2195/stat : 2195 (java) S 2169 2171 1299 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 450769742 7827615744 16023 33554432000 1073741824 1073778376 140734415566480 18446744073709551615 264738221568 0 4 0 16800975 18446604453947925504 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.94
Current children cumulated vsize (KiB) 7644156
[startup+3.10688 s]
/proc/loadavg: 2.75 3.65 3.82 6/262 2219
/proc/meminfo: memFree=14379748/32951124 swapFree=67111528/67111528
[pid=2171] ppid=2169 vsize=7659548 CPUtime=3.81 cores=0,2
/proc/2171/stat : 2171 (java) S 2169 2171 1299 0 -1 4202496 29181 0 1 0 378 3 0 0 22 0 19 0 450769716 7843377152 25330 33554432000 1073741824 1073778376 140734415566480 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/2171/statm: 1914887 25330 2253 9 0 1905625 0
[pid=2171/tid=2174] ppid=2169 vsize=7659548 CPUtime=2.98 cores=0,2
/proc/2171/task/2174/stat : 2174 (java) S 2169 2171 1299 0 -1 4202560 11839 0 1 0 297 1 0 0 25 0 19 0 450769717 7843377152 25330 33554432000 1073741824 1073778376 140734415566480 18446744073709551615 264738220953 0 4 0 16800975 18446604453947925504 0 0 -1 2 0 0 0
[pid=2171/tid=2175] ppid=2169 vsize=7659548 CPUtime=0 cores=0,2
/proc/2171/task/2175/stat : 2175 (java) S 2169 2171 1299 0 -1 4202560 472 0 0 0 0 0 0 0 16 0 19 0 450769718 7843377152 25330 33554432000 1073741824 1073778376 140734415566480 18446744073709551615 264738220953 0 4 0 16800975 18446604453947925504 0 0 -1 0 0 0 0
[pid=2171/tid=2176] ppid=2169 vsize=7659548 CPUtime=0 cores=0,2
/proc/2171/task/2176/stat : 2176 (java) S 2169 2171 1299 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 450769718 7843377152 25330 33554432000 1073741824 1073778376 140734415566480 18446744073709551615 264738220953 0 4 0 16800975 18446604453947925504 0 0 -1 0 0 0 0
[pid=2171/tid=2177] ppid=2169 vsize=7659548 CPUtime=0 cores=0,2
/proc/2171/task/2177/stat : 2177 (java) S 2169 2171 1299 0 -1 4202560 468 0 0 0 0 0 0 0 16 0 19 0 450769718 7843377152 25330 33554432000 1073741824 1073778376 140734415566480 18446744073709551615 264738220953 0 4 0 16800975 18446604453947925504 0 0 -1 0 0 0 0
[pid=2171/tid=2178] ppid=2169 vsize=7659548 CPUtime=0 cores=0,2
/proc/2171/task/2178/stat : 2178 (java) S 2169 2171 1299 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 450769718 7843377152 25330 33554432000 1073741824 1073778376 140734415566480 18446744073709551615 264738220953 0 4 0 16800975 18446604453947925504 0 0 -1 0 0 0 0
[pid=2171/tid=2179] ppid=2169 vsize=7659548 CPUtime=0 cores=0,2
/proc/2171/task/2179/stat : 2179 (java) S 2169 2171 1299 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 450769718 7843377152 25330 33554432000 1073741824 1073778376 140734415566480 18446744073709551615 264738220953 0 4 0 16800975 18446604453947925504 0 0 -1 0 0 0 0
[pid=2171/tid=2180] ppid=2169 vsize=7659548 CPUtime=0 cores=0,2
/proc/2171/task/2180/stat : 2180 (java) S 2169 2171 1299 0 -1 4202560 242 0 0 0 0 0 0 0 18 0 19 0 450769718 7843377152 25330 33554432000 1073741824 1073778376 140734415566480 18446744073709551615 264738220953 0 4 0 16800975 18446604453947925504 0 0 -1 0 0 0 0
[pid=2171/tid=2181] ppid=2169 vsize=7659548 CPUtime=0 cores=0,2
/proc/2171/task/2181/stat : 2181 (java) S 2169 2171 1299 0 -1 4202560 998 0 0 0 0 0 0 0 18 0 19 0 450769718 7843377152 25330 33554432000 1073741824 1073778376 140734415566480 18446744073709551615 264738220953 0 4 0 16800975 18446604453947925504 0 0 -1 0 0 0 0
[pid=2171/tid=2182] ppid=2169 vsize=7659548 CPUtime=0 cores=0,2
/proc/2171/task/2182/stat : 2182 (java) S 2169 2171 1299 0 -1 4202560 1040 0 0 0 0 0 0 0 18 0 19 0 450769718 7843377152 25330 33554432000 1073741824 1073778376 140734415566480 18446744073709551615 264738220953 0 4 0 16800975 18446604453947925504 0 0 -1 0 0 0 0
[pid=2171/tid=2183] ppid=2169 vsize=7659548 CPUtime=0.05 cores=0,2
/proc/2171/task/2183/stat : 2183 (java) R 2169 2171 1299 0 -1 4202560 2260 0 0 0 5 0 0 0 15 0 19 0 450769719 7843377152 25330 33554432000 1073741824 1073778376 140734415566480 18446744073709551615 47410640744761 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=2171/tid=2184] ppid=2169 vsize=7659548 CPUtime=0 cores=0,2
/proc/2171/task/2184/stat : 2184 (java) S 2169 2171 1299 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 450769719 7843377152 25330 33554432000 1073741824 1073778376 140734415566480 18446744073709551615 264738220953 0 4 0 16800975 18446604453947925504 0 0 -1 2 0 0 0
[pid=2171/tid=2185] ppid=2169 vsize=7659548 CPUtime=0 cores=0,2
/proc/2171/task/2185/stat : 2185 (java) S 2169 2171 1299 0 -1 4202560 13 0 0 0 0 0 0 0 18 0 19 0 450769719 7843377152 25330 33554432000 1073741824 1073778376 140734415566480 18446744073709551615 264738220953 0 4 0 16800975 18446604453947925504 0 0 -1 2 0 0 0
[pid=2171/tid=2186] ppid=2169 vsize=7659548 CPUtime=0 cores=0,2
/proc/2171/task/2186/stat : 2186 (java) S 2169 2171 1299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 450769722 7843377152 25330 33554432000 1073741824 1073778376 140734415566480 18446744073709551615 264738228657 0 4 0 16800975 18446604453947925504 0 0 -1 2 0 0 0
[pid=2171/tid=2187] ppid=2169 vsize=7659548 CPUtime=0.52 cores=0,2
/proc/2171/task/2187/stat : 2187 (java) S 2169 2171 1299 0 -1 4202560 7916 0 0 0 51 1 0 0 15 0 19 0 450769722 7843377152 25330 33554432000 1073741824 1073778376 140734415566480 18446744073709551615 264738220953 0 4 0 16800975 18446604453947925504 0 0 -1 0 0 0 0
[pid=2171/tid=2188] ppid=2169 vsize=7659548 CPUtime=0.21 cores=0,2
/proc/2171/task/2188/stat : 2188 (java) S 2169 2171 1299 0 -1 4202560 2788 0 0 0 21 0 0 0 15 0 19 0 450769722 7843377152 25330 33554432000 1073741824 1073778376 140734415566480 18446744073709551615 264738220953 0 4 0 16800975 18446604453947925504 0 0 -1 0 0 0 0
[pid=2171/tid=2189] ppid=2169 vsize=7659548 CPUtime=0 cores=0,2
/proc/2171/task/2189/stat : 2189 (java) S 2169 2171 1299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 450769722 7843377152 25330 33554432000 1073741824 1073778376 140734415566480 18446744073709551615 264738220953 0 4 0 16800975 18446604453947925504 0 0 -1 2 0 0 0
[pid=2171/tid=2190] ppid=2169 vsize=7659548 CPUtime=0 cores=0,2
/proc/2171/task/2190/stat : 2190 (java) S 2169 2171 1299 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 450769722 7843377152 25330 33554432000 1073741824 1073778376 140734415566480 18446744073709551615 264738221568 0 4 0 16800975 18446604453947925504 0 0 -1 0 0 0 0
[pid=2171/tid=2195] ppid=2169 vsize=7659548 CPUtime=0 cores=0,2
/proc/2171/task/2195/stat : 2195 (java) S 2169 2171 1299 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 450769742 7843377152 25330 33554432000 1073741824 1073778376 140734415566480 18446744073709551615 264738221568 0 4 0 16800975 18446604453947925504 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.81
Current children cumulated vsize (KiB) 7659548
[startup+6.30124 s]
/proc/loadavg: 2.85 3.65 3.82 6/262 2219
/proc/meminfo: memFree=14248324/32951124 swapFree=67111528/67111528
[pid=2171] ppid=2169 vsize=7659548 CPUtime=7.01 cores=0,2
/proc/2171/stat : 2171 (java) S 2169 2171 1299 0 -1 4202496 29928 0 1 0 697 4 0 0 22 0 19 0 450769716 7843377152 25983 33554432000 1073741824 1073778376 140734415566480 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/2171/statm: 1914887 25983 2253 9 0 1905625 0
[pid=2171/tid=2174] ppid=2169 vsize=7659548 CPUtime=6.11 cores=0,2
/proc/2171/task/2174/stat : 2174 (java) R 2169 2171 1299 0 -1 4202560 11840 0 1 0 610 1 0 0 25 0 19 0 450769717 7843377152 25983 33554432000 1073741824 1073778376 140734415566480 18446744073709551615 46912505606816 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=2171/tid=2175] ppid=2169 vsize=7659548 CPUtime=0 cores=0,2
/proc/2171/task/2175/stat : 2175 (java) S 2169 2171 1299 0 -1 4202560 472 0 0 0 0 0 0 0 15 0 19 0 450769718 7843377152 25983 33554432000 1073741824 1073778376 140734415566480 18446744073709551615 264738220953 0 4 0 16800975 18446604453947925504 0 0 -1 2 0 0 0
[pid=2171/tid=2176] ppid=2169 vsize=7659548 CPUtime=0 cores=0,2
/proc/2171/task/2176/stat : 2176 (java) S 2169 2171 1299 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 450769718 7843377152 25983 33554432000 1073741824 1073778376 140734415566480 18446744073709551615 264738220953 0 4 0 16800975 18446604453947925504 0 0 -1 2 0 0 0
[pid=2171/tid=2177] ppid=2169 vsize=7659548 CPUtime=0 cores=0,2
/proc/2171/task/2177/stat : 2177 (java) S 2169 2171 1299 0 -1 4202560 468 0 0 0 0 0 0 0 15 0 19 0 450769718 7843377152 25983 33554432000 1073741824 1073778376 140734415566480 18446744073709551615 264738220953 0 4 0 16800975 18446604453947925504 0 0 -1 2 0 0 0
[pid=2171/tid=2178] ppid=2169 vsize=7659548 CPUtime=0 cores=0,2
/proc/2171/task/2178/stat : 2178 (java) S 2169 2171 1299 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 450769718 7843377152 25983 33554432000 1073741824 1073778376 140734415566480 18446744073709551615 264738220953 0 4 0 16800975 18446604453947925504 0 0 -1 2 0 0 0
[pid=2171/tid=2179] ppid=2169 vsize=7659548 CPUtime=0 cores=0,2
/proc/2171/task/2179/stat : 2179 (java) S 2169 2171 1299 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 450769718 7843377152 25983 33554432000 1073741824 1073778376 140734415566480 18446744073709551615 264738220953 0 4 0 16800975 18446604453947925504 0 0 -1 2 0 0 0
[pid=2171/tid=2180] ppid=2169 vsize=7659548 CPUtime=0 cores=0,2
/proc/2171/task/2180/stat : 2180 (java) S 2169 2171 1299 0 -1 4202560 242 0 0 0 0 0 0 0 15 0 19 0 450769718 7843377152 25983 33554432000 1073741824 1073778376 140734415566480 18446744073709551615 264738220953 0 4 0 16800975 18446604453947925504 0 0 -1 2 0 0 0
[pid=2171/tid=2181] ppid=2169 vsize=7659548 CPUtime=0.01 cores=0,2
/proc/2171/task/2181/stat : 2181 (java) S 2169 2171 1299 0 -1 4202560 1011 0 0 0 1 0 0 0 15 0 19 0 450769718 7843377152 25983 33554432000 1073741824 1073778376 140734415566480 18446744073709551615 264738220953 0 4 0 16800975 18446604453947925504 0 0 -1 2 0 0 0
[pid=2171/tid=2182] ppid=2169 vsize=7659548 CPUtime=0 cores=0,2
/proc/2171/task/2182/stat : 2182 (java) S 2169 2171 1299 0 -1 4202560 1040 0 0 0 0 0 0 0 15 0 19 0 450769718 7843377152 25983 33554432000 1073741824 1073778376 140734415566480 18446744073709551615 264738220953 0 4 0 16800975 18446604453947925504 0 0 -1 0 0 0 0
[pid=2171/tid=2183] ppid=2169 vsize=7659548 CPUtime=0.09 cores=0,2
/proc/2171/task/2183/stat : 2183 (java) S 2169 2171 1299 0 -1 4202560 2991 0 0 0 9 0 0 0 16 0 19 0 450769719 7843377152 25983 33554432000 1073741824 1073778376 140734415566480 18446744073709551615 264738221568 0 0 0 16800975 18446604453947925504 0 0 -1 0 0 0 0
[pid=2171/tid=2184] ppid=2169 vsize=7659548 CPUtime=0 cores=0,2
/proc/2171/task/2184/stat : 2184 (java) S 2169 2171 1299 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 450769719 7843377152 25983 33554432000 1073741824 1073778376 140734415566480 18446744073709551615 264738220953 0 4 0 16800975 18446604453947925504 0 0 -1 2 0 0 0
[pid=2171/tid=2185] ppid=2169 vsize=7659548 CPUtime=0 cores=0,2
/proc/2171/task/2185/stat : 2185 (java) S 2169 2171 1299 0 -1 4202560 13 0 0 0 0 0 0 0 18 0 19 0 450769719 7843377152 25983 33554432000 1073741824 1073778376 140734415566480 18446744073709551615 264738220953 0 4 0 16800975 18446604453947925504 0 0 -1 2 0 0 0
[pid=2171/tid=2186] ppid=2169 vsize=7659548 CPUtime=0 cores=0,2
/proc/2171/task/2186/stat : 2186 (java) S 2169 2171 1299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 450769722 7843377152 25983 33554432000 1073741824 1073778376 140734415566480 18446744073709551615 264738228657 0 4 0 16800975 18446604453947925504 0 0 -1 2 0 0 0
[pid=2171/tid=2187] ppid=2169 vsize=7659548 CPUtime=0.53 cores=0,2
/proc/2171/task/2187/stat : 2187 (java) S 2169 2171 1299 0 -1 4202560 7918 0 0 0 52 1 0 0 15 0 19 0 450769722 7843377152 25983 33554432000 1073741824 1073778376 140734415566480 18446744073709551615 264738220953 0 4 0 16800975 18446604453947925504 0 0 -1 0 0 0 0
[pid=2171/tid=2188] ppid=2169 vsize=7659548 CPUtime=0.21 cores=0,2
/proc/2171/task/2188/stat : 2188 (java) S 2169 2171 1299 0 -1 4202560 2788 0 0 0 21 0 0 0 15 0 19 0 450769722 7843377152 25983 33554432000 1073741824 1073778376 140734415566480 18446744073709551615 264738220953 0 4 0 16800975 18446604453947925504 0 0 -1 0 0 0 0
[pid=2171/tid=2189] ppid=2169 vsize=7659548 CPUtime=0 cores=0,2
/proc/2171/task/2189/stat : 2189 (java) S 2169 2171 1299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 450769722 7843377152 25983 33554432000 1073741824 1073778376 140734415566480 18446744073709551615 264738220953 0 4 0 16800975 18446604453947925504 0 0 -1 2 0 0 0
[pid=2171/tid=2190] ppid=2169 vsize=7659548 CPUtime=0 cores=0,2
/proc/2171/task/2190/stat : 2190 (java) S 2169 2171 1299 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 450769722 7843377152 25983 33554432000 1073741824 1073778376 140734415566480 18446744073709551615 264738221568 0 4 0 16800975 18446604453947925504 0 0 -1 0 0 0 0
[pid=2171/tid=2195] ppid=2169 vsize=7659548 CPUtime=0 cores=0,2
/proc/2171/task/2195/stat : 2195 (java) S 2169 2171 1299 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 450769742 7843377152 25983 33554432000 1073741824 1073778376 140734415566480 18446744073709551615 264738221568 0 4 0 16800975 18446604453947925504 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 7.01
Current children cumulated vsize (KiB) 7659548
[startup+12.7011 s]
################
# More data... #
################
[pid=2171/tid=2180] ppid=2169 vsize=7659548 CPUtime=0.06 cores=0,2
/proc/2171/task/2180/stat : 2180 (java) S 2169 2171 1299 0 -1 4202560 581 0 0 0 6 0 0 0 16 0 19 0 450769718 7843377152 40807 33554432000 1073741824 1073778376 140734415566480 18446744073709551615 264738220953 0 4 0 16800975 18446604453947925504 0 0 -1 2 0 0 0
[pid=2171/tid=2181] ppid=2169 vsize=7659548 CPUtime=0.07 cores=0,2
/proc/2171/task/2181/stat : 2181 (java) S 2169 2171 1299 0 -1 4202560 1583 0 0 0 7 0 0 0 15 0 19 0 450769718 7843377152 40807 33554432000 1073741824 1073778376 140734415566480 18446744073709551615 264738220953 0 4 0 16800975 18446604453947925504 0 0 -1 2 0 0 0
[pid=2171/tid=2182] ppid=2169 vsize=7659548 CPUtime=0.08 cores=0,2
/proc/2171/task/2182/stat : 2182 (java) S 2169 2171 1299 0 -1 4202560 1509 0 0 0 8 0 0 0 16 0 19 0 450769718 7843377152 40807 33554432000 1073741824 1073778376 140734415566480 18446744073709551615 264738220953 0 4 0 16800975 18446604453947925504 0 0 -1 2 0 0 0
[pid=2171/tid=2183] ppid=2169 vsize=7659548 CPUtime=1.8 cores=0,2
/proc/2171/task/2183/stat : 2183 (java) S 2169 2171 1299 0 -1 4202560 9597 0 0 0 179 1 0 0 15 0 19 0 450769719 7843377152 40807 33554432000 1073741824 1073778376 140734415566480 18446744073709551615 264738221568 0 0 0 16800975 18446604453947925504 0 0 -1 0 0 0 0
[pid=2171/tid=2184] ppid=2169 vsize=7659548 CPUtime=0 cores=0,2
/proc/2171/task/2184/stat : 2184 (java) S 2169 2171 1299 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 450769719 7843377152 40807 33554432000 1073741824 1073778376 140734415566480 18446744073709551615 264738220953 0 4 0 16800975 18446604453947925504 0 0 -1 2 0 0 0
[pid=2171/tid=2185] ppid=2169 vsize=7659548 CPUtime=0 cores=0,2
/proc/2171/task/2185/stat : 2185 (java) S 2169 2171 1299 0 -1 4202560 13 0 0 0 0 0 0 0 18 0 19 0 450769719 7843377152 40807 33554432000 1073741824 1073778376 140734415566480 18446744073709551615 264738220953 0 4 0 16800975 18446604453947925504 0 0 -1 2 0 0 0
[pid=2171/tid=2186] ppid=2169 vsize=7659548 CPUtime=0 cores=0,2
/proc/2171/task/2186/stat : 2186 (java) S 2169 2171 1299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 450769722 7843377152 40807 33554432000 1073741824 1073778376 140734415566480 18446744073709551615 264738228657 0 4 0 16800975 18446604453947925504 0 0 -1 2 0 0 0
[pid=2171/tid=2187] ppid=2169 vsize=7659548 CPUtime=0.55 cores=0,2
/proc/2171/task/2187/stat : 2187 (java) S 2169 2171 1299 0 -1 4202560 7926 0 0 0 54 1 0 0 15 0 19 0 450769722 7843377152 40807 33554432000 1073741824 1073778376 140734415566480 18446744073709551615 264738220953 0 4 0 16800975 18446604453947925504 0 0 -1 0 0 0 0
[pid=2171/tid=2188] ppid=2169 vsize=7659548 CPUtime=0.21 cores=0,2
/proc/2171/task/2188/stat : 2188 (java) S 2169 2171 1299 0 -1 4202560 2788 0 0 0 21 0 0 0 15 0 19 0 450769722 7843377152 40807 33554432000 1073741824 1073778376 140734415566480 18446744073709551615 264738220953 0 4 0 16800975 18446604453947925504 0 0 -1 0 0 0 0
[pid=2171/tid=2189] ppid=2169 vsize=7659548 CPUtime=0 cores=0,2
/proc/2171/task/2189/stat : 2189 (java) S 2169 2171 1299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 450769722 7843377152 40807 33554432000 1073741824 1073778376 140734415566480 18446744073709551615 264738220953 0 4 0 16800975 18446604453947925504 0 0 -1 2 0 0 0
[pid=2171/tid=2190] ppid=2169 vsize=7659548 CPUtime=0 cores=0,2
/proc/2171/task/2190/stat : 2190 (java) S 2169 2171 1299 0 -1 4202560 65 0 0 0 0 0 0 0 15 0 19 0 450769722 7843377152 40807 33554432000 1073741824 1073778376 140734415566480 18446744073709551615 264738221568 0 4 0 16800975 18446604453947925504 0 0 -1 2 0 0 0
[pid=2171/tid=2195] ppid=2169 vsize=7659548 CPUtime=0 cores=0,2
/proc/2171/task/2195/stat : 2195 (java) S 2169 2171 1299 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 450769742 7843377152 40807 33554432000 1073741824 1073778376 140734415566480 18446744073709551615 264738221568 0 4 0 16800975 18446604453947925504 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1123.28
Current children cumulated vsize (KiB) 7659548
[startup+1182.3 s]
/proc/loadavg: 4.00 4.00 3.93 5/262 2354
/proc/meminfo: memFree=13737396/32951124 swapFree=67111528/67111528
[pid=2171] ppid=2169 vsize=7659548 CPUtime=1183.31 cores=0,2
/proc/2171/stat : 2171 (java) S 2169 2171 1299 0 -1 4202496 45094 0 1 0 118322 9 0 0 22 0 19 0 450769716 7843377152 40989 33554432000 1073741824 1073778376 140734415566480 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/2171/statm: 1914887 40989 2253 9 0 1905625 0
[pid=2171/tid=2174] ppid=2169 vsize=7659548 CPUtime=1180.04 cores=0,2
/proc/2171/task/2174/stat : 2174 (java) R 2169 2171 1299 0 -1 4202560 14050 0 1 0 118000 4 0 0 25 0 19 0 450769717 7843377152 40989 33554432000 1073741824 1073778376 140734415566480 18446744073709551615 46912505606504 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2171/tid=2175] ppid=2169 vsize=7659548 CPUtime=0.04 cores=0,2
/proc/2171/task/2175/stat : 2175 (java) S 2169 2171 1299 0 -1 4202560 984 0 0 0 4 0 0 0 15 0 19 0 450769718 7843377152 40989 33554432000 1073741824 1073778376 140734415566480 18446744073709551615 264738220953 0 4 0 16800975 18446604453947925504 0 0 -1 0 0 0 0
[pid=2171/tid=2176] ppid=2169 vsize=7659548 CPUtime=0.09 cores=0,2
/proc/2171/task/2176/stat : 2176 (java) S 2169 2171 1299 0 -1 4202560 522 0 0 0 9 0 0 0 16 0 19 0 450769718 7843377152 40989 33554432000 1073741824 1073778376 140734415566480 18446744073709551615 264738220953 0 4 0 16800975 18446604453947925504 0 0 -1 2 0 0 0
[pid=2171/tid=2177] ppid=2169 vsize=7659548 CPUtime=0.08 cores=0,2
/proc/2171/task/2177/stat : 2177 (java) S 2169 2171 1299 0 -1 4202560 2000 0 0 0 8 0 0 0 15 0 19 0 450769718 7843377152 40989 33554432000 1073741824 1073778376 140734415566480 18446744073709551615 264738220953 0 4 0 16800975 18446604453947925504 0 0 -1 2 0 0 0
[pid=2171/tid=2178] ppid=2169 vsize=7659548 CPUtime=0.06 cores=0,2
/proc/2171/task/2178/stat : 2178 (java) S 2169 2171 1299 0 -1 4202560 1290 0 0 0 6 0 0 0 15 0 19 0 450769718 7843377152 40989 33554432000 1073741824 1073778376 140734415566480 18446744073709551615 264738220953 0 4 0 16800975 18446604453947925504 0 0 -1 2 0 0 0
[pid=2171/tid=2179] ppid=2169 vsize=7659548 CPUtime=0.05 cores=0,2
/proc/2171/task/2179/stat : 2179 (java) S 2169 2171 1299 0 -1 4202560 857 0 0 0 5 0 0 0 16 0 19 0 450769718 7843377152 40989 33554432000 1073741824 1073778376 140734415566480 18446744073709551615 264738220953 0 4 0 16800975 18446604453947925504 0 0 -1 2 0 0 0
[pid=2171/tid=2180] ppid=2169 vsize=7659548 CPUtime=0.06 cores=0,2
/proc/2171/task/2180/stat : 2180 (java) S 2169 2171 1299 0 -1 4202560 581 0 0 0 6 0 0 0 15 0 19 0 450769718 7843377152 40989 33554432000 1073741824 1073778376 140734415566480 18446744073709551615 264738220953 0 4 0 16800975 18446604453947925504 0 0 -1 2 0 0 0
[pid=2171/tid=2181] ppid=2169 vsize=7659548 CPUtime=0.08 cores=0,2
/proc/2171/task/2181/stat : 2181 (java) S 2169 2171 1299 0 -1 4202560 1583 0 0 0 8 0 0 0 15 0 19 0 450769718 7843377152 40989 33554432000 1073741824 1073778376 140734415566480 18446744073709551615 264738220953 0 4 0 16800975 18446604453947925504 0 0 -1 2 0 0 0
[pid=2171/tid=2182] ppid=2169 vsize=7659548 CPUtime=0.09 cores=0,2
/proc/2171/task/2182/stat : 2182 (java) S 2169 2171 1299 0 -1 4202560 1509 0 0 0 9 0 0 0 16 0 19 0 450769718 7843377152 40989 33554432000 1073741824 1073778376 140734415566480 18446744073709551615 264738220953 0 4 0 16800975 18446604453947925504 0 0 -1 2 0 0 0
[pid=2171/tid=2183] ppid=2169 vsize=7659548 CPUtime=1.85 cores=0,2
/proc/2171/task/2183/stat : 2183 (java) S 2169 2171 1299 0 -1 4202560 9781 0 0 0 184 1 0 0 15 0 19 0 450769719 7843377152 40989 33554432000 1073741824 1073778376 140734415566480 18446744073709551615 264738221568 0 0 0 16800975 18446604453947925504 0 0 -1 0 0 0 0
[pid=2171/tid=2184] ppid=2169 vsize=7659548 CPUtime=0 cores=0,2
/proc/2171/task/2184/stat : 2184 (java) S 2169 2171 1299 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 450769719 7843377152 40989 33554432000 1073741824 1073778376 140734415566480 18446744073709551615 264738220953 0 4 0 16800975 18446604453947925504 0 0 -1 2 0 0 0
[pid=2171/tid=2185] ppid=2169 vsize=7659548 CPUtime=0 cores=0,2
/proc/2171/task/2185/stat : 2185 (java) S 2169 2171 1299 0 -1 4202560 13 0 0 0 0 0 0 0 18 0 19 0 450769719 7843377152 40989 33554432000 1073741824 1073778376 140734415566480 18446744073709551615 264738220953 0 4 0 16800975 18446604453947925504 0 0 -1 2 0 0 0
[pid=2171/tid=2186] ppid=2169 vsize=7659548 CPUtime=0 cores=0,2
/proc/2171/task/2186/stat : 2186 (java) S 2169 2171 1299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 450769722 7843377152 40989 33554432000 1073741824 1073778376 140734415566480 18446744073709551615 264738228657 0 4 0 16800975 18446604453947925504 0 0 -1 2 0 0 0
[pid=2171/tid=2187] ppid=2169 vsize=7659548 CPUtime=0.55 cores=0,2
/proc/2171/task/2187/stat : 2187 (java) S 2169 2171 1299 0 -1 4202560 7926 0 0 0 54 1 0 0 15 0 19 0 450769722 7843377152 40989 33554432000 1073741824 1073778376 140734415566480 18446744073709551615 264738220953 0 4 0 16800975 18446604453947925504 0 0 -1 0 0 0 0
[pid=2171/tid=2188] ppid=2169 vsize=7659548 CPUtime=0.21 cores=0,2
/proc/2171/task/2188/stat : 2188 (java) S 2169 2171 1299 0 -1 4202560 2788 0 0 0 21 0 0 0 15 0 19 0 450769722 7843377152 40989 33554432000 1073741824 1073778376 140734415566480 18446744073709551615 264738220953 0 4 0 16800975 18446604453947925504 0 0 -1 0 0 0 0
[pid=2171/tid=2189] ppid=2169 vsize=7659548 CPUtime=0 cores=0,2
/proc/2171/task/2189/stat : 2189 (java) S 2169 2171 1299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 450769722 7843377152 40989 33554432000 1073741824 1073778376 140734415566480 18446744073709551615 264738220953 0 4 0 16800975 18446604453947925504 0 0 -1 2 0 0 0
[pid=2171/tid=2190] ppid=2169 vsize=7659548 CPUtime=0 cores=0,2
/proc/2171/task/2190/stat : 2190 (java) S 2169 2171 1299 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 19 0 450769722 7843377152 40989 33554432000 1073741824 1073778376 140734415566480 18446744073709551615 264738221568 0 4 0 16800975 18446604453947925504 0 0 -1 2 0 0 0
[pid=2171/tid=2195] ppid=2169 vsize=7659548 CPUtime=0 cores=0,2
/proc/2171/task/2195/stat : 2195 (java) S 2169 2171 1299 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 450769742 7843377152 40989 33554432000 1073741824 1073778376 140734415566480 18446744073709551615 264738221568 0 4 0 16800975 18446604453947925504 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1183.31
Current children cumulated vsize (KiB) 7659548
[startup+1242.3 s]
/proc/loadavg: 4.00 4.00 3.93 5/262 2355
/proc/meminfo: memFree=13731172/32951124 swapFree=67111528/67111528
[pid=2171] ppid=2169 vsize=7659548 CPUtime=1243.32 cores=0,2
/proc/2171/stat : 2171 (java) S 2169 2171 1299 0 -1 4202496 45816 0 1 0 124323 9 0 0 22 0 19 0 450769716 7843377152 41706 33554432000 1073741824 1073778376 140734415566480 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/2171/statm: 1914887 41706 2253 9 0 1905625 0
[pid=2171/tid=2174] ppid=2169 vsize=7659548 CPUtime=1239.97 cores=0,2
/proc/2171/task/2174/stat : 2174 (java) R 2169 2171 1299 0 -1 4202560 14051 0 1 0 123993 4 0 0 25 0 19 0 450769717 7843377152 41706 33554432000 1073741824 1073778376 140734415566480 18446744073709551615 46912505727058 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2171/tid=2175] ppid=2169 vsize=7659548 CPUtime=0.05 cores=0,2
/proc/2171/task/2175/stat : 2175 (java) S 2169 2171 1299 0 -1 4202560 984 0 0 0 5 0 0 0 16 0 19 0 450769718 7843377152 41706 33554432000 1073741824 1073778376 140734415566480 18446744073709551615 264738220953 0 4 0 16800975 18446604453947925504 0 0 -1 2 0 0 0
[pid=2171/tid=2176] ppid=2169 vsize=7659548 CPUtime=0.09 cores=0,2
/proc/2171/task/2176/stat : 2176 (java) S 2169 2171 1299 0 -1 4202560 522 0 0 0 9 0 0 0 15 0 19 0 450769718 7843377152 41706 33554432000 1073741824 1073778376 140734415566480 18446744073709551615 264738220953 0 4 0 16800975 18446604453947925504 0 0 -1 2 0 0 0
[pid=2171/tid=2177] ppid=2169 vsize=7659548 CPUtime=0.08 cores=0,2
/proc/2171/task/2177/stat : 2177 (java) S 2169 2171 1299 0 -1 4202560 2000 0 0 0 8 0 0 0 15 0 19 0 450769718 7843377152 41706 33554432000 1073741824 1073778376 140734415566480 18446744073709551615 264738220953 0 4 0 16800975 18446604453947925504 0 0 -1 2 0 0 0
[pid=2171/tid=2178] ppid=2169 vsize=7659548 CPUtime=0.06 cores=0,2
/proc/2171/task/2178/stat : 2178 (java) S 2169 2171 1299 0 -1 4202560 1290 0 0 0 6 0 0 0 15 0 19 0 450769718 7843377152 41706 33554432000 1073741824 1073778376 140734415566480 18446744073709551615 264738220953 0 4 0 16800975 18446604453947925504 0 0 -1 2 0 0 0
[pid=2171/tid=2179] ppid=2169 vsize=7659548 CPUtime=0.06 cores=0,2
/proc/2171/task/2179/stat : 2179 (java) S 2169 2171 1299 0 -1 4202560 857 0 0 0 6 0 0 0 15 0 19 0 450769718 7843377152 41706 33554432000 1073741824 1073778376 140734415566480 18446744073709551615 264738220953 0 4 0 16800975 18446604453947925504 0 0 -1 2 0 0 0
[pid=2171/tid=2180] ppid=2169 vsize=7659548 CPUtime=0.06 cores=0,2
/proc/2171/task/2180/stat : 2180 (java) S 2169 2171 1299 0 -1 4202560 581 0 0 0 6 0 0 0 15 0 19 0 450769718 7843377152 41706 33554432000 1073741824 1073778376 140734415566480 18446744073709551615 264738220953 0 4 0 16800975 18446604453947925504 0 0 -1 2 0 0 0
[pid=2171/tid=2181] ppid=2169 vsize=7659548 CPUtime=0.08 cores=0,2
/proc/2171/task/2181/stat : 2181 (java) S 2169 2171 1299 0 -1 4202560 1583 0 0 0 8 0 0 0 15 0 19 0 450769718 7843377152 41706 33554432000 1073741824 1073778376 140734415566480 18446744073709551615 264738220953 0 4 0 16800975 18446604453947925504 0 0 -1 2 0 0 0
[pid=2171/tid=2182] ppid=2169 vsize=7659548 CPUtime=0.09 cores=0,2
/proc/2171/task/2182/stat : 2182 (java) S 2169 2171 1299 0 -1 4202560 1509 0 0 0 9 0 0 0 15 0 19 0 450769718 7843377152 41706 33554432000 1073741824 1073778376 140734415566480 18446744073709551615 264738220953 0 4 0 16800975 18446604453947925504 0 0 -1 2 0 0 0
[pid=2171/tid=2183] ppid=2169 vsize=7659548 CPUtime=1.91 cores=0,2
/proc/2171/task/2183/stat : 2183 (java) S 2169 2171 1299 0 -1 4202560 10500 0 0 0 190 1 0 0 15 0 19 0 450769719 7843377152 41706 33554432000 1073741824 1073778376 140734415566480 18446744073709551615 264738221568 0 0 0 16800975 18446604453947925504 0 0 -1 0 0 0 0
[pid=2171/tid=2184] ppid=2169 vsize=7659548 CPUtime=0 cores=0,2
/proc/2171/task/2184/stat : 2184 (java) S 2169 2171 1299 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 450769719 7843377152 41706 33554432000 1073741824 1073778376 140734415566480 18446744073709551615 264738220953 0 4 0 16800975 18446604453947925504 0 0 -1 2 0 0 0
[pid=2171/tid=2185] ppid=2169 vsize=7659548 CPUtime=0 cores=0,2
/proc/2171/task/2185/stat : 2185 (java) S 2169 2171 1299 0 -1 4202560 13 0 0 0 0 0 0 0 18 0 19 0 450769719 7843377152 41706 33554432000 1073741824 1073778376 140734415566480 18446744073709551615 264738220953 0 4 0 16800975 18446604453947925504 0 0 -1 2 0 0 0
[pid=2171/tid=2186] ppid=2169 vsize=7659548 CPUtime=0 cores=0,2
/proc/2171/task/2186/stat : 2186 (java) S 2169 2171 1299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 450769722 7843377152 41706 33554432000 1073741824 1073778376 140734415566480 18446744073709551615 264738228657 0 4 0 16800975 18446604453947925504 0 0 -1 2 0 0 0
[pid=2171/tid=2187] ppid=2169 vsize=7659548 CPUtime=0.55 cores=0,2
/proc/2171/task/2187/stat : 2187 (java) S 2169 2171 1299 0 -1 4202560 7926 0 0 0 54 1 0 0 15 0 19 0 450769722 7843377152 41706 33554432000 1073741824 1073778376 140734415566480 18446744073709551615 264738220953 0 4 0 16800975 18446604453947925504 0 0 -1 0 0 0 0
[pid=2171/tid=2188] ppid=2169 vsize=7659548 CPUtime=0.21 cores=0,2
/proc/2171/task/2188/stat : 2188 (java) S 2169 2171 1299 0 -1 4202560 2788 0 0 0 21 0 0 0 15 0 19 0 450769722 7843377152 41706 33554432000 1073741824 1073778376 140734415566480 18446744073709551615 264738220953 0 4 0 16800975 18446604453947925504 0 0 -1 0 0 0 0
[pid=2171/tid=2189] ppid=2169 vsize=7659548 CPUtime=0 cores=0,2
/proc/2171/task/2189/stat : 2189 (java) S 2169 2171 1299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 450769722 7843377152 41706 33554432000 1073741824 1073778376 140734415566480 18446744073709551615 264738220953 0 4 0 16800975 18446604453947925504 0 0 -1 2 0 0 0
[pid=2171/tid=2190] ppid=2169 vsize=7659548 CPUtime=0 cores=0,2
/proc/2171/task/2190/stat : 2190 (java) S 2169 2171 1299 0 -1 4202560 71 0 0 0 0 0 0 0 15 0 19 0 450769722 7843377152 41706 33554432000 1073741824 1073778376 140734415566480 18446744073709551615 264738221568 0 4 0 16800975 18446604453947925504 0 0 -1 2 0 0 0
[pid=2171/tid=2195] ppid=2169 vsize=7659548 CPUtime=0 cores=0,2
/proc/2171/task/2195/stat : 2195 (java) S 2169 2171 1299 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 450769742 7843377152 41706 33554432000 1073741824 1073778376 140734415566480 18446744073709551615 264738221568 0 4 0 16800975 18446604453947925504 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1243.32
Current children cumulated vsize (KiB) 7659548
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 4.05 4.01 3.93 5/262 2357
/proc/meminfo: memFree=13694180/32951124 swapFree=67111528/67111528
[pid=2171] ppid=2169 vsize=7659548 CPUtime=1301.02 cores=0,2
/proc/2171/stat : 2171 (java) S 2169 2171 1299 0 -1 4202496 45820 0 1 0 130093 9 0 0 22 0 19 0 450769716 7843377152 41706 33554432000 1073741824 1073778376 140734415566480 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/2171/statm: 1914887 41706 2253 9 0 1905625 0
[pid=2171/tid=2174] ppid=2169 vsize=7659548 CPUtime=1297.68 cores=0,2
/proc/2171/task/2174/stat : 2174 (java) R 2169 2171 1299 0 -1 4202560 14051 0 1 0 129764 4 0 0 25 0 19 0 450769717 7843377152 41706 33554432000 1073741824 1073778376 140734415566480 18446744073709551615 46912505606507 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2171/tid=2175] ppid=2169 vsize=7659548 CPUtime=0.05 cores=0,2
/proc/2171/task/2175/stat : 2175 (java) S 2169 2171 1299 0 -1 4202560 984 0 0 0 5 0 0 0 16 0 19 0 450769718 7843377152 41706 33554432000 1073741824 1073778376 140734415566480 18446744073709551615 264738220953 0 4 0 16800975 18446604453947925504 0 0 -1 2 0 0 0
[pid=2171/tid=2176] ppid=2169 vsize=7659548 CPUtime=0.09 cores=0,2
/proc/2171/task/2176/stat : 2176 (java) S 2169 2171 1299 0 -1 4202560 522 0 0 0 9 0 0 0 15 0 19 0 450769718 7843377152 41706 33554432000 1073741824 1073778376 140734415566480 18446744073709551615 264738220953 0 4 0 16800975 18446604453947925504 0 0 -1 2 0 0 0
[pid=2171/tid=2177] ppid=2169 vsize=7659548 CPUtime=0.08 cores=0,2
/proc/2171/task/2177/stat : 2177 (java) S 2169 2171 1299 0 -1 4202560 2000 0 0 0 8 0 0 0 15 0 19 0 450769718 7843377152 41706 33554432000 1073741824 1073778376 140734415566480 18446744073709551615 264738220953 0 4 0 16800975 18446604453947925504 0 0 -1 2 0 0 0
[pid=2171/tid=2178] ppid=2169 vsize=7659548 CPUtime=0.06 cores=0,2
/proc/2171/task/2178/stat : 2178 (java) S 2169 2171 1299 0 -1 4202560 1290 0 0 0 6 0 0 0 15 0 19 0 450769718 7843377152 41706 33554432000 1073741824 1073778376 140734415566480 18446744073709551615 264738220953 0 4 0 16800975 18446604453947925504 0 0 -1 2 0 0 0
[pid=2171/tid=2179] ppid=2169 vsize=7659548 CPUtime=0.06 cores=0,2
/proc/2171/task/2179/stat : 2179 (java) S 2169 2171 1299 0 -1 4202560 857 0 0 0 6 0 0 0 15 0 19 0 450769718 7843377152 41706 33554432000 1073741824 1073778376 140734415566480 18446744073709551615 264738220953 0 4 0 16800975 18446604453947925504 0 0 -1 2 0 0 0
[pid=2171/tid=2180] ppid=2169 vsize=7659548 CPUtime=0.06 cores=0,2
/proc/2171/task/2180/stat : 2180 (java) S 2169 2171 1299 0 -1 4202560 581 0 0 0 6 0 0 0 15 0 19 0 450769718 7843377152 41706 33554432000 1073741824 1073778376 140734415566480 18446744073709551615 264738220953 0 4 0 16800975 18446604453947925504 0 0 -1 2 0 0 0
[pid=2171/tid=2181] ppid=2169 vsize=7659548 CPUtime=0.08 cores=0,2
/proc/2171/task/2181/stat : 2181 (java) S 2169 2171 1299 0 -1 4202560 1583 0 0 0 8 0 0 0 15 0 19 0 450769718 7843377152 41706 33554432000 1073741824 1073778376 140734415566480 18446744073709551615 264738220953 0 4 0 16800975 18446604453947925504 0 0 -1 2 0 0 0
[pid=2171/tid=2182] ppid=2169 vsize=7659548 CPUtime=0.09 cores=0,2
/proc/2171/task/2182/stat : 2182 (java) S 2169 2171 1299 0 -1 4202560 1509 0 0 0 9 0 0 0 15 0 19 0 450769718 7843377152 41706 33554432000 1073741824 1073778376 140734415566480 18446744073709551615 264738220953 0 4 0 16800975 18446604453947925504 0 0 -1 2 0 0 0
[pid=2171/tid=2183] ppid=2169 vsize=7659548 CPUtime=1.91 cores=0,2
/proc/2171/task/2183/stat : 2183 (java) S 2169 2171 1299 0 -1 4202560 10500 0 0 0 190 1 0 0 15 0 19 0 450769719 7843377152 41706 33554432000 1073741824 1073778376 140734415566480 18446744073709551615 264738221568 0 0 0 16800975 18446604453947925504 0 0 -1 0 0 0 0
[pid=2171/tid=2184] ppid=2169 vsize=7659548 CPUtime=0 cores=0,2
/proc/2171/task/2184/stat : 2184 (java) S 2169 2171 1299 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 450769719 7843377152 41706 33554432000 1073741824 1073778376 140734415566480 18446744073709551615 264738220953 0 4 0 16800975 18446604453947925504 0 0 -1 2 0 0 0
[pid=2171/tid=2185] ppid=2169 vsize=7659548 CPUtime=0 cores=0,2
/proc/2171/task/2185/stat : 2185 (java) S 2169 2171 1299 0 -1 4202560 13 0 0 0 0 0 0 0 18 0 19 0 450769719 7843377152 41706 33554432000 1073741824 1073778376 140734415566480 18446744073709551615 264738220953 0 4 0 16800975 18446604453947925504 0 0 -1 2 0 0 0
[pid=2171/tid=2186] ppid=2169 vsize=7659548 CPUtime=0 cores=0,2
/proc/2171/task/2186/stat : 2186 (java) S 2169 2171 1299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 450769722 7843377152 41706 33554432000 1073741824 1073778376 140734415566480 18446744073709551615 264738228657 0 4 0 16800975 18446604453947925504 0 0 -1 2 0 0 0
[pid=2171/tid=2187] ppid=2169 vsize=7659548 CPUtime=0.55 cores=0,2
/proc/2171/task/2187/stat : 2187 (java) S 2169 2171 1299 0 -1 4202560 7926 0 0 0 54 1 0 0 15 0 19 0 450769722 7843377152 41706 33554432000 1073741824 1073778376 140734415566480 18446744073709551615 264738220953 0 4 0 16800975 18446604453947925504 0 0 -1 0 0 0 0
[pid=2171/tid=2188] ppid=2169 vsize=7659548 CPUtime=0.21 cores=0,2
/proc/2171/task/2188/stat : 2188 (java) S 2169 2171 1299 0 -1 4202560 2788 0 0 0 21 0 0 0 15 0 19 0 450769722 7843377152 41706 33554432000 1073741824 1073778376 140734415566480 18446744073709551615 264738220953 0 4 0 16800975 18446604453947925504 0 0 -1 0 0 0 0
[pid=2171/tid=2189] ppid=2169 vsize=7659548 CPUtime=0 cores=0,2
/proc/2171/task/2189/stat : 2189 (java) S 2169 2171 1299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 450769722 7843377152 41706 33554432000 1073741824 1073778376 140734415566480 18446744073709551615 264738220953 0 4 0 16800975 18446604453947925504 0 0 -1 2 0 0 0
[pid=2171/tid=2190] ppid=2169 vsize=7659548 CPUtime=0 cores=0,2
/proc/2171/task/2190/stat : 2190 (java) S 2169 2171 1299 0 -1 4202560 75 0 0 0 0 0 0 0 15 0 19 0 450769722 7843377152 41706 33554432000 1073741824 1073778376 140734415566480 18446744073709551615 264738221568 0 4 0 16800975 18446604453947925504 0 0 -1 2 0 0 0
[pid=2171/tid=2195] ppid=2169 vsize=7659548 CPUtime=0 cores=0,2
/proc/2171/task/2195/stat : 2195 (java) S 2169 2171 1299 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 450769742 7843377152 41706 33554432000 1073741824 1073778376 140734415566480 18446744073709551615 264738221568 0 4 0 16800975 18446604453947925504 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1301.02
Current children cumulated vsize (KiB) 7659548
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 1300.05
CPU time (s): 1301.11
CPU user time (s): 1301.01
CPU system time (s): 0.100984
CPU usage (%): 100.081
Max. virtual memory (cumulated for all children) (KiB): 7659548
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1301.01
system time used= 0.100984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45861
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 27574
involuntary context switches= 6535
runsolver used 2.34664 second user time and 4.76328 second system time
The end