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 (6060 MiB free)
memory of node 1: 16384 MiB (13319 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294898-1532498707/watcher-4294898-1532498707 -o /tmp/evaluation-result-4294898-1532498707/solver-4294898-1532498707 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1532498695-4224 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=553441269 -superng HOME/instance-4294898-1532498707.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=4578, runsolver pid=4575
[startup+0.100929 s]*
/proc/loadavg: 2.33 2.09 2.07 5/210 4635
/proc/meminfo: memFree=19836260/32770624 swapFree=67108860/67108860
[pid=4578] ppid=4575 vsize=9972712 memory=18328 CPUtime=0.08 cores=1,3,5,7
/proc/4578/stat : 4578 (java) S 4575 4578 4192 0 -1 1077944320 4254 13001 0 0 1 0 5 2 20 0 6 0 67433876 10212057088 4582 33554432000 4194304 4196468 140721403819280 140721403801824 139849613229815 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 22294528 140721403828396 140721403831644 140721403831644 140721403834319 0
/proc/4578/statm: 2493178 4582 1930 1 0 2481616 0
[pid=4578/tid=4631] ppid=4575 vsize=9972712 memory=4718545630382498451 CPUtime=0.08 cores=1,3,5,7
/proc/4578/task/4631/stat : 4631 (java) R 4575 4578 4192 0 -1 4202560 2066 13001 0 0 1 0 5 2 20 0 6 0 67433885 10212057088 4648 33554432000 4194304 4196468 140721403819280 139849585066576 139849613251741 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22294528 140721403828396 140721403831644 140721403831644 140721403834319 0
[pid=4578/tid=4632] ppid=4575 vsize=9972712 memory=5793855295043344825 CPUtime=0.07 cores=1,3,5,7
/proc/4578/task/4632/stat : 4632 (java) S 4575 4578 4192 0 -1 1077944384 1 13001 0 0 0 0 5 2 20 0 6 0 67433886 10212057088 4648 33554432000 4194304 4196468 140721403819280 139849617472400 139849613240021 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22294528 140721403828396 140721403831644 140721403831644 140721403834319 0
[pid=4578/tid=4633] ppid=4575 vsize=9972712 memory=140044033451648 CPUtime=0.07 cores=1,3,5,7
/proc/4578/task/4633/stat : 4633 (java) S 4575 4578 4192 0 -1 1077944384 1 13001 0 0 0 0 5 2 20 0 6 0 67433886 10212057088 4648 33554432000 4194304 4196468 140721403819280 139849505745680 139849613240021 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22294528 140721403828396 140721403831644 140721403831644 140721403834319 0
[pid=4578/tid=4634] ppid=4575 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4578/task/4634/stat : 4634 (java) S 4575 4578 4192 0 -1 1077944384 1 13001 0 0 0 0 5 2 20 0 6 0 67433886 10212057088 4648 33554432000 4194304 4196468 140721403819280 139849185094800 139849613240021 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22294528 140721403828396 140721403831644 140721403831644 140721403834319 0
[pid=4578/tid=4635] ppid=4575 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4578/task/4635/stat : 4635 (java) S 4575 4578 4192 0 -1 1077944384 2 13001 0 0 0 0 5 2 20 0 6 0 67433886 10212057088 4648 33554432000 4194304 4196468 140721403819280 139849184042000 139849613240021 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22294528 140721403828396 140721403831644 140721403831644 140721403834319 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18328 KiB
[startup+0.210661 s]*
/proc/loadavg: 2.33 2.09 2.07 5/219 4644
/proc/meminfo: memFree=19819348/32770624 swapFree=67108860/67108860
[pid=4578] ppid=4575 vsize=10818904 memory=40400 CPUtime=0.25 cores=1,3,5,7
/proc/4578/stat : 4578 (java) S 4575 4578 4192 0 -1 1077944320 7922 13001 0 0 17 1 5 2 20 0 15 0 67433876 11078557696 10100 33554432000 4194304 4196468 140721403819280 140721403801824 139849613229815 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 22294528 140721403828396 140721403831644 140721403831644 140721403834319 0
/proc/4578/statm: 2704726 10100 2927 1 0 2667149 0
[pid=4578/tid=4631] ppid=4575 vsize=10819896 memory=-2899909650764262549 CPUtime=0.18 cores=1,3,5,7
/proc/4578/task/4631/stat : 4631 (java) R 4575 4578 4192 0 -1 4202560 4583 13001 0 0 11 0 5 2 20 0 15 0 67433885 11079573504 10166 33554432000 4194304 4196468 140721403819280 139849585054624 139849605909533 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22294528 140721403828396 140721403831644 140721403831644 140721403834319 0
[pid=4578/tid=4632] ppid=4575 vsize=10819896 memory=4211973770238242186 CPUtime=0.07 cores=1,3,5,7
/proc/4578/task/4632/stat : 4632 (java) S 4575 4578 4192 0 -1 1077944384 1 13001 0 0 0 0 5 2 20 0 15 0 67433886 11079573504 10166 33554432000 4194304 4196468 140721403819280 139849617472400 139849613240021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22294528 140721403828396 140721403831644 140721403831644 140721403834319 0
[pid=4578/tid=4633] ppid=4575 vsize=10819896 memory=140044033451648 CPUtime=0.07 cores=1,3,5,7
/proc/4578/task/4633/stat : 4633 (java) S 4575 4578 4192 0 -1 1077944384 1 13001 0 0 0 0 5 2 20 0 15 0 67433886 11079573504 10166 33554432000 4194304 4196468 140721403819280 139849505745680 139849613240021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22294528 140721403828396 140721403831644 140721403831644 140721403834319 0
[pid=4578/tid=4634] ppid=4575 vsize=10819896 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4578/task/4634/stat : 4634 (java) S 4575 4578 4192 0 -1 1077944384 1 13001 0 0 0 0 5 2 20 0 15 0 67433886 11079573504 10232 33554432000 4194304 4196468 140721403819280 139849185094800 139849613240021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22294528 140721403828396 140721403831644 140721403831644 140721403834319 0
[pid=4578/tid=4635] ppid=4575 vsize=10819896 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/4578/task/4635/stat : 4635 (java) S 4575 4578 4192 0 -1 1077944384 2 13001 0 0 0 0 5 2 20 0 15 0 67433886 11079573504 10232 33554432000 4194304 4196468 140721403819280 139849184042000 139849613240021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22294528 140721403828396 140721403831644 140721403831644 140721403834319 0
[pid=4578/tid=4636] ppid=4575 vsize=10819896 memory=140044033451648 CPUtime=0.07 cores=1,3,5,7
/proc/4578/task/4636/stat : 4636 (java) S 4575 4578 4192 0 -1 1077944384 2 13001 0 0 0 0 5 2 20 0 15 0 67433887 11079573504 10232 33554432000 4194304 4196468 140721403819280 139848616519792 139849613240962 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22294528 140721403828396 140721403831644 140721403831644 140721403834319 0
[pid=4578/tid=4637] ppid=4575 vsize=10819896 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/4578/task/4637/stat : 4637 (java) S 4575 4578 4192 0 -1 1077944384 33 13001 0 0 0 0 5 2 20 0 15 0 67433887 11079573504 10232 33554432000 4194304 4196468 140721403819280 139848615465760 139849613240021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22294528 140721403828396 140721403831644 140721403831644 140721403834319 0
[pid=4578/tid=4638] ppid=4575 vsize=10819896 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4578/task/4638/stat : 4638 (java) S 4575 4578 4192 0 -1 1077944384 1 13001 0 0 0 0 5 2 20 0 15 0 67433888 11079573504 10298 33554432000 4194304 4196468 140721403819280 139848497226864 139849613240021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22294528 140721403828396 140721403831644 140721403831644 140721403834319 0
[pid=4578/tid=4639] ppid=4575 vsize=10819896 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4578/task/4639/stat : 4639 (java) S 4575 4578 4192 0 -1 1077944384 3 13001 0 0 0 0 5 2 20 0 15 0 67433890 11079573504 10298 33554432000 4194304 4196468 140721403819280 139848189827152 139849613248411 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22294528 140721403828396 140721403831644 140721403831644 140721403834319 0
[pid=4578/tid=4640] ppid=4575 vsize=10819896 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4578/task/4640/stat : 4640 (java) S 4575 4578 4192 0 -1 1077944384 527 13001 0 0 1 0 5 2 20 0 15 0 67433890 11079573504 10298 33554432000 4194304 4196468 140721403819280 139848581909104 139849613240962 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22294528 140721403828396 140721403831644 140721403831644 140721403834319 0
[pid=4578/tid=4641] ppid=4575 vsize=10819896 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/4578/task/4641/stat : 4641 (java) S 4575 4578 4192 0 -1 1077944384 56 13001 0 0 0 0 5 2 20 0 15 0 67433890 11079573504 10298 33554432000 4194304 4196468 140721403819280 139848580856304 139849613240962 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22294528 140721403828396 140721403831644 140721403831644 140721403834319 0
[pid=4578/tid=4642] ppid=4575 vsize=10819896 memory=140044033451648 CPUtime=0.1 cores=1,3,5,7
/proc/4578/task/4642/stat : 4642 (java) S 4575 4578 4192 0 -1 1077944384 567 13001 0 0 3 0 5 2 20 0 15 0 67433890 11079573504 10298 33554432000 4194304 4196468 140721403819280 139848579804016 139849613240962 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22294528 140721403828396 140721403831644 140721403831644 140721403834319 0
[pid=4578/tid=4643] ppid=4575 vsize=10819896 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/4578/task/4643/stat : 4643 (java) S 4575 4578 4192 0 -1 1077944384 3 13001 0 0 0 0 5 2 20 0 15 0 67433891 11079573504 10364 33554432000 4194304 4196468 140721403819280 139848156269536 139849613240021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22294528 140721403828396 140721403831644 140721403831644 140721403834319 0
[pid=4578/tid=4644] ppid=4575 vsize=10819896 memory=140044033451648 CPUtime=0.07 cores=1,3,5,7
/proc/4578/task/4644/stat : 4644 (java) S 4575 4578 4192 0 -1 1077944384 1 13001 0 0 0 0 5 2 20 0 15 0 67433891 11079573504 10364 33554432000 4194304 4196468 140721403819280 139848578750896 139849613240962 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22294528 140721403828396 140721403831644 140721403831644 140721403834319 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10818904 KiB
Current children cumulated memory: 40400 KiB
[startup+0.310406 s]*
/proc/loadavg: 2.33 2.09 2.07 3/219 4644
/proc/meminfo: memFree=19807812/32770624 swapFree=67108860/67108860
[pid=4578] ppid=4575 vsize=10819352 memory=51328 CPUtime=0.37 cores=1,3,5,7
/proc/4578/stat : 4578 (java) S 4575 4578 4192 0 -1 1077944320 10427 13001 0 0 28 2 5 2 20 0 15 0 67433876 11079016448 12832 33554432000 4194304 4196468 140721403819280 140721403801824 139849613229815 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 22294528 140721403828396 140721403831644 140721403831644 140721403834319 0
/proc/4578/statm: 2704838 12832 3087 1 0 2667149 0
[pid=4578/tid=4631] ppid=4575 vsize=10819352 memory=8112282956445269571 CPUtime=0.27 cores=1,3,5,7
/proc/4578/task/4631/stat : 4631 (java) R 4575 4578 4192 0 -1 4202560 7030 13001 0 0 19 1 5 2 20 0 15 0 67433885 11079016448 12832 33554432000 4194304 4196468 140721403819280 139849585041824 139849597310302 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22294528 140721403828396 140721403831644 140721403831644 140721403834319 0
[pid=4578/tid=4632] ppid=4575 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4578/task/4632/stat : 4632 (java) S 4575 4578 4192 0 -1 1077944384 1 13001 0 0 0 0 5 2 20 0 15 0 67433886 11079016448 12832 33554432000 4194304 4196468 140721403819280 139849617472400 139849613240021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22294528 140721403828396 140721403831644 140721403831644 140721403834319 0
[pid=4578/tid=4633] ppid=4575 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4578/task/4633/stat : 4633 (java) S 4575 4578 4192 0 -1 1077944384 1 13001 0 0 0 0 5 2 20 0 15 0 67433886 11079016448 12832 33554432000 4194304 4196468 140721403819280 139849505745680 139849613240021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22294528 140721403828396 140721403831644 140721403831644 140721403834319 0
[pid=4578/tid=4634] ppid=4575 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4578/task/4634/stat : 4634 (java) S 4575 4578 4192 0 -1 1077944384 1 13001 0 0 0 0 5 2 20 0 15 0 67433886 11079016448 12832 33554432000 4194304 4196468 140721403819280 139849185094800 139849613240021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22294528 140721403828396 140721403831644 140721403831644 140721403834319 0
[pid=4578/tid=4635] ppid=4575 vsize=10819352 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/4578/task/4635/stat : 4635 (java) S 4575 4578 4192 0 -1 1077944384 2 13001 0 0 0 0 5 2 20 0 15 0 67433886 11079016448 12832 33554432000 4194304 4196468 140721403819280 139849184042000 139849613240021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22294528 140721403828396 140721403831644 140721403831644 140721403834319 0
[pid=4578/tid=4636] ppid=4575 vsize=10819352 memory=140044033451647 CPUtime=0.07 cores=1,3,5,7
/proc/4578/task/4636/stat : 4636 (java) S 4575 4578 4192 0 -1 1077944384 2 13001 0 0 0 0 5 2 20 0 15 0 67433887 11079016448 12832 33554432000 4194304 4196468 140721403819280 139848616519792 139849613240962 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22294528 140721403828396 140721403831644 140721403831644 140721403834319 0
[pid=4578/tid=4637] ppid=4575 vsize=10819352 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/4578/task/4637/stat : 4637 (java) S 4575 4578 4192 0 -1 1077944384 33 13001 0 0 0 0 5 2 20 0 15 0 67433887 11079016448 12832 33554432000 4194304 4196468 140721403819280 139848615465760 139849613240021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22294528 140721403828396 140721403831644 140721403831644 140721403834319 0
[pid=4578/tid=4638] ppid=4575 vsize=10819352 memory=140044033451648 CPUtime=0.07 cores=1,3,5,7
/proc/4578/task/4638/stat : 4638 (java) S 4575 4578 4192 0 -1 1077944384 1 13001 0 0 0 0 5 2 20 0 15 0 67433888 11079016448 12832 33554432000 4194304 4196468 140721403819280 139848497226864 139849613240021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22294528 140721403828396 140721403831644 140721403831644 140721403834319 0
[pid=4578/tid=4639] ppid=4575 vsize=10819352 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/4578/task/4639/stat : 4639 (java) S 4575 4578 4192 0 -1 1077944384 3 13001 0 0 0 0 5 2 20 0 15 0 67433890 11079016448 12832 33554432000 4194304 4196468 140721403819280 139848189827152 139849613248411 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22294528 140721403828396 140721403831644 140721403831644 140721403834319 0
[pid=4578/tid=4640] ppid=4575 vsize=10819352 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/4578/task/4640/stat : 4640 (java) S 4575 4578 4192 0 -1 1077944384 528 13001 0 0 2 0 5 2 20 0 15 0 67433890 11079016448 12832 33554432000 4194304 4196468 140721403819280 139848581909104 139849613240962 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22294528 140721403828396 140721403831644 140721403831644 140721403834319 0
[pid=4578/tid=4641] ppid=4575 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/4578/task/4641/stat : 4641 (java) R 4575 4578 4192 0 -1 4202560 56 13001 0 0 1 0 5 2 20 0 15 0 67433890 11079016448 12832 33554432000 4194304 4196468 140721403819280 139848580856304 139849606214857 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22294528 140721403828396 140721403831644 140721403831644 140721403834319 0
[pid=4578/tid=4642] ppid=4575 vsize=10819352 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/4578/task/4642/stat : 4642 (java) S 4575 4578 4192 0 -1 1077944384 582 13001 0 0 5 0 5 2 20 0 15 0 67433890 11079016448 12832 33554432000 4194304 4196468 140721403819280 139848579804016 139849613240962 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22294528 140721403828396 140721403831644 140721403831644 140721403834319 0
[pid=4578/tid=4643] ppid=4575 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4578/task/4643/stat : 4643 (java) S 4575 4578 4192 0 -1 1077944384 3 13001 0 0 0 0 5 2 20 0 15 0 67433891 11079016448 12832 33554432000 4194304 4196468 140721403819280 139848156269536 139849613240021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22294528 140721403828396 140721403831644 140721403831644 140721403834319 0
[pid=4578/tid=4644] ppid=4575 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4578/task/4644/stat : 4644 (java) S 4575 4578 4192 0 -1 1077944384 1 13001 0 0 0 0 5 2 20 0 15 0 67433891 11079016448 12832 33554432000 4194304 4196468 140721403819280 139848578750896 139849613240962 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22294528 140721403828396 140721403831644 140721403831644 140721403834319 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 51328 KiB
[startup+0.70081 s]
/proc/loadavg: 2.33 2.09 2.07 4/219 4644
/proc/meminfo: memFree=19795772/32770624 swapFree=67108860/67108860
[pid=4578] ppid=4575 vsize=10819352 memory=84516 CPUtime=0.99 cores=1,3,5,7
/proc/4578/stat : 4578 (java) S 4575 4578 4192 0 -1 1077944320 16782 13001 0 0 88 4 5 2 20 0 15 0 67433876 11079016448 21129 33554432000 4194304 4196468 140721403819280 140721403801824 139849613229815 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 22294528 140721403828396 140721403831644 140721403831644 140721403834319 0
/proc/4578/statm: 2704838 21129 3238 1 0 2667149 0
[pid=4578/tid=4631] ppid=4575 vsize=10819352 memory=0 CPUtime=0.65 cores=1,3,5,7
/proc/4578/task/4631/stat : 4631 (java) R 4575 4578 4192 0 -1 4202560 12245 13001 0 0 56 2 5 2 20 0 15 0 67433885 11079016448 21129 33554432000 4194304 4196468 140721403819280 139849585050640 139849594794811 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22294528 140721403828396 140721403831644 140721403831644 140721403834319 0
[pid=4578/tid=4632] ppid=4575 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4578/task/4632/stat : 4632 (java) S 4575 4578 4192 0 -1 1077944384 1 13001 0 0 0 0 5 2 20 0 15 0 67433886 11079016448 21129 33554432000 4194304 4196468 140721403819280 139849617472400 139849613240021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22294528 140721403828396 140721403831644 140721403831644 140721403834319 0
[pid=4578/tid=4633] ppid=4575 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4578/task/4633/stat : 4633 (java) S 4575 4578 4192 0 -1 1077944384 1 13001 0 0 0 0 5 2 20 0 15 0 67433886 11079016448 21129 33554432000 4194304 4196468 140721403819280 139849505745680 139849613240021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22294528 140721403828396 140721403831644 140721403831644 140721403834319 0
[pid=4578/tid=4634] ppid=4575 vsize=10819352 memory=4132 CPUtime=0.07 cores=1,3,5,7
/proc/4578/task/4634/stat : 4634 (java) S 4575 4578 4192 0 -1 1077944384 1 13001 0 0 0 0 5 2 20 0 15 0 67433886 11079016448 21129 33554432000 4194304 4196468 140721403819280 139849185094800 139849613240021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22294528 140721403828396 140721403831644 140721403831644 140721403834319 0
[pid=4578/tid=4635] ppid=4575 vsize=10819352 memory=2241 CPUtime=0.07 cores=1,3,5,7
/proc/4578/task/4635/stat : 4635 (java) S 4575 4578 4192 0 -1 1077944384 2 13001 0 0 0 0 5 2 20 0 15 0 67433886 11079016448 21129 33554432000 4194304 4196468 140721403819280 139849184042000 139849613240021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22294528 140721403828396 140721403831644 140721403831644 140721403834319 0
[pid=4578/tid=4636] ppid=4575 vsize=10819352 memory=2244 CPUtime=0.07 cores=1,3,5,7
/proc/4578/task/4636/stat : 4636 (java) S 4575 4578 4192 0 -1 1077944384 5 13001 0 0 0 0 5 2 20 0 15 0 67433887 11079016448 21129 33554432000 4194304 4196468 140721403819280 139848616519792 139849613240962 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22294528 140721403828396 140721403831644 140721403831644 140721403834319 0
[pid=4578/tid=4637] ppid=4575 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4578/task/4637/stat : 4637 (java) S 4575 4578 4192 0 -1 1077944384 33 13001 0 0 0 0 5 2 20 0 15 0 67433887 11079016448 21129 33554432000 4194304 4196468 140721403819280 139848615465760 139849613240021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22294528 140721403828396 140721403831644 140721403831644 140721403834319 0
[pid=4578/tid=4638] ppid=4575 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4578/task/4638/stat : 4638 (java) S 4575 4578 4192 0 -1 1077944384 1 13001 0 0 0 0 5 2 20 0 15 0 67433888 11079016448 21129 33554432000 4194304 4196468 140721403819280 139848497226864 139849613240021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22294528 140721403828396 140721403831644 140721403831644 140721403834319 0
[pid=4578/tid=4639] ppid=4575 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4578/task/4639/stat : 4639 (java) S 4575 4578 4192 0 -1 1077944384 3 13001 0 0 0 0 5 2 20 0 15 0 67433890 11079016448 21129 33554432000 4194304 4196468 140721403819280 139848189827152 139849613248411 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22294528 140721403828396 140721403831644 140721403831644 140721403834319 0
[pid=4578/tid=4640] ppid=4575 vsize=10819352 memory=30305 CPUtime=0.14 cores=1,3,5,7
/proc/4578/task/4640/stat : 4640 (java) S 4575 4578 4192 0 -1 1077944384 900 13001 0 0 7 0 5 2 20 0 15 0 67433890 11079016448 21129 33554432000 4194304 4196468 140721403819280 139848581909104 139849613240962 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22294528 140721403828396 140721403831644 140721403831644 140721403834319 0
[pid=4578/tid=4641] ppid=4575 vsize=10819352 memory=0 CPUtime=0.17 cores=1,3,5,7
/proc/4578/task/4641/stat : 4641 (java) S 4575 4578 4192 0 -1 1077944384 719 13001 0 0 10 0 5 2 20 0 15 0 67433890 11079016448 21129 33554432000 4194304 4196468 140721403819280 139848580856304 139849613240962 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22294528 140721403828396 140721403831644 140721403831644 140721403834319 0
[pid=4578/tid=4642] ppid=4575 vsize=10819352 memory=3533419649945857444 CPUtime=0.2 cores=1,3,5,7
/proc/4578/task/4642/stat : 4642 (java) S 4575 4578 4192 0 -1 1077944384 675 13001 0 0 13 0 5 2 20 0 15 0 67433890 11079016448 21129 33554432000 4194304 4196468 140721403819280 139848579804016 139849613240962 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22294528 140721403828396 140721403831644 140721403831644 140721403834319 0
[pid=4578/tid=4643] ppid=4575 vsize=10819352 memory=-6305719382015893120 CPUtime=0.07 cores=1,3,5,7
/proc/4578/task/4643/stat : 4643 (java) S 4575 4578 4192 0 -1 1077944384 3 13001 0 0 0 0 5 2 20 0 15 0 67433891 11079016448 21129 33554432000 4194304 4196468 140721403819280 139848156269536 139849613240021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22294528 140721403828396 140721403831644 140721403831644 140721403834319 0
[pid=4578/tid=4644] ppid=4575 vsize=10819352 memory=-7094132109863559211 CPUtime=0.07 cores=1,3,5,7
/proc/4578/task/4644/stat : 4644 (java) S 4575 4578 4192 0 -1 1077944384 1 13001 0 0 0 0 5 2 20 0 15 0 67433891 11079016448 21129 33554432000 4194304 4196468 140721403819280 139848578750896 139849613240962 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22294528 140721403828396 140721403831644 140721403831644 140721403834319 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 84516 KiB
[startup+1.50076 s]
/proc/loadavg: 2.33 2.09 2.07 4/219 4644
/proc/meminfo: memFree=19621212/32770624 swapFree=67108860/67108860
[pid=4578] ppid=4575 vsize=10828108 memory=271528 CPUtime=2.75 cores=1,3,5,7
/proc/4578/stat : 4578 (java) S 4575 4578 4192 0 -1 1077944320 21998 13001 0 0 254 14 5 2 20 0 15 0 67433876 11087982592 67882 33554432000 4194304 4196468 140721403819280 140721403801824 139849613229815 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 22294528 140721403828396 140721403831644 140721403831644 140721403834319 0
/proc/4578/statm: 2707027 67882 3469 1 0 2668685 0
[pid=4578/tid=4631] ppid=4575 vsize=10828108 memory=225 CPUtime=1.41 cores=1,3,5,7
/proc/4578/task/4631/stat : 4631 (java) R 4575 4578 4192 0 -1 4202560 14873 13001 0 0 128 6 5 2 20 0 15 0 67433885 11087982592 67882 33554432000 4194304 4196468 140721403819280 139849585063872 139849613241750 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22294528 140721403828396 140721403831644 140721403831644 140721403834319 0
[pid=4578/tid=4632] ppid=4575 vsize=10828108 memory=117 CPUtime=0.09 cores=1,3,5,7
/proc/4578/task/4632/stat : 4632 (java) S 4575 4578 4192 0 -1 1077944384 410 13001 0 0 1 1 5 2 20 0 15 0 67433886 11087982592 67882 33554432000 4194304 4196468 140721403819280 139849617472400 139849613240021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22294528 140721403828396 140721403831644 140721403831644 140721403834319 0
[pid=4578/tid=4633] ppid=4575 vsize=10828108 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/4578/task/4633/stat : 4633 (java) S 4575 4578 4192 0 -1 1077944384 134 13001 0 0 1 1 5 2 20 0 15 0 67433886 11087982592 67882 33554432000 4194304 4196468 140721403819280 139849505745680 139849613240021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22294528 140721403828396 140721403831644 140721403831644 140721403834319 0
[pid=4578/tid=4634] ppid=4575 vsize=10828108 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/4578/task/4634/stat : 4634 (java) S 4575 4578 4192 0 -1 1077944384 81 13001 0 0 1 1 5 2 20 0 15 0 67433886 11087982592 67882 33554432000 4194304 4196468 140721403819280 139849185094800 139849613240021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22294528 140721403828396 140721403831644 140721403831644 140721403834319 0
[pid=4578/tid=4635] ppid=4575 vsize=10828108 memory=55 CPUtime=0.09 cores=1,3,5,7
/proc/4578/task/4635/stat : 4635 (java) S 4575 4578 4192 0 -1 1077944384 123 13001 0 0 1 1 5 2 20 0 15 0 67433886 11087982592 67882 33554432000 4194304 4196468 140721403819280 139849184042000 139849613240021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22294528 140721403828396 140721403831644 140721403831644 140721403834319 0
[pid=4578/tid=4636] ppid=4575 vsize=10828108 memory=3533419649945857444 CPUtime=0.07 cores=1,3,5,7
/proc/4578/task/4636/stat : 4636 (java) S 4575 4578 4192 0 -1 1077944384 92 13001 0 0 0 0 5 2 20 0 15 0 67433887 11087982592 67882 33554432000 4194304 4196468 140721403819280 139848616519792 139849613240962 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22294528 140721403828396 140721403831644 140721403831644 140721403834319 0
[pid=4578/tid=4637] ppid=4575 vsize=10828108 memory=280087836536896 CPUtime=0.07 cores=1,3,5,7
/proc/4578/task/4637/stat : 4637 (java) S 4575 4578 4192 0 -1 1077944384 34 13001 0 0 0 0 5 2 20 0 15 0 67433887 11087982592 67882 33554432000 4194304 4196468 140721403819280 139848615465824 139849613240021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22294528 140721403828396 140721403831644 140721403831644 140721403834319 0
[pid=4578/tid=4638] ppid=4575 vsize=10828108 memory=280087836541344 CPUtime=0.07 cores=1,3,5,7
/proc/4578/task/4638/stat : 4638 (java) S 4575 4578 4192 0 -1 1077944384 3 13001 0 0 0 0 5 2 20 0 15 0 67433888 11087982592 67882 33554432000 4194304 4196468 140721403819280 139848497226880 139849613240021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22294528 140721403828396 140721403831644 140721403831644 140721403834319 0
[pid=4578/tid=4639] ppid=4575 vsize=10828108 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4578/task/4639/stat : 4639 (java) S 4575 4578 4192 0 -1 1077944384 3 13001 0 0 0 0 5 2 20 0 15 0 67433890 11087982592 67882 33554432000 4194304 4196468 140721403819280 139848189827152 139849613248411 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22294528 140721403828396 140721403831644 140721403831644 140721403834319 0
[pid=4578/tid=4640] ppid=4575 vsize=10828108 memory=6944656575208382560 CPUtime=0.42 cores=1,3,5,7
/proc/4578/task/4640/stat : 4640 (java) S 4575 4578 4192 0 -1 1077944384 1378 13001 0 0 35 0 5 2 20 0 15 0 67433890 11087982592 67882 33554432000 4194304 4196468 140721403819280 139848581909104 139849613240962 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22294528 140721403828396 140721403831644 140721403831644 140721403834319 0
[pid=4578/tid=4641] ppid=4575 vsize=10828108 memory=0 CPUtime=0.54 cores=1,3,5,7
/proc/4578/task/4641/stat : 4641 (java) R 4575 4578 4192 0 -1 4202560 1392 13001 0 0 47 0 5 2 20 0 15 0 67433890 11087982592 67882 33554432000 4194304 4196468 140721403819280 139848580841296 139849613251162 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22294528 140721403828396 140721403831644 140721403831644 140721403834319 0
[pid=4578/tid=4642] ppid=4575 vsize=10828108 memory=0 CPUtime=0.42 cores=1,3,5,7
/proc/4578/task/4642/stat : 4642 (java) S 4575 4578 4192 0 -1 1077944384 1279 13001 0 0 35 0 5 2 20 0 15 0 67433890 11087982592 67882 33554432000 4194304 4196468 140721403819280 139848579804016 139849613240962 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22294528 140721403828396 140721403831644 140721403831644 140721403834319 0
[pid=4578/tid=4643] ppid=4575 vsize=10828108 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4578/task/4643/stat : 4643 (java) S 4575 4578 4192 0 -1 1077944384 3 13001 0 0 0 0 5 2 20 0 15 0 67433891 11087982592 67882 33554432000 4194304 4196468 140721403819280 139848156269536 139849613240021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22294528 140721403828396 140721403831644 140721403831644 140721403834319 0
[pid=4578/tid=4644] ppid=4575 vsize=10828108 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4578/task/4644/stat : 4644 (java) S 4575 4578 4192 0 -1 1077944384 1 13001 0 0 0 0 5 2 20 0 15 0 67433891 11087982592 67882 33554432000 4194304 4196468 140721403819280 139848578750896 139849613240962 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22294528 140721403828396 140721403831644 140721403831644 140721403834319 0
Current children cumulated CPU time: 2.75 s
Current children cumulated vsize: 10828108 KiB
################
# More data... #
################
/proc/4578/task/4631/stat : 4631 (java) R 4575 4578 4192 0 -1 4202560 111829 13001 0 0 237471 48 5 2 20 0 15 0 67433885 11176083456 387770 33554432000 4194304 4196468 140721403819280 139849585058368 139849186999072 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22294528 140721403828396 140721403831644 140721403831644 140721403834319 0
[pid=4578/tid=4632] ppid=4575 vsize=10914144 memory=1551076 CPUtime=3.11 cores=1,3,5,7
/proc/4578/task/4632/stat : 4632 (java) S 4575 4578 4192 0 -1 1077944384 18605 13001 0 0 276 28 5 2 20 0 15 0 67433886 11176083456 387770 33554432000 4194304 4196468 140721403819280 139849617472400 139849613240021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22294528 140721403828396 140721403831644 140721403831644 140721403834319 0
[pid=4578/tid=4633] ppid=4575 vsize=10914144 memory=20452 CPUtime=3.11 cores=1,3,5,7
/proc/4578/task/4633/stat : 4633 (java) S 4575 4578 4192 0 -1 1077944384 24662 13001 0 0 276 28 5 2 20 0 15 0 67433886 11176083456 387770 33554432000 4194304 4196468 140721403819280 139849505745680 139849613240021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22294528 140721403828396 140721403831644 140721403831644 140721403834319 0
[pid=4578/tid=4634] ppid=4575 vsize=10914144 memory=1551080 CPUtime=3.13 cores=1,3,5,7
/proc/4578/task/4634/stat : 4634 (java) S 4575 4578 4192 0 -1 1077944384 25295 13001 0 0 279 27 5 2 20 0 15 0 67433886 11176083456 387770 33554432000 4194304 4196468 140721403819280 139849185094800 139849613240021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22294528 140721403828396 140721403831644 140721403831644 140721403834319 0
[pid=4578/tid=4635] ppid=4575 vsize=10914144 memory=33 CPUtime=3.1 cores=1,3,5,7
/proc/4578/task/4635/stat : 4635 (java) S 4575 4578 4192 0 -1 1077944384 18563 13001 0 0 273 30 5 2 20 0 15 0 67433886 11176083456 387770 33554432000 4194304 4196468 140721403819280 139849184042000 139849613240021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22294528 140721403828396 140721403831644 140721403831644 140721403834319 0
[pid=4578/tid=4636] ppid=4575 vsize=10914144 memory=1551080 CPUtime=2.79 cores=1,3,5,7
/proc/4578/task/4636/stat : 4636 (java) S 4575 4578 4192 0 -1 1077944384 17406 13001 0 0 253 19 5 2 20 0 15 0 67433887 11176083456 387770 33554432000 4194304 4196468 140721403819280 139848616519792 139849613240962 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22294528 140721403828396 140721403831644 140721403831644 140721403834319 0
[pid=4578/tid=4637] ppid=4575 vsize=10914144 memory=1551080 CPUtime=0.07 cores=1,3,5,7
/proc/4578/task/4637/stat : 4637 (java) S 4575 4578 4192 0 -1 1077944384 46 13001 0 0 0 0 5 2 20 0 15 0 67433887 11176083456 387770 33554432000 4194304 4196468 140721403819280 139848615465888 139849613240021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22294528 140721403828396 140721403831644 140721403831644 140721403834319 0
[pid=4578/tid=4638] ppid=4575 vsize=10914144 memory=1551080 CPUtime=0.07 cores=1,3,5,7
/proc/4578/task/4638/stat : 4638 (java) S 4575 4578 4192 0 -1 1077944384 20 13001 0 0 0 0 5 2 20 0 15 0 67433888 11176083456 387770 33554432000 4194304 4196468 140721403819280 139848497226880 139849613240021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22294528 140721403828396 140721403831644 140721403831644 140721403834319 0
[pid=4578/tid=4639] ppid=4575 vsize=10914144 memory=1551076 CPUtime=0.07 cores=1,3,5,7
/proc/4578/task/4639/stat : 4639 (java) S 4575 4578 4192 0 -1 1077944384 3 13001 0 0 0 0 5 2 20 0 15 0 67433890 11176083456 387770 33554432000 4194304 4196468 140721403819280 139848189827152 139849613248411 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22294528 140721403828396 140721403831644 140721403831644 140721403834319 0
[pid=4578/tid=4640] ppid=4575 vsize=10914144 memory=1551076 CPUtime=4.54 cores=1,3,5,7
/proc/4578/task/4640/stat : 4640 (java) S 4575 4578 4192 0 -1 1077944384 44818 13001 0 0 441 6 5 2 20 0 15 0 67433890 11176083456 387770 33554432000 4194304 4196468 140721403819280 139848581909104 139849613240962 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22294528 140721403828396 140721403831644 140721403831644 140721403834319 0
[pid=4578/tid=4641] ppid=4575 vsize=10914144 memory=1551080 CPUtime=4.75 cores=1,3,5,7
/proc/4578/task/4641/stat : 4641 (java) S 4575 4578 4192 0 -1 1077944384 52647 13001 0 0 464 4 5 2 20 0 15 0 67433890 11176083456 387770 33554432000 4194304 4196468 140721403819280 139848580856304 139849613240962 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22294528 140721403828396 140721403831644 140721403831644 140721403834319 0
[pid=4578/tid=4642] ppid=4575 vsize=10914144 memory=1551080 CPUtime=1.87 cores=1,3,5,7
/proc/4578/task/4642/stat : 4642 (java) S 4575 4578 4192 0 -1 1077944384 34654 13001 0 0 175 5 5 2 20 0 15 0 67433890 11176083456 387770 33554432000 4194304 4196468 140721403819280 139848579804016 139849613240962 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22294528 140721403828396 140721403831644 140721403831644 140721403834319 0
[pid=4578/tid=4643] ppid=4575 vsize=10914144 memory=648 CPUtime=0.07 cores=1,3,5,7
/proc/4578/task/4643/stat : 4643 (java) S 4575 4578 4192 0 -1 1077944384 3 13001 0 0 0 0 5 2 20 0 15 0 67433891 11176083456 387770 33554432000 4194304 4196468 140721403819280 139848156269536 139849613240021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22294528 140721403828396 140721403831644 140721403831644 140721403834319 0
[pid=4578/tid=4644] ppid=4575 vsize=10914144 memory=956 CPUtime=1.47 cores=1,3,5,7
/proc/4578/task/4644/stat : 4644 (java) S 4575 4578 4192 0 -1 1077944384 5451 13001 0 0 64 76 5 2 20 0 15 0 67433891 11176083456 387770 33554432000 4194304 4196468 140721403819280 139848578750896 139849613240962 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22294528 140721403828396 140721403831644 140721403831644 140721403834319 0
Current children cumulated CPU time: 2402.61 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 1551080 KiB
[startup+2442.3 s]
/proc/loadavg: 1.53 1.32 1.43 3/218 4719
/proc/meminfo: memFree=16649472/32770624 swapFree=67108860/67108860
[pid=4578] ppid=4575 vsize=10914144 memory=1553152 CPUtime=2462.95 cores=1,3,5,7
/proc/4578/stat : 4578 (java) S 4575 4578 4192 0 -1 1077944320 363122 13001 0 0 246050 238 5 2 20 0 15 0 67433876 11176083456 388288 33554432000 4194304 4196468 140721403819280 140721403801824 139849613229815 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 22294528 140721403828396 140721403831644 140721403831644 140721403834319 0
/proc/4578/statm: 2728536 388288 3521 1 0 2690189 0
[pid=4578/tid=4631] ppid=4575 vsize=10914144 memory=1553152 CPUtime=2435.06 cores=1,3,5,7
/proc/4578/task/4631/stat : 4631 (java) R 4575 4578 4192 0 -1 4202560 112743 13001 0 0 243451 48 5 2 20 0 15 0 67433885 11176083456 388288 33554432000 4194304 4196468 140721403819280 139849585055456 139849190605108 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22294528 140721403828396 140721403831644 140721403831644 140721403834319 0
[pid=4578/tid=4632] ppid=4575 vsize=10914144 memory=1553152 CPUtime=3.2 cores=1,3,5,7
/proc/4578/task/4632/stat : 4632 (java) S 4575 4578 4192 0 -1 1077944384 19743 13001 0 0 284 29 5 2 20 0 15 0 67433886 11176083456 388288 33554432000 4194304 4196468 140721403819280 139849617472400 139849613240021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22294528 140721403828396 140721403831644 140721403831644 140721403834319 0
[pid=4578/tid=4633] ppid=4575 vsize=10914144 memory=1551080 CPUtime=3.19 cores=1,3,5,7
/proc/4578/task/4633/stat : 4633 (java) S 4575 4578 4192 0 -1 1077944384 25303 13001 0 0 284 28 5 2 20 0 15 0 67433886 11176083456 388288 33554432000 4194304 4196468 140721403819280 139849505745680 139849613240021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22294528 140721403828396 140721403831644 140721403831644 140721403834319 0
[pid=4578/tid=4634] ppid=4575 vsize=10914144 memory=1551092 CPUtime=3.22 cores=1,3,5,7
/proc/4578/task/4634/stat : 4634 (java) S 4575 4578 4192 0 -1 1077944384 25331 13001 0 0 287 28 5 2 20 0 15 0 67433886 11176083456 388288 33554432000 4194304 4196468 140721403819280 139849185094800 139849613240021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22294528 140721403828396 140721403831644 140721403831644 140721403834319 0
[pid=4578/tid=4635] ppid=4575 vsize=10914144 memory=1551096 CPUtime=3.19 cores=1,3,5,7
/proc/4578/task/4635/stat : 4635 (java) S 4575 4578 4192 0 -1 1077944384 18627 13001 0 0 281 31 5 2 20 0 15 0 67433886 11176083456 388288 33554432000 4194304 4196468 140721403819280 139849184042000 139849613240021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22294528 140721403828396 140721403831644 140721403831644 140721403834319 0
[pid=4578/tid=4636] ppid=4575 vsize=10914144 memory=1551096 CPUtime=2.87 cores=1,3,5,7
/proc/4578/task/4636/stat : 4636 (java) S 4575 4578 4192 0 -1 1077944384 17762 13001 0 0 261 19 5 2 20 0 15 0 67433887 11176083456 388288 33554432000 4194304 4196468 140721403819280 139848616519792 139849613240962 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22294528 140721403828396 140721403831644 140721403831644 140721403834319 0
[pid=4578/tid=4637] ppid=4575 vsize=10914144 memory=1553152 CPUtime=0.07 cores=1,3,5,7
/proc/4578/task/4637/stat : 4637 (java) S 4575 4578 4192 0 -1 1077944384 46 13001 0 0 0 0 5 2 20 0 15 0 67433887 11176083456 388288 33554432000 4194304 4196468 140721403819280 139848615465888 139849613240021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22294528 140721403828396 140721403831644 140721403831644 140721403834319 0
[pid=4578/tid=4638] ppid=4575 vsize=10914144 memory=280087838059120 CPUtime=0.07 cores=1,3,5,7
/proc/4578/task/4638/stat : 4638 (java) S 4575 4578 4192 0 -1 1077944384 20 13001 0 0 0 0 5 2 20 0 15 0 67433888 11176083456 388288 33554432000 4194304 4196468 140721403819280 139848497226880 139849613240021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22294528 140721403828396 140721403831644 140721403831644 140721403834319 0
[pid=4578/tid=4639] ppid=4575 vsize=10914144 memory=1553152 CPUtime=0.07 cores=1,3,5,7
/proc/4578/task/4639/stat : 4639 (java) S 4575 4578 4192 0 -1 1077944384 3 13001 0 0 0 0 5 2 20 0 15 0 67433890 11176083456 388288 33554432000 4194304 4196468 140721403819280 139848189827152 139849613248411 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22294528 140721403828396 140721403831644 140721403831644 140721403834319 0
[pid=4578/tid=4640] ppid=4575 vsize=10914144 memory=1553152 CPUtime=4.54 cores=1,3,5,7
/proc/4578/task/4640/stat : 4640 (java) S 4575 4578 4192 0 -1 1077944384 44822 13001 0 0 441 6 5 2 20 0 15 0 67433890 11176083456 388288 33554432000 4194304 4196468 140721403819280 139848581909104 139849613240962 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22294528 140721403828396 140721403831644 140721403831644 140721403834319 0
[pid=4578/tid=4641] ppid=4575 vsize=10914144 memory=1553152 CPUtime=4.83 cores=1,3,5,7
/proc/4578/task/4641/stat : 4641 (java) S 4575 4578 4192 0 -1 1077944384 56391 13001 0 0 471 5 5 2 20 0 15 0 67433890 11176083456 388288 33554432000 4194304 4196468 140721403819280 139848580856304 139849613240962 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22294528 140721403828396 140721403831644 140721403831644 140721403834319 0
[pid=4578/tid=4642] ppid=4575 vsize=10914144 memory=1553152 CPUtime=1.87 cores=1,3,5,7
/proc/4578/task/4642/stat : 4642 (java) S 4575 4578 4192 0 -1 1077944384 34658 13001 0 0 175 5 5 2 20 0 15 0 67433890 11176083456 388288 33554432000 4194304 4196468 140721403819280 139848579804016 139849613240962 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22294528 140721403828396 140721403831644 140721403831644 140721403834319 0
[pid=4578/tid=4643] ppid=4575 vsize=10914144 memory=1553152 CPUtime=0.07 cores=1,3,5,7
/proc/4578/task/4643/stat : 4643 (java) S 4575 4578 4192 0 -1 1077944384 3 13001 0 0 0 0 5 2 20 0 15 0 67433891 11176083456 388288 33554432000 4194304 4196468 140721403819280 139848156269536 139849613240021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22294528 140721403828396 140721403831644 140721403831644 140721403834319 0
[pid=4578/tid=4644] ppid=4575 vsize=10914144 memory=1553152 CPUtime=1.51 cores=1,3,5,7
/proc/4578/task/4644/stat : 4644 (java) S 4575 4578 4192 0 -1 1077944384 5478 13001 0 0 65 79 5 2 20 0 15 0 67433891 11176083456 388288 33554432000 4194304 4196468 140721403819280 139848578750896 139849613240962 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22294528 140721403828396 140721403831644 140721403831644 140721403834319 0
Current children cumulated CPU time: 2462.95 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 1553152 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2499.11 s]
/proc/loadavg: 1.64 1.39 1.44 3/218 4848
/proc/meminfo: memFree=18730796/32770624 swapFree=67108860/67108860
[pid=4578] ppid=4575 vsize=10914144 memory=1553188 CPUtime=2520.02 cores=1,3,5,7
/proc/4578/stat : 4578 (java) S 4575 4578 4192 0 -1 1077944320 367461 13001 0 0 251754 241 5 2 20 0 15 0 67433876 11176083456 388297 33554432000 4194304 4196468 140721403819280 140721403801824 139849613229815 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 22294528 140721403828396 140721403831644 140721403831644 140721403834319 0
/proc/4578/statm: 2728536 388297 3521 1 0 2690189 0
[pid=4578/tid=4631] ppid=4575 vsize=10914144 memory=1553180 CPUtime=2491.65 cores=1,3,5,7
/proc/4578/task/4631/stat : 4631 (java) R 4575 4578 4192 0 -1 4202560 113921 13001 0 0 249109 49 5 2 20 0 15 0 67433885 11176083456 388297 33554432000 4194304 4196468 140721403819280 139849585057904 139849190603678 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22294528 140721403828396 140721403831644 140721403831644 140721403834319 0
[pid=4578/tid=4632] ppid=4575 vsize=10914144 memory=1553180 CPUtime=3.29 cores=1,3,5,7
/proc/4578/task/4632/stat : 4632 (java) S 4575 4578 4192 0 -1 1077944384 21883 13001 0 0 293 29 5 2 20 0 15 0 67433886 11176083456 388297 33554432000 4194304 4196468 140721403819280 139849617472400 139849613240021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22294528 140721403828396 140721403831644 140721403831644 140721403834319 0
[pid=4578/tid=4633] ppid=4575 vsize=10914144 memory=1553180 CPUtime=3.29 cores=1,3,5,7
/proc/4578/task/4633/stat : 4633 (java) S 4575 4578 4192 0 -1 1077944384 25361 13001 0 0 293 29 5 2 20 0 15 0 67433886 11176083456 388297 33554432000 4194304 4196468 140721403819280 139849505745680 139849613240021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22294528 140721403828396 140721403831644 140721403831644 140721403834319 0
[pid=4578/tid=4634] ppid=4575 vsize=10914144 memory=1553180 CPUtime=3.31 cores=1,3,5,7
/proc/4578/task/4634/stat : 4634 (java) S 4575 4578 4192 0 -1 1077944384 25524 13001 0 0 296 28 5 2 20 0 15 0 67433886 11176083456 388297 33554432000 4194304 4196468 140721403819280 139849185094800 139849613240021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22294528 140721403828396 140721403831644 140721403831644 140721403834319 0
[pid=4578/tid=4635] ppid=4575 vsize=10914144 memory=1553164 CPUtime=3.28 cores=1,3,5,7
/proc/4578/task/4635/stat : 4635 (java) S 4575 4578 4192 0 -1 1077944384 18754 13001 0 0 289 32 5 2 20 0 15 0 67433886 11176083456 388297 33554432000 4194304 4196468 140721403819280 139849184042000 139849613240021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22294528 140721403828396 140721403831644 140721403831644 140721403834319 0
[pid=4578/tid=4636] ppid=4575 vsize=10914144 memory=1553180 CPUtime=2.96 cores=1,3,5,7
/proc/4578/task/4636/stat : 4636 (java) S 4575 4578 4192 0 -1 1077944384 18346 13001 0 0 269 20 5 2 20 0 15 0 67433887 11176083456 388297 33554432000 4194304 4196468 140721403819280 139848616519792 139849613240962 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22294528 140721403828396 140721403831644 140721403831644 140721403834319 0
[pid=4578/tid=4637] ppid=4575 vsize=10914144 memory=1553180 CPUtime=0.07 cores=1,3,5,7
/proc/4578/task/4637/stat : 4637 (java) S 4575 4578 4192 0 -1 1077944384 46 13001 0 0 0 0 5 2 20 0 15 0 67433887 11176083456 388297 33554432000 4194304 4196468 140721403819280 139848615465888 139849613240021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22294528 140721403828396 140721403831644 140721403831644 140721403834319 0
[pid=4578/tid=4638] ppid=4575 vsize=10914144 memory=1553180 CPUtime=0.07 cores=1,3,5,7
/proc/4578/task/4638/stat : 4638 (java) S 4575 4578 4192 0 -1 1077944384 20 13001 0 0 0 0 5 2 20 0 15 0 67433888 11176083456 388297 33554432000 4194304 4196468 140721403819280 139848497226880 139849613240021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22294528 140721403828396 140721403831644 140721403831644 140721403834319 0
[pid=4578/tid=4639] ppid=4575 vsize=10914144 memory=1553164 CPUtime=0.07 cores=1,3,5,7
/proc/4578/task/4639/stat : 4639 (java) S 4575 4578 4192 0 -1 1077944384 3 13001 0 0 0 0 5 2 20 0 15 0 67433890 11176083456 388297 33554432000 4194304 4196468 140721403819280 139848189827152 139849613248411 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22294528 140721403828396 140721403831644 140721403831644 140721403834319 0
[pid=4578/tid=4640] ppid=4575 vsize=10914144 memory=1553180 CPUtime=4.54 cores=1,3,5,7
/proc/4578/task/4640/stat : 4640 (java) S 4575 4578 4192 0 -1 1077944384 44824 13001 0 0 441 6 5 2 20 0 15 0 67433890 11176083456 388297 33554432000 4194304 4196468 140721403819280 139848581909104 139849613240962 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22294528 140721403828396 140721403831644 140721403831644 140721403834319 0
[pid=4578/tid=4641] ppid=4575 vsize=10914144 memory=1832 CPUtime=4.83 cores=1,3,5,7
/proc/4578/task/4641/stat : 4641 (java) S 4575 4578 4192 0 -1 1077944384 56393 13001 0 0 471 5 5 2 20 0 15 0 67433890 11176083456 388297 33554432000 4194304 4196468 140721403819280 139848580856304 139849613240962 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22294528 140721403828396 140721403831644 140721403831644 140721403834319 0
[pid=4578/tid=4642] ppid=4575 vsize=10914144 memory=1553180 CPUtime=1.87 cores=1,3,5,7
/proc/4578/task/4642/stat : 4642 (java) S 4575 4578 4192 0 -1 1077944384 34660 13001 0 0 175 5 5 2 20 0 15 0 67433890 11176083456 388297 33554432000 4194304 4196468 140721403819280 139848579804016 139849613240962 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22294528 140721403828396 140721403831644 140721403831644 140721403834319 0
[pid=4578/tid=4643] ppid=4575 vsize=10914144 memory=1553180 CPUtime=0.07 cores=1,3,5,7
/proc/4578/task/4643/stat : 4643 (java) S 4575 4578 4192 0 -1 1077944384 3 13001 0 0 0 0 5 2 20 0 15 0 67433891 11176083456 388297 33554432000 4194304 4196468 140721403819280 139848156269536 139849613240021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22294528 140721403828396 140721403831644 140721403831644 140721403834319 0
[pid=4578/tid=4644] ppid=4575 vsize=10914144 memory=320 CPUtime=1.54 cores=1,3,5,7
/proc/4578/task/4644/stat : 4644 (java) S 4575 4578 4192 0 -1 1077944384 5531 13001 0 0 67 80 5 2 20 0 15 0 67433891 11176083456 388297 33554432000 4194304 4196468 140721403819280 139848578750896 139849613240962 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22294528 140721403828396 140721403831644 140721403831644 140721403834319 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 1553188 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2499.16 s]
# the end of solver process 4578 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.63 s, system=2.4678 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2499.11 s]
/proc/loadavg: 1.64 1.39 1.44 3/218 4848
/proc/meminfo: memFree=18730796/32770624 swapFree=67108860/67108860
[pid=4578] ppid=4575 vsize=10914144 memory=1553188 CPUtime=2520.02 cores=1,3,5,7
/proc/4578/stat : 4578 (java) S 4575 4578 4192 0 -1 1077944320 367461 13001 0 0 251754 241 5 2 20 0 15 0 67433876 11176083456 388297 33554432000 4194304 4196468 140721403819280 140721403801824 139849613229815 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 22294528 140721403828396 140721403831644 140721403831644 140721403834319 0
/proc/4578/statm: 2728536 388297 3521 1 0 2690189 0
[pid=4578/tid=4631] ppid=4575 vsize=10914144 memory=1553180 CPUtime=2491.65 cores=1,3,5,7
/proc/4578/task/4631/stat : 4631 (java) R 4575 4578 4192 0 -1 4202560 113921 13001 0 0 249109 49 5 2 20 0 15 0 67433885 11176083456 388297 33554432000 4194304 4196468 140721403819280 139849585057904 139849190603678 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22294528 140721403828396 140721403831644 140721403831644 140721403834319 0
[pid=4578/tid=4632] ppid=4575 vsize=10914144 memory=1553180 CPUtime=3.29 cores=1,3,5,7
/proc/4578/task/4632/stat : 4632 (java) S 4575 4578 4192 0 -1 1077944384 21883 13001 0 0 293 29 5 2 20 0 15 0 67433886 11176083456 388297 33554432000 4194304 4196468 140721403819280 139849617472400 139849613240021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22294528 140721403828396 140721403831644 140721403831644 140721403834319 0
[pid=4578/tid=4633] ppid=4575 vsize=10914144 memory=1553180 CPUtime=3.29 cores=1,3,5,7
/proc/4578/task/4633/stat : 4633 (java) S 4575 4578 4192 0 -1 1077944384 25361 13001 0 0 293 29 5 2 20 0 15 0 67433886 11176083456 388297 33554432000 4194304 4196468 140721403819280 139849505745680 139849613240021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22294528 140721403828396 140721403831644 140721403831644 140721403834319 0
[pid=4578/tid=4634] ppid=4575 vsize=10914144 memory=1553180 CPUtime=3.31 cores=1,3,5,7
/proc/4578/task/4634/stat : 4634 (java) S 4575 4578 4192 0 -1 1077944384 25524 13001 0 0 296 28 5 2 20 0 15 0 67433886 11176083456 388297 33554432000 4194304 4196468 140721403819280 139849185094800 139849613240021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22294528 140721403828396 140721403831644 140721403831644 140721403834319 0
[pid=4578/tid=4635] ppid=4575 vsize=10914144 memory=1553164 CPUtime=3.28 cores=1,3,5,7
/proc/4578/task/4635/stat : 4635 (java) S 4575 4578 4192 0 -1 1077944384 18754 13001 0 0 289 32 5 2 20 0 15 0 67433886 11176083456 388297 33554432000 4194304 4196468 140721403819280 139849184042000 139849613240021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22294528 140721403828396 140721403831644 140721403831644 140721403834319 0
[pid=4578/tid=4636] ppid=4575 vsize=10914144 memory=1553180 CPUtime=2.96 cores=1,3,5,7
/proc/4578/task/4636/stat : 4636 (java) S 4575 4578 4192 0 -1 1077944384 18346 13001 0 0 269 20 5 2 20 0 15 0 67433887 11176083456 388297 33554432000 4194304 4196468 140721403819280 139848616519792 139849613240962 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22294528 140721403828396 140721403831644 140721403831644 140721403834319 0
[pid=4578/tid=4637] ppid=4575 vsize=10914144 memory=1553180 CPUtime=0.07 cores=1,3,5,7
/proc/4578/task/4637/stat : 4637 (java) S 4575 4578 4192 0 -1 1077944384 46 13001 0 0 0 0 5 2 20 0 15 0 67433887 11176083456 388297 33554432000 4194304 4196468 140721403819280 139848615465888 139849613240021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22294528 140721403828396 140721403831644 140721403831644 140721403834319 0
[pid=4578/tid=4638] ppid=4575 vsize=10914144 memory=1553180 CPUtime=0.07 cores=1,3,5,7
/proc/4578/task/4638/stat : 4638 (java) S 4575 4578 4192 0 -1 1077944384 20 13001 0 0 0 0 5 2 20 0 15 0 67433888 11176083456 388297 33554432000 4194304 4196468 140721403819280 139848497226880 139849613240021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22294528 140721403828396 140721403831644 140721403831644 140721403834319 0
[pid=4578/tid=4639] ppid=4575 vsize=10914144 memory=1553164 CPUtime=0.07 cores=1,3,5,7
/proc/4578/task/4639/stat : 4639 (java) S 4575 4578 4192 0 -1 1077944384 3 13001 0 0 0 0 5 2 20 0 15 0 67433890 11176083456 388297 33554432000 4194304 4196468 140721403819280 139848189827152 139849613248411 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22294528 140721403828396 140721403831644 140721403831644 140721403834319 0
[pid=4578/tid=4640] ppid=4575 vsize=10914144 memory=1553180 CPUtime=4.54 cores=1,3,5,7
/proc/4578/task/4640/stat : 4640 (java) S 4575 4578 4192 0 -1 1077944384 44824 13001 0 0 441 6 5 2 20 0 15 0 67433890 11176083456 388297 33554432000 4194304 4196468 140721403819280 139848581909104 139849613240962 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22294528 140721403828396 140721403831644 140721403831644 140721403834319 0
[pid=4578/tid=4641] ppid=4575 vsize=10914144 memory=1832 CPUtime=4.83 cores=1,3,5,7
/proc/4578/task/4641/stat : 4641 (java) S 4575 4578 4192 0 -1 1077944384 56393 13001 0 0 471 5 5 2 20 0 15 0 67433890 11176083456 388297 33554432000 4194304 4196468 140721403819280 139848580856304 139849613240962 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22294528 140721403828396 140721403831644 140721403831644 140721403834319 0
[pid=4578/tid=4642] ppid=4575 vsize=10914144 memory=1553180 CPUtime=1.87 cores=1,3,5,7
/proc/4578/task/4642/stat : 4642 (java) S 4575 4578 4192 0 -1 1077944384 34660 13001 0 0 175 5 5 2 20 0 15 0 67433890 11176083456 388297 33554432000 4194304 4196468 140721403819280 139848579804016 139849613240962 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22294528 140721403828396 140721403831644 140721403831644 140721403834319 0
[pid=4578/tid=4643] ppid=4575 vsize=10914144 memory=1553180 CPUtime=0.07 cores=1,3,5,7
/proc/4578/task/4643/stat : 4643 (java) S 4575 4578 4192 0 -1 1077944384 3 13001 0 0 0 0 5 2 20 0 15 0 67433891 11176083456 388297 33554432000 4194304 4196468 140721403819280 139848156269536 139849613240021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22294528 140721403828396 140721403831644 140721403831644 140721403834319 0
[pid=4578/tid=4644] ppid=4575 vsize=10914144 memory=320 CPUtime=1.54 cores=1,3,5,7
/proc/4578/task/4644/stat : 4644 (java) S 4575 4578 4192 0 -1 1077944384 5531 13001 0 0 67 80 5 2 20 0 15 0 67433891 11176083456 388297 33554432000 4194304 4196468 140721403819280 139848578750896 139849613240962 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22294528 140721403828396 140721403831644 140721403831644 140721403834319 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 1553188 KiB
Child status: 143
Real time (s): 2499.16
CPU time (s): 2520.1
CPU user time (s): 2517.63
CPU system time (s): 2.4678
CPU usage (%): 100.838
Max. virtual memory (cumulated for all children) (KiB): 10916852
Max. memory (cumulated for all children) (KiB): 2002348
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.63
system time used= 2.4678
maximum resident set size= 2019792
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 384442
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 120276
involuntary context switches= 6091
# summary of solver processes directly reported to runsolver:
# pid: 4578
# total CPU time (s): 2520.1
# total CPU user time (s): 2517.63
# total CPU system time (s): 2.4678
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.153 second user time and 24.9048 second system time
The end