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 (2046 MiB free)
memory of node 1: 16384 MiB (13311 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295115-1532519924/watcher-4295115-1532519924 -o /tmp/evaluation-result-4295115-1532519924/solver-4295115-1532519924 -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=398739550 -superng HOME/instance-4295115-1532519924.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=8438, runsolver pid=8435
[startup+0.102603 s]*
/proc/loadavg: 2.67 2.16 2.06 2/209 8495
/proc/meminfo: memFree=15718076/32770624 swapFree=67108860/67108860
[pid=8438] ppid=8435 vsize=9972712 memory=16808 CPUtime=0.09 cores=1,3,5,7
/proc/8438/stat : 8438 (java) S 8435 8438 4192 0 -1 1077944320 4369 12916 0 0 1 1 5 2 20 0 6 0 69555629 10212057088 4202 33554432000 4194304 4196468 140730385293424 140730385275968 140439964598007 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 30781440 140730385295532 140730385298780 140730385298780 140730385301455 0
/proc/8438/statm: 2493178 4202 1934 1 0 2481616 0
[pid=8438/tid=8491] ppid=8435 vsize=9972712 memory=4718545630382498451 CPUtime=0.07 cores=1,3,5,7
/proc/8438/task/8491/stat : 8491 (java) R 8435 8438 4192 0 -1 4202560 2205 12916 0 0 0 0 5 2 20 0 6 0 69555638 10212057088 4268 33554432000 4194304 4196468 140730385293424 140439936434768 140439950280499 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30781440 140730385295532 140730385298780 140730385298780 140730385301455 0
[pid=8438/tid=8492] ppid=8435 vsize=9972712 memory=5793855033209989561 CPUtime=0.07 cores=1,3,5,7
/proc/8438/task/8492/stat : 8492 (java) S 8435 8438 4192 0 -1 1077944384 1 12916 0 0 0 0 5 2 20 0 6 0 69555639 10212057088 4268 33554432000 4194304 4196468 140730385293424 140439968840080 140439964608213 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30781440 140730385295532 140730385298780 140730385298780 140730385301455 0
[pid=8438/tid=8493] ppid=8435 vsize=9972712 memory=139782200096384 CPUtime=0.07 cores=1,3,5,7
/proc/8438/task/8493/stat : 8493 (java) S 8435 8438 4192 0 -1 1077944384 1 12916 0 0 0 0 5 2 20 0 6 0 69555639 10212057088 4268 33554432000 4194304 4196468 140730385293424 140439867730192 140439964608213 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30781440 140730385295532 140730385298780 140730385298780 140730385301455 0
[pid=8438/tid=8494] ppid=8435 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8438/task/8494/stat : 8494 (java) S 8435 8438 4192 0 -1 1077944384 1 12916 0 0 0 0 5 2 20 0 6 0 69555639 10212057088 4268 33554432000 4194304 4196468 140730385293424 140439866677904 140439964608213 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30781440 140730385295532 140730385298780 140730385298780 140730385301455 0
[pid=8438/tid=8495] ppid=8435 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8438/task/8495/stat : 8495 (java) S 8435 8438 4192 0 -1 1077944384 2 12916 0 0 0 0 5 2 20 0 6 0 69555639 10212057088 4268 33554432000 4194304 4196468 140730385293424 140439865625104 140439964608213 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30781440 140730385295532 140730385298780 140730385298780 140730385301455 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 16808 KiB
[startup+0.210882 s]*
/proc/loadavg: 2.67 2.16 2.06 3/218 8504
/proc/meminfo: memFree=15697464/32770624 swapFree=67108860/67108860
[pid=8438] ppid=8435 vsize=10818904 memory=43528 CPUtime=0.25 cores=1,3,5,7
/proc/8438/stat : 8438 (java) S 8435 8438 4192 0 -1 1077944320 8095 12916 0 0 17 1 5 2 20 0 15 0 69555629 11078557696 10882 33554432000 4194304 4196468 140730385293424 140730385275968 140439964598007 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 30781440 140730385295532 140730385298780 140730385298780 140730385301455 0
/proc/8438/statm: 2704726 10882 2966 1 0 2667149 0
[pid=8438/tid=8491] ppid=8435 vsize=10818904 memory=-2899909650764262549 CPUtime=0.18 cores=1,3,5,7
/proc/8438/task/8491/stat : 8491 (java) R 8435 8438 4192 0 -1 4202560 4748 12916 0 0 10 1 5 2 20 0 15 0 69555638 11078557696 10882 33554432000 4194304 4196468 140730385293424 140439936415120 140439948678494 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30781440 140730385295532 140730385298780 140730385298780 140730385301455 0
[pid=8438/tid=8492] ppid=8435 vsize=10818904 memory=4211973508404886922 CPUtime=0.07 cores=1,3,5,7
/proc/8438/task/8492/stat : 8492 (java) S 8435 8438 4192 0 -1 1077944384 1 12916 0 0 0 0 5 2 20 0 15 0 69555639 11078557696 10882 33554432000 4194304 4196468 140730385293424 140439968840080 140439964608213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30781440 140730385295532 140730385298780 140730385298780 140730385301455 0
[pid=8438/tid=8493] ppid=8435 vsize=10818904 memory=139782200096384 CPUtime=0.07 cores=1,3,5,7
/proc/8438/task/8493/stat : 8493 (java) S 8435 8438 4192 0 -1 1077944384 1 12916 0 0 0 0 5 2 20 0 15 0 69555639 11078557696 10882 33554432000 4194304 4196468 140730385293424 140439867730192 140439964608213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30781440 140730385295532 140730385298780 140730385298780 140730385301455 0
[pid=8438/tid=8494] ppid=8435 vsize=10818904 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8438/task/8494/stat : 8494 (java) S 8435 8438 4192 0 -1 1077944384 1 12916 0 0 0 0 5 2 20 0 15 0 69555639 11078557696 10882 33554432000 4194304 4196468 140730385293424 140439866677904 140439964608213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30781440 140730385295532 140730385298780 140730385298780 140730385301455 0
[pid=8438/tid=8495] ppid=8435 vsize=10818904 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/8438/task/8495/stat : 8495 (java) S 8435 8438 4192 0 -1 1077944384 2 12916 0 0 0 0 5 2 20 0 15 0 69555639 11078557696 10882 33554432000 4194304 4196468 140730385293424 140439865625104 140439964608213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30781440 140730385295532 140730385298780 140730385298780 140730385301455 0
[pid=8438/tid=8496] ppid=8435 vsize=10818904 memory=139782200096384 CPUtime=0.07 cores=1,3,5,7
/proc/8438/task/8496/stat : 8496 (java) S 8435 8438 4192 0 -1 1077944384 2 12916 0 0 0 0 5 2 20 0 15 0 69555641 11078557696 10882 33554432000 4194304 4196468 140730385293424 140439423044208 140439964609154 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30781440 140730385295532 140730385298780 140730385298780 140730385301455 0
[pid=8438/tid=8497] ppid=8435 vsize=10818904 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/8438/task/8497/stat : 8497 (java) S 8435 8438 4192 0 -1 1077944384 13 12916 0 0 0 0 5 2 20 0 15 0 69555641 11078557696 10882 33554432000 4194304 4196468 140730385293424 140438921012512 140439964608213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30781440 140730385295532 140730385298780 140730385298780 140730385301455 0
[pid=8438/tid=8498] ppid=8435 vsize=10818904 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8438/task/8498/stat : 8498 (java) S 8435 8438 4192 0 -1 1077944384 1 12916 0 0 0 0 5 2 20 0 15 0 69555641 11078557696 10882 33554432000 4194304 4196468 140730385293424 140438719686256 140439964608213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30781440 140730385295532 140730385298780 140730385298780 140730385301455 0
[pid=8438/tid=8499] ppid=8435 vsize=10818904 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8438/task/8499/stat : 8499 (java) S 8435 8438 4192 0 -1 1077944384 3 12916 0 0 0 0 5 2 20 0 15 0 69555644 11078557696 10882 33554432000 4194304 4196468 140730385293424 140438479395408 140439964616603 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30781440 140730385295532 140730385298780 140730385298780 140730385301455 0
[pid=8438/tid=8500] ppid=8435 vsize=10818904 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/8438/task/8500/stat : 8500 (java) S 8435 8438 4192 0 -1 1077944384 500 12916 0 0 1 0 5 2 20 0 15 0 69555644 11078557696 10882 33554432000 4194304 4196468 140730385293424 140439421991024 140439964609154 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30781440 140730385295532 140730385298780 140730385298780 140730385301455 0
[pid=8438/tid=8501] ppid=8435 vsize=10818904 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/8438/task/8501/stat : 8501 (java) S 8435 8438 4192 0 -1 1077944384 89 12916 0 0 1 0 5 2 20 0 15 0 69555644 11078557696 10882 33554432000 4194304 4196468 140730385293424 140439420938224 140439964609154 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30781440 140730385295532 140730385298780 140730385298780 140730385301455 0
[pid=8438/tid=8502] ppid=8435 vsize=10818904 memory=139782200096384 CPUtime=0.1 cores=1,3,5,7
/proc/8438/task/8502/stat : 8502 (java) S 8435 8438 4192 0 -1 1077944384 549 12916 0 0 3 0 5 2 20 0 15 0 69555644 11078557696 10882 33554432000 4194304 4196468 140730385293424 140439419885936 140439964609154 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30781440 140730385295532 140730385298780 140730385298780 140730385301455 0
[pid=8438/tid=8503] ppid=8435 vsize=10818904 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/8438/task/8503/stat : 8503 (java) S 8435 8438 4192 0 -1 1077944384 3 12916 0 0 0 0 5 2 20 0 15 0 69555644 11078557696 10882 33554432000 4194304 4196468 140730385293424 140438445836768 140439964608213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30781440 140730385295532 140730385298780 140730385298780 140730385301455 0
[pid=8438/tid=8504] ppid=8435 vsize=10818904 memory=139782200096384 CPUtime=0.07 cores=1,3,5,7
/proc/8438/task/8504/stat : 8504 (java) S 8435 8438 4192 0 -1 1077944384 1 12916 0 0 0 0 5 2 20 0 15 0 69555645 11078557696 10882 33554432000 4194304 4196468 140730385293424 140439418833840 140439964609154 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30781440 140730385295532 140730385298780 140730385298780 140730385301455 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10818904 KiB
Current children cumulated memory: 43528 KiB
[startup+0.310294 s]*
/proc/loadavg: 2.67 2.16 2.06 3/218 8504
/proc/meminfo: memFree=15686880/32770624 swapFree=67108860/67108860
[pid=8438] ppid=8435 vsize=10819352 memory=54200 CPUtime=0.38 cores=1,3,5,7
/proc/8438/stat : 8438 (java) S 8435 8438 4192 0 -1 1077944320 10595 12916 0 0 28 3 5 2 20 0 15 0 69555629 11079016448 13550 33554432000 4194304 4196468 140730385293424 140730385275968 140439964598007 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 30781440 140730385295532 140730385298780 140730385298780 140730385301455 0
/proc/8438/statm: 2704838 13550 3085 1 0 2667149 0
[pid=8438/tid=8491] ppid=8435 vsize=10819352 memory=8112282956445269571 CPUtime=0.28 cores=1,3,5,7
/proc/8438/task/8491/stat : 8491 (java) R 8435 8438 4192 0 -1 4202560 7231 12916 0 0 19 2 5 2 20 0 15 0 69555638 11079016448 13550 33554432000 4194304 4196468 140730385293424 140439936410016 140439946161563 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30781440 140730385295532 140730385298780 140730385298780 140730385301455 0
[pid=8438/tid=8492] ppid=8435 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8438/task/8492/stat : 8492 (java) S 8435 8438 4192 0 -1 1077944384 1 12916 0 0 0 0 5 2 20 0 15 0 69555639 11079016448 13550 33554432000 4194304 4196468 140730385293424 140439968840080 140439964608213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30781440 140730385295532 140730385298780 140730385298780 140730385301455 0
[pid=8438/tid=8493] ppid=8435 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8438/task/8493/stat : 8493 (java) S 8435 8438 4192 0 -1 1077944384 1 12916 0 0 0 0 5 2 20 0 15 0 69555639 11079016448 13550 33554432000 4194304 4196468 140730385293424 140439867730192 140439964608213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30781440 140730385295532 140730385298780 140730385298780 140730385301455 0
[pid=8438/tid=8494] ppid=8435 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8438/task/8494/stat : 8494 (java) S 8435 8438 4192 0 -1 1077944384 1 12916 0 0 0 0 5 2 20 0 15 0 69555639 11079016448 13550 33554432000 4194304 4196468 140730385293424 140439866677904 140439964608213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30781440 140730385295532 140730385298780 140730385298780 140730385301455 0
[pid=8438/tid=8495] ppid=8435 vsize=10819352 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/8438/task/8495/stat : 8495 (java) S 8435 8438 4192 0 -1 1077944384 2 12916 0 0 0 0 5 2 20 0 15 0 69555639 11079016448 13550 33554432000 4194304 4196468 140730385293424 140439865625104 140439964608213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30781440 140730385295532 140730385298780 140730385298780 140730385301455 0
[pid=8438/tid=8496] ppid=8435 vsize=10819352 memory=139782200096383 CPUtime=0.07 cores=1,3,5,7
/proc/8438/task/8496/stat : 8496 (java) S 8435 8438 4192 0 -1 1077944384 2 12916 0 0 0 0 5 2 20 0 15 0 69555641 11079016448 13550 33554432000 4194304 4196468 140730385293424 140439423044208 140439964609154 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30781440 140730385295532 140730385298780 140730385298780 140730385301455 0
[pid=8438/tid=8497] ppid=8435 vsize=10819352 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/8438/task/8497/stat : 8497 (java) S 8435 8438 4192 0 -1 1077944384 13 12916 0 0 0 0 5 2 20 0 15 0 69555641 11079016448 13550 33554432000 4194304 4196468 140730385293424 140438921012512 140439964608213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30781440 140730385295532 140730385298780 140730385298780 140730385301455 0
[pid=8438/tid=8498] ppid=8435 vsize=10819352 memory=139782200096384 CPUtime=0.07 cores=1,3,5,7
/proc/8438/task/8498/stat : 8498 (java) S 8435 8438 4192 0 -1 1077944384 1 12916 0 0 0 0 5 2 20 0 15 0 69555641 11079016448 13550 33554432000 4194304 4196468 140730385293424 140438719686256 140439964608213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30781440 140730385295532 140730385298780 140730385298780 140730385301455 0
[pid=8438/tid=8499] ppid=8435 vsize=10819352 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/8438/task/8499/stat : 8499 (java) S 8435 8438 4192 0 -1 1077944384 3 12916 0 0 0 0 5 2 20 0 15 0 69555644 11079016448 13550 33554432000 4194304 4196468 140730385293424 140438479395408 140439964616603 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30781440 140730385295532 140730385298780 140730385298780 140730385301455 0
[pid=8438/tid=8500] ppid=8435 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/8438/task/8500/stat : 8500 (java) S 8435 8438 4192 0 -1 1077944384 500 12916 0 0 1 0 5 2 20 0 15 0 69555644 11079016448 13550 33554432000 4194304 4196468 140730385293424 140439421991024 140439964609154 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30781440 140730385295532 140730385298780 140730385298780 140730385301455 0
[pid=8438/tid=8501] ppid=8435 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/8438/task/8501/stat : 8501 (java) S 8435 8438 4192 0 -1 1077944384 90 12916 0 0 1 0 5 2 20 0 15 0 69555644 11079016448 13550 33554432000 4194304 4196468 140730385293424 140439420938224 140439964609154 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30781440 140730385295532 140730385298780 140730385298780 140730385301455 0
[pid=8438/tid=8502] ppid=8435 vsize=10819352 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/8438/task/8502/stat : 8502 (java) S 8435 8438 4192 0 -1 1077944384 554 12916 0 0 5 0 5 2 20 0 15 0 69555644 11079016448 13550 33554432000 4194304 4196468 140730385293424 140439419885936 140439964609154 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30781440 140730385295532 140730385298780 140730385298780 140730385301455 0
[pid=8438/tid=8503] ppid=8435 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8438/task/8503/stat : 8503 (java) S 8435 8438 4192 0 -1 1077944384 3 12916 0 0 0 0 5 2 20 0 15 0 69555644 11079016448 13550 33554432000 4194304 4196468 140730385293424 140438445836768 140439964608213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30781440 140730385295532 140730385298780 140730385298780 140730385301455 0
[pid=8438/tid=8504] ppid=8435 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8438/task/8504/stat : 8504 (java) S 8435 8438 4192 0 -1 1077944384 1 12916 0 0 0 0 5 2 20 0 15 0 69555645 11079016448 13550 33554432000 4194304 4196468 140730385293424 140439418833840 140439964609154 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30781440 140730385295532 140730385298780 140730385298780 140730385301455 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 54200 KiB
[startup+0.700742 s]
/proc/loadavg: 2.67 2.16 2.06 3/218 8504
/proc/meminfo: memFree=15675872/32770624 swapFree=67108860/67108860
[pid=8438] ppid=8435 vsize=10819352 memory=86520 CPUtime=0.97 cores=1,3,5,7
/proc/8438/stat : 8438 (java) S 8435 8438 4192 0 -1 1077944320 16744 12916 0 0 86 4 5 2 20 0 15 0 69555629 11079016448 21630 33554432000 4194304 4196468 140730385293424 140730385275968 140439964598007 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 30781440 140730385295532 140730385298780 140730385298780 140730385301455 0
/proc/8438/statm: 2704838 21630 3237 1 0 2667149 0
[pid=8438/tid=8491] ppid=8435 vsize=10819352 memory=0 CPUtime=0.65 cores=1,3,5,7
/proc/8438/task/8491/stat : 8491 (java) R 8435 8438 4192 0 -1 4202560 12302 12916 0 0 55 3 5 2 20 0 15 0 69555638 11079016448 21630 33554432000 4194304 4196468 140730385293424 140439936418832 140439947784816 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30781440 140730385295532 140730385298780 140730385298780 140730385301455 0
[pid=8438/tid=8492] ppid=8435 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8438/task/8492/stat : 8492 (java) S 8435 8438 4192 0 -1 1077944384 1 12916 0 0 0 0 5 2 20 0 15 0 69555639 11079016448 21630 33554432000 4194304 4196468 140730385293424 140439968840080 140439964608213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30781440 140730385295532 140730385298780 140730385298780 140730385301455 0
[pid=8438/tid=8493] ppid=8435 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8438/task/8493/stat : 8493 (java) S 8435 8438 4192 0 -1 1077944384 1 12916 0 0 0 0 5 2 20 0 15 0 69555639 11079016448 21630 33554432000 4194304 4196468 140730385293424 140439867730192 140439964608213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30781440 140730385295532 140730385298780 140730385298780 140730385301455 0
[pid=8438/tid=8494] ppid=8435 vsize=10819352 memory=4132 CPUtime=0.07 cores=1,3,5,7
/proc/8438/task/8494/stat : 8494 (java) S 8435 8438 4192 0 -1 1077944384 1 12916 0 0 0 0 5 2 20 0 15 0 69555639 11079016448 21630 33554432000 4194304 4196468 140730385293424 140439866677904 140439964608213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30781440 140730385295532 140730385298780 140730385298780 140730385301455 0
[pid=8438/tid=8495] ppid=8435 vsize=10819352 memory=2241 CPUtime=0.07 cores=1,3,5,7
/proc/8438/task/8495/stat : 8495 (java) S 8435 8438 4192 0 -1 1077944384 2 12916 0 0 0 0 5 2 20 0 15 0 69555639 11079016448 21630 33554432000 4194304 4196468 140730385293424 140439865625104 140439964608213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30781440 140730385295532 140730385298780 140730385298780 140730385301455 0
[pid=8438/tid=8496] ppid=8435 vsize=10819352 memory=2244 CPUtime=0.07 cores=1,3,5,7
/proc/8438/task/8496/stat : 8496 (java) S 8435 8438 4192 0 -1 1077944384 5 12916 0 0 0 0 5 2 20 0 15 0 69555641 11079016448 21630 33554432000 4194304 4196468 140730385293424 140439423044208 140439964609154 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30781440 140730385295532 140730385298780 140730385298780 140730385301455 0
[pid=8438/tid=8497] ppid=8435 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8438/task/8497/stat : 8497 (java) S 8435 8438 4192 0 -1 1077944384 13 12916 0 0 0 0 5 2 20 0 15 0 69555641 11079016448 21630 33554432000 4194304 4196468 140730385293424 140438921012512 140439964608213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30781440 140730385295532 140730385298780 140730385298780 140730385301455 0
[pid=8438/tid=8498] ppid=8435 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8438/task/8498/stat : 8498 (java) S 8435 8438 4192 0 -1 1077944384 1 12916 0 0 0 0 5 2 20 0 15 0 69555641 11079016448 21630 33554432000 4194304 4196468 140730385293424 140438719686256 140439964608213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30781440 140730385295532 140730385298780 140730385298780 140730385301455 0
[pid=8438/tid=8499] ppid=8435 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8438/task/8499/stat : 8499 (java) S 8435 8438 4192 0 -1 1077944384 3 12916 0 0 0 0 5 2 20 0 15 0 69555644 11079016448 21630 33554432000 4194304 4196468 140730385293424 140438479395408 140439964616603 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30781440 140730385295532 140730385298780 140730385298780 140730385301455 0
[pid=8438/tid=8500] ppid=8435 vsize=10819352 memory=30305 CPUtime=0.14 cores=1,3,5,7
/proc/8438/task/8500/stat : 8500 (java) S 8435 8438 4192 0 -1 1077944384 893 12916 0 0 7 0 5 2 20 0 15 0 69555644 11079016448 21630 33554432000 4194304 4196468 140730385293424 140439421991024 140439964609154 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30781440 140730385295532 140730385298780 140730385298780 140730385301455 0
[pid=8438/tid=8501] ppid=8435 vsize=10819352 memory=0 CPUtime=0.16 cores=1,3,5,7
/proc/8438/task/8501/stat : 8501 (java) S 8435 8438 4192 0 -1 1077944384 705 12916 0 0 9 0 5 2 20 0 15 0 69555644 11079016448 21630 33554432000 4194304 4196468 140730385293424 140439420938224 140439964609154 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30781440 140730385295532 140730385298780 140730385298780 140730385301455 0
[pid=8438/tid=8502] ppid=8435 vsize=10819352 memory=3533419649945857444 CPUtime=0.2 cores=1,3,5,7
/proc/8438/task/8502/stat : 8502 (java) S 8435 8438 4192 0 -1 1077944384 621 12916 0 0 13 0 5 2 20 0 15 0 69555644 11079016448 21630 33554432000 4194304 4196468 140730385293424 140439419885936 140439964609154 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30781440 140730385295532 140730385298780 140730385298780 140730385301455 0
[pid=8438/tid=8503] ppid=8435 vsize=10819352 memory=-6305718312468242048 CPUtime=0.07 cores=1,3,5,7
/proc/8438/task/8503/stat : 8503 (java) S 8435 8438 4192 0 -1 1077944384 3 12916 0 0 0 0 5 2 20 0 15 0 69555644 11079016448 21630 33554432000 4194304 4196468 140730385293424 140438445836768 140439964608213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30781440 140730385295532 140730385298780 140730385298780 140730385301455 0
[pid=8438/tid=8504] ppid=8435 vsize=10819352 memory=-7094132109863559211 CPUtime=0.07 cores=1,3,5,7
/proc/8438/task/8504/stat : 8504 (java) S 8435 8438 4192 0 -1 1077944384 1 12916 0 0 0 0 5 2 20 0 15 0 69555645 11079016448 21630 33554432000 4194304 4196468 140730385293424 140439418833840 140439964609154 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30781440 140730385295532 140730385298780 140730385298780 140730385301455 0
Current children cumulated CPU time: 0.97 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 86520 KiB
[startup+1.50067 s]
/proc/loadavg: 2.67 2.16 2.06 2/218 8504
/proc/meminfo: memFree=15632980/32770624 swapFree=67108860/67108860
[pid=8438] ppid=8435 vsize=10828032 memory=110728 CPUtime=1.47 cores=1,3,5,7
/proc/8438/stat : 8438 (java) S 8435 8438 4192 0 -1 1077944320 19324 12916 0 0 134 6 5 2 20 0 15 0 69555629 11087904768 27682 33554432000 4194304 4196468 140730385293424 140730385275968 140439964598007 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 30781440 140730385295532 140730385298780 140730385298780 140730385301455 0
/proc/8438/statm: 2707008 27682 3406 1 0 2668685 0
[pid=8438/tid=8491] ppid=8435 vsize=10828032 memory=117 CPUtime=0.96 cores=1,3,5,7
/proc/8438/task/8491/stat : 8491 (java) R 8435 8438 4192 0 -1 4202560 14569 12916 0 0 84 5 5 2 20 0 15 0 69555638 11087904768 27682 33554432000 4194304 4196468 140730385293424 140439936429840 140439964609942 0 4 0 16800975 0 0 0 -1 5 0 0 49 0 0 6293624 6294260 30781440 140730385295532 140730385298780 140730385298780 140730385301455 0
[pid=8438/tid=8492] ppid=8435 vsize=10828032 memory=74 CPUtime=0.07 cores=1,3,5,7
/proc/8438/task/8492/stat : 8492 (java) S 8435 8438 4192 0 -1 1077944384 1 12916 0 0 0 0 5 2 20 0 15 0 69555639 11087904768 27682 33554432000 4194304 4196468 140730385293424 140439968840080 140439964608213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30781440 140730385295532 140730385298780 140730385298780 140730385301455 0
[pid=8438/tid=8493] ppid=8435 vsize=10828032 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8438/task/8493/stat : 8493 (java) S 8435 8438 4192 0 -1 1077944384 1 12916 0 0 0 0 5 2 20 0 15 0 69555639 11087904768 27682 33554432000 4194304 4196468 140730385293424 140439867730192 140439964608213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30781440 140730385295532 140730385298780 140730385298780 140730385301455 0
[pid=8438/tid=8494] ppid=8435 vsize=10828032 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8438/task/8494/stat : 8494 (java) S 8435 8438 4192 0 -1 1077944384 1 12916 0 0 0 0 5 2 20 0 15 0 69555639 11087904768 27682 33554432000 4194304 4196468 140730385293424 140439866677904 140439964608213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30781440 140730385295532 140730385298780 140730385298780 140730385301455 0
[pid=8438/tid=8495] ppid=8435 vsize=10828032 memory=55 CPUtime=0.07 cores=1,3,5,7
/proc/8438/task/8495/stat : 8495 (java) S 8435 8438 4192 0 -1 1077944384 2 12916 0 0 0 0 5 2 20 0 15 0 69555639 11087904768 27682 33554432000 4194304 4196468 140730385293424 140439865625104 140439964608213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30781440 140730385295532 140730385298780 140730385298780 140730385301455 0
[pid=8438/tid=8496] ppid=8435 vsize=10828032 memory=3533419649945857444 CPUtime=0.07 cores=1,3,5,7
/proc/8438/task/8496/stat : 8496 (java) S 8435 8438 4192 0 -1 1077944384 5 12916 0 0 0 0 5 2 20 0 15 0 69555641 11087904768 27682 33554432000 4194304 4196468 140730385293424 140439423044208 140439964609154 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30781440 140730385295532 140730385298780 140730385298780 140730385301455 0
[pid=8438/tid=8497] ppid=8435 vsize=10828032 memory=279564118962240 CPUtime=0.07 cores=1,3,5,7
/proc/8438/task/8497/stat : 8497 (java) S 8435 8438 4192 0 -1 1077944384 13 12916 0 0 0 0 5 2 20 0 15 0 69555641 11087904768 27682 33554432000 4194304 4196468 140730385293424 140438921012512 140439964608213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30781440 140730385295532 140730385298780 140730385298780 140730385301455 0
[pid=8438/tid=8498] ppid=8435 vsize=10828032 memory=279564118966688 CPUtime=0.07 cores=1,3,5,7
/proc/8438/task/8498/stat : 8498 (java) S 8435 8438 4192 0 -1 1077944384 1 12916 0 0 0 0 5 2 20 0 15 0 69555641 11087904768 27682 33554432000 4194304 4196468 140730385293424 140438719686256 140439964608213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30781440 140730385295532 140730385298780 140730385298780 140730385301455 0
[pid=8438/tid=8499] ppid=8435 vsize=10828032 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8438/task/8499/stat : 8499 (java) S 8435 8438 4192 0 -1 1077944384 3 12916 0 0 0 0 5 2 20 0 15 0 69555644 11087904768 27682 33554432000 4194304 4196468 140730385293424 140438479395408 140439964616603 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30781440 140730385295532 140730385298780 140730385298780 140730385301455 0
[pid=8438/tid=8500] ppid=8435 vsize=10828032 memory=6944656575208382560 CPUtime=0.19 cores=1,3,5,7
/proc/8438/task/8500/stat : 8500 (java) S 8435 8438 4192 0 -1 1077944384 978 12916 0 0 12 0 5 2 20 0 15 0 69555644 11087904768 27682 33554432000 4194304 4196468 140730385293424 140439421991024 140439964609154 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30781440 140730385295532 140730385298780 140730385298780 140730385301455 0
[pid=8438/tid=8501] ppid=8435 vsize=10828032 memory=0 CPUtime=0.21 cores=1,3,5,7
/proc/8438/task/8501/stat : 8501 (java) S 8435 8438 4192 0 -1 1077944384 736 12916 0 0 14 0 5 2 20 0 15 0 69555644 11087904768 27682 33554432000 4194304 4196468 140730385293424 140439420938224 140439964609154 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30781440 140730385295532 140730385298780 140730385298780 140730385301455 0
[pid=8438/tid=8502] ppid=8435 vsize=10828032 memory=0 CPUtime=0.28 cores=1,3,5,7
/proc/8438/task/8502/stat : 8502 (java) R 8435 8438 4192 0 -1 4202560 816 12916 0 0 21 0 5 2 20 0 15 0 69555644 11087904768 27682 33554432000 4194304 4196468 140730385293424 140439419885936 140439964619354 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30781440 140730385295532 140730385298780 140730385298780 140730385301455 0
[pid=8438/tid=8503] ppid=8435 vsize=10828032 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8438/task/8503/stat : 8503 (java) S 8435 8438 4192 0 -1 1077944384 3 12916 0 0 0 0 5 2 20 0 15 0 69555644 11087904768 27682 33554432000 4194304 4196468 140730385293424 140438445836768 140439964608213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30781440 140730385295532 140730385298780 140730385298780 140730385301455 0
[pid=8438/tid=8504] ppid=8435 vsize=10828032 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8438/task/8504/stat : 8504 (java) S 8435 8438 4192 0 -1 1077944384 3 12916 0 0 0 0 5 2 20 0 15 0 69555645 11087904768 27682 33554432000 4194304 4196468 140730385293424 140439418833840 140439964609154 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30781440 140730385295532 140730385298780 140730385298780 140730385301455 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 10828032 KiB
################
# More data... #
################
[startup+3.11036 s]
/proc/loadavg: 2.70 2.18 2.06 4/218 8504
/proc/meminfo: memFree=15546668/32770624 swapFree=67108860/67108860
[pid=8438] ppid=8435 vsize=10842464 memory=196144 CPUtime=4.48 cores=1,3,5,7
/proc/8438/stat : 8438 (java) S 8435 8438 4192 0 -1 1077944320 31025 12916 0 0 429 12 5 2 20 0 15 0 69555629 11102683136 49036 33554432000 4194304 4196468 140730385293424 140730385275968 140439964598007 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 30781440 140730385295532 140730385298780 140730385298780 140730385301455 0
/proc/8438/statm: 2710616 49036 3485 1 0 2672269 0
[pid=8438/tid=8491] ppid=8435 vsize=10842464 memory=0 CPUtime=2.53 cores=1,3,5,7
/proc/8438/task/8491/stat : 8491 (java) R 8435 8438 4192 0 -1 4202560 22161 12916 0 0 238 8 5 2 20 0 15 0 69555638 11102683136 49036 33554432000 4194304 4196468 140730385293424 140439936426912 140439964609942 0 4 0 16800975 0 0 0 -1 5 0 0 49 0 0 6293624 6294260 30781440 140730385295532 140730385298780 140730385298780 140730385301455 0
[pid=8438/tid=8492] ppid=8435 vsize=10842464 memory=55 CPUtime=0.08 cores=1,3,5,7
/proc/8438/task/8492/stat : 8492 (java) S 8435 8438 4192 0 -1 1077944384 194 12916 0 0 1 0 5 2 20 0 15 0 69555639 11102683136 49036 33554432000 4194304 4196468 140730385293424 140439968840080 140439964608213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30781440 140730385295532 140730385298780 140730385298780 140730385301455 0
[pid=8438/tid=8493] ppid=8435 vsize=10842464 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/8438/task/8493/stat : 8493 (java) S 8435 8438 4192 0 -1 1077944384 20 12916 0 0 1 0 5 2 20 0 15 0 69555639 11102683136 49036 33554432000 4194304 4196468 140730385293424 140439867730192 140439964608213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30781440 140730385295532 140730385298780 140730385298780 140730385301455 0
[pid=8438/tid=8494] ppid=8435 vsize=10842464 memory=279564118962144 CPUtime=0.08 cores=1,3,5,7
/proc/8438/task/8494/stat : 8494 (java) S 8435 8438 4192 0 -1 1077944384 32 12916 0 0 1 0 5 2 20 0 15 0 69555639 11102683136 49036 33554432000 4194304 4196468 140730385293424 140439866677904 140439964608213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30781440 140730385295532 140730385298780 140730385298780 140730385301455 0
[pid=8438/tid=8495] ppid=8435 vsize=10842464 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8438/task/8495/stat : 8495 (java) S 8435 8438 4192 0 -1 1077944384 61 12916 0 0 0 0 5 2 20 0 15 0 69555639 11102683136 49036 33554432000 4194304 4196468 140730385293424 140439865625104 140439964608213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30781440 140730385295532 140730385298780 140730385298780 140730385301455 0
[pid=8438/tid=8496] ppid=8435 vsize=10842464 memory=55 CPUtime=0.08 cores=1,3,5,7
/proc/8438/task/8496/stat : 8496 (java) S 8435 8438 4192 0 -1 1077944384 65 12916 0 0 1 0 5 2 20 0 15 0 69555641 11102683136 49036 33554432000 4194304 4196468 140730385293424 140439423044208 140439964609154 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30781440 140730385295532 140730385298780 140730385298780 140730385301455 0
[pid=8438/tid=8497] ppid=8435 vsize=10842464 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8438/task/8497/stat : 8497 (java) S 8435 8438 4192 0 -1 1077944384 13 12916 0 0 0 0 5 2 20 0 15 0 69555641 11102683136 49036 33554432000 4194304 4196468 140730385293424 140438921012576 140439964608213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30781440 140730385295532 140730385298780 140730385298780 140730385301455 0
[pid=8438/tid=8498] ppid=8435 vsize=10842464 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8438/task/8498/stat : 8498 (java) S 8435 8438 4192 0 -1 1077944384 2 12916 0 0 0 0 5 2 20 0 15 0 69555641 11102683136 49036 33554432000 4194304 4196468 140730385293424 140438719686272 140439964608213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30781440 140730385295532 140730385298780 140730385298780 140730385301455 0
[pid=8438/tid=8499] ppid=8435 vsize=10842464 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8438/task/8499/stat : 8499 (java) S 8435 8438 4192 0 -1 1077944384 3 12916 0 0 0 0 5 2 20 0 15 0 69555644 11102683136 49036 33554432000 4194304 4196468 140730385293424 140438479395408 140439964616603 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30781440 140730385295532 140730385298780 140730385298780 140730385301455 0
[pid=8438/tid=8500] ppid=8435 vsize=10842464 memory=9130442918539327619 CPUtime=0.47 cores=1,3,5,7
/proc/8438/task/8500/stat : 8500 (java) S 8435 8438 4192 0 -1 1077944384 1372 12916 0 0 40 0 5 2 20 0 15 0 69555644 11102683136 49036 33554432000 4194304 4196468 140730385293424 140439421991024 140439964609154 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30781440 140730385295532 140730385298780 140730385298780 140730385301455 0
[pid=8438/tid=8501] ppid=8435 vsize=10842464 memory=667680 CPUtime=0.6 cores=1,3,5,7
/proc/8438/task/8501/stat : 8501 (java) S 8435 8438 4192 0 -1 1077944384 1473 12916 0 0 53 0 5 2 20 0 15 0 69555644 11102683136 49036 33554432000 4194304 4196468 140730385293424 140439420938224 140439964609154 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30781440 140730385295532 140730385298780 140730385298780 140730385301455 0
[pid=8438/tid=8502] ppid=8435 vsize=10842464 memory=0 CPUtime=0.97 cores=1,3,5,7
/proc/8438/task/8502/stat : 8502 (java) S 8435 8438 4192 0 -1 1077944384 3431 12916 0 0 90 0 5 2 20 0 15 0 69555644 11102683136 49036 33554432000 4194304 4196468 140730385293424 140439419885936 140439964609154 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30781440 140730385295532 140730385298780 140730385298780 140730385301455 0
[pid=8438/tid=8503] ppid=8435 vsize=10842464 memory=303993173188018202 CPUtime=0.07 cores=1,3,5,7
/proc/8438/task/8503/stat : 8503 (java) S 8435 8438 4192 0 -1 1077944384 3 12916 0 0 0 0 5 2 20 0 15 0 69555644 11102683136 49036 33554432000 4194304 4196468 140730385293424 140438445836768 140439964608213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30781440 140730385295532 140730385298780 140730385298780 140730385301455 0
[pid=8438/tid=8504] ppid=8435 vsize=10842464 memory=302022869909766459 CPUtime=0.07 cores=1,3,5,7
/proc/8438/task/8504/stat : 8504 (java) S 8435 8438 4192 0 -1 1077944384 3 12916 0 0 0 0 5 2 20 0 15 0 69555645 11102683136 49036 33554432000 4194304 4196468 140730385293424 140439418833840 140439964609154 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30781440 140730385295532 140730385298780 140730385298780 140730385301455 0
Current children cumulated CPU time: 4.48 s
Current children cumulated vsize: 10842464 KiB
Current children cumulated memory: 196144 KiB
[startup+6.30075 s]
/proc/loadavg: 2.70 2.18 2.06 5/218 8504
/proc/meminfo: memFree=15351768/32770624 swapFree=67108860/67108860
[pid=8438] ppid=8435 vsize=10914144 memory=387948 CPUtime=13.71 cores=1,3,5,7
/proc/8438/stat : 8438 (java) S 8435 8438 4192 0 -1 1077944320 74119 12916 0 0 1339 25 5 2 20 0 15 0 69555629 11176083456 96987 33554432000 4194304 4196468 140730385293424 140730385275968 140439964598007 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 30781440 140730385295532 140730385298780 140730385298780 140730385301455 0
/proc/8438/statm: 2728536 96987 3523 1 0 2690189 0
[pid=8438/tid=8491] ppid=8435 vsize=10914144 memory=387064 CPUtime=5.64 cores=1,3,5,7
/proc/8438/task/8491/stat : 8491 (java) R 8435 8438 4192 0 -1 4202560 45049 12916 0 0 544 13 5 2 20 0 15 0 69555638 11176083456 96987 33554432000 4194304 4196468 140730385293424 140439936431040 140439559721540 0 4 0 16800975 0 0 0 -1 1 0 0 49 0 0 6293624 6294260 30781440 140730385295532 140730385298780 140730385298780 140730385301455 0
[pid=8438/tid=8492] ppid=8435 vsize=10914144 memory=314224 CPUtime=0.11 cores=1,3,5,7
/proc/8438/task/8492/stat : 8492 (java) S 8435 8438 4192 0 -1 1077944384 225 12916 0 0 4 0 5 2 20 0 15 0 69555639 11176083456 96987 33554432000 4194304 4196468 140730385293424 140439968840080 140439964608213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30781440 140730385295532 140730385298780 140730385298780 140730385301455 0
[pid=8438/tid=8493] ppid=8435 vsize=10914144 memory=3303 CPUtime=0.1 cores=1,3,5,7
/proc/8438/task/8493/stat : 8493 (java) S 8435 8438 4192 0 -1 1077944384 414 12916 0 0 3 0 5 2 20 0 15 0 69555639 11176083456 96987 33554432000 4194304 4196468 140730385293424 140439867730192 140439964608213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30781440 140730385295532 140730385298780 140730385298780 140730385301455 0
[pid=8438/tid=8494] ppid=8435 vsize=10914144 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/8438/task/8494/stat : 8494 (java) S 8435 8438 4192 0 -1 1077944384 256 12916 0 0 3 0 5 2 20 0 15 0 69555639 11176083456 96987 33554432000 4194304 4196468 140730385293424 140439866677904 140439964608213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30781440 140730385295532 140730385298780 140730385298780 140730385301455 0
[pid=8438/tid=8495] ppid=8435 vsize=10914144 memory=279564119397680 CPUtime=0.1 cores=1,3,5,7
/proc/8438/task/8495/stat : 8495 (java) S 8435 8438 4192 0 -1 1077944384 109 12916 0 0 3 0 5 2 20 0 15 0 69555639 11176083456 96987 33554432000 4194304 4196468 140730385293424 140439865625104 140439964608213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30781440 140730385295532 140730385298780 140730385298780 140730385301455 0
[pid=8438/tid=8496] ppid=8435 vsize=10914144 memory=279564119296704 CPUtime=0.11 cores=1,3,5,7
/proc/8438/task/8496/stat : 8496 (java) S 8435 8438 4192 0 -1 1077944384 4064 12916 0 0 3 1 5 2 20 0 15 0 69555641 11176083456 96987 33554432000 4194304 4196468 140730385293424 140439423044208 140439964609154 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30781440 140730385295532 140730385298780 140730385298780 140730385301455 0
[pid=8438/tid=8497] ppid=8435 vsize=10914144 memory=4132 CPUtime=0.07 cores=1,3,5,7
/proc/8438/task/8497/stat : 8497 (java) S 8435 8438 4192 0 -1 1077944384 13 12916 0 0 0 0 5 2 20 0 15 0 69555641 11176083456 96987 33554432000 4194304 4196468 140730385293424 140438921012640 140439964608213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30781440 140730385295532 140730385298780 140730385298780 140730385301455 0
[pid=8438/tid=8498] ppid=8435 vsize=10914144 memory=21072 CPUtime=0.07 cores=1,3,5,7
/proc/8438/task/8498/stat : 8498 (java) S 8435 8438 4192 0 -1 1077944384 2 12916 0 0 0 0 5 2 20 0 15 0 69555641 11176083456 96987 33554432000 4194304 4196468 140730385293424 140438719686272 140439964608213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30781440 140730385295532 140730385298780 140730385298780 140730385301455 0
[pid=8438/tid=8499] ppid=8435 vsize=10914144 memory=1292 CPUtime=0.07 cores=1,3,5,7
/proc/8438/task/8499/stat : 8499 (java) S 8435 8438 4192 0 -1 1077944384 3 12916 0 0 0 0 5 2 20 0 15 0 69555644 11176083456 96987 33554432000 4194304 4196468 140730385293424 140438479395408 140439964616603 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30781440 140730385295532 140730385298780 140730385298780 140730385301455 0
[pid=8438/tid=8500] ppid=8435 vsize=10914144 memory=117708 CPUtime=2.97 cores=1,3,5,7
/proc/8438/task/8500/stat : 8500 (java) R 8435 8438 4192 0 -1 4202560 4955 12916 0 0 288 2 5 2 20 0 15 0 69555644 11176083456 96987 33554432000 4194304 4196468 140730385293424 140439421970512 140439942574560 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30781440 140730385295532 140730385298780 140730385298780 140730385301455 0
[pid=8438/tid=8501] ppid=8435 vsize=10914144 memory=12 CPUtime=3 cores=1,3,5,7
/proc/8438/task/8501/stat : 8501 (java) S 8435 8438 4192 0 -1 1077944384 8844 12916 0 0 291 2 5 2 20 0 15 0 69555644 11176083456 96987 33554432000 4194304 4196468 140730385293424 140439420938224 140439964609154 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30781440 140730385295532 140730385298780 140730385298780 140730385301455 0
[pid=8438/tid=8502] ppid=8435 vsize=10914144 memory=18 CPUtime=2.02 cores=1,3,5,7
/proc/8438/task/8502/stat : 8502 (java) S 8435 8438 4192 0 -1 1077944384 7976 12916 0 0 193 2 5 2 20 0 15 0 69555644 11176083456 96987 33554432000 4194304 4196468 140730385293424 140439419885936 140439964609154 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30781440 140730385295532 140730385298780 140730385298780 140730385301455 0
[pid=8438/tid=8503] ppid=8435 vsize=10914144 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8438/task/8503/stat : 8503 (java) S 8435 8438 4192 0 -1 1077944384 3 12916 0 0 0 0 5 2 20 0 15 0 69555644 11176083456 96987 33554432000 4194304 4196468 140730385293424 140438445836768 140439964608213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30781440 140730385295532 140730385298780 140730385298780 140730385301455 0
[pid=8438/tid=8504] ppid=8435 vsize=10914144 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8438/task/8504/stat : 8504 (java) S 8435 8438 4192 0 -1 1077944384 14 12916 0 0 0 0 5 2 20 0 15 0 69555645 11176083456 96987 33554432000 4194304 4196468 140730385293424 140439418833840 140439964609154 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30781440 140730385295532 140730385298780 140730385298780 140730385301455 0
Current children cumulated CPU time: 13.71 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 387948 KiB
[startup+6.64213 s]
# the end of solver process 8438 was just reported to runsolver
# cumulated CPU time of all completed processes: user=14.13 s, system=0.298118 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+6.40087 s]
/proc/loadavg: 2.70 2.18 2.06 5/218 8504
/proc/meminfo: memFree=15351768/32770624 swapFree=67108860/67108860
[pid=8438] ppid=8435 vsize=10914144 memory=396284 CPUtime=13.92 cores=1,3,5,7
/proc/8438/stat : 8438 (java) S 8435 8438 4192 0 -1 1077944320 74189 12916 0 0 1360 25 5 2 20 0 15 0 69555629 11176083456 99071 33554432000 4194304 4196468 140730385293424 140730385275968 140439964598007 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 30781440 140730385295532 140730385298780 140730385298780 140730385301455 0
/proc/8438/statm: 2728536 99071 3523 1 0 2690189 0
[pid=8438/tid=8491] ppid=8435 vsize=10914144 memory=0 CPUtime=5.74 cores=1,3,5,7
/proc/8438/task/8491/stat : 8491 (java) R 8435 8438 4192 0 -1 4202560 45061 12916 0 0 554 13 5 2 20 0 15 0 69555638 11176083456 99071 33554432000 4194304 4196468 140730385293424 140439936429472 140439558552628 0 4 0 16800975 0 0 0 -1 1 0 0 49 0 0 6293624 6294260 30781440 140730385295532 140730385298780 140730385298780 140730385301455 0
[pid=8438/tid=8492] ppid=8435 vsize=10914144 memory=350544 CPUtime=0.11 cores=1,3,5,7
/proc/8438/task/8492/stat : 8492 (java) S 8435 8438 4192 0 -1 1077944384 230 12916 0 0 4 0 5 2 20 0 15 0 69555639 11176083456 99071 33554432000 4194304 4196468 140730385293424 140439968840080 140439964608213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30781440 140730385295532 140730385298780 140730385298780 140730385301455 0
[pid=8438/tid=8493] ppid=8435 vsize=10914144 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/8438/task/8493/stat : 8493 (java) S 8435 8438 4192 0 -1 1077944384 414 12916 0 0 4 0 5 2 20 0 15 0 69555639 11176083456 99071 33554432000 4194304 4196468 140730385293424 140439867730192 140439964608213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30781440 140730385295532 140730385298780 140730385298780 140730385301455 0
[pid=8438/tid=8494] ppid=8435 vsize=10914144 memory=55 CPUtime=0.11 cores=1,3,5,7
/proc/8438/task/8494/stat : 8494 (java) S 8435 8438 4192 0 -1 1077944384 257 12916 0 0 4 0 5 2 20 0 15 0 69555639 11176083456 99071 33554432000 4194304 4196468 140730385293424 140439866677904 140439964608213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30781440 140730385295532 140730385298780 140730385298780 140730385301455 0
[pid=8438/tid=8495] ppid=8435 vsize=10914144 memory=6944656575208382560 CPUtime=0.11 cores=1,3,5,7
/proc/8438/task/8495/stat : 8495 (java) S 8435 8438 4192 0 -1 1077944384 109 12916 0 0 4 0 5 2 20 0 15 0 69555639 11176083456 99071 33554432000 4194304 4196468 140730385293424 140439865625104 140439964608213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30781440 140730385295532 140730385298780 140730385298780 140730385301455 0
[pid=8438/tid=8496] ppid=8435 vsize=10914144 memory=288286692652352358 CPUtime=0.12 cores=1,3,5,7
/proc/8438/task/8496/stat : 8496 (java) S 8435 8438 4192 0 -1 1077944384 4078 12916 0 0 4 1 5 2 20 0 15 0 69555641 11176083456 99071 33554432000 4194304 4196468 140730385293424 140439423044208 140439964609154 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30781440 140730385295532 140730385298780 140730385298780 140730385301455 0
[pid=8438/tid=8497] ppid=8435 vsize=10914144 memory=-3704326594973231466 CPUtime=0.07 cores=1,3,5,7
/proc/8438/task/8497/stat : 8497 (java) S 8435 8438 4192 0 -1 1077944384 13 12916 0 0 0 0 5 2 20 0 15 0 69555641 11176083456 99071 33554432000 4194304 4196468 140730385293424 140438921012640 140439964608213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30781440 140730385295532 140730385298780 140730385298780 140730385301455 0
[pid=8438/tid=8498] ppid=8435 vsize=10914144 memory=3472891246181183281 CPUtime=0.07 cores=1,3,5,7
/proc/8438/task/8498/stat : 8498 (java) S 8435 8438 4192 0 -1 1077944384 2 12916 0 0 0 0 5 2 20 0 15 0 69555641 11176083456 99071 33554432000 4194304 4196468 140730385293424 140438719686272 140439964608213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30781440 140730385295532 140730385298780 140730385298780 140730385301455 0
[pid=8438/tid=8499] ppid=8435 vsize=10914144 memory=7378697629483900050 CPUtime=0.07 cores=1,3,5,7
/proc/8438/task/8499/stat : 8499 (java) S 8435 8438 4192 0 -1 1077944384 3 12916 0 0 0 0 5 2 20 0 15 0 69555644 11176083456 99071 33554432000 4194304 4196468 140730385293424 140438479395408 140439964616603 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30781440 140730385295532 140730385298780 140730385298780 140730385301455 0
[pid=8438/tid=8500] ppid=8435 vsize=10914144 memory=4856966528516578801 CPUtime=3.03 cores=1,3,5,7
/proc/8438/task/8500/stat : 8500 (java) S 8435 8438 4192 0 -1 1077944384 4972 12916 0 0 294 2 5 2 20 0 15 0 69555644 11176083456 99071 33554432000 4194304 4196468 140730385293424 140439421991024 140439964609154 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30781440 140730385295532 140730385298780 140730385298780 140730385301455 0
[pid=8438/tid=8501] ppid=8435 vsize=10914144 memory=3461361991632915594 CPUtime=3.03 cores=1,3,5,7
/proc/8438/task/8501/stat : 8501 (java) S 8435 8438 4192 0 -1 1077944384 8855 12916 0 0 294 2 5 2 20 0 15 0 69555644 11176083456 99071 33554432000 4194304 4196468 140730385293424 140439420938224 140439964609154 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30781440 140730385295532 140730385298780 140730385298780 140730385301455 0
[pid=8438/tid=8502] ppid=8435 vsize=10914144 memory=5002749363142540471 CPUtime=2.04 cores=1,3,5,7
/proc/8438/task/8502/stat : 8502 (java) S 8435 8438 4192 0 -1 1077944384 7986 12916 0 0 195 2 5 2 20 0 15 0 69555644 11176083456 99071 33554432000 4194304 4196468 140730385293424 140439419885936 140439964609154 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30781440 140730385295532 140730385298780 140730385298780 140730385301455 0
[pid=8438/tid=8503] ppid=8435 vsize=10914144 memory=2321663002096514049 CPUtime=0.07 cores=1,3,5,7
/proc/8438/task/8503/stat : 8503 (java) S 8435 8438 4192 0 -1 1077944384 3 12916 0 0 0 0 5 2 20 0 15 0 69555644 11176083456 99071 33554432000 4194304 4196468 140730385293424 140438445836768 140439964608213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30781440 140730385295532 140730385298780 140730385298780 140730385301455 0
[pid=8438/tid=8504] ppid=8435 vsize=10914144 memory=6944656575208382560 CPUtime=0.07 cores=1,3,5,7
/proc/8438/task/8504/stat : 8504 (java) S 8435 8438 4192 0 -1 1077944384 14 12916 0 0 0 0 5 2 20 0 15 0 69555645 11176083456 99071 33554432000 4194304 4196468 140730385293424 140439418833840 140439964609154 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30781440 140730385295532 140730385298780 140730385298780 140730385301455 0
Current children cumulated CPU time: 13.92 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 396284 KiB
[startup+6.6019 s]
/proc/loadavg: 2.70 2.18 2.06 5/218 8504
/proc/meminfo: memFree=15351768/32770624 swapFree=67108860/67108860
[pid=8438] ppid=8435 vsize=10914144 memory=396536 CPUtime=14.36 cores=1,3,5,7
/proc/8438/stat : 8438 (java) S 8435 8438 4192 0 -1 1077944320 74251 12916 0 0 1404 25 5 2 20 0 15 0 69555629 11176083456 99134 33554432000 4194304 4196468 140730385293424 140730385275968 140439964598007 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 30781440 140730385295532 140730385298780 140730385298780 140730385301455 0
/proc/8438/statm: 2728536 99134 3526 1 0 2690189 0
[pid=8438/tid=8491] ppid=8435 vsize=10914144 memory=0 CPUtime=5.94 cores=1,3,5,7
/proc/8438/task/8491/stat : 8491 (java) R 8435 8438 4192 0 -1 4202560 45061 12916 0 0 574 13 5 2 20 0 15 0 69555638 11176083456 99134 33554432000 4194304 4196468 140730385293424 140439936426928 140439560117070 0 4 0 16800975 0 0 0 -1 1 0 0 49 0 0 6293624 6294260 30781440 140730385295532 140730385298780 140730385298780 140730385301455 0
[pid=8438/tid=8492] ppid=8435 vsize=10914144 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/8438/task/8492/stat : 8492 (java) S 8435 8438 4192 0 -1 1077944384 230 12916 0 0 4 0 5 2 20 0 15 0 69555639 11176083456 99134 33554432000 4194304 4196468 140730385293424 140439968840080 140439964608213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30781440 140730385295532 140730385298780 140730385298780 140730385301455 0
[pid=8438/tid=8493] ppid=8435 vsize=10914144 memory=3472468077478795697 CPUtime=0.11 cores=1,3,5,7
/proc/8438/task/8493/stat : 8493 (java) S 8435 8438 4192 0 -1 1077944384 414 12916 0 0 4 0 5 2 20 0 15 0 69555639 11176083456 99134 33554432000 4194304 4196468 140730385293424 140439867730192 140439964608213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30781440 140730385295532 140730385298780 140730385298780 140730385301455 0
[pid=8438/tid=8494] ppid=8435 vsize=10914144 memory=279564119179472 CPUtime=0.11 cores=1,3,5,7
/proc/8438/task/8494/stat : 8494 (java) S 8435 8438 4192 0 -1 1077944384 257 12916 0 0 4 0 5 2 20 0 15 0 69555639 11176083456 99134 33554432000 4194304 4196468 140730385293424 140439866677904 140439964608213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30781440 140730385295532 140730385298780 140730385298780 140730385301455 0
[pid=8438/tid=8495] ppid=8435 vsize=10914144 memory=6944656592455350634 CPUtime=0.11 cores=1,3,5,7
/proc/8438/task/8495/stat : 8495 (java) S 8435 8438 4192 0 -1 1077944384 109 12916 0 0 4 0 5 2 20 0 15 0 69555639 11176083456 99134 33554432000 4194304 4196468 140730385293424 140439865625104 140439964608213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30781440 140730385295532 140730385298780 140730385298780 140730385301455 0
[pid=8438/tid=8496] ppid=8435 vsize=10914144 memory=-8990763340995141536 CPUtime=0.12 cores=1,3,5,7
/proc/8438/task/8496/stat : 8496 (java) S 8435 8438 4192 0 -1 1077944384 4078 12916 0 0 4 1 5 2 20 0 15 0 69555641 11176083456 99134 33554432000 4194304 4196468 140730385293424 140439423044208 140439964609154 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30781440 140730385295532 140730385298780 140730385298780 140730385301455 0
[pid=8438/tid=8497] ppid=8435 vsize=10914144 memory=6944656425123485561 CPUtime=0.07 cores=1,3,5,7
/proc/8438/task/8497/stat : 8497 (java) S 8435 8438 4192 0 -1 1077944384 13 12916 0 0 0 0 5 2 20 0 15 0 69555641 11176083456 99134 33554432000 4194304 4196468 140730385293424 140438921012640 140439964608213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30781440 140730385295532 140730385298780 140730385298780 140730385301455 0
[pid=8438/tid=8498] ppid=8435 vsize=10914144 memory=6944656592455350634 CPUtime=0.07 cores=1,3,5,7
/proc/8438/task/8498/stat : 8498 (java) S 8435 8438 4192 0 -1 1077944384 2 12916 0 0 0 0 5 2 20 0 15 0 69555641 11176083456 99134 33554432000 4194304 4196468 140730385293424 140438719686272 140439964608213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30781440 140730385295532 140730385298780 140730385298780 140730385301455 0
[pid=8438/tid=8499] ppid=8435 vsize=10914144 memory=139782200103521 CPUtime=0.07 cores=1,3,5,7
/proc/8438/task/8499/stat : 8499 (java) S 8435 8438 4192 0 -1 1077944384 3 12916 0 0 0 0 5 2 20 0 15 0 69555644 11176083456 99134 33554432000 4194304 4196468 140730385293424 140438479395408 140439964616603 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30781440 140730385295532 140730385298780 140730385298780 140730385301455 0
[pid=8438/tid=8500] ppid=8435 vsize=10914144 memory=139782200101313 CPUtime=3.14 cores=1,3,5,7
/proc/8438/task/8500/stat : 8500 (java) S 8435 8438 4192 0 -1 1077944384 5000 12916 0 0 305 2 5 2 20 0 15 0 69555644 11176083456 99134 33554432000 4194304 4196468 140730385293424 140439421991024 140439964609154 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30781440 140730385295532 140730385298780 140730385298780 140730385301455 0
[pid=8438/tid=8501] ppid=8435 vsize=10914144 memory=-5921431000321636112 CPUtime=3.14 cores=1,3,5,7
/proc/8438/task/8501/stat : 8501 (java) S 8435 8438 4192 0 -1 1077944384 8877 12916 0 0 305 2 5 2 20 0 15 0 69555644 11176083456 99134 33554432000 4194304 4196468 140730385293424 140439420938224 140439964609154 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30781440 140730385295532 140730385298780 140730385298780 140730385301455 0
[pid=8438/tid=8502] ppid=8435 vsize=10914144 memory=8112282956445269571 CPUtime=2.05 cores=1,3,5,7
/proc/8438/task/8502/stat : 8502 (java) S 8435 8438 4192 0 -1 1077944384 7998 12916 0 0 196 2 5 2 20 0 15 0 69555644 11176083456 99134 33554432000 4194304 4196468 140730385293424 140439419885936 140439964609154 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30781440 140730385295532 140730385298780 140730385298780 140730385301455 0
[pid=8438/tid=8503] ppid=8435 vsize=10914144 memory=2444 CPUtime=0.07 cores=1,3,5,7
/proc/8438/task/8503/stat : 8503 (java) S 8435 8438 4192 0 -1 1077944384 3 12916 0 0 0 0 5 2 20 0 15 0 69555644 11176083456 99134 33554432000 4194304 4196468 140730385293424 140438445836768 140439964608213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30781440 140730385295532 140730385298780 140730385298780 140730385301455 0
[pid=8438/tid=8504] ppid=8435 vsize=10914144 memory=1832 CPUtime=0.07 cores=1,3,5,7
/proc/8438/task/8504/stat : 8504 (java) S 8435 8438 4192 0 -1 1077944384 14 12916 0 0 0 0 5 2 20 0 15 0 69555645 11176083456 99134 33554432000 4194304 4196468 140730385293424 140439418833840 140439964609154 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30781440 140730385295532 140730385298780 140730385298780 140730385301455 0
Current children cumulated CPU time: 14.36 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 396536 KiB
Child status: 0
Real time (s): 6.64217
CPU time (s): 14.4281
CPU user time (s): 14.13
CPU system time (s): 0.298118
CPU usage (%): 217.22
Max. virtual memory (cumulated for all children) (KiB): 10917024
Max. memory (cumulated for all children) (KiB): 396536
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 14.13
system time used= 0.298118
maximum resident set size= 398744
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 87247
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8202
involuntary context switches= 53
# summary of solver processes directly reported to runsolver:
# pid: 8438
# total CPU time (s): 14.4281
# total CPU user time (s): 14.13
# total CPU system time (s): 0.298118
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.06668 second user time and 0.100504 second system time
The end