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 (15202 MiB free)
memory of node 1: 16384 MiB (7514 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4257906-1502650926/watcher-4257906-1502650926 -o /tmp/evaluation-result-4257906-1502650926/solver-4257906-1502650926 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502642200-6040 --watchdog 312 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4257906-1502650926.xml
running on 4 cores: 0,2,4,6
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=16630, runsolver pid=16627
[startup+0.100125 s]*
/proc/loadavg: 5.13 4.23 3.84 4/196 16632
/proc/meminfo: memFree=23258908/32770624 swapFree=67108860/67108860
[pid=16630] ppid=16627 vsize=9936560 memory=16220 CPUtime=0 cores=0,2,4,6
/proc/16630/stat : 16630 (java) S 16627 16630 17093 0 -1 1077944320 3373 0 0 0 0 0 0 0 20 0 6 0 67285887 10175037440 4055 18446744073709551615 4194304 4196468 140727880833616 140727880816160 140311501238007 0 0 1 16784584 18446744073709551615 0 0 17 6 0 0 9 0 0 6293624 6294260 27115520 140727880839573 140727880839726 140727880839726 140727880843215 0
/proc/16630/statm: 2484140 4055 1910 1 0 2473637 0
[pid=16630/tid=16632] ppid=16627 vsize=9936560 memory=4206751525541407381 CPUtime=0 cores=0,2,4,6
/proc/16630/task/16632/stat : 16632 (java) R 16627 16630 17093 0 -1 4202560 2110 0 0 0 0 0 0 0 20 0 6 0 67285896 10175037440 4121 18446744073709551615 4194304 4196468 140727880833616 140311505474128 140311501259933 0 4 1 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27115520 140727880839573 140727880839726 140727880839726 140727880843215 0
[pid=16630/tid=16633] ppid=16627 vsize=9936560 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/16630/task/16633/stat : 16633 (java) S 16627 16630 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 67285897 10175037440 4121 18446744073709551615 4194304 4196468 140727880833616 140311431657872 140311501248213 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27115520 140727880839573 140727880839726 140727880839726 140727880843215 0
[pid=16630/tid=16634] ppid=16627 vsize=9936560 memory=140367449732736 CPUtime=0 cores=0,2,4,6
/proc/16630/task/16634/stat : 16634 (java) S 16627 16630 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 67285897 10175037440 4121 18446744073709551615 4194304 4196468 140727880833616 140311430605072 140311501248213 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27115520 140727880839573 140727880839726 140727880839726 140727880843215 0
[pid=16630/tid=16635] ppid=16627 vsize=9936560 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16630/task/16635/stat : 16635 (java) S 16627 16630 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 67285897 10175037440 4121 18446744073709551615 4194304 4196468 140727880833616 140311429552784 140311501248213 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27115520 140727880839573 140727880839726 140727880839726 140727880843215 0
[pid=16630/tid=16636] ppid=16627 vsize=9936560 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16630/task/16636/stat : 16636 (java) S 16627 16630 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 67285897 10175037440 4121 18446744073709551615 4194304 4196468 140727880833616 140311428499984 140311501248213 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27115520 140727880839573 140727880839726 140727880839726 140727880843215 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9936560 KiB
Current children cumulated memory: 16220 KiB
[startup+0.219275 s]*
/proc/loadavg: 5.13 4.23 3.84 5/209 16645
/proc/meminfo: memFree=23249096/32770624 swapFree=67108860/67108860
[pid=16630] ppid=16627 vsize=10551156 memory=26068 CPUtime=0.08 cores=0,2,4,6
/proc/16630/stat : 16630 (java) S 16627 16630 17093 0 -1 1077944320 5040 0 0 0 8 0 0 0 20 0 15 0 67285887 10804383744 6517 18446744073709551615 4194304 4196468 140727880833616 140727880816160 140311501238007 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 9 0 0 6293624 6294260 27115520 140727880839573 140727880839726 140727880839726 140727880843215 0
/proc/16630/statm: 2637789 6517 2603 1 0 2627261 0
[pid=16630/tid=16632] ppid=16627 vsize=10551156 memory=8318255677412212789 CPUtime=0.06 cores=0,2,4,6
/proc/16630/task/16632/stat : 16632 (java) R 16627 16630 17093 0 -1 4202560 3135 0 0 0 6 0 0 0 20 0 15 0 67285896 10804383744 6584 18446744073709551615 4194304 4196468 140727880833616 140311505463696 140311485281637 0 4 1 16800974 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 27115520 140727880839573 140727880839726 140727880839726 140727880843215 0
[pid=16630/tid=16633] ppid=16627 vsize=10551156 memory=330 CPUtime=0 cores=0,2,4,6
/proc/16630/task/16633/stat : 16633 (java) S 16627 16630 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67285897 10804383744 6584 18446744073709551615 4194304 4196468 140727880833616 140311431657872 140311501248213 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27115520 140727880839573 140727880839726 140727880839726 140727880843215 0
[pid=16630/tid=16634] ppid=16627 vsize=10551156 memory=140367449749619 CPUtime=0 cores=0,2,4,6
/proc/16630/task/16634/stat : 16634 (java) S 16627 16630 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67285897 10804383744 6584 18446744073709551615 4194304 4196468 140727880833616 140311430605072 140311501248213 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27115520 140727880839573 140727880839726 140727880839726 140727880843215 0
[pid=16630/tid=16635] ppid=16627 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16630/task/16635/stat : 16635 (java) S 16627 16630 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67285897 10804383744 6584 18446744073709551615 4194304 4196468 140727880833616 140311429552784 140311501248213 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27115520 140727880839573 140727880839726 140727880839726 140727880843215 0
[pid=16630/tid=16636] ppid=16627 vsize=10551156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16630/task/16636/stat : 16636 (java) S 16627 16630 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67285897 10804383744 6584 18446744073709551615 4194304 4196468 140727880833616 140311428499984 140311501248213 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27115520 140727880839573 140727880839726 140727880839726 140727880843215 0
[pid=16630/tid=16637] ppid=16627 vsize=10551156 memory=140367449732736 CPUtime=0 cores=0,2,4,6
/proc/16630/task/16637/stat : 16637 (java) S 16627 16630 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67285899 10804383744 6584 18446744073709551615 4194304 4196468 140727880833616 140310996781680 140311501249154 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27115520 140727880839573 140727880839726 140727880839726 140727880843215 0
[pid=16630/tid=16638] ppid=16627 vsize=10551156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16630/task/16638/stat : 16638 (java) S 16627 16630 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 67285899 10804383744 6584 18446744073709551615 4194304 4196468 140727880833616 140310995727648 140311501248213 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27115520 140727880839573 140727880839726 140727880839726 140727880843215 0
[pid=16630/tid=16639] ppid=16627 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16630/task/16639/stat : 16639 (java) S 16627 16630 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 67285899 10804383744 6584 18446744073709551615 4194304 4196468 140727880833616 140310994675312 140311501248213 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27115520 140727880839573 140727880839726 140727880839726 140727880843215 0
[pid=16630/tid=16640] ppid=16627 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16630/task/16640/stat : 16640 (java) S 16627 16630 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67285902 10804383744 6584 18446744073709551615 4194304 4196468 140727880833616 140310993623632 140311501256603 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27115520 140727880839573 140727880839726 140727880839726 140727880843215 0
[pid=16630/tid=16641] ppid=16627 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16630/task/16641/stat : 16641 (java) R 16627 16630 17093 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 15 0 67285902 10804383744 6584 18446744073709551615 4194304 4196468 140727880833616 140310992570480 140311501249154 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27115520 140727880839573 140727880839726 140727880839726 140727880843215 0
[pid=16630/tid=16642] ppid=16627 vsize=10551156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16630/task/16642/stat : 16642 (java) R 16627 16630 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67285902 10804383744 6584 18446744073709551615 4194304 4196468 140727880833616 140310991517680 140311501249154 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27115520 140727880839573 140727880839726 140727880839726 140727880843215 0
[pid=16630/tid=16643] ppid=16627 vsize=10551156 memory=140367449732736 CPUtime=0 cores=0,2,4,6
/proc/16630/task/16643/stat : 16643 (java) S 16627 16630 17093 0 -1 1077944384 239 0 0 0 0 0 0 0 20 0 15 0 67285902 10804383744 6584 18446744073709551615 4194304 4196468 140727880833616 140310990465392 140311501249154 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27115520 140727880839573 140727880839726 140727880839726 140727880843215 0
[pid=16630/tid=16644] ppid=16627 vsize=10551156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16630/task/16644/stat : 16644 (java) S 16627 16630 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67285902 10804383744 6584 18446744073709551615 4194304 4196468 140727880833616 140310989412832 140311501248213 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27115520 140727880839573 140727880839726 140727880839726 140727880843215 0
[pid=16630/tid=16645] ppid=16627 vsize=10551156 memory=140367449732736 CPUtime=0 cores=0,2,4,6
/proc/16630/task/16645/stat : 16645 (java) S 16627 16630 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67285908 10804383744 6584 18446744073709551615 4194304 4196468 140727880833616 140310988360624 140311501249154 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27115520 140727880839573 140727880839726 140727880839726 140727880843215 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 10551156 KiB
Current children cumulated memory: 26068 KiB
[startup+0.310101 s]*
/proc/loadavg: 5.13 4.23 3.84 6/209 16646
/proc/meminfo: memFree=23236452/32770624 swapFree=67108860/67108860
[pid=16630] ppid=16627 vsize=10551156 memory=35844 CPUtime=0.22 cores=0,2,4,6
/proc/16630/stat : 16630 (java) S 16627 16630 17093 0 -1 1077944320 8264 0 0 0 20 2 0 0 20 0 15 0 67285887 10804383744 8961 18446744073709551615 4194304 4196468 140727880833616 140727880816160 140311501238007 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 9 0 0 6293624 6294260 27115520 140727880839573 140727880839726 140727880839726 140727880843215 0
/proc/16630/statm: 2637789 8961 2861 1 0 2627261 0
[pid=16630/tid=16632] ppid=16627 vsize=10551156 memory=-7677926825137650786 CPUtime=0.15 cores=0,2,4,6
/proc/16630/task/16632/stat : 16632 (java) R 16627 16630 17093 0 -1 4202560 5930 0 0 0 14 1 0 0 20 0 15 0 67285896 10804383744 8961 18446744073709551615 4194304 4196468 140727880833616 140311505449904 140311095561220 0 4 1 16800974 0 0 0 -1 2 0 0 5 0 0 6293624 6294260 27115520 140727880839573 140727880839726 140727880839726 140727880843215 0
[pid=16630/tid=16633] ppid=16627 vsize=10551156 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/16630/task/16633/stat : 16633 (java) S 16627 16630 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67285897 10804383744 8961 18446744073709551615 4194304 4196468 140727880833616 140311431657872 140311501248213 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27115520 140727880839573 140727880839726 140727880839726 140727880843215 0
[pid=16630/tid=16634] ppid=16627 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16630/task/16634/stat : 16634 (java) S 16627 16630 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67285897 10804383744 8961 18446744073709551615 4194304 4196468 140727880833616 140311430605072 140311501248213 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27115520 140727880839573 140727880839726 140727880839726 140727880843215 0
[pid=16630/tid=16635] ppid=16627 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16630/task/16635/stat : 16635 (java) S 16627 16630 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67285897 10804383744 8961 18446744073709551615 4194304 4196468 140727880833616 140311429552784 140311501248213 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27115520 140727880839573 140727880839726 140727880839726 140727880843215 0
[pid=16630/tid=16636] ppid=16627 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16630/task/16636/stat : 16636 (java) S 16627 16630 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67285897 10804383744 8961 18446744073709551615 4194304 4196468 140727880833616 140311428499984 140311501248213 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27115520 140727880839573 140727880839726 140727880839726 140727880843215 0
[pid=16630/tid=16637] ppid=16627 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16630/task/16637/stat : 16637 (java) S 16627 16630 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67285899 10804383744 8961 18446744073709551615 4194304 4196468 140727880833616 140310996781680 140311501249154 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27115520 140727880839573 140727880839726 140727880839726 140727880843215 0
[pid=16630/tid=16638] ppid=16627 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16630/task/16638/stat : 16638 (java) S 16627 16630 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 67285899 10804383744 8961 18446744073709551615 4194304 4196468 140727880833616 140310995727648 140311501248213 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27115520 140727880839573 140727880839726 140727880839726 140727880843215 0
[pid=16630/tid=16639] ppid=16627 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16630/task/16639/stat : 16639 (java) S 16627 16630 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 67285899 10804383744 8961 18446744073709551615 4194304 4196468 140727880833616 140310994675312 140311501248213 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27115520 140727880839573 140727880839726 140727880839726 140727880843215 0
[pid=16630/tid=16640] ppid=16627 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16630/task/16640/stat : 16640 (java) S 16627 16630 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67285902 10804383744 8961 18446744073709551615 4194304 4196468 140727880833616 140310993623632 140311501256603 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27115520 140727880839573 140727880839726 140727880839726 140727880843215 0
[pid=16630/tid=16641] ppid=16627 vsize=10551156 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/16630/task/16641/stat : 16641 (java) S 16627 16630 17093 0 -1 1077944384 494 0 0 0 1 0 0 0 20 0 15 0 67285902 10804383744 8961 18446744073709551615 4194304 4196468 140727880833616 140310992570480 140311501249154 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27115520 140727880839573 140727880839726 140727880839726 140727880843215 0
[pid=16630/tid=16642] ppid=16627 vsize=10551156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16630/task/16642/stat : 16642 (java) S 16627 16630 17093 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 15 0 67285902 10804383744 8961 18446744073709551615 4194304 4196468 140727880833616 140310991517680 140311501249154 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27115520 140727880839573 140727880839726 140727880839726 140727880843215 0
[pid=16630/tid=16643] ppid=16627 vsize=10551156 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/16630/task/16643/stat : 16643 (java) R 16627 16630 17093 0 -1 4202560 395 0 0 0 3 0 0 0 20 0 15 0 67285902 10804383744 8961 18446744073709551615 4194304 4196468 140727880833616 140310990465392 140311493475134 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27115520 140727880839573 140727880839726 140727880839726 140727880843215 0
[pid=16630/tid=16644] ppid=16627 vsize=10551156 memory=140367449732736 CPUtime=0 cores=0,2,4,6
/proc/16630/task/16644/stat : 16644 (java) S 16627 16630 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67285902 10804383744 8961 18446744073709551615 4194304 4196468 140727880833616 140310989412832 140311501248213 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27115520 140727880839573 140727880839726 140727880839726 140727880843215 0
[pid=16630/tid=16645] ppid=16627 vsize=10551156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16630/task/16645/stat : 16645 (java) S 16627 16630 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67285908 10804383744 8961 18446744073709551615 4194304 4196468 140727880833616 140310988360624 140311501249154 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27115520 140727880839573 140727880839726 140727880839726 140727880843215 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 10551156 KiB
Current children cumulated memory: 35844 KiB
[startup+0.702239 s]
/proc/loadavg: 5.13 4.23 3.84 9/209 16646
/proc/meminfo: memFree=23223368/32770624 swapFree=67108860/67108860
[pid=16630] ppid=16627 vsize=10551232 memory=332972 CPUtime=1.24 cores=0,2,4,6
/proc/16630/stat : 16630 (java) S 16627 16630 17093 0 -1 1077944320 11087 0 0 0 110 14 0 0 20 0 15 0 67285887 10804461568 83243 18446744073709551615 4194304 4196468 140727880833616 140727880816160 140311501238007 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 9 0 0 6293624 6294260 27115520 140727880839573 140727880839726 140727880839726 140727880843215 0
/proc/16630/statm: 2637808 83243 3072 1 0 2627261 0
[pid=16630/tid=16632] ppid=16627 vsize=10551232 memory=6297835844906604903 CPUtime=0.49 cores=0,2,4,6
/proc/16630/task/16632/stat : 16632 (java) S 16627 16630 17093 0 -1 1077944384 6880 0 0 0 43 6 0 0 20 0 15 0 67285896 10804461568 83243 18446744073709551615 4194304 4196468 140727880833616 140311505474928 140311501248213 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 5 0 0 6293624 6294260 27115520 140727880839573 140727880839726 140727880839726 140727880843215 0
[pid=16630/tid=16633] ppid=16627 vsize=10551232 memory=7308028628335813952 CPUtime=0.03 cores=0,2,4,6
/proc/16630/task/16633/stat : 16633 (java) R 16627 16630 17093 0 -1 4202560 35 0 0 0 2 1 0 0 20 0 15 0 67285897 10804461568 83243 18446744073709551615 4194304 4196468 140727880833616 140311431657872 140311486265093 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27115520 140727880839573 140727880839726 140727880839726 140727880843215 0
[pid=16630/tid=16634] ppid=16627 vsize=10551232 memory=7596259004554634560 CPUtime=0.03 cores=0,2,4,6
/proc/16630/task/16634/stat : 16634 (java) R 16627 16630 17093 0 -1 4202560 29 0 0 0 2 1 0 0 20 0 15 0 67285897 10804461568 83243 18446744073709551615 4194304 4196468 140727880833616 140311430605072 140311486265426 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27115520 140727880839573 140727880839726 140727880839726 140727880843215 0
[pid=16630/tid=16635] ppid=16627 vsize=10551232 memory=7302135314614015848 CPUtime=0.03 cores=0,2,4,6
/proc/16630/task/16635/stat : 16635 (java) R 16627 16630 17093 0 -1 4202560 44 0 0 0 2 1 0 0 20 0 15 0 67285897 10804461568 83243 18446744073709551615 4194304 4196468 140727880833616 140311429552784 140311486266320 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27115520 140727880839573 140727880839726 140727880839726 140727880843215 0
[pid=16630/tid=16636] ppid=16627 vsize=10551232 memory=2293 CPUtime=0.03 cores=0,2,4,6
/proc/16630/task/16636/stat : 16636 (java) R 16627 16630 17093 0 -1 4202560 36 0 0 0 2 1 0 0 20 0 15 0 67285897 10804461568 83243 18446744073709551615 4194304 4196468 140727880833616 140311428500184 140311486260128 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27115520 140727880839573 140727880839726 140727880839726 140727880843215 0
[pid=16630/tid=16637] ppid=16627 vsize=10551232 memory=304 CPUtime=0 cores=0,2,4,6
/proc/16630/task/16637/stat : 16637 (java) S 16627 16630 17093 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 67285899 10804461568 83243 18446744073709551615 4194304 4196468 140727880833616 140310996780192 140311501248213 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27115520 140727880839573 140727880839726 140727880839726 140727880843215 0
[pid=16630/tid=16638] ppid=16627 vsize=10551232 memory=862 CPUtime=0 cores=0,2,4,6
/proc/16630/task/16638/stat : 16638 (java) S 16627 16630 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 67285899 10804461568 83243 18446744073709551615 4194304 4196468 140727880833616 140310995727648 140311501248213 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27115520 140727880839573 140727880839726 140727880839726 140727880843215 0
[pid=16630/tid=16639] ppid=16627 vsize=10551232 memory=57 CPUtime=0 cores=0,2,4,6
/proc/16630/task/16639/stat : 16639 (java) S 16627 16630 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 67285899 10804461568 83243 18446744073709551615 4194304 4196468 140727880833616 140310994675312 140311501248213 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27115520 140727880839573 140727880839726 140727880839726 140727880843215 0
[pid=16630/tid=16640] ppid=16627 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16630/task/16640/stat : 16640 (java) S 16627 16630 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67285902 10804461568 83243 18446744073709551615 4194304 4196468 140727880833616 140310993623632 140311501256603 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27115520 140727880839573 140727880839726 140727880839726 140727880843215 0
[pid=16630/tid=16641] ppid=16627 vsize=10551232 memory=109 CPUtime=0.19 cores=0,2,4,6
/proc/16630/task/16641/stat : 16641 (java) R 16627 16630 17093 0 -1 4202560 980 0 0 0 19 0 0 0 20 0 15 0 67285902 10804461568 83243 18446744073709551615 4194304 4196468 140727880833616 140310992569168 140311480931111 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27115520 140727880839573 140727880839726 140727880839726 140727880843215 0
[pid=16630/tid=16642] ppid=16627 vsize=10551232 memory=3904 CPUtime=0.17 cores=0,2,4,6
/proc/16630/task/16642/stat : 16642 (java) S 16627 16630 17093 0 -1 1077944384 412 0 0 0 17 0 0 0 20 0 15 0 67285902 10804461568 83243 18446744073709551615 4194304 4196468 140727880833616 140310991502672 140311501248213 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27115520 140727880839573 140727880839726 140727880839726 140727880843215 0
[pid=16630/tid=16643] ppid=16627 vsize=10551232 memory=-7677926825137650786 CPUtime=0.19 cores=0,2,4,6
/proc/16630/task/16643/stat : 16643 (java) S 16627 16630 17093 0 -1 1077944384 1230 0 0 0 19 0 0 0 20 0 15 0 67285902 10804461568 83243 18446744073709551615 4194304 4196468 140727880833616 140310990465392 140311501249154 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27115520 140727880839573 140727880839726 140727880839726 140727880843215 0
[pid=16630/tid=16644] ppid=16627 vsize=10551232 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/16630/task/16644/stat : 16644 (java) S 16627 16630 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67285902 10804461568 83243 18446744073709551615 4194304 4196468 140727880833616 140310989412832 140311501248213 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27115520 140727880839573 140727880839726 140727880839726 140727880843215 0
[pid=16630/tid=16645] ppid=16627 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16630/task/16645/stat : 16645 (java) S 16627 16630 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67285908 10804461568 83243 18446744073709551615 4194304 4196468 140727880833616 140310988360624 140311501249154 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27115520 140727880839573 140727880839726 140727880839726 140727880843215 0
Current children cumulated CPU time: 1.24 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 332972 KiB
[startup+1.50083 s]
/proc/loadavg: 5.28 4.27 3.86 6/209 16646
/proc/meminfo: memFree=22652968/32770624 swapFree=67108860/67108860
[pid=16630] ppid=16627 vsize=10551232 memory=1214276 CPUtime=2.58 cores=0,2,4,6
/proc/16630/stat : 16630 (java) S 16627 16630 17093 0 -1 1077944320 13385 0 0 0 214 44 0 0 20 0 15 0 67285887 10804461568 303569 18446744073709551615 4194304 4196468 140727880833616 140727880816160 140311501238007 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 9 0 0 6293624 6294260 27115520 140727880839573 140727880839726 140727880839726 140727880843215 0
/proc/16630/statm: 2637808 303569 3084 1 0 2627261 0
[pid=16630/tid=16632] ppid=16627 vsize=10551232 memory=280734631972736 CPUtime=1.12 cores=0,2,4,6
/proc/16630/task/16632/stat : 16632 (java) R 16627 16630 17093 0 -1 4202560 7488 0 0 0 96 16 0 0 20 0 15 0 67285896 10804461568 303569 18446744073709551615 4194304 4196468 140727880833616 140311505475024 140311487306132 0 4 1 16800974 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 27115520 140727880839573 140727880839726 140727880839726 140727880843215 0
[pid=16630/tid=16633] ppid=16627 vsize=10551232 memory=0 CPUtime=0.19 cores=0,2,4,6
/proc/16630/task/16633/stat : 16633 (java) S 16627 16630 17093 0 -1 1077944384 201 0 0 0 13 6 0 0 20 0 15 0 67285897 10804461568 303569 18446744073709551615 4194304 4196468 140727880833616 140311431657872 140311501248213 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27115520 140727880839573 140727880839726 140727880839726 140727880843215 0
[pid=16630/tid=16634] ppid=16627 vsize=10551232 memory=5857 CPUtime=0.18 cores=0,2,4,6
/proc/16630/task/16634/stat : 16634 (java) S 16627 16630 17093 0 -1 1077944384 190 0 0 0 12 6 0 0 20 0 15 0 67285897 10804461568 303569 18446744073709551615 4194304 4196468 140727880833616 140311430605072 140311501248213 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27115520 140727880839573 140727880839726 140727880839726 140727880843215 0
[pid=16630/tid=16635] ppid=16627 vsize=10551232 memory=0 CPUtime=0.18 cores=0,2,4,6
/proc/16630/task/16635/stat : 16635 (java) S 16627 16630 17093 0 -1 1077944384 215 0 0 0 12 6 0 0 20 0 15 0 67285897 10804461568 303569 18446744073709551615 4194304 4196468 140727880833616 140311429552784 140311501248213 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27115520 140727880839573 140727880839726 140727880839726 140727880843215 0
[pid=16630/tid=16636] ppid=16627 vsize=10551232 memory=280734632067360 CPUtime=0.19 cores=0,2,4,6
/proc/16630/task/16636/stat : 16636 (java) S 16627 16630 17093 0 -1 1077944384 206 0 0 0 13 6 0 0 20 0 15 0 67285897 10804461568 303569 18446744073709551615 4194304 4196468 140727880833616 140311428499984 140311501248213 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27115520 140727880839573 140727880839726 140727880839726 140727880843215 0
[pid=16630/tid=16637] ppid=16627 vsize=10551232 memory=288230621803970871 CPUtime=0 cores=0,2,4,6
/proc/16630/task/16637/stat : 16637 (java) S 16627 16630 17093 0 -1 1077944384 995 0 0 0 0 0 0 0 20 0 15 0 67285899 10804461568 303569 18446744073709551615 4194304 4196468 140727880833616 140310996781680 140311501249154 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27115520 140727880839573 140727880839726 140727880839726 140727880843215 0
[pid=16630/tid=16638] ppid=16627 vsize=10551232 memory=13563795322702378 CPUtime=0 cores=0,2,4,6
/proc/16630/task/16638/stat : 16638 (java) S 16627 16630 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 67285899 10804461568 303569 18446744073709551615 4194304 4196468 140727880833616 140310995727648 140311501248213 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27115520 140727880839573 140727880839726 140727880839726 140727880843215 0
[pid=16630/tid=16639] ppid=16627 vsize=10551232 memory=4048 CPUtime=0 cores=0,2,4,6
/proc/16630/task/16639/stat : 16639 (java) S 16627 16630 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 67285899 10804461568 303569 18446744073709551615 4194304 4196468 140727880833616 140310994675312 140311501248213 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27115520 140727880839573 140727880839726 140727880839726 140727880843215 0
[pid=16630/tid=16640] ppid=16627 vsize=10551232 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/16630/task/16640/stat : 16640 (java) S 16627 16630 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67285902 10804461568 303569 18446744073709551615 4194304 4196468 140727880833616 140310993623632 140311501256603 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27115520 140727880839573 140727880839726 140727880839726 140727880843215 0
[pid=16630/tid=16641] ppid=16627 vsize=10551232 memory=16448 CPUtime=0.25 cores=0,2,4,6
/proc/16630/task/16641/stat : 16641 (java) S 16627 16630 17093 0 -1 1077944384 1081 0 0 0 25 0 0 0 20 0 15 0 67285902 10804461568 303569 18446744073709551615 4194304 4196468 140727880833616 140310992570480 140311501249154 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27115520 140727880839573 140727880839726 140727880839726 140727880843215 0
[pid=16630/tid=16642] ppid=16627 vsize=10551232 memory=2752 CPUtime=0.19 cores=0,2,4,6
/proc/16630/task/16642/stat : 16642 (java) S 16627 16630 17093 0 -1 1077944384 419 0 0 0 19 0 0 0 20 0 15 0 67285902 10804461568 303569 18446744073709551615 4194304 4196468 140727880833616 140310991517680 140311501249154 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27115520 140727880839573 140727880839726 140727880839726 140727880843215 0
[pid=16630/tid=16643] ppid=16627 vsize=10551232 memory=2868 CPUtime=0.19 cores=0,2,4,6
/proc/16630/task/16643/stat : 16643 (java) S 16627 16630 17093 0 -1 1077944384 1230 0 0 0 19 0 0 0 20 0 15 0 67285902 10804461568 303569 18446744073709551615 4194304 4196468 140727880833616 140310990465392 140311501249154 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27115520 140727880839573 140727880839726 140727880839726 140727880843215 0
[pid=16630/tid=16644] ppid=16627 vsize=10551232 memory=4064 CPUtime=0 cores=0,2,4,6
/proc/16630/task/16644/stat : 16644 (java) S 16627 16630 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67285902 10804461568 303569 18446744073709551615 4194304 4196468 140727880833616 140310989412832 140311501248213 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27115520 140727880839573 140727880839726 140727880839726 140727880843215 0
[pid=16630/tid=16645] ppid=16627 vsize=10551232 memory=1160 CPUtime=0 cores=0,2,4,6
/proc/16630/task/16645/stat : 16645 (java) S 16627 16630 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67285908 10804461568 303569 18446744073709551615 4194304 4196468 140727880833616 140310988360624 140311501249154 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27115520 140727880839573 140727880839726 140727880839726 140727880843215 0
Current children cumulated CPU time: 2.58 s
Current children cumulated vsize: 10551232 KiB
################
# More data... #
################
/proc/16630/statm: 2637808 2071746 3123 1 0 2627261 0
[pid=16630/tid=16632] ppid=16627 vsize=10551232 memory=0 CPUtime=16.85 cores=0,2,4,6
/proc/16630/task/16632/stat : 16632 (java) S 16627 16630 17093 0 -1 1077944384 21599 0 0 0 1646 39 0 0 20 0 15 0 67285896 10804461568 2071746 18446744073709551615 4194304 4196468 140727880833616 140311505471744 140311501248213 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 27115520 140727880839573 140727880839726 140727880839726 140727880843215 0
[pid=16630/tid=16633] ppid=16627 vsize=10551232 memory=0 CPUtime=56.35 cores=0,2,4,6
/proc/16630/task/16633/stat : 16633 (java) R 16627 16630 17093 0 -1 4202560 334456 0 0 0 5538 97 0 0 20 0 15 0 67285897 10804461568 2071746 18446744073709551615 4194304 4196468 140727880833616 140311431658072 140311485937872 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27115520 140727880839573 140727880839726 140727880839726 140727880843215 0
[pid=16630/tid=16634] ppid=16627 vsize=10551232 memory=-8774313645642428999 CPUtime=55.88 cores=0,2,4,6
/proc/16630/task/16634/stat : 16634 (java) R 16627 16630 17093 0 -1 4202560 327055 0 0 0 5503 85 0 0 20 0 15 0 67285897 10804461568 2071746 18446744073709551615 4194304 4196468 140727880833616 140311430605192 140311493866215 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27115520 140727880839573 140727880839726 140727880839726 140727880843215 0
[pid=16630/tid=16635] ppid=16627 vsize=10551232 memory=4048 CPUtime=55.88 cores=0,2,4,6
/proc/16630/task/16635/stat : 16635 (java) R 16627 16630 17093 0 -1 4202560 271719 0 0 0 5487 101 0 0 20 0 15 0 67285897 10804461568 2071746 18446744073709551615 4194304 4196468 140727880833616 140311429552592 140311493866215 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27115520 140727880839573 140727880839726 140727880839726 140727880843215 0
[pid=16630/tid=16636] ppid=16627 vsize=10551232 memory=21300 CPUtime=55.89 cores=0,2,4,6
/proc/16630/task/16636/stat : 16636 (java) S 16627 16630 17093 0 -1 1077944384 353091 0 0 0 5471 118 0 0 20 0 15 0 67285897 10804461568 2071746 18446744073709551615 4194304 4196468 140727880833616 140311428499792 140311501249154 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27115520 140727880839573 140727880839726 140727880839726 140727880843215 0
[pid=16630/tid=16637] ppid=16627 vsize=10551232 memory=1788 CPUtime=9.83 cores=0,2,4,6
/proc/16630/task/16637/stat : 16637 (java) S 16627 16630 17093 0 -1 1077944384 41422 0 0 0 981 2 0 0 20 0 15 0 67285899 10804461568 2071746 18446744073709551615 4194304 4196468 140727880833616 140310996780224 140311501248213 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27115520 140727880839573 140727880839726 140727880839726 140727880843215 0
[pid=16630/tid=16638] ppid=16627 vsize=10551232 memory=640 CPUtime=0 cores=0,2,4,6
/proc/16630/task/16638/stat : 16638 (java) S 16627 16630 17093 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 67285899 10804461568 2071746 18446744073709551615 4194304 4196468 140727880833616 140310995727712 140311501248213 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27115520 140727880839573 140727880839726 140727880839726 140727880843215 0
[pid=16630/tid=16639] ppid=16627 vsize=10551232 memory=960 CPUtime=0 cores=0,2,4,6
/proc/16630/task/16639/stat : 16639 (java) S 16627 16630 17093 0 -1 1077944384 119 0 0 0 0 0 0 0 20 0 15 0 67285899 10804461568 2071746 18446744073709551615 4194304 4196468 140727880833616 140310994675328 140311501248213 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27115520 140727880839573 140727880839726 140727880839726 140727880843215 0
[pid=16630/tid=16640] ppid=16627 vsize=10551232 memory=1232 CPUtime=0 cores=0,2,4,6
/proc/16630/task/16640/stat : 16640 (java) S 16627 16630 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67285902 10804461568 2071746 18446744073709551615 4194304 4196468 140727880833616 140310993623632 140311501256603 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27115520 140727880839573 140727880839726 140727880839726 140727880843215 0
[pid=16630/tid=16641] ppid=16627 vsize=10551232 memory=2248 CPUtime=0.54 cores=0,2,4,6
/proc/16630/task/16641/stat : 16641 (java) S 16627 16630 17093 0 -1 1077944384 2322 0 0 0 54 0 0 0 20 0 15 0 67285902 10804461568 2071746 18446744073709551615 4194304 4196468 140727880833616 140310992570528 140311501248213 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27115520 140727880839573 140727880839726 140727880839726 140727880843215 0
[pid=16630/tid=16642] ppid=16627 vsize=10551232 memory=4300 CPUtime=0.43 cores=0,2,4,6
/proc/16630/task/16642/stat : 16642 (java) S 16627 16630 17093 0 -1 1077944384 1773 0 0 0 43 0 0 0 20 0 15 0 67285902 10804461568 2071746 18446744073709551615 4194304 4196468 140727880833616 140310991517440 140311501248213 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27115520 140727880839573 140727880839726 140727880839726 140727880843215 0
[pid=16630/tid=16643] ppid=16627 vsize=10551232 memory=932 CPUtime=0.24 cores=0,2,4,6
/proc/16630/task/16643/stat : 16643 (java) S 16627 16630 17093 0 -1 1077944384 3381 0 0 0 24 0 0 0 20 0 15 0 67285902 10804461568 2071746 18446744073709551615 4194304 4196468 140727880833616 140310990465440 140311501248213 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27115520 140727880839573 140727880839726 140727880839726 140727880843215 0
[pid=16630/tid=16644] ppid=16627 vsize=10551232 memory=1624 CPUtime=0 cores=0,2,4,6
/proc/16630/task/16644/stat : 16644 (java) S 16627 16630 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67285902 10804461568 2071746 18446744073709551615 4194304 4196468 140727880833616 140310989412832 140311501248213 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27115520 140727880839573 140727880839726 140727880839726 140727880843215 0
[pid=16630/tid=16645] ppid=16627 vsize=10551232 memory=2160 CPUtime=0.03 cores=0,2,4,6
/proc/16630/task/16645/stat : 16645 (java) S 16627 16630 17093 0 -1 1077944384 417 0 0 0 2 1 0 0 20 0 15 0 67285908 10804461568 2071746 18446744073709551615 4194304 4196468 140727880833616 140310988360624 140311501249154 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27115520 140727880839573 140727880839726 140727880839726 140727880843215 0
Current children cumulated CPU time: 252.03 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 8286984 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+85.8875 s]
# the end of solver process 16630 was just reported to runsolver
# cumulated CPU time of all completed processes: user=253.844 s, system=4.58924 s
Solver just ended.
Dumping a history of the last processes samples
[startup+84.8007 s]
/proc/loadavg: 5.20 4.51 3.98 6/209 16723
/proc/meminfo: memFree=15007076/32770624 swapFree=67108860/67108860
[pid=16630] ppid=16627 vsize=10551232 memory=8286984 CPUtime=255.9 cores=0,2,4,6
/proc/16630/stat : 16630 (java) S 16627 16630 17093 0 -1 1077944320 1358731 0 0 0 25141 449 0 0 20 0 15 0 67285887 10804461568 2071746 18446744073709551615 4194304 4196468 140727880833616 140727880816160 140311501238007 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 9 0 0 6293624 6294260 27115520 140727880839573 140727880839726 140727880839726 140727880843215 0
/proc/16630/statm: 2637808 2071746 3123 1 0 2627261 0
[pid=16630/tid=16632] ppid=16627 vsize=10551232 memory=8286984 CPUtime=16.85 cores=0,2,4,6
/proc/16630/task/16632/stat : 16632 (java) S 16627 16630 17093 0 -1 1077944384 21599 0 0 0 1646 39 0 0 20 0 15 0 67285896 10804461568 2071746 18446744073709551615 4194304 4196468 140727880833616 140311505471744 140311501248213 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 27115520 140727880839573 140727880839726 140727880839726 140727880843215 0
[pid=16630/tid=16633] ppid=16627 vsize=10551232 memory=1000 CPUtime=57.35 cores=0,2,4,6
/proc/16630/task/16633/stat : 16633 (java) R 16627 16630 17093 0 -1 4202560 334456 0 0 0 5638 97 0 0 20 0 15 0 67285897 10804461568 2071746 18446744073709551615 4194304 4196468 140727880833616 140311431658072 140311485937923 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27115520 140727880839573 140727880839726 140727880839726 140727880843215 0
[pid=16630/tid=16634] ppid=16627 vsize=10551232 memory=796 CPUtime=56.85 cores=0,2,4,6
/proc/16630/task/16634/stat : 16634 (java) R 16627 16630 17093 0 -1 4202560 327055 0 0 0 5599 86 0 0 20 0 15 0 67285897 10804461568 2071746 18446744073709551615 4194304 4196468 140727880833616 140311430604880 140311493866215 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27115520 140727880839573 140727880839726 140727880839726 140727880843215 0
[pid=16630/tid=16635] ppid=16627 vsize=10551232 memory=-8774313645642428999 CPUtime=56.84 cores=0,2,4,6
/proc/16630/task/16635/stat : 16635 (java) R 16627 16630 17093 0 -1 4202560 271719 0 0 0 5583 101 0 0 20 0 15 0 67285897 10804461568 2071746 18446744073709551615 4194304 4196468 140727880833616 140311429552592 140311493866215 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27115520 140727880839573 140727880839726 140727880839726 140727880843215 0
[pid=16630/tid=16636] ppid=16627 vsize=10551232 memory=4420 CPUtime=56.83 cores=0,2,4,6
/proc/16630/task/16636/stat : 16636 (java) R 16627 16630 17093 0 -1 4202560 353091 0 0 0 5565 118 0 0 20 0 15 0 67285897 10804461568 2071746 18446744073709551615 4194304 4196468 140727880833616 140311428500104 140311493866215 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27115520 140727880839573 140727880839726 140727880839726 140727880843215 0
[pid=16630/tid=16637] ppid=16627 vsize=10551232 memory=6628 CPUtime=9.83 cores=0,2,4,6
/proc/16630/task/16637/stat : 16637 (java) S 16627 16630 17093 0 -1 1077944384 41422 0 0 0 981 2 0 0 20 0 15 0 67285899 10804461568 2071746 18446744073709551615 4194304 4196468 140727880833616 140310996780224 140311501248213 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27115520 140727880839573 140727880839726 140727880839726 140727880843215 0
[pid=16630/tid=16638] ppid=16627 vsize=10551232 memory=8836 CPUtime=0 cores=0,2,4,6
/proc/16630/task/16638/stat : 16638 (java) S 16627 16630 17093 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 67285899 10804461568 2071746 18446744073709551615 4194304 4196468 140727880833616 140310995727712 140311501248213 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27115520 140727880839573 140727880839726 140727880839726 140727880843215 0
[pid=16630/tid=16639] ppid=16627 vsize=10551232 memory=11044 CPUtime=0 cores=0,2,4,6
/proc/16630/task/16639/stat : 16639 (java) S 16627 16630 17093 0 -1 1077944384 119 0 0 0 0 0 0 0 20 0 15 0 67285899 10804461568 2071746 18446744073709551615 4194304 4196468 140727880833616 140310994675328 140311501248213 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27115520 140727880839573 140727880839726 140727880839726 140727880843215 0
[pid=16630/tid=16640] ppid=16627 vsize=10551232 memory=-8774313645642428999 CPUtime=0 cores=0,2,4,6
/proc/16630/task/16640/stat : 16640 (java) S 16627 16630 17093 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 67285902 10804461568 2071746 18446744073709551615 4194304 4196468 140727880833616 140310993623280 140311501248213 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27115520 140727880839573 140727880839726 140727880839726 140727880843215 0
[pid=16630/tid=16641] ppid=16627 vsize=10551232 memory=1000 CPUtime=0.54 cores=0,2,4,6
/proc/16630/task/16641/stat : 16641 (java) S 16627 16630 17093 0 -1 1077944384 2322 0 0 0 54 0 0 0 20 0 15 0 67285902 10804461568 2071746 18446744073709551615 4194304 4196468 140727880833616 140310992570528 140311501248213 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27115520 140727880839573 140727880839726 140727880839726 140727880843215 0
[pid=16630/tid=16642] ppid=16627 vsize=10551232 memory=8286984 CPUtime=0.43 cores=0,2,4,6
/proc/16630/task/16642/stat : 16642 (java) S 16627 16630 17093 0 -1 1077944384 1773 0 0 0 43 0 0 0 20 0 15 0 67285902 10804461568 2071746 18446744073709551615 4194304 4196468 140727880833616 140310991517440 140311501248213 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27115520 140727880839573 140727880839726 140727880839726 140727880843215 0
[pid=16630/tid=16643] ppid=16627 vsize=10551232 memory=8944 CPUtime=0.24 cores=0,2,4,6
/proc/16630/task/16643/stat : 16643 (java) S 16627 16630 17093 0 -1 1077944384 3381 0 0 0 24 0 0 0 20 0 15 0 67285902 10804461568 2071746 18446744073709551615 4194304 4196468 140727880833616 140310990465440 140311501248213 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27115520 140727880839573 140727880839726 140727880839726 140727880843215 0
[pid=16630/tid=16644] ppid=16627 vsize=10551232 memory=15876 CPUtime=0 cores=0,2,4,6
/proc/16630/task/16644/stat : 16644 (java) S 16627 16630 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67285902 10804461568 2071746 18446744073709551615 4194304 4196468 140727880833616 140310989412832 140311501248213 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27115520 140727880839573 140727880839726 140727880839726 140727880843215 0
[pid=16630/tid=16645] ppid=16627 vsize=10551232 memory=4048 CPUtime=0.03 cores=0,2,4,6
/proc/16630/task/16645/stat : 16645 (java) S 16627 16630 17093 0 -1 1077944384 417 0 0 0 2 1 0 0 20 0 15 0 67285908 10804461568 2071746 18446744073709551615 4194304 4196468 140727880833616 140310988360624 140311501249154 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27115520 140727880839573 140727880839726 140727880839726 140727880843215 0
Current children cumulated CPU time: 255.9 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 8286984 KiB
[startup+85.6013 s]
/proc/loadavg: 5.20 4.51 3.98 6/209 16723
/proc/meminfo: memFree=15007076/32770624 swapFree=67108860/67108860
[pid=16630] ppid=16627 vsize=10551232 memory=8286984 CPUtime=258.14 cores=0,2,4,6
/proc/16630/stat : 16630 (java) S 16627 16630 17093 0 -1 1077944320 1358731 0 0 0 25364 450 0 0 20 0 15 0 67285887 10804461568 2071746 18446744073709551615 4194304 4196468 140727880833616 140727880816160 140311501238007 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 9 0 0 6293624 6294260 27115520 140727880839573 140727880839726 140727880839726 140727880843215 0
/proc/16630/statm: 2637808 2071746 3123 1 0 2627261 0
[pid=16630/tid=16632] ppid=16627 vsize=10551232 memory=8286984 CPUtime=16.85 cores=0,2,4,6
/proc/16630/task/16632/stat : 16632 (java) S 16627 16630 17093 0 -1 1077944384 21599 0 0 0 1646 39 0 0 20 0 15 0 67285896 10804461568 2071746 18446744073709551615 4194304 4196468 140727880833616 140311505471744 140311501248213 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 27115520 140727880839573 140727880839726 140727880839726 140727880843215 0
[pid=16630/tid=16633] ppid=16627 vsize=10551232 memory=0 CPUtime=57.86 cores=0,2,4,6
/proc/16630/task/16633/stat : 16633 (java) S 16627 16630 17093 0 -1 1077944384 334456 0 0 0 5689 97 0 0 20 0 15 0 67285897 10804461568 2071746 18446744073709551615 4194304 4196468 140727880833616 140311431657872 140311501248213 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27115520 140727880839573 140727880839726 140727880839726 140727880843215 0
[pid=16630/tid=16634] ppid=16627 vsize=10551232 memory=0 CPUtime=57.33 cores=0,2,4,6
/proc/16630/task/16634/stat : 16634 (java) S 16627 16630 17093 0 -1 1077944384 327055 0 0 0 5647 86 0 0 20 0 15 0 67285897 10804461568 2071746 18446744073709551615 4194304 4196468 140727880833616 140311430605072 140311501248213 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27115520 140727880839573 140727880839726 140727880839726 140727880843215 0
[pid=16630/tid=16635] ppid=16627 vsize=10551232 memory=-8774313645642428999 CPUtime=57.33 cores=0,2,4,6
/proc/16630/task/16635/stat : 16635 (java) S 16627 16630 17093 0 -1 1077944384 271719 0 0 0 5631 102 0 0 20 0 15 0 67285897 10804461568 2071746 18446744073709551615 4194304 4196468 140727880833616 140311429552784 140311501248213 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27115520 140727880839573 140727880839726 140727880839726 140727880843215 0
[pid=16630/tid=16636] ppid=16627 vsize=10551232 memory=1296 CPUtime=57.3 cores=0,2,4,6
/proc/16630/task/16636/stat : 16636 (java) S 16627 16630 17093 0 -1 1077944384 353091 0 0 0 5612 118 0 0 20 0 15 0 67285897 10804461568 2071746 18446744073709551615 4194304 4196468 140727880833616 140311428499984 140311501248213 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27115520 140727880839573 140727880839726 140727880839726 140727880843215 0
[pid=16630/tid=16637] ppid=16627 vsize=10551232 memory=2420 CPUtime=10.13 cores=0,2,4,6
/proc/16630/task/16637/stat : 16637 (java) R 16627 16630 17093 0 -1 4202560 41422 0 0 0 1011 2 0 0 20 0 15 0 67285899 10804461568 2071746 18446744073709551615 4194304 4196468 140727880833616 140310996780112 140311485695610 0 0 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27115520 140727880839573 140727880839726 140727880839726 140727880843215 0
[pid=16630/tid=16638] ppid=16627 vsize=10551232 memory=1732 CPUtime=0 cores=0,2,4,6
/proc/16630/task/16638/stat : 16638 (java) S 16627 16630 17093 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 67285899 10804461568 2071746 18446744073709551615 4194304 4196468 140727880833616 140310995727712 140311501248213 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27115520 140727880839573 140727880839726 140727880839726 140727880843215 0
[pid=16630/tid=16639] ppid=16627 vsize=10551232 memory=5788 CPUtime=0 cores=0,2,4,6
/proc/16630/task/16639/stat : 16639 (java) S 16627 16630 17093 0 -1 1077944384 119 0 0 0 0 0 0 0 20 0 15 0 67285899 10804461568 2071746 18446744073709551615 4194304 4196468 140727880833616 140310994675328 140311501248213 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27115520 140727880839573 140727880839726 140727880839726 140727880843215 0
[pid=16630/tid=16640] ppid=16627 vsize=10551232 memory=4612 CPUtime=0 cores=0,2,4,6
/proc/16630/task/16640/stat : 16640 (java) S 16627 16630 17093 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 67285902 10804461568 2071746 18446744073709551615 4194304 4196468 140727880833616 140310993623280 140311501248213 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27115520 140727880839573 140727880839726 140727880839726 140727880843215 0
[pid=16630/tid=16641] ppid=16627 vsize=10551232 memory=1708 CPUtime=0.54 cores=0,2,4,6
/proc/16630/task/16641/stat : 16641 (java) S 16627 16630 17093 0 -1 1077944384 2322 0 0 0 54 0 0 0 20 0 15 0 67285902 10804461568 2071746 18446744073709551615 4194304 4196468 140727880833616 140310992570528 140311501248213 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27115520 140727880839573 140727880839726 140727880839726 140727880843215 0
[pid=16630/tid=16642] ppid=16627 vsize=10551232 memory=1444 CPUtime=0.43 cores=0,2,4,6
/proc/16630/task/16642/stat : 16642 (java) S 16627 16630 17093 0 -1 1077944384 1773 0 0 0 43 0 0 0 20 0 15 0 67285902 10804461568 2071746 18446744073709551615 4194304 4196468 140727880833616 140310991517440 140311501248213 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27115520 140727880839573 140727880839726 140727880839726 140727880843215 0
[pid=16630/tid=16643] ppid=16627 vsize=10551232 memory=1228 CPUtime=0.24 cores=0,2,4,6
/proc/16630/task/16643/stat : 16643 (java) S 16627 16630 17093 0 -1 1077944384 3381 0 0 0 24 0 0 0 20 0 15 0 67285902 10804461568 2071746 18446744073709551615 4194304 4196468 140727880833616 140310990465440 140311501248213 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27115520 140727880839573 140727880839726 140727880839726 140727880843215 0
[pid=16630/tid=16644] ppid=16627 vsize=10551232 memory=12200 CPUtime=0 cores=0,2,4,6
/proc/16630/task/16644/stat : 16644 (java) S 16627 16630 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67285902 10804461568 2071746 18446744073709551615 4194304 4196468 140727880833616 140310989412832 140311501248213 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27115520 140727880839573 140727880839726 140727880839726 140727880843215 0
[pid=16630/tid=16645] ppid=16627 vsize=10551232 memory=1992 CPUtime=0.03 cores=0,2,4,6
/proc/16630/task/16645/stat : 16645 (java) S 16627 16630 17093 0 -1 1077944384 417 0 0 0 2 1 0 0 20 0 15 0 67285908 10804461568 2071746 18446744073709551615 4194304 4196468 140727880833616 140310988360624 140311501249154 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27115520 140727880839573 140727880839726 140727880839726 140727880843215 0
Current children cumulated CPU time: 258.14 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 8286984 KiB
[startup+85.8013 s]
/proc/loadavg: 5.20 4.51 3.98 6/209 16723
/proc/meminfo: memFree=15007076/32770624 swapFree=67108860/67108860
[pid=16630] ppid=16627 vsize=10551232 memory=8286984 CPUtime=258.34 cores=0,2,4,6
/proc/16630/stat : 16630 (java) S 16627 16630 17093 0 -1 1077944320 1358733 0 0 0 25384 450 0 0 20 0 15 0 67285887 10804461568 2071746 18446744073709551615 4194304 4196468 140727880833616 140727880816160 140311501238007 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 9 0 0 6293624 6294260 27115520 140727880839573 140727880839726 140727880839726 140727880843215 0
/proc/16630/statm: 2637808 2071746 3123 1 0 2627261 0
[pid=16630/tid=16632] ppid=16627 vsize=10551232 memory=1000 CPUtime=16.85 cores=0,2,4,6
/proc/16630/task/16632/stat : 16632 (java) S 16627 16630 17093 0 -1 1077944384 21599 0 0 0 1646 39 0 0 20 0 15 0 67285896 10804461568 2071746 18446744073709551615 4194304 4196468 140727880833616 140311505471744 140311501248213 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 27115520 140727880839573 140727880839726 140727880839726 140727880843215 0
[pid=16630/tid=16633] ppid=16627 vsize=10551232 memory=796 CPUtime=57.86 cores=0,2,4,6
/proc/16630/task/16633/stat : 16633 (java) S 16627 16630 17093 0 -1 1077944384 334456 0 0 0 5689 97 0 0 20 0 15 0 67285897 10804461568 2071746 18446744073709551615 4194304 4196468 140727880833616 140311431657872 140311501248213 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27115520 140727880839573 140727880839726 140727880839726 140727880843215 0
[pid=16630/tid=16634] ppid=16627 vsize=10551232 memory=8944 CPUtime=57.33 cores=0,2,4,6
/proc/16630/task/16634/stat : 16634 (java) S 16627 16630 17093 0 -1 1077944384 327055 0 0 0 5647 86 0 0 20 0 15 0 67285897 10804461568 2071746 18446744073709551615 4194304 4196468 140727880833616 140311430605072 140311501248213 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27115520 140727880839573 140727880839726 140727880839726 140727880843215 0
[pid=16630/tid=16635] ppid=16627 vsize=10551232 memory=-8774313645642428999 CPUtime=57.33 cores=0,2,4,6
/proc/16630/task/16635/stat : 16635 (java) S 16627 16630 17093 0 -1 1077944384 271719 0 0 0 5631 102 0 0 20 0 15 0 67285897 10804461568 2071746 18446744073709551615 4194304 4196468 140727880833616 140311429552784 140311501248213 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27115520 140727880839573 140727880839726 140727880839726 140727880843215 0
[pid=16630/tid=16636] ppid=16627 vsize=10551232 memory=4048 CPUtime=57.3 cores=0,2,4,6
/proc/16630/task/16636/stat : 16636 (java) S 16627 16630 17093 0 -1 1077944384 353091 0 0 0 5612 118 0 0 20 0 15 0 67285897 10804461568 2071746 18446744073709551615 4194304 4196468 140727880833616 140311428499984 140311501248213 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27115520 140727880839573 140727880839726 140727880839726 140727880843215 0
[pid=16630/tid=16637] ppid=16627 vsize=10551232 memory=21300 CPUtime=10.33 cores=0,2,4,6
/proc/16630/task/16637/stat : 16637 (java) R 16627 16630 17093 0 -1 4202560 41424 0 0 0 1031 2 0 0 20 0 15 0 67285899 10804461568 2071746 18446744073709551615 4194304 4196468 140727880833616 140310996780112 140311485695627 0 0 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27115520 140727880839573 140727880839726 140727880839726 140727880843215 0
[pid=16630/tid=16638] ppid=16627 vsize=10551232 memory=1788 CPUtime=0 cores=0,2,4,6
/proc/16630/task/16638/stat : 16638 (java) S 16627 16630 17093 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 67285899 10804461568 2071746 18446744073709551615 4194304 4196468 140727880833616 140310995727712 140311501248213 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27115520 140727880839573 140727880839726 140727880839726 140727880843215 0
[pid=16630/tid=16639] ppid=16627 vsize=10551232 memory=640 CPUtime=0 cores=0,2,4,6
/proc/16630/task/16639/stat : 16639 (java) S 16627 16630 17093 0 -1 1077944384 119 0 0 0 0 0 0 0 20 0 15 0 67285899 10804461568 2071746 18446744073709551615 4194304 4196468 140727880833616 140310994675328 140311501248213 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27115520 140727880839573 140727880839726 140727880839726 140727880843215 0
[pid=16630/tid=16640] ppid=16627 vsize=10551232 memory=960 CPUtime=0 cores=0,2,4,6
/proc/16630/task/16640/stat : 16640 (java) S 16627 16630 17093 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 67285902 10804461568 2071746 18446744073709551615 4194304 4196468 140727880833616 140310993623280 140311501248213 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27115520 140727880839573 140727880839726 140727880839726 140727880843215 0
[pid=16630/tid=16641] ppid=16627 vsize=10551232 memory=1232 CPUtime=0.54 cores=0,2,4,6
/proc/16630/task/16641/stat : 16641 (java) S 16627 16630 17093 0 -1 1077944384 2322 0 0 0 54 0 0 0 20 0 15 0 67285902 10804461568 2071746 18446744073709551615 4194304 4196468 140727880833616 140310992570528 140311501248213 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27115520 140727880839573 140727880839726 140727880839726 140727880843215 0
[pid=16630/tid=16642] ppid=16627 vsize=10551232 memory=2248 CPUtime=0.43 cores=0,2,4,6
/proc/16630/task/16642/stat : 16642 (java) S 16627 16630 17093 0 -1 1077944384 1773 0 0 0 43 0 0 0 20 0 15 0 67285902 10804461568 2071746 18446744073709551615 4194304 4196468 140727880833616 140310991517440 140311501248213 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27115520 140727880839573 140727880839726 140727880839726 140727880843215 0
[pid=16630/tid=16643] ppid=16627 vsize=10551232 memory=4300 CPUtime=0.24 cores=0,2,4,6
/proc/16630/task/16643/stat : 16643 (java) S 16627 16630 17093 0 -1 1077944384 3381 0 0 0 24 0 0 0 20 0 15 0 67285902 10804461568 2071746 18446744073709551615 4194304 4196468 140727880833616 140310990465440 140311501248213 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27115520 140727880839573 140727880839726 140727880839726 140727880843215 0
[pid=16630/tid=16644] ppid=16627 vsize=10551232 memory=932 CPUtime=0 cores=0,2,4,6
/proc/16630/task/16644/stat : 16644 (java) S 16627 16630 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67285902 10804461568 2071746 18446744073709551615 4194304 4196468 140727880833616 140310989412832 140311501248213 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27115520 140727880839573 140727880839726 140727880839726 140727880843215 0
[pid=16630/tid=16645] ppid=16627 vsize=10551232 memory=1624 CPUtime=0.03 cores=0,2,4,6
/proc/16630/task/16645/stat : 16645 (java) S 16627 16630 17093 0 -1 1077944384 417 0 0 0 2 1 0 0 20 0 15 0 67285908 10804461568 2071746 18446744073709551615 4194304 4196468 140727880833616 140310988360624 140311501249154 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27115520 140727880839573 140727880839726 140727880839726 140727880843215 0
Current children cumulated CPU time: 258.34 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 8286984 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 85.8876
CPU time (s): 258.433
CPU user time (s): 253.844
CPU system time (s): 4.58924
CPU usage (%): 300.897
Max. virtual memory (cumulated for all children) (KiB): 10551232
Max. memory (cumulated for all children) (KiB): 8286984
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 253.844
system time used= 4.58924
maximum resident set size= 8287116
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1358737
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8778
involuntary context switches= 4615
# summary of solver processes directly reported to runsolver:
# pid: 16630
# total CPU time (s): 258.433
# total CPU user time (s): 253.844
# total CPU system time (s): 4.58924
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.572861 second user time and 0.794193 second system time
The end