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-4248991-1500797331/watcher-4248991-1500797331 -o /tmp/evaluation-result-4248991-1500797331/solver-4248991-1500797331 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1500797331-25227 --watchdog 2560 bin/concrete HOME/instance-4248991-1500797331.xml
pid=25247
running on 8 cores: 1,3,5,7,9,11,13,15
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 2.00 1.92 1.77 3/239 25250
/proc/meminfo: memFree=31379284/32770624 swapFree=6364/371840
[pid=25250] ppid=25247 vsize=9508 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25250/stat : 25250 (bash) S 25247 25250 24924 0 -1 4202496 687 1530 0 0 0 0 0 0 20 0 1 0 15000805 9736192 351 33554432000 4194304 5098028 140734275299488 140734275297128 140080729500672 0 0 4100 65536 18446744071580971376 0 0 17 13 0 0 0 0 0 7196144 7232144 32845824 140734275306766 140734275306851 140734275306851 140734275309550 0
/proc/25250/statm: 2377 351 278 221 0 86 0
[startup+0.100187 s]
/proc/loadavg: 2.00 1.92 1.77 3/239 25250
/proc/meminfo: memFree=31379284/32770624 swapFree=6364/371840
[pid=25250] ppid=25247 vsize=9640 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/25250/stat : 25250 (bash) S 25247 25250 24924 0 -1 4202496 886 6409 0 0 0 0 0 1 20 0 1 0 15000805 9871360 378 33554432000 4194304 5098028 140734275299488 140734275293496 140080729500672 0 0 4100 65536 18446744071580971376 0 0 17 13 0 0 0 0 0 7196144 7232144 32845824 140734275306766 140734275306851 140734275306851 140734275309550 0
/proc/25250/statm: 2410 378 296 221 0 119 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9640
[startup+0.200323 s]
/proc/loadavg: 2.00 1.92 1.77 3/239 25250
/proc/meminfo: memFree=31379284/32770624 swapFree=6364/371840
[pid=25250] ppid=25247 vsize=10435860 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/25250/stat : 25250 (java) S 25247 25250 24924 0 -1 1077944320 4924 12319 0 0 6 0 8 4 20 0 13 0 15000805 10686320640 5279 33554432000 4194304 4196468 140728325077552 140728325060096 140583646740215 0 0 0 16800971 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 31711232 140728325085889 140728325088663 140728325088663 140728325091279 0
/proc/25250/statm: 2608965 5279 2172 1 0 2597403 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 10435860
[startup+0.300239 s]
/proc/loadavg: 2.00 1.92 1.77 3/239 25250
/proc/meminfo: memFree=31379284/32770624 swapFree=6364/371840
[pid=25250] ppid=25247 vsize=10902324 CPUtime=0.37 cores=1,3,5,7,9,11,13,15
/proc/25250/stat : 25250 (java) S 25247 25250 24924 0 -1 1077944320 7561 12319 0 0 23 2 8 4 20 0 20 0 15000805 11163979776 8673 33554432000 4194304 4196468 140728325077552 140728325060096 140583646740215 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 31711232 140728325085889 140728325088663 140728325088663 140728325091279 0
/proc/25250/statm: 2725581 8673 2958 1 0 2713898 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 10902324
[startup+0.700214 s]
/proc/loadavg: 2.00 1.92 1.77 3/239 25250
/proc/meminfo: memFree=31379284/32770624 swapFree=6364/371840
[pid=25250] ppid=25247 vsize=10902720 CPUtime=0.9 cores=1,3,5,7,9,11,13,15
/proc/25250/stat : 25250 (java) S 25247 25250 24924 0 -1 1077944320 12014 12319 0 0 74 4 8 4 20 0 20 0 15000805 11164385280 14806 33554432000 4194304 4196468 140728325077552 140728325060096 140583646740215 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 31711232 140728325085889 140728325088663 140728325088663 140728325091279 0
/proc/25250/statm: 2725680 14806 3145 1 0 2713890 0
Current children cumulated CPU time (s) 0.9
Current children cumulated vsize (KiB) 10902720
[startup+1.50106 s]
/proc/loadavg: 2.00 1.92 1.77 3/281 25401
/proc/meminfo: memFree=31195076/32770624 swapFree=6364/371840
[pid=25250] ppid=25247 vsize=10913344 CPUtime=2.1 cores=1,3,5,7,9,11,13,15
/proc/25250/stat : 25250 (java) S 25247 25250 24924 0 -1 1077944320 24973 12319 0 0 190 8 8 4 20 0 20 0 15000805 11175264256 33945 33554432000 4194304 4196468 140728325077552 140728325060096 140583646740215 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 31711232 140728325085889 140728325088663 140728325088663 140728325091279 0
/proc/25250/statm: 2728336 33945 3369 1 0 2716450 0
[pid=25250/tid=25357] ppid=25247 vsize=10913344 CPUtime=1.46 cores=1,3,5,7,9,11,13,15
/proc/25250/task/25357/stat : 25357 (java) R 25247 25250 24924 0 -1 4202560 19093 12319 0 0 128 6 8 4 20 0 20 0 15000819 11175264256 33945 33554432000 4194304 4196468 140728325077552 140583650971960 140583646762141 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31711232 140728325085889 140728325088663 140728325088663 140728325091279 0
[pid=25250/tid=25362] ppid=25247 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/25250/task/25362/stat : 25362 (java) S 25247 25250 24924 0 -1 1077944384 2 12319 0 0 0 0 8 4 20 0 20 0 15000819 11175264256 33945 33554432000 4194304 4196468 140728325077552 140583609846672 140583646750421 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 31711232 140728325085889 140728325088663 140728325088663 140728325091279 0
[pid=25250/tid=25363] ppid=25247 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/25250/task/25363/stat : 25363 (java) S 25247 25250 24924 0 -1 1077944384 2 12319 0 0 0 0 8 4 20 0 20 0 15000819 11175264256 33945 33554432000 4194304 4196468 140728325077552 140583608793872 140583646750421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31711232 140728325085889 140728325088663 140728325088663 140728325091279 0
[pid=25250/tid=25364] ppid=25247 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/25250/task/25364/stat : 25364 (java) S 25247 25250 24924 0 -1 1077944384 3 12319 0 0 0 0 8 4 20 0 20 0 15000820 11175264256 33945 33554432000 4194304 4196468 140728325077552 140583251926160 140583646750421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31711232 140728325085889 140728325088663 140728325088663 140728325091279 0
[pid=25250/tid=25365] ppid=25247 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/25250/task/25365/stat : 25365 (java) S 25247 25250 24924 0 -1 1077944384 1 12319 0 0 0 0 8 4 20 0 20 0 15000820 11175264256 33945 33554432000 4194304 4196468 140728325077552 140583250873360 140583646750421 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 31711232 140728325085889 140728325088663 140728325088663 140728325091279 0
[pid=25250/tid=25366] ppid=25247 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/25250/task/25366/stat : 25366 (java) S 25247 25250 24924 0 -1 1077944384 1 12319 0 0 0 0 8 4 20 0 20 0 15000820 11175264256 33945 33554432000 4194304 4196468 140728325077552 140583249820048 140583646750421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31711232 140728325085889 140728325088663 140728325088663 140728325091279 0
[pid=25250/tid=25367] ppid=25247 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/25250/task/25367/stat : 25367 (java) S 25247 25250 24924 0 -1 1077944384 2 12319 0 0 0 0 8 4 20 0 20 0 15000820 11175264256 33945 33554432000 4194304 4196468 140728325077552 140583248767248 140583646750421 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 31711232 140728325085889 140728325088663 140728325088663 140728325091279 0
[pid=25250/tid=25368] ppid=25247 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/25250/task/25368/stat : 25368 (java) S 25247 25250 24924 0 -1 1077944384 2 12319 0 0 0 0 8 4 20 0 20 0 15000820 11175264256 33945 33554432000 4194304 4196468 140728325077552 140583247714960 140583646750421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31711232 140728325085889 140728325088663 140728325088663 140728325091279 0
[pid=25250/tid=25369] ppid=25247 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/25250/task/25369/stat : 25369 (java) S 25247 25250 24924 0 -1 1077944384 1 12319 0 0 0 0 8 4 20 0 20 0 15000820 11175264256 33945 33554432000 4194304 4196468 140728325077552 140583246662160 140583646750421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31711232 140728325085889 140728325088663 140728325088663 140728325091279 0
[pid=25250/tid=25382] ppid=25247 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/25250/task/25382/stat : 25382 (java) S 25247 25250 24924 0 -1 1077944384 5 12319 0 0 0 0 8 4 20 0 20 0 15000822 11175264256 33945 33554432000 4194304 4196468 140728325077552 140583121361520 140583646751362 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31711232 140728325085889 140728325088663 140728325088663 140728325091279 0
[pid=25250/tid=25383] ppid=25247 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/25250/task/25383/stat : 25383 (java) S 25247 25250 24924 0 -1 1077944384 33 12319 0 0 0 0 8 4 20 0 20 0 15000822 11175264256 33945 33554432000 4194304 4196468 140728325077552 140583120307488 140583646750421 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 31711232 140728325085889 140728325088663 140728325088663 140728325091279 0
[pid=25250/tid=25384] ppid=25247 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/25250/task/25384/stat : 25384 (java) S 25247 25250 24924 0 -1 1077944384 21 12319 0 0 0 0 8 4 20 0 20 0 15000822 11175264256 33945 33554432000 4194304 4196468 140728325077552 140583119255152 140583646750421 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 31711232 140728325085889 140728325088663 140728325088663 140728325091279 0
[pid=25250/tid=25388] ppid=25247 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/25250/task/25388/stat : 25388 (java) S 25247 25250 24924 0 -1 1077944384 1 12319 0 0 0 0 8 4 20 0 20 0 15000826 11175264256 33945 33554432000 4194304 4196468 140728325077552 140583118203472 140583646758811 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 31711232 140728325085889 140728325088663 140728325088663 140728325091279 0
[pid=25250/tid=25389] ppid=25247 vsize=10913344 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/25250/task/25389/stat : 25389 (java) S 25247 25250 24924 0 -1 1077944384 920 12319 0 0 10 0 8 4 20 0 20 0 15000826 11175264256 33945 33554432000 4194304 4196468 140728325077552 140583117150320 140583646751362 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31711232 140728325085889 140728325088663 140728325088663 140728325091279 0
[pid=25250/tid=25390] ppid=25247 vsize=10913344 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/25250/task/25390/stat : 25390 (java) S 25247 25250 24924 0 -1 1077944384 1221 12319 0 0 13 0 8 4 20 0 20 0 15000826 11175264256 33945 33554432000 4194304 4196468 140728325077552 140583116097520 140583646751362 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31711232 140728325085889 140728325088663 140728325088663 140728325091279 0
[pid=25250/tid=25391] ppid=25247 vsize=10913344 CPUtime=0.24 cores=1,3,5,7,9,11,13,15
/proc/25250/task/25391/stat : 25391 (java) S 25247 25250 24924 0 -1 1077944384 696 12319 0 0 12 0 8 4 20 0 20 0 15000826 11175264256 33945 33554432000 4194304 4196468 140728325077552 140583115045232 140583646751362 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 31711232 140728325085889 140728325088663 140728325088663 140728325091279 0
[pid=25250/tid=25392] ppid=25247 vsize=10913344 CPUtime=0.37 cores=1,3,5,7,9,11,13,15
/proc/25250/task/25392/stat : 25392 (java) S 25247 25250 24924 0 -1 1077944384 830 12319 0 0 25 0 8 4 20 0 20 0 15000826 11175264256 33945 33554432000 4194304 4196468 140728325077552 140583113992432 140583646751362 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 31711232 140728325085889 140728325088663 140728325088663 140728325091279 0
[pid=25250/tid=25393] ppid=25247 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/25250/task/25393/stat : 25393 (java) S 25247 25250 24924 0 -1 1077944384 3 12319 0 0 0 0 8 4 20 0 20 0 15000826 11175264256 33945 33554432000 4194304 4196468 140728325077552 140583112940384 140583646750421 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 31711232 140728325085889 140728325088663 140728325088663 140728325091279 0
[pid=25250/tid=25394] ppid=25247 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/25250/task/25394/stat : 25394 (java) S 25247 25250 24924 0 -1 1077944384 3 12319 0 0 0 0 8 4 20 0 20 0 15000827 11175264256 33945 33554432000 4194304 4196468 140728325077552 140583111887664 140583646751362 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31711232 140728325085889 140728325088663 140728325088663 140728325091279 0
Current children cumulated CPU time (s) 2.1
Current children cumulated vsize (KiB) 10913344
[startup+3.10117 s]
/proc/loadavg: 2.00 1.93 1.77 7/281 25401
/proc/meminfo: memFree=31034760/32770624 swapFree=6364/371872
[pid=25250] ppid=25247 vsize=10927868 CPUtime=5.63 cores=1,3,5,7,9,11,13,15
/proc/25250/stat : 25250 (java) S 25247 25250 24924 0 -1 1077944320 41142 12319 0 0 533 18 8 4 20 0 20 0 15000805 11190136832 51247 33554432000 4194304 4196468 140728325077552 140728325060096 140583646740215 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 31711232 140728325085889 140728325088663 140728325088663 140728325091279 0
/proc/25250/statm: 2731967 51247 3473 1 0 2719522 0
[pid=25250/tid=25357] ppid=25247 vsize=10927868 CPUtime=3.03 cores=1,3,5,7,9,11,13,15
/proc/25250/task/25357/stat : 25357 (java) R 25247 25250 24924 0 -1 4202560 28035 12319 0 0 283 8 8 4 20 0 20 0 15000819 11190136832 51247 33554432000 4194304 4196468 140728325077552 140583650962064 140583627015562 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31711232 140728325085889 140728325088663 140728325088663 140728325091279 0
[pid=25250/tid=25362] ppid=25247 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/25250/task/25362/stat : 25362 (java) S 25247 25250 24924 0 -1 1077944384 30 12319 0 0 0 0 8 4 20 0 20 0 15000819 11190136832 51247 33554432000 4194304 4196468 140728325077552 140583609846672 140583646750421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31711232 140728325085889 140728325088663 140728325088663 140728325091279 0
[pid=25250/tid=25363] ppid=25247 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/25250/task/25363/stat : 25363 (java) S 25247 25250 24924 0 -1 1077944384 25 12319 0 0 0 0 8 4 20 0 20 0 15000819 11190136832 51247 33554432000 4194304 4196468 140728325077552 140583608793872 140583646750421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31711232 140728325085889 140728325088663 140728325088663 140728325091279 0
[pid=25250/tid=25364] ppid=25247 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/25250/task/25364/stat : 25364 (java) S 25247 25250 24924 0 -1 1077944384 9 12319 0 0 0 0 8 4 20 0 20 0 15000820 11190136832 51247 33554432000 4194304 4196468 140728325077552 140583251926160 140583646750421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31711232 140728325085889 140728325088663 140728325088663 140728325091279 0
[pid=25250/tid=25365] ppid=25247 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/25250/task/25365/stat : 25365 (java) S 25247 25250 24924 0 -1 1077944384 128 12319 0 0 0 0 8 4 20 0 20 0 15000820 11190136832 51247 33554432000 4194304 4196468 140728325077552 140583250873360 140583646750421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31711232 140728325085889 140728325088663 140728325088663 140728325091279 0
[pid=25250/tid=25366] ppid=25247 vsize=10927868 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/25250/task/25366/stat : 25366 (java) S 25247 25250 24924 0 -1 1077944384 23 12319 0 0 1 0 8 4 20 0 20 0 15000820 11190136832 51247 33554432000 4194304 4196468 140728325077552 140583249820048 140583646750421 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 31711232 140728325085889 140728325088663 140728325088663 140728325091279 0
[pid=25250/tid=25367] ppid=25247 vsize=10927868 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/25250/task/25367/stat : 25367 (java) S 25247 25250 24924 0 -1 1077944384 17 12319 0 0 1 0 8 4 20 0 20 0 15000820 11190136832 51247 33554432000 4194304 4196468 140728325077552 140583248767248 140583646750421 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 31711232 140728325085889 140728325088663 140728325088663 140728325091279 0
[pid=25250/tid=25368] ppid=25247 vsize=10927868 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/25250/task/25368/stat : 25368 (java) S 25247 25250 24924 0 -1 1077944384 19 12319 0 0 1 0 8 4 20 0 20 0 15000820 11190136832 51247 33554432000 4194304 4196468 140728325077552 140583247714960 140583646750421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31711232 140728325085889 140728325088663 140728325088663 140728325091279 0
[pid=25250/tid=25369] ppid=25247 vsize=10927868 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/25250/task/25369/stat : 25369 (java) S 25247 25250 24924 0 -1 1077944384 57 12319 0 0 1 0 8 4 20 0 20 0 15000820 11190136832 51247 33554432000 4194304 4196468 140728325077552 140583246662160 140583646750421 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 31711232 140728325085889 140728325088663 140728325088663 140728325091279 0
[pid=25250/tid=25382] ppid=25247 vsize=10927868 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/25250/task/25382/stat : 25382 (java) S 25247 25250 24924 0 -1 1077944384 1404 12319 0 0 1 0 8 4 20 0 20 0 15000822 11190136832 51247 33554432000 4194304 4196468 140728325077552 140583121361520 140583646751362 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31711232 140728325085889 140728325088663 140728325088663 140728325091279 0
[pid=25250/tid=25383] ppid=25247 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/25250/task/25383/stat : 25383 (java) S 25247 25250 24924 0 -1 1077944384 56 12319 0 0 0 0 8 4 20 0 20 0 15000822 11190136832 51247 33554432000 4194304 4196468 140728325077552 140583120307552 140583646750421 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 31711232 140728325085889 140728325088663 140728325088663 140728325091279 0
[pid=25250/tid=25384] ppid=25247 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/25250/task/25384/stat : 25384 (java) S 25247 25250 24924 0 -1 1077944384 43 12319 0 0 0 0 8 4 20 0 20 0 15000822 11190136832 51247 33554432000 4194304 4196468 140728325077552 140583119255168 140583646750421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31711232 140728325085889 140728325088663 140728325088663 140728325091279 0
[pid=25250/tid=25388] ppid=25247 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/25250/task/25388/stat : 25388 (java) S 25247 25250 24924 0 -1 1077944384 1 12319 0 0 0 0 8 4 20 0 20 0 15000826 11190136832 51247 33554432000 4194304 4196468 140728325077552 140583118203472 140583646758811 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 31711232 140728325085889 140728325088663 140728325088663 140728325091279 0
[pid=25250/tid=25389] ppid=25247 vsize=10927868 CPUtime=0.57 cores=1,3,5,7,9,11,13,15
/proc/25250/task/25389/stat : 25389 (java) S 25247 25250 24924 0 -1 1077944384 1773 12319 0 0 44 1 8 4 20 0 20 0 15000826 11190136832 51247 33554432000 4194304 4196468 140728325077552 140583117150320 140583646751362 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 31711232 140728325085889 140728325088663 140728325088663 140728325091279 0
[pid=25250/tid=25390] ppid=25247 vsize=10927868 CPUtime=0.65 cores=1,3,5,7,9,11,13,15
/proc/25250/task/25390/stat : 25390 (java) S 25247 25250 24924 0 -1 1077944384 2734 12319 0 0 52 1 8 4 20 0 20 0 15000826 11190136832 51247 33554432000 4194304 4196468 140728325077552 140583116097520 140583646751362 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 31711232 140728325085889 140728325088663 140728325088663 140728325091279 0
[pid=25250/tid=25391] ppid=25247 vsize=10927868 CPUtime=0.53 cores=1,3,5,7,9,11,13,15
/proc/25250/task/25391/stat : 25391 (java) R 25247 25250 24924 0 -1 4202560 1440 12319 0 0 40 1 8 4 20 0 20 0 15000826 11190136832 51247 33554432000 4194304 4196468 140728325077552 140583115045528 140583628284880 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31711232 140728325085889 140728325088663 140728325088663 140728325091279 0
[pid=25250/tid=25392] ppid=25247 vsize=10927868 CPUtime=1.15 cores=1,3,5,7,9,11,13,15
/proc/25250/task/25392/stat : 25392 (java) S 25247 25250 24924 0 -1 1077944384 3207 12319 0 0 102 1 8 4 20 0 20 0 15000826 11190136832 51247 33554432000 4194304 4196468 140728325077552 140583113992432 140583646751362 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 31711232 140728325085889 140728325088663 140728325088663 140728325091279 0
[pid=25250/tid=25393] ppid=25247 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/25250/task/25393/stat : 25393 (java) S 25247 25250 24924 0 -1 1077944384 3 12319 0 0 0 0 8 4 20 0 20 0 15000826 11190136832 51247 33554432000 4194304 4196468 140728325077552 140583112940384 140583646750421 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 31711232 140728325085889 140728325088663 140728325088663 140728325091279 0
[pid=25250/tid=25394] ppid=25247 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/25250/task/25394/stat : 25394 (java) S 25247 25250 24924 0 -1 1077944384 5 12319 0 0 0 0 8 4 20 0 20 0 15000827 11190136832 51247 33554432000 4194304 4196468 140728325077552 140583111887664 140583646751362 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31711232 140728325085889 140728325088663 140728325088663 140728325091279 0
Current children cumulated CPU time (s) 5.63
Current children cumulated vsize (KiB) 10927868
[startup+6.30115 s]
/proc/loadavg: 2.00 1.93 1.77 6/281 25401
/proc/meminfo: memFree=30504188/32770624 swapFree=6364/371872
[pid=25250] ppid=25247 vsize=10995452 CPUtime=14.93 cores=1,3,5,7,9,11,13,15
/proc/25250/stat : 25250 (java) S 25247 25250 24924 0 -1 1077944320 68327 12319 0 0 1452 29 8 4 20 0 20 0 15000805 11259342848 103769 33554432000 4194304 4196468 140728325077552 140728325060096 140583646740215 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 31711232 140728325085889 140728325088663 140728325088663 140728325091279 0
/proc/25250/statm: 2748863 103769 3493 1 0 2736418 0
[pid=25250/tid=25357] ppid=25247 vsize=10995452 CPUtime=6.14 cores=1,3,5,7,9,11,13,15
/proc/25250/task/25357/stat : 25357 (java) R 25247 25250 24924 0 -1 4202560 42836 12319 0 0 591 11 8 4 20 0 20 0 15000819 11259342848 103769 33554432000 4194304 4196468 140728325077552 140583650969856 140583294114215 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31711232 140728325085889 140728325088663 140728325088663 140728325091279 0
[pid=25250/tid=25362] ppid=25247 vsize=10995452 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/25250/task/25362/stat : 25362 (java) S 25247 25250 24924 0 -1 1077944384 73 12319 0 0 3 1 8 4 20 0 20 0 15000819 11259342848 103769 33554432000 4194304 4196468 140728325077552 140583609846672 140583646750421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31711232 140728325085889 140728325088663 140728325088663 140728325091279 0
[pid=25250/tid=25363] ppid=25247 vsize=10995452 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/25250/task/25363/stat : 25363 (java) S 25247 25250 24924 0 -1 1077944384 60 12319 0 0 3 1 8 4 20 0 20 0 15000819 11259342848 103769 33554432000 4194304 4196468 140728325077552 140583608793872 140583646750421 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 31711232 140728325085889 140728325088663 140728325088663 140728325091279 0
[pid=25250/tid=25364] ppid=25247 vsize=10995452 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/25250/task/25364/stat : 25364 (java) S 25247 25250 24924 0 -1 1077944384 53 12319 0 0 3 0 8 4 20 0 20 0 15000820 11259342848 103769 33554432000 4194304 4196468 140728325077552 140583251926160 140583646750421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31711232 140728325085889 140728325088663 140728325088663 140728325091279 0
[pid=25250/tid=25365] ppid=25247 vsize=10995452 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/25250/task/25365/stat : 25365 (java) S 25247 25250 24924 0 -1 1077944384 143 12319 0 0 3 1 8 4 20 0 20 0 15000820 11259342848 103769 33554432000 4194304 4196468 140728325077552 140583250873360 140583646750421 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 31711232 140728325085889 140728325088663 140728325088663 140728325091279 0
[pid=25250/tid=25366] ppid=25247 vsize=10995452 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/25250/task/25366/stat : 25366 (java) S 25247 25250 24924 0 -1 1077944384 891 12319 0 0 3 0 8 4 20 0 20 0 15000820 11259342848 103769 33554432000 4194304 4196468 140728325077552 140583249820048 140583646750421 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 31711232 140728325085889 140728325088663 140728325088663 140728325091279 0
[pid=25250/tid=25367] ppid=25247 vsize=10995452 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/25250/task/25367/stat : 25367 (java) S 25247 25250 24924 0 -1 1077944384 49 12319 0 0 3 0 8 4 20 0 20 0 15000820 11259342848 103769 33554432000 4194304 4196468 140728325077552 140583248767248 140583646750421 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 31711232 140728325085889 140728325088663 140728325088663 140728325091279 0
[pid=25250/tid=25368] ppid=25247 vsize=10995452 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/25250/task/25368/stat : 25368 (java) S 25247 25250 24924 0 -1 1077944384 32 12319 0 0 3 1 8 4 20 0 20 0 15000820 11259342848 103769 33554432000 4194304 4196468 140728325077552 140583247714960 140583646750421 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 31711232 140728325085889 140728325088663 140728325088663 140728325091279 0
[pid=25250/tid=25369] ppid=25247 vsize=10995452 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/25250/task/25369/stat : 25369 (java) S 25247 25250 24924 0 -1 1077944384 61 12319 0 0 3 0 8 4 20 0 20 0 15000820 11259342848 103769 33554432000 4194304 4196468 140728325077552 140583246662160 140583646750421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31711232 140728325085889 140728325088663 140728325088663 140728325091279 0
[pid=25250/tid=25382] ppid=25247 vsize=10995452 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/25250/task/25382/stat : 25382 (java) S 25247 25250 24924 0 -1 1077944384 1950 12319 0 0 4 0 8 4 20 0 20 0 15000822 11259342848 103769 33554432000 4194304 4196468 140728325077552 140583121361520 140583646751362 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31711232 140728325085889 140728325088663 140728325088663 140728325091279 0
[pid=25250/tid=25383] ppid=25247 vsize=10995452 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/25250/task/25383/stat : 25383 (java) S 25247 25250 24924 0 -1 1077944384 57 12319 0 0 0 0 8 4 20 0 20 0 15000822 11259342848 103769 33554432000 4194304 4196468 140728325077552 140583120307616 140583646750421 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 31711232 140728325085889 140728325088663 140728325088663 140728325091279 0
[pid=25250/tid=25384] ppid=25247 vsize=10995452 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/25250/task/25384/stat : 25384 (java) S 25247 25250 24924 0 -1 1077944384 43 12319 0 0 0 0 8 4 20 0 20 0 15000822 11259342848 103769 33554432000 4194304 4196468 140728325077552 140583119255168 140583646750421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31711232 140728325085889 140728325088663 140728325088663 140728325091279 0
[pid=25250/tid=25388] ppid=25247 vsize=10995452 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/25250/task/25388/stat : 25388 (java) S 25247 25250 24924 0 -1 1077944384 1 12319 0 0 0 0 8 4 20 0 20 0 15000826 11259342848 103769 33554432000 4194304 4196468 140728325077552 140583118203472 140583646758811 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 31711232 140728325085889 140728325088663 140728325088663 140728325091279 0
[pid=25250/tid=25389] ppid=25247 vsize=10995452 CPUtime=1.9 cores=1,3,5,7,9,11,13,15
/proc/25250/task/25389/stat : 25389 (java) S 25247 25250 24924 0 -1 1077944384 2434 12319 0 0 176 2 8 4 20 0 20 0 15000826 11259342848 103769 33554432000 4194304 4196468 140728325077552 140583117150320 140583646751362 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 31711232 140728325085889 140728325088663 140728325088663 140728325091279 0
[pid=25250/tid=25390] ppid=25247 vsize=10995452 CPUtime=2.34 cores=1,3,5,7,9,11,13,15
/proc/25250/task/25390/stat : 25390 (java) S 25247 25250 24924 0 -1 1077944384 7205 12319 0 0 220 2 8 4 20 0 20 0 15000826 11259342848 103769 33554432000 4194304 4196468 140728325077552 140583116097520 140583646751362 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 31711232 140728325085889 140728325088663 140728325088663 140728325091279 0
[pid=25250/tid=25391] ppid=25247 vsize=10995452 CPUtime=2.2 cores=1,3,5,7,9,11,13,15
/proc/25250/task/25391/stat : 25391 (java) S 25247 25250 24924 0 -1 1077944384 4447 12319 0 0 207 1 8 4 20 0 20 0 15000826 11259342848 103769 33554432000 4194304 4196468 140728325077552 140583115045232 140583646751362 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31711232 140728325085889 140728325088663 140728325088663 140728325091279 0
[pid=25250/tid=25392] ppid=25247 vsize=10995452 CPUtime=2.36 cores=1,3,5,7,9,11,13,15
/proc/25250/task/25392/stat : 25392 (java) R 25247 25250 24924 0 -1 4202560 5848 12319 0 0 221 3 8 4 20 0 20 0 15000826 11259342848 103769 33554432000 4194304 4196468 140728325077552 140583113992240 140583625458308 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31711232 140728325085889 140728325088663 140728325088663 140728325091279 0
[pid=25250/tid=25393] ppid=25247 vsize=10995452 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
################
# More data... #
################
[pid=25250/tid=25390] ppid=25247 vsize=10995452 CPUtime=7.87 cores=1,3,5,7,9,11,13,15
/proc/25250/task/25390/stat : 25390 (java) S 25247 25250 24924 0 -1 1077944384 11695 12319 0 0 770 5 8 4 20 0 20 0 15000826 11259342848 240676 33554432000 4194304 4196468 140728325077552 140583116097520 140583646751362 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 31711232 140728325085889 140728325088663 140728325088663 140728325091279 0
[pid=25250/tid=25391] ppid=25247 vsize=10995452 CPUtime=7.64 cores=1,3,5,7,9,11,13,15
/proc/25250/task/25391/stat : 25391 (java) S 25247 25250 24924 0 -1 1077944384 8794 12319 0 0 747 5 8 4 20 0 20 0 15000826 11259342848 240676 33554432000 4194304 4196468 140728325077552 140583115045232 140583646751362 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 31711232 140728325085889 140728325088663 140728325088663 140728325091279 0
[pid=25250/tid=25392] ppid=25247 vsize=10995452 CPUtime=7.34 cores=1,3,5,7,9,11,13,15
/proc/25250/task/25392/stat : 25392 (java) S 25247 25250 24924 0 -1 1077944384 18088 12319 0 0 716 6 8 4 20 0 20 0 15000826 11259342848 240676 33554432000 4194304 4196468 140728325077552 140583113992432 140583646751362 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31711232 140728325085889 140728325088663 140728325088663 140728325091279 0
[pid=25250/tid=25393] ppid=25247 vsize=10995452 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/25250/task/25393/stat : 25393 (java) S 25247 25250 24924 0 -1 1077944384 3 12319 0 0 0 0 8 4 20 0 20 0 15000826 11259342848 240676 33554432000 4194304 4196468 140728325077552 140583112940384 140583646750421 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 31711232 140728325085889 140728325088663 140728325088663 140728325091279 0
[pid=25250/tid=25394] ppid=25247 vsize=10995452 CPUtime=1.49 cores=1,3,5,7,9,11,13,15
/proc/25250/task/25394/stat : 25394 (java) S 25247 25250 24924 0 -1 1077944384 630 12319 0 0 66 71 8 4 20 0 20 0 15000827 11259342848 240676 33554432000 4194304 4196468 140728325077552 140583111887664 140583646751362 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31711232 140728325085889 140728325088663 140728325088663 140728325091279 0
Current children cumulated CPU time (s) 2283.05
Current children cumulated vsize (KiB) 10995452
[startup+2262.3 s]
/proc/loadavg: 1.87 1.57 1.56 3/281 25472
/proc/meminfo: memFree=28547216/32770624 swapFree=6364/373172
[pid=25250] ppid=25247 vsize=10995452 CPUtime=2344.43 cores=1,3,5,7,9,11,13,15
/proc/25250/stat : 25250 (java) S 25247 25250 24924 0 -1 1077944320 169355 12319 0 0 233989 442 8 4 20 0 20 0 15000805 11259342848 241205 33554432000 4194304 4196468 140728325077552 140728325060096 140583646740215 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 31711232 140728325085889 140728325088663 140728325088663 140728325091279 0
/proc/25250/statm: 2748863 241205 3504 1 0 2736418 0
[pid=25250/tid=25357] ppid=25247 vsize=10995452 CPUtime=2242.26 cores=1,3,5,7,9,11,13,15
/proc/25250/task/25357/stat : 25357 (java) R 25247 25250 24924 0 -1 4202560 72779 12319 0 0 224175 39 8 4 20 0 20 0 15000819 11259342848 241205 33554432000 4194304 4196468 140728325077552 140583650974448 140583295068445 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31711232 140728325085889 140728325088663 140728325088663 140728325091279 0
[pid=25250/tid=25362] ppid=25247 vsize=10995452 CPUtime=7.95 cores=1,3,5,7,9,11,13,15
/proc/25250/task/25362/stat : 25362 (java) S 25247 25250 24924 0 -1 1077944384 4976 12319 0 0 748 35 8 4 20 0 20 0 15000819 11259342848 241205 33554432000 4194304 4196468 140728325077552 140583609846672 140583646750421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31711232 140728325085889 140728325088663 140728325088663 140728325091279 0
[pid=25250/tid=25363] ppid=25247 vsize=10995452 CPUtime=8.07 cores=1,3,5,7,9,11,13,15
/proc/25250/task/25363/stat : 25363 (java) S 25247 25250 24924 0 -1 1077944384 6821 12319 0 0 755 40 8 4 20 0 20 0 15000819 11259342848 241205 33554432000 4194304 4196468 140728325077552 140583608793872 140583646750421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31711232 140728325085889 140728325088663 140728325088663 140728325091279 0
[pid=25250/tid=25364] ppid=25247 vsize=10995452 CPUtime=8 cores=1,3,5,7,9,11,13,15
/proc/25250/task/25364/stat : 25364 (java) S 25247 25250 24924 0 -1 1077944384 6145 12319 0 0 746 42 8 4 20 0 20 0 15000820 11259342848 241205 33554432000 4194304 4196468 140728325077552 140583251926160 140583646750421 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 31711232 140728325085889 140728325088663 140728325088663 140728325091279 0
[pid=25250/tid=25365] ppid=25247 vsize=10995452 CPUtime=7.96 cores=1,3,5,7,9,11,13,15
/proc/25250/task/25365/stat : 25365 (java) S 25247 25250 24924 0 -1 1077944384 1703 12319 0 0 743 41 8 4 20 0 20 0 15000820 11259342848 241205 33554432000 4194304 4196468 140728325077552 140583250873360 140583646750421 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 31711232 140728325085889 140728325088663 140728325088663 140728325091279 0
[pid=25250/tid=25366] ppid=25247 vsize=10995452 CPUtime=8 cores=1,3,5,7,9,11,13,15
/proc/25250/task/25366/stat : 25366 (java) S 25247 25250 24924 0 -1 1077944384 4931 12319 0 0 749 39 8 4 20 0 20 0 15000820 11259342848 241205 33554432000 4194304 4196468 140728325077552 140583249820048 140583646750421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31711232 140728325085889 140728325088663 140728325088663 140728325091279 0
[pid=25250/tid=25367] ppid=25247 vsize=10995452 CPUtime=7.91 cores=1,3,5,7,9,11,13,15
/proc/25250/task/25367/stat : 25367 (java) S 25247 25250 24924 0 -1 1077944384 3144 12319 0 0 739 40 8 4 20 0 20 0 15000820 11259342848 241205 33554432000 4194304 4196468 140728325077552 140583248767248 140583646750421 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 31711232 140728325085889 140728325088663 140728325088663 140728325091279 0
[pid=25250/tid=25368] ppid=25247 vsize=10995452 CPUtime=7.99 cores=1,3,5,7,9,11,13,15
/proc/25250/task/25368/stat : 25368 (java) S 25247 25250 24924 0 -1 1077944384 4393 12319 0 0 751 36 8 4 20 0 20 0 15000820 11259342848 241205 33554432000 4194304 4196468 140728325077552 140583247714960 140583646750421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31711232 140728325085889 140728325088663 140728325088663 140728325091279 0
[pid=25250/tid=25369] ppid=25247 vsize=10995452 CPUtime=8.04 cores=1,3,5,7,9,11,13,15
/proc/25250/task/25369/stat : 25369 (java) S 25247 25250 24924 0 -1 1077944384 3447 12319 0 0 752 40 8 4 20 0 20 0 15000820 11259342848 241205 33554432000 4194304 4196468 140728325077552 140583246662160 140583646750421 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 31711232 140728325085889 140728325088663 140728325088663 140728325091279 0
[pid=25250/tid=25382] ppid=25247 vsize=10995452 CPUtime=8.04 cores=1,3,5,7,9,11,13,15
/proc/25250/task/25382/stat : 25382 (java) S 25247 25250 24924 0 -1 1077944384 11573 12319 0 0 754 38 8 4 20 0 20 0 15000822 11259342848 241205 33554432000 4194304 4196468 140728325077552 140583121361520 140583646751362 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31711232 140728325085889 140728325088663 140728325088663 140728325091279 0
[pid=25250/tid=25383] ppid=25247 vsize=10995452 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/25250/task/25383/stat : 25383 (java) S 25247 25250 24924 0 -1 1077944384 57 12319 0 0 0 0 8 4 20 0 20 0 15000822 11259342848 241205 33554432000 4194304 4196468 140728325077552 140583120307616 140583646750421 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 31711232 140728325085889 140728325088663 140728325088663 140728325091279 0
[pid=25250/tid=25384] ppid=25247 vsize=10995452 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/25250/task/25384/stat : 25384 (java) S 25247 25250 24924 0 -1 1077944384 43 12319 0 0 0 0 8 4 20 0 20 0 15000822 11259342848 241205 33554432000 4194304 4196468 140728325077552 140583119255168 140583646750421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31711232 140728325085889 140728325088663 140728325088663 140728325091279 0
[pid=25250/tid=25388] ppid=25247 vsize=10995452 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/25250/task/25388/stat : 25388 (java) S 25247 25250 24924 0 -1 1077944384 1 12319 0 0 0 0 8 4 20 0 20 0 15000826 11259342848 241205 33554432000 4194304 4196468 140728325077552 140583118203472 140583646758811 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 31711232 140728325085889 140728325088663 140728325088663 140728325091279 0
[pid=25250/tid=25389] ppid=25247 vsize=10995452 CPUtime=7.38 cores=1,3,5,7,9,11,13,15
/proc/25250/task/25389/stat : 25389 (java) S 25247 25250 24924 0 -1 1077944384 7976 12319 0 0 721 5 8 4 20 0 20 0 15000826 11259342848 241205 33554432000 4194304 4196468 140728325077552 140583117150320 140583646751362 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31711232 140728325085889 140728325088663 140728325088663 140728325091279 0
[pid=25250/tid=25390] ppid=25247 vsize=10995452 CPUtime=7.88 cores=1,3,5,7,9,11,13,15
/proc/25250/task/25390/stat : 25390 (java) S 25247 25250 24924 0 -1 1077944384 11697 12319 0 0 770 6 8 4 20 0 20 0 15000826 11259342848 241205 33554432000 4194304 4196468 140728325077552 140583116097520 140583646751362 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 31711232 140728325085889 140728325088663 140728325088663 140728325091279 0
[pid=25250/tid=25391] ppid=25247 vsize=10995452 CPUtime=7.64 cores=1,3,5,7,9,11,13,15
/proc/25250/task/25391/stat : 25391 (java) S 25247 25250 24924 0 -1 1077944384 8796 12319 0 0 747 5 8 4 20 0 20 0 15000826 11259342848 241205 33554432000 4194304 4196468 140728325077552 140583115045232 140583646751362 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 31711232 140728325085889 140728325088663 140728325088663 140728325091279 0
[pid=25250/tid=25392] ppid=25247 vsize=10995452 CPUtime=7.34 cores=1,3,5,7,9,11,13,15
/proc/25250/task/25392/stat : 25392 (java) S 25247 25250 24924 0 -1 1077944384 18090 12319 0 0 716 6 8 4 20 0 20 0 15000826 11259342848 241205 33554432000 4194304 4196468 140728325077552 140583113992432 140583646751362 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31711232 140728325085889 140728325088663 140728325088663 140728325091279 0
[pid=25250/tid=25393] ppid=25247 vsize=10995452 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/25250/task/25393/stat : 25393 (java) S 25247 25250 24924 0 -1 1077944384 3 12319 0 0 0 0 8 4 20 0 20 0 15000826 11259342848 241205 33554432000 4194304 4196468 140728325077552 140583112940384 140583646750421 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 31711232 140728325085889 140728325088663 140728325088663 140728325091279 0
[pid=25250/tid=25394] ppid=25247 vsize=10995452 CPUtime=1.53 cores=1,3,5,7,9,11,13,15
/proc/25250/task/25394/stat : 25394 (java) S 25247 25250 24924 0 -1 1077944384 647 12319 0 0 68 73 8 4 20 0 20 0 15000827 11259342848 241205 33554432000 4194304 4196468 140728325077552 140583111887664 140583646751362 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31711232 140728325085889 140728325088663 140728325088663 140728325091279 0
Current children cumulated CPU time (s) 2344.43
Current children cumulated vsize (KiB) 10995452
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2316.6 s]
/proc/loadavg: 1.22 1.44 1.52 2/255 25525
/proc/meminfo: memFree=30452992/32770624 swapFree=6364/373176
[pid=25250] ppid=25247 vsize=10995452 CPUtime=2400 cores=1,3,5,7,9,11,13,15
/proc/25250/stat : 25250 (java) S 25247 25250 24924 0 -1 1077944320 170517 12319 0 0 239536 452 8 4 20 0 20 0 15000805 11259342848 241220 33554432000 4194304 4196468 140728325077552 140728325060096 140583646740215 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 31711232 140728325085889 140728325088663 140728325088663 140728325091279 0
/proc/25250/statm: 2748863 241220 3504 1 0 2736418 0
[pid=25250/tid=25357] ppid=25247 vsize=10995452 CPUtime=2296.07 cores=1,3,5,7,9,11,13,15
/proc/25250/task/25357/stat : 25357 (java) R 25247 25250 24924 0 -1 4202560 73280 12319 0 0 229555 40 8 4 20 0 20 0 15000819 11259342848 241220 33554432000 4194304 4196468 140728325077552 140583650974560 140583282746514 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31711232 140728325085889 140728325088663 140728325088663 140728325091279 0
[pid=25250/tid=25362] ppid=25247 vsize=10995452 CPUtime=8.14 cores=1,3,5,7,9,11,13,15
/proc/25250/task/25362/stat : 25362 (java) S 25247 25250 24924 0 -1 1077944384 5040 12319 0 0 766 36 8 4 20 0 20 0 15000819 11259342848 241220 33554432000 4194304 4196468 140728325077552 140583609846672 140583646750421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31711232 140728325085889 140728325088663 140728325088663 140728325091279 0
[pid=25250/tid=25363] ppid=25247 vsize=10995452 CPUtime=8.25 cores=1,3,5,7,9,11,13,15
/proc/25250/task/25363/stat : 25363 (java) S 25247 25250 24924 0 -1 1077944384 6831 12319 0 0 773 40 8 4 20 0 20 0 15000819 11259342848 241220 33554432000 4194304 4196468 140728325077552 140583608793872 140583646750421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31711232 140728325085889 140728325088663 140728325088663 140728325091279 0
[pid=25250/tid=25364] ppid=25247 vsize=10995452 CPUtime=8.2 cores=1,3,5,7,9,11,13,15
/proc/25250/task/25364/stat : 25364 (java) S 25247 25250 24924 0 -1 1077944384 6211 12319 0 0 765 43 8 4 20 0 20 0 15000820 11259342848 241220 33554432000 4194304 4196468 140728325077552 140583251926160 140583646750421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31711232 140728325085889 140728325088663 140728325088663 140728325091279 0
[pid=25250/tid=25365] ppid=25247 vsize=10995452 CPUtime=8.15 cores=1,3,5,7,9,11,13,15
/proc/25250/task/25365/stat : 25365 (java) S 25247 25250 24924 0 -1 1077944384 1734 12319 0 0 761 42 8 4 20 0 20 0 15000820 11259342848 241220 33554432000 4194304 4196468 140728325077552 140583250873360 140583646750421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31711232 140728325085889 140728325088663 140728325088663 140728325091279 0
[pid=25250/tid=25366] ppid=25247 vsize=10995452 CPUtime=8.18 cores=1,3,5,7,9,11,13,15
/proc/25250/task/25366/stat : 25366 (java) S 25247 25250 24924 0 -1 1077944384 5143 12319 0 0 766 40 8 4 20 0 20 0 15000820 11259342848 241220 33554432000 4194304 4196468 140728325077552 140583249820048 140583646750421 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 31711232 140728325085889 140728325088663 140728325088663 140728325091279 0
[pid=25250/tid=25367] ppid=25247 vsize=10995452 CPUtime=8.1 cores=1,3,5,7,9,11,13,15
/proc/25250/task/25367/stat : 25367 (java) S 25247 25250 24924 0 -1 1077944384 3159 12319 0 0 757 41 8 4 20 0 20 0 15000820 11259342848 241220 33554432000 4194304 4196468 140728325077552 140583248767248 140583646750421 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 31711232 140728325085889 140728325088663 140728325088663 140728325091279 0
[pid=25250/tid=25368] ppid=25247 vsize=10995452 CPUtime=8.17 cores=1,3,5,7,9,11,13,15
/proc/25250/task/25368/stat : 25368 (java) S 25247 25250 24924 0 -1 1077944384 4409 12319 0 0 768 37 8 4 20 0 20 0 15000820 11259342848 241220 33554432000 4194304 4196468 140728325077552 140583247714960 140583646750421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31711232 140728325085889 140728325088663 140728325088663 140728325091279 0
[pid=25250/tid=25369] ppid=25247 vsize=10995452 CPUtime=8.24 cores=1,3,5,7,9,11,13,15
/proc/25250/task/25369/stat : 25369 (java) S 25247 25250 24924 0 -1 1077944384 3474 12319 0 0 771 41 8 4 20 0 20 0 15000820 11259342848 241220 33554432000 4194304 4196468 140728325077552 140583246662160 140583646750421 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 31711232 140728325085889 140728325088663 140728325088663 140728325091279 0
[pid=25250/tid=25382] ppid=25247 vsize=10995452 CPUtime=8.24 cores=1,3,5,7,9,11,13,15
/proc/25250/task/25382/stat : 25382 (java) S 25247 25250 24924 0 -1 1077944384 11770 12319 0 0 773 39 8 4 20 0 20 0 15000822 11259342848 241220 33554432000 4194304 4196468 140728325077552 140583121361520 140583646751362 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31711232 140728325085889 140728325088663 140728325088663 140728325091279 0
[pid=25250/tid=25383] ppid=25247 vsize=10995452 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/25250/task/25383/stat : 25383 (java) S 25247 25250 24924 0 -1 1077944384 57 12319 0 0 0 0 8 4 20 0 20 0 15000822 11259342848 241220 33554432000 4194304 4196468 140728325077552 140583120307616 140583646750421 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 31711232 140728325085889 140728325088663 140728325088663 140728325091279 0
[pid=25250/tid=25384] ppid=25247 vsize=10995452 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/25250/task/25384/stat : 25384 (java) S 25247 25250 24924 0 -1 1077944384 43 12319 0 0 0 0 8 4 20 0 20 0 15000822 11259342848 241220 33554432000 4194304 4196468 140728325077552 140583119255168 140583646750421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31711232 140728325085889 140728325088663 140728325088663 140728325091279 0
[pid=25250/tid=25388] ppid=25247 vsize=10995452 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/25250/task/25388/stat : 25388 (java) S 25247 25250 24924 0 -1 1077944384 1 12319 0 0 0 0 8 4 20 0 20 0 15000826 11259342848 241220 33554432000 4194304 4196468 140728325077552 140583118203472 140583646758811 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 31711232 140728325085889 140728325088663 140728325088663 140728325091279 0
[pid=25250/tid=25389] ppid=25247 vsize=10995452 CPUtime=7.39 cores=1,3,5,7,9,11,13,15
/proc/25250/task/25389/stat : 25389 (java) S 25247 25250 24924 0 -1 1077944384 7978 12319 0 0 721 6 8 4 20 0 20 0 15000826 11259342848 241220 33554432000 4194304 4196468 140728325077552 140583117150320 140583646751362 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31711232 140728325085889 140728325088663 140728325088663 140728325091279 0
[pid=25250/tid=25390] ppid=25247 vsize=10995452 CPUtime=7.88 cores=1,3,5,7,9,11,13,15
/proc/25250/task/25390/stat : 25390 (java) S 25247 25250 24924 0 -1 1077944384 11699 12319 0 0 770 6 8 4 20 0 20 0 15000826 11259342848 241220 33554432000 4194304 4196468 140728325077552 140583116097520 140583646751362 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 31711232 140728325085889 140728325088663 140728325088663 140728325091279 0
[pid=25250/tid=25391] ppid=25247 vsize=10995452 CPUtime=7.64 cores=1,3,5,7,9,11,13,15
/proc/25250/task/25391/stat : 25391 (java) S 25247 25250 24924 0 -1 1077944384 8798 12319 0 0 747 5 8 4 20 0 20 0 15000826 11259342848 241220 33554432000 4194304 4196468 140728325077552 140583115045232 140583646751362 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 31711232 140728325085889 140728325088663 140728325088663 140728325091279 0
[pid=25250/tid=25392] ppid=25247 vsize=10995452 CPUtime=7.34 cores=1,3,5,7,9,11,13,15
/proc/25250/task/25392/stat : 25392 (java) S 25247 25250 24924 0 -1 1077944384 18092 12319 0 0 716 6 8 4 20 0 20 0 15000826 11259342848 241220 33554432000 4194304 4196468 140728325077552 140583113992432 140583646751362 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31711232 140728325085889 140728325088663 140728325088663 140728325091279 0
[pid=25250/tid=25393] ppid=25247 vsize=10995452 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/25250/task/25393/stat : 25393 (java) S 25247 25250 24924 0 -1 1077944384 3 12319 0 0 0 0 8 4 20 0 20 0 15000826 11259342848 241220 33554432000 4194304 4196468 140728325077552 140583112940384 140583646750421 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 31711232 140728325085889 140728325088663 140728325088663 140728325091279 0
[pid=25250/tid=25394] ppid=25247 vsize=10995452 CPUtime=1.57 cores=1,3,5,7,9,11,13,15
/proc/25250/task/25394/stat : 25394 (java) S 25247 25250 24924 0 -1 1077944384 662 12319 0 0 70 75 8 4 20 0 20 0 15000827 11259342848 241220 33554432000 4194304 4196468 140728325077552 140583111887664 140583646751362 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31711232 140728325085889 140728325088663 140728325088663 140728325091279 0
Current children cumulated CPU time (s) 2400
Current children cumulated vsize (KiB) 10995452
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 25250 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2316.8 s]
/proc/loadavg: 1.22 1.44 1.52 2/255 25525
/proc/meminfo: memFree=30452992/32770624 swapFree=6364/373176
[pid=25250] ppid=25247 vsize=11128580 CPUtime=2400.94 cores=1,3,5,7,9,11,13,15
/proc/25250/stat : 25250 (java) S 25247 25250 24924 0 -1 1077944320 176867 12319 0 0 239627 455 8 4 20 0 22 0 15000805 11395665920 243027 33554432000 4194304 4196468 140728325077552 140728325060096 140583646740215 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31711232 140728325085889 140728325088663 140728325088663 140728325091279 0
/proc/25250/statm: 2782145 243027 3504 1 0 2769700 0
[pid=25250/tid=25357] ppid=25247 vsize=11128580 CPUtime=2296.08 cores=1,3,5,7,9,11,13,15
/proc/25250/task/25357/stat : 25357 (java) S 25247 25250 24924 0 -1 1077944384 73675 12319 0 0 229556 40 8 4 20 0 22 0 15000819 11395665920 243027 33554432000 4194304 4196468 140728325077552 140583650977760 140583646750421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31711232 140728325085889 140728325088663 140728325088663 140728325091279 0
[pid=25250/tid=25362] ppid=25247 vsize=11128580 CPUtime=8.24 cores=1,3,5,7,9,11,13,15
/proc/25250/task/25362/stat : 25362 (java) S 25247 25250 24924 0 -1 1077944384 5049 12319 0 0 776 36 8 4 20 0 22 0 15000819 11395665920 243027 33554432000 4194304 4196468 140728325077552 140583609846672 140583646750421 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 31711232 140728325085889 140728325088663 140728325088663 140728325091279 0
[pid=25250/tid=25363] ppid=25247 vsize=11128580 CPUtime=8.36 cores=1,3,5,7,9,11,13,15
/proc/25250/task/25363/stat : 25363 (java) S 25247 25250 24924 0 -1 1077944384 6855 12319 0 0 783 41 8 4 20 0 22 0 15000819 11395665920 243027 33554432000 4194304 4196468 140728325077552 140583608793872 140583646750421 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 31711232 140728325085889 140728325088663 140728325088663 140728325091279 0
[pid=25250/tid=25364] ppid=25247 vsize=11128580 CPUtime=8.31 cores=1,3,5,7,9,11,13,15
/proc/25250/task/25364/stat : 25364 (java) S 25247 25250 24924 0 -1 1077944384 6225 12319 0 0 776 43 8 4 20 0 22 0 15000820 11395665920 243027 33554432000 4194304 4196468 140728325077552 140583251926160 140583646750421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31711232 140728325085889 140728325088663 140728325088663 140728325091279 0
[pid=25250/tid=25365] ppid=25247 vsize=11128580 CPUtime=8.26 cores=1,3,5,7,9,11,13,15
/proc/25250/task/25365/stat : 25365 (java) S 25247 25250 24924 0 -1 1077944384 1735 12319 0 0 772 42 8 4 20 0 22 0 15000820 11395665920 243027 33554432000 4194304 4196468 140728325077552 140583250873360 140583646750421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31711232 140728325085889 140728325088663 140728325088663 140728325091279 0
[pid=25250/tid=25366] ppid=25247 vsize=11128580 CPUtime=8.29 cores=1,3,5,7,9,11,13,15
/proc/25250/task/25366/stat : 25366 (java) S 25247 25250 24924 0 -1 1077944384 5148 12319 0 0 777 40 8 4 20 0 22 0 15000820 11395665920 243027 33554432000 4194304 4196468 140728325077552 140583249820048 140583646750421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31711232 140728325085889 140728325088663 140728325088663 140728325091279 0
[pid=25250/tid=25367] ppid=25247 vsize=11128580 CPUtime=8.21 cores=1,3,5,7,9,11,13,15
/proc/25250/task/25367/stat : 25367 (java) S 25247 25250 24924 0 -1 1077944384 3168 12319 0 0 768 41 8 4 20 0 22 0 15000820 11395665920 243027 33554432000 4194304 4196468 140728325077552 140583248767248 140583646750421 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 31711232 140728325085889 140728325088663 140728325088663 140728325091279 0
[pid=25250/tid=25368] ppid=25247 vsize=11128580 CPUtime=8.27 cores=1,3,5,7,9,11,13,15
/proc/25250/task/25368/stat : 25368 (java) S 25247 25250 24924 0 -1 1077944384 4426 12319 0 0 778 37 8 4 20 0 22 0 15000820 11395665920 243027 33554432000 4194304 4196468 140728325077552 140583247714960 140583646750421 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 31711232 140728325085889 140728325088663 140728325088663 140728325091279 0
[pid=25250/tid=25369] ppid=25247 vsize=11128580 CPUtime=8.35 cores=1,3,5,7,9,11,13,15
/proc/25250/task/25369/stat : 25369 (java) S 25247 25250 24924 0 -1 1077944384 3489 12319 0 0 782 41 8 4 20 0 22 0 15000820 11395665920 243027 33554432000 4194304 4196468 140728325077552 140583246662160 140583646750421 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 31711232 140728325085889 140728325088663 140728325088663 140728325091279 0
[pid=25250/tid=25382] ppid=25247 vsize=11128580 CPUtime=8.3 cores=1,3,5,7,9,11,13,15
/proc/25250/task/25382/stat : 25382 (java) R 25247 25250 24924 0 -1 4202560 17353 12319 0 0 779 39 8 4 20 0 22 0 15000822 11395665920 243027 33554432000 4194304 4196468 140728325077552 140583121359920 140583631746264 0 0 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31711232 140728325085889 140728325088663 140728325088663 140728325091279 0
[pid=25250/tid=25383] ppid=25247 vsize=11128580 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/25250/task/25383/stat : 25383 (java) S 25247 25250 24924 0 -1 1077944384 59 12319 0 0 0 0 8 4 20 0 22 0 15000822 11395665920 243027 33554432000 4194304 4196468 140728325077552 140583120307216 140583646750421 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 31711232 140728325085889 140728325088663 140728325088663 140728325091279 0
[pid=25250/tid=25384] ppid=25247 vsize=11128580 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/25250/task/25384/stat : 25384 (java) S 25247 25250 24924 0 -1 1077944384 43 12319 0 0 0 0 8 4 20 0 22 0 15000822 11395665920 243027 33554432000 4194304 4196468 140728325077552 140583119255168 140583646750421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31711232 140728325085889 140728325088663 140728325088663 140728325091279 0
[pid=25250/tid=25388] ppid=25247 vsize=11128580 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/25250/task/25388/stat : 25388 (java) S 25247 25250 24924 0 -1 1077944384 121 12319 0 0 0 0 8 4 20 0 22 0 15000826 11395665920 243027 33554432000 4194304 4196468 140728325077552 140583118203472 140583646758811 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 31711232 140728325085889 140728325088663 140728325088663 140728325091279 0
[pid=25250/tid=25389] ppid=25247 vsize=11128580 CPUtime=7.39 cores=1,3,5,7,9,11,13,15
/proc/25250/task/25389/stat : 25389 (java) S 25247 25250 24924 0 -1 1077944384 7978 12319 0 0 721 6 8 4 20 0 22 0 15000826 11395665920 243027 33554432000 4194304 4196468 140728325077552 140583117150320 140583646751362 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31711232 140728325085889 140728325088663 140728325088663 140728325091279 0
[pid=25250/tid=25390] ppid=25247 vsize=11128580 CPUtime=7.88 cores=1,3,5,7,9,11,13,15
/proc/25250/task/25390/stat : 25390 (java) S 25247 25250 24924 0 -1 1077944384 11699 12319 0 0 770 6 8 4 20 0 22 0 15000826 11395665920 243027 33554432000 4194304 4196468 140728325077552 140583116097520 140583646751362 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 31711232 140728325085889 140728325088663 140728325088663 140728325091279 0
[pid=25250/tid=25391] ppid=25247 vsize=11128580 CPUtime=7.64 cores=1,3,5,7,9,11,13,15
/proc/25250/task/25391/stat : 25391 (java) S 25247 25250 24924 0 -1 1077944384 8798 12319 0 0 747 5 8 4 20 0 22 0 15000826 11395665920 243027 33554432000 4194304 4196468 140728325077552 140583115045232 140583646751362 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 31711232 140728325085889 140728325088663 140728325088663 140728325091279 0
[pid=25250/tid=25392] ppid=25247 vsize=11128580 CPUtime=7.34 cores=1,3,5,7,9,11,13,15
/proc/25250/task/25392/stat : 25392 (java) S 25247 25250 24924 0 -1 1077944384 18134 12319 0 0 716 6 8 4 20 0 22 0 15000826 11395665920 243027 33554432000 4194304 4196468 140728325077552 140583113988800 140583646750421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31711232 140728325085889 140728325088663 140728325088663 140728325091279 0
[pid=25250/tid=25393] ppid=25247 vsize=11128580 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/25250/task/25393/stat : 25393 (java) S 25247 25250 24924 0 -1 1077944384 3 12319 0 0 0 0 8 4 20 0 22 0 15000826 11395665920 243027 33554432000 4194304 4196468 140728325077552 140583112940384 140583646750421 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 31711232 140728325085889 140728325088663 140728325088663 140728325091279 0
[pid=25250/tid=25394] ppid=25247 vsize=11128580 CPUtime=1.57 cores=1,3,5,7,9,11,13,15
/proc/25250/task/25394/stat : 25394 (java) S 25247 25250 24924 0 -1 1077944384 662 12319 0 0 70 75 8 4 20 0 22 0 15000827 11395665920 243027 33554432000 4194304 4196468 140728325077552 140583111887664 140583646751362 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31711232 140728325085889 140728325088663 140728325088663 140728325091279 0
Current children cumulated CPU time (s) 2400.94
Current children cumulated vsize (KiB) 11128580
Child status: 143
Real time (s): 2316.85
CPU time (s): 2401.09
CPU user time (s): 2396.48
CPU system time (s): 4.6082
CPU usage (%): 103.636
Max. virtual memory (cumulated for all children) (KiB): 11128580
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2396.48
system time used= 4.6082
maximum resident set size= 972708
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 189294
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2672
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 308570
involuntary context switches= 181135
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.8912 second user time and 20.1375 second system time
The end