runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4244476-1500687969/watcher-4244476-1500687969 -o /tmp/evaluation-result-4244476-1500687969/solver-4244476-1500687969 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node136-1500683313-13637 --watchdog 2560 bin/concrete HOME/instance-4244476-1500687969.xml
pid=15199
running on 8 cores: 1,3,5,7,9,11,13,15
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.88 1.50 1.45 2/261 15202
/proc/meminfo: memFree=30442500/32770624 swapFree=5844/239700
[pid=15202] ppid=15199 vsize=9508 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15202/stat : 15202 (bash) R 15199 15202 13605 0 -1 4202496 655 0 0 0 0 0 0 0 20 0 1 0 4063793 9736192 350 33554432000 4194304 5098028 140728120958528 140728120956168 140049706658816 0 0 4100 65536 0 0 0 17 11 0 0 0 0 0 7196144 7232144 31682560 140728120964366 140728120964451 140728120964451 140728120967150 0
/proc/15202/statm: 2377 350 277 221 0 86 0
[startup+0.100179 s]
/proc/loadavg: 1.88 1.50 1.45 2/261 15202
/proc/meminfo: memFree=30442500/32770624 swapFree=5844/239700
[pid=15202] ppid=15199 vsize=9640 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/15202/stat : 15202 (bash) S 15199 15202 13605 0 -1 4202496 880 6422 0 0 0 0 0 1 20 0 1 0 4063793 9871360 378 33554432000 4194304 5098028 140728120958528 140728120952536 140049706658816 0 0 4100 65536 18446744071580971376 0 0 17 11 0 0 0 0 0 7196144 7232144 31682560 140728120964366 140728120964451 140728120964451 140728120967150 0
/proc/15202/statm: 2410 378 296 221 0 119 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9640
[startup+0.200356 s]
/proc/loadavg: 1.88 1.50 1.45 2/261 15202
/proc/meminfo: memFree=30442500/32770624 swapFree=5844/239700
[pid=15202] ppid=15199 vsize=10435860 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/15202/stat : 15202 (java) S 15199 15202 13605 0 -1 1077944320 4874 12361 0 0 6 1 8 3 20 0 13 0 4063793 10686320640 5239 33554432000 4194304 4196468 140723826967264 140723826949808 140435824733943 0 0 0 16800971 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 17076224 140723826973377 140723826976151 140723826976151 140723826978767 0
/proc/15202/statm: 2608965 5239 2171 1 0 2597403 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 10435860
[startup+0.300345 s]
/proc/loadavg: 1.88 1.50 1.45 2/261 15202
/proc/meminfo: memFree=30442500/32770624 swapFree=5844/239700
[pid=15202] ppid=15199 vsize=10902392 CPUtime=0.35 cores=1,3,5,7,9,11,13,15
/proc/15202/stat : 15202 (java) S 15199 15202 13605 0 -1 1077944320 9323 12361 0 0 22 2 8 3 20 0 20 0 4063793 11164049408 10444 33554432000 4194304 4196468 140723826967264 140723826949808 140435824733943 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 17076224 140723826973377 140723826976151 140723826976151 140723826978767 0
/proc/15202/statm: 2725598 10444 2997 1 0 2713890 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 10902392
[startup+0.700269 s]
/proc/loadavg: 1.88 1.50 1.45 2/261 15202
/proc/meminfo: memFree=30442500/32770624 swapFree=5844/239700
[pid=15202] ppid=15199 vsize=10902720 CPUtime=0.97 cores=1,3,5,7,9,11,13,15
/proc/15202/stat : 15202 (java) S 15199 15202 13605 0 -1 1077944320 13009 12361 0 0 82 4 8 3 20 0 20 0 4063793 11164385280 16350 33554432000 4194304 4196468 140723826967264 140723826949808 140435824733943 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 17076224 140723826973377 140723826976151 140723826976151 140723826978767 0
/proc/15202/statm: 2725680 16350 3231 1 0 2713890 0
Current children cumulated CPU time (s) 0.97
Current children cumulated vsize (KiB) 10902720
[startup+1.50135 s]
/proc/loadavg: 1.89 1.51 1.45 3/281 15275
/proc/meminfo: memFree=30334812/32770624 swapFree=5844/239672
[pid=15202] ppid=15199 vsize=10913344 CPUtime=2.29 cores=1,3,5,7,9,11,13,15
/proc/15202/stat : 15202 (java) S 15199 15202 13605 0 -1 1077944320 28028 12361 0 0 204 14 8 3 20 0 20 0 4063793 11175264256 44123 33554432000 4194304 4196468 140723826967264 140723826949808 140435824733943 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 17076224 140723826973377 140723826976151 140723826976151 140723826978767 0
/proc/15202/statm: 2728336 44123 3408 1 0 2716450 0
[pid=15202/tid=15257] ppid=15199 vsize=10913344 CPUtime=1.42 cores=1,3,5,7,9,11,13,15
/proc/15202/task/15257/stat : 15257 (java) R 15199 15202 13605 0 -1 4202560 19559 12361 0 0 125 6 8 3 20 0 20 0 4063806 11175264256 44123 33554432000 4194304 4196468 140723826967264 140435828962336 140435824745878 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 17076224 140723826973377 140723826976151 140723826976151 140723826978767 0
[pid=15202/tid=15258] ppid=15199 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/15202/task/15258/stat : 15258 (java) S 15199 15202 13605 0 -1 1077944384 49 12361 0 0 1 0 8 3 20 0 20 0 4063807 11175264256 44123 33554432000 4194304 4196468 140723826967264 140435777354640 140435824744149 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 17076224 140723826973377 140723826976151 140723826976151 140723826978767 0
[pid=15202/tid=15259] ppid=15199 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/15202/task/15259/stat : 15259 (java) S 15199 15202 13605 0 -1 1077944384 26 12361 0 0 0 0 8 3 20 0 20 0 4063807 11175264256 44123 33554432000 4194304 4196468 140723826967264 140435776301840 140435824744149 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 17076224 140723826973377 140723826976151 140723826976151 140723826978767 0
[pid=15202/tid=15260] ppid=15199 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/15202/task/15260/stat : 15260 (java) S 15199 15202 13605 0 -1 1077944384 26 12361 0 0 0 0 8 3 20 0 20 0 4063807 11175264256 44123 33554432000 4194304 4196468 140723826967264 140435775249552 140435824744149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17076224 140723826973377 140723826976151 140723826976151 140723826978767 0
[pid=15202/tid=15261] ppid=15199 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/15202/task/15261/stat : 15261 (java) S 15199 15202 13605 0 -1 1077944384 26 12361 0 0 1 0 8 3 20 0 20 0 4063807 11175264256 44123 33554432000 4194304 4196468 140723826967264 140435774196752 140435824744149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17076224 140723826973377 140723826976151 140723826976151 140723826978767 0
[pid=15202/tid=15262] ppid=15199 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/15202/task/15262/stat : 15262 (java) S 15199 15202 13605 0 -1 1077944384 32 12361 0 0 1 0 8 3 20 0 20 0 4063807 11175264256 44123 33554432000 4194304 4196468 140723826967264 140435773143440 140435824744149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17076224 140723826973377 140723826976151 140723826976151 140723826978767 0
[pid=15202/tid=15263] ppid=15199 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/15202/task/15263/stat : 15263 (java) S 15199 15202 13605 0 -1 1077944384 16 12361 0 0 1 0 8 3 20 0 20 0 4063807 11175264256 44123 33554432000 4194304 4196468 140723826967264 140435772090640 140435824744149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17076224 140723826973377 140723826976151 140723826976151 140723826978767 0
[pid=15202/tid=15264] ppid=15199 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/15202/task/15264/stat : 15264 (java) S 15199 15202 13605 0 -1 1077944384 122 12361 0 0 0 0 8 3 20 0 20 0 4063807 11175264256 44123 33554432000 4194304 4196468 140723826967264 140435771038352 140435824744149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17076224 140723826973377 140723826976151 140723826976151 140723826978767 0
[pid=15202/tid=15265] ppid=15199 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/15202/task/15265/stat : 15265 (java) S 15199 15202 13605 0 -1 1077944384 24 12361 0 0 1 0 8 3 20 0 20 0 4063807 11175264256 44123 33554432000 4194304 4196468 140723826967264 140435769985552 140435824744149 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 17076224 140723826973377 140723826976151 140723826976151 140723826978767 0
[pid=15202/tid=15266] ppid=15199 vsize=10915392 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/15202/task/15266/stat : 15266 (java) S 15199 15202 13605 0 -1 1077944384 1627 12361 0 0 1 0 8 3 20 0 20 0 4063809 11177361408 44123 33554432000 4194304 4196468 140723826967264 140435366505072 140435824745090 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17076224 140723826973377 140723826976151 140723826976151 140723826978767 0
[pid=15202/tid=15267] ppid=15199 vsize=10915392 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/15202/task/15267/stat : 15267 (java) S 15199 15202 13605 0 -1 1077944384 56 12361 0 0 0 0 8 3 20 0 20 0 4063810 11177361408 44123 33554432000 4194304 4196468 140723826967264 140435365451040 140435824744149 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 17076224 140723826973377 140723826976151 140723826976151 140723826978767 0
[pid=15202/tid=15268] ppid=15199 vsize=10915392 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/15202/task/15268/stat : 15268 (java) S 15199 15202 13605 0 -1 1077944384 46 12361 0 0 0 0 8 3 20 0 20 0 4063810 11177361408 44123 33554432000 4194304 4196468 140723826967264 140435162916464 140435824744149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17076224 140723826973377 140723826976151 140723826976151 140723826978767 0
[pid=15202/tid=15269] ppid=15199 vsize=10915392 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/15202/task/15269/stat : 15269 (java) S 15199 15202 13605 0 -1 1077944384 1 12361 0 0 0 0 8 3 20 0 20 0 4063814 11177361408 44123 33554432000 4194304 4196468 140723826967264 140435161864784 140435824752539 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 17076224 140723826973377 140723826976151 140723826976151 140723826978767 0
[pid=15202/tid=15270] ppid=15199 vsize=10915392 CPUtime=0.27 cores=1,3,5,7,9,11,13,15
/proc/15202/task/15270/stat : 15270 (java) S 15199 15202 13605 0 -1 1077944384 1584 12361 0 0 16 0 8 3 20 0 20 0 4063814 11177361408 44123 33554432000 4194304 4196468 140723826967264 140435160811632 140435824745090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17076224 140723826973377 140723826976151 140723826976151 140723826978767 0
[pid=15202/tid=15271] ppid=15199 vsize=10915392 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/15202/task/15271/stat : 15271 (java) S 15199 15202 13605 0 -1 1077944384 686 12361 0 0 11 0 8 3 20 0 20 0 4063814 11177361408 44123 33554432000 4194304 4196468 140723826967264 140435159758832 140435824745090 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17076224 140723826973377 140723826976151 140723826976151 140723826978767 0
[pid=15202/tid=15272] ppid=15199 vsize=10915392 CPUtime=0.24 cores=1,3,5,7,9,11,13,15
/proc/15202/task/15272/stat : 15272 (java) S 15199 15202 13605 0 -1 1077944384 486 12361 0 0 13 0 8 3 20 0 20 0 4063814 11177361408 44123 33554432000 4194304 4196468 140723826967264 140435158706544 140435824745090 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 17076224 140723826973377 140723826976151 140723826976151 140723826978767 0
[pid=15202/tid=15273] ppid=15199 vsize=10915392 CPUtime=0.38 cores=1,3,5,7,9,11,13,15
/proc/15202/task/15273/stat : 15273 (java) S 15199 15202 13605 0 -1 1077944384 1523 12361 0 0 27 0 8 3 20 0 20 0 4063814 11177361408 44123 33554432000 4194304 4196468 140723826967264 140435157653744 140435824745090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17076224 140723826973377 140723826976151 140723826976151 140723826978767 0
[pid=15202/tid=15274] ppid=15199 vsize=10915392 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/15202/task/15274/stat : 15274 (java) S 15199 15202 13605 0 -1 1077944384 3 12361 0 0 0 0 8 3 20 0 20 0 4063814 11177361408 44123 33554432000 4194304 4196468 140723826967264 140435156601696 140435824744149 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 17076224 140723826973377 140723826976151 140723826976151 140723826978767 0
[pid=15202/tid=15275] ppid=15199 vsize=10915392 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/15202/task/15275/stat : 15275 (java) S 15199 15202 13605 0 -1 1077944384 6 12361 0 0 0 0 8 3 20 0 20 0 4063814 11177361408 44123 33554432000 4194304 4196468 140723826967264 140435155548976 140435824745090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17076224 140723826973377 140723826976151 140723826976151 140723826978767 0
Current children cumulated CPU time (s) 2.29
Current children cumulated vsize (KiB) 10913344
[startup+3.10122 s]
/proc/loadavg: 1.89 1.51 1.45 5/281 15275
/proc/meminfo: memFree=30262580/32770624 swapFree=5844/239672
[pid=15202] ppid=15199 vsize=10925820 CPUtime=6.95 cores=1,3,5,7,9,11,13,15
/proc/15202/stat : 15202 (java) S 15199 15202 13605 0 -1 1077944320 44859 12361 0 0 664 20 8 3 20 0 20 0 4063793 11188039680 59100 33554432000 4194304 4196468 140723826967264 140723826949808 140435824733943 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 17076224 140723826973377 140723826976151 140723826976151 140723826978767 0
/proc/15202/statm: 2731455 59100 3473 1 0 2719010 0
[pid=15202/tid=15257] ppid=15199 vsize=10925820 CPUtime=3.01 cores=1,3,5,7,9,11,13,15
/proc/15202/task/15257/stat : 15257 (java) R 15199 15202 13605 0 -1 4202560 25671 12361 0 0 281 9 8 3 20 0 20 0 4063806 11188039680 59100 33554432000 4194304 4196468 140723826967264 140435828963400 140435453358564 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 17076224 140723826973377 140723826976151 140723826976151 140723826978767 0
[pid=15202/tid=15258] ppid=15199 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/15202/task/15258/stat : 15258 (java) S 15199 15202 13605 0 -1 1077944384 49 12361 0 0 1 0 8 3 20 0 20 0 4063807 11188039680 59100 33554432000 4194304 4196468 140723826967264 140435777354640 140435824744149 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 17076224 140723826973377 140723826976151 140723826976151 140723826978767 0
[pid=15202/tid=15259] ppid=15199 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/15202/task/15259/stat : 15259 (java) S 15199 15202 13605 0 -1 1077944384 26 12361 0 0 0 0 8 3 20 0 20 0 4063807 11188039680 59100 33554432000 4194304 4196468 140723826967264 140435776301840 140435824744149 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 17076224 140723826973377 140723826976151 140723826976151 140723826978767 0
[pid=15202/tid=15260] ppid=15199 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/15202/task/15260/stat : 15260 (java) S 15199 15202 13605 0 -1 1077944384 26 12361 0 0 0 0 8 3 20 0 20 0 4063807 11188039680 59100 33554432000 4194304 4196468 140723826967264 140435775249552 140435824744149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17076224 140723826973377 140723826976151 140723826976151 140723826978767 0
[pid=15202/tid=15261] ppid=15199 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/15202/task/15261/stat : 15261 (java) S 15199 15202 13605 0 -1 1077944384 26 12361 0 0 1 0 8 3 20 0 20 0 4063807 11188039680 59100 33554432000 4194304 4196468 140723826967264 140435774196752 140435824744149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17076224 140723826973377 140723826976151 140723826976151 140723826978767 0
[pid=15202/tid=15262] ppid=15199 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/15202/task/15262/stat : 15262 (java) S 15199 15202 13605 0 -1 1077944384 32 12361 0 0 1 0 8 3 20 0 20 0 4063807 11188039680 59100 33554432000 4194304 4196468 140723826967264 140435773143440 140435824744149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17076224 140723826973377 140723826976151 140723826976151 140723826978767 0
[pid=15202/tid=15263] ppid=15199 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/15202/task/15263/stat : 15263 (java) S 15199 15202 13605 0 -1 1077944384 16 12361 0 0 1 0 8 3 20 0 20 0 4063807 11188039680 59100 33554432000 4194304 4196468 140723826967264 140435772090640 140435824744149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17076224 140723826973377 140723826976151 140723826976151 140723826978767 0
[pid=15202/tid=15264] ppid=15199 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/15202/task/15264/stat : 15264 (java) S 15199 15202 13605 0 -1 1077944384 122 12361 0 0 0 0 8 3 20 0 20 0 4063807 11188039680 59113 33554432000 4194304 4196468 140723826967264 140435771038352 140435824744149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17076224 140723826973377 140723826976151 140723826976151 140723826978767 0
[pid=15202/tid=15265] ppid=15199 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/15202/task/15265/stat : 15265 (java) S 15199 15202 13605 0 -1 1077944384 24 12361 0 0 1 0 8 3 20 0 20 0 4063807 11188039680 59113 33554432000 4194304 4196468 140723826967264 140435769985552 140435824744149 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 17076224 140723826973377 140723826976151 140723826976151 140723826978767 0
[pid=15202/tid=15266] ppid=15199 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/15202/task/15266/stat : 15266 (java) S 15199 15202 13605 0 -1 1077944384 1644 12361 0 0 1 0 8 3 20 0 20 0 4063809 11188039680 59113 33554432000 4194304 4196468 140723826967264 140435366505072 140435824745090 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17076224 140723826973377 140723826976151 140723826976151 140723826978767 0
[pid=15202/tid=15267] ppid=15199 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/15202/task/15267/stat : 15267 (java) S 15199 15202 13605 0 -1 1077944384 56 12361 0 0 0 0 8 3 20 0 20 0 4063810 11188039680 59113 33554432000 4194304 4196468 140723826967264 140435365451040 140435824744149 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 17076224 140723826973377 140723826976151 140723826976151 140723826978767 0
[pid=15202/tid=15268] ppid=15199 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/15202/task/15268/stat : 15268 (java) S 15199 15202 13605 0 -1 1077944384 46 12361 0 0 0 0 8 3 20 0 20 0 4063810 11188039680 59113 33554432000 4194304 4196468 140723826967264 140435162916464 140435824744149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17076224 140723826973377 140723826976151 140723826976151 140723826978767 0
[pid=15202/tid=15269] ppid=15199 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/15202/task/15269/stat : 15269 (java) S 15199 15202 13605 0 -1 1077944384 1 12361 0 0 0 0 8 3 20 0 20 0 4063814 11188039680 59113 33554432000 4194304 4196468 140723826967264 140435161864784 140435824752539 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 17076224 140723826973377 140723826976151 140723826976151 140723826978767 0
[pid=15202/tid=15270] ppid=15199 vsize=10925820 CPUtime=0.88 cores=1,3,5,7,9,11,13,15
/proc/15202/task/15270/stat : 15270 (java) R 15199 15202 13605 0 -1 4202560 2919 12361 0 0 76 1 8 3 20 0 20 0 4063814 11188039680 59113 33554432000 4194304 4196468 140723826967264 140435160798176 140435817830652 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 17076224 140723826973377 140723826976151 140723826976151 140723826978767 0
[pid=15202/tid=15271] ppid=15199 vsize=10925820 CPUtime=1.08 cores=1,3,5,7,9,11,13,15
/proc/15202/task/15271/stat : 15271 (java) R 15199 15202 13605 0 -1 4202560 4361 12361 0 0 97 0 8 3 20 0 20 0 4063814 11188039680 59113 33554432000 4194304 4196468 140723826967264 140435159739312 140435810778193 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17076224 140723826973377 140723826976151 140723826976151 140723826978767 0
[pid=15202/tid=15272] ppid=15199 vsize=10925820 CPUtime=0.89 cores=1,3,5,7,9,11,13,15
/proc/15202/task/15272/stat : 15272 (java) R 15199 15202 13605 0 -1 4202560 2536 12361 0 0 77 1 8 3 20 0 20 0 4063814 11188039680 59113 33554432000 4194304 4196468 140723826967264 140435158691504 140435809655936 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17076224 140723826973377 140723826976151 140723826976151 140723826978767 0
[pid=15202/tid=15273] ppid=15199 vsize=10925820 CPUtime=1.32 cores=1,3,5,7,9,11,13,15
/proc/15202/task/15273/stat : 15273 (java) S 15199 15202 13605 0 -1 1077944384 5170 12361 0 0 120 1 8 3 20 0 20 0 4063814 11188039680 59113 33554432000 4194304 4196468 140723826967264 140435157653744 140435824745090 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 17076224 140723826973377 140723826976151 140723826976151 140723826978767 0
[pid=15202/tid=15274] ppid=15199 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/15202/task/15274/stat : 15274 (java) S 15199 15202 13605 0 -1 1077944384 3 12361 0 0 0 0 8 3 20 0 20 0 4063814 11188039680 59113 33554432000 4194304 4196468 140723826967264 140435156601696 140435824744149 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 17076224 140723826973377 140723826976151 140723826976151 140723826978767 0
[pid=15202/tid=15275] ppid=15199 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/15202/task/15275/stat : 15275 (java) S 15199 15202 13605 0 -1 1077944384 7 12361 0 0 0 0 8 3 20 0 20 0 4063814 11188039680 59113 33554432000 4194304 4196468 140723826967264 140435155548976 140435824745090 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 17076224 140723826973377 140723826976151 140723826976151 140723826978767 0
Current children cumulated CPU time (s) 6.95
Current children cumulated vsize (KiB) 10925820
[startup+6.30128 s]
/proc/loadavg: 1.90 1.51 1.46 4/281 15275
/proc/meminfo: memFree=30080884/32770624 swapFree=5844/239680
[pid=15202] ppid=15199 vsize=10929916 CPUtime=18.26 cores=1,3,5,7,9,11,13,15
/proc/15202/stat : 15202 (java) S 15199 15202 13605 0 -1 1077944320 50583 12361 0 0 1747 68 8 3 20 0 20 0 4063793 11192233984 106636 33554432000 4194304 4196468 140723826967264 140723826949808 140435824733943 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 17076224 140723826973377 140723826976151 140723826976151 140723826978767 0
/proc/15202/statm: 2732479 106636 3510 1 0 2720034 0
[pid=15202/tid=15257] ppid=15199 vsize=10929916 CPUtime=6 cores=1,3,5,7,9,11,13,15
/proc/15202/task/15257/stat : 15257 (java) R 15199 15202 13605 0 -1 4202560 27038 12361 0 0 578 11 8 3 20 0 20 0 4063806 11192233984 106636 33554432000 4194304 4196468 140723826967264 140435828968224 140435448425952 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17076224 140723826973377 140723826976151 140723826976151 140723826978767 0
[pid=15202/tid=15258] ppid=15199 vsize=10929916 CPUtime=0.27 cores=1,3,5,7,9,11,13,15
/proc/15202/task/15258/stat : 15258 (java) S 15199 15202 13605 0 -1 1077944384 162 12361 0 0 10 6 8 3 20 0 20 0 4063807 11192233984 106636 33554432000 4194304 4196468 140723826967264 140435777354640 140435824744149 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 17076224 140723826973377 140723826976151 140723826976151 140723826978767 0
[pid=15202/tid=15259] ppid=15199 vsize=10929916 CPUtime=0.28 cores=1,3,5,7,9,11,13,15
/proc/15202/task/15259/stat : 15259 (java) S 15199 15202 13605 0 -1 1077944384 88 12361 0 0 11 6 8 3 20 0 20 0 4063807 11192233984 106636 33554432000 4194304 4196468 140723826967264 140435776301840 140435824744149 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 17076224 140723826973377 140723826976151 140723826976151 140723826978767 0
[pid=15202/tid=15260] ppid=15199 vsize=10929916 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/15202/task/15260/stat : 15260 (java) S 15199 15202 13605 0 -1 1077944384 73 12361 0 0 10 5 8 3 20 0 20 0 4063807 11192233984 106636 33554432000 4194304 4196468 140723826967264 140435775249552 140435824744149 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 17076224 140723826973377 140723826976151 140723826976151 140723826978767 0
[pid=15202/tid=15261] ppid=15199 vsize=10929916 CPUtime=0.28 cores=1,3,5,7,9,11,13,15
/proc/15202/task/15261/stat : 15261 (java) S 15199 15202 13605 0 -1 1077944384 98 12361 0 0 12 5 8 3 20 0 20 0 4063807 11192233984 106636 33554432000 4194304 4196468 140723826967264 140435774196752 140435824744149 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 17076224 140723826973377 140723826976151 140723826976151 140723826978767 0
[pid=15202/tid=15262] ppid=15199 vsize=10929916 CPUtime=0.28 cores=1,3,5,7,9,11,13,15
/proc/15202/task/15262/stat : 15262 (java) S 15199 15202 13605 0 -1 1077944384 84 12361 0 0 11 6 8 3 20 0 20 0 4063807 11192233984 106636 33554432000 4194304 4196468 140723826967264 140435773143440 140435824744149 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 17076224 140723826973377 140723826976151 140723826976151 140723826978767 0
[pid=15202/tid=15263] ppid=15199 vsize=10929916 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/15202/task/15263/stat : 15263 (java) S 15199 15202 13605 0 -1 1077944384 66 12361 0 0 10 5 8 3 20 0 20 0 4063807 11192233984 106636 33554432000 4194304 4196468 140723826967264 140435772090640 140435824744149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17076224 140723826973377 140723826976151 140723826976151 140723826978767 0
[pid=15202/tid=15264] ppid=15199 vsize=10929916 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/15202/task/15264/stat : 15264 (java) S 15199 15202 13605 0 -1 1077944384 178 12361 0 0 10 5 8 3 20 0 20 0 4063807 11192233984 106636 33554432000 4194304 4196468 140723826967264 140435771038352 140435824744149 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 17076224 140723826973377 140723826976151 140723826976151 140723826978767 0
[pid=15202/tid=15265] ppid=15199 vsize=10929916 CPUtime=0.28 cores=1,3,5,7,9,11,13,15
/proc/15202/task/15265/stat : 15265 (java) S 15199 15202 13605 0 -1 1077944384 95 12361 0 0 12 5 8 3 20 0 20 0 4063807 11192233984 106636 33554432000 4194304 4196468 140723826967264 140435769985552 140435824744149 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 17076224 140723826973377 140723826976151 140723826976151 140723826978767 0
[pid=15202/tid=15266] ppid=15199 vsize=10929916 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/15202/task/15266/stat : 15266 (java) S 15199 15202 13605 0 -1 1077944384 2397 12361 0 0 5 0 8 3 20 0 20 0 4063809 11192233984 106636 33554432000 4194304 4196468 140723826967264 140435366505072 140435824745090 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17076224 140723826973377 140723826976151 140723826976151 140723826978767 0
[pid=15202/tid=15267] ppid=15199 vsize=10929916 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/15202/task/15267/stat : 15267 (java) S 15199 15202 13605 0 -1 1077944384 56 12361 0 0 0 0 8 3 20 0 20 0 4063810 11192233984 106636 33554432000 4194304 4196468 140723826967264 140435365451104 140435824744149 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 17076224 140723826973377 140723826976151 140723826976151 140723826978767 0
[pid=15202/tid=15268] ppid=15199 vsize=10929916 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/15202/task/15268/stat : 15268 (java) S 15199 15202 13605 0 -1 1077944384 46 12361 0 0 0 0 8 3 20 0 20 0 4063810 11192233984 106636 33554432000 4194304 4196468 140723826967264 140435162916480 140435824744149 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 17076224 140723826973377 140723826976151 140723826976151 140723826978767 0
[pid=15202/tid=15269] ppid=15199 vsize=10929916 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/15202/task/15269/stat : 15269 (java) S 15199 15202 13605 0 -1 1077944384 1 12361 0 0 0 0 8 3 20 0 20 0 4063814 11192233984 106636 33554432000 4194304 4196468 140723826967264 140435161864784 140435824752539 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 17076224 140723826973377 140723826976151 140723826976151 140723826978767 0
[pid=15202/tid=15270] ppid=15199 vsize=10929916 CPUtime=2.95 cores=1,3,5,7,9,11,13,15
/proc/15202/task/15270/stat : 15270 (java) R 15199 15202 13605 0 -1 4202560 3426 12361 0 0 282 2 8 3 20 0 20 0 4063814 11192233984 106636 33554432000 4194304 4196468 140723826967264 140435160803280 140435805912817 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17076224 140723826973377 140723826976151 140723826976151 140723826978767 0
[pid=15202/tid=15271] ppid=15199 vsize=10929916 CPUtime=3.13 cores=1,3,5,7,9,11,13,15
/proc/15202/task/15271/stat : 15271 (java) S 15199 15202 13605 0 -1 1077944384 4718 12361 0 0 301 1 8 3 20 0 20 0 4063814 11192233984 106636 33554432000 4194304 4196468 140723826967264 140435159758832 140435824745090 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17076224 140723826973377 140723826976151 140723826976151 140723826978767 0
[pid=15202/tid=15272] ppid=15199 vsize=10929916 CPUtime=2.97 cores=1,3,5,7,9,11,13,15
/proc/15202/task/15272/stat : 15272 (java) R 15199 15202 13605 0 -1 4202560 3698 12361 0 0 284 2 8 3 20 0 20 0 4063814 11192233984 106636 33554432000 4194304 4196468 140723826967264 140435158692568 140435808118787 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 17076224 140723826973377 140723826976151 140723826976151 140723826978767 0
[pid=15202/tid=15273] ppid=15199 vsize=10929916 CPUtime=2.17 cores=1,3,5,7,9,11,13,15
/proc/15202/task/15273/stat : 15273 (java) R 15199 15202 13605 0 -1 4202560 6168 12361 0 0 203 3 8 3 20 0 20 0 4063814 11192233984 106636 33554432000 4194304 4196468 140723826967264 140435157651704 140435803254385 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 17076224 140723826973377 140723826976151 140723826976151 140723826978767 0
[pid=15202/tid=15274] ppid=15199 vsize=10929916 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
################
# More data... #
################
[pid=15202/tid=15273] ppid=15199 vsize=10997500 CPUtime=2.53 cores=1,3,5,7,9,11,13,15
/proc/15202/task/15273/stat : 15273 (java) S 15199 15202 13605 0 -1 1077944384 11401 12361 0 0 237 5 8 3 20 0 20 0 4063814 11261440000 462972 33554432000 4194304 4196468 140723826967264 140435157653744 140435824745090 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17076224 140723826973377 140723826976151 140723826976151 140723826978767 0
[pid=15202/tid=15274] ppid=15199 vsize=10997500 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/15202/task/15274/stat : 15274 (java) S 15199 15202 13605 0 -1 1077944384 3 12361 0 0 0 0 8 3 20 0 20 0 4063814 11261440000 462972 33554432000 4194304 4196468 140723826967264 140435156601696 140435824744149 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 17076224 140723826973377 140723826976151 140723826976151 140723826978767 0
[pid=15202/tid=15275] ppid=15199 vsize=10997500 CPUtime=1.38 cores=1,3,5,7,9,11,13,15
/proc/15202/task/15275/stat : 15275 (java) S 15199 15202 13605 0 -1 1077944384 2889 12361 0 0 61 66 8 3 20 0 20 0 4063814 11261440000 462972 33554432000 4194304 4196468 140723826967264 140435155548976 140435824745090 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17076224 140723826973377 140723826976151 140723826976151 140723826978767 0
Current children cumulated CPU time (s) 2400
Current children cumulated vsize (KiB) 10997500
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 15202 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2322.81 s]
/proc/loadavg: 1.43 1.39 1.39 3/282 15511
/proc/meminfo: memFree=28426064/32770624 swapFree=5844/241992
[pid=15202] ppid=15199 vsize=11130628 CPUtime=2400.42 cores=1,3,5,7,9,11,13,15
/proc/15202/stat : 15202 (java) S 15199 15202 13605 0 -1 1077944320 271534 12361 0 0 239555 476 8 3 20 0 22 0 4063793 11397763072 464746 33554432000 4194304 4196468 140723826967264 140723826949808 140435824733943 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 17076224 140723826973377 140723826976151 140723826976151 140723826978767 0
/proc/15202/statm: 2782657 464746 3516 1 0 2770212 0
[pid=15202/tid=15257] ppid=15199 vsize=11130628 CPUtime=2301.59 cores=1,3,5,7,9,11,13,15
/proc/15202/task/15257/stat : 15257 (java) S 15199 15202 13605 0 -1 1077944384 99490 12361 0 0 230092 56 8 3 20 0 22 0 4063806 11397763072 464746 33554432000 4194304 4196468 140723826967264 140435828971488 140435824744149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17076224 140723826973377 140723826976151 140723826976151 140723826978767 0
[pid=15202/tid=15258] ppid=15199 vsize=11130628 CPUtime=9.41 cores=1,3,5,7,9,11,13,15
/proc/15202/task/15258/stat : 15258 (java) R 15199 15202 13605 0 -1 4202560 12994 12361 0 0 886 44 8 3 20 0 22 0 4063807 11397763072 464746 33554432000 4194304 4196468 140723826967264 140435777354760 140435817362151 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17076224 140723826973377 140723826976151 140723826976151 140723826978767 0
[pid=15202/tid=15259] ppid=15199 vsize=11130628 CPUtime=9.49 cores=1,3,5,7,9,11,13,15
/proc/15202/task/15259/stat : 15259 (java) R 15199 15202 13605 0 -1 4202560 9022 12361 0 0 892 46 8 3 20 0 22 0 4063807 11397763072 464746 33554432000 4194304 4196468 140723826967264 140435776301960 140435817362151 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 17076224 140723826973377 140723826976151 140723826976151 140723826978767 0
[pid=15202/tid=15260] ppid=15199 vsize=11130628 CPUtime=9.47 cores=1,3,5,7,9,11,13,15
/proc/15202/task/15260/stat : 15260 (java) R 15199 15202 13605 0 -1 4202560 7891 12361 0 0 896 40 8 3 20 0 22 0 4063807 11397763072 464746 33554432000 4194304 4196468 140723826967264 140435775249672 140435808116978 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 17076224 140723826973377 140723826976151 140723826976151 140723826978767 0
[pid=15202/tid=15261] ppid=15199 vsize=11130628 CPUtime=9.45 cores=1,3,5,7,9,11,13,15
/proc/15202/task/15261/stat : 15261 (java) R 15199 15202 13605 0 -1 4202560 17630 12361 0 0 892 42 8 3 20 0 22 0 4063807 11397763072 464746 33554432000 4194304 4196468 140723826967264 140435774196952 140435809434558 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17076224 140723826973377 140723826976151 140723826976151 140723826978767 0
[pid=15202/tid=15262] ppid=15199 vsize=11130628 CPUtime=9.47 cores=1,3,5,7,9,11,13,15
/proc/15202/task/15262/stat : 15262 (java) R 15199 15202 13605 0 -1 4202560 10806 12361 0 0 894 42 8 3 20 0 22 0 4063807 11397763072 464746 33554432000 4194304 4196468 140723826967264 140435773143560 140435817362151 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17076224 140723826973377 140723826976151 140723826976151 140723826978767 0
[pid=15202/tid=15263] ppid=15199 vsize=11130628 CPUtime=9.57 cores=1,3,5,7,9,11,13,15
/proc/15202/task/15263/stat : 15263 (java) R 15199 15202 13605 0 -1 4202560 9859 12361 0 0 907 39 8 3 20 0 22 0 4063807 11397763072 464746 33554432000 4194304 4196468 140723826967264 140435772090760 140435817362151 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 17076224 140723826973377 140723826976151 140723826976151 140723826978767 0
[pid=15202/tid=15264] ppid=15199 vsize=11130628 CPUtime=9.34 cores=1,3,5,7,9,11,13,15
/proc/15202/task/15264/stat : 15264 (java) R 15199 15202 13605 0 -1 4202560 15982 12361 0 0 878 45 8 3 20 0 22 0 4063807 11397763072 464746 33554432000 4194304 4196468 140723826967264 140435771038472 140435817362151 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17076224 140723826973377 140723826976151 140723826976151 140723826978767 0
[pid=15202/tid=15265] ppid=15199 vsize=11130628 CPUtime=9.38 cores=1,3,5,7,9,11,13,15
/proc/15202/task/15265/stat : 15265 (java) R 15199 15202 13605 0 -1 4202560 7693 12361 0 0 887 40 8 3 20 0 22 0 4063807 11397763072 464746 33554432000 4194304 4196468 140723826967264 140435769985672 140435817362151 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 17076224 140723826973377 140723826976151 140723826976151 140723826978767 0
[pid=15202/tid=15266] ppid=15199 vsize=11130628 CPUtime=7.81 cores=1,3,5,7,9,11,13,15
/proc/15202/task/15266/stat : 15266 (java) S 15199 15202 13605 0 -1 1077944384 28933 12361 0 0 731 39 8 3 20 0 22 0 4063809 11397763072 464746 33554432000 4194304 4196468 140723826967264 140435366503696 140435824744149 0 0 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 17076224 140723826973377 140723826976151 140723826976151 140723826978767 0
[pid=15202/tid=15267] ppid=15199 vsize=11130628 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/15202/task/15267/stat : 15267 (java) S 15199 15202 13605 0 -1 1077944384 56 12361 0 0 0 0 8 3 20 0 22 0 4063810 11397763072 464746 33554432000 4194304 4196468 140723826967264 140435365451168 140435824744149 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 17076224 140723826973377 140723826976151 140723826976151 140723826978767 0
[pid=15202/tid=15268] ppid=15199 vsize=11130628 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/15202/task/15268/stat : 15268 (java) S 15199 15202 13605 0 -1 1077944384 46 12361 0 0 0 0 8 3 20 0 22 0 4063810 11397763072 464746 33554432000 4194304 4196468 140723826967264 140435162916480 140435824744149 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 17076224 140723826973377 140723826976151 140723826976151 140723826978767 0
[pid=15202/tid=15269] ppid=15199 vsize=11130628 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/15202/task/15269/stat : 15269 (java) S 15199 15202 13605 0 -1 1077944384 97 12361 0 0 0 0 8 3 20 0 22 0 4063814 11397763072 464746 33554432000 4194304 4196468 140723826967264 140435161864784 140435824752539 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 17076224 140723826973377 140723826976151 140723826976151 140723826978767 0
[pid=15202/tid=15270] ppid=15199 vsize=11130628 CPUtime=4.05 cores=1,3,5,7,9,11,13,15
/proc/15202/task/15270/stat : 15270 (java) S 15199 15202 13605 0 -1 1077944384 9341 12361 0 0 391 3 8 3 20 0 22 0 4063814 11397763072 464746 33554432000 4194304 4196468 140723826967264 140435160811632 140435824745090 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17076224 140723826973377 140723826976151 140723826976151 140723826978767 0
[pid=15202/tid=15271] ppid=15199 vsize=11130628 CPUtime=4.36 cores=1,3,5,7,9,11,13,15
/proc/15202/task/15271/stat : 15271 (java) S 15199 15202 13605 0 -1 1077944384 11639 12361 0 0 423 2 8 3 20 0 22 0 4063814 11397763072 464746 33554432000 4194304 4196468 140723826967264 140435159758832 140435824745090 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 17076224 140723826973377 140723826976151 140723826976151 140723826978767 0
[pid=15202/tid=15272] ppid=15199 vsize=11130628 CPUtime=4.45 cores=1,3,5,7,9,11,13,15
/proc/15202/task/15272/stat : 15272 (java) S 15199 15202 13605 0 -1 1077944384 13423 12361 0 0 430 4 8 3 20 0 22 0 4063814 11397763072 464746 33554432000 4194304 4196468 140723826967264 140435158706544 140435824745090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17076224 140723826973377 140723826976151 140723826976151 140723826978767 0
[pid=15202/tid=15273] ppid=15199 vsize=11130628 CPUtime=2.53 cores=1,3,5,7,9,11,13,15
/proc/15202/task/15273/stat : 15273 (java) S 15199 15202 13605 0 -1 1077944384 11497 12361 0 0 237 5 8 3 20 0 22 0 4063814 11397763072 464746 33554432000 4194304 4196468 140723826967264 140435157648064 140435824744149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17076224 140723826973377 140723826976151 140723826976151 140723826978767 0
[pid=15202/tid=15274] ppid=15199 vsize=11130628 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/15202/task/15274/stat : 15274 (java) S 15199 15202 13605 0 -1 1077944384 3 12361 0 0 0 0 8 3 20 0 22 0 4063814 11397763072 464746 33554432000 4194304 4196468 140723826967264 140435156601696 140435824744149 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 17076224 140723826973377 140723826976151 140723826976151 140723826978767 0
[pid=15202/tid=15275] ppid=15199 vsize=11130628 CPUtime=1.38 cores=1,3,5,7,9,11,13,15
/proc/15202/task/15275/stat : 15275 (java) S 15199 15202 13605 0 -1 1077944384 2889 12361 0 0 61 66 8 3 20 0 22 0 4063814 11397763072 464746 33554432000 4194304 4196468 140723826967264 140435155548976 140435824745090 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17076224 140723826973377 140723826976151 140723826976151 140723826978767 0
Current children cumulated CPU time (s) 2400.42
Current children cumulated vsize (KiB) 11130628
[startup+2323.2 s]
/proc/loadavg: 1.43 1.39 1.39 11/284 15513
/proc/meminfo: memFree=28418648/32770624 swapFree=5844/242000
[pid=15202] ppid=15199 vsize=11130628 CPUtime=2403.29 cores=1,3,5,7,9,11,13,15
/proc/15202/stat : 15202 (java) S 15199 15202 13605 0 -1 1077944320 271805 12361 0 0 239842 476 8 3 20 0 22 0 4063793 11397763072 464858 33554432000 4194304 4196468 140723826967264 140723826949808 140435824733943 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 17076224 140723826973377 140723826976151 140723826976151 140723826978767 0
/proc/15202/statm: 2782657 464858 3516 1 0 2770212 0
[pid=15202/tid=15257] ppid=15199 vsize=11130628 CPUtime=2301.59 cores=1,3,5,7,9,11,13,15
/proc/15202/task/15257/stat : 15257 (java) S 15199 15202 13605 0 -1 1077944384 99490 12361 0 0 230092 56 8 3 20 0 22 0 4063806 11397763072 464858 33554432000 4194304 4196468 140723826967264 140435828971488 140435824744149 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 17076224 140723826973377 140723826976151 140723826976151 140723826978767 0
[pid=15202/tid=15258] ppid=15199 vsize=11130628 CPUtime=9.77 cores=1,3,5,7,9,11,13,15
/proc/15202/task/15258/stat : 15258 (java) R 15199 15202 13605 0 -1 4202560 12995 12361 0 0 922 44 8 3 20 0 22 0 4063807 11397763072 464858 33554432000 4194304 4196468 140723826967264 140435777354840 140435809187974 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 17076224 140723826973377 140723826976151 140723826976151 140723826978767 0
[pid=15202/tid=15259] ppid=15199 vsize=11130628 CPUtime=9.85 cores=1,3,5,7,9,11,13,15
/proc/15202/task/15259/stat : 15259 (java) R 15199 15202 13605 0 -1 4202560 9033 12361 0 0 928 46 8 3 20 0 22 0 4063807 11397763072 464858 33554432000 4194304 4196468 140723826967264 140435776302040 140435806330410 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17076224 140723826973377 140723826976151 140723826976151 140723826978767 0
[pid=15202/tid=15260] ppid=15199 vsize=11130628 CPUtime=9.83 cores=1,3,5,7,9,11,13,15
/proc/15202/task/15260/stat : 15260 (java) R 15199 15202 13605 0 -1 4202560 7891 12361 0 0 932 40 8 3 20 0 22 0 4063807 11397763072 464858 33554432000 4194304 4196468 140723826967264 140435775249752 140435806329878 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17076224 140723826973377 140723826976151 140723826976151 140723826978767 0
[pid=15202/tid=15261] ppid=15199 vsize=11130628 CPUtime=9.82 cores=1,3,5,7,9,11,13,15
/proc/15202/task/15261/stat : 15261 (java) R 15199 15202 13605 0 -1 4202560 17632 12361 0 0 929 42 8 3 20 0 22 0 4063807 11397763072 464858 33554432000 4194304 4196468 140723826967264 140435774196952 140435806330944 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 17076224 140723826973377 140723826976151 140723826976151 140723826978767 0
[pid=15202/tid=15262] ppid=15199 vsize=11130628 CPUtime=9.81 cores=1,3,5,7,9,11,13,15
/proc/15202/task/15262/stat : 15262 (java) R 15199 15202 13605 0 -1 4202560 10813 12361 0 0 928 42 8 3 20 0 22 0 4063807 11397763072 464858 33554432000 4194304 4196468 140723826967264 140435773143640 140435809684520 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 17076224 140723826973377 140723826976151 140723826976151 140723826978767 0
[pid=15202/tid=15263] ppid=15199 vsize=11130628 CPUtime=9.92 cores=1,3,5,7,9,11,13,15
/proc/15202/task/15263/stat : 15263 (java) R 15199 15202 13605 0 -1 4202560 9859 12361 0 0 942 39 8 3 20 0 22 0 4063807 11397763072 464858 33554432000 4194304 4196468 140723826967264 140435772090840 140435806330468 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17076224 140723826973377 140723826976151 140723826976151 140723826978767 0
[pid=15202/tid=15264] ppid=15199 vsize=11130628 CPUtime=9.7 cores=1,3,5,7,9,11,13,15
/proc/15202/task/15264/stat : 15264 (java) R 15199 15202 13605 0 -1 4202560 15984 12361 0 0 914 45 8 3 20 0 22 0 4063807 11397763072 464858 33554432000 4194304 4196468 140723826967264 140435771038552 140435806330954 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 17076224 140723826973377 140723826976151 140723826976151 140723826978767 0
[pid=15202/tid=15265] ppid=15199 vsize=11130628 CPUtime=9.73 cores=1,3,5,7,9,11,13,15
/proc/15202/task/15265/stat : 15265 (java) R 15199 15202 13605 0 -1 4202560 7693 12361 0 0 922 40 8 3 20 0 22 0 4063807 11397763072 464858 33554432000 4194304 4196468 140723826967264 140435769985552 140435806329869 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17076224 140723826973377 140723826976151 140723826976151 140723826978767 0
[pid=15202/tid=15266] ppid=15199 vsize=11130628 CPUtime=7.85 cores=1,3,5,7,9,11,13,15
/proc/15202/task/15266/stat : 15266 (java) S 15199 15202 13605 0 -1 1077944384 29175 12361 0 0 735 39 8 3 20 0 22 0 4063809 11397763072 464858 33554432000 4194304 4196468 140723826967264 140435366503472 140435824744149 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17076224 140723826973377 140723826976151 140723826976151 140723826978767 0
[pid=15202/tid=15267] ppid=15199 vsize=11130628 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/15202/task/15267/stat : 15267 (java) S 15199 15202 13605 0 -1 1077944384 60 12361 0 0 0 0 8 3 20 0 22 0 4063810 11397763072 464858 33554432000 4194304 4196468 140723826967264 140435365451152 140435824745090 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17076224 140723826973377 140723826976151 140723826976151 140723826978767 0
[pid=15202/tid=15268] ppid=15199 vsize=11130628 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/15202/task/15268/stat : 15268 (java) S 15199 15202 13605 0 -1 1077944384 46 12361 0 0 0 0 8 3 20 0 22 0 4063810 11397763072 464858 33554432000 4194304 4196468 140723826967264 140435162916480 140435824744149 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 17076224 140723826973377 140723826976151 140723826976151 140723826978767 0
[pid=15202/tid=15269] ppid=15199 vsize=11130628 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/15202/task/15269/stat : 15269 (java) S 15199 15202 13605 0 -1 1077944384 97 12361 0 0 0 0 8 3 20 0 22 0 4063814 11397763072 464858 33554432000 4194304 4196468 140723826967264 140435161864784 140435824752539 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 17076224 140723826973377 140723826976151 140723826976151 140723826978767 0
[pid=15202/tid=15270] ppid=15199 vsize=11130628 CPUtime=4.05 cores=1,3,5,7,9,11,13,15
/proc/15202/task/15270/stat : 15270 (java) S 15199 15202 13605 0 -1 1077944384 9341 12361 0 0 391 3 8 3 20 0 22 0 4063814 11397763072 464858 33554432000 4194304 4196468 140723826967264 140435160811632 140435824745090 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17076224 140723826973377 140723826976151 140723826976151 140723826978767 0
[pid=15202/tid=15271] ppid=15199 vsize=11130628 CPUtime=4.36 cores=1,3,5,7,9,11,13,15
/proc/15202/task/15271/stat : 15271 (java) S 15199 15202 13605 0 -1 1077944384 11639 12361 0 0 423 2 8 3 20 0 22 0 4063814 11397763072 464858 33554432000 4194304 4196468 140723826967264 140435159758832 140435824745090 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 17076224 140723826973377 140723826976151 140723826976151 140723826978767 0
[pid=15202/tid=15272] ppid=15199 vsize=11130628 CPUtime=4.45 cores=1,3,5,7,9,11,13,15
/proc/15202/task/15272/stat : 15272 (java) S 15199 15202 13605 0 -1 1077944384 13423 12361 0 0 430 4 8 3 20 0 22 0 4063814 11397763072 464858 33554432000 4194304 4196468 140723826967264 140435158706544 140435824745090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17076224 140723826973377 140723826976151 140723826976151 140723826978767 0
[pid=15202/tid=15273] ppid=15199 vsize=11130628 CPUtime=2.54 cores=1,3,5,7,9,11,13,15
/proc/15202/task/15273/stat : 15273 (java) S 15199 15202 13605 0 -1 1077944384 11498 12361 0 0 238 5 8 3 20 0 22 0 4063814 11397763072 464858 33554432000 4194304 4196468 140723826967264 140435157649616 140435824744149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17076224 140723826973377 140723826976151 140723826976151 140723826978767 0
[pid=15202/tid=15274] ppid=15199 vsize=11130628 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/15202/task/15274/stat : 15274 (java) S 15199 15202 13605 0 -1 1077944384 3 12361 0 0 0 0 8 3 20 0 22 0 4063814 11397763072 464858 33554432000 4194304 4196468 140723826967264 140435156601696 140435824744149 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 17076224 140723826973377 140723826976151 140723826976151 140723826978767 0
[pid=15202/tid=15275] ppid=15199 vsize=11130628 CPUtime=1.38 cores=1,3,5,7,9,11,13,15
/proc/15202/task/15275/stat : 15275 (java) S 15199 15202 13605 0 -1 1077944384 2889 12361 0 0 61 66 8 3 20 0 22 0 4063814 11397763072 464858 33554432000 4194304 4196468 140723826967264 140435155548976 140435824745090 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17076224 140723826973377 140723826976151 140723826976151 140723826978767 0
[pid=15202/tid=15512] ppid=15199 vsize=11130628 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/15202/task/15512/stat : 15512 (java) S 15199 15202 13605 0 -1 1077944384 88 12361 0 0 0 0 8 3 20 0 22 0 4296064 11397763072 464858 33554432000 4194304 4196468 140723826967264 140435124007792 140435824744149 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 17076224 140723826973377 140723826976151 140723826976151 140723826978767 0
[pid=15202/tid=15513] ppid=15199 vsize=11130628 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/15202/task/15513/stat : 15513 (java) S 15199 15202 13605 0 -1 1077944384 25 12361 0 0 0 0 8 3 20 0 22 0 4296064 11397763072 464858 33554432000 4194304 4196468 140723826967264 140435122955712 140435824744149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17076224 140723826973377 140723826976151 140723826976151 140723826978767 0
Current children cumulated CPU time (s) 2403.29
Current children cumulated vsize (KiB) 11130628
[startup+2323.31 s]
/proc/loadavg: 1.43 1.39 1.39 11/284 15513
/proc/meminfo: memFree=28418648/32770624 swapFree=5844/242000
[pid=15202] ppid=15199 vsize=11130628 CPUtime=2403.82 cores=1,3,5,7,9,11,13,15
/proc/15202/stat : 15202 (java) S 15199 15202 13605 0 -1 1077944320 271808 12361 0 0 239894 477 8 3 20 0 22 0 4063793 11397763072 464858 33554432000 4194304 4196468 140723826967264 140723826949808 140435824733943 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 17076224 140723826973377 140723826976151 140723826976151 140723826978767 0
/proc/15202/statm: 2782657 464858 3516 1 0 2770212 0
[pid=15202/tid=15257] ppid=15199 vsize=11130628 CPUtime=2301.59 cores=1,3,5,7,9,11,13,15
/proc/15202/task/15257/stat : 15257 (java) S 15199 15202 13605 0 -1 1077944384 99490 12361 0 0 230092 56 8 3 20 0 22 0 4063806 11397763072 464858 33554432000 4194304 4196468 140723826967264 140435828971488 140435824744149 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 17076224 140723826973377 140723826976151 140723826976151 140723826978767 0
[pid=15202/tid=15258] ppid=15199 vsize=11130628 CPUtime=9.84 cores=1,3,5,7,9,11,13,15
/proc/15202/task/15258/stat : 15258 (java) R 15199 15202 13605 0 -1 4202560 12995 12361 0 0 929 44 8 3 20 0 22 0 4063807 11397763072 464858 33554432000 4194304 4196468 140723826967264 140435777354760 140435817362151 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 17076224 140723826973377 140723826976151 140723826976151 140723826978767 0
[pid=15202/tid=15259] ppid=15199 vsize=11130628 CPUtime=9.9 cores=1,3,5,7,9,11,13,15
/proc/15202/task/15259/stat : 15259 (java) R 15199 15202 13605 0 -1 4202560 9034 12361 0 0 933 46 8 3 20 0 22 0 4063807 11397763072 464858 33554432000 4194304 4196468 140723826967264 140435776301960 140435817362151 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17076224 140723826973377 140723826976151 140723826976151 140723826978767 0
[pid=15202/tid=15260] ppid=15199 vsize=11130628 CPUtime=9.88 cores=1,3,5,7,9,11,13,15
/proc/15202/task/15260/stat : 15260 (java) R 15199 15202 13605 0 -1 4202560 7891 12361 0 0 937 40 8 3 20 0 22 0 4063807 11397763072 464858 33554432000 4194304 4196468 140723826967264 140435775249752 140435809191411 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17076224 140723826973377 140723826976151 140723826976151 140723826978767 0
[pid=15202/tid=15261] ppid=15199 vsize=11130628 CPUtime=9.89 cores=1,3,5,7,9,11,13,15
/proc/15202/task/15261/stat : 15261 (java) R 15199 15202 13605 0 -1 4202560 17632 12361 0 0 936 42 8 3 20 0 22 0 4063807 11397763072 464858 33554432000 4194304 4196468 140723826967264 140435774196872 140435817362151 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17076224 140723826973377 140723826976151 140723826976151 140723826978767 0
[pid=15202/tid=15262] ppid=15199 vsize=11130628 CPUtime=9.88 cores=1,3,5,7,9,11,13,15
/proc/15202/task/15262/stat : 15262 (java) R 15199 15202 13605 0 -1 4202560 10813 12361 0 0 935 42 8 3 20 0 22 0 4063807 11397763072 464858 33554432000 4194304 4196468 140723826967264 140435773143560 140435808116976 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 17076224 140723826973377 140723826976151 140723826976151 140723826978767 0
[pid=15202/tid=15263] ppid=15199 vsize=11130628 CPUtime=9.98 cores=1,3,5,7,9,11,13,15
/proc/15202/task/15263/stat : 15263 (java) R 15199 15202 13605 0 -1 4202560 9859 12361 0 0 948 39 8 3 20 0 22 0 4063807 11397763072 464858 33554432000 4194304 4196468 140723826967264 140435772090760 140435817362151 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 17076224 140723826973377 140723826976151 140723826976151 140723826978767 0
[pid=15202/tid=15264] ppid=15199 vsize=11130628 CPUtime=9.77 cores=1,3,5,7,9,11,13,15
/proc/15202/task/15264/stat : 15264 (java) R 15199 15202 13605 0 -1 4202560 15984 12361 0 0 921 45 8 3 20 0 22 0 4063807 11397763072 464858 33554432000 4194304 4196468 140723826967264 140435771038472 140435817362151 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 17076224 140723826973377 140723826976151 140723826976151 140723826978767 0
[pid=15202/tid=15265] ppid=15199 vsize=11130628 CPUtime=9.79 cores=1,3,5,7,9,11,13,15
/proc/15202/task/15265/stat : 15265 (java) R 15199 15202 13605 0 -1 4202560 7693 12361 0 0 928 40 8 3 20 0 22 0 4063807 11397763072 464858 33554432000 4194304 4196468 140723826967264 140435769985672 140435808116978 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17076224 140723826973377 140723826976151 140723826976151 140723826978767 0
[pid=15202/tid=15266] ppid=15199 vsize=11130628 CPUtime=7.88 cores=1,3,5,7,9,11,13,15
/proc/15202/task/15266/stat : 15266 (java) S 15199 15202 13605 0 -1 1077944384 29175 12361 0 0 738 39 8 3 20 0 22 0 4063809 11397763072 464858 33554432000 4194304 4196468 140723826967264 140435366503696 140435824744149 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17076224 140723826973377 140723826976151 140723826976151 140723826978767 0
[pid=15202/tid=15267] ppid=15199 vsize=11130628 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/15202/task/15267/stat : 15267 (java) S 15199 15202 13605 0 -1 1077944384 60 12361 0 0 0 0 8 3 20 0 22 0 4063810 11397763072 464858 33554432000 4194304 4196468 140723826967264 140435365451152 140435824745090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17076224 140723826973377 140723826976151 140723826976151 140723826978767 0
[pid=15202/tid=15268] ppid=15199 vsize=11130628 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/15202/task/15268/stat : 15268 (java) S 15199 15202 13605 0 -1 1077944384 47 12361 0 0 0 0 8 3 20 0 22 0 4063810 11397763072 464858 33554432000 4194304 4196468 140723826967264 140435162916080 140435824744149 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 17076224 140723826973377 140723826976151 140723826976151 140723826978767 0
[pid=15202/tid=15269] ppid=15199 vsize=11130628 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/15202/task/15269/stat : 15269 (java) S 15199 15202 13605 0 -1 1077944384 97 12361 0 0 0 0 8 3 20 0 22 0 4063814 11397763072 464858 33554432000 4194304 4196468 140723826967264 140435161864784 140435824752539 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 17076224 140723826973377 140723826976151 140723826976151 140723826978767 0
[pid=15202/tid=15270] ppid=15199 vsize=11130628 CPUtime=4.05 cores=1,3,5,7,9,11,13,15
/proc/15202/task/15270/stat : 15270 (java) S 15199 15202 13605 0 -1 1077944384 9341 12361 0 0 391 3 8 3 20 0 22 0 4063814 11397763072 464858 33554432000 4194304 4196468 140723826967264 140435160811632 140435824745090 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17076224 140723826973377 140723826976151 140723826976151 140723826978767 0
[pid=15202/tid=15271] ppid=15199 vsize=11130628 CPUtime=4.36 cores=1,3,5,7,9,11,13,15
/proc/15202/task/15271/stat : 15271 (java) S 15199 15202 13605 0 -1 1077944384 11639 12361 0 0 423 2 8 3 20 0 22 0 4063814 11397763072 464858 33554432000 4194304 4196468 140723826967264 140435159758832 140435824745090 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 17076224 140723826973377 140723826976151 140723826976151 140723826978767 0
[pid=15202/tid=15272] ppid=15199 vsize=11130628 CPUtime=4.45 cores=1,3,5,7,9,11,13,15
/proc/15202/task/15272/stat : 15272 (java) S 15199 15202 13605 0 -1 1077944384 13423 12361 0 0 430 4 8 3 20 0 22 0 4063814 11397763072 464858 33554432000 4194304 4196468 140723826967264 140435158706544 140435824745090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17076224 140723826973377 140723826976151 140723826976151 140723826978767 0
[pid=15202/tid=15273] ppid=15199 vsize=11130628 CPUtime=2.54 cores=1,3,5,7,9,11,13,15
/proc/15202/task/15273/stat : 15273 (java) S 15199 15202 13605 0 -1 1077944384 11499 12361 0 0 238 5 8 3 20 0 22 0 4063814 11397763072 464858 33554432000 4194304 4196468 140723826967264 140435157651248 140435824744149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17076224 140723826973377 140723826976151 140723826976151 140723826978767 0
[pid=15202/tid=15274] ppid=15199 vsize=11130628 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/15202/task/15274/stat : 15274 (java) S 15199 15202 13605 0 -1 1077944384 3 12361 0 0 0 0 8 3 20 0 22 0 4063814 11397763072 464858 33554432000 4194304 4196468 140723826967264 140435156601696 140435824744149 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 17076224 140723826973377 140723826976151 140723826976151 140723826978767 0
[pid=15202/tid=15275] ppid=15199 vsize=11130628 CPUtime=1.38 cores=1,3,5,7,9,11,13,15
/proc/15202/task/15275/stat : 15275 (java) S 15199 15202 13605 0 -1 1077944384 2889 12361 0 0 61 66 8 3 20 0 22 0 4063814 11397763072 464858 33554432000 4194304 4196468 140723826967264 140435155548976 140435824745090 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17076224 140723826973377 140723826976151 140723826976151 140723826978767 0
[pid=15202/tid=15512] ppid=15199 vsize=11130628 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/15202/task/15512/stat : 15512 (java) S 15199 15202 13605 0 -1 1077944384 88 12361 0 0 0 0 8 3 20 0 22 0 4296064 11397763072 464858 33554432000 4194304 4196468 140723826967264 140435124007792 140435824744149 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 17076224 140723826973377 140723826976151 140723826976151 140723826978767 0
[pid=15202/tid=15513] ppid=15199 vsize=11130628 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/15202/task/15513/stat : 15513 (java) S 15199 15202 13605 0 -1 1077944384 25 12361 0 0 0 0 8 3 20 0 22 0 4296064 11397763072 464858 33554432000 4194304 4196468 140723826967264 140435122955712 140435824744149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17076224 140723826973377 140723826976151 140723826976151 140723826978767 0
Current children cumulated CPU time (s) 2403.82
Current children cumulated vsize (KiB) 11130628
Child status: 143
Real time (s): 2323.35
CPU time (s): 2403.99
CPU user time (s): 2399.17
CPU system time (s): 4.81621
CPU usage (%): 103.471
Max. virtual memory (cumulated for all children) (KiB): 11130628
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.17
system time used= 4.81621
maximum resident set size= 2019748
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 284289
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2640
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 278758
involuntary context switches= 176141
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.5334 second user time and 24.2084 second system time
The end