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 (14369 MiB free)
memory of node 1: 16384 MiB (13178 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4301670-1532883601/watcher-4301670-1532883601 -o /tmp/evaluation-result-4301670-1532883601/solver-4301670-1532883601 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node151-1532877021-22036 --watchdog 312 java -DCompetitionOutput -jar HOME/sat4j-csp-final.jar HOME/instance-4301670-1532883601.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=27971, runsolver pid=27968
[startup+0.101177 s]*
/proc/loadavg: 4.48 3.39 2.87 2/199 27986
/proc/meminfo: memFree=28143816/32770624 swapFree=67108860/67108860
[pid=27971] ppid=27968 vsize=10659012 memory=29460 CPUtime=0.11 cores=1,3,5,7
/proc/27971/stat : 27971 (java) S 27968 27971 22004 0 -1 1077944320 6464 0 0 0 10 1 0 0 20 0 15 0 105923387 10914828288 7365 33554432000 4194304 4196468 140721858147504 140721858130048 140007780318967 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28766208 140721858151542 140721858151694 140721858151694 140721858154447 0
/proc/27971/statm: 2664753 7365 2839 1 0 2627263 0
[pid=27971/tid=27973] ppid=27968 vsize=10659012 memory=5450919713671312938 CPUtime=0.09 cores=1,3,5,7
/proc/27971/task/27973/stat : 27973 (java) R 27968 27971 22004 0 -1 4202560 4255 0 0 0 8 1 0 0 20 0 15 0 105923387 10914828288 7365 33554432000 4194304 4196468 140721858147504 140007784523632 140007780330902 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28766208 140721858151542 140721858151694 140721858151694 140721858154447 0
[pid=27971/tid=27974] ppid=27968 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27971/task/27974/stat : 27974 (java) S 27968 27971 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105923388 10914828288 7365 33554432000 4194304 4196468 140721858147504 140007747877648 140007780329173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28766208 140721858151542 140721858151694 140721858151694 140721858154447 0
[pid=27971/tid=27975] ppid=27968 vsize=10659012 memory=139670971373184 CPUtime=0 cores=1,3,5,7
/proc/27971/task/27975/stat : 27975 (java) S 27968 27971 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105923388 10914828288 7365 33554432000 4194304 4196468 140721858147504 140007386311568 140007780329173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28766208 140721858151542 140721858151694 140721858151694 140721858154447 0
[pid=27971/tid=27976] ppid=27968 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27971/task/27976/stat : 27976 (java) S 27968 27971 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105923388 10914828288 7365 33554432000 4194304 4196468 140721858147504 140007385259024 140007780329173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28766208 140721858151542 140721858151694 140721858151694 140721858154447 0
[pid=27971/tid=27977] ppid=27968 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27971/task/27977/stat : 27977 (java) S 27968 27971 22004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105923388 10914828288 7365 33554432000 4194304 4196468 140721858147504 140007384206480 140007780329173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28766208 140721858151542 140721858151694 140721858151694 140721858154447 0
[pid=27971/tid=27978] ppid=27968 vsize=10659012 memory=139670971373184 CPUtime=0 cores=1,3,5,7
/proc/27971/task/27978/stat : 27978 (java) S 27968 27971 22004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105923389 10914828288 7365 33554432000 4194304 4196468 140721858147504 140007138371568 140007780330114 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28766208 140721858151542 140721858151694 140721858151694 140721858154447 0
[pid=27971/tid=27979] ppid=27968 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27971/task/27979/stat : 27979 (java) S 27968 27971 22004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105923390 10914828288 7365 33554432000 4194304 4196468 140721858147504 140007137317792 140007780329173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28766208 140721858151542 140721858151694 140721858151694 140721858154447 0
[pid=27971/tid=27980] ppid=27968 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27971/task/27980/stat : 27980 (java) S 27968 27971 22004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105923390 10914828288 7365 33554432000 4194304 4196468 140721858147504 140007136265200 140007780329173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28766208 140721858151542 140721858151694 140721858151694 140721858154447 0
[pid=27971/tid=27981] ppid=27968 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27971/task/27981/stat : 27981 (java) S 27968 27971 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105923392 10914828288 7365 33554432000 4194304 4196468 140721858147504 140007135213776 140007780337563 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28766208 140721858151542 140721858151694 140721858151694 140721858154447 0
[pid=27971/tid=27982] ppid=27968 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27971/task/27982/stat : 27982 (java) S 27968 27971 22004 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 15 0 105923392 10914828288 7365 33554432000 4194304 4196468 140721858147504 140007134161392 140007780330114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28766208 140721858151542 140721858151694 140721858151694 140721858154447 0
[pid=27971/tid=27983] ppid=27968 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27971/task/27983/stat : 27983 (java) S 27968 27971 22004 0 -1 1077944384 153 0 0 0 0 0 0 0 20 0 15 0 105923392 10914828288 7365 33554432000 4194304 4196468 140721858147504 140007133108848 140007780330114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28766208 140721858151542 140721858151694 140721858151694 140721858154447 0
[pid=27971/tid=27984] ppid=27968 vsize=10659012 memory=139670971373184 CPUtime=0.01 cores=1,3,5,7
/proc/27971/task/27984/stat : 27984 (java) R 27968 27971 22004 0 -1 4202560 384 0 0 0 1 0 0 0 20 0 15 0 105923392 10914828288 7365 33554432000 4194304 4196468 140721858147504 140007132056304 140007761547037 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28766208 140721858151542 140721858151694 140721858151694 140721858154447 0
[pid=27971/tid=27985] ppid=27968 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27971/task/27985/stat : 27985 (java) S 27968 27971 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105923393 10914828288 7365 33554432000 4194304 4196468 140721858147504 140007131004000 140007780329173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28766208 140721858151542 140721858151694 140721858151694 140721858154447 0
[pid=27971/tid=27986] ppid=27968 vsize=10659012 memory=139670971373184 CPUtime=0 cores=1,3,5,7
/proc/27971/task/27986/stat : 27986 (java) S 27968 27971 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105923393 10914828288 7365 33554432000 4194304 4196468 140721858147504 140007129950512 140007780330114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28766208 140721858151542 140721858151694 140721858151694 140721858154447 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 29460 KiB
[startup+0.211377 s]*
/proc/loadavg: 4.48 3.39 2.87 5/199 27986
/proc/meminfo: memFree=28082364/32770624 swapFree=67108860/67108860
[pid=27971] ppid=27968 vsize=10659012 memory=40528 CPUtime=0.32 cores=1,3,5,7
/proc/27971/stat : 27971 (java) S 27968 27971 22004 0 -1 1077944320 7771 0 0 0 30 2 0 0 20 0 15 0 105923387 10914828288 10132 33554432000 4194304 4196468 140721858147504 140721858130048 140007780318967 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28766208 140721858151542 140721858151694 140721858151694 140721858154447 0
/proc/27971/statm: 2664753 10132 2996 1 0 2627263 0
[pid=27971/tid=27973] ppid=27968 vsize=10659012 memory=7311146985107750967 CPUtime=0.19 cores=1,3,5,7
/proc/27971/task/27973/stat : 27973 (java) R 27968 27971 22004 0 -1 4202560 4607 0 0 0 18 1 0 0 20 0 15 0 105923387 10914828288 10132 33554432000 4194304 4196468 140721858147504 140007784555248 140007780330902 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28766208 140721858151542 140721858151694 140721858151694 140721858154447 0
[pid=27971/tid=27974] ppid=27968 vsize=10659012 memory=14547 CPUtime=0 cores=1,3,5,7
/proc/27971/task/27974/stat : 27974 (java) S 27968 27971 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105923388 10914828288 10132 33554432000 4194304 4196468 140721858147504 140007747877648 140007780329173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28766208 140721858151542 140721858151694 140721858151694 140721858154447 0
[pid=27971/tid=27975] ppid=27968 vsize=10659012 memory=139670971395471 CPUtime=0 cores=1,3,5,7
/proc/27971/task/27975/stat : 27975 (java) S 27968 27971 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105923388 10914828288 10132 33554432000 4194304 4196468 140721858147504 140007386311568 140007780329173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28766208 140721858151542 140721858151694 140721858151694 140721858154447 0
[pid=27971/tid=27976] ppid=27968 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27971/task/27976/stat : 27976 (java) S 27968 27971 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105923388 10914828288 10132 33554432000 4194304 4196468 140721858147504 140007385259024 140007780329173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28766208 140721858151542 140721858151694 140721858151694 140721858154447 0
[pid=27971/tid=27977] ppid=27968 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27971/task/27977/stat : 27977 (java) S 27968 27971 22004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105923388 10914828288 10132 33554432000 4194304 4196468 140721858147504 140007384206480 140007780329173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28766208 140721858151542 140721858151694 140721858151694 140721858154447 0
[pid=27971/tid=27978] ppid=27968 vsize=10659012 memory=139670971373184 CPUtime=0 cores=1,3,5,7
/proc/27971/task/27978/stat : 27978 (java) S 27968 27971 22004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105923389 10914828288 10132 33554432000 4194304 4196468 140721858147504 140007138371568 140007780330114 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28766208 140721858151542 140721858151694 140721858151694 140721858154447 0
[pid=27971/tid=27979] ppid=27968 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27971/task/27979/stat : 27979 (java) S 27968 27971 22004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105923390 10914828288 10132 33554432000 4194304 4196468 140721858147504 140007137317792 140007780329173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28766208 140721858151542 140721858151694 140721858151694 140721858154447 0
[pid=27971/tid=27980] ppid=27968 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27971/task/27980/stat : 27980 (java) S 27968 27971 22004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105923390 10914828288 10132 33554432000 4194304 4196468 140721858147504 140007136265200 140007780329173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28766208 140721858151542 140721858151694 140721858151694 140721858154447 0
[pid=27971/tid=27981] ppid=27968 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27971/task/27981/stat : 27981 (java) S 27968 27971 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105923392 10914828288 10132 33554432000 4194304 4196468 140721858147504 140007135213776 140007780337563 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28766208 140721858151542 140721858151694 140721858151694 140721858154447 0
[pid=27971/tid=27982] ppid=27968 vsize=10659012 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/27971/task/27982/stat : 27982 (java) S 27968 27971 22004 0 -1 1077944384 548 0 0 0 2 0 0 0 20 0 15 0 105923392 10914828288 10132 33554432000 4194304 4196468 140721858147504 140007134161392 140007780330114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28766208 140721858151542 140721858151694 140721858151694 140721858154447 0
[pid=27971/tid=27983] ppid=27968 vsize=10659012 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/27971/task/27983/stat : 27983 (java) S 27968 27971 22004 0 -1 1077944384 460 0 0 0 2 0 0 0 20 0 15 0 105923392 10914828288 10132 33554432000 4194304 4196468 140721858147504 140007133108848 140007780330114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28766208 140721858151542 140721858151694 140721858151694 140721858154447 0
[pid=27971/tid=27984] ppid=27968 vsize=10659012 memory=139670971373184 CPUtime=0.07 cores=1,3,5,7
/proc/27971/task/27984/stat : 27984 (java) R 27968 27971 22004 0 -1 4202560 789 0 0 0 7 0 0 0 20 0 15 0 105923392 10914828288 10132 33554432000 4194304 4196468 140721858147504 140007132056304 140007759047114 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28766208 140721858151542 140721858151694 140721858151694 140721858154447 0
[pid=27971/tid=27985] ppid=27968 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27971/task/27985/stat : 27985 (java) S 27968 27971 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105923393 10914828288 10132 33554432000 4194304 4196468 140721858147504 140007131004000 140007780329173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28766208 140721858151542 140721858151694 140721858151694 140721858154447 0
[pid=27971/tid=27986] ppid=27968 vsize=10659012 memory=139670971373184 CPUtime=0 cores=1,3,5,7
/proc/27971/task/27986/stat : 27986 (java) S 27968 27971 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105923393 10914828288 10132 33554432000 4194304 4196468 140721858147504 140007129950512 140007780330114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28766208 140721858151542 140721858151694 140721858151694 140721858154447 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 40528 KiB
[startup+0.315033 s]*
/proc/loadavg: 4.48 3.39 2.87 5/197 27986
/proc/meminfo: memFree=28036640/32770624 swapFree=67108860/67108860
[pid=27971] ppid=27968 vsize=10659012 memory=55408 CPUtime=0.57 cores=1,3,5,7
/proc/27971/stat : 27971 (java) S 27968 27971 22004 0 -1 1077944320 9440 0 0 0 55 2 0 0 20 0 15 0 105923387 10914828288 13852 33554432000 4194304 4196468 140721858147504 140721858130048 140007780318967 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28766208 140721858151542 140721858151694 140721858151694 140721858154447 0
/proc/27971/statm: 2664753 13852 3048 1 0 2627263 0
[pid=27971/tid=27973] ppid=27968 vsize=10659012 memory=8324523023119121294 CPUtime=0.29 cores=1,3,5,7
/proc/27971/task/27973/stat : 27973 (java) R 27968 27971 22004 0 -1 4202560 4973 0 0 0 28 1 0 0 20 0 15 0 105923387 10914828288 13852 33554432000 4194304 4196468 140721858147504 140007784557216 140007780340893 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28766208 140721858151542 140721858151694 140721858151694 140721858154447 0
[pid=27971/tid=27974] ppid=27968 vsize=10659012 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/27971/task/27974/stat : 27974 (java) S 27968 27971 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105923388 10914828288 13852 33554432000 4194304 4196468 140721858147504 140007747877648 140007780329173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28766208 140721858151542 140721858151694 140721858151694 140721858154447 0
[pid=27971/tid=27975] ppid=27968 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27971/task/27975/stat : 27975 (java) S 27968 27971 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105923388 10914828288 13852 33554432000 4194304 4196468 140721858147504 140007386311568 140007780329173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28766208 140721858151542 140721858151694 140721858151694 140721858154447 0
[pid=27971/tid=27976] ppid=27968 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27971/task/27976/stat : 27976 (java) S 27968 27971 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105923388 10914828288 13852 33554432000 4194304 4196468 140721858147504 140007385259024 140007780329173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28766208 140721858151542 140721858151694 140721858151694 140721858154447 0
[pid=27971/tid=27977] ppid=27968 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27971/task/27977/stat : 27977 (java) S 27968 27971 22004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105923388 10914828288 13852 33554432000 4194304 4196468 140721858147504 140007384206480 140007780329173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28766208 140721858151542 140721858151694 140721858151694 140721858154447 0
[pid=27971/tid=27978] ppid=27968 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27971/task/27978/stat : 27978 (java) S 27968 27971 22004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105923389 10914828288 13852 33554432000 4194304 4196468 140721858147504 140007138371568 140007780330114 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28766208 140721858151542 140721858151694 140721858151694 140721858154447 0
[pid=27971/tid=27979] ppid=27968 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27971/task/27979/stat : 27979 (java) S 27968 27971 22004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105923390 10914828288 13852 33554432000 4194304 4196468 140721858147504 140007137317792 140007780329173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28766208 140721858151542 140721858151694 140721858151694 140721858154447 0
[pid=27971/tid=27980] ppid=27968 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27971/task/27980/stat : 27980 (java) S 27968 27971 22004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105923390 10914828288 13852 33554432000 4194304 4196468 140721858147504 140007136265200 140007780329173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28766208 140721858151542 140721858151694 140721858151694 140721858154447 0
[pid=27971/tid=27981] ppid=27968 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27971/task/27981/stat : 27981 (java) S 27968 27971 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105923392 10914828288 13852 33554432000 4194304 4196468 140721858147504 140007135213776 140007780337563 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28766208 140721858151542 140721858151694 140721858151694 140721858154447 0
[pid=27971/tid=27982] ppid=27968 vsize=10659012 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27971/task/27982/stat : 27982 (java) S 27968 27971 22004 0 -1 1077944384 1042 0 0 0 7 0 0 0 20 0 15 0 105923392 10914828288 13852 33554432000 4194304 4196468 140721858147504 140007134161392 140007780330114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28766208 140721858151542 140721858151694 140721858151694 140721858154447 0
[pid=27971/tid=27983] ppid=27968 vsize=10659012 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27971/task/27983/stat : 27983 (java) R 27968 27971 22004 0 -1 4202560 1008 0 0 0 7 0 0 0 20 0 15 0 105923392 10914828288 13852 33554432000 4194304 4196468 140721858147504 140007133099976 140007764607968 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28766208 140721858151542 140721858151694 140721858151694 140721858154447 0
[pid=27971/tid=27984] ppid=27968 vsize=10659012 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/27971/task/27984/stat : 27984 (java) S 27968 27971 22004 0 -1 1077944384 1055 0 0 0 12 0 0 0 20 0 15 0 105923392 10914828288 13852 33554432000 4194304 4196468 140721858147504 140007132056304 140007780330114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28766208 140721858151542 140721858151694 140721858151694 140721858154447 0
[pid=27971/tid=27985] ppid=27968 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27971/task/27985/stat : 27985 (java) S 27968 27971 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105923393 10914828288 13852 33554432000 4194304 4196468 140721858147504 140007131004000 140007780329173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28766208 140721858151542 140721858151694 140721858151694 140721858154447 0
[pid=27971/tid=27986] ppid=27968 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27971/task/27986/stat : 27986 (java) S 27968 27971 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105923393 10914828288 13852 33554432000 4194304 4196468 140721858147504 140007129950512 140007780330114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28766208 140721858151542 140721858151694 140721858151694 140721858154447 0
Current children cumulated CPU time: 0.57 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 55408 KiB
[startup+0.70499 s]
/proc/loadavg: 4.48 3.39 2.87 7/197 27986
/proc/meminfo: memFree=27860580/32770624 swapFree=67108860/67108860
[pid=27971] ppid=27968 vsize=10659088 memory=293556 CPUtime=1.58 cores=1,3,5,7
/proc/27971/stat : 27971 (java) S 27968 27971 22004 0 -1 1077944320 11608 0 0 0 138 20 0 0 20 0 15 0 105923387 10914906112 73389 33554432000 4194304 4196468 140721858147504 140721858130048 140007780318967 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28766208 140721858151542 140721858151694 140721858151694 140721858154447 0
/proc/27971/statm: 2664772 73389 3102 1 0 2627263 0
[pid=27971/tid=27973] ppid=27968 vsize=10659088 memory=1840 CPUtime=0.61 cores=1,3,5,7
/proc/27971/task/27973/stat : 27973 (java) R 27968 27971 22004 0 -1 4202560 5393 0 0 0 55 6 0 0 20 0 15 0 105923387 10914906112 73389 33554432000 4194304 4196468 140721858147504 140007784556688 140007416872064 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28766208 140721858151542 140721858151694 140721858151694 140721858154447 0
[pid=27971/tid=27974] ppid=27968 vsize=10659088 memory=1004 CPUtime=0.04 cores=1,3,5,7
/proc/27971/task/27974/stat : 27974 (java) S 27968 27971 22004 0 -1 1077944384 54 0 0 0 2 2 0 0 20 0 15 0 105923388 10914906112 73418 33554432000 4194304 4196468 140721858147504 140007747877648 140007780329173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28766208 140721858151542 140721858151694 140721858151694 140721858154447 0
[pid=27971/tid=27975] ppid=27968 vsize=10659088 memory=12060 CPUtime=0.06 cores=1,3,5,7
/proc/27971/task/27975/stat : 27975 (java) S 27968 27971 22004 0 -1 1077944384 63 0 0 0 3 3 0 0 20 0 15 0 105923388 10914906112 73418 33554432000 4194304 4196468 140721858147504 140007386311568 140007780329173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28766208 140721858151542 140721858151694 140721858151694 140721858154447 0
[pid=27971/tid=27976] ppid=27968 vsize=10659088 memory=5788 CPUtime=0.06 cores=1,3,5,7
/proc/27971/task/27976/stat : 27976 (java) S 27968 27971 22004 0 -1 1077944384 61 0 0 0 3 3 0 0 20 0 15 0 105923388 10914906112 73418 33554432000 4194304 4196468 140721858147504 140007385259024 140007780329173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28766208 140721858151542 140721858151694 140721858151694 140721858154447 0
[pid=27971/tid=27977] ppid=27968 vsize=10659088 memory=792 CPUtime=0.06 cores=1,3,5,7
/proc/27971/task/27977/stat : 27977 (java) S 27968 27971 22004 0 -1 1077944384 70 0 0 0 3 3 0 0 20 0 15 0 105923388 10914906112 73418 33554432000 4194304 4196468 140721858147504 140007384206480 140007780329173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28766208 140721858151542 140721858151694 140721858151694 140721858154447 0
[pid=27971/tid=27978] ppid=27968 vsize=10659088 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/27971/task/27978/stat : 27978 (java) S 27968 27971 22004 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 105923389 10914906112 73418 33554432000 4194304 4196468 140721858147504 140007138371568 140007780330114 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28766208 140721858151542 140721858151694 140721858151694 140721858154447 0
[pid=27971/tid=27979] ppid=27968 vsize=10659088 memory=1944 CPUtime=0 cores=1,3,5,7
/proc/27971/task/27979/stat : 27979 (java) S 27968 27971 22004 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 105923390 10914906112 73418 33554432000 4194304 4196468 140721858147504 140007137317792 140007780329173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28766208 140721858151542 140721858151694 140721858151694 140721858154447 0
[pid=27971/tid=27980] ppid=27968 vsize=10659088 memory=1416 CPUtime=0 cores=1,3,5,7
/proc/27971/task/27980/stat : 27980 (java) S 27968 27971 22004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105923390 10914906112 73418 33554432000 4194304 4196468 140721858147504 140007136265200 140007780329173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28766208 140721858151542 140721858151694 140721858151694 140721858154447 0
[pid=27971/tid=27981] ppid=27968 vsize=10659088 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/27971/task/27981/stat : 27981 (java) S 27968 27971 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105923392 10914906112 73418 33554432000 4194304 4196468 140721858147504 140007135213776 140007780337563 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28766208 140721858151542 140721858151694 140721858151694 140721858154447 0
[pid=27971/tid=27982] ppid=27968 vsize=10659088 memory=1572 CPUtime=0.2 cores=1,3,5,7
/proc/27971/task/27982/stat : 27982 (java) R 27968 27971 22004 0 -1 4202560 1487 0 0 0 20 0 0 0 20 0 15 0 105923392 10914906112 73418 33554432000 4194304 4196468 140721858147504 140007134147488 140007761497951 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28766208 140721858151542 140721858151694 140721858151694 140721858154447 0
[pid=27971/tid=27983] ppid=27968 vsize=10659088 memory=2244 CPUtime=0.31 cores=1,3,5,7
/proc/27971/task/27983/stat : 27983 (java) R 27968 27971 22004 0 -1 4202560 1767 0 0 0 31 0 0 0 20 0 15 0 105923392 10914906112 73418 33554432000 4194304 4196468 140721858147504 140007133088912 140007763705752 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28766208 140721858151542 140721858151694 140721858151694 140721858154447 0
[pid=27971/tid=27984] ppid=27968 vsize=10659088 memory=4124 CPUtime=0.19 cores=1,3,5,7
/proc/27971/task/27984/stat : 27984 (java) R 27968 27971 22004 0 -1 4202560 1273 0 0 0 19 0 0 0 20 0 15 0 105923392 10914906112 73418 33554432000 4194304 4196468 140721858147504 140007132052256 140007773418814 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28766208 140721858151542 140721858151694 140721858151694 140721858154447 0
[pid=27971/tid=27985] ppid=27968 vsize=10659088 memory=2200 CPUtime=0 cores=1,3,5,7
/proc/27971/task/27985/stat : 27985 (java) S 27968 27971 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105923393 10914906112 73418 33554432000 4194304 4196468 140721858147504 140007131004000 140007780329173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28766208 140721858151542 140721858151694 140721858151694 140721858154447 0
[pid=27971/tid=27986] ppid=27968 vsize=10659088 memory=8148 CPUtime=0 cores=1,3,5,7
/proc/27971/task/27986/stat : 27986 (java) S 27968 27971 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105923393 10914906112 73418 33554432000 4194304 4196468 140721858147504 140007129950512 140007780330114 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28766208 140721858151542 140721858151694 140721858151694 140721858154447 0
Current children cumulated CPU time: 1.58 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 293556 KiB
[startup+1.50081 s]
/proc/loadavg: 4.48 3.39 2.87 7/217 28011
/proc/meminfo: memFree=27680844/32770624 swapFree=67108860/67108860
[pid=27971] ppid=27968 vsize=10659088 memory=441820 CPUtime=4.13 cores=1,3,5,7
/proc/27971/stat : 27971 (java) S 27968 27971 22004 0 -1 1077944320 25463 0 0 0 383 30 0 0 20 0 15 0 105923387 10914906112 110455 33554432000 4194304 4196468 140721858147504 140721858130048 140007780318967 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28766208 140721858151542 140721858151694 140721858151694 140721858154447 0
/proc/27971/statm: 2664772 110455 3128 1 0 2627263 0
[pid=27971/tid=27973] ppid=27968 vsize=10659088 memory=0 CPUtime=1.34 cores=1,3,5,7
/proc/27971/task/27973/stat : 27973 (java) R 27968 27971 22004 0 -1 4202560 5504 0 0 0 128 6 0 0 20 0 15 0 105923387 10914906112 110455 33554432000 4194304 4196468 140721858147504 140007784554624 140007420280881 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28766208 140721858151542 140721858151694 140721858151694 140721858154447 0
[pid=27971/tid=27974] ppid=27968 vsize=10659088 memory=8740 CPUtime=0.08 cores=1,3,5,7
/proc/27971/task/27974/stat : 27974 (java) S 27968 27971 22004 0 -1 1077944384 223 0 0 0 4 4 0 0 20 0 15 0 105923388 10914906112 110455 33554432000 4194304 4196468 140721858147504 140007747877648 140007780329173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28766208 140721858151542 140721858151694 140721858151694 140721858154447 0
[pid=27971/tid=27975] ppid=27968 vsize=10659088 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/27971/task/27975/stat : 27975 (java) S 27968 27971 22004 0 -1 1077944384 117 0 0 0 5 5 0 0 20 0 15 0 105923388 10914906112 110455 33554432000 4194304 4196468 140721858147504 140007386311568 140007780329173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28766208 140721858151542 140721858151694 140721858151694 140721858154447 0
[pid=27971/tid=27976] ppid=27968 vsize=10659088 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/27971/task/27976/stat : 27976 (java) S 27968 27971 22004 0 -1 1077944384 94 0 0 0 3 5 0 0 20 0 15 0 105923388 10914906112 110455 33554432000 4194304 4196468 140721858147504 140007385259024 140007780329173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28766208 140721858151542 140721858151694 140721858151694 140721858154447 0
[pid=27971/tid=27977] ppid=27968 vsize=10659088 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/27971/task/27977/stat : 27977 (java) S 27968 27971 22004 0 -1 1077944384 217 0 0 0 6 5 0 0 20 0 15 0 105923388 10914906112 110455 33554432000 4194304 4196468 140721858147504 140007384206480 140007780329173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28766208 140721858151542 140721858151694 140721858151694 140721858154447 0
[pid=27971/tid=27978] ppid=27968 vsize=10659088 memory=4629771062077588875 CPUtime=0 cores=1,3,5,7
/proc/27971/task/27978/stat : 27978 (java) S 27968 27971 22004 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 105923389 10914906112 110455 33554432000 4194304 4196468 140721858147504 140007138371568 140007780330114 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28766208 140721858151542 140721858151694 140721858151694 140721858154447 0
################
# More data... #
################
[startup+92.1845 s]
# the end of solver process 27971 was just reported to runsolver
# cumulated CPU time of all completed processes: user=253.775 s, system=6.22493 s
Solver just ended.
Dumping a history of the last processes samples
[startup+91.2007 s]
/proc/loadavg: 3.90 3.47 2.94 9/217 28034
/proc/meminfo: memFree=11392808/32770624 swapFree=67108860/67108860
[pid=27971] ppid=27968 vsize=10661136 memory=8348276 CPUtime=256.34 cores=1,3,5,7
/proc/27971/stat : 27971 (java) S 27968 27971 22004 0 -1 1077944320 911441 0 0 0 25020 614 0 0 20 0 15 0 105923387 10917003264 2087069 33554432000 4194304 4196468 140721858147504 140721858130048 140007780318967 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28766208 140721858151542 140721858151694 140721858151694 140721858154447 0
/proc/27971/statm: 2665284 2087069 3192 1 0 2627775 0
[pid=27971/tid=27973] ppid=27968 vsize=10661136 memory=8348264 CPUtime=24.99 cores=1,3,5,7
/proc/27971/task/27973/stat : 27973 (java) S 27968 27971 22004 0 -1 1077944384 22097 0 0 0 2468 31 0 0 20 0 15 0 105923387 10917003264 2087069 33554432000 4194304 4196468 140721858147504 140007784551584 140007780329173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28766208 140721858151542 140721858151694 140721858151694 140721858154447 0
[pid=27971/tid=27974] ppid=27968 vsize=10661136 memory=8348264 CPUtime=52.5 cores=1,3,5,7
/proc/27971/task/27974/stat : 27974 (java) R 27968 27971 22004 0 -1 4202560 153391 0 0 0 5113 137 0 0 20 0 15 0 105923388 10917003264 2087069 33554432000 4194304 4196468 140721858147504 140007747877544 140007772947175 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28766208 140721858151542 140721858151694 140721858151694 140721858154447 0
[pid=27971/tid=27975] ppid=27968 vsize=10661136 memory=56 CPUtime=52.6 cores=1,3,5,7
/proc/27971/task/27975/stat : 27975 (java) R 27968 27971 22004 0 -1 4202560 132398 0 0 0 5111 149 0 0 20 0 15 0 105923388 10917003264 2087069 33554432000 4194304 4196468 140721858147504 140007386311768 140007765269673 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28766208 140721858151542 140721858151694 140721858151694 140721858154447 0
[pid=27971/tid=27976] ppid=27968 vsize=10661136 memory=6791534058613427641 CPUtime=52.76 cores=1,3,5,7
/proc/27971/task/27976/stat : 27976 (java) R 27968 27971 22004 0 -1 4202560 300263 0 0 0 5131 145 0 0 20 0 15 0 105923388 10917003264 2087069 33554432000 4194304 4196468 140721858147504 140007385259224 140007765304208 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28766208 140721858151542 140721858151694 140721858151694 140721858154447 0
[pid=27971/tid=27977] ppid=27968 vsize=10661136 memory=30212 CPUtime=52.77 cores=1,3,5,7
/proc/27971/task/27977/stat : 27977 (java) R 27968 27971 22004 0 -1 4202560 211236 0 0 0 5138 139 0 0 20 0 15 0 105923388 10917003264 2087069 33554432000 4194304 4196468 140721858147504 140007384206064 140007763702002 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28766208 140721858151542 140721858151694 140721858151694 140721858154447 0
[pid=27971/tid=27978] ppid=27968 vsize=10661136 memory=1296 CPUtime=12.79 cores=1,3,5,7
/proc/27971/task/27978/stat : 27978 (java) S 27968 27971 22004 0 -1 1077944384 37304 0 0 0 1277 2 0 0 20 0 15 0 105923389 10917003264 2087069 33554432000 4194304 4196468 140721858147504 140007138369888 140007780329173 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28766208 140721858151542 140721858151694 140721858151694 140721858154447 0
[pid=27971/tid=27979] ppid=27968 vsize=10661136 memory=2424 CPUtime=0 cores=1,3,5,7
/proc/27971/task/27979/stat : 27979 (java) S 27968 27971 22004 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 105923390 10917003264 2087069 33554432000 4194304 4196468 140721858147504 140007137317856 140007780329173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28766208 140721858151542 140721858151694 140721858151694 140721858154447 0
[pid=27971/tid=27980] ppid=27968 vsize=10661136 memory=8327184 CPUtime=0 cores=1,3,5,7
/proc/27971/task/27980/stat : 27980 (java) S 27968 27971 22004 0 -1 1077944384 107 0 0 0 0 0 0 0 20 0 15 0 105923390 10917003264 2087069 33554432000 4194304 4196468 140721858147504 140007136265216 140007780329173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28766208 140721858151542 140721858151694 140721858151694 140721858154447 0
[pid=27971/tid=27981] ppid=27968 vsize=10661136 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/27971/task/27981/stat : 27981 (java) S 27968 27971 22004 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 105923392 10917003264 2087069 33554432000 4194304 4196468 140721858147504 140007135213424 140007780329173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28766208 140721858151542 140721858151694 140721858151694 140721858154447 0
[pid=27971/tid=27982] ppid=27968 vsize=10661136 memory=4124 CPUtime=3.66 cores=1,3,5,7
/proc/27971/task/27982/stat : 27982 (java) S 27968 27971 22004 0 -1 1077944384 25482 0 0 0 364 2 0 0 20 0 15 0 105923392 10917003264 2087069 33554432000 4194304 4196468 140721858147504 140007134161392 140007780330114 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28766208 140721858151542 140721858151694 140721858151694 140721858154447 0
[pid=27971/tid=27983] ppid=27968 vsize=10661136 memory=2200 CPUtime=3.41 cores=1,3,5,7
/proc/27971/task/27983/stat : 27983 (java) S 27968 27971 22004 0 -1 1077944384 19427 0 0 0 339 2 0 0 20 0 15 0 105923392 10917003264 2087069 33554432000 4194304 4196468 140721858147504 140007133108848 140007780330114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28766208 140721858151542 140721858151694 140721858151694 140721858154447 0
[pid=27971/tid=27984] ppid=27968 vsize=10661136 memory=8148 CPUtime=0.73 cores=1,3,5,7
/proc/27971/task/27984/stat : 27984 (java) S 27968 27971 22004 0 -1 1077944384 7088 0 0 0 71 2 0 0 20 0 15 0 105923392 10917003264 2087069 33554432000 4194304 4196468 140721858147504 140007132056304 140007780330114 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28766208 140721858151542 140721858151694 140721858151694 140721858154447 0
[pid=27971/tid=27985] ppid=27968 vsize=10661136 memory=1944 CPUtime=0 cores=1,3,5,7
/proc/27971/task/27985/stat : 27985 (java) S 27968 27971 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105923393 10917003264 2087069 33554432000 4194304 4196468 140721858147504 140007131004000 140007780329173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28766208 140721858151542 140721858151694 140721858151694 140721858154447 0
[pid=27971/tid=27986] ppid=27968 vsize=10661136 memory=1416 CPUtime=0.04 cores=1,3,5,7
/proc/27971/task/27986/stat : 27986 (java) S 27968 27971 22004 0 -1 1077944384 1268 0 0 0 1 3 0 0 20 0 15 0 105923393 10917003264 2087069 33554432000 4194304 4196468 140721858147504 140007129950512 140007780330114 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28766208 140721858151542 140721858151694 140721858151694 140721858154447 0
Current children cumulated CPU time: 256.34 s
Current children cumulated vsize: 10661136 KiB
Current children cumulated memory: 8348276 KiB
[startup+91.6007 s]
/proc/loadavg: 3.90 3.47 2.94 9/217 28034
/proc/meminfo: memFree=11392808/32770624 swapFree=67108860/67108860
[pid=27971] ppid=27968 vsize=10661136 memory=8348276 CPUtime=257.92 cores=1,3,5,7
/proc/27971/stat : 27971 (java) S 27968 27971 22004 0 -1 1077944320 911441 0 0 0 25177 615 0 0 20 0 15 0 105923387 10917003264 2087069 33554432000 4194304 4196468 140721858147504 140721858130048 140007780318967 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28766208 140721858151542 140721858151694 140721858151694 140721858154447 0
/proc/27971/statm: 2665284 2087069 3192 1 0 2627775 0
[pid=27971/tid=27973] ppid=27968 vsize=10661136 memory=4124 CPUtime=24.99 cores=1,3,5,7
/proc/27971/task/27973/stat : 27973 (java) S 27968 27971 22004 0 -1 1077944384 22097 0 0 0 2468 31 0 0 20 0 15 0 105923387 10917003264 2087069 33554432000 4194304 4196468 140721858147504 140007784551584 140007780329173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28766208 140721858151542 140721858151694 140721858151694 140721858154447 0
[pid=27971/tid=27974] ppid=27968 vsize=10661136 memory=2200 CPUtime=52.88 cores=1,3,5,7
/proc/27971/task/27974/stat : 27974 (java) R 27968 27971 22004 0 -1 4202560 153391 0 0 0 5151 137 0 0 20 0 15 0 105923388 10917003264 2087069 33554432000 4194304 4196468 140721858147504 140007747877544 140007772947175 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28766208 140721858151542 140721858151694 140721858151694 140721858154447 0
[pid=27971/tid=27975] ppid=27968 vsize=10661136 memory=6791534058613427641 CPUtime=53 cores=1,3,5,7
/proc/27971/task/27975/stat : 27975 (java) R 27968 27971 22004 0 -1 4202560 132398 0 0 0 5151 149 0 0 20 0 15 0 105923388 10917003264 2087069 33554432000 4194304 4196468 140721858147504 140007386311768 140007765304263 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28766208 140721858151542 140721858151694 140721858151694 140721858154447 0
[pid=27971/tid=27976] ppid=27968 vsize=10661136 memory=18004 CPUtime=53.16 cores=1,3,5,7
/proc/27971/task/27976/stat : 27976 (java) R 27968 27971 22004 0 -1 4202560 300263 0 0 0 5171 145 0 0 20 0 15 0 105923388 10917003264 2087069 33554432000 4194304 4196468 140721858147504 140007385259224 140007765270066 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28766208 140721858151542 140721858151694 140721858151694 140721858154447 0
[pid=27971/tid=27977] ppid=27968 vsize=10661136 memory=4052 CPUtime=53.15 cores=1,3,5,7
/proc/27971/task/27977/stat : 27977 (java) R 27968 27971 22004 0 -1 4202560 211236 0 0 0 5176 139 0 0 20 0 15 0 105923388 10917003264 2087069 33554432000 4194304 4196468 140721858147504 140007384206064 140007772947175 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28766208 140721858151542 140721858151694 140721858151694 140721858154447 0
[pid=27971/tid=27978] ppid=27968 vsize=10661136 memory=18248 CPUtime=12.79 cores=1,3,5,7
/proc/27971/task/27978/stat : 27978 (java) S 27968 27971 22004 0 -1 1077944384 37304 0 0 0 1277 2 0 0 20 0 15 0 105923389 10917003264 2087069 33554432000 4194304 4196468 140721858147504 140007138369888 140007780329173 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28766208 140721858151542 140721858151694 140721858151694 140721858154447 0
[pid=27971/tid=27979] ppid=27968 vsize=10661136 memory=640 CPUtime=0 cores=1,3,5,7
/proc/27971/task/27979/stat : 27979 (java) S 27968 27971 22004 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 105923390 10917003264 2087069 33554432000 4194304 4196468 140721858147504 140007137317856 140007780329173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28766208 140721858151542 140721858151694 140721858151694 140721858154447 0
[pid=27971/tid=27980] ppid=27968 vsize=10661136 memory=1784 CPUtime=0 cores=1,3,5,7
/proc/27971/task/27980/stat : 27980 (java) S 27968 27971 22004 0 -1 1077944384 107 0 0 0 0 0 0 0 20 0 15 0 105923390 10917003264 2087069 33554432000 4194304 4196468 140721858147504 140007136265216 140007780329173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28766208 140721858151542 140721858151694 140721858151694 140721858154447 0
[pid=27971/tid=27981] ppid=27968 vsize=10661136 memory=1236 CPUtime=0 cores=1,3,5,7
/proc/27971/task/27981/stat : 27981 (java) S 27968 27971 22004 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 105923392 10917003264 2087069 33554432000 4194304 4196468 140721858147504 140007135213424 140007780329173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28766208 140721858151542 140721858151694 140721858151694 140721858154447 0
[pid=27971/tid=27982] ppid=27968 vsize=10661136 memory=8148 CPUtime=3.66 cores=1,3,5,7
/proc/27971/task/27982/stat : 27982 (java) S 27968 27971 22004 0 -1 1077944384 25482 0 0 0 364 2 0 0 20 0 15 0 105923392 10917003264 2087069 33554432000 4194304 4196468 140721858147504 140007134161392 140007780330114 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28766208 140721858151542 140721858151694 140721858151694 140721858154447 0
[pid=27971/tid=27983] ppid=27968 vsize=10661136 memory=844 CPUtime=3.41 cores=1,3,5,7
/proc/27971/task/27983/stat : 27983 (java) S 27968 27971 22004 0 -1 1077944384 19427 0 0 0 339 2 0 0 20 0 15 0 105923392 10917003264 2087069 33554432000 4194304 4196468 140721858147504 140007133108848 140007780330114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28766208 140721858151542 140721858151694 140721858151694 140721858154447 0
[pid=27971/tid=27984] ppid=27968 vsize=10661136 memory=1796 CPUtime=0.73 cores=1,3,5,7
/proc/27971/task/27984/stat : 27984 (java) S 27968 27971 22004 0 -1 1077944384 7088 0 0 0 71 2 0 0 20 0 15 0 105923392 10917003264 2087069 33554432000 4194304 4196468 140721858147504 140007132056304 140007780330114 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28766208 140721858151542 140721858151694 140721858151694 140721858154447 0
[pid=27971/tid=27985] ppid=27968 vsize=10661136 memory=916 CPUtime=0 cores=1,3,5,7
/proc/27971/task/27985/stat : 27985 (java) S 27968 27971 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105923393 10917003264 2087069 33554432000 4194304 4196468 140721858147504 140007131004000 140007780329173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28766208 140721858151542 140721858151694 140721858151694 140721858154447 0
[pid=27971/tid=27986] ppid=27968 vsize=10661136 memory=3848 CPUtime=0.04 cores=1,3,5,7
/proc/27971/task/27986/stat : 27986 (java) S 27968 27971 22004 0 -1 1077944384 1268 0 0 0 1 3 0 0 20 0 15 0 105923393 10917003264 2087069 33554432000 4194304 4196468 140721858147504 140007129950512 140007780330114 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28766208 140721858151542 140721858151694 140721858151694 140721858154447 0
Current children cumulated CPU time: 257.92 s
Current children cumulated vsize: 10661136 KiB
Current children cumulated memory: 8348276 KiB
[startup+92.0007 s]*
/proc/loadavg: 3.90 3.47 2.94 9/217 28034
/proc/meminfo: memFree=11392808/32770624 swapFree=67108860/67108860
[pid=27971] ppid=27968 vsize=10661136 memory=8348276 CPUtime=259.51 cores=1,3,5,7
/proc/27971/stat : 27971 (java) S 27968 27971 22004 0 -1 1077944320 911443 0 0 0 25336 615 0 0 20 0 15 0 105923387 10917003264 2087069 33554432000 4194304 4196468 140721858147504 140721858130048 140007780318967 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28766208 140721858151542 140721858151694 140721858151694 140721858154447 0
/proc/27971/statm: 2665284 2087069 3192 1 0 2627775 0
[pid=27971/tid=27973] ppid=27968 vsize=10661136 memory=6655300316396806240 CPUtime=24.99 cores=1,3,5,7
/proc/27971/task/27973/stat : 27973 (java) S 27968 27971 22004 0 -1 1077944384 22097 0 0 0 2468 31 0 0 20 0 15 0 105923387 10917003264 2087069 33554432000 4194304 4196468 140721858147504 140007784551584 140007780329173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28766208 140721858151542 140721858151694 140721858151694 140721858154447 0
[pid=27971/tid=27974] ppid=27968 vsize=10661136 memory=6791534058613427641 CPUtime=53.26 cores=1,3,5,7
/proc/27971/task/27974/stat : 27974 (java) R 27968 27971 22004 0 -1 4202560 153391 0 0 0 5189 137 0 0 20 0 15 0 105923388 10917003264 2087069 33554432000 4194304 4196468 140721858147504 140007747877544 140007772947175 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28766208 140721858151542 140721858151694 140721858151694 140721858154447 0
[pid=27971/tid=27975] ppid=27968 vsize=10661136 memory=14133333739177380 CPUtime=53.41 cores=1,3,5,7
/proc/27971/task/27975/stat : 27975 (java) R 27968 27971 22004 0 -1 4202560 132399 0 0 0 5192 149 0 0 20 0 15 0 105923388 10917003264 2087069 33554432000 4194304 4196468 140721858147504 140007386311768 140007765269572 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28766208 140721858151542 140721858151694 140721858151694 140721858154447 0
[pid=27971/tid=27976] ppid=27968 vsize=10661136 memory=13570383785756066 CPUtime=53.57 cores=1,3,5,7
/proc/27971/task/27976/stat : 27976 (java) R 27968 27971 22004 0 -1 4202560 300264 0 0 0 5212 145 0 0 20 0 15 0 105923388 10917003264 2087069 33554432000 4194304 4196468 140721858147504 140007385259224 140007765270094 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28766208 140721858151542 140721858151694 140721858151694 140721858154447 0
[pid=27971/tid=27977] ppid=27968 vsize=10661136 memory=7822038051842263957 CPUtime=53.55 cores=1,3,5,7
/proc/27971/task/27977/stat : 27977 (java) R 27968 27971 22004 0 -1 4202560 211236 0 0 0 5215 140 0 0 20 0 15 0 105923388 10917003264 2087069 33554432000 4194304 4196468 140721858147504 140007384206064 140007772947175 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28766208 140721858151542 140721858151694 140721858151694 140721858154447 0
[pid=27971/tid=27978] ppid=27968 vsize=10661136 memory=4871374705135476842 CPUtime=12.79 cores=1,3,5,7
/proc/27971/task/27978/stat : 27978 (java) S 27968 27971 22004 0 -1 1077944384 37304 0 0 0 1277 2 0 0 20 0 15 0 105923389 10917003264 2087069 33554432000 4194304 4196468 140721858147504 140007138369888 140007780329173 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28766208 140721858151542 140721858151694 140721858151694 140721858154447 0
[pid=27971/tid=27979] ppid=27968 vsize=10661136 memory=-2961578254468854852 CPUtime=0 cores=1,3,5,7
/proc/27971/task/27979/stat : 27979 (java) S 27968 27971 22004 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 105923390 10917003264 2087069 33554432000 4194304 4196468 140721858147504 140007137317856 140007780329173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28766208 140721858151542 140721858151694 140721858151694 140721858154447 0
[pid=27971/tid=27980] ppid=27968 vsize=10661136 memory=7093276509834661992 CPUtime=0 cores=1,3,5,7
/proc/27971/task/27980/stat : 27980 (java) S 27968 27971 22004 0 -1 1077944384 107 0 0 0 0 0 0 0 20 0 15 0 105923390 10917003264 2087069 33554432000 4194304 4196468 140721858147504 140007136265216 140007780329173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28766208 140721858151542 140721858151694 140721858151694 140721858154447 0
[pid=27971/tid=27981] ppid=27968 vsize=10661136 memory=4640467278541889594 CPUtime=0 cores=1,3,5,7
/proc/27971/task/27981/stat : 27981 (java) S 27968 27971 22004 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 105923392 10917003264 2087069 33554432000 4194304 4196468 140721858147504 140007135213424 140007780329173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28766208 140721858151542 140721858151694 140721858151694 140721858154447 0
[pid=27971/tid=27982] ppid=27968 vsize=10661136 memory=7306361786056664936 CPUtime=3.66 cores=1,3,5,7
/proc/27971/task/27982/stat : 27982 (java) S 27968 27971 22004 0 -1 1077944384 25482 0 0 0 364 2 0 0 20 0 15 0 105923392 10917003264 2087069 33554432000 4194304 4196468 140721858147504 140007134161392 140007780330114 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28766208 140721858151542 140721858151694 140721858151694 140721858154447 0
[pid=27971/tid=27983] ppid=27968 vsize=10661136 memory=8101247189090653289 CPUtime=3.41 cores=1,3,5,7
/proc/27971/task/27983/stat : 27983 (java) S 27968 27971 22004 0 -1 1077944384 19427 0 0 0 339 2 0 0 20 0 15 0 105923392 10917003264 2087069 33554432000 4194304 4196468 140721858147504 140007133108848 140007780330114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28766208 140721858151542 140721858151694 140721858151694 140721858154447 0
[pid=27971/tid=27984] ppid=27968 vsize=10661136 memory=7453004820066431079 CPUtime=0.73 cores=1,3,5,7
/proc/27971/task/27984/stat : 27984 (java) S 27968 27971 22004 0 -1 1077944384 7088 0 0 0 71 2 0 0 20 0 15 0 105923392 10917003264 2087069 33554432000 4194304 4196468 140721858147504 140007132056304 140007780330114 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28766208 140721858151542 140721858151694 140721858151694 140721858154447 0
[pid=27971/tid=27985] ppid=27968 vsize=10661136 memory=7158862292550571360 CPUtime=0 cores=1,3,5,7
/proc/27971/task/27985/stat : 27985 (java) S 27968 27971 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105923393 10917003264 2087069 33554432000 4194304 4196468 140721858147504 140007131004000 140007780329173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28766208 140721858151542 140721858151694 140721858151694 140721858154447 0
[pid=27971/tid=27986] ppid=27968 vsize=10661136 memory=7734797396593848216 CPUtime=0.04 cores=1,3,5,7
/proc/27971/task/27986/stat : 27986 (java) S 27968 27971 22004 0 -1 1077944384 1268 0 0 0 1 3 0 0 20 0 15 0 105923393 10917003264 2087069 33554432000 4194304 4196468 140721858147504 140007129950512 140007780330114 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28766208 140721858151542 140721858151694 140721858151694 140721858154447 0
Current children cumulated CPU time: 259.51 s
Current children cumulated vsize: 10661136 KiB
Current children cumulated memory: 8348276 KiB
[startup+92.1103 s]
/proc/loadavg: 3.90 3.47 2.94 9/217 28034
/proc/meminfo: memFree=11392808/32770624 swapFree=67108860/67108860
[pid=27971] ppid=27968 vsize=10661136 memory=8348276 CPUtime=259.9 cores=1,3,5,7
/proc/27971/stat : 27971 (java) S 27968 27971 22004 0 -1 1077944320 911977 0 0 0 25375 615 0 0 20 0 15 0 105923387 10917003264 2087069 33554432000 4194304 4196468 140721858147504 140721858130048 140007780318967 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28766208 140721858151542 140721858151694 140721858151694 140721858154447 0
/proc/27971/statm: 2665284 2087069 3192 1 0 2627775 0
[pid=27971/tid=27973] ppid=27968 vsize=10661136 memory=8348276 CPUtime=24.99 cores=1,3,5,7
/proc/27971/task/27973/stat : 27973 (java) S 27968 27971 22004 0 -1 1077944384 22097 0 0 0 2468 31 0 0 20 0 15 0 105923387 10917003264 2087069 33554432000 4194304 4196468 140721858147504 140007784551584 140007780329173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28766208 140721858151542 140721858151694 140721858151694 140721858154447 0
[pid=27971/tid=27974] ppid=27968 vsize=10661136 memory=8348276 CPUtime=53.36 cores=1,3,5,7
/proc/27971/task/27974/stat : 27974 (java) R 27968 27971 22004 0 -1 4202560 153391 0 0 0 5199 137 0 0 20 0 15 0 105923388 10917003264 2087069 33554432000 4194304 4196468 140721858147504 140007747877544 140007772947175 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28766208 140721858151542 140721858151694 140721858151694 140721858154447 0
[pid=27971/tid=27975] ppid=27968 vsize=10661136 memory=8348276 CPUtime=53.51 cores=1,3,5,7
/proc/27971/task/27975/stat : 27975 (java) R 27968 27971 22004 0 -1 4202560 132632 0 0 0 5202 149 0 0 20 0 15 0 105923388 10917003264 2087069 33554432000 4194304 4196468 140721858147504 140007386311768 140007765304263 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28766208 140721858151542 140721858151694 140721858151694 140721858154447 0
[pid=27971/tid=27976] ppid=27968 vsize=10661136 memory=8348264 CPUtime=53.67 cores=1,3,5,7
/proc/27971/task/27976/stat : 27976 (java) R 27968 27971 22004 0 -1 4202560 300565 0 0 0 5222 145 0 0 20 0 15 0 105923388 10917003264 2087069 33554432000 4194304 4196468 140721858147504 140007385259224 140007765269993 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28766208 140721858151542 140721858151694 140721858151694 140721858154447 0
[pid=27971/tid=27977] ppid=27968 vsize=10661136 memory=8348264 CPUtime=53.65 cores=1,3,5,7
/proc/27971/task/27977/stat : 27977 (java) R 27968 27971 22004 0 -1 4202560 211236 0 0 0 5225 140 0 0 20 0 15 0 105923388 10917003264 2087069 33554432000 4194304 4196468 140721858147504 140007384206064 140007772947175 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28766208 140721858151542 140721858151694 140721858151694 140721858154447 0
[pid=27971/tid=27978] ppid=27968 vsize=10661136 memory=8348248 CPUtime=12.79 cores=1,3,5,7
/proc/27971/task/27978/stat : 27978 (java) S 27968 27971 22004 0 -1 1077944384 37304 0 0 0 1277 2 0 0 20 0 15 0 105923389 10917003264 2087069 33554432000 4194304 4196468 140721858147504 140007138369888 140007780329173 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28766208 140721858151542 140721858151694 140721858151694 140721858154447 0
[pid=27971/tid=27979] ppid=27968 vsize=10661136 memory=8348276 CPUtime=0 cores=1,3,5,7
/proc/27971/task/27979/stat : 27979 (java) S 27968 27971 22004 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 105923390 10917003264 2087069 33554432000 4194304 4196468 140721858147504 140007137317856 140007780329173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28766208 140721858151542 140721858151694 140721858151694 140721858154447 0
[pid=27971/tid=27980] ppid=27968 vsize=10661136 memory=-8253362762721552001 CPUtime=0 cores=1,3,5,7
/proc/27971/task/27980/stat : 27980 (java) S 27968 27971 22004 0 -1 1077944384 107 0 0 0 0 0 0 0 20 0 15 0 105923390 10917003264 2087069 33554432000 4194304 4196468 140721858147504 140007136265216 140007780329173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28766208 140721858151542 140721858151694 140721858151694 140721858154447 0
[pid=27971/tid=27981] ppid=27968 vsize=10661136 memory=8348264 CPUtime=0 cores=1,3,5,7
/proc/27971/task/27981/stat : 27981 (java) S 27968 27971 22004 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 105923392 10917003264 2087069 33554432000 4194304 4196468 140721858147504 140007135213424 140007780329173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28766208 140721858151542 140721858151694 140721858151694 140721858154447 0
[pid=27971/tid=27982] ppid=27968 vsize=10661136 memory=8348264 CPUtime=3.66 cores=1,3,5,7
/proc/27971/task/27982/stat : 27982 (java) S 27968 27971 22004 0 -1 1077944384 25482 0 0 0 364 2 0 0 20 0 15 0 105923392 10917003264 2087069 33554432000 4194304 4196468 140721858147504 140007134161392 140007780330114 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28766208 140721858151542 140721858151694 140721858151694 140721858154447 0
[pid=27971/tid=27983] ppid=27968 vsize=10661136 memory=8348264 CPUtime=3.41 cores=1,3,5,7
/proc/27971/task/27983/stat : 27983 (java) S 27968 27971 22004 0 -1 1077944384 19427 0 0 0 339 2 0 0 20 0 15 0 105923392 10917003264 2087069 33554432000 4194304 4196468 140721858147504 140007133108848 140007780330114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28766208 140721858151542 140721858151694 140721858151694 140721858154447 0
[pid=27971/tid=27984] ppid=27968 vsize=10661136 memory=8348264 CPUtime=0.73 cores=1,3,5,7
/proc/27971/task/27984/stat : 27984 (java) S 27968 27971 22004 0 -1 1077944384 7088 0 0 0 71 2 0 0 20 0 15 0 105923392 10917003264 2087069 33554432000 4194304 4196468 140721858147504 140007132056304 140007780330114 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28766208 140721858151542 140721858151694 140721858151694 140721858154447 0
[pid=27971/tid=27985] ppid=27968 vsize=10661136 memory=8348264 CPUtime=0 cores=1,3,5,7
/proc/27971/task/27985/stat : 27985 (java) S 27968 27971 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105923393 10917003264 2087069 33554432000 4194304 4196468 140721858147504 140007131004000 140007780329173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28766208 140721858151542 140721858151694 140721858151694 140721858154447 0
[pid=27971/tid=27986] ppid=27968 vsize=10661136 memory=4124 CPUtime=0.04 cores=1,3,5,7
/proc/27971/task/27986/stat : 27986 (java) S 27968 27971 22004 0 -1 1077944384 1268 0 0 0 1 3 0 0 20 0 15 0 105923393 10917003264 2087069 33554432000 4194304 4196468 140721858147504 140007129950512 140007780330114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28766208 140721858151542 140721858151694 140721858151694 140721858154447 0
Current children cumulated CPU time: 259.9 s
Current children cumulated vsize: 10661136 KiB
Current children cumulated memory: 8348276 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 92.1845
CPU time (s): 260
CPU user time (s): 253.775
CPU system time (s): 6.22493
CPU usage (%): 282.043
Max. virtual memory (cumulated for all children) (KiB): 10663808
Max. memory (cumulated for all children) (KiB): 8348276
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 253.775
system time used= 6.22493
maximum resident set size= 8348400
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 911979
page faults= 0
swaps= 0
block input operations= 0
block output operations= 208
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8607
involuntary context switches= 4078
# summary of solver processes directly reported to runsolver:
# pid: 27971
# total CPU time (s): 260
# total CPU user time (s): 253.775
# total CPU system time (s): 6.22493
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.57496 second user time and 0.946041 second system time
The end