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 (15287 MiB free)
memory of node 1: 16384 MiB (14604 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387180-1568293225/watcher-4387180-1568293225 -o /tmp/evaluation-result-4387180-1568293225/solver-4387180-1568293225 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1568282247-6563 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=706344140 HOME/instance-4387180-1568293225.xml
running on 4 cores: 0,2,4,6
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=8414, runsolver pid=8411
[startup+0.100162 s]*
/proc/loadavg: 1.75 1.56 1.52 3/217 8471
/proc/meminfo: memFree=30602840/32770624 swapFree=66920172/67108860
[pid=8414] ppid=8411 vsize=9972712 memory=16812 CPUtime=0.09 cores=0,2,4,6
/proc/8414/stat : 8414 (java) S 8411 8414 5621 0 -1 1077944320 4467 13136 0 0 1 0 5 3 20 0 6 0 405578718 10212057088 4203 33554432000 4194304 4196468 140722551878288 140722551860832 140225059909367 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30052352 140722551880438 140722551882949 140722551882949 140722551885775 0
/proc/8414/statm: 2493178 4203 1935 1 0 2481616 0
[pid=8414/tid=8467] ppid=8411 vsize=9972712 memory=720575944405811505 CPUtime=0.09 cores=0,2,4,6
/proc/8414/task/8467/stat : 8467 (java) R 8411 8414 5621 0 -1 4202560 2279 13136 0 0 1 0 5 3 20 0 6 0 405578727 10212057088 4269 33554432000 4194304 4196468 140722551878288 140225031746128 140225059931293 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30052352 140722551880438 140722551882949 140722551882949 140722551885775 0
[pid=8414/tid=8468] ppid=8411 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8414/task/8468/stat : 8468 (java) S 8411 8414 5621 0 -1 1077944384 1 13136 0 0 0 0 5 3 20 0 6 0 405578728 10212057088 4269 33554432000 4194304 4196468 140722551878288 140225064151440 140225059919573 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30052352 140722551880438 140722551882949 140722551882949 140722551885775 0
[pid=8414/tid=8469] ppid=8411 vsize=9972712 memory=13711242105124504 CPUtime=0.08 cores=0,2,4,6
/proc/8414/task/8469/stat : 8469 (java) S 8411 8414 5621 0 -1 1077944384 1 13136 0 0 0 0 5 3 20 0 6 0 405578728 10212057088 4269 33554432000 4194304 4196468 140722551878288 140224632641808 140225059919573 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30052352 140722551880438 140722551882949 140722551882949 140722551885775 0
[pid=8414/tid=8470] ppid=8411 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8414/task/8470/stat : 8470 (java) S 8411 8414 5621 0 -1 1077944384 1 13136 0 0 0 0 5 3 20 0 6 0 405578728 10212057088 4269 33554432000 4194304 4196468 140722551878288 140224631589520 140225059919573 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30052352 140722551880438 140722551882949 140722551882949 140722551885775 0
[pid=8414/tid=8471] ppid=8411 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8414/task/8471/stat : 8471 (java) S 8411 8414 5621 0 -1 1077944384 2 13136 0 0 0 0 5 3 20 0 6 0 405578728 10212057088 4269 33554432000 4194304 4196468 140722551878288 140224630536720 140225059919573 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30052352 140722551880438 140722551882949 140722551882949 140722551885775 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 16812 KiB
[startup+0.210486 s]*
/proc/loadavg: 1.75 1.56 1.52 3/226 8480
/proc/meminfo: memFree=30582288/32770624 swapFree=66920172/67108860
[pid=8414] ppid=8411 vsize=10818940 memory=39048 CPUtime=0.27 cores=0,2,4,6
/proc/8414/stat : 8414 (java) S 8411 8414 5621 0 -1 1077944320 7114 13136 0 0 17 2 5 3 20 0 15 0 405578718 11078594560 9762 33554432000 4194304 4196468 140722551878288 140722551860832 140225059909367 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30052352 140722551880438 140722551882949 140722551882949 140722551885775 0
/proc/8414/statm: 2704735 9762 2958 1 0 2667149 0
[pid=8414/tid=8467] ppid=8411 vsize=10818940 memory=729618466009055537 CPUtime=0.2 cores=0,2,4,6
/proc/8414/task/8467/stat : 8467 (java) R 8411 8414 5621 0 -1 4202560 3640 13136 0 0 11 1 5 3 20 0 15 0 405578727 11078594560 9762 33554432000 4194304 4196468 140722551878288 140225031740608 140225043989854 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30052352 140722551880438 140722551882949 140722551882949 140722551885775 0
[pid=8414/tid=8468] ppid=8411 vsize=10818940 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8414/task/8468/stat : 8468 (java) S 8411 8414 5621 0 -1 1077944384 1 13136 0 0 0 0 5 3 20 0 15 0 405578728 11078594560 9762 33554432000 4194304 4196468 140722551878288 140225064151440 140225059919573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30052352 140722551880438 140722551882949 140722551882949 140722551885775 0
[pid=8414/tid=8469] ppid=8411 vsize=10818940 memory=13711242105124504 CPUtime=0.08 cores=0,2,4,6
/proc/8414/task/8469/stat : 8469 (java) S 8411 8414 5621 0 -1 1077944384 1 13136 0 0 0 0 5 3 20 0 15 0 405578728 11078594560 9762 33554432000 4194304 4196468 140722551878288 140224632641808 140225059919573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30052352 140722551880438 140722551882949 140722551882949 140722551885775 0
[pid=8414/tid=8470] ppid=8411 vsize=10818940 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8414/task/8470/stat : 8470 (java) S 8411 8414 5621 0 -1 1077944384 1 13136 0 0 0 0 5 3 20 0 15 0 405578728 11078594560 9762 33554432000 4194304 4196468 140722551878288 140224631589520 140225059919573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30052352 140722551880438 140722551882949 140722551882949 140722551885775 0
[pid=8414/tid=8471] ppid=8411 vsize=10818940 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8414/task/8471/stat : 8471 (java) S 8411 8414 5621 0 -1 1077944384 2 13136 0 0 0 0 5 3 20 0 15 0 405578728 11078594560 9762 33554432000 4194304 4196468 140722551878288 140224630536720 140225059919573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30052352 140722551880438 140722551882949 140722551882949 140722551885775 0
[pid=8414/tid=8472] ppid=8411 vsize=10818940 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8414/task/8472/stat : 8472 (java) S 8411 8414 5621 0 -1 1077944384 2 13136 0 0 0 0 5 3 20 0 15 0 405578730 11078594560 9762 33554432000 4194304 4196468 140722551878288 140224586578544 140225059920514 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30052352 140722551880438 140722551882949 140722551882949 140722551885775 0
[pid=8414/tid=8473] ppid=8411 vsize=10818940 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/8414/task/8473/stat : 8473 (java) S 8411 8414 5621 0 -1 1077944384 13 13136 0 0 0 0 5 3 20 0 15 0 405578730 11078594560 9762 33554432000 4194304 4196468 140722551878288 140224508192032 140225059919573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30052352 140722551880438 140722551882949 140722551882949 140722551885775 0
[pid=8414/tid=8474] ppid=8411 vsize=10818940 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8414/task/8474/stat : 8474 (java) S 8411 8414 5621 0 -1 1077944384 1 13136 0 0 0 0 5 3 20 0 15 0 405578730 11078594560 9762 33554432000 4194304 4196468 140722551878288 140223904212592 140225059919573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30052352 140722551880438 140722551882949 140722551882949 140722551885775 0
[pid=8414/tid=8475] ppid=8411 vsize=10818940 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8414/task/8475/stat : 8475 (java) S 8411 8414 5621 0 -1 1077944384 3 13136 0 0 0 0 5 3 20 0 15 0 405578733 11078594560 9762 33554432000 4194304 4196468 140722551878288 140223596812880 140225059927963 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30052352 140722551880438 140722551882949 140722551882949 140722551885775 0
[pid=8414/tid=8476] ppid=8411 vsize=10818940 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/8414/task/8476/stat : 8476 (java) S 8411 8414 5621 0 -1 1077944384 571 13136 0 0 1 0 5 3 20 0 15 0 405578733 11078594560 9762 33554432000 4194304 4196468 140722551878288 140224585525360 140225059920514 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30052352 140722551880438 140722551882949 140722551882949 140722551885775 0
[pid=8414/tid=8477] ppid=8411 vsize=10818940 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/8414/task/8477/stat : 8477 (java) S 8411 8414 5621 0 -1 1077944384 55 13136 0 0 0 0 5 3 20 0 15 0 405578733 11078594560 9762 33554432000 4194304 4196468 140722551878288 140224584472560 140225059920514 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30052352 140722551880438 140722551882949 140722551882949 140722551885775 0
[pid=8414/tid=8478] ppid=8411 vsize=10818940 memory=139758690301568 CPUtime=0.11 cores=0,2,4,6
/proc/8414/task/8478/stat : 8478 (java) S 8411 8414 5621 0 -1 1077944384 628 13136 0 0 3 0 5 3 20 0 15 0 405578733 11078594560 9762 33554432000 4194304 4196468 140722551878288 140224583420272 140225059920514 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30052352 140722551880438 140722551882949 140722551882949 140722551885775 0
[pid=8414/tid=8479] ppid=8411 vsize=10818940 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/8414/task/8479/stat : 8479 (java) S 8411 8414 5621 0 -1 1077944384 3 13136 0 0 0 0 5 3 20 0 15 0 405578733 11078594560 9762 33554432000 4194304 4196468 140722551878288 140223563254240 140225059919573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30052352 140722551880438 140722551882949 140722551882949 140722551885775 0
[pid=8414/tid=8480] ppid=8411 vsize=10818940 memory=139758690301568 CPUtime=0.08 cores=0,2,4,6
/proc/8414/task/8480/stat : 8480 (java) S 8411 8414 5621 0 -1 1077944384 1 13136 0 0 0 0 5 3 20 0 15 0 405578734 11078594560 9762 33554432000 4194304 4196468 140722551878288 140224582368176 140225059920514 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30052352 140722551880438 140722551882949 140722551882949 140722551885775 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10818940 KiB
Current children cumulated memory: 39048 KiB
[startup+0.310733 s]*
/proc/loadavg: 1.75 1.56 1.52 3/226 8480
/proc/meminfo: memFree=30571556/32770624 swapFree=66920172/67108860
[pid=8414] ppid=8411 vsize=10820096 memory=50384 CPUtime=0.4 cores=0,2,4,6
/proc/8414/stat : 8414 (java) S 8411 8414 5621 0 -1 1077944320 10876 13136 0 0 28 4 5 3 20 0 15 0 405578718 11079778304 12596 33554432000 4194304 4196468 140722551878288 140722551860832 140225059909367 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30052352 140722551880438 140722551882949 140722551882949 140722551885775 0
/proc/8414/statm: 2705024 12596 3212 1 0 2667149 0
[pid=8414/tid=8467] ppid=8411 vsize=10820096 memory=8317482817917895235 CPUtime=0.29 cores=0,2,4,6
/proc/8414/task/8467/stat : 8467 (java) R 8411 8414 5621 0 -1 4202560 7378 13136 0 0 18 3 5 3 20 0 15 0 405578727 11079778304 12596 33554432000 4194304 4196468 140722551878288 140225031729584 140225059931293 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30052352 140722551880438 140722551882949 140722551882949 140722551885775 0
[pid=8414/tid=8468] ppid=8411 vsize=10820096 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8414/task/8468/stat : 8468 (java) S 8411 8414 5621 0 -1 1077944384 1 13136 0 0 0 0 5 3 20 0 15 0 405578728 11079778304 12596 33554432000 4194304 4196468 140722551878288 140225064151440 140225059919573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30052352 140722551880438 140722551882949 140722551882949 140722551885775 0
[pid=8414/tid=8469] ppid=8411 vsize=10820096 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8414/task/8469/stat : 8469 (java) S 8411 8414 5621 0 -1 1077944384 1 13136 0 0 0 0 5 3 20 0 15 0 405578728 11079778304 12596 33554432000 4194304 4196468 140722551878288 140224632641808 140225059919573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30052352 140722551880438 140722551882949 140722551882949 140722551885775 0
[pid=8414/tid=8470] ppid=8411 vsize=10820096 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8414/task/8470/stat : 8470 (java) S 8411 8414 5621 0 -1 1077944384 1 13136 0 0 0 0 5 3 20 0 15 0 405578728 11079778304 12596 33554432000 4194304 4196468 140722551878288 140224631589520 140225059919573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30052352 140722551880438 140722551882949 140722551882949 140722551885775 0
[pid=8414/tid=8471] ppid=8411 vsize=10820096 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8414/task/8471/stat : 8471 (java) S 8411 8414 5621 0 -1 1077944384 2 13136 0 0 0 0 5 3 20 0 15 0 405578728 11079778304 12596 33554432000 4194304 4196468 140722551878288 140224630536720 140225059919573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30052352 140722551880438 140722551882949 140722551882949 140722551885775 0
[pid=8414/tid=8472] ppid=8411 vsize=10820096 memory=139758690301567 CPUtime=0.08 cores=0,2,4,6
/proc/8414/task/8472/stat : 8472 (java) S 8411 8414 5621 0 -1 1077944384 2 13136 0 0 0 0 5 3 20 0 15 0 405578730 11079778304 12596 33554432000 4194304 4196468 140722551878288 140224586578544 140225059920514 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30052352 140722551880438 140722551882949 140722551882949 140722551885775 0
[pid=8414/tid=8473] ppid=8411 vsize=10820096 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/8414/task/8473/stat : 8473 (java) S 8411 8414 5621 0 -1 1077944384 13 13136 0 0 0 0 5 3 20 0 15 0 405578730 11079778304 12596 33554432000 4194304 4196468 140722551878288 140224508192032 140225059919573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30052352 140722551880438 140722551882949 140722551882949 140722551885775 0
[pid=8414/tid=8474] ppid=8411 vsize=10820096 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8414/task/8474/stat : 8474 (java) S 8411 8414 5621 0 -1 1077944384 1 13136 0 0 0 0 5 3 20 0 15 0 405578730 11079778304 12596 33554432000 4194304 4196468 140722551878288 140223904212592 140225059919573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30052352 140722551880438 140722551882949 140722551882949 140722551885775 0
[pid=8414/tid=8475] ppid=8411 vsize=10820096 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8414/task/8475/stat : 8475 (java) S 8411 8414 5621 0 -1 1077944384 3 13136 0 0 0 0 5 3 20 0 15 0 405578733 11079778304 12596 33554432000 4194304 4196468 140722551878288 140223596812880 140225059927963 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30052352 140722551880438 140722551882949 140722551882949 140722551885775 0
[pid=8414/tid=8476] ppid=8411 vsize=10820096 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/8414/task/8476/stat : 8476 (java) S 8411 8414 5621 0 -1 1077944384 572 13136 0 0 2 0 5 3 20 0 15 0 405578733 11079778304 12596 33554432000 4194304 4196468 140722551878288 140224585525360 140225059920514 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30052352 140722551880438 140722551882949 140722551882949 140722551885775 0
[pid=8414/tid=8477] ppid=8411 vsize=10820096 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/8414/task/8477/stat : 8477 (java) S 8411 8414 5621 0 -1 1077944384 56 13136 0 0 1 0 5 3 20 0 15 0 405578733 11079778304 12596 33554432000 4194304 4196468 140722551878288 140224584472560 140225059920514 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30052352 140722551880438 140722551882949 140722551882949 140722551885775 0
[pid=8414/tid=8478] ppid=8411 vsize=10820096 memory=139758690301568 CPUtime=0.13 cores=0,2,4,6
/proc/8414/task/8478/stat : 8478 (java) S 8411 8414 5621 0 -1 1077944384 637 13136 0 0 5 0 5 3 20 0 15 0 405578733 11079778304 12596 33554432000 4194304 4196468 140722551878288 140224583420272 140225059920514 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30052352 140722551880438 140722551882949 140722551882949 140722551885775 0
[pid=8414/tid=8479] ppid=8411 vsize=10820096 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/8414/task/8479/stat : 8479 (java) S 8411 8414 5621 0 -1 1077944384 3 13136 0 0 0 0 5 3 20 0 15 0 405578733 11079778304 12596 33554432000 4194304 4196468 140722551878288 140223563254240 140225059919573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30052352 140722551880438 140722551882949 140722551882949 140722551885775 0
[pid=8414/tid=8480] ppid=8411 vsize=10820096 memory=139758690301568 CPUtime=0.08 cores=0,2,4,6
/proc/8414/task/8480/stat : 8480 (java) S 8411 8414 5621 0 -1 1077944384 1 13136 0 0 0 0 5 3 20 0 15 0 405578734 11079778304 12596 33554432000 4194304 4196468 140722551878288 140224582368176 140225059920514 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30052352 140722551880438 140722551882949 140722551882949 140722551885775 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820096 KiB
Current children cumulated memory: 50384 KiB
[startup+0.700679 s]
/proc/loadavg: 1.75 1.56 1.52 6/226 8480
/proc/meminfo: memFree=30559144/32770624 swapFree=66920172/67108860
[pid=8414] ppid=8411 vsize=10824340 memory=80412 CPUtime=1.15 cores=0,2,4,6
/proc/8414/stat : 8414 (java) S 8411 8414 5621 0 -1 1077944320 14831 13136 0 0 100 7 5 3 20 0 15 0 405578718 11084124160 20103 33554432000 4194304 4196468 140722551878288 140722551860832 140225059909367 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30052352 140722551880438 140722551882949 140722551882949 140722551885775 0
/proc/8414/statm: 2706085 20103 3502 1 0 2668173 0
[pid=8414/tid=8467] ppid=8411 vsize=10824340 memory=5795117241467496816 CPUtime=0.67 cores=0,2,4,6
/proc/8414/task/8467/stat : 8467 (java) R 8411 8414 5621 0 -1 4202560 10542 13136 0 0 54 5 5 3 20 0 15 0 405578727 11084124160 20103 33554432000 4194304 4196468 140722551878288 140225031731584 140225041303101 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30052352 140722551880438 140722551882949 140722551882949 140722551885775 0
[pid=8414/tid=8468] ppid=8411 vsize=10824340 memory=1284 CPUtime=0.08 cores=0,2,4,6
/proc/8414/task/8468/stat : 8468 (java) S 8411 8414 5621 0 -1 1077944384 1 13136 0 0 0 0 5 3 20 0 15 0 405578728 11084124160 20103 33554432000 4194304 4196468 140722551878288 140225064151440 140225059919573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30052352 140722551880438 140722551882949 140722551882949 140722551885775 0
[pid=8414/tid=8469] ppid=8411 vsize=10824340 memory=1044 CPUtime=0.08 cores=0,2,4,6
/proc/8414/task/8469/stat : 8469 (java) S 8411 8414 5621 0 -1 1077944384 1 13136 0 0 0 0 5 3 20 0 15 0 405578728 11084124160 20103 33554432000 4194304 4196468 140722551878288 140224632641808 140225059919573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30052352 140722551880438 140722551882949 140722551882949 140722551885775 0
[pid=8414/tid=8470] ppid=8411 vsize=10824340 memory=33 CPUtime=0.08 cores=0,2,4,6
/proc/8414/task/8470/stat : 8470 (java) S 8411 8414 5621 0 -1 1077944384 1 13136 0 0 0 0 5 3 20 0 15 0 405578728 11084124160 20103 33554432000 4194304 4196468 140722551878288 140224631589520 140225059919573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30052352 140722551880438 140722551882949 140722551882949 140722551885775 0
[pid=8414/tid=8471] ppid=8411 vsize=10824340 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8414/task/8471/stat : 8471 (java) S 8411 8414 5621 0 -1 1077944384 2 13136 0 0 0 0 5 3 20 0 15 0 405578728 11084124160 20103 33554432000 4194304 4196468 140722551878288 140224630536720 140225059919573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30052352 140722551880438 140722551882949 140722551882949 140722551885775 0
[pid=8414/tid=8472] ppid=8411 vsize=10824340 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8414/task/8472/stat : 8472 (java) S 8411 8414 5621 0 -1 1077944384 5 13136 0 0 0 0 5 3 20 0 15 0 405578730 11084124160 20103 33554432000 4194304 4196468 140722551878288 140224586578544 140225059920514 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30052352 140722551880438 140722551882949 140722551882949 140722551885775 0
[pid=8414/tid=8473] ppid=8411 vsize=10824340 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8414/task/8473/stat : 8473 (java) S 8411 8414 5621 0 -1 1077944384 13 13136 0 0 0 0 5 3 20 0 15 0 405578730 11084124160 20103 33554432000 4194304 4196468 140722551878288 140224508192032 140225059919573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30052352 140722551880438 140722551882949 140722551882949 140722551885775 0
[pid=8414/tid=8474] ppid=8411 vsize=10824340 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8414/task/8474/stat : 8474 (java) S 8411 8414 5621 0 -1 1077944384 1 13136 0 0 0 0 5 3 20 0 15 0 405578730 11084124160 20103 33554432000 4194304 4196468 140722551878288 140223904212592 140225059919573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30052352 140722551880438 140722551882949 140722551882949 140722551885775 0
[pid=8414/tid=8475] ppid=8411 vsize=10824340 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8414/task/8475/stat : 8475 (java) S 8411 8414 5621 0 -1 1077944384 3 13136 0 0 0 0 5 3 20 0 15 0 405578733 11084124160 20103 33554432000 4194304 4196468 140722551878288 140223596812880 140225059927963 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30052352 140722551880438 140722551882949 140722551882949 140722551885775 0
[pid=8414/tid=8476] ppid=8411 vsize=10824340 memory=0 CPUtime=0.21 cores=0,2,4,6
/proc/8414/task/8476/stat : 8476 (java) S 8411 8414 5621 0 -1 1077944384 827 13136 0 0 13 0 5 3 20 0 15 0 405578733 11084124160 20103 33554432000 4194304 4196468 140722551878288 140224585525360 140225059920514 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30052352 140722551880438 140722551882949 140722551882949 140722551885775 0
[pid=8414/tid=8477] ppid=8411 vsize=10824340 memory=0 CPUtime=0.23 cores=0,2,4,6
/proc/8414/task/8477/stat : 8477 (java) S 8411 8414 5621 0 -1 1077944384 430 13136 0 0 15 0 5 3 20 0 15 0 405578733 11084124160 20103 33554432000 4194304 4196468 140722551878288 140224584472560 140225059920514 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30052352 140722551880438 140722551882949 140722551882949 140722551885775 0
[pid=8414/tid=8478] ppid=8411 vsize=10824340 memory=0 CPUtime=0.25 cores=0,2,4,6
/proc/8414/task/8478/stat : 8478 (java) S 8411 8414 5621 0 -1 1077944384 797 13136 0 0 17 0 5 3 20 0 15 0 405578733 11084124160 20103 33554432000 4194304 4196468 140722551878288 140224583420272 140225059920514 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30052352 140722551880438 140722551882949 140722551882949 140722551885775 0
[pid=8414/tid=8479] ppid=8411 vsize=10824340 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8414/task/8479/stat : 8479 (java) S 8411 8414 5621 0 -1 1077944384 3 13136 0 0 0 0 5 3 20 0 15 0 405578733 11084124160 20103 33554432000 4194304 4196468 140722551878288 140223563254240 140225059919573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30052352 140722551880438 140722551882949 140722551882949 140722551885775 0
[pid=8414/tid=8480] ppid=8411 vsize=10824340 memory=3580 CPUtime=0.08 cores=0,2,4,6
/proc/8414/task/8480/stat : 8480 (java) S 8411 8414 5621 0 -1 1077944384 1 13136 0 0 0 0 5 3 20 0 15 0 405578734 11084124160 20157 33554432000 4194304 4196468 140722551878288 140224582368176 140225059920514 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30052352 140722551880438 140722551882949 140722551882949 140722551885775 0
Current children cumulated CPU time: 1.15 s
Current children cumulated vsize: 10824340 KiB
Current children cumulated memory: 80412 KiB
[startup+1.50881 s]
/proc/loadavg: 1.75 1.56 1.52 3/226 8480
/proc/meminfo: memFree=30465196/32770624 swapFree=66920172/67108860
[pid=8414] ppid=8411 vsize=10824340 memory=447040 CPUtime=2.99 cores=0,2,4,6
/proc/8414/stat : 8414 (java) S 8411 8414 5621 0 -1 1077944320 17639 13136 0 0 245 46 5 3 20 0 15 0 405578718 11084124160 111760 33554432000 4194304 4196468 140722551878288 140722551860832 140225059909367 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30052352 140722551880438 140722551882949 140722551882949 140722551885775 0
/proc/8414/statm: 2706085 111760 3537 1 0 2668173 0
[pid=8414/tid=8467] ppid=8411 vsize=10824340 memory=0 CPUtime=1.27 cores=0,2,4,6
/proc/8414/task/8467/stat : 8467 (java) S 8411 8414 5621 0 -1 1077944384 11192 13136 0 0 110 9 5 3 20 0 15 0 405578727 11084124160 111760 33554432000 4194304 4196468 140722551878288 140225031745664 140225059919573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30052352 140722551880438 140722551882949 140722551882949 140722551885775 0
[pid=8414/tid=8468] ppid=8411 vsize=10824340 memory=4640771770619094629 CPUtime=0.27 cores=0,2,4,6
/proc/8414/task/8468/stat : 8468 (java) S 8411 8414 5621 0 -1 1077944384 303 13136 0 0 11 8 5 3 20 0 15 0 405578728 11084124160 111760 33554432000 4194304 4196468 140722551878288 140225064151440 140225059919573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30052352 140722551880438 140722551882949 140722551882949 140722551885775 0
[pid=8414/tid=8469] ppid=8411 vsize=10824340 memory=4641053245595805285 CPUtime=0.28 cores=0,2,4,6
/proc/8414/task/8469/stat : 8469 (java) S 8411 8414 5621 0 -1 1077944384 176 13136 0 0 12 8 5 3 20 0 15 0 405578728 11084124160 111760 33554432000 4194304 4196468 140722551878288 140224632641808 140225059919573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30052352 140722551880438 140722551882949 140722551882949 140722551885775 0
[pid=8414/tid=8470] ppid=8411 vsize=10824340 memory=4639646970223879781 CPUtime=0.28 cores=0,2,4,6
/proc/8414/task/8470/stat : 8470 (java) S 8411 8414 5621 0 -1 1077944384 194 13136 0 0 12 8 5 3 20 0 15 0 405578728 11084124160 111760 33554432000 4194304 4196468 140722551878288 140224631589536 140225059919573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30052352 140722551880438 140722551882949 140722551882949 140722551885775 0
[pid=8414/tid=8471] ppid=8411 vsize=10824340 memory=279517143068448 CPUtime=0.28 cores=0,2,4,6
/proc/8414/task/8471/stat : 8471 (java) R 8411 8414 5621 0 -1 4202560 163 13136 0 0 11 9 5 3 20 0 15 0 405578728 11084124160 111760 33554432000 4194304 4196468 140722551878288 140224630536840 140225052537575 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30052352 140722551880438 140722551882949 140722551882949 140722551885775 0
[pid=8414/tid=8472] ppid=8411 vsize=10824340 memory=3762932788633377190 CPUtime=0.08 cores=0,2,4,6
/proc/8414/task/8472/stat : 8472 (java) S 8411 8414 5621 0 -1 1077944384 85 13136 0 0 0 0 5 3 20 0 15 0 405578730 11084124160 111760 33554432000 4194304 4196468 140722551878288 140224586577056 140225059919573 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30052352 140722551880438 140722551882949 140722551882949 140722551885775 0
[pid=8414/tid=8473] ppid=8411 vsize=10824340 memory=279517142735872 CPUtime=0.08 cores=0,2,4,6
/proc/8414/task/8473/stat : 8473 (java) S 8411 8414 5621 0 -1 1077944384 15 13136 0 0 0 0 5 3 20 0 15 0 405578730 11084124160 111760 33554432000 4194304 4196468 140722551878288 140224508192032 140225059919573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30052352 140722551880438 140722551882949 140722551882949 140722551885775 0
[pid=8414/tid=8474] ppid=8411 vsize=10824340 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8414/task/8474/stat : 8474 (java) S 8411 8414 5621 0 -1 1077944384 2 13136 0 0 0 0 5 3 20 0 15 0 405578730 11084124160 111760 33554432000 4194304 4196468 140722551878288 140223904212592 140225059919573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30052352 140722551880438 140722551882949 140722551882949 140722551885775 0
[pid=8414/tid=8475] ppid=8411 vsize=10824340 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8414/task/8475/stat : 8475 (java) S 8411 8414 5621 0 -1 1077944384 3 13136 0 0 0 0 5 3 20 0 15 0 405578733 11084124160 111760 33554432000 4194304 4196468 140722551878288 140223596812880 140225059927963 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30052352 140722551880438 140722551882949 140722551882949 140722551885775 0
[pid=8414/tid=8476] ppid=8411 vsize=10824340 memory=0 CPUtime=0.37 cores=0,2,4,6
/proc/8414/task/8476/stat : 8476 (java) S 8411 8414 5621 0 -1 1077944384 1132 13136 0 0 29 0 5 3 20 0 15 0 405578733 11084124160 111760 33554432000 4194304 4196468 140722551878288 140224585525360 140225059920514 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30052352 140722551880438 140722551882949 140722551882949 140722551885775 0
[pid=8414/tid=8477] ppid=8411 vsize=10824340 memory=0 CPUtime=0.39 cores=0,2,4,6
/proc/8414/task/8477/stat : 8477 (java) S 8411 8414 5621 0 -1 1077944384 921 13136 0 0 31 0 5 3 20 0 15 0 405578733 11084124160 111760 33554432000 4194304 4196468 140722551878288 140224584472560 140225059920514 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30052352 140722551880438 140722551882949 140722551882949 140722551885775 0
[pid=8414/tid=8478] ppid=8411 vsize=10824340 memory=0 CPUtime=0.33 cores=0,2,4,6
/proc/8414/task/8478/stat : 8478 (java) S 8411 8414 5621 0 -1 1077944384 1244 13136 0 0 25 0 5 3 20 0 15 0 405578733 11084124160 111760 33554432000 4194304 4196468 140722551878288 140224583420272 140225059920514 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30052352 140722551880438 140722551882949 140722551882949 140722551885775 0
[pid=8414/tid=8479] ppid=8411 vsize=10824340 memory=279517143277568 CPUtime=0.08 cores=0,2,4,6
/proc/8414/task/8479/stat : 8479 (java) S 8411 8414 5621 0 -1 1077944384 3 13136 0 0 0 0 5 3 20 0 15 0 405578733 11084124160 111760 33554432000 4194304 4196468 140722551878288 140223563254240 140225059919573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30052352 140722551880438 140722551882949 140722551882949 140722551885775 0
[pid=8414/tid=8480] ppid=8411 vsize=10824340 memory=6944656592387989600 CPUtime=0.08 cores=0,2,4,6
/proc/8414/task/8480/stat : 8480 (java) S 8411 8414 5621 0 -1 1077944384 1 13136 0 0 0 0 5 3 20 0 15 0 405578734 11084124160 111760 33554432000 4194304 4196468 140722551878288 140224582368176 140225059920514 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30052352 140722551880438 140722551882949 140722551882949 140722551885775 0
Current children cumulated CPU time: 2.99 s
Current children cumulated vsize: 10824340 KiB
################
# More data... #
################
[startup+866.747 s]
# the end of solver process 8414 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2521.37 s, system=6.98851 s
Solver just ended.
Dumping a history of the last processes samples
[startup+865.601 s]
/proc/loadavg: 4.50 3.78 2.69 6/226 8585
/proc/meminfo: memFree=22210892/32770624 swapFree=66920192/67108860
[pid=8414] ppid=8411 vsize=10840820 memory=8374028 CPUtime=2523.94 cores=0,2,4,6
/proc/8414/stat : 8414 (java) S 8411 8414 5621 0 -1 1077944320 498651 13136 0 0 251696 690 5 3 20 0 15 0 405578718 11100999680 2093507 33554432000 4194304 4196468 140722551878288 140722551860832 140225059909367 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30052352 140722551880438 140722551882949 140722551882949 140722551885775 0
/proc/8414/statm: 2710205 2093507 3622 1 0 2672269 0
[pid=8414/tid=8467] ppid=8411 vsize=10840820 memory=14012 CPUtime=244.72 cores=0,2,4,6
/proc/8414/task/8467/stat : 8467 (java) S 8411 8414 5621 0 -1 1077944384 56495 13136 0 0 24437 27 5 3 20 0 15 0 405578727 11100999680 2093507 33554432000 4194304 4196468 140722551878288 140225031743632 140225059919573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30052352 140722551880438 140722551882949 140722551882949 140722551885775 0
[pid=8414/tid=8468] ppid=8411 vsize=10840820 memory=3580 CPUtime=551.95 cores=0,2,4,6
/proc/8414/task/8468/stat : 8468 (java) R 8411 8414 5621 0 -1 4202560 38063 13136 0 0 55039 148 5 3 20 0 15 0 405578728 11100999680 2093507 33554432000 4194304 4196468 140722551878288 140225064151336 140225052537575 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30052352 140722551880438 140722551882949 140722551882949 140722551885775 0
[pid=8414/tid=8469] ppid=8411 vsize=10840820 memory=15996 CPUtime=551.23 cores=0,2,4,6
/proc/8414/task/8469/stat : 8469 (java) R 8411 8414 5621 0 -1 4202560 38483 13136 0 0 54940 175 5 3 20 0 15 0 405578728 11100999680 2093507 33554432000 4194304 4196468 140722551878288 140224632642008 140225044607006 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30052352 140722551880438 140722551882949 140722551882949 140722551885775 0
[pid=8414/tid=8470] ppid=8411 vsize=10840820 memory=988 CPUtime=554.34 cores=0,2,4,6
/proc/8414/task/8470/stat : 8470 (java) R 8411 8414 5621 0 -1 4202560 45507 13136 0 0 55281 145 5 3 20 0 15 0 405578728 11100999680 2093507 33554432000 4194304 4196468 140722551878288 140224631589720 140225044894404 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30052352 140722551880438 140722551882949 140722551882949 140722551885775 0
[pid=8414/tid=8471] ppid=8411 vsize=10840820 memory=8112282956445269571 CPUtime=551.14 cores=0,2,4,6
/proc/8414/task/8471/stat : 8471 (java) R 8411 8414 5621 0 -1 4202560 43840 13136 0 0 54939 167 5 3 20 0 15 0 405578728 11100999680 2093507 33554432000 4194304 4196468 140722551878288 140224630536608 140225044860360 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30052352 140722551880438 140722551882949 140722551882949 140722551885775 0
[pid=8414/tid=8472] ppid=8411 vsize=10840820 memory=1284 CPUtime=61.57 cores=0,2,4,6
/proc/8414/task/8472/stat : 8472 (java) S 8411 8414 5621 0 -1 1077944384 215082 13136 0 0 6139 10 5 3 20 0 15 0 405578730 11100999680 2093507 33554432000 4194304 4196468 140722551878288 140224586576864 140225059919573 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30052352 140722551880438 140722551882949 140722551882949 140722551885775 0
[pid=8414/tid=8473] ppid=8411 vsize=10840820 memory=1044 CPUtime=0.08 cores=0,2,4,6
/proc/8414/task/8473/stat : 8473 (java) S 8411 8414 5621 0 -1 1077944384 32 13136 0 0 0 0 5 3 20 0 15 0 405578730 11100999680 2093507 33554432000 4194304 4196468 140722551878288 140224508192096 140225059919573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30052352 140722551880438 140722551882949 140722551882949 140722551885775 0
[pid=8414/tid=8474] ppid=8411 vsize=10840820 memory=708 CPUtime=0.08 cores=0,2,4,6
/proc/8414/task/8474/stat : 8474 (java) S 8411 8414 5621 0 -1 1077944384 15 13136 0 0 0 0 5 3 20 0 15 0 405578730 11100999680 2093507 33554432000 4194304 4196468 140722551878288 140223904212608 140225059919573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30052352 140722551880438 140722551882949 140722551882949 140722551885775 0
[pid=8414/tid=8475] ppid=8411 vsize=10840820 memory=8112282956445269571 CPUtime=0.08 cores=0,2,4,6
/proc/8414/task/8475/stat : 8475 (java) S 8411 8414 5621 0 -1 1077944384 7 13136 0 0 0 0 5 3 20 0 15 0 405578733 11100999680 2093507 33554432000 4194304 4196468 140722551878288 140223596812528 140225059919573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30052352 140722551880438 140722551882949 140722551882949 140722551885775 0
[pid=8414/tid=8476] ppid=8411 vsize=10840820 memory=1556 CPUtime=3.85 cores=0,2,4,6
/proc/8414/task/8476/stat : 8476 (java) S 8411 8414 5621 0 -1 1077944384 24112 13136 0 0 374 3 5 3 20 0 15 0 405578733 11100999680 2093507 33554432000 4194304 4196468 140722551878288 140224585525360 140225059920514 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30052352 140722551880438 140722551882949 140722551882949 140722551885775 0
[pid=8414/tid=8477] ppid=8411 vsize=10840820 memory=2832 CPUtime=3.68 cores=0,2,4,6
/proc/8414/task/8477/stat : 8477 (java) S 8411 8414 5621 0 -1 1077944384 19837 13136 0 0 358 2 5 3 20 0 15 0 405578733 11100999680 2093507 33554432000 4194304 4196468 140722551878288 140224584472560 140225059920514 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30052352 140722551880438 140722551882949 140722551882949 140722551885775 0
[pid=8414/tid=8478] ppid=8411 vsize=10840820 memory=984 CPUtime=1.44 cores=0,2,4,6
/proc/8414/task/8478/stat : 8478 (java) S 8411 8414 5621 0 -1 1077944384 13923 13136 0 0 134 2 5 3 20 0 15 0 405578733 11100999680 2093507 33554432000 4194304 4196468 140722551878288 140224583420272 140225059920514 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30052352 140722551880438 140722551882949 140722551882949 140722551885775 0
[pid=8414/tid=8479] ppid=8411 vsize=10840820 memory=14012 CPUtime=0.08 cores=0,2,4,6
/proc/8414/task/8479/stat : 8479 (java) S 8411 8414 5621 0 -1 1077944384 3 13136 0 0 0 0 5 3 20 0 15 0 405578733 11100999680 2093507 33554432000 4194304 4196468 140722551878288 140223563254240 140225059919573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30052352 140722551880438 140722551882949 140722551882949 140722551885775 0
[pid=8414/tid=8480] ppid=8411 vsize=10840820 memory=4836 CPUtime=0.63 cores=0,2,4,6
/proc/8414/task/8480/stat : 8480 (java) S 8411 8414 5621 0 -1 1077944384 1046 13136 0 0 33 22 5 3 20 0 15 0 405578734 11100999680 2093507 33554432000 4194304 4196468 140722551878288 140224582368176 140225059920514 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30052352 140722551880438 140722551882949 140722551882949 140722551885775 0
Current children cumulated CPU time: 2523.94 s
Current children cumulated vsize: 10840820 KiB
Current children cumulated memory: 8374028 KiB
[startup+866.401 s]
/proc/loadavg: 4.50 3.78 2.69 6/226 8585
/proc/meminfo: memFree=22210892/32770624 swapFree=66920192/67108860
[pid=8414] ppid=8411 vsize=10840820 memory=8374028 CPUtime=2527.1 cores=0,2,4,6
/proc/8414/stat : 8414 (java) S 8411 8414 5621 0 -1 1077944320 498674 13136 0 0 252011 691 5 3 20 0 15 0 405578718 11100999680 2093507 33554432000 4194304 4196468 140722551878288 140722551860832 140225059909367 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30052352 140722551880438 140722551882949 140722551882949 140722551885775 0
/proc/8414/statm: 2710205 2093507 3622 1 0 2672269 0
[pid=8414/tid=8467] ppid=8411 vsize=10840820 memory=3184 CPUtime=244.72 cores=0,2,4,6
/proc/8414/task/8467/stat : 8467 (java) S 8411 8414 5621 0 -1 1077944384 56495 13136 0 0 24437 27 5 3 20 0 15 0 405578727 11100999680 2093507 33554432000 4194304 4196468 140722551878288 140225031743632 140225059919573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30052352 140722551880438 140722551882949 140722551882949 140722551885775 0
[pid=8414/tid=8468] ppid=8411 vsize=10840820 memory=8112282956445269571 CPUtime=552.71 cores=0,2,4,6
/proc/8414/task/8468/stat : 8468 (java) R 8411 8414 5621 0 -1 4202560 38063 13136 0 0 55114 149 5 3 20 0 15 0 405578728 11100999680 2093507 33554432000 4194304 4196468 140722551878288 140225064151336 140225052537575 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30052352 140722551880438 140722551882949 140722551882949 140722551885775 0
[pid=8414/tid=8469] ppid=8411 vsize=10840820 memory=1408 CPUtime=552.03 cores=0,2,4,6
/proc/8414/task/8469/stat : 8469 (java) R 8411 8414 5621 0 -1 4202560 38490 13136 0 0 55020 175 5 3 20 0 15 0 405578728 11100999680 2093507 33554432000 4194304 4196468 140722551878288 140224632642008 140225044894663 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30052352 140722551880438 140722551882949 140722551882949 140722551885775 0
[pid=8414/tid=8470] ppid=8411 vsize=10840820 memory=3232 CPUtime=555.14 cores=0,2,4,6
/proc/8414/task/8470/stat : 8470 (java) R 8411 8414 5621 0 -1 4202560 45516 13136 0 0 55361 145 5 3 20 0 15 0 405578728 11100999680 2093507 33554432000 4194304 4196468 140722551878288 140224631589720 140225044860466 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30052352 140722551880438 140722551882949 140722551882949 140722551885775 0
[pid=8414/tid=8471] ppid=8411 vsize=10840820 memory=8374020 CPUtime=551.94 cores=0,2,4,6
/proc/8414/task/8471/stat : 8471 (java) R 8411 8414 5621 0 -1 4202560 43847 13136 0 0 55019 167 5 3 20 0 15 0 405578728 11100999680 2093507 33554432000 4194304 4196468 140722551878288 140224630536608 140225044607006 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30052352 140722551880438 140722551882949 140722551882949 140722551885775 0
[pid=8414/tid=8472] ppid=8411 vsize=10840820 memory=8374028 CPUtime=61.57 cores=0,2,4,6
/proc/8414/task/8472/stat : 8472 (java) S 8411 8414 5621 0 -1 1077944384 215082 13136 0 0 6139 10 5 3 20 0 15 0 405578730 11100999680 2093507 33554432000 4194304 4196468 140722551878288 140224586576864 140225059919573 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30052352 140722551880438 140722551882949 140722551882949 140722551885775 0
[pid=8414/tid=8473] ppid=8411 vsize=10840820 memory=1120 CPUtime=0.08 cores=0,2,4,6
/proc/8414/task/8473/stat : 8473 (java) S 8411 8414 5621 0 -1 1077944384 32 13136 0 0 0 0 5 3 20 0 15 0 405578730 11100999680 2093507 33554432000 4194304 4196468 140722551878288 140224508192096 140225059919573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30052352 140722551880438 140722551882949 140722551882949 140722551885775 0
[pid=8414/tid=8474] ppid=8411 vsize=10840820 memory=776 CPUtime=0.08 cores=0,2,4,6
/proc/8414/task/8474/stat : 8474 (java) S 8411 8414 5621 0 -1 1077944384 15 13136 0 0 0 0 5 3 20 0 15 0 405578730 11100999680 2093507 33554432000 4194304 4196468 140722551878288 140223904212608 140225059919573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30052352 140722551880438 140722551882949 140722551882949 140722551885775 0
[pid=8414/tid=8475] ppid=8411 vsize=10840820 memory=1552 CPUtime=0.08 cores=0,2,4,6
/proc/8414/task/8475/stat : 8475 (java) S 8411 8414 5621 0 -1 1077944384 7 13136 0 0 0 0 5 3 20 0 15 0 405578733 11100999680 2093507 33554432000 4194304 4196468 140722551878288 140223596812528 140225059919573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30052352 140722551880438 140722551882949 140722551882949 140722551885775 0
[pid=8414/tid=8476] ppid=8411 vsize=10840820 memory=7956 CPUtime=3.85 cores=0,2,4,6
/proc/8414/task/8476/stat : 8476 (java) S 8411 8414 5621 0 -1 1077944384 24112 13136 0 0 374 3 5 3 20 0 15 0 405578733 11100999680 2093507 33554432000 4194304 4196468 140722551878288 140224585525360 140225059920514 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30052352 140722551880438 140722551882949 140722551882949 140722551885775 0
[pid=8414/tid=8477] ppid=8411 vsize=10840820 memory=3444 CPUtime=3.68 cores=0,2,4,6
/proc/8414/task/8477/stat : 8477 (java) S 8411 8414 5621 0 -1 1077944384 19837 13136 0 0 358 2 5 3 20 0 15 0 405578733 11100999680 2093507 33554432000 4194304 4196468 140722551878288 140224584472560 140225059920514 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30052352 140722551880438 140722551882949 140722551882949 140722551885775 0
[pid=8414/tid=8478] ppid=8411 vsize=10840820 memory=1556 CPUtime=1.44 cores=0,2,4,6
/proc/8414/task/8478/stat : 8478 (java) S 8411 8414 5621 0 -1 1077944384 13923 13136 0 0 134 2 5 3 20 0 15 0 405578733 11100999680 2093507 33554432000 4194304 4196468 140722551878288 140224583420272 140225059920514 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30052352 140722551880438 140722551882949 140722551882949 140722551885775 0
[pid=8414/tid=8479] ppid=8411 vsize=10840820 memory=288230574492221466 CPUtime=0.08 cores=0,2,4,6
/proc/8414/task/8479/stat : 8479 (java) S 8411 8414 5621 0 -1 1077944384 3 13136 0 0 0 0 5 3 20 0 15 0 405578733 11100999680 2093507 33554432000 4194304 4196468 140722551878288 140223563254240 140225059919573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30052352 140722551880438 140722551882949 140722551882949 140722551885775 0
[pid=8414/tid=8480] ppid=8411 vsize=10840820 memory=288230596050944315 CPUtime=0.63 cores=0,2,4,6
/proc/8414/task/8480/stat : 8480 (java) S 8411 8414 5621 0 -1 1077944384 1046 13136 0 0 33 22 5 3 20 0 15 0 405578734 11100999680 2093507 33554432000 4194304 4196468 140722551878288 140224582368176 140225059920514 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30052352 140722551880438 140722551882949 140722551882949 140722551885775 0
Current children cumulated CPU time: 2527.1 s
Current children cumulated vsize: 10840820 KiB
Current children cumulated memory: 8374028 KiB
[startup+866.601 s]
/proc/loadavg: 4.50 3.78 2.69 6/226 8585
/proc/meminfo: memFree=22210892/32770624 swapFree=66920192/67108860
[pid=8414] ppid=8411 vsize=10840820 memory=8374028 CPUtime=2527.88 cores=0,2,4,6
/proc/8414/stat : 8414 (java) S 8411 8414 5621 0 -1 1077944320 498675 13136 0 0 252089 691 5 3 20 0 15 0 405578718 11100999680 2093507 33554432000 4194304 4196468 140722551878288 140722551860832 140225059909367 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30052352 140722551880438 140722551882949 140722551882949 140722551885775 0
/proc/8414/statm: 2710205 2093507 3622 1 0 2672269 0
[pid=8414/tid=8467] ppid=8411 vsize=10840820 memory=6944652177228980320 CPUtime=244.72 cores=0,2,4,6
/proc/8414/task/8467/stat : 8467 (java) S 8411 8414 5621 0 -1 1077944384 56495 13136 0 0 24437 27 5 3 20 0 15 0 405578727 11100999680 2093507 33554432000 4194304 4196468 140722551878288 140225031743632 140225059919573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30052352 140722551880438 140722551882949 140722551882949 140722551885775 0
[pid=8414/tid=8468] ppid=8411 vsize=10840820 memory=7812726576340533336 CPUtime=552.9 cores=0,2,4,6
/proc/8414/task/8468/stat : 8468 (java) R 8411 8414 5621 0 -1 4202560 38063 13136 0 0 55133 149 5 3 20 0 15 0 405578728 11100999680 2093507 33554432000 4194304 4196468 140722551878288 140225064151336 140225052537575 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30052352 140722551880438 140722551882949 140722551882949 140722551885775 0
[pid=8414/tid=8469] ppid=8411 vsize=10840820 memory=20809 CPUtime=552.23 cores=0,2,4,6
/proc/8414/task/8469/stat : 8469 (java) R 8411 8414 5621 0 -1 4202560 38490 13136 0 0 55040 175 5 3 20 0 15 0 405578728 11100999680 2093507 33554432000 4194304 4196468 140722551878288 140224632642008 140225044607006 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30052352 140722551880438 140722551882949 140722551882949 140722551885775 0
[pid=8414/tid=8470] ppid=8411 vsize=10840820 memory=288283389822501717 CPUtime=555.34 cores=0,2,4,6
/proc/8414/task/8470/stat : 8470 (java) R 8411 8414 5621 0 -1 4202560 45516 13136 0 0 55381 145 5 3 20 0 15 0 405578728 11100999680 2093507 33554432000 4194304 4196468 140722551878288 140224631589720 140225044862869 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30052352 140722551880438 140722551882949 140722551882949 140722551885775 0
[pid=8414/tid=8471] ppid=8411 vsize=10840820 memory=279517142712560 CPUtime=552.14 cores=0,2,4,6
/proc/8414/task/8471/stat : 8471 (java) R 8411 8414 5621 0 -1 4202560 43848 13136 0 0 55039 167 5 3 20 0 15 0 405578728 11100999680 2093507 33554432000 4194304 4196468 140722551878288 140224630536608 140225044606980 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30052352 140722551880438 140722551882949 140722551882949 140722551885775 0
[pid=8414/tid=8472] ppid=8411 vsize=10840820 memory=8374028 CPUtime=61.57 cores=0,2,4,6
/proc/8414/task/8472/stat : 8472 (java) S 8411 8414 5621 0 -1 1077944384 215082 13136 0 0 6139 10 5 3 20 0 15 0 405578730 11100999680 2093507 33554432000 4194304 4196468 140722551878288 140224586576864 140225059919573 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30052352 140722551880438 140722551882949 140722551882949 140722551885775 0
[pid=8414/tid=8473] ppid=8411 vsize=10840820 memory=1284 CPUtime=0.08 cores=0,2,4,6
/proc/8414/task/8473/stat : 8473 (java) S 8411 8414 5621 0 -1 1077944384 32 13136 0 0 0 0 5 3 20 0 15 0 405578730 11100999680 2093507 33554432000 4194304 4196468 140722551878288 140224508192096 140225059919573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30052352 140722551880438 140722551882949 140722551882949 140722551885775 0
[pid=8414/tid=8474] ppid=8411 vsize=10840820 memory=1044 CPUtime=0.08 cores=0,2,4,6
/proc/8414/task/8474/stat : 8474 (java) S 8411 8414 5621 0 -1 1077944384 15 13136 0 0 0 0 5 3 20 0 15 0 405578730 11100999680 2093507 33554432000 4194304 4196468 140722551878288 140223904212608 140225059919573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30052352 140722551880438 140722551882949 140722551882949 140722551885775 0
[pid=8414/tid=8475] ppid=8411 vsize=10840820 memory=708 CPUtime=0.08 cores=0,2,4,6
/proc/8414/task/8475/stat : 8475 (java) S 8411 8414 5621 0 -1 1077944384 7 13136 0 0 0 0 5 3 20 0 15 0 405578733 11100999680 2093507 33554432000 4194304 4196468 140722551878288 140223596812528 140225059919573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30052352 140722551880438 140722551882949 140722551882949 140722551885775 0
[pid=8414/tid=8476] ppid=8411 vsize=10840820 memory=9364 CPUtime=3.85 cores=0,2,4,6
/proc/8414/task/8476/stat : 8476 (java) S 8411 8414 5621 0 -1 1077944384 24112 13136 0 0 374 3 5 3 20 0 15 0 405578733 11100999680 2093507 33554432000 4194304 4196468 140722551878288 140224585525360 140225059920514 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30052352 140722551880438 140722551882949 140722551882949 140722551885775 0
[pid=8414/tid=8477] ppid=8411 vsize=10840820 memory=1120 CPUtime=3.68 cores=0,2,4,6
/proc/8414/task/8477/stat : 8477 (java) S 8411 8414 5621 0 -1 1077944384 19837 13136 0 0 358 2 5 3 20 0 15 0 405578733 11100999680 2093507 33554432000 4194304 4196468 140722551878288 140224584472560 140225059920514 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30052352 140722551880438 140722551882949 140722551882949 140722551885775 0
[pid=8414/tid=8478] ppid=8411 vsize=10840820 memory=776 CPUtime=1.44 cores=0,2,4,6
/proc/8414/task/8478/stat : 8478 (java) S 8411 8414 5621 0 -1 1077944384 13923 13136 0 0 134 2 5 3 20 0 15 0 405578733 11100999680 2093507 33554432000 4194304 4196468 140722551878288 140224583420272 140225059920514 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30052352 140722551880438 140722551882949 140722551882949 140722551885775 0
[pid=8414/tid=8479] ppid=8411 vsize=10840820 memory=1552 CPUtime=0.08 cores=0,2,4,6
/proc/8414/task/8479/stat : 8479 (java) S 8411 8414 5621 0 -1 1077944384 3 13136 0 0 0 0 5 3 20 0 15 0 405578733 11100999680 2093507 33554432000 4194304 4196468 140722551878288 140223563254240 140225059919573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30052352 140722551880438 140722551882949 140722551882949 140722551885775 0
[pid=8414/tid=8480] ppid=8411 vsize=10840820 memory=7956 CPUtime=0.63 cores=0,2,4,6
/proc/8414/task/8480/stat : 8480 (java) S 8411 8414 5621 0 -1 1077944384 1046 13136 0 0 33 22 5 3 20 0 15 0 405578734 11100999680 2093507 33554432000 4194304 4196468 140722551878288 140224582368176 140225059920514 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30052352 140722551880438 140722551882949 140722551882949 140722551885775 0
Current children cumulated CPU time: 2527.88 s
Current children cumulated vsize: 10840820 KiB
Current children cumulated memory: 8374028 KiB
[startup+866.701 s]
/proc/loadavg: 4.50 3.78 2.69 6/226 8585
/proc/meminfo: memFree=22210892/32770624 swapFree=66920192/67108860
[pid=8414] ppid=8411 vsize=10840820 memory=8374028 CPUtime=2528.28 cores=0,2,4,6
/proc/8414/stat : 8414 (java) S 8411 8414 5621 0 -1 1077944320 498680 13136 0 0 252129 691 5 3 20 0 15 0 405578718 11100999680 2093507 33554432000 4194304 4196468 140722551878288 140722551860832 140225059909367 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30052352 140722551880438 140722551882949 140722551882949 140722551885775 0
/proc/8414/statm: 2710205 2093507 3622 1 0 2672269 0
[pid=8414/tid=8467] ppid=8411 vsize=10840820 memory=8374028 CPUtime=244.72 cores=0,2,4,6
/proc/8414/task/8467/stat : 8467 (java) S 8411 8414 5621 0 -1 1077944384 56495 13136 0 0 24437 27 5 3 20 0 15 0 405578727 11100999680 2093507 33554432000 4194304 4196468 140722551878288 140225031743632 140225059919573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30052352 140722551880438 140722551882949 140722551882949 140722551885775 0
[pid=8414/tid=8468] ppid=8411 vsize=10840820 memory=8374028 CPUtime=552.99 cores=0,2,4,6
/proc/8414/task/8468/stat : 8468 (java) R 8411 8414 5621 0 -1 4202560 38063 13136 0 0 55142 149 5 3 20 0 15 0 405578728 11100999680 2093507 33554432000 4194304 4196468 140722551878288 140225064151336 140225052537575 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30052352 140722551880438 140722551882949 140722551882949 140722551885775 0
[pid=8414/tid=8469] ppid=8411 vsize=10840820 memory=8374028 CPUtime=552.33 cores=0,2,4,6
/proc/8414/task/8469/stat : 8469 (java) R 8411 8414 5621 0 -1 4202560 38493 13136 0 0 55050 175 5 3 20 0 15 0 405578728 11100999680 2093507 33554432000 4194304 4196468 140722551878288 140224632642008 140225044607201 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30052352 140722551880438 140722551882949 140722551882949 140722551885775 0
[pid=8414/tid=8470] ppid=8411 vsize=10840820 memory=8374016 CPUtime=555.44 cores=0,2,4,6
/proc/8414/task/8470/stat : 8470 (java) R 8411 8414 5621 0 -1 4202560 45517 13136 0 0 55391 145 5 3 20 0 15 0 405578728 11100999680 2093507 33554432000 4194304 4196468 140722551878288 140224631589720 140225044860587 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30052352 140722551880438 140722551882949 140722551882949 140722551885775 0
[pid=8414/tid=8471] ppid=8411 vsize=10840820 memory=8374024 CPUtime=552.24 cores=0,2,4,6
/proc/8414/task/8471/stat : 8471 (java) R 8411 8414 5621 0 -1 4202560 43849 13136 0 0 55049 167 5 3 20 0 15 0 405578728 11100999680 2093507 33554432000 4194304 4196468 140722551878288 140224630536608 140225044607006 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30052352 140722551880438 140722551882949 140722551882949 140722551885775 0
[pid=8414/tid=8472] ppid=8411 vsize=10840820 memory=8374024 CPUtime=61.57 cores=0,2,4,6
/proc/8414/task/8472/stat : 8472 (java) S 8411 8414 5621 0 -1 1077944384 215082 13136 0 0 6139 10 5 3 20 0 15 0 405578730 11100999680 2093507 33554432000 4194304 4196468 140722551878288 140224586576864 140225059919573 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30052352 140722551880438 140722551882949 140722551882949 140722551885775 0
[pid=8414/tid=8473] ppid=8411 vsize=10840820 memory=8374020 CPUtime=0.08 cores=0,2,4,6
/proc/8414/task/8473/stat : 8473 (java) S 8411 8414 5621 0 -1 1077944384 32 13136 0 0 0 0 5 3 20 0 15 0 405578730 11100999680 2093507 33554432000 4194304 4196468 140722551878288 140224508192096 140225059919573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30052352 140722551880438 140722551882949 140722551882949 140722551885775 0
[pid=8414/tid=8474] ppid=8411 vsize=10840820 memory=8374020 CPUtime=0.08 cores=0,2,4,6
/proc/8414/task/8474/stat : 8474 (java) S 8411 8414 5621 0 -1 1077944384 15 13136 0 0 0 0 5 3 20 0 15 0 405578730 11100999680 2093507 33554432000 4194304 4196468 140722551878288 140223904212608 140225059919573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30052352 140722551880438 140722551882949 140722551882949 140722551885775 0
[pid=8414/tid=8475] ppid=8411 vsize=10840820 memory=8112282956445269571 CPUtime=0.08 cores=0,2,4,6
/proc/8414/task/8475/stat : 8475 (java) S 8411 8414 5621 0 -1 1077944384 7 13136 0 0 0 0 5 3 20 0 15 0 405578733 11100999680 2093507 33554432000 4194304 4196468 140722551878288 140223596812528 140225059919573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30052352 140722551880438 140722551882949 140722551882949 140722551885775 0
[pid=8414/tid=8476] ppid=8411 vsize=10840820 memory=2120 CPUtime=3.85 cores=0,2,4,6
/proc/8414/task/8476/stat : 8476 (java) S 8411 8414 5621 0 -1 1077944384 24112 13136 0 0 374 3 5 3 20 0 15 0 405578733 11100999680 2093507 33554432000 4194304 4196468 140722551878288 140224585525360 140225059920514 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30052352 140722551880438 140722551882949 140722551882949 140722551885775 0
[pid=8414/tid=8477] ppid=8411 vsize=10840820 memory=3580 CPUtime=3.68 cores=0,2,4,6
/proc/8414/task/8477/stat : 8477 (java) S 8411 8414 5621 0 -1 1077944384 19837 13136 0 0 358 2 5 3 20 0 15 0 405578733 11100999680 2093507 33554432000 4194304 4196468 140722551878288 140224584472560 140225059920514 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30052352 140722551880438 140722551882949 140722551882949 140722551885775 0
[pid=8414/tid=8478] ppid=8411 vsize=10840820 memory=15996 CPUtime=1.44 cores=0,2,4,6
/proc/8414/task/8478/stat : 8478 (java) S 8411 8414 5621 0 -1 1077944384 13923 13136 0 0 134 2 5 3 20 0 15 0 405578733 11100999680 2093507 33554432000 4194304 4196468 140722551878288 140224583420272 140225059920514 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30052352 140722551880438 140722551882949 140722551882949 140722551885775 0
[pid=8414/tid=8479] ppid=8411 vsize=10840820 memory=8374024 CPUtime=0.08 cores=0,2,4,6
/proc/8414/task/8479/stat : 8479 (java) S 8411 8414 5621 0 -1 1077944384 3 13136 0 0 0 0 5 3 20 0 15 0 405578733 11100999680 2093507 33554432000 4194304 4196468 140722551878288 140223563254240 140225059919573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30052352 140722551880438 140722551882949 140722551882949 140722551885775 0
[pid=8414/tid=8480] ppid=8411 vsize=10840820 memory=8374020 CPUtime=0.63 cores=0,2,4,6
/proc/8414/task/8480/stat : 8480 (java) S 8411 8414 5621 0 -1 1077944384 1046 13136 0 0 33 22 5 3 20 0 15 0 405578734 11100999680 2093507 33554432000 4194304 4196468 140722551878288 140224582368176 140225059920514 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30052352 140722551880438 140722551882949 140722551882949 140722551885775 0
Current children cumulated CPU time: 2528.28 s
Current children cumulated vsize: 10840820 KiB
Current children cumulated memory: 8374028 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 866.747
CPU time (s): 2528.35
CPU user time (s): 2521.37
CPU system time (s): 6.98851
CPU usage (%): 291.706
Max. virtual memory (cumulated for all children) (KiB): 10840820
Max. memory (cumulated for all children) (KiB): 8374028
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2521.37
system time used= 6.98851
maximum resident set size= 8374208
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 511819
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1216
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 45808
involuntary context switches= 25474
# summary of solver processes directly reported to runsolver:
# pid: 8414
# total CPU time (s): 2528.35
# total CPU user time (s): 2521.37
# total CPU system time (s): 6.98851
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.8486 second user time and 8.88094 second system time
The end