2017 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers) competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
sat4j-CSP 2017-07-05	?		1519.85	412.10599
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

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.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (11103 MiB free)
  memory of node 1: 16384 MiB (15462 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4263761-1502641143/watcher-4263761-1502641143 -o /tmp/evaluation-result-4263761-1502641143/solver-4263761-1502641143 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502619490-21335 --watchdog 2580 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4263761-1502641143.xml 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=25283, runsolver pid=25280

[startup+0.100108 s]*
/proc/loadavg: 4.30 3.19 2.65 4/208 25292
/proc/meminfo: memFree=27191872/32770624 swapFree=67108860/67108860
[pid=25283] ppid=25280 vsize=10151672 memory=21060 CPUtime=0.04 cores=1,3,5,7
/proc/25283/stat : 25283 (java) S 25280 25283 8289 0 -1 1077944320 4140 0 0 0 3 1 0 0 20 0 9 0 111929526 10395312128 5265 18446744073709551615 4194304 4196468 140737259631408 140737259613952 140174530494199 0 0 1 16800970 18446744073709551615 0 0 17 1 0 0 5 0 0 6293624 6294260 39321600 140737259639184 140737259639337 140737259639337 140737259642831 0
/proc/25283/statm: 2537918 5265 2156 1 0 2527415 0
[pid=25283/tid=25285] ppid=25280 vsize=10151672 memory=-6439968830534014599 CPUtime=0.03 cores=1,3,5,7
/proc/25283/task/25285/stat : 25285 (java) R 25280 25283 8289 0 -1 4202560 2782 0 0 0 3 0 0 0 20 0 9 0 111929532 10395312128 5265 18446744073709551615 4194304 4196468 140737259631408 140174534729592 140174523172213 0 4 1 16800970 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39321600 140737259639184 140737259639337 140737259639337 140737259642831 0
[pid=25283/tid=25286] ppid=25280 vsize=10151672 memory=6735269665564437106 CPUtime=0 cores=1,3,5,7
/proc/25283/task/25286/stat : 25286 (java) S 25280 25283 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 111929533 10395312128 5265 18446744073709551615 4194304 4196468 140737259631408 140174460914448 140174530504405 0 4 1 16800970 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39321600 140737259639184 140737259639337 140737259639337 140737259642831 0
[pid=25283/tid=25287] ppid=25280 vsize=10151672 memory=140594288912000 CPUtime=0 cores=1,3,5,7
/proc/25283/task/25287/stat : 25287 (java) S 25280 25283 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 111929533 10395312128 5265 18446744073709551615 4194304 4196468 140737259631408 140174459861904 140174530504405 0 4 1 16800970 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39321600 140737259639184 140737259639337 140737259639337 140737259642831 0
[pid=25283/tid=25288] ppid=25280 vsize=10151672 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25283/task/25288/stat : 25288 (java) S 25280 25283 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 111929533 10395312128 5265 18446744073709551615 4194304 4196468 140737259631408 140174458809360 140174530504405 0 4 1 16800970 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39321600 140737259639184 140737259639337 140737259639337 140737259642831 0
[pid=25283/tid=25289] ppid=25280 vsize=10151672 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25283/task/25289/stat : 25289 (java) S 25280 25283 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 111929533 10395312128 5265 18446744073709551615 4194304 4196468 140737259631408 140174457756816 140174530504405 0 4 1 16800970 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39321600 140737259639184 140737259639337 140737259639337 140737259642831 0
[pid=25283/tid=25290] ppid=25280 vsize=10151672 memory=140594288912000 CPUtime=0 cores=1,3,5,7
/proc/25283/task/25290/stat : 25290 (java) S 25280 25283 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 111929534 10395312128 5265 18446744073709551615 4194304 4196468 140737259631408 140174026536944 140174530505346 0 0 1 16800970 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39321600 140737259639184 140737259639337 140737259639337 140737259642831 0
[pid=25283/tid=25291] ppid=25280 vsize=10151672 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25283/task/25291/stat : 25291 (java) S 25280 25283 8289 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 111929535 10395312128 5265 18446744073709551615 4194304 4196468 140737259631408 140174025483168 140174530504405 0 4 1 16800970 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39321600 140737259639184 140737259639337 140737259639337 140737259642831 0
[pid=25283/tid=25292] ppid=25280 vsize=10151672 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25283/task/25292/stat : 25292 (java) S 25280 25283 8289 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 111929535 10395312128 5265 18446744073709551615 4194304 4196468 140737259631408 140174024430576 140174530504405 0 4 1 16800970 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39321600 140737259639184 140737259639337 140737259639337 140737259642831 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 10151672 KiB
Current children cumulated memory: 21060 KiB

[startup+0.20987 s]*
/proc/loadavg: 4.30 3.19 2.65 3/214 25298
/proc/meminfo: memFree=27188892/32770624 swapFree=67108860/67108860
[pid=25283] ppid=25280 vsize=10552180 memory=27668 CPUtime=0.1 cores=1,3,5,7
/proc/25283/stat : 25283 (java) S 25280 25283 8289 0 -1 1077944320 5447 0 0 0 9 1 0 0 20 0 15 0 111929526 10805432320 6917 18446744073709551615 4194304 4196468 140737259631408 140737259613952 140174530494199 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 5 0 0 6293624 6294260 39321600 140737259639184 140737259639337 140737259639337 140737259642831 0
/proc/25283/statm: 2638045 6917 2765 1 0 2627517 0
[pid=25283/tid=25285] ppid=25280 vsize=10553140 memory=7077796292425249400 CPUtime=0.08 cores=1,3,5,7
/proc/25283/task/25285/stat : 25285 (java) R 25280 25283 8289 0 -1 4202560 3389 0 0 0 7 1 0 0 20 0 15 0 111929532 10806415360 6917 18446744073709551615 4194304 4196468 140737259631408 140174534682544 140174522784640 0 4 1 16800974 0 0 0 -1 1 0 0 6 0 0 6293624 6294260 39321600 140737259639184 140737259639337 140737259639337 140737259642831 0
[pid=25283/tid=25286] ppid=25280 vsize=10553140 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/25283/task/25286/stat : 25286 (java) S 25280 25283 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 111929533 10806415360 6983 18446744073709551615 4194304 4196468 140737259631408 140174460914448 140174530504405 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39321600 140737259639184 140737259639337 140737259639337 140737259642831 0
[pid=25283/tid=25287] ppid=25280 vsize=10553140 memory=140594288912000 CPUtime=0 cores=1,3,5,7
/proc/25283/task/25287/stat : 25287 (java) S 25280 25283 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 111929533 10806415360 6983 18446744073709551615 4194304 4196468 140737259631408 140174459861904 140174530504405 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39321600 140737259639184 140737259639337 140737259639337 140737259642831 0
[pid=25283/tid=25288] ppid=25280 vsize=10553140 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25283/task/25288/stat : 25288 (java) S 25280 25283 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 111929533 10806415360 6983 18446744073709551615 4194304 4196468 140737259631408 140174458809360 140174530504405 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39321600 140737259639184 140737259639337 140737259639337 140737259642831 0
[pid=25283/tid=25289] ppid=25280 vsize=10553140 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25283/task/25289/stat : 25289 (java) S 25280 25283 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 111929533 10806415360 6983 18446744073709551615 4194304 4196468 140737259631408 140174457756816 140174530504405 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39321600 140737259639184 140737259639337 140737259639337 140737259642831 0
[pid=25283/tid=25290] ppid=25280 vsize=10553140 memory=140594288912000 CPUtime=0 cores=1,3,5,7
/proc/25283/task/25290/stat : 25290 (java) S 25280 25283 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 111929534 10806415360 6983 18446744073709551615 4194304 4196468 140737259631408 140174026536944 140174530505346 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39321600 140737259639184 140737259639337 140737259639337 140737259642831 0
[pid=25283/tid=25291] ppid=25280 vsize=10553140 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25283/task/25291/stat : 25291 (java) S 25280 25283 8289 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 111929535 10806415360 6983 18446744073709551615 4194304 4196468 140737259631408 140174025483168 140174530504405 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39321600 140737259639184 140737259639337 140737259639337 140737259642831 0
[pid=25283/tid=25292] ppid=25280 vsize=10553140 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25283/task/25292/stat : 25292 (java) S 25280 25283 8289 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 111929535 10806415360 6983 18446744073709551615 4194304 4196468 140737259631408 140174024430576 140174530504405 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39321600 140737259639184 140737259639337 140737259639337 140737259642831 0
[pid=25283/tid=25293] ppid=25280 vsize=10553140 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25283/task/25293/stat : 25293 (java) S 25280 25283 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 111929537 10806415360 6983 18446744073709551615 4194304 4196468 140737259631408 140174023379152 140174530512795 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39321600 140737259639184 140737259639337 140737259639337 140737259642831 0
[pid=25283/tid=25294] ppid=25280 vsize=10553140 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25283/task/25294/stat : 25294 (java) S 25280 25283 8289 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 15 0 111929537 10806415360 6983 18446744073709551615 4194304 4196468 140737259631408 140174022326768 140174530505346 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39321600 140737259639184 140737259639337 140737259639337 140737259642831 0
[pid=25283/tid=25295] ppid=25280 vsize=10553140 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25283/task/25295/stat : 25295 (java) S 25280 25283 8289 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 15 0 111929537 10806415360 6983 18446744073709551615 4194304 4196468 140737259631408 140174021274224 140174530505346 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39321600 140737259639184 140737259639337 140737259639337 140737259642831 0
[pid=25283/tid=25296] ppid=25280 vsize=10553140 memory=140594288912000 CPUtime=0.01 cores=1,3,5,7
/proc/25283/task/25296/stat : 25296 (java) S 25280 25283 8289 0 -1 1077944384 290 0 0 0 1 0 0 0 20 0 15 0 111929537 10806415360 6983 18446744073709551615 4194304 4196468 140737259631408 140174020221680 140174530505346 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39321600 140737259639184 140737259639337 140737259639337 140737259642831 0
[pid=25283/tid=25297] ppid=25280 vsize=10553140 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25283/task/25297/stat : 25297 (java) S 25280 25283 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 111929537 10806415360 7049 18446744073709551615 4194304 4196468 140737259631408 140174019169376 140174530504405 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39321600 140737259639184 140737259639337 140737259639337 140737259642831 0
[pid=25283/tid=25298] ppid=25280 vsize=10553140 memory=140594288912000 CPUtime=0 cores=1,3,5,7
/proc/25283/task/25298/stat : 25298 (java) S 25280 25283 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 111929544 10806415360 7049 18446744073709551615 4194304 4196468 140737259631408 140174018115888 140174530505346 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39321600 140737259639184 140737259639337 140737259639337 140737259642831 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 10552180 KiB
Current children cumulated memory: 27668 KiB

[startup+0.319525 s]*
/proc/loadavg: 4.30 3.19 2.65 6/214 25298
/proc/meminfo: memFree=27177868/32770624 swapFree=67108860/67108860
[pid=25283] ppid=25280 vsize=10551156 memory=38116 CPUtime=0.28 cores=1,3,5,7
/proc/25283/stat : 25283 (java) S 25280 25283 8289 0 -1 1077944320 8816 0 0 0 25 3 0 0 20 0 15 0 111929526 10804383744 9529 18446744073709551615 4194304 4196468 140737259631408 140737259613952 140174530494199 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 5 0 0 6293624 6294260 39321600 140737259639184 140737259639337 140737259639337 140737259642831 0
/proc/25283/statm: 2637789 9529 2898 1 0 2627261 0
[pid=25283/tid=25285] ppid=25280 vsize=10551156 memory=-8774313645642428999 CPUtime=0.19 cores=1,3,5,7
/proc/25283/task/25285/stat : 25285 (java) R 25280 25283 8289 0 -1 4202560 6150 0 0 0 17 2 0 0 20 0 15 0 111929532 10804383744 9529 18446744073709551615 4194304 4196468 140737259631408 140174534732304 140174530506134 0 4 1 16800974 0 0 0 -1 3 0 0 6 0 0 6293624 6294260 39321600 140737259639184 140737259639337 140737259639337 140737259642831 0
[pid=25283/tid=25286] ppid=25280 vsize=10551156 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/25283/task/25286/stat : 25286 (java) S 25280 25283 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 111929533 10804383744 9529 18446744073709551615 4194304 4196468 140737259631408 140174460914448 140174530504405 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39321600 140737259639184 140737259639337 140737259639337 140737259642831 0
[pid=25283/tid=25287] ppid=25280 vsize=10551156 memory=4627853888499060086 CPUtime=0 cores=1,3,5,7
/proc/25283/task/25287/stat : 25287 (java) S 25280 25283 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 111929533 10804383744 9529 18446744073709551615 4194304 4196468 140737259631408 140174459861904 140174530504405 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39321600 140737259639184 140737259639337 140737259639337 140737259642831 0
[pid=25283/tid=25288] ppid=25280 vsize=10551156 memory=7031125463459224206 CPUtime=0 cores=1,3,5,7
/proc/25283/task/25288/stat : 25288 (java) S 25280 25283 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 111929533 10804383744 9529 18446744073709551615 4194304 4196468 140737259631408 140174458809360 140174530504405 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39321600 140737259639184 140737259639337 140737259639337 140737259642831 0
[pid=25283/tid=25289] ppid=25280 vsize=10551156 memory=-7305533901252758645 CPUtime=0 cores=1,3,5,7
/proc/25283/task/25289/stat : 25289 (java) S 25280 25283 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 111929533 10804383744 9529 18446744073709551615 4194304 4196468 140737259631408 140174457756816 140174530504405 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39321600 140737259639184 140737259639337 140737259639337 140737259642831 0
[pid=25283/tid=25290] ppid=25280 vsize=10551156 memory=7077796292425249400 CPUtime=0 cores=1,3,5,7
/proc/25283/task/25290/stat : 25290 (java) S 25280 25283 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 111929534 10804383744 9529 18446744073709551615 4194304 4196468 140737259631408 140174026536944 140174530505346 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39321600 140737259639184 140737259639337 140737259639337 140737259642831 0
[pid=25283/tid=25291] ppid=25280 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25283/task/25291/stat : 25291 (java) S 25280 25283 8289 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 111929535 10804383744 9529 18446744073709551615 4194304 4196468 140737259631408 140174025483168 140174530504405 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39321600 140737259639184 140737259639337 140737259639337 140737259642831 0
[pid=25283/tid=25292] ppid=25280 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25283/task/25292/stat : 25292 (java) S 25280 25283 8289 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 111929535 10804383744 9529 18446744073709551615 4194304 4196468 140737259631408 140174024430576 140174530504405 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39321600 140737259639184 140737259639337 140737259639337 140737259642831 0
[pid=25283/tid=25293] ppid=25280 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25283/task/25293/stat : 25293 (java) S 25280 25283 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 111929537 10804383744 9529 18446744073709551615 4194304 4196468 140737259631408 140174023379152 140174530512795 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39321600 140737259639184 140737259639337 140737259639337 140737259642831 0
[pid=25283/tid=25294] ppid=25280 vsize=10551156 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/25283/task/25294/stat : 25294 (java) R 25280 25283 8289 0 -1 1077944384 387 0 0 0 1 0 0 0 20 0 15 0 111929537 10804383744 9529 18446744073709551615 4194304 4196468 140737259631408 140174022326768 140174530505346 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39321600 140737259639184 140737259639337 140737259639337 140737259642831 0
[pid=25283/tid=25295] ppid=25280 vsize=10551156 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/25283/task/25295/stat : 25295 (java) R 25280 25283 8289 0 -1 4202560 302 0 0 0 1 0 0 0 20 0 15 0 111929537 10804383744 9529 18446744073709551615 4194304 4196468 140737259631408 140174021274224 140174511130211 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39321600 140737259639184 140737259639337 140737259639337 140737259642831 0
[pid=25283/tid=25296] ppid=25280 vsize=10551156 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/25283/task/25296/stat : 25296 (java) R 25280 25283 8289 0 -1 4202560 675 0 0 0 5 0 0 0 20 0 15 0 111929537 10804383744 9529 18446744073709551615 4194304 4196468 140737259631408 140174020218360 140174509435750 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39321600 140737259639184 140737259639337 140737259639337 140737259642831 0
[pid=25283/tid=25297] ppid=25280 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25283/task/25297/stat : 25297 (java) S 25280 25283 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 111929537 10804383744 9529 18446744073709551615 4194304 4196468 140737259631408 140174019169376 140174530504405 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39321600 140737259639184 140737259639337 140737259639337 140737259642831 0
[pid=25283/tid=25298] ppid=25280 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25283/task/25298/stat : 25298 (java) S 25280 25283 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 111929544 10804383744 9529 18446744073709551615 4194304 4196468 140737259631408 140174018115888 140174530505346 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39321600 140737259639184 140737259639337 140737259639337 140737259642831 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 10551156 KiB
Current children cumulated memory: 38116 KiB

[startup+0.700714 s]
/proc/loadavg: 4.30 3.19 2.65 4/214 25298
/proc/meminfo: memFree=27155136/32770624 swapFree=67108860/67108860
[pid=25283] ppid=25280 vsize=10551232 memory=106588 CPUtime=1.42 cores=1,3,5,7
/proc/25283/stat : 25283 (java) S 25280 25283 8289 0 -1 1077944320 13301 0 0 0 137 5 0 0 20 0 15 0 111929526 10804461568 26647 18446744073709551615 4194304 4196468 140737259631408 140737259613952 140174530494199 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 5 0 0 6293624 6294260 39321600 140737259639184 140737259639337 140737259639337 140737259642831 0
/proc/25283/statm: 2637808 26647 3056 1 0 2627261 0
[pid=25283/tid=25285] ppid=25280 vsize=10551232 memory=2592549635841 CPUtime=0.55 cores=1,3,5,7
/proc/25283/task/25285/stat : 25285 (java) R 25280 25283 8289 0 -1 4202560 7344 0 0 0 52 3 0 0 20 0 15 0 111929532 10804461568 26647 18446744073709551615 4194304 4196468 140737259631408 140174534730560 140174129090339 0 4 1 16800974 0 0 0 -1 5 0 0 6 0 0 6293624 6294260 39321600 140737259639184 140737259639337 140737259639337 140737259642831 0
[pid=25283/tid=25286] ppid=25280 vsize=10551232 memory=2618319439617 CPUtime=0 cores=1,3,5,7
/proc/25283/task/25286/stat : 25286 (java) S 25280 25283 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 111929533 10804461568 26647 18446744073709551615 4194304 4196468 140737259631408 140174460914448 140174530504405 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39321600 140737259639184 140737259639337 140737259639337 140737259642831 0
[pid=25283/tid=25287] ppid=25280 vsize=10551232 memory=2635499308801 CPUtime=0 cores=1,3,5,7
/proc/25283/task/25287/stat : 25287 (java) S 25280 25283 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 111929533 10804461568 26647 18446744073709551615 4194304 4196468 140737259631408 140174459861904 140174530504405 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39321600 140737259639184 140737259639337 140737259639337 140737259642831 0
[pid=25283/tid=25288] ppid=25280 vsize=10551232 memory=66508736 CPUtime=0 cores=1,3,5,7
/proc/25283/task/25288/stat : 25288 (java) S 25280 25283 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 111929533 10804461568 26647 18446744073709551615 4194304 4196468 140737259631408 140174458809360 140174530504405 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39321600 140737259639184 140737259639337 140737259639337 140737259642831 0
[pid=25283/tid=25289] ppid=25280 vsize=10551232 memory=-8556737395271162992 CPUtime=0 cores=1,3,5,7
/proc/25283/task/25289/stat : 25289 (java) S 25280 25283 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 111929533 10804461568 26647 18446744073709551615 4194304 4196468 140737259631408 140174457756816 140174530504405 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39321600 140737259639184 140737259639337 140737259639337 140737259642831 0
[pid=25283/tid=25290] ppid=25280 vsize=10551232 memory=6152287975781979490 CPUtime=0 cores=1,3,5,7
/proc/25283/task/25290/stat : 25290 (java) S 25280 25283 8289 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 111929534 10804461568 26647 18446744073709551615 4194304 4196468 140737259631408 140174026536944 140174530505346 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39321600 140737259639184 140737259639337 140737259639337 140737259642831 0
[pid=25283/tid=25291] ppid=25280 vsize=10551232 memory=8025788822668141932 CPUtime=0 cores=1,3,5,7
/proc/25283/task/25291/stat : 25291 (java) S 25280 25283 8289 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 111929535 10804461568 26647 18446744073709551615 4194304 4196468 140737259631408 140174025483168 140174530504405 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39321600 140737259639184 140737259639337 140737259639337 140737259642831 0
[pid=25283/tid=25292] ppid=25280 vsize=10551232 memory=281188287832800 CPUtime=0 cores=1,3,5,7
/proc/25283/task/25292/stat : 25292 (java) S 25280 25283 8289 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 111929535 10804461568 26647 18446744073709551615 4194304 4196468 140737259631408 140174024430576 140174530504405 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39321600 140737259639184 140737259639337 140737259639337 140737259642831 0
[pid=25283/tid=25293] ppid=25280 vsize=10551232 memory=288230617509003574 CPUtime=0 cores=1,3,5,7
/proc/25283/task/25293/stat : 25293 (java) S 25280 25283 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 111929537 10804461568 26647 18446744073709551615 4194304 4196468 140737259631408 140174023379152 140174530512795 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39321600 140737259639184 140737259639337 140737259639337 140737259642831 0
[pid=25283/tid=25294] ppid=25280 vsize=10551232 memory=15825482134324680 CPUtime=0.3 cores=1,3,5,7
/proc/25283/task/25294/stat : 25294 (java) R 25280 25283 8289 0 -1 4202560 1564 0 0 0 30 0 0 0 20 0 15 0 111929537 10804461568 26647 18446744073709551615 4194304 4196468 140737259631408 140174022313296 140174512038390 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39321600 140737259639184 140737259639337 140737259639337 140737259642831 0
[pid=25283/tid=25295] ppid=25280 vsize=10551232 memory=1436 CPUtime=0.31 cores=1,3,5,7
/proc/25283/task/25295/stat : 25295 (java) R 25280 25283 8289 0 -1 4202560 1567 0 0 0 31 0 0 0 20 0 15 0 111929537 10804461568 26647 18446744073709551615 4194304 4196468 140737259631408 140174021255240 140174512037922 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39321600 140737259639184 140737259639337 140737259639337 140737259642831 0
[pid=25283/tid=25296] ppid=25280 vsize=10551232 memory=1200 CPUtime=0.23 cores=1,3,5,7
/proc/25283/task/25296/stat : 25296 (java) S 25280 25283 8289 0 -1 1077944384 1455 0 0 0 23 0 0 0 20 0 15 0 111929537 10804461568 26647 18446744073709551615 4194304 4196468 140737259631408 140174020221680 140174530505346 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39321600 140737259639184 140737259639337 140737259639337 140737259642831 0
[pid=25283/tid=25297] ppid=25280 vsize=10551232 memory=15876 CPUtime=0 cores=1,3,5,7
/proc/25283/task/25297/stat : 25297 (java) S 25280 25283 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 111929537 10804461568 26647 18446744073709551615 4194304 4196468 140737259631408 140174019169376 140174530504405 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39321600 140737259639184 140737259639337 140737259639337 140737259642831 0
[pid=25283/tid=25298] ppid=25280 vsize=10551232 memory=4040 CPUtime=0 cores=1,3,5,7
/proc/25283/task/25298/stat : 25298 (java) S 25280 25283 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 111929544 10804461568 26647 18446744073709551615 4194304 4196468 140737259631408 140174018115888 140174530505346 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39321600 140737259639184 140737259639337 140737259639337 140737259642831 0
Current children cumulated CPU time: 1.42 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 106588 KiB

[startup+1.50081 s]
/proc/loadavg: 4.30 3.19 2.65 5/214 25298
/proc/meminfo: memFree=27026428/32770624 swapFree=67108860/67108860
[pid=25283] ppid=25280 vsize=10551232 memory=687564 CPUtime=3.61 cores=1,3,5,7
/proc/25283/stat : 25283 (java) S 25280 25283 8289 0 -1 1077944320 15640 0 0 0 334 27 0 0 20 0 15 0 111929526 10804461568 171891 18446744073709551615 4194304 4196468 140737259631408 140737259613952 140174530494199 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 5 0 0 6293624 6294260 39321600 140737259639184 140737259639337 140737259639337 140737259642831 0
/proc/25283/statm: 2637808 171891 3097 1 0 2627261 0
[pid=25283/tid=25285] ppid=25280 vsize=10551232 memory=4420 CPUtime=1.17 cores=1,3,5,7
/proc/25283/task/25285/stat : 25285 (java) R 25280 25283 8289 0 -1 4202560 7870 0 0 0 108 9 0 0 20 0 15 0 111929532 10804461568 171891 18446744073709551615 4194304 4196468 140737259631408 140174534731424 140174516562324 0 4 1 16800974 0 0 0 -1 3 0 0 6 0 0 6293624 6294260 39321600 140737259639184 140737259639337 140737259639337 140737259642831 0
[pid=25283/tid=25286] ppid=25280 vsize=10551232 memory=6628 CPUtime=0.16 cores=1,3,5,7
/proc/25283/task/25286/stat : 25286 (java) S 25280 25283 8289 0 -1 1077944384 154 0 0 0 12 4 0 0 20 0 15 0 111929533 10804461568 171891 18446744073709551615 4194304 4196468 140737259631408 140174460914448 140174530504405 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39321600 140737259639184 140737259639337 140737259639337 140737259642831 0
[pid=25283/tid=25287] ppid=25280 vsize=10551232 memory=8836 CPUtime=0.14 cores=1,3,5,7
/proc/25283/task/25287/stat : 25287 (java) S 25280 25283 8289 0 -1 1077944384 162 0 0 0 11 3 0 0 20 0 15 0 111929533 10804461568 171891 18446744073709551615 4194304 4196468 140737259631408 140174459861904 140174530504405 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39321600 140737259639184 140737259639337 140737259639337 140737259642831 0
[pid=25283/tid=25288] ppid=25280 vsize=10551232 memory=11044 CPUtime=0.14 cores=1,3,5,7
/proc/25283/task/25288/stat : 25288 (java) S 25280 25283 8289 0 -1 1077944384 269 0 0 0 11 3 0 0 20 0 15 0 111929533 10804461568 171891 18446744073709551615 4194304 4196468 140737259631408 140174458809360 140174530504405 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39321600 140737259639184 140737259639337 140737259639337 140737259642831 0
[pid=25283/tid=25289] ppid=25280 vsize=10551232 memory=13252 CPUtime=0.14 cores=1,3,5,7
/proc/25283/task/25289/stat : 25289 (java) S 25280 25283 8289 0 -1 1077944384 392 0 0 0 10 4 0 0 20 0 15 0 111929533 10804461568 171891 18446744073709551615 4194304 4196468 140737259631408 140174457756816 140174530504405 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39321600 140737259639184 140737259639337 140737259639337 140737259642831 0
[pid=25283/tid=25290] ppid=25280 vsize=10551232 memory=101 CPUtime=0 cores=1,3,5,7
/proc/25283/task/25290/stat : 25290 (java) S 25280 25283 8289 0 -1 1077944384 497 0 0 0 0 0 0 0 20 0 15 0 111929534 10804461568 171891 18446744073709551615 4194304 4196468 140737259631408 140174026536944 140174530505346 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39321600 140737259639184 140737259639337 140737259639337 140737259642831 0
[pid=25283/tid=25291] ppid=25280 vsize=10551232 memory=12 CPUtime=0 cores=1,3,5,7
/proc/25283/task/25291/stat : 25291 (java) S 25280 25283 8289 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 111929535 10804461568 171891 18446744073709551615 4194304 4196468 140737259631408 140174025483232 140174530504405 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39321600 140737259639184 140737259639337 140737259639337 140737259642831 0
[pid=25283/tid=25292] ppid=25280 vsize=10551232 memory=9 CPUtime=0 cores=1,3,5,7
/proc/25283/task/25292/stat : 25292 (java) S 25280 25283 8289 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 111929535 10804461568 171891 18446744073709551615 4194304 4196468 140737259631408 140174024430592 140174530504405 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39321600 140737259639184 140737259639337 140737259639337 140737259642831 0
[pid=25283/tid=25293] ppid=25280 vsize=10551232 memory=10 CPUtime=0 cores=1,3,5,7
/proc/25283/task/25293/stat : 25293 (java) S 25280 25283 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 111929537 10804461568 171891 18446744073709551615 4194304 4196468 140737259631408 140174023379152 140174530512795 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39321600 140737259639184 140737259639337 140737259639337 140737259642831 0
[pid=25283/tid=25294] ppid=25280 vsize=10551232 memory=10 CPUtime=0.74 cores=1,3,5,7
/proc/25283/task/25294/stat : 25294 (java) S 25280 25283 8289 0 -1 1077944384 1665 0 0 0 74 0 0 0 20 0 15 0 111929537 10804461568 171891 18446744073709551615 4194304 4196468 140737259631408 140174022326768 140174530505346 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39321600 140737259639184 140737259639337 140737259639337 140737259642831 0
[pid=25283/tid=25295] ppid=25280 vsize=10551232 memory=0 CPUtime=0.72 cores=1,3,5,7
/proc/25283/task/25295/stat : 25295 (java) S 25280 25283 8289 0 -1 1077944384 1679 0 0 0 72 0 0 0 20 0 15 0 111929537 10804461568 171891 18446744073709551615 4194304 4196468 140737259631408 140174021274224 140174530505346 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39321600 140737259639184 140737259639337 140737259639337 140737259642831 0
[pid=25283/tid=25296] ppid=25280 vsize=10551232 memory=144936355919567 CPUtime=0.31 cores=1,3,5,7
/proc/25283/task/25296/stat : 25296 (java) S 25280 25283 8289 0 -1 1077944384 1591 0 0 0 31 0 0 0 20 0 15 0 111929537 10804461568 171891 18446744073709551615 4194304 4196468 140737259631408 140174020221680 140174530505346 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39321600 140737259639184 140737259639337 140737259639337 140737259642831 0

################
# More data... #
################

[pid=25283/tid=25285] ppid=25280 vsize=10684512 memory=164 CPUtime=15.93 cores=1,3,5,7
/proc/25283/task/25285/stat : 25285 (java) S 25280 25283 8289 0 -1 1077944384 43126 0 0 0 1557 36 0 0 20 0 17 0 111929532 10940940288 2075098 18446744073709551615 4194304 4196468 140737259631408 140174534734880 140174530504405 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 6 0 0 6293624 6294260 39321600 140737259639184 140737259639337 140737259639337 140737259642831 0
[pid=25283/tid=25286] ppid=25280 vsize=10684512 memory=2867664589641494 CPUtime=368.3 cores=1,3,5,7
/proc/25283/task/25286/stat : 25286 (java) R 25280 25283 8289 0 -1 4202560 817216 0 0 0 36694 136 0 0 20 0 17 0 111929533 10940940288 2075098 18446744073709551615 4194304 4196468 140737259631408 140174460914256 140174523122407 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39321600 140737259639184 140737259639337 140737259639337 140737259642831 0
[pid=25283/tid=25287] ppid=25280 vsize=10684512 memory=2440 CPUtime=368.83 cores=1,3,5,7
/proc/25283/task/25287/stat : 25287 (java) R 25280 25283 8289 0 -1 4202560 748852 0 0 0 36735 148 0 0 20 0 17 0 111929533 10940940288 2075098 18446744073709551615 4194304 4196468 140737259631408 140174459861712 140174523122407 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39321600 140737259639184 140737259639337 140737259639337 140737259642831 0
[pid=25283/tid=25288] ppid=25280 vsize=10684512 memory=1724 CPUtime=368.29 cores=1,3,5,7
/proc/25283/task/25288/stat : 25288 (java) R 25280 25283 8289 0 -1 4202560 779028 0 0 0 36680 149 0 0 20 0 17 0 111929533 10940940288 2075098 18446744073709551615 4194304 4196468 140737259631408 140174458809560 140174515495048 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39321600 140737259639184 140737259639337 140737259639337 140737259642831 0
[pid=25283/tid=25289] ppid=25280 vsize=10684512 memory=1228 CPUtime=367.31 cores=1,3,5,7
/proc/25283/task/25289/stat : 25289 (java) R 25280 25283 8289 0 -1 4202560 641037 0 0 0 36578 153 0 0 20 0 17 0 111929533 10940940288 2075098 18446744073709551615 4194304 4196468 140737259631408 140174457756936 140174523122407 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39321600 140737259639184 140737259639337 140737259639337 140737259642831 0
[pid=25283/tid=25290] ppid=25280 vsize=10684512 memory=14356 CPUtime=21.02 cores=1,3,5,7
/proc/25283/task/25290/stat : 25290 (java) S 25280 25283 8289 0 -1 1077944384 85564 0 0 0 2097 5 0 0 20 0 17 0 111929534 10940940288 2075098 18446744073709551615 4194304 4196468 140737259631408 140174026535488 140174530504405 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39321600 140737259639184 140737259639337 140737259639337 140737259642831 0
[pid=25283/tid=25291] ppid=25280 vsize=10684512 memory=1008 CPUtime=0 cores=1,3,5,7
/proc/25283/task/25291/stat : 25291 (java) S 25280 25283 8289 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 17 0 111929535 10940940288 2075098 18446744073709551615 4194304 4196468 140737259631408 140174025483232 140174530504405 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39321600 140737259639184 140737259639337 140737259639337 140737259642831 0
[pid=25283/tid=25292] ppid=25280 vsize=10684512 memory=2012 CPUtime=0 cores=1,3,5,7
/proc/25283/task/25292/stat : 25292 (java) S 25280 25283 8289 0 -1 1077944384 106 0 0 0 0 0 0 0 20 0 17 0 111929535 10940940288 2075098 18446744073709551615 4194304 4196468 140737259631408 140174024429696 140174530504405 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39321600 140737259639184 140737259639337 140737259639337 140737259642831 0
[pid=25283/tid=25293] ppid=25280 vsize=10684512 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25283/task/25293/stat : 25293 (java) S 25280 25283 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 111929537 10940940288 2075098 18446744073709551615 4194304 4196468 140737259631408 140174023379152 140174530512795 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39321600 140737259639184 140737259639337 140737259639337 140737259642831 0
[pid=25283/tid=25294] ppid=25280 vsize=10684512 memory=7679937539659563834 CPUtime=1.02 cores=1,3,5,7
/proc/25283/task/25294/stat : 25294 (java) S 25280 25283 8289 0 -1 1077944384 2658 0 0 0 102 0 0 0 20 0 17 0 111929537 10940940288 2075098 18446744073709551615 4194304 4196468 140737259631408 140174022326816 140174530504405 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39321600 140737259639184 140737259639337 140737259639337 140737259642831 0
[pid=25283/tid=25295] ppid=25280 vsize=10684512 memory=4168 CPUtime=1.03 cores=1,3,5,7
/proc/25283/task/25295/stat : 25295 (java) S 25280 25283 8289 0 -1 1077944384 2873 0 0 0 102 1 0 0 20 0 17 0 111929537 10940940288 2075098 18446744073709551615 4194304 4196468 140737259631408 140174021273984 140174530504405 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39321600 140737259639184 140737259639337 140737259639337 140737259642831 0
[pid=25283/tid=25296] ppid=25280 vsize=10684512 memory=54192 CPUtime=0.38 cores=1,3,5,7
/proc/25283/task/25296/stat : 25296 (java) S 25280 25283 8289 0 -1 1077944384 4337 0 0 0 37 1 0 0 20 0 17 0 111929537 10940940288 2075098 18446744073709551615 4194304 4196468 140737259631408 140174020221728 140174530504405 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39321600 140737259639184 140737259639337 140737259639337 140737259642831 0
[pid=25283/tid=25297] ppid=25280 vsize=10684512 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/25283/task/25297/stat : 25297 (java) S 25280 25283 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 111929537 10940940288 2075098 18446744073709551615 4194304 4196468 140737259631408 140174019169376 140174530504405 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39321600 140737259639184 140737259639337 140737259639337 140737259642831 0
[pid=25283/tid=25298] ppid=25280 vsize=10684512 memory=8299196 CPUtime=0.33 cores=1,3,5,7
/proc/25283/task/25298/stat : 25298 (java) S 25280 25283 8289 0 -1 1077944384 368 0 0 0 13 20 0 0 20 0 17 0 111929544 10940940288 2075098 18446744073709551615 4194304 4196468 140737259631408 140174018115888 140174530505346 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39321600 140737259639184 140737259639337 140737259639337 140737259642831 0
[pid=25283/tid=25328] ppid=25280 vsize=10684512 memory=8299196 CPUtime=0 cores=1,3,5,7
/proc/25283/task/25328/stat : 25328 (java) S 25280 25283 8289 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 17 0 111968432 10940940288 2075098 18446744073709551615 4194304 4196468 140737259631408 140174017060016 140174530504405 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39321600 140737259639184 140737259639337 140737259639337 140737259642831 0
[pid=25283/tid=25329] ppid=25280 vsize=10684512 memory=1156 CPUtime=0 cores=1,3,5,7
/proc/25283/task/25329/stat : 25329 (java) S 25280 25283 8289 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 17 0 111968432 10940940288 2075098 18446744073709551615 4194304 4196468 140737259631408 140174016008240 140174530504405 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39321600 140737259639184 140737259639337 140737259639337 140737259642831 0
Current children cumulated CPU time: 1512.54 s
Current children cumulated vsize: 10684512 KiB
Current children cumulated memory: 8300392 KiB

[startup+411.201 s]
/proc/loadavg: 4.18 4.23 3.33 6/219 25329
/proc/meminfo: memFree=18364224/32770624 swapFree=67108860/67108860
[pid=25283] ppid=25280 vsize=10684512 memory=8300392 CPUtime=1518.72 cores=1,3,5,7
/proc/25283/stat : 25283 (java) S 25280 25283 8289 0 -1 1077944320 3127061 0 0 0 151234 638 0 0 20 0 17 0 111929526 10940940288 2075098 18446744073709551615 4194304 4196468 140737259631408 140737259613952 140174530494199 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 5 0 0 6293624 6294260 39321600 140737259639184 140737259639337 140737259639337 140737259642831 0
/proc/25283/statm: 2671128 2075098 3163 1 0 2660543 0
[pid=25283/tid=25285] ppid=25280 vsize=10684512 memory=1724 CPUtime=15.93 cores=1,3,5,7
/proc/25283/task/25285/stat : 25285 (java) S 25280 25283 8289 0 -1 1077944384 43126 0 0 0 1557 36 0 0 20 0 17 0 111929532 10940940288 2075098 18446744073709551615 4194304 4196468 140737259631408 140174534734880 140174530504405 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 6 0 0 6293624 6294260 39321600 140737259639184 140737259639337 140737259639337 140737259642831 0
[pid=25283/tid=25286] ppid=25280 vsize=10684512 memory=8300392 CPUtime=369.85 cores=1,3,5,7
/proc/25283/task/25286/stat : 25286 (java) R 25280 25283 8289 0 -1 4202560 817216 0 0 0 36848 137 0 0 20 0 17 0 111929533 10940940288 2075098 18446744073709551615 4194304 4196468 140737259631408 140174460914256 140174523122407 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39321600 140737259639184 140737259639337 140737259639337 140737259642831 0
[pid=25283/tid=25287] ppid=25280 vsize=10684512 memory=2012 CPUtime=370.37 cores=1,3,5,7
/proc/25283/task/25287/stat : 25287 (java) R 25280 25283 8289 0 -1 4202560 748852 0 0 0 36889 148 0 0 20 0 17 0 111929533 10940940288 2075098 18446744073709551615 4194304 4196468 140737259631408 140174459861712 140174523122407 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39321600 140737259639184 140737259639337 140737259639337 140737259642831 0
[pid=25283/tid=25288] ppid=25280 vsize=10684512 memory=11136 CPUtime=369.89 cores=1,3,5,7
/proc/25283/task/25288/stat : 25288 (java) R 25280 25283 8289 0 -1 4202560 779516 0 0 0 36840 149 0 0 20 0 17 0 111929533 10940940288 2075098 18446744073709551615 4194304 4196468 140737259631408 140174458809560 140174515483757 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39321600 140737259639184 140737259639337 140737259639337 140737259642831 0
[pid=25283/tid=25289] ppid=25280 vsize=10684512 memory=2440 CPUtime=368.82 cores=1,3,5,7
/proc/25283/task/25289/stat : 25289 (java) R 25280 25283 8289 0 -1 4202560 641037 0 0 0 36728 154 0 0 20 0 17 0 111929533 10940940288 2075098 18446744073709551615 4194304 4196468 140737259631408 140174457756936 140174523122407 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39321600 140737259639184 140737259639337 140737259639337 140737259642831 0
[pid=25283/tid=25290] ppid=25280 vsize=10684512 memory=1724 CPUtime=21.02 cores=1,3,5,7
/proc/25283/task/25290/stat : 25290 (java) S 25280 25283 8289 0 -1 1077944384 85564 0 0 0 2097 5 0 0 20 0 17 0 111929534 10940940288 2075098 18446744073709551615 4194304 4196468 140737259631408 140174026535488 140174530504405 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39321600 140737259639184 140737259639337 140737259639337 140737259642831 0
[pid=25283/tid=25291] ppid=25280 vsize=10684512 memory=792 CPUtime=0 cores=1,3,5,7
/proc/25283/task/25291/stat : 25291 (java) S 25280 25283 8289 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 17 0 111929535 10940940288 2075098 18446744073709551615 4194304 4196468 140737259631408 140174025483232 140174530504405 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39321600 140737259639184 140737259639337 140737259639337 140737259642831 0
[pid=25283/tid=25292] ppid=25280 vsize=10684512 memory=4168 CPUtime=0 cores=1,3,5,7
/proc/25283/task/25292/stat : 25292 (java) S 25280 25283 8289 0 -1 1077944384 106 0 0 0 0 0 0 0 20 0 17 0 111929535 10940940288 2075098 18446744073709551615 4194304 4196468 140737259631408 140174024429696 140174530504405 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39321600 140737259639184 140737259639337 140737259639337 140737259642831 0
[pid=25283/tid=25293] ppid=25280 vsize=10684512 memory=54192 CPUtime=0 cores=1,3,5,7
/proc/25283/task/25293/stat : 25293 (java) S 25280 25283 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 111929537 10940940288 2075098 18446744073709551615 4194304 4196468 140737259631408 140174023379152 140174530512795 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39321600 140737259639184 140737259639337 140737259639337 140737259642831 0
[pid=25283/tid=25294] ppid=25280 vsize=10684512 memory=1296 CPUtime=1.02 cores=1,3,5,7
/proc/25283/task/25294/stat : 25294 (java) S 25280 25283 8289 0 -1 1077944384 2658 0 0 0 102 0 0 0 20 0 17 0 111929537 10940940288 2075098 18446744073709551615 4194304 4196468 140737259631408 140174022326816 140174530504405 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39321600 140737259639184 140737259639337 140737259639337 140737259642831 0
[pid=25283/tid=25295] ppid=25280 vsize=10684512 memory=8300392 CPUtime=1.03 cores=1,3,5,7
/proc/25283/task/25295/stat : 25295 (java) S 25280 25283 8289 0 -1 1077944384 2873 0 0 0 102 1 0 0 20 0 17 0 111929537 10940940288 2075098 18446744073709551615 4194304 4196468 140737259631408 140174021273984 140174530504405 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39321600 140737259639184 140737259639337 140737259639337 140737259642831 0
[pid=25283/tid=25296] ppid=25280 vsize=10684512 memory=1436 CPUtime=0.38 cores=1,3,5,7
/proc/25283/task/25296/stat : 25296 (java) S 25280 25283 8289 0 -1 1077944384 4337 0 0 0 37 1 0 0 20 0 17 0 111929537 10940940288 2075098 18446744073709551615 4194304 4196468 140737259631408 140174020221728 140174530504405 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39321600 140737259639184 140737259639337 140737259639337 140737259642831 0
[pid=25283/tid=25297] ppid=25280 vsize=10684512 memory=1200 CPUtime=0 cores=1,3,5,7
/proc/25283/task/25297/stat : 25297 (java) S 25280 25283 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 111929537 10940940288 2075098 18446744073709551615 4194304 4196468 140737259631408 140174019169376 140174530504405 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39321600 140737259639184 140737259639337 140737259639337 140737259642831 0
[pid=25283/tid=25298] ppid=25280 vsize=10684512 memory=1436 CPUtime=0.33 cores=1,3,5,7
/proc/25283/task/25298/stat : 25298 (java) S 25280 25283 8289 0 -1 1077944384 368 0 0 0 13 20 0 0 20 0 17 0 111929544 10940940288 2075098 18446744073709551615 4194304 4196468 140737259631408 140174018115888 140174530505346 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39321600 140737259639184 140737259639337 140737259639337 140737259642831 0
[pid=25283/tid=25328] ppid=25280 vsize=10684512 memory=1200 CPUtime=0 cores=1,3,5,7
/proc/25283/task/25328/stat : 25328 (java) S 25280 25283 8289 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 17 0 111968432 10940940288 2075098 18446744073709551615 4194304 4196468 140737259631408 140174017060016 140174530504405 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39321600 140737259639184 140737259639337 140737259639337 140737259642831 0
[pid=25283/tid=25329] ppid=25280 vsize=10684512 memory=15876 CPUtime=0 cores=1,3,5,7
/proc/25283/task/25329/stat : 25329 (java) S 25280 25283 8289 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 17 0 111968432 10940940288 2075098 18446744073709551615 4194304 4196468 140737259631408 140174016008240 140174530504405 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39321600 140737259639184 140737259639337 140737259639337 140737259642831 0
Current children cumulated CPU time: 1518.72 s
Current children cumulated vsize: 10684512 KiB
Current children cumulated memory: 8300392 KiB

[startup+411.601 s]
/proc/loadavg: 4.18 4.23 3.33 6/219 25329
/proc/meminfo: memFree=18364224/32770624 swapFree=67108860/67108860
[pid=25283] ppid=25280 vsize=10684512 memory=8300396 CPUtime=1519.33 cores=1,3,5,7
/proc/25283/stat : 25283 (java) S 25280 25283 8289 0 -1 1077944320 3128345 0 0 0 151295 638 0 0 20 0 17 0 111929526 10940940288 2075099 18446744073709551615 4194304 4196468 140737259631408 140737259613952 140174530494199 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 5 0 0 6293624 6294260 39321600 140737259639184 140737259639337 140737259639337 140737259642831 0
/proc/25283/statm: 2671128 2075099 3163 1 0 2660543 0
[pid=25283/tid=25285] ppid=25280 vsize=10684512 memory=2164 CPUtime=15.93 cores=1,3,5,7
/proc/25283/task/25285/stat : 25285 (java) S 25280 25283 8289 0 -1 1077944384 43126 0 0 0 1557 36 0 0 20 0 17 0 111929532 10940940288 2075099 18446744073709551615 4194304 4196468 140737259631408 140174534734880 140174530504405 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 6 0 0 6293624 6294260 39321600 140737259639184 140737259639337 140737259639337 140737259642831 0
[pid=25283/tid=25286] ppid=25280 vsize=10684512 memory=-8774313645642428999 CPUtime=369.91 cores=1,3,5,7
/proc/25283/task/25286/stat : 25286 (java) S 25280 25283 8289 0 -1 1077944384 817216 0 0 0 36854 137 0 0 20 0 17 0 111929533 10940940288 2075099 18446744073709551615 4194304 4196468 140737259631408 140174460914448 140174530504405 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39321600 140737259639184 140737259639337 140737259639337 140737259642831 0
[pid=25283/tid=25287] ppid=25280 vsize=10684512 memory=1620 CPUtime=370.44 cores=1,3,5,7
/proc/25283/task/25287/stat : 25287 (java) S 25280 25283 8289 0 -1 1077944384 748852 0 0 0 36896 148 0 0 20 0 17 0 111929533 10940940288 2075099 18446744073709551615 4194304 4196468 140737259631408 140174459861904 140174530504405 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39321600 140737259639184 140737259639337 140737259639337 140737259642831 0
[pid=25283/tid=25288] ppid=25280 vsize=10684512 memory=844 CPUtime=369.96 cores=1,3,5,7
/proc/25283/task/25288/stat : 25288 (java) S 25280 25283 8289 0 -1 1077944384 779544 0 0 0 36847 149 0 0 20 0 17 0 111929533 10940940288 2075099 18446744073709551615 4194304 4196468 140737259631408 140174458809360 140174530504405 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39321600 140737259639184 140737259639337 140737259639337 140737259642831 0
[pid=25283/tid=25289] ppid=25280 vsize=10684512 memory=18484 CPUtime=368.89 cores=1,3,5,7
/proc/25283/task/25289/stat : 25289 (java) S 25280 25283 8289 0 -1 1077944384 641038 0 0 0 36735 154 0 0 20 0 17 0 111929533 10940940288 2075099 18446744073709551615 4194304 4196468 140737259631408 140174457756816 140174530504405 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39321600 140737259639184 140737259639337 140737259639337 140737259642831 0
[pid=25283/tid=25290] ppid=25280 vsize=10684512 memory=3912 CPUtime=21.35 cores=1,3,5,7
/proc/25283/task/25290/stat : 25290 (java) R 25280 25283 8289 0 -1 4202560 86819 0 0 0 2130 5 0 0 20 0 17 0 111929534 10940940288 2075099 18446744073709551615 4194304 4196468 140737259631408 140174026535376 140174515490566 0 0 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39321600 140737259639184 140737259639337 140737259639337 140737259642831 0
[pid=25283/tid=25291] ppid=25280 vsize=10684512 memory=3520 CPUtime=0 cores=1,3,5,7
/proc/25283/task/25291/stat : 25291 (java) S 25280 25283 8289 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 17 0 111929535 10940940288 2075099 18446744073709551615 4194304 4196468 140737259631408 140174025483232 140174530504405 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39321600 140737259639184 140737259639337 140737259639337 140737259642831 0
[pid=25283/tid=25292] ppid=25280 vsize=10684512 memory=3028 CPUtime=0 cores=1,3,5,7
/proc/25283/task/25292/stat : 25292 (java) S 25280 25283 8289 0 -1 1077944384 106 0 0 0 0 0 0 0 20 0 17 0 111929535 10940940288 2075099 18446744073709551615 4194304 4196468 140737259631408 140174024429696 140174530504405 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39321600 140737259639184 140737259639337 140737259639337 140737259642831 0
[pid=25283/tid=25293] ppid=25280 vsize=10684512 memory=4068 CPUtime=0 cores=1,3,5,7
/proc/25283/task/25293/stat : 25293 (java) S 25280 25283 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 111929537 10940940288 2075099 18446744073709551615 4194304 4196468 140737259631408 140174023379152 140174530512795 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39321600 140737259639184 140737259639337 140737259639337 140737259642831 0
[pid=25283/tid=25294] ppid=25280 vsize=10684512 memory=1156 CPUtime=1.02 cores=1,3,5,7
/proc/25283/task/25294/stat : 25294 (java) S 25280 25283 8289 0 -1 1077944384 2658 0 0 0 102 0 0 0 20 0 17 0 111929537 10940940288 2075099 18446744073709551615 4194304 4196468 140737259631408 140174022326816 140174530504405 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39321600 140737259639184 140737259639337 140737259639337 140737259642831 0
[pid=25283/tid=25295] ppid=25280 vsize=10684512 memory=3160 CPUtime=1.03 cores=1,3,5,7
/proc/25283/task/25295/stat : 25295 (java) S 25280 25283 8289 0 -1 1077944384 2873 0 0 0 102 1 0 0 20 0 17 0 111929537 10940940288 2075099 18446744073709551615 4194304 4196468 140737259631408 140174021273984 140174530504405 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39321600 140737259639184 140737259639337 140737259639337 140737259642831 0
[pid=25283/tid=25296] ppid=25280 vsize=10684512 memory=4705532 CPUtime=0.38 cores=1,3,5,7
/proc/25283/task/25296/stat : 25296 (java) S 25280 25283 8289 0 -1 1077944384 4337 0 0 0 37 1 0 0 20 0 17 0 111929537 10940940288 2075099 18446744073709551615 4194304 4196468 140737259631408 140174020221728 140174530504405 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39321600 140737259639184 140737259639337 140737259639337 140737259642831 0
[pid=25283/tid=25297] ppid=25280 vsize=10684512 memory=1152 CPUtime=0 cores=1,3,5,7
/proc/25283/task/25297/stat : 25297 (java) S 25280 25283 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 111929537 10940940288 2075099 18446744073709551615 4194304 4196468 140737259631408 140174019169376 140174530504405 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39321600 140737259639184 140737259639337 140737259639337 140737259642831 0
[pid=25283/tid=25298] ppid=25280 vsize=10684512 memory=4872558044660077418 CPUtime=0.33 cores=1,3,5,7
/proc/25283/task/25298/stat : 25298 (java) S 25280 25283 8289 0 -1 1077944384 368 0 0 0 13 20 0 0 20 0 17 0 111929544 10940940288 2075099 18446744073709551615 4194304 4196468 140737259631408 140174018115888 140174530505346 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39321600 140737259639184 140737259639337 140737259639337 140737259642831 0
[pid=25283/tid=25328] ppid=25280 vsize=10684512 memory=4168 CPUtime=0 cores=1,3,5,7
/proc/25283/task/25328/stat : 25328 (java) S 25280 25283 8289 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 17 0 111968432 10940940288 2075099 18446744073709551615 4194304 4196468 140737259631408 140174017060016 140174530504405 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39321600 140737259639184 140737259639337 140737259639337 140737259642831 0
[pid=25283/tid=25329] ppid=25280 vsize=10684512 memory=54192 CPUtime=0 cores=1,3,5,7
/proc/25283/task/25329/stat : 25329 (java) S 25280 25283 8289 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 17 0 111968432 10940940288 2075099 18446744073709551615 4194304 4196468 140737259631408 140174016008240 140174530504405 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39321600 140737259639184 140737259639337 140737259639337 140737259642831 0
Current children cumulated CPU time: 1519.33 s
Current children cumulated vsize: 10684512 KiB
Current children cumulated memory: 8300396 KiB

[startup+412.001 s]*
/proc/loadavg: 4.18 4.23 3.33 3/218 25329
/proc/meminfo: memFree=18365456/32770624 swapFree=67108860/67108860
[pid=25283] ppid=25280 vsize=10684512 memory=8300564 CPUtime=1519.74 cores=1,3,5,7
/proc/25283/stat : 25283 (java) S 25280 25283 8289 0 -1 1077944320 3132169 0 0 0 151336 638 0 0 20 0 16 0 111929526 10940940288 2075141 18446744073709551615 4194304 4196468 140737259631408 140737259613952 140174530494199 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 5 0 0 6293624 6294260 39321600 140737259639184 140737259639337 140737259639337 140737259642831 0
/proc/25283/statm: 2671128 2075141 3165 1 0 2660543 0
[pid=25283/tid=25285] ppid=25280 vsize=10684512 memory=-8774313645642428999 CPUtime=15.93 cores=1,3,5,7
/proc/25283/task/25285/stat : 25285 (java) S 25280 25283 8289 0 -1 1077944384 43126 0 0 0 1557 36 0 0 20 0 16 0 111929532 10940940288 2075142 18446744073709551615 4194304 4196468 140737259631408 140174534734880 140174530504405 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 6 0 0 6293624 6294260 39321600 140737259639184 140737259639337 140737259639337 140737259642831 0
[pid=25283/tid=25286] ppid=25280 vsize=10684512 memory=4872558044660077418 CPUtime=369.91 cores=1,3,5,7
/proc/25283/task/25286/stat : 25286 (java) S 25280 25283 8289 0 -1 1077944384 817216 0 0 0 36854 137 0 0 20 0 16 0 111929533 10940940288 2075142 18446744073709551615 4194304 4196468 140737259631408 140174460914448 140174530504405 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39321600 140737259639184 140737259639337 140737259639337 140737259642831 0
[pid=25283/tid=25287] ppid=25280 vsize=10684512 memory=1724 CPUtime=370.44 cores=1,3,5,7
/proc/25283/task/25287/stat : 25287 (java) S 25280 25283 8289 0 -1 1077944384 748852 0 0 0 36896 148 0 0 20 0 16 0 111929533 10940940288 2075142 18446744073709551615 4194304 4196468 140737259631408 140174459861904 140174530504405 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39321600 140737259639184 140737259639337 140737259639337 140737259642831 0
[pid=25283/tid=25288] ppid=25280 vsize=10684512 memory=792 CPUtime=369.96 cores=1,3,5,7
/proc/25283/task/25288/stat : 25288 (java) S 25280 25283 8289 0 -1 1077944384 779544 0 0 0 36847 149 0 0 20 0 16 0 111929533 10940940288 2075142 18446744073709551615 4194304 4196468 140737259631408 140174458809360 140174530504405 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39321600 140737259639184 140737259639337 140737259639337 140737259642831 0
[pid=25283/tid=25289] ppid=25280 vsize=10684512 memory=1716 CPUtime=368.89 cores=1,3,5,7
/proc/25283/task/25289/stat : 25289 (java) S 25280 25283 8289 0 -1 1077944384 641038 0 0 0 36735 154 0 0 20 0 16 0 111929533 10940940288 2075142 18446744073709551615 4194304 4196468 140737259631408 140174457756816 140174530504405 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39321600 140737259639184 140737259639337 140737259639337 140737259642831 0
[pid=25283/tid=25290] ppid=25280 vsize=10684512 memory=1228 CPUtime=21.76 cores=1,3,5,7
/proc/25283/task/25290/stat : 25290 (java) S 25280 25283 8289 0 -1 1077944384 90104 0 0 0 2171 5 0 0 20 0 16 0 111929534 10940940288 2075142 18446744073709551615 4194304 4196468 140737259631408 140174026536944 140174530505346 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39321600 140737259639184 140737259639337 140737259639337 140737259642831 0
[pid=25283/tid=25291] ppid=25280 vsize=10684512 memory=14356 CPUtime=0 cores=1,3,5,7
/proc/25283/task/25291/stat : 25291 (java) S 25280 25283 8289 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 16 0 111929535 10940940288 2075142 18446744073709551615 4194304 4196468 140737259631408 140174025483232 140174530504405 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39321600 140737259639184 140737259639337 140737259639337 140737259642831 0
[pid=25283/tid=25292] ppid=25280 vsize=10684512 memory=1008 CPUtime=0 cores=1,3,5,7
/proc/25283/task/25292/stat : 25292 (java) S 25280 25283 8289 0 -1 1077944384 143 0 0 0 0 0 0 0 20 0 16 0 111929535 10940940288 2075142 18446744073709551615 4194304 4196468 140737259631408 140174024430592 140174530504405 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39321600 140737259639184 140737259639337 140737259639337 140737259642831 0
[pid=25283/tid=25293] ppid=25280 vsize=10684512 memory=2012 CPUtime=0 cores=1,3,5,7
/proc/25283/task/25293/stat : 25293 (java) S 25280 25283 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 111929537 10940940288 2075145 18446744073709551615 4194304 4196468 140737259631408 140174023379152 140174530512795 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39321600 140737259639184 140737259639337 140737259639337 140737259642831 0
[pid=25283/tid=25294] ppid=25280 vsize=10684512 memory=11136 CPUtime=1.02 cores=1,3,5,7
/proc/25283/task/25294/stat : 25294 (java) S 25280 25283 8289 0 -1 1077944384 2660 0 0 0 102 0 0 0 20 0 16 0 111929537 10940940288 2075145 18446744073709551615 4194304 4196468 140737259631408 140174022326768 140174530505346 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39321600 140737259639184 140737259639337 140737259639337 140737259642831 0
[pid=25283/tid=25295] ppid=25280 vsize=10684512 memory=5788 CPUtime=1.03 cores=1,3,5,7
/proc/25283/task/25295/stat : 25295 (java) S 25280 25283 8289 0 -1 1077944384 2878 0 0 0 102 1 0 0 20 0 16 0 111929537 10940940288 2075145 18446744073709551615 4194304 4196468 140737259631408 140174021274224 140174530505346 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39321600 140737259639184 140737259639337 140737259639337 140737259642831 0
[pid=25283/tid=25296] ppid=25280 vsize=10684512 memory=4612 CPUtime=0.38 cores=1,3,5,7
/proc/25283/task/25296/stat : 25296 (java) R 25280 25283 8289 0 -1 4202560 4481 0 0 0 37 1 0 0 20 0 16 0 111929537 10940940288 2075145 18446744073709551615 4194304 4196468 140737259631408 140174020221680 140174510461318 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39321600 140737259639184 140737259639337 140737259639337 140737259642831 0
[pid=25283/tid=25297] ppid=25280 vsize=10684512 memory=1436 CPUtime=0 cores=1,3,5,7
/proc/25283/task/25297/stat : 25297 (java) S 25280 25283 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 111929537 10940940288 2075145 18446744073709551615 4194304 4196468 140737259631408 140174019169376 140174530504405 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39321600 140737259639184 140737259639337 140737259639337 140737259642831 0
[pid=25283/tid=25298] ppid=25280 vsize=10684512 memory=1200 CPUtime=0.33 cores=1,3,5,7
/proc/25283/task/25298/stat : 25298 (java) S 25280 25283 8289 0 -1 1077944384 368 0 0 0 13 20 0 0 20 0 16 0 111929544 10940940288 2075145 18446744073709551615 4194304 4196468 140737259631408 140174018115888 140174530505346 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39321600 140737259639184 140737259639337 140737259639337 140737259642831 0
[pid=25283/tid=25328] ppid=25280 vsize=10684512 memory=15876 CPUtime=0 cores=1,3,5,7
/proc/25283/task/25328/stat : 25328 (java) R 25280 25283 8289 0 -1 4202560 498 0 0 0 0 0 0 0 20 0 16 0 111968432 10940940288 2075145 18446744073709551615 4194304 4196468 140737259631408 140174017050704 140174513887793 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39321600 140737259639184 140737259639337 140737259639337 140737259642831 0
Current children cumulated CPU time: 1519.74 s
Current children cumulated vsize: 10684512 KiB
Current children cumulated memory: 8300564 KiB

Child status: 0
Real time (s): 412.106
CPU time (s): 1519.85
CPU user time (s): 1513.37
CPU system time (s): 6.47672
CPU usage (%): 368.8
Max. virtual memory (cumulated for all children) (KiB): 10684512
Max. memory (cumulated for all children) (KiB): 8300564

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1513.37
system time used= 6.47672
maximum resident set size= 8300668
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3132505
page faults= 0
swaps= 0
block input operations= 0
block output operations= 568
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 25002
involuntary context switches= 17189


# summary of solver processes directly reported to runsolver:
#   pid: 25283
#   total CPU time (s): 1519.85
#   total CPU user time (s): 1513.37
#   total CPU system time (s): 6.47672

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.37418 second user time and 4.34056 second system time

The end
Name	Ramsey/Ramsey-int-s1/ Ramsey-int-47.xml
MD5SUM	b40b46819fbd3a38fcaaee2fdd389509
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	4
Best CPU time to get the best result obtained on this benchmark	2400.0601
Satisfiable
(Un)Satisfiability was proved
Number of variables	2209
Number of constraints	16215
Number of domains	1
Minimum domain size	1081
Maximum domain size	1081
Distribution of domain sizes	[{"size":1081,"count":1081}]
Minimum variable degree	0
Maximum variable degree	46
Distribution of variable degrees	[{"degree":0,"count":1128},{"degree":46,"count":1081}]
Minimum constraint arity	3
Maximum constraint arity	3
Distribution of constraint arities	[{"arity":3,"count":16215}]
Number of extensional constraints	0
Number of intensional constraints	16215
Distribution of constraint types	[{"type":"intension","count":16215}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4263761

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
