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 (13096 MiB free)
memory of node 1: 16384 MiB (15406 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4274267-1502840310/watcher-4274267-1502840310 -o /tmp/evaluation-result-4274267-1502840310/solver-4274267-1502840310 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502662832-10388 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 56776064 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4274267-1502840310.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=13548, runsolver pid=13545
[startup+0.100163 s]*
/proc/loadavg: 3.05 2.48 2.22 2/195 13549
/proc/meminfo: memFree=29186512/32770624 swapFree=67105588/67108860
[pid=13548] ppid=13545 vsize=99728 memory=4632 CPUtime=0 cores=1,3,5,7
/proc/13548/stat : 13548 (java) S 13545 13548 12560 0 -1 1077944320 1382 0 0 0 0 0 0 0 20 0 2 0 86226317 102121472 1158 18446744073709551615 4194304 4196468 140725124173392 140725124155936 139781842566903 0 0 1 0 18446744073709551615 0 0 17 5 0 0 10 0 0 6293624 6294260 22355968 140725124178288 140725124178473 140725124178473 140725124181967 0
/proc/13548/statm: 24932 1158 859 1 0 17056 0
[pid=13548/tid=13550] ppid=13545 vsize=100808 memory=-6439968830534014599 CPUtime=0 cores=1,3,5,7
/proc/13548/task/13550/stat : 13550 (java) R 13545 13548 12560 0 -1 1077944384 161 0 0 0 0 0 0 0 20 0 2 0 86226327 103227392 1210 18446744073709551615 4194304 4196468 140725124173392 139781846801784 139781844842183 0 0 1 0 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22355968 140725124178288 140725124178473 140725124178473 140725124181967 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 99728 KiB
Current children cumulated memory: 4632 KiB
[startup+0.209338 s]*
/proc/loadavg: 3.05 2.48 2.22 4/209 13563
/proc/meminfo: memFree=29171592/32770624 swapFree=67105588/67108860
[pid=13548] ppid=13545 vsize=13975920 memory=28512 CPUtime=0.08 cores=1,3,5,7
/proc/13548/stat : 13548 (java) S 13545 13548 12560 0 -1 1077944320 6931 0 0 0 7 1 0 0 20 0 15 0 86226317 14311342080 7128 18446744073709551615 4194304 4196468 140725124173392 140725124155936 139781842566903 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 10 0 0 6293624 6294260 22355968 140725124178288 140725124178473 140725124178473 140725124181967 0
/proc/13548/statm: 3493980 7128 3350 1 0 3482759 0
[pid=13548/tid=13550] ppid=13545 vsize=13975920 memory=8318255677412212789 CPUtime=0.06 cores=1,3,5,7
/proc/13548/task/13550/stat : 13550 (java) R 13545 13548 12560 0 -1 4202560 4961 0 0 0 5 1 0 0 20 0 15 0 86226327 14311342080 7128 18446744073709551615 4194304 4196468 140725124173392 139781846796280 139781828635022 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 22355968 140725124178288 140725124178473 140725124178473 140725124181967 0
[pid=13548/tid=13551] ppid=13545 vsize=13975920 memory=328 CPUtime=0 cores=1,3,5,7
/proc/13548/task/13551/stat : 13551 (java) S 13545 13548 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 86226328 14311342080 7128 18446744073709551615 4194304 4196468 140725124173392 139781799533200 139781842577109 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22355968 140725124178288 140725124178473 140725124178473 140725124181967 0
[pid=13548/tid=13552] ppid=13545 vsize=13975920 memory=140461415504270 CPUtime=0 cores=1,3,5,7
/proc/13548/task/13552/stat : 13552 (java) S 13545 13548 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 86226328 14311342080 7128 18446744073709551615 4194304 4196468 140725124173392 139781798480400 139781842577109 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22355968 140725124178288 140725124178473 140725124178473 140725124181967 0
[pid=13548/tid=13553] ppid=13545 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13548/task/13553/stat : 13553 (java) S 13545 13548 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 86226328 14311342080 7640 18446744073709551615 4194304 4196468 140725124173392 139781797427600 139781842577109 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22355968 140725124178288 140725124178473 140725124178473 140725124181967 0
[pid=13548/tid=13554] ppid=13545 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13548/task/13554/stat : 13554 (java) S 13545 13548 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 86226328 14311342080 7640 18446744073709551615 4194304 4196468 140725124173392 139781796374800 139781842577109 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22355968 140725124178288 140725124178473 140725124178473 140725124181967 0
[pid=13548/tid=13555] ppid=13545 vsize=13975920 memory=140461415491200 CPUtime=0 cores=1,3,5,7
/proc/13548/task/13555/stat : 13555 (java) S 13545 13548 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 86226329 14311342080 7640 18446744073709551615 4194304 4196468 140725124173392 139780961078128 139781842578050 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22355968 140725124178288 140725124178473 140725124178473 140725124181967 0
[pid=13548/tid=13556] ppid=13545 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13548/task/13556/stat : 13556 (java) S 13545 13548 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 86226330 14311342080 7640 18446744073709551615 4194304 4196468 140725124173392 139780960024096 139781842577109 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22355968 140725124178288 140725124178473 140725124178473 140725124181967 0
[pid=13548/tid=13557] ppid=13545 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13548/task/13557/stat : 13557 (java) S 13545 13548 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 86226330 14311342080 7640 18446744073709551615 4194304 4196468 140725124173392 139780958971248 139781842577109 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22355968 140725124178288 140725124178473 140725124178473 140725124181967 0
[pid=13548/tid=13558] ppid=13545 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13548/task/13558/stat : 13558 (java) S 13545 13548 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 86226332 14311342080 7640 18446744073709551615 4194304 4196468 140725124173392 139780957919568 139781842585499 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22355968 140725124178288 140725124178473 140725124178473 140725124181967 0
[pid=13548/tid=13559] ppid=13545 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13548/task/13559/stat : 13559 (java) S 13545 13548 12560 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 15 0 86226333 14311342080 7640 18446744073709551615 4194304 4196468 140725124173392 139780956866928 139781842578050 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22355968 140725124178288 140725124178473 140725124178473 140725124181967 0
[pid=13548/tid=13560] ppid=13545 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13548/task/13560/stat : 13560 (java) S 13545 13548 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 86226333 14311342080 7640 18446744073709551615 4194304 4196468 140725124173392 139780955814128 139781842578050 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22355968 140725124178288 140725124178473 140725124178473 140725124181967 0
[pid=13548/tid=13561] ppid=13545 vsize=13975920 memory=140461415491200 CPUtime=0 cores=1,3,5,7
/proc/13548/task/13561/stat : 13561 (java) S 13545 13548 12560 0 -1 1077944384 293 0 0 0 0 0 0 0 20 0 15 0 86226333 14311342080 7640 18446744073709551615 4194304 4196468 140725124173392 139780954761328 139781842578050 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22355968 140725124178288 140725124178473 140725124178473 140725124181967 0
[pid=13548/tid=13562] ppid=13545 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13548/task/13562/stat : 13562 (java) S 13545 13548 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 86226333 14311342080 7640 18446744073709551615 4194304 4196468 140725124173392 139780953708768 139781842577109 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22355968 140725124178288 140725124178473 140725124178473 140725124181967 0
[pid=13548/tid=13563] ppid=13545 vsize=13975920 memory=140461415491200 CPUtime=0 cores=1,3,5,7
/proc/13548/task/13563/stat : 13563 (java) S 13545 13548 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 86226336 14311342080 7640 18446744073709551615 4194304 4196468 140725124173392 139780952657072 139781842578050 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22355968 140725124178288 140725124178473 140725124178473 140725124181967 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 28512 KiB
[startup+0.310016 s]*
/proc/loadavg: 3.05 2.48 2.22 3/209 13563
/proc/meminfo: memFree=29159272/32770624 swapFree=67105588/67108860
[pid=13548] ppid=13545 vsize=13975920 memory=40116 CPUtime=0.24 cores=1,3,5,7
/proc/13548/stat : 13548 (java) S 13545 13548 12560 0 -1 1077944320 10251 0 0 0 21 3 0 0 20 0 15 0 86226317 14311342080 10029 18446744073709551615 4194304 4196468 140725124173392 140725124155936 139781842566903 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 10 0 0 6293624 6294260 22355968 140725124178288 140725124178473 140725124178473 140725124181967 0
/proc/13548/statm: 3493980 10029 3555 1 0 3482759 0
[pid=13548/tid=13550] ppid=13545 vsize=13975920 memory=-8774313645642428999 CPUtime=0.16 cores=1,3,5,7
/proc/13548/task/13550/stat : 13550 (java) R 13545 13548 12560 0 -1 4202560 7988 0 0 0 14 2 0 0 20 0 15 0 86226327 14311342080 10029 18446744073709551615 4194304 4196468 140725124173392 139781846794032 139781826610533 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 22355968 140725124178288 140725124178473 140725124178473 140725124181967 0
[pid=13548/tid=13551] ppid=13545 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13548/task/13551/stat : 13551 (java) S 13545 13548 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 86226328 14311342080 10029 18446744073709551615 4194304 4196468 140725124173392 139781799533200 139781842577109 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22355968 140725124178288 140725124178473 140725124178473 140725124181967 0
[pid=13548/tid=13552] ppid=13545 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13548/task/13552/stat : 13552 (java) S 13545 13548 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 86226328 14311342080 10029 18446744073709551615 4194304 4196468 140725124173392 139781798480400 139781842577109 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22355968 140725124178288 140725124178473 140725124178473 140725124181967 0
[pid=13548/tid=13553] ppid=13545 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13548/task/13553/stat : 13553 (java) S 13545 13548 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 86226328 14311342080 10029 18446744073709551615 4194304 4196468 140725124173392 139781797427600 139781842577109 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22355968 140725124178288 140725124178473 140725124178473 140725124181967 0
[pid=13548/tid=13554] ppid=13545 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13548/task/13554/stat : 13554 (java) S 13545 13548 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 86226328 14311342080 10029 18446744073709551615 4194304 4196468 140725124173392 139781796374800 139781842577109 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22355968 140725124178288 140725124178473 140725124178473 140725124181967 0
[pid=13548/tid=13555] ppid=13545 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13548/task/13555/stat : 13555 (java) S 13545 13548 12560 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 86226329 14311342080 10029 18446744073709551615 4194304 4196468 140725124173392 139780961078128 139781842578050 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22355968 140725124178288 140725124178473 140725124178473 140725124181967 0
[pid=13548/tid=13556] ppid=13545 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13548/task/13556/stat : 13556 (java) S 13545 13548 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 86226330 14311342080 10029 18446744073709551615 4194304 4196468 140725124173392 139780960024096 139781842577109 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22355968 140725124178288 140725124178473 140725124178473 140725124181967 0
[pid=13548/tid=13557] ppid=13545 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13548/task/13557/stat : 13557 (java) S 13545 13548 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 86226330 14311342080 10029 18446744073709551615 4194304 4196468 140725124173392 139780958971248 139781842577109 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22355968 140725124178288 140725124178473 140725124178473 140725124181967 0
[pid=13548/tid=13558] ppid=13545 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13548/task/13558/stat : 13558 (java) S 13545 13548 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 86226332 14311342080 10029 18446744073709551615 4194304 4196468 140725124173392 139780957919568 139781842585499 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22355968 140725124178288 140725124178473 140725124178473 140725124181967 0
[pid=13548/tid=13559] ppid=13545 vsize=13975920 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/13548/task/13559/stat : 13559 (java) S 13545 13548 12560 0 -1 1077944384 472 0 0 0 1 0 0 0 20 0 15 0 86226333 14311342080 10029 18446744073709551615 4194304 4196468 140725124173392 139780956866928 139781842578050 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22355968 140725124178288 140725124178473 140725124178473 140725124181967 0
[pid=13548/tid=13560] ppid=13545 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13548/task/13560/stat : 13560 (java) S 13545 13548 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 86226333 14311342080 10029 18446744073709551615 4194304 4196468 140725124173392 139780955814128 139781842578050 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22355968 140725124178288 140725124178473 140725124178473 140725124181967 0
[pid=13548/tid=13561] ppid=13545 vsize=13975920 memory=140461415491200 CPUtime=0.04 cores=1,3,5,7
/proc/13548/task/13561/stat : 13561 (java) R 13545 13548 12560 0 -1 4202560 380 0 0 0 4 0 0 0 20 0 15 0 86226333 14311342080 10029 18446744073709551615 4194304 4196468 140725124173392 139780954761328 139781821281343 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22355968 140725124178288 140725124178473 140725124178473 140725124181967 0
[pid=13548/tid=13562] ppid=13545 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13548/task/13562/stat : 13562 (java) S 13545 13548 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 86226333 14311342080 10029 18446744073709551615 4194304 4196468 140725124173392 139780953708768 139781842577109 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22355968 140725124178288 140725124178473 140725124178473 140725124181967 0
[pid=13548/tid=13563] ppid=13545 vsize=13975920 memory=140461415491200 CPUtime=0 cores=1,3,5,7
/proc/13548/task/13563/stat : 13563 (java) S 13545 13548 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 86226336 14311342080 10029 18446744073709551615 4194304 4196468 140725124173392 139780952657072 139781842578050 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22355968 140725124178288 140725124178473 140725124178473 140725124181967 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 40116 KiB
[startup+0.701596 s]
/proc/loadavg: 3.05 2.48 2.22 3/209 13563
/proc/meminfo: memFree=29146716/32770624 swapFree=67105588/67108860
[pid=13548] ppid=13545 vsize=13977988 memory=66484 CPUtime=1.08 cores=1,3,5,7
/proc/13548/stat : 13548 (java) S 13545 13548 12560 0 -1 1077944320 13855 0 0 0 104 4 0 0 20 0 15 0 86226317 14313459712 16621 18446744073709551615 4194304 4196468 140725124173392 140725124155936 139781842566903 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 10 0 0 6293624 6294260 22355968 140725124178288 140725124178473 140725124178473 140725124181967 0
/proc/13548/statm: 3494497 16621 3732 1 0 3483271 0
[pid=13548/tid=13550] ppid=13545 vsize=13977988 memory=1400 CPUtime=0.54 cores=1,3,5,7
/proc/13548/task/13550/stat : 13550 (java) R 13545 13548 12560 0 -1 4202560 10300 0 0 0 51 3 0 0 20 0 15 0 86226327 14313459712 16621 18446744073709551615 4194304 4196468 140725124173392 139781846800224 139781842578838 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 22355968 140725124178288 140725124178473 140725124178473 140725124181967 0
[pid=13548/tid=13551] ppid=13545 vsize=13977988 memory=15344 CPUtime=0 cores=1,3,5,7
/proc/13548/task/13551/stat : 13551 (java) S 13545 13548 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 86226328 14313459712 16621 18446744073709551615 4194304 4196468 140725124173392 139781799533200 139781842577109 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22355968 140725124178288 140725124178473 140725124178473 140725124181967 0
[pid=13548/tid=13552] ppid=13545 vsize=13977988 memory=28660 CPUtime=0 cores=1,3,5,7
/proc/13548/task/13552/stat : 13552 (java) S 13545 13548 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 86226328 14313459712 16621 18446744073709551615 4194304 4196468 140725124173392 139781798480400 139781842577109 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22355968 140725124178288 140725124178473 140725124178473 140725124181967 0
[pid=13548/tid=13553] ppid=13545 vsize=13977988 memory=4044 CPUtime=0 cores=1,3,5,7
/proc/13548/task/13553/stat : 13553 (java) S 13545 13548 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 86226328 14313459712 16621 18446744073709551615 4194304 4196468 140725124173392 139781797427600 139781842577109 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22355968 140725124178288 140725124178473 140725124178473 140725124181967 0
[pid=13548/tid=13554] ppid=13545 vsize=13977988 memory=644 CPUtime=0 cores=1,3,5,7
/proc/13548/task/13554/stat : 13554 (java) S 13545 13548 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 86226328 14313459712 16621 18446744073709551615 4194304 4196468 140725124173392 139781796374800 139781842577109 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22355968 140725124178288 140725124178473 140725124178473 140725124181967 0
[pid=13548/tid=13555] ppid=13545 vsize=13977988 memory=1740 CPUtime=0 cores=1,3,5,7
/proc/13548/task/13555/stat : 13555 (java) S 13545 13548 12560 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 86226329 14313459712 16621 18446744073709551615 4194304 4196468 140725124173392 139780961078128 139781842578050 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22355968 140725124178288 140725124178473 140725124178473 140725124181967 0
[pid=13548/tid=13556] ppid=13545 vsize=13977988 memory=956 CPUtime=0 cores=1,3,5,7
/proc/13548/task/13556/stat : 13556 (java) S 13545 13548 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 86226330 14313459712 16621 18446744073709551615 4194304 4196468 140725124173392 139780960024096 139781842577109 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22355968 140725124178288 140725124178473 140725124178473 140725124181967 0
[pid=13548/tid=13557] ppid=13545 vsize=13977988 memory=1232 CPUtime=0 cores=1,3,5,7
/proc/13548/task/13557/stat : 13557 (java) S 13545 13548 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 86226330 14313459712 16621 18446744073709551615 4194304 4196468 140725124173392 139780958971248 139781842577109 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22355968 140725124178288 140725124178473 140725124178473 140725124181967 0
[pid=13548/tid=13558] ppid=13545 vsize=13977988 memory=2240 CPUtime=0 cores=1,3,5,7
/proc/13548/task/13558/stat : 13558 (java) S 13545 13548 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 86226332 14313459712 16621 18446744073709551615 4194304 4196468 140725124173392 139780957919568 139781842585499 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22355968 140725124178288 140725124178473 140725124178473 140725124181967 0
[pid=13548/tid=13559] ppid=13545 vsize=13977988 memory=4088 CPUtime=0.16 cores=1,3,5,7
/proc/13548/task/13559/stat : 13559 (java) R 13545 13548 12560 0 -1 4202560 919 0 0 0 16 0 0 0 20 0 15 0 86226333 14313459712 16621 18446744073709551615 4194304 4196468 140725124173392 139780956866112 139781821988278 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22355968 140725124178288 140725124178473 140725124178473 140725124181967 0
[pid=13548/tid=13560] ppid=13545 vsize=13977988 memory=1620 CPUtime=0.13 cores=1,3,5,7
/proc/13548/task/13560/stat : 13560 (java) R 13545 13548 12560 0 -1 1077944384 350 0 0 0 13 0 0 0 20 0 15 0 86226333 14313459712 16621 18446744073709551615 4194304 4196468 140725124173392 139780955814224 139781842577109 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22355968 140725124178288 140725124178473 140725124178473 140725124181967 0
[pid=13548/tid=13561] ppid=13545 vsize=13977988 memory=140461415491200 CPUtime=0.22 cores=1,3,5,7
/proc/13548/task/13561/stat : 13561 (java) R 13545 13548 12560 0 -1 4202560 904 0 0 0 22 0 0 0 20 0 15 0 86226333 14313459712 16621 18446744073709551615 4194304 4196468 140725124173392 139780954758264 139781842578838 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22355968 140725124178288 140725124178473 140725124178473 140725124181967 0
[pid=13548/tid=13562] ppid=13545 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13548/task/13562/stat : 13562 (java) S 13545 13548 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 86226333 14313459712 16621 18446744073709551615 4194304 4196468 140725124173392 139780953708768 139781842577109 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22355968 140725124178288 140725124178473 140725124178473 140725124181967 0
[pid=13548/tid=13563] ppid=13545 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13548/task/13563/stat : 13563 (java) S 13545 13548 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 86226336 14313459712 16621 18446744073709551615 4194304 4196468 140725124173392 139780952657072 139781842578050 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22355968 140725124178288 140725124178473 140725124178473 140725124181967 0
Current children cumulated CPU time: 1.08 s
Current children cumulated vsize: 13977988 KiB
Current children cumulated memory: 66484 KiB
[startup+1.50156 s]
/proc/loadavg: 3.05 2.48 2.22 6/209 13563
/proc/meminfo: memFree=29055728/32770624 swapFree=67105588/67108860
[pid=13548] ppid=13545 vsize=13977988 memory=203972 CPUtime=3.71 cores=1,3,5,7
/proc/13548/stat : 13548 (java) S 13545 13548 12560 0 -1 1077944320 24945 0 0 0 363 8 0 0 20 0 15 0 86226317 14313459712 50993 18446744073709551615 4194304 4196468 140725124173392 140725124155936 139781842566903 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 10 0 0 6293624 6294260 22355968 140725124178288 140725124178473 140725124178473 140725124181967 0
/proc/13548/statm: 3494497 50993 3794 1 0 3483271 0
[pid=13548/tid=13550] ppid=13545 vsize=13977988 memory=280922536593248 CPUtime=1.32 cores=1,3,5,7
/proc/13548/task/13550/stat : 13550 (java) R 13545 13548 12560 0 -1 4202560 11588 0 0 0 128 4 0 0 20 0 15 0 86226327 14313459712 50993 18446744073709551615 4194304 4196468 140725124173392 139781846802992 139781826647390 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 22355968 140725124178288 140725124178473 140725124178473 140725124181967 0
[pid=13548/tid=13551] ppid=13545 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13548/task/13551/stat : 13551 (java) S 13545 13548 12560 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 86226328 14313459712 50993 18446744073709551615 4194304 4196468 140725124173392 139781799533200 139781842577109 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22355968 140725124178288 140725124178473 140725124178473 140725124181967 0
[pid=13548/tid=13552] ppid=13545 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13548/task/13552/stat : 13552 (java) S 13545 13548 12560 0 -1 1077944384 96 0 0 0 0 0 0 0 20 0 15 0 86226328 14313459712 50993 18446744073709551615 4194304 4196468 140725124173392 139781798480400 139781842577109 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22355968 140725124178288 140725124178473 140725124178473 140725124181967 0
[pid=13548/tid=13553] ppid=13545 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13548/task/13553/stat : 13553 (java) S 13545 13548 12560 0 -1 1077944384 418 0 0 0 0 0 0 0 20 0 15 0 86226328 14313459712 50993 18446744073709551615 4194304 4196468 140725124173392 139781797427600 139781842577109 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22355968 140725124178288 140725124178473 140725124178473 140725124181967 0
[pid=13548/tid=13554] ppid=13545 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13548/task/13554/stat : 13554 (java) S 13545 13548 12560 0 -1 1077944384 196 0 0 0 0 0 0 0 20 0 15 0 86226328 14313459712 50993 18446744073709551615 4194304 4196468 140725124173392 139781796374800 139781842577109 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22355968 140725124178288 140725124178473 140725124178473 140725124181967 0
[pid=13548/tid=13555] ppid=13545 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13548/task/13555/stat : 13555 (java) S 13545 13548 12560 0 -1 1077944384 130 0 0 0 0 0 0 0 20 0 15 0 86226329 14313459712 50993 18446744073709551615 4194304 4196468 140725124173392 139780961078128 139781842578050 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22355968 140725124178288 140725124178473 140725124178473 140725124181967 0
[pid=13548/tid=13556] ppid=13545 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13548/task/13556/stat : 13556 (java) S 13545 13548 12560 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 86226330 14313459712 50993 18446744073709551615 4194304 4196468 140725124173392 139780960024096 139781842577109 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22355968 140725124178288 140725124178473 140725124178473 140725124181967 0
[pid=13548/tid=13557] ppid=13545 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13548/task/13557/stat : 13557 (java) S 13545 13548 12560 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 86226330 14313459712 50993 18446744073709551615 4194304 4196468 140725124173392 139780958971248 139781842577109 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22355968 140725124178288 140725124178473 140725124178473 140725124181967 0
[pid=13548/tid=13558] ppid=13545 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13548/task/13558/stat : 13558 (java) S 13545 13548 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 86226332 14313459712 50993 18446744073709551615 4194304 4196468 140725124173392 139780957919568 139781842585499 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22355968 140725124178288 140725124178473 140725124178473 140725124181967 0
[pid=13548/tid=13559] ppid=13545 vsize=13977988 memory=0 CPUtime=0.9 cores=1,3,5,7
/proc/13548/task/13559/stat : 13559 (java) R 13545 13548 12560 0 -1 4202560 4426 0 0 0 90 0 0 0 20 0 15 0 86226333 14313459712 50993 18446744073709551615 4194304 4196468 140725124173392 139780956852464 139781827446918 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22355968 140725124178288 140725124178473 140725124178473 140725124181967 0
[pid=13548/tid=13560] ppid=13545 vsize=13977988 memory=288230617509003574 CPUtime=0.87 cores=1,3,5,7
/proc/13548/task/13560/stat : 13560 (java) R 13545 13548 12560 0 -1 4202560 3796 0 0 0 87 0 0 0 20 0 15 0 86226333 14313459712 50993 18446744073709551615 4194304 4196468 140725124173392 139780955800832 139781821900480 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22355968 140725124178288 140725124178473 140725124178473 140725124181967 0
[pid=13548/tid=13561] ppid=13545 vsize=13977988 memory=15540738687502695 CPUtime=0.52 cores=1,3,5,7
/proc/13548/task/13561/stat : 13561 (java) R 13545 13548 12560 0 -1 4202560 2810 0 0 0 52 0 0 0 20 0 15 0 86226333 14313459712 50993 18446744073709551615 4194304 4196468 140725124173392 139780954757088 139781821102630 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22355968 140725124178288 140725124178473 140725124178473 140725124181967 0
[pid=13548/tid=13562] ppid=13545 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13548/task/13562/stat : 13562 (java) S 13545 13548 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 86226333 14313459712 50993 18446744073709551615 4194304 4196468 140725124173392 139780953708768 139781842577109 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22355968 140725124178288 140725124178473 140725124178473 140725124181967 0
[pid=13548/tid=13563] ppid=13545 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13548/task/13563/stat : 13563 (java) S 13545 13548 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 86226336 14313459712 50993 18446744073709551615 4194304 4196468 140725124173392 139780952657072 139781842578050 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22355968 140725124178288 140725124178473 140725124178473 140725124181967 0
Current children cumulated CPU time: 3.71 s
Current children cumulated vsize: 13977988 KiB
Current children cumulated memory: 203972 KiB
[startup+3.11018 s]
/proc/loadavg: 3.05 2.48 2.22 4/209 13563
/proc/meminfo: memFree=28939792/32770624 swapFree=67105588/67108860
[pid=13548] ppid=13545 vsize=13980036 memory=265944 CPUtime=7.26 cores=1,3,5,7
/proc/13548/stat : 13548 (java) S 13545 13548 12560 0 -1 1077944320 36005 0 0 0 714 12 0 0 20 0 15 0 86226317 14315556864 66486 18446744073709551615 4194304 4196468 140725124173392 140725124155936 139781842566903 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 10 0 0 6293624 6294260 22355968 140725124178288 140725124178473 140725124178473 140725124181967 0
/proc/13548/statm: 3495009 66486 3798 1 0 3483783 0
################
# More data... #
################
/proc/13548/task/13550/stat : 13550 (java) R 13545 13548 12560 0 -1 4202560 37484 0 0 0 237020 31 0 0 20 0 15 0 86226327 14315556864 81577 18446744073709551615 4194304 4196468 140725124173392 139781846805392 139781481449113 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 22355968 140725124178288 140725124178473 140725124178473 140725124181967 0
[pid=13548/tid=13551] ppid=13545 vsize=13980036 memory=326308 CPUtime=6.67 cores=1,3,5,7
/proc/13548/task/13551/stat : 13551 (java) S 13545 13548 12560 0 -1 1077944384 7863 0 0 0 638 29 0 0 20 0 15 0 86226328 14315556864 81577 18446744073709551615 4194304 4196468 140725124173392 139781799533200 139781842577109 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22355968 140725124178288 140725124178473 140725124178473 140725124181967 0
[pid=13548/tid=13552] ppid=13545 vsize=13980036 memory=326308 CPUtime=6.76 cores=1,3,5,7
/proc/13548/task/13552/stat : 13552 (java) S 13545 13548 12560 0 -1 1077944384 9105 0 0 0 646 30 0 0 20 0 15 0 86226328 14315556864 81577 18446744073709551615 4194304 4196468 140725124173392 139781798480400 139781842577109 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22355968 140725124178288 140725124178473 140725124178473 140725124181967 0
[pid=13548/tid=13553] ppid=13545 vsize=13980036 memory=326308 CPUtime=6.73 cores=1,3,5,7
/proc/13548/task/13553/stat : 13553 (java) S 13545 13548 12560 0 -1 1077944384 9362 0 0 0 643 30 0 0 20 0 15 0 86226328 14315556864 81577 18446744073709551615 4194304 4196468 140725124173392 139781797427600 139781842577109 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22355968 140725124178288 140725124178473 140725124178473 140725124181967 0
[pid=13548/tid=13554] ppid=13545 vsize=13980036 memory=326308 CPUtime=6.68 cores=1,3,5,7
/proc/13548/task/13554/stat : 13554 (java) S 13545 13548 12560 0 -1 1077944384 7828 0 0 0 637 31 0 0 20 0 15 0 86226328 14315556864 81577 18446744073709551615 4194304 4196468 140725124173392 139781796374800 139781842577109 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22355968 140725124178288 140725124178473 140725124178473 140725124181967 0
[pid=13548/tid=13555] ppid=13545 vsize=13980036 memory=326308 CPUtime=3.17 cores=1,3,5,7
/proc/13548/task/13555/stat : 13555 (java) S 13545 13548 12560 0 -1 1077944384 15113 0 0 0 281 36 0 0 20 0 15 0 86226329 14315556864 81577 18446744073709551615 4194304 4196468 140725124173392 139780961078128 139781842578050 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22355968 140725124178288 140725124178473 140725124178473 140725124181967 0
[pid=13548/tid=13556] ppid=13545 vsize=13980036 memory=326308 CPUtime=0 cores=1,3,5,7
/proc/13548/task/13556/stat : 13556 (java) S 13545 13548 12560 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 86226330 14315556864 81577 18446744073709551615 4194304 4196468 140725124173392 139780960024160 139781842577109 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22355968 140725124178288 140725124178473 140725124178473 140725124181967 0
[pid=13548/tid=13557] ppid=13545 vsize=13980036 memory=33 CPUtime=0 cores=1,3,5,7
/proc/13548/task/13557/stat : 13557 (java) S 13545 13548 12560 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 86226330 14315556864 81577 18446744073709551615 4194304 4196468 140725124173392 139780958971264 139781842577109 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22355968 140725124178288 140725124178473 140725124178473 140725124181967 0
[pid=13548/tid=13558] ppid=13545 vsize=13980036 memory=326308 CPUtime=0 cores=1,3,5,7
/proc/13548/task/13558/stat : 13558 (java) S 13545 13548 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 86226332 14315556864 81577 18446744073709551615 4194304 4196468 140725124173392 139780957919568 139781842585499 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22355968 140725124178288 140725124178473 140725124178473 140725124181967 0
[pid=13548/tid=13559] ppid=13545 vsize=13980036 memory=280922536990240 CPUtime=1.93 cores=1,3,5,7
/proc/13548/task/13559/stat : 13559 (java) S 13545 13548 12560 0 -1 1077944384 9389 0 0 0 191 2 0 0 20 0 15 0 86226333 14315556864 81577 18446744073709551615 4194304 4196468 140725124173392 139780956866928 139781842578050 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22355968 140725124178288 140725124178473 140725124178473 140725124181967 0
[pid=13548/tid=13560] ppid=13545 vsize=13980036 memory=326308 CPUtime=1.95 cores=1,3,5,7
/proc/13548/task/13560/stat : 13560 (java) S 13545 13548 12560 0 -1 1077944384 10008 0 0 0 193 2 0 0 20 0 15 0 86226333 14315556864 81577 18446744073709551615 4194304 4196468 140725124173392 139780955814128 139781842578050 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22355968 140725124178288 140725124178473 140725124178473 140725124181967 0
[pid=13548/tid=13561] ppid=13545 vsize=13980036 memory=326308 CPUtime=0.83 cores=1,3,5,7
/proc/13548/task/13561/stat : 13561 (java) S 13545 13548 12560 0 -1 1077944384 7384 0 0 0 81 2 0 0 20 0 15 0 86226333 14315556864 81577 18446744073709551615 4194304 4196468 140725124173392 139780954761328 139781842578050 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22355968 140725124178288 140725124178473 140725124178473 140725124181967 0
[pid=13548/tid=13562] ppid=13545 vsize=13980036 memory=326308 CPUtime=0 cores=1,3,5,7
/proc/13548/task/13562/stat : 13562 (java) S 13545 13548 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 86226333 14315556864 81577 18446744073709551615 4194304 4196468 140725124173392 139780953708768 139781842577109 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22355968 140725124178288 140725124178473 140725124178473 140725124181967 0
[pid=13548/tid=13563] ppid=13545 vsize=13980036 memory=326308 CPUtime=1.33 cores=1,3,5,7
/proc/13548/task/13563/stat : 13563 (java) S 13545 13548 12560 0 -1 1077944384 925 0 0 0 57 76 0 0 20 0 15 0 86226336 14315556864 81577 18446744073709551615 4194304 4196468 140725124173392 139780952657072 139781842578050 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22355968 140725124178288 140725124178473 140725124178473 140725124181967 0
Current children cumulated CPU time: 2406.66 s
Current children cumulated vsize: 13980036 KiB
Current children cumulated memory: 326308 KiB
[startup+2442.3 s]
/proc/loadavg: 1.37 1.38 1.52 3/210 14736
/proc/meminfo: memFree=30940872/32770624 swapFree=67105588/67108860
[pid=13548] ppid=13545 vsize=13980036 memory=326308 CPUtime=2467.05 cores=1,3,5,7
/proc/13548/stat : 13548 (java) S 13545 13548 12560 0 -1 1077944320 116871 0 0 0 246467 238 0 0 20 0 15 0 86226317 14315556864 81577 18446744073709551615 4194304 4196468 140725124173392 140725124155936 139781842566903 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 10 0 0 6293624 6294260 22355968 140725124178288 140725124178473 140725124178473 140725124181967 0
/proc/13548/statm: 3495009 81577 3820 1 0 3483783 0
[pid=13548/tid=13550] ppid=13545 vsize=13980036 memory=326308 CPUtime=2430.2 cores=1,3,5,7
/proc/13548/task/13550/stat : 13550 (java) R 13545 13548 12560 0 -1 4202560 37944 0 0 0 242988 32 0 0 20 0 15 0 86226327 14315556864 81577 18446744073709551615 4194304 4196468 140725124173392 139781846805456 139781481879408 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 22355968 140725124178288 140725124178473 140725124178473 140725124181967 0
[pid=13548/tid=13551] ppid=13545 vsize=13980036 memory=326308 CPUtime=6.82 cores=1,3,5,7
/proc/13548/task/13551/stat : 13551 (java) S 13545 13548 12560 0 -1 1077944384 7882 0 0 0 653 29 0 0 20 0 15 0 86226328 14315556864 81577 18446744073709551615 4194304 4196468 140725124173392 139781799533200 139781842577109 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22355968 140725124178288 140725124178473 140725124178473 140725124181967 0
[pid=13548/tid=13552] ppid=13545 vsize=13980036 memory=326308 CPUtime=6.9 cores=1,3,5,7
/proc/13548/task/13552/stat : 13552 (java) S 13545 13548 12560 0 -1 1077944384 9252 0 0 0 660 30 0 0 20 0 15 0 86226328 14315556864 81577 18446744073709551615 4194304 4196468 140725124173392 139781798480400 139781842577109 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22355968 140725124178288 140725124178473 140725124178473 140725124181967 0
[pid=13548/tid=13553] ppid=13545 vsize=13980036 memory=326308 CPUtime=6.87 cores=1,3,5,7
/proc/13548/task/13553/stat : 13553 (java) S 13545 13548 12560 0 -1 1077944384 9483 0 0 0 657 30 0 0 20 0 15 0 86226328 14315556864 81577 18446744073709551615 4194304 4196468 140725124173392 139781797427600 139781842577109 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22355968 140725124178288 140725124178473 140725124178473 140725124181967 0
[pid=13548/tid=13554] ppid=13545 vsize=13980036 memory=326308 CPUtime=6.82 cores=1,3,5,7
/proc/13548/task/13554/stat : 13554 (java) S 13545 13548 12560 0 -1 1077944384 7859 0 0 0 651 31 0 0 20 0 15 0 86226328 14315556864 81577 18446744073709551615 4194304 4196468 140725124173392 139781796374800 139781842577109 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22355968 140725124178288 140725124178473 140725124178473 140725124181967 0
[pid=13548/tid=13555] ppid=13545 vsize=13980036 memory=326308 CPUtime=3.26 cores=1,3,5,7
/proc/13548/task/13555/stat : 13555 (java) S 13545 13548 12560 0 -1 1077944384 15288 0 0 0 289 37 0 0 20 0 15 0 86226329 14315556864 81577 18446744073709551615 4194304 4196468 140725124173392 139780961078128 139781842578050 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22355968 140725124178288 140725124178473 140725124178473 140725124181967 0
[pid=13548/tid=13556] ppid=13545 vsize=13980036 memory=326308 CPUtime=0 cores=1,3,5,7
/proc/13548/task/13556/stat : 13556 (java) S 13545 13548 12560 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 86226330 14315556864 81577 18446744073709551615 4194304 4196468 140725124173392 139780960024160 139781842577109 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22355968 140725124178288 140725124178473 140725124178473 140725124181967 0
[pid=13548/tid=13557] ppid=13545 vsize=13980036 memory=326308 CPUtime=0 cores=1,3,5,7
/proc/13548/task/13557/stat : 13557 (java) S 13545 13548 12560 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 86226330 14315556864 81577 18446744073709551615 4194304 4196468 140725124173392 139780958971264 139781842577109 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22355968 140725124178288 140725124178473 140725124178473 140725124181967 0
[pid=13548/tid=13558] ppid=13545 vsize=13980036 memory=326308 CPUtime=0 cores=1,3,5,7
/proc/13548/task/13558/stat : 13558 (java) S 13545 13548 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 86226332 14315556864 81577 18446744073709551615 4194304 4196468 140725124173392 139780957919568 139781842585499 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22355968 140725124178288 140725124178473 140725124178473 140725124181967 0
[pid=13548/tid=13559] ppid=13545 vsize=13980036 memory=28756 CPUtime=1.93 cores=1,3,5,7
/proc/13548/task/13559/stat : 13559 (java) S 13545 13548 12560 0 -1 1077944384 9391 0 0 0 191 2 0 0 20 0 15 0 86226333 14315556864 81577 18446744073709551615 4194304 4196468 140725124173392 139780956866928 139781842578050 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22355968 140725124178288 140725124178473 140725124178473 140725124181967 0
[pid=13548/tid=13560] ppid=13545 vsize=13980036 memory=326308 CPUtime=1.95 cores=1,3,5,7
/proc/13548/task/13560/stat : 13560 (java) S 13545 13548 12560 0 -1 1077944384 10010 0 0 0 193 2 0 0 20 0 15 0 86226333 14315556864 81577 18446744073709551615 4194304 4196468 140725124173392 139780955814128 139781842578050 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22355968 140725124178288 140725124178473 140725124178473 140725124181967 0
[pid=13548/tid=13561] ppid=13545 vsize=13980036 memory=326308 CPUtime=0.83 cores=1,3,5,7
/proc/13548/task/13561/stat : 13561 (java) S 13545 13548 12560 0 -1 1077944384 7386 0 0 0 81 2 0 0 20 0 15 0 86226333 14315556864 81577 18446744073709551615 4194304 4196468 140725124173392 139780954761328 139781842578050 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22355968 140725124178288 140725124178473 140725124178473 140725124181967 0
[pid=13548/tid=13562] ppid=13545 vsize=13980036 memory=326308 CPUtime=0 cores=1,3,5,7
/proc/13548/task/13562/stat : 13562 (java) S 13545 13548 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 86226333 14315556864 81577 18446744073709551615 4194304 4196468 140725124173392 139780953708768 139781842577109 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22355968 140725124178288 140725124178473 140725124178473 140725124181967 0
[pid=13548/tid=13563] ppid=13545 vsize=13980036 memory=326308 CPUtime=1.36 cores=1,3,5,7
/proc/13548/task/13563/stat : 13563 (java) S 13545 13548 12560 0 -1 1077944384 940 0 0 0 58 78 0 0 20 0 15 0 86226336 14315556864 81577 18446744073709551615 4194304 4196468 140725124173392 139780952657072 139781842578050 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22355968 140725124178288 140725124178473 140725124178473 140725124181967 0
Current children cumulated CPU time: 2467.05 s
Current children cumulated vsize: 13980036 KiB
Current children cumulated memory: 326308 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2494.9 s]
/proc/loadavg: 1.43 1.38 1.51 3/209 14738
/proc/meminfo: memFree=30935604/32770624 swapFree=67105588/67108860
[pid=13548] ppid=13545 vsize=13980036 memory=326308 CPUtime=2520.03 cores=1,3,5,7
/proc/13548/stat : 13548 (java) S 13545 13548 12560 0 -1 1077944320 117786 0 0 0 251761 242 0 0 20 0 15 0 86226317 14315556864 81577 18446744073709551615 4194304 4196468 140725124173392 140725124155936 139781842566903 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 10 0 0 6293624 6294260 22355968 140725124178288 140725124178473 140725124178473 140725124181967 0
/proc/13548/statm: 3495009 81577 3820 1 0 3483783 0
[pid=13548/tid=13550] ppid=13545 vsize=13980036 memory=326308 CPUtime=2482.53 cores=1,3,5,7
/proc/13548/task/13550/stat : 13550 (java) R 13545 13548 12560 0 -1 4202560 38383 0 0 0 248220 33 0 0 20 0 15 0 86226327 14315556864 81577 18446744073709551615 4194304 4196468 140725124173392 139781846805312 139781481976788 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 22355968 140725124178288 140725124178473 140725124178473 140725124181967 0
[pid=13548/tid=13551] ppid=13545 vsize=13980036 memory=326308 CPUtime=6.96 cores=1,3,5,7
/proc/13548/task/13551/stat : 13551 (java) S 13545 13548 12560 0 -1 1077944384 7889 0 0 0 666 30 0 0 20 0 15 0 86226328 14315556864 81577 18446744073709551615 4194304 4196468 140725124173392 139781799533200 139781842577109 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22355968 140725124178288 140725124178473 140725124178473 140725124181967 0
[pid=13548/tid=13552] ppid=13545 vsize=13980036 memory=326308 CPUtime=7.03 cores=1,3,5,7
/proc/13548/task/13552/stat : 13552 (java) S 13545 13548 12560 0 -1 1077944384 9301 0 0 0 673 30 0 0 20 0 15 0 86226328 14315556864 81577 18446744073709551615 4194304 4196468 140725124173392 139781798480400 139781842577109 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22355968 140725124178288 140725124178473 140725124178473 140725124181967 0
[pid=13548/tid=13553] ppid=13545 vsize=13980036 memory=326308 CPUtime=7 cores=1,3,5,7
/proc/13548/task/13553/stat : 13553 (java) S 13545 13548 12560 0 -1 1077944384 9616 0 0 0 669 31 0 0 20 0 15 0 86226328 14315556864 81577 18446744073709551615 4194304 4196468 140725124173392 139781797427600 139781842577109 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22355968 140725124178288 140725124178473 140725124178473 140725124181967 0
[pid=13548/tid=13554] ppid=13545 vsize=13980036 memory=326308 CPUtime=6.96 cores=1,3,5,7
/proc/13548/task/13554/stat : 13554 (java) S 13545 13548 12560 0 -1 1077944384 7950 0 0 0 664 32 0 0 20 0 15 0 86226328 14315556864 81577 18446744073709551615 4194304 4196468 140725124173392 139781796374800 139781842577109 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22355968 140725124178288 140725124178473 140725124178473 140725124181967 0
[pid=13548/tid=13555] ppid=13545 vsize=13980036 memory=326308 CPUtime=3.33 cores=1,3,5,7
/proc/13548/task/13555/stat : 13555 (java) S 13545 13548 12560 0 -1 1077944384 15464 0 0 0 296 37 0 0 20 0 15 0 86226329 14315556864 81577 18446744073709551615 4194304 4196468 140725124173392 139780961078128 139781842578050 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22355968 140725124178288 140725124178473 140725124178473 140725124181967 0
[pid=13548/tid=13556] ppid=13545 vsize=13980036 memory=326308 CPUtime=0 cores=1,3,5,7
/proc/13548/task/13556/stat : 13556 (java) S 13545 13548 12560 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 86226330 14315556864 81577 18446744073709551615 4194304 4196468 140725124173392 139780960024160 139781842577109 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22355968 140725124178288 140725124178473 140725124178473 140725124181967 0
[pid=13548/tid=13557] ppid=13545 vsize=13980036 memory=326308 CPUtime=0 cores=1,3,5,7
/proc/13548/task/13557/stat : 13557 (java) S 13545 13548 12560 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 86226330 14315556864 81577 18446744073709551615 4194304 4196468 140725124173392 139780958971264 139781842577109 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22355968 140725124178288 140725124178473 140725124178473 140725124181967 0
[pid=13548/tid=13558] ppid=13545 vsize=13980036 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13548/task/13558/stat : 13558 (java) S 13545 13548 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 86226332 14315556864 81577 18446744073709551615 4194304 4196468 140725124173392 139780957919568 139781842585499 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22355968 140725124178288 140725124178473 140725124178473 140725124181967 0
[pid=13548/tid=13559] ppid=13545 vsize=13980036 memory=326308 CPUtime=1.93 cores=1,3,5,7
/proc/13548/task/13559/stat : 13559 (java) S 13545 13548 12560 0 -1 1077944384 9393 0 0 0 191 2 0 0 20 0 15 0 86226333 14315556864 81577 18446744073709551615 4194304 4196468 140725124173392 139780956866928 139781842578050 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22355968 140725124178288 140725124178473 140725124178473 140725124181967 0
[pid=13548/tid=13560] ppid=13545 vsize=13980036 memory=326308 CPUtime=1.95 cores=1,3,5,7
/proc/13548/task/13560/stat : 13560 (java) S 13545 13548 12560 0 -1 1077944384 10012 0 0 0 193 2 0 0 20 0 15 0 86226333 14315556864 81577 18446744073709551615 4194304 4196468 140725124173392 139780955814128 139781842578050 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22355968 140725124178288 140725124178473 140725124178473 140725124181967 0
[pid=13548/tid=13561] ppid=13545 vsize=13980036 memory=326308 CPUtime=0.83 cores=1,3,5,7
/proc/13548/task/13561/stat : 13561 (java) S 13545 13548 12560 0 -1 1077944384 7388 0 0 0 81 2 0 0 20 0 15 0 86226333 14315556864 81577 18446744073709551615 4194304 4196468 140725124173392 139780954761328 139781842578050 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22355968 140725124178288 140725124178473 140725124178473 140725124181967 0
[pid=13548/tid=13562] ppid=13545 vsize=13980036 memory=3908 CPUtime=0 cores=1,3,5,7
/proc/13548/task/13562/stat : 13562 (java) S 13545 13548 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 86226333 14315556864 81577 18446744073709551615 4194304 4196468 140725124173392 139780953708768 139781842577109 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22355968 140725124178288 140725124178473 140725124178473 140725124181967 0
[pid=13548/tid=13563] ppid=13545 vsize=13980036 memory=326308 CPUtime=1.39 cores=1,3,5,7
/proc/13548/task/13563/stat : 13563 (java) S 13545 13548 12560 0 -1 1077944384 954 0 0 0 59 80 0 0 20 0 15 0 86226336 14315556864 81577 18446744073709551615 4194304 4196468 140725124173392 139780952657072 139781842578050 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22355968 140725124178288 140725124178473 140725124178473 140725124181967 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 13980036 KiB
Current children cumulated memory: 326308 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2494.91 s]
# the end of solver process 13548 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.62 s, system=2.42436 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2494.9 s]
/proc/loadavg: 1.43 1.38 1.51 3/209 14738
/proc/meminfo: memFree=30935604/32770624 swapFree=67105588/67108860
[pid=13548] ppid=13545 vsize=13980036 memory=326308 CPUtime=2520.03 cores=1,3,5,7
/proc/13548/stat : 13548 (java) S 13545 13548 12560 0 -1 1077944320 117786 0 0 0 251761 242 0 0 20 0 15 0 86226317 14315556864 81577 18446744073709551615 4194304 4196468 140725124173392 140725124155936 139781842566903 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 10 0 0 6293624 6294260 22355968 140725124178288 140725124178473 140725124178473 140725124181967 0
/proc/13548/statm: 3495009 81577 3820 1 0 3483783 0
[pid=13548/tid=13550] ppid=13545 vsize=13980036 memory=326308 CPUtime=2482.53 cores=1,3,5,7
/proc/13548/task/13550/stat : 13550 (java) R 13545 13548 12560 0 -1 4202560 38383 0 0 0 248220 33 0 0 20 0 15 0 86226327 14315556864 81577 18446744073709551615 4194304 4196468 140725124173392 139781846805312 139781481976788 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 22355968 140725124178288 140725124178473 140725124178473 140725124181967 0
[pid=13548/tid=13551] ppid=13545 vsize=13980036 memory=326308 CPUtime=6.96 cores=1,3,5,7
/proc/13548/task/13551/stat : 13551 (java) S 13545 13548 12560 0 -1 1077944384 7889 0 0 0 666 30 0 0 20 0 15 0 86226328 14315556864 81577 18446744073709551615 4194304 4196468 140725124173392 139781799533200 139781842577109 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22355968 140725124178288 140725124178473 140725124178473 140725124181967 0
[pid=13548/tid=13552] ppid=13545 vsize=13980036 memory=326308 CPUtime=7.03 cores=1,3,5,7
/proc/13548/task/13552/stat : 13552 (java) S 13545 13548 12560 0 -1 1077944384 9301 0 0 0 673 30 0 0 20 0 15 0 86226328 14315556864 81577 18446744073709551615 4194304 4196468 140725124173392 139781798480400 139781842577109 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22355968 140725124178288 140725124178473 140725124178473 140725124181967 0
[pid=13548/tid=13553] ppid=13545 vsize=13980036 memory=326308 CPUtime=7 cores=1,3,5,7
/proc/13548/task/13553/stat : 13553 (java) S 13545 13548 12560 0 -1 1077944384 9616 0 0 0 669 31 0 0 20 0 15 0 86226328 14315556864 81577 18446744073709551615 4194304 4196468 140725124173392 139781797427600 139781842577109 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22355968 140725124178288 140725124178473 140725124178473 140725124181967 0
[pid=13548/tid=13554] ppid=13545 vsize=13980036 memory=326308 CPUtime=6.96 cores=1,3,5,7
/proc/13548/task/13554/stat : 13554 (java) S 13545 13548 12560 0 -1 1077944384 7950 0 0 0 664 32 0 0 20 0 15 0 86226328 14315556864 81577 18446744073709551615 4194304 4196468 140725124173392 139781796374800 139781842577109 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22355968 140725124178288 140725124178473 140725124178473 140725124181967 0
[pid=13548/tid=13555] ppid=13545 vsize=13980036 memory=326308 CPUtime=3.33 cores=1,3,5,7
/proc/13548/task/13555/stat : 13555 (java) S 13545 13548 12560 0 -1 1077944384 15464 0 0 0 296 37 0 0 20 0 15 0 86226329 14315556864 81577 18446744073709551615 4194304 4196468 140725124173392 139780961078128 139781842578050 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22355968 140725124178288 140725124178473 140725124178473 140725124181967 0
[pid=13548/tid=13556] ppid=13545 vsize=13980036 memory=326308 CPUtime=0 cores=1,3,5,7
/proc/13548/task/13556/stat : 13556 (java) S 13545 13548 12560 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 86226330 14315556864 81577 18446744073709551615 4194304 4196468 140725124173392 139780960024160 139781842577109 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22355968 140725124178288 140725124178473 140725124178473 140725124181967 0
[pid=13548/tid=13557] ppid=13545 vsize=13980036 memory=326308 CPUtime=0 cores=1,3,5,7
/proc/13548/task/13557/stat : 13557 (java) S 13545 13548 12560 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 86226330 14315556864 81577 18446744073709551615 4194304 4196468 140725124173392 139780958971264 139781842577109 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22355968 140725124178288 140725124178473 140725124178473 140725124181967 0
[pid=13548/tid=13558] ppid=13545 vsize=13980036 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13548/task/13558/stat : 13558 (java) S 13545 13548 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 86226332 14315556864 81577 18446744073709551615 4194304 4196468 140725124173392 139780957919568 139781842585499 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22355968 140725124178288 140725124178473 140725124178473 140725124181967 0
[pid=13548/tid=13559] ppid=13545 vsize=13980036 memory=326308 CPUtime=1.93 cores=1,3,5,7
/proc/13548/task/13559/stat : 13559 (java) S 13545 13548 12560 0 -1 1077944384 9393 0 0 0 191 2 0 0 20 0 15 0 86226333 14315556864 81577 18446744073709551615 4194304 4196468 140725124173392 139780956866928 139781842578050 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22355968 140725124178288 140725124178473 140725124178473 140725124181967 0
[pid=13548/tid=13560] ppid=13545 vsize=13980036 memory=326308 CPUtime=1.95 cores=1,3,5,7
/proc/13548/task/13560/stat : 13560 (java) S 13545 13548 12560 0 -1 1077944384 10012 0 0 0 193 2 0 0 20 0 15 0 86226333 14315556864 81577 18446744073709551615 4194304 4196468 140725124173392 139780955814128 139781842578050 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22355968 140725124178288 140725124178473 140725124178473 140725124181967 0
[pid=13548/tid=13561] ppid=13545 vsize=13980036 memory=326308 CPUtime=0.83 cores=1,3,5,7
/proc/13548/task/13561/stat : 13561 (java) S 13545 13548 12560 0 -1 1077944384 7388 0 0 0 81 2 0 0 20 0 15 0 86226333 14315556864 81577 18446744073709551615 4194304 4196468 140725124173392 139780954761328 139781842578050 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22355968 140725124178288 140725124178473 140725124178473 140725124181967 0
[pid=13548/tid=13562] ppid=13545 vsize=13980036 memory=3908 CPUtime=0 cores=1,3,5,7
/proc/13548/task/13562/stat : 13562 (java) S 13545 13548 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 86226333 14315556864 81577 18446744073709551615 4194304 4196468 140725124173392 139780953708768 139781842577109 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22355968 140725124178288 140725124178473 140725124178473 140725124181967 0
[pid=13548/tid=13563] ppid=13545 vsize=13980036 memory=326308 CPUtime=1.39 cores=1,3,5,7
/proc/13548/task/13563/stat : 13563 (java) S 13545 13548 12560 0 -1 1077944384 954 0 0 0 59 80 0 0 20 0 15 0 86226336 14315556864 81577 18446744073709551615 4194304 4196468 140725124173392 139780952657072 139781842578050 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22355968 140725124178288 140725124178473 140725124178473 140725124181967 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 13980036 KiB
Current children cumulated memory: 326308 KiB
Child status: 143
Real time (s): 2494.91
CPU time (s): 2520.05
CPU user time (s): 2517.62
CPU system time (s): 2.42436
CPU usage (%): 101.008
Max. virtual memory (cumulated for all children) (KiB): 13980036
Max. memory (cumulated for all children) (KiB): 1176616
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.62
system time used= 2.42435
maximum resident set size= 1183784
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 117979
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3080
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 142623
involuntary context switches= 6443
# summary of solver processes directly reported to runsolver:
# pid: 13548
# total CPU time (s): 2520.05
# total CPU user time (s): 2517.62
# total CPU system time (s): 2.42436
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.2891 second user time and 24.1146 second system time
The end