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 (799 MiB free)
memory of node 1: 16384 MiB (78 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4402484-1568973080/watcher-4402484-1568973080 -o /var/tmp/evaluation-result-4402484-1568973080/solver-4402484-1568973080 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node149-1568967598-20068 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=2126459796 HOME/instance-4402484-1568973080.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=21983, runsolver pid=21980
[startup+0.100124 s]*
/proc/loadavg: 1.93 1.56 1.46 3/219 22040
/proc/meminfo: memFree=888936/32770624 swapFree=66956576/67108860
[pid=21983] ppid=21980 vsize=9972712 memory=17340 CPUtime=0.09 cores=0,2,4,6
/proc/21983/stat : 21983 (java) S 21980 21983 20037 0 -1 1077944320 4560 13359 0 0 1 0 5 3 20 0 6 0 473546661 10212057088 4335 33554432000 4194304 4196468 140735461303408 140735461285952 140247067553527 0 0 0 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15912960 140735461309027 140735461311669 140735461311669 140735461314511 0
/proc/21983/statm: 2493178 4335 1957 1 0 2481616 0
[pid=21983/tid=22036] ppid=21980 vsize=9975796 memory=4628411388058700198 CPUtime=0.09 cores=0,2,4,6
/proc/21983/task/22036/stat : 22036 (java) R 21980 21983 20037 0 -1 4202560 2358 13359 0 0 1 0 5 3 20 0 6 0 473546670 10215215104 4335 33554432000 4194304 4196468 140735461303408 140247039390288 140247059791326 0 4 0 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15912960 140735461309027 140735461311669 140735461311669 140735461314511 0
[pid=21983/tid=22037] ppid=21980 vsize=9983652 memory=5793855803902069177 CPUtime=0.08 cores=0,2,4,6
/proc/21983/task/22037/stat : 22037 (java) S 21980 21983 20037 0 -1 1077944384 1 13359 0 0 0 0 5 3 20 0 6 0 473546670 10223259648 4335 33554432000 4194304 4196468 140735461303408 140247071795472 140247067563733 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15912960 140735461309027 140735461311669 140735461311669 140735461314511 0
[pid=21983/tid=22038] ppid=21980 vsize=9988792 memory=140552892176000 CPUtime=0.08 cores=0,2,4,6
/proc/21983/task/22038/stat : 22038 (java) S 21980 21983 20037 0 -1 1077944384 1 13359 0 0 0 0 5 3 20 0 6 0 473546670 10228523008 4335 33554432000 4194304 4196468 140735461303408 140246640417168 140247067563733 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15912960 140735461309027 140735461311669 140735461311669 140735461314511 0
[pid=21983/tid=22039] ppid=21980 vsize=9988792 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/21983/task/22039/stat : 22039 (java) S 21980 21983 20037 0 -1 1077944384 2 13359 0 0 0 0 5 3 20 0 6 0 473546670 10228523008 4335 33554432000 4194304 4196468 140735461303408 140246639364624 140247067563733 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15912960 140735461309027 140735461311669 140735461311669 140735461314511 0
[pid=21983/tid=22040] ppid=21980 vsize=9988792 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/21983/task/22040/stat : 22040 (java) S 21980 21983 20037 0 -1 1077944384 2 13359 0 0 0 0 5 3 20 0 6 0 473546670 10228523008 4335 33554432000 4194304 4196468 140735461303408 140246638312080 140247067563733 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15912960 140735461309027 140735461311669 140735461311669 140735461314511 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 17340 KiB
[startup+0.21011 s]*
/proc/loadavg: 1.93 1.56 1.46 3/228 22049
/proc/meminfo: memFree=867280/32770624 swapFree=66956576/67108860
[pid=21983] ppid=21980 vsize=10820196 memory=46536 CPUtime=0.27 cores=0,2,4,6
/proc/21983/stat : 21983 (java) S 21980 21983 20037 0 -1 1077944320 7564 13359 0 0 17 2 5 3 20 0 15 0 473546661 11079880704 11634 33554432000 4194304 4196468 140735461303408 140735461285952 140247067553527 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15912960 140735461309027 140735461311669 140735461311669 140735461314511 0
/proc/21983/statm: 2705049 11634 3292 1 0 2667149 0
[pid=21983/tid=22036] ppid=21980 vsize=10820196 memory=-8540663193526752614 CPUtime=0.2 cores=0,2,4,6
/proc/21983/task/22036/stat : 22036 (java) R 21980 21983 20037 0 -1 4202560 4058 13359 0 0 11 1 5 3 20 0 15 0 473546670 11079880704 11634 33554432000 4194304 4196468 140735461303408 140247039364560 140247067575453 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15912960 140735461309027 140735461311669 140735461311669 140735461314511 0
[pid=21983/tid=22037] ppid=21980 vsize=10820196 memory=4211974279096966538 CPUtime=0.08 cores=0,2,4,6
/proc/21983/task/22037/stat : 22037 (java) S 21980 21983 20037 0 -1 1077944384 1 13359 0 0 0 0 5 3 20 0 15 0 473546670 11079880704 11634 33554432000 4194304 4196468 140735461303408 140247071795472 140247067563733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15912960 140735461309027 140735461311669 140735461311669 140735461314511 0
[pid=21983/tid=22038] ppid=21980 vsize=10820196 memory=140552892176000 CPUtime=0.08 cores=0,2,4,6
/proc/21983/task/22038/stat : 22038 (java) S 21980 21983 20037 0 -1 1077944384 1 13359 0 0 0 0 5 3 20 0 15 0 473546670 11079880704 11634 33554432000 4194304 4196468 140735461303408 140246640417168 140247067563733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15912960 140735461309027 140735461311669 140735461311669 140735461314511 0
[pid=21983/tid=22039] ppid=21980 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/21983/task/22039/stat : 22039 (java) S 21980 21983 20037 0 -1 1077944384 2 13359 0 0 0 0 5 3 20 0 15 0 473546670 11079880704 11634 33554432000 4194304 4196468 140735461303408 140246639364624 140247067563733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15912960 140735461309027 140735461311669 140735461311669 140735461314511 0
[pid=21983/tid=22040] ppid=21980 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/21983/task/22040/stat : 22040 (java) S 21980 21983 20037 0 -1 1077944384 2 13359 0 0 0 0 5 3 20 0 15 0 473546670 11079880704 11634 33554432000 4194304 4196468 140735461303408 140246638312080 140247067563733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15912960 140735461309027 140735461311669 140735461311669 140735461314511 0
[pid=21983/tid=22041] ppid=21980 vsize=10820196 memory=140552892176000 CPUtime=0.08 cores=0,2,4,6
/proc/21983/task/22041/stat : 22041 (java) S 21980 21983 20037 0 -1 1077944384 2 13359 0 0 0 0 5 3 20 0 15 0 473546672 11079880704 11634 33554432000 4194304 4196468 140735461303408 140246594218480 140247067564674 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15912960 140735461309027 140735461311669 140735461311669 140735461314511 0
[pid=21983/tid=22042] ppid=21980 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/21983/task/22042/stat : 22042 (java) S 21980 21983 20037 0 -1 1077944384 13 13359 0 0 0 0 5 3 20 0 15 0 473546672 11079880704 11634 33554432000 4194304 4196468 140735461303408 140246519899552 140247067563733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15912960 140735461309027 140735461311669 140735461311669 140735461314511 0
[pid=21983/tid=22043] ppid=21980 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/21983/task/22043/stat : 22043 (java) S 21980 21983 20037 0 -1 1077944384 1 13359 0 0 0 0 5 3 20 0 15 0 473546672 11079880704 11634 33554432000 4194304 4196468 140735461303408 140246385681904 140247067563733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15912960 140735461309027 140735461311669 140735461311669 140735461314511 0
[pid=21983/tid=22044] ppid=21980 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/21983/task/22044/stat : 22044 (java) S 21980 21983 20037 0 -1 1077944384 2 13359 0 0 0 0 5 3 20 0 15 0 473546675 11079880704 11634 33554432000 4194304 4196468 140735461303408 140245781703376 140247067572123 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15912960 140735461309027 140735461311669 140735461311669 140735461314511 0
[pid=21983/tid=22045] ppid=21980 vsize=10820196 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/21983/task/22045/stat : 22045 (java) R 21980 21983 20037 0 -1 4202560 484 13359 0 0 1 0 5 3 20 0 15 0 473546675 11079880704 11634 33554432000 4194304 4196468 140735461303408 140246593165296 140247044814192 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15912960 140735461309027 140735461311669 140735461311669 140735461314511 0
[pid=21983/tid=22046] ppid=21980 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/21983/task/22046/stat : 22046 (java) S 21980 21983 20037 0 -1 1077944384 181 13359 0 0 0 0 5 3 20 0 15 0 473546675 11079880704 11634 33554432000 4194304 4196468 140735461303408 140246592112752 140247067564674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15912960 140735461309027 140735461311669 140735461311669 140735461314511 0
[pid=21983/tid=22047] ppid=21980 vsize=10820196 memory=140552892176000 CPUtime=0.11 cores=0,2,4,6
/proc/21983/task/22047/stat : 22047 (java) R 21980 21983 20037 0 -1 1077944384 608 13359 0 0 3 0 5 3 20 0 15 0 473546675 11079880704 11634 33554432000 4194304 4196468 140735461303408 140246591060208 140247067564674 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15912960 140735461309027 140735461311669 140735461311669 140735461314511 0
[pid=21983/tid=22048] ppid=21980 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/21983/task/22048/stat : 22048 (java) S 21980 21983 20037 0 -1 1077944384 3 13359 0 0 0 0 5 3 20 0 15 0 473546675 11079880704 11634 33554432000 4194304 4196468 140735461303408 140245311941216 140247067563733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15912960 140735461309027 140735461311669 140735461311669 140735461314511 0
[pid=21983/tid=22049] ppid=21980 vsize=10820196 memory=140552892176000 CPUtime=0.08 cores=0,2,4,6
/proc/21983/task/22049/stat : 22049 (java) S 21980 21983 20037 0 -1 1077944384 1 13359 0 0 0 0 5 3 20 0 15 0 473546676 11079880704 11634 33554432000 4194304 4196468 140735461303408 140246590008112 140247067564674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15912960 140735461309027 140735461311669 140735461311669 140735461314511 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 46536 KiB
[startup+0.310644 s]*
/proc/loadavg: 1.94 1.57 1.46 3/228 22049
/proc/meminfo: memFree=854696/32770624 swapFree=66956576/67108860
[pid=21983] ppid=21980 vsize=10820196 memory=54972 CPUtime=0.41 cores=0,2,4,6
/proc/21983/stat : 21983 (java) S 21980 21983 20037 0 -1 1077944320 10908 13359 0 0 30 3 5 3 20 0 15 0 473546661 11079880704 13743 33554432000 4194304 4196468 140735461303408 140735461285952 140247067553527 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15912960 140735461309027 140735461311669 140735461311669 140735461314511 0
/proc/21983/statm: 2705049 13743 3312 1 0 2667149 0
[pid=21983/tid=22036] ppid=21980 vsize=10820196 memory=6791534058613427641 CPUtime=0.3 cores=0,2,4,6
/proc/21983/task/22036/stat : 22036 (java) R 21980 21983 20037 0 -1 4202560 7393 13359 0 0 20 2 5 3 20 0 15 0 473546670 11079880704 13743 33554432000 4194304 4196468 140735461303408 140247039362448 140247051634014 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15912960 140735461309027 140735461311669 140735461311669 140735461314511 0
[pid=21983/tid=22037] ppid=21980 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/21983/task/22037/stat : 22037 (java) S 21980 21983 20037 0 -1 1077944384 1 13359 0 0 0 0 5 3 20 0 15 0 473546670 11079880704 13743 33554432000 4194304 4196468 140735461303408 140247071795472 140247067563733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15912960 140735461309027 140735461311669 140735461311669 140735461314511 0
[pid=21983/tid=22038] ppid=21980 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/21983/task/22038/stat : 22038 (java) S 21980 21983 20037 0 -1 1077944384 1 13359 0 0 0 0 5 3 20 0 15 0 473546670 11079880704 13743 33554432000 4194304 4196468 140735461303408 140246640417168 140247067563733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15912960 140735461309027 140735461311669 140735461311669 140735461314511 0
[pid=21983/tid=22039] ppid=21980 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/21983/task/22039/stat : 22039 (java) S 21980 21983 20037 0 -1 1077944384 2 13359 0 0 0 0 5 3 20 0 15 0 473546670 11079880704 13743 33554432000 4194304 4196468 140735461303408 140246639364624 140247067563733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15912960 140735461309027 140735461311669 140735461311669 140735461314511 0
[pid=21983/tid=22040] ppid=21980 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/21983/task/22040/stat : 22040 (java) S 21980 21983 20037 0 -1 1077944384 2 13359 0 0 0 0 5 3 20 0 15 0 473546670 11079880704 13743 33554432000 4194304 4196468 140735461303408 140246638312080 140247067563733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15912960 140735461309027 140735461311669 140735461311669 140735461314511 0
[pid=21983/tid=22041] ppid=21980 vsize=10820196 memory=140552892175999 CPUtime=0.08 cores=0,2,4,6
/proc/21983/task/22041/stat : 22041 (java) S 21980 21983 20037 0 -1 1077944384 2 13359 0 0 0 0 5 3 20 0 15 0 473546672 11079880704 13743 33554432000 4194304 4196468 140735461303408 140246594218480 140247067564674 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15912960 140735461309027 140735461311669 140735461311669 140735461314511 0
[pid=21983/tid=22042] ppid=21980 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/21983/task/22042/stat : 22042 (java) S 21980 21983 20037 0 -1 1077944384 13 13359 0 0 0 0 5 3 20 0 15 0 473546672 11079880704 13743 33554432000 4194304 4196468 140735461303408 140246519899552 140247067563733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15912960 140735461309027 140735461311669 140735461311669 140735461314511 0
[pid=21983/tid=22043] ppid=21980 vsize=10820196 memory=140552892176000 CPUtime=0.08 cores=0,2,4,6
/proc/21983/task/22043/stat : 22043 (java) S 21980 21983 20037 0 -1 1077944384 1 13359 0 0 0 0 5 3 20 0 15 0 473546672 11079880704 13743 33554432000 4194304 4196468 140735461303408 140246385681904 140247067563733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15912960 140735461309027 140735461311669 140735461311669 140735461314511 0
[pid=21983/tid=22044] ppid=21980 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/21983/task/22044/stat : 22044 (java) S 21980 21983 20037 0 -1 1077944384 2 13359 0 0 0 0 5 3 20 0 15 0 473546675 11079880704 13743 33554432000 4194304 4196468 140735461303408 140245781703376 140247067572123 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15912960 140735461309027 140735461311669 140735461311669 140735461314511 0
[pid=21983/tid=22045] ppid=21980 vsize=10820196 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/21983/task/22045/stat : 22045 (java) S 21980 21983 20037 0 -1 1077944384 484 13359 0 0 2 0 5 3 20 0 15 0 473546675 11079880704 13743 33554432000 4194304 4196468 140735461303408 140246593165296 140247067564674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15912960 140735461309027 140735461311669 140735461311669 140735461314511 0
[pid=21983/tid=22046] ppid=21980 vsize=10820196 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/21983/task/22046/stat : 22046 (java) S 21980 21983 20037 0 -1 1077944384 182 13359 0 0 1 0 5 3 20 0 15 0 473546675 11079880704 13743 33554432000 4194304 4196468 140735461303408 140246592112752 140247067564674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15912960 140735461309027 140735461311669 140735461311669 140735461314511 0
[pid=21983/tid=22047] ppid=21980 vsize=10820196 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/21983/task/22047/stat : 22047 (java) S 21980 21983 20037 0 -1 1077944384 617 13359 0 0 5 0 5 3 20 0 15 0 473546675 11079880704 13743 33554432000 4194304 4196468 140735461303408 140246591060208 140247067564674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15912960 140735461309027 140735461311669 140735461311669 140735461314511 0
[pid=21983/tid=22048] ppid=21980 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/21983/task/22048/stat : 22048 (java) S 21980 21983 20037 0 -1 1077944384 3 13359 0 0 0 0 5 3 20 0 15 0 473546675 11079880704 13743 33554432000 4194304 4196468 140735461303408 140245311941216 140247067563733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15912960 140735461309027 140735461311669 140735461311669 140735461314511 0
[pid=21983/tid=22049] ppid=21980 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/21983/task/22049/stat : 22049 (java) S 21980 21983 20037 0 -1 1077944384 1 13359 0 0 0 0 5 3 20 0 15 0 473546676 11079880704 13743 33554432000 4194304 4196468 140735461303408 140246590008112 140247067564674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15912960 140735461309027 140735461311669 140735461311669 140735461314511 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 54972 KiB
[startup+0.70146 s]
/proc/loadavg: 1.94 1.57 1.46 3/228 22049
/proc/meminfo: memFree=840420/32770624 swapFree=66956576/67108860
[pid=21983] ppid=21980 vsize=10824364 memory=88196 CPUtime=1.16 cores=0,2,4,6
/proc/21983/stat : 21983 (java) S 21980 21983 20037 0 -1 1077944320 15323 13359 0 0 103 5 5 3 20 0 15 0 473546661 11084148736 22049 33554432000 4194304 4196468 140735461303408 140735461285952 140247067553527 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15912960 140735461309027 140735461311669 140735461311669 140735461314511 0
/proc/21983/statm: 2706091 22049 3511 1 0 2668173 0
[pid=21983/tid=22036] ppid=21980 vsize=10824364 memory=54208 CPUtime=0.67 cores=0,2,4,6
/proc/21983/task/22036/stat : 22036 (java) R 21980 21983 20037 0 -1 4202560 10636 13359 0 0 56 3 5 3 20 0 15 0 473546670 11084148736 22049 33554432000 4194304 4196468 140735461303408 140247039383456 140247051634014 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15912960 140735461309027 140735461311669 140735461311669 140735461314511 0
[pid=21983/tid=22037] ppid=21980 vsize=10824364 memory=4580 CPUtime=0.08 cores=0,2,4,6
/proc/21983/task/22037/stat : 22037 (java) S 21980 21983 20037 0 -1 1077944384 1 13359 0 0 0 0 5 3 20 0 15 0 473546670 11084148736 22049 33554432000 4194304 4196468 140735461303408 140247071795472 140247067563733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15912960 140735461309027 140735461311669 140735461311669 140735461314511 0
[pid=21983/tid=22038] ppid=21980 vsize=10824364 memory=140552737956351 CPUtime=0.08 cores=0,2,4,6
/proc/21983/task/22038/stat : 22038 (java) S 21980 21983 20037 0 -1 1077944384 1 13359 0 0 0 0 5 3 20 0 15 0 473546670 11084148736 22049 33554432000 4194304 4196468 140735461303408 140246640417168 140247067563733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15912960 140735461309027 140735461311669 140735461311669 140735461314511 0
[pid=21983/tid=22039] ppid=21980 vsize=10824364 memory=140552804762490 CPUtime=0.08 cores=0,2,4,6
/proc/21983/task/22039/stat : 22039 (java) S 21980 21983 20037 0 -1 1077944384 2 13359 0 0 0 0 5 3 20 0 15 0 473546670 11084148736 22049 33554432000 4194304 4196468 140735461303408 140246639364624 140247067563733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15912960 140735461309027 140735461311669 140735461311669 140735461314511 0
[pid=21983/tid=22040] ppid=21980 vsize=10824364 memory=31564 CPUtime=0.08 cores=0,2,4,6
/proc/21983/task/22040/stat : 22040 (java) S 21980 21983 20037 0 -1 1077944384 2 13359 0 0 0 0 5 3 20 0 15 0 473546670 11084148736 22049 33554432000 4194304 4196468 140735461303408 140246638312080 140247067563733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15912960 140735461309027 140735461311669 140735461311669 140735461314511 0
[pid=21983/tid=22041] ppid=21980 vsize=10824364 memory=7305218370954225241 CPUtime=0.08 cores=0,2,4,6
/proc/21983/task/22041/stat : 22041 (java) S 21980 21983 20037 0 -1 1077944384 5 13359 0 0 0 0 5 3 20 0 15 0 473546672 11084148736 22049 33554432000 4194304 4196468 140735461303408 140246594218480 140247067564674 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15912960 140735461309027 140735461311669 140735461311669 140735461314511 0
[pid=21983/tid=22042] ppid=21980 vsize=10824364 memory=7881696724453321575 CPUtime=0.08 cores=0,2,4,6
/proc/21983/task/22042/stat : 22042 (java) S 21980 21983 20037 0 -1 1077944384 13 13359 0 0 0 0 5 3 20 0 15 0 473546672 11084148736 22049 33554432000 4194304 4196468 140735461303408 140246519899552 140247067563733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15912960 140735461309027 140735461311669 140735461311669 140735461314511 0
[pid=21983/tid=22043] ppid=21980 vsize=10824364 memory=5787213827113576551 CPUtime=0.08 cores=0,2,4,6
/proc/21983/task/22043/stat : 22043 (java) S 21980 21983 20037 0 -1 1077944384 1 13359 0 0 0 0 5 3 20 0 15 0 473546672 11084148736 22049 33554432000 4194304 4196468 140735461303408 140246385681904 140247067563733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15912960 140735461309027 140735461311669 140735461311669 140735461314511 0
[pid=21983/tid=22044] ppid=21980 vsize=10824364 memory=-7028383565733675155 CPUtime=0.08 cores=0,2,4,6
/proc/21983/task/22044/stat : 22044 (java) S 21980 21983 20037 0 -1 1077944384 2 13359 0 0 0 0 5 3 20 0 15 0 473546675 11084148736 22049 33554432000 4194304 4196468 140735461303408 140245781703376 140247067572123 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15912960 140735461309027 140735461311669 140735461311669 140735461314511 0
[pid=21983/tid=22045] ppid=21980 vsize=10824364 memory=8326441112149131687 CPUtime=0.23 cores=0,2,4,6
/proc/21983/task/22045/stat : 22045 (java) S 21980 21983 20037 0 -1 1077944384 1000 13359 0 0 15 0 5 3 20 0 15 0 473546675 11084148736 22049 33554432000 4194304 4196468 140735461303408 140246593165296 140247067564674 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15912960 140735461309027 140735461311669 140735461311669 140735461314511 0
[pid=21983/tid=22046] ppid=21980 vsize=10824364 memory=-8990767739041718176 CPUtime=0.2 cores=0,2,4,6
/proc/21983/task/22046/stat : 22046 (java) R 21980 21983 20037 0 -1 4202560 635 13359 0 0 12 0 5 3 20 0 15 0 473546675 11084148736 22049 33554432000 4194304 4196468 140735461303408 140246592098848 140247049099034 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15912960 140735461309027 140735461311669 140735461311669 140735461314511 0
[pid=21983/tid=22047] ppid=21980 vsize=10824364 memory=-7384994778349281184 CPUtime=0.25 cores=0,2,4,6
/proc/21983/task/22047/stat : 22047 (java) S 21980 21983 20037 0 -1 1077944384 817 13359 0 0 17 0 5 3 20 0 15 0 473546675 11084148736 22049 33554432000 4194304 4196468 140735461303408 140246591060208 140247067564674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15912960 140735461309027 140735461311669 140735461311669 140735461314511 0
[pid=21983/tid=22048] ppid=21980 vsize=10824364 memory=1399103955520229747 CPUtime=0.08 cores=0,2,4,6
/proc/21983/task/22048/stat : 22048 (java) S 21980 21983 20037 0 -1 1077944384 3 13359 0 0 0 0 5 3 20 0 15 0 473546675 11084148736 22049 33554432000 4194304 4196468 140735461303408 140245311941216 140247067563733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15912960 140735461309027 140735461311669 140735461311669 140735461314511 0
[pid=21983/tid=22049] ppid=21980 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/21983/task/22049/stat : 22049 (java) S 21980 21983 20037 0 -1 1077944384 1 13359 0 0 0 0 5 3 20 0 15 0 473546676 11084148736 22049 33554432000 4194304 4196468 140735461303408 140246590008112 140247067564674 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15912960 140735461309027 140735461311669 140735461311669 140735461314511 0
Current children cumulated CPU time: 1.16 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 88196 KiB
[startup+1.50081 s]
/proc/loadavg: 1.94 1.57 1.46 5/228 22049
/proc/meminfo: memFree=770764/32770624 swapFree=66956576/67108860
[pid=21983] ppid=21980 vsize=10832632 memory=232456 CPUtime=2.99 cores=0,2,4,6
/proc/21983/stat : 21983 (java) S 21980 21983 20037 0 -1 1077944320 23314 13359 0 0 281 10 5 3 20 0 15 0 473546661 11092615168 58114 33554432000 4194304 4196468 140735461303408 140735461285952 140247067553527 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15912960 140735461309027 140735461311669 140735461311669 140735461314511 0
/proc/21983/statm: 2708158 58114 3587 1 0 2670221 0
[pid=21983/tid=22036] ppid=21980 vsize=10832632 memory=0 CPUtime=1.42 cores=0,2,4,6
/proc/21983/task/22036/stat : 22036 (java) R 21980 21983 20037 0 -1 4202560 15203 13359 0 0 129 5 5 3 20 0 15 0 473546670 11092615168 58114 33554432000 4194304 4196468 140735461303408 140247039377064 140247051634014 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15912960 140735461309027 140735461311669 140735461311669 140735461314511 0
[pid=21983/tid=22037] ppid=21980 vsize=10832632 memory=107176 CPUtime=0.09 cores=0,2,4,6
/proc/21983/task/22037/stat : 22037 (java) S 21980 21983 20037 0 -1 1077944384 82 13359 0 0 1 0 5 3 20 0 15 0 473546670 11092615168 58114 33554432000 4194304 4196468 140735461303408 140247071795472 140247067563733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15912960 140735461309027 140735461311669 140735461311669 140735461314511 0
[pid=21983/tid=22038] ppid=21980 vsize=10832632 memory=5790086053191909267 CPUtime=0.09 cores=0,2,4,6
/proc/21983/task/22038/stat : 22038 (java) S 21980 21983 20037 0 -1 1077944384 42 13359 0 0 1 0 5 3 20 0 15 0 473546670 11092615168 58114 33554432000 4194304 4196468 140735461303408 140246640417168 140247067563733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15912960 140735461309027 140735461311669 140735461311669 140735461314511 0
[pid=21983/tid=22039] ppid=21980 vsize=10832632 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/21983/task/22039/stat : 22039 (java) S 21980 21983 20037 0 -1 1077944384 17 13359 0 0 1 0 5 3 20 0 15 0 473546670 11092615168 58114 33554432000 4194304 4196468 140735461303408 140246639364624 140247067563733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15912960 140735461309027 140735461311669 140735461311669 140735461314511 0
[pid=21983/tid=22040] ppid=21980 vsize=10832632 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/21983/task/22040/stat : 22040 (java) S 21980 21983 20037 0 -1 1077944384 256 13359 0 0 1 0 5 3 20 0 15 0 473546670 11092615168 58114 33554432000 4194304 4196468 140735461303408 140246638312080 140247067563733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15912960 140735461309027 140735461311669 140735461311669 140735461314511 0
[pid=21983/tid=22041] ppid=21980 vsize=10832632 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/21983/task/22041/stat : 22041 (java) S 21980 21983 20037 0 -1 1077944384 1094 13359 0 0 1 0 5 3 20 0 15 0 473546672 11092615168 58114 33554432000 4194304 4196468 140735461303408 140246594218480 140247067564674 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15912960 140735461309027 140735461311669 140735461311669 140735461314511 0
[pid=21983/tid=22042] ppid=21980 vsize=10832632 memory=-6221781267475802396 CPUtime=0.08 cores=0,2,4,6
/proc/21983/task/22042/stat : 22042 (java) S 21980 21983 20037 0 -1 1077944384 13 13359 0 0 0 0 5 3 20 0 15 0 473546672 11092615168 58114 33554432000 4194304 4196468 140735461303408 140246519899552 140247067563733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15912960 140735461309027 140735461311669 140735461311669 140735461314511 0
[pid=21983/tid=22043] ppid=21980 vsize=10832632 memory=808 CPUtime=0.08 cores=0,2,4,6
/proc/21983/task/22043/stat : 22043 (java) S 21980 21983 20037 0 -1 1077944384 2 13359 0 0 0 0 5 3 20 0 15 0 473546672 11092615168 58114 33554432000 4194304 4196468 140735461303408 140246385681920 140247067563733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15912960 140735461309027 140735461311669 140735461311669 140735461314511 0
[pid=21983/tid=22044] ppid=21980 vsize=10832632 memory=1764 CPUtime=0.08 cores=0,2,4,6
/proc/21983/task/22044/stat : 22044 (java) S 21980 21983 20037 0 -1 1077944384 2 13359 0 0 0 0 5 3 20 0 15 0 473546675 11092615168 58114 33554432000 4194304 4196468 140735461303408 140245781703376 140247067572123 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15912960 140735461309027 140735461311669 140735461311669 140735461314511 0
[pid=21983/tid=22045] ppid=21980 vsize=10832632 memory=0 CPUtime=0.59 cores=0,2,4,6
/proc/21983/task/22045/stat : 22045 (java) S 21980 21983 20037 0 -1 1077944384 1543 13359 0 0 51 0 5 3 20 0 15 0 473546675 11092615168 58114 33554432000 4194304 4196468 140735461303408 140246593165296 140247067564674 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15912960 140735461309027 140735461311669 140735461311669 140735461314511 0
[pid=21983/tid=22046] ppid=21980 vsize=10832632 memory=235218111892536 CPUtime=0.56 cores=0,2,4,6
/proc/21983/task/22046/stat : 22046 (java) S 21980 21983 20037 0 -1 1077944384 1258 13359 0 0 48 0 5 3 20 0 15 0 473546675 11092615168 58114 33554432000 4194304 4196468 140735461303408 140246592112752 140247067564674 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15912960 140735461309027 140735461311669 140735461311669 140735461314511 0
[pid=21983/tid=22047] ppid=21980 vsize=10832632 memory=4423489559692849184 CPUtime=0.5 cores=0,2,4,6
/proc/21983/task/22047/stat : 22047 (java) S 21980 21983 20037 0 -1 1077944384 1594 13359 0 0 42 0 5 3 20 0 15 0 473546675 11092615168 58114 33554432000 4194304 4196468 140735461303408 140246591060208 140247067564674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15912960 140735461309027 140735461311669 140735461311669 140735461314511 0
[pid=21983/tid=22048] ppid=21980 vsize=10832632 memory=7660992747008972629 CPUtime=0.08 cores=0,2,4,6
/proc/21983/task/22048/stat : 22048 (java) S 21980 21983 20037 0 -1 1077944384 3 13359 0 0 0 0 5 3 20 0 15 0 473546675 11092615168 58114 33554432000 4194304 4196468 140735461303408 140245311941216 140247067563733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15912960 140735461309027 140735461311669 140735461311669 140735461314511 0
[pid=21983/tid=22049] ppid=21980 vsize=10832632 memory=6935649255995763793 CPUtime=0.08 cores=0,2,4,6
/proc/21983/task/22049/stat : 22049 (java) S 21980 21983 20037 0 -1 1077944384 1 13359 0 0 0 0 5 3 20 0 15 0 473546676 11092615168 58114 33554432000 4194304 4196468 140735461303408 140246590008112 140247067564674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15912960 140735461309027 140735461311669 140735461311669 140735461314511 0
Current children cumulated CPU time: 2.99 s
Current children cumulated vsize: 10832632 KiB
################
# More data... #
################
[startup+345.033 s]
# the end of solver process 21983 was just reported to runsolver
# cumulated CPU time of all completed processes: user=354.582 s, system=0.880789 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+342.401 s]
/proc/loadavg: 1.29 1.52 1.49 3/230 22079
/proc/meminfo: memFree=634832/32770624 swapFree=66956576/67108860
[pid=21983] ppid=21980 vsize=10844940 memory=842728 CPUtime=352.77 cores=0,2,4,6
/proc/21983/stat : 21983 (java) S 21980 21983 20037 0 -1 1077944320 127828 13359 0 0 35187 82 5 3 20 0 15 0 473546661 11105218560 210682 33554432000 4194304 4196468 140735461303408 140735461285952 140247067553527 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15912960 140735461309027 140735461311669 140735461311669 140735461314511 0
/proc/21983/statm: 2711235 210682 3625 1 0 2673293 0
[pid=21983/tid=22036] ppid=21980 vsize=10844940 memory=842728 CPUtime=339.1 cores=0,2,4,6
/proc/21983/task/22036/stat : 22036 (java) R 21980 21983 20037 0 -1 4202560 73726 13359 0 0 33870 32 5 3 20 0 15 0 473546670 11105218560 210682 33554432000 4194304 4196468 140735461303408 140247039389408 140246684404328 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15912960 140735461309027 140735461311669 140735461311669 140735461314511 0
[pid=21983/tid=22037] ppid=21980 vsize=10844940 memory=1988 CPUtime=1.43 cores=0,2,4,6
/proc/21983/task/22037/stat : 22037 (java) S 21980 21983 20037 0 -1 1077944384 1382 13359 0 0 128 7 5 3 20 0 15 0 473546670 11105218560 210682 33554432000 4194304 4196468 140735461303408 140247071795472 140247067563733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15912960 140735461309027 140735461311669 140735461311669 140735461314511 0
[pid=21983/tid=22038] ppid=21980 vsize=10844940 memory=6791534058613427641 CPUtime=1.42 cores=0,2,4,6
/proc/21983/task/22038/stat : 22038 (java) S 21980 21983 20037 0 -1 1077944384 2370 13359 0 0 125 9 5 3 20 0 15 0 473546670 11105218560 210682 33554432000 4194304 4196468 140735461303408 140246640417168 140247067563733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15912960 140735461309027 140735461311669 140735461311669 140735461314511 0
[pid=21983/tid=22039] ppid=21980 vsize=10844940 memory=1988 CPUtime=1.42 cores=0,2,4,6
/proc/21983/task/22039/stat : 22039 (java) S 21980 21983 20037 0 -1 1077944384 5124 13359 0 0 127 7 5 3 20 0 15 0 473546670 11105218560 210682 33554432000 4194304 4196468 140735461303408 140246639364624 140247067563733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15912960 140735461309027 140735461311669 140735461311669 140735461314511 0
[pid=21983/tid=22040] ppid=21980 vsize=10844940 memory=988 CPUtime=1.43 cores=0,2,4,6
/proc/21983/task/22040/stat : 22040 (java) S 21980 21983 20037 0 -1 1077944384 5581 13359 0 0 126 9 5 3 20 0 15 0 473546670 11105218560 210682 33554432000 4194304 4196468 140735461303408 140246638312080 140247067563733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15912960 140735461309027 140735461311669 140735461311669 140735461314511 0
[pid=21983/tid=22041] ppid=21980 vsize=10844940 memory=1428 CPUtime=1.39 cores=0,2,4,6
/proc/21983/task/22041/stat : 22041 (java) S 21980 21983 20037 0 -1 1077944384 5095 13359 0 0 123 8 5 3 20 0 15 0 473546672 11105218560 210682 33554432000 4194304 4196468 140735461303408 140246594218480 140247067564674 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15912960 140735461309027 140735461311669 140735461311669 140735461314511 0
[pid=21983/tid=22042] ppid=21980 vsize=10844940 memory=1088 CPUtime=0.08 cores=0,2,4,6
/proc/21983/task/22042/stat : 22042 (java) S 21980 21983 20037 0 -1 1077944384 17 13359 0 0 0 0 5 3 20 0 15 0 473546672 11105218560 210682 33554432000 4194304 4196468 140735461303408 140246519899616 140247067563733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15912960 140735461309027 140735461311669 140735461311669 140735461314511 0
[pid=21983/tid=22043] ppid=21980 vsize=10844940 memory=988 CPUtime=0.08 cores=0,2,4,6
/proc/21983/task/22043/stat : 22043 (java) S 21980 21983 20037 0 -1 1077944384 5 13359 0 0 0 0 5 3 20 0 15 0 473546672 11105218560 210682 33554432000 4194304 4196468 140735461303408 140246385681920 140247067563733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15912960 140735461309027 140735461311669 140735461311669 140735461314511 0
[pid=21983/tid=22044] ppid=21980 vsize=10844940 memory=780 CPUtime=0.08 cores=0,2,4,6
/proc/21983/task/22044/stat : 22044 (java) S 21980 21983 20037 0 -1 1077944384 2 13359 0 0 0 0 5 3 20 0 15 0 473546675 11105218560 210682 33554432000 4194304 4196468 140735461303408 140245781703376 140247067572123 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15912960 140735461309027 140735461311669 140735461311669 140735461314511 0
[pid=21983/tid=22045] ppid=21980 vsize=10844940 memory=5980 CPUtime=2.8 cores=0,2,4,6
/proc/21983/task/22045/stat : 22045 (java) S 21980 21983 20037 0 -1 1077944384 11533 13359 0 0 270 2 5 3 20 0 15 0 473546675 11105218560 210682 33554432000 4194304 4196468 140735461303408 140246593165296 140247067564674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15912960 140735461309027 140735461311669 140735461311669 140735461314511 0
[pid=21983/tid=22046] ppid=21980 vsize=10844940 memory=624 CPUtime=2.62 cores=0,2,4,6
/proc/21983/task/22046/stat : 22046 (java) S 21980 21983 20037 0 -1 1077944384 9838 13359 0 0 252 2 5 3 20 0 15 0 473546675 11105218560 210682 33554432000 4194304 4196468 140735461303408 140246592112752 140247067564674 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15912960 140735461309027 140735461311669 140735461311669 140735461314511 0
[pid=21983/tid=22047] ppid=21980 vsize=10844940 memory=1988 CPUtime=1.51 cores=0,2,4,6
/proc/21983/task/22047/stat : 22047 (java) S 21980 21983 20037 0 -1 1077944384 10156 13359 0 0 141 2 5 3 20 0 15 0 473546675 11105218560 210682 33554432000 4194304 4196468 140735461303408 140246591060208 140247067564674 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15912960 140735461309027 140735461311669 140735461311669 140735461314511 0
[pid=21983/tid=22048] ppid=21980 vsize=10844940 memory=988 CPUtime=0.08 cores=0,2,4,6
/proc/21983/task/22048/stat : 22048 (java) S 21980 21983 20037 0 -1 1077944384 3 13359 0 0 0 0 5 3 20 0 15 0 473546675 11105218560 210682 33554432000 4194304 4196468 140735461303408 140245311941216 140247067563733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15912960 140735461309027 140735461311669 140735461311669 140735461314511 0
[pid=21983/tid=22049] ppid=21980 vsize=10844940 memory=1428 CPUtime=0.27 cores=0,2,4,6
/proc/21983/task/22049/stat : 22049 (java) S 21980 21983 20037 0 -1 1077944384 790 13359 0 0 7 12 5 3 20 0 15 0 473546676 11105218560 210682 33554432000 4194304 4196468 140735461303408 140246590008112 140247067564674 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15912960 140735461309027 140735461311669 140735461311669 140735461314511 0
Current children cumulated CPU time: 352.77 s
Current children cumulated vsize: 10844940 KiB
Current children cumulated memory: 842728 KiB
[startup+344.001 s]*
/proc/loadavg: 1.29 1.52 1.49 3/230 22079
/proc/meminfo: memFree=633172/32770624 swapFree=66956576/67108860
[pid=21983] ppid=21980 vsize=10844940 memory=844776 CPUtime=354.4 cores=0,2,4,6
/proc/21983/stat : 21983 (java) S 21980 21983 20037 0 -1 1077944320 127843 13359 0 0 35350 82 5 3 20 0 15 0 473546661 11105218560 211194 33554432000 4194304 4196468 140735461303408 140735461285952 140247067553527 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15912960 140735461309027 140735461311669 140735461311669 140735461314511 0
/proc/21983/statm: 2711235 211194 3625 1 0 2673293 0
[pid=21983/tid=22036] ppid=21980 vsize=10844940 memory=6791534058613427641 CPUtime=340.69 cores=0,2,4,6
/proc/21983/task/22036/stat : 22036 (java) R 21980 21983 20037 0 -1 4202560 73737 13359 0 0 34029 32 5 3 20 0 15 0 473546670 11105218560 211194 33554432000 4194304 4196468 140735461303408 140247039389088 140246684402509 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15912960 140735461309027 140735461311669 140735461311669 140735461314511 0
[pid=21983/tid=22037] ppid=21980 vsize=10844940 memory=-7003737579269690708 CPUtime=1.44 cores=0,2,4,6
/proc/21983/task/22037/stat : 22037 (java) S 21980 21983 20037 0 -1 1077944384 1383 13359 0 0 129 7 5 3 20 0 15 0 473546670 11105218560 211194 33554432000 4194304 4196468 140735461303408 140247071795472 140247067563733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15912960 140735461309027 140735461311669 140735461311669 140735461314511 0
[pid=21983/tid=22038] ppid=21980 vsize=10844940 memory=1988 CPUtime=1.43 cores=0,2,4,6
/proc/21983/task/22038/stat : 22038 (java) S 21980 21983 20037 0 -1 1077944384 2370 13359 0 0 126 9 5 3 20 0 15 0 473546670 11105218560 211194 33554432000 4194304 4196468 140735461303408 140246640417168 140247067563733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15912960 140735461309027 140735461311669 140735461311669 140735461314511 0
[pid=21983/tid=22039] ppid=21980 vsize=10844940 memory=988 CPUtime=1.43 cores=0,2,4,6
/proc/21983/task/22039/stat : 22039 (java) S 21980 21983 20037 0 -1 1077944384 5124 13359 0 0 128 7 5 3 20 0 15 0 473546670 11105218560 211194 33554432000 4194304 4196468 140735461303408 140246639364624 140247067563733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15912960 140735461309027 140735461311669 140735461311669 140735461314511 0
[pid=21983/tid=22040] ppid=21980 vsize=10844940 memory=1428 CPUtime=1.44 cores=0,2,4,6
/proc/21983/task/22040/stat : 22040 (java) S 21980 21983 20037 0 -1 1077944384 5584 13359 0 0 127 9 5 3 20 0 15 0 473546670 11105218560 211194 33554432000 4194304 4196468 140735461303408 140246638312080 140247067563733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15912960 140735461309027 140735461311669 140735461311669 140735461314511 0
[pid=21983/tid=22041] ppid=21980 vsize=10844940 memory=1728 CPUtime=1.4 cores=0,2,4,6
/proc/21983/task/22041/stat : 22041 (java) S 21980 21983 20037 0 -1 1077944384 5095 13359 0 0 124 8 5 3 20 0 15 0 473546672 11105218560 211194 33554432000 4194304 4196468 140735461303408 140246594218480 140247067564674 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15912960 140735461309027 140735461311669 140735461311669 140735461314511 0
[pid=21983/tid=22042] ppid=21980 vsize=10844940 memory=1056 CPUtime=0.08 cores=0,2,4,6
/proc/21983/task/22042/stat : 22042 (java) S 21980 21983 20037 0 -1 1077944384 17 13359 0 0 0 0 5 3 20 0 15 0 473546672 11105218560 211194 33554432000 4194304 4196468 140735461303408 140246519899616 140247067563733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15912960 140735461309027 140735461311669 140735461311669 140735461314511 0
[pid=21983/tid=22043] ppid=21980 vsize=10844940 memory=1556 CPUtime=0.08 cores=0,2,4,6
/proc/21983/task/22043/stat : 22043 (java) S 21980 21983 20037 0 -1 1077944384 5 13359 0 0 0 0 5 3 20 0 15 0 473546672 11105218560 211194 33554432000 4194304 4196468 140735461303408 140246385681920 140247067563733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15912960 140735461309027 140735461311669 140735461311669 140735461314511 0
[pid=21983/tid=22044] ppid=21980 vsize=10844940 memory=11632 CPUtime=0.08 cores=0,2,4,6
/proc/21983/task/22044/stat : 22044 (java) S 21980 21983 20037 0 -1 1077944384 2 13359 0 0 0 0 5 3 20 0 15 0 473546675 11105218560 211194 33554432000 4194304 4196468 140735461303408 140245781703376 140247067572123 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15912960 140735461309027 140735461311669 140735461311669 140735461314511 0
[pid=21983/tid=22045] ppid=21980 vsize=10844940 memory=1732 CPUtime=2.8 cores=0,2,4,6
/proc/21983/task/22045/stat : 22045 (java) S 21980 21983 20037 0 -1 1077944384 11533 13359 0 0 270 2 5 3 20 0 15 0 473546675 11105218560 211194 33554432000 4194304 4196468 140735461303408 140246593165296 140247067564674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15912960 140735461309027 140735461311669 140735461311669 140735461314511 0
[pid=21983/tid=22046] ppid=21980 vsize=10844940 memory=1088 CPUtime=2.62 cores=0,2,4,6
/proc/21983/task/22046/stat : 22046 (java) S 21980 21983 20037 0 -1 1077944384 9838 13359 0 0 252 2 5 3 20 0 15 0 473546675 11105218560 211194 33554432000 4194304 4196468 140735461303408 140246592112752 140247067564674 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15912960 140735461309027 140735461311669 140735461311669 140735461314511 0
[pid=21983/tid=22047] ppid=21980 vsize=10844940 memory=988 CPUtime=1.51 cores=0,2,4,6
/proc/21983/task/22047/stat : 22047 (java) S 21980 21983 20037 0 -1 1077944384 10156 13359 0 0 141 2 5 3 20 0 15 0 473546675 11105218560 211194 33554432000 4194304 4196468 140735461303408 140246591060208 140247067564674 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15912960 140735461309027 140735461311669 140735461311669 140735461314511 0
[pid=21983/tid=22048] ppid=21980 vsize=10844940 memory=780 CPUtime=0.08 cores=0,2,4,6
/proc/21983/task/22048/stat : 22048 (java) S 21980 21983 20037 0 -1 1077944384 3 13359 0 0 0 0 5 3 20 0 15 0 473546675 11105218560 211194 33554432000 4194304 4196468 140735461303408 140245311941216 140247067563733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15912960 140735461309027 140735461311669 140735461311669 140735461314511 0
[pid=21983/tid=22049] ppid=21980 vsize=10844940 memory=5980 CPUtime=0.27 cores=0,2,4,6
/proc/21983/task/22049/stat : 22049 (java) S 21980 21983 20037 0 -1 1077944384 790 13359 0 0 7 12 5 3 20 0 15 0 473546676 11105218560 211194 33554432000 4194304 4196468 140735461303408 140246590008112 140247067564674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15912960 140735461309027 140735461311669 140735461311669 140735461314511 0
Current children cumulated CPU time: 354.4 s
Current children cumulated vsize: 10844940 KiB
Current children cumulated memory: 844776 KiB
[startup+344.801 s]
/proc/loadavg: 1.29 1.52 1.49 3/230 22079
/proc/meminfo: memFree=633172/32770624 swapFree=66956576/67108860
[pid=21983] ppid=21980 vsize=10844940 memory=844776 CPUtime=355.21 cores=0,2,4,6
/proc/21983/stat : 21983 (java) S 21980 21983 20037 0 -1 1077944320 127849 13359 0 0 35431 82 5 3 20 0 15 0 473546661 11105218560 211194 33554432000 4194304 4196468 140735461303408 140735461285952 140247067553527 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15912960 140735461309027 140735461311669 140735461311669 140735461314511 0
/proc/21983/statm: 2711235 211194 3625 1 0 2673293 0
[pid=21983/tid=22036] ppid=21980 vsize=10844940 memory=844776 CPUtime=341.47 cores=0,2,4,6
/proc/21983/task/22036/stat : 22036 (java) R 21980 21983 20037 0 -1 4202560 73743 13359 0 0 34107 32 5 3 20 0 15 0 473546670 11105218560 211194 33554432000 4194304 4196468 140735461303408 140247039389344 140246676534167 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15912960 140735461309027 140735461311669 140735461311669 140735461314511 0
[pid=21983/tid=22037] ppid=21980 vsize=10844940 memory=6791534058613427641 CPUtime=1.44 cores=0,2,4,6
/proc/21983/task/22037/stat : 22037 (java) S 21980 21983 20037 0 -1 1077944384 1383 13359 0 0 129 7 5 3 20 0 15 0 473546670 11105218560 211194 33554432000 4194304 4196468 140735461303408 140247071795472 140247067563733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15912960 140735461309027 140735461311669 140735461311669 140735461314511 0
[pid=21983/tid=22038] ppid=21980 vsize=10844940 memory=844776 CPUtime=1.43 cores=0,2,4,6
/proc/21983/task/22038/stat : 22038 (java) S 21980 21983 20037 0 -1 1077944384 2370 13359 0 0 126 9 5 3 20 0 15 0 473546670 11105218560 211194 33554432000 4194304 4196468 140735461303408 140246640417168 140247067563733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15912960 140735461309027 140735461311669 140735461311669 140735461314511 0
[pid=21983/tid=22039] ppid=21980 vsize=10844940 memory=54212 CPUtime=1.43 cores=0,2,4,6
/proc/21983/task/22039/stat : 22039 (java) S 21980 21983 20037 0 -1 1077944384 5124 13359 0 0 128 7 5 3 20 0 15 0 473546670 11105218560 211194 33554432000 4194304 4196468 140735461303408 140246639364624 140247067563733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15912960 140735461309027 140735461311669 140735461311669 140735461314511 0
[pid=21983/tid=22040] ppid=21980 vsize=10844940 memory=1988 CPUtime=1.44 cores=0,2,4,6
/proc/21983/task/22040/stat : 22040 (java) S 21980 21983 20037 0 -1 1077944384 5584 13359 0 0 127 9 5 3 20 0 15 0 473546670 11105218560 211194 33554432000 4194304 4196468 140735461303408 140246638312080 140247067563733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15912960 140735461309027 140735461311669 140735461311669 140735461314511 0
[pid=21983/tid=22041] ppid=21980 vsize=10844940 memory=988 CPUtime=1.4 cores=0,2,4,6
/proc/21983/task/22041/stat : 22041 (java) S 21980 21983 20037 0 -1 1077944384 5095 13359 0 0 124 8 5 3 20 0 15 0 473546672 11105218560 211194 33554432000 4194304 4196468 140735461303408 140246594218480 140247067564674 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15912960 140735461309027 140735461311669 140735461311669 140735461314511 0
[pid=21983/tid=22042] ppid=21980 vsize=10844940 memory=1428 CPUtime=0.08 cores=0,2,4,6
/proc/21983/task/22042/stat : 22042 (java) S 21980 21983 20037 0 -1 1077944384 17 13359 0 0 0 0 5 3 20 0 15 0 473546672 11105218560 211194 33554432000 4194304 4196468 140735461303408 140246519899616 140247067563733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15912960 140735461309027 140735461311669 140735461311669 140735461314511 0
[pid=21983/tid=22043] ppid=21980 vsize=10844940 memory=1728 CPUtime=0.08 cores=0,2,4,6
/proc/21983/task/22043/stat : 22043 (java) S 21980 21983 20037 0 -1 1077944384 5 13359 0 0 0 0 5 3 20 0 15 0 473546672 11105218560 211194 33554432000 4194304 4196468 140735461303408 140246385681920 140247067563733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15912960 140735461309027 140735461311669 140735461311669 140735461314511 0
[pid=21983/tid=22044] ppid=21980 vsize=10844940 memory=1056 CPUtime=0.08 cores=0,2,4,6
/proc/21983/task/22044/stat : 22044 (java) S 21980 21983 20037 0 -1 1077944384 2 13359 0 0 0 0 5 3 20 0 15 0 473546675 11105218560 211194 33554432000 4194304 4196468 140735461303408 140245781703376 140247067572123 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15912960 140735461309027 140735461311669 140735461311669 140735461314511 0
[pid=21983/tid=22045] ppid=21980 vsize=10844940 memory=1556 CPUtime=2.8 cores=0,2,4,6
/proc/21983/task/22045/stat : 22045 (java) S 21980 21983 20037 0 -1 1077944384 11533 13359 0 0 270 2 5 3 20 0 15 0 473546675 11105218560 211194 33554432000 4194304 4196468 140735461303408 140246593165296 140247067564674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15912960 140735461309027 140735461311669 140735461311669 140735461314511 0
[pid=21983/tid=22046] ppid=21980 vsize=10844940 memory=11632 CPUtime=2.62 cores=0,2,4,6
/proc/21983/task/22046/stat : 22046 (java) S 21980 21983 20037 0 -1 1077944384 9838 13359 0 0 252 2 5 3 20 0 15 0 473546675 11105218560 211194 33554432000 4194304 4196468 140735461303408 140246592112752 140247067564674 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15912960 140735461309027 140735461311669 140735461311669 140735461314511 0
[pid=21983/tid=22047] ppid=21980 vsize=10844940 memory=1732 CPUtime=1.51 cores=0,2,4,6
/proc/21983/task/22047/stat : 22047 (java) S 21980 21983 20037 0 -1 1077944384 10156 13359 0 0 141 2 5 3 20 0 15 0 473546675 11105218560 211194 33554432000 4194304 4196468 140735461303408 140246591060208 140247067564674 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15912960 140735461309027 140735461311669 140735461311669 140735461314511 0
[pid=21983/tid=22048] ppid=21980 vsize=10844940 memory=1088 CPUtime=0.08 cores=0,2,4,6
/proc/21983/task/22048/stat : 22048 (java) S 21980 21983 20037 0 -1 1077944384 3 13359 0 0 0 0 5 3 20 0 15 0 473546675 11105218560 211194 33554432000 4194304 4196468 140735461303408 140245311941216 140247067563733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15912960 140735461309027 140735461311669 140735461311669 140735461314511 0
[pid=21983/tid=22049] ppid=21980 vsize=10844940 memory=988 CPUtime=0.27 cores=0,2,4,6
/proc/21983/task/22049/stat : 22049 (java) S 21980 21983 20037 0 -1 1077944384 790 13359 0 0 7 12 5 3 20 0 15 0 473546676 11105218560 211194 33554432000 4194304 4196468 140735461303408 140246590008112 140247067564674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15912960 140735461309027 140735461311669 140735461311669 140735461314511 0
Current children cumulated CPU time: 355.21 s
Current children cumulated vsize: 10844940 KiB
Current children cumulated memory: 844776 KiB
[startup+345.001 s]*
/proc/loadavg: 1.29 1.52 1.49 3/230 22079
/proc/meminfo: memFree=644092/32770624 swapFree=66956576/67108860
[pid=21983] ppid=21980 vsize=10844940 memory=844776 CPUtime=355.42 cores=0,2,4,6
/proc/21983/stat : 21983 (java) S 21980 21983 20037 0 -1 1077944320 127851 13359 0 0 35452 82 5 3 20 0 15 0 473546661 11105218560 211194 33554432000 4194304 4196468 140735461303408 140735461285952 140247067553527 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15912960 140735461309027 140735461311669 140735461311669 140735461314511 0
/proc/21983/statm: 2711235 211194 3625 1 0 2673293 0
[pid=21983/tid=22036] ppid=21980 vsize=10844940 memory=6791534058613427641 CPUtime=341.67 cores=0,2,4,6
/proc/21983/task/22036/stat : 22036 (java) R 21980 21983 20037 0 -1 4202560 73799 13359 0 0 34127 32 5 3 20 0 15 0 473546670 11105218560 211194 33554432000 4194304 4196468 140735461303408 140247039389216 140247052922925 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15912960 140735461309027 140735461311669 140735461311669 140735461314511 0
[pid=21983/tid=22037] ppid=21980 vsize=10844940 memory=-7003737579269690708 CPUtime=1.44 cores=0,2,4,6
/proc/21983/task/22037/stat : 22037 (java) S 21980 21983 20037 0 -1 1077944384 1383 13359 0 0 129 7 5 3 20 0 15 0 473546670 11105218560 211194 33554432000 4194304 4196468 140735461303408 140247071795472 140247067563733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15912960 140735461309027 140735461311669 140735461311669 140735461314511 0
[pid=21983/tid=22038] ppid=21980 vsize=10844940 memory=0 CPUtime=1.44 cores=0,2,4,6
/proc/21983/task/22038/stat : 22038 (java) S 21980 21983 20037 0 -1 1077944384 2370 13359 0 0 127 9 5 3 20 0 15 0 473546670 11105218560 211194 33554432000 4194304 4196468 140735461303408 140246640417168 140247067563733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15912960 140735461309027 140735461311669 140735461311669 140735461314511 0
[pid=21983/tid=22039] ppid=21980 vsize=10844940 memory=0 CPUtime=1.43 cores=0,2,4,6
/proc/21983/task/22039/stat : 22039 (java) S 21980 21983 20037 0 -1 1077944384 5124 13359 0 0 128 7 5 3 20 0 15 0 473546670 11105218560 211194 33554432000 4194304 4196468 140735461303408 140246639364624 140247067563733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15912960 140735461309027 140735461311669 140735461311669 140735461314511 0
[pid=21983/tid=22040] ppid=21980 vsize=10844940 memory=0 CPUtime=1.44 cores=0,2,4,6
/proc/21983/task/22040/stat : 22040 (java) S 21980 21983 20037 0 -1 1077944384 5584 13359 0 0 127 9 5 3 20 0 15 0 473546670 11105218560 211194 33554432000 4194304 4196468 140735461303408 140246638312080 140247067563733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15912960 140735461309027 140735461311669 140735461311669 140735461314511 0
[pid=21983/tid=22041] ppid=21980 vsize=10844940 memory=0 CPUtime=1.41 cores=0,2,4,6
/proc/21983/task/22041/stat : 22041 (java) S 21980 21983 20037 0 -1 1077944384 5095 13359 0 0 125 8 5 3 20 0 15 0 473546672 11105218560 211194 33554432000 4194304 4196468 140735461303408 140246594218480 140247067564674 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15912960 140735461309027 140735461311669 140735461311669 140735461314511 0
[pid=21983/tid=22042] ppid=21980 vsize=10844940 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/21983/task/22042/stat : 22042 (java) S 21980 21983 20037 0 -1 1077944384 17 13359 0 0 0 0 5 3 20 0 15 0 473546672 11105218560 211194 33554432000 4194304 4196468 140735461303408 140246519899616 140247067563733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15912960 140735461309027 140735461311669 140735461311669 140735461314511 0
[pid=21983/tid=22043] ppid=21980 vsize=10844940 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/21983/task/22043/stat : 22043 (java) S 21980 21983 20037 0 -1 1077944384 5 13359 0 0 0 0 5 3 20 0 15 0 473546672 11105218560 211194 33554432000 4194304 4196468 140735461303408 140246385681920 140247067563733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15912960 140735461309027 140735461311669 140735461311669 140735461314511 0
[pid=21983/tid=22044] ppid=21980 vsize=10844940 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/21983/task/22044/stat : 22044 (java) S 21980 21983 20037 0 -1 1077944384 2 13359 0 0 0 0 5 3 20 0 15 0 473546675 11105218560 211194 33554432000 4194304 4196468 140735461303408 140245781703376 140247067572123 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15912960 140735461309027 140735461311669 140735461311669 140735461314511 0
[pid=21983/tid=22045] ppid=21980 vsize=10844940 memory=0 CPUtime=2.8 cores=0,2,4,6
/proc/21983/task/22045/stat : 22045 (java) S 21980 21983 20037 0 -1 1077944384 11533 13359 0 0 270 2 5 3 20 0 15 0 473546675 11105218560 211194 33554432000 4194304 4196468 140735461303408 140246593165296 140247067564674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15912960 140735461309027 140735461311669 140735461311669 140735461314511 0
[pid=21983/tid=22046] ppid=21980 vsize=10844940 memory=0 CPUtime=2.62 cores=0,2,4,6
/proc/21983/task/22046/stat : 22046 (java) S 21980 21983 20037 0 -1 1077944384 9838 13359 0 0 252 2 5 3 20 0 15 0 473546675 11105218560 211194 33554432000 4194304 4196468 140735461303408 140246592112752 140247067564674 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15912960 140735461309027 140735461311669 140735461311669 140735461314511 0
[pid=21983/tid=22047] ppid=21980 vsize=10844940 memory=0 CPUtime=1.51 cores=0,2,4,6
/proc/21983/task/22047/stat : 22047 (java) S 21980 21983 20037 0 -1 1077944384 10156 13359 0 0 141 2 5 3 20 0 15 0 473546675 11105218560 211194 33554432000 4194304 4196468 140735461303408 140246591060208 140247067564674 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15912960 140735461309027 140735461311669 140735461311669 140735461314511 0
[pid=21983/tid=22048] ppid=21980 vsize=10844940 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/21983/task/22048/stat : 22048 (java) S 21980 21983 20037 0 -1 1077944384 3 13359 0 0 0 0 5 3 20 0 15 0 473546675 11105218560 211194 33554432000 4194304 4196468 140735461303408 140245311941216 140247067563733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15912960 140735461309027 140735461311669 140735461311669 140735461314511 0
[pid=21983/tid=22049] ppid=21980 vsize=10844940 memory=0 CPUtime=0.27 cores=0,2,4,6
/proc/21983/task/22049/stat : 22049 (java) S 21980 21983 20037 0 -1 1077944384 790 13359 0 0 7 12 5 3 20 0 15 0 473546676 11105218560 211194 33554432000 4194304 4196468 140735461303408 140246590008112 140247067564674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15912960 140735461309027 140735461311669 140735461311669 140735461314511 0
Current children cumulated CPU time: 355.42 s
Current children cumulated vsize: 10844940 KiB
Current children cumulated memory: 844776 KiB
Child status: 0
Real time (s): 345.033
CPU time (s): 355.463
CPU user time (s): 354.582
CPU system time (s): 0.880789
CPU usage (%): 103.023
Max. virtual memory (cumulated for all children) (KiB): 10844940
Max. memory (cumulated for all children) (KiB): 844776
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 354.582
system time used= 0.880789
maximum resident set size= 846868
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 144143
page faults= 0
swaps= 0
block input operations= 0
block output operations= 568
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 42553
involuntary context switches= 1218
# summary of solver processes directly reported to runsolver:
# pid: 21983
# total CPU time (s): 355.463
# total CPU user time (s): 354.582
# total CPU system time (s): 0.880789
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.86274 second user time and 3.52822 second system time
The end