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 (13562 MiB free)
memory of node 1: 16384 MiB (10292 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4308245-1534283622/watcher-4308245-1534283622 -o /tmp/evaluation-result-4308245-1534283622/solver-4308245-1534283622 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node136-1534271084-19495 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 483729080 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4308245-1534283622.xml
running on 4 cores: 0,2,4,6
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=20782, runsolver pid=20779
[startup+0.108929 s]*
/proc/loadavg: 1.74 1.88 1.88 4/216 20797
/proc/meminfo: memFree=24409536/32770624 swapFree=67108172/67108860
[pid=20782] ppid=20779 vsize=14082736 memory=34132 CPUtime=0.13 cores=0,2,4,6
/proc/20782/stat : 20782 (java) S 20779 20782 17869 0 -1 1077944320 7409 0 0 0 11 2 0 0 20 0 15 0 245925407 14420721664 8533 33554432000 4194304 4196468 140732200052128 140732200034672 140040704712439 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20500480 140732200055881 140732200056073 140732200056073 140732200058831 0
/proc/20782/statm: 3520684 8533 3167 1 0 3482761 0
[pid=20782/tid=20784] ppid=20779 vsize=14082736 memory=-8485517772678533762 CPUtime=0.1 cores=0,2,4,6
/proc/20782/task/20784/stat : 20784 (java) R 20779 20782 17869 0 -1 4202560 5473 0 0 0 9 1 0 0 20 0 15 0 245925408 14420721664 8533 33554432000 4194304 4196468 140732200052128 140040708937304 140040690910384 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20500480 140732200055881 140732200056073 140732200056073 140732200058831 0
[pid=20782/tid=20785] ppid=20779 vsize=14082736 memory=-7522837583129502606 CPUtime=0 cores=0,2,4,6
/proc/20782/task/20785/stat : 20785 (java) S 20779 20782 17869 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245925408 14420721664 8533 33554432000 4194304 4196468 140732200052128 140040634800528 140040704722645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20500480 140732200055881 140732200056073 140732200056073 140732200058831 0
[pid=20782/tid=20786] ppid=20779 vsize=14082736 memory=139631712589440 CPUtime=0 cores=0,2,4,6
/proc/20782/task/20786/stat : 20786 (java) S 20779 20782 17869 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245925409 14420721664 8533 33554432000 4194304 4196468 140732200052128 140040633747728 140040704722645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20500480 140732200055881 140732200056073 140732200056073 140732200058831 0
[pid=20782/tid=20787] ppid=20779 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20782/task/20787/stat : 20787 (java) S 20779 20782 17869 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245925409 14420721664 8533 33554432000 4194304 4196468 140732200052128 140040632695440 140040704722645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20500480 140732200055881 140732200056073 140732200056073 140732200058831 0
[pid=20782/tid=20788] ppid=20779 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20782/task/20788/stat : 20788 (java) S 20779 20782 17869 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245925409 14420721664 8533 33554432000 4194304 4196468 140732200052128 140040631642640 140040704722645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20500480 140732200055881 140732200056073 140732200056073 140732200058831 0
[pid=20782/tid=20789] ppid=20779 vsize=14082736 memory=139631712589440 CPUtime=0 cores=0,2,4,6
/proc/20782/task/20789/stat : 20789 (java) S 20779 20782 17869 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245925410 14420721664 8533 33554432000 4194304 4196468 140732200052128 140040044391024 140040704723586 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20500480 140732200055881 140732200056073 140732200056073 140732200058831 0
[pid=20782/tid=20790] ppid=20779 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20782/task/20790/stat : 20790 (java) S 20779 20782 17869 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245925410 14420721664 8533 33554432000 4194304 4196468 140732200052128 140040043336992 140040704722645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20500480 140732200055881 140732200056073 140732200056073 140732200058831 0
[pid=20782/tid=20791] ppid=20779 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20782/task/20791/stat : 20791 (java) S 20779 20782 17869 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245925411 14420721664 8533 33554432000 4194304 4196468 140732200052128 140040042284656 140040704722645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20500480 140732200055881 140732200056073 140732200056073 140732200058831 0
[pid=20782/tid=20792] ppid=20779 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20782/task/20792/stat : 20792 (java) S 20779 20782 17869 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245925413 14420721664 8533 33554432000 4194304 4196468 140732200052128 140040041232976 140040704731035 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20500480 140732200055881 140732200056073 140732200056073 140732200058831 0
[pid=20782/tid=20793] ppid=20779 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20782/task/20793/stat : 20793 (java) S 20779 20782 17869 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 15 0 245925413 14420721664 8533 33554432000 4194304 4196468 140732200052128 140040040179824 140040704723586 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20500480 140732200055881 140732200056073 140732200056073 140732200058831 0
[pid=20782/tid=20794] ppid=20779 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20782/task/20794/stat : 20794 (java) S 20779 20782 17869 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245925413 14420721664 8533 33554432000 4194304 4196468 140732200052128 140040039127024 140040704723586 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20500480 140732200055881 140732200056073 140732200056073 140732200058831 0
[pid=20782/tid=20795] ppid=20779 vsize=14082736 memory=139631712589440 CPUtime=0.01 cores=0,2,4,6
/proc/20782/task/20795/stat : 20795 (java) R 20779 20782 17869 0 -1 4202560 274 0 0 0 1 0 0 0 20 0 15 0 245925413 14420721664 8533 33554432000 4194304 4196468 140732200052128 140040038074736 140040683359013 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20500480 140732200055881 140732200056073 140732200056073 140732200058831 0
[pid=20782/tid=20796] ppid=20779 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20782/task/20796/stat : 20796 (java) S 20779 20782 17869 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245925413 14420721664 8533 33554432000 4194304 4196468 140732200052128 140040037022176 140040704722645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20500480 140732200055881 140732200056073 140732200056073 140732200058831 0
[pid=20782/tid=20797] ppid=20779 vsize=14082736 memory=139631712589440 CPUtime=0 cores=0,2,4,6
/proc/20782/task/20797/stat : 20797 (java) S 20779 20782 17869 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245925413 14420721664 8533 33554432000 4194304 4196468 140732200052128 140040035969968 140040704723586 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20500480 140732200055881 140732200056073 140732200056073 140732200058831 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 34132 KiB
[startup+0.216077 s]*
/proc/loadavg: 1.74 1.88 1.88 5/216 20797
/proc/meminfo: memFree=24394900/32770624 swapFree=67108172/67108860
[pid=20782] ppid=20779 vsize=14082736 memory=47292 CPUtime=0.3 cores=0,2,4,6
/proc/20782/stat : 20782 (java) S 20779 20782 17869 0 -1 1077944320 10435 0 0 0 27 3 0 0 20 0 15 0 245925407 14420721664 11823 33554432000 4194304 4196468 140732200052128 140732200034672 140040704712439 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20500480 140732200055881 140732200056073 140732200056073 140732200058831 0
/proc/20782/statm: 3520684 11823 3371 1 0 3482761 0
[pid=20782/tid=20784] ppid=20779 vsize=14082736 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/20782/task/20784/stat : 20784 (java) S 20779 20782 17869 0 -1 1077944384 8150 0 0 0 18 2 0 0 20 0 15 0 245925408 14420721664 11823 33554432000 4194304 4196468 140732200052128 140040708939792 140040704722645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20500480 140732200055881 140732200056073 140732200056073 140732200058831 0
[pid=20782/tid=20785] ppid=20779 vsize=14082736 memory=343 CPUtime=0 cores=0,2,4,6
/proc/20782/task/20785/stat : 20785 (java) S 20779 20782 17869 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245925408 14420721664 11823 33554432000 4194304 4196468 140732200052128 140040634800528 140040704722645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20500480 140732200055881 140732200056073 140732200056073 140732200058831 0
[pid=20782/tid=20786] ppid=20779 vsize=14082736 memory=3835293609635403424 CPUtime=0 cores=0,2,4,6
/proc/20782/task/20786/stat : 20786 (java) S 20779 20782 17869 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245925409 14420721664 11823 33554432000 4194304 4196468 140732200052128 140040633747728 140040704722645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20500480 140732200055881 140732200056073 140732200056073 140732200058831 0
[pid=20782/tid=20787] ppid=20779 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20782/task/20787/stat : 20787 (java) S 20779 20782 17869 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245925409 14420721664 11823 33554432000 4194304 4196468 140732200052128 140040632695440 140040704722645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20500480 140732200055881 140732200056073 140732200056073 140732200058831 0
[pid=20782/tid=20788] ppid=20779 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20782/task/20788/stat : 20788 (java) S 20779 20782 17869 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245925409 14420721664 11823 33554432000 4194304 4196468 140732200052128 140040631642640 140040704722645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20500480 140732200055881 140732200056073 140732200056073 140732200058831 0
[pid=20782/tid=20789] ppid=20779 vsize=14082736 memory=139631712589440 CPUtime=0 cores=0,2,4,6
/proc/20782/task/20789/stat : 20789 (java) S 20779 20782 17869 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 245925410 14420721664 11823 33554432000 4194304 4196468 140732200052128 140040044391024 140040704723586 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20500480 140732200055881 140732200056073 140732200056073 140732200058831 0
[pid=20782/tid=20790] ppid=20779 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20782/task/20790/stat : 20790 (java) S 20779 20782 17869 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245925410 14420721664 11823 33554432000 4194304 4196468 140732200052128 140040043336992 140040704722645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20500480 140732200055881 140732200056073 140732200056073 140732200058831 0
[pid=20782/tid=20791] ppid=20779 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20782/task/20791/stat : 20791 (java) S 20779 20782 17869 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245925411 14420721664 11823 33554432000 4194304 4196468 140732200052128 140040042284656 140040704722645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20500480 140732200055881 140732200056073 140732200056073 140732200058831 0
[pid=20782/tid=20792] ppid=20779 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20782/task/20792/stat : 20792 (java) S 20779 20782 17869 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245925413 14420721664 11823 33554432000 4194304 4196468 140732200052128 140040041232976 140040704731035 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20500480 140732200055881 140732200056073 140732200056073 140732200058831 0
[pid=20782/tid=20793] ppid=20779 vsize=14082736 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/20782/task/20793/stat : 20793 (java) S 20779 20782 17869 0 -1 1077944384 444 0 0 0 1 0 0 0 20 0 15 0 245925413 14420721664 11823 33554432000 4194304 4196468 140732200052128 140040040179824 140040704723586 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20500480 140732200055881 140732200056073 140732200056073 140732200058831 0
[pid=20782/tid=20794] ppid=20779 vsize=14082736 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/20782/task/20794/stat : 20794 (java) R 20779 20782 17869 0 -1 1077944384 163 0 0 0 1 0 0 0 20 0 15 0 245925413 14420721664 11823 33554432000 4194304 4196468 140732200052128 140040039127024 140040704723586 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20500480 140732200055881 140732200056073 140732200056073 140732200058831 0
[pid=20782/tid=20795] ppid=20779 vsize=14082736 memory=139631712589440 CPUtime=0.05 cores=0,2,4,6
/proc/20782/task/20795/stat : 20795 (java) S 20779 20782 17869 0 -1 1077944384 295 0 0 0 5 0 0 0 20 0 15 0 245925413 14420721664 11823 33554432000 4194304 4196468 140732200052128 140040038074736 140040704723586 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20500480 140732200055881 140732200056073 140732200056073 140732200058831 0
[pid=20782/tid=20796] ppid=20779 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20782/task/20796/stat : 20796 (java) S 20779 20782 17869 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245925413 14420721664 11823 33554432000 4194304 4196468 140732200052128 140040037022176 140040704722645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20500480 140732200055881 140732200056073 140732200056073 140732200058831 0
[pid=20782/tid=20797] ppid=20779 vsize=14082736 memory=139631712589440 CPUtime=0 cores=0,2,4,6
/proc/20782/task/20797/stat : 20797 (java) S 20779 20782 17869 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245925413 14420721664 11823 33554432000 4194304 4196468 140732200052128 140040035969968 140040704723586 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20500480 140732200055881 140732200056073 140732200056073 140732200058831 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 47292 KiB
[startup+0.310306 s]*
/proc/loadavg: 1.74 1.88 1.88 3/216 20797
/proc/meminfo: memFree=24391984/32770624 swapFree=67108172/67108860
[pid=20782] ppid=20779 vsize=14082736 memory=50416 CPUtime=0.44 cores=0,2,4,6
/proc/20782/stat : 20782 (java) S 20779 20782 17869 0 -1 1077944320 10763 0 0 0 41 3 0 0 20 0 15 0 245925407 14420721664 12604 33554432000 4194304 4196468 140732200052128 140732200034672 140040704712439 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20500480 140732200055881 140732200056073 140732200056073 140732200058831 0
/proc/20782/statm: 3520684 12604 3374 1 0 3482761 0
[pid=20782/tid=20784] ppid=20779 vsize=14082736 memory=7022364594140610616 CPUtime=0.29 cores=0,2,4,6
/proc/20782/task/20784/stat : 20784 (java) R 20779 20782 17869 0 -1 4202560 8449 0 0 0 27 2 0 0 20 0 15 0 245925408 14420721664 12604 33554432000 4194304 4196468 140732200052128 140040708923952 140040688792926 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20500480 140732200055881 140732200056073 140732200056073 140732200058831 0
[pid=20782/tid=20785] ppid=20779 vsize=14082736 memory=4294977828 CPUtime=0 cores=0,2,4,6
/proc/20782/task/20785/stat : 20785 (java) S 20779 20782 17869 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245925408 14420721664 12604 33554432000 4194304 4196468 140732200052128 140040634800528 140040704722645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20500480 140732200055881 140732200056073 140732200056073 140732200058831 0
[pid=20782/tid=20786] ppid=20779 vsize=14082736 memory=3473598264562210464 CPUtime=0 cores=0,2,4,6
/proc/20782/task/20786/stat : 20786 (java) S 20779 20782 17869 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245925409 14420721664 12604 33554432000 4194304 4196468 140732200052128 140040633747728 140040704722645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20500480 140732200055881 140732200056073 140732200056073 140732200058831 0
[pid=20782/tid=20787] ppid=20779 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20782/task/20787/stat : 20787 (java) S 20779 20782 17869 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245925409 14420721664 12604 33554432000 4194304 4196468 140732200052128 140040632695440 140040704722645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20500480 140732200055881 140732200056073 140732200056073 140732200058831 0
[pid=20782/tid=20788] ppid=20779 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20782/task/20788/stat : 20788 (java) S 20779 20782 17869 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245925409 14420721664 12604 33554432000 4194304 4196468 140732200052128 140040631642640 140040704722645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20500480 140732200055881 140732200056073 140732200056073 140732200058831 0
[pid=20782/tid=20789] ppid=20779 vsize=14082736 memory=139631712589440 CPUtime=0 cores=0,2,4,6
/proc/20782/task/20789/stat : 20789 (java) S 20779 20782 17869 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 245925410 14420721664 12604 33554432000 4194304 4196468 140732200052128 140040044391024 140040704723586 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20500480 140732200055881 140732200056073 140732200056073 140732200058831 0
[pid=20782/tid=20790] ppid=20779 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20782/task/20790/stat : 20790 (java) S 20779 20782 17869 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245925410 14420721664 12604 33554432000 4194304 4196468 140732200052128 140040043336992 140040704722645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20500480 140732200055881 140732200056073 140732200056073 140732200058831 0
[pid=20782/tid=20791] ppid=20779 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20782/task/20791/stat : 20791 (java) S 20779 20782 17869 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245925411 14420721664 12604 33554432000 4194304 4196468 140732200052128 140040042284656 140040704722645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20500480 140732200055881 140732200056073 140732200056073 140732200058831 0
[pid=20782/tid=20792] ppid=20779 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20782/task/20792/stat : 20792 (java) S 20779 20782 17869 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245925413 14420721664 12604 33554432000 4194304 4196468 140732200052128 140040041232976 140040704731035 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20500480 140732200055881 140732200056073 140732200056073 140732200058831 0
[pid=20782/tid=20793] ppid=20779 vsize=14082736 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/20782/task/20793/stat : 20793 (java) S 20779 20782 17869 0 -1 1077944384 449 0 0 0 2 0 0 0 20 0 15 0 245925413 14420721664 12604 33554432000 4194304 4196468 140732200052128 140040040179824 140040704723586 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20500480 140732200055881 140732200056073 140732200056073 140732200058831 0
[pid=20782/tid=20794] ppid=20779 vsize=14082736 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/20782/task/20794/stat : 20794 (java) S 20779 20782 17869 0 -1 1077944384 179 0 0 0 3 0 0 0 20 0 15 0 245925413 14420721664 12604 33554432000 4194304 4196468 140732200052128 140040039127024 140040704723586 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20500480 140732200055881 140732200056073 140732200056073 140732200058831 0
[pid=20782/tid=20795] ppid=20779 vsize=14082736 memory=139631712589440 CPUtime=0.08 cores=0,2,4,6
/proc/20782/task/20795/stat : 20795 (java) S 20779 20782 17869 0 -1 1077944384 306 0 0 0 8 0 0 0 20 0 15 0 245925413 14420721664 12604 33554432000 4194304 4196468 140732200052128 140040038074736 140040704723586 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20500480 140732200055881 140732200056073 140732200056073 140732200058831 0
[pid=20782/tid=20796] ppid=20779 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20782/task/20796/stat : 20796 (java) S 20779 20782 17869 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245925413 14420721664 12604 33554432000 4194304 4196468 140732200052128 140040037022176 140040704722645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20500480 140732200055881 140732200056073 140732200056073 140732200058831 0
[pid=20782/tid=20797] ppid=20779 vsize=14082736 memory=139631712589440 CPUtime=0 cores=0,2,4,6
/proc/20782/task/20797/stat : 20797 (java) S 20779 20782 17869 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245925413 14420721664 12604 33554432000 4194304 4196468 140732200052128 140040035969968 140040704723586 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20500480 140732200055881 140732200056073 140732200056073 140732200058831 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50416 KiB
[startup+0.700669 s]
/proc/loadavg: 1.74 1.88 1.88 3/216 20797
/proc/meminfo: memFree=24375216/32770624 swapFree=67108172/67108860
[pid=20782] ppid=20779 vsize=14084804 memory=88920 CPUtime=0.98 cores=0,2,4,6
/proc/20782/stat : 20782 (java) S 20779 20782 17869 0 -1 1077944320 17591 0 0 0 93 5 0 0 20 0 15 0 245925407 14422839296 22230 33554432000 4194304 4196468 140732200052128 140732200034672 140040704712439 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20500480 140732200055881 140732200056073 140732200056073 140732200058831 0
/proc/20782/statm: 3521201 22230 3498 1 0 3483273 0
[pid=20782/tid=20784] ppid=20779 vsize=14084804 memory=228919676527764 CPUtime=0.67 cores=0,2,4,6
/proc/20782/task/20784/stat : 20784 (java) R 20779 20782 17869 0 -1 4202560 14881 0 0 0 63 4 0 0 20 0 15 0 245925408 14422839296 22230 33554432000 4194304 4196468 140732200052128 140040708936544 140732201269638 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20500480 140732200055881 140732200056073 140732200056073 140732200058831 0
[pid=20782/tid=20785] ppid=20779 vsize=14084804 memory=1299296 CPUtime=0 cores=0,2,4,6
/proc/20782/task/20785/stat : 20785 (java) S 20779 20782 17869 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245925408 14422839296 22230 33554432000 4194304 4196468 140732200052128 140040634800528 140040704722645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20500480 140732200055881 140732200056073 140732200056073 140732200058831 0
[pid=20782/tid=20786] ppid=20779 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20782/task/20786/stat : 20786 (java) S 20779 20782 17869 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245925409 14422839296 22230 33554432000 4194304 4196468 140732200052128 140040633747728 140040704722645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20500480 140732200055881 140732200056073 140732200056073 140732200058831 0
[pid=20782/tid=20787] ppid=20779 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20782/task/20787/stat : 20787 (java) S 20779 20782 17869 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245925409 14422839296 22230 33554432000 4194304 4196468 140732200052128 140040632695440 140040704722645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20500480 140732200055881 140732200056073 140732200056073 140732200058831 0
[pid=20782/tid=20788] ppid=20779 vsize=14084804 memory=7809523229951467568 CPUtime=0 cores=0,2,4,6
/proc/20782/task/20788/stat : 20788 (java) S 20779 20782 17869 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245925409 14422839296 22230 33554432000 4194304 4196468 140732200052128 140040631642640 140040704722645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20500480 140732200055881 140732200056073 140732200056073 140732200058831 0
[pid=20782/tid=20789] ppid=20779 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20782/task/20789/stat : 20789 (java) S 20779 20782 17869 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 245925410 14422839296 22230 33554432000 4194304 4196468 140732200052128 140040044391024 140040704723586 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20500480 140732200055881 140732200056073 140732200056073 140732200058831 0
[pid=20782/tid=20790] ppid=20779 vsize=14084804 memory=-3535359994705172066 CPUtime=0 cores=0,2,4,6
/proc/20782/task/20790/stat : 20790 (java) S 20779 20782 17869 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245925410 14422839296 22230 33554432000 4194304 4196468 140732200052128 140040043336992 140040704722645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20500480 140732200055881 140732200056073 140732200056073 140732200058831 0
[pid=20782/tid=20791] ppid=20779 vsize=14084804 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/20782/task/20791/stat : 20791 (java) S 20779 20782 17869 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245925411 14422839296 22230 33554432000 4194304 4196468 140732200052128 140040042284656 140040704722645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20500480 140732200055881 140732200056073 140732200056073 140732200058831 0
[pid=20782/tid=20792] ppid=20779 vsize=14084804 memory=6944656592455360604 CPUtime=0 cores=0,2,4,6
/proc/20782/task/20792/stat : 20792 (java) S 20779 20782 17869 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245925413 14422839296 22230 33554432000 4194304 4196468 140732200052128 140040041232976 140040704731035 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20500480 140732200055881 140732200056073 140732200056073 140732200058831 0
[pid=20782/tid=20793] ppid=20779 vsize=14084804 memory=6944656592455359580 CPUtime=0.06 cores=0,2,4,6
/proc/20782/task/20793/stat : 20793 (java) S 20779 20782 17869 0 -1 1077944384 593 0 0 0 6 0 0 0 20 0 15 0 245925413 14422839296 22230 33554432000 4194304 4196468 140732200052128 140040040179824 140040704723586 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20500480 140732200055881 140732200056073 140732200056073 140732200058831 0
[pid=20782/tid=20794] ppid=20779 vsize=14084804 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20782/task/20794/stat : 20794 (java) S 20779 20782 17869 0 -1 1077944384 341 0 0 0 7 0 0 0 20 0 15 0 245925413 14422839296 22230 33554432000 4194304 4196468 140732200052128 140040039127024 140040704723586 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20500480 140732200055881 140732200056073 140732200056073 140732200058831 0
[pid=20782/tid=20795] ppid=20779 vsize=14084804 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/20782/task/20795/stat : 20795 (java) S 20779 20782 17869 0 -1 1077944384 393 0 0 0 15 0 0 0 20 0 15 0 245925413 14422839296 22230 33554432000 4194304 4196468 140732200052128 140040038074736 140040704723586 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20500480 140732200055881 140732200056073 140732200056073 140732200058831 0
[pid=20782/tid=20796] ppid=20779 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20782/task/20796/stat : 20796 (java) S 20779 20782 17869 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245925413 14422839296 22230 33554432000 4194304 4196468 140732200052128 140040037022176 140040704722645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20500480 140732200055881 140732200056073 140732200056073 140732200058831 0
[pid=20782/tid=20797] ppid=20779 vsize=14084804 memory=12552 CPUtime=0 cores=0,2,4,6
/proc/20782/task/20797/stat : 20797 (java) S 20779 20782 17869 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245925413 14422839296 22230 33554432000 4194304 4196468 140732200052128 140040035969968 140040704723586 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20500480 140732200055881 140732200056073 140732200056073 140732200058831 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 88920 KiB
[startup+1.50072 s]
/proc/loadavg: 1.74 1.88 1.88 5/216 20797
/proc/meminfo: memFree=24327512/32770624 swapFree=67108172/67108860
[pid=20782] ppid=20779 vsize=14086852 memory=194700 CPUtime=3.04 cores=0,2,4,6
/proc/20782/stat : 20782 (java) S 20779 20782 17869 0 -1 1077944320 24977 0 0 0 295 9 0 0 20 0 15 0 245925407 14424936448 48675 33554432000 4194304 4196468 140732200052128 140732200034672 140040704712439 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20500480 140732200055881 140732200056073 140732200056073 140732200058831 0
/proc/20782/statm: 3521713 48675 3554 1 0 3483785 0
[pid=20782/tid=20784] ppid=20779 vsize=14086852 memory=10759 CPUtime=1.47 cores=0,2,4,6
/proc/20782/task/20784/stat : 20784 (java) R 20779 20782 17869 0 -1 4202560 17050 0 0 0 141 6 0 0 20 0 15 0 245925408 14424936448 48675 33554432000 4194304 4196468 140732200052128 140040708948256 140040316507944 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20500480 140732200055881 140732200056073 140732200056073 140732200058831 0
[pid=20782/tid=20785] ppid=20779 vsize=14086852 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/20782/task/20785/stat : 20785 (java) S 20779 20782 17869 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245925408 14424936448 48675 33554432000 4194304 4196468 140732200052128 140040634800528 140040704722645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20500480 140732200055881 140732200056073 140732200056073 140732200058831 0
[pid=20782/tid=20786] ppid=20779 vsize=14086852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20782/task/20786/stat : 20786 (java) S 20779 20782 17869 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245925409 14424936448 48675 33554432000 4194304 4196468 140732200052128 140040633747728 140040704722645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20500480 140732200055881 140732200056073 140732200056073 140732200058831 0
[pid=20782/tid=20787] ppid=20779 vsize=14086852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20782/task/20787/stat : 20787 (java) S 20779 20782 17869 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245925409 14424936448 48675 33554432000 4194304 4196468 140732200052128 140040632695440 140040704722645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20500480 140732200055881 140732200056073 140732200056073 140732200058831 0
[pid=20782/tid=20788] ppid=20779 vsize=14086852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20782/task/20788/stat : 20788 (java) S 20779 20782 17869 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245925409 14424936448 48675 33554432000 4194304 4196468 140732200052128 140040631642640 140040704722645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20500480 140732200055881 140732200056073 140732200056073 140732200058831 0
[pid=20782/tid=20789] ppid=20779 vsize=14086852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20782/task/20789/stat : 20789 (java) S 20779 20782 17869 0 -1 1077944384 195 0 0 0 0 0 0 0 20 0 15 0 245925410 14424936448 48675 33554432000 4194304 4196468 140732200052128 140040044391024 140040704723586 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20500480 140732200055881 140732200056073 140732200056073 140732200058831 0
################
# More data... #
################
/proc/20782/task/20784/stat : 20784 (java) R 20779 20782 17869 0 -1 4202560 47326 0 0 0 243355 15 0 0 20 0 15 0 245925408 14429130752 73221 33554432000 4194304 4196468 140732200052128 140040708950512 140040312275541 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20500480 140732200055881 140732200056073 140732200056073 140732200058831 0
[pid=20782/tid=20785] ppid=20779 vsize=14090948 memory=292884 CPUtime=3.57 cores=0,2,4,6
/proc/20782/task/20785/stat : 20785 (java) S 20779 20782 17869 0 -1 1077944384 4468 0 0 0 335 22 0 0 20 0 15 0 245925408 14429130752 73221 33554432000 4194304 4196468 140732200052128 140040634800528 140040704722645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20500480 140732200055881 140732200056073 140732200056073 140732200058831 0
[pid=20782/tid=20786] ppid=20779 vsize=14090948 memory=292884 CPUtime=3.56 cores=0,2,4,6
/proc/20782/task/20786/stat : 20786 (java) S 20779 20782 17869 0 -1 1077944384 7109 0 0 0 334 22 0 0 20 0 15 0 245925409 14429130752 73221 33554432000 4194304 4196468 140732200052128 140040633747728 140040704722645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20500480 140732200055881 140732200056073 140732200056073 140732200058831 0
[pid=20782/tid=20787] ppid=20779 vsize=14090948 memory=5660 CPUtime=3.57 cores=0,2,4,6
/proc/20782/task/20787/stat : 20787 (java) S 20779 20782 17869 0 -1 1077944384 5490 0 0 0 333 24 0 0 20 0 15 0 245925409 14429130752 73221 33554432000 4194304 4196468 140732200052128 140040632695440 140040704722645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20500480 140732200055881 140732200056073 140732200056073 140732200058831 0
[pid=20782/tid=20788] ppid=20779 vsize=14090948 memory=292884 CPUtime=3.58 cores=0,2,4,6
/proc/20782/task/20788/stat : 20788 (java) S 20779 20782 17869 0 -1 1077944384 6263 0 0 0 338 20 0 0 20 0 15 0 245925409 14429130752 73221 33554432000 4194304 4196468 140732200052128 140040631642640 140040704722645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20500480 140732200055881 140732200056073 140732200056073 140732200058831 0
[pid=20782/tid=20789] ppid=20779 vsize=14090948 memory=292884 CPUtime=3.03 cores=0,2,4,6
/proc/20782/task/20789/stat : 20789 (java) S 20779 20782 17869 0 -1 1077944384 6960 0 0 0 285 18 0 0 20 0 15 0 245925410 14429130752 73221 33554432000 4194304 4196468 140732200052128 140040044391024 140040704723586 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20500480 140732200055881 140732200056073 140732200056073 140732200058831 0
[pid=20782/tid=20790] ppid=20779 vsize=14090948 memory=292884 CPUtime=0 cores=0,2,4,6
/proc/20782/task/20790/stat : 20790 (java) S 20779 20782 17869 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 245925410 14429130752 73221 33554432000 4194304 4196468 140732200052128 140040043337056 140040704722645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20500480 140732200055881 140732200056073 140732200056073 140732200058831 0
[pid=20782/tid=20791] ppid=20779 vsize=14090948 memory=292884 CPUtime=0 cores=0,2,4,6
/proc/20782/task/20791/stat : 20791 (java) S 20779 20782 17869 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 245925411 14429130752 73221 33554432000 4194304 4196468 140732200052128 140040042284672 140040704722645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20500480 140732200055881 140732200056073 140732200056073 140732200058831 0
[pid=20782/tid=20792] ppid=20779 vsize=14090948 memory=292884 CPUtime=0 cores=0,2,4,6
/proc/20782/task/20792/stat : 20792 (java) S 20779 20782 17869 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245925413 14429130752 73221 33554432000 4194304 4196468 140732200052128 140040041232976 140040704731035 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20500480 140732200055881 140732200056073 140732200056073 140732200058831 0
[pid=20782/tid=20793] ppid=20779 vsize=14090948 memory=1196 CPUtime=1.37 cores=0,2,4,6
/proc/20782/task/20793/stat : 20793 (java) S 20779 20782 17869 0 -1 1077944384 7072 0 0 0 135 2 0 0 20 0 15 0 245925413 14429130752 73221 33554432000 4194304 4196468 140732200052128 140040040179824 140040704723586 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20500480 140732200055881 140732200056073 140732200056073 140732200058831 0
[pid=20782/tid=20794] ppid=20779 vsize=14090948 memory=292884 CPUtime=1.33 cores=0,2,4,6
/proc/20782/task/20794/stat : 20794 (java) S 20779 20782 17869 0 -1 1077944384 5473 0 0 0 132 1 0 0 20 0 15 0 245925413 14429130752 73221 33554432000 4194304 4196468 140732200052128 140040039127024 140040704723586 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20500480 140732200055881 140732200056073 140732200056073 140732200058831 0
[pid=20782/tid=20795] ppid=20779 vsize=14090948 memory=292884 CPUtime=0.81 cores=0,2,4,6
/proc/20782/task/20795/stat : 20795 (java) S 20779 20782 17869 0 -1 1077944384 8086 0 0 0 80 1 0 0 20 0 15 0 245925413 14429130752 73221 33554432000 4194304 4196468 140732200052128 140040038074736 140040704723586 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20500480 140732200055881 140732200056073 140732200056073 140732200058831 0
[pid=20782/tid=20796] ppid=20779 vsize=14090948 memory=1808 CPUtime=0 cores=0,2,4,6
/proc/20782/task/20796/stat : 20796 (java) S 20779 20782 17869 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245925413 14429130752 73221 33554432000 4194304 4196468 140732200052128 140040037022176 140040704722645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20500480 140732200055881 140732200056073 140732200056073 140732200058831 0
[pid=20782/tid=20797] ppid=20779 vsize=14090948 memory=1020 CPUtime=0.76 cores=0,2,4,6
/proc/20782/task/20797/stat : 20797 (java) S 20779 20782 17869 0 -1 1077944384 752 0 0 0 36 40 0 0 20 0 15 0 245925413 14429130752 73221 33554432000 4194304 4196468 140732200052128 140040035969968 140040704723586 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20500480 140732200055881 140732200056073 140732200056073 140732200058831 0
Current children cumulated CPU time: 2455.38 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 292884 KiB
[startup+2502.3 s]
/proc/loadavg: 1.39 1.34 1.41 3/215 20978
/proc/meminfo: memFree=23631072/32770624 swapFree=67108172/67108860
[pid=20782] ppid=20779 vsize=14090948 memory=294932 CPUtime=2515.63 cores=0,2,4,6
/proc/20782/stat : 20782 (java) S 20779 20782 17869 0 -1 1077944320 101490 0 0 0 251427 136 0 0 20 0 15 0 245925407 14429130752 73733 33554432000 4194304 4196468 140732200052128 140732200034672 140040704712439 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20500480 140732200055881 140732200056073 140732200056073 140732200058831 0
/proc/20782/statm: 3522737 73733 3585 1 0 3484809 0
[pid=20782/tid=20784] ppid=20779 vsize=14090948 memory=294932 CPUtime=2493.47 cores=0,2,4,6
/proc/20782/task/20784/stat : 20784 (java) R 20779 20782 17869 0 -1 4202560 47739 0 0 0 249332 15 0 0 20 0 15 0 245925408 14429130752 73733 33554432000 4194304 4196468 140732200052128 140040708950640 140040320550403 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20500480 140732200055881 140732200056073 140732200056073 140732200058831 0
[pid=20782/tid=20785] ppid=20779 vsize=14090948 memory=294932 CPUtime=3.66 cores=0,2,4,6
/proc/20782/task/20785/stat : 20785 (java) S 20779 20782 17869 0 -1 1077944384 4631 0 0 0 344 22 0 0 20 0 15 0 245925408 14429130752 73733 33554432000 4194304 4196468 140732200052128 140040634800528 140040704722645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20500480 140732200055881 140732200056073 140732200056073 140732200058831 0
[pid=20782/tid=20786] ppid=20779 vsize=14090948 memory=294932 CPUtime=3.66 cores=0,2,4,6
/proc/20782/task/20786/stat : 20786 (java) S 20779 20782 17869 0 -1 1077944384 7249 0 0 0 343 23 0 0 20 0 15 0 245925409 14429130752 73733 33554432000 4194304 4196468 140732200052128 140040633747728 140040704722645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20500480 140732200055881 140732200056073 140732200056073 140732200058831 0
[pid=20782/tid=20787] ppid=20779 vsize=14090948 memory=66796 CPUtime=3.66 cores=0,2,4,6
/proc/20782/task/20787/stat : 20787 (java) S 20779 20782 17869 0 -1 1077944384 5618 0 0 0 342 24 0 0 20 0 15 0 245925409 14429130752 73733 33554432000 4194304 4196468 140732200052128 140040632695440 140040704722645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20500480 140732200055881 140732200056073 140732200056073 140732200058831 0
[pid=20782/tid=20788] ppid=20779 vsize=14090948 memory=2148 CPUtime=3.67 cores=0,2,4,6
/proc/20782/task/20788/stat : 20788 (java) S 20779 20782 17869 0 -1 1077944384 6278 0 0 0 347 20 0 0 20 0 15 0 245925409 14429130752 73733 33554432000 4194304 4196468 140732200052128 140040631642640 140040704722645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20500480 140732200055881 140732200056073 140732200056073 140732200058831 0
[pid=20782/tid=20789] ppid=20779 vsize=14090948 memory=294932 CPUtime=3.1 cores=0,2,4,6
/proc/20782/task/20789/stat : 20789 (java) S 20779 20782 17869 0 -1 1077944384 7136 0 0 0 292 18 0 0 20 0 15 0 245925410 14429130752 73733 33554432000 4194304 4196468 140732200052128 140040044391024 140040704723586 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20500480 140732200055881 140732200056073 140732200056073 140732200058831 0
[pid=20782/tid=20790] ppid=20779 vsize=14090948 memory=294932 CPUtime=0 cores=0,2,4,6
/proc/20782/task/20790/stat : 20790 (java) S 20779 20782 17869 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 245925410 14429130752 73733 33554432000 4194304 4196468 140732200052128 140040043337056 140040704722645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20500480 140732200055881 140732200056073 140732200056073 140732200058831 0
[pid=20782/tid=20791] ppid=20779 vsize=14090948 memory=294932 CPUtime=0 cores=0,2,4,6
/proc/20782/task/20791/stat : 20791 (java) S 20779 20782 17869 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 245925411 14429130752 73733 33554432000 4194304 4196468 140732200052128 140040042284672 140040704722645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20500480 140732200055881 140732200056073 140732200056073 140732200058831 0
[pid=20782/tid=20792] ppid=20779 vsize=14090948 memory=294932 CPUtime=0 cores=0,2,4,6
/proc/20782/task/20792/stat : 20792 (java) S 20779 20782 17869 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245925413 14429130752 73733 33554432000 4194304 4196468 140732200052128 140040041232976 140040704731035 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20500480 140732200055881 140732200056073 140732200056073 140732200058831 0
[pid=20782/tid=20793] ppid=20779 vsize=14090948 memory=294932 CPUtime=1.37 cores=0,2,4,6
/proc/20782/task/20793/stat : 20793 (java) S 20779 20782 17869 0 -1 1077944384 7074 0 0 0 135 2 0 0 20 0 15 0 245925413 14429130752 73733 33554432000 4194304 4196468 140732200052128 140040040179824 140040704723586 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20500480 140732200055881 140732200056073 140732200056073 140732200058831 0
[pid=20782/tid=20794] ppid=20779 vsize=14090948 memory=294932 CPUtime=1.33 cores=0,2,4,6
/proc/20782/task/20794/stat : 20794 (java) S 20779 20782 17869 0 -1 1077944384 5476 0 0 0 132 1 0 0 20 0 15 0 245925413 14429130752 73733 33554432000 4194304 4196468 140732200052128 140040039127024 140040704723586 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20500480 140732200055881 140732200056073 140732200056073 140732200058831 0
[pid=20782/tid=20795] ppid=20779 vsize=14090948 memory=6791534058613427641 CPUtime=0.81 cores=0,2,4,6
/proc/20782/task/20795/stat : 20795 (java) S 20779 20782 17869 0 -1 1077944384 8088 0 0 0 80 1 0 0 20 0 15 0 245925413 14429130752 73733 33554432000 4194304 4196468 140732200052128 140040038074736 140040704723586 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20500480 140732200055881 140732200056073 140732200056073 140732200058831 0
[pid=20782/tid=20796] ppid=20779 vsize=14090948 memory=1136 CPUtime=0 cores=0,2,4,6
/proc/20782/task/20796/stat : 20796 (java) S 20779 20782 17869 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245925413 14429130752 73733 33554432000 4194304 4196468 140732200052128 140040037022176 140040704722645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20500480 140732200055881 140732200056073 140732200056073 140732200058831 0
[pid=20782/tid=20797] ppid=20779 vsize=14090948 memory=1196 CPUtime=0.79 cores=0,2,4,6
/proc/20782/task/20797/stat : 20797 (java) S 20779 20782 17869 0 -1 1077944384 767 0 0 0 37 42 0 0 20 0 15 0 245925413 14429130752 73733 33554432000 4194304 4196468 140732200052128 140040035969968 140040704723586 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20500480 140732200055881 140732200056073 140732200056073 140732200058831 0
Current children cumulated CPU time: 2515.63 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 294932 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2506.7 s]
/proc/loadavg: 1.44 1.35 1.41 3/215 20978
/proc/meminfo: memFree=23630948/32770624 swapFree=67108172/67108860
[pid=20782] ppid=20779 vsize=14090948 memory=294932 CPUtime=2520.05 cores=0,2,4,6
/proc/20782/stat : 20782 (java) S 20779 20782 17869 0 -1 1077944320 101498 0 0 0 251869 136 0 0 20 0 15 0 245925407 14429130752 73733 33554432000 4194304 4196468 140732200052128 140732200034672 140040704712439 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20500480 140732200055881 140732200056073 140732200056073 140732200058831 0
/proc/20782/statm: 3522737 73733 3585 1 0 3484809 0
[pid=20782/tid=20784] ppid=20779 vsize=14090948 memory=294932 CPUtime=2497.86 cores=0,2,4,6
/proc/20782/task/20784/stat : 20784 (java) R 20779 20782 17869 0 -1 4202560 47747 0 0 0 249771 15 0 0 20 0 15 0 245925408 14429130752 73733 33554432000 4194304 4196468 140732200052128 140040708950512 140040320515968 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20500480 140732200055881 140732200056073 140732200056073 140732200058831 0
[pid=20782/tid=20785] ppid=20779 vsize=14090948 memory=294932 CPUtime=3.67 cores=0,2,4,6
/proc/20782/task/20785/stat : 20785 (java) S 20779 20782 17869 0 -1 1077944384 4631 0 0 0 345 22 0 0 20 0 15 0 245925408 14429130752 73733 33554432000 4194304 4196468 140732200052128 140040634800528 140040704722645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20500480 140732200055881 140732200056073 140732200056073 140732200058831 0
[pid=20782/tid=20786] ppid=20779 vsize=14090948 memory=294932 CPUtime=3.67 cores=0,2,4,6
/proc/20782/task/20786/stat : 20786 (java) S 20779 20782 17869 0 -1 1077944384 7249 0 0 0 344 23 0 0 20 0 15 0 245925409 14429130752 73733 33554432000 4194304 4196468 140732200052128 140040633747728 140040704722645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20500480 140732200055881 140732200056073 140732200056073 140732200058831 0
[pid=20782/tid=20787] ppid=20779 vsize=14090948 memory=294932 CPUtime=3.67 cores=0,2,4,6
/proc/20782/task/20787/stat : 20787 (java) S 20779 20782 17869 0 -1 1077944384 5618 0 0 0 343 24 0 0 20 0 15 0 245925409 14429130752 73733 33554432000 4194304 4196468 140732200052128 140040632695440 140040704722645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20500480 140732200055881 140732200056073 140732200056073 140732200058831 0
[pid=20782/tid=20788] ppid=20779 vsize=14090948 memory=294932 CPUtime=3.67 cores=0,2,4,6
/proc/20782/task/20788/stat : 20788 (java) S 20779 20782 17869 0 -1 1077944384 6278 0 0 0 347 20 0 0 20 0 15 0 245925409 14429130752 73733 33554432000 4194304 4196468 140732200052128 140040631642640 140040704722645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20500480 140732200055881 140732200056073 140732200056073 140732200058831 0
[pid=20782/tid=20789] ppid=20779 vsize=14090948 memory=294932 CPUtime=3.1 cores=0,2,4,6
/proc/20782/task/20789/stat : 20789 (java) S 20779 20782 17869 0 -1 1077944384 7136 0 0 0 292 18 0 0 20 0 15 0 245925410 14429130752 73733 33554432000 4194304 4196468 140732200052128 140040044391024 140040704723586 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20500480 140732200055881 140732200056073 140732200056073 140732200058831 0
[pid=20782/tid=20790] ppid=20779 vsize=14090948 memory=294932 CPUtime=0 cores=0,2,4,6
/proc/20782/task/20790/stat : 20790 (java) S 20779 20782 17869 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 245925410 14429130752 73733 33554432000 4194304 4196468 140732200052128 140040043337056 140040704722645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20500480 140732200055881 140732200056073 140732200056073 140732200058831 0
[pid=20782/tid=20791] ppid=20779 vsize=14090948 memory=294932 CPUtime=0 cores=0,2,4,6
/proc/20782/task/20791/stat : 20791 (java) S 20779 20782 17869 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 245925411 14429130752 73733 33554432000 4194304 4196468 140732200052128 140040042284672 140040704722645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20500480 140732200055881 140732200056073 140732200056073 140732200058831 0
[pid=20782/tid=20792] ppid=20779 vsize=14090948 memory=66796 CPUtime=0 cores=0,2,4,6
/proc/20782/task/20792/stat : 20792 (java) S 20779 20782 17869 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245925413 14429130752 73733 33554432000 4194304 4196468 140732200052128 140040041232976 140040704731035 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20500480 140732200055881 140732200056073 140732200056073 140732200058831 0
[pid=20782/tid=20793] ppid=20779 vsize=14090948 memory=2148 CPUtime=1.37 cores=0,2,4,6
/proc/20782/task/20793/stat : 20793 (java) S 20779 20782 17869 0 -1 1077944384 7074 0 0 0 135 2 0 0 20 0 15 0 245925413 14429130752 73733 33554432000 4194304 4196468 140732200052128 140040040179824 140040704723586 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20500480 140732200055881 140732200056073 140732200056073 140732200058831 0
[pid=20782/tid=20794] ppid=20779 vsize=14090948 memory=294932 CPUtime=1.33 cores=0,2,4,6
/proc/20782/task/20794/stat : 20794 (java) S 20779 20782 17869 0 -1 1077944384 5476 0 0 0 132 1 0 0 20 0 15 0 245925413 14429130752 73733 33554432000 4194304 4196468 140732200052128 140040039127024 140040704723586 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20500480 140732200055881 140732200056073 140732200056073 140732200058831 0
[pid=20782/tid=20795] ppid=20779 vsize=14090948 memory=1136 CPUtime=0.81 cores=0,2,4,6
/proc/20782/task/20795/stat : 20795 (java) S 20779 20782 17869 0 -1 1077944384 8088 0 0 0 80 1 0 0 20 0 15 0 245925413 14429130752 73733 33554432000 4194304 4196468 140732200052128 140040038074736 140040704723586 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20500480 140732200055881 140732200056073 140732200056073 140732200058831 0
[pid=20782/tid=20796] ppid=20779 vsize=14090948 memory=294932 CPUtime=0 cores=0,2,4,6
/proc/20782/task/20796/stat : 20796 (java) S 20779 20782 17869 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245925413 14429130752 73733 33554432000 4194304 4196468 140732200052128 140040037022176 140040704722645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20500480 140732200055881 140732200056073 140732200056073 140732200058831 0
[pid=20782/tid=20797] ppid=20779 vsize=14090948 memory=294932 CPUtime=0.79 cores=0,2,4,6
/proc/20782/task/20797/stat : 20797 (java) S 20779 20782 17869 0 -1 1077944384 767 0 0 0 37 42 0 0 20 0 15 0 245925413 14429130752 73733 33554432000 4194304 4196468 140732200052128 140040035969968 140040704723586 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20500480 140732200055881 140732200056073 140732200056073 140732200058831 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 294932 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2506.71 s]
# the end of solver process 20782 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.7 s, system=1.36656 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2506.7 s]
/proc/loadavg: 1.44 1.35 1.41 3/215 20978
/proc/meminfo: memFree=23630948/32770624 swapFree=67108172/67108860
[pid=20782] ppid=20779 vsize=14090948 memory=294932 CPUtime=2520.05 cores=0,2,4,6
/proc/20782/stat : 20782 (java) S 20779 20782 17869 0 -1 1077944320 101498 0 0 0 251869 136 0 0 20 0 15 0 245925407 14429130752 73733 33554432000 4194304 4196468 140732200052128 140732200034672 140040704712439 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20500480 140732200055881 140732200056073 140732200056073 140732200058831 0
/proc/20782/statm: 3522737 73733 3585 1 0 3484809 0
[pid=20782/tid=20784] ppid=20779 vsize=14090948 memory=294932 CPUtime=2497.86 cores=0,2,4,6
/proc/20782/task/20784/stat : 20784 (java) R 20779 20782 17869 0 -1 4202560 47747 0 0 0 249771 15 0 0 20 0 15 0 245925408 14429130752 73733 33554432000 4194304 4196468 140732200052128 140040708950512 140040320515968 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20500480 140732200055881 140732200056073 140732200056073 140732200058831 0
[pid=20782/tid=20785] ppid=20779 vsize=14090948 memory=294932 CPUtime=3.67 cores=0,2,4,6
/proc/20782/task/20785/stat : 20785 (java) S 20779 20782 17869 0 -1 1077944384 4631 0 0 0 345 22 0 0 20 0 15 0 245925408 14429130752 73733 33554432000 4194304 4196468 140732200052128 140040634800528 140040704722645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20500480 140732200055881 140732200056073 140732200056073 140732200058831 0
[pid=20782/tid=20786] ppid=20779 vsize=14090948 memory=294932 CPUtime=3.67 cores=0,2,4,6
/proc/20782/task/20786/stat : 20786 (java) S 20779 20782 17869 0 -1 1077944384 7249 0 0 0 344 23 0 0 20 0 15 0 245925409 14429130752 73733 33554432000 4194304 4196468 140732200052128 140040633747728 140040704722645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20500480 140732200055881 140732200056073 140732200056073 140732200058831 0
[pid=20782/tid=20787] ppid=20779 vsize=14090948 memory=294932 CPUtime=3.67 cores=0,2,4,6
/proc/20782/task/20787/stat : 20787 (java) S 20779 20782 17869 0 -1 1077944384 5618 0 0 0 343 24 0 0 20 0 15 0 245925409 14429130752 73733 33554432000 4194304 4196468 140732200052128 140040632695440 140040704722645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20500480 140732200055881 140732200056073 140732200056073 140732200058831 0
[pid=20782/tid=20788] ppid=20779 vsize=14090948 memory=294932 CPUtime=3.67 cores=0,2,4,6
/proc/20782/task/20788/stat : 20788 (java) S 20779 20782 17869 0 -1 1077944384 6278 0 0 0 347 20 0 0 20 0 15 0 245925409 14429130752 73733 33554432000 4194304 4196468 140732200052128 140040631642640 140040704722645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20500480 140732200055881 140732200056073 140732200056073 140732200058831 0
[pid=20782/tid=20789] ppid=20779 vsize=14090948 memory=294932 CPUtime=3.1 cores=0,2,4,6
/proc/20782/task/20789/stat : 20789 (java) S 20779 20782 17869 0 -1 1077944384 7136 0 0 0 292 18 0 0 20 0 15 0 245925410 14429130752 73733 33554432000 4194304 4196468 140732200052128 140040044391024 140040704723586 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20500480 140732200055881 140732200056073 140732200056073 140732200058831 0
[pid=20782/tid=20790] ppid=20779 vsize=14090948 memory=294932 CPUtime=0 cores=0,2,4,6
/proc/20782/task/20790/stat : 20790 (java) S 20779 20782 17869 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 245925410 14429130752 73733 33554432000 4194304 4196468 140732200052128 140040043337056 140040704722645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20500480 140732200055881 140732200056073 140732200056073 140732200058831 0
[pid=20782/tid=20791] ppid=20779 vsize=14090948 memory=294932 CPUtime=0 cores=0,2,4,6
/proc/20782/task/20791/stat : 20791 (java) S 20779 20782 17869 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 245925411 14429130752 73733 33554432000 4194304 4196468 140732200052128 140040042284672 140040704722645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20500480 140732200055881 140732200056073 140732200056073 140732200058831 0
[pid=20782/tid=20792] ppid=20779 vsize=14090948 memory=66796 CPUtime=0 cores=0,2,4,6
/proc/20782/task/20792/stat : 20792 (java) S 20779 20782 17869 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245925413 14429130752 73733 33554432000 4194304 4196468 140732200052128 140040041232976 140040704731035 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20500480 140732200055881 140732200056073 140732200056073 140732200058831 0
[pid=20782/tid=20793] ppid=20779 vsize=14090948 memory=2148 CPUtime=1.37 cores=0,2,4,6
/proc/20782/task/20793/stat : 20793 (java) S 20779 20782 17869 0 -1 1077944384 7074 0 0 0 135 2 0 0 20 0 15 0 245925413 14429130752 73733 33554432000 4194304 4196468 140732200052128 140040040179824 140040704723586 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20500480 140732200055881 140732200056073 140732200056073 140732200058831 0
[pid=20782/tid=20794] ppid=20779 vsize=14090948 memory=294932 CPUtime=1.33 cores=0,2,4,6
/proc/20782/task/20794/stat : 20794 (java) S 20779 20782 17869 0 -1 1077944384 5476 0 0 0 132 1 0 0 20 0 15 0 245925413 14429130752 73733 33554432000 4194304 4196468 140732200052128 140040039127024 140040704723586 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20500480 140732200055881 140732200056073 140732200056073 140732200058831 0
[pid=20782/tid=20795] ppid=20779 vsize=14090948 memory=1136 CPUtime=0.81 cores=0,2,4,6
/proc/20782/task/20795/stat : 20795 (java) S 20779 20782 17869 0 -1 1077944384 8088 0 0 0 80 1 0 0 20 0 15 0 245925413 14429130752 73733 33554432000 4194304 4196468 140732200052128 140040038074736 140040704723586 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20500480 140732200055881 140732200056073 140732200056073 140732200058831 0
[pid=20782/tid=20796] ppid=20779 vsize=14090948 memory=294932 CPUtime=0 cores=0,2,4,6
/proc/20782/task/20796/stat : 20796 (java) S 20779 20782 17869 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245925413 14429130752 73733 33554432000 4194304 4196468 140732200052128 140040037022176 140040704722645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20500480 140732200055881 140732200056073 140732200056073 140732200058831 0
[pid=20782/tid=20797] ppid=20779 vsize=14090948 memory=294932 CPUtime=0.79 cores=0,2,4,6
/proc/20782/task/20797/stat : 20797 (java) S 20779 20782 17869 0 -1 1077944384 767 0 0 0 37 42 0 0 20 0 15 0 245925413 14429130752 73733 33554432000 4194304 4196468 140732200052128 140040035969968 140040704723586 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20500480 140732200055881 140732200056073 140732200056073 140732200058831 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 294932 KiB
Child status: 143
Real time (s): 2506.71
CPU time (s): 2520.07
CPU user time (s): 2518.7
CPU system time (s): 1.36656
CPU usage (%): 100.533
Max. virtual memory (cumulated for all children) (KiB): 14090948
Max. memory (cumulated for all children) (KiB): 294932
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.7
system time used= 1.36656
maximum resident set size= 295492
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 101764
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2824
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 130616
involuntary context switches= 6586
# summary of solver processes directly reported to runsolver:
# pid: 20782
# total CPU time (s): 2520.07
# total CPU user time (s): 2518.7
# total CPU system time (s): 1.36656
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.4615 second user time and 25.503 second system time
The end