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 (4630 MiB free)
memory of node 1: 16384 MiB (10322 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294268-1532446978/watcher-4294268-1532446978 -o /tmp/evaluation-result-4294268-1532446978/solver-4294268-1532446978 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1532446978-19796 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=936301588 HOME/instance-4294268-1532446978.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=19821, runsolver pid=19816
[startup+0.100091 s]*
/proc/loadavg: 0.68 0.82 1.08 3/198 19938
/proc/meminfo: memFree=15299448/32770624 swapFree=67108852/67108860
[pid=19821] ppid=19816 vsize=9972712 memory=17220 CPUtime=0.08 cores=1,3,5,7
/proc/19821/stat : 19821 (java) S 19816 19821 13949 0 -1 1077944320 4486 12842 0 0 1 0 5 2 20 0 6 0 62261000 10212057088 4305 33554432000 4194304 4196468 140734900171104 140734900153648 140478853271287 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 37486592 140734900173423 140734900176220 140734900176220 140734900178895 0
/proc/19821/statm: 2493178 4305 1934 1 0 2481616 0
[pid=19821/tid=19929] ppid=19816 vsize=9988792 memory=-6517102902069810590 CPUtime=0.08 cores=1,3,5,7
/proc/19821/task/19929/stat : 19929 (java) R 19816 19821 13949 0 -1 4202560 2322 12842 0 0 1 0 5 2 20 0 6 0 62261009 10228523008 4370 33554432000 4194304 4196468 140734900171104 140478825108048 140478834681437 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37486592 140734900173423 140734900176220 140734900176220 140734900178895 0
[pid=19821/tid=19931] ppid=19816 vsize=9988792 memory=-7025452035940392864 CPUtime=0.07 cores=1,3,5,7
/proc/19821/task/19931/stat : 19931 (java) S 19816 19821 13949 0 -1 1077944384 1 12842 0 0 0 0 5 2 20 0 6 0 62261010 10228523008 4370 33554432000 4194304 4196468 140734900171104 140478857513488 140478853281493 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37486592 140734900173423 140734900176220 140734900176220 140734900178895 0
[pid=19821/tid=19932] ppid=19816 vsize=9988792 memory=139644709541504 CPUtime=0.07 cores=1,3,5,7
/proc/19821/task/19932/stat : 19932 (java) S 19816 19821 13949 0 -1 1077944384 1 12842 0 0 0 0 5 2 20 0 6 0 62261010 10228523008 4370 33554432000 4194304 4196468 140734900171104 140478784993936 140478853281493 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37486592 140734900173423 140734900176220 140734900176220 140734900178895 0
[pid=19821/tid=19933] ppid=19816 vsize=9988792 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19821/task/19933/stat : 19933 (java) S 19816 19821 13949 0 -1 1077944384 1 12842 0 0 0 0 5 2 20 0 6 0 62261010 10228523008 4370 33554432000 4194304 4196468 140734900171104 140478425704720 140478853281493 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37486592 140734900173423 140734900176220 140734900176220 140734900178895 0
[pid=19821/tid=19934] ppid=19816 vsize=9988792 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/19821/task/19934/stat : 19934 (java) S 19816 19821 13949 0 -1 1077944384 2 12842 0 0 0 0 5 2 20 0 6 0 62261010 10228523008 4370 33554432000 4194304 4196468 140734900171104 140478424652176 140478853281493 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37486592 140734900173423 140734900176220 140734900176220 140734900178895 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 17220 KiB
[startup+0.210002 s]*
/proc/loadavg: 0.68 0.82 1.08 3/216 19956
/proc/meminfo: memFree=15252992/32770624 swapFree=67108852/67108860
[pid=19821] ppid=19816 vsize=10818856 memory=42116 CPUtime=0.26 cores=1,3,5,7
/proc/19821/stat : 19821 (java) S 19816 19821 13949 0 -1 1077944320 8434 12842 0 0 17 2 5 2 20 0 15 0 62261000 11078508544 10529 33554432000 4194304 4196468 140734900171104 140734900153648 140478853271287 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 37486592 140734900173423 140734900176220 140734900176220 140734900178895 0
/proc/19821/statm: 2704714 10529 2928 1 0 2667149 0
[pid=19821/tid=19929] ppid=19816 vsize=10818856 memory=7022364594140610616 CPUtime=0.18 cores=1,3,5,7
/proc/19821/task/19929/stat : 19929 (java) R 19816 19821 13949 0 -1 4202560 4969 12842 0 0 10 1 5 2 20 0 15 0 62261009 11078508544 10529 33554432000 4194304 4196468 140734900171104 140478825068944 140478833547090 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37486592 140734900173423 140734900176220 140734900176220 140734900178895 0
[pid=19821/tid=19931] ppid=19816 vsize=10818856 memory=345 CPUtime=0.07 cores=1,3,5,7
/proc/19821/task/19931/stat : 19931 (java) S 19816 19821 13949 0 -1 1077944384 1 12842 0 0 0 0 5 2 20 0 15 0 62261010 11078508544 10529 33554432000 4194304 4196468 140734900171104 140478857513488 140478853281493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37486592 140734900173423 140734900176220 140734900176220 140734900178895 0
[pid=19821/tid=19932] ppid=19816 vsize=10818856 memory=139644709873205 CPUtime=0.07 cores=1,3,5,7
/proc/19821/task/19932/stat : 19932 (java) S 19816 19821 13949 0 -1 1077944384 1 12842 0 0 0 0 5 2 20 0 15 0 62261010 11078508544 10529 33554432000 4194304 4196468 140734900171104 140478784993936 140478853281493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37486592 140734900173423 140734900176220 140734900176220 140734900178895 0
[pid=19821/tid=19933] ppid=19816 vsize=10818856 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19821/task/19933/stat : 19933 (java) S 19816 19821 13949 0 -1 1077944384 1 12842 0 0 0 0 5 2 20 0 15 0 62261010 11078508544 10529 33554432000 4194304 4196468 140734900171104 140478425704720 140478853281493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37486592 140734900173423 140734900176220 140734900176220 140734900178895 0
[pid=19821/tid=19934] ppid=19816 vsize=10818856 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/19821/task/19934/stat : 19934 (java) S 19816 19821 13949 0 -1 1077944384 2 12842 0 0 0 0 5 2 20 0 15 0 62261010 11078508544 10529 33554432000 4194304 4196468 140734900171104 140478424652176 140478853281493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37486592 140734900173423 140734900176220 140734900176220 140734900178895 0
[pid=19821/tid=19939] ppid=19816 vsize=10818856 memory=139644709541504 CPUtime=0.07 cores=1,3,5,7
/proc/19821/task/19939/stat : 19939 (java) S 19816 19821 13949 0 -1 1077944384 2 12842 0 0 0 0 5 2 20 0 15 0 62261011 11078508544 10529 33554432000 4194304 4196468 140734900171104 140477855681264 140478853282434 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37486592 140734900173423 140734900176220 140734900176220 140734900178895 0
[pid=19821/tid=19941] ppid=19816 vsize=10818856 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/19821/task/19941/stat : 19941 (java) S 19816 19821 13949 0 -1 1077944384 13 12842 0 0 0 0 5 2 20 0 15 0 62261012 11078508544 10529 33554432000 4194304 4196468 140734900171104 140477777045152 140478853281493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37486592 140734900173423 140734900176220 140734900176220 140734900178895 0
[pid=19821/tid=19942] ppid=19816 vsize=10818856 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19821/task/19942/stat : 19942 (java) S 19816 19821 13949 0 -1 1077944384 1 12842 0 0 0 0 5 2 20 0 15 0 62261012 11078508544 10529 33554432000 4194304 4196468 140734900171104 140477642826992 140478853281493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37486592 140734900173423 140734900176220 140734900176220 140734900178895 0
[pid=19821/tid=19945] ppid=19816 vsize=10818856 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19821/task/19945/stat : 19945 (java) S 19816 19821 13949 0 -1 1077944384 3 12842 0 0 0 0 5 2 20 0 15 0 62261015 11078508544 10529 33554432000 4194304 4196468 140734900171104 140477402536400 140478853289883 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37486592 140734900173423 140734900176220 140734900176220 140734900178895 0
[pid=19821/tid=19946] ppid=19816 vsize=10818856 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/19821/task/19946/stat : 19946 (java) S 19816 19821 13949 0 -1 1077944384 444 12842 0 0 1 0 5 2 20 0 15 0 62261015 11078508544 10529 33554432000 4194304 4196468 140734900171104 140477854628080 140478853282434 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37486592 140734900173423 140734900176220 140734900176220 140734900178895 0
[pid=19821/tid=19947] ppid=19816 vsize=10818856 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/19821/task/19947/stat : 19947 (java) S 19816 19821 13949 0 -1 1077944384 182 12842 0 0 1 0 5 2 20 0 15 0 62261015 11078508544 10529 33554432000 4194304 4196468 140734900171104 140477853575536 140478853282434 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37486592 140734900173423 140734900176220 140734900176220 140734900178895 0
[pid=19821/tid=19948] ppid=19816 vsize=10818856 memory=139644709541504 CPUtime=0.1 cores=1,3,5,7
/proc/19821/task/19948/stat : 19948 (java) S 19816 19821 13949 0 -1 1077944384 618 12842 0 0 3 0 5 2 20 0 15 0 62261015 11078508544 10529 33554432000 4194304 4196468 140734900171104 140477852522480 140478853282434 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37486592 140734900173423 140734900176220 140734900176220 140734900178895 0
[pid=19821/tid=19949] ppid=19816 vsize=10818856 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/19821/task/19949/stat : 19949 (java) S 19816 19821 13949 0 -1 1077944384 3 12842 0 0 0 0 5 2 20 0 15 0 62261015 11078508544 10529 33554432000 4194304 4196468 140734900171104 140477368977760 140478853281493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37486592 140734900173423 140734900176220 140734900176220 140734900178895 0
[pid=19821/tid=19954] ppid=19816 vsize=10818856 memory=139644709541504 CPUtime=0.07 cores=1,3,5,7
/proc/19821/task/19954/stat : 19954 (java) S 19816 19821 13949 0 -1 1077944384 1 12842 0 0 0 0 5 2 20 0 15 0 62261015 11078508544 10529 33554432000 4194304 4196468 140734900171104 140477851470896 140478853282434 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37486592 140734900173423 140734900176220 140734900176220 140734900178895 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10818856 KiB
Current children cumulated memory: 42116 KiB
[startup+0.310386 s]*
/proc/loadavg: 0.68 0.82 1.08 3/216 19956
/proc/meminfo: memFree=15232260/32770624 swapFree=67108852/67108860
[pid=19821] ppid=19816 vsize=10819352 memory=53456 CPUtime=0.38 cores=1,3,5,7
/proc/19821/stat : 19821 (java) S 19816 19821 13949 0 -1 1077944320 10475 12842 0 0 29 2 5 2 20 0 15 0 62261000 11079016448 13364 33554432000 4194304 4196468 140734900171104 140734900153648 140478853271287 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 37486592 140734900173423 140734900176220 140734900176220 140734900178895 0
/proc/19821/statm: 2704838 13364 3059 1 0 2667149 0
[pid=19821/tid=19929] ppid=19816 vsize=10819352 memory=6791534058613427641 CPUtime=0.28 cores=1,3,5,7
/proc/19821/task/19929/stat : 19929 (java) R 19816 19821 13949 0 -1 4202560 7006 12842 0 0 19 2 5 2 20 0 15 0 62261009 11079016448 13364 33554432000 4194304 4196468 140734900171104 140478825083296 140478837351774 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37486592 140734900173423 140734900176220 140734900176220 140734900178895 0
[pid=19821/tid=19931] ppid=19816 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19821/task/19931/stat : 19931 (java) S 19816 19821 13949 0 -1 1077944384 1 12842 0 0 0 0 5 2 20 0 15 0 62261010 11079016448 13364 33554432000 4194304 4196468 140734900171104 140478857513488 140478853281493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37486592 140734900173423 140734900176220 140734900176220 140734900178895 0
[pid=19821/tid=19932] ppid=19816 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19821/task/19932/stat : 19932 (java) S 19816 19821 13949 0 -1 1077944384 1 12842 0 0 0 0 5 2 20 0 15 0 62261010 11079016448 13364 33554432000 4194304 4196468 140734900171104 140478784993936 140478853281493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37486592 140734900173423 140734900176220 140734900176220 140734900178895 0
[pid=19821/tid=19933] ppid=19816 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19821/task/19933/stat : 19933 (java) S 19816 19821 13949 0 -1 1077944384 1 12842 0 0 0 0 5 2 20 0 15 0 62261010 11079016448 13364 33554432000 4194304 4196468 140734900171104 140478425704720 140478853281493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37486592 140734900173423 140734900176220 140734900176220 140734900178895 0
[pid=19821/tid=19934] ppid=19816 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19821/task/19934/stat : 19934 (java) S 19816 19821 13949 0 -1 1077944384 2 12842 0 0 0 0 5 2 20 0 15 0 62261010 11079016448 13364 33554432000 4194304 4196468 140734900171104 140478424652176 140478853281493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37486592 140734900173423 140734900176220 140734900176220 140734900178895 0
[pid=19821/tid=19939] ppid=19816 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19821/task/19939/stat : 19939 (java) S 19816 19821 13949 0 -1 1077944384 2 12842 0 0 0 0 5 2 20 0 15 0 62261011 11079016448 13364 33554432000 4194304 4196468 140734900171104 140477855681264 140478853282434 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37486592 140734900173423 140734900176220 140734900176220 140734900178895 0
[pid=19821/tid=19941] ppid=19816 vsize=10819352 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/19821/task/19941/stat : 19941 (java) S 19816 19821 13949 0 -1 1077944384 13 12842 0 0 0 0 5 2 20 0 15 0 62261012 11079016448 13364 33554432000 4194304 4196468 140734900171104 140477777045152 140478853281493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37486592 140734900173423 140734900176220 140734900176220 140734900178895 0
[pid=19821/tid=19942] ppid=19816 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19821/task/19942/stat : 19942 (java) S 19816 19821 13949 0 -1 1077944384 1 12842 0 0 0 0 5 2 20 0 15 0 62261012 11079016448 13364 33554432000 4194304 4196468 140734900171104 140477642826992 140478853281493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37486592 140734900173423 140734900176220 140734900176220 140734900178895 0
[pid=19821/tid=19945] ppid=19816 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19821/task/19945/stat : 19945 (java) S 19816 19821 13949 0 -1 1077944384 3 12842 0 0 0 0 5 2 20 0 15 0 62261015 11079016448 13364 33554432000 4194304 4196468 140734900171104 140477402536400 140478853289883 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37486592 140734900173423 140734900176220 140734900176220 140734900178895 0
[pid=19821/tid=19946] ppid=19816 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/19821/task/19946/stat : 19946 (java) S 19816 19821 13949 0 -1 1077944384 444 12842 0 0 1 0 5 2 20 0 15 0 62261015 11079016448 13364 33554432000 4194304 4196468 140734900171104 140477854628080 140478853282434 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37486592 140734900173423 140734900176220 140734900176220 140734900178895 0
[pid=19821/tid=19947] ppid=19816 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/19821/task/19947/stat : 19947 (java) S 19816 19821 13949 0 -1 1077944384 183 12842 0 0 1 0 5 2 20 0 15 0 62261015 11079016448 13364 33554432000 4194304 4196468 140734900171104 140477853575536 140478853282434 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37486592 140734900173423 140734900176220 140734900176220 140734900178895 0
[pid=19821/tid=19948] ppid=19816 vsize=10819352 memory=139644709541504 CPUtime=0.12 cores=1,3,5,7
/proc/19821/task/19948/stat : 19948 (java) R 19816 19821 13949 0 -1 4202560 625 12842 0 0 5 0 5 2 20 0 15 0 62261015 11079016448 13364 33554432000 4194304 4196468 140734900171104 140477852522480 140478833242472 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37486592 140734900173423 140734900176220 140734900176220 140734900178895 0
[pid=19821/tid=19949] ppid=19816 vsize=10819352 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/19821/task/19949/stat : 19949 (java) S 19816 19821 13949 0 -1 1077944384 3 12842 0 0 0 0 5 2 20 0 15 0 62261015 11079016448 13364 33554432000 4194304 4196468 140734900171104 140477368977760 140478853281493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37486592 140734900173423 140734900176220 140734900176220 140734900178895 0
[pid=19821/tid=19954] ppid=19816 vsize=10819352 memory=139644709541504 CPUtime=0.07 cores=1,3,5,7
/proc/19821/task/19954/stat : 19954 (java) S 19816 19821 13949 0 -1 1077944384 1 12842 0 0 0 0 5 2 20 0 15 0 62261015 11079016448 13364 33554432000 4194304 4196468 140734900171104 140477851470896 140478853282434 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37486592 140734900173423 140734900176220 140734900176220 140734900178895 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 53456 KiB
[startup+0.700772 s]
/proc/loadavg: 0.68 0.82 1.08 3/216 19956
/proc/meminfo: memFree=15209552/32770624 swapFree=67108852/67108860
[pid=19821] ppid=19816 vsize=10819352 memory=86980 CPUtime=0.97 cores=1,3,5,7
/proc/19821/stat : 19821 (java) S 19816 19821 13949 0 -1 1077944320 16852 12842 0 0 87 3 5 2 20 0 15 0 62261000 11079016448 21745 33554432000 4194304 4196468 140734900171104 140734900153648 140478853271287 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 37486592 140734900173423 140734900176220 140734900176220 140734900178895 0
/proc/19821/statm: 2704838 21745 3239 1 0 2667149 0
[pid=19821/tid=19929] ppid=19816 vsize=10819352 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/19821/task/19929/stat : 19929 (java) R 19816 19821 13949 0 -1 4202560 12449 12842 0 0 56 3 5 2 20 0 15 0 62261009 11079016448 21745 33554432000 4194304 4196468 140734900171104 140478825092112 140478853285151 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37486592 140734900173423 140734900176220 140734900176220 140734900178895 0
[pid=19821/tid=19931] ppid=19816 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19821/task/19931/stat : 19931 (java) S 19816 19821 13949 0 -1 1077944384 1 12842 0 0 0 0 5 2 20 0 15 0 62261010 11079016448 21745 33554432000 4194304 4196468 140734900171104 140478857513488 140478853281493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37486592 140734900173423 140734900176220 140734900176220 140734900178895 0
[pid=19821/tid=19932] ppid=19816 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19821/task/19932/stat : 19932 (java) S 19816 19821 13949 0 -1 1077944384 1 12842 0 0 0 0 5 2 20 0 15 0 62261010 11079016448 21745 33554432000 4194304 4196468 140734900171104 140478784993936 140478853281493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37486592 140734900173423 140734900176220 140734900176220 140734900178895 0
[pid=19821/tid=19933] ppid=19816 vsize=10819352 memory=139644553539792 CPUtime=0.07 cores=1,3,5,7
/proc/19821/task/19933/stat : 19933 (java) S 19816 19821 13949 0 -1 1077944384 1 12842 0 0 0 0 5 2 20 0 15 0 62261010 11079016448 21745 33554432000 4194304 4196468 140734900171104 140478425704720 140478853281493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37486592 140734900173423 140734900176220 140734900176220 140734900178895 0
[pid=19821/tid=19934] ppid=19816 vsize=10819352 memory=139646566662734 CPUtime=0.07 cores=1,3,5,7
/proc/19821/task/19934/stat : 19934 (java) S 19816 19821 13949 0 -1 1077944384 2 12842 0 0 0 0 5 2 20 0 15 0 62261010 11079016448 21745 33554432000 4194304 4196468 140734900171104 140478424652176 140478853281493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37486592 140734900173423 140734900176220 140734900176220 140734900178895 0
[pid=19821/tid=19939] ppid=19816 vsize=10819352 memory=1200 CPUtime=0.07 cores=1,3,5,7
/proc/19821/task/19939/stat : 19939 (java) S 19816 19821 13949 0 -1 1077944384 5 12842 0 0 0 0 5 2 20 0 15 0 62261011 11079016448 21745 33554432000 4194304 4196468 140734900171104 140477855681264 140478853282434 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37486592 140734900173423 140734900176220 140734900176220 140734900178895 0
[pid=19821/tid=19941] ppid=19816 vsize=10819352 memory=7014751519734519121 CPUtime=0.07 cores=1,3,5,7
/proc/19821/task/19941/stat : 19941 (java) S 19816 19821 13949 0 -1 1077944384 13 12842 0 0 0 0 5 2 20 0 15 0 62261012 11079016448 21745 33554432000 4194304 4196468 140734900171104 140477777045152 140478853281493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37486592 140734900173423 140734900176220 140734900176220 140734900178895 0
[pid=19821/tid=19942] ppid=19816 vsize=10819352 memory=8025788805470905684 CPUtime=0.07 cores=1,3,5,7
/proc/19821/task/19942/stat : 19942 (java) S 19816 19821 13949 0 -1 1077944384 1 12842 0 0 0 0 5 2 20 0 15 0 62261012 11079016448 21745 33554432000 4194304 4196468 140734900171104 140477642826992 140478853281493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37486592 140734900173423 140734900176220 140734900176220 140734900178895 0
[pid=19821/tid=19945] ppid=19816 vsize=10819352 memory=11528 CPUtime=0.07 cores=1,3,5,7
/proc/19821/task/19945/stat : 19945 (java) S 19816 19821 13949 0 -1 1077944384 3 12842 0 0 0 0 5 2 20 0 15 0 62261015 11079016448 21745 33554432000 4194304 4196468 140734900171104 140477402536400 140478853289883 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37486592 140734900173423 140734900176220 140734900176220 140734900178895 0
[pid=19821/tid=19946] ppid=19816 vsize=10819352 memory=16432 CPUtime=0.14 cores=1,3,5,7
/proc/19821/task/19946/stat : 19946 (java) S 19816 19821 13949 0 -1 1077944384 733 12842 0 0 7 0 5 2 20 0 15 0 62261015 11079016448 21745 33554432000 4194304 4196468 140734900171104 140477854628080 140478853282434 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37486592 140734900173423 140734900176220 140734900176220 140734900178895 0
[pid=19821/tid=19947] ppid=19816 vsize=10819352 memory=1792 CPUtime=0.16 cores=1,3,5,7
/proc/19821/task/19947/stat : 19947 (java) S 19816 19821 13949 0 -1 1077944384 759 12842 0 0 9 0 5 2 20 0 15 0 62261015 11079016448 21745 33554432000 4194304 4196468 140734900171104 140477853575536 140478853282434 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37486592 140734900173423 140734900176220 140734900176220 140734900178895 0
[pid=19821/tid=19948] ppid=19816 vsize=10819352 memory=644 CPUtime=0.2 cores=1,3,5,7
/proc/19821/task/19948/stat : 19948 (java) S 19816 19821 13949 0 -1 1077944384 687 12842 0 0 13 0 5 2 20 0 15 0 62261015 11079016448 21745 33554432000 4194304 4196468 140734900171104 140477852522480 140478853282434 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37486592 140734900173423 140734900176220 140734900176220 140734900178895 0
[pid=19821/tid=19949] ppid=19816 vsize=10819352 memory=956 CPUtime=0.07 cores=1,3,5,7
/proc/19821/task/19949/stat : 19949 (java) S 19816 19821 13949 0 -1 1077944384 3 12842 0 0 0 0 5 2 20 0 15 0 62261015 11079016448 21745 33554432000 4194304 4196468 140734900171104 140477368977760 140478853281493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37486592 140734900173423 140734900176220 140734900176220 140734900178895 0
[pid=19821/tid=19954] ppid=19816 vsize=10819352 memory=1232 CPUtime=0.07 cores=1,3,5,7
/proc/19821/task/19954/stat : 19954 (java) S 19816 19821 13949 0 -1 1077944384 1 12842 0 0 0 0 5 2 20 0 15 0 62261015 11079016448 21745 33554432000 4194304 4196468 140734900171104 140477851470896 140478853282434 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37486592 140734900173423 140734900176220 140734900176220 140734900178895 0
Current children cumulated CPU time: 0.97 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 86980 KiB
[startup+1.50074 s]
/proc/loadavg: 0.68 0.82 1.08 3/216 19956
/proc/meminfo: memFree=15120812/32770624 swapFree=67108852/67108860
[pid=19821] ppid=19816 vsize=10834252 memory=183200 CPUtime=2.35 cores=1,3,5,7
/proc/19821/stat : 19821 (java) S 19816 19821 13949 0 -1 1077944320 24884 12842 0 0 219 9 5 2 20 0 15 0 62261000 11094274048 45800 33554432000 4194304 4196468 140734900171104 140734900153648 140478853271287 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 37486592 140734900173423 140734900176220 140734900176220 140734900178895 0
/proc/19821/statm: 2708563 45800 3474 1 0 2670221 0
[pid=19821/tid=19929] ppid=19816 vsize=10834252 memory=6791534058613427641 CPUtime=1.41 cores=1,3,5,7
/proc/19821/task/19929/stat : 19929 (java) R 19816 19821 13949 0 -1 4202560 18281 12842 0 0 129 5 5 2 20 0 15 0 62261009 11094274048 45800 33554432000 4194304 4196468 140734900171104 140478825095120 140478837351774 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37486592 140734900173423 140734900176220 140734900176220 140734900178895 0
[pid=19821/tid=19931] ppid=19816 vsize=10834252 memory=4126316290023845779 CPUtime=0.08 cores=1,3,5,7
/proc/19821/task/19931/stat : 19931 (java) S 19816 19821 13949 0 -1 1077944384 183 12842 0 0 1 0 5 2 20 0 15 0 62261010 11094274048 45800 33554432000 4194304 4196468 140734900171104 140478857513488 140478853281493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37486592 140734900173423 140734900176220 140734900176220 140734900178895 0
[pid=19821/tid=19932] ppid=19816 vsize=10834252 memory=279289107112096 CPUtime=0.08 cores=1,3,5,7
/proc/19821/task/19932/stat : 19932 (java) S 19816 19821 13949 0 -1 1077944384 22 12842 0 0 1 0 5 2 20 0 15 0 62261010 11094274048 45800 33554432000 4194304 4196468 140734900171104 140478784993936 140478853281493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37486592 140734900173423 140734900176220 140734900176220 140734900178895 0
[pid=19821/tid=19933] ppid=19816 vsize=10834252 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/19821/task/19933/stat : 19933 (java) S 19816 19821 13949 0 -1 1077944384 24 12842 0 0 1 0 5 2 20 0 15 0 62261010 11094274048 45800 33554432000 4194304 4196468 140734900171104 140478425704720 140478853281493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37486592 140734900173423 140734900176220 140734900176220 140734900178895 0
[pid=19821/tid=19934] ppid=19816 vsize=10834252 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/19821/task/19934/stat : 19934 (java) S 19816 19821 13949 0 -1 1077944384 65 12842 0 0 1 0 5 2 20 0 15 0 62261010 11094274048 45800 33554432000 4194304 4196468 140734900171104 140478424652176 140478853281493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37486592 140734900173423 140734900176220 140734900176220 140734900178895 0
[pid=19821/tid=19939] ppid=19816 vsize=10834252 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/19821/task/19939/stat : 19939 (java) S 19816 19821 13949 0 -1 1077944384 498 12842 0 0 1 0 5 2 20 0 15 0 62261011 11094274048 45800 33554432000 4194304 4196468 140734900171104 140477855681264 140478853282434 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37486592 140734900173423 140734900176220 140734900176220 140734900178895 0
[pid=19821/tid=19941] ppid=19816 vsize=10834252 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19821/task/19941/stat : 19941 (java) S 19816 19821 13949 0 -1 1077944384 14 12842 0 0 0 0 5 2 20 0 15 0 62261012 11094274048 45800 33554432000 4194304 4196468 140734900171104 140477777045216 140478853281493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37486592 140734900173423 140734900176220 140734900176220 140734900178895 0
[pid=19821/tid=19942] ppid=19816 vsize=10834252 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19821/task/19942/stat : 19942 (java) S 19816 19821 13949 0 -1 1077944384 1 12842 0 0 0 0 5 2 20 0 15 0 62261012 11094274048 45800 33554432000 4194304 4196468 140734900171104 140477642827008 140478853281493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37486592 140734900173423 140734900176220 140734900176220 140734900178895 0
[pid=19821/tid=19945] ppid=19816 vsize=10834252 memory=-5921431000321636112 CPUtime=0.07 cores=1,3,5,7
/proc/19821/task/19945/stat : 19945 (java) S 19816 19821 13949 0 -1 1077944384 3 12842 0 0 0 0 5 2 20 0 15 0 62261015 11094274048 45800 33554432000 4194304 4196468 140734900171104 140477402536400 140478853289883 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37486592 140734900173423 140734900176220 140734900176220 140734900178895 0
[pid=19821/tid=19946] ppid=19816 vsize=10834252 memory=0 CPUtime=0.26 cores=1,3,5,7
/proc/19821/task/19946/stat : 19946 (java) S 19816 19821 13949 0 -1 1077944384 879 12842 0 0 19 0 5 2 20 0 15 0 62261015 11094274048 45800 33554432000 4194304 4196468 140734900171104 140477854628080 140478853282434 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37486592 140734900173423 140734900176220 140734900176220 140734900178895 0
[pid=19821/tid=19947] ppid=19816 vsize=10834252 memory=0 CPUtime=0.33 cores=1,3,5,7
/proc/19821/task/19947/stat : 19947 (java) S 19816 19821 13949 0 -1 1077944384 1242 12842 0 0 26 0 5 2 20 0 15 0 62261015 11094274048 45800 33554432000 4194304 4196468 140734900171104 140477853575536 140478853282434 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37486592 140734900173423 140734900176220 140734900176220 140734900178895 0
[pid=19821/tid=19948] ppid=19816 vsize=10834252 memory=6791534058613427641 CPUtime=0.42 cores=1,3,5,7
/proc/19821/task/19948/stat : 19948 (java) S 19816 19821 13949 0 -1 1077944384 1476 12842 0 0 35 0 5 2 20 0 15 0 62261015 11094274048 45800 33554432000 4194304 4196468 140734900171104 140477852522480 140478853282434 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37486592 140734900173423 140734900176220 140734900176220 140734900178895 0
[pid=19821/tid=19949] ppid=19816 vsize=10834252 memory=4638778398332698720 CPUtime=0.07 cores=1,3,5,7
/proc/19821/task/19949/stat : 19949 (java) S 19816 19821 13949 0 -1 1077944384 3 12842 0 0 0 0 5 2 20 0 15 0 62261015 11094274048 45800 33554432000 4194304 4196468 140734900171104 140477368977760 140478853281493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37486592 140734900173423 140734900176220 140734900176220 140734900178895 0
[pid=19821/tid=19954] ppid=19816 vsize=10834252 memory=279289107356544 CPUtime=0.07 cores=1,3,5,7
/proc/19821/task/19954/stat : 19954 (java) S 19816 19821 13949 0 -1 1077944384 1 12842 0 0 0 0 5 2 20 0 15 0 62261015 11094274048 45800 33554432000 4194304 4196468 140734900171104 140477851470896 140478853282434 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37486592 140734900173423 140734900176220 140734900176220 140734900178895 0
Current children cumulated CPU time: 2.35 s
Current children cumulated vsize: 10834252 KiB
################
# More data... #
################
/proc/19821/task/19929/stat : 19929 (java) R 19816 19821 13949 0 -1 4202560 100420 12842 0 0 235522 60 5 2 20 0 15 0 62261009 11111071744 184027 33554432000 4194304 4196468 140734900171104 140478825105536 140478478376912 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37486592 140734900173423 140734900176220 140734900176220 140734900178895 0
[pid=19821/tid=19931] ppid=19816 vsize=10850656 memory=736108 CPUtime=15.78 cores=1,3,5,7
/proc/19821/task/19931/stat : 19931 (java) S 19816 19821 13949 0 -1 1077944384 18596 12842 0 0 1529 42 5 2 20 0 15 0 62261010 11111071744 184027 33554432000 4194304 4196468 140734900171104 140478857513488 140478853281493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37486592 140734900173423 140734900176220 140734900176220 140734900178895 0
[pid=19821/tid=19932] ppid=19816 vsize=10850656 memory=736108 CPUtime=15.8 cores=1,3,5,7
/proc/19821/task/19932/stat : 19932 (java) S 19816 19821 13949 0 -1 1077944384 18162 12842 0 0 1528 45 5 2 20 0 15 0 62261010 11111071744 184027 33554432000 4194304 4196468 140734900171104 140478784993936 140478853281493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37486592 140734900173423 140734900176220 140734900176220 140734900178895 0
[pid=19821/tid=19933] ppid=19816 vsize=10850656 memory=736108 CPUtime=15.8 cores=1,3,5,7
/proc/19821/task/19933/stat : 19933 (java) S 19816 19821 13949 0 -1 1077944384 21110 12842 0 0 1529 44 5 2 20 0 15 0 62261010 11111071744 184027 33554432000 4194304 4196468 140734900171104 140478425704720 140478853281493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37486592 140734900173423 140734900176220 140734900176220 140734900178895 0
[pid=19821/tid=19934] ppid=19816 vsize=10850656 memory=736108 CPUtime=15.82 cores=1,3,5,7
/proc/19821/task/19934/stat : 19934 (java) S 19816 19821 13949 0 -1 1077944384 16455 12842 0 0 1535 40 5 2 20 0 15 0 62261010 11111071744 184027 33554432000 4194304 4196468 140734900171104 140478424652176 140478853281493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37486592 140734900173423 140734900176220 140734900176220 140734900178895 0
[pid=19821/tid=19939] ppid=19816 vsize=10850656 memory=736108 CPUtime=7.88 cores=1,3,5,7
/proc/19821/task/19939/stat : 19939 (java) S 19816 19821 13949 0 -1 1077944384 16170 12842 0 0 721 60 5 2 20 0 15 0 62261011 11111071744 184027 33554432000 4194304 4196468 140734900171104 140477855681264 140478853282434 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37486592 140734900173423 140734900176220 140734900176220 140734900178895 0
[pid=19821/tid=19941] ppid=19816 vsize=10850656 memory=736108 CPUtime=0.07 cores=1,3,5,7
/proc/19821/task/19941/stat : 19941 (java) S 19816 19821 13949 0 -1 1077944384 21 12842 0 0 0 0 5 2 20 0 15 0 62261012 11111071744 184027 33554432000 4194304 4196468 140734900171104 140477777045280 140478853281493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37486592 140734900173423 140734900176220 140734900176220 140734900178895 0
[pid=19821/tid=19942] ppid=19816 vsize=10850656 memory=736108 CPUtime=0.07 cores=1,3,5,7
/proc/19821/task/19942/stat : 19942 (java) S 19816 19821 13949 0 -1 1077944384 18 12842 0 0 0 0 5 2 20 0 15 0 62261012 11111071744 184027 33554432000 4194304 4196468 140734900171104 140477642827008 140478853281493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37486592 140734900173423 140734900176220 140734900176220 140734900178895 0
[pid=19821/tid=19945] ppid=19816 vsize=10850656 memory=736108 CPUtime=0.07 cores=1,3,5,7
/proc/19821/task/19945/stat : 19945 (java) S 19816 19821 13949 0 -1 1077944384 3 12842 0 0 0 0 5 2 20 0 15 0 62261015 11111071744 184027 33554432000 4194304 4196468 140734900171104 140477402536400 140478853289883 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37486592 140734900173423 140734900176220 140734900176220 140734900178895 0
[pid=19821/tid=19946] ppid=19816 vsize=10850656 memory=736108 CPUtime=12.65 cores=1,3,5,7
/proc/19821/task/19946/stat : 19946 (java) S 19816 19821 13949 0 -1 1077944384 84305 12842 0 0 1246 12 5 2 20 0 15 0 62261015 11111071744 184027 33554432000 4194304 4196468 140734900171104 140477854628080 140478853282434 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37486592 140734900173423 140734900176220 140734900176220 140734900178895 0
[pid=19821/tid=19947] ppid=19816 vsize=10850656 memory=736108 CPUtime=12.32 cores=1,3,5,7
/proc/19821/task/19947/stat : 19947 (java) S 19816 19821 13949 0 -1 1077944384 100369 12842 0 0 1216 9 5 2 20 0 15 0 62261015 11111071744 184027 33554432000 4194304 4196468 140734900171104 140477853575536 140478853282434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37486592 140734900173423 140734900176220 140734900176220 140734900178895 0
[pid=19821/tid=19948] ppid=19816 vsize=10850656 memory=4012 CPUtime=4.56 cores=1,3,5,7
/proc/19821/task/19948/stat : 19948 (java) S 19816 19821 13949 0 -1 1077944384 85091 12842 0 0 439 10 5 2 20 0 15 0 62261015 11111071744 184027 33554432000 4194304 4196468 140734900171104 140477852522480 140478853282434 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37486592 140734900173423 140734900176220 140734900176220 140734900178895 0
[pid=19821/tid=19949] ppid=19816 vsize=10850656 memory=736108 CPUtime=0.07 cores=1,3,5,7
/proc/19821/task/19949/stat : 19949 (java) S 19816 19821 13949 0 -1 1077944384 3 12842 0 0 0 0 5 2 20 0 15 0 62261015 11111071744 184027 33554432000 4194304 4196468 140734900171104 140477368977760 140478853281493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37486592 140734900173423 140734900176220 140734900176220 140734900178895 0
[pid=19821/tid=19954] ppid=19816 vsize=10850656 memory=4012 CPUtime=1.49 cores=1,3,5,7
/proc/19821/task/19954/stat : 19954 (java) S 19816 19821 13949 0 -1 1077944384 2430 12842 0 0 62 80 5 2 20 0 15 0 62261015 11111071744 184027 33554432000 4194304 4196468 140734900171104 140477851470896 140478853282434 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37486592 140734900173423 140734900176220 140734900176220 140734900178895 0
Current children cumulated CPU time: 2457.47 s
Current children cumulated vsize: 10850656 KiB
Current children cumulated memory: 736108 KiB
[startup+2442.3 s]
/proc/loadavg: 1.33 1.35 1.38 3/215 20308
/proc/meminfo: memFree=13091056/32770624 swapFree=67108852/67108860
[pid=19821] ppid=19816 vsize=10850656 memory=738156 CPUtime=2518.65 cores=1,3,5,7
/proc/19821/stat : 19821 (java) S 19816 19821 13949 0 -1 1077944320 467327 12842 0 0 251487 371 5 2 20 0 15 0 62261000 11111071744 184539 33554432000 4194304 4196468 140734900171104 140734900153648 140478853271287 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 37486592 140734900173423 140734900176220 140734900176220 140734900178895 0
/proc/19821/statm: 2712664 184539 3533 1 0 2674317 0
[pid=19821/tid=19929] ppid=19816 vsize=10850656 memory=738156 CPUtime=2415.17 cores=1,3,5,7
/proc/19821/task/19929/stat : 19929 (java) R 19816 19821 13949 0 -1 4202560 101097 12842 0 0 241450 60 5 2 20 0 15 0 62261009 11111071744 184539 33554432000 4194304 4196468 140734900171104 140478825105600 140478477886179 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37486592 140734900173423 140734900176220 140734900176220 140734900178895 0
[pid=19821/tid=19931] ppid=19816 vsize=10850656 memory=738156 CPUtime=16.18 cores=1,3,5,7
/proc/19821/task/19931/stat : 19931 (java) S 19816 19821 13949 0 -1 1077944384 18846 12842 0 0 1568 43 5 2 20 0 15 0 62261010 11111071744 184539 33554432000 4194304 4196468 140734900171104 140478857513488 140478853281493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37486592 140734900173423 140734900176220 140734900176220 140734900178895 0
[pid=19821/tid=19932] ppid=19816 vsize=10850656 memory=738156 CPUtime=16.21 cores=1,3,5,7
/proc/19821/task/19932/stat : 19932 (java) S 19816 19821 13949 0 -1 1077944384 18231 12842 0 0 1568 46 5 2 20 0 15 0 62261010 11111071744 184539 33554432000 4194304 4196468 140734900171104 140478784993936 140478853281493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37486592 140734900173423 140734900176220 140734900176220 140734900178895 0
[pid=19821/tid=19933] ppid=19816 vsize=10850656 memory=738156 CPUtime=16.22 cores=1,3,5,7
/proc/19821/task/19933/stat : 19933 (java) S 19816 19821 13949 0 -1 1077944384 21667 12842 0 0 1570 45 5 2 20 0 15 0 62261010 11111071744 184539 33554432000 4194304 4196468 140734900171104 140478425704720 140478853281493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37486592 140734900173423 140734900176220 140734900176220 140734900178895 0
[pid=19821/tid=19934] ppid=19816 vsize=10850656 memory=738156 CPUtime=16.23 cores=1,3,5,7
/proc/19821/task/19934/stat : 19934 (java) S 19816 19821 13949 0 -1 1077944384 16642 12842 0 0 1576 40 5 2 20 0 15 0 62261010 11111071744 184539 33554432000 4194304 4196468 140734900171104 140478424652176 140478853281493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37486592 140734900173423 140734900176220 140734900176220 140734900178895 0
[pid=19821/tid=19939] ppid=19816 vsize=10850656 memory=0 CPUtime=8.08 cores=1,3,5,7
/proc/19821/task/19939/stat : 19939 (java) S 19816 19821 13949 0 -1 1077944384 16387 12842 0 0 740 61 5 2 20 0 15 0 62261011 11111071744 184539 33554432000 4194304 4196468 140734900171104 140477855681264 140478853282434 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37486592 140734900173423 140734900176220 140734900176220 140734900178895 0
[pid=19821/tid=19941] ppid=19816 vsize=10850656 memory=56 CPUtime=0.07 cores=1,3,5,7
/proc/19821/task/19941/stat : 19941 (java) S 19816 19821 13949 0 -1 1077944384 21 12842 0 0 0 0 5 2 20 0 15 0 62261012 11111071744 184539 33554432000 4194304 4196468 140734900171104 140477777045280 140478853281493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37486592 140734900173423 140734900176220 140734900176220 140734900178895 0
[pid=19821/tid=19942] ppid=19816 vsize=10850656 memory=738156 CPUtime=0.07 cores=1,3,5,7
/proc/19821/task/19942/stat : 19942 (java) S 19816 19821 13949 0 -1 1077944384 18 12842 0 0 0 0 5 2 20 0 15 0 62261012 11111071744 184539 33554432000 4194304 4196468 140734900171104 140477642827008 140478853281493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37486592 140734900173423 140734900176220 140734900176220 140734900178895 0
[pid=19821/tid=19945] ppid=19816 vsize=10850656 memory=644 CPUtime=0.07 cores=1,3,5,7
/proc/19821/task/19945/stat : 19945 (java) S 19816 19821 13949 0 -1 1077944384 3 12842 0 0 0 0 5 2 20 0 15 0 62261015 11111071744 184539 33554432000 4194304 4196468 140734900171104 140477402536400 140478853289883 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37486592 140734900173423 140734900176220 140734900176220 140734900178895 0
[pid=19821/tid=19946] ppid=19816 vsize=10850656 memory=738156 CPUtime=12.65 cores=1,3,5,7
/proc/19821/task/19946/stat : 19946 (java) S 19816 19821 13949 0 -1 1077944384 84307 12842 0 0 1246 12 5 2 20 0 15 0 62261015 11111071744 184539 33554432000 4194304 4196468 140734900171104 140477854628080 140478853282434 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37486592 140734900173423 140734900176220 140734900176220 140734900178895 0
[pid=19821/tid=19947] ppid=19816 vsize=10850656 memory=738156 CPUtime=12.33 cores=1,3,5,7
/proc/19821/task/19947/stat : 19947 (java) S 19816 19821 13949 0 -1 1077944384 100372 12842 0 0 1217 9 5 2 20 0 15 0 62261015 11111071744 184539 33554432000 4194304 4196468 140734900171104 140477853575536 140478853282434 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37486592 140734900173423 140734900176220 140734900176220 140734900178895 0
[pid=19821/tid=19948] ppid=19816 vsize=10850656 memory=738156 CPUtime=4.56 cores=1,3,5,7
/proc/19821/task/19948/stat : 19948 (java) S 19816 19821 13949 0 -1 1077944384 85093 12842 0 0 439 10 5 2 20 0 15 0 62261015 11111071744 184539 33554432000 4194304 4196468 140734900171104 140477852522480 140478853282434 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37486592 140734900173423 140734900176220 140734900176220 140734900178895 0
[pid=19821/tid=19949] ppid=19816 vsize=10850656 memory=738156 CPUtime=0.07 cores=1,3,5,7
/proc/19821/task/19949/stat : 19949 (java) S 19816 19821 13949 0 -1 1077944384 3 12842 0 0 0 0 5 2 20 0 15 0 62261015 11111071744 184539 33554432000 4194304 4196468 140734900171104 140477368977760 140478853281493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37486592 140734900173423 140734900176220 140734900176220 140734900178895 0
[pid=19821/tid=19954] ppid=19816 vsize=10850656 memory=738156 CPUtime=1.53 cores=1,3,5,7
/proc/19821/task/19954/stat : 19954 (java) S 19816 19821 13949 0 -1 1077944384 2447 12842 0 0 64 82 5 2 20 0 15 0 62261015 11111071744 184539 33554432000 4194304 4196468 140734900171104 140477851470896 140478853282434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37486592 140734900173423 140734900176220 140734900176220 140734900178895 0
Current children cumulated CPU time: 2518.65 s
Current children cumulated vsize: 10850656 KiB
Current children cumulated memory: 738156 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2443.7 s]
/proc/loadavg: 1.33 1.35 1.38 3/215 20308
/proc/meminfo: memFree=13091056/32770624 swapFree=67108852/67108860
[pid=19821] ppid=19816 vsize=10850656 memory=738156 CPUtime=2520.08 cores=1,3,5,7
/proc/19821/stat : 19821 (java) S 19816 19821 13949 0 -1 1077944320 467333 12842 0 0 251630 371 5 2 20 0 15 0 62261000 11111071744 184539 33554432000 4194304 4196468 140734900171104 140734900153648 140478853271287 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 37486592 140734900173423 140734900176220 140734900176220 140734900178895 0
/proc/19821/statm: 2712664 184539 3533 1 0 2674317 0
[pid=19821/tid=19929] ppid=19816 vsize=10850656 memory=738156 CPUtime=2416.55 cores=1,3,5,7
/proc/19821/task/19929/stat : 19929 (java) R 19816 19821 13949 0 -1 4202560 101103 12842 0 0 241588 60 5 2 20 0 15 0 62261009 11111071744 184539 33554432000 4194304 4196468 140734900171104 140478825105584 140478477886363 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37486592 140734900173423 140734900176220 140734900176220 140734900178895 0
[pid=19821/tid=19931] ppid=19816 vsize=10850656 memory=738156 CPUtime=16.19 cores=1,3,5,7
/proc/19821/task/19931/stat : 19931 (java) S 19816 19821 13949 0 -1 1077944384 18846 12842 0 0 1569 43 5 2 20 0 15 0 62261010 11111071744 184539 33554432000 4194304 4196468 140734900171104 140478857513488 140478853281493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37486592 140734900173423 140734900176220 140734900176220 140734900178895 0
[pid=19821/tid=19932] ppid=19816 vsize=10850656 memory=738156 CPUtime=16.22 cores=1,3,5,7
/proc/19821/task/19932/stat : 19932 (java) S 19816 19821 13949 0 -1 1077944384 18231 12842 0 0 1569 46 5 2 20 0 15 0 62261010 11111071744 184539 33554432000 4194304 4196468 140734900171104 140478784993936 140478853281493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37486592 140734900173423 140734900176220 140734900176220 140734900178895 0
[pid=19821/tid=19933] ppid=19816 vsize=10850656 memory=738156 CPUtime=16.23 cores=1,3,5,7
/proc/19821/task/19933/stat : 19933 (java) S 19816 19821 13949 0 -1 1077944384 21667 12842 0 0 1571 45 5 2 20 0 15 0 62261010 11111071744 184539 33554432000 4194304 4196468 140734900171104 140478425704720 140478853281493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37486592 140734900173423 140734900176220 140734900176220 140734900178895 0
[pid=19821/tid=19934] ppid=19816 vsize=10850656 memory=738156 CPUtime=16.24 cores=1,3,5,7
/proc/19821/task/19934/stat : 19934 (java) S 19816 19821 13949 0 -1 1077944384 16642 12842 0 0 1577 40 5 2 20 0 15 0 62261010 11111071744 184539 33554432000 4194304 4196468 140734900171104 140478424652176 140478853281493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37486592 140734900173423 140734900176220 140734900176220 140734900178895 0
[pid=19821/tid=19939] ppid=19816 vsize=10850656 memory=738156 CPUtime=8.09 cores=1,3,5,7
/proc/19821/task/19939/stat : 19939 (java) S 19816 19821 13949 0 -1 1077944384 16387 12842 0 0 741 61 5 2 20 0 15 0 62261011 11111071744 184539 33554432000 4194304 4196468 140734900171104 140477855681264 140478853282434 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37486592 140734900173423 140734900176220 140734900176220 140734900178895 0
[pid=19821/tid=19941] ppid=19816 vsize=10850656 memory=738156 CPUtime=0.07 cores=1,3,5,7
/proc/19821/task/19941/stat : 19941 (java) S 19816 19821 13949 0 -1 1077944384 21 12842 0 0 0 0 5 2 20 0 15 0 62261012 11111071744 184539 33554432000 4194304 4196468 140734900171104 140477777045280 140478853281493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37486592 140734900173423 140734900176220 140734900176220 140734900178895 0
[pid=19821/tid=19942] ppid=19816 vsize=10850656 memory=956 CPUtime=0.07 cores=1,3,5,7
/proc/19821/task/19942/stat : 19942 (java) S 19816 19821 13949 0 -1 1077944384 18 12842 0 0 0 0 5 2 20 0 15 0 62261012 11111071744 184539 33554432000 4194304 4196468 140734900171104 140477642827008 140478853281493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37486592 140734900173423 140734900176220 140734900176220 140734900178895 0
[pid=19821/tid=19945] ppid=19816 vsize=10850656 memory=738156 CPUtime=0.07 cores=1,3,5,7
/proc/19821/task/19945/stat : 19945 (java) S 19816 19821 13949 0 -1 1077944384 3 12842 0 0 0 0 5 2 20 0 15 0 62261015 11111071744 184539 33554432000 4194304 4196468 140734900171104 140477402536400 140478853289883 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37486592 140734900173423 140734900176220 140734900176220 140734900178895 0
[pid=19821/tid=19946] ppid=19816 vsize=10850656 memory=10936 CPUtime=12.65 cores=1,3,5,7
/proc/19821/task/19946/stat : 19946 (java) S 19816 19821 13949 0 -1 1077944384 84307 12842 0 0 1246 12 5 2 20 0 15 0 62261015 11111071744 184539 33554432000 4194304 4196468 140734900171104 140477854628080 140478853282434 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37486592 140734900173423 140734900176220 140734900176220 140734900178895 0
[pid=19821/tid=19947] ppid=19816 vsize=10850656 memory=738156 CPUtime=12.33 cores=1,3,5,7
/proc/19821/task/19947/stat : 19947 (java) S 19816 19821 13949 0 -1 1077944384 100372 12842 0 0 1217 9 5 2 20 0 15 0 62261015 11111071744 184539 33554432000 4194304 4196468 140734900171104 140477853575536 140478853282434 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37486592 140734900173423 140734900176220 140734900176220 140734900178895 0
[pid=19821/tid=19948] ppid=19816 vsize=10850656 memory=0 CPUtime=4.56 cores=1,3,5,7
/proc/19821/task/19948/stat : 19948 (java) S 19816 19821 13949 0 -1 1077944384 85093 12842 0 0 439 10 5 2 20 0 15 0 62261015 11111071744 184539 33554432000 4194304 4196468 140734900171104 140477852522480 140478853282434 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37486592 140734900173423 140734900176220 140734900176220 140734900178895 0
[pid=19821/tid=19949] ppid=19816 vsize=10850656 memory=738156 CPUtime=0.07 cores=1,3,5,7
/proc/19821/task/19949/stat : 19949 (java) S 19816 19821 13949 0 -1 1077944384 3 12842 0 0 0 0 5 2 20 0 15 0 62261015 11111071744 184539 33554432000 4194304 4196468 140734900171104 140477368977760 140478853281493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37486592 140734900173423 140734900176220 140734900176220 140734900178895 0
[pid=19821/tid=19954] ppid=19816 vsize=10850656 memory=56 CPUtime=1.53 cores=1,3,5,7
/proc/19821/task/19954/stat : 19954 (java) S 19816 19821 13949 0 -1 1077944384 2447 12842 0 0 64 82 5 2 20 0 15 0 62261015 11111071744 184539 33554432000 4194304 4196468 140734900171104 140477851470896 140478853282434 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37486592 140734900173423 140734900176220 140734900176220 140734900178895 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 10850656 KiB
Current children cumulated memory: 738156 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2443.73 s]
# the end of solver process 19821 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.37 s, system=3.75804 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2443.7 s]
/proc/loadavg: 1.33 1.35 1.38 3/215 20308
/proc/meminfo: memFree=13091056/32770624 swapFree=67108852/67108860
[pid=19821] ppid=19816 vsize=10850656 memory=738156 CPUtime=2520.08 cores=1,3,5,7
/proc/19821/stat : 19821 (java) S 19816 19821 13949 0 -1 1077944320 467333 12842 0 0 251630 371 5 2 20 0 15 0 62261000 11111071744 184539 33554432000 4194304 4196468 140734900171104 140734900153648 140478853271287 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 37486592 140734900173423 140734900176220 140734900176220 140734900178895 0
/proc/19821/statm: 2712664 184539 3533 1 0 2674317 0
[pid=19821/tid=19929] ppid=19816 vsize=10850656 memory=738156 CPUtime=2416.55 cores=1,3,5,7
/proc/19821/task/19929/stat : 19929 (java) R 19816 19821 13949 0 -1 4202560 101103 12842 0 0 241588 60 5 2 20 0 15 0 62261009 11111071744 184539 33554432000 4194304 4196468 140734900171104 140478825105584 140478477886363 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37486592 140734900173423 140734900176220 140734900176220 140734900178895 0
[pid=19821/tid=19931] ppid=19816 vsize=10850656 memory=738156 CPUtime=16.19 cores=1,3,5,7
/proc/19821/task/19931/stat : 19931 (java) S 19816 19821 13949 0 -1 1077944384 18846 12842 0 0 1569 43 5 2 20 0 15 0 62261010 11111071744 184539 33554432000 4194304 4196468 140734900171104 140478857513488 140478853281493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37486592 140734900173423 140734900176220 140734900176220 140734900178895 0
[pid=19821/tid=19932] ppid=19816 vsize=10850656 memory=738156 CPUtime=16.22 cores=1,3,5,7
/proc/19821/task/19932/stat : 19932 (java) S 19816 19821 13949 0 -1 1077944384 18231 12842 0 0 1569 46 5 2 20 0 15 0 62261010 11111071744 184539 33554432000 4194304 4196468 140734900171104 140478784993936 140478853281493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37486592 140734900173423 140734900176220 140734900176220 140734900178895 0
[pid=19821/tid=19933] ppid=19816 vsize=10850656 memory=738156 CPUtime=16.23 cores=1,3,5,7
/proc/19821/task/19933/stat : 19933 (java) S 19816 19821 13949 0 -1 1077944384 21667 12842 0 0 1571 45 5 2 20 0 15 0 62261010 11111071744 184539 33554432000 4194304 4196468 140734900171104 140478425704720 140478853281493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37486592 140734900173423 140734900176220 140734900176220 140734900178895 0
[pid=19821/tid=19934] ppid=19816 vsize=10850656 memory=738156 CPUtime=16.24 cores=1,3,5,7
/proc/19821/task/19934/stat : 19934 (java) S 19816 19821 13949 0 -1 1077944384 16642 12842 0 0 1577 40 5 2 20 0 15 0 62261010 11111071744 184539 33554432000 4194304 4196468 140734900171104 140478424652176 140478853281493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37486592 140734900173423 140734900176220 140734900176220 140734900178895 0
[pid=19821/tid=19939] ppid=19816 vsize=10850656 memory=738156 CPUtime=8.09 cores=1,3,5,7
/proc/19821/task/19939/stat : 19939 (java) S 19816 19821 13949 0 -1 1077944384 16387 12842 0 0 741 61 5 2 20 0 15 0 62261011 11111071744 184539 33554432000 4194304 4196468 140734900171104 140477855681264 140478853282434 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37486592 140734900173423 140734900176220 140734900176220 140734900178895 0
[pid=19821/tid=19941] ppid=19816 vsize=10850656 memory=738156 CPUtime=0.07 cores=1,3,5,7
/proc/19821/task/19941/stat : 19941 (java) S 19816 19821 13949 0 -1 1077944384 21 12842 0 0 0 0 5 2 20 0 15 0 62261012 11111071744 184539 33554432000 4194304 4196468 140734900171104 140477777045280 140478853281493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37486592 140734900173423 140734900176220 140734900176220 140734900178895 0
[pid=19821/tid=19942] ppid=19816 vsize=10850656 memory=956 CPUtime=0.07 cores=1,3,5,7
/proc/19821/task/19942/stat : 19942 (java) S 19816 19821 13949 0 -1 1077944384 18 12842 0 0 0 0 5 2 20 0 15 0 62261012 11111071744 184539 33554432000 4194304 4196468 140734900171104 140477642827008 140478853281493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37486592 140734900173423 140734900176220 140734900176220 140734900178895 0
[pid=19821/tid=19945] ppid=19816 vsize=10850656 memory=738156 CPUtime=0.07 cores=1,3,5,7
/proc/19821/task/19945/stat : 19945 (java) S 19816 19821 13949 0 -1 1077944384 3 12842 0 0 0 0 5 2 20 0 15 0 62261015 11111071744 184539 33554432000 4194304 4196468 140734900171104 140477402536400 140478853289883 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37486592 140734900173423 140734900176220 140734900176220 140734900178895 0
[pid=19821/tid=19946] ppid=19816 vsize=10850656 memory=10936 CPUtime=12.65 cores=1,3,5,7
/proc/19821/task/19946/stat : 19946 (java) S 19816 19821 13949 0 -1 1077944384 84307 12842 0 0 1246 12 5 2 20 0 15 0 62261015 11111071744 184539 33554432000 4194304 4196468 140734900171104 140477854628080 140478853282434 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37486592 140734900173423 140734900176220 140734900176220 140734900178895 0
[pid=19821/tid=19947] ppid=19816 vsize=10850656 memory=738156 CPUtime=12.33 cores=1,3,5,7
/proc/19821/task/19947/stat : 19947 (java) S 19816 19821 13949 0 -1 1077944384 100372 12842 0 0 1217 9 5 2 20 0 15 0 62261015 11111071744 184539 33554432000 4194304 4196468 140734900171104 140477853575536 140478853282434 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37486592 140734900173423 140734900176220 140734900176220 140734900178895 0
[pid=19821/tid=19948] ppid=19816 vsize=10850656 memory=0 CPUtime=4.56 cores=1,3,5,7
/proc/19821/task/19948/stat : 19948 (java) S 19816 19821 13949 0 -1 1077944384 85093 12842 0 0 439 10 5 2 20 0 15 0 62261015 11111071744 184539 33554432000 4194304 4196468 140734900171104 140477852522480 140478853282434 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37486592 140734900173423 140734900176220 140734900176220 140734900178895 0
[pid=19821/tid=19949] ppid=19816 vsize=10850656 memory=738156 CPUtime=0.07 cores=1,3,5,7
/proc/19821/task/19949/stat : 19949 (java) S 19816 19821 13949 0 -1 1077944384 3 12842 0 0 0 0 5 2 20 0 15 0 62261015 11111071744 184539 33554432000 4194304 4196468 140734900171104 140477368977760 140478853281493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37486592 140734900173423 140734900176220 140734900176220 140734900178895 0
[pid=19821/tid=19954] ppid=19816 vsize=10850656 memory=56 CPUtime=1.53 cores=1,3,5,7
/proc/19821/task/19954/stat : 19954 (java) S 19816 19821 13949 0 -1 1077944384 2447 12842 0 0 64 82 5 2 20 0 15 0 62261015 11111071744 184539 33554432000 4194304 4196468 140734900171104 140477851470896 140478853282434 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37486592 140734900173423 140734900176220 140734900176220 140734900178895 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 10850656 KiB
Current children cumulated memory: 738156 KiB
Child status: 143
Real time (s): 2443.73
CPU time (s): 2520.13
CPU user time (s): 2516.37
CPU system time (s): 3.75804
CPU usage (%): 103.126
Max. virtual memory (cumulated for all children) (KiB): 10851208
Max. memory (cumulated for all children) (KiB): 2105072
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.37
system time used= 3.75804
maximum resident set size= 2107120
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 481405
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3336
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 220383
involuntary context switches= 6056
# summary of solver processes directly reported to runsolver:
# pid: 19821
# total CPU time (s): 2520.13
# total CPU user time (s): 2516.37
# total CPU system time (s): 3.75804
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.3177 second user time and 22.4514 second system time
The end