runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4243335-1500670253/watcher-4243335-1500670253 -o /tmp/evaluation-result-4243335-1500670253/solver-4243335-1500670253 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node106-1500670253-12930 --watchdog 2560 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4243335-1500670253.xml
pid=12951
running on 8 cores: 1,3,5,7,9,11,13,15
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 0.92 1.00 1.27 3/240 12954
/proc/meminfo: memFree=32135964/32770624 swapFree=5952/31092
[pid=12954] ppid=12951 vsize=8349744 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12954/stat : 12954 (java) S 12951 12954 9830 0 -1 1077944320 2179 0 0 0 0 0 0 0 20 0 2 0 2295028 8550137856 1932 33554432000 4194304 4196468 140720948803824 140720948786368 140592634167031 0 0 0 16784584 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 20357120 140720948806827 140720948806980 140720948806980 140720948809679 0
/proc/12954/statm: 2087436 1932 1197 1 0 2076347 0
[pid=12954/tid=12955] ppid=12951 vsize=8350772 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12954/task/12955/stat : 12955 (java) R 12951 12954 9830 0 -1 4202560 922 0 0 0 0 0 0 0 20 0 3 0 2295028 8551190528 1932 33554432000 4194304 4196468 140720948803824 140592638409120 140592626906881 0 4 0 16784584 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 20357120 140720948806827 140720948806980 140720948806980 140720948809679 0
[pid=12954/tid=12958] ppid=12951 vsize=8350772 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12954/task/12958/stat : 12958 (java) R 12951 12954 9830 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 3 0 2295029 8551190528 1932 33554432000 4194304 4196468 140720948803824 140592638409120 140592626906881 0 4 0 16784584 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 20357120 140720948806827 140720948806980 140720948806980 140720948809679 0
[startup+0.100102 s]
/proc/loadavg: 0.92 1.00 1.27 3/240 12954
/proc/meminfo: memFree=32135964/32770624 swapFree=5952/31092
[pid=12954] ppid=12951 vsize=10900556 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/12954/stat : 12954 (java) S 12951 12954 9830 0 -1 1077944320 4625 0 0 0 8 1 0 0 20 0 20 0 2295028 11162169344 5724 33554432000 4194304 4196468 140720948803824 140720948786368 140592634167031 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 20357120 140720948806827 140720948806980 140720948806980 140720948809679 0
/proc/12954/statm: 2725139 5724 2628 1 0 2713552 0
[pid=12954/tid=12955] ppid=12951 vsize=10900556 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/12954/task/12955/stat : 12955 (java) R 12951 12954 9830 0 -1 4202560 2709 0 0 0 7 0 0 0 20 0 20 0 2295028 11162169344 5724 33554432000 4194304 4196468 140720948803824 140592638409312 140592634178966 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 20357120 140720948806827 140720948806980 140720948806980 140720948809679 0
[pid=12954/tid=12958] ppid=12951 vsize=10900556 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12954/task/12958/stat : 12958 (java) S 12951 12954 9830 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2295029 11162169344 5724 33554432000 4194304 4196468 140720948803824 140592601725840 140592634177237 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 20357120 140720948806827 140720948806980 140720948806980 140720948809679 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10900556
[startup+0.200455 s]
/proc/loadavg: 0.92 1.00 1.27 3/240 12954
/proc/meminfo: memFree=32135964/32770624 swapFree=5952/31092
[pid=12954] ppid=12951 vsize=10900556 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/12954/stat : 12954 (java) S 12951 12954 9830 0 -1 1077944320 6790 0 0 0 23 2 0 0 20 0 20 0 2295028 11162169344 7598 33554432000 4194304 4196468 140720948803824 140720948786368 140592634167031 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 20357120 140720948806827 140720948806980 140720948806980 140720948809679 0
/proc/12954/statm: 2725139 7598 2871 1 0 2713552 0
[pid=12954/tid=12955] ppid=12951 vsize=10900556 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/12954/task/12955/stat : 12955 (java) R 12951 12954 9830 0 -1 4202560 4379 0 0 0 16 1 0 0 20 0 20 0 2295028 11162169344 7598 33554432000 4194304 4196468 140720948803824 140592638400368 140592618247518 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 20357120 140720948806827 140720948806980 140720948806980 140720948809679 0
[pid=12954/tid=12958] ppid=12951 vsize=10900556 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12954/task/12958/stat : 12958 (java) S 12951 12954 9830 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2295029 11162169344 7598 33554432000 4194304 4196468 140720948803824 140592601725840 140592634177237 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 20357120 140720948806827 140720948806980 140720948806980 140720948809679 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 10900556
[startup+0.300343 s]
/proc/loadavg: 0.92 1.00 1.27 3/240 12954
/proc/meminfo: memFree=32135964/32770624 swapFree=5952/31092
[pid=12954] ppid=12951 vsize=10900556 CPUtime=0.4 cores=1,3,5,7,9,11,13,15
/proc/12954/stat : 12954 (java) S 12951 12954 9830 0 -1 1077944320 7835 0 0 0 38 2 0 0 20 0 20 0 2295028 11162169344 9669 33554432000 4194304 4196468 140720948803824 140720948786368 140592634167031 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 20357120 140720948806827 140720948806980 140720948806980 140720948809679 0
/proc/12954/statm: 2725139 9669 2921 1 0 2713552 0
[pid=12954/tid=12955] ppid=12951 vsize=10900556 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/12954/task/12955/stat : 12955 (java) R 12951 12954 9830 0 -1 4202560 4834 0 0 0 25 1 0 0 20 0 20 0 2295028 11162169344 9669 33554432000 4194304 4196468 140720948803824 140592638396784 140592634178966 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 20357120 140720948806827 140720948806980 140720948806980 140720948809679 0
[pid=12954/tid=12958] ppid=12951 vsize=10900556 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12954/task/12958/stat : 12958 (java) S 12951 12954 9830 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2295029 11162169344 9669 33554432000 4194304 4196468 140720948803824 140592601725840 140592634177237 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 20357120 140720948806827 140720948806980 140720948806980 140720948809679 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 10900556
[startup+0.700346 s]
/proc/loadavg: 0.92 1.00 1.27 3/240 12954
/proc/meminfo: memFree=32135964/32770624 swapFree=5952/31092
[pid=12954] ppid=12951 vsize=10967196 CPUtime=1.87 cores=1,3,5,7,9,11,13,15
/proc/12954/stat : 12954 (java) S 12951 12954 9830 0 -1 1077944320 12907 0 1 0 183 4 0 0 20 0 21 0 2295028 11230408704 28554 33554432000 4194304 4196468 140720948803824 140720948786368 140592634167031 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 20357120 140720948806827 140720948806980 140720948806980 140720948809679 0
/proc/12954/statm: 2741799 28554 3084 1 0 2730193 0
[pid=12954/tid=12955] ppid=12951 vsize=10967196 CPUtime=0.66 cores=1,3,5,7,9,11,13,15
/proc/12954/task/12955/stat : 12955 (java) R 12951 12954 9830 0 -1 4202560 5290 0 0 0 64 2 0 0 20 0 21 0 2295028 11230408704 28554 33554432000 4194304 4196468 140720948803824 140592638403560 140592273716661 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 20357120 140720948806827 140720948806980 140720948806980 140720948809679 0
[pid=12954/tid=12958] ppid=12951 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12954/task/12958/stat : 12958 (java) S 12951 12954 9830 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 2295029 11230408704 28554 33554432000 4194304 4196468 140720948803824 140592601725840 140592634177237 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 20357120 140720948806827 140720948806980 140720948806980 140720948809679 0
Current children cumulated CPU time (s) 1.87
Current children cumulated vsize (KiB) 10967196
[startup+1.50082 s]
/proc/loadavg: 0.92 1.00 1.27 4/282 13037
/proc/meminfo: memFree=32000020/32770624 swapFree=5952/31740
[pid=12954] ppid=12951 vsize=10967196 CPUtime=3.42 cores=1,3,5,7,9,11,13,15
/proc/12954/stat : 12954 (java) S 12951 12954 9830 0 -1 1077944320 18680 0 1 0 336 6 0 0 20 0 21 0 2295028 11230408704 32626 33554432000 4194304 4196468 140720948803824 140720948786368 140592634167031 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 20357120 140720948806827 140720948806980 140720948806980 140720948809679 0
/proc/12954/statm: 2741799 32626 3095 1 0 2730193 0
[pid=12954/tid=12955] ppid=12951 vsize=10967196 CPUtime=1.46 cores=1,3,5,7,9,11,13,15
/proc/12954/task/12955/stat : 12955 (java) R 12951 12954 9830 0 -1 4202560 5718 0 0 0 144 2 0 0 20 0 21 0 2295028 11230408704 32626 33554432000 4194304 4196468 140720948803824 140592638403544 140592270662538 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 20357120 140720948806827 140720948806980 140720948806980 140720948809679 0
[pid=12954/tid=12958] ppid=12951 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12954/task/12958/stat : 12958 (java) S 12951 12954 9830 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 2295029 11230408704 32626 33554432000 4194304 4196468 140720948803824 140592601725840 140592634177237 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 20357120 140720948806827 140720948806980 140720948806980 140720948809679 0
[pid=12954/tid=12959] ppid=12951 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12954/task/12959/stat : 12959 (java) S 12951 12954 9830 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 2295029 11230408704 32626 33554432000 4194304 4196468 140720948803824 140592240061200 140592634177237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20357120 140720948806827 140720948806980 140720948806980 140720948809679 0
[pid=12954/tid=12961] ppid=12951 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12954/task/12961/stat : 12961 (java) S 12951 12954 9830 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 2295029 11230408704 32626 33554432000 4194304 4196468 140720948803824 140592239008912 140592634177237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20357120 140720948806827 140720948806980 140720948806980 140720948809679 0
[pid=12954/tid=12962] ppid=12951 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12954/task/12962/stat : 12962 (java) S 12951 12954 9830 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 2295029 11230408704 32626 33554432000 4194304 4196468 140720948803824 140592237956112 140592634177237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20357120 140720948806827 140720948806980 140720948806980 140720948809679 0
[pid=12954/tid=12963] ppid=12951 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12954/task/12963/stat : 12963 (java) S 12951 12954 9830 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 2295029 11230408704 32626 33554432000 4194304 4196468 140720948803824 140592236902800 140592634177237 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20357120 140720948806827 140720948806980 140720948806980 140720948809679 0
[pid=12954/tid=12964] ppid=12951 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12954/task/12964/stat : 12964 (java) S 12951 12954 9830 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 2295029 11230408704 32626 33554432000 4194304 4196468 140720948803824 140592235850000 140592634177237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20357120 140720948806827 140720948806980 140720948806980 140720948809679 0
[pid=12954/tid=12965] ppid=12951 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12954/task/12965/stat : 12965 (java) S 12951 12954 9830 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 2295029 11230408704 32626 33554432000 4194304 4196468 140720948803824 140592234797712 140592634177237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20357120 140720948806827 140720948806980 140720948806980 140720948809679 0
[pid=12954/tid=12966] ppid=12951 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12954/task/12966/stat : 12966 (java) S 12951 12954 9830 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 2295029 11230408704 32626 33554432000 4194304 4196468 140720948803824 140592233744912 140592634177237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20357120 140720948806827 140720948806980 140720948806980 140720948809679 0
[pid=12954/tid=12980] ppid=12951 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12954/task/12980/stat : 12980 (java) S 12951 12954 9830 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 21 0 2295031 11230408704 32626 33554432000 4194304 4196468 140720948803824 140592109496944 140592634178178 0 0 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20357120 140720948806827 140720948806980 140720948806980 140720948809679 0
[pid=12954/tid=12981] ppid=12951 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12954/task/12981/stat : 12981 (java) S 12951 12954 9830 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 21 0 2295032 11230408704 32626 33554432000 4194304 4196468 140720948803824 140592108442912 140592634177237 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20357120 140720948806827 140720948806980 140720948806980 140720948809679 0
[pid=12954/tid=12982] ppid=12951 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12954/task/12982/stat : 12982 (java) S 12951 12954 9830 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 21 0 2295032 11230408704 32626 33554432000 4194304 4196468 140720948803824 140592107390576 140592634177237 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20357120 140720948806827 140720948806980 140720948806980 140720948809679 0
[pid=12954/tid=12986] ppid=12951 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12954/task/12986/stat : 12986 (java) S 12951 12954 9830 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 2295036 11230408704 32626 33554432000 4194304 4196468 140720948803824 140592106338896 140592634185627 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20357120 140720948806827 140720948806980 140720948806980 140720948809679 0
[pid=12954/tid=12987] ppid=12951 vsize=10967196 CPUtime=0.5 cores=1,3,5,7,9,11,13,15
/proc/12954/task/12987/stat : 12987 (java) S 12951 12954 9830 0 -1 1077944384 2289 0 1 0 49 1 0 0 20 0 21 0 2295036 11230408704 32626 33554432000 4194304 4196468 140720948803824 140592105285744 140592634178178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20357120 140720948806827 140720948806980 140720948806980 140720948809679 0
[pid=12954/tid=12988] ppid=12951 vsize=10967196 CPUtime=0.51 cores=1,3,5,7,9,11,13,15
/proc/12954/task/12988/stat : 12988 (java) S 12951 12954 9830 0 -1 1077944384 2013 0 0 0 51 0 0 0 20 0 21 0 2295036 11230408704 32626 33554432000 4194304 4196468 140720948803824 140592104232944 140592634178178 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20357120 140720948806827 140720948806980 140720948806980 140720948809679 0
[pid=12954/tid=12989] ppid=12951 vsize=10967196 CPUtime=0.62 cores=1,3,5,7,9,11,13,15
/proc/12954/task/12989/stat : 12989 (java) S 12951 12954 9830 0 -1 1077944384 5389 0 0 0 61 1 0 0 20 0 21 0 2295036 11230408704 32626 33554432000 4194304 4196468 140720948803824 140592103180656 140592634178178 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20357120 140720948806827 140720948806980 140720948806980 140720948809679 0
[pid=12954/tid=12990] ppid=12951 vsize=10967196 CPUtime=0.28 cores=1,3,5,7,9,11,13,15
/proc/12954/task/12990/stat : 12990 (java) S 12951 12954 9830 0 -1 1077944384 1858 0 0 0 28 0 0 0 20 0 21 0 2295036 11230408704 32626 33554432000 4194304 4196468 140720948803824 140592102127856 140592634178178 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 20357120 140720948806827 140720948806980 140720948806980 140720948809679 0
[pid=12954/tid=12991] ppid=12951 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12954/task/12991/stat : 12991 (java) S 12951 12954 9830 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 2295037 11230408704 32626 33554432000 4194304 4196468 140720948803824 140592101075808 140592634177237 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20357120 140720948806827 140720948806980 140720948806980 140720948809679 0
[pid=12954/tid=12992] ppid=12951 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12954/task/12992/stat : 12992 (java) S 12951 12954 9830 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 21 0 2295037 11230408704 32626 33554432000 4194304 4196468 140720948803824 140592100023088 140592634178178 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20357120 140720948806827 140720948806980 140720948806980 140720948809679 0
[pid=12954/tid=13003] ppid=12951 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12954/task/13003/stat : 13003 (java) S 12951 12954 9830 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 21 0 2295087 11230408704 32626 33554432000 4194304 4196468 140720948803824 140592098969136 140592634178178 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20357120 140720948806827 140720948806980 140720948806980 140720948809679 0
Current children cumulated CPU time (s) 3.42
Current children cumulated vsize (KiB) 10967196
[startup+3.10085 s]
/proc/loadavg: 0.92 1.00 1.27 3/284 13089
/proc/meminfo: memFree=31944552/32770624 swapFree=5952/31744
[pid=12954] ppid=12951 vsize=10967196 CPUtime=5.2 cores=1,3,5,7,9,11,13,15
/proc/12954/stat : 12954 (java) S 12951 12954 9830 0 -1 1077944320 19410 0 2 0 514 6 0 0 20 0 21 0 2295028 11230408704 37126 33554432000 4194304 4196468 140720948803824 140720948786368 140592634167031 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 20357120 140720948806827 140720948806980 140720948806980 140720948809679 0
/proc/12954/statm: 2741799 37126 3101 1 0 2730193 0
[pid=12954/tid=12955] ppid=12951 vsize=10967196 CPUtime=3.06 cores=1,3,5,7,9,11,13,15
/proc/12954/task/12955/stat : 12955 (java) R 12951 12954 9830 0 -1 4202560 5815 0 0 0 304 2 0 0 20 0 21 0 2295028 11230408704 37126 33554432000 4194304 4196468 140720948803824 140592638403704 140592273755377 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 20357120 140720948806827 140720948806980 140720948806980 140720948809679 0
[pid=12954/tid=12958] ppid=12951 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12954/task/12958/stat : 12958 (java) S 12951 12954 9830 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 2295029 11230408704 37126 33554432000 4194304 4196468 140720948803824 140592601725840 140592634177237 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 20357120 140720948806827 140720948806980 140720948806980 140720948809679 0
[pid=12954/tid=12959] ppid=12951 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12954/task/12959/stat : 12959 (java) S 12951 12954 9830 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 2295029 11230408704 37126 33554432000 4194304 4196468 140720948803824 140592240061200 140592634177237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20357120 140720948806827 140720948806980 140720948806980 140720948809679 0
[pid=12954/tid=12961] ppid=12951 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12954/task/12961/stat : 12961 (java) S 12951 12954 9830 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 2295029 11230408704 37126 33554432000 4194304 4196468 140720948803824 140592239008912 140592634177237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20357120 140720948806827 140720948806980 140720948806980 140720948809679 0
[pid=12954/tid=12962] ppid=12951 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12954/task/12962/stat : 12962 (java) S 12951 12954 9830 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 2295029 11230408704 37126 33554432000 4194304 4196468 140720948803824 140592237956112 140592634177237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20357120 140720948806827 140720948806980 140720948806980 140720948809679 0
[pid=12954/tid=12963] ppid=12951 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12954/task/12963/stat : 12963 (java) S 12951 12954 9830 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 2295029 11230408704 37126 33554432000 4194304 4196468 140720948803824 140592236902800 140592634177237 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20357120 140720948806827 140720948806980 140720948806980 140720948809679 0
[pid=12954/tid=12964] ppid=12951 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12954/task/12964/stat : 12964 (java) S 12951 12954 9830 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 2295029 11230408704 37126 33554432000 4194304 4196468 140720948803824 140592235850000 140592634177237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20357120 140720948806827 140720948806980 140720948806980 140720948809679 0
[pid=12954/tid=12965] ppid=12951 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12954/task/12965/stat : 12965 (java) S 12951 12954 9830 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 2295029 11230408704 37126 33554432000 4194304 4196468 140720948803824 140592234797712 140592634177237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20357120 140720948806827 140720948806980 140720948806980 140720948809679 0
[pid=12954/tid=12966] ppid=12951 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12954/task/12966/stat : 12966 (java) S 12951 12954 9830 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 2295029 11230408704 37126 33554432000 4194304 4196468 140720948803824 140592233744912 140592634177237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20357120 140720948806827 140720948806980 140720948806980 140720948809679 0
[pid=12954/tid=12980] ppid=12951 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12954/task/12980/stat : 12980 (java) S 12951 12954 9830 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 21 0 2295031 11230408704 37126 33554432000 4194304 4196468 140720948803824 140592109496944 140592634178178 0 0 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20357120 140720948806827 140720948806980 140720948806980 140720948809679 0
[pid=12954/tid=12981] ppid=12951 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12954/task/12981/stat : 12981 (java) S 12951 12954 9830 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 21 0 2295032 11230408704 37126 33554432000 4194304 4196468 140720948803824 140592108442912 140592634177237 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20357120 140720948806827 140720948806980 140720948806980 140720948809679 0
[pid=12954/tid=12982] ppid=12951 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12954/task/12982/stat : 12982 (java) S 12951 12954 9830 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 21 0 2295032 11230408704 37126 33554432000 4194304 4196468 140720948803824 140592107390576 140592634177237 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20357120 140720948806827 140720948806980 140720948806980 140720948809679 0
[pid=12954/tid=12986] ppid=12951 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12954/task/12986/stat : 12986 (java) S 12951 12954 9830 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 2295036 11230408704 37126 33554432000 4194304 4196468 140720948803824 140592106338896 140592634185627 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20357120 140720948806827 140720948806980 140720948806980 140720948809679 0
[pid=12954/tid=12987] ppid=12951 vsize=10967196 CPUtime=0.56 cores=1,3,5,7,9,11,13,15
/proc/12954/task/12987/stat : 12987 (java) S 12951 12954 9830 0 -1 1077944384 2556 0 1 0 55 1 0 0 20 0 21 0 2295036 11230408704 37126 33554432000 4194304 4196468 140720948803824 140592105285744 140592634178178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20357120 140720948806827 140720948806980 140720948806980 140720948809679 0
[pid=12954/tid=12988] ppid=12951 vsize=10967196 CPUtime=0.56 cores=1,3,5,7,9,11,13,15
/proc/12954/task/12988/stat : 12988 (java) S 12951 12954 9830 0 -1 1077944384 2149 0 0 0 56 0 0 0 20 0 21 0 2295036 11230408704 37126 33554432000 4194304 4196468 140720948803824 140592104232944 140592634178178 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20357120 140720948806827 140720948806980 140720948806980 140720948809679 0
[pid=12954/tid=12989] ppid=12951 vsize=10967196 CPUtime=0.68 cores=1,3,5,7,9,11,13,15
/proc/12954/task/12989/stat : 12989 (java) S 12951 12954 9830 0 -1 1077944384 5481 0 1 0 67 1 0 0 20 0 21 0 2295036 11230408704 37126 33554432000 4194304 4196468 140720948803824 140592103180656 140592634178178 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20357120 140720948806827 140720948806980 140720948806980 140720948809679 0
[pid=12954/tid=12990] ppid=12951 vsize=10967196 CPUtime=0.29 cores=1,3,5,7,9,11,13,15
/proc/12954/task/12990/stat : 12990 (java) S 12951 12954 9830 0 -1 1077944384 1915 0 0 0 29 0 0 0 20 0 21 0 2295036 11230408704 37126 33554432000 4194304 4196468 140720948803824 140592102127856 140592634178178 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 20357120 140720948806827 140720948806980 140720948806980 140720948809679 0
[pid=12954/tid=12991] ppid=12951 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12954/task/12991/stat : 12991 (java) S 12951 12954 9830 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 2295037 11230408704 37126 33554432000 4194304 4196468 140720948803824 140592101075808 140592634177237 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20357120 140720948806827 140720948806980 140720948806980 140720948809679 0
[pid=12954/tid=12992] ppid=12951 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12954/task/12992/stat : 12992 (java) S 12951 12954 9830 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 21 0 2295037 11230408704 37126 33554432000 4194304 4196468 140720948803824 140592100023088 140592634178178 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20357120 140720948806827 140720948806980 140720948806980 140720948809679 0
[pid=12954/tid=13003] ppid=12951 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12954/task/13003/stat : 13003 (java) S 12951 12954 9830 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 21 0 2295087 11230408704 37126 33554432000 4194304 4196468 140720948803824 140592098969136 140592634178178 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20357120 140720948806827 140720948806980 140720948806980 140720948809679 0
Current children cumulated CPU time (s) 5.2
Current children cumulated vsize (KiB) 10967196
[startup+6.30086 s]
/proc/loadavg: 0.85 0.98 1.27 3/284 13089
/proc/meminfo: memFree=31886520/32770624 swapFree=5952/31956
[pid=12954] ppid=12951 vsize=10967196 CPUtime=8.43 cores=1,3,5,7,9,11,13,15
/proc/12954/stat : 12954 (java) S 12951 12954 9830 0 -1 1077944320 21605 0 3 0 836 7 0 0 20 0 21 0 2295028 11230408704 43535 33554432000 4194304 4196468 140720948803824 140720948786368 140592634167031 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 20357120 140720948806827 140720948806980 140720948806980 140720948809679 0
/proc/12954/statm: 2741799 43535 3109 1 0 2730193 0
[pid=12954/tid=12955] ppid=12951 vsize=10967196 CPUtime=6.26 cores=1,3,5,7,9,11,13,15
/proc/12954/task/12955/stat : 12955 (java) R 12951 12954 9830 0 -1 4202560 6175 0 0 0 623 3 0 0 20 0 21 0 2295028 11230408704 43535 33554432000 4194304 4196468 140720948803824 140592638400736 140592273716256 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 20357120 140720948806827 140720948806980 140720948806980 140720948809679 0
[pid=12954/tid=12958] ppid=12951 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12954/task/12958/stat : 12958 (java) S 12951 12954 9830 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 2295029 11230408704 43535 33554432000 4194304 4196468 140720948803824 140592601725840 140592634177237 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 20357120 140720948806827 140720948806980 140720948806980 140720948809679 0
[pid=12954/tid=12959] ppid=12951 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12954/task/12959/stat : 12959 (java) S 12951 12954 9830 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 2295029 11230408704 43535 33554432000 4194304 4196468 140720948803824 140592240061200 140592634177237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20357120 140720948806827 140720948806980 140720948806980 140720948809679 0
[pid=12954/tid=12961] ppid=12951 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12954/task/12961/stat : 12961 (java) S 12951 12954 9830 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 2295029 11230408704 43535 33554432000 4194304 4196468 140720948803824 140592239008912 140592634177237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20357120 140720948806827 140720948806980 140720948806980 140720948809679 0
[pid=12954/tid=12962] ppid=12951 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12954/task/12962/stat : 12962 (java) S 12951 12954 9830 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 2295029 11230408704 43535 33554432000 4194304 4196468 140720948803824 140592237956112 140592634177237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20357120 140720948806827 140720948806980 140720948806980 140720948809679 0
[pid=12954/tid=12963] ppid=12951 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
################
# More data... #
################
/proc/12954/task/13003/stat : 13003 (java) S 12951 12954 9830 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 21 0 2295087 11230408704 123697 33554432000 4194304 4196468 140720948803824 140592098969136 140592634178178 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20357120 140720948806827 140720948806980 140720948806980 140720948809679 0
Current children cumulated CPU time (s) 2291.31
Current children cumulated vsize (KiB) 10967196
[startup+2322.3 s]
/proc/loadavg: 1.91 1.95 1.89 3/283 13177
/proc/meminfo: memFree=31202032/32770624 swapFree=5952/36640
[pid=12954] ppid=12951 vsize=10967196 CPUtime=2352.5 cores=1,3,5,7,9,11,13,15
/proc/12954/stat : 12954 (java) S 12951 12954 9830 0 -1 1077944320 101239 0 11 0 234851 399 0 0 20 0 21 0 2295028 11230408704 122971 33554432000 4194304 4196468 140720948803824 140720948786368 140592634167031 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 20357120 140720948806827 140720948806980 140720948806980 140720948809679 0
/proc/12954/statm: 2741799 122971 3157 1 0 2730193 0
[pid=12954/tid=12955] ppid=12951 vsize=10967196 CPUtime=2316.92 cores=1,3,5,7,9,11,13,15
/proc/12954/task/12955/stat : 12955 (java) R 12951 12954 9830 0 -1 4202560 18959 0 2 0 231687 5 0 0 20 0 21 0 2295028 11230408704 122971 33554432000 4194304 4196468 140720948803824 140592638405984 140592273756366 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 20357120 140720948806827 140720948806980 140720948806980 140720948809679 0
[pid=12954/tid=12958] ppid=12951 vsize=10967196 CPUtime=3.93 cores=1,3,5,7,9,11,13,15
/proc/12954/task/12958/stat : 12958 (java) S 12951 12954 9830 0 -1 1077944384 4605 0 1 0 352 41 0 0 20 0 21 0 2295029 11230408704 122971 33554432000 4194304 4196468 140720948803824 140592601725840 140592634177237 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 20357120 140720948806827 140720948806980 140720948806980 140720948809679 0
[pid=12954/tid=12959] ppid=12951 vsize=10967196 CPUtime=3.94 cores=1,3,5,7,9,11,13,15
/proc/12954/task/12959/stat : 12959 (java) S 12951 12954 9830 0 -1 1077944384 4305 0 0 0 354 40 0 0 20 0 21 0 2295029 11230408704 122971 33554432000 4194304 4196468 140720948803824 140592240061200 140592634177237 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20357120 140720948806827 140720948806980 140720948806980 140720948809679 0
[pid=12954/tid=12961] ppid=12951 vsize=10967196 CPUtime=3.89 cores=1,3,5,7,9,11,13,15
/proc/12954/task/12961/stat : 12961 (java) S 12951 12954 9830 0 -1 1077944384 4887 0 0 0 347 42 0 0 20 0 21 0 2295029 11230408704 122971 33554432000 4194304 4196468 140720948803824 140592239008912 140592634177237 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20357120 140720948806827 140720948806980 140720948806980 140720948809679 0
[pid=12954/tid=12962] ppid=12951 vsize=10967196 CPUtime=3.91 cores=1,3,5,7,9,11,13,15
/proc/12954/task/12962/stat : 12962 (java) S 12951 12954 9830 0 -1 1077944384 3851 0 0 0 351 40 0 0 20 0 21 0 2295029 11230408704 122971 33554432000 4194304 4196468 140720948803824 140592237956112 140592634177237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20357120 140720948806827 140720948806980 140720948806980 140720948809679 0
[pid=12954/tid=12963] ppid=12951 vsize=10967196 CPUtime=3.94 cores=1,3,5,7,9,11,13,15
/proc/12954/task/12963/stat : 12963 (java) S 12951 12954 9830 0 -1 1077944384 4918 0 0 0 353 41 0 0 20 0 21 0 2295029 11230408704 122971 33554432000 4194304 4196468 140720948803824 140592236902800 140592634177237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20357120 140720948806827 140720948806980 140720948806980 140720948809679 0
[pid=12954/tid=12964] ppid=12951 vsize=10967196 CPUtime=3.96 cores=1,3,5,7,9,11,13,15
/proc/12954/task/12964/stat : 12964 (java) S 12951 12954 9830 0 -1 1077944384 3715 0 0 0 355 41 0 0 20 0 21 0 2295029 11230408704 122971 33554432000 4194304 4196468 140720948803824 140592235850000 140592634177237 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20357120 140720948806827 140720948806980 140720948806980 140720948809679 0
[pid=12954/tid=12965] ppid=12951 vsize=10967196 CPUtime=3.95 cores=1,3,5,7,9,11,13,15
/proc/12954/task/12965/stat : 12965 (java) S 12951 12954 9830 0 -1 1077944384 6129 0 0 0 355 40 0 0 20 0 21 0 2295029 11230408704 122971 33554432000 4194304 4196468 140720948803824 140592234797712 140592634177237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20357120 140720948806827 140720948806980 140720948806980 140720948809679 0
[pid=12954/tid=12966] ppid=12951 vsize=10967196 CPUtime=3.95 cores=1,3,5,7,9,11,13,15
/proc/12954/task/12966/stat : 12966 (java) S 12951 12954 9830 0 -1 1077944384 4386 0 0 0 356 39 0 0 20 0 21 0 2295029 11230408704 122971 33554432000 4194304 4196468 140720948803824 140592233744912 140592634177237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20357120 140720948806827 140720948806980 140720948806980 140720948809679 0
[pid=12954/tid=12980] ppid=12951 vsize=10967196 CPUtime=0.41 cores=1,3,5,7,9,11,13,15
/proc/12954/task/12980/stat : 12980 (java) S 12951 12954 9830 0 -1 1077944384 24564 0 5 0 34 7 0 0 20 0 21 0 2295031 11230408704 122971 33554432000 4194304 4196468 140720948803824 140592109496944 140592634178178 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 20357120 140720948806827 140720948806980 140720948806980 140720948809679 0
[pid=12954/tid=12981] ppid=12951 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12954/task/12981/stat : 12981 (java) S 12951 12954 9830 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 21 0 2295032 11230408704 122971 33554432000 4194304 4196468 140720948803824 140592108442912 140592634177237 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20357120 140720948806827 140720948806980 140720948806980 140720948809679 0
[pid=12954/tid=12982] ppid=12951 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12954/task/12982/stat : 12982 (java) S 12951 12954 9830 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 21 0 2295032 11230408704 122971 33554432000 4194304 4196468 140720948803824 140592107390576 140592634177237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20357120 140720948806827 140720948806980 140720948806980 140720948809679 0
[pid=12954/tid=12986] ppid=12951 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12954/task/12986/stat : 12986 (java) S 12951 12954 9830 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 2295036 11230408704 122971 33554432000 4194304 4196468 140720948803824 140592106338896 140592634185627 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20357120 140720948806827 140720948806980 140720948806980 140720948809679 0
[pid=12954/tid=12987] ppid=12951 vsize=10967196 CPUtime=0.61 cores=1,3,5,7,9,11,13,15
/proc/12954/task/12987/stat : 12987 (java) S 12951 12954 9830 0 -1 1077944384 3692 0 1 0 60 1 0 0 20 0 21 0 2295036 11230408704 122971 33554432000 4194304 4196468 140720948803824 140592105285744 140592634178178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20357120 140720948806827 140720948806980 140720948806980 140720948809679 0
[pid=12954/tid=12988] ppid=12951 vsize=10967196 CPUtime=0.64 cores=1,3,5,7,9,11,13,15
/proc/12954/task/12988/stat : 12988 (java) S 12951 12954 9830 0 -1 1077944384 3884 0 1 0 64 0 0 0 20 0 21 0 2295036 11230408704 122971 33554432000 4194304 4196468 140720948803824 140592104232944 140592634178178 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20357120 140720948806827 140720948806980 140720948806980 140720948809679 0
[pid=12954/tid=12989] ppid=12951 vsize=10967196 CPUtime=0.77 cores=1,3,5,7,9,11,13,15
/proc/12954/task/12989/stat : 12989 (java) S 12951 12954 9830 0 -1 1077944384 6911 0 1 0 76 1 0 0 20 0 21 0 2295036 11230408704 122971 33554432000 4194304 4196468 140720948803824 140592103180656 140592634178178 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20357120 140720948806827 140720948806980 140720948806980 140720948809679 0
[pid=12954/tid=12990] ppid=12951 vsize=10967196 CPUtime=0.31 cores=1,3,5,7,9,11,13,15
/proc/12954/task/12990/stat : 12990 (java) S 12951 12954 9830 0 -1 1077944384 3212 0 0 0 31 0 0 0 20 0 21 0 2295036 11230408704 122971 33554432000 4194304 4196468 140720948803824 140592102127856 140592634178178 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20357120 140720948806827 140720948806980 140720948806980 140720948809679 0
[pid=12954/tid=12991] ppid=12951 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12954/task/12991/stat : 12991 (java) S 12951 12954 9830 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 2295037 11230408704 122971 33554432000 4194304 4196468 140720948803824 140592101075808 140592634177237 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20357120 140720948806827 140720948806980 140720948806980 140720948809679 0
[pid=12954/tid=12992] ppid=12951 vsize=10967196 CPUtime=1.22 cores=1,3,5,7,9,11,13,15
/proc/12954/task/12992/stat : 12992 (java) S 12951 12954 9830 0 -1 1077944384 1747 0 0 0 57 65 0 0 20 0 21 0 2295037 11230408704 122971 33554432000 4194304 4196468 140720948803824 140592100023088 140592634178178 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 3 0 0 6293624 6294260 20357120 140720948806827 140720948806980 140720948806980 140720948809679 0
[pid=12954/tid=13003] ppid=12951 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12954/task/13003/stat : 13003 (java) S 12951 12954 9830 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 21 0 2295087 11230408704 122971 33554432000 4194304 4196468 140720948803824 140592098969136 140592634178178 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20357120 140720948806827 140720948806980 140720948806980 140720948809679 0
Current children cumulated CPU time (s) 2352.5
Current children cumulated vsize (KiB) 10967196
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2369.2 s]
/proc/loadavg: 1.77 1.91 1.88 3/284 13186
/proc/meminfo: memFree=31221288/32770624 swapFree=5952/36704
[pid=12954] ppid=12951 vsize=10967196 CPUtime=2400.09 cores=1,3,5,7,9,11,13,15
/proc/12954/stat : 12954 (java) S 12951 12954 9830 0 -1 1077944320 102386 0 11 0 239602 407 0 0 20 0 21 0 2295028 11230408704 118030 33554432000 4194304 4196468 140720948803824 140720948786368 140592634167031 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 20357120 140720948806827 140720948806980 140720948806980 140720948809679 0
/proc/12954/statm: 2741799 118030 3157 1 0 2730193 0
[pid=12954/tid=12955] ppid=12951 vsize=10967196 CPUtime=2363.69 cores=1,3,5,7,9,11,13,15
/proc/12954/task/12955/stat : 12955 (java) R 12951 12954 9830 0 -1 4202560 19149 0 2 0 236364 5 0 0 20 0 21 0 2295028 11230408704 118030 33554432000 4194304 4196468 140720948803824 140592638405984 140592273716256 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 20357120 140720948806827 140720948806980 140720948806980 140720948809679 0
[pid=12954/tid=12958] ppid=12951 vsize=10967196 CPUtime=4.02 cores=1,3,5,7,9,11,13,15
/proc/12954/task/12958/stat : 12958 (java) S 12951 12954 9830 0 -1 1077944384 4719 0 1 0 360 42 0 0 20 0 21 0 2295029 11230408704 118030 33554432000 4194304 4196468 140720948803824 140592601725840 140592634177237 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 20357120 140720948806827 140720948806980 140720948806980 140720948809679 0
[pid=12954/tid=12959] ppid=12951 vsize=10967196 CPUtime=4.04 cores=1,3,5,7,9,11,13,15
/proc/12954/task/12959/stat : 12959 (java) S 12951 12954 9830 0 -1 1077944384 4353 0 0 0 364 40 0 0 20 0 21 0 2295029 11230408704 118030 33554432000 4194304 4196468 140720948803824 140592240061200 140592634177237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20357120 140720948806827 140720948806980 140720948806980 140720948809679 0
[pid=12954/tid=12961] ppid=12951 vsize=10967196 CPUtime=3.99 cores=1,3,5,7,9,11,13,15
/proc/12954/task/12961/stat : 12961 (java) S 12951 12954 9830 0 -1 1077944384 4925 0 0 0 356 43 0 0 20 0 21 0 2295029 11230408704 118030 33554432000 4194304 4196468 140720948803824 140592239008912 140592634177237 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20357120 140720948806827 140720948806980 140720948806980 140720948809679 0
[pid=12954/tid=12962] ppid=12951 vsize=10967196 CPUtime=4.01 cores=1,3,5,7,9,11,13,15
/proc/12954/task/12962/stat : 12962 (java) S 12951 12954 9830 0 -1 1077944384 3870 0 0 0 360 41 0 0 20 0 21 0 2295029 11230408704 118030 33554432000 4194304 4196468 140720948803824 140592237956112 140592634177237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20357120 140720948806827 140720948806980 140720948806980 140720948809679 0
[pid=12954/tid=12963] ppid=12951 vsize=10967196 CPUtime=4.03 cores=1,3,5,7,9,11,13,15
/proc/12954/task/12963/stat : 12963 (java) S 12951 12954 9830 0 -1 1077944384 4946 0 0 0 361 42 0 0 20 0 21 0 2295029 11230408704 118030 33554432000 4194304 4196468 140720948803824 140592236902800 140592634177237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20357120 140720948806827 140720948806980 140720948806980 140720948809679 0
[pid=12954/tid=12964] ppid=12951 vsize=10967196 CPUtime=4.06 cores=1,3,5,7,9,11,13,15
/proc/12954/task/12964/stat : 12964 (java) S 12951 12954 9830 0 -1 1077944384 3865 0 0 0 365 41 0 0 20 0 21 0 2295029 11230408704 118030 33554432000 4194304 4196468 140720948803824 140592235850000 140592634177237 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20357120 140720948806827 140720948806980 140720948806980 140720948809679 0
[pid=12954/tid=12965] ppid=12951 vsize=10967196 CPUtime=4.05 cores=1,3,5,7,9,11,13,15
/proc/12954/task/12965/stat : 12965 (java) S 12951 12954 9830 0 -1 1077944384 6165 0 0 0 364 41 0 0 20 0 21 0 2295029 11230408704 118030 33554432000 4194304 4196468 140720948803824 140592234797712 140592634177237 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20357120 140720948806827 140720948806980 140720948806980 140720948809679 0
[pid=12954/tid=12966] ppid=12951 vsize=10967196 CPUtime=4.03 cores=1,3,5,7,9,11,13,15
/proc/12954/task/12966/stat : 12966 (java) S 12951 12954 9830 0 -1 1077944384 4690 0 0 0 364 39 0 0 20 0 21 0 2295029 11230408704 118030 33554432000 4194304 4196468 140720948803824 140592233744912 140592634177237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20357120 140720948806827 140720948806980 140720948806980 140720948809679 0
[pid=12954/tid=12980] ppid=12951 vsize=10967196 CPUtime=0.43 cores=1,3,5,7,9,11,13,15
/proc/12954/task/12980/stat : 12980 (java) S 12951 12954 9830 0 -1 1077944384 24748 0 5 0 35 8 0 0 20 0 21 0 2295031 11230408704 118030 33554432000 4194304 4196468 140720948803824 140592109496944 140592634178178 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 20357120 140720948806827 140720948806980 140720948806980 140720948809679 0
[pid=12954/tid=12981] ppid=12951 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12954/task/12981/stat : 12981 (java) S 12951 12954 9830 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 21 0 2295032 11230408704 118030 33554432000 4194304 4196468 140720948803824 140592108442912 140592634177237 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20357120 140720948806827 140720948806980 140720948806980 140720948809679 0
[pid=12954/tid=12982] ppid=12951 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12954/task/12982/stat : 12982 (java) S 12951 12954 9830 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 21 0 2295032 11230408704 118030 33554432000 4194304 4196468 140720948803824 140592107390576 140592634177237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20357120 140720948806827 140720948806980 140720948806980 140720948809679 0
[pid=12954/tid=12986] ppid=12951 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12954/task/12986/stat : 12986 (java) S 12951 12954 9830 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 2295036 11230408704 118030 33554432000 4194304 4196468 140720948803824 140592106338896 140592634185627 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20357120 140720948806827 140720948806980 140720948806980 140720948809679 0
[pid=12954/tid=12987] ppid=12951 vsize=10967196 CPUtime=0.61 cores=1,3,5,7,9,11,13,15
/proc/12954/task/12987/stat : 12987 (java) S 12951 12954 9830 0 -1 1077944384 3694 0 1 0 60 1 0 0 20 0 21 0 2295036 11230408704 118030 33554432000 4194304 4196468 140720948803824 140592105285744 140592634178178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20357120 140720948806827 140720948806980 140720948806980 140720948809679 0
[pid=12954/tid=12988] ppid=12951 vsize=10967196 CPUtime=0.65 cores=1,3,5,7,9,11,13,15
/proc/12954/task/12988/stat : 12988 (java) S 12951 12954 9830 0 -1 1077944384 3886 0 1 0 64 1 0 0 20 0 21 0 2295036 11230408704 118030 33554432000 4194304 4196468 140720948803824 140592104232944 140592634178178 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20357120 140720948806827 140720948806980 140720948806980 140720948809679 0
[pid=12954/tid=12989] ppid=12951 vsize=10967196 CPUtime=0.77 cores=1,3,5,7,9,11,13,15
/proc/12954/task/12989/stat : 12989 (java) S 12951 12954 9830 0 -1 1077944384 6913 0 1 0 76 1 0 0 20 0 21 0 2295036 11230408704 118030 33554432000 4194304 4196468 140720948803824 140592103180656 140592634178178 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20357120 140720948806827 140720948806980 140720948806980 140720948809679 0
[pid=12954/tid=12990] ppid=12951 vsize=10967196 CPUtime=0.31 cores=1,3,5,7,9,11,13,15
/proc/12954/task/12990/stat : 12990 (java) S 12951 12954 9830 0 -1 1077944384 3214 0 0 0 31 0 0 0 20 0 21 0 2295036 11230408704 118030 33554432000 4194304 4196468 140720948803824 140592102127856 140592634178178 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20357120 140720948806827 140720948806980 140720948806980 140720948809679 0
[pid=12954/tid=12991] ppid=12951 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12954/task/12991/stat : 12991 (java) S 12951 12954 9830 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 2295037 11230408704 118030 33554432000 4194304 4196468 140720948803824 140592101075808 140592634177237 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20357120 140720948806827 140720948806980 140720948806980 140720948809679 0
[pid=12954/tid=12992] ppid=12951 vsize=10967196 CPUtime=1.25 cores=1,3,5,7,9,11,13,15
/proc/12954/task/12992/stat : 12992 (java) S 12951 12954 9830 0 -1 1077944384 1775 0 0 0 58 67 0 0 20 0 21 0 2295037 11230408704 118030 33554432000 4194304 4196468 140720948803824 140592100023088 140592634178178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 20357120 140720948806827 140720948806980 140720948806980 140720948809679 0
[pid=12954/tid=13003] ppid=12951 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12954/task/13003/stat : 13003 (java) S 12951 12954 9830 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 21 0 2295087 11230408704 118030 33554432000 4194304 4196468 140720948803824 140592098969136 140592634178178 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20357120 140720948806827 140720948806980 140720948806980 140720948809679 0
Current children cumulated CPU time (s) 2400.09
Current children cumulated vsize (KiB) 10967196
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 12954 sig 9
??? kill -12954 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2369.4 s]
/proc/loadavg: 1.77 1.91 1.88 2/285 13189
/proc/meminfo: memFree=31224328/32770624 swapFree=5952/36704
[pid=12954] ppid=12951 vsize=11166888 CPUtime=2400.27 cores=1,3,5,7,9,11,13,15
/proc/12954/stat : 12954 (java) S 12951 12954 9830 0 -1 1077944320 102852 0 12 0 239620 407 0 0 20 0 22 0 2295028 11434893312 117325 33554432000 4194304 4196468 140720948803824 140720948786368 140592634167031 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 20357120 140720948806827 140720948806980 140720948806980 140720948809679 0
/proc/12954/statm: 2791722 117325 3160 1 0 2780116 0
[pid=12954/tid=12955] ppid=12951 vsize=11166920 CPUtime=2363.7 cores=1,3,5,7,9,11,13,15
/proc/12954/task/12955/stat : 12955 (java) S 12951 12954 9830 0 -1 1077944384 19182 0 2 0 236365 5 0 0 20 0 22 0 2295028 11434926080 117325 33554432000 4194304 4196468 140720948803824 140592638409904 140592634177237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 20357120 140720948806827 140720948806980 140720948806980 140720948809679 0
[pid=12954/tid=12958] ppid=12951 vsize=11166888 CPUtime=4.05 cores=1,3,5,7,9,11,13,15
/proc/12954/task/12958/stat : 12958 (java) S 12951 12954 9830 0 -1 1077944384 4724 0 1 0 363 42 0 0 20 0 22 0 2295029 11434893312 117325 33554432000 4194304 4196468 140720948803824 140592601725840 140592634177237 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 20357120 140720948806827 140720948806980 140720948806980 140720948809679 0
[pid=12954/tid=12959] ppid=12951 vsize=11166888 CPUtime=4.05 cores=1,3,5,7,9,11,13,15
/proc/12954/task/12959/stat : 12959 (java) S 12951 12954 9830 0 -1 1077944384 4356 0 0 0 365 40 0 0 20 0 22 0 2295029 11434893312 117325 33554432000 4194304 4196468 140720948803824 140592240061200 140592634177237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20357120 140720948806827 140720948806980 140720948806980 140720948809679 0
[pid=12954/tid=12961] ppid=12951 vsize=11166888 CPUtime=4.01 cores=1,3,5,7,9,11,13,15
/proc/12954/task/12961/stat : 12961 (java) S 12951 12954 9830 0 -1 1077944384 4940 0 0 0 358 43 0 0 20 0 22 0 2295029 11434893312 117325 33554432000 4194304 4196468 140720948803824 140592239008912 140592634177237 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20357120 140720948806827 140720948806980 140720948806980 140720948809679 0
[pid=12954/tid=12962] ppid=12951 vsize=11166888 CPUtime=4.02 cores=1,3,5,7,9,11,13,15
/proc/12954/task/12962/stat : 12962 (java) S 12951 12954 9830 0 -1 1077944384 3874 0 0 0 361 41 0 0 20 0 22 0 2295029 11434893312 117325 33554432000 4194304 4196468 140720948803824 140592237956112 140592634177237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20357120 140720948806827 140720948806980 140720948806980 140720948809679 0
[pid=12954/tid=12963] ppid=12951 vsize=11166920 CPUtime=4.05 cores=1,3,5,7,9,11,13,15
/proc/12954/task/12963/stat : 12963 (java) S 12951 12954 9830 0 -1 1077944384 4946 0 0 0 363 42 0 0 20 0 22 0 2295029 11434926080 117325 33554432000 4194304 4196468 140720948803824 140592236902800 140592634177237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20357120 140720948806827 140720948806980 140720948806980 140720948809679 0
[pid=12954/tid=12964] ppid=12951 vsize=11166888 CPUtime=4.08 cores=1,3,5,7,9,11,13,15
/proc/12954/task/12964/stat : 12964 (java) S 12951 12954 9830 0 -1 1077944384 3872 0 0 0 367 41 0 0 20 0 22 0 2295029 11434893312 117325 33554432000 4194304 4196468 140720948803824 140592235850000 140592634177237 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20357120 140720948806827 140720948806980 140720948806980 140720948809679 0
[pid=12954/tid=12965] ppid=12951 vsize=11166888 CPUtime=4.07 cores=1,3,5,7,9,11,13,15
/proc/12954/task/12965/stat : 12965 (java) S 12951 12954 9830 0 -1 1077944384 6170 0 0 0 366 41 0 0 20 0 22 0 2295029 11434893312 117325 33554432000 4194304 4196468 140720948803824 140592234797712 140592634177237 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20357120 140720948806827 140720948806980 140720948806980 140720948809679 0
[pid=12954/tid=12966] ppid=12951 vsize=11166888 CPUtime=4.06 cores=1,3,5,7,9,11,13,15
/proc/12954/task/12966/stat : 12966 (java) S 12951 12954 9830 0 -1 1077944384 4697 0 0 0 367 39 0 0 20 0 22 0 2295029 11434893312 117325 33554432000 4194304 4196468 140720948803824 140592233744912 140592634177237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20357120 140720948806827 140720948806980 140720948806980 140720948809679 0
[pid=12954/tid=12980] ppid=12951 vsize=11166888 CPUtime=0.43 cores=1,3,5,7,9,11,13,15
/proc/12954/task/12980/stat : 12980 (java) S 12951 12954 9830 0 -1 1077944384 24748 0 5 0 35 8 0 0 20 0 22 0 2295031 11434893312 117325 33554432000 4194304 4196468 140720948803824 140592109496944 140592634178178 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 20357120 140720948806827 140720948806980 140720948806980 140720948809679 0
[pid=12954/tid=12981] ppid=12951 vsize=11166888 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12954/task/12981/stat : 12981 (java) S 12951 12954 9830 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 22 0 2295032 11434893312 117325 33554432000 4194304 4196468 140720948803824 140592108442912 140592634177237 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20357120 140720948806827 140720948806980 140720948806980 140720948809679 0
[pid=12954/tid=12982] ppid=12951 vsize=11166888 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12954/task/12982/stat : 12982 (java) S 12951 12954 9830 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 22 0 2295032 11434893312 117325 33554432000 4194304 4196468 140720948803824 140592107390576 140592634177237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20357120 140720948806827 140720948806980 140720948806980 140720948809679 0
[pid=12954/tid=12986] ppid=12951 vsize=11166888 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12954/task/12986/stat : 12986 (java) S 12951 12954 9830 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 22 0 2295036 11434893312 117325 33554432000 4194304 4196468 140720948803824 140592106338896 140592634185627 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20357120 140720948806827 140720948806980 140720948806980 140720948809679 0
[pid=12954/tid=12987] ppid=12951 vsize=11166888 CPUtime=0.61 cores=1,3,5,7,9,11,13,15
/proc/12954/task/12987/stat : 12987 (java) S 12951 12954 9830 0 -1 1077944384 3694 0 1 0 60 1 0 0 20 0 22 0 2295036 11434893312 117325 33554432000 4194304 4196468 140720948803824 140592105285744 140592634178178 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20357120 140720948806827 140720948806980 140720948806980 140720948809679 0
[pid=12954/tid=12988] ppid=12951 vsize=11166888 CPUtime=0.65 cores=1,3,5,7,9,11,13,15
/proc/12954/task/12988/stat : 12988 (java) S 12951 12954 9830 0 -1 1077944384 3886 0 1 0 64 1 0 0 20 0 22 0 2295036 11434893312 117325 33554432000 4194304 4196468 140720948803824 140592104232944 140592634178178 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20357120 140720948806827 140720948806980 140720948806980 140720948809679 0
[pid=12954/tid=12989] ppid=12951 vsize=11166888 CPUtime=0.77 cores=1,3,5,7,9,11,13,15
/proc/12954/task/12989/stat : 12989 (java) R 12951 12954 9830 0 -1 4202560 6913 0 1 0 76 1 0 0 20 0 22 0 2295036 11434893312 117325 33554432000 4194304 4196468 140720948803824 140592103180656 140592634188378 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20357120 140720948806827 140720948806980 140720948806980 140720948809679 0
[pid=12954/tid=12990] ppid=12951 vsize=11166888 CPUtime=0.32 cores=1,3,5,7,9,11,13,15
/proc/12954/task/12990/stat : 12990 (java) R 12951 12954 9830 0 -1 4202560 3293 0 1 0 32 0 0 0 20 0 22 0 2295036 11434893312 117325 33554432000 4194304 4196468 140720948803824 140592102127856 140592618247518 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20357120 140720948806827 140720948806980 140720948806980 140720948809679 0
[pid=12954/tid=12991] ppid=12951 vsize=11166888 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12954/task/12991/stat : 12991 (java) S 12951 12954 9830 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 22 0 2295037 11434893312 117325 33554432000 4194304 4196468 140720948803824 140592101075808 140592634177237 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20357120 140720948806827 140720948806980 140720948806980 140720948809679 0
[pid=12954/tid=12992] ppid=12951 vsize=11166888 CPUtime=1.25 cores=1,3,5,7,9,11,13,15
/proc/12954/task/12992/stat : 12992 (java) S 12951 12954 9830 0 -1 1077944384 1775 0 0 0 58 67 0 0 20 0 22 0 2295037 11434893312 117325 33554432000 4194304 4196468 140720948803824 140592100023088 140592634178178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 20357120 140720948806827 140720948806980 140720948806980 140720948809679 0
[pid=12954/tid=13187] ppid=12951 vsize=11166888 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12954/task/13187/stat : 13187 (java) S 12951 12954 9830 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 22 0 2531949 11434893312 117325 33554432000 4194304 4196468 140720948803824 140592097915632 140592634177237 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 20357120 140720948806827 140720948806980 140720948806980 140720948809679 0
[pid=12954/tid=13188] ppid=12951 vsize=11166888 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12954/task/13188/stat : 13188 (java) R 12951 12954 9830 0 -1 4202560 170 0 0 0 0 0 0 0 20 0 22 0 2531949 11434893312 117325 33554432000 4194304 4196468 140720948803824 140592096840944 140592272526454 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 20357120 140720948806827 140720948806980 140720948806980 140720948809679 0
Current children cumulated CPU time (s) 2400.27
Current children cumulated vsize (KiB) 11166888
Child status: 143
Real time (s): 2369.49
CPU time (s): 2400.39
CPU user time (s): 2396.3
CPU system time (s): 4.08334
CPU usage (%): 101.304
Max. virtual memory (cumulated for all children) (KiB): 11166888
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2396.3
system time used= 4.08334
maximum resident set size= 720000
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 103302
page faults= 12
swaps= 0
block input operations= 4536
block output operations= 2648
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 58941
involuntary context switches= 122010
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.501 second user time and 19.4814 second system time
The end