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 (4990 MiB free)
memory of node 1: 16384 MiB (13320 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294961-1532506027/watcher-4294961-1532506027 -o /tmp/evaluation-result-4294961-1532506027/solver-4294961-1532506027 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1532498695-4224 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=2003029688 -superng HOME/instance-4294961-1532506027.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=5494, runsolver pid=5491
[startup+0.100057 s]*
/proc/loadavg: 1.42 1.45 1.53 3/209 5551
/proc/meminfo: memFree=18743936/32770624 swapFree=67108860/67108860
[pid=5494] ppid=5491 vsize=9972712 memory=16812 CPUtime=0.09 cores=1,3,5,7
/proc/5494/stat : 5494 (java) S 5491 5494 4192 0 -1 1077944320 4339 13027 0 0 1 0 5 3 20 0 6 0 68165858 10212057088 4203 33554432000 4194304 4196468 140735549851824 140735549834368 139875853524727 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31268864 140735549855915 140735549859164 140735549859164 140735549861839 0
/proc/5494/statm: 2493178 4203 1934 1 0 2481616 0
[pid=5494/tid=5547] ppid=5491 vsize=9972712 memory=4718545630382498451 CPUtime=0.08 cores=1,3,5,7
/proc/5494/task/5547/stat : 5547 (java) R 5491 5494 4192 0 -1 4202560 2178 13027 0 0 0 0 5 3 20 0 6 0 68165867 10212057088 4203 33554432000 4194304 4196468 140735549851824 139875825361488 139875837605214 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31268864 140735549855915 140735549859164 140735549859164 140735549861839 0
[pid=5494/tid=5548] ppid=5491 vsize=9972712 memory=5793855230242822585 CPUtime=0.08 cores=1,3,5,7
/proc/5494/task/5548/stat : 5548 (java) S 5491 5494 4192 0 -1 1077944384 1 13027 0 0 0 0 5 3 20 0 6 0 68165867 10212057088 4203 33554432000 4194304 4196468 140735549851824 139875857766800 139875853534933 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31268864 140735549855915 140735549859164 140735549859164 140735549861839 0
[pid=5494/tid=5549] ppid=5491 vsize=9972712 memory=139979232929408 CPUtime=0.08 cores=1,3,5,7
/proc/5494/task/5549/stat : 5549 (java) S 5491 5494 4192 0 -1 1077944384 1 13027 0 0 0 0 5 3 20 0 6 0 68165867 10212057088 4203 33554432000 4194304 4196468 140735549851824 139875746040080 139875853534933 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31268864 140735549855915 140735549859164 140735549859164 140735549861839 0
[pid=5494/tid=5550] ppid=5491 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5494/task/5550/stat : 5550 (java) S 5491 5494 4192 0 -1 1077944384 1 13027 0 0 0 0 5 3 20 0 6 0 68165867 10212057088 4203 33554432000 4194304 4196468 140735549851824 139875744987792 139875853534933 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31268864 140735549855915 140735549859164 140735549859164 140735549861839 0
[pid=5494/tid=5551] ppid=5491 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5494/task/5551/stat : 5551 (java) S 5491 5494 4192 0 -1 1077944384 2 13027 0 0 0 0 5 3 20 0 6 0 68165867 10212057088 4203 33554432000 4194304 4196468 140735549851824 139875424659984 139875853534933 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31268864 140735549855915 140735549859164 140735549859164 140735549861839 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 16812 KiB
[startup+0.21039 s]*
/proc/loadavg: 1.42 1.45 1.53 3/218 5560
/proc/meminfo: memFree=18717348/32770624 swapFree=67108860/67108860
[pid=5494] ppid=5491 vsize=10818904 memory=47188 CPUtime=0.26 cores=1,3,5,7
/proc/5494/stat : 5494 (java) S 5491 5494 4192 0 -1 1077944320 8070 13027 0 0 17 1 5 3 20 0 15 0 68165858 11078557696 11797 33554432000 4194304 4196468 140735549851824 140735549834368 139875853524727 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31268864 140735549855915 140735549859164 140735549859164 140735549861839 0
/proc/5494/statm: 2704726 11797 2933 1 0 2667149 0
[pid=5494/tid=5547] ppid=5491 vsize=10819896 memory=-2899909650764262549 CPUtime=0.19 cores=1,3,5,7
/proc/5494/task/5547/stat : 5547 (java) R 5491 5494 4192 0 -1 4202560 4871 13027 0 0 10 1 5 3 20 0 15 0 68165867 11079573504 11995 33554432000 4194304 4196468 140735549851824 139875825349536 139875846204445 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31268864 140735549855915 140735549859164 140735549859164 140735549861839 0
[pid=5494/tid=5548] ppid=5491 vsize=10819896 memory=4211973705437719946 CPUtime=0.08 cores=1,3,5,7
/proc/5494/task/5548/stat : 5548 (java) S 5491 5494 4192 0 -1 1077944384 1 13027 0 0 0 0 5 3 20 0 15 0 68165867 11079573504 11995 33554432000 4194304 4196468 140735549851824 139875857766800 139875853534933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31268864 140735549855915 140735549859164 140735549859164 140735549861839 0
[pid=5494/tid=5549] ppid=5491 vsize=10819896 memory=139979232929408 CPUtime=0.08 cores=1,3,5,7
/proc/5494/task/5549/stat : 5549 (java) S 5491 5494 4192 0 -1 1077944384 1 13027 0 0 0 0 5 3 20 0 15 0 68165867 11079573504 11995 33554432000 4194304 4196468 140735549851824 139875746040080 139875853534933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31268864 140735549855915 140735549859164 140735549859164 140735549861839 0
[pid=5494/tid=5550] ppid=5491 vsize=10819896 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5494/task/5550/stat : 5550 (java) S 5491 5494 4192 0 -1 1077944384 1 13027 0 0 0 0 5 3 20 0 15 0 68165867 11079573504 11995 33554432000 4194304 4196468 140735549851824 139875744987792 139875853534933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31268864 140735549855915 140735549859164 140735549859164 140735549861839 0
[pid=5494/tid=5551] ppid=5491 vsize=10819896 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/5494/task/5551/stat : 5551 (java) S 5491 5494 4192 0 -1 1077944384 2 13027 0 0 0 0 5 3 20 0 15 0 68165867 11079573504 12061 33554432000 4194304 4196468 140735549851824 139875424659984 139875853534933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31268864 140735549855915 140735549859164 140735549859164 140735549861839 0
[pid=5494/tid=5552] ppid=5491 vsize=10819896 memory=139979232929408 CPUtime=0.08 cores=1,3,5,7
/proc/5494/task/5552/stat : 5552 (java) S 5491 5494 4192 0 -1 1077944384 2 13027 0 0 0 0 5 3 20 0 15 0 68165869 11079573504 12061 33554432000 4194304 4196468 140735549851824 139875312999024 139875853535874 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31268864 140735549855915 140735549859164 140735549859164 140735549861839 0
[pid=5494/tid=5553] ppid=5491 vsize=10819896 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/5494/task/5553/stat : 5553 (java) S 5491 5494 4192 0 -1 1077944384 33 13027 0 0 0 0 5 3 20 0 15 0 68165869 11079573504 12061 33554432000 4194304 4196468 140735549851824 139875311944992 139875853534933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31268864 140735549855915 140735549859164 140735549859164 140735549861839 0
[pid=5494/tid=5554] ppid=5491 vsize=10821524 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5494/task/5554/stat : 5554 (java) S 5491 5494 4192 0 -1 1077944384 1 13027 0 0 0 0 5 3 20 0 15 0 68165870 11081240576 12061 33554432000 4194304 4196468 140735549851824 139875206555248 139875853534933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31268864 140735549855915 140735549859164 140735549859164 140735549861839 0
[pid=5494/tid=5555] ppid=5491 vsize=10821524 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5494/task/5555/stat : 5555 (java) S 5491 5494 4192 0 -1 1077944384 2 13027 0 0 0 0 5 3 20 0 15 0 68165872 11081240576 12061 33554432000 4194304 4196468 140735549851824 139874602576464 139875853543323 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31268864 140735549855915 140735549859164 140735549859164 140735549861839 0
[pid=5494/tid=5556] ppid=5491 vsize=10821524 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/5494/task/5556/stat : 5556 (java) S 5491 5494 4192 0 -1 1077944384 520 13027 0 0 1 0 5 3 20 0 15 0 68165872 11081240576 12127 33554432000 4194304 4196468 140735549851824 139875278387312 139875853535874 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31268864 140735549855915 140735549859164 140735549859164 140735549861839 0
[pid=5494/tid=5557] ppid=5491 vsize=10821524 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/5494/task/5557/stat : 5557 (java) S 5491 5494 4192 0 -1 1077944384 57 13027 0 0 0 0 5 3 20 0 15 0 68165872 11081240576 12127 33554432000 4194304 4196468 140735549851824 139875277334512 139875853535874 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31268864 140735549855915 140735549859164 140735549859164 140735549861839 0
[pid=5494/tid=5558] ppid=5491 vsize=10821524 memory=139979232929408 CPUtime=0.11 cores=1,3,5,7
/proc/5494/task/5558/stat : 5558 (java) S 5491 5494 4192 0 -1 1077944384 554 13027 0 0 3 0 5 3 20 0 15 0 68165872 11081240576 12127 33554432000 4194304 4196468 140735549851824 139875276282224 139875853535874 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31268864 140735549855915 140735549859164 140735549859164 140735549861839 0
[pid=5494/tid=5559] ppid=5491 vsize=10821524 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/5494/task/5559/stat : 5559 (java) S 5491 5494 4192 0 -1 1077944384 3 13027 0 0 0 0 5 3 20 0 15 0 68165873 11081240576 12127 33554432000 4194304 4196468 140735549851824 139874132814304 139875853534933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31268864 140735549855915 140735549859164 140735549859164 140735549861839 0
[pid=5494/tid=5560] ppid=5491 vsize=10821524 memory=139979232929408 CPUtime=0.08 cores=1,3,5,7
/proc/5494/task/5560/stat : 5560 (java) S 5491 5494 4192 0 -1 1077944384 1 13027 0 0 0 0 5 3 20 0 15 0 68165873 11081240576 12193 33554432000 4194304 4196468 140735549851824 139875275230128 139875853535874 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31268864 140735549855915 140735549859164 140735549859164 140735549861839 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10818904 KiB
Current children cumulated memory: 47188 KiB
[startup+0.310531 s]*
/proc/loadavg: 1.42 1.45 1.53 3/218 5560
/proc/meminfo: memFree=18706184/32770624 swapFree=67108860/67108860
[pid=5494] ppid=5491 vsize=10819352 memory=57852 CPUtime=0.38 cores=1,3,5,7
/proc/5494/stat : 5494 (java) S 5491 5494 4192 0 -1 1077944320 10562 13027 0 0 28 2 5 3 20 0 15 0 68165858 11079016448 14463 33554432000 4194304 4196468 140735549851824 140735549834368 139875853524727 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31268864 140735549855915 140735549859164 140735549859164 140735549861839 0
/proc/5494/statm: 2704838 14463 3052 1 0 2667149 0
[pid=5494/tid=5547] ppid=5491 vsize=10819352 memory=8112282956445269571 CPUtime=0.29 cores=1,3,5,7
/proc/5494/task/5547/stat : 5547 (java) R 5491 5494 4192 0 -1 4202560 7195 13027 0 0 19 2 5 3 20 0 15 0 68165867 11079016448 14463 33554432000 4194304 4196468 140735549851824 139875825336736 139875837568357 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31268864 140735549855915 140735549859164 140735549859164 140735549861839 0
[pid=5494/tid=5548] ppid=5491 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5494/task/5548/stat : 5548 (java) S 5491 5494 4192 0 -1 1077944384 1 13027 0 0 0 0 5 3 20 0 15 0 68165867 11079016448 14463 33554432000 4194304 4196468 140735549851824 139875857766800 139875853534933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31268864 140735549855915 140735549859164 140735549859164 140735549861839 0
[pid=5494/tid=5549] ppid=5491 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5494/task/5549/stat : 5549 (java) S 5491 5494 4192 0 -1 1077944384 1 13027 0 0 0 0 5 3 20 0 15 0 68165867 11079016448 14463 33554432000 4194304 4196468 140735549851824 139875746040080 139875853534933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31268864 140735549855915 140735549859164 140735549859164 140735549861839 0
[pid=5494/tid=5550] ppid=5491 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5494/task/5550/stat : 5550 (java) S 5491 5494 4192 0 -1 1077944384 1 13027 0 0 0 0 5 3 20 0 15 0 68165867 11079016448 14463 33554432000 4194304 4196468 140735549851824 139875744987792 139875853534933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31268864 140735549855915 140735549859164 140735549859164 140735549861839 0
[pid=5494/tid=5551] ppid=5491 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/5494/task/5551/stat : 5551 (java) S 5491 5494 4192 0 -1 1077944384 2 13027 0 0 0 0 5 3 20 0 15 0 68165867 11079016448 14463 33554432000 4194304 4196468 140735549851824 139875424659984 139875853534933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31268864 140735549855915 140735549859164 140735549859164 140735549861839 0
[pid=5494/tid=5552] ppid=5491 vsize=10819352 memory=139979232929407 CPUtime=0.08 cores=1,3,5,7
/proc/5494/task/5552/stat : 5552 (java) S 5491 5494 4192 0 -1 1077944384 2 13027 0 0 0 0 5 3 20 0 15 0 68165869 11079016448 14463 33554432000 4194304 4196468 140735549851824 139875312999024 139875853535874 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31268864 140735549855915 140735549859164 140735549859164 140735549861839 0
[pid=5494/tid=5553] ppid=5491 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/5494/task/5553/stat : 5553 (java) S 5491 5494 4192 0 -1 1077944384 33 13027 0 0 0 0 5 3 20 0 15 0 68165869 11079016448 14463 33554432000 4194304 4196468 140735549851824 139875311944992 139875853534933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31268864 140735549855915 140735549859164 140735549859164 140735549861839 0
[pid=5494/tid=5554] ppid=5491 vsize=10819352 memory=139979232929408 CPUtime=0.08 cores=1,3,5,7
/proc/5494/task/5554/stat : 5554 (java) S 5491 5494 4192 0 -1 1077944384 1 13027 0 0 0 0 5 3 20 0 15 0 68165870 11079016448 14463 33554432000 4194304 4196468 140735549851824 139875206555248 139875853534933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31268864 140735549855915 140735549859164 140735549859164 140735549861839 0
[pid=5494/tid=5555] ppid=5491 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/5494/task/5555/stat : 5555 (java) S 5491 5494 4192 0 -1 1077944384 2 13027 0 0 0 0 5 3 20 0 15 0 68165872 11079016448 14463 33554432000 4194304 4196468 140735549851824 139874602576464 139875853543323 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31268864 140735549855915 140735549859164 140735549859164 140735549861839 0
[pid=5494/tid=5556] ppid=5491 vsize=10819352 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/5494/task/5556/stat : 5556 (java) R 5491 5494 4192 0 -1 4202560 520 13027 0 0 2 0 5 3 20 0 15 0 68165872 11079016448 14463 33554432000 4194304 4196468 140735549851824 139875278387312 139875853546074 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31268864 140735549855915 140735549859164 140735549859164 140735549861839 0
[pid=5494/tid=5557] ppid=5491 vsize=10819352 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/5494/task/5557/stat : 5557 (java) S 5491 5494 4192 0 -1 1077944384 58 13027 0 0 1 0 5 3 20 0 15 0 68165872 11079016448 14463 33554432000 4194304 4196468 140735549851824 139875277334512 139875853535874 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31268864 140735549855915 140735549859164 140735549859164 140735549861839 0
[pid=5494/tid=5558] ppid=5491 vsize=10819352 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/5494/task/5558/stat : 5558 (java) S 5491 5494 4192 0 -1 1077944384 559 13027 0 0 4 0 5 3 20 0 15 0 68165872 11079016448 14463 33554432000 4194304 4196468 140735549851824 139875276282224 139875853535874 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31268864 140735549855915 140735549859164 140735549859164 140735549861839 0
[pid=5494/tid=5559] ppid=5491 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5494/task/5559/stat : 5559 (java) S 5491 5494 4192 0 -1 1077944384 3 13027 0 0 0 0 5 3 20 0 15 0 68165873 11079016448 14463 33554432000 4194304 4196468 140735549851824 139874132814304 139875853534933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31268864 140735549855915 140735549859164 140735549859164 140735549861839 0
[pid=5494/tid=5560] ppid=5491 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5494/task/5560/stat : 5560 (java) S 5491 5494 4192 0 -1 1077944384 1 13027 0 0 0 0 5 3 20 0 15 0 68165873 11079016448 14463 33554432000 4194304 4196468 140735549851824 139875275230128 139875853535874 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31268864 140735549855915 140735549859164 140735549859164 140735549861839 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 57852 KiB
[startup+0.70075 s]
/proc/loadavg: 1.42 1.45 1.53 3/218 5560
/proc/meminfo: memFree=18695020/32770624 swapFree=67108860/67108860
[pid=5494] ppid=5491 vsize=10819352 memory=90716 CPUtime=0.99 cores=1,3,5,7
/proc/5494/stat : 5494 (java) S 5491 5494 4192 0 -1 1077944320 16764 13027 0 0 87 4 5 3 20 0 15 0 68165858 11079016448 22679 33554432000 4194304 4196468 140735549851824 140735549834368 139875853524727 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31268864 140735549855915 140735549859164 140735549859164 140735549861839 0
/proc/5494/statm: 2704838 22679 3238 1 0 2667149 0
[pid=5494/tid=5547] ppid=5491 vsize=10819352 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/5494/task/5547/stat : 5547 (java) R 5491 5494 4192 0 -1 4202560 12327 13027 0 0 55 3 5 3 20 0 15 0 68165867 11079016448 22679 33554432000 4194304 4196468 140735549851824 139875825345552 139875838690382 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31268864 140735549855915 140735549859164 140735549859164 140735549861839 0
[pid=5494/tid=5548] ppid=5491 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5494/task/5548/stat : 5548 (java) S 5491 5494 4192 0 -1 1077944384 1 13027 0 0 0 0 5 3 20 0 15 0 68165867 11079016448 22679 33554432000 4194304 4196468 140735549851824 139875857766800 139875853534933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31268864 140735549855915 140735549859164 140735549859164 140735549861839 0
[pid=5494/tid=5549] ppid=5491 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5494/task/5549/stat : 5549 (java) S 5491 5494 4192 0 -1 1077944384 1 13027 0 0 0 0 5 3 20 0 15 0 68165867 11079016448 22679 33554432000 4194304 4196468 140735549851824 139875746040080 139875853534933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31268864 140735549855915 140735549859164 140735549859164 140735549861839 0
[pid=5494/tid=5550] ppid=5491 vsize=10819352 memory=4132 CPUtime=0.08 cores=1,3,5,7
/proc/5494/task/5550/stat : 5550 (java) S 5491 5494 4192 0 -1 1077944384 1 13027 0 0 0 0 5 3 20 0 15 0 68165867 11079016448 22679 33554432000 4194304 4196468 140735549851824 139875744987792 139875853534933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31268864 140735549855915 140735549859164 140735549859164 140735549861839 0
[pid=5494/tid=5551] ppid=5491 vsize=10819352 memory=2241 CPUtime=0.08 cores=1,3,5,7
/proc/5494/task/5551/stat : 5551 (java) S 5491 5494 4192 0 -1 1077944384 2 13027 0 0 0 0 5 3 20 0 15 0 68165867 11079016448 22679 33554432000 4194304 4196468 140735549851824 139875424659984 139875853534933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31268864 140735549855915 140735549859164 140735549859164 140735549861839 0
[pid=5494/tid=5552] ppid=5491 vsize=10819352 memory=2244 CPUtime=0.08 cores=1,3,5,7
/proc/5494/task/5552/stat : 5552 (java) S 5491 5494 4192 0 -1 1077944384 5 13027 0 0 0 0 5 3 20 0 15 0 68165869 11079016448 22679 33554432000 4194304 4196468 140735549851824 139875312999024 139875853535874 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31268864 140735549855915 140735549859164 140735549859164 140735549861839 0
[pid=5494/tid=5553] ppid=5491 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5494/task/5553/stat : 5553 (java) S 5491 5494 4192 0 -1 1077944384 33 13027 0 0 0 0 5 3 20 0 15 0 68165869 11079016448 22679 33554432000 4194304 4196468 140735549851824 139875311944992 139875853534933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31268864 140735549855915 140735549859164 140735549859164 140735549861839 0
[pid=5494/tid=5554] ppid=5491 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5494/task/5554/stat : 5554 (java) S 5491 5494 4192 0 -1 1077944384 1 13027 0 0 0 0 5 3 20 0 15 0 68165870 11079016448 22679 33554432000 4194304 4196468 140735549851824 139875206555248 139875853534933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31268864 140735549855915 140735549859164 140735549859164 140735549861839 0
[pid=5494/tid=5555] ppid=5491 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5494/task/5555/stat : 5555 (java) S 5491 5494 4192 0 -1 1077944384 2 13027 0 0 0 0 5 3 20 0 15 0 68165872 11079016448 22679 33554432000 4194304 4196468 140735549851824 139874602576464 139875853543323 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31268864 140735549855915 140735549859164 140735549859164 140735549861839 0
[pid=5494/tid=5556] ppid=5491 vsize=10819352 memory=30305 CPUtime=0.15 cores=1,3,5,7
/proc/5494/task/5556/stat : 5556 (java) S 5491 5494 4192 0 -1 1077944384 887 13027 0 0 7 0 5 3 20 0 15 0 68165872 11079016448 22679 33554432000 4194304 4196468 140735549851824 139875278387312 139875853535874 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31268864 140735549855915 140735549859164 140735549859164 140735549861839 0
[pid=5494/tid=5557] ppid=5491 vsize=10819352 memory=0 CPUtime=0.18 cores=1,3,5,7
/proc/5494/task/5557/stat : 5557 (java) S 5491 5494 4192 0 -1 1077944384 674 13027 0 0 10 0 5 3 20 0 15 0 68165872 11079016448 22679 33554432000 4194304 4196468 140735549851824 139875277334512 139875853535874 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31268864 140735549855915 140735549859164 140735549859164 140735549861839 0
[pid=5494/tid=5558] ppid=5491 vsize=10819352 memory=3533419649945857444 CPUtime=0.21 cores=1,3,5,7
/proc/5494/task/5558/stat : 5558 (java) S 5491 5494 4192 0 -1 1077944384 635 13027 0 0 13 0 5 3 20 0 15 0 68165872 11079016448 22679 33554432000 4194304 4196468 140735549851824 139875276282224 139875853535874 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31268864 140735549855915 140735549859164 140735549859164 140735549861839 0
[pid=5494/tid=5559] ppid=5491 vsize=10819352 memory=-6305717191599283840 CPUtime=0.08 cores=1,3,5,7
/proc/5494/task/5559/stat : 5559 (java) S 5491 5494 4192 0 -1 1077944384 3 13027 0 0 0 0 5 3 20 0 15 0 68165873 11079016448 22679 33554432000 4194304 4196468 140735549851824 139874132814304 139875853534933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31268864 140735549855915 140735549859164 140735549859164 140735549861839 0
[pid=5494/tid=5560] ppid=5491 vsize=10819352 memory=-7094132109863559211 CPUtime=0.08 cores=1,3,5,7
/proc/5494/task/5560/stat : 5560 (java) S 5491 5494 4192 0 -1 1077944384 1 13027 0 0 0 0 5 3 20 0 15 0 68165873 11079016448 22679 33554432000 4194304 4196468 140735549851824 139875275230128 139875853535874 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31268864 140735549855915 140735549859164 140735549859164 140735549861839 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 90716 KiB
[startup+1.50074 s]
/proc/loadavg: 1.42 1.45 1.53 3/218 5560
/proc/meminfo: memFree=18648572/32770624 swapFree=67108860/67108860
[pid=5494] ppid=5491 vsize=10834252 memory=199512 CPUtime=2.88 cores=1,3,5,7
/proc/5494/stat : 5494 (java) S 5491 5494 4192 0 -1 1077944320 26620 13027 0 0 270 10 5 3 20 0 15 0 68165858 11094274048 49878 33554432000 4194304 4196468 140735549851824 140735549834368 139875853524727 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31268864 140735549855915 140735549859164 140735549859164 140735549861839 0
/proc/5494/statm: 2708563 49878 3483 1 0 2670221 0
[pid=5494/tid=5547] ppid=5491 vsize=10834252 memory=239 CPUtime=1.42 cores=1,3,5,7
/proc/5494/task/5547/stat : 5547 (java) R 5491 5494 4192 0 -1 4202560 17596 13027 0 0 128 6 5 3 20 0 15 0 68165867 11094274048 49878 33554432000 4194304 4196468 140735549851824 139875825341568 139875853546653 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31268864 140735549855915 140735549859164 140735549859164 140735549861839 0
[pid=5494/tid=5548] ppid=5491 vsize=10834252 memory=118 CPUtime=0.1 cores=1,3,5,7
/proc/5494/task/5548/stat : 5548 (java) S 5491 5494 4192 0 -1 1077944384 161 13027 0 0 2 0 5 3 20 0 15 0 68165867 11094274048 49878 33554432000 4194304 4196468 140735549851824 139875857766800 139875853534933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31268864 140735549855915 140735549859164 140735549859164 140735549861839 0
[pid=5494/tid=5549] ppid=5491 vsize=10834252 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/5494/task/5549/stat : 5549 (java) S 5491 5494 4192 0 -1 1077944384 21 13027 0 0 2 0 5 3 20 0 15 0 68165867 11094274048 49878 33554432000 4194304 4196468 140735549851824 139875746040080 139875853534933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31268864 140735549855915 140735549859164 140735549859164 140735549861839 0
[pid=5494/tid=5550] ppid=5491 vsize=10834252 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/5494/task/5550/stat : 5550 (java) S 5491 5494 4192 0 -1 1077944384 27 13027 0 0 1 0 5 3 20 0 15 0 68165867 11094274048 49878 33554432000 4194304 4196468 140735549851824 139875744987792 139875853534933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31268864 140735549855915 140735549859164 140735549859164 140735549861839 0
[pid=5494/tid=5551] ppid=5491 vsize=10834252 memory=55 CPUtime=0.09 cores=1,3,5,7
/proc/5494/task/5551/stat : 5551 (java) S 5491 5494 4192 0 -1 1077944384 62 13027 0 0 1 0 5 3 20 0 15 0 68165867 11094274048 49878 33554432000 4194304 4196468 140735549851824 139875424659984 139875853534933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31268864 140735549855915 140735549859164 140735549859164 140735549861839 0
[pid=5494/tid=5552] ppid=5491 vsize=10834252 memory=3533419649945857444 CPUtime=0.09 cores=1,3,5,7
/proc/5494/task/5552/stat : 5552 (java) S 5491 5494 4192 0 -1 1077944384 844 13027 0 0 1 0 5 3 20 0 15 0 68165869 11094274048 49878 33554432000 4194304 4196468 140735549851824 139875312999024 139875853535874 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31268864 140735549855915 140735549859164 140735549859164 140735549861839 0
[pid=5494/tid=5553] ppid=5491 vsize=10834252 memory=279958182211648 CPUtime=0.08 cores=1,3,5,7
/proc/5494/task/5553/stat : 5553 (java) S 5491 5494 4192 0 -1 1077944384 55 13027 0 0 0 0 5 3 20 0 15 0 68165869 11094274048 49878 33554432000 4194304 4196468 140735549851824 139875311945056 139875853534933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31268864 140735549855915 140735549859164 140735549859164 140735549861839 0
[pid=5494/tid=5554] ppid=5491 vsize=10834252 memory=279958182216096 CPUtime=0.08 cores=1,3,5,7
/proc/5494/task/5554/stat : 5554 (java) S 5491 5494 4192 0 -1 1077944384 2 13027 0 0 0 0 5 3 20 0 15 0 68165870 11094274048 49878 33554432000 4194304 4196468 140735549851824 139875206555264 139875853534933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31268864 140735549855915 140735549859164 140735549859164 140735549861839 0
[pid=5494/tid=5555] ppid=5491 vsize=10834252 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5494/task/5555/stat : 5555 (java) S 5491 5494 4192 0 -1 1077944384 2 13027 0 0 0 0 5 3 20 0 15 0 68165872 11094274048 49878 33554432000 4194304 4196468 140735549851824 139874602576464 139875853543323 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31268864 140735549855915 140735549859164 140735549859164 140735549861839 0
[pid=5494/tid=5556] ppid=5491 vsize=10834252 memory=6944656575208382560 CPUtime=0.5 cores=1,3,5,7
/proc/5494/task/5556/stat : 5556 (java) S 5491 5494 4192 0 -1 1077944384 2126 13027 0 0 42 0 5 3 20 0 15 0 68165872 11094274048 49878 33554432000 4194304 4196468 140735549851824 139875278387312 139875853535874 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31268864 140735549855915 140735549859164 140735549859164 140735549861839 0
[pid=5494/tid=5557] ppid=5491 vsize=10834252 memory=0 CPUtime=0.54 cores=1,3,5,7
/proc/5494/task/5557/stat : 5557 (java) S 5491 5494 4192 0 -1 1077944384 1906 13027 0 0 45 1 5 3 20 0 15 0 68165872 11094274048 49878 33554432000 4194304 4196468 140735549851824 139875277334512 139875853535874 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31268864 140735549855915 140735549859164 140735549859164 140735549861839 0
[pid=5494/tid=5558] ppid=5491 vsize=10834252 memory=0 CPUtime=0.51 cores=1,3,5,7
/proc/5494/task/5558/stat : 5558 (java) S 5491 5494 4192 0 -1 1077944384 1621 13027 0 0 43 0 5 3 20 0 15 0 68165872 11094274048 49878 33554432000 4194304 4196468 140735549851824 139875276282224 139875853535874 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31268864 140735549855915 140735549859164 140735549859164 140735549861839 0
[pid=5494/tid=5559] ppid=5491 vsize=10834252 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5494/task/5559/stat : 5559 (java) S 5491 5494 4192 0 -1 1077944384 3 13027 0 0 0 0 5 3 20 0 15 0 68165873 11094274048 49878 33554432000 4194304 4196468 140735549851824 139874132814304 139875853534933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31268864 140735549855915 140735549859164 140735549859164 140735549861839 0
[pid=5494/tid=5560] ppid=5491 vsize=10834252 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5494/task/5560/stat : 5560 (java) S 5491 5494 4192 0 -1 1077944384 3 13027 0 0 0 0 5 3 20 0 15 0 68165873 11094274048 49878 33554432000 4194304 4196468 140735549851824 139875275230128 139875853535874 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31268864 140735549855915 140735549859164 140735549859164 140735549861839 0
Current children cumulated CPU time: 2.88 s
Current children cumulated vsize: 10834252 KiB
################
# More data... #
################
/proc/5494/task/5547/stat : 5547 (java) R 5491 5494 4192 0 -1 4202560 251980 13027 0 0 220481 58 5 3 20 0 15 0 68165867 11111071744 1183979 33554432000 4194304 4196468 140735549851824 139875825358528 139875442223945 0 4 0 16800975 0 0 0 -1 1 0 0 57 0 0 6293624 6294260 31268864 140735549855915 140735549859164 140735549859164 140735549861839 0
[pid=5494/tid=5548] ppid=5491 vsize=10850656 memory=4735932 CPUtime=54.58 cores=1,3,5,7
/proc/5494/task/5548/stat : 5548 (java) S 5491 5494 4192 0 -1 1077944384 54178 13027 0 0 5280 170 5 3 20 0 15 0 68165867 11111071744 1183979 33554432000 4194304 4196468 140735549851824 139875857766800 139875853534933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31268864 140735549855915 140735549859164 140735549859164 140735549861839 0
[pid=5494/tid=5549] ppid=5491 vsize=10850656 memory=4735932 CPUtime=54.65 cores=1,3,5,7
/proc/5494/task/5549/stat : 5549 (java) S 5491 5494 4192 0 -1 1077944384 56160 13027 0 0 5299 158 5 3 20 0 15 0 68165867 11111071744 1183979 33554432000 4194304 4196468 140735549851824 139875746040080 139875853534933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31268864 140735549855915 140735549859164 140735549859164 140735549861839 0
[pid=5494/tid=5550] ppid=5491 vsize=10850656 memory=4735932 CPUtime=54.63 cores=1,3,5,7
/proc/5494/task/5550/stat : 5550 (java) S 5491 5494 4192 0 -1 1077944384 50310 13027 0 0 5288 167 5 3 20 0 15 0 68165867 11111071744 1183979 33554432000 4194304 4196468 140735549851824 139875744987792 139875853534933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31268864 140735549855915 140735549859164 140735549859164 140735549861839 0
[pid=5494/tid=5551] ppid=5491 vsize=10850656 memory=4735932 CPUtime=54.95 cores=1,3,5,7
/proc/5494/task/5551/stat : 5551 (java) S 5491 5494 4192 0 -1 1077944384 64241 13027 0 0 5327 160 5 3 20 0 15 0 68165867 11111071744 1183979 33554432000 4194304 4196468 140735549851824 139875424659984 139875853534933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31268864 140735549855915 140735549859164 140735549859164 140735549861839 0
[pid=5494/tid=5552] ppid=5491 vsize=10850656 memory=4735916 CPUtime=0.94 cores=1,3,5,7
/proc/5494/task/5552/stat : 5552 (java) S 5491 5494 4192 0 -1 1077944384 72428 13027 0 0 76 10 5 3 20 0 15 0 68165869 11111071744 1183979 33554432000 4194304 4196468 140735549851824 139875312999024 139875853535874 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31268864 140735549855915 140735549859164 140735549859164 140735549861839 0
[pid=5494/tid=5553] ppid=5491 vsize=10850656 memory=4735916 CPUtime=0.08 cores=1,3,5,7
/proc/5494/task/5553/stat : 5553 (java) S 5491 5494 4192 0 -1 1077944384 73 13027 0 0 0 0 5 3 20 0 15 0 68165869 11111071744 1183979 33554432000 4194304 4196468 140735549851824 139875311945056 139875853534933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31268864 140735549855915 140735549859164 140735549859164 140735549861839 0
[pid=5494/tid=5554] ppid=5491 vsize=10850656 memory=4735916 CPUtime=0.08 cores=1,3,5,7
/proc/5494/task/5554/stat : 5554 (java) S 5491 5494 4192 0 -1 1077944384 4 13027 0 0 0 0 5 3 20 0 15 0 68165870 11111071744 1183979 33554432000 4194304 4196468 140735549851824 139875206555264 139875853534933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31268864 140735549855915 140735549859164 140735549859164 140735549861839 0
[pid=5494/tid=5555] ppid=5491 vsize=10850656 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5494/task/5555/stat : 5555 (java) S 5491 5494 4192 0 -1 1077944384 2 13027 0 0 0 0 5 3 20 0 15 0 68165872 11111071744 1183979 33554432000 4194304 4196468 140735549851824 139874602576464 139875853543323 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31268864 140735549855915 140735549859164 140735549859164 140735549861839 0
[pid=5494/tid=5556] ppid=5491 vsize=10850656 memory=1308 CPUtime=13.16 cores=1,3,5,7
/proc/5494/task/5556/stat : 5556 (java) S 5491 5494 4192 0 -1 1077944384 59194 13027 0 0 1301 7 5 3 20 0 15 0 68165872 11111071744 1183979 33554432000 4194304 4196468 140735549851824 139875278387312 139875853535874 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 58 0 0 6293624 6294260 31268864 140735549855915 140735549859164 140735549859164 140735549861839 0
[pid=5494/tid=5557] ppid=5491 vsize=10850656 memory=2305 CPUtime=13.45 cores=1,3,5,7
/proc/5494/task/5557/stat : 5557 (java) S 5491 5494 4192 0 -1 1077944384 75028 13027 0 0 1328 9 5 3 20 0 15 0 68165872 11111071744 1183979 33554432000 4194304 4196468 140735549851824 139875277334512 139875853535874 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31268864 140735549855915 140735549859164 140735549859164 140735549861839 0
[pid=5494/tid=5558] ppid=5491 vsize=10850656 memory=4735916 CPUtime=4.48 cores=1,3,5,7
/proc/5494/task/5558/stat : 5558 (java) S 5491 5494 4192 0 -1 1077944384 60527 13027 0 0 431 9 5 3 20 0 15 0 68165872 11111071744 1183979 33554432000 4194304 4196468 140735549851824 139875276282224 139875853535874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 59 0 0 6293624 6294260 31268864 140735549855915 140735549859164 140735549859164 140735549861839 0
[pid=5494/tid=5559] ppid=5491 vsize=10850656 memory=4735916 CPUtime=0.08 cores=1,3,5,7
/proc/5494/task/5559/stat : 5559 (java) S 5491 5494 4192 0 -1 1077944384 3 13027 0 0 0 0 5 3 20 0 15 0 68165873 11111071744 1183979 33554432000 4194304 4196468 140735549851824 139874132814304 139875853534933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31268864 140735549855915 140735549859164 140735549859164 140735549861839 0
[pid=5494/tid=5560] ppid=5491 vsize=10850656 memory=2196 CPUtime=1.38 cores=1,3,5,7
/proc/5494/task/5560/stat : 5560 (java) S 5491 5494 4192 0 -1 1077944384 1471 13027 0 0 55 75 5 3 20 0 15 0 68165873 11111071744 1183979 33554432000 4194304 4196468 140735549851824 139875275230128 139875853535874 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 57 0 0 6293624 6294260 31268864 140735549855915 140735549859164 140735549859164 140735549861839 0
Current children cumulated CPU time: 2457.08 s
Current children cumulated vsize: 10850656 KiB
Current children cumulated memory: 4735916 KiB
[startup+2322.3 s]
/proc/loadavg: 1.67 1.84 1.85 3/218 5762
/proc/meminfo: memFree=10586324/32770624 swapFree=67108860/67108860
[pid=5494] ppid=5491 vsize=10850656 memory=4730240 CPUtime=2517.19 cores=1,3,5,7
/proc/5494/stat : 5494 (java) S 5491 5494 4192 0 -1 1077944320 756293 13027 0 0 250899 812 5 3 20 0 15 0 68165858 11111071744 1182560 33554432000 4194304 4196468 140735549851824 140735549834368 139875853524727 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31268864 140735549855915 140735549859164 140735549859164 140735549861839 0
/proc/5494/statm: 2712664 1182560 3542 1 0 2674317 0
[pid=5494/tid=5547] ppid=5491 vsize=10850656 memory=4730240 CPUtime=2265.43 cores=1,3,5,7
/proc/5494/task/5547/stat : 5547 (java) R 5491 5494 4192 0 -1 4202560 255932 13027 0 0 226476 59 5 3 20 0 15 0 68165867 11111071744 1182560 33554432000 4194304 4196468 140735549851824 139875825358800 139875442223894 0 4 0 16800975 0 0 0 -1 5 0 0 57 0 0 6293624 6294260 31268864 140735549855915 140735549859164 140735549859164 140735549861839 0
[pid=5494/tid=5548] ppid=5491 vsize=10850656 memory=4735884 CPUtime=54.61 cores=1,3,5,7
/proc/5494/task/5548/stat : 5548 (java) S 5491 5494 4192 0 -1 1077944384 55013 13027 0 0 5283 170 5 3 20 0 15 0 68165867 11111071744 1182560 33554432000 4194304 4196468 140735549851824 139875857766800 139875853534933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31268864 140735549855915 140735549859164 140735549859164 140735549861839 0
[pid=5494/tid=5549] ppid=5491 vsize=10850656 memory=279958182726560 CPUtime=54.67 cores=1,3,5,7
/proc/5494/task/5549/stat : 5549 (java) S 5491 5494 4192 0 -1 1077944384 58236 13027 0 0 5301 158 5 3 20 0 15 0 68165867 11111071744 1182560 33554432000 4194304 4196468 140735549851824 139875746040080 139875853534933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31268864 140735549855915 140735549859164 140735549859164 140735549861839 0
[pid=5494/tid=5550] ppid=5491 vsize=10850656 memory=4730240 CPUtime=54.66 cores=1,3,5,7
/proc/5494/task/5550/stat : 5550 (java) S 5491 5494 4192 0 -1 1077944384 50609 13027 0 0 5291 167 5 3 20 0 15 0 68165867 11111071744 1182560 33554432000 4194304 4196468 140735549851824 139875744987792 139875853534933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31268864 140735549855915 140735549859164 140735549859164 140735549861839 0
[pid=5494/tid=5551] ppid=5491 vsize=10850656 memory=4730240 CPUtime=54.97 cores=1,3,5,7
/proc/5494/task/5551/stat : 5551 (java) S 5491 5494 4192 0 -1 1077944384 65221 13027 0 0 5329 160 5 3 20 0 15 0 68165867 11111071744 1182560 33554432000 4194304 4196468 140735549851824 139875424659984 139875853534933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31268864 140735549855915 140735549859164 140735549859164 140735549861839 0
[pid=5494/tid=5552] ppid=5491 vsize=10850656 memory=4730240 CPUtime=0.96 cores=1,3,5,7
/proc/5494/task/5552/stat : 5552 (java) S 5491 5494 4192 0 -1 1077944384 72747 13027 0 0 77 11 5 3 20 0 15 0 68165869 11111071744 1182560 33554432000 4194304 4196468 140735549851824 139875312999024 139875853535874 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31268864 140735549855915 140735549859164 140735549859164 140735549861839 0
[pid=5494/tid=5553] ppid=5491 vsize=10850656 memory=4730240 CPUtime=0.08 cores=1,3,5,7
/proc/5494/task/5553/stat : 5553 (java) S 5491 5494 4192 0 -1 1077944384 73 13027 0 0 0 0 5 3 20 0 15 0 68165869 11111071744 1182560 33554432000 4194304 4196468 140735549851824 139875311945056 139875853534933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31268864 140735549855915 140735549859164 140735549859164 140735549861839 0
[pid=5494/tid=5554] ppid=5491 vsize=10850656 memory=4730240 CPUtime=0.08 cores=1,3,5,7
/proc/5494/task/5554/stat : 5554 (java) S 5491 5494 4192 0 -1 1077944384 4 13027 0 0 0 0 5 3 20 0 15 0 68165870 11111071744 1182560 33554432000 4194304 4196468 140735549851824 139875206555264 139875853534933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31268864 140735549855915 140735549859164 140735549859164 140735549861839 0
[pid=5494/tid=5555] ppid=5491 vsize=10850656 memory=4730240 CPUtime=0.08 cores=1,3,5,7
/proc/5494/task/5555/stat : 5555 (java) S 5491 5494 4192 0 -1 1077944384 2 13027 0 0 0 0 5 3 20 0 15 0 68165872 11111071744 1182560 33554432000 4194304 4196468 140735549851824 139874602576464 139875853543323 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31268864 140735549855915 140735549859164 140735549859164 140735549861839 0
[pid=5494/tid=5556] ppid=5491 vsize=10850656 memory=4730240 CPUtime=13.16 cores=1,3,5,7
/proc/5494/task/5556/stat : 5556 (java) S 5491 5494 4192 0 -1 1077944384 59199 13027 0 0 1301 7 5 3 20 0 15 0 68165872 11111071744 1182560 33554432000 4194304 4196468 140735549851824 139875278387312 139875853535874 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 58 0 0 6293624 6294260 31268864 140735549855915 140735549859164 140735549859164 140735549861839 0
[pid=5494/tid=5557] ppid=5491 vsize=10850656 memory=20808 CPUtime=13.45 cores=1,3,5,7
/proc/5494/task/5557/stat : 5557 (java) S 5491 5494 4192 0 -1 1077944384 75031 13027 0 0 1328 9 5 3 20 0 15 0 68165872 11111071744 1182560 33554432000 4194304 4196468 140735549851824 139875277334512 139875853535874 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31268864 140735549855915 140735549859164 140735549859164 140735549861839 0
[pid=5494/tid=5558] ppid=5491 vsize=10850656 memory=4730240 CPUtime=4.48 cores=1,3,5,7
/proc/5494/task/5558/stat : 5558 (java) S 5491 5494 4192 0 -1 1077944384 60535 13027 0 0 431 9 5 3 20 0 15 0 68165872 11111071744 1182560 33554432000 4194304 4196468 140735549851824 139875276282224 139875853535874 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 59 0 0 6293624 6294260 31268864 140735549855915 140735549859164 140735549859164 140735549861839 0
[pid=5494/tid=5559] ppid=5491 vsize=10850656 memory=4730240 CPUtime=0.08 cores=1,3,5,7
/proc/5494/task/5559/stat : 5559 (java) S 5491 5494 4192 0 -1 1077944384 3 13027 0 0 0 0 5 3 20 0 15 0 68165873 11111071744 1182560 33554432000 4194304 4196468 140735549851824 139874132814304 139875853534933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31268864 140735549855915 140735549859164 140735549859164 140735549861839 0
[pid=5494/tid=5560] ppid=5491 vsize=10850656 memory=4730240 CPUtime=1.41 cores=1,3,5,7
/proc/5494/task/5560/stat : 5560 (java) S 5491 5494 4192 0 -1 1077944384 1497 13027 0 0 56 77 5 3 20 0 15 0 68165873 11111071744 1182560 33554432000 4194304 4196468 140735549851824 139875275230128 139875853535874 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 57 0 0 6293624 6294260 31268864 140735549855915 140735549859164 140735549859164 140735549861839 0
Current children cumulated CPU time: 2517.19 s
Current children cumulated vsize: 10850656 KiB
Current children cumulated memory: 4730240 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2325.11 s]
/proc/loadavg: 1.70 1.84 1.85 3/218 5762
/proc/meminfo: memFree=10590244/32770624 swapFree=67108860/67108860
[pid=5494] ppid=5491 vsize=10850656 memory=4726136 CPUtime=2520.03 cores=1,3,5,7
/proc/5494/stat : 5494 (java) S 5491 5494 4192 0 -1 1077944320 756316 13027 0 0 251182 813 5 3 20 0 15 0 68165858 11111071744 1181534 33554432000 4194304 4196468 140735549851824 140735549834368 139875853524727 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31268864 140735549855915 140735549859164 140735549859164 140735549861839 0
/proc/5494/statm: 2712664 1181534 3542 1 0 2674317 0
[pid=5494/tid=5547] ppid=5491 vsize=10850656 memory=1948 CPUtime=2268.23 cores=1,3,5,7
/proc/5494/task/5547/stat : 5547 (java) R 5491 5494 4192 0 -1 4202560 255937 13027 0 0 226756 59 5 3 20 0 15 0 68165867 11111071744 1181534 33554432000 4194304 4196468 140735549851824 139875825359216 139875442222207 0 4 0 16800975 0 0 0 -1 5 0 0 57 0 0 6293624 6294260 31268864 140735549855915 140735549859164 140735549859164 140735549861839 0
[pid=5494/tid=5548] ppid=5491 vsize=10850656 memory=4730240 CPUtime=54.62 cores=1,3,5,7
/proc/5494/task/5548/stat : 5548 (java) S 5491 5494 4192 0 -1 1077944384 55019 13027 0 0 5284 170 5 3 20 0 15 0 68165867 11111071744 1181534 33554432000 4194304 4196468 140735549851824 139875857766800 139875853534933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31268864 140735549855915 140735549859164 140735549859164 140735549861839 0
[pid=5494/tid=5549] ppid=5491 vsize=10850656 memory=1008 CPUtime=54.68 cores=1,3,5,7
/proc/5494/task/5549/stat : 5549 (java) S 5491 5494 4192 0 -1 1077944384 58237 13027 0 0 5302 158 5 3 20 0 15 0 68165867 11111071744 1181534 33554432000 4194304 4196468 140735549851824 139875746040080 139875853534933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31268864 140735549855915 140735549859164 140735549859164 140735549861839 0
[pid=5494/tid=5550] ppid=5491 vsize=10850656 memory=4730240 CPUtime=54.66 cores=1,3,5,7
/proc/5494/task/5550/stat : 5550 (java) S 5491 5494 4192 0 -1 1077944384 50609 13027 0 0 5291 167 5 3 20 0 15 0 68165867 11111071744 1181534 33554432000 4194304 4196468 140735549851824 139875744987792 139875853534933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31268864 140735549855915 140735549859164 140735549859164 140735549861839 0
[pid=5494/tid=5551] ppid=5491 vsize=10850656 memory=4730240 CPUtime=54.98 cores=1,3,5,7
/proc/5494/task/5551/stat : 5551 (java) S 5491 5494 4192 0 -1 1077944384 65230 13027 0 0 5330 160 5 3 20 0 15 0 68165867 11111071744 1181534 33554432000 4194304 4196468 140735549851824 139875424659984 139875853534933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31268864 140735549855915 140735549859164 140735549859164 140735549861839 0
[pid=5494/tid=5552] ppid=5491 vsize=10850656 memory=4730240 CPUtime=0.96 cores=1,3,5,7
/proc/5494/task/5552/stat : 5552 (java) S 5491 5494 4192 0 -1 1077944384 72749 13027 0 0 77 11 5 3 20 0 15 0 68165869 11111071744 1181534 33554432000 4194304 4196468 140735549851824 139875312999024 139875853535874 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31268864 140735549855915 140735549859164 140735549859164 140735549861839 0
[pid=5494/tid=5553] ppid=5491 vsize=10850656 memory=4735884 CPUtime=0.08 cores=1,3,5,7
/proc/5494/task/5553/stat : 5553 (java) S 5491 5494 4192 0 -1 1077944384 73 13027 0 0 0 0 5 3 20 0 15 0 68165869 11111071744 1181534 33554432000 4194304 4196468 140735549851824 139875311945056 139875853534933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31268864 140735549855915 140735549859164 140735549859164 140735549861839 0
[pid=5494/tid=5554] ppid=5491 vsize=10850656 memory=279958182726560 CPUtime=0.08 cores=1,3,5,7
/proc/5494/task/5554/stat : 5554 (java) S 5491 5494 4192 0 -1 1077944384 4 13027 0 0 0 0 5 3 20 0 15 0 68165870 11111071744 1181534 33554432000 4194304 4196468 140735549851824 139875206555264 139875853534933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31268864 140735549855915 140735549859164 140735549859164 140735549861839 0
[pid=5494/tid=5555] ppid=5491 vsize=10850656 memory=4730240 CPUtime=0.08 cores=1,3,5,7
/proc/5494/task/5555/stat : 5555 (java) S 5491 5494 4192 0 -1 1077944384 2 13027 0 0 0 0 5 3 20 0 15 0 68165872 11111071744 1181534 33554432000 4194304 4196468 140735549851824 139874602576464 139875853543323 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31268864 140735549855915 140735549859164 140735549859164 140735549861839 0
[pid=5494/tid=5556] ppid=5491 vsize=10850656 memory=4730240 CPUtime=13.16 cores=1,3,5,7
/proc/5494/task/5556/stat : 5556 (java) S 5491 5494 4192 0 -1 1077944384 59199 13027 0 0 1301 7 5 3 20 0 15 0 68165872 11111071744 1181534 33554432000 4194304 4196468 140735549851824 139875278387312 139875853535874 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 58 0 0 6293624 6294260 31268864 140735549855915 140735549859164 140735549859164 140735549861839 0
[pid=5494/tid=5557] ppid=5491 vsize=10850656 memory=4730240 CPUtime=13.45 cores=1,3,5,7
/proc/5494/task/5557/stat : 5557 (java) S 5491 5494 4192 0 -1 1077944384 75031 13027 0 0 1328 9 5 3 20 0 15 0 68165872 11111071744 1181534 33554432000 4194304 4196468 140735549851824 139875277334512 139875853535874 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31268864 140735549855915 140735549859164 140735549859164 140735549861839 0
[pid=5494/tid=5558] ppid=5491 vsize=10850656 memory=4730240 CPUtime=4.48 cores=1,3,5,7
/proc/5494/task/5558/stat : 5558 (java) S 5491 5494 4192 0 -1 1077944384 60535 13027 0 0 431 9 5 3 20 0 15 0 68165872 11111071744 1181534 33554432000 4194304 4196468 140735549851824 139875276282224 139875853535874 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 59 0 0 6293624 6294260 31268864 140735549855915 140735549859164 140735549859164 140735549861839 0
[pid=5494/tid=5559] ppid=5491 vsize=10850656 memory=4730240 CPUtime=0.08 cores=1,3,5,7
/proc/5494/task/5559/stat : 5559 (java) S 5491 5494 4192 0 -1 1077944384 3 13027 0 0 0 0 5 3 20 0 15 0 68165873 11111071744 1181534 33554432000 4194304 4196468 140735549851824 139874132814304 139875853534933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31268864 140735549855915 140735549859164 140735549859164 140735549861839 0
[pid=5494/tid=5560] ppid=5491 vsize=10850656 memory=8112282956445269571 CPUtime=1.41 cores=1,3,5,7
/proc/5494/task/5560/stat : 5560 (java) S 5491 5494 4192 0 -1 1077944384 1497 13027 0 0 56 77 5 3 20 0 15 0 68165873 11111071744 1181534 33554432000 4194304 4196468 140735549851824 139875275230128 139875853535874 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 57 0 0 6293624 6294260 31268864 140735549855915 140735549859164 140735549859164 140735549861839 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 10850656 KiB
Current children cumulated memory: 4726136 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2325.17 s]
# the end of solver process 5494 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2511.91 s, system=8.19905 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2325.11 s]
/proc/loadavg: 1.70 1.84 1.85 3/218 5762
/proc/meminfo: memFree=10590244/32770624 swapFree=67108860/67108860
[pid=5494] ppid=5491 vsize=10850656 memory=4726136 CPUtime=2520.03 cores=1,3,5,7
/proc/5494/stat : 5494 (java) S 5491 5494 4192 0 -1 1077944320 756316 13027 0 0 251182 813 5 3 20 0 15 0 68165858 11111071744 1181534 33554432000 4194304 4196468 140735549851824 140735549834368 139875853524727 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31268864 140735549855915 140735549859164 140735549859164 140735549861839 0
/proc/5494/statm: 2712664 1181534 3542 1 0 2674317 0
[pid=5494/tid=5547] ppid=5491 vsize=10850656 memory=1948 CPUtime=2268.23 cores=1,3,5,7
/proc/5494/task/5547/stat : 5547 (java) R 5491 5494 4192 0 -1 4202560 255937 13027 0 0 226756 59 5 3 20 0 15 0 68165867 11111071744 1181534 33554432000 4194304 4196468 140735549851824 139875825359216 139875442222207 0 4 0 16800975 0 0 0 -1 5 0 0 57 0 0 6293624 6294260 31268864 140735549855915 140735549859164 140735549859164 140735549861839 0
[pid=5494/tid=5548] ppid=5491 vsize=10850656 memory=4730240 CPUtime=54.62 cores=1,3,5,7
/proc/5494/task/5548/stat : 5548 (java) S 5491 5494 4192 0 -1 1077944384 55019 13027 0 0 5284 170 5 3 20 0 15 0 68165867 11111071744 1181534 33554432000 4194304 4196468 140735549851824 139875857766800 139875853534933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31268864 140735549855915 140735549859164 140735549859164 140735549861839 0
[pid=5494/tid=5549] ppid=5491 vsize=10850656 memory=1008 CPUtime=54.68 cores=1,3,5,7
/proc/5494/task/5549/stat : 5549 (java) S 5491 5494 4192 0 -1 1077944384 58237 13027 0 0 5302 158 5 3 20 0 15 0 68165867 11111071744 1181534 33554432000 4194304 4196468 140735549851824 139875746040080 139875853534933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31268864 140735549855915 140735549859164 140735549859164 140735549861839 0
[pid=5494/tid=5550] ppid=5491 vsize=10850656 memory=4730240 CPUtime=54.66 cores=1,3,5,7
/proc/5494/task/5550/stat : 5550 (java) S 5491 5494 4192 0 -1 1077944384 50609 13027 0 0 5291 167 5 3 20 0 15 0 68165867 11111071744 1181534 33554432000 4194304 4196468 140735549851824 139875744987792 139875853534933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31268864 140735549855915 140735549859164 140735549859164 140735549861839 0
[pid=5494/tid=5551] ppid=5491 vsize=10850656 memory=4730240 CPUtime=54.98 cores=1,3,5,7
/proc/5494/task/5551/stat : 5551 (java) S 5491 5494 4192 0 -1 1077944384 65230 13027 0 0 5330 160 5 3 20 0 15 0 68165867 11111071744 1181534 33554432000 4194304 4196468 140735549851824 139875424659984 139875853534933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31268864 140735549855915 140735549859164 140735549859164 140735549861839 0
[pid=5494/tid=5552] ppid=5491 vsize=10850656 memory=4730240 CPUtime=0.96 cores=1,3,5,7
/proc/5494/task/5552/stat : 5552 (java) S 5491 5494 4192 0 -1 1077944384 72749 13027 0 0 77 11 5 3 20 0 15 0 68165869 11111071744 1181534 33554432000 4194304 4196468 140735549851824 139875312999024 139875853535874 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31268864 140735549855915 140735549859164 140735549859164 140735549861839 0
[pid=5494/tid=5553] ppid=5491 vsize=10850656 memory=4735884 CPUtime=0.08 cores=1,3,5,7
/proc/5494/task/5553/stat : 5553 (java) S 5491 5494 4192 0 -1 1077944384 73 13027 0 0 0 0 5 3 20 0 15 0 68165869 11111071744 1181534 33554432000 4194304 4196468 140735549851824 139875311945056 139875853534933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31268864 140735549855915 140735549859164 140735549859164 140735549861839 0
[pid=5494/tid=5554] ppid=5491 vsize=10850656 memory=279958182726560 CPUtime=0.08 cores=1,3,5,7
/proc/5494/task/5554/stat : 5554 (java) S 5491 5494 4192 0 -1 1077944384 4 13027 0 0 0 0 5 3 20 0 15 0 68165870 11111071744 1181534 33554432000 4194304 4196468 140735549851824 139875206555264 139875853534933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31268864 140735549855915 140735549859164 140735549859164 140735549861839 0
[pid=5494/tid=5555] ppid=5491 vsize=10850656 memory=4730240 CPUtime=0.08 cores=1,3,5,7
/proc/5494/task/5555/stat : 5555 (java) S 5491 5494 4192 0 -1 1077944384 2 13027 0 0 0 0 5 3 20 0 15 0 68165872 11111071744 1181534 33554432000 4194304 4196468 140735549851824 139874602576464 139875853543323 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31268864 140735549855915 140735549859164 140735549859164 140735549861839 0
[pid=5494/tid=5556] ppid=5491 vsize=10850656 memory=4730240 CPUtime=13.16 cores=1,3,5,7
/proc/5494/task/5556/stat : 5556 (java) S 5491 5494 4192 0 -1 1077944384 59199 13027 0 0 1301 7 5 3 20 0 15 0 68165872 11111071744 1181534 33554432000 4194304 4196468 140735549851824 139875278387312 139875853535874 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 58 0 0 6293624 6294260 31268864 140735549855915 140735549859164 140735549859164 140735549861839 0
[pid=5494/tid=5557] ppid=5491 vsize=10850656 memory=4730240 CPUtime=13.45 cores=1,3,5,7
/proc/5494/task/5557/stat : 5557 (java) S 5491 5494 4192 0 -1 1077944384 75031 13027 0 0 1328 9 5 3 20 0 15 0 68165872 11111071744 1181534 33554432000 4194304 4196468 140735549851824 139875277334512 139875853535874 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31268864 140735549855915 140735549859164 140735549859164 140735549861839 0
[pid=5494/tid=5558] ppid=5491 vsize=10850656 memory=4730240 CPUtime=4.48 cores=1,3,5,7
/proc/5494/task/5558/stat : 5558 (java) S 5491 5494 4192 0 -1 1077944384 60535 13027 0 0 431 9 5 3 20 0 15 0 68165872 11111071744 1181534 33554432000 4194304 4196468 140735549851824 139875276282224 139875853535874 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 59 0 0 6293624 6294260 31268864 140735549855915 140735549859164 140735549859164 140735549861839 0
[pid=5494/tid=5559] ppid=5491 vsize=10850656 memory=4730240 CPUtime=0.08 cores=1,3,5,7
/proc/5494/task/5559/stat : 5559 (java) S 5491 5494 4192 0 -1 1077944384 3 13027 0 0 0 0 5 3 20 0 15 0 68165873 11111071744 1181534 33554432000 4194304 4196468 140735549851824 139874132814304 139875853534933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31268864 140735549855915 140735549859164 140735549859164 140735549861839 0
[pid=5494/tid=5560] ppid=5491 vsize=10850656 memory=8112282956445269571 CPUtime=1.41 cores=1,3,5,7
/proc/5494/task/5560/stat : 5560 (java) S 5491 5494 4192 0 -1 1077944384 1497 13027 0 0 56 77 5 3 20 0 15 0 68165873 11111071744 1181534 33554432000 4194304 4196468 140735549851824 139875275230128 139875853535874 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 57 0 0 6293624 6294260 31268864 140735549855915 140735549859164 140735549859164 140735549861839 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 10850656 KiB
Current children cumulated memory: 4726136 KiB
Child status: 143
Real time (s): 2325.17
CPU time (s): 2520.11
CPU user time (s): 2511.91
CPU system time (s): 8.19905
CPU usage (%): 108.384
Max. virtual memory (cumulated for all children) (KiB): 10850656
Max. memory (cumulated for all children) (KiB): 5734472
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2511.91
system time used= 8.19905
maximum resident set size= 5734492
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 774778
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2880
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 72963
involuntary context switches= 5648
# summary of solver processes directly reported to runsolver:
# pid: 5494
# total CPU time (s): 2520.11
# total CPU user time (s): 2511.91
# total CPU system time (s): 8.19905
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.2764 second user time and 17.5325 second system time
The end