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 (9861 MiB free)
memory of node 1: 16384 MiB (11836 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4308543-1534273084/watcher-4308543-1534273084 -o /tmp/evaluation-result-4308543-1534273084/solver-4308543-1534273084 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1534270601-15611 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 220315090 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4308543-1534273084.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=15892, runsolver pid=15889
[startup+0.100057 s]*
/proc/loadavg: 1.80 1.74 1.62 4/215 15907
/proc/meminfo: memFree=22200592/32770624 swapFree=67108688/67108860
[pid=15892] ppid=15889 vsize=14082736 memory=32888 CPUtime=0.12 cores=0,2,4,6
/proc/15892/stat : 15892 (java) S 15889 15892 13692 0 -1 1077944320 7159 0 0 0 10 2 0 0 20 0 15 0 244871313 14420721664 8222 33554432000 4194304 4196468 140722391950256 140722391932800 140065292021495 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 37797888 140722391958613 140722391958793 140722391958793 140722391961551 0
/proc/15892/statm: 3520684 8222 3136 1 0 3482761 0
[pid=15892/tid=15894] ppid=15889 vsize=14082736 memory=-6966721798027829888 CPUtime=0.09 cores=0,2,4,6
/proc/15892/task/15894/stat : 15894 (java) R 15889 15892 13692 0 -1 4202560 5271 0 0 0 8 1 0 0 20 0 15 0 244871314 14420721664 8288 33554432000 4194304 4196468 140722391950256 140065296225280 140065272298320 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37797888 140722391958613 140722391958793 140722391958793 140722391961551 0
[pid=15892/tid=15895] ppid=15889 vsize=14082736 memory=5793854967232313785 CPUtime=0 cores=0,2,4,6
/proc/15892/task/15895/stat : 15895 (java) S 15889 15892 13692 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 244871315 14420721664 8288 33554432000 4194304 4196468 140722391950256 140064887601808 140065292031701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37797888 140722391958613 140722391958793 140722391958793 140722391961551 0
[pid=15892/tid=15896] ppid=15889 vsize=14082736 memory=139716222420608 CPUtime=0 cores=0,2,4,6
/proc/15892/task/15896/stat : 15896 (java) S 15889 15892 13692 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 244871315 14420721664 8288 33554432000 4194304 4196468 140722391950256 140064886549008 140065292031701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37797888 140722391958613 140722391958793 140722391958793 140722391961551 0
[pid=15892/tid=15897] ppid=15889 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15892/task/15897/stat : 15897 (java) S 15889 15892 13692 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 244871315 14420721664 8288 33554432000 4194304 4196468 140722391950256 140064885496208 140065292031701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37797888 140722391958613 140722391958793 140722391958793 140722391961551 0
[pid=15892/tid=15898] ppid=15889 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15892/task/15898/stat : 15898 (java) S 15889 15892 13692 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 244871315 14420721664 8288 33554432000 4194304 4196468 140722391950256 140064884443408 140065292031701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37797888 140722391958613 140722391958793 140722391958793 140722391961551 0
[pid=15892/tid=15899] ppid=15889 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15892/task/15899/stat : 15899 (java) S 15889 15892 13692 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 244871316 14420721664 8288 33554432000 4194304 4196468 140722391950256 140064272358256 140065292032642 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37797888 140722391958613 140722391958793 140722391958793 140722391961551 0
[pid=15892/tid=15900] ppid=15889 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15892/task/15900/stat : 15900 (java) S 15889 15892 13692 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 244871316 14420721664 8288 33554432000 4194304 4196468 140722391950256 140064271304224 140065292031701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37797888 140722391958613 140722391958793 140722391958793 140722391961551 0
[pid=15892/tid=15901] ppid=15889 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15892/task/15901/stat : 15901 (java) S 15889 15892 13692 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 244871317 14420721664 8288 33554432000 4194304 4196468 140722391950256 140064270251376 140065292031701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37797888 140722391958613 140722391958793 140722391958793 140722391961551 0
[pid=15892/tid=15902] ppid=15889 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15892/task/15902/stat : 15902 (java) S 15889 15892 13692 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 244871319 14420721664 8288 33554432000 4194304 4196468 140722391950256 140064269199696 140065292040091 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37797888 140722391958613 140722391958793 140722391958793 140722391961551 0
[pid=15892/tid=15903] ppid=15889 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15892/task/15903/stat : 15903 (java) S 15889 15892 13692 0 -1 1077944384 318 0 0 0 0 0 0 0 20 0 15 0 244871319 14420721664 8288 33554432000 4194304 4196468 140722391950256 140064268147056 140065292032642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37797888 140722391958613 140722391958793 140722391958793 140722391961551 0
[pid=15892/tid=15904] ppid=15889 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15892/task/15904/stat : 15904 (java) S 15889 15892 13692 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 244871319 14420721664 8288 33554432000 4194304 4196468 140722391950256 140064267094256 140065292032642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37797888 140722391958613 140722391958793 140722391958793 140722391961551 0
[pid=15892/tid=15905] ppid=15889 vsize=14082736 memory=139716222420608 CPUtime=0.01 cores=0,2,4,6
/proc/15892/task/15905/stat : 15905 (java) S 15889 15892 13692 0 -1 1077944384 251 0 0 0 1 0 0 0 20 0 15 0 244871319 14420721664 8354 33554432000 4194304 4196468 140722391950256 140064266041456 140065292032642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37797888 140722391958613 140722391958793 140722391958793 140722391961551 0
[pid=15892/tid=15906] ppid=15889 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15892/task/15906/stat : 15906 (java) S 15889 15892 13692 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 244871319 14420721664 8354 33554432000 4194304 4196468 140722391950256 140064264988896 140065292031701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37797888 140722391958613 140722391958793 140722391958793 140722391961551 0
[pid=15892/tid=15907] ppid=15889 vsize=14082736 memory=139716222420608 CPUtime=0 cores=0,2,4,6
/proc/15892/task/15907/stat : 15907 (java) S 15889 15892 13692 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 244871320 14420721664 8354 33554432000 4194304 4196468 140722391950256 140064263937200 140065292032642 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37797888 140722391958613 140722391958793 140722391958793 140722391961551 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 32888 KiB
[startup+0.210527 s]*
/proc/loadavg: 1.80 1.74 1.62 4/215 15907
/proc/meminfo: memFree=22185072/32770624 swapFree=67108688/67108860
[pid=15892] ppid=15889 vsize=14082736 memory=47608 CPUtime=0.29 cores=0,2,4,6
/proc/15892/stat : 15892 (java) S 15889 15892 13692 0 -1 1077944320 10488 0 0 0 27 2 0 0 20 0 15 0 244871313 14420721664 11902 33554432000 4194304 4196468 140722391950256 140722391932800 140065292021495 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 37797888 140722391958613 140722391958793 140722391958793 140722391961551 0
/proc/15892/statm: 3520684 11902 3404 1 0 3482761 0
[pid=15892/tid=15894] ppid=15889 vsize=14082736 memory=6735269665583770266 CPUtime=0.19 cores=0,2,4,6
/proc/15892/task/15894/stat : 15894 (java) S 15889 15892 13692 0 -1 1077944384 8123 0 0 0 17 2 0 0 20 0 15 0 244871314 14420721664 11902 33554432000 4194304 4196468 140722391950256 140065296249040 140065292031701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37797888 140722391958613 140722391958793 140722391958793 140722391961551 0
[pid=15892/tid=15895] ppid=15889 vsize=14082736 memory=4211973442427211146 CPUtime=0 cores=0,2,4,6
/proc/15892/task/15895/stat : 15895 (java) S 15889 15892 13692 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 244871315 14420721664 11902 33554432000 4194304 4196468 140722391950256 140064887601808 140065292031701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37797888 140722391958613 140722391958793 140722391958793 140722391961551 0
[pid=15892/tid=15896] ppid=15889 vsize=14082736 memory=139716222420608 CPUtime=0 cores=0,2,4,6
/proc/15892/task/15896/stat : 15896 (java) S 15889 15892 13692 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 244871315 14420721664 11902 33554432000 4194304 4196468 140722391950256 140064886549008 140065292031701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37797888 140722391958613 140722391958793 140722391958793 140722391961551 0
[pid=15892/tid=15897] ppid=15889 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15892/task/15897/stat : 15897 (java) S 15889 15892 13692 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 244871315 14420721664 11902 33554432000 4194304 4196468 140722391950256 140064885496208 140065292031701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37797888 140722391958613 140722391958793 140722391958793 140722391961551 0
[pid=15892/tid=15898] ppid=15889 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15892/task/15898/stat : 15898 (java) S 15889 15892 13692 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 244871315 14420721664 11902 33554432000 4194304 4196468 140722391950256 140064884443408 140065292031701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37797888 140722391958613 140722391958793 140722391958793 140722391961551 0
[pid=15892/tid=15899] ppid=15889 vsize=14082736 memory=139716222420608 CPUtime=0 cores=0,2,4,6
/proc/15892/task/15899/stat : 15899 (java) S 15889 15892 13692 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 244871316 14420721664 11902 33554432000 4194304 4196468 140722391950256 140064272358256 140065292032642 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37797888 140722391958613 140722391958793 140722391958793 140722391961551 0
[pid=15892/tid=15900] ppid=15889 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15892/task/15900/stat : 15900 (java) S 15889 15892 13692 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 244871316 14420721664 11902 33554432000 4194304 4196468 140722391950256 140064271304224 140065292031701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37797888 140722391958613 140722391958793 140722391958793 140722391961551 0
[pid=15892/tid=15901] ppid=15889 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15892/task/15901/stat : 15901 (java) S 15889 15892 13692 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 244871317 14420721664 11902 33554432000 4194304 4196468 140722391950256 140064270251376 140065292031701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37797888 140722391958613 140722391958793 140722391958793 140722391961551 0
[pid=15892/tid=15902] ppid=15889 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15892/task/15902/stat : 15902 (java) S 15889 15892 13692 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 244871319 14420721664 11902 33554432000 4194304 4196468 140722391950256 140064269199696 140065292040091 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37797888 140722391958613 140722391958793 140722391958793 140722391961551 0
[pid=15892/tid=15903] ppid=15889 vsize=14082736 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/15892/task/15903/stat : 15903 (java) R 15889 15892 13692 0 -1 4202560 468 0 0 0 2 0 0 0 20 0 15 0 244871319 14420721664 11902 33554432000 4194304 4196468 140722391950256 140064268147056 140065273545735 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37797888 140722391958613 140722391958793 140722391958793 140722391961551 0
[pid=15892/tid=15904] ppid=15889 vsize=14082736 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/15892/task/15904/stat : 15904 (java) R 15889 15892 13692 0 -1 1077944384 145 0 0 0 1 0 0 0 20 0 15 0 244871319 14420721664 11902 33554432000 4194304 4196468 140722391950256 140064267094256 140065292032642 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37797888 140722391958613 140722391958793 140722391958793 140722391961551 0
[pid=15892/tid=15905] ppid=15889 vsize=14082736 memory=139716222420608 CPUtime=0.05 cores=0,2,4,6
/proc/15892/task/15905/stat : 15905 (java) S 15889 15892 13692 0 -1 1077944384 369 0 0 0 5 0 0 0 20 0 15 0 244871319 14420721664 11902 33554432000 4194304 4196468 140722391950256 140064266041456 140065292032642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37797888 140722391958613 140722391958793 140722391958793 140722391961551 0
[pid=15892/tid=15906] ppid=15889 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15892/task/15906/stat : 15906 (java) S 15889 15892 13692 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 244871319 14420721664 11902 33554432000 4194304 4196468 140722391950256 140064264988896 140065292031701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37797888 140722391958613 140722391958793 140722391958793 140722391961551 0
[pid=15892/tid=15907] ppid=15889 vsize=14082736 memory=139716222420608 CPUtime=0 cores=0,2,4,6
/proc/15892/task/15907/stat : 15907 (java) S 15889 15892 13692 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 244871320 14420721664 11902 33554432000 4194304 4196468 140722391950256 140064263937200 140065292032642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37797888 140722391958613 140722391958793 140722391958793 140722391961551 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 47608 KiB
[startup+0.310412 s]*
/proc/loadavg: 1.80 1.74 1.62 3/215 15907
/proc/meminfo: memFree=22180760/32770624 swapFree=67108688/67108860
[pid=15892] ppid=15889 vsize=14082736 memory=51372 CPUtime=0.43 cores=0,2,4,6
/proc/15892/stat : 15892 (java) S 15889 15892 13692 0 -1 1077944320 10939 0 0 0 40 3 0 0 20 0 15 0 244871313 14420721664 12843 33554432000 4194304 4196468 140722391950256 140722391932800 140065292021495 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 37797888 140722391958613 140722391958793 140722391958793 140722391961551 0
/proc/15892/statm: 3520684 12843 3407 1 0 3482761 0
[pid=15892/tid=15894] ppid=15889 vsize=14082736 memory=6735269665583770266 CPUtime=0.29 cores=0,2,4,6
/proc/15892/task/15894/stat : 15894 (java) R 15889 15892 13692 0 -1 4202560 8483 0 0 0 27 2 0 0 20 0 15 0 244871314 14420721664 12843 33554432000 4194304 4196468 140722391950256 140065296240728 140065272297223 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37797888 140722391958613 140722391958793 140722391958793 140722391961551 0
[pid=15892/tid=15895] ppid=15889 vsize=14082736 memory=4211973442427211146 CPUtime=0 cores=0,2,4,6
/proc/15892/task/15895/stat : 15895 (java) S 15889 15892 13692 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 244871315 14420721664 12843 33554432000 4194304 4196468 140722391950256 140064887601808 140065292031701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37797888 140722391958613 140722391958793 140722391958793 140722391961551 0
[pid=15892/tid=15896] ppid=15889 vsize=14082736 memory=279432313977216 CPUtime=0 cores=0,2,4,6
/proc/15892/task/15896/stat : 15896 (java) S 15889 15892 13692 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 244871315 14420721664 12843 33554432000 4194304 4196468 140722391950256 140064886549008 140065292031701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37797888 140722391958613 140722391958793 140722391958793 140722391961551 0
[pid=15892/tid=15897] ppid=15889 vsize=14082736 memory=279432183140864 CPUtime=0 cores=0,2,4,6
/proc/15892/task/15897/stat : 15897 (java) S 15889 15892 13692 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 244871315 14420721664 12843 33554432000 4194304 4196468 140722391950256 140064885496208 140065292031701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37797888 140722391958613 140722391958793 140722391958793 140722391961551 0
[pid=15892/tid=15898] ppid=15889 vsize=14082736 memory=139716091556623 CPUtime=0 cores=0,2,4,6
/proc/15892/task/15898/stat : 15898 (java) S 15889 15892 13692 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 244871315 14420721664 12843 33554432000 4194304 4196468 140722391950256 140064884443408 140065292031701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37797888 140722391958613 140722391958793 140722391958793 140722391961551 0
[pid=15892/tid=15899] ppid=15889 vsize=14082736 memory=279432313984128 CPUtime=0 cores=0,2,4,6
/proc/15892/task/15899/stat : 15899 (java) S 15889 15892 13692 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 244871316 14420721664 12843 33554432000 4194304 4196468 140722391950256 140064272358256 140065292032642 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37797888 140722391958613 140722391958793 140722391958793 140722391961551 0
[pid=15892/tid=15900] ppid=15889 vsize=14082736 memory=139716091561231 CPUtime=0 cores=0,2,4,6
/proc/15892/task/15900/stat : 15900 (java) S 15889 15892 13692 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 244871316 14420721664 12843 33554432000 4194304 4196468 140722391950256 140064271304224 140065292031701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37797888 140722391958613 140722391958793 140722391958793 140722391961551 0
[pid=15892/tid=15901] ppid=15889 vsize=14082736 memory=139716091579147 CPUtime=0 cores=0,2,4,6
/proc/15892/task/15901/stat : 15901 (java) S 15889 15892 13692 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 244871317 14420721664 12843 33554432000 4194304 4196468 140722391950256 140064270251376 140065292031701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37797888 140722391958613 140722391958793 140722391958793 140722391961551 0
[pid=15892/tid=15902] ppid=15889 vsize=14082736 memory=139716091581452 CPUtime=0 cores=0,2,4,6
/proc/15892/task/15902/stat : 15902 (java) S 15889 15892 13692 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 244871319 14420721664 12843 33554432000 4194304 4196468 140722391950256 140064269199696 140065292040091 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37797888 140722391958613 140722391958793 140722391958793 140722391961551 0
[pid=15892/tid=15903] ppid=15889 vsize=14082736 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/15892/task/15903/stat : 15903 (java) S 15889 15892 13692 0 -1 1077944384 486 0 0 0 2 0 0 0 20 0 15 0 244871319 14420721664 12843 33554432000 4194304 4196468 140722391950256 140064268147056 140065292032642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37797888 140722391958613 140722391958793 140722391958793 140722391961551 0
[pid=15892/tid=15904] ppid=15889 vsize=14082736 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/15892/task/15904/stat : 15904 (java) S 15889 15892 13692 0 -1 1077944384 167 0 0 0 1 0 0 0 20 0 15 0 244871319 14420721664 12843 33554432000 4194304 4196468 140722391950256 140064267094256 140065292032642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37797888 140722391958613 140722391958793 140722391958793 140722391961551 0
[pid=15892/tid=15905] ppid=15889 vsize=14082736 memory=139716222420608 CPUtime=0.08 cores=0,2,4,6
/proc/15892/task/15905/stat : 15905 (java) S 15889 15892 13692 0 -1 1077944384 420 0 0 0 8 0 0 0 20 0 15 0 244871319 14420721664 12843 33554432000 4194304 4196468 140722391950256 140064266041456 140065292032642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37797888 140722391958613 140722391958793 140722391958793 140722391961551 0
[pid=15892/tid=15906] ppid=15889 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15892/task/15906/stat : 15906 (java) S 15889 15892 13692 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 244871319 14420721664 12843 33554432000 4194304 4196468 140722391950256 140064264988896 140065292031701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37797888 140722391958613 140722391958793 140722391958793 140722391961551 0
[pid=15892/tid=15907] ppid=15889 vsize=14082736 memory=139716222453496 CPUtime=0 cores=0,2,4,6
/proc/15892/task/15907/stat : 15907 (java) S 15889 15892 13692 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 244871320 14420721664 12843 33554432000 4194304 4196468 140722391950256 140064263937200 140065292032642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37797888 140722391958613 140722391958793 140722391958793 140722391961551 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 51372 KiB
[startup+0.70075 s]
/proc/loadavg: 1.80 1.74 1.62 3/215 15907
/proc/meminfo: memFree=22158996/32770624 swapFree=67108688/67108860
[pid=15892] ppid=15889 vsize=14084804 memory=89308 CPUtime=0.98 cores=0,2,4,6
/proc/15892/stat : 15892 (java) S 15889 15892 13692 0 -1 1077944320 17688 0 0 0 93 5 0 0 20 0 15 0 244871313 14422839296 22327 33554432000 4194304 4196468 140722391950256 140722391932800 140065292021495 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 37797888 140722391958613 140722391958793 140722391958793 140722391961551 0
/proc/15892/statm: 3521201 22327 3490 1 0 3483273 0
[pid=15892/tid=15894] ppid=15889 vsize=14084804 memory=56 CPUtime=0.67 cores=0,2,4,6
/proc/15892/task/15894/stat : 15894 (java) R 15889 15892 13692 0 -1 4202560 14764 0 0 0 63 4 0 0 20 0 15 0 244871314 14422839296 22327 33554432000 4194304 4196468 140722391950256 140065296245856 140065276101982 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37797888 140722391958613 140722391958793 140722391958793 140722391961551 0
[pid=15892/tid=15895] ppid=15889 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15892/task/15895/stat : 15895 (java) S 15889 15892 13692 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 244871315 14422839296 22327 33554432000 4194304 4196468 140722391950256 140064887601808 140065292031701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37797888 140722391958613 140722391958793 140722391958793 140722391961551 0
[pid=15892/tid=15896] ppid=15889 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15892/task/15896/stat : 15896 (java) S 15889 15892 13692 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 244871315 14422839296 22327 33554432000 4194304 4196468 140722391950256 140064886549008 140065292031701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37797888 140722391958613 140722391958793 140722391958793 140722391961551 0
[pid=15892/tid=15897] ppid=15889 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15892/task/15897/stat : 15897 (java) S 15889 15892 13692 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 244871315 14422839296 22327 33554432000 4194304 4196468 140722391950256 140064885496208 140065292031701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37797888 140722391958613 140722391958793 140722391958793 140722391961551 0
[pid=15892/tid=15898] ppid=15889 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15892/task/15898/stat : 15898 (java) S 15889 15892 13692 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 244871315 14422839296 22327 33554432000 4194304 4196468 140722391950256 140064884443408 140065292031701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37797888 140722391958613 140722391958793 140722391958793 140722391961551 0
[pid=15892/tid=15899] ppid=15889 vsize=14084804 memory=748 CPUtime=0 cores=0,2,4,6
/proc/15892/task/15899/stat : 15899 (java) S 15889 15892 13692 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 244871316 14422839296 22327 33554432000 4194304 4196468 140722391950256 140064272358256 140065292032642 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37797888 140722391958613 140722391958793 140722391958793 140722391961551 0
[pid=15892/tid=15900] ppid=15889 vsize=14084804 memory=1220 CPUtime=0 cores=0,2,4,6
/proc/15892/task/15900/stat : 15900 (java) S 15889 15892 13692 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 244871316 14422839296 22327 33554432000 4194304 4196468 140722391950256 140064271304224 140065292031701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37797888 140722391958613 140722391958793 140722391958793 140722391961551 0
[pid=15892/tid=15901] ppid=15889 vsize=14084804 memory=6604 CPUtime=0 cores=0,2,4,6
/proc/15892/task/15901/stat : 15901 (java) S 15889 15892 13692 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 244871317 14422839296 22327 33554432000 4194304 4196468 140722391950256 140064270251376 140065292031701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37797888 140722391958613 140722391958793 140722391958793 140722391961551 0
[pid=15892/tid=15902] ppid=15889 vsize=14084804 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/15892/task/15902/stat : 15902 (java) S 15889 15892 13692 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 244871319 14422839296 22327 33554432000 4194304 4196468 140722391950256 140064269199696 140065292040091 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37797888 140722391958613 140722391958793 140722391958793 140722391961551 0
[pid=15892/tid=15903] ppid=15889 vsize=14084804 memory=4452 CPUtime=0.09 cores=0,2,4,6
/proc/15892/task/15903/stat : 15903 (java) S 15889 15892 13692 0 -1 1077944384 645 0 0 0 9 0 0 0 20 0 15 0 244871319 14422839296 22327 33554432000 4194304 4196468 140722391950256 140064268147056 140065292032642 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37797888 140722391958613 140722391958793 140722391958793 140722391961551 0
[pid=15892/tid=15904] ppid=15889 vsize=14084804 memory=3732 CPUtime=0.05 cores=0,2,4,6
/proc/15892/task/15904/stat : 15904 (java) S 15889 15892 13692 0 -1 1077944384 334 0 0 0 5 0 0 0 20 0 15 0 244871319 14422839296 22327 33554432000 4194304 4196468 140722391950256 140064267094256 140065292032642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37797888 140722391958613 140722391958793 140722391958793 140722391961551 0
[pid=15892/tid=15905] ppid=15889 vsize=14084804 memory=12668 CPUtime=0.15 cores=0,2,4,6
/proc/15892/task/15905/stat : 15905 (java) S 15889 15892 13692 0 -1 1077944384 562 0 0 0 15 0 0 0 20 0 15 0 244871319 14422839296 22327 33554432000 4194304 4196468 140722391950256 140064266041456 140065292032642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37797888 140722391958613 140722391958793 140722391958793 140722391961551 0
[pid=15892/tid=15906] ppid=15889 vsize=14084804 memory=1072 CPUtime=0 cores=0,2,4,6
/proc/15892/task/15906/stat : 15906 (java) S 15889 15892 13692 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 244871319 14422839296 22327 33554432000 4194304 4196468 140722391950256 140064264988896 140065292031701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37797888 140722391958613 140722391958793 140722391958793 140722391961551 0
[pid=15892/tid=15907] ppid=15889 vsize=14084804 memory=14888 CPUtime=0 cores=0,2,4,6
/proc/15892/task/15907/stat : 15907 (java) S 15889 15892 13692 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 244871320 14422839296 22327 33554432000 4194304 4196468 140722391950256 140064263937200 140065292032642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37797888 140722391958613 140722391958793 140722391958793 140722391961551 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 89308 KiB
[startup+1.50076 s]
/proc/loadavg: 1.80 1.74 1.62 5/215 15907
/proc/meminfo: memFree=22101240/32770624 swapFree=67108688/67108860
[pid=15892] ppid=15889 vsize=14086852 memory=249184 CPUtime=3.65 cores=0,2,4,6
/proc/15892/stat : 15892 (java) S 15889 15892 13692 0 -1 1077944320 24789 0 0 0 353 12 0 0 20 0 15 0 244871313 14424936448 62296 33554432000 4194304 4196468 140722391950256 140722391932800 140065292021495 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 37797888 140722391958613 140722391958793 140722391958793 140722391961551 0
/proc/15892/statm: 3521713 62296 3562 1 0 3483785 0
[pid=15892/tid=15894] ppid=15889 vsize=14086852 memory=0 CPUtime=1.43 cores=0,2,4,6
/proc/15892/task/15894/stat : 15894 (java) R 15889 15892 13692 0 -1 4202560 15983 0 0 0 137 6 0 0 20 0 15 0 244871314 14424936448 62296 33554432000 4194304 4196468 140722391950256 140065296255104 140064929431841 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37797888 140722391958613 140722391958793 140722391958793 140722391961551 0
[pid=15892/tid=15895] ppid=15889 vsize=14086852 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/15892/task/15895/stat : 15895 (java) S 15889 15892 13692 0 -1 1077944384 258 0 0 0 2 0 0 0 20 0 15 0 244871315 14424936448 62296 33554432000 4194304 4196468 140722391950256 140064887601808 140065292031701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37797888 140722391958613 140722391958793 140722391958793 140722391961551 0
[pid=15892/tid=15896] ppid=15889 vsize=14086852 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/15892/task/15896/stat : 15896 (java) S 15889 15892 13692 0 -1 1077944384 18 0 0 0 2 0 0 0 20 0 15 0 244871315 14424936448 62296 33554432000 4194304 4196468 140722391950256 140064886549008 140065292031701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37797888 140722391958613 140722391958793 140722391958793 140722391961551 0
[pid=15892/tid=15897] ppid=15889 vsize=14086852 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/15892/task/15897/stat : 15897 (java) S 15889 15892 13692 0 -1 1077944384 37 0 0 0 2 0 0 0 20 0 15 0 244871315 14424936448 62296 33554432000 4194304 4196468 140722391950256 140064885496208 140065292031701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37797888 140722391958613 140722391958793 140722391958793 140722391961551 0
[pid=15892/tid=15898] ppid=15889 vsize=14086852 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/15892/task/15898/stat : 15898 (java) S 15889 15892 13692 0 -1 1077944384 75 0 0 0 2 1 0 0 20 0 15 0 244871315 14424936448 62296 33554432000 4194304 4196468 140722391950256 140064884443408 140065292031701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37797888 140722391958613 140722391958793 140722391958793 140722391961551 0
[pid=15892/tid=15899] ppid=15889 vsize=14086852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15892/task/15899/stat : 15899 (java) S 15889 15892 13692 0 -1 1077944384 101 0 0 0 0 0 0 0 20 0 15 0 244871316 14424936448 62296 33554432000 4194304 4196468 140722391950256 140064272358256 140065292032642 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37797888 140722391958613 140722391958793 140722391958793 140722391961551 0
################
# More data... #
################
/proc/15892/task/15894/stat : 15894 (java) R 15889 15892 13692 0 -1 4202560 277722 0 0 0 237729 78 0 0 20 0 15 0 244871314 14431227904 1087819 33554432000 4194304 4196468 140722391950256 140065296259792 140064935369310 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37797888 140722391958613 140722391958793 140722391958793 140722391961551 0
[pid=15892/tid=15895] ppid=15889 vsize=14092996 memory=4351276 CPUtime=3.27 cores=0,2,4,6
/proc/15892/task/15895/stat : 15895 (java) S 15889 15892 13692 0 -1 1077944384 181978 0 0 0 282 45 0 0 20 0 15 0 244871315 14431227904 1087819 33554432000 4194304 4196468 140722391950256 140064887601808 140065292031701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37797888 140722391958613 140722391958793 140722391958793 140722391961551 0
[pid=15892/tid=15896] ppid=15889 vsize=14092996 memory=4351276 CPUtime=3.28 cores=0,2,4,6
/proc/15892/task/15896/stat : 15896 (java) S 15889 15892 13692 0 -1 1077944384 171627 0 0 0 283 45 0 0 20 0 15 0 244871315 14431227904 1087819 33554432000 4194304 4196468 140722391950256 140064886549008 140065292031701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37797888 140722391958613 140722391958793 140722391958793 140722391961551 0
[pid=15892/tid=15897] ppid=15889 vsize=14092996 memory=4351276 CPUtime=3.26 cores=0,2,4,6
/proc/15892/task/15897/stat : 15897 (java) S 15889 15892 13692 0 -1 1077944384 173781 0 0 0 280 46 0 0 20 0 15 0 244871315 14431227904 1087819 33554432000 4194304 4196468 140722391950256 140064885496208 140065292031701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37797888 140722391958613 140722391958793 140722391958793 140722391961551 0
[pid=15892/tid=15898] ppid=15889 vsize=14092996 memory=4351276 CPUtime=3.27 cores=0,2,4,6
/proc/15892/task/15898/stat : 15898 (java) S 15889 15892 13692 0 -1 1077944384 172505 0 0 0 281 46 0 0 20 0 15 0 244871315 14431227904 1087819 33554432000 4194304 4196468 140722391950256 140064884443408 140065292031701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37797888 140722391958613 140722391958793 140722391958793 140722391961551 0
[pid=15892/tid=15899] ppid=15889 vsize=14092996 memory=4391228 CPUtime=0.37 cores=0,2,4,6
/proc/15892/task/15899/stat : 15899 (java) S 15889 15892 13692 0 -1 1077944384 16382 0 0 0 35 2 0 0 20 0 15 0 244871316 14431227904 1087819 33554432000 4194304 4196468 140722391950256 140064272358256 140065292032642 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37797888 140722391958613 140722391958793 140722391958793 140722391961551 0
[pid=15892/tid=15900] ppid=15889 vsize=14092996 memory=4369172 CPUtime=0 cores=0,2,4,6
/proc/15892/task/15900/stat : 15900 (java) S 15889 15892 13692 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 244871316 14431227904 1087819 33554432000 4194304 4196468 140722391950256 140064271304288 140065292031701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37797888 140722391958613 140722391958793 140722391958793 140722391961551 0
[pid=15892/tid=15901] ppid=15889 vsize=14092996 memory=4369232 CPUtime=0 cores=0,2,4,6
/proc/15892/task/15901/stat : 15901 (java) S 15889 15892 13692 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 244871317 14431227904 1087819 33554432000 4194304 4196468 140722391950256 140064270251392 140065292031701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37797888 140722391958613 140722391958793 140722391958793 140722391961551 0
[pid=15892/tid=15902] ppid=15889 vsize=14092996 memory=4351276 CPUtime=0 cores=0,2,4,6
/proc/15892/task/15902/stat : 15902 (java) S 15889 15892 13692 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 244871319 14431227904 1087819 33554432000 4194304 4196468 140722391950256 140064269199696 140065292040091 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37797888 140722391958613 140722391958793 140722391958793 140722391961551 0
[pid=15892/tid=15903] ppid=15889 vsize=14092996 memory=279432183763088 CPUtime=7.29 cores=0,2,4,6
/proc/15892/task/15903/stat : 15903 (java) S 15889 15892 13692 0 -1 1077944384 15358 0 0 0 726 3 0 0 20 0 15 0 244871319 14431227904 1087819 33554432000 4194304 4196468 140722391950256 140064268147056 140065292032642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37797888 140722391958613 140722391958793 140722391958793 140722391961551 0
[pid=15892/tid=15904] ppid=15889 vsize=14092996 memory=4351276 CPUtime=7.09 cores=0,2,4,6
/proc/15892/task/15904/stat : 15904 (java) S 15889 15892 13692 0 -1 1077944384 13424 0 0 0 707 2 0 0 20 0 15 0 244871319 14431227904 1087819 33554432000 4194304 4196468 140722391950256 140064267094256 140065292032642 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37797888 140722391958613 140722391958793 140722391958793 140722391961551 0
[pid=15892/tid=15905] ppid=15889 vsize=14092996 memory=4351276 CPUtime=1.88 cores=0,2,4,6
/proc/15892/task/15905/stat : 15905 (java) S 15889 15892 13692 0 -1 1077944384 14801 0 0 0 185 3 0 0 20 0 15 0 244871319 14431227904 1087819 33554432000 4194304 4196468 140722391950256 140064266041456 140065292032642 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37797888 140722391958613 140722391958793 140722391958793 140722391961551 0
[pid=15892/tid=15906] ppid=15889 vsize=14092996 memory=4351276 CPUtime=0 cores=0,2,4,6
/proc/15892/task/15906/stat : 15906 (java) S 15889 15892 13692 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 244871319 14431227904 1087819 33554432000 4194304 4196468 140722391950256 140064264988896 140065292031701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37797888 140722391958613 140722391958793 140722391958793 140722391961551 0
[pid=15892/tid=15907] ppid=15889 vsize=14092996 memory=4351276 CPUtime=0.84 cores=0,2,4,6
/proc/15892/task/15907/stat : 15907 (java) S 15889 15892 13692 0 -1 1077944384 1289 0 0 0 42 42 0 0 20 0 15 0 244871320 14431227904 1087819 33554432000 4194304 4196468 140722391950256 140064263937200 140065292032642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37797888 140722391958613 140722391958793 140722391958793 140722391961551 0
Current children cumulated CPU time: 2408.74 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 4351276 KiB
[startup+2442.3 s]
/proc/loadavg: 2.15 1.86 1.75 3/215 16082
/proc/meminfo: memFree=18162260/32770624 swapFree=67108688/67108860
[pid=15892] ppid=15889 vsize=14092996 memory=4323660 CPUtime=2468.82 cores=0,2,4,6
/proc/15892/stat : 15892 (java) S 15889 15892 13692 0 -1 1077944320 1050618 0 0 0 246570 312 0 0 20 0 15 0 244871313 14431227904 1080915 33554432000 4194304 4196468 140722391950256 140722391932800 140065292021495 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 37797888 140722391958613 140722391958793 140722391958793 140722391961551 0
/proc/15892/statm: 3523249 1080915 3628 1 0 3485321 0
[pid=15892/tid=15894] ppid=15889 vsize=14092996 memory=4335972 CPUtime=2438.04 cores=0,2,4,6
/proc/15892/task/15894/stat : 15894 (java) R 15889 15892 13692 0 -1 4202560 280226 0 0 0 243723 81 0 0 20 0 15 0 244871314 14431227904 1080915 33554432000 4194304 4196468 140722391950256 140065296259728 140064937941423 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37797888 140722391958613 140722391958793 140722391958793 140722391961551 0
[pid=15892/tid=15895] ppid=15889 vsize=14092996 memory=4335972 CPUtime=3.29 cores=0,2,4,6
/proc/15892/task/15895/stat : 15895 (java) S 15889 15892 13692 0 -1 1077944384 184972 0 0 0 284 45 0 0 20 0 15 0 244871315 14431227904 1080915 33554432000 4194304 4196468 140722391950256 140064887601808 140065292031701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37797888 140722391958613 140722391958793 140722391958793 140722391961551 0
[pid=15892/tid=15896] ppid=15889 vsize=14092996 memory=4335972 CPUtime=3.3 cores=0,2,4,6
/proc/15892/task/15896/stat : 15896 (java) S 15889 15892 13692 0 -1 1077944384 172999 0 0 0 285 45 0 0 20 0 15 0 244871315 14431227904 1080915 33554432000 4194304 4196468 140722391950256 140064886549008 140065292031701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37797888 140722391958613 140722391958793 140722391958793 140722391961551 0
[pid=15892/tid=15897] ppid=15889 vsize=14092996 memory=4335972 CPUtime=3.28 cores=0,2,4,6
/proc/15892/task/15897/stat : 15897 (java) S 15889 15892 13692 0 -1 1077944384 175297 0 0 0 282 46 0 0 20 0 15 0 244871315 14431227904 1080915 33554432000 4194304 4196468 140722391950256 140064885496208 140065292031701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37797888 140722391958613 140722391958793 140722391958793 140722391961551 0
[pid=15892/tid=15898] ppid=15889 vsize=14092996 memory=4335972 CPUtime=3.3 cores=0,2,4,6
/proc/15892/task/15898/stat : 15898 (java) S 15889 15892 13692 0 -1 1077944384 174112 0 0 0 283 47 0 0 20 0 15 0 244871315 14431227904 1080915 33554432000 4194304 4196468 140722391950256 140064884443408 140065292031701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37797888 140722391958613 140722391958793 140722391958793 140722391961551 0
[pid=15892/tid=15899] ppid=15889 vsize=14092996 memory=4336368 CPUtime=0.38 cores=0,2,4,6
/proc/15892/task/15899/stat : 15899 (java) S 15889 15892 13692 0 -1 1077944384 16644 0 0 0 35 3 0 0 20 0 15 0 244871316 14431227904 1080915 33554432000 4194304 4196468 140722391950256 140064272358256 140065292032642 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37797888 140722391958613 140722391958793 140722391958793 140722391961551 0
[pid=15892/tid=15900] ppid=15889 vsize=14092996 memory=4336368 CPUtime=0 cores=0,2,4,6
/proc/15892/task/15900/stat : 15900 (java) S 15889 15892 13692 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 244871316 14431227904 1080915 33554432000 4194304 4196468 140722391950256 140064271304288 140065292031701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37797888 140722391958613 140722391958793 140722391958793 140722391961551 0
[pid=15892/tid=15901] ppid=15889 vsize=14092996 memory=4336368 CPUtime=0 cores=0,2,4,6
/proc/15892/task/15901/stat : 15901 (java) S 15889 15892 13692 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 244871317 14431227904 1080915 33554432000 4194304 4196468 140722391950256 140064270251392 140065292031701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37797888 140722391958613 140722391958793 140722391958793 140722391961551 0
[pid=15892/tid=15902] ppid=15889 vsize=14092996 memory=4335972 CPUtime=0 cores=0,2,4,6
/proc/15892/task/15902/stat : 15902 (java) S 15889 15892 13692 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 244871319 14431227904 1080915 33554432000 4194304 4196468 140722391950256 140064269199696 140065292040091 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37797888 140722391958613 140722391958793 140722391958793 140722391961551 0
[pid=15892/tid=15903] ppid=15889 vsize=14092996 memory=4335972 CPUtime=7.29 cores=0,2,4,6
/proc/15892/task/15903/stat : 15903 (java) S 15889 15892 13692 0 -1 1077944384 15366 0 0 0 726 3 0 0 20 0 15 0 244871319 14431227904 1080915 33554432000 4194304 4196468 140722391950256 140064268147056 140065292032642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37797888 140722391958613 140722391958793 140722391958793 140722391961551 0
[pid=15892/tid=15904] ppid=15889 vsize=14092996 memory=279431377748253 CPUtime=7.09 cores=0,2,4,6
/proc/15892/task/15904/stat : 15904 (java) S 15889 15892 13692 0 -1 1077944384 13427 0 0 0 707 2 0 0 20 0 15 0 244871319 14431227904 1080915 33554432000 4194304 4196468 140722391950256 140064267094256 140065292032642 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37797888 140722391958613 140722391958793 140722391958793 140722391961551 0
[pid=15892/tid=15905] ppid=15889 vsize=14092996 memory=4335972 CPUtime=1.88 cores=0,2,4,6
/proc/15892/task/15905/stat : 15905 (java) S 15889 15892 13692 0 -1 1077944384 14805 0 0 0 185 3 0 0 20 0 15 0 244871319 14431227904 1080915 33554432000 4194304 4196468 140722391950256 140064266041456 140065292032642 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37797888 140722391958613 140722391958793 140722391958793 140722391961551 0
[pid=15892/tid=15906] ppid=15889 vsize=14092996 memory=4335972 CPUtime=0 cores=0,2,4,6
/proc/15892/task/15906/stat : 15906 (java) S 15889 15892 13692 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 244871319 14431227904 1080915 33554432000 4194304 4196468 140722391950256 140064264988896 140065292031701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37797888 140722391958613 140722391958793 140722391958793 140722391961551 0
[pid=15892/tid=15907] ppid=15889 vsize=14092996 memory=4335972 CPUtime=0.86 cores=0,2,4,6
/proc/15892/task/15907/stat : 15907 (java) S 15889 15892 13692 0 -1 1077944384 1317 0 0 0 43 43 0 0 20 0 15 0 244871320 14431227904 1080915 33554432000 4194304 4196468 140722391950256 140064263937200 140065292032642 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37797888 140722391958613 140722391958793 140722391958793 140722391961551 0
Current children cumulated CPU time: 2468.82 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 4323660 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2493.5 s]
/proc/loadavg: 2.32 1.94 1.78 3/215 16082
/proc/meminfo: memFree=17462820/32770624 swapFree=67108688/67108860
[pid=15892] ppid=15889 vsize=14092996 memory=4313148 CPUtime=2520.07 cores=0,2,4,6
/proc/15892/stat : 15892 (java) S 15889 15892 13692 0 -1 1077944320 1056084 0 0 0 251693 314 0 0 20 0 15 0 244871313 14431227904 1078287 33554432000 4194304 4196468 140722391950256 140722391932800 140065292021495 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 37797888 140722391958613 140722391958793 140722391958793 140722391961551 0
/proc/15892/statm: 3523249 1078287 3628 1 0 3485321 0
[pid=15892/tid=15894] ppid=15889 vsize=14092996 memory=4313148 CPUtime=2489.2 cores=0,2,4,6
/proc/15892/task/15894/stat : 15894 (java) R 15889 15892 13692 0 -1 4202560 281960 0 0 0 248839 81 0 0 20 0 15 0 244871314 14431227904 1078287 33554432000 4194304 4196468 140722391950256 140065296259616 140064939646388 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37797888 140722391958613 140722391958793 140722391958793 140722391961551 0
[pid=15892/tid=15895] ppid=15889 vsize=14092996 memory=4313148 CPUtime=3.3 cores=0,2,4,6
/proc/15892/task/15895/stat : 15895 (java) S 15889 15892 13692 0 -1 1077944384 185778 0 0 0 285 45 0 0 20 0 15 0 244871315 14431227904 1078287 33554432000 4194304 4196468 140722391950256 140064887601808 140065292031701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37797888 140722391958613 140722391958793 140722391958793 140722391961551 0
[pid=15892/tid=15896] ppid=15889 vsize=14092996 memory=1620 CPUtime=3.32 cores=0,2,4,6
/proc/15892/task/15896/stat : 15896 (java) S 15889 15892 13692 0 -1 1077944384 173616 0 0 0 286 46 0 0 20 0 15 0 244871315 14431227904 1078287 33554432000 4194304 4196468 140722391950256 140064886549008 140065292031701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37797888 140722391958613 140722391958793 140722391958793 140722391961551 0
[pid=15892/tid=15897] ppid=15889 vsize=14092996 memory=0 CPUtime=3.29 cores=0,2,4,6
/proc/15892/task/15897/stat : 15897 (java) S 15889 15892 13692 0 -1 1077944384 176548 0 0 0 283 46 0 0 20 0 15 0 244871315 14431227904 1078287 33554432000 4194304 4196468 140722391950256 140064885496208 140065292031701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37797888 140722391958613 140722391958793 140722391958793 140722391961551 0
[pid=15892/tid=15898] ppid=15889 vsize=14092996 memory=4313148 CPUtime=3.31 cores=0,2,4,6
/proc/15892/task/15898/stat : 15898 (java) S 15889 15892 13692 0 -1 1077944384 174985 0 0 0 284 47 0 0 20 0 15 0 244871315 14431227904 1078287 33554432000 4194304 4196468 140722391950256 140064884443408 140065292031701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37797888 140722391958613 140722391958793 140722391958793 140722391961551 0
[pid=15892/tid=15899] ppid=15889 vsize=14092996 memory=4313148 CPUtime=0.38 cores=0,2,4,6
/proc/15892/task/15899/stat : 15899 (java) S 15889 15892 13692 0 -1 1077944384 16785 0 0 0 35 3 0 0 20 0 15 0 244871316 14431227904 1078287 33554432000 4194304 4196468 140722391950256 140064272358256 140065292032642 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37797888 140722391958613 140722391958793 140722391958793 140722391961551 0
[pid=15892/tid=15900] ppid=15889 vsize=14092996 memory=4313148 CPUtime=0 cores=0,2,4,6
/proc/15892/task/15900/stat : 15900 (java) S 15889 15892 13692 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 244871316 14431227904 1078287 33554432000 4194304 4196468 140722391950256 140064271304288 140065292031701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37797888 140722391958613 140722391958793 140722391958793 140722391961551 0
[pid=15892/tid=15901] ppid=15889 vsize=14092996 memory=4313148 CPUtime=0 cores=0,2,4,6
/proc/15892/task/15901/stat : 15901 (java) S 15889 15892 13692 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 244871317 14431227904 1078287 33554432000 4194304 4196468 140722391950256 140064270251392 140065292031701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37797888 140722391958613 140722391958793 140722391958793 140722391961551 0
[pid=15892/tid=15902] ppid=15889 vsize=14092996 memory=4313148 CPUtime=0 cores=0,2,4,6
/proc/15892/task/15902/stat : 15902 (java) S 15889 15892 13692 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 244871319 14431227904 1078287 33554432000 4194304 4196468 140722391950256 140064269199696 140065292040091 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37797888 140722391958613 140722391958793 140722391958793 140722391961551 0
[pid=15892/tid=15903] ppid=15889 vsize=14092996 memory=279432184447440 CPUtime=7.29 cores=0,2,4,6
/proc/15892/task/15903/stat : 15903 (java) S 15889 15892 13692 0 -1 1077944384 15374 0 0 0 726 3 0 0 20 0 15 0 244871319 14431227904 1078287 33554432000 4194304 4196468 140722391950256 140064268147056 140065292032642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37797888 140722391958613 140722391958793 140722391958793 140722391961551 0
[pid=15892/tid=15904] ppid=15889 vsize=14092996 memory=4313148 CPUtime=7.09 cores=0,2,4,6
/proc/15892/task/15904/stat : 15904 (java) S 15889 15892 13692 0 -1 1077944384 13430 0 0 0 707 2 0 0 20 0 15 0 244871319 14431227904 1078287 33554432000 4194304 4196468 140722391950256 140064267094256 140065292032642 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37797888 140722391958613 140722391958793 140722391958793 140722391961551 0
[pid=15892/tid=15905] ppid=15889 vsize=14092996 memory=4313148 CPUtime=1.88 cores=0,2,4,6
/proc/15892/task/15905/stat : 15905 (java) S 15889 15892 13692 0 -1 1077944384 14809 0 0 0 185 3 0 0 20 0 15 0 244871319 14431227904 1078287 33554432000 4194304 4196468 140722391950256 140064266041456 140065292032642 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37797888 140722391958613 140722391958793 140722391958793 140722391961551 0
[pid=15892/tid=15906] ppid=15889 vsize=14092996 memory=4313148 CPUtime=0 cores=0,2,4,6
/proc/15892/task/15906/stat : 15906 (java) S 15889 15892 13692 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 244871319 14431227904 1078287 33554432000 4194304 4196468 140722391950256 140064264988896 140065292031701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37797888 140722391958613 140722391958793 140722391958793 140722391961551 0
[pid=15892/tid=15907] ppid=15889 vsize=14092996 memory=4313148 CPUtime=0.88 cores=0,2,4,6
/proc/15892/task/15907/stat : 15907 (java) S 15889 15892 13692 0 -1 1077944384 1346 0 0 0 44 44 0 0 20 0 15 0 244871320 14431227904 1078287 33554432000 4194304 4196468 140722391950256 140064263937200 140065292032642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37797888 140722391958613 140722391958793 140722391958793 140722391961551 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 4313148 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2493.53 s]
# the end of solver process 15892 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.94 s, system=3.16903 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2493.5 s]
/proc/loadavg: 2.32 1.94 1.78 3/215 16082
/proc/meminfo: memFree=17462820/32770624 swapFree=67108688/67108860
[pid=15892] ppid=15889 vsize=14092996 memory=4313148 CPUtime=2520.07 cores=0,2,4,6
/proc/15892/stat : 15892 (java) S 15889 15892 13692 0 -1 1077944320 1056084 0 0 0 251693 314 0 0 20 0 15 0 244871313 14431227904 1078287 33554432000 4194304 4196468 140722391950256 140722391932800 140065292021495 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 37797888 140722391958613 140722391958793 140722391958793 140722391961551 0
/proc/15892/statm: 3523249 1078287 3628 1 0 3485321 0
[pid=15892/tid=15894] ppid=15889 vsize=14092996 memory=4313148 CPUtime=2489.2 cores=0,2,4,6
/proc/15892/task/15894/stat : 15894 (java) R 15889 15892 13692 0 -1 4202560 281960 0 0 0 248839 81 0 0 20 0 15 0 244871314 14431227904 1078287 33554432000 4194304 4196468 140722391950256 140065296259616 140064939646388 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37797888 140722391958613 140722391958793 140722391958793 140722391961551 0
[pid=15892/tid=15895] ppid=15889 vsize=14092996 memory=4313148 CPUtime=3.3 cores=0,2,4,6
/proc/15892/task/15895/stat : 15895 (java) S 15889 15892 13692 0 -1 1077944384 185778 0 0 0 285 45 0 0 20 0 15 0 244871315 14431227904 1078287 33554432000 4194304 4196468 140722391950256 140064887601808 140065292031701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37797888 140722391958613 140722391958793 140722391958793 140722391961551 0
[pid=15892/tid=15896] ppid=15889 vsize=14092996 memory=1620 CPUtime=3.32 cores=0,2,4,6
/proc/15892/task/15896/stat : 15896 (java) S 15889 15892 13692 0 -1 1077944384 173616 0 0 0 286 46 0 0 20 0 15 0 244871315 14431227904 1078287 33554432000 4194304 4196468 140722391950256 140064886549008 140065292031701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37797888 140722391958613 140722391958793 140722391958793 140722391961551 0
[pid=15892/tid=15897] ppid=15889 vsize=14092996 memory=0 CPUtime=3.29 cores=0,2,4,6
/proc/15892/task/15897/stat : 15897 (java) S 15889 15892 13692 0 -1 1077944384 176548 0 0 0 283 46 0 0 20 0 15 0 244871315 14431227904 1078287 33554432000 4194304 4196468 140722391950256 140064885496208 140065292031701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37797888 140722391958613 140722391958793 140722391958793 140722391961551 0
[pid=15892/tid=15898] ppid=15889 vsize=14092996 memory=4313148 CPUtime=3.31 cores=0,2,4,6
/proc/15892/task/15898/stat : 15898 (java) S 15889 15892 13692 0 -1 1077944384 174985 0 0 0 284 47 0 0 20 0 15 0 244871315 14431227904 1078287 33554432000 4194304 4196468 140722391950256 140064884443408 140065292031701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37797888 140722391958613 140722391958793 140722391958793 140722391961551 0
[pid=15892/tid=15899] ppid=15889 vsize=14092996 memory=4313148 CPUtime=0.38 cores=0,2,4,6
/proc/15892/task/15899/stat : 15899 (java) S 15889 15892 13692 0 -1 1077944384 16785 0 0 0 35 3 0 0 20 0 15 0 244871316 14431227904 1078287 33554432000 4194304 4196468 140722391950256 140064272358256 140065292032642 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37797888 140722391958613 140722391958793 140722391958793 140722391961551 0
[pid=15892/tid=15900] ppid=15889 vsize=14092996 memory=4313148 CPUtime=0 cores=0,2,4,6
/proc/15892/task/15900/stat : 15900 (java) S 15889 15892 13692 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 244871316 14431227904 1078287 33554432000 4194304 4196468 140722391950256 140064271304288 140065292031701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37797888 140722391958613 140722391958793 140722391958793 140722391961551 0
[pid=15892/tid=15901] ppid=15889 vsize=14092996 memory=4313148 CPUtime=0 cores=0,2,4,6
/proc/15892/task/15901/stat : 15901 (java) S 15889 15892 13692 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 244871317 14431227904 1078287 33554432000 4194304 4196468 140722391950256 140064270251392 140065292031701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37797888 140722391958613 140722391958793 140722391958793 140722391961551 0
[pid=15892/tid=15902] ppid=15889 vsize=14092996 memory=4313148 CPUtime=0 cores=0,2,4,6
/proc/15892/task/15902/stat : 15902 (java) S 15889 15892 13692 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 244871319 14431227904 1078287 33554432000 4194304 4196468 140722391950256 140064269199696 140065292040091 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37797888 140722391958613 140722391958793 140722391958793 140722391961551 0
[pid=15892/tid=15903] ppid=15889 vsize=14092996 memory=279432184447440 CPUtime=7.29 cores=0,2,4,6
/proc/15892/task/15903/stat : 15903 (java) S 15889 15892 13692 0 -1 1077944384 15374 0 0 0 726 3 0 0 20 0 15 0 244871319 14431227904 1078287 33554432000 4194304 4196468 140722391950256 140064268147056 140065292032642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37797888 140722391958613 140722391958793 140722391958793 140722391961551 0
[pid=15892/tid=15904] ppid=15889 vsize=14092996 memory=4313148 CPUtime=7.09 cores=0,2,4,6
/proc/15892/task/15904/stat : 15904 (java) S 15889 15892 13692 0 -1 1077944384 13430 0 0 0 707 2 0 0 20 0 15 0 244871319 14431227904 1078287 33554432000 4194304 4196468 140722391950256 140064267094256 140065292032642 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37797888 140722391958613 140722391958793 140722391958793 140722391961551 0
[pid=15892/tid=15905] ppid=15889 vsize=14092996 memory=4313148 CPUtime=1.88 cores=0,2,4,6
/proc/15892/task/15905/stat : 15905 (java) S 15889 15892 13692 0 -1 1077944384 14809 0 0 0 185 3 0 0 20 0 15 0 244871319 14431227904 1078287 33554432000 4194304 4196468 140722391950256 140064266041456 140065292032642 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37797888 140722391958613 140722391958793 140722391958793 140722391961551 0
[pid=15892/tid=15906] ppid=15889 vsize=14092996 memory=4313148 CPUtime=0 cores=0,2,4,6
/proc/15892/task/15906/stat : 15906 (java) S 15889 15892 13692 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 244871319 14431227904 1078287 33554432000 4194304 4196468 140722391950256 140064264988896 140065292031701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37797888 140722391958613 140722391958793 140722391958793 140722391961551 0
[pid=15892/tid=15907] ppid=15889 vsize=14092996 memory=4313148 CPUtime=0.88 cores=0,2,4,6
/proc/15892/task/15907/stat : 15907 (java) S 15889 15892 13692 0 -1 1077944384 1346 0 0 0 44 44 0 0 20 0 15 0 244871320 14431227904 1078287 33554432000 4194304 4196468 140722391950256 140064263937200 140065292032642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37797888 140722391958613 140722391958793 140722391958793 140722391961551 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 4313148 KiB
Child status: 143
Real time (s): 2493.53
CPU time (s): 2520.11
CPU user time (s): 2516.94
CPU system time (s): 3.16903
CPU usage (%): 101.066
Max. virtual memory (cumulated for all children) (KiB): 14092996
Max. memory (cumulated for all children) (KiB): 4851744
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.94
system time used= 3.16903
maximum resident set size= 4851776
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1056715
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2272
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 64050
involuntary context switches= 3061
# summary of solver processes directly reported to runsolver:
# pid: 15892
# total CPU time (s): 2520.11
# total CPU user time (s): 2516.94
# total CPU system time (s): 3.16903
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.7539 second user time and 23.7202 second system time
The end