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 (14832 MiB free)
memory of node 1: 16384 MiB (13863 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387053-1568288812/watcher-4387053-1568288812 -o /tmp/evaluation-result-4387053-1568288812/solver-4387053-1568288812 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1568282287-6447 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1800817628 HOME/instance-4387053-1568288812.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
solver pid=7851, runsolver pid=7848
Current StackSize limit: 8192 KiB
[startup+0.100056 s]*
/proc/loadavg: 1.89 1.94 1.70 3/220 7908
/proc/meminfo: memFree=29376348/32770624 swapFree=66995828/67108860
[pid=7851] ppid=7848 vsize=9988792 memory=17340 CPUtime=0.09 cores=0,2,4,6
/proc/7851/stat : 7851 (java) S 7848 7851 5684 0 -1 1077944320 4599 13118 0 0 1 1 4 3 20 0 6 0 405135912 10228523008 4335 33554432000 4194304 4196468 140734441004880 140734440987424 140407413534455 0 0 0 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28078080 140734441007861 140734441010373 140734441010373 140734441013199 0
/proc/7851/statm: 2497198 4335 1958 1 0 2485636 0
[pid=7851/tid=7904] ppid=7848 vsize=10055356 memory=-8617482348318186131 CPUtime=0.08 cores=0,2,4,6
/proc/7851/task/7904/stat : 7904 (java) R 7848 7851 5684 0 -1 4202560 2465 13118 0 0 1 0 4 3 20 0 7 0 405135920 10296684544 4401 33554432000 4194304 4196468 140734441004880 140407385377552 140407395389776 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28078080 140734441007861 140734441010373 140734441010373 140734441013199 0
[pid=7851/tid=7905] ppid=7848 vsize=10055356 memory=-7025452035940392864 CPUtime=0.07 cores=0,2,4,6
/proc/7851/task/7905/stat : 7905 (java) S 7848 7851 5684 0 -1 1077944384 2 13118 0 0 0 0 4 3 20 0 7 0 405135921 10296684544 4401 33554432000 4194304 4196468 140734441004880 140407417776912 140407413544661 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28078080 140734441007861 140734441010373 140734441010373 140734441013199 0
[pid=7851/tid=7906] ppid=7848 vsize=10055356 memory=139866399204992 CPUtime=0.07 cores=0,2,4,6
/proc/7851/task/7906/stat : 7906 (java) S 7848 7851 5684 0 -1 1077944384 2 13118 0 0 0 0 4 3 20 0 7 0 405135921 10296684544 4401 33554432000 4194304 4196468 140734441004880 140407316667280 140407413544661 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28078080 140734441007861 140734441010373 140734441010373 140734441013199 0
[pid=7851/tid=7907] ppid=7848 vsize=10055356 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/7851/task/7907/stat : 7907 (java) S 7848 7851 5684 0 -1 1077944384 1 13118 0 0 0 0 4 3 20 0 7 0 405135921 10296684544 4401 33554432000 4194304 4196468 140734441004880 140407315614736 140407413544661 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28078080 140734441007861 140734441010373 140734441010373 140734441013199 0
[pid=7851/tid=7908] ppid=7848 vsize=10055356 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/7851/task/7908/stat : 7908 (java) S 7848 7851 5684 0 -1 1077944384 1 13118 0 0 0 0 4 3 20 0 7 0 405135921 10296684544 4401 33554432000 4194304 4196468 140734441004880 140407314562192 140407413544661 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28078080 140734441007861 140734441010373 140734441010373 140734441013199 0
[pid=7851/tid=7909] ppid=7848 vsize=10055356 memory=139866399204992 CPUtime=0.07 cores=0,2,4,6
/proc/7851/task/7909/stat : 7909 (java) S 7848 7851 5684 0 -1 1077944384 2 13118 0 0 0 0 4 3 20 0 7 0 405135923 10296684544 4401 33554432000 4194304 4196468 140734441004880 140406873004016 140407413545602 0 0 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28078080 140734441007861 140734441010373 140734441010373 140734441013199 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9988792 KiB
Current children cumulated memory: 17340 KiB
[startup+0.210002 s]*
/proc/loadavg: 1.89 1.94 1.70 3/229 7917
/proc/meminfo: memFree=29358880/32770624 swapFree=66995828/67108860
[pid=7851] ppid=7848 vsize=10818940 memory=38668 CPUtime=0.25 cores=0,2,4,6
/proc/7851/stat : 7851 (java) S 7848 7851 5684 0 -1 1077944320 7040 13118 0 0 17 1 4 3 20 0 15 0 405135912 11078594560 9667 33554432000 4194304 4196468 140734441004880 140734440987424 140407413534455 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28078080 140734441007861 140734441010373 140734441010373 140734441013199 0
/proc/7851/statm: 2704735 9667 2965 1 0 2667149 0
[pid=7851/tid=7904] ppid=7848 vsize=10818940 memory=7100839852556125036 CPUtime=0.18 cores=0,2,4,6
/proc/7851/task/7904/stat : 7904 (java) R 7848 7851 5684 0 -1 4202560 3548 13118 0 0 10 1 4 3 20 0 15 0 405135920 11078594560 9667 33554432000 4194304 4196468 140734441004880 140407385352520 140407397614942 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28078080 140734441007861 140734441010373 140734441010373 140734441013199 0
[pid=7851/tid=7905] ppid=7848 vsize=10818940 memory=-7025452035940392864 CPUtime=0.07 cores=0,2,4,6
/proc/7851/task/7905/stat : 7905 (java) S 7848 7851 5684 0 -1 1077944384 2 13118 0 0 0 0 4 3 20 0 15 0 405135921 11078594560 9667 33554432000 4194304 4196468 140734441004880 140407417776912 140407413544661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28078080 140734441007861 140734441010373 140734441010373 140734441013199 0
[pid=7851/tid=7906] ppid=7848 vsize=10818940 memory=139866399204992 CPUtime=0.07 cores=0,2,4,6
/proc/7851/task/7906/stat : 7906 (java) S 7848 7851 5684 0 -1 1077944384 2 13118 0 0 0 0 4 3 20 0 15 0 405135921 11078594560 9667 33554432000 4194304 4196468 140734441004880 140407316667280 140407413544661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28078080 140734441007861 140734441010373 140734441010373 140734441013199 0
[pid=7851/tid=7907] ppid=7848 vsize=10818940 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/7851/task/7907/stat : 7907 (java) S 7848 7851 5684 0 -1 1077944384 1 13118 0 0 0 0 4 3 20 0 15 0 405135921 11078594560 9667 33554432000 4194304 4196468 140734441004880 140407315614736 140407413544661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28078080 140734441007861 140734441010373 140734441010373 140734441013199 0
[pid=7851/tid=7908] ppid=7848 vsize=10818940 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/7851/task/7908/stat : 7908 (java) S 7848 7851 5684 0 -1 1077944384 1 13118 0 0 0 0 4 3 20 0 15 0 405135921 11078594560 9667 33554432000 4194304 4196468 140734441004880 140407314562192 140407413544661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28078080 140734441007861 140734441010373 140734441010373 140734441013199 0
[pid=7851/tid=7909] ppid=7848 vsize=10818940 memory=139866399204992 CPUtime=0.07 cores=0,2,4,6
/proc/7851/task/7909/stat : 7909 (java) S 7848 7851 5684 0 -1 1077944384 2 13118 0 0 0 0 4 3 20 0 15 0 405135923 11078594560 9667 33554432000 4194304 4196468 140734441004880 140406873004016 140407413545602 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28078080 140734441007861 140734441010373 140734441010373 140734441013199 0
[pid=7851/tid=7910] ppid=7848 vsize=10818940 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/7851/task/7910/stat : 7910 (java) S 7848 7851 5684 0 -1 1077944384 13 13118 0 0 0 0 4 3 20 0 15 0 405135923 11078594560 9667 33554432000 4194304 4196468 140734441004880 140406775866272 140407413544661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28078080 140734441007861 140734441010373 140734441010373 140734441013199 0
[pid=7851/tid=7911] ppid=7848 vsize=10818940 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/7851/task/7911/stat : 7911 (java) S 7848 7851 5684 0 -1 1077944384 1 13118 0 0 0 0 4 3 20 0 15 0 405135923 11078594560 9667 33554432000 4194304 4196468 140734441004880 140406171886576 140407413544661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28078080 140734441007861 140734441010373 140734441010373 140734441013199 0
[pid=7851/tid=7912] ppid=7848 vsize=10818940 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/7851/task/7912/stat : 7912 (java) S 7848 7851 5684 0 -1 1077944384 3 13118 0 0 0 0 4 3 20 0 15 0 405135926 11078594560 9667 33554432000 4194304 4196468 140734441004880 140405931595984 140407413553051 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28078080 140734441007861 140734441010373 140734441010373 140734441013199 0
[pid=7851/tid=7913] ppid=7848 vsize=10818940 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7851/task/7913/stat : 7913 (java) S 7848 7851 5684 0 -1 1077944384 558 13118 0 0 1 0 4 3 20 0 15 0 405135926 11078594560 9667 33554432000 4194304 4196468 140734441004880 140406871951856 140407413545602 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28078080 140734441007861 140734441010373 140734441010373 140734441013199 0
[pid=7851/tid=7914] ppid=7848 vsize=10818940 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/7851/task/7914/stat : 7914 (java) S 7848 7851 5684 0 -1 1077944384 60 13118 0 0 0 0 4 3 20 0 15 0 405135926 11078594560 9667 33554432000 4194304 4196468 140734441004880 140406870899312 140407413545602 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28078080 140734441007861 140734441010373 140734441010373 140734441013199 0
[pid=7851/tid=7915] ppid=7848 vsize=10818940 memory=139866399204992 CPUtime=0.1 cores=0,2,4,6
/proc/7851/task/7915/stat : 7915 (java) S 7848 7851 5684 0 -1 1077944384 645 13118 0 0 3 0 4 3 20 0 15 0 405135926 11078594560 9667 33554432000 4194304 4196468 140734441004880 140406869846768 140407413545602 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28078080 140734441007861 140734441010373 140734441010373 140734441013199 0
[pid=7851/tid=7916] ppid=7848 vsize=10818940 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/7851/task/7916/stat : 7916 (java) S 7848 7851 5684 0 -1 1077944384 3 13118 0 0 0 0 4 3 20 0 15 0 405135926 11078594560 9667 33554432000 4194304 4196468 140734441004880 140405898038368 140407413544661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28078080 140734441007861 140734441010373 140734441010373 140734441013199 0
[pid=7851/tid=7917] ppid=7848 vsize=10818940 memory=139866399204992 CPUtime=0.07 cores=0,2,4,6
/proc/7851/task/7917/stat : 7917 (java) S 7848 7851 5684 0 -1 1077944384 1 13118 0 0 0 0 4 3 20 0 15 0 405135927 11078594560 9667 33554432000 4194304 4196468 140734441004880 140406868793648 140407413545602 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28078080 140734441007861 140734441010373 140734441010373 140734441013199 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10818940 KiB
Current children cumulated memory: 38668 KiB
[startup+0.31032 s]*
/proc/loadavg: 1.89 1.94 1.70 4/229 7917
/proc/meminfo: memFree=29348312/32770624 swapFree=66995828/67108860
[pid=7851] ppid=7848 vsize=10820096 memory=49824 CPUtime=0.39 cores=0,2,4,6
/proc/7851/stat : 7851 (java) S 7848 7851 5684 0 -1 1077944320 10752 13118 0 0 29 3 4 3 20 0 15 0 405135912 11079778304 12456 33554432000 4194304 4196468 140734441004880 140734440987424 140407413534455 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28078080 140734441007861 140734441010373 140734441010373 140734441013199 0
/proc/7851/statm: 2705024 12456 3219 1 0 2667149 0
[pid=7851/tid=7904] ppid=7848 vsize=10820096 memory=8317482817917895235 CPUtime=0.28 cores=0,2,4,6
/proc/7851/task/7904/stat : 7904 (java) R 7848 7851 5684 0 -1 4202560 7239 13118 0 0 19 2 4 3 20 0 15 0 405135920 11079778304 12456 33554432000 4194304 4196468 140734441004880 140407385338544 140406995123869 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28078080 140734441007861 140734441010373 140734441010373 140734441013199 0
[pid=7851/tid=7905] ppid=7848 vsize=10820096 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/7851/task/7905/stat : 7905 (java) S 7848 7851 5684 0 -1 1077944384 2 13118 0 0 0 0 4 3 20 0 15 0 405135921 11079778304 12456 33554432000 4194304 4196468 140734441004880 140407417776912 140407413544661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28078080 140734441007861 140734441010373 140734441010373 140734441013199 0
[pid=7851/tid=7906] ppid=7848 vsize=10820096 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/7851/task/7906/stat : 7906 (java) S 7848 7851 5684 0 -1 1077944384 2 13118 0 0 0 0 4 3 20 0 15 0 405135921 11079778304 12456 33554432000 4194304 4196468 140734441004880 140407316667280 140407413544661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28078080 140734441007861 140734441010373 140734441010373 140734441013199 0
[pid=7851/tid=7907] ppid=7848 vsize=10820096 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/7851/task/7907/stat : 7907 (java) S 7848 7851 5684 0 -1 1077944384 1 13118 0 0 0 0 4 3 20 0 15 0 405135921 11079778304 12456 33554432000 4194304 4196468 140734441004880 140407315614736 140407413544661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28078080 140734441007861 140734441010373 140734441010373 140734441013199 0
[pid=7851/tid=7908] ppid=7848 vsize=10820096 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/7851/task/7908/stat : 7908 (java) S 7848 7851 5684 0 -1 1077944384 1 13118 0 0 0 0 4 3 20 0 15 0 405135921 11079778304 12456 33554432000 4194304 4196468 140734441004880 140407314562192 140407413544661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28078080 140734441007861 140734441010373 140734441010373 140734441013199 0
[pid=7851/tid=7909] ppid=7848 vsize=10820096 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/7851/task/7909/stat : 7909 (java) S 7848 7851 5684 0 -1 1077944384 2 13118 0 0 0 0 4 3 20 0 15 0 405135923 11079778304 12456 33554432000 4194304 4196468 140734441004880 140406873004016 140407413545602 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28078080 140734441007861 140734441010373 140734441010373 140734441013199 0
[pid=7851/tid=7910] ppid=7848 vsize=10820096 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/7851/task/7910/stat : 7910 (java) S 7848 7851 5684 0 -1 1077944384 13 13118 0 0 0 0 4 3 20 0 15 0 405135923 11079778304 12456 33554432000 4194304 4196468 140734441004880 140406775866272 140407413544661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28078080 140734441007861 140734441010373 140734441010373 140734441013199 0
[pid=7851/tid=7911] ppid=7848 vsize=10820096 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/7851/task/7911/stat : 7911 (java) S 7848 7851 5684 0 -1 1077944384 1 13118 0 0 0 0 4 3 20 0 15 0 405135923 11079778304 12456 33554432000 4194304 4196468 140734441004880 140406171886576 140407413544661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28078080 140734441007861 140734441010373 140734441010373 140734441013199 0
[pid=7851/tid=7912] ppid=7848 vsize=10820096 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/7851/task/7912/stat : 7912 (java) S 7848 7851 5684 0 -1 1077944384 3 13118 0 0 0 0 4 3 20 0 15 0 405135926 11079778304 12456 33554432000 4194304 4196468 140734441004880 140405931595984 140407413553051 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28078080 140734441007861 140734441010373 140734441010373 140734441013199 0
[pid=7851/tid=7913] ppid=7848 vsize=10820096 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/7851/task/7913/stat : 7913 (java) S 7848 7851 5684 0 -1 1077944384 560 13118 0 0 2 0 4 3 20 0 15 0 405135926 11079778304 12456 33554432000 4194304 4196468 140734441004880 140406871951856 140407413545602 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28078080 140734441007861 140734441010373 140734441010373 140734441013199 0
[pid=7851/tid=7914] ppid=7848 vsize=10820096 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/7851/task/7914/stat : 7914 (java) S 7848 7851 5684 0 -1 1077944384 60 13118 0 0 1 0 4 3 20 0 15 0 405135926 11079778304 12456 33554432000 4194304 4196468 140734441004880 140406870899312 140407413545602 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28078080 140734441007861 140734441010373 140734441010373 140734441013199 0
[pid=7851/tid=7915] ppid=7848 vsize=10820096 memory=139866399204992 CPUtime=0.12 cores=0,2,4,6
/proc/7851/task/7915/stat : 7915 (java) S 7848 7851 5684 0 -1 1077944384 655 13118 0 0 5 0 4 3 20 0 15 0 405135926 11079778304 12456 33554432000 4194304 4196468 140734441004880 140406869846768 140407413545602 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28078080 140734441007861 140734441010373 140734441010373 140734441013199 0
[pid=7851/tid=7916] ppid=7848 vsize=10820096 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/7851/task/7916/stat : 7916 (java) S 7848 7851 5684 0 -1 1077944384 3 13118 0 0 0 0 4 3 20 0 15 0 405135926 11079778304 12456 33554432000 4194304 4196468 140734441004880 140405898038368 140407413544661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28078080 140734441007861 140734441010373 140734441010373 140734441013199 0
[pid=7851/tid=7917] ppid=7848 vsize=10820096 memory=139866399204992 CPUtime=0.07 cores=0,2,4,6
/proc/7851/task/7917/stat : 7917 (java) S 7848 7851 5684 0 -1 1077944384 1 13118 0 0 0 0 4 3 20 0 15 0 405135927 11079778304 12456 33554432000 4194304 4196468 140734441004880 140406868793648 140407413545602 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28078080 140734441007861 140734441010373 140734441010373 140734441013199 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10820096 KiB
Current children cumulated memory: 49824 KiB
[startup+0.701469 s]
/proc/loadavg: 1.89 1.94 1.70 5/229 7917
/proc/meminfo: memFree=29333192/32770624 swapFree=66995828/67108860
[pid=7851] ppid=7848 vsize=10825364 memory=80548 CPUtime=1.14 cores=0,2,4,6
/proc/7851/stat : 7851 (java) S 7848 7851 5684 0 -1 1077944320 14896 13118 0 0 102 5 4 3 20 0 15 0 405135912 11085172736 20137 33554432000 4194304 4196468 140734441004880 140734440987424 140407413534455 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28078080 140734441007861 140734441010373 140734441010373 140734441013199 0
/proc/7851/statm: 2706341 20137 3498 1 0 2668429 0
[pid=7851/tid=7904] ppid=7848 vsize=10825364 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/7851/task/7904/stat : 7904 (java) R 7848 7851 5684 0 -1 4202560 10585 13118 0 0 56 3 4 3 20 0 15 0 405135920 11085172736 20178 33554432000 4194304 4196468 140734441004880 140407385352416 140407406251559 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28078080 140734441007861 140734441010373 140734441010373 140734441013199 0
[pid=7851/tid=7905] ppid=7848 vsize=10824340 memory=14838370538888232 CPUtime=0.07 cores=0,2,4,6
/proc/7851/task/7905/stat : 7905 (java) S 7848 7851 5684 0 -1 1077944384 2 13118 0 0 0 0 4 3 20 0 15 0 405135921 11084124160 20178 33554432000 4194304 4196468 140734441004880 140407417776912 140407413544661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28078080 140734441007861 140734441010373 140734441010373 140734441013199 0
[pid=7851/tid=7906] ppid=7848 vsize=10824340 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/7851/task/7906/stat : 7906 (java) S 7848 7851 5684 0 -1 1077944384 2 13118 0 0 0 0 4 3 20 0 15 0 405135921 11084124160 20178 33554432000 4194304 4196468 140734441004880 140407316667280 140407413544661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28078080 140734441007861 140734441010373 140734441010373 140734441013199 0
[pid=7851/tid=7907] ppid=7848 vsize=10825364 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/7851/task/7907/stat : 7907 (java) S 7848 7851 5684 0 -1 1077944384 1 13118 0 0 0 0 4 3 20 0 15 0 405135921 11085172736 20178 33554432000 4194304 4196468 140734441004880 140407315614736 140407413544661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28078080 140734441007861 140734441010373 140734441010373 140734441013199 0
[pid=7851/tid=7908] ppid=7848 vsize=10825364 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/7851/task/7908/stat : 7908 (java) S 7848 7851 5684 0 -1 1077944384 1 13118 0 0 0 0 4 3 20 0 15 0 405135921 11085172736 20178 33554432000 4194304 4196468 140734441004880 140407314562192 140407413544661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28078080 140734441007861 140734441010373 140734441010373 140734441013199 0
[pid=7851/tid=7909] ppid=7848 vsize=10825364 memory=279732562197760 CPUtime=0.07 cores=0,2,4,6
/proc/7851/task/7909/stat : 7909 (java) S 7848 7851 5684 0 -1 1077944384 6 13118 0 0 0 0 4 3 20 0 15 0 405135923 11085172736 20178 33554432000 4194304 4196468 140734441004880 140406873004016 140407413545602 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28078080 140734441007861 140734441010373 140734441010373 140734441013199 0
[pid=7851/tid=7910] ppid=7848 vsize=10825364 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/7851/task/7910/stat : 7910 (java) S 7848 7851 5684 0 -1 1077944384 13 13118 0 0 0 0 4 3 20 0 15 0 405135923 11085172736 20178 33554432000 4194304 4196468 140734441004880 140406775866272 140407413544661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28078080 140734441007861 140734441010373 140734441010373 140734441013199 0
[pid=7851/tid=7911] ppid=7848 vsize=10824340 memory=279732562166000 CPUtime=0.07 cores=0,2,4,6
/proc/7851/task/7911/stat : 7911 (java) S 7848 7851 5684 0 -1 1077944384 1 13118 0 0 0 0 4 3 20 0 15 0 405135923 11084124160 20178 33554432000 4194304 4196468 140734441004880 140406171886576 140407413544661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28078080 140734441007861 140734441010373 140734441010373 140734441013199 0
[pid=7851/tid=7912] ppid=7848 vsize=10824340 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/7851/task/7912/stat : 7912 (java) S 7848 7851 5684 0 -1 1077944384 3 13118 0 0 0 0 4 3 20 0 15 0 405135926 11084124160 20178 33554432000 4194304 4196468 140734441004880 140405931595984 140407413553051 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28078080 140734441007861 140734441010373 140734441010373 140734441013199 0
[pid=7851/tid=7913] ppid=7848 vsize=10824340 memory=0 CPUtime=0.22 cores=0,2,4,6
/proc/7851/task/7913/stat : 7913 (java) S 7848 7851 5684 0 -1 1077944384 924 13118 0 0 15 0 4 3 20 0 15 0 405135926 11084124160 20178 33554432000 4194304 4196468 140734441004880 140406871951856 140407413545602 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28078080 140734441007861 140734441010373 140734441010373 140734441013199 0
[pid=7851/tid=7914] ppid=7848 vsize=10825364 memory=0 CPUtime=0.18 cores=0,2,4,6
/proc/7851/task/7914/stat : 7914 (java) S 7848 7851 5684 0 -1 1077944384 324 13118 0 0 11 0 4 3 20 0 15 0 405135926 11085172736 20178 33554432000 4194304 4196468 140734441004880 140406870899312 140407413545602 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28078080 140734441007861 140734441010373 140734441010373 140734441013199 0
[pid=7851/tid=7915] ppid=7848 vsize=10825364 memory=0 CPUtime=0.24 cores=0,2,4,6
/proc/7851/task/7915/stat : 7915 (java) S 7848 7851 5684 0 -1 1077944384 856 13118 0 0 17 0 4 3 20 0 15 0 405135926 11085172736 20178 33554432000 4194304 4196468 140734441004880 140406869846768 140407413545602 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28078080 140734441007861 140734441010373 140734441010373 140734441013199 0
[pid=7851/tid=7916] ppid=7848 vsize=10825364 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/7851/task/7916/stat : 7916 (java) S 7848 7851 5684 0 -1 1077944384 3 13118 0 0 0 0 4 3 20 0 15 0 405135926 11085172736 20178 33554432000 4194304 4196468 140734441004880 140405898038368 140407413544661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28078080 140734441007861 140734441010373 140734441010373 140734441013199 0
[pid=7851/tid=7917] ppid=7848 vsize=10825364 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/7851/task/7917/stat : 7917 (java) S 7848 7851 5684 0 -1 1077944384 1 13118 0 0 0 0 4 3 20 0 15 0 405135927 11085172736 20178 33554432000 4194304 4196468 140734441004880 140406868793648 140407413545602 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28078080 140734441007861 140734441010373 140734441010373 140734441013199 0
Current children cumulated CPU time: 1.14 s
Current children cumulated vsize: 10825364 KiB
Current children cumulated memory: 80548 KiB
[startup+1.50396 s]
/proc/loadavg: 1.90 1.94 1.70 3/229 7917
/proc/meminfo: memFree=29290972/32770624 swapFree=66995828/67108860
[pid=7851] ppid=7848 vsize=10834656 memory=168568 CPUtime=2.47 cores=0,2,4,6
/proc/7851/stat : 7851 (java) S 7848 7851 5684 0 -1 1077944320 21493 13118 0 0 230 10 4 3 20 0 15 0 405135912 11094687744 42142 33554432000 4194304 4196468 140734441004880 140734440987424 140407413534455 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28078080 140734441007861 140734441010373 140734441010373 140734441013199 0
/proc/7851/statm: 2708664 42142 3571 1 0 2670733 0
[pid=7851/tid=7904] ppid=7848 vsize=10834656 memory=55 CPUtime=1.43 cores=0,2,4,6
/proc/7851/task/7904/stat : 7904 (java) R 7848 7851 5684 0 -1 4202560 15348 13118 0 0 130 6 4 3 20 0 15 0 405135920 11094687744 42142 33554432000 4194304 4196468 140734441004880 140407385348976 140406998197774 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28078080 140734441007861 140734441010373 140734441010373 140734441013199 0
[pid=7851/tid=7905] ppid=7848 vsize=10834656 memory=55 CPUtime=0.08 cores=0,2,4,6
/proc/7851/task/7905/stat : 7905 (java) S 7848 7851 5684 0 -1 1077944384 56 13118 0 0 1 0 4 3 20 0 15 0 405135921 11094687744 42142 33554432000 4194304 4196468 140734441004880 140407417776912 140407413544661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28078080 140734441007861 140734441010373 140734441010373 140734441013199 0
[pid=7851/tid=7906] ppid=7848 vsize=10834656 memory=2670038 CPUtime=0.08 cores=0,2,4,6
/proc/7851/task/7906/stat : 7906 (java) S 7848 7851 5684 0 -1 1077944384 401 13118 0 0 1 0 4 3 20 0 15 0 405135921 11094687744 42142 33554432000 4194304 4196468 140734441004880 140407316667280 140407413544661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28078080 140734441007861 140734441010373 140734441010373 140734441013199 0
[pid=7851/tid=7907] ppid=7848 vsize=10834656 memory=2671448 CPUtime=0.07 cores=0,2,4,6
/proc/7851/task/7907/stat : 7907 (java) S 7848 7851 5684 0 -1 1077944384 32 13118 0 0 0 0 4 3 20 0 15 0 405135921 11094687744 42142 33554432000 4194304 4196468 140734441004880 140407315614736 140407413544661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28078080 140734441007861 140734441010373 140734441010373 140734441013199 0
[pid=7851/tid=7908] ppid=7848 vsize=10834656 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7851/task/7908/stat : 7908 (java) S 7848 7851 5684 0 -1 1077944384 63 13118 0 0 1 0 4 3 20 0 15 0 405135921 11094687744 42142 33554432000 4194304 4196468 140734441004880 140407314562192 140407413544661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28078080 140734441007861 140734441010373 140734441010373 140734441013199 0
[pid=7851/tid=7909] ppid=7848 vsize=10834656 memory=279732562731328 CPUtime=0.08 cores=0,2,4,6
/proc/7851/task/7909/stat : 7909 (java) S 7848 7851 5684 0 -1 1077944384 158 13118 0 0 1 0 4 3 20 0 15 0 405135923 11094687744 42142 33554432000 4194304 4196468 140734441004880 140406873004016 140407413545602 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28078080 140734441007861 140734441010373 140734441010373 140734441013199 0
[pid=7851/tid=7910] ppid=7848 vsize=10834656 memory=139866281386272 CPUtime=0.07 cores=0,2,4,6
/proc/7851/task/7910/stat : 7910 (java) S 7848 7851 5684 0 -1 1077944384 14 13118 0 0 0 0 4 3 20 0 15 0 405135923 11094687744 42142 33554432000 4194304 4196468 140734441004880 140406775866336 140407413544661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28078080 140734441007861 140734441010373 140734441010373 140734441013199 0
[pid=7851/tid=7911] ppid=7848 vsize=10834656 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/7851/task/7911/stat : 7911 (java) S 7848 7851 5684 0 -1 1077944384 1 13118 0 0 0 0 4 3 20 0 15 0 405135923 11094687744 42142 33554432000 4194304 4196468 140734441004880 140406171886592 140407413544661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28078080 140734441007861 140734441010373 140734441010373 140734441013199 0
[pid=7851/tid=7912] ppid=7848 vsize=10834656 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/7851/task/7912/stat : 7912 (java) S 7848 7851 5684 0 -1 1077944384 3 13118 0 0 0 0 4 3 20 0 15 0 405135926 11094687744 42142 33554432000 4194304 4196468 140734441004880 140405931595984 140407413553051 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28078080 140734441007861 140734441010373 140734441010373 140734441013199 0
[pid=7851/tid=7913] ppid=7848 vsize=10834656 memory=0 CPUtime=0.34 cores=0,2,4,6
/proc/7851/task/7913/stat : 7913 (java) R 7848 7851 5684 0 -1 4202560 1129 13118 0 0 27 0 4 3 20 0 15 0 405135926 11094687744 42142 33554432000 4194304 4196468 140734441004880 140406871951856 140407392801928 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28078080 140734441007861 140734441010373 140734441010373 140734441013199 0
[pid=7851/tid=7914] ppid=7848 vsize=10834656 memory=279732562753376 CPUtime=0.3 cores=0,2,4,6
/proc/7851/task/7914/stat : 7914 (java) R 7848 7851 5684 0 -1 4202560 410 13118 0 0 23 0 4 3 20 0 15 0 405135926 11094687744 42142 33554432000 4194304 4196468 140734441004880 140406870899312 140407413555802 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28078080 140734441007861 140734441010373 140734441010373 140734441013199 0
[pid=7851/tid=7915] ppid=7848 vsize=10834656 memory=0 CPUtime=0.48 cores=0,2,4,6
/proc/7851/task/7915/stat : 7915 (java) R 7848 7851 5684 0 -1 4202560 1665 13118 0 0 41 0 4 3 20 0 15 0 405135926 11094687744 42142 33554432000 4194304 4196468 140734441004880 140406869840272 140407399215827 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28078080 140734441007861 140734441010373 140734441010373 140734441013199 0
[pid=7851/tid=7916] ppid=7848 vsize=10834656 memory=139866281386304 CPUtime=0.07 cores=0,2,4,6
/proc/7851/task/7916/stat : 7916 (java) S 7848 7851 5684 0 -1 1077944384 3 13118 0 0 0 0 4 3 20 0 15 0 405135926 11094687744 42142 33554432000 4194304 4196468 140734441004880 140405898038368 140407413544661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28078080 140734441007861 140734441010373 140734441010373 140734441013199 0
[pid=7851/tid=7917] ppid=7848 vsize=10834656 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/7851/task/7917/stat : 7917 (java) S 7848 7851 5684 0 -1 1077944384 1 13118 0 0 0 0 4 3 20 0 15 0 405135927 11094687744 42142 33554432000 4194304 4196468 140734441004880 140406868793648 140407413545602 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28078080 140734441007861 140734441010373 140734441010373 140734441013199 0
################
# More data... #
################
[startup+3.11049 s]
/proc/loadavg: 1.90 1.94 1.70 5/229 7917
/proc/meminfo: memFree=29118116/32770624 swapFree=66995828/67108860
[pid=7851] ppid=7848 vsize=10842868 memory=292524 CPUtime=6.85 cores=0,2,4,6
/proc/7851/stat : 7851 (java) S 7848 7851 5684 0 -1 1077944320 40086 13118 0 0 663 15 4 3 20 0 15 0 405135912 11103096832 73131 33554432000 4194304 4196468 140734441004880 140734440987424 140407413534455 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28078080 140734441007861 140734441010373 140734441010373 140734441013199 0
/proc/7851/statm: 2710717 73131 3606 1 0 2672781 0
[pid=7851/tid=7904] ppid=7848 vsize=10842868 memory=2670038 CPUtime=3.02 cores=0,2,4,6
/proc/7851/task/7904/stat : 7904 (java) R 7848 7851 5684 0 -1 4202560 21138 13118 0 0 287 8 4 3 20 0 15 0 405135920 11103096832 73131 33554432000 4194304 4196468 140734441004880 140407385369784 140406998836934 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28078080 140734441007861 140734441010373 140734441010373 140734441013199 0
[pid=7851/tid=7905] ppid=7848 vsize=10842868 memory=2671448 CPUtime=0.08 cores=0,2,4,6
/proc/7851/task/7905/stat : 7905 (java) S 7848 7851 5684 0 -1 1077944384 168 13118 0 0 1 0 4 3 20 0 15 0 405135921 11103096832 73131 33554432000 4194304 4196468 140734441004880 140407417776912 140407413544661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28078080 140734441007861 140734441010373 140734441010373 140734441013199 0
[pid=7851/tid=7906] ppid=7848 vsize=10842868 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/7851/task/7906/stat : 7906 (java) S 7848 7851 5684 0 -1 1077944384 446 13118 0 0 2 0 4 3 20 0 15 0 405135921 11103096832 73131 33554432000 4194304 4196468 140734441004880 140407316667280 140407413544661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28078080 140734441007861 140734441010373 140734441010373 140734441013199 0
[pid=7851/tid=7907] ppid=7848 vsize=10842868 memory=55 CPUtime=0.08 cores=0,2,4,6
/proc/7851/task/7907/stat : 7907 (java) S 7848 7851 5684 0 -1 1077944384 42 13118 0 0 1 0 4 3 20 0 15 0 405135921 11103096832 73131 33554432000 4194304 4196468 140734441004880 140407315614736 140407413544661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28078080 140734441007861 140734441010373 140734441010373 140734441013199 0
[pid=7851/tid=7908] ppid=7848 vsize=10842868 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7851/task/7908/stat : 7908 (java) S 7848 7851 5684 0 -1 1077944384 75 13118 0 0 1 0 4 3 20 0 15 0 405135921 11103096832 73131 33554432000 4194304 4196468 140734441004880 140407314562192 140407413544661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28078080 140734441007861 140734441010373 140734441010373 140734441013199 0
[pid=7851/tid=7909] ppid=7848 vsize=10842868 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7851/task/7909/stat : 7909 (java) S 7848 7851 5684 0 -1 1077944384 632 13118 0 0 1 0 4 3 20 0 15 0 405135923 11103096832 73131 33554432000 4194304 4196468 140734441004880 140406873004016 140407413545602 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28078080 140734441007861 140734441010373 140734441010373 140734441013199 0
[pid=7851/tid=7910] ppid=7848 vsize=10842868 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/7851/task/7910/stat : 7910 (java) S 7848 7851 5684 0 -1 1077944384 19 13118 0 0 0 0 4 3 20 0 15 0 405135923 11103096832 73131 33554432000 4194304 4196468 140734441004880 140406775866336 140407413544661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28078080 140734441007861 140734441010373 140734441010373 140734441013199 0
[pid=7851/tid=7911] ppid=7848 vsize=10842868 memory=6944656592455360604 CPUtime=0.07 cores=0,2,4,6
/proc/7851/task/7911/stat : 7911 (java) S 7848 7851 5684 0 -1 1077944384 6 13118 0 0 0 0 4 3 20 0 15 0 405135923 11103096832 73131 33554432000 4194304 4196468 140734441004880 140406171886592 140407413544661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28078080 140734441007861 140734441010373 140734441010373 140734441013199 0
[pid=7851/tid=7912] ppid=7848 vsize=10842868 memory=6944652177228980320 CPUtime=0.07 cores=0,2,4,6
/proc/7851/task/7912/stat : 7912 (java) S 7848 7851 5684 0 -1 1077944384 3 13118 0 0 0 0 4 3 20 0 15 0 405135926 11103096832 73131 33554432000 4194304 4196468 140734441004880 140405931595984 140407413553051 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28078080 140734441007861 140734441010373 140734441010373 140734441013199 0
[pid=7851/tid=7913] ppid=7848 vsize=10842868 memory=-5587106306044206369 CPUtime=1.28 cores=0,2,4,6
/proc/7851/task/7913/stat : 7913 (java) S 7848 7851 5684 0 -1 1077944384 3814 13118 0 0 121 0 4 3 20 0 15 0 405135926 11103096832 73131 33554432000 4194304 4196468 140734441004880 140406871951856 140407413545602 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28078080 140734441007861 140734441010373 140734441010373 140734441013199 0
[pid=7851/tid=7914] ppid=7848 vsize=10842868 memory=288230574492221466 CPUtime=1.41 cores=0,2,4,6
/proc/7851/task/7914/stat : 7914 (java) S 7848 7851 5684 0 -1 1077944384 4334 13118 0 0 134 0 4 3 20 0 15 0 405135926 11103096832 73131 33554432000 4194304 4196468 140734441004880 140406870899312 140407413545602 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28078080 140734441007861 140734441010373 140734441010373 140734441013199 0
[pid=7851/tid=7915] ppid=7848 vsize=10842868 memory=0 CPUtime=1.18 cores=0,2,4,6
/proc/7851/task/7915/stat : 7915 (java) S 7848 7851 5684 0 -1 1077944384 7189 13118 0 0 110 1 4 3 20 0 15 0 405135926 11103096832 73131 33554432000 4194304 4196468 140734441004880 140406869846768 140407413545602 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28078080 140734441007861 140734441010373 140734441010373 140734441013199 0
[pid=7851/tid=7916] ppid=7848 vsize=10842868 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/7851/task/7916/stat : 7916 (java) S 7848 7851 5684 0 -1 1077944384 3 13118 0 0 0 0 4 3 20 0 15 0 405135926 11103096832 73131 33554432000 4194304 4196468 140734441004880 140405898038368 140407413544661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28078080 140734441007861 140734441010373 140734441010373 140734441013199 0
[pid=7851/tid=7917] ppid=7848 vsize=10842868 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/7851/task/7917/stat : 7917 (java) S 7848 7851 5684 0 -1 1077944384 8 13118 0 0 0 0 4 3 20 0 15 0 405135927 11103096832 73131 33554432000 4194304 4196468 140734441004880 140406868793648 140407413545602 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28078080 140734441007861 140734441010373 140734441010373 140734441013199 0
Current children cumulated CPU time: 6.85 s
Current children cumulated vsize: 10842868 KiB
Current children cumulated memory: 292524 KiB
[startup+6.30075 s]
/proc/loadavg: 2.06 1.97 1.71 5/229 7917
/proc/meminfo: memFree=28983908/32770624 swapFree=66995828/67108860
[pid=7851] ppid=7848 vsize=10846964 memory=466896 CPUtime=16.08 cores=0,2,4,6
/proc/7851/stat : 7851 (java) S 7848 7851 5684 0 -1 1077944320 65304 13118 0 0 1572 29 4 3 20 0 15 0 405135912 11107291136 116724 33554432000 4194304 4196468 140734441004880 140734440987424 140407413534455 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28078080 140734441007861 140734441010373 140734441010373 140734441013199 0
/proc/7851/statm: 2711741 116724 3617 1 0 2673805 0
[pid=7851/tid=7904] ppid=7848 vsize=10846964 memory=373956 CPUtime=6.02 cores=0,2,4,6
/proc/7851/task/7904/stat : 7904 (java) R 7848 7851 5684 0 -1 4202560 23359 13118 0 0 584 11 4 3 20 0 15 0 405135920 11107291136 116724 33554432000 4194304 4196468 140734441004880 140407385369128 140406994314784 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28078080 140734441007861 140734441010373 140734441010373 140734441013199 0
[pid=7851/tid=7905] ppid=7848 vsize=10846964 memory=433024 CPUtime=0.23 cores=0,2,4,6
/proc/7851/task/7905/stat : 7905 (java) S 7848 7851 5684 0 -1 1077944384 237 13118 0 0 14 2 4 3 20 0 15 0 405135921 11107291136 116724 33554432000 4194304 4196468 140734441004880 140407417776912 140407413544661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28078080 140734441007861 140734441010373 140734441010373 140734441013199 0
[pid=7851/tid=7906] ppid=7848 vsize=10846964 memory=0 CPUtime=0.23 cores=0,2,4,6
/proc/7851/task/7906/stat : 7906 (java) S 7848 7851 5684 0 -1 1077944384 523 13118 0 0 15 1 4 3 20 0 15 0 405135921 11107291136 116724 33554432000 4194304 4196468 140734441004880 140407316667280 140407413544661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28078080 140734441007861 140734441010373 140734441010373 140734441013199 0
[pid=7851/tid=7907] ppid=7848 vsize=10846964 memory=0 CPUtime=0.23 cores=0,2,4,6
/proc/7851/task/7907/stat : 7907 (java) S 7848 7851 5684 0 -1 1077944384 135 13118 0 0 14 2 4 3 20 0 15 0 405135921 11107291136 116724 33554432000 4194304 4196468 140734441004880 140407315614736 140407413544661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28078080 140734441007861 140734441010373 140734441010373 140734441013199 0
[pid=7851/tid=7908] ppid=7848 vsize=10846964 memory=3545231458481499501 CPUtime=0.22 cores=0,2,4,6
/proc/7851/task/7908/stat : 7908 (java) S 7848 7851 5684 0 -1 1077944384 163 13118 0 0 13 2 4 3 20 0 15 0 405135921 11107291136 116724 33554432000 4194304 4196468 140734441004880 140407314562192 140407413544661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28078080 140734441007861 140734441010373 140734441010373 140734441013199 0
[pid=7851/tid=7909] ppid=7848 vsize=10846964 memory=294188 CPUtime=0.11 cores=0,2,4,6
/proc/7851/task/7909/stat : 7909 (java) S 7848 7851 5684 0 -1 1077944384 3716 13118 0 0 4 0 4 3 20 0 15 0 405135923 11107291136 116724 33554432000 4194304 4196468 140734441004880 140406873004016 140407413545602 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28078080 140734441007861 140734441010373 140734441010373 140734441013199 0
[pid=7851/tid=7910] ppid=7848 vsize=10846964 memory=2670038 CPUtime=0.07 cores=0,2,4,6
/proc/7851/task/7910/stat : 7910 (java) S 7848 7851 5684 0 -1 1077944384 19 13118 0 0 0 0 4 3 20 0 15 0 405135923 11107291136 116724 33554432000 4194304 4196468 140734441004880 140406775866336 140407413544661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28078080 140734441007861 140734441010373 140734441010373 140734441013199 0
[pid=7851/tid=7911] ppid=7848 vsize=10846964 memory=2671448 CPUtime=0.07 cores=0,2,4,6
/proc/7851/task/7911/stat : 7911 (java) S 7848 7851 5684 0 -1 1077944384 6 13118 0 0 0 0 4 3 20 0 15 0 405135923 11107291136 116724 33554432000 4194304 4196468 140734441004880 140406171886592 140407413544661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28078080 140734441007861 140734441010373 140734441010373 140734441013199 0
[pid=7851/tid=7912] ppid=7848 vsize=10846964 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/7851/task/7912/stat : 7912 (java) S 7848 7851 5684 0 -1 1077944384 3 13118 0 0 0 0 4 3 20 0 15 0 405135926 11107291136 116724 33554432000 4194304 4196468 140734441004880 140405931595984 140407413553051 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28078080 140734441007861 140734441010373 140734441010373 140734441013199 0
[pid=7851/tid=7913] ppid=7848 vsize=10846964 memory=31 CPUtime=3.71 cores=0,2,4,6
/proc/7851/task/7913/stat : 7913 (java) R 7848 7851 5684 0 -1 4202560 14733 13118 0 0 362 2 4 3 20 0 15 0 405135926 11107291136 116724 33554432000 4194304 4196468 140734441004880 140406871933936 140407397430467 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28078080 140734441007861 140734441010373 140734441010373 140734441013199 0
[pid=7851/tid=7914] ppid=7848 vsize=10846964 memory=25 CPUtime=3.88 cores=0,2,4,6
/proc/7851/task/7914/stat : 7914 (java) R 7848 7851 5684 0 -1 4202560 11010 13118 0 0 380 1 4 3 20 0 15 0 405135926 11107291136 116724 33554432000 4194304 4196468 140734441004880 140406870884064 140407395078689 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28078080 140734441007861 140734441010373 140734441010373 140734441013199 0
[pid=7851/tid=7915] ppid=7848 vsize=10846964 memory=48 CPUtime=1.9 cores=0,2,4,6
/proc/7851/task/7915/stat : 7915 (java) S 7848 7851 5684 0 -1 1077944384 9192 13118 0 0 180 3 4 3 20 0 15 0 405135926 11107291136 116724 33554432000 4194304 4196468 140734441004880 140406869846768 140407413545602 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28078080 140734441007861 140734441010373 140734441010373 140734441013199 0
[pid=7851/tid=7916] ppid=7848 vsize=10846964 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/7851/task/7916/stat : 7916 (java) S 7848 7851 5684 0 -1 1077944384 3 13118 0 0 0 0 4 3 20 0 15 0 405135926 11107291136 116724 33554432000 4194304 4196468 140734441004880 140405898038368 140407413544661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28078080 140734441007861 140734441010373 140734441010373 140734441013199 0
[pid=7851/tid=7917] ppid=7848 vsize=10846964 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/7851/task/7917/stat : 7917 (java) S 7848 7851 5684 0 -1 1077944384 10 13118 0 0 0 0 4 3 20 0 15 0 405135927 11107291136 116724 33554432000 4194304 4196468 140734441004880 140406868793648 140407413545602 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28078080 140734441007861 140734441010373 140734441010373 140734441013199 0
Current children cumulated CPU time: 16.08 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 466896 KiB
[startup+6.55654 s]
# the end of solver process 7851 was just reported to runsolver
# cumulated CPU time of all completed processes: user=16.4794 s, system=0.34996 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+6.40089 s]
/proc/loadavg: 2.06 1.97 1.71 5/229 7917
/proc/meminfo: memFree=28983908/32770624 swapFree=66995828/67108860
[pid=7851] ppid=7848 vsize=10846964 memory=502284 CPUtime=16.38 cores=0,2,4,6
/proc/7851/stat : 7851 (java) S 7848 7851 5684 0 -1 1077944320 67748 13118 0 0 1602 29 4 3 20 0 15 0 405135912 11107291136 125571 33554432000 4194304 4196468 140734441004880 140734440987424 140407413534455 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28078080 140734441007861 140734441010373 140734441010373 140734441013199 0
/proc/7851/statm: 2711741 125571 3617 1 0 2673805 0
[pid=7851/tid=7904] ppid=7848 vsize=10846964 memory=-1088251628401078322 CPUtime=6.12 cores=0,2,4,6
/proc/7851/task/7904/stat : 7904 (java) R 7848 7851 5684 0 -1 4202560 23378 13118 0 0 594 11 4 3 20 0 15 0 405135920 11107291136 125571 33554432000 4194304 4196468 140734441004880 140407385369128 140407011690621 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28078080 140734441007861 140734441010373 140734441010373 140734441013199 0
[pid=7851/tid=7905] ppid=7848 vsize=10846964 memory=-5921431000321636112 CPUtime=0.23 cores=0,2,4,6
/proc/7851/task/7905/stat : 7905 (java) S 7848 7851 5684 0 -1 1077944384 237 13118 0 0 14 2 4 3 20 0 15 0 405135921 11107291136 125571 33554432000 4194304 4196468 140734441004880 140407417776912 140407413544661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28078080 140734441007861 140734441010373 140734441010373 140734441013199 0
[pid=7851/tid=7906] ppid=7848 vsize=10846964 memory=-4546129931942301828 CPUtime=0.23 cores=0,2,4,6
/proc/7851/task/7906/stat : 7906 (java) S 7848 7851 5684 0 -1 1077944384 523 13118 0 0 15 1 4 3 20 0 15 0 405135921 11107291136 125571 33554432000 4194304 4196468 140734441004880 140407316667280 140407413544661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28078080 140734441007861 140734441010373 140734441010373 140734441013199 0
[pid=7851/tid=7907] ppid=7848 vsize=10846964 memory=-9174445032661854264 CPUtime=0.23 cores=0,2,4,6
/proc/7851/task/7907/stat : 7907 (java) S 7848 7851 5684 0 -1 1077944384 135 13118 0 0 14 2 4 3 20 0 15 0 405135921 11107291136 125571 33554432000 4194304 4196468 140734441004880 140407315614736 140407413544661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28078080 140734441007861 140734441010373 140734441010373 140734441013199 0
[pid=7851/tid=7908] ppid=7848 vsize=10846964 memory=-9174445032661854264 CPUtime=0.22 cores=0,2,4,6
/proc/7851/task/7908/stat : 7908 (java) S 7848 7851 5684 0 -1 1077944384 163 13118 0 0 13 2 4 3 20 0 15 0 405135921 11107291136 125571 33554432000 4194304 4196468 140734441004880 140407314562192 140407413544661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28078080 140734441007861 140734441010373 140734441010373 140734441013199 0
[pid=7851/tid=7909] ppid=7848 vsize=10846964 memory=-2746958450906831424 CPUtime=0.11 cores=0,2,4,6
/proc/7851/task/7909/stat : 7909 (java) S 7848 7851 5684 0 -1 1077944384 3716 13118 0 0 4 0 4 3 20 0 15 0 405135923 11107291136 125571 33554432000 4194304 4196468 140734441004880 140406873004016 140407413545602 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28078080 140734441007861 140734441010373 140734441010373 140734441013199 0
[pid=7851/tid=7910] ppid=7848 vsize=10846964 memory=-1891255765032775953 CPUtime=0.07 cores=0,2,4,6
/proc/7851/task/7910/stat : 7910 (java) S 7848 7851 5684 0 -1 1077944384 19 13118 0 0 0 0 4 3 20 0 15 0 405135923 11107291136 125571 33554432000 4194304 4196468 140734441004880 140406775866336 140407413544661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28078080 140734441007861 140734441010373 140734441010373 140734441013199 0
[pid=7851/tid=7911] ppid=7848 vsize=10846964 memory=2110216888216836 CPUtime=0.07 cores=0,2,4,6
/proc/7851/task/7911/stat : 7911 (java) S 7848 7851 5684 0 -1 1077944384 6 13118 0 0 0 0 4 3 20 0 15 0 405135923 11107291136 125571 33554432000 4194304 4196468 140734441004880 140406171886592 140407413544661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28078080 140734441007861 140734441010373 140734441010373 140734441013199 0
[pid=7851/tid=7912] ppid=7848 vsize=10846964 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/7851/task/7912/stat : 7912 (java) S 7848 7851 5684 0 -1 1077944384 3 13118 0 0 0 0 4 3 20 0 15 0 405135926 11107291136 125571 33554432000 4194304 4196468 140734441004880 140405931595984 140407413553051 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28078080 140734441007861 140734441010373 140734441010373 140734441013199 0
[pid=7851/tid=7913] ppid=7848 vsize=10846964 memory=1128 CPUtime=3.81 cores=0,2,4,6
/proc/7851/task/7913/stat : 7913 (java) R 7848 7851 5684 0 -1 4202560 16075 13118 0 0 372 2 4 3 20 0 15 0 405135926 11107291136 125571 33554432000 4194304 4196468 140734441004880 140406871938256 140407393221123 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28078080 140734441007861 140734441010373 140734441010373 140734441013199 0
[pid=7851/tid=7914] ppid=7848 vsize=10846964 memory=772 CPUtime=3.98 cores=0,2,4,6
/proc/7851/task/7914/stat : 7914 (java) R 7848 7851 5684 0 -1 4202560 12092 13118 0 0 390 1 4 3 20 0 15 0 405135926 11107291136 125571 33554432000 4194304 4196468 140734441004880 140406870884064 140407405823904 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28078080 140734441007861 140734441010373 140734441010373 140734441013199 0
[pid=7851/tid=7915] ppid=7848 vsize=10846964 memory=4008 CPUtime=1.9 cores=0,2,4,6
/proc/7851/task/7915/stat : 7915 (java) S 7848 7851 5684 0 -1 1077944384 9194 13118 0 0 180 3 4 3 20 0 15 0 405135926 11107291136 125571 33554432000 4194304 4196468 140734441004880 140406869846768 140407413545602 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28078080 140734441007861 140734441010373 140734441010373 140734441013199 0
[pid=7851/tid=7916] ppid=7848 vsize=10846964 memory=948 CPUtime=0.07 cores=0,2,4,6
/proc/7851/task/7916/stat : 7916 (java) S 7848 7851 5684 0 -1 1077944384 3 13118 0 0 0 0 4 3 20 0 15 0 405135926 11107291136 125571 33554432000 4194304 4196468 140734441004880 140405898038368 140407413544661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28078080 140734441007861 140734441010373 140734441010373 140734441013199 0
[pid=7851/tid=7917] ppid=7848 vsize=10846964 memory=2832 CPUtime=0.07 cores=0,2,4,6
/proc/7851/task/7917/stat : 7917 (java) S 7848 7851 5684 0 -1 1077944384 10 13118 0 0 0 0 4 3 20 0 15 0 405135927 11107291136 125571 33554432000 4194304 4196468 140734441004880 140406868793648 140407413545602 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28078080 140734441007861 140734441010373 140734441010373 140734441013199 0
Current children cumulated CPU time: 16.38 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 502284 KiB
[startup+6.50396 s]
/proc/loadavg: 2.06 1.97 1.71 5/229 7917
/proc/meminfo: memFree=28983908/32770624 swapFree=66995828/67108860
[pid=7851] ppid=7848 vsize=10846964 memory=525276 CPUtime=16.69 cores=0,2,4,6
/proc/7851/stat : 7851 (java) S 7848 7851 5684 0 -1 1077944320 69412 13118 0 0 1632 30 4 3 20 0 15 0 405135912 11107291136 131319 33554432000 4194304 4196468 140734441004880 140734440987424 140407413534455 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28078080 140734441007861 140734441010373 140734441010373 140734441013199 0
/proc/7851/statm: 2711741 131319 3617 1 0 2673805 0
[pid=7851/tid=7904] ppid=7848 vsize=10846964 memory=373956 CPUtime=6.22 cores=0,2,4,6
/proc/7851/task/7904/stat : 7904 (java) R 7848 7851 5684 0 -1 4202560 23395 13118 0 0 603 12 4 3 20 0 15 0 405135920 11107291136 131319 33554432000 4194304 4196468 140734441004880 140407385369992 140407011092690 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28078080 140734441007861 140734441010373 140734441010373 140734441013199 0
[pid=7851/tid=7905] ppid=7848 vsize=10846964 memory=433024 CPUtime=0.23 cores=0,2,4,6
/proc/7851/task/7905/stat : 7905 (java) S 7848 7851 5684 0 -1 1077944384 237 13118 0 0 14 2 4 3 20 0 15 0 405135921 11107291136 131319 33554432000 4194304 4196468 140734441004880 140407417776912 140407413544661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28078080 140734441007861 140734441010373 140734441010373 140734441013199 0
[pid=7851/tid=7906] ppid=7848 vsize=10846964 memory=0 CPUtime=0.23 cores=0,2,4,6
/proc/7851/task/7906/stat : 7906 (java) S 7848 7851 5684 0 -1 1077944384 540 13118 0 0 15 1 4 3 20 0 15 0 405135921 11107291136 131319 33554432000 4194304 4196468 140734441004880 140407316667280 140407413544661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28078080 140734441007861 140734441010373 140734441010373 140734441013199 0
[pid=7851/tid=7907] ppid=7848 vsize=10846964 memory=0 CPUtime=0.23 cores=0,2,4,6
/proc/7851/task/7907/stat : 7907 (java) S 7848 7851 5684 0 -1 1077944384 983 13118 0 0 14 2 4 3 20 0 15 0 405135921 11107291136 131319 33554432000 4194304 4196468 140734441004880 140407315614736 140407413544661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28078080 140734441007861 140734441010373 140734441010373 140734441013199 0
[pid=7851/tid=7908] ppid=7848 vsize=10846964 memory=3545231458481499501 CPUtime=0.23 cores=0,2,4,6
/proc/7851/task/7908/stat : 7908 (java) S 7848 7851 5684 0 -1 1077944384 263 13118 0 0 14 2 4 3 20 0 15 0 405135921 11107291136 131319 33554432000 4194304 4196468 140734441004880 140407314562192 140407413544661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28078080 140734441007861 140734441010373 140734441010373 140734441013199 0
[pid=7851/tid=7909] ppid=7848 vsize=10846964 memory=294188 CPUtime=0.11 cores=0,2,4,6
/proc/7851/task/7909/stat : 7909 (java) S 7848 7851 5684 0 -1 1077944384 3819 13118 0 0 4 0 4 3 20 0 15 0 405135923 11107291136 131319 33554432000 4194304 4196468 140734441004880 140406873004016 140407413545602 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28078080 140734441007861 140734441010373 140734441010373 140734441013199 0
[pid=7851/tid=7910] ppid=7848 vsize=10846964 memory=2670038 CPUtime=0.07 cores=0,2,4,6
/proc/7851/task/7910/stat : 7910 (java) S 7848 7851 5684 0 -1 1077944384 19 13118 0 0 0 0 4 3 20 0 15 0 405135923 11107291136 131319 33554432000 4194304 4196468 140734441004880 140406775866336 140407413544661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28078080 140734441007861 140734441010373 140734441010373 140734441013199 0
[pid=7851/tid=7911] ppid=7848 vsize=10846964 memory=2671448 CPUtime=0.07 cores=0,2,4,6
/proc/7851/task/7911/stat : 7911 (java) S 7848 7851 5684 0 -1 1077944384 6 13118 0 0 0 0 4 3 20 0 15 0 405135923 11107291136 131319 33554432000 4194304 4196468 140734441004880 140406171886592 140407413544661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28078080 140734441007861 140734441010373 140734441010373 140734441013199 0
[pid=7851/tid=7912] ppid=7848 vsize=10846964 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/7851/task/7912/stat : 7912 (java) S 7848 7851 5684 0 -1 1077944384 3 13118 0 0 0 0 4 3 20 0 15 0 405135926 11107291136 131319 33554432000 4194304 4196468 140734441004880 140405931595984 140407413553051 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28078080 140734441007861 140734441010373 140734441010373 140734441013199 0
[pid=7851/tid=7913] ppid=7848 vsize=10846964 memory=31 CPUtime=3.91 cores=0,2,4,6
/proc/7851/task/7913/stat : 7913 (java) R 7848 7851 5684 0 -1 4202560 16319 13118 0 0 382 2 4 3 20 0 15 0 405135926 11107291136 131319 33554432000 4194304 4196468 140734441004880 140406871938320 140407398456208 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28078080 140734441007861 140734441010373 140734441010373 140734441013199 0
[pid=7851/tid=7914] ppid=7848 vsize=10846964 memory=25 CPUtime=4.08 cores=0,2,4,6
/proc/7851/task/7914/stat : 7914 (java) R 7848 7851 5684 0 -1 4202560 12413 13118 0 0 400 1 4 3 20 0 15 0 405135926 11107291136 131319 33554432000 4194304 4196468 140734441004880 140406870885856 140407398641472 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28078080 140734441007861 140734441010373 140734441010373 140734441013199 0
[pid=7851/tid=7915] ppid=7848 vsize=10846964 memory=48 CPUtime=1.9 cores=0,2,4,6
/proc/7851/task/7915/stat : 7915 (java) S 7848 7851 5684 0 -1 1077944384 9194 13118 0 0 180 3 4 3 20 0 15 0 405135926 11107291136 131319 33554432000 4194304 4196468 140734441004880 140406869846768 140407413545602 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28078080 140734441007861 140734441010373 140734441010373 140734441013199 0
[pid=7851/tid=7916] ppid=7848 vsize=10846964 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/7851/task/7916/stat : 7916 (java) S 7848 7851 5684 0 -1 1077944384 3 13118 0 0 0 0 4 3 20 0 15 0 405135926 11107291136 131319 33554432000 4194304 4196468 140734441004880 140405898038368 140407413544661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28078080 140734441007861 140734441010373 140734441010373 140734441013199 0
[pid=7851/tid=7917] ppid=7848 vsize=10846964 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/7851/task/7917/stat : 7917 (java) S 7848 7851 5684 0 -1 1077944384 10 13118 0 0 0 0 4 3 20 0 15 0 405135927 11107291136 131319 33554432000 4194304 4196468 140734441004880 140406868793648 140407413545602 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28078080 140734441007861 140734441010373 140734441010373 140734441013199 0
Current children cumulated CPU time: 16.69 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 525276 KiB
Child status: 0
Real time (s): 6.55658
CPU time (s): 16.8294
CPU user time (s): 16.4794
CPU system time (s): 0.34996
CPU usage (%): 256.679
Max. virtual memory (cumulated for all children) (KiB): 10849720
Max. memory (cumulated for all children) (KiB): 525276
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 16.4794
system time used= 0.34996
maximum resident set size= 527528
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 82808
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7107
involuntary context switches= 95
# summary of solver processes directly reported to runsolver:
# pid: 7851
# total CPU time (s): 16.8294
# total CPU user time (s): 16.4794
# total CPU system time (s): 0.34996
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.06503 second user time and 0.10219 second system time
The end