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 (1087 MiB free)
memory of node 1: 16384 MiB (2376 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4403229-1568977823/watcher-4403229-1568977823 -o /var/tmp/evaluation-result-4403229-1568977823/solver-4403229-1568977823 -C 2400 -W 2500 -M 15500 --bin-var /var/tmp/runsolver-exch-node145-1568967596-13935 --watchdog 2560 bin/xcsp-3-concrete -J-Xss32M -randomseed=2094713575 HOME/instance-4403229-1568977823.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=16698, runsolver pid=16695
[startup+0.100156 s]*
/proc/loadavg: 1.12 1.44 1.41 2/215 16751
/proc/meminfo: memFree=3544744/32770624 swapFree=66966844/67108860
[pid=16698] ppid=16695 vsize=142212 memory=5668 CPUtime=0.07 cores=1,3,5,7
/proc/16698/stat : 16698 (java) S 16695 16698 13903 0 -1 1077944320 2603 12978 0 0 0 0 5 2 20 0 2 0 473718804 145625088 1352 33554432000 4194304 4196468 140721884407616 140721884390160 139648227208951 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18378752 140721884412515 140721884415157 140721884415157 140721884417999 0
/proc/16698/statm: 35553 1417 1054 1 0 25003 0
[pid=16698/tid=16751] ppid=16695 vsize=392944 memory=8514726395714820750 CPUtime=0.07 cores=1,3,5,7
/proc/16698/task/16751/stat : 16751 (java) R 16695 16698 13903 0 -1 4202560 447 12978 0 0 0 0 5 2 20 0 2 0 473718813 402374656 1404 33554432000 4194304 4196468 140721884407616 139648199051280 139648208619101 0 4 0 16784584 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 18378752 140721884412515 140721884415157 140721884415157 140721884417999 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 142212 KiB
Current children cumulated memory: 5668 KiB
[startup+0.209727 s]*
/proc/loadavg: 1.12 1.44 1.41 4/228 16764
/proc/meminfo: memFree=3521576/32770624 swapFree=66966844/67108860
[pid=16698] ppid=16695 vsize=10819716 memory=38300 CPUtime=0.24 cores=1,3,5,7
/proc/16698/stat : 16698 (java) S 16695 16698 13903 0 -1 1077944320 6884 12978 0 0 16 1 5 2 20 0 15 0 473718804 11079389184 9575 33554432000 4194304 4196468 140721884407616 140721884390160 139648227208951 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18378752 140721884412515 140721884415157 140721884415157 140721884417999 0
/proc/16698/statm: 2704929 9575 3198 1 0 2667149 0
[pid=16698/tid=16751] ppid=16695 vsize=10819716 memory=7022364594140610616 CPUtime=0.16 cores=1,3,5,7
/proc/16698/task/16751/stat : 16751 (java) R 16695 16698 13903 0 -1 4202560 3372 12978 0 0 9 0 5 2 20 0 15 0 473718813 11079389184 9575 33554432000 4194304 4196468 140721884407616 139648199050320 139648207484832 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 18378752 140721884412515 140721884415157 140721884415157 140721884417999 0
[pid=16698/tid=16752] ppid=16695 vsize=10819716 memory=342 CPUtime=0.07 cores=1,3,5,7
/proc/16698/task/16752/stat : 16752 (java) S 16695 16698 13903 0 -1 1077944384 1 12978 0 0 0 0 5 2 20 0 15 0 473718815 11079389184 9575 33554432000 4194304 4196468 140721884407616 139648231451536 139648227219157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18378752 140721884412515 140721884415157 140721884415157 140721884417999 0
[pid=16698/tid=16753] ppid=16695 vsize=10819716 memory=140004000674850 CPUtime=0.07 cores=1,3,5,7
/proc/16698/task/16753/stat : 16753 (java) S 16695 16698 13903 0 -1 1077944384 1 12978 0 0 0 0 5 2 20 0 15 0 473718815 11079389184 9575 33554432000 4194304 4196468 140721884407616 139648119724816 139648227219157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18378752 140721884412515 140721884415157 140721884415157 140721884417999 0
[pid=16698/tid=16754] ppid=16695 vsize=10819716 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16698/task/16754/stat : 16754 (java) S 16695 16698 13903 0 -1 1077944384 1 12978 0 0 0 0 5 2 20 0 15 0 473718815 11079389184 9575 33554432000 4194304 4196468 140721884407616 139648118672528 139648227219157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18378752 140721884412515 140721884415157 140721884415157 140721884417999 0
[pid=16698/tid=16755] ppid=16695 vsize=10819716 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/16698/task/16755/stat : 16755 (java) S 16695 16698 13903 0 -1 1077944384 2 12978 0 0 0 0 5 2 20 0 15 0 473718815 11079389184 9575 33554432000 4194304 4196468 140721884407616 139648117619728 139648227219157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18378752 140721884412515 140721884415157 140721884415157 140721884417999 0
[pid=16698/tid=16756] ppid=16695 vsize=10819716 memory=140004000659072 CPUtime=0.07 cores=1,3,5,7
/proc/16698/task/16756/stat : 16756 (java) S 16695 16698 13903 0 -1 1077944384 2 12978 0 0 0 0 5 2 20 0 15 0 473718816 11079389184 9575 33554432000 4194304 4196468 140721884407616 139647686486128 139648227220098 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18378752 140721884412515 140721884415157 140721884415157 140721884417999 0
[pid=16698/tid=16757] ppid=16695 vsize=10819716 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/16698/task/16757/stat : 16757 (java) S 16695 16698 13903 0 -1 1077944384 33 12978 0 0 0 0 5 2 20 0 15 0 473718817 11079389184 9575 33554432000 4194304 4196468 140721884407616 139647685432096 139648227219157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18378752 140721884412515 140721884415157 140721884415157 140721884417999 0
[pid=16698/tid=16758] ppid=16695 vsize=10819716 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16698/task/16758/stat : 16758 (java) S 16695 16698 13903 0 -1 1077944384 1 12978 0 0 0 0 5 2 20 0 15 0 473718817 11079389184 9575 33554432000 4194304 4196468 140721884407616 139647103526000 139648227219157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18378752 140721884412515 140721884415157 140721884415157 140721884417999 0
[pid=16698/tid=16759] ppid=16695 vsize=10819716 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16698/task/16759/stat : 16759 (java) S 16695 16698 13903 0 -1 1077944384 3 12978 0 0 0 0 5 2 20 0 15 0 473718820 11079389184 9575 33554432000 4194304 4196468 140721884407616 139646796126288 139648227227547 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18378752 140721884412515 140721884415157 140721884415157 140721884417999 0
[pid=16698/tid=16760] ppid=16695 vsize=10819716 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/16698/task/16760/stat : 16760 (java) S 16695 16698 13903 0 -1 1077944384 355 12978 0 0 1 0 5 2 20 0 15 0 473718820 11079389184 9575 33554432000 4194304 4196468 140721884407616 139647651875440 139648227220098 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18378752 140721884412515 140721884415157 140721884415157 140721884417999 0
[pid=16698/tid=16761] ppid=16695 vsize=10819716 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/16698/task/16761/stat : 16761 (java) S 16695 16698 13903 0 -1 1077944384 310 12978 0 0 1 0 5 2 20 0 15 0 473718820 11079389184 9575 33554432000 4194304 4196468 140721884407616 139647650822640 139648227220098 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18378752 140721884412515 140721884415157 140721884415157 140721884417999 0
[pid=16698/tid=16762] ppid=16695 vsize=10819716 memory=140004000659072 CPUtime=0.1 cores=1,3,5,7
/proc/16698/task/16762/stat : 16762 (java) S 16695 16698 13903 0 -1 1077944384 598 12978 0 0 3 0 5 2 20 0 15 0 473718820 11079389184 9575 33554432000 4194304 4196468 140721884407616 139647649770352 139648227220098 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18378752 140721884412515 140721884415157 140721884415157 140721884417999 0
[pid=16698/tid=16763] ppid=16695 vsize=10819716 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/16698/task/16763/stat : 16763 (java) S 16695 16698 13903 0 -1 1077944384 3 12978 0 0 0 0 5 2 20 0 15 0 473718820 11079389184 9575 33554432000 4194304 4196468 140721884407616 139646762568672 139648227219157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18378752 140721884412515 140721884415157 140721884415157 140721884417999 0
[pid=16698/tid=16764] ppid=16695 vsize=10819716 memory=140004000659072 CPUtime=0.07 cores=1,3,5,7
/proc/16698/task/16764/stat : 16764 (java) S 16695 16698 13903 0 -1 1077944384 1 12978 0 0 0 0 5 2 20 0 15 0 473718820 11079389184 9575 33554432000 4194304 4196468 140721884407616 139647648717232 139648227220098 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18378752 140721884412515 140721884415157 140721884415157 140721884417999 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 10819716 KiB
Current children cumulated memory: 38300 KiB
[startup+0.310577 s]*
/proc/loadavg: 1.12 1.44 1.41 3/228 16764
/proc/meminfo: memFree=3508036/32770624 swapFree=66966844/67108860
[pid=16698] ppid=16695 vsize=10820196 memory=49248 CPUtime=0.38 cores=1,3,5,7
/proc/16698/stat : 16698 (java) S 16695 16698 13903 0 -1 1077944320 10547 12978 0 0 28 3 5 2 20 0 15 0 473718804 11079880704 12312 33554432000 4194304 4196468 140721884407616 140721884390160 139648227208951 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18378752 140721884412515 140721884415157 140721884415157 140721884417999 0
/proc/16698/statm: 2705049 12312 3326 1 0 2667149 0
[pid=16698/tid=16751] ppid=16695 vsize=10820196 memory=6944656592455097440 CPUtime=0.27 cores=1,3,5,7
/proc/16698/task/16751/stat : 16751 (java) R 16695 16698 13903 0 -1 4202560 7030 12978 0 0 18 2 5 2 20 0 15 0 473718813 11079880704 12359 33554432000 4194304 4196468 140721884407616 139648199017872 139648211252581 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 18378752 140721884412515 140721884415157 140721884415157 140721884417999 0
[pid=16698/tid=16752] ppid=16695 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16698/task/16752/stat : 16752 (java) S 16695 16698 13903 0 -1 1077944384 1 12978 0 0 0 0 5 2 20 0 15 0 473718815 11079880704 12359 33554432000 4194304 4196468 140721884407616 139648231451536 139648227219157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18378752 140721884412515 140721884415157 140721884415157 140721884417999 0
[pid=16698/tid=16753] ppid=16695 vsize=10820196 memory=140004000659072 CPUtime=0.07 cores=1,3,5,7
/proc/16698/task/16753/stat : 16753 (java) S 16695 16698 13903 0 -1 1077944384 1 12978 0 0 0 0 5 2 20 0 15 0 473718815 11079880704 12359 33554432000 4194304 4196468 140721884407616 139648119724816 139648227219157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18378752 140721884412515 140721884415157 140721884415157 140721884417999 0
[pid=16698/tid=16754] ppid=16695 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16698/task/16754/stat : 16754 (java) S 16695 16698 13903 0 -1 1077944384 1 12978 0 0 0 0 5 2 20 0 15 0 473718815 11079880704 12359 33554432000 4194304 4196468 140721884407616 139648118672528 139648227219157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18378752 140721884412515 140721884415157 140721884415157 140721884417999 0
[pid=16698/tid=16755] ppid=16695 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/16698/task/16755/stat : 16755 (java) S 16695 16698 13903 0 -1 1077944384 2 12978 0 0 0 0 5 2 20 0 15 0 473718815 11079880704 12359 33554432000 4194304 4196468 140721884407616 139648117619728 139648227219157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18378752 140721884412515 140721884415157 140721884415157 140721884417999 0
[pid=16698/tid=16756] ppid=16695 vsize=10820196 memory=140004000659072 CPUtime=0.07 cores=1,3,5,7
/proc/16698/task/16756/stat : 16756 (java) S 16695 16698 13903 0 -1 1077944384 2 12978 0 0 0 0 5 2 20 0 15 0 473718816 11079880704 12359 33554432000 4194304 4196468 140721884407616 139647686486128 139648227220098 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18378752 140721884412515 140721884415157 140721884415157 140721884417999 0
[pid=16698/tid=16757] ppid=16695 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/16698/task/16757/stat : 16757 (java) S 16695 16698 13903 0 -1 1077944384 33 12978 0 0 0 0 5 2 20 0 15 0 473718817 11079880704 12359 33554432000 4194304 4196468 140721884407616 139647685432096 139648227219157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18378752 140721884412515 140721884415157 140721884415157 140721884417999 0
[pid=16698/tid=16758] ppid=16695 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16698/task/16758/stat : 16758 (java) S 16695 16698 13903 0 -1 1077944384 1 12978 0 0 0 0 5 2 20 0 15 0 473718817 11079880704 12359 33554432000 4194304 4196468 140721884407616 139647103526000 139648227219157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18378752 140721884412515 140721884415157 140721884415157 140721884417999 0
[pid=16698/tid=16759] ppid=16695 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16698/task/16759/stat : 16759 (java) S 16695 16698 13903 0 -1 1077944384 3 12978 0 0 0 0 5 2 20 0 15 0 473718820 11079880704 12359 33554432000 4194304 4196468 140721884407616 139646796126288 139648227227547 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18378752 140721884412515 140721884415157 140721884415157 140721884417999 0
[pid=16698/tid=16760] ppid=16695 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/16698/task/16760/stat : 16760 (java) S 16695 16698 13903 0 -1 1077944384 355 12978 0 0 1 0 5 2 20 0 15 0 473718820 11079880704 12359 33554432000 4194304 4196468 140721884407616 139647651875440 139648227220098 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18378752 140721884412515 140721884415157 140721884415157 140721884417999 0
[pid=16698/tid=16761] ppid=16695 vsize=10820196 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/16698/task/16761/stat : 16761 (java) S 16695 16698 13903 0 -1 1077944384 320 12978 0 0 2 0 5 2 20 0 15 0 473718820 11079880704 12359 33554432000 4194304 4196468 140721884407616 139647650822640 139648227220098 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18378752 140721884412515 140721884415157 140721884415157 140721884417999 0
[pid=16698/tid=16762] ppid=16695 vsize=10820196 memory=140004000659072 CPUtime=0.12 cores=1,3,5,7
/proc/16698/task/16762/stat : 16762 (java) S 16695 16698 13903 0 -1 1077944384 607 12978 0 0 5 0 5 2 20 0 15 0 473718820 11079880704 12359 33554432000 4194304 4196468 140721884407616 139647649770352 139648227220098 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18378752 140721884412515 140721884415157 140721884415157 140721884417999 0
[pid=16698/tid=16763] ppid=16695 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/16698/task/16763/stat : 16763 (java) S 16695 16698 13903 0 -1 1077944384 3 12978 0 0 0 0 5 2 20 0 15 0 473718820 11079880704 12359 33554432000 4194304 4196468 140721884407616 139646762568672 139648227219157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18378752 140721884412515 140721884415157 140721884415157 140721884417999 0
[pid=16698/tid=16764] ppid=16695 vsize=10820196 memory=140004000659072 CPUtime=0.07 cores=1,3,5,7
/proc/16698/task/16764/stat : 16764 (java) S 16695 16698 13903 0 -1 1077944384 1 12978 0 0 0 0 5 2 20 0 15 0 473718820 11079880704 12359 33554432000 4194304 4196468 140721884407616 139647648717232 139648227220098 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18378752 140721884412515 140721884415157 140721884415157 140721884417999 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 49248 KiB
[startup+0.700648 s]
/proc/loadavg: 1.12 1.44 1.41 3/228 16764
/proc/meminfo: memFree=3495796/32770624 swapFree=66966844/67108860
[pid=16698] ppid=16695 vsize=10824364 memory=79268 CPUtime=1.12 cores=1,3,5,7
/proc/16698/stat : 16698 (java) S 16695 16698 13903 0 -1 1077944320 14551 12978 0 0 100 5 5 2 20 0 15 0 473718804 11084148736 19751 33554432000 4194304 4196468 140721884407616 140721884390160 139648227208951 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18378752 140721884412515 140721884415157 140721884415157 140721884417999 0
/proc/16698/statm: 2706091 19817 3511 1 0 2668173 0
[pid=16698/tid=16751] ppid=16695 vsize=10824364 memory=0 CPUtime=0.64 cores=1,3,5,7
/proc/16698/task/16751/stat : 16751 (java) R 16695 16698 13903 0 -1 4202560 9945 12978 0 0 54 3 5 2 20 0 15 0 473718813 11084148736 19817 33554432000 4194304 4196468 140721884407616 139648199038496 139648150277112 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 18378752 140721884412515 140721884415157 140721884415157 140721884417999 0
[pid=16698/tid=16752] ppid=16695 vsize=10824364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16698/task/16752/stat : 16752 (java) S 16695 16698 13903 0 -1 1077944384 1 12978 0 0 0 0 5 2 20 0 15 0 473718815 11084148736 19817 33554432000 4194304 4196468 140721884407616 139648231451536 139648227219157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18378752 140721884412515 140721884415157 140721884415157 140721884417999 0
[pid=16698/tid=16753] ppid=16695 vsize=10824364 memory=2470411503361 CPUtime=0.07 cores=1,3,5,7
/proc/16698/task/16753/stat : 16753 (java) S 16695 16698 13903 0 -1 1077944384 1 12978 0 0 0 0 5 2 20 0 15 0 473718815 11084148736 19817 33554432000 4194304 4196468 140721884407616 139648119724816 139648227219157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18378752 140721884412515 140721884415157 140721884415157 140721884417999 0
[pid=16698/tid=16754] ppid=16695 vsize=10824364 memory=31606552 CPUtime=0.07 cores=1,3,5,7
/proc/16698/task/16754/stat : 16754 (java) S 16695 16698 13903 0 -1 1077944384 1 12978 0 0 0 0 5 2 20 0 15 0 473718815 11084148736 19817 33554432000 4194304 4196468 140721884407616 139648118672528 139648227219157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18378752 140721884412515 140721884415157 140721884415157 140721884417999 0
[pid=16698/tid=16755] ppid=16695 vsize=10824364 memory=6307362061804603795 CPUtime=0.07 cores=1,3,5,7
/proc/16698/task/16755/stat : 16755 (java) S 16695 16698 13903 0 -1 1077944384 2 12978 0 0 0 0 5 2 20 0 15 0 473718815 11084148736 19817 33554432000 4194304 4196468 140721884407616 139648117619728 139648227219157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18378752 140721884412515 140721884415157 140721884415157 140721884417999 0
[pid=16698/tid=16756] ppid=16695 vsize=10824364 memory=5794541075916677462 CPUtime=0.07 cores=1,3,5,7
/proc/16698/task/16756/stat : 16756 (java) S 16695 16698 13903 0 -1 1077944384 5 12978 0 0 0 0 5 2 20 0 15 0 473718816 11084148736 19817 33554432000 4194304 4196468 140721884407616 139647686486128 139648227220098 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18378752 140721884412515 140721884415157 140721884415157 140721884417999 0
[pid=16698/tid=16757] ppid=16695 vsize=10824364 memory=7236547281622689387 CPUtime=0.07 cores=1,3,5,7
/proc/16698/task/16757/stat : 16757 (java) S 16695 16698 13903 0 -1 1077944384 33 12978 0 0 0 0 5 2 20 0 15 0 473718817 11084148736 19817 33554432000 4194304 4196468 140721884407616 139647685432096 139648227219157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18378752 140721884412515 140721884415157 140721884415157 140721884417999 0
[pid=16698/tid=16758] ppid=16695 vsize=10824364 memory=7245577201579226219 CPUtime=0.07 cores=1,3,5,7
/proc/16698/task/16758/stat : 16758 (java) S 16695 16698 13903 0 -1 1077944384 1 12978 0 0 0 0 5 2 20 0 15 0 473718817 11084148736 19817 33554432000 4194304 4196468 140721884407616 139647103526000 139648227219157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18378752 140721884412515 140721884415157 140721884415157 140721884417999 0
[pid=16698/tid=16759] ppid=16695 vsize=10824364 memory=3047711428313588876 CPUtime=0.07 cores=1,3,5,7
/proc/16698/task/16759/stat : 16759 (java) S 16695 16698 13903 0 -1 1077944384 3 12978 0 0 0 0 5 2 20 0 15 0 473718820 11084148736 19817 33554432000 4194304 4196468 140721884407616 139646796126288 139648227227547 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18378752 140721884412515 140721884415157 140721884415157 140721884417999 0
[pid=16698/tid=16760] ppid=16695 vsize=10824364 memory=0 CPUtime=0.22 cores=1,3,5,7
/proc/16698/task/16760/stat : 16760 (java) S 16695 16698 13903 0 -1 1077944384 819 12978 0 0 15 0 5 2 20 0 15 0 473718820 11084148736 19817 33554432000 4194304 4196468 140721884407616 139647651875440 139648227220098 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18378752 140721884412515 140721884415157 140721884415157 140721884417999 0
[pid=16698/tid=16761] ppid=16695 vsize=10824364 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/16698/task/16761/stat : 16761 (java) S 16695 16698 13903 0 -1 1077944384 778 12978 0 0 13 0 5 2 20 0 15 0 473718820 11084148736 19817 33554432000 4194304 4196468 140721884407616 139647650822640 139648227220098 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18378752 140721884412515 140721884415157 140721884415157 140721884417999 0
[pid=16698/tid=16762] ppid=16695 vsize=10824364 memory=0 CPUtime=0.24 cores=1,3,5,7
/proc/16698/task/16762/stat : 16762 (java) S 16695 16698 13903 0 -1 1077944384 759 12978 0 0 17 0 5 2 20 0 15 0 473718820 11084148736 19817 33554432000 4194304 4196468 140721884407616 139647649770352 139648227220098 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18378752 140721884412515 140721884415157 140721884415157 140721884417999 0
[pid=16698/tid=16763] ppid=16695 vsize=10824364 memory=30156 CPUtime=0.07 cores=1,3,5,7
/proc/16698/task/16763/stat : 16763 (java) S 16695 16698 13903 0 -1 1077944384 3 12978 0 0 0 0 5 2 20 0 15 0 473718820 11084148736 19817 33554432000 4194304 4196468 140721884407616 139646762568672 139648227219157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18378752 140721884412515 140721884415157 140721884415157 140721884417999 0
[pid=16698/tid=16764] ppid=16695 vsize=10824364 memory=2120 CPUtime=0.07 cores=1,3,5,7
/proc/16698/task/16764/stat : 16764 (java) S 16695 16698 13903 0 -1 1077944384 1 12978 0 0 0 0 5 2 20 0 15 0 473718820 11084148736 19817 33554432000 4194304 4196468 140721884407616 139647648717232 139648227220098 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18378752 140721884412515 140721884415157 140721884415157 140721884417999 0
Current children cumulated CPU time: 1.12 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 79268 KiB
[startup+1.50167 s]
/proc/loadavg: 1.12 1.44 1.41 4/228 16764
/proc/meminfo: memFree=3450084/32770624 swapFree=66966844/67108860
[pid=16698] ppid=16695 vsize=10834680 memory=167204 CPUtime=2.44 cores=1,3,5,7
/proc/16698/stat : 16698 (java) S 16695 16698 13903 0 -1 1077944320 19962 12978 0 0 227 10 5 2 20 0 15 0 473718804 11094712320 41801 33554432000 4194304 4196468 140721884407616 140721884390160 139648227208951 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18378752 140721884412515 140721884415157 140721884415157 140721884417999 0
/proc/16698/statm: 2708670 41801 3574 1 0 2670733 0
[pid=16698/tid=16751] ppid=16695 vsize=10834680 memory=3612 CPUtime=1.41 cores=1,3,5,7
/proc/16698/task/16751/stat : 16751 (java) R 16695 16698 13903 0 -1 4202560 14545 12978 0 0 129 5 5 2 20 0 15 0 473718813 11094712320 41801 33554432000 4194304 4196468 140721884407616 139648199014768 139648211289438 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 18378752 140721884412515 140721884415157 140721884415157 140721884417999 0
[pid=16698/tid=16752] ppid=16695 vsize=10834680 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/16698/task/16752/stat : 16752 (java) S 16695 16698 13903 0 -1 1077944384 44 12978 0 0 1 0 5 2 20 0 15 0 473718815 11094712320 41801 33554432000 4194304 4196468 140721884407616 139648231451536 139648227219157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18378752 140721884412515 140721884415157 140721884415157 140721884417999 0
[pid=16698/tid=16753] ppid=16695 vsize=10834680 memory=2276 CPUtime=0.07 cores=1,3,5,7
/proc/16698/task/16753/stat : 16753 (java) S 16695 16698 13903 0 -1 1077944384 15 12978 0 0 0 0 5 2 20 0 15 0 473718815 11094712320 41801 33554432000 4194304 4196468 140721884407616 139648119724816 139648227219157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18378752 140721884412515 140721884415157 140721884415157 140721884417999 0
[pid=16698/tid=16754] ppid=16695 vsize=10834680 memory=140004000666065 CPUtime=0.08 cores=1,3,5,7
/proc/16698/task/16754/stat : 16754 (java) S 16695 16698 13903 0 -1 1077944384 20 12978 0 0 1 0 5 2 20 0 15 0 473718815 11094712320 41801 33554432000 4194304 4196468 140721884407616 139648118672528 139648227219157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18378752 140721884412515 140721884415157 140721884415157 140721884417999 0
[pid=16698/tid=16755] ppid=16695 vsize=10834680 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/16698/task/16755/stat : 16755 (java) S 16695 16698 13903 0 -1 1077944384 26 12978 0 0 1 0 5 2 20 0 15 0 473718815 11094712320 41801 33554432000 4194304 4196468 140721884407616 139648117619728 139648227219157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18378752 140721884412515 140721884415157 140721884415157 140721884417999 0
[pid=16698/tid=16756] ppid=16695 vsize=10834680 memory=7665805425736967528 CPUtime=0.08 cores=1,3,5,7
/proc/16698/task/16756/stat : 16756 (java) S 16695 16698 13903 0 -1 1077944384 43 12978 0 0 1 0 5 2 20 0 15 0 473718816 11094712320 41801 33554432000 4194304 4196468 140721884407616 139647686486128 139648227220098 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18378752 140721884412515 140721884415157 140721884415157 140721884417999 0
[pid=16698/tid=16757] ppid=16695 vsize=10834680 memory=6944656592455360604 CPUtime=0.07 cores=1,3,5,7
/proc/16698/task/16757/stat : 16757 (java) S 16695 16698 13903 0 -1 1077944384 35 12978 0 0 0 0 5 2 20 0 15 0 473718817 11094712320 41801 33554432000 4194304 4196468 140721884407616 139647685432160 139648227219157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18378752 140721884412515 140721884415157 140721884415157 140721884417999 0
[pid=16698/tid=16758] ppid=16695 vsize=10834680 memory=7649399358511986225 CPUtime=0.07 cores=1,3,5,7
/proc/16698/task/16758/stat : 16758 (java) S 16695 16698 13903 0 -1 1077944384 2 12978 0 0 0 0 5 2 20 0 15 0 473718817 11094712320 41801 33554432000 4194304 4196468 140721884407616 139647103526016 139648227219157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18378752 140721884412515 140721884415157 140721884415157 140721884417999 0
[pid=16698/tid=16759] ppid=16695 vsize=10834680 memory=4294969536 CPUtime=0.07 cores=1,3,5,7
/proc/16698/task/16759/stat : 16759 (java) S 16695 16698 13903 0 -1 1077944384 3 12978 0 0 0 0 5 2 20 0 15 0 473718820 11094712320 41801 33554432000 4194304 4196468 140721884407616 139646796126288 139648227227547 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18378752 140721884412515 140721884415157 140721884415157 140721884417999 0
[pid=16698/tid=16760] ppid=16695 vsize=10834680 memory=-3535359994705171035 CPUtime=0.37 cores=1,3,5,7
/proc/16698/task/16760/stat : 16760 (java) S 16695 16698 13903 0 -1 1077944384 890 12978 0 0 30 0 5 2 20 0 15 0 473718820 11094712320 41801 33554432000 4194304 4196468 140721884407616 139647651875440 139648227220098 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18378752 140721884412515 140721884415157 140721884415157 140721884417999 0
[pid=16698/tid=16761] ppid=16695 vsize=10834680 memory=6872598998417432672 CPUtime=0.29 cores=1,3,5,7
/proc/16698/task/16761/stat : 16761 (java) S 16695 16698 13903 0 -1 1077944384 824 12978 0 0 22 0 5 2 20 0 15 0 473718820 11094712320 41801 33554432000 4194304 4196468 140721884407616 139647650822640 139648227220098 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18378752 140721884412515 140721884415157 140721884415157 140721884417999 0
[pid=16698/tid=16762] ppid=16695 vsize=10834680 memory=0 CPUtime=0.45 cores=1,3,5,7
/proc/16698/task/16762/stat : 16762 (java) S 16695 16698 13903 0 -1 1077944384 1312 12978 0 0 38 0 5 2 20 0 15 0 473718820 11094712320 41801 33554432000 4194304 4196468 140721884407616 139647649770352 139648227220098 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18378752 140721884412515 140721884415157 140721884415157 140721884417999 0
[pid=16698/tid=16763] ppid=16695 vsize=10834680 memory=6791534058613427641 CPUtime=0.07 cores=1,3,5,7
/proc/16698/task/16763/stat : 16763 (java) S 16695 16698 13903 0 -1 1077944384 3 12978 0 0 0 0 5 2 20 0 15 0 473718820 11094712320 41801 33554432000 4194304 4196468 140721884407616 139646762568672 139648227219157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18378752 140721884412515 140721884415157 140721884415157 140721884417999 0
[pid=16698/tid=16764] ppid=16695 vsize=10834680 memory=8475934422144292502 CPUtime=0.07 cores=1,3,5,7
/proc/16698/task/16764/stat : 16764 (java) S 16695 16698 13903 0 -1 1077944384 1 12978 0 0 0 0 5 2 20 0 15 0 473718820 11094712320 41801 33554432000 4194304 4196468 140721884407616 139647648717232 139648227220098 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18378752 140721884412515 140721884415157 140721884415157 140721884417999 0
Current children cumulated CPU time: 2.44 s
Current children cumulated vsize: 10834680 KiB
Current children cumulated memory: 167204 KiB
[startup+3.11063 s]
/proc/loadavg: 1.12 1.44 1.41 5/228 16764
/proc/meminfo: memFree=3324752/32770624 swapFree=66966844/67108860
[pid=16698] ppid=16695 vsize=10847604 memory=239212 CPUtime=6.48 cores=1,3,5,7
/proc/16698/stat : 16698 (java) S 16695 16698 13903 0 -1 1077944320 41486 12978 0 0 625 16 5 2 20 0 15 0 473718804 11107946496 59803 33554432000 4194304 4196468 140721884407616 140721884390160 139648227208951 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18378752 140721884412515 140721884415157 140721884415157 140721884417999 0
/proc/16698/statm: 2711901 59803 3613 1 0 2673959 0
################
# More data... #
################
/proc/16698/task/16751/stat : 16751 (java) R 16695 16698 13903 0 -1 4202560 58574 12978 0 0 223556 51 5 2 20 0 15 0 473718813 11105218560 206593 33554432000 4194304 4196468 140721884407616 139648199045408 139647803030854 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 18378752 140721884412515 140721884415157 140721884415157 140721884417999 0
[pid=16698/tid=16752] ppid=16695 vsize=10844940 memory=826372 CPUtime=11.66 cores=1,3,5,7
/proc/16698/task/16752/stat : 16752 (java) S 16695 16698 13903 0 -1 1077944384 14110 12978 0 0 1093 66 5 2 20 0 15 0 473718815 11105218560 206593 33554432000 4194304 4196468 140721884407616 139648231451536 139648227219157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18378752 140721884412515 140721884415157 140721884415157 140721884417999 0
[pid=16698/tid=16753] ppid=16695 vsize=10844940 memory=826372 CPUtime=11.66 cores=1,3,5,7
/proc/16698/task/16753/stat : 16753 (java) S 16695 16698 13903 0 -1 1077944384 15333 12978 0 0 1096 63 5 2 20 0 15 0 473718815 11105218560 206593 33554432000 4194304 4196468 140721884407616 139648119724816 139648227219157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18378752 140721884412515 140721884415157 140721884415157 140721884417999 0
[pid=16698/tid=16754] ppid=16695 vsize=10844940 memory=826372 CPUtime=11.61 cores=1,3,5,7
/proc/16698/task/16754/stat : 16754 (java) S 16695 16698 13903 0 -1 1077944384 11663 12978 0 0 1092 62 5 2 20 0 15 0 473718815 11105218560 206593 33554432000 4194304 4196468 140721884407616 139648118672528 139648227219157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18378752 140721884412515 140721884415157 140721884415157 140721884417999 0
[pid=16698/tid=16755] ppid=16695 vsize=10844940 memory=826372 CPUtime=11.64 cores=1,3,5,7
/proc/16698/task/16755/stat : 16755 (java) S 16695 16698 13903 0 -1 1077944384 14972 12978 0 0 1095 62 5 2 20 0 15 0 473718815 11105218560 206593 33554432000 4194304 4196468 140721884407616 139648117619728 139648227219157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18378752 140721884412515 140721884415157 140721884415157 140721884417999 0
[pid=16698/tid=16756] ppid=16695 vsize=10844940 memory=826372 CPUtime=11.46 cores=1,3,5,7
/proc/16698/task/16756/stat : 16756 (java) S 16695 16698 13903 0 -1 1077944384 14416 12978 0 0 1076 63 5 2 20 0 15 0 473718816 11105218560 206593 33554432000 4194304 4196468 140721884407616 139647686486128 139648227220098 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18378752 140721884412515 140721884415157 140721884415157 140721884417999 0
[pid=16698/tid=16757] ppid=16695 vsize=10844940 memory=826372 CPUtime=0.07 cores=1,3,5,7
/proc/16698/task/16757/stat : 16757 (java) S 16695 16698 13903 0 -1 1077944384 41 12978 0 0 0 0 5 2 20 0 15 0 473718817 11105218560 206593 33554432000 4194304 4196468 140721884407616 139647685432160 139648227219157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18378752 140721884412515 140721884415157 140721884415157 140721884417999 0
[pid=16698/tid=16758] ppid=16695 vsize=10844940 memory=826372 CPUtime=0.07 cores=1,3,5,7
/proc/16698/task/16758/stat : 16758 (java) S 16695 16698 13903 0 -1 1077944384 4 12978 0 0 0 0 5 2 20 0 15 0 473718817 11105218560 206593 33554432000 4194304 4196468 140721884407616 139647103526016 139648227219157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18378752 140721884412515 140721884415157 140721884415157 140721884417999 0
[pid=16698/tid=16759] ppid=16695 vsize=10844940 memory=3612 CPUtime=0.07 cores=1,3,5,7
/proc/16698/task/16759/stat : 16759 (java) S 16695 16698 13903 0 -1 1077944384 3 12978 0 0 0 0 5 2 20 0 15 0 473718820 11105218560 206593 33554432000 4194304 4196468 140721884407616 139646796126288 139648227227547 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18378752 140721884412515 140721884415157 140721884415157 140721884417999 0
[pid=16698/tid=16760] ppid=16695 vsize=10844940 memory=826372 CPUtime=2.52 cores=1,3,5,7
/proc/16698/task/16760/stat : 16760 (java) S 16695 16698 13903 0 -1 1077944384 13301 12978 0 0 243 2 5 2 20 0 15 0 473718820 11105218560 206593 33554432000 4194304 4196468 140721884407616 139647651875440 139648227220098 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18378752 140721884412515 140721884415157 140721884415157 140721884417999 0
[pid=16698/tid=16761] ppid=16695 vsize=10844940 memory=826372 CPUtime=2.26 cores=1,3,5,7
/proc/16698/task/16761/stat : 16761 (java) S 16695 16698 13903 0 -1 1077944384 11231 12978 0 0 216 3 5 2 20 0 15 0 473718820 11105218560 206593 33554432000 4194304 4196468 140721884407616 139647650822640 139648227220098 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18378752 140721884412515 140721884415157 140721884415157 140721884417999 0
[pid=16698/tid=16762] ppid=16695 vsize=10844940 memory=826372 CPUtime=1.27 cores=1,3,5,7
/proc/16698/task/16762/stat : 16762 (java) S 16695 16698 13903 0 -1 1077944384 10426 12978 0 0 117 3 5 2 20 0 15 0 473718820 11105218560 206593 33554432000 4194304 4196468 140721884407616 139647649770352 139648227220098 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18378752 140721884412515 140721884415157 140721884415157 140721884417999 0
[pid=16698/tid=16763] ppid=16695 vsize=10844940 memory=826372 CPUtime=0.07 cores=1,3,5,7
/proc/16698/task/16763/stat : 16763 (java) S 16695 16698 13903 0 -1 1077944384 3 12978 0 0 0 0 5 2 20 0 15 0 473718820 11105218560 206593 33554432000 4194304 4196468 140721884407616 139646762568672 139648227219157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18378752 140721884412515 140721884415157 140721884415157 140721884417999 0
[pid=16698/tid=16764] ppid=16695 vsize=10844940 memory=1760 CPUtime=1.44 cores=1,3,5,7
/proc/16698/task/16764/stat : 16764 (java) S 16695 16698 13903 0 -1 1077944384 1296 12978 0 0 62 75 5 2 20 0 15 0 473718820 11105218560 206593 33554432000 4194304 4196468 140721884407616 139647648717232 139648227220098 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18378752 140721884412515 140721884415157 140721884415157 140721884417999 0
Current children cumulated CPU time: 2301.13 s
Current children cumulated vsize: 10844940 KiB
Current children cumulated memory: 826372 KiB
[startup+2322.3 s]
/proc/loadavg: 1.21 1.38 1.42 3/227 17235
/proc/meminfo: memFree=2600372/32770624 swapFree=66966844/67108860
[pid=16698] ppid=16695 vsize=10844940 memory=826372 CPUtime=2362.07 cores=1,3,5,7
/proc/16698/stat : 16698 (java) S 16695 16698 13903 0 -1 1077944320 168499 12978 0 0 235819 381 5 2 20 0 15 0 473718804 11105218560 206593 33554432000 4194304 4196468 140721884407616 140721884390160 139648227208951 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18378752 140721884412515 140721884415157 140721884415157 140721884417999 0
/proc/16698/statm: 2711235 206593 3621 1 0 2673293 0
[pid=16698/tid=16751] ppid=16695 vsize=10844940 memory=826372 CPUtime=2295.42 cores=1,3,5,7
/proc/16698/task/16751/stat : 16751 (java) R 16695 16698 13903 0 -1 4202560 59209 12978 0 0 229483 52 5 2 20 0 15 0 473718813 11105218560 206593 33554432000 4194304 4196468 140721884407616 139648199045104 139647804131854 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 18378752 140721884412515 140721884415157 140721884415157 140721884417999 0
[pid=16698/tid=16752] ppid=16695 vsize=10844940 memory=1044 CPUtime=11.99 cores=1,3,5,7
/proc/16698/task/16752/stat : 16752 (java) S 16695 16698 13903 0 -1 1077944384 14144 12978 0 0 1124 68 5 2 20 0 15 0 473718815 11105218560 206593 33554432000 4194304 4196468 140721884407616 139648231451536 139648227219157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18378752 140721884412515 140721884415157 140721884415157 140721884417999 0
[pid=16698/tid=16753] ppid=16695 vsize=10844940 memory=826372 CPUtime=11.98 cores=1,3,5,7
/proc/16698/task/16753/stat : 16753 (java) S 16695 16698 13903 0 -1 1077944384 15340 12978 0 0 1126 65 5 2 20 0 15 0 473718815 11105218560 206593 33554432000 4194304 4196468 140721884407616 139648119724816 139648227219157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18378752 140721884412515 140721884415157 140721884415157 140721884417999 0
[pid=16698/tid=16754] ppid=16695 vsize=10844940 memory=826372 CPUtime=11.94 cores=1,3,5,7
/proc/16698/task/16754/stat : 16754 (java) S 16695 16698 13903 0 -1 1077944384 11672 12978 0 0 1123 64 5 2 20 0 15 0 473718815 11105218560 206593 33554432000 4194304 4196468 140721884407616 139648118672528 139648227219157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18378752 140721884412515 140721884415157 140721884415157 140721884417999 0
[pid=16698/tid=16755] ppid=16695 vsize=10844940 memory=826372 CPUtime=11.96 cores=1,3,5,7
/proc/16698/task/16755/stat : 16755 (java) S 16695 16698 13903 0 -1 1077944384 15008 12978 0 0 1126 63 5 2 20 0 15 0 473718815 11105218560 206593 33554432000 4194304 4196468 140721884407616 139648117619728 139648227219157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18378752 140721884412515 140721884415157 140721884415157 140721884417999 0
[pid=16698/tid=16756] ppid=16695 vsize=10844940 memory=826372 CPUtime=11.78 cores=1,3,5,7
/proc/16698/task/16756/stat : 16756 (java) S 16695 16698 13903 0 -1 1077944384 14598 12978 0 0 1106 65 5 2 20 0 15 0 473718816 11105218560 206593 33554432000 4194304 4196468 140721884407616 139647686486128 139648227220098 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18378752 140721884412515 140721884415157 140721884415157 140721884417999 0
[pid=16698/tid=16757] ppid=16695 vsize=10844940 memory=826372 CPUtime=0.07 cores=1,3,5,7
/proc/16698/task/16757/stat : 16757 (java) S 16695 16698 13903 0 -1 1077944384 41 12978 0 0 0 0 5 2 20 0 15 0 473718817 11105218560 206593 33554432000 4194304 4196468 140721884407616 139647685432160 139648227219157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18378752 140721884412515 140721884415157 140721884415157 140721884417999 0
[pid=16698/tid=16758] ppid=16695 vsize=10844940 memory=826372 CPUtime=0.07 cores=1,3,5,7
/proc/16698/task/16758/stat : 16758 (java) S 16695 16698 13903 0 -1 1077944384 4 12978 0 0 0 0 5 2 20 0 15 0 473718817 11105218560 206593 33554432000 4194304 4196468 140721884407616 139647103526016 139648227219157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18378752 140721884412515 140721884415157 140721884415157 140721884417999 0
[pid=16698/tid=16759] ppid=16695 vsize=10844940 memory=826372 CPUtime=0.07 cores=1,3,5,7
/proc/16698/task/16759/stat : 16759 (java) S 16695 16698 13903 0 -1 1077944384 3 12978 0 0 0 0 5 2 20 0 15 0 473718820 11105218560 206593 33554432000 4194304 4196468 140721884407616 139646796126288 139648227227547 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18378752 140721884412515 140721884415157 140721884415157 140721884417999 0
[pid=16698/tid=16760] ppid=16695 vsize=10844940 memory=826372 CPUtime=2.52 cores=1,3,5,7
/proc/16698/task/16760/stat : 16760 (java) S 16695 16698 13903 0 -1 1077944384 13303 12978 0 0 243 2 5 2 20 0 15 0 473718820 11105218560 206593 33554432000 4194304 4196468 140721884407616 139647651875440 139648227220098 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18378752 140721884412515 140721884415157 140721884415157 140721884417999 0
[pid=16698/tid=16761] ppid=16695 vsize=10844940 memory=826372 CPUtime=2.26 cores=1,3,5,7
/proc/16698/task/16761/stat : 16761 (java) S 16695 16698 13903 0 -1 1077944384 11233 12978 0 0 216 3 5 2 20 0 15 0 473718820 11105218560 206593 33554432000 4194304 4196468 140721884407616 139647650822640 139648227220098 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18378752 140721884412515 140721884415157 140721884415157 140721884417999 0
[pid=16698/tid=16762] ppid=16695 vsize=10844940 memory=0 CPUtime=1.27 cores=1,3,5,7
/proc/16698/task/16762/stat : 16762 (java) S 16695 16698 13903 0 -1 1077944384 10428 12978 0 0 117 3 5 2 20 0 15 0 473718820 11105218560 206593 33554432000 4194304 4196468 140721884407616 139647649770352 139648227220098 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18378752 140721884412515 140721884415157 140721884415157 140721884417999 0
[pid=16698/tid=16763] ppid=16695 vsize=10844940 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16698/task/16763/stat : 16763 (java) S 16695 16698 13903 0 -1 1077944384 3 12978 0 0 0 0 5 2 20 0 15 0 473718820 11105218560 206593 33554432000 4194304 4196468 140721884407616 139646762568672 139648227219157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18378752 140721884412515 140721884415157 140721884415157 140721884417999 0
[pid=16698/tid=16764] ppid=16695 vsize=10844940 memory=826372 CPUtime=1.47 cores=1,3,5,7
/proc/16698/task/16764/stat : 16764 (java) S 16695 16698 13903 0 -1 1077944384 1312 12978 0 0 63 77 5 2 20 0 15 0 473718820 11105218560 206593 33554432000 4194304 4196468 140721884407616 139647648717232 139648227220098 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18378752 140721884412515 140721884415157 140721884415157 140721884417999 0
Current children cumulated CPU time: 2362.07 s
Current children cumulated vsize: 10844940 KiB
Current children cumulated memory: 826372 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2359.7 s]
/proc/loadavg: 1.28 1.39 1.42 3/227 17237
/proc/meminfo: memFree=2600784/32770624 swapFree=66966844/67108860
[pid=16698] ppid=16695 vsize=10844940 memory=826372 CPUtime=2400.05 cores=1,3,5,7
/proc/16698/stat : 16698 (java) S 16695 16698 13903 0 -1 1077944320 169475 12978 0 0 239610 388 5 2 20 0 15 0 473718804 11105218560 206593 33554432000 4194304 4196468 140721884407616 140721884390160 139648227208951 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18378752 140721884412515 140721884415157 140721884415157 140721884417999 0
/proc/16698/statm: 2711235 206593 3621 1 0 2673293 0
[pid=16698/tid=16751] ppid=16695 vsize=10844940 memory=826372 CPUtime=2332.36 cores=1,3,5,7
/proc/16698/task/16751/stat : 16751 (java) R 16695 16698 13903 0 -1 4202560 59709 12978 0 0 233176 53 5 2 20 0 15 0 473718813 11105218560 206593 33554432000 4194304 4196468 140721884407616 139648199044848 139647802255830 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 18378752 140721884412515 140721884415157 140721884415157 140721884417999 0
[pid=16698/tid=16752] ppid=16695 vsize=10844940 memory=826372 CPUtime=12.19 cores=1,3,5,7
/proc/16698/task/16752/stat : 16752 (java) S 16695 16698 13903 0 -1 1077944384 14317 12978 0 0 1143 69 5 2 20 0 15 0 473718815 11105218560 206593 33554432000 4194304 4196468 140721884407616 139648231451536 139648227219157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18378752 140721884412515 140721884415157 140721884415157 140721884417999 0
[pid=16698/tid=16753] ppid=16695 vsize=10844940 memory=826372 CPUtime=12.19 cores=1,3,5,7
/proc/16698/task/16753/stat : 16753 (java) S 16695 16698 13903 0 -1 1077944384 15350 12978 0 0 1145 67 5 2 20 0 15 0 473718815 11105218560 206593 33554432000 4194304 4196468 140721884407616 139648119724816 139648227219157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18378752 140721884412515 140721884415157 140721884415157 140721884417999 0
[pid=16698/tid=16754] ppid=16695 vsize=10844940 memory=826372 CPUtime=12.14 cores=1,3,5,7
/proc/16698/task/16754/stat : 16754 (java) S 16695 16698 13903 0 -1 1077944384 11704 12978 0 0 1142 65 5 2 20 0 15 0 473718815 11105218560 206593 33554432000 4194304 4196468 140721884407616 139648118672528 139648227219157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18378752 140721884412515 140721884415157 140721884415157 140721884417999 0
[pid=16698/tid=16755] ppid=16695 vsize=10844940 memory=826372 CPUtime=12.17 cores=1,3,5,7
/proc/16698/task/16755/stat : 16755 (java) S 16695 16698 13903 0 -1 1077944384 15048 12978 0 0 1146 64 5 2 20 0 15 0 473718815 11105218560 206593 33554432000 4194304 4196468 140721884407616 139648117619728 139648227219157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18378752 140721884412515 140721884415157 140721884415157 140721884417999 0
[pid=16698/tid=16756] ppid=16695 vsize=10844940 memory=1190 CPUtime=11.98 cores=1,3,5,7
/proc/16698/task/16756/stat : 16756 (java) S 16695 16698 13903 0 -1 1077944384 14806 12978 0 0 1125 66 5 2 20 0 15 0 473718816 11105218560 206593 33554432000 4194304 4196468 140721884407616 139647686486128 139648227220098 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18378752 140721884412515 140721884415157 140721884415157 140721884417999 0
[pid=16698/tid=16757] ppid=16695 vsize=10844940 memory=826372 CPUtime=0.07 cores=1,3,5,7
/proc/16698/task/16757/stat : 16757 (java) S 16695 16698 13903 0 -1 1077944384 41 12978 0 0 0 0 5 2 20 0 15 0 473718817 11105218560 206593 33554432000 4194304 4196468 140721884407616 139647685432160 139648227219157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18378752 140721884412515 140721884415157 140721884415157 140721884417999 0
[pid=16698/tid=16758] ppid=16695 vsize=10844940 memory=826372 CPUtime=0.07 cores=1,3,5,7
/proc/16698/task/16758/stat : 16758 (java) S 16695 16698 13903 0 -1 1077944384 4 12978 0 0 0 0 5 2 20 0 15 0 473718817 11105218560 206593 33554432000 4194304 4196468 140721884407616 139647103526016 139648227219157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18378752 140721884412515 140721884415157 140721884415157 140721884417999 0
[pid=16698/tid=16759] ppid=16695 vsize=10844940 memory=826372 CPUtime=0.07 cores=1,3,5,7
/proc/16698/task/16759/stat : 16759 (java) S 16695 16698 13903 0 -1 1077944384 3 12978 0 0 0 0 5 2 20 0 15 0 473718820 11105218560 206593 33554432000 4194304 4196468 140721884407616 139646796126288 139648227227547 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18378752 140721884412515 140721884415157 140721884415157 140721884417999 0
[pid=16698/tid=16760] ppid=16695 vsize=10844940 memory=129 CPUtime=2.52 cores=1,3,5,7
/proc/16698/task/16760/stat : 16760 (java) S 16695 16698 13903 0 -1 1077944384 13305 12978 0 0 243 2 5 2 20 0 15 0 473718820 11105218560 206593 33554432000 4194304 4196468 140721884407616 139647651875440 139648227220098 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18378752 140721884412515 140721884415157 140721884415157 140721884417999 0
[pid=16698/tid=16761] ppid=16695 vsize=10844940 memory=3612 CPUtime=2.26 cores=1,3,5,7
/proc/16698/task/16761/stat : 16761 (java) S 16695 16698 13903 0 -1 1077944384 11235 12978 0 0 216 3 5 2 20 0 15 0 473718820 11105218560 206593 33554432000 4194304 4196468 140721884407616 139647650822640 139648227220098 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18378752 140721884412515 140721884415157 140721884415157 140721884417999 0
[pid=16698/tid=16762] ppid=16695 vsize=10844940 memory=54568 CPUtime=1.27 cores=1,3,5,7
/proc/16698/task/16762/stat : 16762 (java) S 16695 16698 13903 0 -1 1077944384 10430 12978 0 0 117 3 5 2 20 0 15 0 473718820 11105218560 206593 33554432000 4194304 4196468 140721884407616 139647649770352 139648227220098 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18378752 140721884412515 140721884415157 140721884415157 140721884417999 0
[pid=16698/tid=16763] ppid=16695 vsize=10844940 memory=14012 CPUtime=0.07 cores=1,3,5,7
/proc/16698/task/16763/stat : 16763 (java) S 16695 16698 13903 0 -1 1077944384 3 12978 0 0 0 0 5 2 20 0 15 0 473718820 11105218560 206593 33554432000 4194304 4196468 140721884407616 139646762568672 139648227219157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18378752 140721884412515 140721884415157 140721884415157 140721884417999 0
[pid=16698/tid=16764] ppid=16695 vsize=10844940 memory=14080 CPUtime=1.5 cores=1,3,5,7
/proc/16698/task/16764/stat : 16764 (java) S 16695 16698 13903 0 -1 1077944384 1319 12978 0 0 65 78 5 2 20 0 15 0 473718820 11105218560 206593 33554432000 4194304 4196468 140721884407616 139647648717232 139648227220098 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18378752 140721884412515 140721884415157 140721884415157 140721884417999 0
Current children cumulated CPU time: 2400.05 s
Current children cumulated vsize: 10844940 KiB
Current children cumulated memory: 826372 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2359.73 s]
# the end of solver process 16698 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2396.18 s, system=3.91739 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2359.7 s]
/proc/loadavg: 1.28 1.39 1.42 3/227 17237
/proc/meminfo: memFree=2600784/32770624 swapFree=66966844/67108860
[pid=16698] ppid=16695 vsize=10844940 memory=826372 CPUtime=2400.05 cores=1,3,5,7
/proc/16698/stat : 16698 (java) S 16695 16698 13903 0 -1 1077944320 169475 12978 0 0 239610 388 5 2 20 0 15 0 473718804 11105218560 206593 33554432000 4194304 4196468 140721884407616 140721884390160 139648227208951 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18378752 140721884412515 140721884415157 140721884415157 140721884417999 0
/proc/16698/statm: 2711235 206593 3621 1 0 2673293 0
[pid=16698/tid=16751] ppid=16695 vsize=10844940 memory=826372 CPUtime=2332.36 cores=1,3,5,7
/proc/16698/task/16751/stat : 16751 (java) R 16695 16698 13903 0 -1 4202560 59709 12978 0 0 233176 53 5 2 20 0 15 0 473718813 11105218560 206593 33554432000 4194304 4196468 140721884407616 139648199044848 139647802255830 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 18378752 140721884412515 140721884415157 140721884415157 140721884417999 0
[pid=16698/tid=16752] ppid=16695 vsize=10844940 memory=826372 CPUtime=12.19 cores=1,3,5,7
/proc/16698/task/16752/stat : 16752 (java) S 16695 16698 13903 0 -1 1077944384 14317 12978 0 0 1143 69 5 2 20 0 15 0 473718815 11105218560 206593 33554432000 4194304 4196468 140721884407616 139648231451536 139648227219157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18378752 140721884412515 140721884415157 140721884415157 140721884417999 0
[pid=16698/tid=16753] ppid=16695 vsize=10844940 memory=826372 CPUtime=12.19 cores=1,3,5,7
/proc/16698/task/16753/stat : 16753 (java) S 16695 16698 13903 0 -1 1077944384 15350 12978 0 0 1145 67 5 2 20 0 15 0 473718815 11105218560 206593 33554432000 4194304 4196468 140721884407616 139648119724816 139648227219157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18378752 140721884412515 140721884415157 140721884415157 140721884417999 0
[pid=16698/tid=16754] ppid=16695 vsize=10844940 memory=826372 CPUtime=12.14 cores=1,3,5,7
/proc/16698/task/16754/stat : 16754 (java) S 16695 16698 13903 0 -1 1077944384 11704 12978 0 0 1142 65 5 2 20 0 15 0 473718815 11105218560 206593 33554432000 4194304 4196468 140721884407616 139648118672528 139648227219157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18378752 140721884412515 140721884415157 140721884415157 140721884417999 0
[pid=16698/tid=16755] ppid=16695 vsize=10844940 memory=826372 CPUtime=12.17 cores=1,3,5,7
/proc/16698/task/16755/stat : 16755 (java) S 16695 16698 13903 0 -1 1077944384 15048 12978 0 0 1146 64 5 2 20 0 15 0 473718815 11105218560 206593 33554432000 4194304 4196468 140721884407616 139648117619728 139648227219157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18378752 140721884412515 140721884415157 140721884415157 140721884417999 0
[pid=16698/tid=16756] ppid=16695 vsize=10844940 memory=1190 CPUtime=11.98 cores=1,3,5,7
/proc/16698/task/16756/stat : 16756 (java) S 16695 16698 13903 0 -1 1077944384 14806 12978 0 0 1125 66 5 2 20 0 15 0 473718816 11105218560 206593 33554432000 4194304 4196468 140721884407616 139647686486128 139648227220098 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18378752 140721884412515 140721884415157 140721884415157 140721884417999 0
[pid=16698/tid=16757] ppid=16695 vsize=10844940 memory=826372 CPUtime=0.07 cores=1,3,5,7
/proc/16698/task/16757/stat : 16757 (java) S 16695 16698 13903 0 -1 1077944384 41 12978 0 0 0 0 5 2 20 0 15 0 473718817 11105218560 206593 33554432000 4194304 4196468 140721884407616 139647685432160 139648227219157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18378752 140721884412515 140721884415157 140721884415157 140721884417999 0
[pid=16698/tid=16758] ppid=16695 vsize=10844940 memory=826372 CPUtime=0.07 cores=1,3,5,7
/proc/16698/task/16758/stat : 16758 (java) S 16695 16698 13903 0 -1 1077944384 4 12978 0 0 0 0 5 2 20 0 15 0 473718817 11105218560 206593 33554432000 4194304 4196468 140721884407616 139647103526016 139648227219157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18378752 140721884412515 140721884415157 140721884415157 140721884417999 0
[pid=16698/tid=16759] ppid=16695 vsize=10844940 memory=826372 CPUtime=0.07 cores=1,3,5,7
/proc/16698/task/16759/stat : 16759 (java) S 16695 16698 13903 0 -1 1077944384 3 12978 0 0 0 0 5 2 20 0 15 0 473718820 11105218560 206593 33554432000 4194304 4196468 140721884407616 139646796126288 139648227227547 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18378752 140721884412515 140721884415157 140721884415157 140721884417999 0
[pid=16698/tid=16760] ppid=16695 vsize=10844940 memory=129 CPUtime=2.52 cores=1,3,5,7
/proc/16698/task/16760/stat : 16760 (java) S 16695 16698 13903 0 -1 1077944384 13305 12978 0 0 243 2 5 2 20 0 15 0 473718820 11105218560 206593 33554432000 4194304 4196468 140721884407616 139647651875440 139648227220098 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18378752 140721884412515 140721884415157 140721884415157 140721884417999 0
[pid=16698/tid=16761] ppid=16695 vsize=10844940 memory=3612 CPUtime=2.26 cores=1,3,5,7
/proc/16698/task/16761/stat : 16761 (java) S 16695 16698 13903 0 -1 1077944384 11235 12978 0 0 216 3 5 2 20 0 15 0 473718820 11105218560 206593 33554432000 4194304 4196468 140721884407616 139647650822640 139648227220098 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18378752 140721884412515 140721884415157 140721884415157 140721884417999 0
[pid=16698/tid=16762] ppid=16695 vsize=10844940 memory=54568 CPUtime=1.27 cores=1,3,5,7
/proc/16698/task/16762/stat : 16762 (java) S 16695 16698 13903 0 -1 1077944384 10430 12978 0 0 117 3 5 2 20 0 15 0 473718820 11105218560 206593 33554432000 4194304 4196468 140721884407616 139647649770352 139648227220098 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18378752 140721884412515 140721884415157 140721884415157 140721884417999 0
[pid=16698/tid=16763] ppid=16695 vsize=10844940 memory=14012 CPUtime=0.07 cores=1,3,5,7
/proc/16698/task/16763/stat : 16763 (java) S 16695 16698 13903 0 -1 1077944384 3 12978 0 0 0 0 5 2 20 0 15 0 473718820 11105218560 206593 33554432000 4194304 4196468 140721884407616 139646762568672 139648227219157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18378752 140721884412515 140721884415157 140721884415157 140721884417999 0
[pid=16698/tid=16764] ppid=16695 vsize=10844940 memory=14080 CPUtime=1.5 cores=1,3,5,7
/proc/16698/task/16764/stat : 16764 (java) S 16695 16698 13903 0 -1 1077944384 1319 12978 0 0 65 78 5 2 20 0 15 0 473718820 11105218560 206593 33554432000 4194304 4196468 140721884407616 139647648717232 139648227220098 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18378752 140721884412515 140721884415157 140721884415157 140721884417999 0
Current children cumulated CPU time: 2400.05 s
Current children cumulated vsize: 10844940 KiB
Current children cumulated memory: 826372 KiB
Child status: 143
Real time (s): 2359.73
CPU time (s): 2400.1
CPU user time (s): 2396.18
CPU system time (s): 3.91739
CPU usage (%): 101.711
Max. virtual memory (cumulated for all children) (KiB): 10847604
Max. memory (cumulated for all children) (KiB): 826372
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2396.18
system time used= 3.91739
maximum resident set size= 830580
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 183168
page faults= 0
swaps= 0
block input operations= 8
block output operations= 2728
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 314269
involuntary context switches= 7548
# summary of solver processes directly reported to runsolver:
# pid: 16698
# total CPU time (s): 2400.1
# total CPU user time (s): 2396.18
# total CPU system time (s): 3.91739
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.3231 second user time and 22.8594 second system time
The end