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 (1909 MiB free)
memory of node 1: 16384 MiB (2417 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4402701-1568971379/watcher-4402701-1568971379 -o /tmp/evaluation-result-4402701-1568971379/solver-4402701-1568971379 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1568967599-29765 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=251912797 HOME/instance-4402701-1568971379.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=30748, runsolver pid=30745
Current StackSize limit: 8192 KiB
[startup+0.109818 s]*
/proc/loadavg: 1.32 1.40 1.41 3/220 30806
/proc/meminfo: memFree=4423704/32770624 swapFree=67002104/67108860
[pid=30748] ppid=30745 vsize=10355560 memory=18812 CPUtime=0.09 cores=1,3,5,7
/proc/30748/stat : 30748 (java) S 30745 30748 29733 0 -1 1077944320 5006 13385 0 0 2 0 5 2 20 0 9 0 473299457 10604093440 4703 33554432000 4194304 4196468 140723983435680 140723983418224 139880572395255 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26324992 140723983440624 140723983443141 140723983443141 140723983445967 0
/proc/30748/statm: 2588890 4703 2102 1 0 2551431 0
[pid=30748/tid=30801] ppid=30745 vsize=10355560 memory=720575944405811505 CPUtime=0.08 cores=1,3,5,7
/proc/30748/task/30801/stat : 30801 (java) R 30745 30748 29733 0 -1 4202560 2763 13385 0 0 1 0 5 2 20 0 9 0 473299465 10604093440 4703 33554432000 4194304 4196468 140723983435680 139880544231280 139880564632382 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26324992 140723983440624 140723983443141 140723983443141 140723983445967 0
[pid=30748/tid=30802] ppid=30745 vsize=10355560 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/30748/task/30802/stat : 30802 (java) S 30745 30748 29733 0 -1 1077944384 2 13385 0 0 0 0 5 2 20 0 9 0 473299466 10604093440 4703 33554432000 4194304 4196468 140723983435680 139880576637584 139880572405461 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26324992 140723983440624 140723983443141 140723983443141 140723983445967 0
[pid=30748/tid=30803] ppid=30745 vsize=10355560 memory=288370548788881024 CPUtime=0.07 cores=1,3,5,7
/proc/30748/task/30803/stat : 30803 (java) S 30745 30748 29733 0 -1 1077944384 1 13385 0 0 0 0 5 2 20 0 9 0 473299466 10604093440 4703 33554432000 4194304 4196468 140723983435680 139880145750544 139880572405461 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26324992 140723983440624 140723983443141 140723983443141 140723983445967 0
[pid=30748/tid=30804] ppid=30745 vsize=10355560 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/30748/task/30804/stat : 30804 (java) S 30745 30748 29733 0 -1 1077944384 1 13385 0 0 0 0 5 2 20 0 9 0 473299466 10604093440 4703 33554432000 4194304 4196468 140723983435680 139880144697744 139880572405461 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26324992 140723983440624 140723983443141 140723983443141 140723983445967 0
[pid=30748/tid=30805] ppid=30745 vsize=10355560 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/30748/task/30805/stat : 30805 (java) S 30745 30748 29733 0 -1 1077944384 1 13385 0 0 0 0 5 2 20 0 9 0 473299466 10604093440 4703 33554432000 4194304 4196468 140723983435680 139880143644944 139880572405461 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26324992 140723983440624 140723983443141 140723983443141 140723983445967 0
[pid=30748/tid=30806] ppid=30745 vsize=10355560 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/30748/task/30806/stat : 30806 (java) S 30745 30748 29733 0 -1 1077944384 2 13385 0 0 0 0 5 2 20 0 9 0 473299468 10604093440 4703 33554432000 4194304 4196468 140723983435680 139880031943536 139880572406402 0 0 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26324992 140723983440624 140723983443141 140723983443141 140723983445967 0
[pid=30748/tid=30807] ppid=30745 vsize=10355560 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/30748/task/30807/stat : 30807 (java) S 30745 30748 29733 0 -1 1077944384 33 13385 0 0 0 0 5 2 20 0 9 0 473299468 10604093440 4703 33554432000 4194304 4196468 140723983435680 139880030889504 139880572405461 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26324992 140723983440624 140723983443141 140723983443141 140723983445967 0
[pid=30748/tid=30808] ppid=30745 vsize=10355560 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/30748/task/30808/stat : 30808 (java) S 30745 30748 29733 0 -1 1077944384 1 13385 0 0 0 0 5 2 20 0 9 0 473299468 10604093440 4703 33554432000 4194304 4196468 140723983435680 139879434413488 139880572405461 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26324992 140723983440624 140723983443141 140723983443141 140723983445967 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10355560 KiB
Current children cumulated memory: 18812 KiB
[startup+0.212853 s]*
/proc/loadavg: 1.32 1.40 1.41 3/228 30814
/proc/meminfo: memFree=4405416/32770624 swapFree=67002104/67108860
[pid=30748] ppid=30745 vsize=10820196 memory=39696 CPUtime=0.26 cores=1,3,5,7
/proc/30748/stat : 30748 (java) S 30745 30748 29733 0 -1 1077944320 7878 13385 0 0 18 1 5 2 20 0 15 0 473299457 11079880704 9924 33554432000 4194304 4196468 140723983435680 140723983418224 139880572395255 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26324992 140723983440624 140723983443141 140723983443141 140723983445967 0
/proc/30748/statm: 2705049 9924 3314 1 0 2667149 0
[pid=30748/tid=30801] ppid=30745 vsize=10820196 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/30748/task/30801/stat : 30801 (java) R 30745 30748 29733 0 -1 4202560 4264 13385 0 0 11 1 5 2 20 0 15 0 473299465 11079880704 9924 33554432000 4194304 4196468 140723983435680 139880544209440 139880572417181 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26324992 140723983440624 140723983443141 140723983443141 140723983445967 0
[pid=30748/tid=30802] ppid=30745 vsize=10820196 memory=345 CPUtime=0.07 cores=1,3,5,7
/proc/30748/task/30802/stat : 30802 (java) S 30745 30748 29733 0 -1 1077944384 2 13385 0 0 0 0 5 2 20 0 15 0 473299466 11079880704 9924 33554432000 4194304 4196468 140723983435680 139880576637584 139880572405461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26324992 140723983440624 140723983443141 140723983443141 140723983445967 0
[pid=30748/tid=30803] ppid=30745 vsize=10820196 memory=140172637198877 CPUtime=0.07 cores=1,3,5,7
/proc/30748/task/30803/stat : 30803 (java) S 30745 30748 29733 0 -1 1077944384 1 13385 0 0 0 0 5 2 20 0 15 0 473299466 11079880704 9924 33554432000 4194304 4196468 140723983435680 139880145750544 139880572405461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26324992 140723983440624 140723983443141 140723983443141 140723983445967 0
[pid=30748/tid=30804] ppid=30745 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/30748/task/30804/stat : 30804 (java) S 30745 30748 29733 0 -1 1077944384 1 13385 0 0 0 0 5 2 20 0 15 0 473299466 11079880704 9924 33554432000 4194304 4196468 140723983435680 139880144697744 139880572405461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26324992 140723983440624 140723983443141 140723983443141 140723983445967 0
[pid=30748/tid=30805] ppid=30745 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/30748/task/30805/stat : 30805 (java) S 30745 30748 29733 0 -1 1077944384 1 13385 0 0 0 0 5 2 20 0 15 0 473299466 11079880704 9924 33554432000 4194304 4196468 140723983435680 139880143644944 139880572405461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26324992 140723983440624 140723983443141 140723983443141 140723983445967 0
[pid=30748/tid=30806] ppid=30745 vsize=10820196 memory=140172637169280 CPUtime=0.07 cores=1,3,5,7
/proc/30748/task/30806/stat : 30806 (java) S 30745 30748 29733 0 -1 1077944384 2 13385 0 0 0 0 5 2 20 0 15 0 473299468 11079880704 9924 33554432000 4194304 4196468 140723983435680 139880031943536 139880572406402 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26324992 140723983440624 140723983443141 140723983443141 140723983445967 0
[pid=30748/tid=30807] ppid=30745 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/30748/task/30807/stat : 30807 (java) S 30745 30748 29733 0 -1 1077944384 33 13385 0 0 0 0 5 2 20 0 15 0 473299468 11079880704 9924 33554432000 4194304 4196468 140723983435680 139880030889504 139880572405461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26324992 140723983440624 140723983443141 140723983443141 140723983445967 0
[pid=30748/tid=30808] ppid=30745 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/30748/task/30808/stat : 30808 (java) S 30745 30748 29733 0 -1 1077944384 1 13385 0 0 0 0 5 2 20 0 15 0 473299468 11079880704 9924 33554432000 4194304 4196468 140723983435680 139879434413424 139880572405461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26324992 140723983440624 140723983443141 140723983443141 140723983445967 0
[pid=30748/tid=30809] ppid=30745 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/30748/task/30809/stat : 30809 (java) S 30745 30748 29733 0 -1 1077944384 3 13385 0 0 0 0 5 2 20 0 15 0 473299471 11079880704 9924 33554432000 4194304 4196468 140723983435680 139879127013712 139880572413851 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26324992 140723983440624 140723983443141 140723983443141 140723983445967 0
[pid=30748/tid=30810] ppid=30745 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/30748/task/30810/stat : 30810 (java) S 30745 30748 29733 0 -1 1077944384 348 13385 0 0 1 0 5 2 20 0 15 0 473299471 11079880704 9924 33554432000 4194304 4196468 140723983435680 139879997331824 139880572406402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26324992 140723983440624 140723983443141 140723983443141 140723983445967 0
[pid=30748/tid=30811] ppid=30745 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/30748/task/30811/stat : 30811 (java) S 30745 30748 29733 0 -1 1077944384 334 13385 0 0 1 0 5 2 20 0 15 0 473299471 11079880704 9924 33554432000 4194304 4196468 140723983435680 139879996279024 139880572406402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26324992 140723983440624 140723983443141 140723983443141 140723983445967 0
[pid=30748/tid=30812] ppid=30745 vsize=10820196 memory=140172637169280 CPUtime=0.1 cores=1,3,5,7
/proc/30748/task/30812/stat : 30812 (java) S 30745 30748 29733 0 -1 1077944384 675 13385 0 0 3 0 5 2 20 0 15 0 473299471 11079880704 9924 33554432000 4194304 4196468 140723983435680 139879995226224 139880572406402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26324992 140723983440624 140723983443141 140723983443141 140723983445967 0
[pid=30748/tid=30813] ppid=30745 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/30748/task/30813/stat : 30813 (java) S 30745 30748 29733 0 -1 1077944384 3 13385 0 0 0 0 5 2 20 0 15 0 473299471 11079880704 9924 33554432000 4194304 4196468 140723983435680 139879093455072 139880572405461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26324992 140723983440624 140723983443141 140723983443141 140723983445967 0
[pid=30748/tid=30814] ppid=30745 vsize=10820196 memory=140172637169280 CPUtime=0.07 cores=1,3,5,7
/proc/30748/task/30814/stat : 30814 (java) S 30745 30748 29733 0 -1 1077944384 1 13385 0 0 0 0 5 2 20 0 15 0 473299471 11079880704 9924 33554432000 4194304 4196468 140723983435680 139879994174640 139880572406402 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26324992 140723983440624 140723983443141 140723983443141 140723983445967 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 39696 KiB
[startup+0.310436 s]*
/proc/loadavg: 1.32 1.40 1.41 3/228 30814
/proc/meminfo: memFree=4395392/32770624 swapFree=67002104/67108860
[pid=30748] ppid=30745 vsize=10820196 memory=48136 CPUtime=0.39 cores=1,3,5,7
/proc/30748/stat : 30748 (java) S 30745 30748 29733 0 -1 1077944320 11255 13385 0 0 29 3 5 2 20 0 15 0 473299457 11079880704 12034 33554432000 4194304 4196468 140723983435680 140723983418224 139880572395255 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26324992 140723983440624 140723983443141 140723983443141 140723983445967 0
/proc/30748/statm: 2705049 12034 3335 1 0 2667149 0
[pid=30748/tid=30801] ppid=30745 vsize=10820196 memory=1398722017469774279 CPUtime=0.29 cores=1,3,5,7
/proc/30748/task/30801/stat : 30801 (java) R 30745 30748 29733 0 -1 4202560 7596 13385 0 0 20 2 5 2 20 0 15 0 473299465 11079880704 12034 33554432000 4194304 4196468 140723983435680 139880544205392 139880558644198 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26324992 140723983440624 140723983443141 140723983443141 140723983445967 0
[pid=30748/tid=30802] ppid=30745 vsize=10820196 memory=-6957061461084680038 CPUtime=0.07 cores=1,3,5,7
/proc/30748/task/30802/stat : 30802 (java) S 30745 30748 29733 0 -1 1077944384 2 13385 0 0 0 0 5 2 20 0 15 0 473299466 11079880704 12034 33554432000 4194304 4196468 140723983435680 139880576637584 139880572405461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26324992 140723983440624 140723983443141 140723983443141 140723983445967 0
[pid=30748/tid=30803] ppid=30745 vsize=10820196 memory=-7737643479190322274 CPUtime=0.07 cores=1,3,5,7
/proc/30748/task/30803/stat : 30803 (java) S 30745 30748 29733 0 -1 1077944384 1 13385 0 0 0 0 5 2 20 0 15 0 473299466 11079880704 12034 33554432000 4194304 4196468 140723983435680 139880145750544 139880572405461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26324992 140723983440624 140723983443141 140723983443141 140723983445967 0
[pid=30748/tid=30804] ppid=30745 vsize=10820196 memory=140172637176273 CPUtime=0.07 cores=1,3,5,7
/proc/30748/task/30804/stat : 30804 (java) S 30745 30748 29733 0 -1 1077944384 1 13385 0 0 0 0 5 2 20 0 15 0 473299466 11079880704 12034 33554432000 4194304 4196468 140723983435680 139880144697744 139880572405461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26324992 140723983440624 140723983443141 140723983443141 140723983445967 0
[pid=30748/tid=30805] ppid=30745 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/30748/task/30805/stat : 30805 (java) S 30745 30748 29733 0 -1 1077944384 1 13385 0 0 0 0 5 2 20 0 15 0 473299466 11079880704 12034 33554432000 4194304 4196468 140723983435680 139880143644944 139880572405461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26324992 140723983440624 140723983443141 140723983443141 140723983445967 0
[pid=30748/tid=30806] ppid=30745 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/30748/task/30806/stat : 30806 (java) S 30745 30748 29733 0 -1 1077944384 2 13385 0 0 0 0 5 2 20 0 15 0 473299468 11079880704 12034 33554432000 4194304 4196468 140723983435680 139880031943536 139880572406402 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26324992 140723983440624 140723983443141 140723983443141 140723983445967 0
[pid=30748/tid=30807] ppid=30745 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/30748/task/30807/stat : 30807 (java) S 30745 30748 29733 0 -1 1077944384 33 13385 0 0 0 0 5 2 20 0 15 0 473299468 11079880704 12034 33554432000 4194304 4196468 140723983435680 139880030889504 139880572405461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26324992 140723983440624 140723983443141 140723983443141 140723983445967 0
[pid=30748/tid=30808] ppid=30745 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/30748/task/30808/stat : 30808 (java) S 30745 30748 29733 0 -1 1077944384 1 13385 0 0 0 0 5 2 20 0 15 0 473299468 11079880704 12034 33554432000 4194304 4196468 140723983435680 139879434413424 139880572405461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26324992 140723983440624 140723983443141 140723983443141 140723983445967 0
[pid=30748/tid=30809] ppid=30745 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/30748/task/30809/stat : 30809 (java) S 30745 30748 29733 0 -1 1077944384 3 13385 0 0 0 0 5 2 20 0 15 0 473299471 11079880704 12034 33554432000 4194304 4196468 140723983435680 139879127013712 139880572413851 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26324992 140723983440624 140723983443141 140723983443141 140723983445967 0
[pid=30748/tid=30810] ppid=30745 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/30748/task/30810/stat : 30810 (java) S 30745 30748 29733 0 -1 1077944384 354 13385 0 0 1 0 5 2 20 0 15 0 473299471 11079880704 12034 33554432000 4194304 4196468 140723983435680 139879997331824 139880572406402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26324992 140723983440624 140723983443141 140723983443141 140723983445967 0
[pid=30748/tid=30811] ppid=30745 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/30748/task/30811/stat : 30811 (java) S 30745 30748 29733 0 -1 1077944384 343 13385 0 0 1 0 5 2 20 0 15 0 473299471 11079880704 12034 33554432000 4194304 4196468 140723983435680 139879996279024 139880572406402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26324992 140723983440624 140723983443141 140723983443141 140723983445967 0
[pid=30748/tid=30812] ppid=30745 vsize=10820196 memory=140172637169280 CPUtime=0.12 cores=1,3,5,7
/proc/30748/task/30812/stat : 30812 (java) S 30745 30748 29733 0 -1 1077944384 705 13385 0 0 5 0 5 2 20 0 15 0 473299471 11079880704 12034 33554432000 4194304 4196468 140723983435680 139879995226224 139880572406402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26324992 140723983440624 140723983443141 140723983443141 140723983445967 0
[pid=30748/tid=30813] ppid=30745 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/30748/task/30813/stat : 30813 (java) S 30745 30748 29733 0 -1 1077944384 3 13385 0 0 0 0 5 2 20 0 15 0 473299471 11079880704 12034 33554432000 4194304 4196468 140723983435680 139879093455072 139880572405461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26324992 140723983440624 140723983443141 140723983443141 140723983445967 0
[pid=30748/tid=30814] ppid=30745 vsize=10820196 memory=140172637169280 CPUtime=0.07 cores=1,3,5,7
/proc/30748/task/30814/stat : 30814 (java) S 30745 30748 29733 0 -1 1077944384 1 13385 0 0 0 0 5 2 20 0 15 0 473299471 11079880704 12034 33554432000 4194304 4196468 140723983435680 139879994174640 139880572406402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26324992 140723983440624 140723983443141 140723983443141 140723983445967 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 48136 KiB
[startup+0.701094 s]
/proc/loadavg: 1.32 1.40 1.41 3/228 30814
/proc/meminfo: memFree=4379868/32770624 swapFree=67002104/67108860
[pid=30748] ppid=30745 vsize=10824364 memory=82984 CPUtime=1.14 cores=1,3,5,7
/proc/30748/stat : 30748 (java) S 30745 30748 29733 0 -1 1077944320 15464 13385 0 0 101 6 5 2 20 0 15 0 473299457 11084148736 20746 33554432000 4194304 4196468 140723983435680 140723983418224 139880572395255 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26324992 140723983440624 140723983443141 140723983443141 140723983445967 0
/proc/30748/statm: 2706091 20746 3509 1 0 2668173 0
[pid=30748/tid=30801] ppid=30745 vsize=10824364 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/30748/task/30801/stat : 30801 (java) R 30745 30748 29733 0 -1 4202560 10572 13385 0 0 56 3 5 2 20 0 15 0 473299465 11084148736 20746 33554432000 4194304 4196468 140723983435680 139880544224800 139880556475742 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26324992 140723983440624 140723983443141 140723983443141 140723983445967 0
[pid=30748/tid=30802] ppid=30745 vsize=10824364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/30748/task/30802/stat : 30802 (java) S 30745 30748 29733 0 -1 1077944384 2 13385 0 0 0 0 5 2 20 0 15 0 473299466 11084148736 20746 33554432000 4194304 4196468 140723983435680 139880576637584 139880572405461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26324992 140723983440624 140723983443141 140723983443141 140723983445967 0
[pid=30748/tid=30803] ppid=30745 vsize=10824364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/30748/task/30803/stat : 30803 (java) S 30745 30748 29733 0 -1 1077944384 1 13385 0 0 0 0 5 2 20 0 15 0 473299466 11084148736 20746 33554432000 4194304 4196468 140723983435680 139880145750544 139880572405461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26324992 140723983440624 140723983443141 140723983443141 140723983445967 0
[pid=30748/tid=30804] ppid=30745 vsize=10824364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/30748/task/30804/stat : 30804 (java) S 30745 30748 29733 0 -1 1077944384 1 13385 0 0 0 0 5 2 20 0 15 0 473299466 11084148736 20746 33554432000 4194304 4196468 140723983435680 139880144697744 139880572405461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26324992 140723983440624 140723983443141 140723983443141 140723983445967 0
[pid=30748/tid=30805] ppid=30745 vsize=10824364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/30748/task/30805/stat : 30805 (java) S 30745 30748 29733 0 -1 1077944384 1 13385 0 0 0 0 5 2 20 0 15 0 473299466 11084148736 20746 33554432000 4194304 4196468 140723983435680 139880143644944 139880572405461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26324992 140723983440624 140723983443141 140723983443141 140723983445967 0
[pid=30748/tid=30806] ppid=30745 vsize=10824364 memory=2832 CPUtime=0.07 cores=1,3,5,7
/proc/30748/task/30806/stat : 30806 (java) S 30745 30748 29733 0 -1 1077944384 5 13385 0 0 0 0 5 2 20 0 15 0 473299468 11084148736 20746 33554432000 4194304 4196468 140723983435680 139880031943536 139880572406402 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26324992 140723983440624 140723983443141 140723983443141 140723983445967 0
[pid=30748/tid=30807] ppid=30745 vsize=10824364 memory=776 CPUtime=0.07 cores=1,3,5,7
/proc/30748/task/30807/stat : 30807 (java) S 30745 30748 29733 0 -1 1077944384 33 13385 0 0 0 0 5 2 20 0 15 0 473299468 11084148736 20746 33554432000 4194304 4196468 140723983435680 139880030889504 139880572405461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26324992 140723983440624 140723983443141 140723983443141 140723983445967 0
[pid=30748/tid=30808] ppid=30745 vsize=10824364 memory=1160 CPUtime=0.07 cores=1,3,5,7
/proc/30748/task/30808/stat : 30808 (java) S 30745 30748 29733 0 -1 1077944384 1 13385 0 0 0 0 5 2 20 0 15 0 473299468 11084148736 20746 33554432000 4194304 4196468 140723983435680 139879434413424 139880572405461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26324992 140723983440624 140723983443141 140723983443141 140723983445967 0
[pid=30748/tid=30809] ppid=30745 vsize=10824364 memory=1716 CPUtime=0.07 cores=1,3,5,7
/proc/30748/task/30809/stat : 30809 (java) S 30745 30748 29733 0 -1 1077944384 3 13385 0 0 0 0 5 2 20 0 15 0 473299471 11084148736 20746 33554432000 4194304 4196468 140723983435680 139879127013712 139880572413851 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26324992 140723983440624 140723983443141 140723983443141 140723983445967 0
[pid=30748/tid=30810] ppid=30745 vsize=10824364 memory=1096 CPUtime=0.22 cores=1,3,5,7
/proc/30748/task/30810/stat : 30810 (java) R 30745 30748 29733 0 -1 4202560 860 13385 0 0 15 0 5 2 20 0 15 0 473299471 11084148736 20746 33554432000 4194304 4196468 140723983435680 139879997313392 139880553917902 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26324992 140723983440624 140723983443141 140723983443141 140723983445967 0
[pid=30748/tid=30811] ppid=30745 vsize=10824364 memory=6128 CPUtime=0.19 cores=1,3,5,7
/proc/30748/task/30811/stat : 30811 (java) S 30745 30748 29733 0 -1 1077944384 831 13385 0 0 12 0 5 2 20 0 15 0 473299471 11084148736 20746 33554432000 4194304 4196468 140723983435680 139879996279024 139880572406402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26324992 140723983440624 140723983443141 140723983443141 140723983445967 0
[pid=30748/tid=30812] ppid=30745 vsize=10824364 memory=14012 CPUtime=0.23 cores=1,3,5,7
/proc/30748/task/30812/stat : 30812 (java) S 30745 30748 29733 0 -1 1077944384 942 13385 0 0 16 0 5 2 20 0 15 0 473299471 11084148736 20746 33554432000 4194304 4196468 140723983435680 139879995226224 139880572406402 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26324992 140723983440624 140723983443141 140723983443141 140723983445967 0
[pid=30748/tid=30813] ppid=30745 vsize=10824364 memory=27308 CPUtime=0.07 cores=1,3,5,7
/proc/30748/task/30813/stat : 30813 (java) S 30745 30748 29733 0 -1 1077944384 3 13385 0 0 0 0 5 2 20 0 15 0 473299471 11084148736 20746 33554432000 4194304 4196468 140723983435680 139879093455072 139880572405461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26324992 140723983440624 140723983443141 140723983443141 140723983445967 0
[pid=30748/tid=30814] ppid=30745 vsize=10824364 memory=1940 CPUtime=0.07 cores=1,3,5,7
/proc/30748/task/30814/stat : 30814 (java) S 30745 30748 29733 0 -1 1077944384 1 13385 0 0 0 0 5 2 20 0 15 0 473299471 11084148736 20746 33554432000 4194304 4196468 140723983435680 139879994174640 139880572406402 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26324992 140723983440624 140723983443141 140723983443141 140723983445967 0
Current children cumulated CPU time: 1.14 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 82984 KiB
[startup+1.5011 s]
/proc/loadavg: 1.32 1.40 1.41 6/228 30814
/proc/meminfo: memFree=4323408/32770624 swapFree=67002104/67108860
[pid=30748] ppid=30745 vsize=10832632 memory=225740 CPUtime=3.37 cores=1,3,5,7
/proc/30748/stat : 30748 (java) S 30745 30748 29733 0 -1 1077944320 27781 13385 0 0 319 11 5 2 20 0 15 0 473299457 11092615168 56435 33554432000 4194304 4196468 140723983435680 140723983418224 139880572395255 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26324992 140723983440624 140723983443141 140723983443141 140723983445967 0
/proc/30748/statm: 2708158 56435 3597 1 0 2670221 0
[pid=30748/tid=30801] ppid=30745 vsize=10832632 memory=6791534058613427641 CPUtime=1.41 cores=1,3,5,7
/proc/30748/task/30801/stat : 30801 (java) R 30745 30748 29733 0 -1 4202560 15411 13385 0 0 127 7 5 2 20 0 15 0 473299465 11092615168 56435 33554432000 4194304 4196468 140723983435680 139880544228184 139880552329935 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26324992 140723983440624 140723983443141 140723983443141 140723983445967 0
[pid=30748/tid=30802] ppid=30745 vsize=10832632 memory=1448 CPUtime=0.1 cores=1,3,5,7
/proc/30748/task/30802/stat : 30802 (java) S 30745 30748 29733 0 -1 1077944384 195 13385 0 0 3 0 5 2 20 0 15 0 473299466 11092615168 56435 33554432000 4194304 4196468 140723983435680 139880576637584 139880572405461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26324992 140723983440624 140723983443141 140723983443141 140723983445967 0
[pid=30748/tid=30803] ppid=30745 vsize=10832632 memory=-6368199152461293614 CPUtime=0.09 cores=1,3,5,7
/proc/30748/task/30803/stat : 30803 (java) S 30745 30748 29733 0 -1 1077944384 36 13385 0 0 2 0 5 2 20 0 15 0 473299466 11092615168 56435 33554432000 4194304 4196468 140723983435680 139880145750544 139880572405461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26324992 140723983440624 140723983443141 140723983443141 140723983445967 0
[pid=30748/tid=30804] ppid=30745 vsize=10832632 memory=2324508702694522976 CPUtime=0.09 cores=1,3,5,7
/proc/30748/task/30804/stat : 30804 (java) S 30745 30748 29733 0 -1 1077944384 57 13385 0 0 2 0 5 2 20 0 15 0 473299466 11092615168 56435 33554432000 4194304 4196468 140723983435680 139880144697744 139880572405461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26324992 140723983440624 140723983443141 140723983443141 140723983445967 0
[pid=30748/tid=30805] ppid=30745 vsize=10832632 memory=4137287014106042739 CPUtime=0.1 cores=1,3,5,7
/proc/30748/task/30805/stat : 30805 (java) S 30745 30748 29733 0 -1 1077944384 69 13385 0 0 3 0 5 2 20 0 15 0 473299466 11092615168 56435 33554432000 4194304 4196468 140723983435680 139880143644944 139880572405461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26324992 140723983440624 140723983443141 140723983443141 140723983445967 0
[pid=30748/tid=30806] ppid=30745 vsize=10832632 memory=6933690287860520857 CPUtime=0.08 cores=1,3,5,7
/proc/30748/task/30806/stat : 30806 (java) S 30745 30748 29733 0 -1 1077944384 950 13385 0 0 1 0 5 2 20 0 15 0 473299468 11092615168 56435 33554432000 4194304 4196468 140723983435680 139880031943536 139880572406402 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26324992 140723983440624 140723983443141 140723983443141 140723983445967 0
[pid=30748/tid=30807] ppid=30745 vsize=10832632 memory=-8888568365131808707 CPUtime=0.07 cores=1,3,5,7
/proc/30748/task/30807/stat : 30807 (java) S 30745 30748 29733 0 -1 1077944384 33 13385 0 0 0 0 5 2 20 0 15 0 473299468 11092615168 56435 33554432000 4194304 4196468 140723983435680 139880030889568 139880572405461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26324992 140723983440624 140723983443141 140723983443141 140723983445967 0
[pid=30748/tid=30808] ppid=30745 vsize=10832632 memory=6791534058613427641 CPUtime=0.07 cores=1,3,5,7
/proc/30748/task/30808/stat : 30808 (java) S 30745 30748 29733 0 -1 1077944384 1 13385 0 0 0 0 5 2 20 0 15 0 473299468 11092615168 56435 33554432000 4194304 4196468 140723983435680 139879434413440 139880572405461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26324992 140723983440624 140723983443141 140723983443141 140723983445967 0
[pid=30748/tid=30809] ppid=30745 vsize=10832632 memory=-2915662220275602846 CPUtime=0.07 cores=1,3,5,7
/proc/30748/task/30809/stat : 30809 (java) S 30745 30748 29733 0 -1 1077944384 3 13385 0 0 0 0 5 2 20 0 15 0 473299471 11092615168 56435 33554432000 4194304 4196468 140723983435680 139879127013712 139880572413851 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26324992 140723983440624 140723983443141 140723983443141 140723983445967 0
[pid=30748/tid=30810] ppid=30745 vsize=10832632 memory=6576565900034090387 CPUtime=0.68 cores=1,3,5,7
/proc/30748/task/30810/stat : 30810 (java) S 30745 30748 29733 0 -1 1077944384 3704 13385 0 0 60 1 5 2 20 0 15 0 473299471 11092615168 56435 33554432000 4194304 4196468 140723983435680 139879997331824 139880572406402 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26324992 140723983440624 140723983443141 140723983443141 140723983445967 0
[pid=30748/tid=30811] ppid=30745 vsize=10832632 memory=-6352457572378447318 CPUtime=0.81 cores=1,3,5,7
/proc/30748/task/30811/stat : 30811 (java) S 30745 30748 29733 0 -1 1077944384 3201 13385 0 0 74 0 5 2 20 0 15 0 473299471 11092615168 56435 33554432000 4194304 4196468 140723983435680 139879996279024 139880572406402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26324992 140723983440624 140723983443141 140723983443141 140723983445967 0
[pid=30748/tid=30812] ppid=30745 vsize=10832632 memory=-8412661042826874739 CPUtime=0.5 cores=1,3,5,7
/proc/30748/task/30812/stat : 30812 (java) S 30745 30748 29733 0 -1 1077944384 1908 13385 0 0 42 1 5 2 20 0 15 0 473299471 11092615168 56435 33554432000 4194304 4196468 140723983435680 139879995226224 139880572406402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26324992 140723983440624 140723983443141 140723983443141 140723983445967 0
################
# More data... #
################
/proc/30748/task/30801/stat : 30801 (java) R 30745 30748 29733 0 -1 4202560 1596496 13385 0 0 236241 143 5 2 20 0 15 0 473299465 11107315712 909870 33554432000 4194304 4196468 140723983435680 139880544229792 139880196852977 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26324992 140723983440624 140723983443141 140723983443141 140723983445967 0
[pid=30748/tid=30802] ppid=30745 vsize=10846988 memory=3647172 CPUtime=16.39 cores=1,3,5,7
/proc/30748/task/30802/stat : 30802 (java) S 30745 30748 29733 0 -1 1077944384 231755 13385 0 0 1560 72 5 2 20 0 15 0 473299466 11107315712 909870 33554432000 4194304 4196468 140723983435680 139880576637584 139880572405461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26324992 140723983440624 140723983443141 140723983443141 140723983445967 0
[pid=30748/tid=30803] ppid=30745 vsize=10846988 memory=3647688 CPUtime=16.43 cores=1,3,5,7
/proc/30748/task/30803/stat : 30803 (java) S 30745 30748 29733 0 -1 1077944384 232230 13385 0 0 1563 73 5 2 20 0 15 0 473299466 11107315712 909870 33554432000 4194304 4196468 140723983435680 139880145750544 139880572405461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26324992 140723983440624 140723983443141 140723983443141 140723983445967 0
[pid=30748/tid=30804] ppid=30745 vsize=10846988 memory=1940 CPUtime=16.44 cores=1,3,5,7
/proc/30748/task/30804/stat : 30804 (java) S 30745 30748 29733 0 -1 1077944384 218926 13385 0 0 1559 78 5 2 20 0 15 0 473299466 11107315712 909870 33554432000 4194304 4196468 140723983435680 139880144697744 139880572405461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26324992 140723983440624 140723983443141 140723983443141 140723983445967 0
[pid=30748/tid=30805] ppid=30745 vsize=10846988 memory=3652304 CPUtime=16.44 cores=1,3,5,7
/proc/30748/task/30805/stat : 30805 (java) S 30745 30748 29733 0 -1 1077944384 256260 13385 0 0 1563 74 5 2 20 0 15 0 473299466 11107315712 909870 33554432000 4194304 4196468 140723983435680 139880143644944 139880572405461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26324992 140723983440624 140723983443141 140723983443141 140723983445967 0
[pid=30748/tid=30806] ppid=30745 vsize=10846988 memory=3647172 CPUtime=1.28 cores=1,3,5,7
/proc/30748/task/30806/stat : 30806 (java) S 30745 30748 29733 0 -1 1077944384 25006 13385 0 0 110 11 5 2 20 0 15 0 473299468 11107315712 909870 33554432000 4194304 4196468 140723983435680 139880031943536 139880572406402 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 54 0 0 6293624 6294260 26324992 140723983440624 140723983443141 140723983443141 140723983445967 0
[pid=30748/tid=30807] ppid=30745 vsize=10846988 memory=3639480 CPUtime=0.07 cores=1,3,5,7
/proc/30748/task/30807/stat : 30807 (java) S 30745 30748 29733 0 -1 1077944384 73 13385 0 0 0 0 5 2 20 0 15 0 473299468 11107315712 909870 33554432000 4194304 4196468 140723983435680 139880030889632 139880572405461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26324992 140723983440624 140723983443141 140723983443141 140723983445967 0
[pid=30748/tid=30808] ppid=30745 vsize=10846988 memory=3647688 CPUtime=0.07 cores=1,3,5,7
/proc/30748/task/30808/stat : 30808 (java) S 30745 30748 29733 0 -1 1077944384 28 13385 0 0 0 0 5 2 20 0 15 0 473299468 11107315712 909870 33554432000 4194304 4196468 140723983435680 139879434413440 139880572405461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26324992 140723983440624 140723983443141 140723983443141 140723983445967 0
[pid=30748/tid=30809] ppid=30745 vsize=10846988 memory=3639480 CPUtime=0.07 cores=1,3,5,7
/proc/30748/task/30809/stat : 30809 (java) S 30745 30748 29733 0 -1 1077944384 3 13385 0 0 0 0 5 2 20 0 15 0 473299471 11107315712 909870 33554432000 4194304 4196468 140723983435680 139879127013712 139880572413851 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26324992 140723983440624 140723983443141 140723983443141 140723983445967 0
[pid=30748/tid=30810] ppid=30745 vsize=10846988 memory=3660512 CPUtime=9.57 cores=1,3,5,7
/proc/30748/task/30810/stat : 30810 (java) S 30745 30748 29733 0 -1 1077944384 28722 13385 0 0 945 5 5 2 20 0 15 0 473299471 11107315712 909870 33554432000 4194304 4196468 140723983435680 139879997331824 139880572406402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26324992 140723983440624 140723983443141 140723983443141 140723983445967 0
[pid=30748/tid=30811] ppid=30745 vsize=10846988 memory=3620 CPUtime=9.92 cores=1,3,5,7
/proc/30748/task/30811/stat : 30811 (java) S 30745 30748 29733 0 -1 1077944384 21894 13385 0 0 980 5 5 2 20 0 15 0 473299471 11107315712 909870 33554432000 4194304 4196468 140723983435680 139879996279024 139880572406402 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26324992 140723983440624 140723983443141 140723983443141 140723983445967 0
[pid=30748/tid=30812] ppid=30745 vsize=10846988 memory=2456 CPUtime=3.01 cores=1,3,5,7
/proc/30748/task/30812/stat : 30812 (java) S 30745 30748 29733 0 -1 1077944384 20244 13385 0 0 286 8 5 2 20 0 15 0 473299471 11107315712 909870 33554432000 4194304 4196468 140723983435680 139879995226224 139880572406402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26324992 140723983440624 140723983443141 140723983443141 140723983445967 0
[pid=30748/tid=30813] ppid=30745 vsize=10846988 memory=1760 CPUtime=0.07 cores=1,3,5,7
/proc/30748/task/30813/stat : 30813 (java) S 30745 30748 29733 0 -1 1077944384 3 13385 0 0 0 0 5 2 20 0 15 0 473299471 11107315712 909870 33554432000 4194304 4196468 140723983435680 139879093455072 139880572405461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26324992 140723983440624 140723983443141 140723983443141 140723983445967 0
[pid=30748/tid=30814] ppid=30745 vsize=10846988 memory=3588 CPUtime=1.36 cores=1,3,5,7
/proc/30748/task/30814/stat : 30814 (java) S 30745 30748 29733 0 -1 1077944384 2022 13385 0 0 58 71 5 2 20 0 15 0 473299471 11107315712 909870 33554432000 4194304 4196468 140723983435680 139879994174640 139880572406402 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 54 0 0 6293624 6294260 26324992 140723983440624 140723983443141 140723983443141 140723983445967 0
Current children cumulated CPU time: 2454.23 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 3639480 KiB
[startup+2442.3 s]
/proc/loadavg: 1.35 1.52 1.59 3/228 31189
/proc/meminfo: memFree=658764/32770624 swapFree=67002104/67108860
[pid=30748] ppid=30745 vsize=10846988 memory=3577368 CPUtime=2515.03 cores=1,3,5,7
/proc/30748/stat : 30748 (java) S 30745 30748 29733 0 -1 1077944320 2657314 13385 0 0 250963 533 5 2 20 0 15 0 473299457 11107315712 894342 33554432000 4194304 4196468 140723983435680 140723983418224 139880572395255 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26324992 140723983440624 140723983443141 140723983443141 140723983445967 0
/proc/30748/statm: 2711747 894342 3649 1 0 2673805 0
[pid=30748/tid=30801] ppid=30745 vsize=10846988 memory=3577368 CPUtime=2423.61 cores=1,3,5,7
/proc/30748/task/30801/stat : 30801 (java) R 30745 30748 29733 0 -1 4202560 1607239 13385 0 0 242210 144 5 2 20 0 15 0 473299465 11107315712 894342 33554432000 4194304 4196468 140723983435680 139880544231008 139880189851965 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26324992 140723983440624 140723983443141 140723983443141 140723983445967 0
[pid=30748/tid=30802] ppid=30745 vsize=10846988 memory=3589680 CPUtime=16.66 cores=1,3,5,7
/proc/30748/task/30802/stat : 30802 (java) S 30745 30748 29733 0 -1 1077944384 234231 13385 0 0 1586 73 5 2 20 0 15 0 473299466 11107315712 894342 33554432000 4194304 4196468 140723983435680 139880576637584 139880572405461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26324992 140723983440624 140723983443141 140723983443141 140723983445967 0
[pid=30748/tid=30803] ppid=30745 vsize=10846988 memory=3589680 CPUtime=16.69 cores=1,3,5,7
/proc/30748/task/30803/stat : 30803 (java) S 30745 30748 29733 0 -1 1077944384 234800 13385 0 0 1588 74 5 2 20 0 15 0 473299466 11107315712 894342 33554432000 4194304 4196468 140723983435680 139880145750544 139880572405461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26324992 140723983440624 140723983443141 140723983443141 140723983445967 0
[pid=30748/tid=30804] ppid=30745 vsize=10846988 memory=1940 CPUtime=16.7 cores=1,3,5,7
/proc/30748/task/30804/stat : 30804 (java) S 30745 30748 29733 0 -1 1077944384 220473 13385 0 0 1585 78 5 2 20 0 15 0 473299466 11107315712 894342 33554432000 4194304 4196468 140723983435680 139880144697744 139880572405461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26324992 140723983440624 140723983443141 140723983443141 140723983445967 0
[pid=30748/tid=30805] ppid=30745 vsize=10846988 memory=3584548 CPUtime=16.71 cores=1,3,5,7
/proc/30748/task/30805/stat : 30805 (java) S 30745 30748 29733 0 -1 1077944384 259996 13385 0 0 1589 75 5 2 20 0 15 0 473299466 11107315712 894342 33554432000 4194304 4196468 140723983435680 139880143644944 139880572405461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26324992 140723983440624 140723983443141 140723983443141 140723983445967 0
[pid=30748/tid=30806] ppid=30745 vsize=10846988 memory=3583012 CPUtime=1.3 cores=1,3,5,7
/proc/30748/task/30806/stat : 30806 (java) S 30745 30748 29733 0 -1 1077944384 25326 13385 0 0 111 12 5 2 20 0 15 0 473299468 11107315712 894342 33554432000 4194304 4196468 140723983435680 139880031943536 139880572406402 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 54 0 0 6293624 6294260 26324992 140723983440624 140723983443141 140723983443141 140723983445967 0
[pid=30748/tid=30807] ppid=30745 vsize=10846988 memory=3577368 CPUtime=0.07 cores=1,3,5,7
/proc/30748/task/30807/stat : 30807 (java) S 30745 30748 29733 0 -1 1077944384 73 13385 0 0 0 0 5 2 20 0 15 0 473299468 11107315712 894342 33554432000 4194304 4196468 140723983435680 139880030889632 139880572405461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26324992 140723983440624 140723983443141 140723983443141 140723983445967 0
[pid=30748/tid=30808] ppid=30745 vsize=10846988 memory=3577368 CPUtime=0.07 cores=1,3,5,7
/proc/30748/task/30808/stat : 30808 (java) S 30745 30748 29733 0 -1 1077944384 28 13385 0 0 0 0 5 2 20 0 15 0 473299468 11107315712 894342 33554432000 4194304 4196468 140723983435680 139879434413440 139880572405461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26324992 140723983440624 140723983443141 140723983443141 140723983445967 0
[pid=30748/tid=30809] ppid=30745 vsize=10846988 memory=3583012 CPUtime=0.07 cores=1,3,5,7
/proc/30748/task/30809/stat : 30809 (java) S 30745 30748 29733 0 -1 1077944384 3 13385 0 0 0 0 5 2 20 0 15 0 473299471 11107315712 894342 33554432000 4194304 4196468 140723983435680 139879127013712 139880572413851 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26324992 140723983440624 140723983443141 140723983443141 140723983445967 0
[pid=30748/tid=30810] ppid=30745 vsize=10846988 memory=3584548 CPUtime=9.57 cores=1,3,5,7
/proc/30748/task/30810/stat : 30810 (java) S 30745 30748 29733 0 -1 1077944384 28725 13385 0 0 945 5 5 2 20 0 15 0 473299471 11107315712 894342 33554432000 4194304 4196468 140723983435680 139879997331824 139880572406402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26324992 140723983440624 140723983443141 140723983443141 140723983445967 0
[pid=30748/tid=30811] ppid=30745 vsize=10846988 memory=3647172 CPUtime=9.92 cores=1,3,5,7
/proc/30748/task/30811/stat : 30811 (java) S 30745 30748 29733 0 -1 1077944384 21899 13385 0 0 980 5 5 2 20 0 15 0 473299471 11107315712 894342 33554432000 4194304 4196468 140723983435680 139879996279024 139880572406402 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26324992 140723983440624 140723983443141 140723983443141 140723983445967 0
[pid=30748/tid=30812] ppid=30745 vsize=10846988 memory=1096 CPUtime=3.01 cores=1,3,5,7
/proc/30748/task/30812/stat : 30812 (java) S 30745 30748 29733 0 -1 1077944384 20251 13385 0 0 286 8 5 2 20 0 15 0 473299471 11107315712 894342 33554432000 4194304 4196468 140723983435680 139879995226224 139880572406402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26324992 140723983440624 140723983443141 140723983443141 140723983445967 0
[pid=30748/tid=30813] ppid=30745 vsize=10846988 memory=3577368 CPUtime=0.07 cores=1,3,5,7
/proc/30748/task/30813/stat : 30813 (java) S 30745 30748 29733 0 -1 1077944384 3 13385 0 0 0 0 5 2 20 0 15 0 473299471 11107315712 894342 33554432000 4194304 4196468 140723983435680 139879093455072 139880572405461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26324992 140723983440624 140723983443141 140723983443141 140723983445967 0
[pid=30748/tid=30814] ppid=30745 vsize=10846988 memory=3577368 CPUtime=1.39 cores=1,3,5,7
/proc/30748/task/30814/stat : 30814 (java) S 30745 30748 29733 0 -1 1077944384 2058 13385 0 0 59 73 5 2 20 0 15 0 473299471 11107315712 894342 33554432000 4194304 4196468 140723983435680 139879994174640 139880572406402 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 54 0 0 6293624 6294260 26324992 140723983440624 140723983443141 140723983443141 140723983445967 0
Current children cumulated CPU time: 2515.03 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 3577368 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2447.3 s]
/proc/loadavg: 1.40 1.53 1.59 3/228 31191
/proc/meminfo: memFree=658748/32770624 swapFree=67002104/67108860
[pid=30748] ppid=30745 vsize=10846988 memory=3576856 CPUtime=2520.08 cores=1,3,5,7
/proc/30748/stat : 30748 (java) S 30745 30748 29733 0 -1 1077944320 2657526 13385 0 0 251468 533 5 2 20 0 15 0 473299457 11107315712 894214 33554432000 4194304 4196468 140723983435680 140723983418224 139880572395255 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26324992 140723983440624 140723983443141 140723983443141 140723983445967 0
/proc/30748/statm: 2711747 894214 3649 1 0 2673805 0
[pid=30748/tid=30801] ppid=30745 vsize=10846988 memory=3577368 CPUtime=2428.6 cores=1,3,5,7
/proc/30748/task/30801/stat : 30801 (java) R 30745 30748 29733 0 -1 4202560 1607434 13385 0 0 242709 144 5 2 20 0 15 0 473299465 11107315712 894214 33554432000 4194304 4196468 140723983435680 139880544230944 139880197762565 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26324992 140723983440624 140723983443141 140723983443141 140723983445967 0
[pid=30748/tid=30802] ppid=30745 vsize=10846988 memory=1940 CPUtime=16.67 cores=1,3,5,7
/proc/30748/task/30802/stat : 30802 (java) S 30745 30748 29733 0 -1 1077944384 234231 13385 0 0 1587 73 5 2 20 0 15 0 473299466 11107315712 894214 33554432000 4194304 4196468 140723983435680 139880576637584 139880572405461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26324992 140723983440624 140723983443141 140723983443141 140723983445967 0
[pid=30748/tid=30803] ppid=30745 vsize=10846988 memory=3589680 CPUtime=16.71 cores=1,3,5,7
/proc/30748/task/30803/stat : 30803 (java) S 30745 30748 29733 0 -1 1077944384 234800 13385 0 0 1590 74 5 2 20 0 15 0 473299466 11107315712 894214 33554432000 4194304 4196468 140723983435680 139880145750544 139880572405461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26324992 140723983440624 140723983443141 140723983443141 140723983445967 0
[pid=30748/tid=30804] ppid=30745 vsize=10846988 memory=3576856 CPUtime=16.71 cores=1,3,5,7
/proc/30748/task/30804/stat : 30804 (java) S 30745 30748 29733 0 -1 1077944384 220475 13385 0 0 1586 78 5 2 20 0 15 0 473299466 11107315712 894214 33554432000 4194304 4196468 140723983435680 139880144697744 139880572405461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26324992 140723983440624 140723983443141 140723983443141 140723983445967 0
[pid=30748/tid=30805] ppid=30745 vsize=10846988 memory=3576856 CPUtime=16.73 cores=1,3,5,7
/proc/30748/task/30805/stat : 30805 (java) S 30745 30748 29733 0 -1 1077944384 259996 13385 0 0 1591 75 5 2 20 0 15 0 473299466 11107315712 894214 33554432000 4194304 4196468 140723983435680 139880143644944 139880572405461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26324992 140723983440624 140723983443141 140723983443141 140723983445967 0
[pid=30748/tid=30806] ppid=30745 vsize=10846988 memory=1052 CPUtime=1.3 cores=1,3,5,7
/proc/30748/task/30806/stat : 30806 (java) S 30745 30748 29733 0 -1 1077944384 25331 13385 0 0 111 12 5 2 20 0 15 0 473299468 11107315712 894214 33554432000 4194304 4196468 140723983435680 139880031943536 139880572406402 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 54 0 0 6293624 6294260 26324992 140723983440624 140723983443141 140723983443141 140723983445967 0
[pid=30748/tid=30807] ppid=30745 vsize=10846988 memory=3577368 CPUtime=0.07 cores=1,3,5,7
/proc/30748/task/30807/stat : 30807 (java) S 30745 30748 29733 0 -1 1077944384 73 13385 0 0 0 0 5 2 20 0 15 0 473299468 11107315712 894214 33554432000 4194304 4196468 140723983435680 139880030889632 139880572405461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26324992 140723983440624 140723983443141 140723983443141 140723983445967 0
[pid=30748/tid=30808] ppid=30745 vsize=10846988 memory=3577368 CPUtime=0.07 cores=1,3,5,7
/proc/30748/task/30808/stat : 30808 (java) S 30745 30748 29733 0 -1 1077944384 28 13385 0 0 0 0 5 2 20 0 15 0 473299468 11107315712 894214 33554432000 4194304 4196468 140723983435680 139879434413440 139880572405461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26324992 140723983440624 140723983443141 140723983443141 140723983445967 0
[pid=30748/tid=30809] ppid=30745 vsize=10846988 memory=7548 CPUtime=0.07 cores=1,3,5,7
/proc/30748/task/30809/stat : 30809 (java) S 30745 30748 29733 0 -1 1077944384 3 13385 0 0 0 0 5 2 20 0 15 0 473299471 11107315712 894214 33554432000 4194304 4196468 140723983435680 139879127013712 139880572413851 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26324992 140723983440624 140723983443141 140723983443141 140723983445967 0
[pid=30748/tid=30810] ppid=30745 vsize=10846988 memory=3620 CPUtime=9.57 cores=1,3,5,7
/proc/30748/task/30810/stat : 30810 (java) S 30745 30748 29733 0 -1 1077944384 28727 13385 0 0 945 5 5 2 20 0 15 0 473299471 11107315712 894214 33554432000 4194304 4196468 140723983435680 139879997331824 139880572406402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26324992 140723983440624 140723983443141 140723983443141 140723983445967 0
[pid=30748/tid=30811] ppid=30745 vsize=10846988 memory=6128 CPUtime=9.92 cores=1,3,5,7
/proc/30748/task/30811/stat : 30811 (java) S 30745 30748 29733 0 -1 1077944384 21901 13385 0 0 980 5 5 2 20 0 15 0 473299471 11107315712 894214 33554432000 4194304 4196468 140723983435680 139879996279024 139880572406402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26324992 140723983440624 140723983443141 140723983443141 140723983445967 0
[pid=30748/tid=30812] ppid=30745 vsize=10846988 memory=14012 CPUtime=3.01 cores=1,3,5,7
/proc/30748/task/30812/stat : 30812 (java) S 30745 30748 29733 0 -1 1077944384 20253 13385 0 0 286 8 5 2 20 0 15 0 473299471 11107315712 894214 33554432000 4194304 4196468 140723983435680 139879995226224 139880572406402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26324992 140723983440624 140723983443141 140723983443141 140723983445967 0
[pid=30748/tid=30813] ppid=30745 vsize=10846988 memory=3588 CPUtime=0.07 cores=1,3,5,7
/proc/30748/task/30813/stat : 30813 (java) S 30745 30748 29733 0 -1 1077944384 3 13385 0 0 0 0 5 2 20 0 15 0 473299471 11107315712 894214 33554432000 4194304 4196468 140723983435680 139879093455072 139880572405461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26324992 140723983440624 140723983443141 140723983443141 140723983445967 0
[pid=30748/tid=30814] ppid=30745 vsize=10846988 memory=53780 CPUtime=1.39 cores=1,3,5,7
/proc/30748/task/30814/stat : 30814 (java) S 30745 30748 29733 0 -1 1077944384 2062 13385 0 0 59 73 5 2 20 0 15 0 473299471 11107315712 894214 33554432000 4194304 4196468 140723983435680 139879994174640 139880572406402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 54 0 0 6293624 6294260 26324992 140723983440624 140723983443141 140723983443141 140723983445967 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 3576856 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2447.36 s]
# the end of solver process 30748 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2514.76 s, system=5.40254 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2447.3 s]
/proc/loadavg: 1.40 1.53 1.59 3/228 31191
/proc/meminfo: memFree=658748/32770624 swapFree=67002104/67108860
[pid=30748] ppid=30745 vsize=10846988 memory=3576856 CPUtime=2520.08 cores=1,3,5,7
/proc/30748/stat : 30748 (java) S 30745 30748 29733 0 -1 1077944320 2657526 13385 0 0 251468 533 5 2 20 0 15 0 473299457 11107315712 894214 33554432000 4194304 4196468 140723983435680 140723983418224 139880572395255 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26324992 140723983440624 140723983443141 140723983443141 140723983445967 0
/proc/30748/statm: 2711747 894214 3649 1 0 2673805 0
[pid=30748/tid=30801] ppid=30745 vsize=10846988 memory=3577368 CPUtime=2428.6 cores=1,3,5,7
/proc/30748/task/30801/stat : 30801 (java) R 30745 30748 29733 0 -1 4202560 1607434 13385 0 0 242709 144 5 2 20 0 15 0 473299465 11107315712 894214 33554432000 4194304 4196468 140723983435680 139880544230944 139880197762565 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26324992 140723983440624 140723983443141 140723983443141 140723983445967 0
[pid=30748/tid=30802] ppid=30745 vsize=10846988 memory=1940 CPUtime=16.67 cores=1,3,5,7
/proc/30748/task/30802/stat : 30802 (java) S 30745 30748 29733 0 -1 1077944384 234231 13385 0 0 1587 73 5 2 20 0 15 0 473299466 11107315712 894214 33554432000 4194304 4196468 140723983435680 139880576637584 139880572405461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26324992 140723983440624 140723983443141 140723983443141 140723983445967 0
[pid=30748/tid=30803] ppid=30745 vsize=10846988 memory=3589680 CPUtime=16.71 cores=1,3,5,7
/proc/30748/task/30803/stat : 30803 (java) S 30745 30748 29733 0 -1 1077944384 234800 13385 0 0 1590 74 5 2 20 0 15 0 473299466 11107315712 894214 33554432000 4194304 4196468 140723983435680 139880145750544 139880572405461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26324992 140723983440624 140723983443141 140723983443141 140723983445967 0
[pid=30748/tid=30804] ppid=30745 vsize=10846988 memory=3576856 CPUtime=16.71 cores=1,3,5,7
/proc/30748/task/30804/stat : 30804 (java) S 30745 30748 29733 0 -1 1077944384 220475 13385 0 0 1586 78 5 2 20 0 15 0 473299466 11107315712 894214 33554432000 4194304 4196468 140723983435680 139880144697744 139880572405461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26324992 140723983440624 140723983443141 140723983443141 140723983445967 0
[pid=30748/tid=30805] ppid=30745 vsize=10846988 memory=3576856 CPUtime=16.73 cores=1,3,5,7
/proc/30748/task/30805/stat : 30805 (java) S 30745 30748 29733 0 -1 1077944384 259996 13385 0 0 1591 75 5 2 20 0 15 0 473299466 11107315712 894214 33554432000 4194304 4196468 140723983435680 139880143644944 139880572405461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26324992 140723983440624 140723983443141 140723983443141 140723983445967 0
[pid=30748/tid=30806] ppid=30745 vsize=10846988 memory=1052 CPUtime=1.3 cores=1,3,5,7
/proc/30748/task/30806/stat : 30806 (java) S 30745 30748 29733 0 -1 1077944384 25331 13385 0 0 111 12 5 2 20 0 15 0 473299468 11107315712 894214 33554432000 4194304 4196468 140723983435680 139880031943536 139880572406402 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 54 0 0 6293624 6294260 26324992 140723983440624 140723983443141 140723983443141 140723983445967 0
[pid=30748/tid=30807] ppid=30745 vsize=10846988 memory=3577368 CPUtime=0.07 cores=1,3,5,7
/proc/30748/task/30807/stat : 30807 (java) S 30745 30748 29733 0 -1 1077944384 73 13385 0 0 0 0 5 2 20 0 15 0 473299468 11107315712 894214 33554432000 4194304 4196468 140723983435680 139880030889632 139880572405461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26324992 140723983440624 140723983443141 140723983443141 140723983445967 0
[pid=30748/tid=30808] ppid=30745 vsize=10846988 memory=3577368 CPUtime=0.07 cores=1,3,5,7
/proc/30748/task/30808/stat : 30808 (java) S 30745 30748 29733 0 -1 1077944384 28 13385 0 0 0 0 5 2 20 0 15 0 473299468 11107315712 894214 33554432000 4194304 4196468 140723983435680 139879434413440 139880572405461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26324992 140723983440624 140723983443141 140723983443141 140723983445967 0
[pid=30748/tid=30809] ppid=30745 vsize=10846988 memory=7548 CPUtime=0.07 cores=1,3,5,7
/proc/30748/task/30809/stat : 30809 (java) S 30745 30748 29733 0 -1 1077944384 3 13385 0 0 0 0 5 2 20 0 15 0 473299471 11107315712 894214 33554432000 4194304 4196468 140723983435680 139879127013712 139880572413851 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26324992 140723983440624 140723983443141 140723983443141 140723983445967 0
[pid=30748/tid=30810] ppid=30745 vsize=10846988 memory=3620 CPUtime=9.57 cores=1,3,5,7
/proc/30748/task/30810/stat : 30810 (java) S 30745 30748 29733 0 -1 1077944384 28727 13385 0 0 945 5 5 2 20 0 15 0 473299471 11107315712 894214 33554432000 4194304 4196468 140723983435680 139879997331824 139880572406402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26324992 140723983440624 140723983443141 140723983443141 140723983445967 0
[pid=30748/tid=30811] ppid=30745 vsize=10846988 memory=6128 CPUtime=9.92 cores=1,3,5,7
/proc/30748/task/30811/stat : 30811 (java) S 30745 30748 29733 0 -1 1077944384 21901 13385 0 0 980 5 5 2 20 0 15 0 473299471 11107315712 894214 33554432000 4194304 4196468 140723983435680 139879996279024 139880572406402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26324992 140723983440624 140723983443141 140723983443141 140723983445967 0
[pid=30748/tid=30812] ppid=30745 vsize=10846988 memory=14012 CPUtime=3.01 cores=1,3,5,7
/proc/30748/task/30812/stat : 30812 (java) S 30745 30748 29733 0 -1 1077944384 20253 13385 0 0 286 8 5 2 20 0 15 0 473299471 11107315712 894214 33554432000 4194304 4196468 140723983435680 139879995226224 139880572406402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26324992 140723983440624 140723983443141 140723983443141 140723983445967 0
[pid=30748/tid=30813] ppid=30745 vsize=10846988 memory=3588 CPUtime=0.07 cores=1,3,5,7
/proc/30748/task/30813/stat : 30813 (java) S 30745 30748 29733 0 -1 1077944384 3 13385 0 0 0 0 5 2 20 0 15 0 473299471 11107315712 894214 33554432000 4194304 4196468 140723983435680 139879093455072 139880572405461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26324992 140723983440624 140723983443141 140723983443141 140723983445967 0
[pid=30748/tid=30814] ppid=30745 vsize=10846988 memory=53780 CPUtime=1.39 cores=1,3,5,7
/proc/30748/task/30814/stat : 30814 (java) S 30745 30748 29733 0 -1 1077944384 2062 13385 0 0 59 73 5 2 20 0 15 0 473299471 11107315712 894214 33554432000 4194304 4196468 140723983435680 139879994174640 139880572406402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 54 0 0 6293624 6294260 26324992 140723983440624 140723983443141 140723983443141 140723983445967 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 3576856 KiB
Child status: 143
Real time (s): 2447.36
CPU time (s): 2520.16
CPU user time (s): 2514.76
CPU system time (s): 5.40254
CPU usage (%): 102.974
Max. virtual memory (cumulated for all children) (KiB): 10846988
Max. memory (cumulated for all children) (KiB): 4000400
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2514.76
system time used= 5.40254
maximum resident set size= 4000400
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2674731
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2888
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 73392
involuntary context switches= 3284
# summary of solver processes directly reported to runsolver:
# pid: 30748
# total CPU time (s): 2520.16
# total CPU user time (s): 2514.76
# total CPU system time (s): 5.40254
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.4035 second user time and 23.6195 second system time
The end