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-4245362-1500703120/watcher-4245362-1500703120 -o /tmp/evaluation-result-4245362-1500703120/solver-4245362-1500703120 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node128-1500683681-7986 --watchdog 2560 bin/concrete HOME/instance-4245362-1500703120.xml
pid=12326
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.54 1.53 1.59 3/261 12329
/proc/meminfo: memFree=29154168/32770624 swapFree=5800/285752
[pid=12329] ppid=12326 vsize=9508 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12329/stat : 12329 (bash) S 12326 12329 7954 0 -1 4202496 687 1531 0 0 0 0 0 0 20 0 1 0 5579523 9736192 350 33554432000 4194304 5098028 140721009373792 140721009371432 140276495903744 0 0 4100 65536 18446744071580971376 0 0 17 11 0 0 0 0 0 7196144 7232144 38268928 140721009378574 140721009378659 140721009378659 140721009381358 0
/proc/12329/statm: 2377 350 277 221 0 86 0
[startup+0.100104 s]
/proc/loadavg: 1.54 1.53 1.59 3/261 12329
/proc/meminfo: memFree=29154168/32770624 swapFree=5800/285752
[pid=12329] ppid=12326 vsize=9640 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/12329/stat : 12329 (bash) S 12326 12329 7954 0 -1 4202496 885 6416 0 0 0 0 0 1 20 0 1 0 5579523 9871360 378 33554432000 4194304 5098028 140721009373792 140721009367800 140276495903744 0 0 4100 65536 18446744071580971376 0 0 17 11 0 0 0 0 0 7196144 7232144 38268928 140721009378574 140721009378659 140721009378659 140721009381358 0
/proc/12329/statm: 2410 378 296 221 0 119 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9640
[startup+0.200431 s]
/proc/loadavg: 1.54 1.53 1.59 3/261 12329
/proc/meminfo: memFree=29154168/32770624 swapFree=5800/285752
[pid=12329] ppid=12326 vsize=10435860 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/12329/stat : 12329 (java) S 12326 12329 7954 0 -1 1077944320 5003 12425 0 0 5 1 9 3 20 0 13 0 5579523 10686320640 5349 33554432000 4194304 4196468 140722329374608 140722329357152 139761530048247 0 0 0 16800971 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 27545600 140722329381569 140722329384343 140722329384343 140722329386959 0
/proc/12329/statm: 2608965 5349 2139 1 0 2597403 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 10435860
[startup+0.300344 s]
/proc/loadavg: 1.54 1.53 1.59 3/261 12329
/proc/meminfo: memFree=29154168/32770624 swapFree=5800/285752
[pid=12329] ppid=12326 vsize=10902392 CPUtime=0.37 cores=1,3,5,7,9,11,13,15
/proc/12329/stat : 12329 (java) S 12326 12329 7954 0 -1 1077944320 6975 12425 0 0 22 3 9 3 20 0 20 0 5579523 11164049408 8694 33554432000 4194304 4196468 140722329374608 140722329357152 139761530048247 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 27545600 140722329381569 140722329384343 140722329384343 140722329386959 0
/proc/12329/statm: 2725598 8694 2980 1 0 2713890 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 10902392
[startup+0.700203 s]
/proc/loadavg: 1.54 1.53 1.59 3/261 12329
/proc/meminfo: memFree=29154168/32770624 swapFree=5800/285752
[pid=12329] ppid=12326 vsize=10902720 CPUtime=0.89 cores=1,3,5,7,9,11,13,15
/proc/12329/stat : 12329 (java) S 12326 12329 7954 0 -1 1077944320 12124 12425 0 0 73 4 9 3 20 0 20 0 5579523 11164385280 14929 33554432000 4194304 4196468 140722329374608 140722329357152 139761530048247 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 27545600 140722329381569 140722329384343 140722329384343 140722329386959 0
/proc/12329/statm: 2725680 14929 3155 1 0 2713890 0
Current children cumulated CPU time (s) 0.89
Current children cumulated vsize (KiB) 10902720
[startup+1.50117 s]
/proc/loadavg: 1.50 1.52 1.59 3/281 12402
/proc/meminfo: memFree=29050720/32770624 swapFree=5800/285820
[pid=12329] ppid=12326 vsize=10913344 CPUtime=2.26 cores=1,3,5,7,9,11,13,15
/proc/12329/stat : 12329 (java) S 12326 12329 7954 0 -1 1077944320 24028 12425 0 0 200 14 9 3 20 0 20 0 5579523 11175264256 43935 33554432000 4194304 4196468 140722329374608 140722329357152 139761530048247 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 27545600 140722329381569 140722329384343 140722329384343 140722329386959 0
/proc/12329/statm: 2728336 43935 3408 1 0 2716450 0
[pid=12329/tid=12384] ppid=12326 vsize=10913344 CPUtime=1.42 cores=1,3,5,7,9,11,13,15
/proc/12329/task/12384/stat : 12384 (java) R 12326 12329 7954 0 -1 4202560 17792 12425 0 0 124 6 9 3 20 0 20 0 5579537 11175264256 43935 33554432000 4194304 4196468 140722329374608 139761534266960 139761530069594 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27545600 140722329381569 140722329384343 140722329384343 140722329386959 0
[pid=12329/tid=12385] ppid=12326 vsize=10913344 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/12329/task/12385/stat : 12385 (java) S 12326 12329 7954 0 -1 1077944384 12 12425 0 0 0 1 9 3 20 0 20 0 5579538 11175264256 43935 33554432000 4194304 4196468 140722329374608 139761466739728 139761530058453 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 27545600 140722329381569 140722329384343 140722329384343 140722329386959 0
[pid=12329/tid=12386] ppid=12326 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/12329/task/12386/stat : 12386 (java) S 12326 12329 7954 0 -1 1077944384 18 12425 0 0 0 0 9 3 20 0 20 0 5579538 11175264256 43935 33554432000 4194304 4196468 140722329374608 139761465687184 139761530058453 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 27545600 140722329381569 140722329384343 140722329384343 140722329386959 0
[pid=12329/tid=12387] ppid=12326 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/12329/task/12387/stat : 12387 (java) S 12326 12329 7954 0 -1 1077944384 22 12425 0 0 0 0 9 3 20 0 20 0 5579538 11175264256 43935 33554432000 4194304 4196468 140722329374608 139761464634128 139761530058453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27545600 140722329381569 140722329384343 140722329384343 140722329386959 0
[pid=12329/tid=12388] ppid=12326 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/12329/task/12388/stat : 12388 (java) S 12326 12329 7954 0 -1 1077944384 18 12425 0 0 0 0 9 3 20 0 20 0 5579538 11175264256 43935 33554432000 4194304 4196468 140722329374608 139761463581584 139761530058453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27545600 140722329381569 140722329384343 140722329384343 140722329386959 0
[pid=12329/tid=12389] ppid=12326 vsize=10913344 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/12329/task/12389/stat : 12389 (java) S 12326 12329 7954 0 -1 1077944384 31 12425 0 0 1 0 9 3 20 0 20 0 5579538 11175264256 43935 33554432000 4194304 4196468 140722329374608 139761462528528 139761530058453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27545600 140722329381569 140722329384343 140722329384343 140722329386959 0
[pid=12329/tid=12390] ppid=12326 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/12329/task/12390/stat : 12390 (java) S 12326 12329 7954 0 -1 1077944384 9 12425 0 0 0 0 9 3 20 0 20 0 5579538 11175264256 43935 33554432000 4194304 4196468 140722329374608 139761461475984 139761530058453 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 27545600 140722329381569 140722329384343 140722329384343 140722329386959 0
[pid=12329/tid=12391] ppid=12326 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/12329/task/12391/stat : 12391 (java) S 12326 12329 7954 0 -1 1077944384 20 12425 0 0 0 0 9 3 20 0 20 0 5579538 11175264256 43935 33554432000 4194304 4196468 140722329374608 139761460422928 139761530058453 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 27545600 140722329381569 140722329384343 140722329384343 140722329386959 0
[pid=12329/tid=12392] ppid=12326 vsize=10913344 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/12329/task/12392/stat : 12392 (java) S 12326 12329 7954 0 -1 1077944384 137 12425 0 0 1 0 9 3 20 0 20 0 5579538 11175264256 43935 33554432000 4194304 4196468 140722329374608 139761459370384 139761530058453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27545600 140722329381569 140722329384343 140722329384343 140722329386959 0
[pid=12329/tid=12393] ppid=12326 vsize=10913344 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/12329/task/12393/stat : 12393 (java) S 12326 12329 7954 0 -1 1077944384 162 12425 0 0 1 0 9 3 20 0 20 0 5579540 11175264256 43935 33554432000 4194304 4196468 140722329374608 139760669092592 139761530059394 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27545600 140722329381569 140722329384343 140722329384343 140722329386959 0
[pid=12329/tid=12394] ppid=12326 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/12329/task/12394/stat : 12394 (java) S 12326 12329 7954 0 -1 1077944384 33 12425 0 0 0 0 9 3 20 0 20 0 5579541 11175264256 43935 33554432000 4194304 4196468 140722329374608 139760668038880 139761530058453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27545600 140722329381569 140722329384343 140722329384343 140722329386959 0
[pid=12329/tid=12395] ppid=12326 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/12329/task/12395/stat : 12395 (java) S 12326 12329 7954 0 -1 1077944384 23 12425 0 0 0 0 9 3 20 0 20 0 5579541 11175264256 43935 33554432000 4194304 4196468 140722329374608 139760666985728 139761530058453 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 27545600 140722329381569 140722329384343 140722329384343 140722329386959 0
[pid=12329/tid=12396] ppid=12326 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/12329/task/12396/stat : 12396 (java) S 12326 12329 7954 0 -1 1077944384 1 12425 0 0 0 0 9 3 20 0 20 0 5579546 11175264256 43935 33554432000 4194304 4196468 140722329374608 139760665934288 139761530066843 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 27545600 140722329381569 140722329384343 140722329384343 140722329386959 0
[pid=12329/tid=12397] ppid=12326 vsize=10913344 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/12329/task/12397/stat : 12397 (java) R 12326 12329 7954 0 -1 4202560 874 12425 0 0 14 0 9 3 20 0 20 0 5579546 11175264256 43935 33554432000 4194304 4196468 140722329374608 139760664870656 139761510748544 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 27545600 140722329381569 140722329384343 140722329384343 140722329386959 0
[pid=12329/tid=12398] ppid=12326 vsize=10913344 CPUtime=0.27 cores=1,3,5,7,9,11,13,15
/proc/12329/task/12398/stat : 12398 (java) R 12326 12329 7954 0 -1 4202560 1248 12425 0 0 15 0 9 3 20 0 20 0 5579546 11175264256 43935 33554432000 4194304 4196468 140722329374608 139760663829144 139761513951402 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27545600 140722329381569 140722329384343 140722329384343 140722329386959 0
[pid=12329/tid=12399] ppid=12326 vsize=10913344 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/12329/task/12399/stat : 12399 (java) S 12326 12329 7954 0 -1 1077944384 406 12425 0 0 10 0 9 3 20 0 20 0 5579546 11175264256 43935 33554432000 4194304 4196468 140722329374608 139760662775792 139761530059394 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27545600 140722329381569 140722329384343 140722329384343 140722329386959 0
[pid=12329/tid=12400] ppid=12326 vsize=10913344 CPUtime=0.37 cores=1,3,5,7,9,11,13,15
/proc/12329/task/12400/stat : 12400 (java) S 12326 12329 7954 0 -1 1077944384 1098 12425 0 0 25 0 9 3 20 0 20 0 5579546 11175264256 43935 33554432000 4194304 4196468 140722329374608 139760661723248 139761530059394 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 27545600 140722329381569 140722329384343 140722329384343 140722329386959 0
[pid=12329/tid=12401] ppid=12326 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/12329/task/12401/stat : 12401 (java) S 12326 12329 7954 0 -1 1077944384 3 12425 0 0 0 0 9 3 20 0 20 0 5579546 11175264256 43935 33554432000 4194304 4196468 140722329374608 139760660671456 139761530058453 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 27545600 140722329381569 140722329384343 140722329384343 140722329386959 0
[pid=12329/tid=12402] ppid=12326 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/12329/task/12402/stat : 12402 (java) S 12326 12329 7954 0 -1 1077944384 1 12425 0 0 0 0 9 3 20 0 20 0 5579546 11175264256 43935 33554432000 4194304 4196468 140722329374608 139760659618992 139761530059394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27545600 140722329381569 140722329384343 140722329384343 140722329386959 0
Current children cumulated CPU time (s) 2.26
Current children cumulated vsize (KiB) 10913344
[startup+3.10117 s]
/proc/loadavg: 1.50 1.52 1.59 3/281 12402
/proc/meminfo: memFree=28981516/32770624 swapFree=5800/285820
[pid=12329] ppid=12326 vsize=10925820 CPUtime=6.49 cores=1,3,5,7,9,11,13,15
/proc/12329/stat : 12329 (java) S 12326 12329 7954 0 -1 1077944320 42732 12425 0 0 617 20 9 3 20 0 20 0 5579523 11188039680 63888 33554432000 4194304 4196468 140722329374608 140722329357152 139761530048247 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 27545600 140722329381569 140722329384343 140722329384343 140722329386959 0
/proc/12329/statm: 2731455 63888 3476 1 0 2719010 0
[pid=12329/tid=12384] ppid=12326 vsize=10925820 CPUtime=3.01 cores=1,3,5,7,9,11,13,15
/proc/12329/task/12384/stat : 12384 (java) R 12326 12329 7954 0 -1 4202560 30516 12425 0 0 279 10 9 3 20 0 20 0 5579537 11188039680 63888 33554432000 4194304 4196468 140722329374608 139761534276968 139761147228336 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27545600 140722329381569 140722329384343 140722329384343 140722329386959 0
[pid=12329/tid=12385] ppid=12326 vsize=10925820 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/12329/task/12385/stat : 12385 (java) S 12326 12329 7954 0 -1 1077944384 12 12425 0 0 0 1 9 3 20 0 20 0 5579538 11188039680 63888 33554432000 4194304 4196468 140722329374608 139761466739728 139761530058453 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 27545600 140722329381569 140722329384343 140722329384343 140722329386959 0
[pid=12329/tid=12386] ppid=12326 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/12329/task/12386/stat : 12386 (java) S 12326 12329 7954 0 -1 1077944384 18 12425 0 0 0 0 9 3 20 0 20 0 5579538 11188039680 63888 33554432000 4194304 4196468 140722329374608 139761465687184 139761530058453 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 27545600 140722329381569 140722329384343 140722329384343 140722329386959 0
[pid=12329/tid=12387] ppid=12326 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/12329/task/12387/stat : 12387 (java) S 12326 12329 7954 0 -1 1077944384 22 12425 0 0 0 0 9 3 20 0 20 0 5579538 11188039680 63888 33554432000 4194304 4196468 140722329374608 139761464634128 139761530058453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27545600 140722329381569 140722329384343 140722329384343 140722329386959 0
[pid=12329/tid=12388] ppid=12326 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/12329/task/12388/stat : 12388 (java) S 12326 12329 7954 0 -1 1077944384 18 12425 0 0 0 0 9 3 20 0 20 0 5579538 11188039680 63888 33554432000 4194304 4196468 140722329374608 139761463581584 139761530058453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27545600 140722329381569 140722329384343 140722329384343 140722329386959 0
[pid=12329/tid=12389] ppid=12326 vsize=10925820 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/12329/task/12389/stat : 12389 (java) S 12326 12329 7954 0 -1 1077944384 31 12425 0 0 1 0 9 3 20 0 20 0 5579538 11188039680 63888 33554432000 4194304 4196468 140722329374608 139761462528528 139761530058453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27545600 140722329381569 140722329384343 140722329384343 140722329386959 0
[pid=12329/tid=12390] ppid=12326 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/12329/task/12390/stat : 12390 (java) S 12326 12329 7954 0 -1 1077944384 9 12425 0 0 0 0 9 3 20 0 20 0 5579538 11188039680 63888 33554432000 4194304 4196468 140722329374608 139761461475984 139761530058453 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 27545600 140722329381569 140722329384343 140722329384343 140722329386959 0
[pid=12329/tid=12391] ppid=12326 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/12329/task/12391/stat : 12391 (java) S 12326 12329 7954 0 -1 1077944384 20 12425 0 0 0 0 9 3 20 0 20 0 5579538 11188039680 63888 33554432000 4194304 4196468 140722329374608 139761460422928 139761530058453 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 27545600 140722329381569 140722329384343 140722329384343 140722329386959 0
[pid=12329/tid=12392] ppid=12326 vsize=10925820 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/12329/task/12392/stat : 12392 (java) S 12326 12329 7954 0 -1 1077944384 137 12425 0 0 1 0 9 3 20 0 20 0 5579538 11188039680 64400 33554432000 4194304 4196468 140722329374608 139761459370384 139761530058453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27545600 140722329381569 140722329384343 140722329384343 140722329386959 0
[pid=12329/tid=12393] ppid=12326 vsize=10925820 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/12329/task/12393/stat : 12393 (java) S 12326 12329 7954 0 -1 1077944384 325 12425 0 0 2 0 9 3 20 0 20 0 5579540 11188039680 64400 33554432000 4194304 4196468 140722329374608 139760669092592 139761530059394 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27545600 140722329381569 140722329384343 140722329384343 140722329386959 0
[pid=12329/tid=12394] ppid=12326 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/12329/task/12394/stat : 12394 (java) S 12326 12329 7954 0 -1 1077944384 33 12425 0 0 0 0 9 3 20 0 20 0 5579541 11188039680 64400 33554432000 4194304 4196468 140722329374608 139760668038880 139761530058453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27545600 140722329381569 140722329384343 140722329384343 140722329386959 0
[pid=12329/tid=12395] ppid=12326 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/12329/task/12395/stat : 12395 (java) S 12326 12329 7954 0 -1 1077944384 23 12425 0 0 0 0 9 3 20 0 20 0 5579541 11188039680 64400 33554432000 4194304 4196468 140722329374608 139760666985728 139761530058453 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 27545600 140722329381569 140722329384343 140722329384343 140722329386959 0
[pid=12329/tid=12396] ppid=12326 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/12329/task/12396/stat : 12396 (java) S 12326 12329 7954 0 -1 1077944384 1 12425 0 0 0 0 9 3 20 0 20 0 5579546 11188039680 64400 33554432000 4194304 4196468 140722329374608 139760665934288 139761530066843 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 27545600 140722329381569 140722329384343 140722329384343 140722329386959 0
[pid=12329/tid=12397] ppid=12326 vsize=10925820 CPUtime=0.8 cores=1,3,5,7,9,11,13,15
/proc/12329/task/12397/stat : 12397 (java) R 12326 12329 7954 0 -1 4202560 2176 12425 0 0 68 0 9 3 20 0 20 0 5579546 11188039680 64400 33554432000 4194304 4196468 140722329374608 139760664867272 139761511592687 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27545600 140722329381569 140722329384343 140722329384343 140722329386959 0
[pid=12329/tid=12398] ppid=12326 vsize=10925820 CPUtime=0.89 cores=1,3,5,7,9,11,13,15
/proc/12329/task/12398/stat : 12398 (java) R 12326 12329 7954 0 -1 4202560 2189 12425 0 0 76 1 9 3 20 0 20 0 5579546 11188039680 64400 33554432000 4194304 4196468 140722329374608 139760663815392 139761511568112 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27545600 140722329381569 140722329384343 140722329384343 140722329386959 0
[pid=12329/tid=12399] ppid=12326 vsize=10925820 CPUtime=0.95 cores=1,3,5,7,9,11,13,15
/proc/12329/task/12399/stat : 12399 (java) R 12326 12329 7954 0 -1 4202560 1766 12425 0 0 83 0 9 3 20 0 20 0 5579546 11188039680 64400 33554432000 4194304 4196468 140722329374608 139760662761672 139761514977717 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 27545600 140722329381569 140722329384343 140722329384343 140722329386959 0
[pid=12329/tid=12400] ppid=12326 vsize=10925820 CPUtime=1.11 cores=1,3,5,7,9,11,13,15
/proc/12329/task/12400/stat : 12400 (java) R 12326 12329 7954 0 -1 4202560 3293 12425 0 0 98 1 9 3 20 0 20 0 5579546 11188039680 64400 33554432000 4194304 4196468 140722329374608 139760661723248 139761508971216 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 27545600 140722329381569 140722329384343 140722329384343 140722329386959 0
[pid=12329/tid=12401] ppid=12326 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/12329/task/12401/stat : 12401 (java) S 12326 12329 7954 0 -1 1077944384 3 12425 0 0 0 0 9 3 20 0 20 0 5579546 11188039680 64400 33554432000 4194304 4196468 140722329374608 139760660671456 139761530058453 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 27545600 140722329381569 140722329384343 140722329384343 140722329386959 0
[pid=12329/tid=12402] ppid=12326 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/12329/task/12402/stat : 12402 (java) S 12326 12329 7954 0 -1 1077944384 6 12425 0 0 0 0 9 3 20 0 20 0 5579546 11188039680 64400 33554432000 4194304 4196468 140722329374608 139760659618992 139761530059394 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 27545600 140722329381569 140722329384343 140722329384343 140722329386959 0
Current children cumulated CPU time (s) 6.49
Current children cumulated vsize (KiB) 10925820
[startup+6.30115 s]
/proc/loadavg: 1.50 1.52 1.59 4/281 12402
/proc/meminfo: memFree=28484612/32770624 swapFree=5800/285820
[pid=12329] ppid=12326 vsize=10925820 CPUtime=12.68 cores=1,3,5,7,9,11,13,15
/proc/12329/stat : 12329 (java) S 12326 12329 7954 0 -1 1077944320 48131 12425 0 0 1133 123 9 3 20 0 20 0 5579523 11188039680 209812 33554432000 4194304 4196468 140722329374608 140722329357152 139761530048247 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 27545600 140722329381569 140722329384343 140722329384343 140722329386959 0
/proc/12329/statm: 2731455 209812 3498 1 0 2719010 0
[pid=12329/tid=12384] ppid=12326 vsize=10925820 CPUtime=5.98 cores=1,3,5,7,9,11,13,15
/proc/12329/task/12384/stat : 12384 (java) S 12326 12329 7954 0 -1 1077944384 30977 12425 0 0 571 15 9 3 20 0 20 0 5579537 11188039680 209812 33554432000 4194304 4196468 140722329374608 139761534280240 139761530058453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27545600 140722329381569 140722329384343 140722329384343 140722329386959 0
[pid=12329/tid=12385] ppid=12326 vsize=10925820 CPUtime=0.34 cores=1,3,5,7,9,11,13,15
/proc/12329/task/12385/stat : 12385 (java) R 12326 12329 7954 0 -1 4202560 147 12425 0 0 9 13 9 3 20 0 20 0 5579538 11188039680 209812 33554432000 4194304 4196468 140722329374608 139761466739728 139761523148094 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 27545600 140722329381569 140722329384343 140722329384343 140722329386959 0
[pid=12329/tid=12386] ppid=12326 vsize=10925820 CPUtime=0.33 cores=1,3,5,7,9,11,13,15
/proc/12329/task/12386/stat : 12386 (java) R 12326 12329 7954 0 -1 4202560 173 12425 0 0 9 12 9 3 20 0 20 0 5579538 11188039680 209812 33554432000 4194304 4196468 140722329374608 139761465687384 139761515076130 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 27545600 140722329381569 140722329384343 140722329384343 140722329386959 0
[pid=12329/tid=12387] ppid=12326 vsize=10925820 CPUtime=0.34 cores=1,3,5,7,9,11,13,15
/proc/12329/task/12387/stat : 12387 (java) R 12326 12329 7954 0 -1 4202560 316 12425 0 0 10 12 9 3 20 0 20 0 5579538 11188039680 209812 33554432000 4194304 4196468 140722329374608 139761464634328 139761523144846 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 27545600 140722329381569 140722329384343 140722329384343 140722329386959 0
[pid=12329/tid=12388] ppid=12326 vsize=10925820 CPUtime=0.33 cores=1,3,5,7,9,11,13,15
/proc/12329/task/12388/stat : 12388 (java) R 12326 12329 7954 0 -1 4202560 117 12425 0 0 9 12 9 3 20 0 20 0 5579538 11188039680 209812 33554432000 4194304 4196468 140722329374608 139761463581584 139761515076130 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27545600 140722329381569 140722329384343 140722329384343 140722329386959 0
[pid=12329/tid=12389] ppid=12326 vsize=10925820 CPUtime=0.31 cores=1,3,5,7,9,11,13,15
/proc/12329/task/12389/stat : 12389 (java) R 12326 12329 7954 0 -1 4202560 126 12425 0 0 9 10 9 3 20 0 20 0 5579538 11188039680 209812 33554432000 4194304 4196468 140722329374608 139761462528728 139761515075639 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 27545600 140722329381569 140722329384343 140722329384343 140722329386959 0
[pid=12329/tid=12390] ppid=12326 vsize=10925820 CPUtime=0.33 cores=1,3,5,7,9,11,13,15
/proc/12329/task/12390/stat : 12390 (java) R 12326 12329 7954 0 -1 4202560 104 12425 0 0 8 13 9 3 20 0 20 0 5579538 11188039680 209812 33554432000 4194304 4196468 140722329374608 139761461476184 139761515075645 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27545600 140722329381569 140722329384343 140722329384343 140722329386959 0
[pid=12329/tid=12391] ppid=12326 vsize=10925820 CPUtime=0.33 cores=1,3,5,7,9,11,13,15
/proc/12329/task/12391/stat : 12391 (java) R 12326 12329 7954 0 -1 4202560 124 12425 0 0 9 12 9 3 20 0 20 0 5579538 11188039680 209812 33554432000 4194304 4196468 140722329374608 139761460422928 139761523145139 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27545600 140722329381569 140722329384343 140722329384343 140722329386959 0
[pid=12329/tid=12392] ppid=12326 vsize=10925820 CPUtime=0.33 cores=1,3,5,7,9,11,13,15
/proc/12329/task/12392/stat : 12392 (java) R 12326 12329 7954 0 -1 4202560 237 12425 0 0 10 11 9 3 20 0 20 0 5579538 11188039680 209812 33554432000 4194304 4196468 140722329374608 139761459370384 139761523148094 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27545600 140722329381569 140722329384343 140722329384343 140722329386959 0
[pid=12329/tid=12393] ppid=12326 vsize=10925820 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/12329/task/12393/stat : 12393 (java) S 12326 12329 7954 0 -1 1077944384 885 12425 0 0 3 0 9 3 20 0 20 0 5579540 11188039680 209812 33554432000 4194304 4196468 140722329374608 139760669091104 139761530058453 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27545600 140722329381569 140722329384343 140722329384343 140722329386959 0
[pid=12329/tid=12394] ppid=12326 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/12329/task/12394/stat : 12394 (java) S 12326 12329 7954 0 -1 1077944384 37 12425 0 0 0 0 9 3 20 0 20 0 5579541 11188039680 209812 33554432000 4194304 4196468 140722329374608 139760668038880 139761530058453 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 27545600 140722329381569 140722329384343 140722329384343 140722329386959 0
[pid=12329/tid=12395] ppid=12326 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/12329/task/12395/stat : 12395 (java) S 12326 12329 7954 0 -1 1077944384 45 12425 0 0 0 0 9 3 20 0 20 0 5579541 11188039680 209812 33554432000 4194304 4196468 140722329374608 139760666985728 139761530058453 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 27545600 140722329381569 140722329384343 140722329384343 140722329386959 0
[pid=12329/tid=12396] ppid=12326 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/12329/task/12396/stat : 12396 (java) S 12326 12329 7954 0 -1 1077944384 1 12425 0 0 0 0 9 3 20 0 20 0 5579546 11188039680 209812 33554432000 4194304 4196468 140722329374608 139760665934288 139761530066843 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 27545600 140722329381569 140722329384343 140722329384343 140722329386959 0
[pid=12329/tid=12397] ppid=12326 vsize=10925820 CPUtime=1.25 cores=1,3,5,7,9,11,13,15
/proc/12329/task/12397/stat : 12397 (java) S 12326 12329 7954 0 -1 1077944384 2839 12425 0 0 113 0 9 3 20 0 20 0 5579546 11188039680 209812 33554432000 4194304 4196468 140722329374608 139760664881392 139761530059394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27545600 140722329381569 140722329384343 140722329384343 140722329386959 0
[pid=12329/tid=12398] ppid=12326 vsize=10925820 CPUtime=1.3 cores=1,3,5,7,9,11,13,15
/proc/12329/task/12398/stat : 12398 (java) S 12326 12329 7954 0 -1 1077944384 2683 12425 0 0 117 1 9 3 20 0 20 0 5579546 11188039680 209812 33554432000 4194304 4196468 140722329374608 139760663828848 139761530059394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27545600 140722329381569 140722329384343 140722329384343 140722329386959 0
[pid=12329/tid=12399] ppid=12326 vsize=10925820 CPUtime=1.37 cores=1,3,5,7,9,11,13,15
/proc/12329/task/12399/stat : 12399 (java) S 12326 12329 7954 0 -1 1077944384 2461 12425 0 0 124 1 9 3 20 0 20 0 5579546 11188039680 209812 33554432000 4194304 4196468 140722329374608 139760662775792 139761530059394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27545600 140722329381569 140722329384343 140722329384343 140722329386959 0
[pid=12329/tid=12400] ppid=12326 vsize=10925820 CPUtime=1.39 cores=1,3,5,7,9,11,13,15
/proc/12329/task/12400/stat : 12400 (java) S 12326 12329 7954 0 -1 1077944384 4059 12425 0 0 125 2 9 3 20 0 20 0 5579546 11188039680 209812 33554432000 4194304 4196468 140722329374608 139760661723248 139761530059394 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 27545600 140722329381569 140722329384343 140722329384343 140722329386959 0
[pid=12329/tid=12401] ppid=12326 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
################
# More data... #
################
[pid=12329/tid=12398] ppid=12326 vsize=10925820 CPUtime=2.6 cores=1,3,5,7,9,11,13,15
/proc/12329/task/12398/stat : 12398 (java) S 12326 12329 7954 0 -1 1077944384 5908 12425 0 0 246 2 9 3 20 0 20 0 5579546 11188039680 2091920 33554432000 4194304 4196468 140722329374608 139760663828848 139761530059394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27545600 140722329381569 140722329384343 140722329384343 140722329386959 0
[pid=12329/tid=12399] ppid=12326 vsize=10925820 CPUtime=1.99 cores=1,3,5,7,9,11,13,15
/proc/12329/task/12399/stat : 12399 (java) S 12326 12329 7954 0 -1 1077944384 6985 12425 0 0 186 1 9 3 20 0 20 0 5579546 11188039680 2091920 33554432000 4194304 4196468 140722329374608 139760662775792 139761530059394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27545600 140722329381569 140722329384343 140722329384343 140722329386959 0
[pid=12329/tid=12400] ppid=12326 vsize=10925820 CPUtime=1.55 cores=1,3,5,7,9,11,13,15
/proc/12329/task/12400/stat : 12400 (java) S 12326 12329 7954 0 -1 1077944384 10636 12425 0 0 140 3 9 3 20 0 20 0 5579546 11188039680 2091920 33554432000 4194304 4196468 140722329374608 139760661723248 139761530059394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27545600 140722329381569 140722329384343 140722329384343 140722329386959 0
[pid=12329/tid=12401] ppid=12326 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/12329/task/12401/stat : 12401 (java) S 12326 12329 7954 0 -1 1077944384 3 12425 0 0 0 0 9 3 20 0 20 0 5579546 11188039680 2091920 33554432000 4194304 4196468 140722329374608 139760660671456 139761530058453 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 27545600 140722329381569 140722329384343 140722329384343 140722329386959 0
[pid=12329/tid=12402] ppid=12326 vsize=10925820 CPUtime=0.35 cores=1,3,5,7,9,11,13,15
/proc/12329/task/12402/stat : 12402 (java) S 12326 12329 7954 0 -1 1077944384 1139 12425 0 0 14 9 9 3 20 0 20 0 5579546 11188039680 2091920 33554432000 4194304 4196468 140722329374608 139760659618992 139761530059394 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 27545600 140722329381569 140722329384343 140722329384343 140722329386959 0
Current children cumulated CPU time (s) 2400.61
Current children cumulated vsize (KiB) 10925820
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -12329
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 12329 sig 9
??? end of watcher thread
Solver just ended.
Dumping a history of the last processes samples
[startup+520.001 s]
/proc/loadavg: 6.28 4.85 3.02 10/281 12442
/proc/meminfo: memFree=20943544/32770624 swapFree=5800/286400
[pid=12329] ppid=12326 vsize=10925820 CPUtime=2411.78 cores=1,3,5,7,9,11,13,15
/proc/12329/stat : 12329 (java) S 12326 12329 7954 0 -1 1077944320 363753 12425 0 0 239402 1764 9 3 20 0 20 0 5579523 11188039680 2091920 33554432000 4194304 4196468 140722329374608 140722329357152 139761530048247 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 27545600 140722329381569 140722329384343 140722329384343 140722329386959 0
/proc/12329/statm: 2731455 2091920 3508 1 0 2719010 0
[pid=12329/tid=12384] ppid=12326 vsize=10925820 CPUtime=210.59 cores=1,3,5,7,9,11,13,15
/proc/12329/task/12384/stat : 12384 (java) S 12326 12329 7954 0 -1 1077944384 54807 12425 0 0 21004 43 9 3 20 0 20 0 5579537 11188039680 2091920 33554432000 4194304 4196468 140722329374608 139761534281472 139761530058453 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 27545600 140722329381569 140722329384343 140722329384343 140722329386959 0
[pid=12329/tid=12385] ppid=12326 vsize=10925820 CPUtime=270.06 cores=1,3,5,7,9,11,13,15
/proc/12329/task/12385/stat : 12385 (java) R 12326 12329 7954 0 -1 4202560 15024 12425 0 0 26783 211 9 3 20 0 20 0 5579538 11188039680 2091920 33554432000 4194304 4196468 140722329374608 139761466739616 139761514745826 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27545600 140722329381569 140722329384343 140722329384343 140722329386959 0
[pid=12329/tid=12386] ppid=12326 vsize=10925820 CPUtime=269.21 cores=1,3,5,7,9,11,13,15
/proc/12329/task/12386/stat : 12386 (java) R 12326 12329 7954 0 -1 4202560 18692 12425 0 0 26694 215 9 3 20 0 20 0 5579538 11188039680 2091920 33554432000 4194304 4196468 140722329374608 139761465687384 139761514999486 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27545600 140722329381569 140722329384343 140722329384343 140722329386959 0
[pid=12329/tid=12387] ppid=12326 vsize=10925820 CPUtime=269.4 cores=1,3,5,7,9,11,13,15
/proc/12329/task/12387/stat : 12387 (java) R 12326 12329 7954 0 -1 4202560 13964 12425 0 0 26711 217 9 3 20 0 20 0 5579538 11188039680 2091920 33554432000 4194304 4196468 140722329374608 139761464634328 139761514745999 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27545600 140722329381569 140722329384343 140722329384343 140722329386959 0
[pid=12329/tid=12388] ppid=12326 vsize=10925820 CPUtime=269.28 cores=1,3,5,7,9,11,13,15
/proc/12329/task/12388/stat : 12388 (java) R 12326 12329 7954 0 -1 4202560 15026 12425 0 0 26709 207 9 3 20 0 20 0 5579538 11188039680 2091920 33554432000 4194304 4196468 140722329374608 139761463581784 139761514998962 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27545600 140722329381569 140722329384343 140722329384343 140722329386959 0
[pid=12329/tid=12389] ppid=12326 vsize=10925820 CPUtime=270.11 cores=1,3,5,7,9,11,13,15
/proc/12329/task/12389/stat : 12389 (java) R 12326 12329 7954 0 -1 4202560 17262 12425 0 0 26788 211 9 3 20 0 20 0 5579538 11188039680 2091920 33554432000 4194304 4196468 140722329374608 139761462528728 139761515001762 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 27545600 140722329381569 140722329384343 140722329384343 140722329386959 0
[pid=12329/tid=12390] ppid=12326 vsize=10925820 CPUtime=270.11 cores=1,3,5,7,9,11,13,15
/proc/12329/task/12390/stat : 12390 (java) R 12326 12329 7954 0 -1 4202560 18152 12425 0 0 26797 202 9 3 20 0 20 0 5579538 11188039680 2091920 33554432000 4194304 4196468 140722329374608 139761461476184 139761514999288 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 27545600 140722329381569 140722329384343 140722329384343 140722329386959 0
[pid=12329/tid=12391] ppid=12326 vsize=10925820 CPUtime=269.39 cores=1,3,5,7,9,11,13,15
/proc/12329/task/12391/stat : 12391 (java) R 12326 12329 7954 0 -1 4202560 13751 12425 0 0 26717 210 9 3 20 0 20 0 5579538 11188039680 2091920 33554432000 4194304 4196468 140722329374608 139761460423128 139761515033544 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 27545600 140722329381569 140722329384343 140722329384343 140722329386959 0
[pid=12329/tid=12392] ppid=12326 vsize=10925820 CPUtime=269.37 cores=1,3,5,7,9,11,13,15
/proc/12329/task/12392/stat : 12392 (java) R 12326 12329 7954 0 -1 4202560 19566 12425 0 0 26709 216 9 3 20 0 20 0 5579538 11188039680 2091920 33554432000 4194304 4196468 140722329374608 139761459370584 139761514745860 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 27545600 140722329381569 140722329384343 140722329384343 140722329386959 0
[pid=12329/tid=12393] ppid=12326 vsize=10925820 CPUtime=34 cores=1,3,5,7,9,11,13,15
/proc/12329/task/12393/stat : 12393 (java) S 12326 12329 7954 0 -1 1077944384 136179 12425 0 0 3380 8 9 3 20 0 20 0 5579540 11188039680 2091920 33554432000 4194304 4196468 140722329374608 139760669090912 139761530058453 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27545600 140722329381569 140722329384343 140722329384343 140722329386959 0
[pid=12329/tid=12394] ppid=12326 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/12329/task/12394/stat : 12394 (java) S 12326 12329 7954 0 -1 1077944384 41 12425 0 0 0 0 9 3 20 0 20 0 5579541 11188039680 2091920 33554432000 4194304 4196468 140722329374608 139760668038880 139761530058453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27545600 140722329381569 140722329384343 140722329384343 140722329386959 0
[pid=12329/tid=12395] ppid=12326 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/12329/task/12395/stat : 12395 (java) S 12326 12329 7954 0 -1 1077944384 48 12425 0 0 0 0 9 3 20 0 20 0 5579541 11188039680 2091920 33554432000 4194304 4196468 140722329374608 139760666985728 139761530058453 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 27545600 140722329381569 140722329384343 140722329384343 140722329386959 0
[pid=12329/tid=12396] ppid=12326 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/12329/task/12396/stat : 12396 (java) S 12326 12329 7954 0 -1 1077944384 4 12425 0 0 0 0 9 3 20 0 20 0 5579546 11188039680 2091920 33554432000 4194304 4196468 140722329374608 139760665933936 139761530058453 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 27545600 140722329381569 140722329384343 140722329384343 140722329386959 0
[pid=12329/tid=12397] ppid=12326 vsize=10925820 CPUtime=5.29 cores=1,3,5,7,9,11,13,15
/proc/12329/task/12397/stat : 12397 (java) S 12326 12329 7954 0 -1 1077944384 14431 12425 0 0 515 2 9 3 20 0 20 0 5579546 11188039680 2091920 33554432000 4194304 4196468 140722329374608 139760664881392 139761530059394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27545600 140722329381569 140722329384343 140722329384343 140722329386959 0
[pid=12329/tid=12398] ppid=12326 vsize=10925820 CPUtime=2.6 cores=1,3,5,7,9,11,13,15
/proc/12329/task/12398/stat : 12398 (java) S 12326 12329 7954 0 -1 1077944384 5908 12425 0 0 246 2 9 3 20 0 20 0 5579546 11188039680 2091920 33554432000 4194304 4196468 140722329374608 139760663828848 139761530059394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27545600 140722329381569 140722329384343 140722329384343 140722329386959 0
[pid=12329/tid=12399] ppid=12326 vsize=10925820 CPUtime=1.99 cores=1,3,5,7,9,11,13,15
/proc/12329/task/12399/stat : 12399 (java) S 12326 12329 7954 0 -1 1077944384 6985 12425 0 0 186 1 9 3 20 0 20 0 5579546 11188039680 2091920 33554432000 4194304 4196468 140722329374608 139760662775792 139761530059394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27545600 140722329381569 140722329384343 140722329384343 140722329386959 0
[pid=12329/tid=12400] ppid=12326 vsize=10925820 CPUtime=1.55 cores=1,3,5,7,9,11,13,15
/proc/12329/task/12400/stat : 12400 (java) S 12326 12329 7954 0 -1 1077944384 10636 12425 0 0 140 3 9 3 20 0 20 0 5579546 11188039680 2091920 33554432000 4194304 4196468 140722329374608 139760661723248 139761530059394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27545600 140722329381569 140722329384343 140722329384343 140722329386959 0
[pid=12329/tid=12401] ppid=12326 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/12329/task/12401/stat : 12401 (java) S 12326 12329 7954 0 -1 1077944384 3 12425 0 0 0 0 9 3 20 0 20 0 5579546 11188039680 2091920 33554432000 4194304 4196468 140722329374608 139760660671456 139761530058453 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 27545600 140722329381569 140722329384343 140722329384343 140722329386959 0
[pid=12329/tid=12402] ppid=12326 vsize=10925820 CPUtime=0.35 cores=1,3,5,7,9,11,13,15
/proc/12329/task/12402/stat : 12402 (java) S 12326 12329 7954 0 -1 1077944384 1139 12425 0 0 14 9 9 3 20 0 20 0 5579546 11188039680 2091920 33554432000 4194304 4196468 140722329374608 139760659618992 139761530059394 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 27545600 140722329381569 140722329384343 140722329384343 140722329386959 0
Current children cumulated CPU time (s) 2411.78
Current children cumulated vsize (KiB) 10925820
[startup+520.413 s]
/proc/loadavg: 6.28 4.85 3.02 10/281 12442
/proc/meminfo: memFree=20944164/32770624 swapFree=5800/286408
[pid=12329] ppid=12326 vsize=10925820 CPUtime=2415.05 cores=1,3,5,7,9,11,13,15
/proc/12329/stat : 12329 (java) S 12326 12329 7954 0 -1 1077944320 363753 12425 0 0 239729 1764 9 3 20 0 20 0 5579523 11188039680 2091920 33554432000 4194304 4196468 140722329374608 140722329357152 139761530048247 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 27545600 140722329381569 140722329384343 140722329384343 140722329386959 0
/proc/12329/statm: 2731455 2091920 3508 1 0 2719010 0
[pid=12329/tid=12384] ppid=12326 vsize=10925820 CPUtime=210.59 cores=1,3,5,7,9,11,13,15
/proc/12329/task/12384/stat : 12384 (java) S 12326 12329 7954 0 -1 1077944384 54807 12425 0 0 21004 43 9 3 20 0 20 0 5579537 11188039680 2091920 33554432000 4194304 4196468 140722329374608 139761534281472 139761530058453 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 27545600 140722329381569 140722329384343 140722329384343 140722329386959 0
[pid=12329/tid=12385] ppid=12326 vsize=10925820 CPUtime=270.47 cores=1,3,5,7,9,11,13,15
/proc/12329/task/12385/stat : 12385 (java) R 12326 12329 7954 0 -1 4202560 15024 12425 0 0 26824 211 9 3 20 0 20 0 5579538 11188039680 2091920 33554432000 4194304 4196468 140722329374608 139761466739616 139761514892123 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27545600 140722329381569 140722329384343 140722329384343 140722329386959 0
[pid=12329/tid=12386] ppid=12326 vsize=10925820 CPUtime=269.62 cores=1,3,5,7,9,11,13,15
/proc/12329/task/12386/stat : 12386 (java) R 12326 12329 7954 0 -1 4202560 18692 12425 0 0 26735 215 9 3 20 0 20 0 5579538 11188039680 2091920 33554432000 4194304 4196468 140722329374608 139761465687384 139761514999346 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27545600 140722329381569 140722329384343 140722329384343 140722329386959 0
[pid=12329/tid=12387] ppid=12326 vsize=10925820 CPUtime=269.81 cores=1,3,5,7,9,11,13,15
/proc/12329/task/12387/stat : 12387 (java) R 12326 12329 7954 0 -1 4202560 13964 12425 0 0 26752 217 9 3 20 0 20 0 5579538 11188039680 2091920 33554432000 4194304 4196468 140722329374608 139761464634328 139761514745872 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27545600 140722329381569 140722329384343 140722329384343 140722329386959 0
[pid=12329/tid=12388] ppid=12326 vsize=10925820 CPUtime=269.69 cores=1,3,5,7,9,11,13,15
/proc/12329/task/12388/stat : 12388 (java) R 12326 12329 7954 0 -1 4202560 15026 12425 0 0 26750 207 9 3 20 0 20 0 5579538 11188039680 2091920 33554432000 4194304 4196468 140722329374608 139761463581784 139761514998852 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27545600 140722329381569 140722329384343 140722329384343 140722329386959 0
[pid=12329/tid=12389] ppid=12326 vsize=10925820 CPUtime=270.52 cores=1,3,5,7,9,11,13,15
/proc/12329/task/12389/stat : 12389 (java) R 12326 12329 7954 0 -1 4202560 17262 12425 0 0 26829 211 9 3 20 0 20 0 5579538 11188039680 2091920 33554432000 4194304 4196468 140722329374608 139761462528728 139761514746022 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 27545600 140722329381569 140722329384343 140722329384343 140722329386959 0
[pid=12329/tid=12390] ppid=12326 vsize=10925820 CPUtime=270.52 cores=1,3,5,7,9,11,13,15
/proc/12329/task/12390/stat : 12390 (java) R 12326 12329 7954 0 -1 4202560 18152 12425 0 0 26838 202 9 3 20 0 20 0 5579538 11188039680 2091920 33554432000 4194304 4196468 140722329374608 139761461476184 139761514746022 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 27545600 140722329381569 140722329384343 140722329384343 140722329386959 0
[pid=12329/tid=12391] ppid=12326 vsize=10925820 CPUtime=269.78 cores=1,3,5,7,9,11,13,15
/proc/12329/task/12391/stat : 12391 (java) R 12326 12329 7954 0 -1 4202560 13751 12425 0 0 26756 210 9 3 20 0 20 0 5579538 11188039680 2091920 33554432000 4194304 4196468 140722329374608 139761460423128 139761510074640 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 27545600 140722329381569 140722329384343 140722329384343 140722329386959 0
[pid=12329/tid=12392] ppid=12326 vsize=10925820 CPUtime=269.78 cores=1,3,5,7,9,11,13,15
/proc/12329/task/12392/stat : 12392 (java) R 12326 12329 7954 0 -1 4202560 19566 12425 0 0 26750 216 9 3 20 0 20 0 5579538 11188039680 2091920 33554432000 4194304 4196468 140722329374608 139761459370584 139761510074431 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 27545600 140722329381569 140722329384343 140722329384343 140722329386959 0
[pid=12329/tid=12393] ppid=12326 vsize=10925820 CPUtime=34 cores=1,3,5,7,9,11,13,15
/proc/12329/task/12393/stat : 12393 (java) S 12326 12329 7954 0 -1 1077944384 136179 12425 0 0 3380 8 9 3 20 0 20 0 5579540 11188039680 2091920 33554432000 4194304 4196468 140722329374608 139760669090912 139761530058453 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27545600 140722329381569 140722329384343 140722329384343 140722329386959 0
[pid=12329/tid=12394] ppid=12326 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/12329/task/12394/stat : 12394 (java) S 12326 12329 7954 0 -1 1077944384 41 12425 0 0 0 0 9 3 20 0 20 0 5579541 11188039680 2091920 33554432000 4194304 4196468 140722329374608 139760668038880 139761530058453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27545600 140722329381569 140722329384343 140722329384343 140722329386959 0
[pid=12329/tid=12395] ppid=12326 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/12329/task/12395/stat : 12395 (java) S 12326 12329 7954 0 -1 1077944384 48 12425 0 0 0 0 9 3 20 0 20 0 5579541 11188039680 2091920 33554432000 4194304 4196468 140722329374608 139760666985728 139761530058453 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 27545600 140722329381569 140722329384343 140722329384343 140722329386959 0
[pid=12329/tid=12396] ppid=12326 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/12329/task/12396/stat : 12396 (java) S 12326 12329 7954 0 -1 1077944384 4 12425 0 0 0 0 9 3 20 0 20 0 5579546 11188039680 2091920 33554432000 4194304 4196468 140722329374608 139760665933936 139761530058453 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 27545600 140722329381569 140722329384343 140722329384343 140722329386959 0
[pid=12329/tid=12397] ppid=12326 vsize=10925820 CPUtime=5.29 cores=1,3,5,7,9,11,13,15
/proc/12329/task/12397/stat : 12397 (java) S 12326 12329 7954 0 -1 1077944384 14431 12425 0 0 515 2 9 3 20 0 20 0 5579546 11188039680 2091920 33554432000 4194304 4196468 140722329374608 139760664881392 139761530059394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27545600 140722329381569 140722329384343 140722329384343 140722329386959 0
[pid=12329/tid=12398] ppid=12326 vsize=10925820 CPUtime=2.6 cores=1,3,5,7,9,11,13,15
/proc/12329/task/12398/stat : 12398 (java) S 12326 12329 7954 0 -1 1077944384 5908 12425 0 0 246 2 9 3 20 0 20 0 5579546 11188039680 2091920 33554432000 4194304 4196468 140722329374608 139760663828848 139761530059394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27545600 140722329381569 140722329384343 140722329384343 140722329386959 0
[pid=12329/tid=12399] ppid=12326 vsize=10925820 CPUtime=1.99 cores=1,3,5,7,9,11,13,15
/proc/12329/task/12399/stat : 12399 (java) S 12326 12329 7954 0 -1 1077944384 6985 12425 0 0 186 1 9 3 20 0 20 0 5579546 11188039680 2091920 33554432000 4194304 4196468 140722329374608 139760662775792 139761530059394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27545600 140722329381569 140722329384343 140722329384343 140722329386959 0
[pid=12329/tid=12400] ppid=12326 vsize=10925820 CPUtime=1.55 cores=1,3,5,7,9,11,13,15
/proc/12329/task/12400/stat : 12400 (java) S 12326 12329 7954 0 -1 1077944384 10636 12425 0 0 140 3 9 3 20 0 20 0 5579546 11188039680 2091920 33554432000 4194304 4196468 140722329374608 139760661723248 139761530059394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27545600 140722329381569 140722329384343 140722329384343 140722329386959 0
[pid=12329/tid=12401] ppid=12326 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/12329/task/12401/stat : 12401 (java) S 12326 12329 7954 0 -1 1077944384 3 12425 0 0 0 0 9 3 20 0 20 0 5579546 11188039680 2091920 33554432000 4194304 4196468 140722329374608 139760660671456 139761530058453 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 27545600 140722329381569 140722329384343 140722329384343 140722329386959 0
[pid=12329/tid=12402] ppid=12326 vsize=10925820 CPUtime=0.35 cores=1,3,5,7,9,11,13,15
/proc/12329/task/12402/stat : 12402 (java) S 12326 12329 7954 0 -1 1077944384 1139 12425 0 0 14 9 9 3 20 0 20 0 5579546 11188039680 2091920 33554432000 4194304 4196468 140722329374608 139760659618992 139761530059394 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 27545600 140722329381569 140722329384343 140722329384343 140722329386959 0
Current children cumulated CPU time (s) 2415.05
Current children cumulated vsize (KiB) 10925820
[startup+520.601 s]
/proc/loadavg: 6.28 4.85 3.02 10/281 12442
/proc/meminfo: memFree=20944164/32770624 swapFree=5800/286408
[pid=12329] ppid=12326 vsize=10925820 CPUtime=2416.44 cores=1,3,5,7,9,11,13,15
/proc/12329/stat : 12329 (java) S 12326 12329 7954 0 -1 1077944320 368529 12425 0 0 239867 1765 9 3 20 0 20 0 5579523 11188039680 2091920 33554432000 4194304 4196468 140722329374608 140722329357152 139761530048247 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 27545600 140722329381569 140722329384343 140722329384343 140722329386959 0
/proc/12329/statm: 2731455 2091920 3508 1 0 2719010 0
[pid=12329/tid=12384] ppid=12326 vsize=10925820 CPUtime=210.59 cores=1,3,5,7,9,11,13,15
/proc/12329/task/12384/stat : 12384 (java) S 12326 12329 7954 0 -1 1077944384 54807 12425 0 0 21004 43 9 3 20 0 20 0 5579537 11188039680 2091920 33554432000 4194304 4196468 140722329374608 139761534281472 139761530058453 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 27545600 140722329381569 140722329384343 140722329384343 140722329386959 0
[pid=12329/tid=12385] ppid=12326 vsize=10925820 CPUtime=270.64 cores=1,3,5,7,9,11,13,15
/proc/12329/task/12385/stat : 12385 (java) R 12326 12329 7954 0 -1 4202560 15124 12425 0 0 26841 211 9 3 20 0 20 0 5579538 11188039680 2091920 33554432000 4194304 4196468 140722329374608 139761466739928 139761515044592 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27545600 140722329381569 140722329384343 140722329384343 140722329386959 0
[pid=12329/tid=12386] ppid=12326 vsize=10925820 CPUtime=269.78 cores=1,3,5,7,9,11,13,15
/proc/12329/task/12386/stat : 12386 (java) R 12326 12329 7954 0 -1 4202560 18726 12425 0 0 26751 215 9 3 20 0 20 0 5579538 11188039680 2091920 33554432000 4194304 4196468 140722329374608 139761465687384 139761514746987 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27545600 140722329381569 140722329384343 140722329384343 140722329386959 0
[pid=12329/tid=12387] ppid=12326 vsize=10925820 CPUtime=269.99 cores=1,3,5,7,9,11,13,15
/proc/12329/task/12387/stat : 12387 (java) R 12326 12329 7954 0 -1 4202560 13997 12425 0 0 26770 217 9 3 20 0 20 0 5579538 11188039680 2091920 33554432000 4194304 4196468 140722329374608 139761464634328 139761515044614 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27545600 140722329381569 140722329384343 140722329384343 140722329386959 0
[pid=12329/tid=12388] ppid=12326 vsize=10925820 CPUtime=269.86 cores=1,3,5,7,9,11,13,15
/proc/12329/task/12388/stat : 12388 (java) R 12326 12329 7954 0 -1 4202560 15035 12425 0 0 26767 207 9 3 20 0 20 0 5579538 11188039680 2091920 33554432000 4194304 4196468 140722329374608 139761463581784 139761515037914 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27545600 140722329381569 140722329384343 140722329384343 140722329386959 0
[pid=12329/tid=12389] ppid=12326 vsize=10925820 CPUtime=270.69 cores=1,3,5,7,9,11,13,15
/proc/12329/task/12389/stat : 12389 (java) R 12326 12329 7954 0 -1 4202560 17276 12425 0 0 26846 211 9 3 20 0 20 0 5579538 11188039680 2091920 33554432000 4194304 4196468 140722329374608 139761462528416 139761515044603 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 27545600 140722329381569 140722329384343 140722329384343 140722329386959 0
[pid=12329/tid=12390] ppid=12326 vsize=10925820 CPUtime=270.69 cores=1,3,5,7,9,11,13,15
/proc/12329/task/12390/stat : 12390 (java) R 12326 12329 7954 0 -1 4202560 18181 12425 0 0 26855 202 9 3 20 0 20 0 5579538 11188039680 2091920 33554432000 4194304 4196468 140722329374608 139761461476184 139761515044865 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 27545600 140722329381569 140722329384343 140722329384343 140722329386959 0
[pid=12329/tid=12391] ppid=12326 vsize=10925820 CPUtime=269.95 cores=1,3,5,7,9,11,13,15
/proc/12329/task/12391/stat : 12391 (java) R 12326 12329 7954 0 -1 4202560 13785 12425 0 0 26773 210 9 3 20 0 20 0 5579538 11188039680 2091920 33554432000 4194304 4196468 140722329374608 139761460423128 139761514746992 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 27545600 140722329381569 140722329384343 140722329384343 140722329386959 0
[pid=12329/tid=12392] ppid=12326 vsize=10925820 CPUtime=269.96 cores=1,3,5,7,9,11,13,15
/proc/12329/task/12392/stat : 12392 (java) R 12326 12329 7954 0 -1 4202560 19591 12425 0 0 26767 217 9 3 20 0 20 0 5579538 11188039680 2091920 33554432000 4194304 4196468 140722329374608 139761459370584 139761515044835 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 27545600 140722329381569 140722329384343 140722329384343 140722329386959 0
[pid=12329/tid=12393] ppid=12326 vsize=10925820 CPUtime=34.02 cores=1,3,5,7,9,11,13,15
/proc/12329/task/12393/stat : 12393 (java) S 12326 12329 7954 0 -1 1077944384 140659 12425 0 0 3381 9 9 3 20 0 20 0 5579540 11188039680 2091920 33554432000 4194304 4196468 140722329374608 139760669091136 139761530058453 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27545600 140722329381569 140722329384343 140722329384343 140722329386959 0
[pid=12329/tid=12394] ppid=12326 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/12329/task/12394/stat : 12394 (java) S 12326 12329 7954 0 -1 1077944384 41 12425 0 0 0 0 9 3 20 0 20 0 5579541 11188039680 2091920 33554432000 4194304 4196468 140722329374608 139760668038880 139761530058453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27545600 140722329381569 140722329384343 140722329384343 140722329386959 0
[pid=12329/tid=12395] ppid=12326 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/12329/task/12395/stat : 12395 (java) S 12326 12329 7954 0 -1 1077944384 48 12425 0 0 0 0 9 3 20 0 20 0 5579541 11188039680 2091920 33554432000 4194304 4196468 140722329374608 139760666985728 139761530058453 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 27545600 140722329381569 140722329384343 140722329384343 140722329386959 0
[pid=12329/tid=12396] ppid=12326 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/12329/task/12396/stat : 12396 (java) S 12326 12329 7954 0 -1 1077944384 4 12425 0 0 0 0 9 3 20 0 20 0 5579546 11188039680 2091920 33554432000 4194304 4196468 140722329374608 139760665933936 139761530058453 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 27545600 140722329381569 140722329384343 140722329384343 140722329386959 0
[pid=12329/tid=12397] ppid=12326 vsize=10925820 CPUtime=5.29 cores=1,3,5,7,9,11,13,15
/proc/12329/task/12397/stat : 12397 (java) S 12326 12329 7954 0 -1 1077944384 14431 12425 0 0 515 2 9 3 20 0 20 0 5579546 11188039680 2091920 33554432000 4194304 4196468 140722329374608 139760664881392 139761530059394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27545600 140722329381569 140722329384343 140722329384343 140722329386959 0
[pid=12329/tid=12398] ppid=12326 vsize=10925820 CPUtime=2.6 cores=1,3,5,7,9,11,13,15
/proc/12329/task/12398/stat : 12398 (java) S 12326 12329 7954 0 -1 1077944384 5908 12425 0 0 246 2 9 3 20 0 20 0 5579546 11188039680 2091920 33554432000 4194304 4196468 140722329374608 139760663828848 139761530059394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27545600 140722329381569 140722329384343 140722329384343 140722329386959 0
[pid=12329/tid=12399] ppid=12326 vsize=10925820 CPUtime=1.99 cores=1,3,5,7,9,11,13,15
/proc/12329/task/12399/stat : 12399 (java) S 12326 12329 7954 0 -1 1077944384 6985 12425 0 0 186 1 9 3 20 0 20 0 5579546 11188039680 2091920 33554432000 4194304 4196468 140722329374608 139760662775792 139761530059394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27545600 140722329381569 140722329384343 140722329384343 140722329386959 0
[pid=12329/tid=12400] ppid=12326 vsize=10925820 CPUtime=1.55 cores=1,3,5,7,9,11,13,15
/proc/12329/task/12400/stat : 12400 (java) S 12326 12329 7954 0 -1 1077944384 10636 12425 0 0 140 3 9 3 20 0 20 0 5579546 11188039680 2091920 33554432000 4194304 4196468 140722329374608 139760661723248 139761530059394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27545600 140722329381569 140722329384343 140722329384343 140722329386959 0
[pid=12329/tid=12401] ppid=12326 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/12329/task/12401/stat : 12401 (java) S 12326 12329 7954 0 -1 1077944384 3 12425 0 0 0 0 9 3 20 0 20 0 5579546 11188039680 2091920 33554432000 4194304 4196468 140722329374608 139760660671456 139761530058453 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 27545600 140722329381569 140722329384343 140722329384343 140722329386959 0
[pid=12329/tid=12402] ppid=12326 vsize=10925820 CPUtime=0.35 cores=1,3,5,7,9,11,13,15
/proc/12329/task/12402/stat : 12402 (java) S 12326 12329 7954 0 -1 1077944384 1157 12425 0 0 14 9 9 3 20 0 20 0 5579546 11188039680 2091920 33554432000 4194304 4196468 140722329374608 139760659618992 139761530059394 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 27545600 140722329381569 140722329384343 140722329384343 140722329386959 0
Current children cumulated CPU time (s) 2416.44
Current children cumulated vsize (KiB) 10925820
Child ended because it received signal 9 (SIGKILL)
Real time (s): 520.647
CPU time (s): 2416.53
CPU user time (s): 2398.8
CPU system time (s): 17.7279
CPU usage (%): 464.139
Max. virtual memory (cumulated for all children) (KiB): 10925820
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.8
system time used= 17.7279
maximum resident set size= 8367960
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 380977
page faults= 0
swaps= 0
block input operations= 0
block output operations= 800
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 58838
involuntary context switches= 169119
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.06057 second user time and 5.2489 second system time
The end