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 (13829 MiB free)
memory of node 1: 16384 MiB (15174 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4401158-1568690678/watcher-4401158-1568690678 -o /tmp/evaluation-result-4401158-1568690678/solver-4401158-1568690678 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node123-1568673292-1029 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1545093772 HOME/instance-4401158-1568690678.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=6002, runsolver pid=5999
[startup+0.100131 s]*
/proc/loadavg: 1.36 1.30 1.34 3/221 6059
/proc/meminfo: memFree=29695360/32770624 swapFree=66998752/67108860
[pid=6002] ppid=5999 vsize=9972712 memory=16432 CPUtime=0.1 cores=0,2,4,6
/proc/6002/stat : 6002 (java) S 5999 6002 998 0 -1 1077944320 4360 13540 0 0 1 1 5 3 20 0 6 0 445332692 10212057088 4108 33554432000 4194304 4196468 140729720715264 140729720697808 139878288457463 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21176320 140729720720111 140729720722629 140729720722629 140729720725455 0
/proc/6002/statm: 2493178 4108 1931 1 0 2481616 0
[pid=6002/tid=6055] ppid=5999 vsize=9972712 memory=8514726395714820750 CPUtime=0.08 cores=0,2,4,6
/proc/6002/task/6055/stat : 6055 (java) R 5999 6002 998 0 -1 4202560 2161 13540 0 0 0 0 5 3 20 0 6 0 445332701 10212057088 4108 33554432000 4194304 4196468 140729720715264 139878260294224 139878288479389 0 4 0 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21176320 140729720720111 140729720722629 140729720722629 140729720725455 0
[pid=6002/tid=6056] ppid=5999 vsize=9972712 memory=-7025452035940392864 CPUtime=0.08 cores=0,2,4,6
/proc/6002/task/6056/stat : 6056 (java) S 5999 6002 998 0 -1 1077944384 1 13540 0 0 0 0 5 3 20 0 6 0 445332702 10212057088 4108 33554432000 4194304 4196468 140729720715264 139878292700048 139878288467669 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21176320 140729720720111 140729720722629 140729720722629 140729720725455 0
[pid=6002/tid=6057] ppid=5999 vsize=9972712 memory=140604625999488 CPUtime=0.08 cores=0,2,4,6
/proc/6002/task/6057/stat : 6057 (java) S 5999 6002 998 0 -1 1077944384 1 13540 0 0 0 0 5 3 20 0 6 0 445332702 10212057088 4108 33554432000 4194304 4196468 140729720715264 139877861919504 139878288467669 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21176320 140729720720111 140729720722629 140729720722629 140729720725455 0
[pid=6002/tid=6058] ppid=5999 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6002/task/6058/stat : 6058 (java) S 5999 6002 998 0 -1 1077944384 2 13540 0 0 0 0 5 3 20 0 6 0 445332702 10212057088 4108 33554432000 4194304 4196468 140729720715264 139877860867216 139878288467669 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21176320 140729720720111 140729720722629 140729720722629 140729720725455 0
[pid=6002/tid=6059] ppid=5999 vsize=9972712 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/6002/task/6059/stat : 6059 (java) S 5999 6002 998 0 -1 1077944384 2 13540 0 0 0 0 5 3 20 0 6 0 445332702 10212057088 4108 33554432000 4194304 4196468 140729720715264 139877859814416 139878288467669 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21176320 140729720720111 140729720722629 140729720722629 140729720725455 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 16432 KiB
[startup+0.21082 s]*
/proc/loadavg: 1.36 1.30 1.34 4/230 6068
/proc/meminfo: memFree=29672208/32770624 swapFree=66998752/67108860
[pid=6002] ppid=5999 vsize=10819712 memory=42852 CPUtime=0.26 cores=0,2,4,6
/proc/6002/stat : 6002 (java) S 5999 6002 998 0 -1 1077944320 7190 13540 0 0 17 1 5 3 20 0 15 0 445332692 11079385088 10713 33554432000 4194304 4196468 140729720715264 140729720697808 139878288457463 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21176320 140729720720111 140729720722629 140729720722629 140729720725455 0
/proc/6002/statm: 2704928 10713 3178 1 0 2667149 0
[pid=6002/tid=6055] ppid=5999 vsize=10820020 memory=5450916389569530688 CPUtime=0.2 cores=0,2,4,6
/proc/6002/task/6055/stat : 6055 (java) R 5999 6002 998 0 -1 4202560 3675 13540 0 0 11 1 5 3 20 0 15 0 445332701 11079700480 10843 33554432000 4194304 4196468 140729720715264 139878260251520 139878281554299 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21176320 140729720720111 140729720722629 140729720722629 140729720725455 0
[pid=6002/tid=6056] ppid=5999 vsize=10820020 memory=-7025452035940392864 CPUtime=0.08 cores=0,2,4,6
/proc/6002/task/6056/stat : 6056 (java) S 5999 6002 998 0 -1 1077944384 1 13540 0 0 0 0 5 3 20 0 15 0 445332702 11079700480 10843 33554432000 4194304 4196468 140729720715264 139878292700048 139878288467669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21176320 140729720720111 140729720722629 140729720722629 140729720725455 0
[pid=6002/tid=6057] ppid=5999 vsize=10820020 memory=140604625999488 CPUtime=0.08 cores=0,2,4,6
/proc/6002/task/6057/stat : 6057 (java) S 5999 6002 998 0 -1 1077944384 1 13540 0 0 0 0 5 3 20 0 15 0 445332702 11079700480 10843 33554432000 4194304 4196468 140729720715264 139877861919504 139878288467669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21176320 140729720720111 140729720722629 140729720722629 140729720725455 0
[pid=6002/tid=6058] ppid=5999 vsize=10820020 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6002/task/6058/stat : 6058 (java) S 5999 6002 998 0 -1 1077944384 2 13540 0 0 0 0 5 3 20 0 15 0 445332702 11079700480 10843 33554432000 4194304 4196468 140729720715264 139877860867216 139878288467669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21176320 140729720720111 140729720722629 140729720722629 140729720725455 0
[pid=6002/tid=6059] ppid=5999 vsize=10820020 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/6002/task/6059/stat : 6059 (java) S 5999 6002 998 0 -1 1077944384 2 13540 0 0 0 0 5 3 20 0 15 0 445332702 11079700480 10843 33554432000 4194304 4196468 140729720715264 139877859814416 139878288467669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21176320 140729720720111 140729720722629 140729720722629 140729720725455 0
[pid=6002/tid=6060] ppid=5999 vsize=10820020 memory=140604625999488 CPUtime=0.08 cores=0,2,4,6
/proc/6002/task/6060/stat : 6060 (java) S 5999 6002 998 0 -1 1077944384 2 13540 0 0 0 0 5 3 20 0 15 0 445332703 11079700480 10843 33554432000 4194304 4196468 140729720715264 139877748000880 139878288468610 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21176320 140729720720111 140729720722629 140729720722629 140729720725455 0
[pid=6002/tid=6061] ppid=5999 vsize=10820020 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/6002/task/6061/stat : 6061 (java) S 5999 6002 998 0 -1 1077944384 33 13540 0 0 0 0 5 3 20 0 15 0 445332704 11079700480 10843 33554432000 4194304 4196468 140729720715264 139877746946848 139878288467669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21176320 140729720720111 140729720722629 140729720722629 140729720725455 0
[pid=6002/tid=6062] ppid=5999 vsize=10820020 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6002/task/6062/stat : 6062 (java) S 5999 6002 998 0 -1 1077944384 1 13540 0 0 0 0 5 3 20 0 15 0 445332704 11079700480 10843 33554432000 4194304 4196468 140729720715264 139877622473840 139878288467669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21176320 140729720720111 140729720722629 140729720722629 140729720725455 0
[pid=6002/tid=6063] ppid=5999 vsize=10820020 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6002/task/6063/stat : 6063 (java) S 5999 6002 998 0 -1 1077944384 2 13540 0 0 0 0 5 3 20 0 15 0 445332707 11079700480 10843 33554432000 4194304 4196468 140729720715264 139877018495056 139878288476059 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21176320 140729720720111 140729720722629 140729720722629 140729720725455 0
[pid=6002/tid=6064] ppid=5999 vsize=10820020 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/6002/task/6064/stat : 6064 (java) S 5999 6002 998 0 -1 1077944384 377 13540 0 0 1 0 5 3 20 0 15 0 445332707 11079700480 10843 33554432000 4194304 4196468 140729720715264 139877713390192 139878288468610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21176320 140729720720111 140729720722629 140729720722629 140729720725455 0
[pid=6002/tid=6065] ppid=5999 vsize=10820020 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/6002/task/6065/stat : 6065 (java) S 5999 6002 998 0 -1 1077944384 312 13540 0 0 1 0 5 3 20 0 15 0 445332707 11079700480 10843 33554432000 4194304 4196468 140729720715264 139877712337392 139878288468610 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21176320 140729720720111 140729720722629 140729720722629 140729720725455 0
[pid=6002/tid=6066] ppid=5999 vsize=10820020 memory=140604625999488 CPUtime=0.11 cores=0,2,4,6
/proc/6002/task/6066/stat : 6066 (java) S 5999 6002 998 0 -1 1077944384 663 13540 0 0 3 0 5 3 20 0 15 0 445332707 11079700480 10843 33554432000 4194304 4196468 140729720715264 139877711285104 139878288468610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21176320 140729720720111 140729720722629 140729720722629 140729720725455 0
[pid=6002/tid=6067] ppid=5999 vsize=10820020 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/6002/task/6067/stat : 6067 (java) S 5999 6002 998 0 -1 1077944384 3 13540 0 0 0 0 5 3 20 0 15 0 445332707 11079700480 10843 33554432000 4194304 4196468 140729720715264 139876548733920 139878288467669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21176320 140729720720111 140729720722629 140729720722629 140729720725455 0
[pid=6002/tid=6068] ppid=5999 vsize=10820020 memory=140604625999488 CPUtime=0.08 cores=0,2,4,6
/proc/6002/task/6068/stat : 6068 (java) S 5999 6002 998 0 -1 1077944384 1 13540 0 0 0 0 5 3 20 0 15 0 445332707 11079700480 10843 33554432000 4194304 4196468 140729720715264 139877710231984 139878288468610 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21176320 140729720720111 140729720722629 140729720722629 140729720725455 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10819712 KiB
Current children cumulated memory: 42852 KiB
[startup+0.311057 s]*
/proc/loadavg: 1.36 1.30 1.34 4/230 6068
/proc/meminfo: memFree=29659148/32770624 swapFree=66998752/67108860
[pid=6002] ppid=5999 vsize=10820196 memory=51652 CPUtime=0.4 cores=0,2,4,6
/proc/6002/stat : 6002 (java) S 5999 6002 998 0 -1 1077944320 10696 13540 0 0 29 3 5 3 20 0 15 0 445332692 11079880704 12913 33554432000 4194304 4196468 140729720715264 140729720697808 139878288457463 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21176320 140729720720111 140729720722629 140729720722629 140729720725455 0
/proc/6002/statm: 2705049 12913 3309 1 0 2667149 0
[pid=6002/tid=6055] ppid=5999 vsize=10820196 memory=1398722017469774279 CPUtime=0.29 cores=0,2,4,6
/proc/6002/task/6055/stat : 6055 (java) R 5999 6002 998 0 -1 4202560 7044 13540 0 0 19 2 5 3 20 0 15 0 445332701 11079880704 12913 33554432000 4194304 4196468 140729720715264 139878260262464 139878272537950 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21176320 140729720720111 140729720722629 140729720722629 140729720725455 0
[pid=6002/tid=6056] ppid=5999 vsize=10820196 memory=7950650328262536046 CPUtime=0.08 cores=0,2,4,6
/proc/6002/task/6056/stat : 6056 (java) S 5999 6002 998 0 -1 1077944384 1 13540 0 0 0 0 5 3 20 0 15 0 445332702 11079880704 12913 33554432000 4194304 4196468 140729720715264 139878292700048 139878288467669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21176320 140729720720111 140729720722629 140729720722629 140729720725455 0
[pid=6002/tid=6057] ppid=5999 vsize=10820196 memory=5931329032301858896 CPUtime=0.08 cores=0,2,4,6
/proc/6002/task/6057/stat : 6057 (java) S 5999 6002 998 0 -1 1077944384 1 13540 0 0 0 0 5 3 20 0 15 0 445332702 11079880704 12913 33554432000 4194304 4196468 140729720715264 139877861919504 139878288467669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21176320 140729720720111 140729720722629 140729720722629 140729720725455 0
[pid=6002/tid=6058] ppid=5999 vsize=10820196 memory=7019607692435146438 CPUtime=0.08 cores=0,2,4,6
/proc/6002/task/6058/stat : 6058 (java) S 5999 6002 998 0 -1 1077944384 2 13540 0 0 0 0 5 3 20 0 15 0 445332702 11079880704 12913 33554432000 4194304 4196468 140729720715264 139877860867216 139878288467669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21176320 140729720720111 140729720722629 140729720722629 140729720725455 0
[pid=6002/tid=6059] ppid=5999 vsize=10820196 memory=4126316290023845779 CPUtime=0.08 cores=0,2,4,6
/proc/6002/task/6059/stat : 6059 (java) S 5999 6002 998 0 -1 1077944384 2 13540 0 0 0 0 5 3 20 0 15 0 445332702 11079880704 12913 33554432000 4194304 4196468 140729720715264 139877859814416 139878288467669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21176320 140729720720111 140729720722629 140729720722629 140729720725455 0
[pid=6002/tid=6060] ppid=5999 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6002/task/6060/stat : 6060 (java) S 5999 6002 998 0 -1 1077944384 2 13540 0 0 0 0 5 3 20 0 15 0 445332703 11079880704 12913 33554432000 4194304 4196468 140729720715264 139877748000880 139878288468610 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21176320 140729720720111 140729720722629 140729720722629 140729720725455 0
[pid=6002/tid=6061] ppid=5999 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6002/task/6061/stat : 6061 (java) S 5999 6002 998 0 -1 1077944384 33 13540 0 0 0 0 5 3 20 0 15 0 445332704 11079880704 12913 33554432000 4194304 4196468 140729720715264 139877746946848 139878288467669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21176320 140729720720111 140729720722629 140729720722629 140729720725455 0
[pid=6002/tid=6062] ppid=5999 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6002/task/6062/stat : 6062 (java) S 5999 6002 998 0 -1 1077944384 1 13540 0 0 0 0 5 3 20 0 15 0 445332704 11079880704 12913 33554432000 4194304 4196468 140729720715264 139877622473840 139878288467669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21176320 140729720720111 140729720722629 140729720722629 140729720725455 0
[pid=6002/tid=6063] ppid=5999 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6002/task/6063/stat : 6063 (java) S 5999 6002 998 0 -1 1077944384 2 13540 0 0 0 0 5 3 20 0 15 0 445332707 11079880704 12913 33554432000 4194304 4196468 140729720715264 139877018495056 139878288476059 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21176320 140729720720111 140729720722629 140729720722629 140729720725455 0
[pid=6002/tid=6064] ppid=5999 vsize=10820196 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/6002/task/6064/stat : 6064 (java) S 5999 6002 998 0 -1 1077944384 395 13540 0 0 2 0 5 3 20 0 15 0 445332707 11079880704 12913 33554432000 4194304 4196468 140729720715264 139877713390192 139878288468610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21176320 140729720720111 140729720722629 140729720722629 140729720725455 0
[pid=6002/tid=6065] ppid=5999 vsize=10820196 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/6002/task/6065/stat : 6065 (java) S 5999 6002 998 0 -1 1077944384 316 13540 0 0 1 0 5 3 20 0 15 0 445332707 11079880704 12913 33554432000 4194304 4196468 140729720715264 139877712337392 139878288468610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21176320 140729720720111 140729720722629 140729720722629 140729720725455 0
[pid=6002/tid=6066] ppid=5999 vsize=10820196 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/6002/task/6066/stat : 6066 (java) S 5999 6002 998 0 -1 1077944384 693 13540 0 0 5 0 5 3 20 0 15 0 445332707 11079880704 12913 33554432000 4194304 4196468 140729720715264 139877711285104 139878288468610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21176320 140729720720111 140729720722629 140729720722629 140729720725455 0
[pid=6002/tid=6067] ppid=5999 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6002/task/6067/stat : 6067 (java) S 5999 6002 998 0 -1 1077944384 3 13540 0 0 0 0 5 3 20 0 15 0 445332707 11079880704 12913 33554432000 4194304 4196468 140729720715264 139876548733920 139878288467669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21176320 140729720720111 140729720722629 140729720722629 140729720725455 0
[pid=6002/tid=6068] ppid=5999 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6002/task/6068/stat : 6068 (java) S 5999 6002 998 0 -1 1077944384 1 13540 0 0 0 0 5 3 20 0 15 0 445332707 11079880704 12913 33554432000 4194304 4196468 140729720715264 139877710231984 139878288468610 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21176320 140729720720111 140729720722629 140729720722629 140729720725455 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 51652 KiB
[startup+0.706057 s]
/proc/loadavg: 1.36 1.30 1.34 3/230 6068
/proc/meminfo: memFree=29645736/32770624 swapFree=66998752/67108860
[pid=6002] ppid=5999 vsize=10824364 memory=86500 CPUtime=1.11 cores=0,2,4,6
/proc/6002/stat : 6002 (java) S 5999 6002 998 0 -1 1077944320 14822 13540 0 0 99 4 5 3 20 0 15 0 445332692 11084148736 21625 33554432000 4194304 4196468 140729720715264 140729720697808 139878288457463 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21176320 140729720720111 140729720722629 140729720722629 140729720725455 0
/proc/6002/statm: 2706091 21625 3512 1 0 2668173 0
[pid=6002/tid=6055] ppid=5999 vsize=10824364 memory=2241 CPUtime=0.68 cores=0,2,4,6
/proc/6002/task/6055/stat : 6055 (java) R 5999 6002 998 0 -1 4202560 9945 13540 0 0 56 4 5 3 20 0 15 0 445332701 11084148736 21625 33554432000 4194304 4196468 140729720715264 139878260273376 139878270976149 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21176320 140729720720111 140729720722629 140729720722629 140729720725455 0
[pid=6002/tid=6056] ppid=5999 vsize=10824364 memory=2244 CPUtime=0.08 cores=0,2,4,6
/proc/6002/task/6056/stat : 6056 (java) S 5999 6002 998 0 -1 1077944384 1 13540 0 0 0 0 5 3 20 0 15 0 445332702 11084148736 21625 33554432000 4194304 4196468 140729720715264 139878292700048 139878288467669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21176320 140729720720111 140729720722629 140729720722629 140729720725455 0
[pid=6002/tid=6057] ppid=5999 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6002/task/6057/stat : 6057 (java) S 5999 6002 998 0 -1 1077944384 1 13540 0 0 0 0 5 3 20 0 15 0 445332702 11084148736 21625 33554432000 4194304 4196468 140729720715264 139877861919504 139878288467669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21176320 140729720720111 140729720722629 140729720722629 140729720725455 0
[pid=6002/tid=6058] ppid=5999 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6002/task/6058/stat : 6058 (java) S 5999 6002 998 0 -1 1077944384 2 13540 0 0 0 0 5 3 20 0 15 0 445332702 11084148736 21625 33554432000 4194304 4196468 140729720715264 139877860867216 139878288467669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21176320 140729720720111 140729720722629 140729720722629 140729720725455 0
[pid=6002/tid=6059] ppid=5999 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6002/task/6059/stat : 6059 (java) S 5999 6002 998 0 -1 1077944384 2 13540 0 0 0 0 5 3 20 0 15 0 445332702 11084148736 21625 33554432000 4194304 4196468 140729720715264 139877859814416 139878288467669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21176320 140729720720111 140729720722629 140729720722629 140729720725455 0
[pid=6002/tid=6060] ppid=5999 vsize=10824364 memory=6944652177228980320 CPUtime=0.08 cores=0,2,4,6
/proc/6002/task/6060/stat : 6060 (java) S 5999 6002 998 0 -1 1077944384 5 13540 0 0 0 0 5 3 20 0 15 0 445332703 11084148736 21625 33554432000 4194304 4196468 140729720715264 139877748000880 139878288468610 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21176320 140729720720111 140729720722629 140729720722629 140729720725455 0
[pid=6002/tid=6061] ppid=5999 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6002/task/6061/stat : 6061 (java) S 5999 6002 998 0 -1 1077944384 33 13540 0 0 0 0 5 3 20 0 15 0 445332704 11084148736 21625 33554432000 4194304 4196468 140729720715264 139877746946848 139878288467669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21176320 140729720720111 140729720722629 140729720722629 140729720725455 0
[pid=6002/tid=6062] ppid=5999 vsize=10824364 memory=6943526294502006880 CPUtime=0.08 cores=0,2,4,6
/proc/6002/task/6062/stat : 6062 (java) S 5999 6002 998 0 -1 1077944384 1 13540 0 0 0 0 5 3 20 0 15 0 445332704 11084148736 21625 33554432000 4194304 4196468 140729720715264 139877622473840 139878288467669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21176320 140729720720111 140729720722629 140729720722629 140729720725455 0
[pid=6002/tid=6063] ppid=5999 vsize=10824364 memory=6944656592455097440 CPUtime=0.08 cores=0,2,4,6
/proc/6002/task/6063/stat : 6063 (java) S 5999 6002 998 0 -1 1077944384 2 13540 0 0 0 0 5 3 20 0 15 0 445332707 11084148736 21625 33554432000 4194304 4196468 140729720715264 139877018495056 139878288476059 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21176320 140729720720111 140729720722629 140729720722629 140729720725455 0
[pid=6002/tid=6064] ppid=5999 vsize=10824364 memory=140604478621584 CPUtime=0.2 cores=0,2,4,6
/proc/6002/task/6064/stat : 6064 (java) R 5999 6002 998 0 -1 4202560 866 13540 0 0 12 0 5 3 20 0 15 0 445332707 11084148736 21625 33554432000 4194304 4196468 140729720715264 139877713390192 139878267690859 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21176320 140729720720111 140729720722629 140729720722629 140729720725455 0
[pid=6002/tid=6065] ppid=5999 vsize=10824364 memory=24964 CPUtime=0.2 cores=0,2,4,6
/proc/6002/task/6065/stat : 6065 (java) S 5999 6002 998 0 -1 1077944384 777 13540 0 0 12 0 5 3 20 0 15 0 445332707 11084148736 21625 33554432000 4194304 4196468 140729720715264 139877712337392 139878288468610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21176320 140729720720111 140729720722629 140729720722629 140729720725455 0
[pid=6002/tid=6066] ppid=5999 vsize=10824364 memory=2244 CPUtime=0.25 cores=0,2,4,6
/proc/6002/task/6066/stat : 6066 (java) S 5999 6002 998 0 -1 1077944384 978 13540 0 0 17 0 5 3 20 0 15 0 445332707 11084148736 21625 33554432000 4194304 4196468 140729720715264 139877711285104 139878288468610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21176320 140729720720111 140729720722629 140729720722629 140729720725455 0
[pid=6002/tid=6067] ppid=5999 vsize=10824364 memory=140604478618992 CPUtime=0.08 cores=0,2,4,6
/proc/6002/task/6067/stat : 6067 (java) S 5999 6002 998 0 -1 1077944384 3 13540 0 0 0 0 5 3 20 0 15 0 445332707 11084148736 21625 33554432000 4194304 4196468 140729720715264 139876548733920 139878288467669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21176320 140729720720111 140729720722629 140729720722629 140729720725455 0
[pid=6002/tid=6068] ppid=5999 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6002/task/6068/stat : 6068 (java) S 5999 6002 998 0 -1 1077944384 1 13540 0 0 0 0 5 3 20 0 15 0 445332707 11084148736 21625 33554432000 4194304 4196468 140729720715264 139877710231984 139878288468610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21176320 140729720720111 140729720722629 140729720722629 140729720725455 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 86500 KiB
[startup+1.50079 s]
/proc/loadavg: 1.36 1.30 1.34 5/230 6068
/proc/meminfo: memFree=29586388/32770624 swapFree=66998752/67108860
[pid=6002] ppid=5999 vsize=10834680 memory=173648 CPUtime=2.4 cores=0,2,4,6
/proc/6002/stat : 6002 (java) S 5999 6002 998 0 -1 1077944320 21479 13540 0 0 221 11 5 3 20 0 15 0 445332692 11094712320 43412 33554432000 4194304 4196468 140729720715264 140729720697808 139878288457463 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21176320 140729720720111 140729720722629 140729720722629 140729720725455 0
/proc/6002/statm: 2708670 43412 3575 1 0 2670733 0
[pid=6002/tid=6055] ppid=5999 vsize=10834680 memory=19 CPUtime=1.44 cores=0,2,4,6
/proc/6002/task/6055/stat : 6055 (java) R 5999 6002 998 0 -1 4202560 14759 13540 0 0 128 8 5 3 20 0 15 0 445332701 11094712320 43412 33554432000 4194304 4196468 140729720715264 139878260254240 139878288469398 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21176320 140729720720111 140729720722629 140729720722629 140729720725455 0
[pid=6002/tid=6056] ppid=5999 vsize=10834680 memory=25 CPUtime=0.09 cores=0,2,4,6
/proc/6002/task/6056/stat : 6056 (java) S 5999 6002 998 0 -1 1077944384 47 13540 0 0 1 0 5 3 20 0 15 0 445332702 11094712320 43412 33554432000 4194304 4196468 140729720715264 139878292700048 139878288467669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21176320 140729720720111 140729720722629 140729720722629 140729720725455 0
[pid=6002/tid=6057] ppid=5999 vsize=10834680 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6002/task/6057/stat : 6057 (java) S 5999 6002 998 0 -1 1077944384 31 13540 0 0 0 0 5 3 20 0 15 0 445332702 11094712320 43412 33554432000 4194304 4196468 140729720715264 139877861919504 139878288467669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21176320 140729720720111 140729720722629 140729720722629 140729720725455 0
[pid=6002/tid=6058] ppid=5999 vsize=10834680 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6002/task/6058/stat : 6058 (java) S 5999 6002 998 0 -1 1077944384 352 13540 0 0 0 0 5 3 20 0 15 0 445332702 11094712320 43412 33554432000 4194304 4196468 140729720715264 139877860867216 139878288467669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21176320 140729720720111 140729720722629 140729720722629 140729720725455 0
[pid=6002/tid=6059] ppid=5999 vsize=10834680 memory=100364 CPUtime=0.09 cores=0,2,4,6
/proc/6002/task/6059/stat : 6059 (java) S 5999 6002 998 0 -1 1077944384 64 13540 0 0 1 0 5 3 20 0 15 0 445332702 11094712320 43412 33554432000 4194304 4196468 140729720715264 139877859814416 139878288467669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21176320 140729720720111 140729720722629 140729720722629 140729720725455 0
[pid=6002/tid=6060] ppid=5999 vsize=10834680 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/6002/task/6060/stat : 6060 (java) S 5999 6002 998 0 -1 1077944384 133 13540 0 0 1 0 5 3 20 0 15 0 445332703 11094712320 43412 33554432000 4194304 4196468 140729720715264 139877748000880 139878288468610 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21176320 140729720720111 140729720722629 140729720722629 140729720725455 0
[pid=6002/tid=6061] ppid=5999 vsize=10834680 memory=7305218370954619481 CPUtime=0.08 cores=0,2,4,6
/proc/6002/task/6061/stat : 6061 (java) S 5999 6002 998 0 -1 1077944384 34 13540 0 0 0 0 5 3 20 0 15 0 445332704 11094712320 43412 33554432000 4194304 4196468 140729720715264 139877746946912 139878288467669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21176320 140729720720111 140729720722629 140729720722629 140729720725455 0
[pid=6002/tid=6062] ppid=5999 vsize=10834680 memory=6010993104036194406 CPUtime=0.08 cores=0,2,4,6
/proc/6002/task/6062/stat : 6062 (java) S 5999 6002 998 0 -1 1077944384 1 13540 0 0 0 0 5 3 20 0 15 0 445332704 11094712320 43412 33554432000 4194304 4196468 140729720715264 139877622473840 139878288467669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21176320 140729720720111 140729720722629 140729720722629 140729720725455 0
[pid=6002/tid=6063] ppid=5999 vsize=10834680 memory=7883390010863997286 CPUtime=0.08 cores=0,2,4,6
/proc/6002/task/6063/stat : 6063 (java) S 5999 6002 998 0 -1 1077944384 2 13540 0 0 0 0 5 3 20 0 15 0 445332707 11094712320 43412 33554432000 4194304 4196468 140729720715264 139877018495056 139878288476059 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21176320 140729720720111 140729720722629 140729720722629 140729720725455 0
[pid=6002/tid=6064] ppid=5999 vsize=10834680 memory=7011348500760777304 CPUtime=0.32 cores=0,2,4,6
/proc/6002/task/6064/stat : 6064 (java) S 5999 6002 998 0 -1 1077944384 1168 13540 0 0 24 0 5 3 20 0 15 0 445332707 11094712320 43412 33554432000 4194304 4196468 140729720715264 139877713390192 139878288468610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21176320 140729720720111 140729720722629 140729720722629 140729720725455 0
[pid=6002/tid=6065] ppid=5999 vsize=10834680 memory=7091869044926277737 CPUtime=0.3 cores=0,2,4,6
/proc/6002/task/6065/stat : 6065 (java) S 5999 6002 998 0 -1 1077944384 883 13540 0 0 22 0 5 3 20 0 15 0 445332707 11094712320 43412 33554432000 4194304 4196468 140729720715264 139877712337392 139878288468610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21176320 140729720720111 140729720722629 140729720722629 140729720725455 0
[pid=6002/tid=6066] ppid=5999 vsize=10834680 memory=7305218370954619481 CPUtime=0.46 cores=0,2,4,6
/proc/6002/task/6066/stat : 6066 (java) R 5999 6002 998 0 -1 4202560 1796 13540 0 0 38 0 5 3 20 0 15 0 445332707 11094712320 43412 33554432000 4194304 4196468 140729720715264 139877711285104 139878288478810 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21176320 140729720720111 140729720722629 140729720722629 140729720725455 0
[pid=6002/tid=6067] ppid=5999 vsize=10834680 memory=7305218370954619481 CPUtime=0.08 cores=0,2,4,6
/proc/6002/task/6067/stat : 6067 (java) S 5999 6002 998 0 -1 1077944384 3 13540 0 0 0 0 5 3 20 0 15 0 445332707 11094712320 43412 33554432000 4194304 4196468 140729720715264 139876548733920 139878288467669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21176320 140729720720111 140729720722629 140729720722629 140729720725455 0
[pid=6002/tid=6068] ppid=5999 vsize=10834680 memory=55 CPUtime=0.08 cores=0,2,4,6
/proc/6002/task/6068/stat : 6068 (java) S 5999 6002 998 0 -1 1077944384 1 13540 0 0 0 0 5 3 20 0 15 0 445332707 11094712320 43412 33554432000 4194304 4196468 140729720715264 139877710231984 139878288468610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21176320 140729720720111 140729720722629 140729720722629 140729720725455 0
Current children cumulated CPU time: 2.4 s
Current children cumulated vsize: 10834680 KiB
################
# More data... #
################
/proc/6002/task/6055/stat : 6055 (java) R 5999 6002 998 0 -1 4202560 131090 13540 0 0 235589 75 5 3 20 0 15 0 445332701 11107315712 100188 33554432000 4194304 4196468 140729720715264 139878260292448 139877893520916 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21176320 140729720720111 140729720722629 140729720722629 140729720725455 0
[pid=6002/tid=6056] ppid=5999 vsize=10846988 memory=400752 CPUtime=13.31 cores=0,2,4,6
/proc/6002/task/6056/stat : 6056 (java) S 5999 6002 998 0 -1 1077944384 21654 13540 0 0 1263 60 5 3 20 0 15 0 445332702 11107315712 100188 33554432000 4194304 4196468 140729720715264 139878292700048 139878288467669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21176320 140729720720111 140729720722629 140729720722629 140729720725455 0
[pid=6002/tid=6057] ppid=5999 vsize=10846988 memory=400752 CPUtime=13.25 cores=0,2,4,6
/proc/6002/task/6057/stat : 6057 (java) S 5999 6002 998 0 -1 1077944384 20618 13540 0 0 1259 58 5 3 20 0 15 0 445332702 11107315712 100188 33554432000 4194304 4196468 140729720715264 139877861919504 139878288467669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21176320 140729720720111 140729720722629 140729720722629 140729720725455 0
[pid=6002/tid=6058] ppid=5999 vsize=10846988 memory=3580 CPUtime=13.28 cores=0,2,4,6
/proc/6002/task/6058/stat : 6058 (java) S 5999 6002 998 0 -1 1077944384 20560 13540 0 0 1262 58 5 3 20 0 15 0 445332702 11107315712 100188 33554432000 4194304 4196468 140729720715264 139877860867216 139878288467669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21176320 140729720720111 140729720722629 140729720722629 140729720725455 0
[pid=6002/tid=6059] ppid=5999 vsize=10846988 memory=394912 CPUtime=13.26 cores=0,2,4,6
/proc/6002/task/6059/stat : 6059 (java) S 5999 6002 998 0 -1 1077944384 21670 13540 0 0 1256 62 5 3 20 0 15 0 445332702 11107315712 100188 33554432000 4194304 4196468 140729720715264 139877859814416 139878288467669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21176320 140729720720111 140729720722629 140729720722629 140729720725455 0
[pid=6002/tid=6060] ppid=5999 vsize=10846988 memory=400752 CPUtime=9.88 cores=0,2,4,6
/proc/6002/task/6060/stat : 6060 (java) S 5999 6002 998 0 -1 1077944384 16437 13540 0 0 899 81 5 3 20 0 15 0 445332703 11107315712 100188 33554432000 4194304 4196468 140729720715264 139877748000880 139878288468610 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21176320 140729720720111 140729720722629 140729720722629 140729720725455 0
[pid=6002/tid=6061] ppid=5999 vsize=10846988 memory=656 CPUtime=0.08 cores=0,2,4,6
/proc/6002/task/6061/stat : 6061 (java) S 5999 6002 998 0 -1 1077944384 42 13540 0 0 0 0 5 3 20 0 15 0 445332704 11107315712 100188 33554432000 4194304 4196468 140729720715264 139877746946976 139878288467669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21176320 140729720720111 140729720722629 140729720722629 140729720725455 0
[pid=6002/tid=6062] ppid=5999 vsize=10846988 memory=380392 CPUtime=0.08 cores=0,2,4,6
/proc/6002/task/6062/stat : 6062 (java) S 5999 6002 998 0 -1 1077944384 5 13540 0 0 0 0 5 3 20 0 15 0 445332704 11107315712 100188 33554432000 4194304 4196468 140729720715264 139877622473856 139878288467669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21176320 140729720720111 140729720722629 140729720722629 140729720725455 0
[pid=6002/tid=6063] ppid=5999 vsize=10846988 memory=1432 CPUtime=0.08 cores=0,2,4,6
/proc/6002/task/6063/stat : 6063 (java) S 5999 6002 998 0 -1 1077944384 2 13540 0 0 0 0 5 3 20 0 15 0 445332707 11107315712 100188 33554432000 4194304 4196468 140729720715264 139877018495056 139878288476059 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21176320 140729720720111 140729720722629 140729720722629 140729720725455 0
[pid=6002/tid=6064] ppid=5999 vsize=10846988 memory=400752 CPUtime=4.16 cores=0,2,4,6
/proc/6002/task/6064/stat : 6064 (java) S 5999 6002 998 0 -1 1077944384 20039 13540 0 0 405 3 5 3 20 0 15 0 445332707 11107315712 100188 33554432000 4194304 4196468 140729720715264 139877713390192 139878288468610 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21176320 140729720720111 140729720722629 140729720722629 140729720725455 0
[pid=6002/tid=6065] ppid=5999 vsize=10846988 memory=3580 CPUtime=4.45 cores=0,2,4,6
/proc/6002/task/6065/stat : 6065 (java) S 5999 6002 998 0 -1 1077944384 20368 13540 0 0 435 2 5 3 20 0 15 0 445332707 11107315712 100188 33554432000 4194304 4196468 140729720715264 139877712337392 139878288468610 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21176320 140729720720111 140729720722629 140729720722629 140729720725455 0
[pid=6002/tid=6066] ppid=5999 vsize=10846988 memory=400752 CPUtime=1.97 cores=0,2,4,6
/proc/6002/task/6066/stat : 6066 (java) S 5999 6002 998 0 -1 1077944384 16441 13540 0 0 185 4 5 3 20 0 15 0 445332707 11107315712 100188 33554432000 4194304 4196468 140729720715264 139877711285104 139878288468610 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21176320 140729720720111 140729720722629 140729720722629 140729720725455 0
[pid=6002/tid=6067] ppid=5999 vsize=10846988 memory=1432 CPUtime=0.08 cores=0,2,4,6
/proc/6002/task/6067/stat : 6067 (java) S 5999 6002 998 0 -1 1077944384 3 13540 0 0 0 0 5 3 20 0 15 0 445332707 11107315712 100188 33554432000 4194304 4196468 140729720715264 139876548733920 139878288467669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21176320 140729720720111 140729720722629 140729720722629 140729720725455 0
[pid=6002/tid=6068] ppid=5999 vsize=10846988 memory=988 CPUtime=1.43 cores=0,2,4,6
/proc/6002/task/6068/stat : 6068 (java) S 5999 6002 998 0 -1 1077944384 1187 13540 0 0 65 70 5 3 20 0 15 0 445332707 11107315712 100188 33554432000 4194304 4196468 140729720715264 139877710231984 139878288468610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21176320 140729720720111 140729720722629 140729720722629 140729720725455 0
Current children cumulated CPU time: 2431.09 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 400752 KiB
[startup+2442.3 s]
/proc/loadavg: 1.59 1.59 1.47 3/230 6572
/proc/meminfo: memFree=27142444/32770624 swapFree=66998756/67108860
[pid=6002] ppid=5999 vsize=10846988 memory=384208 CPUtime=2492.19 cores=0,2,4,6
/proc/6002/stat : 6002 (java) S 5999 6002 998 0 -1 1077944320 296172 13540 0 0 248782 429 5 3 20 0 15 0 445332692 11107315712 96052 33554432000 4194304 4196468 140729720715264 140729720697808 139878288457463 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21176320 140729720720111 140729720722629 140729720722629 140729720725455 0
/proc/6002/statm: 2711747 96052 3631 1 0 2673805 0
[pid=6002/tid=6055] ppid=5999 vsize=10846988 memory=384208 CPUtime=2416.04 cores=0,2,4,6
/proc/6002/task/6055/stat : 6055 (java) R 5999 6002 998 0 -1 4202560 132680 13540 0 0 241520 76 5 3 20 0 15 0 445332701 11107315712 96052 33554432000 4194304 4196468 140729720715264 139878260293152 139877908752196 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21176320 140729720720111 140729720722629 140729720722629 140729720725455 0
[pid=6002/tid=6056] ppid=5999 vsize=10846988 memory=376196 CPUtime=13.68 cores=0,2,4,6
/proc/6002/task/6056/stat : 6056 (java) S 5999 6002 998 0 -1 1077944384 22201 13540 0 0 1298 62 5 3 20 0 15 0 445332702 11107315712 96052 33554432000 4194304 4196468 140729720715264 139878292700048 139878288467669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21176320 140729720720111 140729720722629 140729720722629 140729720725455 0
[pid=6002/tid=6057] ppid=5999 vsize=10846988 memory=379276 CPUtime=13.63 cores=0,2,4,6
/proc/6002/task/6057/stat : 6057 (java) S 5999 6002 998 0 -1 1077944384 21081 13540 0 0 1295 60 5 3 20 0 15 0 445332702 11107315712 96052 33554432000 4194304 4196468 140729720715264 139877861919504 139878288467669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21176320 140729720720111 140729720722629 140729720722629 140729720725455 0
[pid=6002/tid=6058] ppid=5999 vsize=10846988 memory=378248 CPUtime=13.66 cores=0,2,4,6
/proc/6002/task/6058/stat : 6058 (java) S 5999 6002 998 0 -1 1077944384 21178 13540 0 0 1298 60 5 3 20 0 15 0 445332702 11107315712 96052 33554432000 4194304 4196468 140729720715264 139877860867216 139878288467669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21176320 140729720720111 140729720722629 140729720722629 140729720725455 0
[pid=6002/tid=6059] ppid=5999 vsize=10846988 memory=378252 CPUtime=13.63 cores=0,2,4,6
/proc/6002/task/6059/stat : 6059 (java) S 5999 6002 998 0 -1 1077944384 22066 13540 0 0 1292 63 5 3 20 0 15 0 445332702 11107315712 96052 33554432000 4194304 4196468 140729720715264 139877859814416 139878288467669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21176320 140729720720111 140729720722629 140729720722629 140729720725455 0
[pid=6002/tid=6060] ppid=5999 vsize=10846988 memory=382160 CPUtime=10.13 cores=0,2,4,6
/proc/6002/task/6060/stat : 6060 (java) R 5999 6002 998 0 -1 1077944384 16651 13540 0 0 922 83 5 3 20 0 15 0 445332703 11107315712 96052 33554432000 4194304 4196468 140729720715264 139877748000880 139878288468610 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21176320 140729720720111 140729720722629 140729720722629 140729720725455 0
[pid=6002/tid=6061] ppid=5999 vsize=10846988 memory=384208 CPUtime=0.08 cores=0,2,4,6
/proc/6002/task/6061/stat : 6061 (java) S 5999 6002 998 0 -1 1077944384 42 13540 0 0 0 0 5 3 20 0 15 0 445332704 11107315712 96052 33554432000 4194304 4196468 140729720715264 139877746946976 139878288467669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21176320 140729720720111 140729720722629 140729720722629 140729720725455 0
[pid=6002/tid=6062] ppid=5999 vsize=10846988 memory=383700 CPUtime=0.08 cores=0,2,4,6
/proc/6002/task/6062/stat : 6062 (java) S 5999 6002 998 0 -1 1077944384 5 13540 0 0 0 0 5 3 20 0 15 0 445332704 11107315712 96052 33554432000 4194304 4196468 140729720715264 139877622473856 139878288467669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21176320 140729720720111 140729720722629 140729720722629 140729720725455 0
[pid=6002/tid=6063] ppid=5999 vsize=10846988 memory=384208 CPUtime=0.08 cores=0,2,4,6
/proc/6002/task/6063/stat : 6063 (java) S 5999 6002 998 0 -1 1077944384 2 13540 0 0 0 0 5 3 20 0 15 0 445332707 11107315712 96052 33554432000 4194304 4196468 140729720715264 139877018495056 139878288476059 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21176320 140729720720111 140729720722629 140729720722629 140729720725455 0
[pid=6002/tid=6064] ppid=5999 vsize=10846988 memory=384208 CPUtime=4.16 cores=0,2,4,6
/proc/6002/task/6064/stat : 6064 (java) S 5999 6002 998 0 -1 1077944384 20041 13540 0 0 405 3 5 3 20 0 15 0 445332707 11107315712 96052 33554432000 4194304 4196468 140729720715264 139877713390192 139878288468610 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21176320 140729720720111 140729720722629 140729720722629 140729720725455 0
[pid=6002/tid=6065] ppid=5999 vsize=10846988 memory=3580 CPUtime=4.45 cores=0,2,4,6
/proc/6002/task/6065/stat : 6065 (java) S 5999 6002 998 0 -1 1077944384 20370 13540 0 0 435 2 5 3 20 0 15 0 445332707 11107315712 96052 33554432000 4194304 4196468 140729720715264 139877712337392 139878288468610 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21176320 140729720720111 140729720722629 140729720722629 140729720725455 0
[pid=6002/tid=6066] ppid=5999 vsize=10846988 memory=385768 CPUtime=1.97 cores=0,2,4,6
/proc/6002/task/6066/stat : 6066 (java) S 5999 6002 998 0 -1 1077944384 16443 13540 0 0 185 4 5 3 20 0 15 0 445332707 11107315712 96052 33554432000 4194304 4196468 140729720715264 139877711285104 139878288468610 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21176320 140729720720111 140729720722629 140729720722629 140729720725455 0
[pid=6002/tid=6067] ppid=5999 vsize=10846988 memory=384208 CPUtime=0.08 cores=0,2,4,6
/proc/6002/task/6067/stat : 6067 (java) S 5999 6002 998 0 -1 1077944384 3 13540 0 0 0 0 5 3 20 0 15 0 445332707 11107315712 96052 33554432000 4194304 4196468 140729720715264 139876548733920 139878288467669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21176320 140729720720111 140729720722629 140729720722629 140729720725455 0
[pid=6002/tid=6068] ppid=5999 vsize=10846988 memory=384208 CPUtime=1.47 cores=0,2,4,6
/proc/6002/task/6068/stat : 6068 (java) S 5999 6002 998 0 -1 1077944384 1204 13540 0 0 67 72 5 3 20 0 15 0 445332707 11107315712 96052 33554432000 4194304 4196468 140729720715264 139877710231984 139878288468610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21176320 140729720720111 140729720722629 140729720722629 140729720725455 0
Current children cumulated CPU time: 2492.19 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 384208 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2469.7 s]
/proc/loadavg: 1.59 1.59 1.47 3/229 6575
/proc/meminfo: memFree=27098728/32770624 swapFree=66998756/67108860
[pid=6002] ppid=5999 vsize=10846988 memory=409708 CPUtime=2520.07 cores=0,2,4,6
/proc/6002/stat : 6002 (java) S 5999 6002 998 0 -1 1077944320 299475 13540 0 0 251567 432 5 3 20 0 15 0 445332692 11107315712 102427 33554432000 4194304 4196468 140729720715264 140729720697808 139878288457463 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21176320 140729720720111 140729720722629 140729720722629 140729720725455 0
/proc/6002/statm: 2711747 102427 3631 1 0 2673805 0
[pid=6002/tid=6055] ppid=5999 vsize=10846988 memory=410220 CPUtime=2443.13 cores=0,2,4,6
/proc/6002/task/6055/stat : 6055 (java) R 5999 6002 998 0 -1 4202560 135210 13540 0 0 244229 76 5 3 20 0 15 0 445332701 11107315712 102427 33554432000 4194304 4196468 140729720715264 139878260291680 139877907496173 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21176320 140729720720111 140729720722629 140729720722629 140729720725455 0
[pid=6002/tid=6056] ppid=5999 vsize=10846988 memory=412784 CPUtime=13.84 cores=0,2,4,6
/proc/6002/task/6056/stat : 6056 (java) S 5999 6002 998 0 -1 1077944384 22396 13540 0 0 1313 63 5 3 20 0 15 0 445332702 11107315712 102427 33554432000 4194304 4196468 140729720715264 139878292700048 139878288467669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21176320 140729720720111 140729720722629 140729720722629 140729720725455 0
[pid=6002/tid=6057] ppid=5999 vsize=10846988 memory=411760 CPUtime=13.79 cores=0,2,4,6
/proc/6002/task/6057/stat : 6057 (java) S 5999 6002 998 0 -1 1077944384 21214 13540 0 0 1311 60 5 3 20 0 15 0 445332702 11107315712 102427 33554432000 4194304 4196468 140729720715264 139877861919504 139878288467669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21176320 140729720720111 140729720722629 140729720722629 140729720725455 0
[pid=6002/tid=6058] ppid=5999 vsize=10846988 memory=407316 CPUtime=13.83 cores=0,2,4,6
/proc/6002/task/6058/stat : 6058 (java) S 5999 6002 998 0 -1 1077944384 21368 13540 0 0 1315 60 5 3 20 0 15 0 445332702 11107315712 102427 33554432000 4194304 4196468 140729720715264 139877860867216 139878288467669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21176320 140729720720111 140729720722629 140729720722629 140729720725455 0
[pid=6002/tid=6059] ppid=5999 vsize=10846988 memory=988 CPUtime=13.8 cores=0,2,4,6
/proc/6002/task/6059/stat : 6059 (java) S 5999 6002 998 0 -1 1077944384 22297 13540 0 0 1309 63 5 3 20 0 15 0 445332702 11107315712 102427 33554432000 4194304 4196468 140729720715264 139877859814416 139878288467669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21176320 140729720720111 140729720722629 140729720722629 140729720725455 0
[pid=6002/tid=6060] ppid=5999 vsize=10846988 memory=399132 CPUtime=10.24 cores=0,2,4,6
/proc/6002/task/6060/stat : 6060 (java) S 5999 6002 998 0 -1 1077944384 16675 13540 0 0 932 84 5 3 20 0 15 0 445332703 11107315712 102427 33554432000 4194304 4196468 140729720715264 139877748000880 139878288468610 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21176320 140729720720111 140729720722629 140729720722629 140729720725455 0
[pid=6002/tid=6061] ppid=5999 vsize=10846988 memory=400752 CPUtime=0.08 cores=0,2,4,6
/proc/6002/task/6061/stat : 6061 (java) S 5999 6002 998 0 -1 1077944384 42 13540 0 0 0 0 5 3 20 0 15 0 445332704 11107315712 102427 33554432000 4194304 4196468 140729720715264 139877746946976 139878288467669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21176320 140729720720111 140729720722629 140729720722629 140729720725455 0
[pid=6002/tid=6062] ppid=5999 vsize=10846988 memory=409736 CPUtime=0.08 cores=0,2,4,6
/proc/6002/task/6062/stat : 6062 (java) S 5999 6002 998 0 -1 1077944384 5 13540 0 0 0 0 5 3 20 0 15 0 445332704 11107315712 102427 33554432000 4194304 4196468 140729720715264 139877622473856 139878288467669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21176320 140729720720111 140729720722629 140729720722629 140729720725455 0
[pid=6002/tid=6063] ppid=5999 vsize=10846988 memory=410220 CPUtime=0.08 cores=0,2,4,6
/proc/6002/task/6063/stat : 6063 (java) S 5999 6002 998 0 -1 1077944384 2 13540 0 0 0 0 5 3 20 0 15 0 445332707 11107315712 102427 33554432000 4194304 4196468 140729720715264 139877018495056 139878288476059 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21176320 140729720720111 140729720722629 140729720722629 140729720725455 0
[pid=6002/tid=6064] ppid=5999 vsize=10846988 memory=384208 CPUtime=4.16 cores=0,2,4,6
/proc/6002/task/6064/stat : 6064 (java) S 5999 6002 998 0 -1 1077944384 20041 13540 0 0 405 3 5 3 20 0 15 0 445332707 11107315712 102427 33554432000 4194304 4196468 140729720715264 139877713390192 139878288468610 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21176320 140729720720111 140729720722629 140729720722629 140729720725455 0
[pid=6002/tid=6065] ppid=5999 vsize=10846988 memory=410732 CPUtime=4.45 cores=0,2,4,6
/proc/6002/task/6065/stat : 6065 (java) S 5999 6002 998 0 -1 1077944384 20370 13540 0 0 435 2 5 3 20 0 15 0 445332707 11107315712 102427 33554432000 4194304 4196468 140729720715264 139877712337392 139878288468610 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21176320 140729720720111 140729720722629 140729720722629 140729720725455 0
[pid=6002/tid=6066] ppid=5999 vsize=10846988 memory=411248 CPUtime=1.97 cores=0,2,4,6
/proc/6002/task/6066/stat : 6066 (java) S 5999 6002 998 0 -1 1077944384 16443 13540 0 0 185 4 5 3 20 0 15 0 445332707 11107315712 102427 33554432000 4194304 4196468 140729720715264 139877711285104 139878288468610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21176320 140729720720111 140729720722629 140729720722629 140729720725455 0
[pid=6002/tid=6067] ppid=5999 vsize=10846988 memory=411760 CPUtime=0.08 cores=0,2,4,6
/proc/6002/task/6067/stat : 6067 (java) S 5999 6002 998 0 -1 1077944384 3 13540 0 0 0 0 5 3 20 0 15 0 445332707 11107315712 102427 33554432000 4194304 4196468 140729720715264 139876548733920 139878288467669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21176320 140729720720111 140729720722629 140729720722629 140729720725455 0
[pid=6002/tid=6068] ppid=5999 vsize=10846988 memory=412272 CPUtime=1.48 cores=0,2,4,6
/proc/6002/task/6068/stat : 6068 (java) S 5999 6002 998 0 -1 1077944384 1204 13540 0 0 68 72 5 3 20 0 15 0 445332707 11107315712 102427 33554432000 4194304 4196468 140729720715264 139877710231984 139878288468610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21176320 140729720720111 140729720722629 140729720722629 140729720725455 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 409708 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2469.73 s]
# the end of solver process 6002 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2515.74 s, system=4.37335 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2469.7 s]
/proc/loadavg: 1.59 1.59 1.47 3/229 6575
/proc/meminfo: memFree=27098728/32770624 swapFree=66998756/67108860
[pid=6002] ppid=5999 vsize=10846988 memory=409708 CPUtime=2520.07 cores=0,2,4,6
/proc/6002/stat : 6002 (java) S 5999 6002 998 0 -1 1077944320 299475 13540 0 0 251567 432 5 3 20 0 15 0 445332692 11107315712 102427 33554432000 4194304 4196468 140729720715264 140729720697808 139878288457463 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21176320 140729720720111 140729720722629 140729720722629 140729720725455 0
/proc/6002/statm: 2711747 102427 3631 1 0 2673805 0
[pid=6002/tid=6055] ppid=5999 vsize=10846988 memory=410220 CPUtime=2443.13 cores=0,2,4,6
/proc/6002/task/6055/stat : 6055 (java) R 5999 6002 998 0 -1 4202560 135210 13540 0 0 244229 76 5 3 20 0 15 0 445332701 11107315712 102427 33554432000 4194304 4196468 140729720715264 139878260291680 139877907496173 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21176320 140729720720111 140729720722629 140729720722629 140729720725455 0
[pid=6002/tid=6056] ppid=5999 vsize=10846988 memory=412784 CPUtime=13.84 cores=0,2,4,6
/proc/6002/task/6056/stat : 6056 (java) S 5999 6002 998 0 -1 1077944384 22396 13540 0 0 1313 63 5 3 20 0 15 0 445332702 11107315712 102427 33554432000 4194304 4196468 140729720715264 139878292700048 139878288467669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21176320 140729720720111 140729720722629 140729720722629 140729720725455 0
[pid=6002/tid=6057] ppid=5999 vsize=10846988 memory=411760 CPUtime=13.79 cores=0,2,4,6
/proc/6002/task/6057/stat : 6057 (java) S 5999 6002 998 0 -1 1077944384 21214 13540 0 0 1311 60 5 3 20 0 15 0 445332702 11107315712 102427 33554432000 4194304 4196468 140729720715264 139877861919504 139878288467669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21176320 140729720720111 140729720722629 140729720722629 140729720725455 0
[pid=6002/tid=6058] ppid=5999 vsize=10846988 memory=407316 CPUtime=13.83 cores=0,2,4,6
/proc/6002/task/6058/stat : 6058 (java) S 5999 6002 998 0 -1 1077944384 21368 13540 0 0 1315 60 5 3 20 0 15 0 445332702 11107315712 102427 33554432000 4194304 4196468 140729720715264 139877860867216 139878288467669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21176320 140729720720111 140729720722629 140729720722629 140729720725455 0
[pid=6002/tid=6059] ppid=5999 vsize=10846988 memory=988 CPUtime=13.8 cores=0,2,4,6
/proc/6002/task/6059/stat : 6059 (java) S 5999 6002 998 0 -1 1077944384 22297 13540 0 0 1309 63 5 3 20 0 15 0 445332702 11107315712 102427 33554432000 4194304 4196468 140729720715264 139877859814416 139878288467669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21176320 140729720720111 140729720722629 140729720722629 140729720725455 0
[pid=6002/tid=6060] ppid=5999 vsize=10846988 memory=399132 CPUtime=10.24 cores=0,2,4,6
/proc/6002/task/6060/stat : 6060 (java) S 5999 6002 998 0 -1 1077944384 16675 13540 0 0 932 84 5 3 20 0 15 0 445332703 11107315712 102427 33554432000 4194304 4196468 140729720715264 139877748000880 139878288468610 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21176320 140729720720111 140729720722629 140729720722629 140729720725455 0
[pid=6002/tid=6061] ppid=5999 vsize=10846988 memory=400752 CPUtime=0.08 cores=0,2,4,6
/proc/6002/task/6061/stat : 6061 (java) S 5999 6002 998 0 -1 1077944384 42 13540 0 0 0 0 5 3 20 0 15 0 445332704 11107315712 102427 33554432000 4194304 4196468 140729720715264 139877746946976 139878288467669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21176320 140729720720111 140729720722629 140729720722629 140729720725455 0
[pid=6002/tid=6062] ppid=5999 vsize=10846988 memory=409736 CPUtime=0.08 cores=0,2,4,6
/proc/6002/task/6062/stat : 6062 (java) S 5999 6002 998 0 -1 1077944384 5 13540 0 0 0 0 5 3 20 0 15 0 445332704 11107315712 102427 33554432000 4194304 4196468 140729720715264 139877622473856 139878288467669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21176320 140729720720111 140729720722629 140729720722629 140729720725455 0
[pid=6002/tid=6063] ppid=5999 vsize=10846988 memory=410220 CPUtime=0.08 cores=0,2,4,6
/proc/6002/task/6063/stat : 6063 (java) S 5999 6002 998 0 -1 1077944384 2 13540 0 0 0 0 5 3 20 0 15 0 445332707 11107315712 102427 33554432000 4194304 4196468 140729720715264 139877018495056 139878288476059 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21176320 140729720720111 140729720722629 140729720722629 140729720725455 0
[pid=6002/tid=6064] ppid=5999 vsize=10846988 memory=384208 CPUtime=4.16 cores=0,2,4,6
/proc/6002/task/6064/stat : 6064 (java) S 5999 6002 998 0 -1 1077944384 20041 13540 0 0 405 3 5 3 20 0 15 0 445332707 11107315712 102427 33554432000 4194304 4196468 140729720715264 139877713390192 139878288468610 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21176320 140729720720111 140729720722629 140729720722629 140729720725455 0
[pid=6002/tid=6065] ppid=5999 vsize=10846988 memory=410732 CPUtime=4.45 cores=0,2,4,6
/proc/6002/task/6065/stat : 6065 (java) S 5999 6002 998 0 -1 1077944384 20370 13540 0 0 435 2 5 3 20 0 15 0 445332707 11107315712 102427 33554432000 4194304 4196468 140729720715264 139877712337392 139878288468610 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21176320 140729720720111 140729720722629 140729720722629 140729720725455 0
[pid=6002/tid=6066] ppid=5999 vsize=10846988 memory=411248 CPUtime=1.97 cores=0,2,4,6
/proc/6002/task/6066/stat : 6066 (java) S 5999 6002 998 0 -1 1077944384 16443 13540 0 0 185 4 5 3 20 0 15 0 445332707 11107315712 102427 33554432000 4194304 4196468 140729720715264 139877711285104 139878288468610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21176320 140729720720111 140729720722629 140729720722629 140729720725455 0
[pid=6002/tid=6067] ppid=5999 vsize=10846988 memory=411760 CPUtime=0.08 cores=0,2,4,6
/proc/6002/task/6067/stat : 6067 (java) S 5999 6002 998 0 -1 1077944384 3 13540 0 0 0 0 5 3 20 0 15 0 445332707 11107315712 102427 33554432000 4194304 4196468 140729720715264 139876548733920 139878288467669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21176320 140729720720111 140729720722629 140729720722629 140729720725455 0
[pid=6002/tid=6068] ppid=5999 vsize=10846988 memory=412272 CPUtime=1.48 cores=0,2,4,6
/proc/6002/task/6068/stat : 6068 (java) S 5999 6002 998 0 -1 1077944384 1204 13540 0 0 68 72 5 3 20 0 15 0 445332707 11107315712 102427 33554432000 4194304 4196468 140729720715264 139877710231984 139878288468610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21176320 140729720720111 140729720722629 140729720722629 140729720725455 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 409708 KiB
Child status: 143
Real time (s): 2469.73
CPU time (s): 2520.12
CPU user time (s): 2515.74
CPU system time (s): 4.37335
CPU usage (%): 102.04
Max. virtual memory (cumulated for all children) (KiB): 10846988
Max. memory (cumulated for all children) (KiB): 1795916
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.74
system time used= 4.37335
maximum resident set size= 1797456
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 313926
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2896
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 267760
involuntary context switches= 8388
# summary of solver processes directly reported to runsolver:
# pid: 6002
# total CPU time (s): 2520.12
# total CPU user time (s): 2515.74
# total CPU system time (s): 4.37335
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.5205 second user time and 23.8589 second system time
The end