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 (14469 MiB free)
memory of node 1: 16384 MiB (15670 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4396445-1568399196/watcher-4396445-1568399196 -o /tmp/evaluation-result-4396445-1568399196/solver-4396445-1568399196 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1568393993-23928 --watchdog 2560 bin/xcsp-3-concrete -J-Xss32M -randomseed=1492764332 HOME/instance-4396445-1568399196.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=25711, runsolver pid=25708
[startup+0.100138 s]*
/proc/loadavg: 1.34 1.45 1.44 3/218 25768
/proc/meminfo: memFree=30856832/32770624 swapFree=66996932/67108860
[pid=25711] ppid=25708 vsize=9972712 memory=18860 CPUtime=0.09 cores=1,3,5,7
/proc/25711/stat : 25711 (java) S 25708 25711 22378 0 -1 1077944320 4471 13311 0 0 1 0 5 3 20 0 6 0 416172704 10212057088 4715 33554432000 4194304 4196468 140725341396944 140725341379488 140670331887351 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17690624 140725341399791 140725341402309 140725341402309 140725341405135 0
/proc/25711/statm: 2493178 4715 1935 1 0 2481616 0
[pid=25711/tid=25764] ppid=25708 vsize=9972712 memory=720575944405811505 CPUtime=0.08 cores=1,3,5,7
/proc/25711/task/25764/stat : 25764 (java) R 25708 25711 22378 0 -1 4202560 2258 13311 0 0 0 0 5 3 20 0 6 0 416172713 10212057088 4715 33554432000 4194304 4196468 140725341396944 140670303724112 140670317569843 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17690624 140725341399791 140725341402309 140725341402309 140725341405135 0
[pid=25711/tid=25765] ppid=25708 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25711/task/25765/stat : 25765 (java) S 25708 25711 22378 0 -1 1077944384 1 13311 0 0 0 0 5 3 20 0 6 0 416172714 10212057088 4715 33554432000 4194304 4196468 140725341396944 140670336129296 140670331897557 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17690624 140725341399791 140725341402309 140725341402309 140725341405135 0
[pid=25711/tid=25766] ppid=25708 vsize=9972712 memory=4048930606252033696 CPUtime=0.08 cores=1,3,5,7
/proc/25711/task/25766/stat : 25766 (java) S 25708 25711 22378 0 -1 1077944384 1 13311 0 0 0 0 5 3 20 0 6 0 416172714 10212057088 4715 33554432000 4194304 4196468 140725341396944 140670250949008 140670331897557 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17690624 140725341399791 140725341402309 140725341402309 140725341405135 0
[pid=25711/tid=25767] ppid=25708 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25711/task/25767/stat : 25767 (java) S 25708 25711 22378 0 -1 1077944384 1 13311 0 0 0 0 5 3 20 0 6 0 416172714 10212057088 4715 33554432000 4194304 4196468 140725341396944 140670249896464 140670331897557 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17690624 140725341399791 140725341402309 140725341402309 140725341405135 0
[pid=25711/tid=25768] ppid=25708 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25711/task/25768/stat : 25768 (java) S 25708 25711 22378 0 -1 1077944384 2 13311 0 0 0 0 5 3 20 0 6 0 416172714 10212057088 4715 33554432000 4194304 4196468 140725341396944 140670248843920 140670331897557 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17690624 140725341399791 140725341402309 140725341402309 140725341405135 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18860 KiB
[startup+0.210328 s]*
/proc/loadavg: 1.39 1.46 1.44 4/227 25777
/proc/meminfo: memFree=30837180/32770624 swapFree=66996932/67108860
[pid=25711] ppid=25708 vsize=10819664 memory=38824 CPUtime=0.26 cores=1,3,5,7
/proc/25711/stat : 25711 (java) S 25708 25711 22378 0 -1 1077944320 7031 13311 0 0 16 2 5 3 20 0 15 0 416172704 11079335936 9706 33554432000 4194304 4196468 140725341396944 140725341379488 140670331887351 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17690624 140725341399791 140725341402309 140725341402309 140725341405135 0
/proc/25711/statm: 2704916 9706 3161 1 0 2667149 0
[pid=25711/tid=25764] ppid=25708 vsize=10819664 memory=751940894209540401 CPUtime=0.19 cores=1,3,5,7
/proc/25711/task/25764/stat : 25764 (java) R 25708 25711 22378 0 -1 4202560 3515 13311 0 0 10 1 5 3 20 0 15 0 416172713 11079335936 9706 33554432000 4194304 4196468 140725341396944 140670303695424 140670315967838 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17690624 140725341399791 140725341402309 140725341402309 140725341405135 0
[pid=25711/tid=25765] ppid=25708 vsize=10819664 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25711/task/25765/stat : 25765 (java) S 25708 25711 22378 0 -1 1077944384 1 13311 0 0 0 0 5 3 20 0 15 0 416172714 11079335936 9706 33554432000 4194304 4196468 140725341396944 140670336129296 140670331897557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17690624 140725341399791 140725341402309 140725341402309 140725341405135 0
[pid=25711/tid=25766] ppid=25708 vsize=10819664 memory=4048930606252033696 CPUtime=0.08 cores=1,3,5,7
/proc/25711/task/25766/stat : 25766 (java) S 25708 25711 22378 0 -1 1077944384 1 13311 0 0 0 0 5 3 20 0 15 0 416172714 11079335936 9706 33554432000 4194304 4196468 140725341396944 140670250949008 140670331897557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17690624 140725341399791 140725341402309 140725341402309 140725341405135 0
[pid=25711/tid=25767] ppid=25708 vsize=10819664 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25711/task/25767/stat : 25767 (java) S 25708 25711 22378 0 -1 1077944384 1 13311 0 0 0 0 5 3 20 0 15 0 416172714 11079335936 9706 33554432000 4194304 4196468 140725341396944 140670249896464 140670331897557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17690624 140725341399791 140725341402309 140725341402309 140725341405135 0
[pid=25711/tid=25768] ppid=25708 vsize=10819664 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25711/task/25768/stat : 25768 (java) S 25708 25711 22378 0 -1 1077944384 2 13311 0 0 0 0 5 3 20 0 15 0 416172714 11079335936 9706 33554432000 4194304 4196468 140725341396944 140670248843920 140670331897557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17690624 140725341399791 140725341402309 140725341402309 140725341405135 0
[pid=25711/tid=25769] ppid=25708 vsize=10819664 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25711/task/25769/stat : 25769 (java) S 25708 25711 22378 0 -1 1077944384 2 13311 0 0 0 0 5 3 20 0 15 0 416172715 11079335936 9706 33554432000 4194304 4196468 140725341396944 140669858560496 140670331898498 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17690624 140725341399791 140725341402309 140725341402309 140725341405135 0
[pid=25711/tid=25770] ppid=25708 vsize=10819664 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/25711/task/25770/stat : 25770 (java) S 25708 25711 22378 0 -1 1077944384 13 13311 0 0 0 0 5 3 20 0 15 0 416172716 11079335936 9706 33554432000 4194304 4196468 140725341396944 140669238633888 140670331897557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17690624 140725341399791 140725341402309 140725341402309 140725341405135 0
[pid=25711/tid=25771] ppid=25708 vsize=10819664 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25711/task/25771/stat : 25771 (java) S 25708 25711 22378 0 -1 1077944384 1 13311 0 0 0 0 5 3 20 0 15 0 416172716 11079335936 9706 33554432000 4194304 4196468 140725341396944 140669104416240 140670331897557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17690624 140725341399791 140725341402309 140725341402309 140725341405135 0
[pid=25711/tid=25772] ppid=25708 vsize=10819664 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25711/task/25772/stat : 25772 (java) S 25708 25711 22378 0 -1 1077944384 3 13311 0 0 0 0 5 3 20 0 15 0 416172718 11079335936 9706 33554432000 4194304 4196468 140725341396944 140668864125648 140670331905947 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17690624 140725341399791 140725341402309 140725341402309 140725341405135 0
[pid=25711/tid=25773] ppid=25708 vsize=10819664 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/25711/task/25773/stat : 25773 (java) S 25708 25711 22378 0 -1 1077944384 356 13311 0 0 1 0 5 3 20 0 15 0 416172718 11079335936 9706 33554432000 4194304 4196468 140725341396944 140669857507312 140670331898498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17690624 140725341399791 140725341402309 140725341402309 140725341405135 0
[pid=25711/tid=25774] ppid=25708 vsize=10819664 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/25711/task/25774/stat : 25774 (java) S 25708 25711 22378 0 -1 1077944384 318 13311 0 0 1 0 5 3 20 0 15 0 416172718 11079335936 9706 33554432000 4194304 4196468 140725341396944 140669856454768 140670331898498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17690624 140725341399791 140725341402309 140725341402309 140725341405135 0
[pid=25711/tid=25775] ppid=25708 vsize=10819664 memory=140445293741696 CPUtime=0.11 cores=1,3,5,7
/proc/25711/task/25775/stat : 25775 (java) S 25708 25711 22378 0 -1 1077944384 604 13311 0 0 3 0 5 3 20 0 15 0 416172718 11079335936 9706 33554432000 4194304 4196468 140725341396944 140669855402224 140670331898498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17690624 140725341399791 140725341402309 140725341402309 140725341405135 0
[pid=25711/tid=25776] ppid=25708 vsize=10819664 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/25711/task/25776/stat : 25776 (java) S 25708 25711 22378 0 -1 1077944384 3 13311 0 0 0 0 5 3 20 0 15 0 416172719 11079335936 9706 33554432000 4194304 4196468 140725341396944 140668830567008 140670331897557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17690624 140725341399791 140725341402309 140725341402309 140725341405135 0
[pid=25711/tid=25777] ppid=25708 vsize=10819664 memory=140445293741696 CPUtime=0.08 cores=1,3,5,7
/proc/25711/task/25777/stat : 25777 (java) S 25708 25711 22378 0 -1 1077944384 1 13311 0 0 0 0 5 3 20 0 15 0 416172719 11079335936 9706 33554432000 4194304 4196468 140725341396944 140669854350128 140670331898498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17690624 140725341399791 140725341402309 140725341402309 140725341405135 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10819664 KiB
Current children cumulated memory: 38824 KiB
[startup+0.310263 s]*
/proc/loadavg: 1.39 1.46 1.44 5/227 25777
/proc/meminfo: memFree=30824136/32770624 swapFree=66996932/67108860
[pid=25711] ppid=25708 vsize=10820148 memory=49936 CPUtime=0.4 cores=1,3,5,7
/proc/25711/stat : 25711 (java) S 25708 25711 22378 0 -1 1077944320 10746 13311 0 0 29 3 5 3 20 0 15 0 416172704 11079831552 12484 33554432000 4194304 4196468 140725341396944 140725341379488 140670331887351 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17690624 140725341399791 140725341402309 140725341402309 140725341405135 0
/proc/25711/statm: 2705037 12484 3293 1 0 2667149 0
[pid=25711/tid=25764] ppid=25708 vsize=10820148 memory=8317482817917895235 CPUtime=0.29 cores=1,3,5,7
/proc/25711/task/25764/stat : 25764 (java) R 25708 25711 22378 0 -1 4202560 7197 13311 0 0 18 3 5 3 20 0 15 0 416172713 11079831552 12484 33554432000 4194304 4196468 140725341396944 140670303687264 140670331909277 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17690624 140725341399791 140725341402309 140725341402309 140725341405135 0
[pid=25711/tid=25765] ppid=25708 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25711/task/25765/stat : 25765 (java) S 25708 25711 22378 0 -1 1077944384 1 13311 0 0 0 0 5 3 20 0 15 0 416172714 11079831552 12484 33554432000 4194304 4196468 140725341396944 140670336129296 140670331897557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17690624 140725341399791 140725341402309 140725341402309 140725341405135 0
[pid=25711/tid=25766] ppid=25708 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25711/task/25766/stat : 25766 (java) S 25708 25711 22378 0 -1 1077944384 1 13311 0 0 0 0 5 3 20 0 15 0 416172714 11079831552 12484 33554432000 4194304 4196468 140725341396944 140670250949008 140670331897557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17690624 140725341399791 140725341402309 140725341402309 140725341405135 0
[pid=25711/tid=25767] ppid=25708 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25711/task/25767/stat : 25767 (java) S 25708 25711 22378 0 -1 1077944384 1 13311 0 0 0 0 5 3 20 0 15 0 416172714 11079831552 12484 33554432000 4194304 4196468 140725341396944 140670249896464 140670331897557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17690624 140725341399791 140725341402309 140725341402309 140725341405135 0
[pid=25711/tid=25768] ppid=25708 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25711/task/25768/stat : 25768 (java) S 25708 25711 22378 0 -1 1077944384 2 13311 0 0 0 0 5 3 20 0 15 0 416172714 11079831552 12484 33554432000 4194304 4196468 140725341396944 140670248843920 140670331897557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17690624 140725341399791 140725341402309 140725341402309 140725341405135 0
[pid=25711/tid=25769] ppid=25708 vsize=10820148 memory=140445293741695 CPUtime=0.08 cores=1,3,5,7
/proc/25711/task/25769/stat : 25769 (java) S 25708 25711 22378 0 -1 1077944384 2 13311 0 0 0 0 5 3 20 0 15 0 416172715 11079831552 12484 33554432000 4194304 4196468 140725341396944 140669858560496 140670331898498 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17690624 140725341399791 140725341402309 140725341402309 140725341405135 0
[pid=25711/tid=25770] ppid=25708 vsize=10820148 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/25711/task/25770/stat : 25770 (java) S 25708 25711 22378 0 -1 1077944384 13 13311 0 0 0 0 5 3 20 0 15 0 416172716 11079831552 12484 33554432000 4194304 4196468 140725341396944 140669238633888 140670331897557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17690624 140725341399791 140725341402309 140725341402309 140725341405135 0
[pid=25711/tid=25771] ppid=25708 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25711/task/25771/stat : 25771 (java) S 25708 25711 22378 0 -1 1077944384 1 13311 0 0 0 0 5 3 20 0 15 0 416172716 11079831552 12484 33554432000 4194304 4196468 140725341396944 140669104416240 140670331897557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17690624 140725341399791 140725341402309 140725341402309 140725341405135 0
[pid=25711/tid=25772] ppid=25708 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25711/task/25772/stat : 25772 (java) S 25708 25711 22378 0 -1 1077944384 3 13311 0 0 0 0 5 3 20 0 15 0 416172718 11079831552 12484 33554432000 4194304 4196468 140725341396944 140668864125648 140670331905947 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17690624 140725341399791 140725341402309 140725341402309 140725341405135 0
[pid=25711/tid=25773] ppid=25708 vsize=10820148 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/25711/task/25773/stat : 25773 (java) S 25708 25711 22378 0 -1 1077944384 365 13311 0 0 2 0 5 3 20 0 15 0 416172718 11079831552 12484 33554432000 4194304 4196468 140725341396944 140669857507312 140670331898498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17690624 140725341399791 140725341402309 140725341402309 140725341405135 0
[pid=25711/tid=25774] ppid=25708 vsize=10820148 memory=-1 CPUtime=0.1 cores=1,3,5,7
/proc/25711/task/25774/stat : 25774 (java) S 25708 25711 22378 0 -1 1077944384 319 13311 0 0 2 0 5 3 20 0 15 0 416172718 11079831552 12484 33554432000 4194304 4196468 140725341396944 140669856454768 140670331898498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17690624 140725341399791 140725341402309 140725341402309 140725341405135 0
[pid=25711/tid=25775] ppid=25708 vsize=10820148 memory=140445293741696 CPUtime=0.13 cores=1,3,5,7
/proc/25711/task/25775/stat : 25775 (java) S 25708 25711 22378 0 -1 1077944384 627 13311 0 0 5 0 5 3 20 0 15 0 416172718 11079831552 12484 33554432000 4194304 4196468 140725341396944 140669855402224 140670331898498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17690624 140725341399791 140725341402309 140725341402309 140725341405135 0
[pid=25711/tid=25776] ppid=25708 vsize=10820148 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/25711/task/25776/stat : 25776 (java) S 25708 25711 22378 0 -1 1077944384 3 13311 0 0 0 0 5 3 20 0 15 0 416172719 11079831552 12484 33554432000 4194304 4196468 140725341396944 140668830567008 140670331897557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17690624 140725341399791 140725341402309 140725341402309 140725341405135 0
[pid=25711/tid=25777] ppid=25708 vsize=10820148 memory=140445293741696 CPUtime=0.08 cores=1,3,5,7
/proc/25711/task/25777/stat : 25777 (java) S 25708 25711 22378 0 -1 1077944384 1 13311 0 0 0 0 5 3 20 0 15 0 416172719 11079831552 12484 33554432000 4194304 4196468 140725341396944 140669854350128 140670331898498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17690624 140725341399791 140725341402309 140725341402309 140725341405135 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820148 KiB
Current children cumulated memory: 49936 KiB
[startup+0.708958 s]
/proc/loadavg: 1.39 1.46 1.44 4/227 25777
/proc/meminfo: memFree=30808496/32770624 swapFree=66996932/67108860
[pid=25711] ppid=25708 vsize=10824360 memory=83572 CPUtime=1.16 cores=1,3,5,7
/proc/25711/stat : 25711 (java) S 25708 25711 22378 0 -1 1077944320 15149 13311 0 0 102 6 5 3 20 0 15 0 416172704 11084144640 20893 33554432000 4194304 4196468 140725341396944 140725341379488 140670331887351 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17690624 140725341399791 140725341402309 140725341402309 140725341405135 0
/proc/25711/statm: 2706090 20893 3512 1 0 2668173 0
[pid=25711/tid=25764] ppid=25708 vsize=10824360 memory=5795117241467496816 CPUtime=0.67 cores=1,3,5,7
/proc/25711/task/25764/stat : 25764 (java) R 25708 25711 22378 0 -1 4202560 10374 13311 0 0 55 4 5 3 20 0 15 0 416172713 11084144640 20893 33554432000 4194304 4196468 140725341396944 140670303714512 140670331909277 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17690624 140725341399791 140725341402309 140725341402309 140725341405135 0
[pid=25711/tid=25765] ppid=25708 vsize=10824360 memory=1388 CPUtime=0.08 cores=1,3,5,7
/proc/25711/task/25765/stat : 25765 (java) S 25708 25711 22378 0 -1 1077944384 1 13311 0 0 0 0 5 3 20 0 15 0 416172714 11084144640 20893 33554432000 4194304 4196468 140725341396944 140670336129296 140670331897557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17690624 140725341399791 140725341402309 140725341402309 140725341405135 0
[pid=25711/tid=25766] ppid=25708 vsize=10824360 memory=776 CPUtime=0.08 cores=1,3,5,7
/proc/25711/task/25766/stat : 25766 (java) S 25708 25711 22378 0 -1 1077944384 1 13311 0 0 0 0 5 3 20 0 15 0 416172714 11084144640 20893 33554432000 4194304 4196468 140725341396944 140670250949008 140670331897557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17690624 140725341399791 140725341402309 140725341402309 140725341405135 0
[pid=25711/tid=25767] ppid=25708 vsize=10824360 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25711/task/25767/stat : 25767 (java) S 25708 25711 22378 0 -1 1077944384 1 13311 0 0 0 0 5 3 20 0 15 0 416172714 11084144640 20893 33554432000 4194304 4196468 140725341396944 140670249896464 140670331897557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17690624 140725341399791 140725341402309 140725341402309 140725341405135 0
[pid=25711/tid=25768] ppid=25708 vsize=10824360 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25711/task/25768/stat : 25768 (java) S 25708 25711 22378 0 -1 1077944384 2 13311 0 0 0 0 5 3 20 0 15 0 416172714 11084144640 20893 33554432000 4194304 4196468 140725341396944 140670248843920 140670331897557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17690624 140725341399791 140725341402309 140725341402309 140725341405135 0
[pid=25711/tid=25769] ppid=25708 vsize=10824360 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25711/task/25769/stat : 25769 (java) S 25708 25711 22378 0 -1 1077944384 5 13311 0 0 0 0 5 3 20 0 15 0 416172715 11084144640 20893 33554432000 4194304 4196468 140725341396944 140669858560496 140670331898498 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17690624 140725341399791 140725341402309 140725341402309 140725341405135 0
[pid=25711/tid=25770] ppid=25708 vsize=10824360 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25711/task/25770/stat : 25770 (java) S 25708 25711 22378 0 -1 1077944384 13 13311 0 0 0 0 5 3 20 0 15 0 416172716 11084144640 20893 33554432000 4194304 4196468 140725341396944 140669238633888 140670331897557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17690624 140725341399791 140725341402309 140725341402309 140725341405135 0
[pid=25711/tid=25771] ppid=25708 vsize=10824360 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25711/task/25771/stat : 25771 (java) S 25708 25711 22378 0 -1 1077944384 1 13311 0 0 0 0 5 3 20 0 15 0 416172716 11084144640 20893 33554432000 4194304 4196468 140725341396944 140669104416240 140670331897557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17690624 140725341399791 140725341402309 140725341402309 140725341405135 0
[pid=25711/tid=25772] ppid=25708 vsize=10824360 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25711/task/25772/stat : 25772 (java) S 25708 25711 22378 0 -1 1077944384 3 13311 0 0 0 0 5 3 20 0 15 0 416172718 11084144640 20893 33554432000 4194304 4196468 140725341396944 140668864125648 140670331905947 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17690624 140725341399791 140725341402309 140725341402309 140725341405135 0
[pid=25711/tid=25773] ppid=25708 vsize=10824360 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/25711/task/25773/stat : 25773 (java) R 25708 25711 22378 0 -1 1077944384 920 13311 0 0 12 0 5 3 20 0 15 0 416172718 11084144640 20893 33554432000 4194304 4196468 140725341396944 140669857507312 140670331898498 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17690624 140725341399791 140725341402309 140725341402309 140725341405135 0
[pid=25711/tid=25774] ppid=25708 vsize=10824360 memory=0 CPUtime=0.24 cores=1,3,5,7
/proc/25711/task/25774/stat : 25774 (java) R 25708 25711 22378 0 -1 4202560 788 13311 0 0 16 0 5 3 20 0 15 0 416172718 11084144640 20893 33554432000 4194304 4196468 140725341396944 140669856441584 140670313063067 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17690624 140725341399791 140725341402309 140725341402309 140725341405135 0
[pid=25711/tid=25775] ppid=25708 vsize=10824360 memory=0 CPUtime=0.25 cores=1,3,5,7
/proc/25711/task/25775/stat : 25775 (java) R 25708 25711 22378 0 -1 4202560 826 13311 0 0 17 0 5 3 20 0 15 0 416172718 11084144640 20893 33554432000 4194304 4196468 140725341396944 140669855402224 140670331899286 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17690624 140725341399791 140725341402309 140725341402309 140725341405135 0
[pid=25711/tid=25776] ppid=25708 vsize=10824360 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25711/task/25776/stat : 25776 (java) S 25708 25711 22378 0 -1 1077944384 3 13311 0 0 0 0 5 3 20 0 15 0 416172719 11084144640 20893 33554432000 4194304 4196468 140725341396944 140668830567008 140670331897557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17690624 140725341399791 140725341402309 140725341402309 140725341405135 0
[pid=25711/tid=25777] ppid=25708 vsize=10824360 memory=3504 CPUtime=0.08 cores=1,3,5,7
/proc/25711/task/25777/stat : 25777 (java) S 25708 25711 22378 0 -1 1077944384 1 13311 0 0 0 0 5 3 20 0 15 0 416172719 11084144640 20893 33554432000 4194304 4196468 140725341396944 140669854350128 140670331898498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17690624 140725341399791 140725341402309 140725341402309 140725341405135 0
Current children cumulated CPU time: 1.16 s
Current children cumulated vsize: 10824360 KiB
Current children cumulated memory: 83572 KiB
[startup+1.50076 s]
/proc/loadavg: 1.39 1.46 1.44 5/227 25777
/proc/meminfo: memFree=30766204/32770624 swapFree=66996932/67108860
[pid=25711] ppid=25708 vsize=10834676 memory=179396 CPUtime=2.69 cores=1,3,5,7
/proc/25711/stat : 25711 (java) S 25708 25711 22378 0 -1 1077944320 23230 13311 0 0 250 11 5 3 20 0 15 0 416172704 11094708224 44849 33554432000 4194304 4196468 140725341396944 140725341379488 140670331887351 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17690624 140725341399791 140725341402309 140725341402309 140725341405135 0
/proc/25711/statm: 2708669 44849 3585 1 0 2670733 0
[pid=25711/tid=25764] ppid=25708 vsize=10834676 memory=0 CPUtime=1.43 cores=1,3,5,7
/proc/25711/task/25764/stat : 25764 (java) R 25708 25711 22378 0 -1 4202560 15086 13311 0 0 128 7 5 3 20 0 15 0 416172713 11094708224 44849 33554432000 4194304 4196468 140725341396944 140670303702496 140670315967838 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17690624 140725341399791 140725341402309 140725341402309 140725341405135 0
[pid=25711/tid=25765] ppid=25708 vsize=10834676 memory=-7522837583129502606 CPUtime=0.08 cores=1,3,5,7
/proc/25711/task/25765/stat : 25765 (java) S 25708 25711 22378 0 -1 1077944384 319 13311 0 0 0 0 5 3 20 0 15 0 416172714 11094708224 44849 33554432000 4194304 4196468 140725341396944 140670336129296 140670331897557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17690624 140725341399791 140725341402309 140725341402309 140725341405135 0
[pid=25711/tid=25766] ppid=25708 vsize=10834676 memory=7523354863787336017 CPUtime=0.09 cores=1,3,5,7
/proc/25711/task/25766/stat : 25766 (java) S 25708 25711 22378 0 -1 1077944384 30 13311 0 0 1 0 5 3 20 0 15 0 416172714 11094708224 44849 33554432000 4194304 4196468 140725341396944 140670250949008 140670331897557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17690624 140725341399791 140725341402309 140725341402309 140725341405135 0
[pid=25711/tid=25767] ppid=25708 vsize=10834676 memory=7595714780626182481 CPUtime=0.09 cores=1,3,5,7
/proc/25711/task/25767/stat : 25767 (java) S 25708 25711 22378 0 -1 1077944384 69 13311 0 0 1 0 5 3 20 0 15 0 416172714 11094708224 44849 33554432000 4194304 4196468 140725341396944 140670249896464 140670331897557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17690624 140725341399791 140725341402309 140725341402309 140725341405135 0
[pid=25711/tid=25768] ppid=25708 vsize=10834676 memory=280890324724064 CPUtime=0.09 cores=1,3,5,7
/proc/25711/task/25768/stat : 25768 (java) S 25708 25711 22378 0 -1 1077944384 84 13311 0 0 1 0 5 3 20 0 15 0 416172714 11094708224 44849 33554432000 4194304 4196468 140725341396944 140670248843920 140670331897557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17690624 140725341399791 140725341402309 140725341402309 140725341405135 0
[pid=25711/tid=25769] ppid=25708 vsize=10834676 memory=250856154908957 CPUtime=0.09 cores=1,3,5,7
/proc/25711/task/25769/stat : 25769 (java) S 25708 25711 22378 0 -1 1077944384 169 13311 0 0 1 0 5 3 20 0 15 0 416172715 11094708224 44849 33554432000 4194304 4196468 140725341396944 140669858560496 140670331898498 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17690624 140725341399791 140725341402309 140725341402309 140725341405135 0
[pid=25711/tid=25770] ppid=25708 vsize=10834676 memory=250856154908958 CPUtime=0.08 cores=1,3,5,7
/proc/25711/task/25770/stat : 25770 (java) S 25708 25711 22378 0 -1 1077944384 13 13311 0 0 0 0 5 3 20 0 15 0 416172716 11094708224 44849 33554432000 4194304 4196468 140725341396944 140669238633952 140670331897557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17690624 140725341399791 140725341402309 140725341402309 140725341405135 0
[pid=25711/tid=25771] ppid=25708 vsize=10834676 memory=250856154908959 CPUtime=0.08 cores=1,3,5,7
/proc/25711/task/25771/stat : 25771 (java) S 25708 25711 22378 0 -1 1077944384 2 13311 0 0 0 0 5 3 20 0 15 0 416172716 11094708224 44849 33554432000 4194304 4196468 140725341396944 140669104416240 140670331897557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17690624 140725341399791 140725341402309 140725341402309 140725341405135 0
[pid=25711/tid=25772] ppid=25708 vsize=10834676 memory=250856154908960 CPUtime=0.08 cores=1,3,5,7
/proc/25711/task/25772/stat : 25772 (java) S 25708 25711 22378 0 -1 1077944384 3 13311 0 0 0 0 5 3 20 0 15 0 416172718 11094708224 44849 33554432000 4194304 4196468 140725341396944 140668864125648 140670331905947 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17690624 140725341399791 140725341402309 140725341402309 140725341405135 0
[pid=25711/tid=25773] ppid=25708 vsize=10834676 memory=0 CPUtime=0.37 cores=1,3,5,7
/proc/25711/task/25773/stat : 25773 (java) R 25708 25711 22378 0 -1 4202560 1615 13311 0 0 29 0 5 3 20 0 15 0 416172718 11094708224 44849 33554432000 4194304 4196468 140725341396944 140669857507312 140670313431074 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17690624 140725341399791 140725341402309 140725341402309 140725341405135 0
[pid=25711/tid=25774] ppid=25708 vsize=10834676 memory=280890324318128 CPUtime=0.48 cores=1,3,5,7
/proc/25711/task/25774/stat : 25774 (java) S 25708 25711 22378 0 -1 1077944384 1755 13311 0 0 40 0 5 3 20 0 15 0 416172718 11094708224 44849 33554432000 4194304 4196468 140725341396944 140669856454768 140670331898498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17690624 140725341399791 140725341402309 140725341402309 140725341405135 0
[pid=25711/tid=25775] ppid=25708 vsize=10834676 memory=280890324316272 CPUtime=0.51 cores=1,3,5,7
/proc/25711/task/25775/stat : 25775 (java) S 25708 25711 22378 0 -1 1077944384 1883 13311 0 0 43 0 5 3 20 0 15 0 416172718 11094708224 44849 33554432000 4194304 4196468 140725341396944 140669855402224 140670331898498 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17690624 140725341399791 140725341402309 140725341402309 140725341405135 0
[pid=25711/tid=25776] ppid=25708 vsize=10834676 memory=280890324316336 CPUtime=0.08 cores=1,3,5,7
/proc/25711/task/25776/stat : 25776 (java) S 25708 25711 22378 0 -1 1077944384 3 13311 0 0 0 0 5 3 20 0 15 0 416172719 11094708224 44849 33554432000 4194304 4196468 140725341396944 140668830567008 140670331897557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17690624 140725341399791 140725341402309 140725341402309 140725341405135 0
[pid=25711/tid=25777] ppid=25708 vsize=10834676 memory=280890324763856 CPUtime=0.08 cores=1,3,5,7
/proc/25711/task/25777/stat : 25777 (java) S 25708 25711 22378 0 -1 1077944384 1 13311 0 0 0 0 5 3 20 0 15 0 416172719 11094708224 44849 33554432000 4194304 4196468 140725341396944 140669854350128 140670331898498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17690624 140725341399791 140725341402309 140725341402309 140725341405135 0
Current children cumulated CPU time: 2.69 s
Current children cumulated vsize: 10834676 KiB
################
# More data... #
################
[startup+7.36912 s]
# the end of solver process 25711 was just reported to runsolver
# cumulated CPU time of all completed processes: user=17.4297 s, system=0.336043 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+6.40131 s]
/proc/loadavg: 1.52 1.49 1.45 3/227 25777
/proc/meminfo: memFree=30496092/32770624 swapFree=66996932/67108860
[pid=25711] ppid=25708 vsize=10851092 memory=388748 CPUtime=16.09 cores=1,3,5,7
/proc/25711/stat : 25711 (java) S 25708 25711 22378 0 -1 1077944320 65486 13311 0 0 1574 27 5 3 20 0 15 0 416172704 11111518208 97187 33554432000 4194304 4196468 140725341396944 140725341379488 140670331887351 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17690624 140725341399791 140725341402309 140725341402309 140725341405135 0
/proc/25711/statm: 2712773 97187 3623 1 0 2674829 0
[pid=25711/tid=25764] ppid=25708 vsize=10851092 memory=6791534058613427641 CPUtime=6.19 cores=1,3,5,7
/proc/25711/task/25764/stat : 25764 (java) R 25708 25711 22378 0 -1 4202560 25615 13311 0 0 600 11 5 3 20 0 15 0 416172713 11111518208 97187 33554432000 4194304 4196468 140725341396944 140670303719928 140669942639894 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 17690624 140725341399791 140725341402309 140725341402309 140725341405135 0
[pid=25711/tid=25765] ppid=25708 vsize=10851092 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/25711/task/25765/stat : 25765 (java) S 25708 25711 22378 0 -1 1077944384 350 13311 0 0 4 1 5 3 20 0 15 0 416172714 11111518208 97187 33554432000 4194304 4196468 140725341396944 140670336129296 140670331897557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17690624 140725341399791 140725341402309 140725341402309 140725341405135 0
[pid=25711/tid=25766] ppid=25708 vsize=10851092 memory=140445162447872 CPUtime=0.12 cores=1,3,5,7
/proc/25711/task/25766/stat : 25766 (java) S 25708 25711 22378 0 -1 1077944384 86 13311 0 0 4 0 5 3 20 0 15 0 416172714 11111518208 97187 33554432000 4194304 4196468 140725341396944 140670250949008 140670331897557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17690624 140725341399791 140725341402309 140725341402309 140725341405135 0
[pid=25711/tid=25767] ppid=25708 vsize=10851092 memory=-2746958450906831424 CPUtime=0.14 cores=1,3,5,7
/proc/25711/task/25767/stat : 25767 (java) S 25708 25711 22378 0 -1 1077944384 253 13311 0 0 5 1 5 3 20 0 15 0 416172714 11111518208 97187 33554432000 4194304 4196468 140725341396944 140670249896464 140670331897557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17690624 140725341399791 140725341402309 140725341402309 140725341405135 0
[pid=25711/tid=25768] ppid=25708 vsize=10851092 memory=-6007903645240486502 CPUtime=0.13 cores=1,3,5,7
/proc/25711/task/25768/stat : 25768 (java) S 25708 25711 22378 0 -1 1077944384 138 13311 0 0 4 1 5 3 20 0 15 0 416172714 11111518208 97187 33554432000 4194304 4196468 140725341396944 140670248843920 140670331897557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17690624 140725341399791 140725341402309 140725341402309 140725341405135 0
[pid=25711/tid=25769] ppid=25708 vsize=10851092 memory=4948503399393173120 CPUtime=0.12 cores=1,3,5,7
/proc/25711/task/25769/stat : 25769 (java) S 25708 25711 22378 0 -1 1077944384 3151 13311 0 0 4 0 5 3 20 0 15 0 416172715 11111518208 97187 33554432000 4194304 4196468 140725341396944 140669858560496 140670331898498 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17690624 140725341399791 140725341402309 140725341402309 140725341405135 0
[pid=25711/tid=25770] ppid=25708 vsize=10851092 memory=-1088251628401078322 CPUtime=0.08 cores=1,3,5,7
/proc/25711/task/25770/stat : 25770 (java) S 25708 25711 22378 0 -1 1077944384 15 13311 0 0 0 0 5 3 20 0 15 0 416172716 11111518208 97187 33554432000 4194304 4196468 140725341396944 140669238633952 140670331897557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17690624 140725341399791 140725341402309 140725341402309 140725341405135 0
[pid=25711/tid=25771] ppid=25708 vsize=10851092 memory=-6369074288953532201 CPUtime=0.08 cores=1,3,5,7
/proc/25711/task/25771/stat : 25771 (java) S 25708 25711 22378 0 -1 1077944384 7 13311 0 0 0 0 5 3 20 0 15 0 416172716 11111518208 97187 33554432000 4194304 4196468 140725341396944 140669104416256 140670331897557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17690624 140725341399791 140725341402309 140725341402309 140725341405135 0
[pid=25711/tid=25772] ppid=25708 vsize=10851092 memory=-6226332468935753555 CPUtime=0.08 cores=1,3,5,7
/proc/25711/task/25772/stat : 25772 (java) S 25708 25711 22378 0 -1 1077944384 3 13311 0 0 0 0 5 3 20 0 15 0 416172718 11111518208 97187 33554432000 4194304 4196468 140725341396944 140668864125648 140670331905947 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17690624 140725341399791 140725341402309 140725341402309 140725341405135 0
[pid=25711/tid=25773] ppid=25708 vsize=10851092 memory=7810760632007418452 CPUtime=3.68 cores=1,3,5,7
/proc/25711/task/25773/stat : 25773 (java) S 25708 25711 22378 0 -1 1077944384 10232 13311 0 0 357 3 5 3 20 0 15 0 416172718 11111518208 97187 33554432000 4194304 4196468 140725341396944 140669857507312 140670331898498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17690624 140725341399791 140725341402309 140725341402309 140725341405135 0
[pid=25711/tid=25774] ppid=25708 vsize=10851092 memory=7236229500900889449 CPUtime=3.85 cores=1,3,5,7
/proc/25711/task/25774/stat : 25774 (java) R 25708 25711 22378 0 -1 4202560 11661 13311 0 0 375 2 5 3 20 0 15 0 416172718 11111518208 97187 33554432000 4194304 4196468 140725341396944 140669856454768 140670313065872 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17690624 140725341399791 140725341402309 140725341402309 140725341405135 0
[pid=25711/tid=25775] ppid=25708 vsize=10851092 memory=1550 CPUtime=2.27 cores=1,3,5,7
/proc/25711/task/25775/stat : 25775 (java) S 25708 25711 22378 0 -1 1077944384 11741 13311 0 0 214 5 5 3 20 0 15 0 416172718 11111518208 97187 33554432000 4194304 4196468 140725341396944 140669855402224 140670331898498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17690624 140725341399791 140725341402309 140725341402309 140725341405135 0
[pid=25711/tid=25776] ppid=25708 vsize=10851092 memory=140445162426789 CPUtime=0.08 cores=1,3,5,7
/proc/25711/task/25776/stat : 25776 (java) S 25708 25711 22378 0 -1 1077944384 3 13311 0 0 0 0 5 3 20 0 15 0 416172719 11111518208 97187 33554432000 4194304 4196468 140725341396944 140668830567008 140670331897557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17690624 140725341399791 140725341402309 140725341402309 140725341405135 0
[pid=25711/tid=25777] ppid=25708 vsize=10851092 memory=7092437595381127268 CPUtime=0.08 cores=1,3,5,7
/proc/25711/task/25777/stat : 25777 (java) S 25708 25711 22378 0 -1 1077944384 21 13311 0 0 0 0 5 3 20 0 15 0 416172719 11111518208 97187 33554432000 4194304 4196468 140725341396944 140669854350128 140670331898498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17690624 140725341399791 140725341402309 140725341402309 140725341405135 0
Current children cumulated CPU time: 16.09 s
Current children cumulated vsize: 10851092 KiB
Current children cumulated memory: 388748 KiB
[startup+6.81129 s]
/proc/loadavg: 1.52 1.49 1.45 3/227 25777
/proc/meminfo: memFree=30496092/32770624 swapFree=66996932/67108860
[pid=25711] ppid=25708 vsize=10851092 memory=432004 CPUtime=16.96 cores=1,3,5,7
/proc/25711/stat : 25711 (java) S 25708 25711 22378 0 -1 1077944320 65623 13311 0 0 1660 28 5 3 20 0 15 0 416172704 11111518208 108001 33554432000 4194304 4196468 140725341396944 140725341379488 140670331887351 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17690624 140725341399791 140725341402309 140725341402309 140725341405135 0
/proc/25711/statm: 2712773 108001 3623 1 0 2674829 0
[pid=25711/tid=25764] ppid=25708 vsize=10851092 memory=1060 CPUtime=6.59 cores=1,3,5,7
/proc/25711/task/25764/stat : 25764 (java) R 25708 25711 22378 0 -1 4202560 25654 13311 0 0 640 11 5 3 20 0 15 0 416172713 11111518208 108001 33554432000 4194304 4196468 140725341396944 140670303719232 140669945157702 0 4 0 16800975 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 17690624 140725341399791 140725341402309 140725341402309 140725341405135 0
[pid=25711/tid=25765] ppid=25708 vsize=10851092 memory=1548 CPUtime=0.13 cores=1,3,5,7
/proc/25711/task/25765/stat : 25765 (java) S 25708 25711 22378 0 -1 1077944384 354 13311 0 0 4 1 5 3 20 0 15 0 416172714 11111518208 108001 33554432000 4194304 4196468 140725341396944 140670336129296 140670331897557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17690624 140725341399791 140725341402309 140725341402309 140725341405135 0
[pid=25711/tid=25766] ppid=25708 vsize=10851092 memory=8560 CPUtime=0.13 cores=1,3,5,7
/proc/25711/task/25766/stat : 25766 (java) S 25708 25711 22378 0 -1 1077944384 89 13311 0 0 5 0 5 3 20 0 15 0 416172714 11111518208 108001 33554432000 4194304 4196468 140725341396944 140670250949008 140670331897557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17690624 140725341399791 140725341402309 140725341402309 140725341405135 0
[pid=25711/tid=25767] ppid=25708 vsize=10851092 memory=1668 CPUtime=0.14 cores=1,3,5,7
/proc/25711/task/25767/stat : 25767 (java) S 25708 25711 22378 0 -1 1077944384 256 13311 0 0 5 1 5 3 20 0 15 0 416172714 11111518208 108001 33554432000 4194304 4196468 140725341396944 140670249896464 140670331897557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17690624 140725341399791 140725341402309 140725341402309 140725341405135 0
[pid=25711/tid=25768] ppid=25708 vsize=10851092 memory=1112 CPUtime=0.13 cores=1,3,5,7
/proc/25711/task/25768/stat : 25768 (java) S 25708 25711 22378 0 -1 1077944384 142 13311 0 0 4 1 5 3 20 0 15 0 416172714 11111518208 108001 33554432000 4194304 4196468 140725341396944 140670248843920 140670331897557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17690624 140725341399791 140725341402309 140725341402309 140725341405135 0
[pid=25711/tid=25769] ppid=25708 vsize=10851092 memory=1004 CPUtime=0.13 cores=1,3,5,7
/proc/25711/task/25769/stat : 25769 (java) S 25708 25711 22378 0 -1 1077944384 3184 13311 0 0 5 0 5 3 20 0 15 0 416172715 11111518208 108001 33554432000 4194304 4196468 140725341396944 140669858560496 140670331898498 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17690624 140725341399791 140725341402309 140725341402309 140725341405135 0
[pid=25711/tid=25770] ppid=25708 vsize=10851092 memory=366952 CPUtime=0.08 cores=1,3,5,7
/proc/25711/task/25770/stat : 25770 (java) S 25708 25711 22378 0 -1 1077944384 15 13311 0 0 0 0 5 3 20 0 15 0 416172716 11111518208 108001 33554432000 4194304 4196468 140725341396944 140669238633952 140670331897557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17690624 140725341399791 140725341402309 140725341402309 140725341405135 0
[pid=25711/tid=25771] ppid=25708 vsize=10851092 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25711/task/25771/stat : 25771 (java) S 25708 25711 22378 0 -1 1077944384 7 13311 0 0 0 0 5 3 20 0 15 0 416172716 11111518208 108001 33554432000 4194304 4196468 140725341396944 140669104416256 140670331897557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17690624 140725341399791 140725341402309 140725341402309 140725341405135 0
[pid=25711/tid=25772] ppid=25708 vsize=10851092 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25711/task/25772/stat : 25772 (java) S 25708 25711 22378 0 -1 1077944384 3 13311 0 0 0 0 5 3 20 0 15 0 416172718 11111518208 108001 33554432000 4194304 4196468 140725341396944 140668864125648 140670331905947 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17690624 140725341399791 140725341402309 140725341402309 140725341405135 0
[pid=25711/tid=25773] ppid=25708 vsize=10851092 memory=0 CPUtime=3.81 cores=1,3,5,7
/proc/25711/task/25773/stat : 25773 (java) S 25708 25711 22378 0 -1 1077944384 10232 13311 0 0 370 3 5 3 20 0 15 0 416172718 11111518208 108001 33554432000 4194304 4196468 140725341396944 140669857507312 140670331898498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17690624 140725341399791 140725341402309 140725341402309 140725341405135 0
[pid=25711/tid=25774] ppid=25708 vsize=10851092 memory=0 CPUtime=4.13 cores=1,3,5,7
/proc/25711/task/25774/stat : 25774 (java) S 25708 25711 22378 0 -1 1077944384 11684 13311 0 0 403 2 5 3 20 0 15 0 416172718 11111518208 108001 33554432000 4194304 4196468 140725341396944 140669856454768 140670331898498 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17690624 140725341399791 140725341402309 140725341402309 140725341405135 0
[pid=25711/tid=25775] ppid=25708 vsize=10851092 memory=0 CPUtime=2.3 cores=1,3,5,7
/proc/25711/task/25775/stat : 25775 (java) S 25708 25711 22378 0 -1 1077944384 11769 13311 0 0 217 5 5 3 20 0 15 0 416172718 11111518208 108001 33554432000 4194304 4196468 140725341396944 140669855402224 140670331898498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17690624 140725341399791 140725341402309 140725341402309 140725341405135 0
[pid=25711/tid=25776] ppid=25708 vsize=10851092 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25711/task/25776/stat : 25776 (java) S 25708 25711 22378 0 -1 1077944384 3 13311 0 0 0 0 5 3 20 0 15 0 416172719 11111518208 108001 33554432000 4194304 4196468 140725341396944 140668830567008 140670331897557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17690624 140725341399791 140725341402309 140725341402309 140725341405135 0
[pid=25711/tid=25777] ppid=25708 vsize=10851092 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25711/task/25777/stat : 25777 (java) S 25708 25711 22378 0 -1 1077944384 21 13311 0 0 0 0 5 3 20 0 15 0 416172719 11111518208 108001 33554432000 4194304 4196468 140725341396944 140669854350128 140670331898498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17690624 140725341399791 140725341402309 140725341402309 140725341405135 0
Current children cumulated CPU time: 16.96 s
Current children cumulated vsize: 10851092 KiB
Current children cumulated memory: 432004 KiB
[startup+7.20072 s]
/proc/loadavg: 1.52 1.49 1.45 3/227 25777
/proc/meminfo: memFree=30444396/32770624 swapFree=66996932/67108860
[pid=25711] ppid=25708 vsize=10851092 memory=432320 CPUtime=17.48 cores=1,3,5,7
/proc/25711/stat : 25711 (java) S 25708 25711 22378 0 -1 1077944320 65702 13311 0 0 1712 28 5 3 20 0 15 0 416172704 11111518208 108080 33554432000 4194304 4196468 140725341396944 140725341379488 140670331887351 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17690624 140725341399791 140725341402309 140725341402309 140725341405135 0
/proc/25711/statm: 2712773 108080 3623 1 0 2674829 0
[pid=25711/tid=25764] ppid=25708 vsize=10851092 memory=6791534058613427641 CPUtime=6.98 cores=1,3,5,7
/proc/25711/task/25764/stat : 25764 (java) R 25708 25711 22378 0 -1 4202560 25654 13311 0 0 679 11 5 3 20 0 15 0 416172713 11111518208 108080 33554432000 4194304 4196468 140725341396944 140670303718720 140669945552031 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 17690624 140725341399791 140725341402309 140725341402309 140725341405135 0
[pid=25711/tid=25765] ppid=25708 vsize=10851092 memory=6994781577135807034 CPUtime=0.13 cores=1,3,5,7
/proc/25711/task/25765/stat : 25765 (java) S 25708 25711 22378 0 -1 1077944384 354 13311 0 0 4 1 5 3 20 0 15 0 416172714 11111518208 108080 33554432000 4194304 4196468 140725341396944 140670336129296 140670331897557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17690624 140725341399791 140725341402309 140725341402309 140725341405135 0
[pid=25711/tid=25766] ppid=25708 vsize=10851092 memory=288286675405382565 CPUtime=0.13 cores=1,3,5,7
/proc/25711/task/25766/stat : 25766 (java) S 25708 25711 22378 0 -1 1077944384 89 13311 0 0 5 0 5 3 20 0 15 0 416172714 11111518208 108080 33554432000 4194304 4196468 140725341396944 140670250949008 140670331897557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17690624 140725341399791 140725341402309 140725341402309 140725341405135 0
[pid=25711/tid=25767] ppid=25708 vsize=10851092 memory=4638778398332768353 CPUtime=0.14 cores=1,3,5,7
/proc/25711/task/25767/stat : 25767 (java) S 25708 25711 22378 0 -1 1077944384 256 13311 0 0 5 1 5 3 20 0 15 0 416172714 11111518208 108080 33554432000 4194304 4196468 140725341396944 140670249896464 140670331897557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17690624 140725341399791 140725341402309 140725341402309 140725341405135 0
[pid=25711/tid=25768] ppid=25708 vsize=10851092 memory=7085407296509534312 CPUtime=0.13 cores=1,3,5,7
/proc/25711/task/25768/stat : 25768 (java) S 25708 25711 22378 0 -1 1077944384 142 13311 0 0 4 1 5 3 20 0 15 0 416172714 11111518208 108080 33554432000 4194304 4196468 140725341396944 140670248843920 140670331897557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17690624 140725341399791 140725341402309 140725341402309 140725341405135 0
[pid=25711/tid=25769] ppid=25708 vsize=10851092 memory=6946910539820722544 CPUtime=0.13 cores=1,3,5,7
/proc/25711/task/25769/stat : 25769 (java) S 25708 25711 22378 0 -1 1077944384 3184 13311 0 0 5 0 5 3 20 0 15 0 416172715 11111518208 108080 33554432000 4194304 4196468 140725341396944 140669858560496 140670331898498 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17690624 140725341399791 140725341402309 140725341402309 140725341405135 0
[pid=25711/tid=25770] ppid=25708 vsize=10851092 memory=388820 CPUtime=0.08 cores=1,3,5,7
/proc/25711/task/25770/stat : 25770 (java) S 25708 25711 22378 0 -1 1077944384 15 13311 0 0 0 0 5 3 20 0 15 0 416172716 11111518208 108080 33554432000 4194304 4196468 140725341396944 140669238633952 140670331897557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17690624 140725341399791 140725341402309 140725341402309 140725341405135 0
[pid=25711/tid=25771] ppid=25708 vsize=10851092 memory=4640766332535986532 CPUtime=0.08 cores=1,3,5,7
/proc/25711/task/25771/stat : 25771 (java) S 25708 25711 22378 0 -1 1077944384 7 13311 0 0 0 0 5 3 20 0 15 0 416172716 11111518208 108080 33554432000 4194304 4196468 140725341396944 140669104416256 140670331897557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17690624 140725341399791 140725341402309 140725341402309 140725341405135 0
[pid=25711/tid=25772] ppid=25708 vsize=10851092 memory=280890324655460 CPUtime=0.08 cores=1,3,5,7
/proc/25711/task/25772/stat : 25772 (java) S 25708 25711 22378 0 -1 1077944384 3 13311 0 0 0 0 5 3 20 0 15 0 416172718 11111518208 108080 33554432000 4194304 4196468 140725341396944 140668864125648 140670331905947 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17690624 140725341399791 140725341402309 140725341402309 140725341405135 0
[pid=25711/tid=25773] ppid=25708 vsize=10851092 memory=371 CPUtime=3.88 cores=1,3,5,7
/proc/25711/task/25773/stat : 25773 (java) S 25708 25711 22378 0 -1 1077944384 10233 13311 0 0 377 3 5 3 20 0 15 0 416172718 11111518208 108080 33554432000 4194304 4196468 140725341396944 140669857507312 140670331898498 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17690624 140725341399791 140725341402309 140725341402309 140725341405135 0
[pid=25711/tid=25774] ppid=25708 vsize=10851092 memory=142785919558789 CPUtime=4.16 cores=1,3,5,7
/proc/25711/task/25774/stat : 25774 (java) S 25708 25711 22378 0 -1 1077944384 11684 13311 0 0 406 2 5 3 20 0 15 0 416172718 11111518208 108080 33554432000 4194304 4196468 140725341396944 140669856454768 140670331898498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17690624 140725341399791 140725341402309 140725341402309 140725341405135 0
[pid=25711/tid=25775] ppid=25708 vsize=10851092 memory=280890324291152 CPUtime=2.34 cores=1,3,5,7
/proc/25711/task/25775/stat : 25775 (java) S 25708 25711 22378 0 -1 1077944384 11847 13311 0 0 221 5 5 3 20 0 15 0 416172718 11111518208 108080 33554432000 4194304 4196468 140725341396944 140669855402224 140670331898498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17690624 140725341399791 140725341402309 140725341402309 140725341405135 0
[pid=25711/tid=25776] ppid=25708 vsize=10851092 memory=112605184133610 CPUtime=0.08 cores=1,3,5,7
/proc/25711/task/25776/stat : 25776 (java) S 25708 25711 22378 0 -1 1077944384 3 13311 0 0 0 0 5 3 20 0 15 0 416172719 11111518208 108080 33554432000 4194304 4196468 140725341396944 140668830567008 140670331897557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17690624 140725341399791 140725341402309 140725341402309 140725341405135 0
[pid=25711/tid=25777] ppid=25708 vsize=10851092 memory=112605184133610 CPUtime=0.08 cores=1,3,5,7
/proc/25711/task/25777/stat : 25777 (java) S 25708 25711 22378 0 -1 1077944384 21 13311 0 0 0 0 5 3 20 0 15 0 416172719 11111518208 108080 33554432000 4194304 4196468 140725341396944 140669854350128 140670331898498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17690624 140725341399791 140725341402309 140725341402309 140725341405135 0
Current children cumulated CPU time: 17.48 s
Current children cumulated vsize: 10851092 KiB
Current children cumulated memory: 432320 KiB
[startup+7.30069 s]
/proc/loadavg: 1.52 1.49 1.45 3/227 25777
/proc/meminfo: memFree=30444396/32770624 swapFree=66996932/67108860
[pid=25711] ppid=25708 vsize=10851092 memory=432320 CPUtime=17.64 cores=1,3,5,7
/proc/25711/stat : 25711 (java) S 25708 25711 22378 0 -1 1077944320 65714 13311 0 0 1728 28 5 3 20 0 15 0 416172704 11111518208 108080 33554432000 4194304 4196468 140725341396944 140725341379488 140670331887351 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17690624 140725341399791 140725341402309 140725341402309 140725341405135 0
/proc/25711/statm: 2712773 108080 3623 1 0 2674829 0
[pid=25711/tid=25764] ppid=25708 vsize=10851092 memory=432220 CPUtime=7.08 cores=1,3,5,7
/proc/25711/task/25764/stat : 25764 (java) R 25708 25711 22378 0 -1 4202560 25654 13311 0 0 689 11 5 3 20 0 15 0 416172713 11111518208 108080 33554432000 4194304 4196468 140725341396944 140670303718720 140669932865723 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 17690624 140725341399791 140725341402309 140725341402309 140725341405135 0
[pid=25711/tid=25765] ppid=25708 vsize=10851092 memory=140445162418267 CPUtime=0.13 cores=1,3,5,7
/proc/25711/task/25765/stat : 25765 (java) S 25708 25711 22378 0 -1 1077944384 354 13311 0 0 4 1 5 3 20 0 15 0 416172714 11111518208 108080 33554432000 4194304 4196468 140725341396944 140670336129296 140670331897557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17690624 140725341399791 140725341402309 140725341402309 140725341405135 0
[pid=25711/tid=25766] ppid=25708 vsize=10851092 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/25711/task/25766/stat : 25766 (java) S 25708 25711 22378 0 -1 1077944384 89 13311 0 0 5 0 5 3 20 0 15 0 416172714 11111518208 108080 33554432000 4194304 4196468 140725341396944 140670250949008 140670331897557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17690624 140725341399791 140725341402309 140725341402309 140725341405135 0
[pid=25711/tid=25767] ppid=25708 vsize=10851092 memory=380280 CPUtime=0.14 cores=1,3,5,7
/proc/25711/task/25767/stat : 25767 (java) S 25708 25711 22378 0 -1 1077944384 256 13311 0 0 5 1 5 3 20 0 15 0 416172714 11111518208 108080 33554432000 4194304 4196468 140725341396944 140670249896464 140670331897557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17690624 140725341399791 140725341402309 140725341402309 140725341405135 0
[pid=25711/tid=25768] ppid=25708 vsize=10851092 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/25711/task/25768/stat : 25768 (java) S 25708 25711 22378 0 -1 1077944384 142 13311 0 0 4 1 5 3 20 0 15 0 416172714 11111518208 108080 33554432000 4194304 4196468 140725341396944 140670248843920 140670331897557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17690624 140725341399791 140725341402309 140725341402309 140725341405135 0
[pid=25711/tid=25769] ppid=25708 vsize=10851092 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/25711/task/25769/stat : 25769 (java) S 25708 25711 22378 0 -1 1077944384 3184 13311 0 0 5 0 5 3 20 0 15 0 416172715 11111518208 108080 33554432000 4194304 4196468 140725341396944 140669858560496 140670331898498 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17690624 140725341399791 140725341402309 140725341402309 140725341405135 0
[pid=25711/tid=25770] ppid=25708 vsize=10851092 memory=164 CPUtime=0.08 cores=1,3,5,7
/proc/25711/task/25770/stat : 25770 (java) S 25708 25711 22378 0 -1 1077944384 15 13311 0 0 0 0 5 3 20 0 15 0 416172716 11111518208 108080 33554432000 4194304 4196468 140725341396944 140669238633952 140670331897557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17690624 140725341399791 140725341402309 140725341402309 140725341405135 0
[pid=25711/tid=25771] ppid=25708 vsize=10851092 memory=-6237260532469557610 CPUtime=0.08 cores=1,3,5,7
/proc/25711/task/25771/stat : 25771 (java) S 25708 25711 22378 0 -1 1077944384 7 13311 0 0 0 0 5 3 20 0 15 0 416172716 11111518208 108080 33554432000 4194304 4196468 140725341396944 140669104416256 140670331897557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17690624 140725341399791 140725341402309 140725341402309 140725341405135 0
[pid=25711/tid=25772] ppid=25708 vsize=10851092 memory=356404 CPUtime=0.08 cores=1,3,5,7
/proc/25711/task/25772/stat : 25772 (java) S 25708 25711 22378 0 -1 1077944384 3 13311 0 0 0 0 5 3 20 0 15 0 416172718 11111518208 108080 33554432000 4194304 4196468 140725341396944 140668864125648 140670331905947 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17690624 140725341399791 140725341402309 140725341402309 140725341405135 0
[pid=25711/tid=25773] ppid=25708 vsize=10851092 memory=221362614487378 CPUtime=3.89 cores=1,3,5,7
/proc/25711/task/25773/stat : 25773 (java) S 25708 25711 22378 0 -1 1077944384 10233 13311 0 0 378 3 5 3 20 0 15 0 416172718 11111518208 108080 33554432000 4194304 4196468 140725341396944 140669857507312 140670331898498 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17690624 140725341399791 140725341402309 140725341402309 140725341405135 0
[pid=25711/tid=25774] ppid=25708 vsize=10851092 memory=380280 CPUtime=4.21 cores=1,3,5,7
/proc/25711/task/25774/stat : 25774 (java) R 25708 25711 22378 0 -1 4202560 11684 13311 0 0 411 2 5 3 20 0 15 0 416172718 11111518208 108080 33554432000 4194304 4196468 140725341396944 140669856441552 140670313434758 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17690624 140725341399791 140725341402309 140725341402309 140725341405135 0
[pid=25711/tid=25775] ppid=25708 vsize=10851092 memory=2012 CPUtime=2.34 cores=1,3,5,7
/proc/25711/task/25775/stat : 25775 (java) S 25708 25711 22378 0 -1 1077944384 11859 13311 0 0 221 5 5 3 20 0 15 0 416172718 11111518208 108080 33554432000 4194304 4196468 140725341396944 140669855402224 140670331898498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17690624 140725341399791 140725341402309 140725341402309 140725341405135 0
[pid=25711/tid=25776] ppid=25708 vsize=10851092 memory=1388 CPUtime=0.08 cores=1,3,5,7
/proc/25711/task/25776/stat : 25776 (java) S 25708 25711 22378 0 -1 1077944384 3 13311 0 0 0 0 5 3 20 0 15 0 416172719 11111518208 108080 33554432000 4194304 4196468 140725341396944 140668830567008 140670331897557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17690624 140725341399791 140725341402309 140725341402309 140725341405135 0
[pid=25711/tid=25777] ppid=25708 vsize=10851092 memory=776 CPUtime=0.08 cores=1,3,5,7
/proc/25711/task/25777/stat : 25777 (java) S 25708 25711 22378 0 -1 1077944384 21 13311 0 0 0 0 5 3 20 0 15 0 416172719 11111518208 108080 33554432000 4194304 4196468 140725341396944 140669854350128 140670331898498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17690624 140725341399791 140725341402309 140725341402309 140725341405135 0
Current children cumulated CPU time: 17.64 s
Current children cumulated vsize: 10851092 KiB
Current children cumulated memory: 432320 KiB
Child status: 0
Real time (s): 7.36918
CPU time (s): 17.7657
CPU user time (s): 17.4297
CPU system time (s): 0.336043
CPU usage (%): 241.082
Max. virtual memory (cumulated for all children) (KiB): 10851668
Max. memory (cumulated for all children) (KiB): 432320
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 17.4297
system time used= 0.336043
maximum resident set size= 434484
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 79123
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= 7670
involuntary context switches= 93
# summary of solver processes directly reported to runsolver:
# pid: 25711
# total CPU time (s): 17.7657
# total CPU user time (s): 17.4297
# total CPU system time (s): 0.336043
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.083786 second user time and 0.099258 second system time
The end