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 (14667 MiB free)
memory of node 1: 16384 MiB (15653 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4273445-1502752380/watcher-4273445-1502752380 -o /tmp/evaluation-result-4273445-1502752380/solver-4273445-1502752380 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node129-1502746532-7260 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 510840111 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4273445-1502752380.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=8546, runsolver pid=8543
[startup+0.105819 s]*
/proc/loadavg: 1.53 1.48 1.49 3/203 8555
/proc/meminfo: memFree=31039968/32770624 swapFree=67108860/67108860
[pid=8546] ppid=8543 vsize=13573664 memory=18352 CPUtime=0.03 cores=1,3,5,7
/proc/8546/stat : 8546 (java) S 8543 8546 2357 0 -1 1077944320 4007 0 0 0 3 0 0 0 20 0 9 0 2853118 13899431936 4588 18446744073709551615 4194304 4196468 140723871010096 140723870992640 140254668205815 0 0 1 16800970 18446744073709551615 0 0 17 3 0 0 6 0 0 6293624 6294260 22220800 140723871011186 140723871011372 140723871011372 140723871014863 0
/proc/8546/statm: 3393416 4588 2145 1 0 3382913 0
[pid=8546/tid=8548] ppid=8543 vsize=13573664 memory=-8035107114825123821 CPUtime=0.03 cores=1,3,5,7
/proc/8546/task/8548/stat : 8548 (java) R 8543 8546 2357 0 -1 4202560 2634 0 0 0 3 0 0 0 20 0 9 0 2853125 13899431936 4588 18446744073709551615 4194304 4196468 140723871010096 140254672441208 140254653899247 0 4 1 16800970 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22220800 140723871011186 140723871011372 140723871011372 140723871014863 0
[pid=8546/tid=8549] ppid=8543 vsize=13573664 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8546/task/8549/stat : 8549 (java) S 8543 8546 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 2853125 13899431936 4588 18446744073709551615 4194304 4196468 140723871010096 140254587620240 140254668216021 0 4 1 16800970 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22220800 140723871011186 140723871011372 140723871011372 140723871014863 0
[pid=8546/tid=8550] ppid=8543 vsize=13573664 memory=139633436653184 CPUtime=0 cores=1,3,5,7
/proc/8546/task/8550/stat : 8550 (java) S 8543 8546 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 2853125 13899431936 4588 18446744073709551615 4194304 4196468 140723871010096 140254586567440 140254668216021 0 4 1 16800970 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22220800 140723871011186 140723871011372 140723871011372 140723871014863 0
[pid=8546/tid=8551] ppid=8543 vsize=13573664 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8546/task/8551/stat : 8551 (java) S 8543 8546 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 2853125 13899431936 4588 18446744073709551615 4194304 4196468 140723871010096 140254585515152 140254668216021 0 4 1 16800970 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22220800 140723871011186 140723871011372 140723871011372 140723871014863 0
[pid=8546/tid=8552] ppid=8543 vsize=13573664 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8546/task/8552/stat : 8552 (java) S 8543 8546 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 2853125 13899431936 4588 18446744073709551615 4194304 4196468 140723871010096 140254584462352 140254668216021 0 4 1 16800970 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22220800 140723871011186 140723871011372 140723871011372 140723871014863 0
[pid=8546/tid=8553] ppid=8543 vsize=13573664 memory=139633436653184 CPUtime=0 cores=1,3,5,7
/proc/8546/task/8553/stat : 8553 (java) S 8543 8546 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 2853127 13899431936 4588 18446744073709551615 4194304 4196468 140723871010096 140254146730096 140254668216962 0 0 1 16800970 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22220800 140723871011186 140723871011372 140723871011372 140723871014863 0
[pid=8546/tid=8554] ppid=8543 vsize=13573664 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8546/task/8554/stat : 8554 (java) S 8543 8546 2357 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 2853127 13899431936 4588 18446744073709551615 4194304 4196468 140723871010096 140254145676064 140254668216021 0 4 1 16800970 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22220800 140723871011186 140723871011372 140723871011372 140723871014863 0
[pid=8546/tid=8555] ppid=8543 vsize=13573664 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8546/task/8555/stat : 8555 (java) S 8543 8546 2357 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 2853127 13899431936 4588 18446744073709551615 4194304 4196468 140723871010096 140254144623728 140254668216021 0 4 1 16800970 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22220800 140723871011186 140723871011372 140723871011372 140723871014863 0
Current children cumulated CPU time: 0.03 s
Current children cumulated vsize: 13573664 KiB
Current children cumulated memory: 18352 KiB
[startup+0.209847 s]*
/proc/loadavg: 1.53 1.48 1.49 4/209 8561
/proc/meminfo: memFree=31027072/32770624 swapFree=67108860/67108860
[pid=8546] ppid=8543 vsize=13975920 memory=32856 CPUtime=0.14 cores=1,3,5,7
/proc/8546/stat : 8546 (java) S 8543 8546 2357 0 -1 1077944320 9236 0 0 0 12 2 0 0 20 0 15 0 2853118 14311342080 8214 18446744073709551615 4194304 4196468 140723871010096 140723870992640 140254668205815 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 6 0 0 6293624 6294260 22220800 140723871011186 140723871011372 140723871011372 140723871014863 0
/proc/8546/statm: 3493980 8214 3384 1 0 3482759 0
[pid=8546/tid=8548] ppid=8543 vsize=13975920 memory=7078076838863583850 CPUtime=0.1 cores=1,3,5,7
/proc/8546/task/8548/stat : 8548 (java) R 8543 8546 2357 0 -1 4202560 7163 0 0 0 9 1 0 0 20 0 15 0 2853125 14311342080 8214 18446744073709551615 4194304 4196468 140723871010096 140254672411808 140254654412397 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 22220800 140723871011186 140723871011372 140723871011372 140723871014863 0
[pid=8546/tid=8549] ppid=8543 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8546/task/8549/stat : 8549 (java) S 8543 8546 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 2853125 14311342080 8214 18446744073709551615 4194304 4196468 140723871010096 140254587620240 140254668216021 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22220800 140723871011186 140723871011372 140723871011372 140723871014863 0
[pid=8546/tid=8550] ppid=8543 vsize=13975920 memory=139633436653184 CPUtime=0 cores=1,3,5,7
/proc/8546/task/8550/stat : 8550 (java) S 8543 8546 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 2853125 14311342080 8214 18446744073709551615 4194304 4196468 140723871010096 140254586567440 140254668216021 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22220800 140723871011186 140723871011372 140723871011372 140723871014863 0
[pid=8546/tid=8551] ppid=8543 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8546/task/8551/stat : 8551 (java) S 8543 8546 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 2853125 14311342080 8214 18446744073709551615 4194304 4196468 140723871010096 140254585515152 140254668216021 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22220800 140723871011186 140723871011372 140723871011372 140723871014863 0
[pid=8546/tid=8552] ppid=8543 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8546/task/8552/stat : 8552 (java) S 8543 8546 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 2853125 14311342080 8214 18446744073709551615 4194304 4196468 140723871010096 140254584462352 140254668216021 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22220800 140723871011186 140723871011372 140723871011372 140723871014863 0
[pid=8546/tid=8553] ppid=8543 vsize=13975920 memory=139633436653184 CPUtime=0 cores=1,3,5,7
/proc/8546/task/8553/stat : 8553 (java) S 8543 8546 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 2853127 14311342080 8214 18446744073709551615 4194304 4196468 140723871010096 140254146730096 140254668216962 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22220800 140723871011186 140723871011372 140723871011372 140723871014863 0
[pid=8546/tid=8554] ppid=8543 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8546/task/8554/stat : 8554 (java) S 8543 8546 2357 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 2853127 14311342080 8214 18446744073709551615 4194304 4196468 140723871010096 140254145676064 140254668216021 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22220800 140723871011186 140723871011372 140723871011372 140723871014863 0
[pid=8546/tid=8555] ppid=8543 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8546/task/8555/stat : 8555 (java) S 8543 8546 2357 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 2853127 14311342080 8214 18446744073709551615 4194304 4196468 140723871010096 140254144623728 140254668216021 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22220800 140723871011186 140723871011372 140723871011372 140723871014863 0
[pid=8546/tid=8556] ppid=8543 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8546/task/8556/stat : 8556 (java) S 8543 8546 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 2853130 14311342080 8214 18446744073709551615 4194304 4196468 140723871010096 140254143572048 140254668224411 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22220800 140723871011186 140723871011372 140723871011372 140723871014863 0
[pid=8546/tid=8557] ppid=8543 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8546/task/8557/stat : 8557 (java) S 8543 8546 2357 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 15 0 2853130 14311342080 8214 18446744073709551615 4194304 4196468 140723871010096 140254142519920 140254668216962 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22220800 140723871011186 140723871011372 140723871011372 140723871014863 0
[pid=8546/tid=8558] ppid=8543 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8546/task/8558/stat : 8558 (java) S 8543 8546 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 2853130 14311342080 8214 18446744073709551615 4194304 4196468 140723871010096 140254141467120 140254668216962 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22220800 140723871011186 140723871011372 140723871011372 140723871014863 0
[pid=8546/tid=8559] ppid=8543 vsize=13975920 memory=139633436653184 CPUtime=0.02 cores=1,3,5,7
/proc/8546/task/8559/stat : 8559 (java) S 8543 8546 2357 0 -1 1077944384 384 0 0 0 2 0 0 0 20 0 15 0 2853130 14311342080 8214 18446744073709551615 4194304 4196468 140723871010096 140254140414832 140254668216962 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22220800 140723871011186 140723871011372 140723871011372 140723871014863 0
[pid=8546/tid=8560] ppid=8543 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8546/task/8560/stat : 8560 (java) S 8543 8546 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 2853130 14311342080 8214 18446744073709551615 4194304 4196468 140723871010096 140254139362272 140254668216021 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22220800 140723871011186 140723871011372 140723871011372 140723871014863 0
[pid=8546/tid=8561] ppid=8543 vsize=13975920 memory=139633436653184 CPUtime=0 cores=1,3,5,7
/proc/8546/task/8561/stat : 8561 (java) S 8543 8546 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 2853134 14311342080 8214 18446744073709551615 4194304 4196468 140723871010096 140254138309040 140254668216962 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22220800 140723871011186 140723871011372 140723871011372 140723871014863 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 32856 KiB
[startup+0.311046 s]*
/proc/loadavg: 1.53 1.48 1.49 3/209 8561
/proc/meminfo: memFree=31021020/32770624 swapFree=67108860/67108860
[pid=8546] ppid=8543 vsize=13975920 memory=42448 CPUtime=0.31 cores=1,3,5,7
/proc/8546/stat : 8546 (java) S 8543 8546 2357 0 -1 1077944320 10833 0 0 0 28 3 0 0 20 0 15 0 2853118 14311342080 10612 18446744073709551615 4194304 4196468 140723871010096 140723870992640 140254668205815 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 6 0 0 6293624 6294260 22220800 140723871011186 140723871011372 140723871011372 140723871014863 0
/proc/8546/statm: 3493980 10612 3584 1 0 3482759 0
[pid=8546/tid=8548] ppid=8543 vsize=13975920 memory=7680170660397595203 CPUtime=0.2 cores=1,3,5,7
/proc/8546/task/8548/stat : 8548 (java) R 8543 8546 2357 0 -1 4202560 8343 0 0 0 18 2 0 0 20 0 15 0 2853125 14311342080 10612 18446744073709551615 4194304 4196468 140723871010096 140254672415712 140254668227741 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 22220800 140723871011186 140723871011372 140723871011372 140723871014863 0
[pid=8546/tid=8549] ppid=8543 vsize=13975920 memory=-8458152057954561420 CPUtime=0 cores=1,3,5,7
/proc/8546/task/8549/stat : 8549 (java) S 8543 8546 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 2853125 14311342080 10612 18446744073709551615 4194304 4196468 140723871010096 140254587620240 140254668216021 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22220800 140723871011186 140723871011372 140723871011372 140723871014863 0
[pid=8546/tid=8550] ppid=8543 vsize=13975920 memory=7100839852926015589 CPUtime=0 cores=1,3,5,7
/proc/8546/task/8550/stat : 8550 (java) S 8543 8546 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 2853125 14311342080 10612 18446744073709551615 4194304 4196468 140723871010096 140254586567440 140254668216021 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22220800 140723871011186 140723871011372 140723871011372 140723871014863 0
[pid=8546/tid=8551] ppid=8543 vsize=13975920 memory=-6949179150270506172 CPUtime=0 cores=1,3,5,7
/proc/8546/task/8551/stat : 8551 (java) S 8543 8546 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 2853125 14311342080 10612 18446744073709551615 4194304 4196468 140723871010096 140254585515152 140254668216021 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22220800 140723871011186 140723871011372 140723871011372 140723871014863 0
[pid=8546/tid=8552] ppid=8543 vsize=13975920 memory=1404226546319204233 CPUtime=0 cores=1,3,5,7
/proc/8546/task/8552/stat : 8552 (java) S 8543 8546 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 2853125 14311342080 10612 18446744073709551615 4194304 4196468 140723871010096 140254584462352 140254668216021 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22220800 140723871011186 140723871011372 140723871011372 140723871014863 0
[pid=8546/tid=8553] ppid=8543 vsize=13975920 memory=7078076838863583850 CPUtime=0 cores=1,3,5,7
/proc/8546/task/8553/stat : 8553 (java) S 8543 8546 2357 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 2853127 14311342080 10612 18446744073709551615 4194304 4196468 140723871010096 140254146730096 140254668216962 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22220800 140723871011186 140723871011372 140723871011372 140723871014863 0
[pid=8546/tid=8554] ppid=8543 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8546/task/8554/stat : 8554 (java) S 8543 8546 2357 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 2853127 14311342080 10612 18446744073709551615 4194304 4196468 140723871010096 140254145676064 140254668216021 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22220800 140723871011186 140723871011372 140723871011372 140723871014863 0
[pid=8546/tid=8555] ppid=8543 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8546/task/8555/stat : 8555 (java) S 8543 8546 2357 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 2853127 14311342080 10612 18446744073709551615 4194304 4196468 140723871010096 140254144623728 140254668216021 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22220800 140723871011186 140723871011372 140723871011372 140723871014863 0
[pid=8546/tid=8556] ppid=8543 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8546/task/8556/stat : 8556 (java) S 8543 8546 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 2853130 14311342080 10612 18446744073709551615 4194304 4196468 140723871010096 140254143572048 140254668224411 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22220800 140723871011186 140723871011372 140723871011372 140723871014863 0
[pid=8546/tid=8557] ppid=8543 vsize=13975920 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/8546/task/8557/stat : 8557 (java) S 8543 8546 2357 0 -1 1077944384 561 0 0 0 2 0 0 0 20 0 15 0 2853130 14311342080 10612 18446744073709551615 4194304 4196468 140723871010096 140254142519920 140254668216962 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22220800 140723871011186 140723871011372 140723871011372 140723871014863 0
[pid=8546/tid=8558] ppid=8543 vsize=13975920 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/8546/task/8558/stat : 8558 (java) S 8543 8546 2357 0 -1 1077944384 62 0 0 0 1 0 0 0 20 0 15 0 2853130 14311342080 10612 18446744073709551615 4194304 4196468 140723871010096 140254141467120 140254668216962 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22220800 140723871011186 140723871011372 140723871011372 140723871014863 0
[pid=8546/tid=8559] ppid=8543 vsize=13975920 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/8546/task/8559/stat : 8559 (java) S 8543 8546 2357 0 -1 1077944384 484 0 0 0 5 0 0 0 20 0 15 0 2853130 14311342080 10612 18446744073709551615 4194304 4196468 140723871010096 140254140414832 140254668216962 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22220800 140723871011186 140723871011372 140723871011372 140723871014863 0
[pid=8546/tid=8560] ppid=8543 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8546/task/8560/stat : 8560 (java) S 8543 8546 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 2853130 14311342080 10612 18446744073709551615 4194304 4196468 140723871010096 140254139362272 140254668216021 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22220800 140723871011186 140723871011372 140723871011372 140723871014863 0
[pid=8546/tid=8561] ppid=8543 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8546/task/8561/stat : 8561 (java) S 8543 8546 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 2853134 14311342080 10612 18446744073709551615 4194304 4196468 140723871010096 140254138309040 140254668216962 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22220800 140723871011186 140723871011372 140723871011372 140723871014863 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 42448 KiB
[startup+0.705791 s]
/proc/loadavg: 1.53 1.48 1.49 3/209 8561
/proc/meminfo: memFree=31006728/32770624 swapFree=67108860/67108860
[pid=8546] ppid=8543 vsize=13977988 memory=69720 CPUtime=1.11 cores=1,3,5,7
/proc/8546/stat : 8546 (java) S 8543 8546 2357 0 -1 1077944320 14095 0 0 0 106 5 0 0 20 0 15 0 2853118 14313459712 17430 18446744073709551615 4194304 4196468 140723871010096 140723870992640 140254668205815 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 6 0 0 6293624 6294260 22220800 140723871011186 140723871011372 140723871011372 140723871014863 0
/proc/8546/statm: 3494497 17430 3742 1 0 3483271 0
[pid=8546/tid=8548] ppid=8543 vsize=13977988 memory=2542217987841 CPUtime=0.59 cores=1,3,5,7
/proc/8546/task/8548/stat : 8548 (java) R 8543 8546 2357 0 -1 4202560 10420 0 0 0 55 4 0 0 20 0 15 0 2853125 14313459712 17430 18446744073709551615 4194304 4196468 140723871010096 140254672441680 140254254493156 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 22220800 140723871011186 140723871011372 140723871011372 140723871014863 0
[pid=8546/tid=8549] ppid=8543 vsize=13977988 memory=2563692824321 CPUtime=0 cores=1,3,5,7
/proc/8546/task/8549/stat : 8549 (java) S 8543 8546 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 2853125 14313459712 17430 18446744073709551615 4194304 4196468 140723871010096 140254587620240 140254668216021 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22220800 140723871011186 140723871011372 140723871011372 140723871014863 0
[pid=8546/tid=8550] ppid=8543 vsize=13977988 memory=2572282758913 CPUtime=0 cores=1,3,5,7
/proc/8546/task/8550/stat : 8550 (java) S 8543 8546 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 2853125 14313459712 17430 18446744073709551615 4194304 4196468 140723871010096 140254586567440 140254668216021 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22220800 140723871011186 140723871011372 140723871011372 140723871014863 0
[pid=8546/tid=8551] ppid=8543 vsize=13977988 memory=448874192 CPUtime=0 cores=1,3,5,7
/proc/8546/task/8551/stat : 8551 (java) S 8543 8546 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 2853125 14313459712 17430 18446744073709551615 4194304 4196468 140723871010096 140254585515152 140254668216021 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22220800 140723871011186 140723871011372 140723871011372 140723871014863 0
[pid=8546/tid=8552] ppid=8543 vsize=13977988 memory=-8556738499077758064 CPUtime=0 cores=1,3,5,7
/proc/8546/task/8552/stat : 8552 (java) S 8543 8546 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 2853125 14313459712 17430 18446744073709551615 4194304 4196468 140723871010096 140254584462352 140254668216021 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22220800 140723871011186 140723871011372 140723871011372 140723871014863 0
[pid=8546/tid=8553] ppid=8543 vsize=13977988 memory=7956285308106002773 CPUtime=0 cores=1,3,5,7
/proc/8546/task/8553/stat : 8553 (java) S 8543 8546 2357 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 2853127 14313459712 17430 18446744073709551615 4194304 4196468 140723871010096 140254146730096 140254668216962 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22220800 140723871011186 140723871011372 140723871011372 140723871014863 0
[pid=8546/tid=8554] ppid=8543 vsize=13977988 memory=7595725831727968097 CPUtime=0 cores=1,3,5,7
/proc/8546/task/8554/stat : 8554 (java) S 8543 8546 2357 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 2853127 14313459712 17430 18446744073709551615 4194304 4196468 140723871010096 140254145676064 140254668216021 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22220800 140723871011186 140723871011372 140723871011372 140723871014863 0
[pid=8546/tid=8555] ppid=8543 vsize=13977988 memory=279266558504672 CPUtime=0 cores=1,3,5,7
/proc/8546/task/8555/stat : 8555 (java) S 8543 8546 2357 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 2853127 14313459712 17430 18446744073709551615 4194304 4196468 140723871010096 140254144623728 140254668216021 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22220800 140723871011186 140723871011372 140723871011372 140723871014863 0
[pid=8546/tid=8556] ppid=8543 vsize=13977988 memory=288230604624101684 CPUtime=0 cores=1,3,5,7
/proc/8546/task/8556/stat : 8556 (java) S 8543 8546 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 2853130 14313459712 17430 18446744073709551615 4194304 4196468 140723871010096 140254143572048 140254668224411 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22220800 140723871011186 140723871011372 140723871011372 140723871014863 0
[pid=8546/tid=8557] ppid=8543 vsize=13977988 memory=288288861677946034 CPUtime=0.14 cores=1,3,5,7
/proc/8546/task/8557/stat : 8557 (java) S 8543 8546 2357 0 -1 1077944384 951 0 0 0 14 0 0 0 20 0 15 0 2853130 14313459712 17430 18446744073709551615 4194304 4196468 140723871010096 140254142519920 140254668216962 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22220800 140723871011186 140723871011372 140723871011372 140723871014863 0
[pid=8546/tid=8558] ppid=8543 vsize=13977988 memory=8676 CPUtime=0.12 cores=1,3,5,7
/proc/8546/task/8558/stat : 8558 (java) R 8543 8546 2357 0 -1 1077944384 445 0 0 0 12 0 0 0 20 0 15 0 2853130 14313459712 17430 18446744073709551615 4194304 4196468 140723871010096 140254141467120 140254668216962 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22220800 140723871011186 140723871011372 140723871011372 140723871014863 0
[pid=8546/tid=8559] ppid=8543 vsize=13977988 memory=1200 CPUtime=0.24 cores=1,3,5,7
/proc/8546/task/8559/stat : 8559 (java) R 8543 8546 2357 0 -1 4202560 897 0 0 0 24 0 0 0 20 0 15 0 2853130 14313459712 17430 18446744073709551615 4194304 4196468 140723871010096 140254140414960 140254652286302 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22220800 140723871011186 140723871011372 140723871011372 140723871014863 0
[pid=8546/tid=8560] ppid=8543 vsize=13977988 memory=15876 CPUtime=0 cores=1,3,5,7
/proc/8546/task/8560/stat : 8560 (java) S 8543 8546 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 2853130 14313459712 17430 18446744073709551615 4194304 4196468 140723871010096 140254139362272 140254668216021 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22220800 140723871011186 140723871011372 140723871011372 140723871014863 0
[pid=8546/tid=8561] ppid=8543 vsize=13977988 memory=4016 CPUtime=0 cores=1,3,5,7
/proc/8546/task/8561/stat : 8561 (java) S 8543 8546 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 2853134 14313459712 17430 18446744073709551615 4194304 4196468 140723871010096 140254138309040 140254668216962 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22220800 140723871011186 140723871011372 140723871011372 140723871014863 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 13977988 KiB
Current children cumulated memory: 69720 KiB
[startup+1.50079 s]
/proc/loadavg: 1.53 1.48 1.49 5/209 8561
/proc/meminfo: memFree=30960588/32770624 swapFree=67108860/67108860
[pid=8546] ppid=8543 vsize=13980036 memory=195940 CPUtime=3.31 cores=1,3,5,7
/proc/8546/stat : 8546 (java) S 8543 8546 2357 0 -1 1077944320 29702 0 0 0 322 9 0 0 20 0 15 0 2853118 14315556864 48985 18446744073709551615 4194304 4196468 140723871010096 140723870992640 140254668205815 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 6 0 0 6293624 6294260 22220800 140723871011186 140723871011372 140723871011372 140723871014863 0
/proc/8546/statm: 3495009 48985 3770 1 0 3483783 0
[pid=8546/tid=8548] ppid=8543 vsize=13980036 memory=29 CPUtime=1.38 cores=1,3,5,7
/proc/8546/task/8548/stat : 8548 (java) R 8543 8546 2357 0 -1 4202560 14344 0 0 0 131 7 0 0 20 0 15 0 2853125 14315556864 48985 18446744073709551615 4194304 4196468 140723871010096 140254672441400 140254259276236 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 22220800 140723871011186 140723871011372 140723871011372 140723871014863 0
[pid=8546/tid=8549] ppid=8543 vsize=13980036 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8546/task/8549/stat : 8549 (java) S 8543 8546 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 2853125 14315556864 48985 18446744073709551615 4194304 4196468 140723871010096 140254587620240 140254668216021 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22220800 140723871011186 140723871011372 140723871011372 140723871014863 0
[pid=8546/tid=8550] ppid=8543 vsize=13980036 memory=115 CPUtime=0 cores=1,3,5,7
/proc/8546/task/8550/stat : 8550 (java) S 8543 8546 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 2853125 14315556864 48985 18446744073709551615 4194304 4196468 140723871010096 140254586567440 140254668216021 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22220800 140723871011186 140723871011372 140723871011372 140723871014863 0
[pid=8546/tid=8551] ppid=8543 vsize=13980036 memory=5 CPUtime=0 cores=1,3,5,7
/proc/8546/task/8551/stat : 8551 (java) S 8543 8546 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 2853125 14315556864 48985 18446744073709551615 4194304 4196468 140723871010096 140254585515152 140254668216021 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22220800 140723871011186 140723871011372 140723871011372 140723871014863 0
[pid=8546/tid=8552] ppid=8543 vsize=13980036 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8546/task/8552/stat : 8552 (java) S 8543 8546 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 2853125 14315556864 48985 18446744073709551615 4194304 4196468 140723871010096 140254584462352 140254668216021 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22220800 140723871011186 140723871011372 140723871011372 140723871014863 0
[pid=8546/tid=8553] ppid=8543 vsize=13980036 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8546/task/8553/stat : 8553 (java) S 8543 8546 2357 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 2853127 14315556864 48985 18446744073709551615 4194304 4196468 140723871010096 140254146730096 140254668216962 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22220800 140723871011186 140723871011372 140723871011372 140723871014863 0
[pid=8546/tid=8554] ppid=8543 vsize=13980036 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8546/task/8554/stat : 8554 (java) S 8543 8546 2357 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 2853127 14315556864 48985 18446744073709551615 4194304 4196468 140723871010096 140254145676064 140254668216021 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22220800 140723871011186 140723871011372 140723871011372 140723871014863 0
[pid=8546/tid=8555] ppid=8543 vsize=13980036 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8546/task/8555/stat : 8555 (java) S 8543 8546 2357 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 2853127 14315556864 48985 18446744073709551615 4194304 4196468 140723871010096 140254144623728 140254668216021 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22220800 140723871011186 140723871011372 140723871011372 140723871014863 0
[pid=8546/tid=8556] ppid=8543 vsize=13980036 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8546/task/8556/stat : 8556 (java) S 8543 8546 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 2853130 14315556864 48985 18446744073709551615 4194304 4196468 140723871010096 140254143572048 140254668224411 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22220800 140723871011186 140723871011372 140723871011372 140723871014863 0
[pid=8546/tid=8557] ppid=8543 vsize=13980036 memory=0 CPUtime=0.72 cores=1,3,5,7
/proc/8546/task/8557/stat : 8557 (java) R 8543 8546 2357 0 -1 4202560 6019 0 0 0 71 1 0 0 20 0 15 0 2853130 14315556864 48985 18446744073709551615 4194304 4196468 140723871010096 140254142500936 140254645761770 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22220800 140723871011186 140723871011372 140723871011372 140723871014863 0
[pid=8546/tid=8558] ppid=8543 vsize=13980036 memory=0 CPUtime=0.72 cores=1,3,5,7
/proc/8546/task/8558/stat : 8558 (java) R 8543 8546 2357 0 -1 4202560 4514 0 0 0 72 0 0 0 20 0 15 0 2853130 14315556864 48985 18446744073709551615 4194304 4196468 140723871010096 140254141448136 140254649750255 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22220800 140723871011186 140723871011372 140723871011372 140723871014863 0
[pid=8546/tid=8559] ppid=8543 vsize=13980036 memory=0 CPUtime=0.47 cores=1,3,5,7
/proc/8546/task/8559/stat : 8559 (java) S 8543 8546 2357 0 -1 1077944384 3437 0 0 0 47 0 0 0 20 0 15 0 2853130 14315556864 48985 18446744073709551615 4194304 4196468 140723871010096 140254140414832 140254668216962 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22220800 140723871011186 140723871011372 140723871011372 140723871014863 0
################
# More data... #
################
/proc/8546/task/8548/stat : 8548 (java) R 8543 8546 2357 0 -1 4202560 32853 0 0 0 237062 19 0 0 20 0 15 0 2853125 14317654016 72576 18446744073709551615 4194304 4196468 140723871010096 140254672444016 140254652582832 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 22220800 140723871011186 140723871011372 140723871011372 140723871014863 0
[pid=8546/tid=8549] ppid=8543 vsize=13982084 memory=288256 CPUtime=4.63 cores=1,3,5,7
/proc/8546/task/8549/stat : 8549 (java) S 8543 8546 2357 0 -1 1077944384 2500 0 0 0 435 28 0 0 20 0 15 0 2853125 14317654016 72576 18446744073709551615 4194304 4196468 140723871010096 140254587620240 140254668216021 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22220800 140723871011186 140723871011372 140723871011372 140723871014863 0
[pid=8546/tid=8550] ppid=8543 vsize=13982084 memory=288256 CPUtime=4.64 cores=1,3,5,7
/proc/8546/task/8550/stat : 8550 (java) S 8543 8546 2357 0 -1 1077944384 4333 0 0 0 437 27 0 0 20 0 15 0 2853125 14317654016 72576 18446744073709551615 4194304 4196468 140723871010096 140254586567440 140254668216021 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22220800 140723871011186 140723871011372 140723871011372 140723871014863 0
[pid=8546/tid=8551] ppid=8543 vsize=13982084 memory=288256 CPUtime=4.62 cores=1,3,5,7
/proc/8546/task/8551/stat : 8551 (java) S 8543 8546 2357 0 -1 1077944384 5766 0 0 0 435 27 0 0 20 0 15 0 2853125 14317654016 72576 18446744073709551615 4194304 4196468 140723871010096 140254585515152 140254668216021 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22220800 140723871011186 140723871011372 140723871011372 140723871014863 0
[pid=8546/tid=8552] ppid=8543 vsize=13982084 memory=0 CPUtime=4.63 cores=1,3,5,7
/proc/8546/task/8552/stat : 8552 (java) S 8543 8546 2357 0 -1 1077944384 4596 0 0 0 433 30 0 0 20 0 15 0 2853125 14317654016 72576 18446744073709551615 4194304 4196468 140723871010096 140254584462352 140254668216021 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22220800 140723871011186 140723871011372 140723871011372 140723871014863 0
[pid=8546/tid=8553] ppid=8543 vsize=13982084 memory=288256 CPUtime=4 cores=1,3,5,7
/proc/8546/task/8553/stat : 8553 (java) S 8543 8546 2357 0 -1 1077944384 6564 0 0 0 372 28 0 0 20 0 15 0 2853127 14317654016 72576 18446744073709551615 4194304 4196468 140723871010096 140254146730096 140254668216962 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22220800 140723871011186 140723871011372 140723871011372 140723871014863 0
[pid=8546/tid=8554] ppid=8543 vsize=13982084 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8546/task/8554/stat : 8554 (java) S 8543 8546 2357 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 2853127 14317654016 72576 18446744073709551615 4194304 4196468 140723871010096 140254145676128 140254668216021 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22220800 140723871011186 140723871011372 140723871011372 140723871014863 0
[pid=8546/tid=8555] ppid=8543 vsize=13982084 memory=290304 CPUtime=0 cores=1,3,5,7
/proc/8546/task/8555/stat : 8555 (java) S 8543 8546 2357 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 2853127 14317654016 72576 18446744073709551615 4194304 4196468 140723871010096 140254144623744 140254668216021 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22220800 140723871011186 140723871011372 140723871011372 140723871014863 0
[pid=8546/tid=8556] ppid=8543 vsize=13982084 memory=290304 CPUtime=0 cores=1,3,5,7
/proc/8546/task/8556/stat : 8556 (java) S 8543 8546 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 2853130 14317654016 72576 18446744073709551615 4194304 4196468 140723871010096 140254143572048 140254668224411 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22220800 140723871011186 140723871011372 140723871011372 140723871014863 0
[pid=8546/tid=8557] ppid=8543 vsize=13982084 memory=290304 CPUtime=2.84 cores=1,3,5,7
/proc/8546/task/8557/stat : 8557 (java) S 8543 8546 2357 0 -1 1077944384 9581 0 0 0 283 1 0 0 20 0 15 0 2853130 14317654016 72576 18446744073709551615 4194304 4196468 140723871010096 140254142519920 140254668216962 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22220800 140723871011186 140723871011372 140723871011372 140723871014863 0
[pid=8546/tid=8558] ppid=8543 vsize=13982084 memory=290304 CPUtime=2.79 cores=1,3,5,7
/proc/8546/task/8558/stat : 8558 (java) S 8543 8546 2357 0 -1 1077944384 7831 0 0 0 278 1 0 0 20 0 15 0 2853130 14317654016 72576 18446744073709551615 4194304 4196468 140723871010096 140254141467120 140254668216962 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22220800 140723871011186 140723871011372 140723871011372 140723871014863 0
[pid=8546/tid=8559] ppid=8543 vsize=13982084 memory=290304 CPUtime=0.57 cores=1,3,5,7
/proc/8546/task/8559/stat : 8559 (java) S 8543 8546 2357 0 -1 1077944384 6710 0 0 0 56 1 0 0 20 0 15 0 2853130 14317654016 72576 18446744073709551615 4194304 4196468 140723871010096 140254140414832 140254668216962 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 44 0 0 6293624 6294260 22220800 140723871011186 140723871011372 140723871011372 140723871014863 0
[pid=8546/tid=8560] ppid=8543 vsize=13982084 memory=290304 CPUtime=0 cores=1,3,5,7
/proc/8546/task/8560/stat : 8560 (java) S 8543 8546 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 2853130 14317654016 72576 18446744073709551615 4194304 4196468 140723871010096 140254139362272 140254668216021 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22220800 140723871011186 140723871011372 140723871011372 140723871014863 0
[pid=8546/tid=8561] ppid=8543 vsize=13982084 memory=15876 CPUtime=0.74 cores=1,3,5,7
/proc/8546/task/8561/stat : 8561 (java) S 8543 8546 2357 0 -1 1077944384 566 0 0 0 31 43 0 0 20 0 15 0 2853134 14317654016 72576 18446744073709551615 4194304 4196468 140723871010096 140254138309040 140254668216962 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 44 0 0 6293624 6294260 22220800 140723871011186 140723871011372 140723871011372 140723871014863 0
Current children cumulated CPU time: 2400.4 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 290304 KiB
[startup+2442.3 s]
/proc/loadavg: 1.80 1.45 1.37 3/209 8730
/proc/meminfo: memFree=30803420/32770624 swapFree=67108860/67108860
[pid=8546] ppid=8543 vsize=13982084 memory=292352 CPUtime=2460.8 cores=1,3,5,7
/proc/8546/stat : 8546 (java) S 8543 8546 2357 0 -1 1077944320 83875 0 0 0 245908 172 0 0 20 0 15 0 2853118 14317654016 73088 18446744073709551615 4194304 4196468 140723871010096 140723870992640 140254668205815 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 6 0 0 6293624 6294260 22220800 140723871011186 140723871011372 140723871011372 140723871014863 0
/proc/8546/statm: 3495521 73088 3802 1 0 3484295 0
[pid=8546/tid=8548] ppid=8543 vsize=13982084 memory=292352 CPUtime=2430.52 cores=1,3,5,7
/proc/8546/task/8548/stat : 8548 (java) R 8543 8546 2357 0 -1 4202560 33352 0 0 0 243033 19 0 0 20 0 15 0 2853125 14317654016 73088 18446744073709551615 4194304 4196468 140723871010096 140254672444400 140254262002376 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 22220800 140723871011186 140723871011372 140723871011372 140723871014863 0
[pid=8546/tid=8549] ppid=8543 vsize=13982084 memory=0 CPUtime=4.77 cores=1,3,5,7
/proc/8546/task/8549/stat : 8549 (java) S 8543 8546 2357 0 -1 1077944384 2605 0 0 0 448 29 0 0 20 0 15 0 2853125 14317654016 73088 18446744073709551615 4194304 4196468 140723871010096 140254587620240 140254668216021 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22220800 140723871011186 140723871011372 140723871011372 140723871014863 0
[pid=8546/tid=8550] ppid=8543 vsize=13982084 memory=290304 CPUtime=4.79 cores=1,3,5,7
/proc/8546/task/8550/stat : 8550 (java) S 8543 8546 2357 0 -1 1077944384 4383 0 0 0 451 28 0 0 20 0 15 0 2853125 14317654016 73088 18446744073709551615 4194304 4196468 140723871010096 140254586567440 140254668216021 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22220800 140723871011186 140723871011372 140723871011372 140723871014863 0
[pid=8546/tid=8551] ppid=8543 vsize=13982084 memory=292352 CPUtime=4.76 cores=1,3,5,7
/proc/8546/task/8551/stat : 8551 (java) S 8543 8546 2357 0 -1 1077944384 5820 0 0 0 449 27 0 0 20 0 15 0 2853125 14317654016 73088 18446744073709551615 4194304 4196468 140723871010096 140254585515152 140254668216021 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22220800 140723871011186 140723871011372 140723871011372 140723871014863 0
[pid=8546/tid=8552] ppid=8543 vsize=13982084 memory=292352 CPUtime=4.77 cores=1,3,5,7
/proc/8546/task/8552/stat : 8552 (java) S 8543 8546 2357 0 -1 1077944384 4820 0 0 0 446 31 0 0 20 0 15 0 2853125 14317654016 73088 18446744073709551615 4194304 4196468 140723871010096 140254584462352 140254668216021 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22220800 140723871011186 140723871011372 140723871011372 140723871014863 0
[pid=8546/tid=8553] ppid=8543 vsize=13982084 memory=292352 CPUtime=4.1 cores=1,3,5,7
/proc/8546/task/8553/stat : 8553 (java) S 8543 8546 2357 0 -1 1077944384 6747 0 0 0 382 28 0 0 20 0 15 0 2853127 14317654016 73088 18446744073709551615 4194304 4196468 140723871010096 140254146730096 140254668216962 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22220800 140723871011186 140723871011372 140723871011372 140723871014863 0
[pid=8546/tid=8554] ppid=8543 vsize=13982084 memory=292352 CPUtime=0 cores=1,3,5,7
/proc/8546/task/8554/stat : 8554 (java) S 8543 8546 2357 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 2853127 14317654016 73088 18446744073709551615 4194304 4196468 140723871010096 140254145676128 140254668216021 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22220800 140723871011186 140723871011372 140723871011372 140723871014863 0
[pid=8546/tid=8555] ppid=8543 vsize=13982084 memory=292352 CPUtime=0 cores=1,3,5,7
/proc/8546/task/8555/stat : 8555 (java) S 8543 8546 2357 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 2853127 14317654016 73088 18446744073709551615 4194304 4196468 140723871010096 140254144623744 140254668216021 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22220800 140723871011186 140723871011372 140723871011372 140723871014863 0
[pid=8546/tid=8556] ppid=8543 vsize=13982084 memory=292352 CPUtime=0 cores=1,3,5,7
/proc/8546/task/8556/stat : 8556 (java) S 8543 8546 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 2853130 14317654016 73088 18446744073709551615 4194304 4196468 140723871010096 140254143572048 140254668224411 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22220800 140723871011186 140723871011372 140723871011372 140723871014863 0
[pid=8546/tid=8557] ppid=8543 vsize=13982084 memory=292352 CPUtime=2.84 cores=1,3,5,7
/proc/8546/task/8557/stat : 8557 (java) S 8543 8546 2357 0 -1 1077944384 9583 0 0 0 283 1 0 0 20 0 15 0 2853130 14317654016 73088 18446744073709551615 4194304 4196468 140723871010096 140254142519920 140254668216962 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22220800 140723871011186 140723871011372 140723871011372 140723871014863 0
[pid=8546/tid=8558] ppid=8543 vsize=13982084 memory=292352 CPUtime=2.79 cores=1,3,5,7
/proc/8546/task/8558/stat : 8558 (java) S 8543 8546 2357 0 -1 1077944384 7833 0 0 0 278 1 0 0 20 0 15 0 2853130 14317654016 73088 18446744073709551615 4194304 4196468 140723871010096 140254141467120 140254668216962 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22220800 140723871011186 140723871011372 140723871011372 140723871014863 0
[pid=8546/tid=8559] ppid=8543 vsize=13982084 memory=292352 CPUtime=0.57 cores=1,3,5,7
/proc/8546/task/8559/stat : 8559 (java) S 8543 8546 2357 0 -1 1077944384 6712 0 0 0 56 1 0 0 20 0 15 0 2853130 14317654016 73088 18446744073709551615 4194304 4196468 140723871010096 140254140414832 140254668216962 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 44 0 0 6293624 6294260 22220800 140723871011186 140723871011372 140723871011372 140723871014863 0
[pid=8546/tid=8560] ppid=8543 vsize=13982084 memory=292352 CPUtime=0 cores=1,3,5,7
/proc/8546/task/8560/stat : 8560 (java) S 8543 8546 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 2853130 14317654016 73088 18446744073709551615 4194304 4196468 140723871010096 140254139362272 140254668216021 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22220800 140723871011186 140723871011372 140723871011372 140723871014863 0
[pid=8546/tid=8561] ppid=8543 vsize=13982084 memory=2008 CPUtime=0.76 cores=1,3,5,7
/proc/8546/task/8561/stat : 8561 (java) S 8543 8546 2357 0 -1 1077944384 581 0 0 0 32 44 0 0 20 0 15 0 2853134 14317654016 73088 18446744073709551615 4194304 4196468 140723871010096 140254138309040 140254668216962 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 44 0 0 6293624 6294260 22220800 140723871011186 140723871011372 140723871011372 140723871014863 0
Current children cumulated CPU time: 2460.8 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 292352 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2501.11 s]
/proc/loadavg: 1.63 1.49 1.39 3/212 8975
/proc/meminfo: memFree=31175220/32770624 swapFree=67108860/67108860
[pid=8546] ppid=8543 vsize=13982084 memory=296448 CPUtime=2520.01 cores=1,3,5,7
/proc/8546/stat : 8546 (java) S 8543 8546 2357 0 -1 1077944320 85024 0 0 0 251824 177 0 0 20 0 15 0 2853118 14317654016 74112 18446744073709551615 4194304 4196468 140723871010096 140723870992640 140254668205815 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 6 0 0 6293624 6294260 22220800 140723871011186 140723871011372 140723871011372 140723871014863 0
/proc/8546/statm: 3495521 74112 3802 1 0 3484295 0
[pid=8546/tid=8548] ppid=8543 vsize=13982084 memory=296448 CPUtime=2489.06 cores=1,3,5,7
/proc/8546/task/8548/stat : 8548 (java) R 8543 8546 2357 0 -1 4202560 33839 0 0 0 248887 19 0 0 20 0 15 0 2853125 14317654016 74112 18446744073709551615 4194304 4196468 140723871010096 140254672444192 140254258979692 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 22220800 140723871011186 140723871011372 140723871011372 140723871014863 0
[pid=8546/tid=8549] ppid=8543 vsize=13982084 memory=294400 CPUtime=4.91 cores=1,3,5,7
/proc/8546/task/8549/stat : 8549 (java) S 8543 8546 2357 0 -1 1077944384 2678 0 0 0 461 30 0 0 20 0 15 0 2853125 14317654016 74112 18446744073709551615 4194304 4196468 140723871010096 140254587620240 140254668216021 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22220800 140723871011186 140723871011372 140723871011372 140723871014863 0
[pid=8546/tid=8550] ppid=8543 vsize=13982084 memory=294400 CPUtime=4.93 cores=1,3,5,7
/proc/8546/task/8550/stat : 8550 (java) S 8543 8546 2357 0 -1 1077944384 4547 0 0 0 465 28 0 0 20 0 15 0 2853125 14317654016 74112 18446744073709551615 4194304 4196468 140723871010096 140254586567440 140254668216021 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22220800 140723871011186 140723871011372 140723871011372 140723871014863 0
[pid=8546/tid=8551] ppid=8543 vsize=13982084 memory=294400 CPUtime=4.91 cores=1,3,5,7
/proc/8546/task/8551/stat : 8551 (java) S 8543 8546 2357 0 -1 1077944384 5904 0 0 0 462 29 0 0 20 0 15 0 2853125 14317654016 74112 18446744073709551615 4194304 4196468 140723871010096 140254585515152 140254668216021 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22220800 140723871011186 140723871011372 140723871011372 140723871014863 0
[pid=8546/tid=8552] ppid=8543 vsize=13982084 memory=294400 CPUtime=4.91 cores=1,3,5,7
/proc/8546/task/8552/stat : 8552 (java) S 8543 8546 2357 0 -1 1077944384 4955 0 0 0 459 32 0 0 20 0 15 0 2853125 14317654016 74112 18446744073709551615 4194304 4196468 140723871010096 140254584462352 140254668216021 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22220800 140723871011186 140723871011372 140723871011372 140723871014863 0
[pid=8546/tid=8553] ppid=8543 vsize=13982084 memory=294400 CPUtime=4.19 cores=1,3,5,7
/proc/8546/task/8553/stat : 8553 (java) S 8543 8546 2357 0 -1 1077944384 6933 0 0 0 390 29 0 0 20 0 15 0 2853127 14317654016 74112 18446744073709551615 4194304 4196468 140723871010096 140254146730096 140254668216962 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22220800 140723871011186 140723871011372 140723871011372 140723871014863 0
[pid=8546/tid=8554] ppid=8543 vsize=13982084 memory=294400 CPUtime=0 cores=1,3,5,7
/proc/8546/task/8554/stat : 8554 (java) S 8543 8546 2357 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 2853127 14317654016 74112 18446744073709551615 4194304 4196468 140723871010096 140254145676128 140254668216021 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22220800 140723871011186 140723871011372 140723871011372 140723871014863 0
[pid=8546/tid=8555] ppid=8543 vsize=13982084 memory=294400 CPUtime=0 cores=1,3,5,7
/proc/8546/task/8555/stat : 8555 (java) S 8543 8546 2357 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 2853127 14317654016 74112 18446744073709551615 4194304 4196468 140723871010096 140254144623744 140254668216021 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22220800 140723871011186 140723871011372 140723871011372 140723871014863 0
[pid=8546/tid=8556] ppid=8543 vsize=13982084 memory=294400 CPUtime=0 cores=1,3,5,7
/proc/8546/task/8556/stat : 8556 (java) S 8543 8546 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 2853130 14317654016 74112 18446744073709551615 4194304 4196468 140723871010096 140254143572048 140254668224411 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22220800 140723871011186 140723871011372 140723871011372 140723871014863 0
[pid=8546/tid=8557] ppid=8543 vsize=13982084 memory=296448 CPUtime=2.85 cores=1,3,5,7
/proc/8546/task/8557/stat : 8557 (java) S 8543 8546 2357 0 -1 1077944384 9585 0 0 0 284 1 0 0 20 0 15 0 2853130 14317654016 74112 18446744073709551615 4194304 4196468 140723871010096 140254142519920 140254668216962 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22220800 140723871011186 140723871011372 140723871011372 140723871014863 0
[pid=8546/tid=8558] ppid=8543 vsize=13982084 memory=0 CPUtime=2.79 cores=1,3,5,7
/proc/8546/task/8558/stat : 8558 (java) S 8543 8546 2357 0 -1 1077944384 7835 0 0 0 278 1 0 0 20 0 15 0 2853130 14317654016 74112 18446744073709551615 4194304 4196468 140723871010096 140254141467120 140254668216962 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22220800 140723871011186 140723871011372 140723871011372 140723871014863 0
[pid=8546/tid=8559] ppid=8543 vsize=13982084 memory=294400 CPUtime=0.57 cores=1,3,5,7
/proc/8546/task/8559/stat : 8559 (java) S 8543 8546 2357 0 -1 1077944384 6714 0 0 0 56 1 0 0 20 0 15 0 2853130 14317654016 74112 18446744073709551615 4194304 4196468 140723871010096 140254140414832 140254668216962 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 44 0 0 6293624 6294260 22220800 140723871011186 140723871011372 140723871011372 140723871014863 0
[pid=8546/tid=8560] ppid=8543 vsize=13982084 memory=294400 CPUtime=0 cores=1,3,5,7
/proc/8546/task/8560/stat : 8560 (java) S 8543 8546 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 2853130 14317654016 74112 18446744073709551615 4194304 4196468 140723871010096 140254139362272 140254668216021 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22220800 140723871011186 140723871011372 140723871011372 140723871014863 0
[pid=8546/tid=8561] ppid=8543 vsize=13982084 memory=288230574492221466 CPUtime=0.78 cores=1,3,5,7
/proc/8546/task/8561/stat : 8561 (java) S 8543 8546 2357 0 -1 1077944384 595 0 0 0 33 45 0 0 20 0 15 0 2853134 14317654016 74112 18446744073709551615 4194304 4196468 140723871010096 140254138309040 140254668216962 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 44 0 0 6293624 6294260 22220800 140723871011186 140723871011372 140723871011372 140723871014863 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 296448 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2501.14 s]
# the end of solver process 8546 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.27 s, system=1.78319 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2501.11 s]
/proc/loadavg: 1.63 1.49 1.39 3/212 8975
/proc/meminfo: memFree=31175220/32770624 swapFree=67108860/67108860
[pid=8546] ppid=8543 vsize=13982084 memory=296448 CPUtime=2520.01 cores=1,3,5,7
/proc/8546/stat : 8546 (java) S 8543 8546 2357 0 -1 1077944320 85024 0 0 0 251824 177 0 0 20 0 15 0 2853118 14317654016 74112 18446744073709551615 4194304 4196468 140723871010096 140723870992640 140254668205815 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 6 0 0 6293624 6294260 22220800 140723871011186 140723871011372 140723871011372 140723871014863 0
/proc/8546/statm: 3495521 74112 3802 1 0 3484295 0
[pid=8546/tid=8548] ppid=8543 vsize=13982084 memory=296448 CPUtime=2489.06 cores=1,3,5,7
/proc/8546/task/8548/stat : 8548 (java) R 8543 8546 2357 0 -1 4202560 33839 0 0 0 248887 19 0 0 20 0 15 0 2853125 14317654016 74112 18446744073709551615 4194304 4196468 140723871010096 140254672444192 140254258979692 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 22220800 140723871011186 140723871011372 140723871011372 140723871014863 0
[pid=8546/tid=8549] ppid=8543 vsize=13982084 memory=294400 CPUtime=4.91 cores=1,3,5,7
/proc/8546/task/8549/stat : 8549 (java) S 8543 8546 2357 0 -1 1077944384 2678 0 0 0 461 30 0 0 20 0 15 0 2853125 14317654016 74112 18446744073709551615 4194304 4196468 140723871010096 140254587620240 140254668216021 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22220800 140723871011186 140723871011372 140723871011372 140723871014863 0
[pid=8546/tid=8550] ppid=8543 vsize=13982084 memory=294400 CPUtime=4.93 cores=1,3,5,7
/proc/8546/task/8550/stat : 8550 (java) S 8543 8546 2357 0 -1 1077944384 4547 0 0 0 465 28 0 0 20 0 15 0 2853125 14317654016 74112 18446744073709551615 4194304 4196468 140723871010096 140254586567440 140254668216021 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22220800 140723871011186 140723871011372 140723871011372 140723871014863 0
[pid=8546/tid=8551] ppid=8543 vsize=13982084 memory=294400 CPUtime=4.91 cores=1,3,5,7
/proc/8546/task/8551/stat : 8551 (java) S 8543 8546 2357 0 -1 1077944384 5904 0 0 0 462 29 0 0 20 0 15 0 2853125 14317654016 74112 18446744073709551615 4194304 4196468 140723871010096 140254585515152 140254668216021 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22220800 140723871011186 140723871011372 140723871011372 140723871014863 0
[pid=8546/tid=8552] ppid=8543 vsize=13982084 memory=294400 CPUtime=4.91 cores=1,3,5,7
/proc/8546/task/8552/stat : 8552 (java) S 8543 8546 2357 0 -1 1077944384 4955 0 0 0 459 32 0 0 20 0 15 0 2853125 14317654016 74112 18446744073709551615 4194304 4196468 140723871010096 140254584462352 140254668216021 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22220800 140723871011186 140723871011372 140723871011372 140723871014863 0
[pid=8546/tid=8553] ppid=8543 vsize=13982084 memory=294400 CPUtime=4.19 cores=1,3,5,7
/proc/8546/task/8553/stat : 8553 (java) S 8543 8546 2357 0 -1 1077944384 6933 0 0 0 390 29 0 0 20 0 15 0 2853127 14317654016 74112 18446744073709551615 4194304 4196468 140723871010096 140254146730096 140254668216962 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22220800 140723871011186 140723871011372 140723871011372 140723871014863 0
[pid=8546/tid=8554] ppid=8543 vsize=13982084 memory=294400 CPUtime=0 cores=1,3,5,7
/proc/8546/task/8554/stat : 8554 (java) S 8543 8546 2357 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 2853127 14317654016 74112 18446744073709551615 4194304 4196468 140723871010096 140254145676128 140254668216021 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22220800 140723871011186 140723871011372 140723871011372 140723871014863 0
[pid=8546/tid=8555] ppid=8543 vsize=13982084 memory=294400 CPUtime=0 cores=1,3,5,7
/proc/8546/task/8555/stat : 8555 (java) S 8543 8546 2357 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 2853127 14317654016 74112 18446744073709551615 4194304 4196468 140723871010096 140254144623744 140254668216021 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22220800 140723871011186 140723871011372 140723871011372 140723871014863 0
[pid=8546/tid=8556] ppid=8543 vsize=13982084 memory=294400 CPUtime=0 cores=1,3,5,7
/proc/8546/task/8556/stat : 8556 (java) S 8543 8546 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 2853130 14317654016 74112 18446744073709551615 4194304 4196468 140723871010096 140254143572048 140254668224411 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22220800 140723871011186 140723871011372 140723871011372 140723871014863 0
[pid=8546/tid=8557] ppid=8543 vsize=13982084 memory=296448 CPUtime=2.85 cores=1,3,5,7
/proc/8546/task/8557/stat : 8557 (java) S 8543 8546 2357 0 -1 1077944384 9585 0 0 0 284 1 0 0 20 0 15 0 2853130 14317654016 74112 18446744073709551615 4194304 4196468 140723871010096 140254142519920 140254668216962 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22220800 140723871011186 140723871011372 140723871011372 140723871014863 0
[pid=8546/tid=8558] ppid=8543 vsize=13982084 memory=0 CPUtime=2.79 cores=1,3,5,7
/proc/8546/task/8558/stat : 8558 (java) S 8543 8546 2357 0 -1 1077944384 7835 0 0 0 278 1 0 0 20 0 15 0 2853130 14317654016 74112 18446744073709551615 4194304 4196468 140723871010096 140254141467120 140254668216962 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22220800 140723871011186 140723871011372 140723871011372 140723871014863 0
[pid=8546/tid=8559] ppid=8543 vsize=13982084 memory=294400 CPUtime=0.57 cores=1,3,5,7
/proc/8546/task/8559/stat : 8559 (java) S 8543 8546 2357 0 -1 1077944384 6714 0 0 0 56 1 0 0 20 0 15 0 2853130 14317654016 74112 18446744073709551615 4194304 4196468 140723871010096 140254140414832 140254668216962 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 44 0 0 6293624 6294260 22220800 140723871011186 140723871011372 140723871011372 140723871014863 0
[pid=8546/tid=8560] ppid=8543 vsize=13982084 memory=294400 CPUtime=0 cores=1,3,5,7
/proc/8546/task/8560/stat : 8560 (java) S 8543 8546 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 2853130 14317654016 74112 18446744073709551615 4194304 4196468 140723871010096 140254139362272 140254668216021 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22220800 140723871011186 140723871011372 140723871011372 140723871014863 0
[pid=8546/tid=8561] ppid=8543 vsize=13982084 memory=288230574492221466 CPUtime=0.78 cores=1,3,5,7
/proc/8546/task/8561/stat : 8561 (java) S 8543 8546 2357 0 -1 1077944384 595 0 0 0 33 45 0 0 20 0 15 0 2853134 14317654016 74112 18446744073709551615 4194304 4196468 140723871010096 140254138309040 140254668216962 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 44 0 0 6293624 6294260 22220800 140723871011186 140723871011372 140723871011372 140723871014863 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 296448 KiB
Child status: 143
Real time (s): 2501.14
CPU time (s): 2520.05
CPU user time (s): 2518.27
CPU system time (s): 1.78319
CPU usage (%): 100.756
Max. virtual memory (cumulated for all children) (KiB): 13982084
Max. memory (cumulated for all children) (KiB): 296448
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.27
system time used= 1.78319
maximum resident set size= 296948
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 85514
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2800
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 165309
involuntary context switches= 5203
# summary of solver processes directly reported to runsolver:
# pid: 8546
# total CPU time (s): 2520.05
# total CPU user time (s): 2518.27
# total CPU system time (s): 1.78319
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.8056 second user time and 22.4274 second system time
The end