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 (6661 MiB free)
memory of node 1: 16384 MiB (4100 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304587-1534118689/watcher-4304587-1534118689 -o /tmp/evaluation-result-4304587-1534118689/solver-4304587-1534118689 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1534097917-15760 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=1224897416 HOME/instance-4304587-1534118689.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
solver pid=19617, runsolver pid=19614
Current StackSize limit: 8192 KiB
[startup+0.100056 s]*
/proc/loadavg: 1.77 1.76 1.77 6/207 19674
/proc/meminfo: memFree=11015172/32770624 swapFree=67108504/67108860
[pid=19617] ppid=19614 vsize=10005480 memory=16808 CPUtime=0.08 cores=0,2,4,6
/proc/19617/stat : 19617 (java) S 19614 19617 15729 0 -1 1077944320 4320 12967 0 0 1 0 5 2 20 0 6 0 229432117 10245611520 4136 33554432000 4194304 4196468 140735196381456 140735196364000 139656691429111 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35536896 140735196383852 140735196386652 140735196386652 140735196389327 0
/proc/19617/statm: 2501370 4202 1934 1 0 2489808 0
[pid=19617/tid=19670] ppid=19614 vsize=10005480 memory=4279135704047060365 CPUtime=0.08 cores=0,2,4,6
/proc/19617/task/19670/stat : 19670 (java) R 19614 19617 15729 0 -1 4202560 2156 12967 0 0 1 0 5 2 20 0 6 0 229432126 10245611520 4202 33554432000 4194304 4196468 140735196381456 139656663265872 139656675509628 0 4 0 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35536896 140735196383852 140735196386652 140735196386652 140735196389327 0
[pid=19617/tid=19671] ppid=19614 vsize=10005480 memory=-7522837583129502606 CPUtime=0.07 cores=0,2,4,6
/proc/19617/task/19671/stat : 19671 (java) S 19614 19617 15729 0 -1 1077944384 1 12967 0 0 0 0 5 2 20 0 6 0 229432126 10245611520 4202 33554432000 4194304 4196468 140735196381456 139656695671824 139656691439317 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35536896 140735196383852 140735196386652 140735196386652 140735196389327 0
[pid=19617/tid=19672] ppid=19614 vsize=10005480 memory=140458259330688 CPUtime=0.07 cores=0,2,4,6
/proc/19617/task/19672/stat : 19672 (java) S 19614 19617 15729 0 -1 1077944384 1 12967 0 0 0 0 5 2 20 0 6 0 229432126 10245611520 4202 33554432000 4194304 4196468 140735196381456 139656231181456 139656691439317 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35536896 140735196383852 140735196386652 140735196386652 140735196389327 0
[pid=19617/tid=19673] ppid=19614 vsize=10005480 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19617/task/19673/stat : 19673 (java) S 19614 19617 15729 0 -1 1077944384 1 12967 0 0 0 0 5 2 20 0 6 0 229432126 10245611520 4202 33554432000 4194304 4196468 140735196381456 139656230128400 139656691439317 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35536896 140735196383852 140735196386652 140735196386652 140735196389327 0
[pid=19617/tid=19674] ppid=19614 vsize=10005480 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/19617/task/19674/stat : 19674 (java) S 19614 19617 15729 0 -1 1077944384 2 12967 0 0 0 0 5 2 20 0 6 0 229432126 10245611520 4202 33554432000 4194304 4196468 140735196381456 139656229075856 139656691439317 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35536896 140735196383852 140735196386652 140735196386652 140735196389327 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 16808 KiB
[startup+0.210735 s]*
/proc/loadavg: 1.77 1.76 1.77 3/216 19683
/proc/meminfo: memFree=10991428/32770624 swapFree=67108504/67108860
[pid=19617] ppid=19614 vsize=10982744 memory=42492 CPUtime=0.25 cores=0,2,4,6
/proc/19617/stat : 19617 (java) S 19614 19617 15729 0 -1 1077944320 7297 12967 0 0 17 1 5 2 20 0 15 0 229432117 11246329856 10623 33554432000 4194304 4196468 140735196381456 140735196364000 139656691429111 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35536896 140735196383852 140735196386652 140735196386652 140735196389327 0
/proc/19617/statm: 2745686 10623 2957 1 0 2708109 0
[pid=19617/tid=19670] ppid=19614 vsize=10982744 memory=-6517102902069810590 CPUtime=0.18 cores=0,2,4,6
/proc/19617/task/19670/stat : 19670 (java) R 19614 19617 15729 0 -1 4202560 3864 12967 0 0 10 1 5 2 20 0 15 0 229432126 11246329856 10623 33554432000 4194304 4196468 140735196381456 139656663251016 139656672992667 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35536896 140735196383852 140735196386652 140735196386652 140735196389327 0
[pid=19617/tid=19671] ppid=19614 vsize=10982744 memory=-9181546050914066336 CPUtime=0.07 cores=0,2,4,6
/proc/19617/task/19671/stat : 19671 (java) S 19614 19617 15729 0 -1 1077944384 1 12967 0 0 0 0 5 2 20 0 15 0 229432126 11246329856 10623 33554432000 4194304 4196468 140735196381456 139656695671824 139656691439317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35536896 140735196383852 140735196386652 140735196386652 140735196389327 0
[pid=19617/tid=19672] ppid=19614 vsize=10982744 memory=140458259330688 CPUtime=0.07 cores=0,2,4,6
/proc/19617/task/19672/stat : 19672 (java) S 19614 19617 15729 0 -1 1077944384 1 12967 0 0 0 0 5 2 20 0 15 0 229432126 11246329856 10623 33554432000 4194304 4196468 140735196381456 139656231181456 139656691439317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35536896 140735196383852 140735196386652 140735196386652 140735196389327 0
[pid=19617/tid=19673] ppid=19614 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19617/task/19673/stat : 19673 (java) S 19614 19617 15729 0 -1 1077944384 1 12967 0 0 0 0 5 2 20 0 15 0 229432126 11246329856 10623 33554432000 4194304 4196468 140735196381456 139656230128400 139656691439317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35536896 140735196383852 140735196386652 140735196386652 140735196389327 0
[pid=19617/tid=19674] ppid=19614 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/19617/task/19674/stat : 19674 (java) S 19614 19617 15729 0 -1 1077944384 2 12967 0 0 0 0 5 2 20 0 15 0 229432126 11246329856 10623 33554432000 4194304 4196468 140735196381456 139656229075856 139656691439317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35536896 140735196383852 140735196386652 140735196386652 140735196389327 0
[pid=19617/tid=19675] ppid=19614 vsize=10982744 memory=140458259330688 CPUtime=0.07 cores=0,2,4,6
/proc/19617/task/19675/stat : 19675 (java) S 19614 19617 15729 0 -1 1077944384 2 12967 0 0 0 0 5 2 20 0 15 0 229432128 11246329856 10623 33554432000 4194304 4196468 140735196381456 139656184498416 139656691440258 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35536896 140735196383852 140735196386652 140735196386652 140735196389327 0
[pid=19617/tid=19676] ppid=19614 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/19617/task/19676/stat : 19676 (java) S 19614 19617 15729 0 -1 1077944384 13 12967 0 0 0 0 5 2 20 0 15 0 229432128 11246329856 10623 33554432000 4194304 4196468 140735196381456 139655438656672 139656691439317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35536896 140735196383852 140735196386652 140735196386652 140735196389327 0
[pid=19617/tid=19677] ppid=19614 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19617/task/19677/stat : 19677 (java) S 19614 19617 15729 0 -1 1077944384 1 12967 0 0 0 0 5 2 20 0 15 0 229432129 11246329856 10623 33554432000 4194304 4196468 140735196381456 139655290807024 139656691439317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35536896 140735196383852 140735196386652 140735196386652 140735196389327 0
[pid=19617/tid=19678] ppid=19614 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19617/task/19678/stat : 19678 (java) S 19614 19617 15729 0 -1 1077944384 3 12967 0 0 0 0 5 2 20 0 15 0 229432131 11246329856 10623 33554432000 4194304 4196468 140735196381456 139654983407568 139656691447707 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35536896 140735196383852 140735196386652 140735196386652 140735196389327 0
[pid=19617/tid=19679] ppid=19614 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19617/task/19679/stat : 19679 (java) S 19614 19617 15729 0 -1 1077944384 423 12967 0 0 1 0 5 2 20 0 15 0 229432131 11246329856 10623 33554432000 4194304 4196468 140735196381456 139656183446256 139656691440258 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35536896 140735196383852 140735196386652 140735196386652 140735196389327 0
[pid=19617/tid=19680] ppid=19614 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/19617/task/19680/stat : 19680 (java) S 19614 19617 15729 0 -1 1077944384 189 12967 0 0 1 0 5 2 20 0 15 0 229432131 11246329856 10623 33554432000 4194304 4196468 140735196381456 139656182393712 139656691440258 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35536896 140735196383852 140735196386652 140735196386652 140735196389327 0
[pid=19617/tid=19681] ppid=19614 vsize=10982744 memory=140458259330688 CPUtime=0.1 cores=0,2,4,6
/proc/19617/task/19681/stat : 19681 (java) S 19614 19617 15729 0 -1 1077944384 604 12967 0 0 3 0 5 2 20 0 15 0 229432131 11246329856 10623 33554432000 4194304 4196468 140735196381456 139656181340656 139656691440258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35536896 140735196383852 140735196386652 140735196386652 140735196389327 0
[pid=19617/tid=19682] ppid=19614 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/19617/task/19682/stat : 19682 (java) S 19614 19617 15729 0 -1 1077944384 3 12967 0 0 0 0 5 2 20 0 15 0 229432132 11246329856 10623 33554432000 4194304 4196468 140735196381456 139654552611680 139656691439317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35536896 140735196383852 140735196386652 140735196386652 140735196389327 0
[pid=19617/tid=19683] ppid=19614 vsize=10982744 memory=140458259330688 CPUtime=0.07 cores=0,2,4,6
/proc/19617/task/19683/stat : 19683 (java) S 19614 19617 15729 0 -1 1077944384 1 12967 0 0 0 0 5 2 20 0 15 0 229432132 11246329856 10623 33554432000 4194304 4196468 140735196381456 139656180288048 139656691440258 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35536896 140735196383852 140735196386652 140735196386652 140735196389327 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 42492 KiB
[startup+0.310103 s]*
/proc/loadavg: 1.77 1.76 1.77 3/216 19683
/proc/meminfo: memFree=10979344/32770624 swapFree=67108504/67108860
[pid=19617] ppid=19614 vsize=10983192 memory=54092 CPUtime=0.37 cores=0,2,4,6
/proc/19617/stat : 19617 (java) S 19614 19617 15729 0 -1 1077944320 10069 12967 0 0 28 2 5 2 20 0 15 0 229432117 11246788608 13523 33554432000 4194304 4196468 140735196381456 140735196364000 139656691429111 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35536896 140735196383852 140735196386652 140735196386652 140735196389327 0
/proc/19617/statm: 2745798 13523 3076 1 0 2708109 0
[pid=19617/tid=19670] ppid=19614 vsize=10983192 memory=6791534058613427641 CPUtime=0.27 cores=0,2,4,6
/proc/19617/task/19670/stat : 19670 (java) R 19614 19617 15729 0 -1 4202560 6624 12967 0 0 19 1 5 2 20 0 15 0 229432126 11246788608 13523 33554432000 4194304 4196468 140735196381456 139656663241120 139656672992671 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35536896 140735196383852 140735196386652 140735196386652 140735196389327 0
[pid=19617/tid=19671] ppid=19614 vsize=10983192 memory=7084813469699035216 CPUtime=0.07 cores=0,2,4,6
/proc/19617/task/19671/stat : 19671 (java) S 19614 19617 15729 0 -1 1077944384 1 12967 0 0 0 0 5 2 20 0 15 0 229432126 11246788608 13523 33554432000 4194304 4196468 140735196381456 139656695671824 139656691439317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35536896 140735196383852 140735196386652 140735196386652 140735196389327 0
[pid=19617/tid=19672] ppid=19614 vsize=10983192 memory=2080 CPUtime=0.07 cores=0,2,4,6
/proc/19617/task/19672/stat : 19672 (java) S 19614 19617 15729 0 -1 1077944384 1 12967 0 0 0 0 5 2 20 0 15 0 229432126 11246788608 13523 33554432000 4194304 4196468 140735196381456 139656231181456 139656691439317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35536896 140735196383852 140735196386652 140735196386652 140735196389327 0
[pid=19617/tid=19673] ppid=19614 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19617/task/19673/stat : 19673 (java) S 19614 19617 15729 0 -1 1077944384 1 12967 0 0 0 0 5 2 20 0 15 0 229432126 11246788608 13523 33554432000 4194304 4196468 140735196381456 139656230128400 139656691439317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35536896 140735196383852 140735196386652 140735196386652 140735196389327 0
[pid=19617/tid=19674] ppid=19614 vsize=10983192 memory=4872558044660077418 CPUtime=0.07 cores=0,2,4,6
/proc/19617/task/19674/stat : 19674 (java) S 19614 19617 15729 0 -1 1077944384 2 12967 0 0 0 0 5 2 20 0 15 0 229432126 11246788608 13523 33554432000 4194304 4196468 140735196381456 139656229075856 139656691439317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35536896 140735196383852 140735196386652 140735196386652 140735196389327 0
[pid=19617/tid=19675] ppid=19614 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19617/task/19675/stat : 19675 (java) S 19614 19617 15729 0 -1 1077944384 2 12967 0 0 0 0 5 2 20 0 15 0 229432128 11246788608 13523 33554432000 4194304 4196468 140735196381456 139656184498416 139656691440258 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35536896 140735196383852 140735196386652 140735196386652 140735196389327 0
[pid=19617/tid=19676] ppid=19614 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19617/task/19676/stat : 19676 (java) S 19614 19617 15729 0 -1 1077944384 13 12967 0 0 0 0 5 2 20 0 15 0 229432128 11246788608 13523 33554432000 4194304 4196468 140735196381456 139655438656672 139656691439317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35536896 140735196383852 140735196386652 140735196386652 140735196389327 0
[pid=19617/tid=19677] ppid=19614 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19617/task/19677/stat : 19677 (java) S 19614 19617 15729 0 -1 1077944384 1 12967 0 0 0 0 5 2 20 0 15 0 229432129 11246788608 13523 33554432000 4194304 4196468 140735196381456 139655290807024 139656691439317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35536896 140735196383852 140735196386652 140735196386652 140735196389327 0
[pid=19617/tid=19678] ppid=19614 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19617/task/19678/stat : 19678 (java) S 19614 19617 15729 0 -1 1077944384 3 12967 0 0 0 0 5 2 20 0 15 0 229432131 11246788608 13523 33554432000 4194304 4196468 140735196381456 139654983407568 139656691447707 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35536896 140735196383852 140735196386652 140735196386652 140735196389327 0
[pid=19617/tid=19679] ppid=19614 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19617/task/19679/stat : 19679 (java) S 19614 19617 15729 0 -1 1077944384 425 12967 0 0 1 0 5 2 20 0 15 0 229432131 11246788608 13523 33554432000 4194304 4196468 140735196381456 139656183446256 139656691440258 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35536896 140735196383852 140735196386652 140735196386652 140735196389327 0
[pid=19617/tid=19680] ppid=19614 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19617/task/19680/stat : 19680 (java) S 19614 19617 15729 0 -1 1077944384 189 12967 0 0 1 0 5 2 20 0 15 0 229432131 11246788608 13523 33554432000 4194304 4196468 140735196381456 139656182393712 139656691440258 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35536896 140735196383852 140735196386652 140735196386652 140735196389327 0
[pid=19617/tid=19681] ppid=19614 vsize=10983192 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/19617/task/19681/stat : 19681 (java) S 19614 19617 15729 0 -1 1077944384 614 12967 0 0 5 0 5 2 20 0 15 0 229432131 11246788608 13523 33554432000 4194304 4196468 140735196381456 139656181340656 139656691440258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35536896 140735196383852 140735196386652 140735196386652 140735196389327 0
[pid=19617/tid=19682] ppid=19614 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19617/task/19682/stat : 19682 (java) S 19614 19617 15729 0 -1 1077944384 3 12967 0 0 0 0 5 2 20 0 15 0 229432132 11246788608 13523 33554432000 4194304 4196468 140735196381456 139654552611680 139656691439317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35536896 140735196383852 140735196386652 140735196386652 140735196389327 0
[pid=19617/tid=19683] ppid=19614 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19617/task/19683/stat : 19683 (java) S 19614 19617 15729 0 -1 1077944384 1 12967 0 0 0 0 5 2 20 0 15 0 229432132 11246788608 13523 33554432000 4194304 4196468 140735196381456 139656180288048 139656691440258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35536896 140735196383852 140735196386652 140735196386652 140735196389327 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 54092 KiB
[startup+0.700819 s]
/proc/loadavg: 1.77 1.76 1.77 3/216 19683
/proc/meminfo: memFree=10968428/32770624 swapFree=67108504/67108860
[pid=19617] ppid=19614 vsize=10983192 memory=88364 CPUtime=0.98 cores=0,2,4,6
/proc/19617/stat : 19617 (java) S 19614 19617 15729 0 -1 1077944320 16702 12967 0 0 88 3 5 2 20 0 15 0 229432117 11246788608 22091 33554432000 4194304 4196468 140735196381456 140735196364000 139656691429111 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35536896 140735196383852 140735196386652 140735196386652 140735196389327 0
/proc/19617/statm: 2745798 22091 3238 1 0 2708109 0
[pid=19617/tid=19670] ppid=19614 vsize=10983192 memory=0 CPUtime=0.65 cores=0,2,4,6
/proc/19617/task/19670/stat : 19670 (java) R 19614 19617 15729 0 -1 4202560 12210 12967 0 0 56 2 5 2 20 0 15 0 229432126 11246788608 22091 33554432000 4194304 4196468 140735196381456 139656663252112 139656676594664 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35536896 140735196383852 140735196386652 140735196386652 140735196389327 0
[pid=19617/tid=19671] ppid=19614 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19617/task/19671/stat : 19671 (java) S 19614 19617 15729 0 -1 1077944384 1 12967 0 0 0 0 5 2 20 0 15 0 229432126 11246788608 22091 33554432000 4194304 4196468 140735196381456 139656695671824 139656691439317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35536896 140735196383852 140735196386652 140735196386652 140735196389327 0
[pid=19617/tid=19672] ppid=19614 vsize=10983192 memory=3816 CPUtime=0.07 cores=0,2,4,6
/proc/19617/task/19672/stat : 19672 (java) S 19614 19617 15729 0 -1 1077944384 1 12967 0 0 0 0 5 2 20 0 15 0 229432126 11246788608 22091 33554432000 4194304 4196468 140735196381456 139656231181456 139656691439317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35536896 140735196383852 140735196386652 140735196386652 140735196389327 0
[pid=19617/tid=19673] ppid=19614 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19617/task/19673/stat : 19673 (java) S 19614 19617 15729 0 -1 1077944384 1 12967 0 0 0 0 5 2 20 0 15 0 229432126 11246788608 22091 33554432000 4194304 4196468 140735196381456 139656230128400 139656691439317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35536896 140735196383852 140735196386652 140735196386652 140735196389327 0
[pid=19617/tid=19674] ppid=19614 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19617/task/19674/stat : 19674 (java) S 19614 19617 15729 0 -1 1077944384 2 12967 0 0 0 0 5 2 20 0 15 0 229432126 11246788608 22091 33554432000 4194304 4196468 140735196381456 139656229075856 139656691439317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35536896 140735196383852 140735196386652 140735196386652 140735196389327 0
[pid=19617/tid=19675] ppid=19614 vsize=10983192 memory=4420 CPUtime=0.07 cores=0,2,4,6
/proc/19617/task/19675/stat : 19675 (java) S 19614 19617 15729 0 -1 1077944384 5 12967 0 0 0 0 5 2 20 0 15 0 229432128 11246788608 22091 33554432000 4194304 4196468 140735196381456 139656184498416 139656691440258 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35536896 140735196383852 140735196386652 140735196386652 140735196389327 0
[pid=19617/tid=19676] ppid=19614 vsize=10983192 memory=6628 CPUtime=0.07 cores=0,2,4,6
/proc/19617/task/19676/stat : 19676 (java) S 19614 19617 15729 0 -1 1077944384 13 12967 0 0 0 0 5 2 20 0 15 0 229432128 11246788608 22091 33554432000 4194304 4196468 140735196381456 139655438656672 139656691439317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35536896 140735196383852 140735196386652 140735196386652 140735196389327 0
[pid=19617/tid=19677] ppid=19614 vsize=10983192 memory=8836 CPUtime=0.07 cores=0,2,4,6
/proc/19617/task/19677/stat : 19677 (java) S 19614 19617 15729 0 -1 1077944384 1 12967 0 0 0 0 5 2 20 0 15 0 229432129 11246788608 22091 33554432000 4194304 4196468 140735196381456 139655290807024 139656691439317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35536896 140735196383852 140735196386652 140735196386652 140735196389327 0
[pid=19617/tid=19678] ppid=19614 vsize=10983192 memory=11044 CPUtime=0.07 cores=0,2,4,6
/proc/19617/task/19678/stat : 19678 (java) S 19614 19617 15729 0 -1 1077944384 3 12967 0 0 0 0 5 2 20 0 15 0 229432131 11246788608 22091 33554432000 4194304 4196468 140735196381456 139654983407568 139656691447707 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35536896 140735196383852 140735196386652 140735196386652 140735196389327 0
[pid=19617/tid=19679] ppid=19614 vsize=10983192 memory=13252 CPUtime=0.14 cores=0,2,4,6
/proc/19617/task/19679/stat : 19679 (java) S 19614 19617 15729 0 -1 1077944384 842 12967 0 0 7 0 5 2 20 0 15 0 229432131 11246788608 22091 33554432000 4194304 4196468 140735196381456 139656183446256 139656691440258 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35536896 140735196383852 140735196386652 140735196386652 140735196389327 0
[pid=19617/tid=19680] ppid=19614 vsize=10983192 memory=15460 CPUtime=0.16 cores=0,2,4,6
/proc/19617/task/19680/stat : 19680 (java) S 19614 19617 15729 0 -1 1077944384 759 12967 0 0 9 0 5 2 20 0 15 0 229432131 11246788608 22091 33554432000 4194304 4196468 140735196381456 139656182393712 139656691440258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35536896 140735196383852 140735196386652 140735196386652 140735196389327 0
[pid=19617/tid=19681] ppid=19614 vsize=10983192 memory=17668 CPUtime=0.2 cores=0,2,4,6
/proc/19617/task/19681/stat : 19681 (java) S 19614 19617 15729 0 -1 1077944384 671 12967 0 0 13 0 5 2 20 0 15 0 229432131 11246788608 22091 33554432000 4194304 4196468 140735196381456 139656181340656 139656691440258 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35536896 140735196383852 140735196386652 140735196386652 140735196389327 0
[pid=19617/tid=19682] ppid=19614 vsize=10983192 memory=19876 CPUtime=0.07 cores=0,2,4,6
/proc/19617/task/19682/stat : 19682 (java) S 19614 19617 15729 0 -1 1077944384 3 12967 0 0 0 0 5 2 20 0 15 0 229432132 11246788608 22091 33554432000 4194304 4196468 140735196381456 139654552611680 139656691439317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35536896 140735196383852 140735196386652 140735196386652 140735196389327 0
[pid=19617/tid=19683] ppid=19614 vsize=10983192 memory=22084 CPUtime=0.07 cores=0,2,4,6
/proc/19617/task/19683/stat : 19683 (java) S 19614 19617 15729 0 -1 1077944384 1 12967 0 0 0 0 5 2 20 0 15 0 229432132 11246788608 22091 33554432000 4194304 4196468 140735196381456 139656180288048 139656691440258 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35536896 140735196383852 140735196386652 140735196386652 140735196389327 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88364 KiB
[startup+1.50074 s]
/proc/loadavg: 1.77 1.76 1.77 3/216 19683
/proc/meminfo: memFree=10925580/32770624 swapFree=67108504/67108860
[pid=19617] ppid=19614 vsize=10998092 memory=177556 CPUtime=2.25 cores=0,2,4,6
/proc/19617/stat : 19617 (java) S 19614 19617 15729 0 -1 1077944320 23864 12967 0 0 208 10 5 2 20 0 15 0 229432117 11262046208 44389 33554432000 4194304 4196468 140735196381456 140735196364000 139656691429111 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35536896 140735196383852 140735196386652 140735196386652 140735196389327 0
/proc/19617/statm: 2749523 44389 3468 1 0 2711181 0
[pid=19617/tid=19670] ppid=19614 vsize=10998092 memory=0 CPUtime=1.42 cores=0,2,4,6
/proc/19617/task/19670/stat : 19670 (java) R 19614 19617 15729 0 -1 4202560 17820 12967 0 0 129 6 5 2 20 0 15 0 229432126 11262046208 44389 33554432000 4194304 4196468 140735196381456 139656663260624 139656677109302 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35536896 140735196383852 140735196386652 140735196386652 140735196389327 0
[pid=19617/tid=19671] ppid=19614 vsize=10998092 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19617/task/19671/stat : 19671 (java) S 19614 19617 15729 0 -1 1077944384 237 12967 0 0 1 0 5 2 20 0 15 0 229432126 11262046208 44389 33554432000 4194304 4196468 140735196381456 139656695671824 139656691439317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35536896 140735196383852 140735196386652 140735196386652 140735196389327 0
[pid=19617/tid=19672] ppid=19614 vsize=10998092 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19617/task/19672/stat : 19672 (java) S 19614 19617 15729 0 -1 1077944384 66 12967 0 0 1 0 5 2 20 0 15 0 229432126 11262046208 44389 33554432000 4194304 4196468 140735196381456 139656231181456 139656691439317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35536896 140735196383852 140735196386652 140735196386652 140735196389327 0
[pid=19617/tid=19673] ppid=19614 vsize=10998092 memory=3539892194917298225 CPUtime=0.08 cores=0,2,4,6
/proc/19617/task/19673/stat : 19673 (java) S 19614 19617 15729 0 -1 1077944384 20 12967 0 0 1 0 5 2 20 0 15 0 229432126 11262046208 44389 33554432000 4194304 4196468 140735196381456 139656230128400 139656691439317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35536896 140735196383852 140735196386652 140735196386652 140735196389327 0
[pid=19617/tid=19674] ppid=19614 vsize=10998092 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19617/task/19674/stat : 19674 (java) S 19614 19617 15729 0 -1 1077944384 42 12967 0 0 0 0 5 2 20 0 15 0 229432126 11262046208 44389 33554432000 4194304 4196468 140735196381456 139656229075856 139656691439317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35536896 140735196383852 140735196386652 140735196386652 140735196389327 0
[pid=19617/tid=19675] ppid=19614 vsize=10998092 memory=-7965959130280075168 CPUtime=0.08 cores=0,2,4,6
/proc/19617/task/19675/stat : 19675 (java) S 19614 19617 15729 0 -1 1077944384 55 12967 0 0 1 0 5 2 20 0 15 0 229432128 11262046208 44389 33554432000 4194304 4196468 140735196381456 139656184498416 139656691440258 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35536896 140735196383852 140735196386652 140735196386652 140735196389327 0
[pid=19617/tid=19676] ppid=19614 vsize=10998092 memory=280916228385024 CPUtime=0.07 cores=0,2,4,6
/proc/19617/task/19676/stat : 19676 (java) S 19614 19617 15729 0 -1 1077944384 13 12967 0 0 0 0 5 2 20 0 15 0 229432128 11262046208 44389 33554432000 4194304 4196468 140735196381456 139655438656736 139656691439317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35536896 140735196383852 140735196386652 140735196386652 140735196389327 0
[pid=19617/tid=19677] ppid=19614 vsize=10998092 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19617/task/19677/stat : 19677 (java) S 19614 19617 15729 0 -1 1077944384 2 12967 0 0 0 0 5 2 20 0 15 0 229432129 11262046208 44389 33554432000 4194304 4196468 140735196381456 139655290807040 139656691439317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35536896 140735196383852 140735196386652 140735196386652 140735196389327 0
[pid=19617/tid=19678] ppid=19614 vsize=10998092 memory=4552 CPUtime=0.07 cores=0,2,4,6
/proc/19617/task/19678/stat : 19678 (java) S 19614 19617 15729 0 -1 1077944384 3 12967 0 0 0 0 5 2 20 0 15 0 229432131 11262046208 44389 33554432000 4194304 4196468 140735196381456 139654983407568 139656691447707 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35536896 140735196383852 140735196386652 140735196386652 140735196389327 0
[pid=19617/tid=19679] ppid=19614 vsize=10998092 memory=3732 CPUtime=0.26 cores=0,2,4,6
/proc/19617/task/19679/stat : 19679 (java) S 19614 19617 15729 0 -1 1077944384 1357 12967 0 0 19 0 5 2 20 0 15 0 229432131 11262046208 44389 33554432000 4194304 4196468 140735196381456 139656183446256 139656691440258 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35536896 140735196383852 140735196386652 140735196386652 140735196389327 0
[pid=19617/tid=19680] ppid=19614 vsize=10998092 memory=1228 CPUtime=0.28 cores=0,2,4,6
/proc/19617/task/19680/stat : 19680 (java) S 19614 19617 15729 0 -1 1077944384 901 12967 0 0 21 0 5 2 20 0 15 0 229432131 11262046208 44389 33554432000 4194304 4196468 140735196381456 139656182393712 139656691440258 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35536896 140735196383852 140735196386652 140735196386652 140735196389327 0
[pid=19617/tid=19681] ppid=19614 vsize=10998092 memory=10624 CPUtime=0.38 cores=0,2,4,6
/proc/19617/task/19681/stat : 19681 (java) S 19614 19617 15729 0 -1 1077944384 1155 12967 0 0 31 0 5 2 20 0 15 0 229432131 11262046208 44389 33554432000 4194304 4196468 140735196381456 139656181340656 139656691440258 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35536896 140735196383852 140735196386652 140735196386652 140735196389327 0
[pid=19617/tid=19682] ppid=19614 vsize=10998092 memory=1624 CPUtime=0.07 cores=0,2,4,6
/proc/19617/task/19682/stat : 19682 (java) S 19614 19617 15729 0 -1 1077944384 3 12967 0 0 0 0 5 2 20 0 15 0 229432132 11262046208 44389 33554432000 4194304 4196468 140735196381456 139654552611680 139656691439317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35536896 140735196383852 140735196386652 140735196386652 140735196389327 0
[pid=19617/tid=19683] ppid=19614 vsize=10998092 memory=6776 CPUtime=0.07 cores=0,2,4,6
/proc/19617/task/19683/stat : 19683 (java) S 19614 19617 15729 0 -1 1077944384 1 12967 0 0 0 0 5 2 20 0 15 0 229432132 11262046208 44389 33554432000 4194304 4196468 140735196381456 139656180288048 139656691440258 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35536896 140735196383852 140735196386652 140735196386652 140735196389327 0
Current children cumulated CPU time: 2.25 s
Current children cumulated vsize: 10998092 KiB
################
# More data... #
################
[startup+3.11038 s]
/proc/loadavg: 1.70 1.75 1.77 3/216 19683
/proc/meminfo: memFree=10802948/32770624 swapFree=67108504/67108860
[pid=19617] ppid=19614 vsize=11010400 memory=246020 CPUtime=5.72 cores=0,2,4,6
/proc/19617/stat : 19617 (java) S 19614 19617 15729 0 -1 1077944320 34472 12967 0 0 551 14 5 2 20 0 15 0 229432117 11274649600 61505 33554432000 4194304 4196468 140735196381456 140735196364000 139656691429111 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35536896 140735196383852 140735196386652 140735196386652 140735196389327 0
/proc/19617/statm: 2752600 61505 3490 1 0 2714253 0
[pid=19617/tid=19670] ppid=19614 vsize=11010400 memory=280916228803904 CPUtime=2.98 cores=0,2,4,6
/proc/19617/task/19670/stat : 19670 (java) R 19614 19617 15729 0 -1 4202560 23453 12967 0 0 283 8 5 2 20 0 15 0 229432126 11274649600 61505 33554432000 4194304 4196468 140735196381456 139656663258480 139656675509598 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35536896 140735196383852 140735196386652 140735196386652 140735196389327 0
[pid=19617/tid=19671] ppid=19614 vsize=11010400 memory=388 CPUtime=0.1 cores=0,2,4,6
/proc/19617/task/19671/stat : 19671 (java) S 19614 19617 15729 0 -1 1077944384 250 12967 0 0 3 0 5 2 20 0 15 0 229432126 11274649600 61505 33554432000 4194304 4196468 140735196381456 139656695671824 139656691439317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35536896 140735196383852 140735196386652 140735196386652 140735196389327 0
[pid=19617/tid=19672] ppid=19614 vsize=11010400 memory=6943526294502006880 CPUtime=0.1 cores=0,2,4,6
/proc/19617/task/19672/stat : 19672 (java) S 19614 19617 15729 0 -1 1077944384 75 12967 0 0 3 0 5 2 20 0 15 0 229432126 11274649600 61505 33554432000 4194304 4196468 140735196381456 139656231181456 139656691439317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35536896 140735196383852 140735196386652 140735196386652 140735196389327 0
[pid=19617/tid=19673] ppid=19614 vsize=11010400 memory=56 CPUtime=0.1 cores=0,2,4,6
/proc/19617/task/19673/stat : 19673 (java) S 19614 19617 15729 0 -1 1077944384 53 12967 0 0 3 0 5 2 20 0 15 0 229432126 11274649600 61505 33554432000 4194304 4196468 140735196381456 139656230128400 139656691439317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35536896 140735196383852 140735196386652 140735196386652 140735196389327 0
[pid=19617/tid=19674] ppid=19614 vsize=11010400 memory=7886128541231821106 CPUtime=0.09 cores=0,2,4,6
/proc/19617/task/19674/stat : 19674 (java) S 19614 19617 15729 0 -1 1077944384 47 12967 0 0 2 0 5 2 20 0 15 0 229432126 11274649600 61505 33554432000 4194304 4196468 140735196381456 139656229075856 139656691439317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35536896 140735196383852 140735196386652 140735196386652 140735196389327 0
[pid=19617/tid=19675] ppid=19614 vsize=11010400 memory=8389687274550539058 CPUtime=0.1 cores=0,2,4,6
/proc/19617/task/19675/stat : 19675 (java) S 19614 19617 15729 0 -1 1077944384 1340 12967 0 0 3 0 5 2 20 0 15 0 229432128 11274649600 61505 33554432000 4194304 4196468 140735196381456 139656184498416 139656691440258 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35536896 140735196383852 140735196386652 140735196386652 140735196389327 0
[pid=19617/tid=19676] ppid=19614 vsize=11010400 memory=7093353989986054854 CPUtime=0.07 cores=0,2,4,6
/proc/19617/task/19676/stat : 19676 (java) S 19614 19617 15729 0 -1 1077944384 13 12967 0 0 0 0 5 2 20 0 15 0 229432128 11274649600 61505 33554432000 4194304 4196468 140735196381456 139655438656736 139656691439317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35536896 140735196383852 140735196386652 140735196386652 140735196389327 0
[pid=19617/tid=19677] ppid=19614 vsize=11010400 memory=280916228638208 CPUtime=0.07 cores=0,2,4,6
/proc/19617/task/19677/stat : 19677 (java) S 19614 19617 15729 0 -1 1077944384 2 12967 0 0 0 0 5 2 20 0 15 0 229432129 11274649600 61505 33554432000 4194304 4196468 140735196381456 139655290807040 139656691439317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35536896 140735196383852 140735196386652 140735196386652 140735196389327 0
[pid=19617/tid=19678] ppid=19614 vsize=11010400 memory=7956567955459234152 CPUtime=0.07 cores=0,2,4,6
/proc/19617/task/19678/stat : 19678 (java) S 19614 19617 15729 0 -1 1077944384 3 12967 0 0 0 0 5 2 20 0 15 0 229432131 11274649600 61505 33554432000 4194304 4196468 140735196381456 139654983407568 139656691447707 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35536896 140735196383852 140735196386652 140735196386652 140735196389327 0
[pid=19617/tid=19679] ppid=19614 vsize=11010400 memory=6940161746003911001 CPUtime=0.79 cores=0,2,4,6
/proc/19617/task/19679/stat : 19679 (java) R 19614 19617 15729 0 -1 4202560 1787 12967 0 0 72 0 5 2 20 0 15 0 229432131 11274649600 61505 33554432000 4194304 4196468 140735196381456 139656183446256 139656674927688 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35536896 140735196383852 140735196386652 140735196386652 140735196389327 0
[pid=19617/tid=19680] ppid=19614 vsize=11010400 memory=7447093755344480597 CPUtime=0.75 cores=0,2,4,6
/proc/19617/task/19680/stat : 19680 (java) R 19614 19617 15729 0 -1 4202560 1417 12967 0 0 67 1 5 2 20 0 15 0 229432131 11274649600 61505 33554432000 4194304 4196468 140735196381456 139656182383824 139656674928025 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35536896 140735196383852 140735196386652 140735196386652 140735196389327 0
[pid=19617/tid=19681] ppid=19614 vsize=11010400 memory=288230574492221466 CPUtime=1.17 cores=0,2,4,6
/proc/19617/task/19681/stat : 19681 (java) S 19614 19617 15729 0 -1 1077944384 3841 12967 0 0 110 0 5 2 20 0 15 0 229432131 11274649600 61505 33554432000 4194304 4196468 140735196381456 139656181340656 139656691440258 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35536896 140735196383852 140735196386652 140735196386652 140735196389327 0
[pid=19617/tid=19682] ppid=19614 vsize=11010400 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19617/task/19682/stat : 19682 (java) S 19614 19617 15729 0 -1 1077944384 3 12967 0 0 0 0 5 2 20 0 15 0 229432132 11274649600 61505 33554432000 4194304 4196468 140735196381456 139654552611680 139656691439317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35536896 140735196383852 140735196386652 140735196386652 140735196389327 0
[pid=19617/tid=19683] ppid=19614 vsize=11010400 memory=2193 CPUtime=0.07 cores=0,2,4,6
/proc/19617/task/19683/stat : 19683 (java) S 19614 19617 15729 0 -1 1077944384 1 12967 0 0 0 0 5 2 20 0 15 0 229432132 11274649600 61505 33554432000 4194304 4196468 140735196381456 139656180288048 139656691440258 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35536896 140735196383852 140735196386652 140735196386652 140735196389327 0
Current children cumulated CPU time: 5.72 s
Current children cumulated vsize: 11010400 KiB
Current children cumulated memory: 246020 KiB
[startup+3.79268 s]
# the end of solver process 19617 was just reported to runsolver
# cumulated CPU time of all completed processes: user=7.42495 s, system=0.221445 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20756 s]
/proc/loadavg: 1.70 1.75 1.77 3/216 19683
/proc/meminfo: memFree=10802948/32770624 swapFree=67108504/67108860
[pid=19617] ppid=19614 vsize=11010400 memory=247992 CPUtime=5.94 cores=0,2,4,6
/proc/19617/stat : 19617 (java) S 19614 19617 15729 0 -1 1077944320 37852 12967 0 0 573 14 5 2 20 0 15 0 229432117 11274649600 61998 33554432000 4194304 4196468 140735196381456 140735196364000 139656691429111 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35536896 140735196383852 140735196386652 140735196386652 140735196389327 0
/proc/19617/statm: 2752600 61998 3490 1 0 2714253 0
[pid=19617/tid=19670] ppid=19614 vsize=11010400 memory=0 CPUtime=3.07 cores=0,2,4,6
/proc/19617/task/19670/stat : 19670 (java) R 19614 19617 15729 0 -1 4202560 25756 12967 0 0 292 8 5 2 20 0 15 0 229432126 11274649600 61998 33554432000 4194304 4196468 140735196381456 139656663253520 139656673329255 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35536896 140735196383852 140735196386652 140735196386652 140735196389327 0
[pid=19617/tid=19671] ppid=19614 vsize=11010400 memory=6656426216303648864 CPUtime=0.1 cores=0,2,4,6
/proc/19617/task/19671/stat : 19671 (java) S 19614 19617 15729 0 -1 1077944384 250 12967 0 0 3 0 5 2 20 0 15 0 229432126 11274649600 61998 33554432000 4194304 4196468 140735196381456 139656695671824 139656691439317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35536896 140735196383852 140735196386652 140735196386652 140735196389327 0
[pid=19617/tid=19672] ppid=19614 vsize=11010400 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/19617/task/19672/stat : 19672 (java) S 19614 19617 15729 0 -1 1077944384 75 12967 0 0 3 0 5 2 20 0 15 0 229432126 11274649600 61998 33554432000 4194304 4196468 140735196381456 139656231181456 139656691439317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35536896 140735196383852 140735196386652 140735196386652 140735196389327 0
[pid=19617/tid=19673] ppid=19614 vsize=11010400 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/19617/task/19673/stat : 19673 (java) S 19614 19617 15729 0 -1 1077944384 53 12967 0 0 3 0 5 2 20 0 15 0 229432126 11274649600 61998 33554432000 4194304 4196468 140735196381456 139656230128400 139656691439317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35536896 140735196383852 140735196386652 140735196386652 140735196389327 0
[pid=19617/tid=19674] ppid=19614 vsize=11010400 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/19617/task/19674/stat : 19674 (java) S 19614 19617 15729 0 -1 1077944384 47 12967 0 0 2 0 5 2 20 0 15 0 229432126 11274649600 61998 33554432000 4194304 4196468 140735196381456 139656229075856 139656691439317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35536896 140735196383852 140735196386652 140735196386652 140735196389327 0
[pid=19617/tid=19675] ppid=19614 vsize=11010400 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/19617/task/19675/stat : 19675 (java) S 19614 19617 15729 0 -1 1077944384 1340 12967 0 0 3 0 5 2 20 0 15 0 229432128 11274649600 61998 33554432000 4194304 4196468 140735196381456 139656184498416 139656691440258 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35536896 140735196383852 140735196386652 140735196386652 140735196389327 0
[pid=19617/tid=19676] ppid=19614 vsize=11010400 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19617/task/19676/stat : 19676 (java) S 19614 19617 15729 0 -1 1077944384 13 12967 0 0 0 0 5 2 20 0 15 0 229432128 11274649600 61998 33554432000 4194304 4196468 140735196381456 139655438656736 139656691439317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35536896 140735196383852 140735196386652 140735196386652 140735196389327 0
[pid=19617/tid=19677] ppid=19614 vsize=11010400 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19617/task/19677/stat : 19677 (java) S 19614 19617 15729 0 -1 1077944384 2 12967 0 0 0 0 5 2 20 0 15 0 229432129 11274649600 61998 33554432000 4194304 4196468 140735196381456 139655290807040 139656691439317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35536896 140735196383852 140735196386652 140735196386652 140735196389327 0
[pid=19617/tid=19678] ppid=19614 vsize=11010400 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19617/task/19678/stat : 19678 (java) S 19614 19617 15729 0 -1 1077944384 3 12967 0 0 0 0 5 2 20 0 15 0 229432131 11274649600 61998 33554432000 4194304 4196468 140735196381456 139654983407568 139656691447707 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35536896 140735196383852 140735196386652 140735196386652 140735196389327 0
[pid=19617/tid=19679] ppid=19614 vsize=11010400 memory=0 CPUtime=0.82 cores=0,2,4,6
/proc/19617/task/19679/stat : 19679 (java) S 19614 19617 15729 0 -1 1077944384 1879 12967 0 0 75 0 5 2 20 0 15 0 229432131 11274649600 61998 33554432000 4194304 4196468 140735196381456 139656183446256 139656691440258 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35536896 140735196383852 140735196386652 140735196386652 140735196389327 0
[pid=19617/tid=19680] ppid=19614 vsize=11010400 memory=1068 CPUtime=0.79 cores=0,2,4,6
/proc/19617/task/19680/stat : 19680 (java) S 19614 19617 15729 0 -1 1077944384 1636 12967 0 0 71 1 5 2 20 0 15 0 229432131 11274649600 61998 33554432000 4194304 4196468 140735196381456 139656182393712 139656691440258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35536896 140735196383852 140735196386652 140735196386652 140735196389327 0
[pid=19617/tid=19681] ppid=19614 vsize=11010400 memory=15084 CPUtime=1.23 cores=0,2,4,6
/proc/19617/task/19681/stat : 19681 (java) S 19614 19617 15729 0 -1 1077944384 4607 12967 0 0 116 0 5 2 20 0 15 0 229432131 11274649600 61998 33554432000 4194304 4196468 140735196381456 139656181340656 139656691440258 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35536896 140735196383852 140735196386652 140735196386652 140735196389327 0
[pid=19617/tid=19682] ppid=19614 vsize=11010400 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19617/task/19682/stat : 19682 (java) S 19614 19617 15729 0 -1 1077944384 3 12967 0 0 0 0 5 2 20 0 15 0 229432132 11274649600 61998 33554432000 4194304 4196468 140735196381456 139654552611680 139656691439317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35536896 140735196383852 140735196386652 140735196386652 140735196389327 0
[pid=19617/tid=19683] ppid=19614 vsize=11010400 memory=6788 CPUtime=0.07 cores=0,2,4,6
/proc/19617/task/19683/stat : 19683 (java) S 19614 19617 15729 0 -1 1077944384 1 12967 0 0 0 0 5 2 20 0 15 0 229432132 11274649600 61998 33554432000 4194304 4196468 140735196381456 139656180288048 139656691440258 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35536896 140735196383852 140735196386652 140735196386652 140735196389327 0
Current children cumulated CPU time: 5.94 s
Current children cumulated vsize: 11010400 KiB
Current children cumulated memory: 247992 KiB
[startup+3.60065 s]
/proc/loadavg: 1.70 1.75 1.77 3/216 19683
/proc/meminfo: memFree=10802948/32770624 swapFree=67108504/67108860
[pid=19617] ppid=19614 vsize=11077984 memory=315472 CPUtime=7.2 cores=0,2,4,6
/proc/19617/stat : 19617 (java) S 19614 19617 15729 0 -1 1077944320 63913 12967 0 0 695 18 5 2 20 0 15 0 229432117 11343855616 78868 33554432000 4194304 4196468 140735196381456 140735196364000 139656691429111 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35536896 140735196383852 140735196386652 140735196386652 140735196389327 0
/proc/19617/statm: 2769496 78868 3493 1 0 2731149 0
[pid=19617/tid=19670] ppid=19614 vsize=11077984 memory=0 CPUtime=3.47 cores=0,2,4,6
/proc/19617/task/19670/stat : 19670 (java) R 19614 19617 15729 0 -1 4202560 42884 12967 0 0 330 10 5 2 20 0 15 0 229432126 11343855616 78868 33554432000 4194304 4196468 140735196381456 139656663261104 139656255594193 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35536896 140735196383852 140735196386652 140735196386652 140735196389327 0
[pid=19617/tid=19671] ppid=19614 vsize=11077984 memory=280916229176992 CPUtime=0.1 cores=0,2,4,6
/proc/19617/task/19671/stat : 19671 (java) S 19614 19617 15729 0 -1 1077944384 250 12967 0 0 3 0 5 2 20 0 15 0 229432126 11343855616 78868 33554432000 4194304 4196468 140735196381456 139656695671824 139656691439317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35536896 140735196383852 140735196386652 140735196386652 140735196389327 0
[pid=19617/tid=19672] ppid=19614 vsize=11077984 memory=140458114590768 CPUtime=0.1 cores=0,2,4,6
/proc/19617/task/19672/stat : 19672 (java) S 19614 19617 15729 0 -1 1077944384 75 12967 0 0 3 0 5 2 20 0 15 0 229432126 11343855616 78868 33554432000 4194304 4196468 140735196381456 139656231181456 139656691439317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35536896 140735196383852 140735196386652 140735196386652 140735196389327 0
[pid=19617/tid=19673] ppid=19614 vsize=11077984 memory=6791534058613427641 CPUtime=0.1 cores=0,2,4,6
/proc/19617/task/19673/stat : 19673 (java) S 19614 19617 15729 0 -1 1077944384 53 12967 0 0 3 0 5 2 20 0 15 0 229432126 11343855616 78868 33554432000 4194304 4196468 140735196381456 139656230128400 139656691439317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35536896 140735196383852 140735196386652 140735196386652 140735196389327 0
[pid=19617/tid=19674] ppid=19614 vsize=11077984 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/19617/task/19674/stat : 19674 (java) S 19614 19617 15729 0 -1 1077944384 47 12967 0 0 2 0 5 2 20 0 15 0 229432126 11343855616 78868 33554432000 4194304 4196468 140735196381456 139656229075856 139656691439317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35536896 140735196383852 140735196386652 140735196386652 140735196389327 0
[pid=19617/tid=19675] ppid=19614 vsize=11077984 memory=-9174445032661854264 CPUtime=0.1 cores=0,2,4,6
/proc/19617/task/19675/stat : 19675 (java) S 19614 19617 15729 0 -1 1077944384 1873 12967 0 0 3 0 5 2 20 0 15 0 229432128 11343855616 78868 33554432000 4194304 4196468 140735196381456 139656184498416 139656691440258 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35536896 140735196383852 140735196386652 140735196386652 140735196389327 0
[pid=19617/tid=19676] ppid=19614 vsize=11077984 memory=6944656575208382560 CPUtime=0.07 cores=0,2,4,6
/proc/19617/task/19676/stat : 19676 (java) S 19614 19617 15729 0 -1 1077944384 13 12967 0 0 0 0 5 2 20 0 15 0 229432128 11343855616 78868 33554432000 4194304 4196468 140735196381456 139655438656736 139656691439317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35536896 140735196383852 140735196386652 140735196386652 140735196389327 0
[pid=19617/tid=19677] ppid=19614 vsize=11077984 memory=6944656592387989600 CPUtime=0.07 cores=0,2,4,6
/proc/19617/task/19677/stat : 19677 (java) S 19614 19617 15729 0 -1 1077944384 2 12967 0 0 0 0 5 2 20 0 15 0 229432129 11343855616 78868 33554432000 4194304 4196468 140735196381456 139655290807040 139656691439317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35536896 140735196383852 140735196386652 140735196386652 140735196389327 0
[pid=19617/tid=19678] ppid=19614 vsize=11077984 memory=6944656592455360604 CPUtime=0.07 cores=0,2,4,6
/proc/19617/task/19678/stat : 19678 (java) S 19614 19617 15729 0 -1 1077944384 3 12967 0 0 0 0 5 2 20 0 15 0 229432131 11343855616 78868 33554432000 4194304 4196468 140735196381456 139654983407568 139656691447707 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35536896 140735196383852 140735196386652 140735196386652 140735196389327 0
[pid=19617/tid=19679] ppid=19614 vsize=11077984 memory=8562125494162282060 CPUtime=1.19 cores=0,2,4,6
/proc/19617/task/19679/stat : 19679 (java) R 19614 19617 15729 0 -1 4202560 5870 12967 0 0 111 1 5 2 20 0 15 0 229432131 11343855616 78868 33554432000 4194304 4196468 140735196381456 139656183431680 139656670673131 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35536896 140735196383852 140735196386652 140735196386652 140735196389327 0
[pid=19617/tid=19680] ppid=19614 vsize=11077984 memory=1414353297708861353 CPUtime=1.18 cores=0,2,4,6
/proc/19617/task/19680/stat : 19680 (java) R 19614 19617 15729 0 -1 4202560 5372 12967 0 0 110 1 5 2 20 0 15 0 229432131 11343855616 78868 33554432000 4194304 4196468 140735196381456 139656182379520 139656676537064 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35536896 140735196383852 140735196386652 140735196386652 140735196389327 0
[pid=19617/tid=19681] ppid=19614 vsize=11077984 memory=-7522837415797432223 CPUtime=1.34 cores=0,2,4,6
/proc/19617/task/19681/stat : 19681 (java) S 19614 19617 15729 0 -1 1077944384 5274 12967 0 0 126 1 5 2 20 0 15 0 229432131 11343855616 78868 33554432000 4194304 4196468 140735196381456 139656181340656 139656691440258 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35536896 140735196383852 140735196386652 140735196386652 140735196389327 0
[pid=19617/tid=19682] ppid=19614 vsize=11077984 memory=-7522837583045875833 CPUtime=0.07 cores=0,2,4,6
/proc/19617/task/19682/stat : 19682 (java) S 19614 19617 15729 0 -1 1077944384 3 12967 0 0 0 0 5 2 20 0 15 0 229432132 11343855616 78868 33554432000 4194304 4196468 140735196381456 139654552611680 139656691439317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35536896 140735196383852 140735196386652 140735196386652 140735196389327 0
[pid=19617/tid=19683] ppid=19614 vsize=11077984 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19617/task/19683/stat : 19683 (java) S 19614 19617 15729 0 -1 1077944384 5 12967 0 0 0 0 5 2 20 0 15 0 229432132 11343855616 78868 33554432000 4194304 4196468 140735196381456 139656180288048 139656691440258 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35536896 140735196383852 140735196386652 140735196386652 140735196389327 0
Current children cumulated CPU time: 7.2 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 315472 KiB
[startup+3.70212 s]
/proc/loadavg: 1.70 1.75 1.77 3/216 19683
/proc/meminfo: memFree=10802948/32770624 swapFree=67108504/67108860
[pid=19617] ppid=19614 vsize=11080256 memory=320108 CPUtime=7.5 cores=0,2,4,6
/proc/19617/stat : 19617 (java) S 19614 19617 15729 0 -1 1077944320 64693 12967 0 0 725 18 5 2 20 0 15 0 229432117 11346182144 80027 33554432000 4194304 4196468 140735196381456 140735196364000 139656691429111 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35536896 140735196383852 140735196386652 140735196386652 140735196389327 0
/proc/19617/statm: 2770064 80027 3493 1 0 2731717 0
[pid=19617/tid=19670] ppid=19614 vsize=11080256 memory=280916228650720 CPUtime=3.57 cores=0,2,4,6
/proc/19617/task/19670/stat : 19670 (java) R 19614 19617 15729 0 -1 4202560 43156 12967 0 0 340 10 5 2 20 0 15 0 229432126 11346182144 80027 33554432000 4194304 4196468 140735196381456 139656663261840 139656691441046 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35536896 140735196383852 140735196386652 140735196386652 140735196389327 0
[pid=19617/tid=19671] ppid=19614 vsize=11080256 memory=6441108893106453862 CPUtime=0.1 cores=0,2,4,6
/proc/19617/task/19671/stat : 19671 (java) S 19614 19617 15729 0 -1 1077944384 250 12967 0 0 3 0 5 2 20 0 15 0 229432126 11346182144 80027 33554432000 4194304 4196468 140735196381456 139656695671824 139656691439317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35536896 140735196383852 140735196386652 140735196386652 140735196389327 0
[pid=19617/tid=19672] ppid=19614 vsize=11080256 memory=6441108893106453862 CPUtime=0.1 cores=0,2,4,6
/proc/19617/task/19672/stat : 19672 (java) S 19614 19617 15729 0 -1 1077944384 75 12967 0 0 3 0 5 2 20 0 15 0 229432126 11346182144 80027 33554432000 4194304 4196468 140735196381456 139656231181456 139656691439317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35536896 140735196383852 140735196386652 140735196386652 140735196389327 0
[pid=19617/tid=19673] ppid=19614 vsize=11080256 memory=6791534058613427641 CPUtime=0.1 cores=0,2,4,6
/proc/19617/task/19673/stat : 19673 (java) S 19614 19617 15729 0 -1 1077944384 53 12967 0 0 3 0 5 2 20 0 15 0 229432126 11346182144 80027 33554432000 4194304 4196468 140735196381456 139656230128400 139656691439317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35536896 140735196383852 140735196386652 140735196386652 140735196389327 0
[pid=19617/tid=19674] ppid=19614 vsize=11080256 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/19617/task/19674/stat : 19674 (java) S 19614 19617 15729 0 -1 1077944384 47 12967 0 0 2 0 5 2 20 0 15 0 229432126 11346182144 80027 33554432000 4194304 4196468 140735196381456 139656229075856 139656691439317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35536896 140735196383852 140735196386652 140735196386652 140735196389327 0
[pid=19617/tid=19675] ppid=19614 vsize=11080256 memory=7156609311619769938 CPUtime=0.1 cores=0,2,4,6
/proc/19617/task/19675/stat : 19675 (java) S 19614 19617 15729 0 -1 1077944384 1873 12967 0 0 3 0 5 2 20 0 15 0 229432128 11346182144 80027 33554432000 4194304 4196468 140735196381456 139656184498416 139656691440258 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35536896 140735196383852 140735196386652 140735196386652 140735196389327 0
[pid=19617/tid=19676] ppid=19614 vsize=11080256 memory=7301860488413079888 CPUtime=0.07 cores=0,2,4,6
/proc/19617/task/19676/stat : 19676 (java) S 19614 19617 15729 0 -1 1077944384 13 12967 0 0 0 0 5 2 20 0 15 0 229432128 11346182144 80027 33554432000 4194304 4196468 140735196381456 139655438656736 139656691439317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35536896 140735196383852 140735196386652 140735196386652 140735196389327 0
[pid=19617/tid=19677] ppid=19614 vsize=11080256 memory=7085680916039755858 CPUtime=0.07 cores=0,2,4,6
/proc/19617/task/19677/stat : 19677 (java) S 19614 19617 15729 0 -1 1077944384 2 12967 0 0 0 0 5 2 20 0 15 0 229432129 11346182144 80027 33554432000 4194304 4196468 140735196381456 139655290807040 139656691439317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35536896 140735196383852 140735196386652 140735196386652 140735196389327 0
[pid=19617/tid=19678] ppid=19614 vsize=11080256 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19617/task/19678/stat : 19678 (java) S 19614 19617 15729 0 -1 1077944384 3 12967 0 0 0 0 5 2 20 0 15 0 229432131 11346182144 80027 33554432000 4194304 4196468 140735196381456 139654983407568 139656691447707 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35536896 140735196383852 140735196386652 140735196386652 140735196389327 0
[pid=19617/tid=19679] ppid=19614 vsize=11080256 memory=576583242059703325 CPUtime=1.24 cores=0,2,4,6
/proc/19617/task/19679/stat : 19679 (java) R 19614 19617 15729 0 -1 4202560 5895 12967 0 0 116 1 5 2 20 0 15 0 229432131 11346182144 80027 33554432000 4194304 4196468 140735196381456 139656183425488 139656676537089 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35536896 140735196383852 140735196386652 140735196386652 140735196389327 0
[pid=19617/tid=19680] ppid=19614 vsize=11080256 memory=288283359824861331 CPUtime=1.28 cores=0,2,4,6
/proc/19617/task/19680/stat : 19680 (java) R 19614 19617 15729 0 -1 4202560 5737 12967 0 0 120 1 5 2 20 0 15 0 229432131 11346182144 80027 33554432000 4194304 4196468 140735196381456 139656182379520 139656672973256 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35536896 140735196383852 140735196386652 140735196386652 140735196389327 0
[pid=19617/tid=19681] ppid=19614 vsize=11080256 memory=0 CPUtime=1.39 cores=0,2,4,6
/proc/19617/task/19681/stat : 19681 (java) R 19614 19617 15729 0 -1 1077944384 5392 12967 0 0 131 1 5 2 20 0 15 0 229432131 11346182144 80027 33554432000 4194304 4196468 140735196381456 139656181340656 139656691440258 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35536896 140735196383852 140735196386652 140735196386652 140735196389327 0
[pid=19617/tid=19682] ppid=19614 vsize=11080256 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19617/task/19682/stat : 19682 (java) S 19614 19617 15729 0 -1 1077944384 3 12967 0 0 0 0 5 2 20 0 15 0 229432132 11346182144 80027 33554432000 4194304 4196468 140735196381456 139654552611680 139656691439317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35536896 140735196383852 140735196386652 140735196386652 140735196389327 0
[pid=19617/tid=19683] ppid=19614 vsize=11080256 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19617/task/19683/stat : 19683 (java) S 19614 19617 15729 0 -1 1077944384 5 12967 0 0 0 0 5 2 20 0 15 0 229432132 11346182144 80027 33554432000 4194304 4196468 140735196381456 139656180288048 139656691440258 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35536896 140735196383852 140735196386652 140735196386652 140735196389327 0
Current children cumulated CPU time: 7.5 s
Current children cumulated vsize: 11080256 KiB
Current children cumulated memory: 320108 KiB
Child status: 0
Real time (s): 3.79272
CPU time (s): 7.6464
CPU user time (s): 7.42495
CPU system time (s): 0.221445
CPU usage (%): 201.607
Max. virtual memory (cumulated for all children) (KiB): 11080256
Max. memory (cumulated for all children) (KiB): 320108
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.42495
system time used= 0.221445
maximum resident set size= 322412
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 78093
page faults= 0
swaps= 0
block input operations= 0
block output operations= 144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6599
involuntary context switches= 36
# summary of solver processes directly reported to runsolver:
# pid: 19617
# total CPU time (s): 7.6464
# total CPU user time (s): 7.42495
# total CPU system time (s): 0.221445
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.041676 second user time and 0.078391 second system time
The end