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 (13429 MiB free)
memory of node 1: 16384 MiB (14467 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304360-1534063459/watcher-4304360-1534063459 -o /tmp/evaluation-result-4304360-1534063459/solver-4304360-1534063459 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1534063459-27644 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=2013375190 -superng HOME/instance-4304360-1534063459.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=27674, runsolver pid=27667
[startup+0.100092 s]*
/proc/loadavg: 0.53 0.61 0.96 3/189 27779
/proc/meminfo: memFree=28558112/32770624 swapFree=67108804/67108860
[pid=27674] ppid=27667 vsize=10005480 memory=14432 CPUtime=0.09 cores=0,2,4,6
/proc/27674/stat : 27674 (java) S 27667 27674 27613 0 -1 1077944320 3747 12999 0 0 0 1 5 3 20 0 6 0 223909081 10245611520 3608 33554432000 4194304 4196468 140731864307296 140731864289840 139978269409015 0 0 0 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 26894336 140731864308323 140731864311132 140731864311132 140731864313807 0
/proc/27674/statm: 2501370 3608 1552 1 0 2489808 0
[pid=27674/tid=27779] ppid=27667 vsize=10005480 memory=-6517102902069810590 CPUtime=0.08 cores=0,2,4,6
/proc/27674/task/27779/stat : 27779 (java) R 27667 27674 27613 0 -1 4202560 1580 12999 0 0 0 0 5 3 20 0 6 0 223909090 10245611520 3608 33554432000 4194304 4196468 140731864307296 139978241245776 139978158931523 0 4 0 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26894336 140731864308323 140731864311132 140731864311132 140731864313807 0
[pid=27674/tid=27784] ppid=27667 vsize=10005480 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/27674/task/27784/stat : 27784 (java) S 27667 27674 27613 0 -1 1077944384 2 12999 0 0 0 0 5 3 20 0 6 0 223909091 10245611520 3608 33554432000 4194304 4196468 140731864307296 139978273651600 139978269419221 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26894336 140731864308323 140731864311132 140731864311132 140731864313807 0
[pid=27674/tid=27785] ppid=27667 vsize=10005480 memory=140534726837888 CPUtime=0.08 cores=0,2,4,6
/proc/27674/task/27785/stat : 27785 (java) S 27667 27674 27613 0 -1 1077944384 1 12999 0 0 0 0 5 3 20 0 6 0 223909091 10245611520 3608 33554432000 4194304 4196468 140731864307296 139978154916624 139978269419221 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26894336 140731864308323 140731864311132 140731864311132 140731864313807 0
[pid=27674/tid=27786] ppid=27667 vsize=10005480 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/27674/task/27786/stat : 27786 (java) S 27667 27674 27613 0 -1 1077944384 1 12999 0 0 0 0 5 3 20 0 6 0 223909091 10245611520 3674 33554432000 4194304 4196468 140731864307296 139978153864336 139978269419221 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26894336 140731864308323 140731864311132 140731864311132 140731864313807 0
[pid=27674/tid=27787] ppid=27667 vsize=10005480 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/27674/task/27787/stat : 27787 (java) S 27667 27674 27613 0 -1 1077944384 2 12999 0 0 0 0 5 3 20 0 6 0 223909091 10245611520 3674 33554432000 4194304 4196468 140731864307296 139978152811536 139978269419221 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26894336 140731864308323 140731864311132 140731864311132 140731864313807 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 14432 KiB
[startup+0.210779 s]*
/proc/loadavg: 0.53 0.61 0.96 4/215 27805
/proc/meminfo: memFree=28508932/32770624 swapFree=67108804/67108860
[pid=27674] ppid=27667 vsize=10982728 memory=44864 CPUtime=0.26 cores=0,2,4,6
/proc/27674/stat : 27674 (java) S 27667 27674 27613 0 -1 1077944320 8606 12999 0 0 16 2 5 3 20 0 15 0 223909081 11246313472 11216 33554432000 4194304 4196468 140731864307296 140731864289840 139978269409015 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 26894336 140731864308323 140731864311132 140731864311132 140731864313807 0
/proc/27674/statm: 2745682 11216 2935 1 0 2708117 0
[pid=27674/tid=27779] ppid=27667 vsize=10982696 memory=-6007365819731575600 CPUtime=0.19 cores=0,2,4,6
/proc/27674/task/27779/stat : 27779 (java) R 27667 27674 27613 0 -1 4202560 5135 12999 0 0 10 1 5 3 20 0 15 0 223909090 11246280704 11216 33554432000 4194304 4196468 140731864307296 139978241206672 139978262126119 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26894336 140731864308323 140731864311132 140731864311132 140731864313807 0
[pid=27674/tid=27784] ppid=27667 vsize=10982696 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/27674/task/27784/stat : 27784 (java) S 27667 27674 27613 0 -1 1077944384 2 12999 0 0 0 0 5 3 20 0 15 0 223909091 11246280704 11216 33554432000 4194304 4196468 140731864307296 139978273651600 139978269419221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26894336 140731864308323 140731864311132 140731864311132 140731864313807 0
[pid=27674/tid=27785] ppid=27667 vsize=10982696 memory=140534726837888 CPUtime=0.08 cores=0,2,4,6
/proc/27674/task/27785/stat : 27785 (java) S 27667 27674 27613 0 -1 1077944384 1 12999 0 0 0 0 5 3 20 0 15 0 223909091 11246280704 11216 33554432000 4194304 4196468 140731864307296 139978154916624 139978269419221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26894336 140731864308323 140731864311132 140731864311132 140731864313807 0
[pid=27674/tid=27786] ppid=27667 vsize=10982696 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/27674/task/27786/stat : 27786 (java) S 27667 27674 27613 0 -1 1077944384 1 12999 0 0 0 0 5 3 20 0 15 0 223909091 11246280704 11216 33554432000 4194304 4196468 140731864307296 139978153864336 139978269419221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26894336 140731864308323 140731864311132 140731864311132 140731864313807 0
[pid=27674/tid=27787] ppid=27667 vsize=10982696 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/27674/task/27787/stat : 27787 (java) S 27667 27674 27613 0 -1 1077944384 2 12999 0 0 0 0 5 3 20 0 15 0 223909091 11246280704 11216 33554432000 4194304 4196468 140731864307296 139978152811536 139978269419221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26894336 140731864308323 140731864311132 140731864311132 140731864313807 0
[pid=27674/tid=27789] ppid=27667 vsize=10982696 memory=140534726837888 CPUtime=0.08 cores=0,2,4,6
/proc/27674/task/27789/stat : 27789 (java) S 27667 27674 27613 0 -1 1077944384 2 12999 0 0 0 0 5 3 20 0 15 0 223909093 11246280704 11216 33554432000 4194304 4196468 140731864307296 139977507674224 139978269420162 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26894336 140731864308323 140731864311132 140731864311132 140731864313807 0
[pid=27674/tid=27791] ppid=27667 vsize=10982696 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/27674/task/27791/stat : 27791 (java) S 27667 27674 27613 0 -1 1077944384 13 12999 0 0 0 0 5 3 20 0 15 0 223909093 11246280704 11216 33554432000 4194304 4196468 140731864307296 139977010701088 139978269419221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26894336 140731864308323 140731864311132 140731864311132 140731864313807 0
[pid=27674/tid=27793] ppid=27667 vsize=10982696 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/27674/task/27793/stat : 27793 (java) S 27667 27674 27613 0 -1 1077944384 1 12999 0 0 0 0 5 3 20 0 15 0 223909093 11246280704 11216 33554432000 4194304 4196468 140731864307296 139976809374832 139978269419221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26894336 140731864308323 140731864311132 140731864311132 140731864313807 0
[pid=27674/tid=27798] ppid=27667 vsize=10982696 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/27674/task/27798/stat : 27798 (java) S 27667 27674 27613 0 -1 1077944384 3 12999 0 0 0 0 5 3 20 0 15 0 223909096 11246280704 11216 33554432000 4194304 4196468 140731864307296 139976501975120 139978269427611 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26894336 140731864308323 140731864311132 140731864311132 140731864313807 0
[pid=27674/tid=27800] ppid=27667 vsize=10982696 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/27674/task/27800/stat : 27800 (java) S 27667 27674 27613 0 -1 1077944384 433 12999 0 0 1 0 5 3 20 0 15 0 223909096 11246280704 11216 33554432000 4194304 4196468 140731864307296 139977506622064 139978269420162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26894336 140731864308323 140731864311132 140731864311132 140731864313807 0
[pid=27674/tid=27801] ppid=27667 vsize=10982696 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/27674/task/27801/stat : 27801 (java) S 27667 27674 27613 0 -1 1077944384 182 12999 0 0 1 0 5 3 20 0 15 0 223909096 11246280704 11216 33554432000 4194304 4196468 140731864307296 139977505569264 139978269420162 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26894336 140731864308323 140731864311132 140731864311132 140731864313807 0
[pid=27674/tid=27802] ppid=27667 vsize=10982696 memory=140534726837888 CPUtime=0.11 cores=0,2,4,6
/proc/27674/task/27802/stat : 27802 (java) R 27667 27674 27613 0 -1 4202560 636 12999 0 0 3 0 5 3 20 0 15 0 223909096 11246280704 11216 33554432000 4194304 4196468 140731864307296 139977504516976 139978269430362 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26894336 140731864308323 140731864311132 140731864311132 140731864313807 0
[pid=27674/tid=27804] ppid=27667 vsize=10982696 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/27674/task/27804/stat : 27804 (java) S 27667 27674 27613 0 -1 1077944384 3 12999 0 0 0 0 5 3 20 0 15 0 223909096 11246280704 11216 33554432000 4194304 4196468 140731864307296 139976071179232 139978269419221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26894336 140731864308323 140731864311132 140731864311132 140731864313807 0
[pid=27674/tid=27805] ppid=27667 vsize=10982696 memory=140534726837888 CPUtime=0.08 cores=0,2,4,6
/proc/27674/task/27805/stat : 27805 (java) S 27667 27674 27613 0 -1 1077944384 1 12999 0 0 0 0 5 3 20 0 15 0 223909096 11246280704 11216 33554432000 4194304 4196468 140731864307296 139977503463856 139978269420162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26894336 140731864308323 140731864311132 140731864311132 140731864313807 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10982728 KiB
Current children cumulated memory: 44864 KiB
[startup+0.310087 s]*
/proc/loadavg: 0.53 0.61 0.96 4/215 27805
/proc/meminfo: memFree=28483504/32770624 swapFree=67108804/67108860
[pid=27674] ppid=27667 vsize=10983192 memory=53376 CPUtime=0.38 cores=0,2,4,6
/proc/27674/stat : 27674 (java) S 27667 27674 27613 0 -1 1077944320 9958 12999 0 0 27 3 5 3 20 0 15 0 223909081 11246788608 13344 33554432000 4194304 4196468 140731864307296 140731864289840 139978269409015 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 26894336 140731864308323 140731864311132 140731864311132 140731864313807 0
/proc/27674/statm: 2745798 13344 3066 1 0 2708109 0
[pid=27674/tid=27779] ppid=27667 vsize=10983192 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/27674/task/27779/stat : 27779 (java) R 27667 27674 27613 0 -1 4202560 6491 12999 0 0 19 2 5 3 20 0 15 0 223909090 11246788608 13344 33554432000 4194304 4196468 140731864307296 139978241221024 139978261646142 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26894336 140731864308323 140731864311132 140731864311132 140731864313807 0
[pid=27674/tid=27784] ppid=27667 vsize=10983192 memory=5787233549803348032 CPUtime=0.08 cores=0,2,4,6
/proc/27674/task/27784/stat : 27784 (java) S 27667 27674 27613 0 -1 1077944384 2 12999 0 0 0 0 5 3 20 0 15 0 223909091 11246788608 13344 33554432000 4194304 4196468 140731864307296 139978273651600 139978269419221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26894336 140731864308323 140731864311132 140731864311132 140731864313807 0
[pid=27674/tid=27785] ppid=27667 vsize=10983192 memory=7649399358545606450 CPUtime=0.08 cores=0,2,4,6
/proc/27674/task/27785/stat : 27785 (java) S 27667 27674 27613 0 -1 1077944384 1 12999 0 0 0 0 5 3 20 0 15 0 223909091 11246788608 13408 33554432000 4194304 4196468 140731864307296 139978154916624 139978269419221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26894336 140731864308323 140731864311132 140731864311132 140731864313807 0
[pid=27674/tid=27786] ppid=27667 vsize=10983192 memory=4294969504 CPUtime=0.08 cores=0,2,4,6
/proc/27674/task/27786/stat : 27786 (java) S 27667 27674 27613 0 -1 1077944384 1 12999 0 0 0 0 5 3 20 0 15 0 223909091 11246788608 13408 33554432000 4194304 4196468 140731864307296 139978153864336 139978269419221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26894336 140731864308323 140731864311132 140731864311132 140731864313807 0
[pid=27674/tid=27787] ppid=27667 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/27674/task/27787/stat : 27787 (java) S 27667 27674 27613 0 -1 1077944384 2 12999 0 0 0 0 5 3 20 0 15 0 223909091 11246788608 13408 33554432000 4194304 4196468 140731864307296 139978152811536 139978269419221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26894336 140731864308323 140731864311132 140731864311132 140731864313807 0
[pid=27674/tid=27789] ppid=27667 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/27674/task/27789/stat : 27789 (java) S 27667 27674 27613 0 -1 1077944384 2 12999 0 0 0 0 5 3 20 0 15 0 223909093 11246788608 13408 33554432000 4194304 4196468 140731864307296 139977507674224 139978269420162 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26894336 140731864308323 140731864311132 140731864311132 140731864313807 0
[pid=27674/tid=27791] ppid=27667 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/27674/task/27791/stat : 27791 (java) S 27667 27674 27613 0 -1 1077944384 13 12999 0 0 0 0 5 3 20 0 15 0 223909093 11246788608 13408 33554432000 4194304 4196468 140731864307296 139977010701088 139978269419221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26894336 140731864308323 140731864311132 140731864311132 140731864313807 0
[pid=27674/tid=27793] ppid=27667 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/27674/task/27793/stat : 27793 (java) S 27667 27674 27613 0 -1 1077944384 1 12999 0 0 0 0 5 3 20 0 15 0 223909093 11246788608 13408 33554432000 4194304 4196468 140731864307296 139976809374832 139978269419221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26894336 140731864308323 140731864311132 140731864311132 140731864313807 0
[pid=27674/tid=27798] ppid=27667 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/27674/task/27798/stat : 27798 (java) S 27667 27674 27613 0 -1 1077944384 3 12999 0 0 0 0 5 3 20 0 15 0 223909096 11246788608 13408 33554432000 4194304 4196468 140731864307296 139976501975120 139978269427611 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26894336 140731864308323 140731864311132 140731864311132 140731864313807 0
[pid=27674/tid=27800] ppid=27667 vsize=10983192 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/27674/task/27800/stat : 27800 (java) S 27667 27674 27613 0 -1 1077944384 433 12999 0 0 1 0 5 3 20 0 15 0 223909096 11246788608 13408 33554432000 4194304 4196468 140731864307296 139977506622064 139978269420162 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26894336 140731864308323 140731864311132 140731864311132 140731864313807 0
[pid=27674/tid=27801] ppid=27667 vsize=10983192 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/27674/task/27801/stat : 27801 (java) S 27667 27674 27613 0 -1 1077944384 183 12999 0 0 1 0 5 3 20 0 15 0 223909096 11246788608 13408 33554432000 4194304 4196468 140731864307296 139977505569264 139978269420162 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26894336 140731864308323 140731864311132 140731864311132 140731864313807 0
[pid=27674/tid=27802] ppid=27667 vsize=10983192 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/27674/task/27802/stat : 27802 (java) S 27667 27674 27613 0 -1 1077944384 646 12999 0 0 4 0 5 3 20 0 15 0 223909096 11246788608 13408 33554432000 4194304 4196468 140731864307296 139977504516976 139978269420162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26894336 140731864308323 140731864311132 140731864311132 140731864313807 0
[pid=27674/tid=27804] ppid=27667 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/27674/task/27804/stat : 27804 (java) S 27667 27674 27613 0 -1 1077944384 3 12999 0 0 0 0 5 3 20 0 15 0 223909096 11246788608 13408 33554432000 4194304 4196468 140731864307296 139976071179232 139978269419221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26894336 140731864308323 140731864311132 140731864311132 140731864313807 0
[pid=27674/tid=27805] ppid=27667 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/27674/task/27805/stat : 27805 (java) S 27667 27674 27613 0 -1 1077944384 1 12999 0 0 0 0 5 3 20 0 15 0 223909096 11246788608 13408 33554432000 4194304 4196468 140731864307296 139977503463856 139978269420162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26894336 140731864308323 140731864311132 140731864311132 140731864313807 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 53376 KiB
[startup+0.700823 s]
/proc/loadavg: 0.53 0.61 0.96 4/215 27805
/proc/meminfo: memFree=28461004/32770624 swapFree=67108804/67108860
[pid=27674] ppid=27667 vsize=10983192 memory=88600 CPUtime=0.99 cores=0,2,4,6
/proc/27674/stat : 27674 (java) S 27667 27674 27613 0 -1 1077944320 16816 12999 0 0 87 4 5 3 20 0 15 0 223909081 11246788608 22150 33554432000 4194304 4196468 140731864307296 140731864289840 139978269409015 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 26894336 140731864308323 140731864311132 140731864311132 140731864313807 0
/proc/27674/statm: 2745798 22150 3237 1 0 2708109 0
[pid=27674/tid=27779] ppid=27667 vsize=10983192 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/27674/task/27779/stat : 27779 (java) R 27667 27674 27613 0 -1 4202560 12357 12999 0 0 56 2 5 3 20 0 15 0 223909090 11246788608 22150 33554432000 4194304 4196468 140731864307296 139978241232016 139978253489502 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26894336 140731864308323 140731864311132 140731864311132 140731864313807 0
[pid=27674/tid=27784] ppid=27667 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/27674/task/27784/stat : 27784 (java) S 27667 27674 27613 0 -1 1077944384 2 12999 0 0 0 0 5 3 20 0 15 0 223909091 11246788608 22150 33554432000 4194304 4196468 140731864307296 139978273651600 139978269419221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26894336 140731864308323 140731864311132 140731864311132 140731864313807 0
[pid=27674/tid=27785] ppid=27667 vsize=10983192 memory=3708 CPUtime=0.08 cores=0,2,4,6
/proc/27674/task/27785/stat : 27785 (java) S 27667 27674 27613 0 -1 1077944384 1 12999 0 0 0 0 5 3 20 0 15 0 223909091 11246788608 22150 33554432000 4194304 4196468 140731864307296 139978154916624 139978269419221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26894336 140731864308323 140731864311132 140731864311132 140731864313807 0
[pid=27674/tid=27786] ppid=27667 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/27674/task/27786/stat : 27786 (java) S 27667 27674 27613 0 -1 1077944384 1 12999 0 0 0 0 5 3 20 0 15 0 223909091 11246788608 22150 33554432000 4194304 4196468 140731864307296 139978153864336 139978269419221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26894336 140731864308323 140731864311132 140731864311132 140731864313807 0
[pid=27674/tid=27787] ppid=27667 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/27674/task/27787/stat : 27787 (java) S 27667 27674 27613 0 -1 1077944384 2 12999 0 0 0 0 5 3 20 0 15 0 223909091 11246788608 22150 33554432000 4194304 4196468 140731864307296 139978152811536 139978269419221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26894336 140731864308323 140731864311132 140731864311132 140731864313807 0
[pid=27674/tid=27789] ppid=27667 vsize=10983192 memory=4420 CPUtime=0.08 cores=0,2,4,6
/proc/27674/task/27789/stat : 27789 (java) S 27667 27674 27613 0 -1 1077944384 5 12999 0 0 0 0 5 3 20 0 15 0 223909093 11246788608 22150 33554432000 4194304 4196468 140731864307296 139977507674224 139978269420162 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26894336 140731864308323 140731864311132 140731864311132 140731864313807 0
[pid=27674/tid=27791] ppid=27667 vsize=10983192 memory=6628 CPUtime=0.08 cores=0,2,4,6
/proc/27674/task/27791/stat : 27791 (java) S 27667 27674 27613 0 -1 1077944384 13 12999 0 0 0 0 5 3 20 0 15 0 223909093 11246788608 22150 33554432000 4194304 4196468 140731864307296 139977010701088 139978269419221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26894336 140731864308323 140731864311132 140731864311132 140731864313807 0
[pid=27674/tid=27793] ppid=27667 vsize=10983192 memory=8836 CPUtime=0.08 cores=0,2,4,6
/proc/27674/task/27793/stat : 27793 (java) S 27667 27674 27613 0 -1 1077944384 1 12999 0 0 0 0 5 3 20 0 15 0 223909093 11246788608 22150 33554432000 4194304 4196468 140731864307296 139976809374832 139978269419221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26894336 140731864308323 140731864311132 140731864311132 140731864313807 0
[pid=27674/tid=27798] ppid=27667 vsize=10983192 memory=11044 CPUtime=0.08 cores=0,2,4,6
/proc/27674/task/27798/stat : 27798 (java) S 27667 27674 27613 0 -1 1077944384 3 12999 0 0 0 0 5 3 20 0 15 0 223909096 11246788608 22150 33554432000 4194304 4196468 140731864307296 139976501975120 139978269427611 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26894336 140731864308323 140731864311132 140731864311132 140731864313807 0
[pid=27674/tid=27800] ppid=27667 vsize=10983192 memory=13252 CPUtime=0.15 cores=0,2,4,6
/proc/27674/task/27800/stat : 27800 (java) S 27667 27674 27613 0 -1 1077944384 684 12999 0 0 7 0 5 3 20 0 15 0 223909096 11246788608 22150 33554432000 4194304 4196468 140731864307296 139977506622064 139978269420162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26894336 140731864308323 140731864311132 140731864311132 140731864313807 0
[pid=27674/tid=27801] ppid=27667 vsize=10983192 memory=15460 CPUtime=0.18 cores=0,2,4,6
/proc/27674/task/27801/stat : 27801 (java) S 27667 27674 27613 0 -1 1077944384 856 12999 0 0 10 0 5 3 20 0 15 0 223909096 11246788608 22150 33554432000 4194304 4196468 140731864307296 139977505569264 139978269420162 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26894336 140731864308323 140731864311132 140731864311132 140731864313807 0
[pid=27674/tid=27802] ppid=27667 vsize=10983192 memory=17668 CPUtime=0.21 cores=0,2,4,6
/proc/27674/task/27802/stat : 27802 (java) S 27667 27674 27613 0 -1 1077944384 697 12999 0 0 13 0 5 3 20 0 15 0 223909096 11246788608 22150 33554432000 4194304 4196468 140731864307296 139977504516976 139978269420162 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26894336 140731864308323 140731864311132 140731864311132 140731864313807 0
[pid=27674/tid=27804] ppid=27667 vsize=10983192 memory=19876 CPUtime=0.08 cores=0,2,4,6
/proc/27674/task/27804/stat : 27804 (java) S 27667 27674 27613 0 -1 1077944384 3 12999 0 0 0 0 5 3 20 0 15 0 223909096 11246788608 22150 33554432000 4194304 4196468 140731864307296 139976071179232 139978269419221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26894336 140731864308323 140731864311132 140731864311132 140731864313807 0
[pid=27674/tid=27805] ppid=27667 vsize=10983192 memory=22084 CPUtime=0.08 cores=0,2,4,6
/proc/27674/task/27805/stat : 27805 (java) S 27667 27674 27613 0 -1 1077944384 1 12999 0 0 0 0 5 3 20 0 15 0 223909096 11246788608 22150 33554432000 4194304 4196468 140731864307296 139977503463856 139978269420162 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26894336 140731864308323 140731864311132 140731864311132 140731864313807 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88600 KiB
[startup+1.50108 s]
/proc/loadavg: 0.53 0.61 0.96 4/215 27805
/proc/meminfo: memFree=28369824/32770624 swapFree=67108804/67108860
[pid=27674] ppid=27667 vsize=10998092 memory=180916 CPUtime=2.38 cores=0,2,4,6
/proc/27674/stat : 27674 (java) S 27667 27674 27613 0 -1 1077944320 23951 12999 0 0 220 10 5 3 20 0 15 0 223909081 11262046208 45229 33554432000 4194304 4196468 140731864307296 140731864289840 139978269409015 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 26894336 140731864308323 140731864311132 140731864311132 140731864313807 0
/proc/27674/statm: 2749523 45229 3474 1 0 2711181 0
[pid=27674/tid=27779] ppid=27667 vsize=10998092 memory=0 CPUtime=1.42 cores=0,2,4,6
/proc/27674/task/27779/stat : 27779 (java) R 27667 27674 27613 0 -1 4202560 17742 12999 0 0 129 5 5 3 20 0 15 0 223909090 11262046208 45229 33554432000 4194304 4196468 140731864307296 139978241237048 139978249008753 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26894336 140731864308323 140731864311132 140731864311132 140731864313807 0
[pid=27674/tid=27784] ppid=27667 vsize=10998092 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/27674/task/27784/stat : 27784 (java) S 27667 27674 27613 0 -1 1077944384 20 12999 0 0 1 0 5 3 20 0 15 0 223909091 11262046208 45229 33554432000 4194304 4196468 140731864307296 139978273651600 139978269419221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26894336 140731864308323 140731864311132 140731864311132 140731864313807 0
[pid=27674/tid=27785] ppid=27667 vsize=10998092 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/27674/task/27785/stat : 27785 (java) S 27667 27674 27613 0 -1 1077944384 59 12999 0 0 1 0 5 3 20 0 15 0 223909091 11262046208 45229 33554432000 4194304 4196468 140731864307296 139978154916624 139978269419221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26894336 140731864308323 140731864311132 140731864311132 140731864313807 0
[pid=27674/tid=27786] ppid=27667 vsize=10998092 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/27674/task/27786/stat : 27786 (java) S 27667 27674 27613 0 -1 1077944384 20 12999 0 0 1 0 5 3 20 0 15 0 223909091 11262046208 45229 33554432000 4194304 4196468 140731864307296 139978153864336 139978269419221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26894336 140731864308323 140731864311132 140731864311132 140731864313807 0
[pid=27674/tid=27787] ppid=27667 vsize=10998092 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/27674/task/27787/stat : 27787 (java) S 27667 27674 27613 0 -1 1077944384 184 12999 0 0 1 0 5 3 20 0 15 0 223909091 11262046208 45229 33554432000 4194304 4196468 140731864307296 139978152811536 139978269419221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26894336 140731864308323 140731864311132 140731864311132 140731864313807 0
[pid=27674/tid=27789] ppid=27667 vsize=10998092 memory=1399103955520229747 CPUtime=0.09 cores=0,2,4,6
/proc/27674/task/27789/stat : 27789 (java) S 27667 27674 27613 0 -1 1077944384 55 12999 0 0 1 0 5 3 20 0 15 0 223909093 11262046208 45229 33554432000 4194304 4196468 140731864307296 139977507674224 139978269420162 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26894336 140731864308323 140731864311132 140731864311132 140731864313807 0
[pid=27674/tid=27791] ppid=27667 vsize=10998092 memory=281069236594944 CPUtime=0.08 cores=0,2,4,6
/proc/27674/task/27791/stat : 27791 (java) S 27667 27674 27613 0 -1 1077944384 14 12999 0 0 0 0 5 3 20 0 15 0 223909093 11262046208 45229 33554432000 4194304 4196468 140731864307296 139977010701152 139978269419221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26894336 140731864308323 140731864311132 140731864311132 140731864313807 0
[pid=27674/tid=27793] ppid=27667 vsize=10998092 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/27674/task/27793/stat : 27793 (java) S 27667 27674 27613 0 -1 1077944384 1 12999 0 0 0 0 5 3 20 0 15 0 223909093 11262046208 45229 33554432000 4194304 4196468 140731864307296 139976809374848 139978269419221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26894336 140731864308323 140731864311132 140731864311132 140731864313807 0
[pid=27674/tid=27798] ppid=27667 vsize=10998092 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/27674/task/27798/stat : 27798 (java) S 27667 27674 27613 0 -1 1077944384 3 12999 0 0 0 0 5 3 20 0 15 0 223909096 11262046208 45229 33554432000 4194304 4196468 140731864307296 139976501975120 139978269427611 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26894336 140731864308323 140731864311132 140731864311132 140731864313807 0
[pid=27674/tid=27800] ppid=27667 vsize=10998092 memory=0 CPUtime=0.28 cores=0,2,4,6
/proc/27674/task/27800/stat : 27800 (java) S 27667 27674 27613 0 -1 1077944384 857 12999 0 0 20 0 5 3 20 0 15 0 223909096 11262046208 45229 33554432000 4194304 4196468 140731864307296 139977506622064 139978269420162 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26894336 140731864308323 140731864311132 140731864311132 140731864313807 0
[pid=27674/tid=27801] ppid=27667 vsize=10998092 memory=4580 CPUtime=0.32 cores=0,2,4,6
/proc/27674/task/27801/stat : 27801 (java) S 27667 27674 27613 0 -1 1077944384 1325 12999 0 0 24 0 5 3 20 0 15 0 223909096 11262046208 45229 33554432000 4194304 4196468 140731864307296 139977505569264 139978269420162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26894336 140731864308323 140731864311132 140731864311132 140731864313807 0
[pid=27674/tid=27802] ppid=27667 vsize=10998092 memory=-7246141791750354367 CPUtime=0.46 cores=0,2,4,6
/proc/27674/task/27802/stat : 27802 (java) S 27667 27674 27613 0 -1 1077944384 1476 12999 0 0 38 0 5 3 20 0 15 0 223909096 11262046208 45229 33554432000 4194304 4196468 140731864307296 139977504516976 139978269420162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26894336 140731864308323 140731864311132 140731864311132 140731864313807 0
[pid=27674/tid=27804] ppid=27667 vsize=10998092 memory=7237393896866865771 CPUtime=0.08 cores=0,2,4,6
/proc/27674/task/27804/stat : 27804 (java) S 27667 27674 27613 0 -1 1077944384 3 12999 0 0 0 0 5 3 20 0 15 0 223909096 11262046208 45229 33554432000 4194304 4196468 140731864307296 139976071179232 139978269419221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26894336 140731864308323 140731864311132 140731864311132 140731864313807 0
[pid=27674/tid=27805] ppid=27667 vsize=10998092 memory=7307724162534107244 CPUtime=0.08 cores=0,2,4,6
/proc/27674/task/27805/stat : 27805 (java) S 27667 27674 27613 0 -1 1077944384 1 12999 0 0 0 0 5 3 20 0 15 0 223909096 11262046208 45229 33554432000 4194304 4196468 140731864307296 139977503463856 139978269420162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26894336 140731864308323 140731864311132 140731864311132 140731864313807 0
Current children cumulated CPU time: 2.38 s
Current children cumulated vsize: 10998092 KiB
################
# More data... #
################
/proc/27674/task/27779/stat : 27779 (java) R 27667 27674 27613 0 -1 4202560 80555 12999 0 0 237442 31 5 3 20 0 15 0 223909090 11345952768 131387 33554432000 4194304 4196468 140731864307296 139978241243504 139977850125936 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26894336 140731864308323 140731864311132 140731864311132 140731864313807 0
[pid=27674/tid=27784] ppid=27667 vsize=11080032 memory=525544 CPUtime=4.29 cores=0,2,4,6
/proc/27674/task/27784/stat : 27784 (java) S 27667 27674 27613 0 -1 1077944384 6186 12999 0 0 393 28 5 3 20 0 15 0 223909091 11345952768 131387 33554432000 4194304 4196468 140731864307296 139978273651600 139978269419221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26894336 140731864308323 140731864311132 140731864311132 140731864313807 0
[pid=27674/tid=27785] ppid=27667 vsize=11080032 memory=525544 CPUtime=4.29 cores=0,2,4,6
/proc/27674/task/27785/stat : 27785 (java) S 27667 27674 27613 0 -1 1077944384 12144 12999 0 0 394 27 5 3 20 0 15 0 223909091 11345952768 131387 33554432000 4194304 4196468 140731864307296 139978154916624 139978269419221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26894336 140731864308323 140731864311132 140731864311132 140731864313807 0
[pid=27674/tid=27786] ppid=27667 vsize=11080032 memory=525548 CPUtime=4.31 cores=0,2,4,6
/proc/27674/task/27786/stat : 27786 (java) S 27667 27674 27613 0 -1 1077944384 8580 12999 0 0 395 28 5 3 20 0 15 0 223909091 11345952768 131387 33554432000 4194304 4196468 140731864307296 139978153864336 139978269419221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26894336 140731864308323 140731864311132 140731864311132 140731864313807 0
[pid=27674/tid=27787] ppid=27667 vsize=11080032 memory=525548 CPUtime=4.29 cores=0,2,4,6
/proc/27674/task/27787/stat : 27787 (java) S 27667 27674 27613 0 -1 1077944384 9206 12999 0 0 391 30 5 3 20 0 15 0 223909091 11345952768 131387 33554432000 4194304 4196468 140731864307296 139978152811536 139978269419221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26894336 140731864308323 140731864311132 140731864311132 140731864313807 0
[pid=27674/tid=27789] ppid=27667 vsize=11080032 memory=525548 CPUtime=2.63 cores=0,2,4,6
/proc/27674/task/27789/stat : 27789 (java) S 27667 27674 27613 0 -1 1077944384 11117 12999 0 0 236 19 5 3 20 0 15 0 223909093 11345952768 131387 33554432000 4194304 4196468 140731864307296 139977507674224 139978269420162 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26894336 140731864308323 140731864311132 140731864311132 140731864313807 0
[pid=27674/tid=27791] ppid=27667 vsize=11080032 memory=525548 CPUtime=0.08 cores=0,2,4,6
/proc/27674/task/27791/stat : 27791 (java) S 27667 27674 27613 0 -1 1077944384 14 12999 0 0 0 0 5 3 20 0 15 0 223909093 11345952768 131387 33554432000 4194304 4196468 140731864307296 139977010701216 139978269419221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26894336 140731864308323 140731864311132 140731864311132 140731864313807 0
[pid=27674/tid=27793] ppid=27667 vsize=11080032 memory=525548 CPUtime=0.08 cores=0,2,4,6
/proc/27674/task/27793/stat : 27793 (java) S 27667 27674 27613 0 -1 1077944384 1 12999 0 0 0 0 5 3 20 0 15 0 223909093 11345952768 131387 33554432000 4194304 4196468 140731864307296 139976809374848 139978269419221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26894336 140731864308323 140731864311132 140731864311132 140731864313807 0
[pid=27674/tid=27798] ppid=27667 vsize=11080032 memory=525548 CPUtime=0.08 cores=0,2,4,6
/proc/27674/task/27798/stat : 27798 (java) S 27667 27674 27613 0 -1 1077944384 3 12999 0 0 0 0 5 3 20 0 15 0 223909096 11345952768 131387 33554432000 4194304 4196468 140731864307296 139976501975120 139978269427611 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26894336 140731864308323 140731864311132 140731864311132 140731864313807 0
[pid=27674/tid=27800] ppid=27667 vsize=11080032 memory=523480 CPUtime=6.02 cores=0,2,4,6
/proc/27674/task/27800/stat : 27800 (java) S 27667 27674 27613 0 -1 1077944384 46795 12999 0 0 587 7 5 3 20 0 15 0 223909096 11345952768 131387 33554432000 4194304 4196468 140731864307296 139977506622064 139978269420162 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26894336 140731864308323 140731864311132 140731864311132 140731864313807 0
[pid=27674/tid=27801] ppid=27667 vsize=11080032 memory=525548 CPUtime=6.08 cores=0,2,4,6
/proc/27674/task/27801/stat : 27801 (java) S 27667 27674 27613 0 -1 1077944384 43665 12999 0 0 594 6 5 3 20 0 15 0 223909096 11345952768 131387 33554432000 4194304 4196468 140731864307296 139977505569264 139978269420162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26894336 140731864308323 140731864311132 140731864311132 140731864313807 0
[pid=27674/tid=27802] ppid=27667 vsize=11080032 memory=525548 CPUtime=2.93 cores=0,2,4,6
/proc/27674/task/27802/stat : 27802 (java) S 27667 27674 27613 0 -1 1077944384 44001 12999 0 0 278 7 5 3 20 0 15 0 223909096 11345952768 131387 33554432000 4194304 4196468 140731864307296 139977504516976 139978269420162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26894336 140731864308323 140731864311132 140731864311132 140731864313807 0
[pid=27674/tid=27804] ppid=27667 vsize=11080032 memory=3708 CPUtime=0.08 cores=0,2,4,6
/proc/27674/task/27804/stat : 27804 (java) S 27667 27674 27613 0 -1 1077944384 3 12999 0 0 0 0 5 3 20 0 15 0 223909096 11345952768 131387 33554432000 4194304 4196468 140731864307296 139976071179232 139978269419221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26894336 140731864308323 140731864311132 140731864311132 140731864313807 0
[pid=27674/tid=27805] ppid=27667 vsize=11080032 memory=920 CPUtime=1.4 cores=0,2,4,6
/proc/27674/task/27805/stat : 27805 (java) S 27667 27674 27613 0 -1 1077944384 1528 12999 0 0 67 65 5 3 20 0 15 0 223909096 11345952768 131387 33554432000 4194304 4196468 140731864307296 139977503463856 139978269420162 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26894336 140731864308323 140731864311132 140731864311132 140731864313807 0
Current children cumulated CPU time: 2410.44 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 525548 KiB
[startup+2442.3 s]
/proc/loadavg: 1.50 1.43 1.38 3/216 28027
/proc/meminfo: memFree=27427500/32770624 swapFree=67108804/67108860
[pid=27674] ppid=27667 vsize=11080032 memory=527180 CPUtime=2470.75 cores=0,2,4,6
/proc/27674/stat : 27674 (java) S 27667 27674 27613 0 -1 1077944320 267907 12999 0 0 246841 226 5 3 20 0 15 0 223909081 11345952768 131795 33554432000 4194304 4196468 140731864307296 140731864289840 139978269409015 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 26894336 140731864308323 140731864311132 140731864311132 140731864313807 0
/proc/27674/statm: 2770008 131795 3530 1 0 2731661 0
[pid=27674/tid=27779] ppid=27667 vsize=11080032 memory=527180 CPUtime=2434.66 cores=0,2,4,6
/proc/27674/task/27779/stat : 27779 (java) R 27667 27674 27613 0 -1 4202560 80977 12999 0 0 243427 31 5 3 20 0 15 0 223909090 11345952768 131795 33554432000 4194304 4196468 140731864307296 139978241243616 139977850535877 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26894336 140731864308323 140731864311132 140731864311132 140731864313807 0
[pid=27674/tid=27784] ppid=27667 vsize=11080032 memory=527180 CPUtime=4.37 cores=0,2,4,6
/proc/27674/task/27784/stat : 27784 (java) S 27667 27674 27613 0 -1 1077944384 6626 12999 0 0 401 28 5 3 20 0 15 0 223909091 11345952768 131795 33554432000 4194304 4196468 140731864307296 139978273651600 139978269419221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26894336 140731864308323 140731864311132 140731864311132 140731864313807 0
[pid=27674/tid=27785] ppid=27667 vsize=11080032 memory=527180 CPUtime=4.36 cores=0,2,4,6
/proc/27674/task/27785/stat : 27785 (java) S 27667 27674 27613 0 -1 1077944384 12180 12999 0 0 401 27 5 3 20 0 15 0 223909091 11345952768 131795 33554432000 4194304 4196468 140731864307296 139978154916624 139978269419221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26894336 140731864308323 140731864311132 140731864311132 140731864313807 0
[pid=27674/tid=27786] ppid=27667 vsize=11080032 memory=525548 CPUtime=4.38 cores=0,2,4,6
/proc/27674/task/27786/stat : 27786 (java) S 27667 27674 27613 0 -1 1077944384 8592 12999 0 0 402 28 5 3 20 0 15 0 223909091 11345952768 131795 33554432000 4194304 4196468 140731864307296 139978153864336 139978269419221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26894336 140731864308323 140731864311132 140731864311132 140731864313807 0
[pid=27674/tid=27787] ppid=27667 vsize=11080032 memory=527180 CPUtime=4.37 cores=0,2,4,6
/proc/27674/task/27787/stat : 27787 (java) S 27667 27674 27613 0 -1 1077944384 9311 12999 0 0 399 30 5 3 20 0 15 0 223909091 11345952768 131795 33554432000 4194304 4196468 140731864307296 139978152811536 139978269419221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26894336 140731864308323 140731864311132 140731864311132 140731864313807 0
[pid=27674/tid=27789] ppid=27667 vsize=11080032 memory=527180 CPUtime=2.68 cores=0,2,4,6
/proc/27674/task/27789/stat : 27789 (java) S 27667 27674 27613 0 -1 1077944384 11273 12999 0 0 241 19 5 3 20 0 15 0 223909093 11345952768 131795 33554432000 4194304 4196468 140731864307296 139977507674224 139978269420162 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26894336 140731864308323 140731864311132 140731864311132 140731864313807 0
[pid=27674/tid=27791] ppid=27667 vsize=11080032 memory=527180 CPUtime=0.08 cores=0,2,4,6
/proc/27674/task/27791/stat : 27791 (java) S 27667 27674 27613 0 -1 1077944384 14 12999 0 0 0 0 5 3 20 0 15 0 223909093 11345952768 131795 33554432000 4194304 4196468 140731864307296 139977010701216 139978269419221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26894336 140731864308323 140731864311132 140731864311132 140731864313807 0
[pid=27674/tid=27793] ppid=27667 vsize=11080032 memory=527180 CPUtime=0.08 cores=0,2,4,6
/proc/27674/task/27793/stat : 27793 (java) S 27667 27674 27613 0 -1 1077944384 1 12999 0 0 0 0 5 3 20 0 15 0 223909093 11345952768 131795 33554432000 4194304 4196468 140731864307296 139976809374848 139978269419221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26894336 140731864308323 140731864311132 140731864311132 140731864313807 0
[pid=27674/tid=27798] ppid=27667 vsize=11080032 memory=527180 CPUtime=0.08 cores=0,2,4,6
/proc/27674/task/27798/stat : 27798 (java) S 27667 27674 27613 0 -1 1077944384 3 12999 0 0 0 0 5 3 20 0 15 0 223909096 11345952768 131795 33554432000 4194304 4196468 140731864307296 139976501975120 139978269427611 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26894336 140731864308323 140731864311132 140731864311132 140731864313807 0
[pid=27674/tid=27800] ppid=27667 vsize=11080032 memory=525548 CPUtime=6.05 cores=0,2,4,6
/proc/27674/task/27800/stat : 27800 (java) S 27667 27674 27613 0 -1 1077944384 47228 12999 0 0 590 7 5 3 20 0 15 0 223909096 11345952768 131795 33554432000 4194304 4196468 140731864307296 139977506622064 139978269420162 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26894336 140731864308323 140731864311132 140731864311132 140731864313807 0
[pid=27674/tid=27801] ppid=27667 vsize=11080032 memory=527180 CPUtime=6.08 cores=0,2,4,6
/proc/27674/task/27801/stat : 27801 (java) S 27667 27674 27613 0 -1 1077944384 43704 12999 0 0 594 6 5 3 20 0 15 0 223909096 11345952768 131795 33554432000 4194304 4196468 140731864307296 139977505569264 139978269420162 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26894336 140731864308323 140731864311132 140731864311132 140731864313807 0
[pid=27674/tid=27802] ppid=27667 vsize=11080032 memory=527180 CPUtime=2.93 cores=0,2,4,6
/proc/27674/task/27802/stat : 27802 (java) S 27667 27674 27613 0 -1 1077944384 44259 12999 0 0 278 7 5 3 20 0 15 0 223909096 11345952768 131795 33554432000 4194304 4196468 140731864307296 139977504516976 139978269420162 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26894336 140731864308323 140731864311132 140731864311132 140731864313807 0
[pid=27674/tid=27804] ppid=27667 vsize=11080032 memory=527180 CPUtime=0.08 cores=0,2,4,6
/proc/27674/task/27804/stat : 27804 (java) S 27667 27674 27613 0 -1 1077944384 3 12999 0 0 0 0 5 3 20 0 15 0 223909096 11345952768 131795 33554432000 4194304 4196468 140731864307296 139976071179232 139978269419221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26894336 140731864308323 140731864311132 140731864311132 140731864313807 0
[pid=27674/tid=27805] ppid=27667 vsize=11080032 memory=527180 CPUtime=1.44 cores=0,2,4,6
/proc/27674/task/27805/stat : 27805 (java) S 27667 27674 27613 0 -1 1077944384 1545 12999 0 0 69 67 5 3 20 0 15 0 223909096 11345952768 131795 33554432000 4194304 4196468 140731864307296 139977503463856 139978269420162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26894336 140731864308323 140731864311132 140731864311132 140731864313807 0
Current children cumulated CPU time: 2470.75 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 527180 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2491.3 s]
/proc/loadavg: 1.58 1.46 1.40 3/215 28028
/proc/meminfo: memFree=27427636/32770624 swapFree=67108804/67108860
[pid=27674] ppid=27667 vsize=11080032 memory=527188 CPUtime=2520 cores=0,2,4,6
/proc/27674/stat : 27674 (java) S 27667 27674 27613 0 -1 1077944320 269271 12999 0 0 251763 229 5 3 20 0 15 0 223909081 11345952768 131797 33554432000 4194304 4196468 140731864307296 140731864289840 139978269409015 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 26894336 140731864308323 140731864311132 140731864311132 140731864313807 0
/proc/27674/statm: 2770008 131797 3530 1 0 2731661 0
[pid=27674/tid=27779] ppid=27667 vsize=11080032 memory=1784 CPUtime=2483.55 cores=0,2,4,6
/proc/27674/task/27779/stat : 27779 (java) R 27667 27674 27613 0 -1 4202560 81375 12999 0 0 248315 32 5 3 20 0 15 0 223909090 11345952768 131797 33554432000 4194304 4196468 140731864307296 139978241243152 139977842255247 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26894336 140731864308323 140731864311132 140731864311132 140731864313807 0
[pid=27674/tid=27784] ppid=27667 vsize=11080032 memory=527188 CPUtime=4.45 cores=0,2,4,6
/proc/27674/task/27784/stat : 27784 (java) S 27667 27674 27613 0 -1 1077944384 6984 12999 0 0 408 29 5 3 20 0 15 0 223909091 11345952768 131797 33554432000 4194304 4196468 140731864307296 139978273651600 139978269419221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26894336 140731864308323 140731864311132 140731864311132 140731864313807 0
[pid=27674/tid=27785] ppid=27667 vsize=11080032 memory=527188 CPUtime=4.42 cores=0,2,4,6
/proc/27674/task/27785/stat : 27785 (java) S 27667 27674 27613 0 -1 1077944384 12213 12999 0 0 407 27 5 3 20 0 15 0 223909091 11345952768 131797 33554432000 4194304 4196468 140731864307296 139978154916624 139978269419221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26894336 140731864308323 140731864311132 140731864311132 140731864313807 0
[pid=27674/tid=27786] ppid=27667 vsize=11080032 memory=527188 CPUtime=4.45 cores=0,2,4,6
/proc/27674/task/27786/stat : 27786 (java) S 27667 27674 27613 0 -1 1077944384 8623 12999 0 0 409 28 5 3 20 0 15 0 223909091 11345952768 131797 33554432000 4194304 4196468 140731864307296 139978153864336 139978269419221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26894336 140731864308323 140731864311132 140731864311132 140731864313807 0
[pid=27674/tid=27787] ppid=27667 vsize=11080032 memory=527188 CPUtime=4.44 cores=0,2,4,6
/proc/27674/task/27787/stat : 27787 (java) S 27667 27674 27613 0 -1 1077944384 9454 12999 0 0 406 30 5 3 20 0 15 0 223909091 11345952768 131797 33554432000 4194304 4196468 140731864307296 139978152811536 139978269419221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26894336 140731864308323 140731864311132 140731864311132 140731864313807 0
[pid=27674/tid=27789] ppid=27667 vsize=11080032 memory=527188 CPUtime=2.72 cores=0,2,4,6
/proc/27674/task/27789/stat : 27789 (java) S 27667 27674 27613 0 -1 1077944384 11425 12999 0 0 245 19 5 3 20 0 15 0 223909093 11345952768 131797 33554432000 4194304 4196468 140731864307296 139977507674224 139978269420162 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26894336 140731864308323 140731864311132 140731864311132 140731864313807 0
[pid=27674/tid=27791] ppid=27667 vsize=11080032 memory=527188 CPUtime=0.08 cores=0,2,4,6
/proc/27674/task/27791/stat : 27791 (java) S 27667 27674 27613 0 -1 1077944384 14 12999 0 0 0 0 5 3 20 0 15 0 223909093 11345952768 131797 33554432000 4194304 4196468 140731864307296 139977010701216 139978269419221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26894336 140731864308323 140731864311132 140731864311132 140731864313807 0
[pid=27674/tid=27793] ppid=27667 vsize=11080032 memory=527180 CPUtime=0.08 cores=0,2,4,6
/proc/27674/task/27793/stat : 27793 (java) S 27667 27674 27613 0 -1 1077944384 1 12999 0 0 0 0 5 3 20 0 15 0 223909093 11345952768 131797 33554432000 4194304 4196468 140731864307296 139976809374848 139978269419221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26894336 140731864308323 140731864311132 140731864311132 140731864313807 0
[pid=27674/tid=27798] ppid=27667 vsize=11080032 memory=527188 CPUtime=0.08 cores=0,2,4,6
/proc/27674/task/27798/stat : 27798 (java) S 27667 27674 27613 0 -1 1077944384 3 12999 0 0 0 0 5 3 20 0 15 0 223909096 11345952768 131797 33554432000 4194304 4196468 140731864307296 139976501975120 139978269427611 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26894336 140731864308323 140731864311132 140731864311132 140731864313807 0
[pid=27674/tid=27800] ppid=27667 vsize=11080032 memory=527188 CPUtime=6.06 cores=0,2,4,6
/proc/27674/task/27800/stat : 27800 (java) S 27667 27674 27613 0 -1 1077944384 47298 12999 0 0 591 7 5 3 20 0 15 0 223909096 11345952768 131797 33554432000 4194304 4196468 140731864307296 139977506622064 139978269420162 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26894336 140731864308323 140731864311132 140731864311132 140731864313807 0
[pid=27674/tid=27801] ppid=27667 vsize=11080032 memory=1260 CPUtime=6.09 cores=0,2,4,6
/proc/27674/task/27801/stat : 27801 (java) S 27667 27674 27613 0 -1 1077944384 43716 12999 0 0 595 6 5 3 20 0 15 0 223909096 11345952768 131797 33554432000 4194304 4196468 140731864307296 139977505569264 139978269420162 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26894336 140731864308323 140731864311132 140731864311132 140731864313807 0
[pid=27674/tid=27802] ppid=27667 vsize=11080032 memory=527188 CPUtime=2.95 cores=0,2,4,6
/proc/27674/task/27802/stat : 27802 (java) S 27667 27674 27613 0 -1 1077944384 44410 12999 0 0 279 8 5 3 20 0 15 0 223909096 11345952768 131797 33554432000 4194304 4196468 140731864307296 139977504516976 139978269420162 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26894336 140731864308323 140731864311132 140731864311132 140731864313807 0
[pid=27674/tid=27804] ppid=27667 vsize=11080032 memory=527188 CPUtime=0.08 cores=0,2,4,6
/proc/27674/task/27804/stat : 27804 (java) S 27667 27674 27613 0 -1 1077944384 3 12999 0 0 0 0 5 3 20 0 15 0 223909096 11345952768 131797 33554432000 4194304 4196468 140731864307296 139976071179232 139978269419221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26894336 140731864308323 140731864311132 140731864311132 140731864313807 0
[pid=27674/tid=27805] ppid=27667 vsize=11080032 memory=527188 CPUtime=1.47 cores=0,2,4,6
/proc/27674/task/27805/stat : 27805 (java) S 27667 27674 27613 0 -1 1077944384 1561 12999 0 0 70 69 5 3 20 0 15 0 223909096 11345952768 131797 33554432000 4194304 4196468 140731864307296 139977503463856 139978269420162 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26894336 140731864308323 140731864311132 140731864311132 140731864313807 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 527188 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2491.32 s]
# the end of solver process 27674 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.71 s, system=2.33101 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2491.3 s]
/proc/loadavg: 1.58 1.46 1.40 3/215 28028
/proc/meminfo: memFree=27427636/32770624 swapFree=67108804/67108860
[pid=27674] ppid=27667 vsize=11080032 memory=527188 CPUtime=2520 cores=0,2,4,6
/proc/27674/stat : 27674 (java) S 27667 27674 27613 0 -1 1077944320 269271 12999 0 0 251763 229 5 3 20 0 15 0 223909081 11345952768 131797 33554432000 4194304 4196468 140731864307296 140731864289840 139978269409015 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 26894336 140731864308323 140731864311132 140731864311132 140731864313807 0
/proc/27674/statm: 2770008 131797 3530 1 0 2731661 0
[pid=27674/tid=27779] ppid=27667 vsize=11080032 memory=1784 CPUtime=2483.55 cores=0,2,4,6
/proc/27674/task/27779/stat : 27779 (java) R 27667 27674 27613 0 -1 4202560 81375 12999 0 0 248315 32 5 3 20 0 15 0 223909090 11345952768 131797 33554432000 4194304 4196468 140731864307296 139978241243152 139977842255247 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26894336 140731864308323 140731864311132 140731864311132 140731864313807 0
[pid=27674/tid=27784] ppid=27667 vsize=11080032 memory=527188 CPUtime=4.45 cores=0,2,4,6
/proc/27674/task/27784/stat : 27784 (java) S 27667 27674 27613 0 -1 1077944384 6984 12999 0 0 408 29 5 3 20 0 15 0 223909091 11345952768 131797 33554432000 4194304 4196468 140731864307296 139978273651600 139978269419221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26894336 140731864308323 140731864311132 140731864311132 140731864313807 0
[pid=27674/tid=27785] ppid=27667 vsize=11080032 memory=527188 CPUtime=4.42 cores=0,2,4,6
/proc/27674/task/27785/stat : 27785 (java) S 27667 27674 27613 0 -1 1077944384 12213 12999 0 0 407 27 5 3 20 0 15 0 223909091 11345952768 131797 33554432000 4194304 4196468 140731864307296 139978154916624 139978269419221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26894336 140731864308323 140731864311132 140731864311132 140731864313807 0
[pid=27674/tid=27786] ppid=27667 vsize=11080032 memory=527188 CPUtime=4.45 cores=0,2,4,6
/proc/27674/task/27786/stat : 27786 (java) S 27667 27674 27613 0 -1 1077944384 8623 12999 0 0 409 28 5 3 20 0 15 0 223909091 11345952768 131797 33554432000 4194304 4196468 140731864307296 139978153864336 139978269419221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26894336 140731864308323 140731864311132 140731864311132 140731864313807 0
[pid=27674/tid=27787] ppid=27667 vsize=11080032 memory=527188 CPUtime=4.44 cores=0,2,4,6
/proc/27674/task/27787/stat : 27787 (java) S 27667 27674 27613 0 -1 1077944384 9454 12999 0 0 406 30 5 3 20 0 15 0 223909091 11345952768 131797 33554432000 4194304 4196468 140731864307296 139978152811536 139978269419221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26894336 140731864308323 140731864311132 140731864311132 140731864313807 0
[pid=27674/tid=27789] ppid=27667 vsize=11080032 memory=527188 CPUtime=2.72 cores=0,2,4,6
/proc/27674/task/27789/stat : 27789 (java) S 27667 27674 27613 0 -1 1077944384 11425 12999 0 0 245 19 5 3 20 0 15 0 223909093 11345952768 131797 33554432000 4194304 4196468 140731864307296 139977507674224 139978269420162 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26894336 140731864308323 140731864311132 140731864311132 140731864313807 0
[pid=27674/tid=27791] ppid=27667 vsize=11080032 memory=527188 CPUtime=0.08 cores=0,2,4,6
/proc/27674/task/27791/stat : 27791 (java) S 27667 27674 27613 0 -1 1077944384 14 12999 0 0 0 0 5 3 20 0 15 0 223909093 11345952768 131797 33554432000 4194304 4196468 140731864307296 139977010701216 139978269419221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26894336 140731864308323 140731864311132 140731864311132 140731864313807 0
[pid=27674/tid=27793] ppid=27667 vsize=11080032 memory=527180 CPUtime=0.08 cores=0,2,4,6
/proc/27674/task/27793/stat : 27793 (java) S 27667 27674 27613 0 -1 1077944384 1 12999 0 0 0 0 5 3 20 0 15 0 223909093 11345952768 131797 33554432000 4194304 4196468 140731864307296 139976809374848 139978269419221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26894336 140731864308323 140731864311132 140731864311132 140731864313807 0
[pid=27674/tid=27798] ppid=27667 vsize=11080032 memory=527188 CPUtime=0.08 cores=0,2,4,6
/proc/27674/task/27798/stat : 27798 (java) S 27667 27674 27613 0 -1 1077944384 3 12999 0 0 0 0 5 3 20 0 15 0 223909096 11345952768 131797 33554432000 4194304 4196468 140731864307296 139976501975120 139978269427611 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26894336 140731864308323 140731864311132 140731864311132 140731864313807 0
[pid=27674/tid=27800] ppid=27667 vsize=11080032 memory=527188 CPUtime=6.06 cores=0,2,4,6
/proc/27674/task/27800/stat : 27800 (java) S 27667 27674 27613 0 -1 1077944384 47298 12999 0 0 591 7 5 3 20 0 15 0 223909096 11345952768 131797 33554432000 4194304 4196468 140731864307296 139977506622064 139978269420162 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26894336 140731864308323 140731864311132 140731864311132 140731864313807 0
[pid=27674/tid=27801] ppid=27667 vsize=11080032 memory=1260 CPUtime=6.09 cores=0,2,4,6
/proc/27674/task/27801/stat : 27801 (java) S 27667 27674 27613 0 -1 1077944384 43716 12999 0 0 595 6 5 3 20 0 15 0 223909096 11345952768 131797 33554432000 4194304 4196468 140731864307296 139977505569264 139978269420162 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26894336 140731864308323 140731864311132 140731864311132 140731864313807 0
[pid=27674/tid=27802] ppid=27667 vsize=11080032 memory=527188 CPUtime=2.95 cores=0,2,4,6
/proc/27674/task/27802/stat : 27802 (java) S 27667 27674 27613 0 -1 1077944384 44410 12999 0 0 279 8 5 3 20 0 15 0 223909096 11345952768 131797 33554432000 4194304 4196468 140731864307296 139977504516976 139978269420162 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26894336 140731864308323 140731864311132 140731864311132 140731864313807 0
[pid=27674/tid=27804] ppid=27667 vsize=11080032 memory=527188 CPUtime=0.08 cores=0,2,4,6
/proc/27674/task/27804/stat : 27804 (java) S 27667 27674 27613 0 -1 1077944384 3 12999 0 0 0 0 5 3 20 0 15 0 223909096 11345952768 131797 33554432000 4194304 4196468 140731864307296 139976071179232 139978269419221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26894336 140731864308323 140731864311132 140731864311132 140731864313807 0
[pid=27674/tid=27805] ppid=27667 vsize=11080032 memory=527188 CPUtime=1.47 cores=0,2,4,6
/proc/27674/task/27805/stat : 27805 (java) S 27667 27674 27613 0 -1 1077944384 1561 12999 0 0 70 69 5 3 20 0 15 0 223909096 11345952768 131797 33554432000 4194304 4196468 140731864307296 139977503463856 139978269420162 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26894336 140731864308323 140731864311132 140731864311132 140731864313807 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 527188 KiB
Child status: 143
Real time (s): 2491.32
CPU time (s): 2520.04
CPU user time (s): 2517.71
CPU system time (s): 2.33101
CPU usage (%): 101.153
Max. virtual memory (cumulated for all children) (KiB): 11080620
Max. memory (cumulated for all children) (KiB): 1323364
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.71
system time used= 2.33101
maximum resident set size= 1325412
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 283204
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 116191
involuntary context switches= 4024
# summary of solver processes directly reported to runsolver:
# pid: 27674
# total CPU time (s): 2520.04
# total CPU user time (s): 2517.71
# total CPU system time (s): 2.33101
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.5616 second user time and 23.7408 second system time
The end