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 (4390 MiB free)
memory of node 1: 16384 MiB (10192 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387039-1568288543/watcher-4387039-1568288543 -o /tmp/evaluation-result-4387039-1568288543/solver-4387039-1568288543 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node123-1568285996-4542 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=2105872777 HOME/instance-4387039-1568288543.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
solver pid=6689, runsolver pid=6686
Current StackSize limit: 8192 KiB
[startup+0.100177 s]*
/proc/loadavg: 1.16 1.30 1.45 3/218 6746
/proc/meminfo: memFree=14921180/32770624 swapFree=66999904/67108860
[pid=6689] ppid=6686 vsize=9972712 memory=18332 CPUtime=0.08 cores=1,3,5,7
/proc/6689/stat : 6689 (java) S 6686 6689 3654 0 -1 1077944320 4355 13261 0 0 1 0 4 3 20 0 6 0 405119218 10212057088 4583 33554432000 4194304 4196468 140733216250272 140733216232816 140447952305911 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38981632 140733216258805 140733216261317 140733216261317 140733216264143 0
/proc/6689/statm: 2493178 4583 1931 1 0 2481616 0
[pid=6689/tid=6742] ppid=6686 vsize=9972712 memory=720575944405811505 CPUtime=0.08 cores=1,3,5,7
/proc/6689/task/6742/stat : 6742 (java) R 6686 6689 3654 0 -1 4202560 2159 13261 0 0 1 0 4 3 20 0 6 0 405119227 10212057088 4649 33554432000 4194304 4196468 140733216250272 140447924142672 140447937428848 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38981632 140733216258805 140733216261317 140733216261317 140733216264143 0
[pid=6689/tid=6743] ppid=6686 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6689/task/6743/stat : 6743 (java) S 6686 6689 3654 0 -1 1077944384 1 13261 0 0 0 0 4 3 20 0 6 0 405119228 10212057088 4649 33554432000 4194304 4196468 140733216250272 140447956540432 140447952316117 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38981632 140733216258805 140733216261317 140733216261317 140733216264143 0
[pid=6689/tid=6744] ppid=6686 vsize=9972712 memory=15399683392325272 CPUtime=0.07 cores=1,3,5,7
/proc/6689/task/6744/stat : 6744 (java) S 6686 6689 3654 0 -1 1077944384 1 13261 0 0 0 0 4 3 20 0 6 0 405119228 10212057088 4649 33554432000 4194304 4196468 140733216250272 140447855438992 140447952316117 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38981632 140733216258805 140733216261317 140733216261317 140733216264143 0
[pid=6689/tid=6745] ppid=6686 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6689/task/6745/stat : 6745 (java) S 6686 6689 3654 0 -1 1077944384 2 13261 0 0 0 0 4 3 20 0 6 0 405119228 10212057088 4649 33554432000 4194304 4196468 140733216250272 140447854385936 140447952316117 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38981632 140733216258805 140733216261317 140733216261317 140733216264143 0
[pid=6689/tid=6746] ppid=6686 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6689/task/6746/stat : 6746 (java) S 6686 6689 3654 0 -1 1077944384 2 13261 0 0 0 0 4 3 20 0 6 0 405119228 10212057088 4649 33554432000 4194304 4196468 140733216250272 140447853333392 140447952316117 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38981632 140733216258805 140733216261317 140733216261317 140733216264143 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18332 KiB
[startup+0.210133 s]*
/proc/loadavg: 1.16 1.30 1.45 3/227 6755
/proc/meminfo: memFree=14904524/32770624 swapFree=66999904/67108860
[pid=6689] ppid=6686 vsize=10818940 memory=39700 CPUtime=0.25 cores=1,3,5,7
/proc/6689/stat : 6689 (java) S 6686 6689 3654 0 -1 1077944320 6769 13261 0 0 17 1 4 3 20 0 15 0 405119218 11078594560 9925 33554432000 4194304 4196468 140733216250272 140733216232816 140447952305911 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38981632 140733216258805 140733216261317 140733216261317 140733216264143 0
/proc/6689/statm: 2704735 9925 2984 1 0 2667149 0
[pid=6689/tid=6742] ppid=6686 vsize=10818940 memory=7022364594140610616 CPUtime=0.18 cores=1,3,5,7
/proc/6689/task/6742/stat : 6742 (java) R 6686 6689 3654 0 -1 4202560 3267 13261 0 0 11 0 4 3 20 0 15 0 405119227 11078594560 9925 33554432000 4194304 4196468 140733216250272 140447924126952 140447936386398 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38981632 140733216258805 140733216261317 140733216261317 140733216264143 0
[pid=6689/tid=6743] ppid=6686 vsize=10818940 memory=343 CPUtime=0.07 cores=1,3,5,7
/proc/6689/task/6743/stat : 6743 (java) S 6686 6689 3654 0 -1 1077944384 1 13261 0 0 0 0 4 3 20 0 15 0 405119228 11078594560 9925 33554432000 4194304 4196468 140733216250272 140447956540432 140447952316117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38981632 140733216258805 140733216261317 140733216261317 140733216264143 0
[pid=6689/tid=6744] ppid=6686 vsize=10818940 memory=140432482558367 CPUtime=0.07 cores=1,3,5,7
/proc/6689/task/6744/stat : 6744 (java) S 6686 6689 3654 0 -1 1077944384 1 13261 0 0 0 0 4 3 20 0 15 0 405119228 11078594560 9925 33554432000 4194304 4196468 140733216250272 140447855438992 140447952316117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38981632 140733216258805 140733216261317 140733216261317 140733216264143 0
[pid=6689/tid=6745] ppid=6686 vsize=10818940 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6689/task/6745/stat : 6745 (java) S 6686 6689 3654 0 -1 1077944384 2 13261 0 0 0 0 4 3 20 0 15 0 405119228 11078594560 9990 33554432000 4194304 4196468 140733216250272 140447854385936 140447952316117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38981632 140733216258805 140733216261317 140733216261317 140733216264143 0
[pid=6689/tid=6746] ppid=6686 vsize=10818940 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/6689/task/6746/stat : 6746 (java) S 6686 6689 3654 0 -1 1077944384 2 13261 0 0 0 0 4 3 20 0 15 0 405119228 11078594560 9990 33554432000 4194304 4196468 140733216250272 140447853333392 140447952316117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38981632 140733216258805 140733216261317 140733216261317 140733216264143 0
[pid=6689/tid=6747] ppid=6686 vsize=10818940 memory=140432482551424 CPUtime=0.07 cores=1,3,5,7
/proc/6689/task/6747/stat : 6747 (java) S 6686 6689 3654 0 -1 1077944384 2 13261 0 0 0 0 4 3 20 0 15 0 405119229 11078594560 9990 33554432000 4194304 4196468 140733216250272 140447156488432 140447952317058 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38981632 140733216258805 140733216261317 140733216261317 140733216264143 0
[pid=6689/tid=6748] ppid=6686 vsize=10818940 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/6689/task/6748/stat : 6748 (java) S 6686 6689 3654 0 -1 1077944384 33 13261 0 0 0 0 4 3 20 0 15 0 405119230 11078594560 9990 33554432000 4194304 4196468 140733216250272 140447155434656 140447952316117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38981632 140733216258805 140733216261317 140733216261317 140733216264143 0
[pid=6689/tid=6749] ppid=6686 vsize=10818940 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6689/task/6749/stat : 6749 (java) S 6686 6689 3654 0 -1 1077944384 1 13261 0 0 0 0 4 3 20 0 15 0 405119230 11078594560 9990 33554432000 4194304 4196468 140733216250272 140447041184496 140447952316117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38981632 140733216258805 140733216261317 140733216261317 140733216264143 0
[pid=6689/tid=6750] ppid=6686 vsize=10818940 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6689/task/6750/stat : 6750 (java) S 6686 6689 3654 0 -1 1077944384 3 13261 0 0 0 0 4 3 20 0 15 0 405119232 11078594560 9990 33554432000 4194304 4196468 140733216250272 140446532458448 140447952324507 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38981632 140733216258805 140733216261317 140733216261317 140733216264143 0
[pid=6689/tid=6751] ppid=6686 vsize=10818940 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6689/task/6751/stat : 6751 (java) S 6686 6689 3654 0 -1 1077944384 353 13261 0 0 1 0 4 3 20 0 15 0 405119232 11078594560 9990 33554432000 4194304 4196468 140733216250272 140447121877744 140447952317058 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38981632 140733216258805 140733216261317 140733216261317 140733216264143 0
[pid=6689/tid=6752] ppid=6686 vsize=10818940 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/6689/task/6752/stat : 6752 (java) S 6686 6689 3654 0 -1 1077944384 275 13261 0 0 1 0 4 3 20 0 15 0 405119232 11078594560 9990 33554432000 4194304 4196468 140733216250272 140447120825200 140447952317058 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38981632 140733216258805 140733216261317 140733216261317 140733216264143 0
[pid=6689/tid=6753] ppid=6686 vsize=10818940 memory=140432482551424 CPUtime=0.1 cores=1,3,5,7
/proc/6689/task/6753/stat : 6753 (java) R 6686 6689 3654 0 -1 4202560 634 13261 0 0 3 0 4 3 20 0 15 0 405119232 11078594560 9990 33554432000 4194304 4196468 140733216250272 140447119772144 140447952327258 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38981632 140733216258805 140733216261317 140733216261317 140733216264143 0
[pid=6689/tid=6754] ppid=6686 vsize=10818940 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/6689/task/6754/stat : 6754 (java) S 6686 6689 3654 0 -1 1077944384 3 13261 0 0 0 0 4 3 20 0 15 0 405119233 11078594560 9990 33554432000 4194304 4196468 140733216250272 140446498900832 140447952316117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38981632 140733216258805 140733216261317 140733216261317 140733216264143 0
[pid=6689/tid=6755] ppid=6686 vsize=10818940 memory=140432482551424 CPUtime=0.07 cores=1,3,5,7
/proc/6689/task/6755/stat : 6755 (java) S 6686 6689 3654 0 -1 1077944384 1 13261 0 0 0 0 4 3 20 0 15 0 405119233 11078594560 9990 33554432000 4194304 4196468 140733216250272 140447118719536 140447952317058 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38981632 140733216258805 140733216261317 140733216261317 140733216264143 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10818940 KiB
Current children cumulated memory: 39700 KiB
[startup+0.310329 s]*
/proc/loadavg: 1.16 1.30 1.45 3/227 6755
/proc/meminfo: memFree=14894152/32770624 swapFree=66999904/67108860
[pid=6689] ppid=6686 vsize=10820244 memory=51284 CPUtime=0.39 cores=1,3,5,7
/proc/6689/stat : 6689 (java) S 6686 6689 3654 0 -1 1077944320 10535 13261 0 0 29 3 4 3 20 0 15 0 405119218 11079929856 12821 33554432000 4194304 4196468 140733216250272 140733216232816 140447952305911 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38981632 140733216258805 140733216261317 140733216261317 140733216264143 0
/proc/6689/statm: 2705061 12821 3303 1 0 2667149 0
[pid=6689/tid=6742] ppid=6686 vsize=10820244 memory=1398722017469774279 CPUtime=0.28 cores=1,3,5,7
/proc/6689/task/6742/stat : 6742 (java) R 6686 6689 3654 0 -1 4202560 7001 13261 0 0 19 2 4 3 20 0 15 0 405119227 11079929856 12821 33554432000 4194304 4196468 140733216250272 140447924126576 140447952317846 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38981632 140733216258805 140733216261317 140733216261317 140733216264143 0
[pid=6689/tid=6743] ppid=6686 vsize=10820244 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6689/task/6743/stat : 6743 (java) S 6686 6689 3654 0 -1 1077944384 1 13261 0 0 0 0 4 3 20 0 15 0 405119228 11079929856 12821 33554432000 4194304 4196468 140733216250272 140447956540432 140447952316117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38981632 140733216258805 140733216261317 140733216261317 140733216264143 0
[pid=6689/tid=6744] ppid=6686 vsize=10820244 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6689/task/6744/stat : 6744 (java) S 6686 6689 3654 0 -1 1077944384 1 13261 0 0 0 0 4 3 20 0 15 0 405119228 11079929856 12821 33554432000 4194304 4196468 140733216250272 140447855438992 140447952316117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38981632 140733216258805 140733216261317 140733216261317 140733216264143 0
[pid=6689/tid=6745] ppid=6686 vsize=10820244 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6689/task/6745/stat : 6745 (java) S 6686 6689 3654 0 -1 1077944384 2 13261 0 0 0 0 4 3 20 0 15 0 405119228 11079929856 12821 33554432000 4194304 4196468 140733216250272 140447854385936 140447952316117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38981632 140733216258805 140733216261317 140733216261317 140733216264143 0
[pid=6689/tid=6746] ppid=6686 vsize=10820244 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6689/task/6746/stat : 6746 (java) S 6686 6689 3654 0 -1 1077944384 2 13261 0 0 0 0 4 3 20 0 15 0 405119228 11079929856 12821 33554432000 4194304 4196468 140733216250272 140447853333392 140447952316117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38981632 140733216258805 140733216261317 140733216261317 140733216264143 0
[pid=6689/tid=6747] ppid=6686 vsize=10820244 memory=140432482551423 CPUtime=0.07 cores=1,3,5,7
/proc/6689/task/6747/stat : 6747 (java) S 6686 6689 3654 0 -1 1077944384 2 13261 0 0 0 0 4 3 20 0 15 0 405119229 11079929856 12821 33554432000 4194304 4196468 140733216250272 140447156488432 140447952317058 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38981632 140733216258805 140733216261317 140733216261317 140733216264143 0
[pid=6689/tid=6748] ppid=6686 vsize=10820244 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/6689/task/6748/stat : 6748 (java) S 6686 6689 3654 0 -1 1077944384 33 13261 0 0 0 0 4 3 20 0 15 0 405119230 11079929856 12821 33554432000 4194304 4196468 140733216250272 140447155434656 140447952316117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38981632 140733216258805 140733216261317 140733216261317 140733216264143 0
[pid=6689/tid=6749] ppid=6686 vsize=10820244 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/6689/task/6749/stat : 6749 (java) S 6686 6689 3654 0 -1 1077944384 1 13261 0 0 0 0 4 3 20 0 15 0 405119230 11079929856 12821 33554432000 4194304 4196468 140733216250272 140447041184496 140447952316117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38981632 140733216258805 140733216261317 140733216261317 140733216264143 0
[pid=6689/tid=6750] ppid=6686 vsize=10820244 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6689/task/6750/stat : 6750 (java) S 6686 6689 3654 0 -1 1077944384 3 13261 0 0 0 0 4 3 20 0 15 0 405119232 11079929856 12821 33554432000 4194304 4196468 140733216250272 140446532458448 140447952324507 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38981632 140733216258805 140733216261317 140733216261317 140733216264143 0
[pid=6689/tid=6751] ppid=6686 vsize=10820244 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6689/task/6751/stat : 6751 (java) S 6686 6689 3654 0 -1 1077944384 353 13261 0 0 1 0 4 3 20 0 15 0 405119232 11079929856 12821 33554432000 4194304 4196468 140733216250272 140447121877744 140447952317058 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38981632 140733216258805 140733216261317 140733216261317 140733216264143 0
[pid=6689/tid=6752] ppid=6686 vsize=10820244 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/6689/task/6752/stat : 6752 (java) R 6686 6689 3654 0 -1 4202560 277 13261 0 0 2 0 4 3 20 0 15 0 405119232 11079929856 12821 33554432000 4194304 4196468 140733216250272 140447120825200 140447932149478 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38981632 140733216258805 140733216261317 140733216261317 140733216264143 0
[pid=6689/tid=6753] ppid=6686 vsize=10820244 memory=140432482551424 CPUtime=0.12 cores=1,3,5,7
/proc/6689/task/6753/stat : 6753 (java) S 6686 6689 3654 0 -1 1077944384 646 13261 0 0 5 0 4 3 20 0 15 0 405119232 11079929856 12821 33554432000 4194304 4196468 140733216250272 140447119772144 140447952317058 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38981632 140733216258805 140733216261317 140733216261317 140733216264143 0
[pid=6689/tid=6754] ppid=6686 vsize=10820244 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/6689/task/6754/stat : 6754 (java) S 6686 6689 3654 0 -1 1077944384 3 13261 0 0 0 0 4 3 20 0 15 0 405119233 11079929856 12821 33554432000 4194304 4196468 140733216250272 140446498900832 140447952316117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38981632 140733216258805 140733216261317 140733216261317 140733216264143 0
[pid=6689/tid=6755] ppid=6686 vsize=10820244 memory=140432482551424 CPUtime=0.07 cores=1,3,5,7
/proc/6689/task/6755/stat : 6755 (java) S 6686 6689 3654 0 -1 1077944384 1 13261 0 0 0 0 4 3 20 0 15 0 405119233 11079929856 12821 33554432000 4194304 4196468 140733216250272 140447118719536 140447952317058 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38981632 140733216258805 140733216261317 140733216261317 140733216264143 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10820244 KiB
Current children cumulated memory: 51284 KiB
[startup+0.700724 s]
/proc/loadavg: 1.16 1.30 1.45 5/227 6755
/proc/meminfo: memFree=14878992/32770624 swapFree=66999904/67108860
[pid=6689] ppid=6686 vsize=10824340 memory=80624 CPUtime=1.14 cores=1,3,5,7
/proc/6689/stat : 6689 (java) S 6686 6689 3654 0 -1 1077944320 14537 13261 0 0 102 5 4 3 20 0 15 0 405119218 11084124160 20156 33554432000 4194304 4196468 140733216250272 140733216232816 140447952305911 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38981632 140733216258805 140733216261317 140733216261317 140733216264143 0
/proc/6689/statm: 2706085 20156 3502 1 0 2668173 0
[pid=6689/tid=6742] ppid=6686 vsize=10824340 memory=5795117241467496816 CPUtime=0.66 cores=1,3,5,7
/proc/6689/task/6742/stat : 6742 (java) R 6686 6689 3654 0 -1 4202560 10230 13261 0 0 56 3 4 3 20 0 15 0 405119227 11084124160 20156 33554432000 4194304 4196468 140733216250272 140447924123872 140447952327837 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38981632 140733216258805 140733216261317 140733216261317 140733216264143 0
[pid=6689/tid=6743] ppid=6686 vsize=10824340 memory=1432 CPUtime=0.07 cores=1,3,5,7
/proc/6689/task/6743/stat : 6743 (java) S 6686 6689 3654 0 -1 1077944384 1 13261 0 0 0 0 4 3 20 0 15 0 405119228 11084124160 20156 33554432000 4194304 4196468 140733216250272 140447956540432 140447952316117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38981632 140733216258805 140733216261317 140733216261317 140733216264143 0
[pid=6689/tid=6744] ppid=6686 vsize=10824340 memory=9536 CPUtime=0.07 cores=1,3,5,7
/proc/6689/task/6744/stat : 6744 (java) S 6686 6689 3654 0 -1 1077944384 1 13261 0 0 0 0 4 3 20 0 15 0 405119228 11084124160 20156 33554432000 4194304 4196468 140733216250272 140447855438992 140447952316117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38981632 140733216258805 140733216261317 140733216261317 140733216264143 0
[pid=6689/tid=6745] ppid=6686 vsize=10824340 memory=33 CPUtime=0.07 cores=1,3,5,7
/proc/6689/task/6745/stat : 6745 (java) S 6686 6689 3654 0 -1 1077944384 2 13261 0 0 0 0 4 3 20 0 15 0 405119228 11084124160 20156 33554432000 4194304 4196468 140733216250272 140447854385936 140447952316117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38981632 140733216258805 140733216261317 140733216261317 140733216264143 0
[pid=6689/tid=6746] ppid=6686 vsize=10824340 memory=97 CPUtime=0.07 cores=1,3,5,7
/proc/6689/task/6746/stat : 6746 (java) S 6686 6689 3654 0 -1 1077944384 2 13261 0 0 0 0 4 3 20 0 15 0 405119228 11084124160 20156 33554432000 4194304 4196468 140733216250272 140447853333392 140447952316117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38981632 140733216258805 140733216261317 140733216261317 140733216264143 0
[pid=6689/tid=6747] ppid=6686 vsize=10824340 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6689/task/6747/stat : 6747 (java) S 6686 6689 3654 0 -1 1077944384 5 13261 0 0 0 0 4 3 20 0 15 0 405119229 11084124160 20198 33554432000 4194304 4196468 140733216250272 140447156488432 140447952317058 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38981632 140733216258805 140733216261317 140733216261317 140733216264143 0
[pid=6689/tid=6748] ppid=6686 vsize=10824340 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6689/task/6748/stat : 6748 (java) S 6686 6689 3654 0 -1 1077944384 33 13261 0 0 0 0 4 3 20 0 15 0 405119230 11084124160 20198 33554432000 4194304 4196468 140733216250272 140447155434656 140447952316117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38981632 140733216258805 140733216261317 140733216261317 140733216264143 0
[pid=6689/tid=6749] ppid=6686 vsize=10824340 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6689/task/6749/stat : 6749 (java) S 6686 6689 3654 0 -1 1077944384 1 13261 0 0 0 0 4 3 20 0 15 0 405119230 11084124160 20198 33554432000 4194304 4196468 140733216250272 140447041184496 140447952316117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38981632 140733216258805 140733216261317 140733216261317 140733216264143 0
[pid=6689/tid=6750] ppid=6686 vsize=10824340 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6689/task/6750/stat : 6750 (java) S 6686 6689 3654 0 -1 1077944384 3 13261 0 0 0 0 4 3 20 0 15 0 405119232 11084124160 20198 33554432000 4194304 4196468 140733216250272 140446532458448 140447952324507 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38981632 140733216258805 140733216261317 140733216261317 140733216264143 0
[pid=6689/tid=6751] ppid=6686 vsize=10824340 memory=0 CPUtime=0.22 cores=1,3,5,7
/proc/6689/task/6751/stat : 6751 (java) S 6686 6689 3654 0 -1 1077944384 702 13261 0 0 15 0 4 3 20 0 15 0 405119232 11084124160 20198 33554432000 4194304 4196468 140733216250272 140447121877744 140447952317058 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38981632 140733216258805 140733216261317 140733216261317 140733216264143 0
[pid=6689/tid=6752] ppid=6686 vsize=10824340 memory=0 CPUtime=0.19 cores=1,3,5,7
/proc/6689/task/6752/stat : 6752 (java) S 6686 6689 3654 0 -1 1077944384 548 13261 0 0 12 0 4 3 20 0 15 0 405119232 11084124160 20198 33554432000 4194304 4196468 140733216250272 140447120825200 140447952317058 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38981632 140733216258805 140733216261317 140733216261317 140733216264143 0
[pid=6689/tid=6753] ppid=6686 vsize=10824340 memory=0 CPUtime=0.24 cores=1,3,5,7
/proc/6689/task/6753/stat : 6753 (java) S 6686 6689 3654 0 -1 1077944384 799 13261 0 0 17 0 4 3 20 0 15 0 405119232 11084124160 20198 33554432000 4194304 4196468 140733216250272 140447119772144 140447952317058 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38981632 140733216258805 140733216261317 140733216261317 140733216264143 0
[pid=6689/tid=6754] ppid=6686 vsize=10824340 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6689/task/6754/stat : 6754 (java) S 6686 6689 3654 0 -1 1077944384 3 13261 0 0 0 0 4 3 20 0 15 0 405119233 11084124160 20198 33554432000 4194304 4196468 140733216250272 140446498900832 140447952316117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38981632 140733216258805 140733216261317 140733216261317 140733216264143 0
[pid=6689/tid=6755] ppid=6686 vsize=10824340 memory=3580 CPUtime=0.07 cores=1,3,5,7
/proc/6689/task/6755/stat : 6755 (java) S 6686 6689 3654 0 -1 1077944384 1 13261 0 0 0 0 4 3 20 0 15 0 405119233 11084124160 20198 33554432000 4194304 4196468 140733216250272 140447118719536 140447952317058 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38981632 140733216258805 140733216261317 140733216261317 140733216264143 0
Current children cumulated CPU time: 1.14 s
Current children cumulated vsize: 10824340 KiB
Current children cumulated memory: 80624 KiB
[startup+1.50628 s]
/proc/loadavg: 1.16 1.30 1.45 6/227 6755
/proc/meminfo: memFree=14805628/32770624 swapFree=66999904/67108860
[pid=6689] ppid=6686 vsize=10832608 memory=243924 CPUtime=3.16 cores=1,3,5,7
/proc/6689/stat : 6689 (java) S 6686 6689 3654 0 -1 1077944320 23557 13261 0 0 296 13 4 3 20 0 15 0 405119218 11092590592 60981 33554432000 4194304 4196468 140733216250272 140733216232816 140447952305911 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38981632 140733216258805 140733216261317 140733216261317 140733216264143 0
/proc/6689/statm: 2708152 60981 3582 1 0 2670221 0
[pid=6689/tid=6742] ppid=6686 vsize=10832608 memory=0 CPUtime=1.42 cores=1,3,5,7
/proc/6689/task/6742/stat : 6742 (java) R 6686 6689 3654 0 -1 4202560 14401 13261 0 0 129 6 4 3 20 0 15 0 405119227 11092590592 60981 33554432000 4194304 4196468 140733216250272 140447924123584 140447952327258 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38981632 140733216258805 140733216261317 140733216261317 140733216264143 0
[pid=6689/tid=6743] ppid=6686 vsize=10832608 memory=7007707949396026727 CPUtime=0.08 cores=1,3,5,7
/proc/6689/task/6743/stat : 6743 (java) S 6686 6689 3654 0 -1 1077944384 21 13261 0 0 1 0 4 3 20 0 15 0 405119228 11092590592 60981 33554432000 4194304 4196468 140733216250272 140447956540432 140447952316117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38981632 140733216258805 140733216261317 140733216261317 140733216264143 0
[pid=6689/tid=6744] ppid=6686 vsize=10832608 memory=7007707949396026727 CPUtime=0.09 cores=1,3,5,7
/proc/6689/task/6744/stat : 6744 (java) S 6686 6689 3654 0 -1 1077944384 233 13261 0 0 2 0 4 3 20 0 15 0 405119228 11092590592 60981 33554432000 4194304 4196468 140733216250272 140447855438992 140447952316117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38981632 140733216258805 140733216261317 140733216261317 140733216264143 0
[pid=6689/tid=6745] ppid=6686 vsize=10832608 memory=7007709048907654503 CPUtime=0.08 cores=1,3,5,7
/proc/6689/task/6745/stat : 6745 (java) S 6686 6689 3654 0 -1 1077944384 95 13261 0 0 1 0 4 3 20 0 15 0 405119228 11092590592 60981 33554432000 4194304 4196468 140733216250272 140447854385936 140447952316117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38981632 140733216258805 140733216261317 140733216261317 140733216264143 0
[pid=6689/tid=6746] ppid=6686 vsize=10832608 memory=280864689138080 CPUtime=0.08 cores=1,3,5,7
/proc/6689/task/6746/stat : 6746 (java) S 6686 6689 3654 0 -1 1077944384 30 13261 0 0 1 0 4 3 20 0 15 0 405119228 11092590592 60981 33554432000 4194304 4196468 140733216250272 140447853333392 140447952316117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38981632 140733216258805 140733216261317 140733216261317 140733216264143 0
[pid=6689/tid=6747] ppid=6686 vsize=10832608 memory=169144402064513 CPUtime=0.08 cores=1,3,5,7
/proc/6689/task/6747/stat : 6747 (java) S 6686 6689 3654 0 -1 1077944384 373 13261 0 0 1 0 4 3 20 0 15 0 405119229 11092590592 60981 33554432000 4194304 4196468 140733216250272 140447156488432 140447952317058 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38981632 140733216258805 140733216261317 140733216261317 140733216264143 0
[pid=6689/tid=6748] ppid=6686 vsize=10832608 memory=169144402064514 CPUtime=0.07 cores=1,3,5,7
/proc/6689/task/6748/stat : 6748 (java) S 6686 6689 3654 0 -1 1077944384 35 13261 0 0 0 0 4 3 20 0 15 0 405119230 11092590592 60981 33554432000 4194304 4196468 140733216250272 140447155434720 140447952316117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38981632 140733216258805 140733216261317 140733216261317 140733216264143 0
[pid=6689/tid=6749] ppid=6686 vsize=10832608 memory=169144402064515 CPUtime=0.07 cores=1,3,5,7
/proc/6689/task/6749/stat : 6749 (java) S 6686 6689 3654 0 -1 1077944384 4 13261 0 0 0 0 4 3 20 0 15 0 405119230 11092590592 60981 33554432000 4194304 4196468 140733216250272 140447041184512 140447952316117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38981632 140733216258805 140733216261317 140733216261317 140733216264143 0
[pid=6689/tid=6750] ppid=6686 vsize=10832608 memory=169144402064516 CPUtime=0.07 cores=1,3,5,7
/proc/6689/task/6750/stat : 6750 (java) S 6686 6689 3654 0 -1 1077944384 3 13261 0 0 0 0 4 3 20 0 15 0 405119232 11092590592 60981 33554432000 4194304 4196468 140733216250272 140446532458448 140447952324507 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38981632 140733216258805 140733216261317 140733216261317 140733216264143 0
[pid=6689/tid=6751] ppid=6686 vsize=10832608 memory=280864688762624 CPUtime=0.64 cores=1,3,5,7
/proc/6689/task/6751/stat : 6751 (java) S 6686 6689 3654 0 -1 1077944384 1800 13261 0 0 56 1 4 3 20 0 15 0 405119232 11092590592 60981 33554432000 4194304 4196468 140733216250272 140447121877744 140447952317058 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38981632 140733216258805 140733216261317 140733216261317 140733216264143 0
[pid=6689/tid=6752] ppid=6686 vsize=10832608 memory=3906485700528806310 CPUtime=0.66 cores=1,3,5,7
/proc/6689/task/6752/stat : 6752 (java) S 6686 6689 3654 0 -1 1077944384 2029 13261 0 0 59 0 4 3 20 0 15 0 405119232 11092590592 60981 33554432000 4194304 4196468 140733216250272 140447120825200 140447952317058 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38981632 140733216258805 140733216261317 140733216261317 140733216264143 0
[pid=6689/tid=6753] ppid=6686 vsize=10832608 memory=280864688724992 CPUtime=0.48 cores=1,3,5,7
/proc/6689/task/6753/stat : 6753 (java) S 6686 6689 3654 0 -1 1077944384 2318 13261 0 0 41 0 4 3 20 0 15 0 405119232 11092590592 60981 33554432000 4194304 4196468 140733216250272 140447119772144 140447952317058 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38981632 140733216258805 140733216261317 140733216261317 140733216264143 0
[pid=6689/tid=6754] ppid=6686 vsize=10832608 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6689/task/6754/stat : 6754 (java) S 6686 6689 3654 0 -1 1077944384 3 13261 0 0 0 0 4 3 20 0 15 0 405119233 11092590592 60981 33554432000 4194304 4196468 140733216250272 140446498900832 140447952316117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38981632 140733216258805 140733216261317 140733216261317 140733216264143 0
[pid=6689/tid=6755] ppid=6686 vsize=10832608 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6689/task/6755/stat : 6755 (java) S 6686 6689 3654 0 -1 1077944384 3 13261 0 0 0 0 4 3 20 0 15 0 405119233 11092590592 60981 33554432000 4194304 4196468 140733216250272 140447118719536 140447952317058 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38981632 140733216258805 140733216261317 140733216261317 140733216264143 0
Current children cumulated CPU time: 3.16 s
Current children cumulated vsize: 10832608 KiB
################
# More data... #
################
/proc/6689/task/6742/stat : 6742 (java) R 6686 6689 3654 0 -1 4202560 68160 13261 0 0 235487 56 4 3 20 0 15 0 405119227 11105193984 300618 33554432000 4194304 4196468 140733216250272 140447924141680 140447530692792 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38981632 140733216258805 140733216261317 140733216261317 140733216264143 0
[pid=6689/tid=6743] ppid=6686 vsize=10844916 memory=1202472 CPUtime=12.36 cores=1,3,5,7
/proc/6689/task/6743/stat : 6743 (java) S 6686 6689 3654 0 -1 1077944384 12566 13261 0 0 1167 62 4 3 20 0 15 0 405119228 11105193984 300618 33554432000 4194304 4196468 140733216250272 140447956540432 140447952316117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38981632 140733216258805 140733216261317 140733216261317 140733216264143 0
[pid=6689/tid=6744] ppid=6686 vsize=10844916 memory=1202472 CPUtime=12.35 cores=1,3,5,7
/proc/6689/task/6744/stat : 6744 (java) S 6686 6689 3654 0 -1 1077944384 21210 13261 0 0 1167 61 4 3 20 0 15 0 405119228 11105193984 300618 33554432000 4194304 4196468 140733216250272 140447855438992 140447952316117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38981632 140733216258805 140733216261317 140733216261317 140733216264143 0
[pid=6689/tid=6745] ppid=6686 vsize=10844916 memory=1202432 CPUtime=12.36 cores=1,3,5,7
/proc/6689/task/6745/stat : 6745 (java) S 6686 6689 3654 0 -1 1077944384 12493 13261 0 0 1170 59 4 3 20 0 15 0 405119228 11105193984 300618 33554432000 4194304 4196468 140733216250272 140447854385936 140447952316117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38981632 140733216258805 140733216261317 140733216261317 140733216264143 0
[pid=6689/tid=6746] ppid=6686 vsize=10844916 memory=1202472 CPUtime=12.35 cores=1,3,5,7
/proc/6689/task/6746/stat : 6746 (java) S 6686 6689 3654 0 -1 1077944384 12064 13261 0 0 1168 60 4 3 20 0 15 0 405119228 11105193984 300618 33554432000 4194304 4196468 140733216250272 140447853333392 140447952316117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38981632 140733216258805 140733216261317 140733216261317 140733216264143 0
[pid=6689/tid=6747] ppid=6686 vsize=10844916 memory=1202472 CPUtime=11.38 cores=1,3,5,7
/proc/6689/task/6747/stat : 6747 (java) S 6686 6689 3654 0 -1 1077944384 16387 13261 0 0 1070 61 4 3 20 0 15 0 405119229 11105193984 300618 33554432000 4194304 4196468 140733216250272 140447156488432 140447952317058 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38981632 140733216258805 140733216261317 140733216261317 140733216264143 0
[pid=6689/tid=6748] ppid=6686 vsize=10844916 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6689/task/6748/stat : 6748 (java) S 6686 6689 3654 0 -1 1077944384 40 13261 0 0 0 0 4 3 20 0 15 0 405119230 11105193984 300618 33554432000 4194304 4196468 140733216250272 140447155434784 140447952316117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38981632 140733216258805 140733216261317 140733216261317 140733216264143 0
[pid=6689/tid=6749] ppid=6686 vsize=10844916 memory=1202472 CPUtime=0.07 cores=1,3,5,7
/proc/6689/task/6749/stat : 6749 (java) S 6686 6689 3654 0 -1 1077944384 4 13261 0 0 0 0 4 3 20 0 15 0 405119230 11105193984 300618 33554432000 4194304 4196468 140733216250272 140447041184512 140447952316117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38981632 140733216258805 140733216261317 140733216261317 140733216264143 0
[pid=6689/tid=6750] ppid=6686 vsize=10844916 memory=1202472 CPUtime=0.07 cores=1,3,5,7
/proc/6689/task/6750/stat : 6750 (java) S 6686 6689 3654 0 -1 1077944384 3 13261 0 0 0 0 4 3 20 0 15 0 405119232 11105193984 300618 33554432000 4194304 4196468 140733216250272 140446532458448 140447952324507 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38981632 140733216258805 140733216261317 140733216261317 140733216264143 0
[pid=6689/tid=6751] ppid=6686 vsize=10844916 memory=1202472 CPUtime=4.3 cores=1,3,5,7
/proc/6689/task/6751/stat : 6751 (java) S 6686 6689 3654 0 -1 1077944384 17379 13261 0 0 418 5 4 3 20 0 15 0 405119232 11105193984 300618 33554432000 4194304 4196468 140733216250272 140447121877744 140447952317058 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38981632 140733216258805 140733216261317 140733216261317 140733216264143 0
[pid=6689/tid=6752] ppid=6686 vsize=10844916 memory=1228 CPUtime=3.92 cores=1,3,5,7
/proc/6689/task/6752/stat : 6752 (java) S 6686 6689 3654 0 -1 1077944384 11999 13261 0 0 381 4 4 3 20 0 15 0 405119232 11105193984 300618 33554432000 4194304 4196468 140733216250272 140447120825200 140447952317058 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38981632 140733216258805 140733216261317 140733216261317 140733216264143 0
[pid=6689/tid=6753] ppid=6686 vsize=10844916 memory=3054156605268465310 CPUtime=3.15 cores=1,3,5,7
/proc/6689/task/6753/stat : 6753 (java) S 6686 6689 3654 0 -1 1077944384 19248 13261 0 0 303 5 4 3 20 0 15 0 405119232 11105193984 300618 33554432000 4194304 4196468 140733216250272 140447119772144 140447952317058 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38981632 140733216258805 140733216261317 140733216261317 140733216264143 0
[pid=6689/tid=6754] ppid=6686 vsize=10844916 memory=3580 CPUtime=0.07 cores=1,3,5,7
/proc/6689/task/6754/stat : 6754 (java) S 6686 6689 3654 0 -1 1077944384 3 13261 0 0 0 0 4 3 20 0 15 0 405119233 11105193984 300618 33554432000 4194304 4196468 140733216250272 140446498900832 140447952316117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38981632 140733216258805 140733216261317 140733216261317 140733216264143 0
[pid=6689/tid=6755] ppid=6686 vsize=10844916 memory=2428 CPUtime=1.39 cores=1,3,5,7
/proc/6689/task/6755/stat : 6755 (java) S 6686 6689 3654 0 -1 1077944384 1365 13261 0 0 62 70 4 3 20 0 15 0 405119233 11105193984 300618 33554432000 4194304 4196468 140733216250272 140447118719536 140447952317058 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38981632 140733216258805 140733216261317 140733216261317 140733216264143 0
Current children cumulated CPU time: 2428.54 s
Current children cumulated vsize: 10844916 KiB
Current children cumulated memory: 1202472 KiB
[startup+2442.3 s]
/proc/loadavg: 1.78 1.65 1.56 3/228 7130
/proc/meminfo: memFree=11538580/32770624 swapFree=66999904/67108860
[pid=6689] ppid=6686 vsize=10844916 memory=1204580 CPUtime=2489.51 cores=1,3,5,7
/proc/6689/stat : 6689 (java) S 6686 6689 3654 0 -1 1077944320 196506 13261 0 0 248559 385 4 3 20 0 15 0 405119218 11105193984 301145 33554432000 4194304 4196468 140733216250272 140733216232816 140447952305911 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38981632 140733216258805 140733216261317 140733216261317 140733216264143 0
/proc/6689/statm: 2711229 301145 3620 1 0 2673293 0
[pid=6689/tid=6742] ppid=6686 vsize=10844916 memory=1204580 CPUtime=2414.8 cores=1,3,5,7
/proc/6689/task/6742/stat : 6742 (java) R 6686 6689 3654 0 -1 4202560 68907 13261 0 0 241417 56 4 3 20 0 15 0 405119227 11105193984 301145 33554432000 4194304 4196468 140733216250272 140447924141056 140447934713039 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38981632 140733216258805 140733216261317 140733216261317 140733216264143 0
[pid=6689/tid=6743] ppid=6686 vsize=10844916 memory=1204580 CPUtime=12.69 cores=1,3,5,7
/proc/6689/task/6743/stat : 6743 (java) S 6686 6689 3654 0 -1 1077944384 12611 13261 0 0 1198 64 4 3 20 0 15 0 405119228 11105193984 301145 33554432000 4194304 4196468 140733216250272 140447956540432 140447952316117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38981632 140733216258805 140733216261317 140733216261317 140733216264143 0
[pid=6689/tid=6744] ppid=6686 vsize=10844916 memory=1204580 CPUtime=12.68 cores=1,3,5,7
/proc/6689/task/6744/stat : 6744 (java) S 6686 6689 3654 0 -1 1077944384 21236 13261 0 0 1199 62 4 3 20 0 15 0 405119228 11105193984 301145 33554432000 4194304 4196468 140733216250272 140447855438992 140447952316117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38981632 140733216258805 140733216261317 140733216261317 140733216264143 0
[pid=6689/tid=6745] ppid=6686 vsize=10844916 memory=1202472 CPUtime=12.7 cores=1,3,5,7
/proc/6689/task/6745/stat : 6745 (java) S 6686 6689 3654 0 -1 1077944384 12747 13261 0 0 1202 61 4 3 20 0 15 0 405119228 11105193984 301145 33554432000 4194304 4196468 140733216250272 140447854385936 140447952316117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38981632 140733216258805 140733216261317 140733216261317 140733216264143 0
[pid=6689/tid=6746] ppid=6686 vsize=10844916 memory=1202472 CPUtime=12.68 cores=1,3,5,7
/proc/6689/task/6746/stat : 6746 (java) S 6686 6689 3654 0 -1 1077944384 12128 13261 0 0 1199 62 4 3 20 0 15 0 405119228 11105193984 301145 33554432000 4194304 4196468 140733216250272 140447853333392 140447952316117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38981632 140733216258805 140733216261317 140733216261317 140733216264143 0
[pid=6689/tid=6747] ppid=6686 vsize=10844916 memory=1202524 CPUtime=11.68 cores=1,3,5,7
/proc/6689/task/6747/stat : 6747 (java) S 6686 6689 3654 0 -1 1077944384 16612 13261 0 0 1099 62 4 3 20 0 15 0 405119229 11105193984 301145 33554432000 4194304 4196468 140733216250272 140447156488432 140447952317058 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38981632 140733216258805 140733216261317 140733216261317 140733216264143 0
[pid=6689/tid=6748] ppid=6686 vsize=10844916 memory=1202528 CPUtime=0.07 cores=1,3,5,7
/proc/6689/task/6748/stat : 6748 (java) S 6686 6689 3654 0 -1 1077944384 40 13261 0 0 0 0 4 3 20 0 15 0 405119230 11105193984 301145 33554432000 4194304 4196468 140733216250272 140447155434784 140447952316117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38981632 140733216258805 140733216261317 140733216261317 140733216264143 0
[pid=6689/tid=6749] ppid=6686 vsize=10844916 memory=1202524 CPUtime=0.07 cores=1,3,5,7
/proc/6689/task/6749/stat : 6749 (java) S 6686 6689 3654 0 -1 1077944384 4 13261 0 0 0 0 4 3 20 0 15 0 405119230 11105193984 301145 33554432000 4194304 4196468 140733216250272 140447041184512 140447952316117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38981632 140733216258805 140733216261317 140733216261317 140733216264143 0
[pid=6689/tid=6750] ppid=6686 vsize=10844916 memory=1204580 CPUtime=0.07 cores=1,3,5,7
/proc/6689/task/6750/stat : 6750 (java) S 6686 6689 3654 0 -1 1077944384 3 13261 0 0 0 0 4 3 20 0 15 0 405119232 11105193984 301145 33554432000 4194304 4196468 140733216250272 140446532458448 140447952324507 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38981632 140733216258805 140733216261317 140733216261317 140733216264143 0
[pid=6689/tid=6751] ppid=6686 vsize=10844916 memory=1202528 CPUtime=4.3 cores=1,3,5,7
/proc/6689/task/6751/stat : 6751 (java) S 6686 6689 3654 0 -1 1077944384 17381 13261 0 0 418 5 4 3 20 0 15 0 405119232 11105193984 301145 33554432000 4194304 4196468 140733216250272 140447121877744 140447952317058 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38981632 140733216258805 140733216261317 140733216261317 140733216264143 0
[pid=6689/tid=6752] ppid=6686 vsize=10844916 memory=1204580 CPUtime=3.92 cores=1,3,5,7
/proc/6689/task/6752/stat : 6752 (java) S 6686 6689 3654 0 -1 1077944384 12002 13261 0 0 381 4 4 3 20 0 15 0 405119232 11105193984 301145 33554432000 4194304 4196468 140733216250272 140447120825200 140447952317058 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38981632 140733216258805 140733216261317 140733216261317 140733216264143 0
[pid=6689/tid=6753] ppid=6686 vsize=10844916 memory=1204580 CPUtime=3.16 cores=1,3,5,7
/proc/6689/task/6753/stat : 6753 (java) S 6686 6689 3654 0 -1 1077944384 19250 13261 0 0 303 6 4 3 20 0 15 0 405119232 11105193984 301145 33554432000 4194304 4196468 140733216250272 140447119772144 140447952317058 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38981632 140733216258805 140733216261317 140733216261317 140733216264143 0
[pid=6689/tid=6754] ppid=6686 vsize=10844916 memory=1204580 CPUtime=0.07 cores=1,3,5,7
/proc/6689/task/6754/stat : 6754 (java) S 6686 6689 3654 0 -1 1077944384 3 13261 0 0 0 0 4 3 20 0 15 0 405119233 11105193984 301145 33554432000 4194304 4196468 140733216250272 140446498900832 140447952316117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38981632 140733216258805 140733216261317 140733216261317 140733216264143 0
[pid=6689/tid=6755] ppid=6686 vsize=10844916 memory=1204580 CPUtime=1.43 cores=1,3,5,7
/proc/6689/task/6755/stat : 6755 (java) S 6686 6689 3654 0 -1 1077944384 1373 13261 0 0 64 72 4 3 20 0 15 0 405119233 11105193984 301145 33554432000 4194304 4196468 140733216250272 140447118719536 140447952317058 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38981632 140733216258805 140733216261317 140733216261317 140733216264143 0
Current children cumulated CPU time: 2489.51 s
Current children cumulated vsize: 10844916 KiB
Current children cumulated memory: 1204580 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2472.3 s]
/proc/loadavg: 1.67 1.64 1.56 3/228 7131
/proc/meminfo: memFree=11543492/32770624 swapFree=66999904/67108860
[pid=6689] ppid=6686 vsize=10844916 memory=1204628 CPUtime=2520 cores=1,3,5,7
/proc/6689/stat : 6689 (java) S 6686 6689 3654 0 -1 1077944320 197499 13261 0 0 251603 390 4 3 20 0 15 0 405119218 11105193984 301157 33554432000 4194304 4196468 140733216250272 140733216232816 140447952305911 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38981632 140733216258805 140733216261317 140733216261317 140733216264143 0
/proc/6689/statm: 2711229 301157 3620 1 0 2673293 0
[pid=6689/tid=6742] ppid=6686 vsize=10844916 memory=1204628 CPUtime=2444.44 cores=1,3,5,7
/proc/6689/task/6742/stat : 6742 (java) R 6686 6689 3654 0 -1 4202560 69347 13261 0 0 244380 57 4 3 20 0 15 0 405119227 11105193984 301157 33554432000 4194304 4196468 140733216250272 140447924142000 140447529773435 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38981632 140733216258805 140733216261317 140733216261317 140733216264143 0
[pid=6689/tid=6743] ppid=6686 vsize=10844916 memory=1204628 CPUtime=12.86 cores=1,3,5,7
/proc/6689/task/6743/stat : 6743 (java) S 6686 6689 3654 0 -1 1077944384 12620 13261 0 0 1215 64 4 3 20 0 15 0 405119228 11105193984 301157 33554432000 4194304 4196468 140733216250272 140447956540432 140447952316117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38981632 140733216258805 140733216261317 140733216261317 140733216264143 0
[pid=6689/tid=6744] ppid=6686 vsize=10844916 memory=1544 CPUtime=12.85 cores=1,3,5,7
/proc/6689/task/6744/stat : 6744 (java) S 6686 6689 3654 0 -1 1077944384 21300 13261 0 0 1215 63 4 3 20 0 15 0 405119228 11105193984 301157 33554432000 4194304 4196468 140733216250272 140447855438992 140447952316117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38981632 140733216258805 140733216261317 140733216261317 140733216264143 0
[pid=6689/tid=6745] ppid=6686 vsize=10844916 memory=1204628 CPUtime=12.87 cores=1,3,5,7
/proc/6689/task/6745/stat : 6745 (java) S 6686 6689 3654 0 -1 1077944384 12795 13261 0 0 1218 62 4 3 20 0 15 0 405119228 11105193984 301157 33554432000 4194304 4196468 140733216250272 140447854385936 140447952316117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38981632 140733216258805 140733216261317 140733216261317 140733216264143 0
[pid=6689/tid=6746] ppid=6686 vsize=10844916 memory=1204628 CPUtime=12.86 cores=1,3,5,7
/proc/6689/task/6746/stat : 6746 (java) S 6686 6689 3654 0 -1 1077944384 12346 13261 0 0 1216 63 4 3 20 0 15 0 405119228 11105193984 301157 33554432000 4194304 4196468 140733216250272 140447853333392 140447952316117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38981632 140733216258805 140733216261317 140733216261317 140733216264143 0
[pid=6689/tid=6747] ppid=6686 vsize=10844916 memory=1204628 CPUtime=11.83 cores=1,3,5,7
/proc/6689/task/6747/stat : 6747 (java) S 6686 6689 3654 0 -1 1077944384 16806 13261 0 0 1113 63 4 3 20 0 15 0 405119229 11105193984 301157 33554432000 4194304 4196468 140733216250272 140447156488432 140447952317058 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38981632 140733216258805 140733216261317 140733216261317 140733216264143 0
[pid=6689/tid=6748] ppid=6686 vsize=10844916 memory=1204624 CPUtime=0.07 cores=1,3,5,7
/proc/6689/task/6748/stat : 6748 (java) S 6686 6689 3654 0 -1 1077944384 40 13261 0 0 0 0 4 3 20 0 15 0 405119230 11105193984 301157 33554432000 4194304 4196468 140733216250272 140447155434784 140447952316117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38981632 140733216258805 140733216261317 140733216261317 140733216264143 0
[pid=6689/tid=6749] ppid=6686 vsize=10844916 memory=1204624 CPUtime=0.07 cores=1,3,5,7
/proc/6689/task/6749/stat : 6749 (java) S 6686 6689 3654 0 -1 1077944384 4 13261 0 0 0 0 4 3 20 0 15 0 405119230 11105193984 301157 33554432000 4194304 4196468 140733216250272 140447041184512 140447952316117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38981632 140733216258805 140733216261317 140733216261317 140733216264143 0
[pid=6689/tid=6750] ppid=6686 vsize=10844916 memory=1204624 CPUtime=0.07 cores=1,3,5,7
/proc/6689/task/6750/stat : 6750 (java) S 6686 6689 3654 0 -1 1077944384 3 13261 0 0 0 0 4 3 20 0 15 0 405119232 11105193984 301157 33554432000 4194304 4196468 140733216250272 140446532458448 140447952324507 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38981632 140733216258805 140733216261317 140733216261317 140733216264143 0
[pid=6689/tid=6751] ppid=6686 vsize=10844916 memory=1204628 CPUtime=4.3 cores=1,3,5,7
/proc/6689/task/6751/stat : 6751 (java) S 6686 6689 3654 0 -1 1077944384 17383 13261 0 0 418 5 4 3 20 0 15 0 405119232 11105193984 301157 33554432000 4194304 4196468 140733216250272 140447121877744 140447952317058 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38981632 140733216258805 140733216261317 140733216261317 140733216264143 0
[pid=6689/tid=6752] ppid=6686 vsize=10844916 memory=1204628 CPUtime=3.92 cores=1,3,5,7
/proc/6689/task/6752/stat : 6752 (java) S 6686 6689 3654 0 -1 1077944384 12004 13261 0 0 381 4 4 3 20 0 15 0 405119232 11105193984 301157 33554432000 4194304 4196468 140733216250272 140447120825200 140447952317058 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38981632 140733216258805 140733216261317 140733216261317 140733216264143 0
[pid=6689/tid=6753] ppid=6686 vsize=10844916 memory=1204624 CPUtime=3.16 cores=1,3,5,7
/proc/6689/task/6753/stat : 6753 (java) S 6686 6689 3654 0 -1 1077944384 19252 13261 0 0 303 6 4 3 20 0 15 0 405119232 11105193984 301157 33554432000 4194304 4196468 140733216250272 140447119772144 140447952317058 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38981632 140733216258805 140733216261317 140733216261317 140733216264143 0
[pid=6689/tid=6754] ppid=6686 vsize=10844916 memory=1204580 CPUtime=0.07 cores=1,3,5,7
/proc/6689/task/6754/stat : 6754 (java) S 6686 6689 3654 0 -1 1077944384 3 13261 0 0 0 0 4 3 20 0 15 0 405119233 11105193984 301157 33554432000 4194304 4196468 140733216250272 140446498900832 140447952316117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38981632 140733216258805 140733216261317 140733216261317 140733216264143 0
[pid=6689/tid=6755] ppid=6686 vsize=10844916 memory=2257 CPUtime=1.45 cores=1,3,5,7
/proc/6689/task/6755/stat : 6755 (java) S 6686 6689 3654 0 -1 1077944384 1387 13261 0 0 65 73 4 3 20 0 15 0 405119233 11105193984 301157 33554432000 4194304 4196468 140733216250272 140447118719536 140447952317058 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38981632 140733216258805 140733216261317 140733216261317 140733216264143 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 10844916 KiB
Current children cumulated memory: 1204628 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2472.33 s]
# the end of solver process 6689 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.1 s, system=3.95467 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2472.3 s]
/proc/loadavg: 1.67 1.64 1.56 3/228 7131
/proc/meminfo: memFree=11543492/32770624 swapFree=66999904/67108860
[pid=6689] ppid=6686 vsize=10844916 memory=1204628 CPUtime=2520 cores=1,3,5,7
/proc/6689/stat : 6689 (java) S 6686 6689 3654 0 -1 1077944320 197499 13261 0 0 251603 390 4 3 20 0 15 0 405119218 11105193984 301157 33554432000 4194304 4196468 140733216250272 140733216232816 140447952305911 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38981632 140733216258805 140733216261317 140733216261317 140733216264143 0
/proc/6689/statm: 2711229 301157 3620 1 0 2673293 0
[pid=6689/tid=6742] ppid=6686 vsize=10844916 memory=1204628 CPUtime=2444.44 cores=1,3,5,7
/proc/6689/task/6742/stat : 6742 (java) R 6686 6689 3654 0 -1 4202560 69347 13261 0 0 244380 57 4 3 20 0 15 0 405119227 11105193984 301157 33554432000 4194304 4196468 140733216250272 140447924142000 140447529773435 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38981632 140733216258805 140733216261317 140733216261317 140733216264143 0
[pid=6689/tid=6743] ppid=6686 vsize=10844916 memory=1204628 CPUtime=12.86 cores=1,3,5,7
/proc/6689/task/6743/stat : 6743 (java) S 6686 6689 3654 0 -1 1077944384 12620 13261 0 0 1215 64 4 3 20 0 15 0 405119228 11105193984 301157 33554432000 4194304 4196468 140733216250272 140447956540432 140447952316117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38981632 140733216258805 140733216261317 140733216261317 140733216264143 0
[pid=6689/tid=6744] ppid=6686 vsize=10844916 memory=1544 CPUtime=12.85 cores=1,3,5,7
/proc/6689/task/6744/stat : 6744 (java) S 6686 6689 3654 0 -1 1077944384 21300 13261 0 0 1215 63 4 3 20 0 15 0 405119228 11105193984 301157 33554432000 4194304 4196468 140733216250272 140447855438992 140447952316117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38981632 140733216258805 140733216261317 140733216261317 140733216264143 0
[pid=6689/tid=6745] ppid=6686 vsize=10844916 memory=1204628 CPUtime=12.87 cores=1,3,5,7
/proc/6689/task/6745/stat : 6745 (java) S 6686 6689 3654 0 -1 1077944384 12795 13261 0 0 1218 62 4 3 20 0 15 0 405119228 11105193984 301157 33554432000 4194304 4196468 140733216250272 140447854385936 140447952316117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38981632 140733216258805 140733216261317 140733216261317 140733216264143 0
[pid=6689/tid=6746] ppid=6686 vsize=10844916 memory=1204628 CPUtime=12.86 cores=1,3,5,7
/proc/6689/task/6746/stat : 6746 (java) S 6686 6689 3654 0 -1 1077944384 12346 13261 0 0 1216 63 4 3 20 0 15 0 405119228 11105193984 301157 33554432000 4194304 4196468 140733216250272 140447853333392 140447952316117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38981632 140733216258805 140733216261317 140733216261317 140733216264143 0
[pid=6689/tid=6747] ppid=6686 vsize=10844916 memory=1204628 CPUtime=11.83 cores=1,3,5,7
/proc/6689/task/6747/stat : 6747 (java) S 6686 6689 3654 0 -1 1077944384 16806 13261 0 0 1113 63 4 3 20 0 15 0 405119229 11105193984 301157 33554432000 4194304 4196468 140733216250272 140447156488432 140447952317058 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38981632 140733216258805 140733216261317 140733216261317 140733216264143 0
[pid=6689/tid=6748] ppid=6686 vsize=10844916 memory=1204624 CPUtime=0.07 cores=1,3,5,7
/proc/6689/task/6748/stat : 6748 (java) S 6686 6689 3654 0 -1 1077944384 40 13261 0 0 0 0 4 3 20 0 15 0 405119230 11105193984 301157 33554432000 4194304 4196468 140733216250272 140447155434784 140447952316117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38981632 140733216258805 140733216261317 140733216261317 140733216264143 0
[pid=6689/tid=6749] ppid=6686 vsize=10844916 memory=1204624 CPUtime=0.07 cores=1,3,5,7
/proc/6689/task/6749/stat : 6749 (java) S 6686 6689 3654 0 -1 1077944384 4 13261 0 0 0 0 4 3 20 0 15 0 405119230 11105193984 301157 33554432000 4194304 4196468 140733216250272 140447041184512 140447952316117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38981632 140733216258805 140733216261317 140733216261317 140733216264143 0
[pid=6689/tid=6750] ppid=6686 vsize=10844916 memory=1204624 CPUtime=0.07 cores=1,3,5,7
/proc/6689/task/6750/stat : 6750 (java) S 6686 6689 3654 0 -1 1077944384 3 13261 0 0 0 0 4 3 20 0 15 0 405119232 11105193984 301157 33554432000 4194304 4196468 140733216250272 140446532458448 140447952324507 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38981632 140733216258805 140733216261317 140733216261317 140733216264143 0
[pid=6689/tid=6751] ppid=6686 vsize=10844916 memory=1204628 CPUtime=4.3 cores=1,3,5,7
/proc/6689/task/6751/stat : 6751 (java) S 6686 6689 3654 0 -1 1077944384 17383 13261 0 0 418 5 4 3 20 0 15 0 405119232 11105193984 301157 33554432000 4194304 4196468 140733216250272 140447121877744 140447952317058 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38981632 140733216258805 140733216261317 140733216261317 140733216264143 0
[pid=6689/tid=6752] ppid=6686 vsize=10844916 memory=1204628 CPUtime=3.92 cores=1,3,5,7
/proc/6689/task/6752/stat : 6752 (java) S 6686 6689 3654 0 -1 1077944384 12004 13261 0 0 381 4 4 3 20 0 15 0 405119232 11105193984 301157 33554432000 4194304 4196468 140733216250272 140447120825200 140447952317058 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38981632 140733216258805 140733216261317 140733216261317 140733216264143 0
[pid=6689/tid=6753] ppid=6686 vsize=10844916 memory=1204624 CPUtime=3.16 cores=1,3,5,7
/proc/6689/task/6753/stat : 6753 (java) S 6686 6689 3654 0 -1 1077944384 19252 13261 0 0 303 6 4 3 20 0 15 0 405119232 11105193984 301157 33554432000 4194304 4196468 140733216250272 140447119772144 140447952317058 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38981632 140733216258805 140733216261317 140733216261317 140733216264143 0
[pid=6689/tid=6754] ppid=6686 vsize=10844916 memory=1204580 CPUtime=0.07 cores=1,3,5,7
/proc/6689/task/6754/stat : 6754 (java) S 6686 6689 3654 0 -1 1077944384 3 13261 0 0 0 0 4 3 20 0 15 0 405119233 11105193984 301157 33554432000 4194304 4196468 140733216250272 140446498900832 140447952316117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38981632 140733216258805 140733216261317 140733216261317 140733216264143 0
[pid=6689/tid=6755] ppid=6686 vsize=10844916 memory=2257 CPUtime=1.45 cores=1,3,5,7
/proc/6689/task/6755/stat : 6755 (java) S 6686 6689 3654 0 -1 1077944384 1387 13261 0 0 65 73 4 3 20 0 15 0 405119233 11105193984 301157 33554432000 4194304 4196468 140733216250272 140447118719536 140447952317058 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38981632 140733216258805 140733216261317 140733216261317 140733216264143 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 10844916 KiB
Current children cumulated memory: 1204628 KiB
Child status: 143
Real time (s): 2472.33
CPU time (s): 2520.06
CPU user time (s): 2516.1
CPU system time (s): 3.95467
CPU usage (%): 101.931
Max. virtual memory (cumulated for all children) (KiB): 10847580
Max. memory (cumulated for all children) (KiB): 1204628
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.1
system time used= 3.95467
maximum resident set size= 1208852
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 213161
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2872
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 324636
involuntary context switches= 6328
# summary of solver processes directly reported to runsolver:
# pid: 6689
# total CPU time (s): 2520.06
# total CPU user time (s): 2516.1
# total CPU system time (s): 3.95467
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.6489 second user time and 23.3981 second system time
The end