runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3710720-1338148408/watcher-3710720-1338148408 -o /tmp/evaluation-result-3710720-1338148408/solver-3710720-1338148408 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710720-1338148408.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.92 2.00 1.95 3/194 5172
/proc/meminfo: memFree=31550564/32873648 swapFree=7116/7116
[pid=5172] ppid=5170 vsize=89800 CPUtime=0 cores=0,2,4,6
/proc/5172/stat : 5172 (java) S 5170 5172 31461 0 -1 4202496 1182 0 0 0 0 0 0 0 20 0 2 0 280966236 91955200 901 33554432000 1073741824 1073778376 140735127309696 140735127300832 260193681469 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5172/statm: 22970 905 687 9 0 16769 0
[pid=5172/tid=5173] ppid=5170 vsize=91816 CPUtime=0 cores=0,2,4,6
/proc/5172/task/5173/stat : 5173 (java) D 5170 5172 31461 0 -1 4202560 59 0 0 0 0 0 0 0 20 0 2 0 280966237 94019584 917 33554432000 1073741824 1073778376 140735127309696 140658325515816 260181159207 0 0 4096 0 18446744072100609316 0 0 -1 2 0 0 0 0 0
[startup+0.029583 s]
/proc/loadavg: 1.92 2.00 1.95 3/194 5172
/proc/meminfo: memFree=31550564/32873648 swapFree=7116/7116
[pid=5172] ppid=5170 vsize=9225560 CPUtime=0.01 cores=0,2,4,6
/proc/5172/stat : 5172 (java) S 5170 5172 31461 0 -1 4202496 2976 0 1 0 1 0 0 0 20 0 13 0 280966236 9446973440 3673 33554432000 1073741824 1073778376 140735127309696 140735127300832 260193681469 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5172/statm: 2306390 3673 1667 9 0 2297091 0
[pid=5172/tid=5173] ppid=5170 vsize=9225560 CPUtime=0.01 cores=0,2,4,6
/proc/5172/task/5173/stat : 5173 (java) R 5170 5172 31461 0 -1 4202560 1795 0 1 0 1 0 0 0 20 0 13 0 280966237 9446973440 3674 33554432000 1073741824 1073778376 140735127309696 140658325516528 140658322206719 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9225560
[startup+0.100295 s]
/proc/loadavg: 1.92 2.00 1.95 3/194 5172
/proc/meminfo: memFree=31550564/32873648 swapFree=7116/7116
[pid=5172] ppid=5170 vsize=9558440 CPUtime=0.1 cores=0,2,4,6
/proc/5172/stat : 5172 (java) S 5170 5172 31461 0 -1 4202496 4362 0 1 0 9 1 0 0 20 0 18 0 280966236 9787842560 6080 33554432000 1073741824 1073778376 140735127309696 140735127300832 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5172/statm: 2389610 6080 2128 9 0 2380296 0
[pid=5172/tid=5173] ppid=5170 vsize=9558440 CPUtime=0.08 cores=0,2,4,6
/proc/5172/task/5173/stat : 5173 (java) R 5170 5172 31461 0 -1 4202560 2489 0 1 0 6 2 0 0 20 0 18 0 280966237 9787842560 6080 33554432000 1073741824 1073778376 140735127309696 140658325520688 140658323397182 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558440
[startup+0.30025 s]
/proc/loadavg: 1.92 2.00 1.95 3/194 5172
/proc/meminfo: memFree=31550564/32873648 swapFree=7116/7116
[pid=5172] ppid=5170 vsize=9558440 CPUtime=0.49 cores=0,2,4,6
/proc/5172/stat : 5172 (java) S 5170 5172 31461 0 -1 4202496 5717 0 1 0 47 2 0 0 20 0 18 0 280966236 9787842560 8533 33554432000 1073741824 1073778376 140735127309696 140735127300832 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5172/statm: 2389610 8533 2225 9 0 2380296 0
[pid=5172/tid=5173] ppid=5170 vsize=9558440 CPUtime=0.28 cores=0,2,4,6
/proc/5172/task/5173/stat : 5173 (java) R 5170 5172 31461 0 -1 4202560 2502 0 1 0 26 2 0 0 20 0 18 0 280966237 9787842560 8533 33554432000 1073741824 1073778376 140735127309696 140658325520688 140658182569093 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 9558440
[startup+0.700264 s]
/proc/loadavg: 1.92 2.00 1.95 3/194 5172
/proc/meminfo: memFree=31550564/32873648 swapFree=7116/7116
[pid=5172] ppid=5170 vsize=9558440 CPUtime=1.04 cores=0,2,4,6
/proc/5172/stat : 5172 (java) S 5170 5172 31461 0 -1 4202496 7214 0 1 0 99 5 0 0 20 0 18 0 280966236 9787842560 40591 33554432000 1073741824 1073778376 140735127309696 140735127300832 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5172/statm: 2389610 40591 2252 9 0 2380296 0
[pid=5172/tid=5173] ppid=5170 vsize=9558440 CPUtime=0.66 cores=0,2,4,6
/proc/5172/task/5173/stat : 5173 (java) R 5170 5172 31461 0 -1 4202560 2565 0 1 0 62 4 0 0 20 0 18 0 280966237 9787842560 40591 33554432000 1073741824 1073778376 140735127309696 140658325512112 140658182903869 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.04
Current children cumulated vsize (KiB) 9558440
[startup+1.50069 s]
/proc/loadavg: 1.92 2.00 1.95 3/213 5191
/proc/meminfo: memFree=31392916/32873648 swapFree=7116/7116
[pid=5172] ppid=5170 vsize=9625004 CPUtime=2.16 cores=0,2,4,6
/proc/5172/stat : 5172 (java) S 5170 5172 31461 0 -1 4202496 7716 0 1 0 211 5 0 0 20 0 19 0 280966236 9856004096 41444 33554432000 1073741824 1073778376 140735127309696 140735127300832 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5172/statm: 2406251 41444 2270 9 0 2396937 0
[pid=5172/tid=5173] ppid=5170 vsize=9625004 CPUtime=1.46 cores=0,2,4,6
/proc/5172/task/5173/stat : 5173 (java) R 5170 5172 31461 0 -1 4202560 2576 0 1 0 142 4 0 0 20 0 19 0 280966237 9856004096 41444 33554432000 1073741824 1073778376 140735127309696 140658325520920 140658183086871 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=5172/tid=5175] ppid=5170 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5172/task/5175/stat : 5175 (java) S 5170 5172 31461 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 280966237 9856004096 41444 33554432000 1073741824 1073778376 140735127309696 140658303621672 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5172/tid=5176] ppid=5170 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5172/task/5176/stat : 5176 (java) S 5170 5172 31461 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 280966237 9856004096 41444 33554432000 1073741824 1073778376 140735127309696 140658302568872 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5172/tid=5177] ppid=5170 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5172/task/5177/stat : 5177 (java) S 5170 5172 31461 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280966237 9856004096 41444 33554432000 1073741824 1073778376 140735127309696 140658301516072 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5172/tid=5178] ppid=5170 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5172/task/5178/stat : 5178 (java) S 5170 5172 31461 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 280966237 9856004096 41444 33554432000 1073741824 1073778376 140735127309696 140657964345512 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5172/tid=5179] ppid=5170 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5172/task/5179/stat : 5179 (java) S 5170 5172 31461 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 280966237 9856004096 41444 33554432000 1073741824 1073778376 140735127309696 140657963293736 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5172/tid=5180] ppid=5170 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5172/task/5180/stat : 5180 (java) S 5170 5172 31461 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 280966237 9856004096 41444 33554432000 1073741824 1073778376 140735127309696 140657962240936 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5172/tid=5181] ppid=5170 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5172/task/5181/stat : 5181 (java) S 5170 5172 31461 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 280966237 9856004096 41444 33554432000 1073741824 1073778376 140735127309696 140657961188136 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5172/tid=5182] ppid=5170 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5172/task/5182/stat : 5182 (java) S 5170 5172 31461 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 280966237 9856004096 41444 33554432000 1073741824 1073778376 140735127309696 140657960135336 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5172/tid=5183] ppid=5170 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5172/task/5183/stat : 5183 (java) S 5170 5172 31461 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 19 0 280966238 9856004096 41444 33554432000 1073741824 1073778376 140735127309696 140657947937256 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5172/tid=5184] ppid=5170 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5172/task/5184/stat : 5184 (java) S 5170 5172 31461 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280966239 9856004096 41444 33554432000 1073741824 1073778376 140735127309696 140657946883320 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5172/tid=5185] ppid=5170 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5172/task/5185/stat : 5185 (java) S 5170 5172 31461 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280966239 9856004096 41444 33554432000 1073741824 1073778376 140735127309696 140657945830408 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5172/tid=5186] ppid=5170 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5172/task/5186/stat : 5186 (java) S 5170 5172 31461 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280966241 9856004096 41444 33554432000 1073741824 1073778376 140735127309696 140657944778896 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5172/tid=5187] ppid=5170 vsize=9625004 CPUtime=0.34 cores=0,2,4,6
/proc/5172/task/5187/stat : 5187 (java) S 5170 5172 31461 0 -1 4202560 2146 0 0 0 34 0 0 0 20 0 19 0 280966241 9856004096 41444 33554432000 1073741824 1073778376 140735127309696 140657943727032 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5172/tid=5188] ppid=5170 vsize=9625004 CPUtime=0.25 cores=0,2,4,6
/proc/5172/task/5188/stat : 5188 (java) S 5170 5172 31461 0 -1 4202560 1714 0 0 0 25 0 0 0 20 0 19 0 280966241 9856004096 41444 33554432000 1073741824 1073778376 140735127309696 140657942674232 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5172/tid=5189] ppid=5170 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5172/task/5189/stat : 5189 (java) S 5170 5172 31461 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280966241 9856004096 41444 33554432000 1073741824 1073778376 140735127309696 140657941621624 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5172/tid=5190] ppid=5170 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5172/task/5190/stat : 5190 (java) S 5170 5172 31461 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280966241 9856004096 41444 33554432000 1073741824 1073778376 140735127309696 140657940569032 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5172/tid=5191] ppid=5170 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5172/task/5191/stat : 5191 (java) S 5170 5172 31461 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280966313 9856004096 41444 33554432000 1073741824 1073778376 140735127309696 140657939453096 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.16
Current children cumulated vsize (KiB) 9625004
[startup+3.10063 s]
/proc/loadavg: 1.92 2.00 1.95 3/213 5191
/proc/meminfo: memFree=31345992/32873648 swapFree=7116/7116
[pid=5172] ppid=5170 vsize=9625004 CPUtime=3.89 cores=0,2,4,6
/proc/5172/stat : 5172 (java) S 5170 5172 31461 0 -1 4202496 8139 0 1 0 382 7 0 0 20 0 19 0 280966236 9856004096 54100 33554432000 1073741824 1073778376 140735127309696 140735127300832 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5172/statm: 2406251 54100 2288 9 0 2396937 0
[pid=5172/tid=5173] ppid=5170 vsize=9625004 CPUtime=3 cores=0,2,4,6
/proc/5172/task/5173/stat : 5173 (java) R 5170 5172 31461 0 -1 4202560 2579 0 1 0 296 4 0 0 20 0 19 0 280966237 9856004096 54100 33554432000 1073741824 1073778376 140735127309696 140658325520688 140658183170498 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=5172/tid=5175] ppid=5170 vsize=9625004 CPUtime=0.01 cores=0,2,4,6
/proc/5172/task/5175/stat : 5175 (java) S 5170 5172 31461 0 -1 4202560 108 0 0 0 1 0 0 0 20 0 19 0 280966237 9856004096 54100 33554432000 1073741824 1073778376 140735127309696 140658303621672 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5172/tid=5176] ppid=5170 vsize=9625004 CPUtime=0.01 cores=0,2,4,6
/proc/5172/task/5176/stat : 5176 (java) S 5170 5172 31461 0 -1 4202560 184 0 0 0 1 0 0 0 20 0 19 0 280966237 9856004096 54100 33554432000 1073741824 1073778376 140735127309696 140658302568872 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5172/tid=5177] ppid=5170 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5172/task/5177/stat : 5177 (java) S 5170 5172 31461 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280966237 9856004096 54100 33554432000 1073741824 1073778376 140735127309696 140658301516072 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5172/tid=5178] ppid=5170 vsize=9625004 CPUtime=0.02 cores=0,2,4,6
/proc/5172/task/5178/stat : 5178 (java) S 5170 5172 31461 0 -1 4202560 67 0 0 0 2 0 0 0 20 0 19 0 280966237 9856004096 54100 33554432000 1073741824 1073778376 140735127309696 140657964345512 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5172/tid=5179] ppid=5170 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5172/task/5179/stat : 5179 (java) S 5170 5172 31461 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 280966237 9856004096 54100 33554432000 1073741824 1073778376 140735127309696 140657963293736 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5172/tid=5180] ppid=5170 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5172/task/5180/stat : 5180 (java) S 5170 5172 31461 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 280966237 9856004096 54100 33554432000 1073741824 1073778376 140735127309696 140657962240936 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5172/tid=5181] ppid=5170 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5172/task/5181/stat : 5181 (java) S 5170 5172 31461 0 -1 4202560 40 0 0 0 0 0 0 0 20 0 19 0 280966237 9856004096 54100 33554432000 1073741824 1073778376 140735127309696 140657961188136 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5172/tid=5182] ppid=5170 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5172/task/5182/stat : 5182 (java) S 5170 5172 31461 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 280966237 9856004096 54100 33554432000 1073741824 1073778376 140735127309696 140657960135336 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5172/tid=5183] ppid=5170 vsize=9625004 CPUtime=0.02 cores=0,2,4,6
/proc/5172/task/5183/stat : 5183 (java) S 5170 5172 31461 0 -1 4202560 101 0 0 0 2 0 0 0 20 0 19 0 280966238 9856004096 54100 33554432000 1073741824 1073778376 140735127309696 140657947937256 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5172/tid=5184] ppid=5170 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5172/task/5184/stat : 5184 (java) S 5170 5172 31461 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280966239 9856004096 54100 33554432000 1073741824 1073778376 140735127309696 140657946883320 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5172/tid=5185] ppid=5170 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5172/task/5185/stat : 5185 (java) S 5170 5172 31461 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280966239 9856004096 54100 33554432000 1073741824 1073778376 140735127309696 140657945830408 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5172/tid=5186] ppid=5170 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5172/task/5186/stat : 5186 (java) S 5170 5172 31461 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280966241 9856004096 54100 33554432000 1073741824 1073778376 140735127309696 140657944778896 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5172/tid=5187] ppid=5170 vsize=9625004 CPUtime=0.39 cores=0,2,4,6
/proc/5172/task/5187/stat : 5187 (java) S 5170 5172 31461 0 -1 4202560 2156 0 0 0 39 0 0 0 20 0 19 0 280966241 9856004096 54100 33554432000 1073741824 1073778376 140735127309696 140657943727032 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5172/tid=5188] ppid=5170 vsize=9625004 CPUtime=0.28 cores=0,2,4,6
/proc/5172/task/5188/stat : 5188 (java) S 5170 5172 31461 0 -1 4202560 1714 0 0 0 28 0 0 0 20 0 19 0 280966241 9856004096 54100 33554432000 1073741824 1073778376 140735127309696 140657942674232 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5172/tid=5189] ppid=5170 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5172/task/5189/stat : 5189 (java) S 5170 5172 31461 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280966241 9856004096 54100 33554432000 1073741824 1073778376 140735127309696 140657941621624 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5172/tid=5190] ppid=5170 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5172/task/5190/stat : 5190 (java) S 5170 5172 31461 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280966241 9856004096 54100 33554432000 1073741824 1073778376 140735127309696 140657940569032 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5172/tid=5191] ppid=5170 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5172/task/5191/stat : 5191 (java) S 5170 5172 31461 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280966313 9856004096 54100 33554432000 1073741824 1073778376 140735127309696 140657939453096 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.89
Current children cumulated vsize (KiB) 9625004
[startup+6.30056 s]
/proc/loadavg: 1.93 2.00 1.95 3/213 5191
/proc/meminfo: memFree=31196392/32873648 swapFree=7116/7116
[pid=5172] ppid=5170 vsize=9625004 CPUtime=7.18 cores=0,2,4,6
/proc/5172/stat : 5172 (java) S 5170 5172 31461 0 -1 4202496 8196 0 1 0 707 11 0 0 20 0 19 0 280966236 9856004096 64753 33554432000 1073741824 1073778376 140735127309696 140735127300832 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5172/statm: 2406251 64753 2288 9 0 2396937 0
[pid=5172/tid=5173] ppid=5170 vsize=9625004 CPUtime=6.12 cores=0,2,4,6
/proc/5172/task/5173/stat : 5173 (java) R 5170 5172 31461 0 -1 4202560 2581 0 1 0 608 4 0 0 20 0 19 0 280966237 9856004096 64753 33554432000 1073741824 1073778376 140735127309696 140658325520688 140658183071436 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=5172/tid=5175] ppid=5170 vsize=9625004 CPUtime=0.02 cores=0,2,4,6
/proc/5172/task/5175/stat : 5175 (java) S 5170 5172 31461 0 -1 4202560 108 0 0 0 2 0 0 0 20 0 19 0 280966237 9856004096 64753 33554432000 1073741824 1073778376 140735127309696 140658303621672 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5172/tid=5176] ppid=5170 vsize=9625004 CPUtime=0.02 cores=0,2,4,6
/proc/5172/task/5176/stat : 5176 (java) S 5170 5172 31461 0 -1 4202560 190 0 0 0 1 1 0 0 20 0 19 0 280966237 9856004096 64753 33554432000 1073741824 1073778376 140735127309696 140658302568872 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5172/tid=5177] ppid=5170 vsize=9625004 CPUtime=0.01 cores=0,2,4,6
/proc/5172/task/5177/stat : 5177 (java) S 5170 5172 31461 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 19 0 280966237 9856004096 64753 33554432000 1073741824 1073778376 140735127309696 140658301516072 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5172/tid=5178] ppid=5170 vsize=9625004 CPUtime=0.03 cores=0,2,4,6
/proc/5172/task/5178/stat : 5178 (java) S 5170 5172 31461 0 -1 4202560 69 0 0 0 3 0 0 0 20 0 19 0 280966237 9856004096 64753 33554432000 1073741824 1073778376 140735127309696 140657964345512 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5172/tid=5179] ppid=5170 vsize=9625004 CPUtime=0.02 cores=0,2,4,6
/proc/5172/task/5179/stat : 5179 (java) S 5170 5172 31461 0 -1 4202560 19 0 0 0 1 1 0 0 20 0 19 0 280966237 9856004096 64753 33554432000 1073741824 1073778376 140735127309696 140657963293736 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5172/tid=5180] ppid=5170 vsize=9625004 CPUtime=0.01 cores=0,2,4,6
/proc/5172/task/5180/stat : 5180 (java) S 5170 5172 31461 0 -1 4202560 4 0 0 0 1 0 0 0 20 0 19 0 280966237 9856004096 64753 33554432000 1073741824 1073778376 140735127309696 140657962240936 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5172/tid=5181] ppid=5170 vsize=9625004 CPUtime=0.01 cores=0,2,4,6
/proc/5172/task/5181/stat : 5181 (java) S 5170 5172 31461 0 -1 4202560 40 0 0 0 1 0 0 0 20 0 19 0 280966237 9856004096 64753 33554432000 1073741824 1073778376 140735127309696 140657961188136 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5172/tid=5182] ppid=5170 vsize=9625004 CPUtime=0.01 cores=0,2,4,6
/proc/5172/task/5182/stat : 5182 (java) S 5170 5172 31461 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 19 0 280966237 9856004096 64753 33554432000 1073741824 1073778376 140735127309696 140657960135336 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5172/tid=5183] ppid=5170 vsize=9625004 CPUtime=0.06 cores=0,2,4,6
/proc/5172/task/5183/stat : 5183 (java) S 5170 5172 31461 0 -1 4202560 106 0 0 0 6 0 0 0 20 0 19 0 280966238 9856004096 64753 33554432000 1073741824 1073778376 140735127309696 140657947937256 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5172/tid=5184] ppid=5170 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5172/task/5184/stat : 5184 (java) S 5170 5172 31461 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280966239 9856004096 64753 33554432000 1073741824 1073778376 140735127309696 140657946883320 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5172/tid=5185] ppid=5170 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5172/task/5185/stat : 5185 (java) S 5170 5172 31461 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280966239 9856004096 64753 33554432000 1073741824 1073778376 140735127309696 140657945830408 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5172/tid=5186] ppid=5170 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5172/task/5186/stat : 5186 (java) S 5170 5172 31461 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280966241 9856004096 64753 33554432000 1073741824 1073778376 140735127309696 140657944778896 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5172/tid=5187] ppid=5170 vsize=9625004 CPUtime=0.4 cores=0,2,4,6
/proc/5172/task/5187/stat : 5187 (java) S 5170 5172 31461 0 -1 4202560 2156 0 0 0 40 0 0 0 20 0 19 0 280966241 9856004096 64753 33554432000 1073741824 1073778376 140735127309696 140657943727032 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5172/tid=5188] ppid=5170 vsize=9625004 CPUtime=0.29 cores=0,2,4,6
/proc/5172/task/5188/stat : 5188 (java) S 5170 5172 31461 0 -1 4202560 1714 0 0 0 29 0 0 0 20 0 19 0 280966241 9856004096 64753 33554432000 1073741824 1073778376 140735127309696 140657942674232 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
################
# More data... #
################
[pid=5172/tid=5187] ppid=5170 vsize=9625004 CPUtime=0.46 cores=0,2,4,6
/proc/5172/task/5187/stat : 5187 (java) S 5170 5172 31461 0 -1 4202560 2254 0 0 0 46 0 0 0 20 0 19 0 280966241 9856004096 322064 33554432000 1073741824 1073778376 140735127309696 140657943727032 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5172/tid=5188] ppid=5170 vsize=9625004 CPUtime=0.32 cores=0,2,4,6
/proc/5172/task/5188/stat : 5188 (java) S 5170 5172 31461 0 -1 4202560 1873 0 0 0 32 0 0 0 20 0 19 0 280966241 9856004096 322064 33554432000 1073741824 1073778376 140735127309696 140657942674232 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5172/tid=5189] ppid=5170 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5172/task/5189/stat : 5189 (java) S 5170 5172 31461 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280966241 9856004096 322064 33554432000 1073741824 1073778376 140735127309696 140657941621624 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5172/tid=5190] ppid=5170 vsize=9625004 CPUtime=0.58 cores=0,2,4,6
/proc/5172/task/5190/stat : 5190 (java) S 5170 5172 31461 0 -1 4202560 94 0 0 0 26 32 0 0 20 0 19 0 280966241 9856004096 322064 33554432000 1073741824 1073778376 140735127309696 140657940569032 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5172/tid=5191] ppid=5170 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5172/task/5191/stat : 5191 (java) S 5170 5172 31461 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280966313 9856004096 322064 33554432000 1073741824 1073778376 140735127309696 140657939453096 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1669.92
Current children cumulated vsize (KiB) 9625004
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/213 5228
/proc/meminfo: memFree=29138276/32873648 swapFree=7116/7116
[pid=5172] ppid=5170 vsize=9625004 CPUtime=1730.12 cores=0,2,4,6
/proc/5172/stat : 5172 (java) S 5170 5172 31461 0 -1 4202496 13123 0 1 0 172864 148 0 0 20 0 19 0 280966236 9856004096 326178 33554432000 1073741824 1073778376 140735127309696 140735127300832 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5172/statm: 2406251 326178 2289 9 0 2396937 0
[pid=5172/tid=5173] ppid=5170 vsize=9625004 CPUtime=1709.26 cores=0,2,4,6
/proc/5172/task/5173/stat : 5173 (java) R 5170 5172 31461 0 -1 4202560 2930 0 1 0 170891 35 0 0 20 0 19 0 280966237 9856004096 326178 33554432000 1073741824 1073778376 140735127309696 140658325520688 140658183070929 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=5172/tid=5175] ppid=5170 vsize=9625004 CPUtime=1.19 cores=0,2,4,6
/proc/5172/task/5175/stat : 5175 (java) S 5170 5172 31461 0 -1 4202560 393 0 0 0 107 12 0 0 20 0 19 0 280966237 9856004096 326178 33554432000 1073741824 1073778376 140735127309696 140658303621672 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5172/tid=5176] ppid=5170 vsize=9625004 CPUtime=1.18 cores=0,2,4,6
/proc/5172/task/5176/stat : 5176 (java) S 5170 5172 31461 0 -1 4202560 560 0 0 0 105 13 0 0 20 0 19 0 280966237 9856004096 326178 33554432000 1073741824 1073778376 140735127309696 140658302568872 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5172/tid=5177] ppid=5170 vsize=9625004 CPUtime=1.18 cores=0,2,4,6
/proc/5172/task/5177/stat : 5177 (java) S 5170 5172 31461 0 -1 4202560 342 0 0 0 106 12 0 0 20 0 19 0 280966237 9856004096 326178 33554432000 1073741824 1073778376 140735127309696 140658301516072 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5172/tid=5178] ppid=5170 vsize=9625004 CPUtime=1.02 cores=0,2,4,6
/proc/5172/task/5178/stat : 5178 (java) S 5170 5172 31461 0 -1 4202560 600 0 0 0 92 10 0 0 20 0 19 0 280966237 9856004096 326178 33554432000 1073741824 1073778376 140735127309696 140657964345512 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5172/tid=5179] ppid=5170 vsize=9625004 CPUtime=1.21 cores=0,2,4,6
/proc/5172/task/5179/stat : 5179 (java) S 5170 5172 31461 0 -1 4202560 312 0 0 0 108 13 0 0 20 0 19 0 280966237 9856004096 326178 33554432000 1073741824 1073778376 140735127309696 140657963293736 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5172/tid=5180] ppid=5170 vsize=9625004 CPUtime=1.07 cores=0,2,4,6
/proc/5172/task/5180/stat : 5180 (java) S 5170 5172 31461 0 -1 4202560 622 0 0 0 95 12 0 0 20 0 19 0 280966237 9856004096 326178 33554432000 1073741824 1073778376 140735127309696 140657962240936 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5172/tid=5181] ppid=5170 vsize=9625004 CPUtime=1.12 cores=0,2,4,6
/proc/5172/task/5181/stat : 5181 (java) S 5170 5172 31461 0 -1 4202560 366 0 0 0 98 14 0 0 20 0 19 0 280966237 9856004096 326178 33554432000 1073741824 1073778376 140735127309696 140657961188136 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5172/tid=5182] ppid=5170 vsize=9625004 CPUtime=1.14 cores=0,2,4,6
/proc/5172/task/5182/stat : 5182 (java) S 5170 5172 31461 0 -1 4202560 358 0 0 0 102 12 0 0 20 0 19 0 280966237 9856004096 326178 33554432000 1073741824 1073778376 140735127309696 140657960135336 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5172/tid=5183] ppid=5170 vsize=9625004 CPUtime=5.98 cores=0,2,4,6
/proc/5172/task/5183/stat : 5183 (java) S 5170 5172 31461 0 -1 4202560 1234 0 0 0 594 4 0 0 20 0 19 0 280966238 9856004096 326178 33554432000 1073741824 1073778376 140735127309696 140657947937256 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5172/tid=5184] ppid=5170 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5172/task/5184/stat : 5184 (java) S 5170 5172 31461 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280966239 9856004096 326178 33554432000 1073741824 1073778376 140735127309696 140657946883320 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5172/tid=5185] ppid=5170 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5172/task/5185/stat : 5185 (java) S 5170 5172 31461 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280966239 9856004096 326178 33554432000 1073741824 1073778376 140735127309696 140657945830408 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5172/tid=5186] ppid=5170 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5172/task/5186/stat : 5186 (java) S 5170 5172 31461 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280966241 9856004096 326178 33554432000 1073741824 1073778376 140735127309696 140657944778896 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5172/tid=5187] ppid=5170 vsize=9625004 CPUtime=0.46 cores=0,2,4,6
/proc/5172/task/5187/stat : 5187 (java) S 5170 5172 31461 0 -1 4202560 2254 0 0 0 46 0 0 0 20 0 19 0 280966241 9856004096 326178 33554432000 1073741824 1073778376 140735127309696 140657943727032 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5172/tid=5188] ppid=5170 vsize=9625004 CPUtime=0.32 cores=0,2,4,6
/proc/5172/task/5188/stat : 5188 (java) S 5170 5172 31461 0 -1 4202560 1873 0 0 0 32 0 0 0 20 0 19 0 280966241 9856004096 326178 33554432000 1073741824 1073778376 140735127309696 140657942674232 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5172/tid=5189] ppid=5170 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5172/task/5189/stat : 5189 (java) S 5170 5172 31461 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280966241 9856004096 326178 33554432000 1073741824 1073778376 140735127309696 140657941621624 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5172/tid=5190] ppid=5170 vsize=9625004 CPUtime=0.61 cores=0,2,4,6
/proc/5172/task/5190/stat : 5190 (java) S 5170 5172 31461 0 -1 4202560 98 0 0 0 27 34 0 0 20 0 19 0 280966241 9856004096 326178 33554432000 1073741824 1073778376 140735127309696 140657940569032 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5172/tid=5191] ppid=5170 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5172/task/5191/stat : 5191 (java) S 5170 5172 31461 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280966313 9856004096 326178 33554432000 1073741824 1073778376 140735127309696 140657939453096 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1730.12
Current children cumulated vsize (KiB) 9625004
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/213 5229
/proc/meminfo: memFree=29084660/32873648 swapFree=7116/7116
[pid=5172] ppid=5170 vsize=9625004 CPUtime=1790.37 cores=0,2,4,6
/proc/5172/stat : 5172 (java) S 5170 5172 31461 0 -1 4202496 13185 0 1 0 178886 151 0 0 20 0 19 0 280966236 9856004096 330305 33554432000 1073741824 1073778376 140735127309696 140735127300832 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5172/statm: 2406251 330305 2289 9 0 2396937 0
[pid=5172/tid=5173] ppid=5170 vsize=9625004 CPUtime=1768.91 cores=0,2,4,6
/proc/5172/task/5173/stat : 5173 (java) R 5170 5172 31461 0 -1 4202560 2934 0 1 0 176855 36 0 0 20 0 19 0 280966237 9856004096 330305 33554432000 1073741824 1073778376 140735127309696 140658325520688 140658183070851 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=5172/tid=5175] ppid=5170 vsize=9625004 CPUtime=1.24 cores=0,2,4,6
/proc/5172/task/5175/stat : 5175 (java) S 5170 5172 31461 0 -1 4202560 413 0 0 0 111 13 0 0 20 0 19 0 280966237 9856004096 330305 33554432000 1073741824 1073778376 140735127309696 140658303621672 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5172/tid=5176] ppid=5170 vsize=9625004 CPUtime=1.25 cores=0,2,4,6
/proc/5172/task/5176/stat : 5176 (java) S 5170 5172 31461 0 -1 4202560 568 0 0 0 112 13 0 0 20 0 19 0 280966237 9856004096 330305 33554432000 1073741824 1073778376 140735127309696 140658302568872 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5172/tid=5177] ppid=5170 vsize=9625004 CPUtime=1.21 cores=0,2,4,6
/proc/5172/task/5177/stat : 5177 (java) S 5170 5172 31461 0 -1 4202560 342 0 0 0 109 12 0 0 20 0 19 0 280966237 9856004096 330305 33554432000 1073741824 1073778376 140735127309696 140658301516072 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5172/tid=5178] ppid=5170 vsize=9625004 CPUtime=1.05 cores=0,2,4,6
/proc/5172/task/5178/stat : 5178 (java) S 5170 5172 31461 0 -1 4202560 602 0 0 0 94 11 0 0 20 0 19 0 280966237 9856004096 330305 33554432000 1073741824 1073778376 140735127309696 140657964345512 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5172/tid=5179] ppid=5170 vsize=9625004 CPUtime=1.25 cores=0,2,4,6
/proc/5172/task/5179/stat : 5179 (java) S 5170 5172 31461 0 -1 4202560 317 0 0 0 112 13 0 0 20 0 19 0 280966237 9856004096 330305 33554432000 1073741824 1073778376 140735127309696 140657963293736 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5172/tid=5180] ppid=5170 vsize=9625004 CPUtime=1.1 cores=0,2,4,6
/proc/5172/task/5180/stat : 5180 (java) S 5170 5172 31461 0 -1 4202560 633 0 0 0 98 12 0 0 20 0 19 0 280966237 9856004096 330305 33554432000 1073741824 1073778376 140735127309696 140657962240936 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5172/tid=5181] ppid=5170 vsize=9625004 CPUtime=1.14 cores=0,2,4,6
/proc/5172/task/5181/stat : 5181 (java) S 5170 5172 31461 0 -1 4202560 372 0 0 0 100 14 0 0 20 0 19 0 280966237 9856004096 330305 33554432000 1073741824 1073778376 140735127309696 140657961188136 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5172/tid=5182] ppid=5170 vsize=9625004 CPUtime=1.18 cores=0,2,4,6
/proc/5172/task/5182/stat : 5182 (java) S 5170 5172 31461 0 -1 4202560 358 0 0 0 106 12 0 0 20 0 19 0 280966237 9856004096 330305 33554432000 1073741824 1073778376 140735127309696 140657960135336 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5172/tid=5183] ppid=5170 vsize=9625004 CPUtime=6.09 cores=0,2,4,6
/proc/5172/task/5183/stat : 5183 (java) S 5170 5172 31461 0 -1 4202560 1236 0 0 0 605 4 0 0 20 0 19 0 280966238 9856004096 330305 33554432000 1073741824 1073778376 140735127309696 140657947937256 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5172/tid=5184] ppid=5170 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5172/task/5184/stat : 5184 (java) S 5170 5172 31461 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280966239 9856004096 330305 33554432000 1073741824 1073778376 140735127309696 140657946883320 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5172/tid=5185] ppid=5170 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5172/task/5185/stat : 5185 (java) S 5170 5172 31461 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280966239 9856004096 330305 33554432000 1073741824 1073778376 140735127309696 140657945830408 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5172/tid=5186] ppid=5170 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5172/task/5186/stat : 5186 (java) S 5170 5172 31461 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280966241 9856004096 330305 33554432000 1073741824 1073778376 140735127309696 140657944778896 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5172/tid=5187] ppid=5170 vsize=9625004 CPUtime=0.46 cores=0,2,4,6
/proc/5172/task/5187/stat : 5187 (java) S 5170 5172 31461 0 -1 4202560 2254 0 0 0 46 0 0 0 20 0 19 0 280966241 9856004096 330305 33554432000 1073741824 1073778376 140735127309696 140657943727032 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5172/tid=5188] ppid=5170 vsize=9625004 CPUtime=0.32 cores=0,2,4,6
/proc/5172/task/5188/stat : 5188 (java) S 5170 5172 31461 0 -1 4202560 1873 0 0 0 32 0 0 0 20 0 19 0 280966241 9856004096 330305 33554432000 1073741824 1073778376 140735127309696 140657942674232 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5172/tid=5189] ppid=5170 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5172/task/5189/stat : 5189 (java) S 5170 5172 31461 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280966241 9856004096 330305 33554432000 1073741824 1073778376 140735127309696 140657941621624 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5172/tid=5190] ppid=5170 vsize=9625004 CPUtime=0.63 cores=0,2,4,6
/proc/5172/task/5190/stat : 5190 (java) S 5170 5172 31461 0 -1 4202560 102 0 0 0 28 35 0 0 20 0 19 0 280966241 9856004096 330305 33554432000 1073741824 1073778376 140735127309696 140657940569032 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5172/tid=5191] ppid=5170 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5172/task/5191/stat : 5191 (java) S 5170 5172 31461 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280966313 9856004096 330305 33554432000 1073741824 1073778376 140735127309696 140657939453096 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1790.37
Current children cumulated vsize (KiB) 9625004
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1792 s]
/proc/loadavg: 2.00 2.00 1.99 2/193 5232
/proc/meminfo: memFree=30387692/32873648 swapFree=7116/7116
[pid=5172] ppid=5170 vsize=9625004 CPUtime=1800.09 cores=0,2,4,6
/proc/5172/stat : 5172 (java) S 5170 5172 31461 0 -1 4202496 13185 0 1 0 179857 152 0 0 20 0 19 0 280966236 9856004096 330305 33554432000 1073741824 1073778376 140735127309696 140735127300832 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5172/statm: 2406251 330305 2289 9 0 2396937 0
[pid=5172/tid=5173] ppid=5170 vsize=9625004 CPUtime=1778.59 cores=0,2,4,6
/proc/5172/task/5173/stat : 5173 (java) R 5170 5172 31461 0 -1 4202560 2934 0 1 0 177822 37 0 0 20 0 19 0 280966237 9856004096 330305 33554432000 1073741824 1073778376 140735127309696 140658325520688 140658183071416 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=5172/tid=5175] ppid=5170 vsize=9625004 CPUtime=1.24 cores=0,2,4,6
/proc/5172/task/5175/stat : 5175 (java) S 5170 5172 31461 0 -1 4202560 413 0 0 0 111 13 0 0 20 0 19 0 280966237 9856004096 330305 33554432000 1073741824 1073778376 140735127309696 140658303621672 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5172/tid=5176] ppid=5170 vsize=9625004 CPUtime=1.25 cores=0,2,4,6
/proc/5172/task/5176/stat : 5176 (java) S 5170 5172 31461 0 -1 4202560 568 0 0 0 112 13 0 0 20 0 19 0 280966237 9856004096 330305 33554432000 1073741824 1073778376 140735127309696 140658302568872 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5172/tid=5177] ppid=5170 vsize=9625004 CPUtime=1.21 cores=0,2,4,6
/proc/5172/task/5177/stat : 5177 (java) S 5170 5172 31461 0 -1 4202560 342 0 0 0 109 12 0 0 20 0 19 0 280966237 9856004096 330305 33554432000 1073741824 1073778376 140735127309696 140658301516072 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5172/tid=5178] ppid=5170 vsize=9625004 CPUtime=1.05 cores=0,2,4,6
/proc/5172/task/5178/stat : 5178 (java) S 5170 5172 31461 0 -1 4202560 602 0 0 0 94 11 0 0 20 0 19 0 280966237 9856004096 330305 33554432000 1073741824 1073778376 140735127309696 140657964345512 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5172/tid=5179] ppid=5170 vsize=9625004 CPUtime=1.25 cores=0,2,4,6
/proc/5172/task/5179/stat : 5179 (java) S 5170 5172 31461 0 -1 4202560 317 0 0 0 112 13 0 0 20 0 19 0 280966237 9856004096 330305 33554432000 1073741824 1073778376 140735127309696 140657963293736 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5172/tid=5180] ppid=5170 vsize=9625004 CPUtime=1.1 cores=0,2,4,6
/proc/5172/task/5180/stat : 5180 (java) S 5170 5172 31461 0 -1 4202560 633 0 0 0 98 12 0 0 20 0 19 0 280966237 9856004096 330305 33554432000 1073741824 1073778376 140735127309696 140657962240936 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5172/tid=5181] ppid=5170 vsize=9625004 CPUtime=1.14 cores=0,2,4,6
/proc/5172/task/5181/stat : 5181 (java) S 5170 5172 31461 0 -1 4202560 372 0 0 0 100 14 0 0 20 0 19 0 280966237 9856004096 330305 33554432000 1073741824 1073778376 140735127309696 140657961188136 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5172/tid=5182] ppid=5170 vsize=9625004 CPUtime=1.18 cores=0,2,4,6
/proc/5172/task/5182/stat : 5182 (java) S 5170 5172 31461 0 -1 4202560 358 0 0 0 106 12 0 0 20 0 19 0 280966237 9856004096 330305 33554432000 1073741824 1073778376 140735127309696 140657960135336 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5172/tid=5183] ppid=5170 vsize=9625004 CPUtime=6.09 cores=0,2,4,6
/proc/5172/task/5183/stat : 5183 (java) S 5170 5172 31461 0 -1 4202560 1236 0 0 0 605 4 0 0 20 0 19 0 280966238 9856004096 330305 33554432000 1073741824 1073778376 140735127309696 140657947937256 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5172/tid=5184] ppid=5170 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5172/task/5184/stat : 5184 (java) S 5170 5172 31461 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280966239 9856004096 330305 33554432000 1073741824 1073778376 140735127309696 140657946883320 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5172/tid=5185] ppid=5170 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5172/task/5185/stat : 5185 (java) S 5170 5172 31461 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280966239 9856004096 330305 33554432000 1073741824 1073778376 140735127309696 140657945830408 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5172/tid=5186] ppid=5170 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5172/task/5186/stat : 5186 (java) S 5170 5172 31461 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280966241 9856004096 330305 33554432000 1073741824 1073778376 140735127309696 140657944778896 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5172/tid=5187] ppid=5170 vsize=9625004 CPUtime=0.46 cores=0,2,4,6
/proc/5172/task/5187/stat : 5187 (java) S 5170 5172 31461 0 -1 4202560 2254 0 0 0 46 0 0 0 20 0 19 0 280966241 9856004096 330305 33554432000 1073741824 1073778376 140735127309696 140657943727032 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5172/tid=5188] ppid=5170 vsize=9625004 CPUtime=0.32 cores=0,2,4,6
/proc/5172/task/5188/stat : 5188 (java) S 5170 5172 31461 0 -1 4202560 1873 0 0 0 32 0 0 0 20 0 19 0 280966241 9856004096 330305 33554432000 1073741824 1073778376 140735127309696 140657942674232 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5172/tid=5189] ppid=5170 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5172/task/5189/stat : 5189 (java) S 5170 5172 31461 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280966241 9856004096 330305 33554432000 1073741824 1073778376 140735127309696 140657941621624 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5172/tid=5190] ppid=5170 vsize=9625004 CPUtime=0.64 cores=0,2,4,6
/proc/5172/task/5190/stat : 5190 (java) S 5170 5172 31461 0 -1 4202560 102 0 0 0 28 36 0 0 20 0 19 0 280966241 9856004096 330305 33554432000 1073741824 1073778376 140735127309696 140657940569032 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5172/tid=5191] ppid=5170 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5172/task/5191/stat : 5191 (java) S 5170 5172 31461 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280966313 9856004096 330305 33554432000 1073741824 1073778376 140735127309696 140657939453096 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 9625004
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 5172 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=969275
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=911709
# CPU time returned by wait4() is 1795.88
# while last known CPU time is 1800.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1792.05
CPU time (s): 1800.09
CPU user time (s): 1798.57
CPU system time (s): 1.52
CPU usage (%): 100.449
Max. virtual memory (cumulated for all children) (KiB): 9625004
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.97
system time used= 1.91171
maximum resident set size= 1321340
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13220
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1568
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 39472
involuntary context switches= 14566
runsolver used 6.61099 second user time and 14.2628 second system time
The end