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 (9586 MiB free)
memory of node 1: 16384 MiB (12635 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302368-1532897520/watcher-4302368-1532897520 -o /tmp/evaluation-result-4302368-1532897520/solver-4302368-1532897520 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node139-1532895510-17593 --watchdog 312 bin/xcsp-3-concrete -J-Xss64M -randomseed=773787397 HOME/instance-4302368-1532897520.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=20471, runsolver pid=20468
Current StackSize limit: 8192 KiB
[startup+0.100158 s]*
/proc/loadavg: 1.25 1.47 1.59 3/207 20528
/proc/meminfo: memFree=22750644/32770624 swapFree=67108860/67108860
[pid=20471] ppid=20468 vsize=10005480 memory=15180 CPUtime=0.09 cores=1,3,5,7
/proc/20471/stat : 20471 (java) S 20468 20471 6396 0 -1 1077944320 4440 13151 0 0 1 0 5 3 20 0 6 0 107315136 10245611520 3795 33554432000 4194304 4196468 140737266632144 140737266614688 139946037800695 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33878016 140737266637426 140737266640225 140737266640225 140737266642895 0
/proc/20471/statm: 2501370 3795 1935 1 0 2489808 0
[pid=20471/tid=20524] ppid=20468 vsize=10005480 memory=4279135703913365132 CPUtime=0.09 cores=1,3,5,7
/proc/20471/task/20524/stat : 20524 (java) R 20468 20471 6396 0 -1 4202560 2258 13151 0 0 1 0 5 3 20 0 6 0 107315145 10245611520 3795 33554432000 4194304 4196468 140737266632144 139946009637456 139946021881182 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33878016 140737266637426 140737266640225 140737266640225 140737266642895 0
[pid=20471/tid=20525] ppid=20468 vsize=10005480 memory=8257237230052613020 CPUtime=0.08 cores=1,3,5,7
/proc/20471/task/20525/stat : 20525 (java) S 20468 20471 6396 0 -1 1077944384 1 13151 0 0 0 0 5 3 20 0 6 0 107315146 10245611520 3795 33554432000 4194304 4196468 140737266632144 139946042042640 139946037810901 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33878016 140737266637426 140737266640225 140737266640225 140737266642895 0
[pid=20471/tid=20526] ppid=20468 vsize=10005480 memory=140084458972800 CPUtime=0.08 cores=1,3,5,7
/proc/20471/task/20526/stat : 20526 (java) S 20468 20471 6396 0 -1 1077944384 1 13151 0 0 0 0 5 3 20 0 6 0 107315146 10245611520 3795 33554432000 4194304 4196468 140737266632144 139945940400528 139946037810901 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33878016 140737266637426 140737266640225 140737266640225 140737266642895 0
[pid=20471/tid=20527] ppid=20468 vsize=10005480 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20471/task/20527/stat : 20527 (java) S 20468 20471 6396 0 -1 1077944384 1 13151 0 0 0 0 5 3 20 0 6 0 107315146 10245611520 3795 33554432000 4194304 4196468 140737266632144 139945576892944 139946037810901 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33878016 140737266637426 140737266640225 140737266640225 140737266642895 0
[pid=20471/tid=20528] ppid=20468 vsize=10005480 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/20471/task/20528/stat : 20528 (java) S 20468 20471 6396 0 -1 1077944384 2 13151 0 0 0 0 5 3 20 0 6 0 107315146 10245611520 3795 33554432000 4194304 4196468 140737266632144 139945575840400 139946037810901 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33878016 140737266637426 140737266640225 140737266640225 140737266642895 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 15180 KiB
[startup+0.209939 s]*
/proc/loadavg: 1.25 1.47 1.59 2/215 20536
/proc/meminfo: memFree=22737520/32770624 swapFree=67108860/67108860
[pid=20471] ppid=20468 vsize=10915708 memory=27596 CPUtime=0.14 cores=1,3,5,7
/proc/20471/stat : 20471 (java) S 20468 20471 6396 0 -1 1077944320 5617 13151 0 0 5 1 5 3 20 0 14 0 107315136 11177684992 6899 33554432000 4194304 4196468 140737266632144 140737266614688 139946037800695 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33878016 140737266637426 140737266640225 140737266640225 140737266642895 0
/proc/20471/statm: 2728927 6899 2580 1 0 2691468 0
[pid=20471/tid=20524] ppid=20468 vsize=10915708 memory=7022364594140610616 CPUtime=0.13 cores=1,3,5,7
/proc/20471/task/20524/stat : 20524 (java) D 20468 20471 6396 0 -1 1077944384 2867 13151 0 0 4 1 5 3 20 0 14 0 107315145 11177684992 6899 33554432000 4194304 4196468 140737266632144 139946009638720 139946037824573 0 4 0 16800975 18446744072101703204 0 0 -1 1 0 0 0 0 0 6293624 6294260 33878016 140737266637426 140737266640225 140737266640225 140737266642895 0
[pid=20471/tid=20525] ppid=20468 vsize=10915708 memory=342 CPUtime=0.08 cores=1,3,5,7
/proc/20471/task/20525/stat : 20525 (java) S 20468 20471 6396 0 -1 1077944384 1 13151 0 0 0 0 5 3 20 0 14 0 107315146 11177684992 6899 33554432000 4194304 4196468 140737266632144 139946042042640 139946037810901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33878016 140737266637426 140737266640225 140737266640225 140737266642895 0
[pid=20471/tid=20526] ppid=20468 vsize=10915708 memory=140084459616341 CPUtime=0.08 cores=1,3,5,7
/proc/20471/task/20526/stat : 20526 (java) S 20468 20471 6396 0 -1 1077944384 1 13151 0 0 0 0 5 3 20 0 14 0 107315146 11177684992 6899 33554432000 4194304 4196468 140737266632144 139945940400528 139946037810901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33878016 140737266637426 140737266640225 140737266640225 140737266642895 0
[pid=20471/tid=20527] ppid=20468 vsize=10915708 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20471/task/20527/stat : 20527 (java) S 20468 20471 6396 0 -1 1077944384 1 13151 0 0 0 0 5 3 20 0 14 0 107315146 11177684992 6899 33554432000 4194304 4196468 140737266632144 139945576892944 139946037810901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33878016 140737266637426 140737266640225 140737266640225 140737266642895 0
[pid=20471/tid=20528] ppid=20468 vsize=10915708 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/20471/task/20528/stat : 20528 (java) S 20468 20471 6396 0 -1 1077944384 2 13151 0 0 0 0 5 3 20 0 14 0 107315146 11177684992 6899 33554432000 4194304 4196468 140737266632144 139945575840400 139946037810901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33878016 140737266637426 140737266640225 140737266640225 140737266642895 0
[pid=20471/tid=20529] ppid=20468 vsize=10915708 memory=140084458972800 CPUtime=0.08 cores=1,3,5,7
/proc/20471/task/20529/stat : 20529 (java) S 20468 20471 6396 0 -1 1077944384 2 13151 0 0 0 0 5 3 20 0 14 0 107315147 11177684992 6899 33554432000 4194304 4196468 140737266632144 139945463220720 139946037811842 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33878016 140737266637426 140737266640225 140737266640225 140737266642895 0
[pid=20471/tid=20530] ppid=20468 vsize=10915708 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/20471/task/20530/stat : 20530 (java) S 20468 20471 6396 0 -1 1077944384 13 13151 0 0 0 0 5 3 20 0 14 0 107315148 11177684992 6899 33554432000 4194304 4196468 140737266632144 139944812078496 139946037810901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33878016 140737266637426 140737266640225 140737266640225 140737266642895 0
[pid=20471/tid=20531] ppid=20468 vsize=10915708 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20471/task/20531/stat : 20531 (java) S 20468 20471 6396 0 -1 1077944384 1 13151 0 0 0 0 5 3 20 0 14 0 107315148 11177684992 6899 33554432000 4194304 4196468 140737266632144 139944664229360 139946037810901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33878016 140737266637426 140737266640225 140737266640225 140737266642895 0
[pid=20471/tid=20532] ppid=20468 vsize=10915708 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20471/task/20532/stat : 20532 (java) S 20468 20471 6396 0 -1 1077944384 3 13151 0 0 0 0 5 3 20 0 14 0 107315151 11177684992 6899 33554432000 4194304 4196468 140737266632144 139944356829904 139946037819291 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33878016 140737266637426 140737266640225 140737266640225 140737266642895 0
[pid=20471/tid=20533] ppid=20468 vsize=10915708 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20471/task/20533/stat : 20533 (java) S 20468 20471 6396 0 -1 1077944384 304 13151 0 0 0 0 5 3 20 0 14 0 107315151 11177684992 6899 33554432000 4194304 4196468 140737266632144 139945462167536 139946037811842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33878016 140737266637426 140737266640225 140737266640225 140737266642895 0
[pid=20471/tid=20534] ppid=20468 vsize=10915708 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/20471/task/20534/stat : 20534 (java) S 20468 20471 6396 0 -1 1077944384 3 13151 0 0 0 0 5 3 20 0 14 0 107315151 11177684992 6899 33554432000 4194304 4196468 140737266632144 139945461114992 139946037811842 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33878016 140737266637426 140737266640225 140737266640225 140737266642895 0
[pid=20471/tid=20535] ppid=20468 vsize=10915708 memory=140084458972800 CPUtime=0.08 cores=1,3,5,7
/proc/20471/task/20535/stat : 20535 (java) S 20468 20471 6396 0 -1 1077944384 226 13151 0 0 0 0 5 3 20 0 14 0 107315151 11177684992 6899 33554432000 4194304 4196468 140737266632144 139945460062448 139946037811842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33878016 140737266637426 140737266640225 140737266640225 140737266642895 0
[pid=20471/tid=20536] ppid=20468 vsize=10915708 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/20471/task/20536/stat : 20536 (java) S 20468 20471 6396 0 -1 1077944384 3 13151 0 0 0 0 5 3 20 0 14 0 107315151 11177684992 6899 33554432000 4194304 4196468 140737266632144 139943926032992 139946037810901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33878016 140737266637426 140737266640225 140737266640225 140737266642895 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10915708 KiB
Current children cumulated memory: 27596 KiB
[startup+0.310081 s]*
/proc/loadavg: 1.25 1.47 1.59 4/216 20537
/proc/meminfo: memFree=22724276/32770624 swapFree=67108860/67108860
[pid=20471] ppid=20468 vsize=10982696 memory=43680 CPUtime=0.28 cores=1,3,5,7
/proc/20471/stat : 20471 (java) S 20468 20471 6396 0 -1 1077944320 8896 13151 0 0 17 3 5 3 20 0 15 0 107315136 11246280704 10920 33554432000 4194304 4196468 140737266632144 140737266614688 139946037800695 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33878016 140737266637426 140737266640225 140737266640225 140737266642895 0
/proc/20471/statm: 2745674 10920 2924 1 0 2708109 0
[pid=20471/tid=20524] ppid=20468 vsize=10982696 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/20471/task/20524/stat : 20524 (java) R 20468 20471 6396 0 -1 4202560 5401 13151 0 0 10 2 5 3 20 0 15 0 107315145 11246280704 10986 33554432000 4194304 4196468 140737266632144 139946009587840 139946018076444 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33878016 140737266637426 140737266640225 140737266640225 140737266642895 0
[pid=20471/tid=20525] ppid=20468 vsize=10982696 memory=342 CPUtime=0.08 cores=1,3,5,7
/proc/20471/task/20525/stat : 20525 (java) S 20468 20471 6396 0 -1 1077944384 1 13151 0 0 0 0 5 3 20 0 15 0 107315146 11246280704 10986 33554432000 4194304 4196468 140737266632144 139946042042640 139946037810901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33878016 140737266637426 140737266640225 140737266640225 140737266642895 0
[pid=20471/tid=20526] ppid=20468 vsize=10982696 memory=140084459616341 CPUtime=0.08 cores=1,3,5,7
/proc/20471/task/20526/stat : 20526 (java) S 20468 20471 6396 0 -1 1077944384 1 13151 0 0 0 0 5 3 20 0 15 0 107315146 11246280704 10986 33554432000 4194304 4196468 140737266632144 139945940400528 139946037810901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33878016 140737266637426 140737266640225 140737266640225 140737266642895 0
[pid=20471/tid=20527] ppid=20468 vsize=10982696 memory=6944656592455360604 CPUtime=0.08 cores=1,3,5,7
/proc/20471/task/20527/stat : 20527 (java) S 20468 20471 6396 0 -1 1077944384 1 13151 0 0 0 0 5 3 20 0 15 0 107315146 11246280704 11052 33554432000 4194304 4196468 140737266632144 139945576892944 139946037810901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33878016 140737266637426 140737266640225 140737266640225 140737266642895 0
[pid=20471/tid=20528] ppid=20468 vsize=10982696 memory=3471202396320837679 CPUtime=0.08 cores=1,3,5,7
/proc/20471/task/20528/stat : 20528 (java) S 20468 20471 6396 0 -1 1077944384 2 13151 0 0 0 0 5 3 20 0 15 0 107315146 11246280704 11052 33554432000 4194304 4196468 140737266632144 139945575840400 139946037810901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33878016 140737266637426 140737266640225 140737266640225 140737266642895 0
[pid=20471/tid=20529] ppid=20468 vsize=10982696 memory=7307339831504394719 CPUtime=0.08 cores=1,3,5,7
/proc/20471/task/20529/stat : 20529 (java) S 20468 20471 6396 0 -1 1077944384 2 13151 0 0 0 0 5 3 20 0 15 0 107315147 11246280704 11052 33554432000 4194304 4196468 140737266632144 139945463220720 139946037811842 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33878016 140737266637426 140737266640225 140737266640225 140737266642895 0
[pid=20471/tid=20530] ppid=20468 vsize=10982696 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/20471/task/20530/stat : 20530 (java) S 20468 20471 6396 0 -1 1077944384 13 13151 0 0 0 0 5 3 20 0 15 0 107315148 11246280704 11052 33554432000 4194304 4196468 140737266632144 139944812078496 139946037810901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33878016 140737266637426 140737266640225 140737266640225 140737266642895 0
[pid=20471/tid=20531] ppid=20468 vsize=10982696 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20471/task/20531/stat : 20531 (java) S 20468 20471 6396 0 -1 1077944384 1 13151 0 0 0 0 5 3 20 0 15 0 107315148 11246280704 11052 33554432000 4194304 4196468 140737266632144 139944664229360 139946037810901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33878016 140737266637426 140737266640225 140737266640225 140737266642895 0
[pid=20471/tid=20532] ppid=20468 vsize=10982696 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20471/task/20532/stat : 20532 (java) S 20468 20471 6396 0 -1 1077944384 3 13151 0 0 0 0 5 3 20 0 15 0 107315151 11246280704 11052 33554432000 4194304 4196468 140737266632144 139944356829904 139946037819291 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33878016 140737266637426 140737266640225 140737266640225 140737266642895 0
[pid=20471/tid=20533] ppid=20468 vsize=10982696 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/20471/task/20533/stat : 20533 (java) S 20468 20471 6396 0 -1 1077944384 442 13151 0 0 1 0 5 3 20 0 15 0 107315151 11246280704 11052 33554432000 4194304 4196468 140737266632144 139945462167536 139946037811842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33878016 140737266637426 140737266640225 140737266640225 140737266642895 0
[pid=20471/tid=20534] ppid=20468 vsize=10982696 memory=6873730494919109728 CPUtime=0.09 cores=1,3,5,7
/proc/20471/task/20534/stat : 20534 (java) S 20468 20471 6396 0 -1 1077944384 195 13151 0 0 1 0 5 3 20 0 15 0 107315151 11246280704 11052 33554432000 4194304 4196468 140737266632144 139945461114992 139946037811842 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33878016 140737266637426 140737266640225 140737266640225 140737266642895 0
[pid=20471/tid=20535] ppid=20468 vsize=10982696 memory=140084458972800 CPUtime=0.11 cores=1,3,5,7
/proc/20471/task/20535/stat : 20535 (java) S 20468 20471 6396 0 -1 1077944384 704 13151 0 0 3 0 5 3 20 0 15 0 107315151 11246280704 11052 33554432000 4194304 4196468 140737266632144 139945460062448 139946037811842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33878016 140737266637426 140737266640225 140737266640225 140737266642895 0
[pid=20471/tid=20536] ppid=20468 vsize=10982696 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/20471/task/20536/stat : 20536 (java) S 20468 20471 6396 0 -1 1077944384 3 13151 0 0 0 0 5 3 20 0 15 0 107315151 11246280704 11052 33554432000 4194304 4196468 140737266632144 139943926032992 139946037810901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33878016 140737266637426 140737266640225 140737266640225 140737266642895 0
[pid=20471/tid=20537] ppid=20468 vsize=10982696 memory=140084458972800 CPUtime=0.08 cores=1,3,5,7
/proc/20471/task/20537/stat : 20537 (java) S 20468 20471 6396 0 -1 1077944384 1 13151 0 0 0 0 5 3 20 0 15 0 107315160 11246280704 11052 33554432000 4194304 4196468 140737266632144 139945459010352 139946037811842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33878016 140737266637426 140737266640225 140737266640225 140737266642895 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 10982696 KiB
Current children cumulated memory: 43680 KiB
[startup+0.70077 s]
/proc/loadavg: 1.25 1.47 1.59 6/216 20537
/proc/meminfo: memFree=22707348/32770624 swapFree=67108860/67108860
[pid=20471] ppid=20468 vsize=10983192 memory=69032 CPUtime=0.83 cores=1,3,5,7
/proc/20471/stat : 20471 (java) S 20468 20471 6396 0 -1 1077944320 12907 13151 0 0 71 4 5 3 20 0 15 0 107315136 11246788608 17258 33554432000 4194304 4196468 140737266632144 140737266614688 139946037800695 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33878016 140737266637426 140737266640225 140737266640225 140737266642895 0
/proc/20471/statm: 2745798 17258 3235 1 0 2708109 0
[pid=20471/tid=20524] ppid=20468 vsize=10983192 memory=280168636009360 CPUtime=0.57 cores=1,3,5,7
/proc/20471/task/20524/stat : 20524 (java) R 20468 20471 6396 0 -1 4202560 8683 13151 0 0 46 3 5 3 20 0 15 0 107315145 11246788608 17258 33554432000 4194304 4196468 140737266632144 139946009609744 139946019364211 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33878016 140737266637426 140737266640225 140737266640225 140737266642895 0
[pid=20471/tid=20525] ppid=20468 vsize=10983192 memory=140084317923189 CPUtime=0.08 cores=1,3,5,7
/proc/20471/task/20525/stat : 20525 (java) S 20468 20471 6396 0 -1 1077944384 1 13151 0 0 0 0 5 3 20 0 15 0 107315146 11246788608 17258 33554432000 4194304 4196468 140737266632144 139946042042640 139946037810901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33878016 140737266637426 140737266640225 140737266640225 140737266642895 0
[pid=20471/tid=20526] ppid=20468 vsize=10983192 memory=4128 CPUtime=0.08 cores=1,3,5,7
/proc/20471/task/20526/stat : 20526 (java) S 20468 20471 6396 0 -1 1077944384 1 13151 0 0 0 0 5 3 20 0 15 0 107315146 11246788608 17258 33554432000 4194304 4196468 140737266632144 139945940400528 139946037810901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33878016 140737266637426 140737266640225 140737266640225 140737266642895 0
[pid=20471/tid=20527] ppid=20468 vsize=10983192 memory=2241 CPUtime=0.08 cores=1,3,5,7
/proc/20471/task/20527/stat : 20527 (java) S 20468 20471 6396 0 -1 1077944384 1 13151 0 0 0 0 5 3 20 0 15 0 107315146 11246788608 17258 33554432000 4194304 4196468 140737266632144 139945576892944 139946037810901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33878016 140737266637426 140737266640225 140737266640225 140737266642895 0
[pid=20471/tid=20528] ppid=20468 vsize=10983192 memory=2244 CPUtime=0.08 cores=1,3,5,7
/proc/20471/task/20528/stat : 20528 (java) S 20468 20471 6396 0 -1 1077944384 2 13151 0 0 0 0 5 3 20 0 15 0 107315146 11246788608 17258 33554432000 4194304 4196468 140737266632144 139945575840400 139946037810901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33878016 140737266637426 140737266640225 140737266640225 140737266642895 0
[pid=20471/tid=20529] ppid=20468 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20471/task/20529/stat : 20529 (java) S 20468 20471 6396 0 -1 1077944384 5 13151 0 0 0 0 5 3 20 0 15 0 107315147 11246788608 17258 33554432000 4194304 4196468 140737266632144 139945463220720 139946037811842 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33878016 140737266637426 140737266640225 140737266640225 140737266642895 0
[pid=20471/tid=20530] ppid=20468 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20471/task/20530/stat : 20530 (java) S 20468 20471 6396 0 -1 1077944384 13 13151 0 0 0 0 5 3 20 0 15 0 107315148 11246788608 17258 33554432000 4194304 4196468 140737266632144 139944812078496 139946037810901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33878016 140737266637426 140737266640225 140737266640225 140737266642895 0
[pid=20471/tid=20531] ppid=20468 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20471/task/20531/stat : 20531 (java) S 20468 20471 6396 0 -1 1077944384 1 13151 0 0 0 0 5 3 20 0 15 0 107315148 11246788608 17258 33554432000 4194304 4196468 140737266632144 139944664229360 139946037810901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33878016 140737266637426 140737266640225 140737266640225 140737266642895 0
[pid=20471/tid=20532] ppid=20468 vsize=10983192 memory=19265 CPUtime=0.08 cores=1,3,5,7
/proc/20471/task/20532/stat : 20532 (java) S 20468 20471 6396 0 -1 1077944384 3 13151 0 0 0 0 5 3 20 0 15 0 107315151 11246788608 17258 33554432000 4194304 4196468 140737266632144 139944356829904 139946037819291 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33878016 140737266637426 140737266640225 140737266640225 140737266642895 0
[pid=20471/tid=20533] ppid=20468 vsize=10983192 memory=0 CPUtime=0.14 cores=1,3,5,7
/proc/20471/task/20533/stat : 20533 (java) R 20468 20471 6396 0 -1 4202560 686 13151 0 0 6 0 5 3 20 0 15 0 107315151 11246788608 17258 33554432000 4194304 4196468 140737266632144 139945462167536 139946022725748 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33878016 140737266637426 140737266640225 140737266640225 140737266642895 0
[pid=20471/tid=20534] ppid=20468 vsize=10983192 memory=-2893623298589923098 CPUtime=0.13 cores=1,3,5,7
/proc/20471/task/20534/stat : 20534 (java) R 20468 20471 6396 0 -1 4202560 403 13151 0 0 5 0 5 3 20 0 15 0 107315151 11246788608 17258 33554432000 4194304 4196468 140737266632144 139945461096008 139946019344418 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33878016 140737266637426 140737266640225 140737266640225 140737266642895 0
[pid=20471/tid=20535] ppid=20468 vsize=10983192 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/20471/task/20535/stat : 20535 (java) S 20468 20471 6396 0 -1 1077944384 914 13151 0 0 12 0 5 3 20 0 15 0 107315151 11246788608 17258 33554432000 4194304 4196468 140737266632144 139945460062448 139946037811842 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33878016 140737266637426 140737266640225 140737266640225 140737266642895 0
[pid=20471/tid=20536] ppid=20468 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20471/task/20536/stat : 20536 (java) S 20468 20471 6396 0 -1 1077944384 3 13151 0 0 0 0 5 3 20 0 15 0 107315151 11246788608 17258 33554432000 4194304 4196468 140737266632144 139943926032992 139946037810901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33878016 140737266637426 140737266640225 140737266640225 140737266642895 0
[pid=20471/tid=20537] ppid=20468 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20471/task/20537/stat : 20537 (java) S 20468 20471 6396 0 -1 1077944384 1 13151 0 0 0 0 5 3 20 0 15 0 107315160 11246788608 17258 33554432000 4194304 4196468 140737266632144 139945459010352 139946037811842 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33878016 140737266637426 140737266640225 140737266640225 140737266642895 0
Current children cumulated CPU time: 0.83 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 69032 KiB
[startup+1.50075 s]
/proc/loadavg: 1.25 1.47 1.59 4/216 20537
/proc/meminfo: memFree=22666352/32770624 swapFree=67108860/67108860
[pid=20471] ppid=20468 vsize=10998092 memory=174476 CPUtime=2.14 cores=1,3,5,7
/proc/20471/stat : 20471 (java) S 20468 20471 6396 0 -1 1077944320 23836 13151 0 0 196 10 5 3 20 0 15 0 107315136 11262046208 43619 33554432000 4194304 4196468 140737266632144 140737266614688 139946037800695 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33878016 140737266637426 140737266640225 140737266640225 140737266642895 0
/proc/20471/statm: 2749523 43619 3472 1 0 2711181 0
[pid=20471/tid=20524] ppid=20468 vsize=10998092 memory=0 CPUtime=1.34 cores=1,3,5,7
/proc/20471/task/20524/stat : 20524 (java) R 20468 20471 6396 0 -1 4202560 17730 13151 0 0 120 6 5 3 20 0 15 0 107315145 11262046208 43619 33554432000 4194304 4196468 140737266632144 139946009618000 139946021881182 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33878016 140737266637426 140737266640225 140737266640225 140737266642895 0
[pid=20471/tid=20525] ppid=20468 vsize=10998092 memory=280168776890384 CPUtime=0.08 cores=1,3,5,7
/proc/20471/task/20525/stat : 20525 (java) S 20468 20471 6396 0 -1 1077944384 22 13151 0 0 0 0 5 3 20 0 15 0 107315146 11262046208 43619 33554432000 4194304 4196468 140737266632144 139946042042640 139946037810901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33878016 140737266637426 140737266640225 140737266640225 140737266642895 0
[pid=20471/tid=20526] ppid=20468 vsize=10998092 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/20471/task/20526/stat : 20526 (java) S 20468 20471 6396 0 -1 1077944384 20 13151 0 0 1 0 5 3 20 0 15 0 107315146 11262046208 43619 33554432000 4194304 4196468 140737266632144 139945940400528 139946037810901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33878016 140737266637426 140737266640225 140737266640225 140737266642895 0
[pid=20471/tid=20527] ppid=20468 vsize=10998092 memory=280168636060400 CPUtime=0.09 cores=1,3,5,7
/proc/20471/task/20527/stat : 20527 (java) S 20468 20471 6396 0 -1 1077944384 192 13151 0 0 1 0 5 3 20 0 15 0 107315146 11262046208 43619 33554432000 4194304 4196468 140737266632144 139945576892944 139946037810901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33878016 140737266637426 140737266640225 140737266640225 140737266642895 0
[pid=20471/tid=20528] ppid=20468 vsize=10998092 memory=288230621803970871 CPUtime=0.08 cores=1,3,5,7
/proc/20471/task/20528/stat : 20528 (java) S 20468 20471 6396 0 -1 1077944384 66 13151 0 0 0 0 5 3 20 0 15 0 107315146 11262046208 43619 33554432000 4194304 4196468 140737266632144 139945575840400 139946037810901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33878016 140737266637426 140737266640225 140737266640225 140737266642895 0
[pid=20471/tid=20529] ppid=20468 vsize=10998092 memory=14134428972616243 CPUtime=0.09 cores=1,3,5,7
/proc/20471/task/20529/stat : 20529 (java) S 20468 20471 6396 0 -1 1077944384 61 13151 0 0 1 0 5 3 20 0 15 0 107315147 11262046208 43619 33554432000 4194304 4196468 140737266632144 139945463220720 139946037811842 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33878016 140737266637426 140737266640225 140737266640225 140737266642895 0
[pid=20471/tid=20530] ppid=20468 vsize=10998092 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20471/task/20530/stat : 20530 (java) S 20468 20471 6396 0 -1 1077944384 14 13151 0 0 0 0 5 3 20 0 15 0 107315148 11262046208 43619 33554432000 4194304 4196468 140737266632144 139944812078560 139946037810901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33878016 140737266637426 140737266640225 140737266640225 140737266642895 0
[pid=20471/tid=20531] ppid=20468 vsize=10998092 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20471/task/20531/stat : 20531 (java) S 20468 20471 6396 0 -1 1077944384 1 13151 0 0 0 0 5 3 20 0 15 0 107315148 11262046208 43619 33554432000 4194304 4196468 140737266632144 139944664229376 139946037810901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33878016 140737266637426 140737266640225 140737266640225 140737266642895 0
[pid=20471/tid=20532] ppid=20468 vsize=10998092 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20471/task/20532/stat : 20532 (java) S 20468 20471 6396 0 -1 1077944384 3 13151 0 0 0 0 5 3 20 0 15 0 107315151 11262046208 43619 33554432000 4194304 4196468 140737266632144 139944356829904 139946037819291 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33878016 140737266637426 140737266640225 140737266640225 140737266642895 0
[pid=20471/tid=20533] ppid=20468 vsize=10998092 memory=-7384994778349281184 CPUtime=0.23 cores=1,3,5,7
/proc/20471/task/20533/stat : 20533 (java) S 20468 20471 6396 0 -1 1077944384 827 13151 0 0 15 0 5 3 20 0 15 0 107315151 11262046208 43619 33554432000 4194304 4196468 140737266632144 139945462167536 139946037811842 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33878016 140737266637426 140737266640225 140737266640225 140737266642895 0
[pid=20471/tid=20534] ppid=20468 vsize=10998092 memory=-9108684669924967205 CPUtime=0.32 cores=1,3,5,7
/proc/20471/task/20534/stat : 20534 (java) S 20468 20471 6396 0 -1 1077944384 1317 13151 0 0 24 0 5 3 20 0 15 0 107315151 11262046208 43619 33554432000 4194304 4196468 140737266632144 139945461114992 139946037811842 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33878016 140737266637426 140737266640225 140737266640225 140737266642895 0
[pid=20471/tid=20535] ppid=20468 vsize=10998092 memory=4713742226031938934 CPUtime=0.37 cores=1,3,5,7
/proc/20471/task/20535/stat : 20535 (java) S 20468 20471 6396 0 -1 1077944384 1389 13151 0 0 29 0 5 3 20 0 15 0 107315151 11262046208 43619 33554432000 4194304 4196468 140737266632144 139945460062448 139946037811842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33878016 140737266637426 140737266640225 140737266640225 140737266642895 0
[pid=20471/tid=20536] ppid=20468 vsize=10998092 memory=4138384240524752426 CPUtime=0.08 cores=1,3,5,7
/proc/20471/task/20536/stat : 20536 (java) S 20468 20471 6396 0 -1 1077944384 3 13151 0 0 0 0 5 3 20 0 15 0 107315151 11262046208 43619 33554432000 4194304 4196468 140737266632144 139943926032992 139946037810901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33878016 140737266637426 140737266640225 140737266640225 140737266642895 0
[pid=20471/tid=20537] ppid=20468 vsize=10998092 memory=-6007375711041258288 CPUtime=0.08 cores=1,3,5,7
/proc/20471/task/20537/stat : 20537 (java) S 20468 20471 6396 0 -1 1077944384 1 13151 0 0 0 0 5 3 20 0 15 0 107315160 11262046208 43619 33554432000 4194304 4196468 140737266632144 139945459010352 139946037811842 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33878016 140737266637426 140737266640225 140737266640225 140737266642895 0
Current children cumulated CPU time: 2.14 s
Current children cumulated vsize: 10998092 KiB
Current children cumulated memory: 174476 KiB
[startup+3.11055 s]
/proc/loadavg: 1.25 1.47 1.59 4/216 20537
/proc/meminfo: memFree=22549012/32770624 swapFree=67108860/67108860
[pid=20471] ppid=20468 vsize=11008352 memory=227280 CPUtime=5.86 cores=1,3,5,7
/proc/20471/stat : 20471 (java) S 20468 20471 6396 0 -1 1077944320 34984 13151 0 0 564 14 5 3 20 0 15 0 107315136 11272552448 56820 33554432000 4194304 4196468 140737266632144 140737266614688 139946037800695 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33878016 140737266637426 140737266640225 140737266640225 140737266642895 0
/proc/20471/statm: 2752088 56820 3497 1 0 2713741 0
[pid=20471/tid=20524] ppid=20468 vsize=11008352 memory=0 CPUtime=2.93 cores=1,3,5,7
/proc/20471/task/20524/stat : 20524 (java) R 20468 20471 6396 0 -1 4202560 23676 13151 0 0 278 7 5 3 20 0 15 0 107315145 11272552448 56820 33554432000 4194304 4196468 140737266632144 139946009631136 139946019364196 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33878016 140737266637426 140737266640225 140737266640225 140737266642895 0
[pid=20471/tid=20525] ppid=20468 vsize=11008352 memory=56 CPUtime=0.08 cores=1,3,5,7
/proc/20471/task/20525/stat : 20525 (java) S 20468 20471 6396 0 -1 1077944384 22 13151 0 0 0 0 5 3 20 0 15 0 107315146 11272552448 56820 33554432000 4194304 4196468 140737266632144 139946042042640 139946037810901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33878016 140737266637426 140737266640225 140737266640225 140737266642895 0
[pid=20471/tid=20526] ppid=20468 vsize=11008352 memory=12813 CPUtime=0.09 cores=1,3,5,7
/proc/20471/task/20526/stat : 20526 (java) S 20468 20471 6396 0 -1 1077944384 20 13151 0 0 1 0 5 3 20 0 15 0 107315146 11272552448 56820 33554432000 4194304 4196468 140737266632144 139945940400528 139946037810901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33878016 140737266637426 140737266640225 140737266640225 140737266642895 0
[pid=20471/tid=20527] ppid=20468 vsize=11008352 memory=24398 CPUtime=0.09 cores=1,3,5,7
/proc/20471/task/20527/stat : 20527 (java) S 20468 20471 6396 0 -1 1077944384 192 13151 0 0 1 0 5 3 20 0 15 0 107315146 11272552448 56820 33554432000 4194304 4196468 140737266632144 139945576892944 139946037810901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33878016 140737266637426 140737266640225 140737266640225 140737266642895 0
[pid=20471/tid=20528] ppid=20468 vsize=11008352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20471/task/20528/stat : 20528 (java) S 20468 20471 6396 0 -1 1077944384 66 13151 0 0 0 0 5 3 20 0 15 0 107315146 11272552448 56820 33554432000 4194304 4196468 140737266632144 139945575840400 139946037810901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33878016 140737266637426 140737266640225 140737266640225 140737266642895 0
[pid=20471/tid=20529] ppid=20468 vsize=11008352 memory=62 CPUtime=0.09 cores=1,3,5,7
/proc/20471/task/20529/stat : 20529 (java) S 20468 20471 6396 0 -1 1077944384 61 13151 0 0 1 0 5 3 20 0 15 0 107315147 11272552448 56820 33554432000 4194304 4196468 140737266632144 139945463220720 139946037811842 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33878016 140737266637426 140737266640225 140737266640225 140737266642895 0
[pid=20471/tid=20530] ppid=20468 vsize=11008352 memory=96 CPUtime=0.08 cores=1,3,5,7
/proc/20471/task/20530/stat : 20530 (java) S 20468 20471 6396 0 -1 1077944384 14 13151 0 0 0 0 5 3 20 0 15 0 107315148 11272552448 56820 33554432000 4194304 4196468 140737266632144 139944812078560 139946037810901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33878016 140737266637426 140737266640225 140737266640225 140737266642895 0
[pid=20471/tid=20531] ppid=20468 vsize=11008352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20471/task/20531/stat : 20531 (java) S 20468 20471 6396 0 -1 1077944384 1 13151 0 0 0 0 5 3 20 0 15 0 107315148 11272552448 56820 33554432000 4194304 4196468 140737266632144 139944664229376 139946037810901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33878016 140737266637426 140737266640225 140737266640225 140737266642895 0
[pid=20471/tid=20532] ppid=20468 vsize=11008352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20471/task/20532/stat : 20532 (java) S 20468 20471 6396 0 -1 1077944384 3 13151 0 0 0 0 5 3 20 0 15 0 107315151 11272552448 56820 33554432000 4194304 4196468 140737266632144 139944356829904 139946037819291 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33878016 140737266637426 140737266640225 140737266640225 140737266642895 0
[pid=20471/tid=20533] ppid=20468 vsize=11008352 memory=4616 CPUtime=1.03 cores=1,3,5,7
/proc/20471/task/20533/stat : 20533 (java) S 20468 20471 6396 0 -1 1077944384 2786 13151 0 0 94 1 5 3 20 0 15 0 107315151 11272552448 56820 33554432000 4194304 4196468 140737266632144 139945462167536 139946037811842 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33878016 140737266637426 140737266640225 140737266640225 140737266642895 0
[pid=20471/tid=20534] ppid=20468 vsize=11008352 memory=1428 CPUtime=0.86 cores=1,3,5,7
/proc/20471/task/20534/stat : 20534 (java) R 20468 20471 6396 0 -1 4202560 1749 13151 0 0 77 1 5 3 20 0 15 0 107315151 11272552448 56820 33554432000 4194304 4196468 140737266632144 139945461114992 139946037822042 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33878016 140737266637426 140737266640225 140737266640225 140737266642895 0
[pid=20471/tid=20535] ppid=20468 vsize=11008352 memory=15876 CPUtime=1.15 cores=1,3,5,7
/proc/20471/task/20535/stat : 20535 (java) R 20468 20471 6396 0 -1 4202560 4201 13151 0 0 106 1 5 3 20 0 15 0 107315151 11272552448 56820 33554432000 4194304 4196468 140737266632144 139945460062448 139946037811842 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33878016 140737266637426 140737266640225 140737266640225 140737266642895 0
[pid=20471/tid=20536] ppid=20468 vsize=11008352 memory=16412 CPUtime=0.08 cores=1,3,5,7
/proc/20471/task/20536/stat : 20536 (java) S 20468 20471 6396 0 -1 1077944384 3 13151 0 0 0 0 5 3 20 0 15 0 107315151 11272552448 56820 33554432000 4194304 4196468 140737266632144 139943926032992 139946037810901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33878016 140737266637426 140737266640225 140737266640225 140737266642895 0
[pid=20471/tid=20537] ppid=20468 vsize=11008352 memory=17440 CPUtime=0.08 cores=1,3,5,7
/proc/20471/task/20537/stat : 20537 (java) S 20468 20471 6396 0 -1 1077944384 1 13151 0 0 0 0 5 3 20 0 15 0 107315160 11272552448 56820 33554432000 4194304 4196468 140737266632144 139945459010352 139946037811842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33878016 140737266637426 140737266640225 140737266640225 140737266642895 0
Current children cumulated CPU time: 5.86 s
Current children cumulated vsize: 11008352 KiB
Current children cumulated memory: 227280 KiB
[startup+3.85231 s]
# the end of solver process 20471 was just reported to runsolver
# cumulated CPU time of all completed processes: user=7.477 s, system=0.260265 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20114 s]
/proc/loadavg: 1.25 1.47 1.59 4/216 20537
/proc/meminfo: memFree=22549012/32770624 swapFree=67108860/67108860
[pid=20471] ppid=20468 vsize=11008352 memory=247192 CPUtime=6.1 cores=1,3,5,7
/proc/20471/stat : 20471 (java) S 20468 20471 6396 0 -1 1077944320 36497 13151 0 0 586 16 5 3 20 0 15 0 107315136 11272552448 61798 33554432000 4194304 4196468 140737266632144 140737266614688 139946037800695 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33878016 140737266637426 140737266640225 140737266640225 140737266642895 0
/proc/20471/statm: 2752088 61798 3499 1 0 2713741 0
[pid=20471/tid=20524] ppid=20468 vsize=11008352 memory=1796 CPUtime=2.98 cores=1,3,5,7
/proc/20471/task/20524/stat : 20524 (java) R 20468 20471 6396 0 -1 1077944384 23834 13151 0 0 282 8 5 3 20 0 15 0 107315145 11272552448 61798 33554432000 4194304 4196468 140737266632144 139946009630640 139946037810901 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33878016 140737266637426 140737266640225 140737266640225 140737266642895 0
[pid=20471/tid=20525] ppid=20468 vsize=11008352 memory=636 CPUtime=0.11 cores=1,3,5,7
/proc/20471/task/20525/stat : 20525 (java) S 20468 20471 6396 0 -1 1077944384 39 13151 0 0 3 0 5 3 20 0 15 0 107315146 11272552448 61798 33554432000 4194304 4196468 140737266632144 139946042042640 139946037810901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33878016 140737266637426 140737266640225 140737266640225 140737266642895 0
[pid=20471/tid=20526] ppid=20468 vsize=11008352 memory=960 CPUtime=0.1 cores=1,3,5,7
/proc/20471/task/20526/stat : 20526 (java) S 20468 20471 6396 0 -1 1077944384 20 13151 0 0 2 0 5 3 20 0 15 0 107315146 11272552448 61798 33554432000 4194304 4196468 140737266632144 139945940400528 139946037810901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33878016 140737266637426 140737266640225 140737266640225 140737266642895 0
[pid=20471/tid=20527] ppid=20468 vsize=11008352 memory=1232 CPUtime=0.11 cores=1,3,5,7
/proc/20471/task/20527/stat : 20527 (java) S 20468 20471 6396 0 -1 1077944384 215 13151 0 0 3 0 5 3 20 0 15 0 107315146 11272552448 61798 33554432000 4194304 4196468 140737266632144 139945576892944 139946037810901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33878016 140737266637426 140737266640225 140737266640225 140737266642895 0
[pid=20471/tid=20528] ppid=20468 vsize=11008352 memory=2344 CPUtime=0.11 cores=1,3,5,7
/proc/20471/task/20528/stat : 20528 (java) S 20468 20471 6396 0 -1 1077944384 78 13151 0 0 3 0 5 3 20 0 15 0 107315146 11272552448 61798 33554432000 4194304 4196468 140737266632144 139945575840400 139946037810901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33878016 140737266637426 140737266640225 140737266640225 140737266642895 0
[pid=20471/tid=20529] ppid=20468 vsize=11008352 memory=197392 CPUtime=0.11 cores=1,3,5,7
/proc/20471/task/20529/stat : 20529 (java) S 20468 20471 6396 0 -1 1077944384 1344 13151 0 0 3 0 5 3 20 0 15 0 107315147 11272552448 61798 33554432000 4194304 4196468 140737266632144 139945463220720 139946037811842 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33878016 140737266637426 140737266640225 140737266640225 140737266642895 0
[pid=20471/tid=20530] ppid=20468 vsize=11008352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20471/task/20530/stat : 20530 (java) S 20468 20471 6396 0 -1 1077944384 14 13151 0 0 0 0 5 3 20 0 15 0 107315148 11272552448 61798 33554432000 4194304 4196468 140737266632144 139944812078560 139946037810901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33878016 140737266637426 140737266640225 140737266640225 140737266642895 0
[pid=20471/tid=20531] ppid=20468 vsize=11008352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20471/task/20531/stat : 20531 (java) S 20468 20471 6396 0 -1 1077944384 1 13151 0 0 0 0 5 3 20 0 15 0 107315148 11272552448 61798 33554432000 4194304 4196468 140737266632144 139944664229376 139946037810901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33878016 140737266637426 140737266640225 140737266640225 140737266642895 0
[pid=20471/tid=20532] ppid=20468 vsize=11008352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20471/task/20532/stat : 20532 (java) S 20468 20471 6396 0 -1 1077944384 3 13151 0 0 0 0 5 3 20 0 15 0 107315151 11272552448 61798 33554432000 4194304 4196468 140737266632144 139944356829904 139946037819291 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33878016 140737266637426 140737266640225 140737266640225 140737266642895 0
[pid=20471/tid=20533] ppid=20468 vsize=11008352 memory=0 CPUtime=1.08 cores=1,3,5,7
/proc/20471/task/20533/stat : 20533 (java) R 20468 20471 6396 0 -1 4202560 2794 13151 0 0 99 1 5 3 20 0 15 0 107315151 11272552448 61798 33554432000 4194304 4196468 140737266632144 139945462152368 139946037822042 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33878016 140737266637426 140737266640225 140737266640225 140737266642895 0
[pid=20471/tid=20534] ppid=20468 vsize=11008352 memory=0 CPUtime=0.87 cores=1,3,5,7
/proc/20471/task/20534/stat : 20534 (java) R 20468 20471 6396 0 -1 4202560 1753 13151 0 0 78 1 5 3 20 0 15 0 107315151 11272552448 61798 33554432000 4194304 4196468 140737266632144 139945461093728 139946030090064 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33878016 140737266637426 140737266640225 140737266640225 140737266642895 0
[pid=20471/tid=20535] ppid=20468 vsize=11008352 memory=13 CPUtime=1.16 cores=1,3,5,7
/proc/20471/task/20535/stat : 20535 (java) R 20468 20471 6396 0 -1 4202560 4208 13151 0 0 107 1 5 3 20 0 15 0 107315151 11272552448 61798 33554432000 4194304 4196468 140737266632144 139945460060240 139946022124036 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33878016 140737266637426 140737266640225 140737266640225 140737266642895 0
[pid=20471/tid=20536] ppid=20468 vsize=11008352 memory=18 CPUtime=0.08 cores=1,3,5,7
/proc/20471/task/20536/stat : 20536 (java) S 20468 20471 6396 0 -1 1077944384 3 13151 0 0 0 0 5 3 20 0 15 0 107315151 11272552448 61798 33554432000 4194304 4196468 140737266632144 139943926032992 139946037810901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33878016 140737266637426 140737266640225 140737266640225 140737266642895 0
[pid=20471/tid=20537] ppid=20468 vsize=11008352 memory=27 CPUtime=0.08 cores=1,3,5,7
/proc/20471/task/20537/stat : 20537 (java) S 20468 20471 6396 0 -1 1077944384 1 13151 0 0 0 0 5 3 20 0 15 0 107315160 11272552448 61798 33554432000 4194304 4196468 140737266632144 139945459010352 139946037811842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33878016 140737266637426 140737266640225 140737266640225 140737266642895 0
Current children cumulated CPU time: 6.1 s
Current children cumulated vsize: 11008352 KiB
Current children cumulated memory: 247192 KiB
[startup+3.60888 s]
/proc/loadavg: 1.25 1.47 1.59 4/216 20537
/proc/meminfo: memFree=22549012/32770624 swapFree=67108860/67108860
[pid=20471] ppid=20468 vsize=11077984 memory=298856 CPUtime=6.98 cores=1,3,5,7
/proc/20471/stat : 20471 (java) S 20468 20471 6396 0 -1 1077944320 61783 13151 0 0 670 20 5 3 20 0 15 0 107315136 11343855616 74714 33554432000 4194304 4196468 140737266632144 140737266614688 139946037800695 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33878016 140737266637426 140737266640225 140737266640225 140737266642895 0
/proc/20471/statm: 2769496 74714 3499 1 0 2731149 0
[pid=20471/tid=20524] ppid=20468 vsize=11077984 memory=7662705889289527641 CPUtime=3.38 cores=1,3,5,7
/proc/20471/task/20524/stat : 20524 (java) R 20468 20471 6396 0 -1 1077944384 44085 13151 0 0 320 10 5 3 20 0 15 0 107315145 11343855616 74714 33554432000 4194304 4196468 140737266632144 139946009635696 139946037810901 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33878016 140737266637426 140737266640225 140737266640225 140737266642895 0
[pid=20471/tid=20525] ppid=20468 vsize=11077984 memory=6297835844906604903 CPUtime=0.11 cores=1,3,5,7
/proc/20471/task/20525/stat : 20525 (java) S 20468 20471 6396 0 -1 1077944384 39 13151 0 0 3 0 5 3 20 0 15 0 107315146 11343855616 74714 33554432000 4194304 4196468 140737266632144 139946042042640 139946037810901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33878016 140737266637426 140737266640225 140737266640225 140737266642895 0
[pid=20471/tid=20526] ppid=20468 vsize=11077984 memory=7881696724453321575 CPUtime=0.1 cores=1,3,5,7
/proc/20471/task/20526/stat : 20526 (java) S 20468 20471 6396 0 -1 1077944384 20 13151 0 0 2 0 5 3 20 0 15 0 107315146 11343855616 74714 33554432000 4194304 4196468 140737266632144 139945940400528 139946037810901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33878016 140737266637426 140737266640225 140737266640225 140737266642895 0
[pid=20471/tid=20527] ppid=20468 vsize=11077984 memory=5787213827080022119 CPUtime=0.11 cores=1,3,5,7
/proc/20471/task/20527/stat : 20527 (java) S 20468 20471 6396 0 -1 1077944384 215 13151 0 0 3 0 5 3 20 0 15 0 107315146 11343855616 74714 33554432000 4194304 4196468 140737266632144 139945576892944 139946037810901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33878016 140737266637426 140737266640225 140737266640225 140737266642895 0
[pid=20471/tid=20528] ppid=20468 vsize=11077984 memory=280168636195600 CPUtime=0.11 cores=1,3,5,7
/proc/20471/task/20528/stat : 20528 (java) S 20468 20471 6396 0 -1 1077944384 78 13151 0 0 3 0 5 3 20 0 15 0 107315146 11343855616 74714 33554432000 4194304 4196468 140737266632144 139945575840400 139946037810901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33878016 140737266637426 140737266640225 140737266640225 140737266642895 0
[pid=20471/tid=20529] ppid=20468 vsize=11077984 memory=650 CPUtime=0.11 cores=1,3,5,7
/proc/20471/task/20529/stat : 20529 (java) S 20468 20471 6396 0 -1 1077944384 1886 13151 0 0 3 0 5 3 20 0 15 0 107315147 11343855616 74714 33554432000 4194304 4196468 140737266632144 139945463220720 139946037811842 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33878016 140737266637426 140737266640225 140737266640225 140737266642895 0
[pid=20471/tid=20530] ppid=20468 vsize=11077984 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20471/task/20530/stat : 20530 (java) S 20468 20471 6396 0 -1 1077944384 14 13151 0 0 0 0 5 3 20 0 15 0 107315148 11343855616 74714 33554432000 4194304 4196468 140737266632144 139944812078560 139946037810901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33878016 140737266637426 140737266640225 140737266640225 140737266642895 0
[pid=20471/tid=20531] ppid=20468 vsize=11077984 memory=177 CPUtime=0.08 cores=1,3,5,7
/proc/20471/task/20531/stat : 20531 (java) S 20468 20471 6396 0 -1 1077944384 1 13151 0 0 0 0 5 3 20 0 15 0 107315148 11343855616 74714 33554432000 4194304 4196468 140737266632144 139944664229376 139946037810901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33878016 140737266637426 140737266640225 140737266640225 140737266642895 0
[pid=20471/tid=20532] ppid=20468 vsize=11077984 memory=286 CPUtime=0.08 cores=1,3,5,7
/proc/20471/task/20532/stat : 20532 (java) S 20468 20471 6396 0 -1 1077944384 3 13151 0 0 0 0 5 3 20 0 15 0 107315151 11343855616 74714 33554432000 4194304 4196468 140737266632144 139944356829904 139946037819291 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33878016 140737266637426 140737266640225 140737266640225 140737266642895 0
[pid=20471/tid=20533] ppid=20468 vsize=11077984 memory=62 CPUtime=1.36 cores=1,3,5,7
/proc/20471/task/20533/stat : 20533 (java) R 20468 20471 6396 0 -1 4202560 5031 13151 0 0 127 1 5 3 20 0 15 0 107315151 11343855616 74714 33554432000 4194304 4196468 140737266632144 139945462153480 139946021706700 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33878016 140737266637426 140737266640225 140737266640225 140737266642895 0
[pid=20471/tid=20534] ppid=20468 vsize=11077984 memory=82 CPUtime=0.95 cores=1,3,5,7
/proc/20471/task/20534/stat : 20534 (java) S 20468 20471 6396 0 -1 1077944384 3134 13151 0 0 86 1 5 3 20 0 15 0 107315151 11343855616 74714 33554432000 4194304 4196468 140737266632144 139945461114992 139946037811842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33878016 140737266637426 140737266640225 140737266640225 140737266642895 0
[pid=20471/tid=20535] ppid=20468 vsize=11077984 memory=17792 CPUtime=1.27 cores=1,3,5,7
/proc/20471/task/20535/stat : 20535 (java) R 20468 20471 6396 0 -1 1077944384 5081 13151 0 0 117 2 5 3 20 0 15 0 107315151 11343855616 74714 33554432000 4194304 4196468 140737266632144 139945460062448 139946037811842 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33878016 140737266637426 140737266640225 140737266640225 140737266642895 0
[pid=20471/tid=20536] ppid=20468 vsize=11077984 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20471/task/20536/stat : 20536 (java) S 20468 20471 6396 0 -1 1077944384 3 13151 0 0 0 0 5 3 20 0 15 0 107315151 11343855616 74714 33554432000 4194304 4196468 140737266632144 139943926032992 139946037810901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33878016 140737266637426 140737266640225 140737266640225 140737266642895 0
[pid=20471/tid=20537] ppid=20468 vsize=11077984 memory=6363683482818271586 CPUtime=0.08 cores=1,3,5,7
/proc/20471/task/20537/stat : 20537 (java) S 20468 20471 6396 0 -1 1077944384 5 13151 0 0 0 0 5 3 20 0 15 0 107315160 11343855616 74714 33554432000 4194304 4196468 140737266632144 139945459010352 139946037811842 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33878016 140737266637426 140737266640225 140737266640225 140737266642895 0
Current children cumulated CPU time: 6.98 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 298856 KiB
[startup+3.80163 s]
/proc/loadavg: 1.25 1.47 1.59 4/216 20537
/proc/meminfo: memFree=22549012/32770624 swapFree=67108860/67108860
[pid=20471] ppid=20468 vsize=11080340 memory=305344 CPUtime=7.62 cores=1,3,5,7
/proc/20471/stat : 20471 (java) S 20468 20471 6396 0 -1 1077944320 63121 13151 0 0 733 21 5 3 20 0 15 0 107315136 11346268160 76336 33554432000 4194304 4196468 140737266632144 140737266614688 139946037800695 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33878016 140737266637426 140737266640225 140737266640225 140737266642895 0
/proc/20471/statm: 2770085 76336 3504 1 0 2731738 0
[pid=20471/tid=20524] ppid=20468 vsize=11080340 memory=-6580167349480020833 CPUtime=3.58 cores=1,3,5,7
/proc/20471/task/20524/stat : 20524 (java) R 20468 20471 6396 0 -1 4202560 44629 13151 0 0 339 11 5 3 20 0 15 0 107315145 11346268160 76336 33554432000 4194304 4196468 140737266632144 139946009637152 139945616056135 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33878016 140737266637426 140737266640225 140737266640225 140737266642895 0
[pid=20471/tid=20525] ppid=20468 vsize=11080340 memory=-6440271032318465942 CPUtime=0.11 cores=1,3,5,7
/proc/20471/task/20525/stat : 20525 (java) S 20468 20471 6396 0 -1 1077944384 39 13151 0 0 3 0 5 3 20 0 15 0 107315146 11346268160 76336 33554432000 4194304 4196468 140737266632144 139946042042640 139946037810901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33878016 140737266637426 140737266640225 140737266640225 140737266642895 0
[pid=20471/tid=20526] ppid=20468 vsize=11080340 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/20471/task/20526/stat : 20526 (java) S 20468 20471 6396 0 -1 1077944384 20 13151 0 0 2 0 5 3 20 0 15 0 107315146 11346268160 76336 33554432000 4194304 4196468 140737266632144 139945940400528 139946037810901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33878016 140737266637426 140737266640225 140737266640225 140737266642895 0
[pid=20471/tid=20527] ppid=20468 vsize=11080340 memory=-7523660553960122769 CPUtime=0.11 cores=1,3,5,7
/proc/20471/task/20527/stat : 20527 (java) S 20468 20471 6396 0 -1 1077944384 215 13151 0 0 3 0 5 3 20 0 15 0 107315146 11346268160 76336 33554432000 4194304 4196468 140737266632144 139945576892944 139946037810901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33878016 140737266637426 140737266640225 140737266640225 140737266642895 0
[pid=20471/tid=20528] ppid=20468 vsize=11080340 memory=-8096445597189093946 CPUtime=0.11 cores=1,3,5,7
/proc/20471/task/20528/stat : 20528 (java) S 20468 20471 6396 0 -1 1077944384 78 13151 0 0 3 0 5 3 20 0 15 0 107315146 11346268160 76336 33554432000 4194304 4196468 140737266632144 139945575840400 139946037810901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33878016 140737266637426 140737266640225 140737266640225 140737266642895 0
[pid=20471/tid=20529] ppid=20468 vsize=11080340 memory=6944656592387989600 CPUtime=0.11 cores=1,3,5,7
/proc/20471/task/20529/stat : 20529 (java) S 20468 20471 6396 0 -1 1077944384 1886 13151 0 0 3 0 5 3 20 0 15 0 107315147 11346268160 76336 33554432000 4194304 4196468 140737266632144 139945463220720 139946037811842 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33878016 140737266637426 140737266640225 140737266640225 140737266642895 0
[pid=20471/tid=20530] ppid=20468 vsize=11080340 memory=6944656592387989600 CPUtime=0.08 cores=1,3,5,7
/proc/20471/task/20530/stat : 20530 (java) S 20468 20471 6396 0 -1 1077944384 14 13151 0 0 0 0 5 3 20 0 15 0 107315148 11346268160 76336 33554432000 4194304 4196468 140737266632144 139944812078560 139946037810901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33878016 140737266637426 140737266640225 140737266640225 140737266642895 0
[pid=20471/tid=20531] ppid=20468 vsize=11080340 memory=6944652177228980320 CPUtime=0.08 cores=1,3,5,7
/proc/20471/task/20531/stat : 20531 (java) S 20468 20471 6396 0 -1 1077944384 1 13151 0 0 0 0 5 3 20 0 15 0 107315148 11346268160 76336 33554432000 4194304 4196468 140737266632144 139944664229376 139946037810901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33878016 140737266637426 140737266640225 140737266640225 140737266642895 0
[pid=20471/tid=20532] ppid=20468 vsize=11080340 memory=6944656592455360604 CPUtime=0.08 cores=1,3,5,7
/proc/20471/task/20532/stat : 20532 (java) S 20468 20471 6396 0 -1 1077944384 3 13151 0 0 0 0 5 3 20 0 15 0 107315151 11346268160 76336 33554432000 4194304 4196468 140737266632144 139944356829904 139946037819291 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33878016 140737266637426 140737266640225 140737266640225 140737266642895 0
[pid=20471/tid=20533] ppid=20468 vsize=11080340 memory=164 CPUtime=1.56 cores=1,3,5,7
/proc/20471/task/20533/stat : 20533 (java) R 20468 20471 6396 0 -1 4202560 5517 13151 0 0 147 1 5 3 20 0 15 0 107315151 11346268160 76336 33554432000 4194304 4196468 140737266632144 139945462153480 139946019321899 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33878016 140737266637426 140737266640225 140737266640225 140737266642895 0
[pid=20471/tid=20534] ppid=20468 vsize=11080340 memory=6944656592452807316 CPUtime=1.11 cores=1,3,5,7
/proc/20471/task/20534/stat : 20534 (java) R 20468 20471 6396 0 -1 4202560 3213 13151 0 0 102 1 5 3 20 0 15 0 107315151 11346268160 76336 33554432000 4194304 4196468 140737266632144 139945461101536 139946019344800 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33878016 140737266637426 140737266640225 140737266640225 140737266642895 0
[pid=20471/tid=20535] ppid=20468 vsize=11080340 memory=6944656592455350634 CPUtime=1.36 cores=1,3,5,7
/proc/20471/task/20535/stat : 20535 (java) R 20468 20471 6396 0 -1 4202560 5316 13151 0 0 126 2 5 3 20 0 15 0 107315151 11346268160 76336 33554432000 4194304 4196468 140737266632144 139945460062448 139946030906387 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33878016 140737266637426 140737266640225 140737266640225 140737266642895 0
[pid=20471/tid=20536] ppid=20468 vsize=11080340 memory=4206468019014099040 CPUtime=0.08 cores=1,3,5,7
/proc/20471/task/20536/stat : 20536 (java) S 20468 20471 6396 0 -1 1077944384 3 13151 0 0 0 0 5 3 20 0 15 0 107315151 11346268160 76336 33554432000 4194304 4196468 140737266632144 139943926032992 139946037810901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33878016 140737266637426 140737266640225 140737266640225 140737266642895 0
[pid=20471/tid=20537] ppid=20468 vsize=11080340 memory=6944613755328037012 CPUtime=0.08 cores=1,3,5,7
/proc/20471/task/20537/stat : 20537 (java) S 20468 20471 6396 0 -1 1077944384 5 13151 0 0 0 0 5 3 20 0 15 0 107315160 11346268160 76336 33554432000 4194304 4196468 140737266632144 139945459010352 139946037811842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33878016 140737266637426 140737266640225 140737266640225 140737266642895 0
Current children cumulated CPU time: 7.62 s
Current children cumulated vsize: 11080340 KiB
Current children cumulated memory: 305344 KiB
Child status: 0
Real time (s): 3.85237
CPU time (s): 7.73727
CPU user time (s): 7.477
CPU system time (s): 0.260265
CPU usage (%): 200.844
Max. virtual memory (cumulated for all children) (KiB): 11080340
Max. memory (cumulated for all children) (KiB): 305344
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.477
system time used= 0.260265
maximum resident set size= 307768
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 76478
page faults= 0
swaps= 0
block input operations= 0
block output operations= 144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6044
involuntary context switches= 37
# summary of solver processes directly reported to runsolver:
# pid: 20471
# total CPU time (s): 7.73727
# total CPU user time (s): 7.477
# total CPU system time (s): 0.260265
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.044586 second user time and 0.07623 second system time
The end