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 (1991 MiB free)
memory of node 1: 16384 MiB (2853 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4402679-1568975588/watcher-4402679-1568975588 -o /var/tmp/evaluation-result-4402679-1568975588/solver-4402679-1568975588 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node147-1568967593-29695 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1814303096 HOME/instance-4402679-1568975588.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=31867, runsolver pid=31864
[startup+0.100137 s]*
/proc/loadavg: 1.28 1.42 1.48 3/219 31924
/proc/meminfo: memFree=4952408/32770624 swapFree=66935820/67108860
[pid=31867] ppid=31864 vsize=9972712 memory=19252 CPUtime=0.09 cores=1,3,5,7
/proc/31867/stat : 31867 (java) S 31864 31867 29663 0 -1 1077944320 4541 13313 0 0 1 1 5 2 20 0 6 0 473472596 10212057088 4813 33554432000 4194304 4196468 140724946919392 140724946901936 140567910850295 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26845184 140724946922083 140724946924725 140724946924725 140724946927567 0
/proc/31867/statm: 2493178 4813 1944 1 0 2481616 0
[pid=31867/tid=31920] ppid=31864 vsize=9972712 memory=4279135703946723216 CPUtime=0.07 cores=1,3,5,7
/proc/31867/task/31920/stat : 31920 (java) R 31864 31867 29663 0 -1 4202560 2329 13313 0 0 0 0 5 2 20 0 6 0 473472605 10212057088 4813 33554432000 4194304 4196468 140724946919392 140567882687056 140567896162297 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26845184 140724946922083 140724946924725 140724946924725 140724946927567 0
[pid=31867/tid=31921] ppid=31864 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31867/task/31921/stat : 31921 (java) S 31864 31867 29663 0 -1 1077944384 1 13313 0 0 0 0 5 2 20 0 6 0 473472606 10212057088 4813 33554432000 4194304 4196468 140724946919392 140567915092752 140567910860501 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26845184 140724946922083 140724946924725 140724946924725 140724946927567 0
[pid=31867/tid=31922] ppid=31864 vsize=9972712 memory=139920184628864 CPUtime=0.07 cores=1,3,5,7
/proc/31867/task/31922/stat : 31922 (java) S 31864 31867 29663 0 -1 1077944384 1 13313 0 0 0 0 5 2 20 0 6 0 473472606 10212057088 4813 33554432000 4194304 4196468 140724946919392 140567838251920 140567910860501 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26845184 140724946922083 140724946924725 140724946924725 140724946927567 0
[pid=31867/tid=31923] ppid=31864 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31867/task/31923/stat : 31923 (java) S 31864 31867 29663 0 -1 1077944384 1 13313 0 0 0 0 5 2 20 0 6 0 473472606 10212057088 4813 33554432000 4194304 4196468 140724946919392 140567483489296 140567910860501 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26845184 140724946922083 140724946924725 140724946924725 140724946927567 0
[pid=31867/tid=31924] ppid=31864 vsize=9972712 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/31867/task/31924/stat : 31924 (java) S 31864 31867 29663 0 -1 1077944384 2 13313 0 0 0 0 5 2 20 0 6 0 473472606 10212057088 4813 33554432000 4194304 4196468 140724946919392 140567482436752 140567910860501 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26845184 140724946922083 140724946924725 140724946924725 140724946927567 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 19252 KiB
[startup+0.210135 s]*
/proc/loadavg: 1.28 1.42 1.48 4/228 31933
/proc/meminfo: memFree=4932400/32770624 swapFree=66935820/67108860
[pid=31867] ppid=31864 vsize=10822180 memory=43888 CPUtime=0.27 cores=1,3,5,7
/proc/31867/stat : 31867 (java) S 31864 31867 29663 0 -1 1077944320 7797 13313 0 0 18 2 5 2 20 0 15 0 473472596 11081912320 10972 33554432000 4194304 4196468 140724946919392 140724946901936 140567910850295 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26845184 140724946922083 140724946924725 140724946924725 140724946927567 0
/proc/31867/statm: 2705952 10972 3308 1 0 2668052 0
[pid=31867/tid=31920] ppid=31864 vsize=10823808 memory=7022364594140610616 CPUtime=0.18 cores=1,3,5,7
/proc/31867/task/31920/stat : 31920 (java) R 31864 31867 29663 0 -1 4202560 4284 13313 0 0 10 1 5 2 20 0 15 0 473472605 11083579392 10972 33554432000 4194304 4196468 140724946919392 140567882662656 140567903140736 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26845184 140724946922083 140724946924725 140724946924725 140724946927567 0
[pid=31867/tid=31921] ppid=31864 vsize=10823808 memory=343 CPUtime=0.07 cores=1,3,5,7
/proc/31867/task/31921/stat : 31921 (java) S 31864 31867 29663 0 -1 1077944384 1 13313 0 0 0 0 5 2 20 0 15 0 473472606 11083579392 10972 33554432000 4194304 4196468 140724946919392 140567915092752 140567910860501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26845184 140724946922083 140724946924725 140724946924725 140724946927567 0
[pid=31867/tid=31922] ppid=31864 vsize=10823808 memory=288370296336340608 CPUtime=0.07 cores=1,3,5,7
/proc/31867/task/31922/stat : 31922 (java) S 31864 31867 29663 0 -1 1077944384 1 13313 0 0 0 0 5 2 20 0 15 0 473472606 11083579392 11038 33554432000 4194304 4196468 140724946919392 140567838251920 140567910860501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26845184 140724946922083 140724946924725 140724946924725 140724946927567 0
[pid=31867/tid=31923] ppid=31864 vsize=10823808 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31867/task/31923/stat : 31923 (java) S 31864 31867 29663 0 -1 1077944384 1 13313 0 0 0 0 5 2 20 0 15 0 473472606 11083579392 11038 33554432000 4194304 4196468 140724946919392 140567483489296 140567910860501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26845184 140724946922083 140724946924725 140724946924725 140724946927567 0
[pid=31867/tid=31924] ppid=31864 vsize=10823808 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/31867/task/31924/stat : 31924 (java) S 31864 31867 29663 0 -1 1077944384 2 13313 0 0 0 0 5 2 20 0 15 0 473472606 11083579392 11038 33554432000 4194304 4196468 140724946919392 140567482436752 140567910860501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26845184 140724946922083 140724946924725 140724946924725 140724946927567 0
[pid=31867/tid=31925] ppid=31864 vsize=10823808 memory=139920184628864 CPUtime=0.07 cores=1,3,5,7
/proc/31867/task/31925/stat : 31925 (java) S 31864 31867 29663 0 -1 1077944384 2 13313 0 0 0 0 5 2 20 0 15 0 473472607 11083579392 11038 33554432000 4194304 4196468 140724946919392 140567437486064 140567910861442 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26845184 140724946922083 140724946924725 140724946924725 140724946927567 0
[pid=31867/tid=31926] ppid=31864 vsize=10823808 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/31867/task/31926/stat : 31926 (java) S 31864 31867 29663 0 -1 1077944384 13 13313 0 0 0 0 5 2 20 0 15 0 473472608 11083579392 11104 33554432000 4194304 4196468 140724946919392 140567367377824 140567910860501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26845184 140724946922083 140724946924725 140724946924725 140724946927567 0
[pid=31867/tid=31927] ppid=31864 vsize=10823808 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31867/task/31927/stat : 31927 (java) S 31864 31867 29663 0 -1 1077944384 1 13313 0 0 0 0 5 2 20 0 15 0 473472608 11083579392 11104 33554432000 4194304 4196468 140724946919392 140566763398128 140567910860501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26845184 140724946922083 140724946924725 140724946924725 140724946927567 0
[pid=31867/tid=31928] ppid=31864 vsize=10823808 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31867/task/31928/stat : 31928 (java) S 31864 31867 29663 0 -1 1077944384 3 13313 0 0 0 0 5 2 20 0 15 0 473472610 11083579392 11104 33554432000 4194304 4196468 140724946919392 140566455998672 140567910868891 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26845184 140724946922083 140724946924725 140724946924725 140724946927567 0
[pid=31867/tid=31929] ppid=31864 vsize=10823808 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/31867/task/31929/stat : 31929 (java) R 31864 31867 29663 0 -1 4202560 357 13313 0 0 1 0 5 2 20 0 15 0 473472610 11083579392 11104 33554432000 4194304 4196468 140724946919392 140567436433904 140567894237020 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26845184 140724946922083 140724946924725 140724946924725 140724946927567 0
[pid=31867/tid=31930] ppid=31864 vsize=10823808 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/31867/task/31930/stat : 31930 (java) S 31864 31867 29663 0 -1 1077944384 318 13313 0 0 1 0 5 2 20 0 15 0 473472610 11083579392 11170 33554432000 4194304 4196468 140724946919392 140567333821040 140567910861442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26845184 140724946922083 140724946924725 140724946924725 140724946927567 0
[pid=31867/tid=31931] ppid=31864 vsize=10823808 memory=139920184628864 CPUtime=0.1 cores=1,3,5,7
/proc/31867/task/31931/stat : 31931 (java) S 31864 31867 29663 0 -1 1077944384 612 13313 0 0 3 0 5 2 20 0 15 0 473472610 11083579392 11170 33554432000 4194304 4196468 140724946919392 140567332768496 140567910861442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26845184 140724946922083 140724946924725 140724946924725 140724946927567 0
[pid=31867/tid=31932] ppid=31864 vsize=10823808 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/31867/task/31932/stat : 31932 (java) S 31864 31867 29663 0 -1 1077944384 3 13313 0 0 0 0 5 2 20 0 15 0 473472611 11083579392 11170 33554432000 4194304 4196468 140724946919392 140566422441056 140567910860501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26845184 140724946922083 140724946924725 140724946924725 140724946927567 0
[pid=31867/tid=31933] ppid=31864 vsize=10823808 memory=139920184628864 CPUtime=0.07 cores=1,3,5,7
/proc/31867/task/31933/stat : 31933 (java) S 31864 31867 29663 0 -1 1077944384 1 13313 0 0 0 0 5 2 20 0 15 0 473472611 11083579392 11170 33554432000 4194304 4196468 140724946919392 140567331715376 140567910861442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26845184 140724946922083 140724946924725 140724946924725 140724946927567 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10822180 KiB
Current children cumulated memory: 43888 KiB
[startup+0.311109 s]*
/proc/loadavg: 1.28 1.42 1.48 4/228 31933
/proc/meminfo: memFree=4922892/32770624 swapFree=66935820/67108860
[pid=31867] ppid=31864 vsize=10820196 memory=50396 CPUtime=0.41 cores=1,3,5,7
/proc/31867/stat : 31867 (java) S 31864 31867 29663 0 -1 1077944320 10816 13313 0 0 30 4 5 2 20 0 15 0 473472596 11079880704 12599 33554432000 4194304 4196468 140724946919392 140724946901936 140567910850295 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26845184 140724946922083 140724946924725 140724946924725 140724946927567 0
/proc/31867/statm: 2705049 12599 3319 1 0 2667149 0
[pid=31867/tid=31920] ppid=31864 vsize=10820196 memory=6791534058613427641 CPUtime=0.28 cores=1,3,5,7
/proc/31867/task/31920/stat : 31920 (java) R 31864 31867 29663 0 -1 4202560 7274 13313 0 0 19 2 5 2 20 0 15 0 473472605 11079880704 12599 33554432000 4194304 4196468 140724946919392 140567882661840 140567894930782 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26845184 140724946922083 140724946924725 140724946924725 140724946927567 0
[pid=31867/tid=31921] ppid=31864 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31867/task/31921/stat : 31921 (java) S 31864 31867 29663 0 -1 1077944384 1 13313 0 0 0 0 5 2 20 0 15 0 473472606 11079880704 12599 33554432000 4194304 4196468 140724946919392 140567915092752 140567910860501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26845184 140724946922083 140724946924725 140724946924725 140724946927567 0
[pid=31867/tid=31922] ppid=31864 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31867/task/31922/stat : 31922 (java) S 31864 31867 29663 0 -1 1077944384 1 13313 0 0 0 0 5 2 20 0 15 0 473472606 11079880704 12599 33554432000 4194304 4196468 140724946919392 140567838251920 140567910860501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26845184 140724946922083 140724946924725 140724946924725 140724946927567 0
[pid=31867/tid=31923] ppid=31864 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31867/task/31923/stat : 31923 (java) S 31864 31867 29663 0 -1 1077944384 1 13313 0 0 0 0 5 2 20 0 15 0 473472606 11079880704 12599 33554432000 4194304 4196468 140724946919392 140567483489296 140567910860501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26845184 140724946922083 140724946924725 140724946924725 140724946927567 0
[pid=31867/tid=31924] ppid=31864 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31867/task/31924/stat : 31924 (java) S 31864 31867 29663 0 -1 1077944384 2 13313 0 0 0 0 5 2 20 0 15 0 473472606 11079880704 12599 33554432000 4194304 4196468 140724946919392 140567482436752 140567910860501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26845184 140724946922083 140724946924725 140724946924725 140724946927567 0
[pid=31867/tid=31925] ppid=31864 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31867/task/31925/stat : 31925 (java) S 31864 31867 29663 0 -1 1077944384 2 13313 0 0 0 0 5 2 20 0 15 0 473472607 11079880704 12599 33554432000 4194304 4196468 140724946919392 140567437486064 140567910861442 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26845184 140724946922083 140724946924725 140724946924725 140724946927567 0
[pid=31867/tid=31926] ppid=31864 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/31867/task/31926/stat : 31926 (java) S 31864 31867 29663 0 -1 1077944384 13 13313 0 0 0 0 5 2 20 0 15 0 473472608 11079880704 12599 33554432000 4194304 4196468 140724946919392 140567367377824 140567910860501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26845184 140724946922083 140724946924725 140724946924725 140724946927567 0
[pid=31867/tid=31927] ppid=31864 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31867/task/31927/stat : 31927 (java) S 31864 31867 29663 0 -1 1077944384 1 13313 0 0 0 0 5 2 20 0 15 0 473472608 11079880704 12599 33554432000 4194304 4196468 140724946919392 140566763398128 140567910860501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26845184 140724946922083 140724946924725 140724946924725 140724946927567 0
[pid=31867/tid=31928] ppid=31864 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31867/task/31928/stat : 31928 (java) S 31864 31867 29663 0 -1 1077944384 3 13313 0 0 0 0 5 2 20 0 15 0 473472610 11079880704 12599 33554432000 4194304 4196468 140724946919392 140566455998672 140567910868891 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26845184 140724946922083 140724946924725 140724946924725 140724946927567 0
[pid=31867/tid=31929] ppid=31864 vsize=10820196 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/31867/task/31929/stat : 31929 (java) S 31864 31867 29663 0 -1 1077944384 358 13313 0 0 2 0 5 2 20 0 15 0 473472610 11079880704 12599 33554432000 4194304 4196468 140724946919392 140567436433904 140567910861442 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26845184 140724946922083 140724946924725 140724946924725 140724946927567 0
[pid=31867/tid=31930] ppid=31864 vsize=10820196 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/31867/task/31930/stat : 31930 (java) S 31864 31867 29663 0 -1 1077944384 319 13313 0 0 2 0 5 2 20 0 15 0 473472610 11079880704 12599 33554432000 4194304 4196468 140724946919392 140567333821040 140567910861442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26845184 140724946922083 140724946924725 140724946924725 140724946927567 0
[pid=31867/tid=31931] ppid=31864 vsize=10820196 memory=139920184628864 CPUtime=0.12 cores=1,3,5,7
/proc/31867/task/31931/stat : 31931 (java) S 31864 31867 29663 0 -1 1077944384 630 13313 0 0 5 0 5 2 20 0 15 0 473472610 11079880704 12599 33554432000 4194304 4196468 140724946919392 140567332768496 140567910861442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26845184 140724946922083 140724946924725 140724946924725 140724946927567 0
[pid=31867/tid=31932] ppid=31864 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/31867/task/31932/stat : 31932 (java) S 31864 31867 29663 0 -1 1077944384 3 13313 0 0 0 0 5 2 20 0 15 0 473472611 11079880704 12599 33554432000 4194304 4196468 140724946919392 140566422441056 140567910860501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26845184 140724946922083 140724946924725 140724946924725 140724946927567 0
[pid=31867/tid=31933] ppid=31864 vsize=10820196 memory=139920184628864 CPUtime=0.07 cores=1,3,5,7
/proc/31867/task/31933/stat : 31933 (java) S 31864 31867 29663 0 -1 1077944384 1 13313 0 0 0 0 5 2 20 0 15 0 473472611 11079880704 12599 33554432000 4194304 4196468 140724946919392 140567331715376 140567910861442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26845184 140724946922083 140724946924725 140724946924725 140724946927567 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 50396 KiB
[startup+0.700703 s]
/proc/loadavg: 1.28 1.42 1.48 3/228 31933
/proc/meminfo: memFree=4906100/32770624 swapFree=66935820/67108860
[pid=31867] ppid=31864 vsize=10824364 memory=84036 CPUtime=1.16 cores=1,3,5,7
/proc/31867/stat : 31867 (java) S 31864 31867 29663 0 -1 1077944320 15188 13313 0 0 103 6 5 2 20 0 15 0 473472596 11084148736 21009 33554432000 4194304 4196468 140724946919392 140724946901936 140567910850295 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26845184 140724946922083 140724946924725 140724946924725 140724946927567 0
/proc/31867/statm: 2706091 21009 3514 1 0 2668173 0
[pid=31867/tid=31920] ppid=31864 vsize=10824364 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/31867/task/31920/stat : 31920 (java) R 31864 31867 29663 0 -1 4202560 10522 13313 0 0 55 4 5 2 20 0 15 0 473472605 11084148736 21009 33554432000 4194304 4196468 140724946919392 140567882679840 140567910872221 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26845184 140724946922083 140724946924725 140724946924725 140724946927567 0
[pid=31867/tid=31921] ppid=31864 vsize=10824364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31867/task/31921/stat : 31921 (java) S 31864 31867 29663 0 -1 1077944384 1 13313 0 0 0 0 5 2 20 0 15 0 473472606 11084148736 21009 33554432000 4194304 4196468 140724946919392 140567915092752 140567910860501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26845184 140724946922083 140724946924725 140724946924725 140724946927567 0
[pid=31867/tid=31922] ppid=31864 vsize=10824364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31867/task/31922/stat : 31922 (java) S 31864 31867 29663 0 -1 1077944384 1 13313 0 0 0 0 5 2 20 0 15 0 473472606 11084148736 21009 33554432000 4194304 4196468 140724946919392 140567838251920 140567910860501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26845184 140724946922083 140724946924725 140724946924725 140724946927567 0
[pid=31867/tid=31923] ppid=31864 vsize=10824364 memory=32804 CPUtime=0.07 cores=1,3,5,7
/proc/31867/task/31923/stat : 31923 (java) S 31864 31867 29663 0 -1 1077944384 1 13313 0 0 0 0 5 2 20 0 15 0 473472606 11084148736 21009 33554432000 4194304 4196468 140724946919392 140567483489296 140567910860501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26845184 140724946922083 140724946924725 140724946924725 140724946927567 0
[pid=31867/tid=31924] ppid=31864 vsize=10824364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31867/task/31924/stat : 31924 (java) S 31864 31867 29663 0 -1 1077944384 2 13313 0 0 0 0 5 2 20 0 15 0 473472606 11084148736 21009 33554432000 4194304 4196468 140724946919392 140567482436752 140567910860501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26845184 140724946922083 140724946924725 140724946924725 140724946927567 0
[pid=31867/tid=31925] ppid=31864 vsize=10824364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31867/task/31925/stat : 31925 (java) S 31864 31867 29663 0 -1 1077944384 6 13313 0 0 0 0 5 2 20 0 15 0 473472607 11084148736 21009 33554432000 4194304 4196468 140724946919392 140567437486064 140567910861442 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26845184 140724946922083 140724946924725 140724946924725 140724946927567 0
[pid=31867/tid=31926] ppid=31864 vsize=10824364 memory=139920035427024 CPUtime=0.07 cores=1,3,5,7
/proc/31867/task/31926/stat : 31926 (java) S 31864 31867 29663 0 -1 1077944384 13 13313 0 0 0 0 5 2 20 0 15 0 473472608 11084148736 21009 33554432000 4194304 4196468 140724946919392 140567367377824 140567910860501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26845184 140724946922083 140724946924725 140724946924725 140724946927567 0
[pid=31867/tid=31927] ppid=31864 vsize=10824364 memory=139921444569677 CPUtime=0.07 cores=1,3,5,7
/proc/31867/task/31927/stat : 31927 (java) S 31864 31867 29663 0 -1 1077944384 1 13313 0 0 0 0 5 2 20 0 15 0 473472608 11084148736 21009 33554432000 4194304 4196468 140724946919392 140566763398128 140567910860501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26845184 140724946922083 140724946924725 140724946924725 140724946927567 0
[pid=31867/tid=31928] ppid=31864 vsize=10824364 memory=1124 CPUtime=0.07 cores=1,3,5,7
/proc/31867/task/31928/stat : 31928 (java) S 31864 31867 29663 0 -1 1077944384 3 13313 0 0 0 0 5 2 20 0 15 0 473472610 11084148736 21009 33554432000 4194304 4196468 140724946919392 140566455998672 140567910868891 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26845184 140724946922083 140724946924725 140724946924725 140724946927567 0
[pid=31867/tid=31929] ppid=31864 vsize=10824364 memory=7089886620845893184 CPUtime=0.23 cores=1,3,5,7
/proc/31867/task/31929/stat : 31929 (java) R 31864 31867 29663 0 -1 4202560 928 13313 0 0 16 0 5 2 20 0 15 0 473472610 11084148736 21009 33554432000 4194304 4196468 140724946919392 140567436433904 140567895238800 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26845184 140724946922083 140724946924725 140724946924725 140724946927567 0
[pid=31867/tid=31930] ppid=31864 vsize=10824364 memory=7739276948478454887 CPUtime=0.2 cores=1,3,5,7
/proc/31867/task/31930/stat : 31930 (java) S 31864 31867 29663 0 -1 1077944384 733 13313 0 0 13 0 5 2 20 0 15 0 473472610 11084148736 21009 33554432000 4194304 4196468 140724946919392 140567333821040 140567910861442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26845184 140724946922083 140724946924725 140724946924725 140724946927567 0
[pid=31867/tid=31931] ppid=31864 vsize=10824364 memory=7523071198212214892 CPUtime=0.24 cores=1,3,5,7
/proc/31867/task/31931/stat : 31931 (java) S 31864 31867 29663 0 -1 1077944384 766 13313 0 0 17 0 5 2 20 0 15 0 473472610 11084148736 21009 33554432000 4194304 4196468 140724946919392 140567332768496 140567910861442 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26845184 140724946922083 140724946924725 140724946924725 140724946927567 0
[pid=31867/tid=31932] ppid=31864 vsize=10824364 memory=3512 CPUtime=0.07 cores=1,3,5,7
/proc/31867/task/31932/stat : 31932 (java) S 31864 31867 29663 0 -1 1077944384 3 13313 0 0 0 0 5 2 20 0 15 0 473472611 11084148736 21009 33554432000 4194304 4196468 140724946919392 140566422441056 140567910860501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26845184 140724946922083 140724946924725 140724946924725 140724946927567 0
[pid=31867/tid=31933] ppid=31864 vsize=10824364 memory=2241 CPUtime=0.07 cores=1,3,5,7
/proc/31867/task/31933/stat : 31933 (java) S 31864 31867 29663 0 -1 1077944384 1 13313 0 0 0 0 5 2 20 0 15 0 473472611 11084148736 21009 33554432000 4194304 4196468 140724946919392 140567331715376 140567910861442 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26845184 140724946922083 140724946924725 140724946924725 140724946927567 0
Current children cumulated CPU time: 1.16 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 84036 KiB
[startup+1.50071 s]
/proc/loadavg: 1.41 1.44 1.48 3/228 31933
/proc/meminfo: memFree=4861920/32770624 swapFree=66935820/67108860
[pid=31867] ppid=31864 vsize=10834680 memory=170120 CPUtime=2.47 cores=1,3,5,7
/proc/31867/stat : 31867 (java) S 31864 31867 29663 0 -1 1077944320 22068 13313 0 0 230 10 5 2 20 0 15 0 473472596 11094712320 42530 33554432000 4194304 4196468 140724946919392 140724946901936 140567910850295 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26845184 140724946922083 140724946924725 140724946924725 140724946927567 0
/proc/31867/statm: 2708670 42530 3585 1 0 2670733 0
[pid=31867/tid=31920] ppid=31864 vsize=10834680 memory=9174 CPUtime=1.43 cores=1,3,5,7
/proc/31867/task/31920/stat : 31920 (java) R 31864 31867 29663 0 -1 4202560 15495 13313 0 0 130 6 5 2 20 0 15 0 473472605 11094712320 42530 33554432000 4194304 4196468 140724946919392 140567882651632 140567517877632 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26845184 140724946922083 140724946924725 140724946924725 140724946927567 0
[pid=31867/tid=31921] ppid=31864 vsize=10834680 memory=6791534058613427641 CPUtime=0.08 cores=1,3,5,7
/proc/31867/task/31921/stat : 31921 (java) S 31864 31867 29663 0 -1 1077944384 73 13313 0 0 1 0 5 2 20 0 15 0 473472606 11094712320 42530 33554432000 4194304 4196468 140724946919392 140567915092752 140567910860501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26845184 140724946922083 140724946924725 140724946924725 140724946927567 0
[pid=31867/tid=31922] ppid=31864 vsize=10834680 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/31867/task/31922/stat : 31922 (java) S 31864 31867 29663 0 -1 1077944384 84 13313 0 0 1 0 5 2 20 0 15 0 473472606 11094712320 42530 33554432000 4194304 4196468 140724946919392 140567838251920 140567910860501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26845184 140724946922083 140724946924725 140724946924725 140724946927567 0
[pid=31867/tid=31923] ppid=31864 vsize=10834680 memory=2347 CPUtime=0.08 cores=1,3,5,7
/proc/31867/task/31923/stat : 31923 (java) S 31864 31867 29663 0 -1 1077944384 18 13313 0 0 1 0 5 2 20 0 15 0 473472606 11094712320 42530 33554432000 4194304 4196468 140724946919392 140567483489296 140567910860501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26845184 140724946922083 140724946924725 140724946924725 140724946927567 0
[pid=31867/tid=31924] ppid=31864 vsize=10834680 memory=84036 CPUtime=0.08 cores=1,3,5,7
/proc/31867/task/31924/stat : 31924 (java) S 31864 31867 29663 0 -1 1077944384 387 13313 0 0 1 0 5 2 20 0 15 0 473472606 11094712320 42530 33554432000 4194304 4196468 140724946919392 140567482436752 140567910860501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26845184 140724946922083 140724946924725 140724946924725 140724946927567 0
[pid=31867/tid=31925] ppid=31864 vsize=10834680 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/31867/task/31925/stat : 31925 (java) S 31864 31867 29663 0 -1 1077944384 170 13313 0 0 1 0 5 2 20 0 15 0 473472607 11094712320 42547 33554432000 4194304 4196468 140724946919392 140567437486064 140567910861442 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26845184 140724946922083 140724946924725 140724946924725 140724946927567 0
[pid=31867/tid=31926] ppid=31864 vsize=10834680 memory=279840070795760 CPUtime=0.07 cores=1,3,5,7
/proc/31867/task/31926/stat : 31926 (java) S 31864 31867 29663 0 -1 1077944384 14 13313 0 0 0 0 5 2 20 0 15 0 473472608 11094712320 42547 33554432000 4194304 4196468 140724946919392 140567367377888 140567910860501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26845184 140724946922083 140724946924725 140724946924725 140724946927567 0
[pid=31867/tid=31927] ppid=31864 vsize=10834680 memory=279840070846560 CPUtime=0.07 cores=1,3,5,7
/proc/31867/task/31927/stat : 31927 (java) S 31864 31867 29663 0 -1 1077944384 1 13313 0 0 0 0 5 2 20 0 15 0 473472608 11094712320 42547 33554432000 4194304 4196468 140724946919392 140566763398144 140567910860501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26845184 140724946922083 140724946924725 140724946924725 140724946927567 0
[pid=31867/tid=31928] ppid=31864 vsize=10834680 memory=6791534058613427641 CPUtime=0.07 cores=1,3,5,7
/proc/31867/task/31928/stat : 31928 (java) S 31864 31867 29663 0 -1 1077944384 3 13313 0 0 0 0 5 2 20 0 15 0 473472610 11094712320 42547 33554432000 4194304 4196468 140724946919392 140566455998672 140567910868891 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26845184 140724946922083 140724946924725 140724946924725 140724946927567 0
[pid=31867/tid=31929] ppid=31864 vsize=10834680 memory=6935649255759568960 CPUtime=0.35 cores=1,3,5,7
/proc/31867/task/31929/stat : 31929 (java) S 31864 31867 29663 0 -1 1077944384 1198 13313 0 0 28 0 5 2 20 0 15 0 473472610 11094712320 42547 33554432000 4194304 4196468 140724946919392 140567436433904 140567910861442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26845184 140724946922083 140724946924725 140724946924725 140724946927567 0
[pid=31867/tid=31930] ppid=31864 vsize=10834680 memory=279840071129984 CPUtime=0.31 cores=1,3,5,7
/proc/31867/task/31930/stat : 31930 (java) R 31864 31867 29663 0 -1 4202560 921 13313 0 0 24 0 5 2 20 0 15 0 473472610 11094712320 42547 33554432000 4194304 4196468 140724946919392 140567333812496 140567889998984 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26845184 140724946922083 140724946924725 140724946924725 140724946927567 0
[pid=31867/tid=31931] ppid=31864 vsize=10834680 memory=6944656425123290226 CPUtime=0.47 cores=1,3,5,7
/proc/31867/task/31931/stat : 31931 (java) R 31864 31867 29663 0 -1 4202560 1495 13313 0 0 40 0 5 2 20 0 15 0 473472610 11094712320 42547 33554432000 4194304 4196468 140724946919392 140567332768496 140567890565110 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26845184 140724946922083 140724946924725 140724946924725 140724946927567 0
[pid=31867/tid=31932] ppid=31864 vsize=10834680 memory=-7233780906022716832 CPUtime=0.07 cores=1,3,5,7
/proc/31867/task/31932/stat : 31932 (java) S 31864 31867 29663 0 -1 1077944384 3 13313 0 0 0 0 5 2 20 0 15 0 473472611 11094712320 42547 33554432000 4194304 4196468 140724946919392 140566422441056 140567910860501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26845184 140724946922083 140724946924725 140724946924725 140724946927567 0
[pid=31867/tid=31933] ppid=31864 vsize=10834680 memory=-7522837583129502606 CPUtime=0.07 cores=1,3,5,7
/proc/31867/task/31933/stat : 31933 (java) S 31864 31867 29663 0 -1 1077944384 1 13313 0 0 0 0 5 2 20 0 15 0 473472611 11094712320 42547 33554432000 4194304 4196468 140724946919392 140567331715376 140567910861442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26845184 140724946922083 140724946924725 140724946924725 140724946927567 0
Current children cumulated CPU time: 2.47 s
Current children cumulated vsize: 10834680 KiB
################
# More data... #
################
/proc/31867/task/31920/stat : 31920 (java) R 31864 31867 29663 0 -1 4202560 83172 13313 0 0 235411 60 5 2 20 0 15 0 473472605 11107315712 315607 33554432000 4194304 4196468 140724946919392 140567882684944 140567527122644 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26845184 140724946922083 140724946924725 140724946924725 140724946927567 0
[pid=31867/tid=31921] ppid=31864 vsize=10846988 memory=1262428 CPUtime=12.78 cores=1,3,5,7
/proc/31867/task/31921/stat : 31921 (java) S 31864 31867 29663 0 -1 1077944384 16246 13313 0 0 1204 67 5 2 20 0 15 0 473472606 11107315712 315607 33554432000 4194304 4196468 140724946919392 140567915092752 140567910860501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26845184 140724946922083 140724946924725 140724946924725 140724946927567 0
[pid=31867/tid=31922] ppid=31864 vsize=10846988 memory=1262404 CPUtime=12.73 cores=1,3,5,7
/proc/31867/task/31922/stat : 31922 (java) S 31864 31867 29663 0 -1 1077944384 18172 13313 0 0 1204 62 5 2 20 0 15 0 473472606 11107315712 315607 33554432000 4194304 4196468 140724946919392 140567838251920 140567910860501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26845184 140724946922083 140724946924725 140724946924725 140724946927567 0
[pid=31867/tid=31923] ppid=31864 vsize=10846988 memory=1262428 CPUtime=12.75 cores=1,3,5,7
/proc/31867/task/31923/stat : 31923 (java) S 31864 31867 29663 0 -1 1077944384 17275 13313 0 0 1202 66 5 2 20 0 15 0 473472606 11107315712 315607 33554432000 4194304 4196468 140724946919392 140567483489296 140567910860501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26845184 140724946922083 140724946924725 140724946924725 140724946927567 0
[pid=31867/tid=31924] ppid=31864 vsize=10846988 memory=0 CPUtime=12.78 cores=1,3,5,7
/proc/31867/task/31924/stat : 31924 (java) S 31864 31867 29663 0 -1 1077944384 19657 13313 0 0 1207 64 5 2 20 0 15 0 473472606 11107315712 315607 33554432000 4194304 4196468 140724946919392 140567482436752 140567910860501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26845184 140724946922083 140724946924725 140724946924725 140724946927567 0
[pid=31867/tid=31925] ppid=31864 vsize=10846988 memory=1262428 CPUtime=11.75 cores=1,3,5,7
/proc/31867/task/31925/stat : 31925 (java) S 31864 31867 29663 0 -1 1077944384 18057 13313 0 0 1106 62 5 2 20 0 15 0 473472607 11107315712 315607 33554432000 4194304 4196468 140724946919392 140567437486064 140567910861442 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26845184 140724946922083 140724946924725 140724946924725 140724946927567 0
[pid=31867/tid=31926] ppid=31864 vsize=10846988 memory=2520 CPUtime=0.07 cores=1,3,5,7
/proc/31867/task/31926/stat : 31926 (java) S 31864 31867 29663 0 -1 1077944384 21 13313 0 0 0 0 5 2 20 0 15 0 473472608 11107315712 315607 33554432000 4194304 4196468 140724946919392 140567367377952 140567910860501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26845184 140724946922083 140724946924725 140724946924725 140724946927567 0
[pid=31867/tid=31927] ppid=31864 vsize=10846988 memory=1262404 CPUtime=0.07 cores=1,3,5,7
/proc/31867/task/31927/stat : 31927 (java) S 31864 31867 29663 0 -1 1077944384 11 13313 0 0 0 0 5 2 20 0 15 0 473472608 11107315712 315607 33554432000 4194304 4196468 140724946919392 140566763398144 140567910860501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26845184 140724946922083 140724946924725 140724946924725 140724946927567 0
[pid=31867/tid=31928] ppid=31864 vsize=10846988 memory=164 CPUtime=0.07 cores=1,3,5,7
/proc/31867/task/31928/stat : 31928 (java) S 31864 31867 29663 0 -1 1077944384 3 13313 0 0 0 0 5 2 20 0 15 0 473472610 11107315712 315607 33554432000 4194304 4196468 140724946919392 140566455998672 140567910868891 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26845184 140724946922083 140724946924725 140724946924725 140724946927567 0
[pid=31867/tid=31929] ppid=31864 vsize=10846988 memory=1262428 CPUtime=4.26 cores=1,3,5,7
/proc/31867/task/31929/stat : 31929 (java) S 31864 31867 29663 0 -1 1077944384 28465 13313 0 0 415 4 5 2 20 0 15 0 473472610 11107315712 315607 33554432000 4194304 4196468 140724946919392 140567436433904 140567910861442 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26845184 140724946922083 140724946924725 140724946924725 140724946927567 0
[pid=31867/tid=31930] ppid=31864 vsize=10846988 memory=1262428 CPUtime=3.92 cores=1,3,5,7
/proc/31867/task/31930/stat : 31930 (java) S 31864 31867 29663 0 -1 1077944384 23286 13313 0 0 382 3 5 2 20 0 15 0 473472610 11107315712 315607 33554432000 4194304 4196468 140724946919392 140567333821040 140567910861442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26845184 140724946922083 140724946924725 140724946924725 140724946927567 0
[pid=31867/tid=31931] ppid=31864 vsize=10846988 memory=1262428 CPUtime=1.84 cores=1,3,5,7
/proc/31867/task/31931/stat : 31931 (java) S 31864 31867 29663 0 -1 1077944384 27321 13313 0 0 172 5 5 2 20 0 15 0 473472610 11107315712 315607 33554432000 4194304 4196468 140724946919392 140567332768496 140567910861442 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26845184 140724946922083 140724946924725 140724946924725 140724946927567 0
[pid=31867/tid=31932] ppid=31864 vsize=10846988 memory=1262428 CPUtime=0.07 cores=1,3,5,7
/proc/31867/task/31932/stat : 31932 (java) S 31864 31867 29663 0 -1 1077944384 3 13313 0 0 0 0 5 2 20 0 15 0 473472611 11107315712 315607 33554432000 4194304 4196468 140724946919392 140566422441056 140567910860501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26845184 140724946922083 140724946924725 140724946924725 140724946927567 0
[pid=31867/tid=31933] ppid=31864 vsize=10846988 memory=68 CPUtime=1.51 cores=1,3,5,7
/proc/31867/task/31933/stat : 31933 (java) S 31864 31867 29663 0 -1 1077944384 1318 13313 0 0 65 79 5 2 20 0 15 0 473472611 11107315712 315607 33554432000 4194304 4196468 140724946919392 140567331715376 140567910861442 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 12 0 0 6293624 6294260 26845184 140724946922083 140724946924725 140724946924725 140724946927567 0
Current children cumulated CPU time: 2428.57 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 1262428 KiB
[startup+2442.3 s]
/proc/loadavg: 0.99 1.29 1.42 3/228 32434
/proc/meminfo: memFree=3802068/32770624 swapFree=66935820/67108860
[pid=31867] ppid=31864 vsize=10846988 memory=1264588 CPUtime=2489.57 cores=1,3,5,7
/proc/31867/stat : 31867 (java) S 31864 31867 29663 0 -1 1077944320 257588 13313 0 0 248542 408 5 2 20 0 15 0 473472596 11107315712 316147 33554432000 4194304 4196468 140724946919392 140724946901936 140567910850295 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26845184 140724946922083 140724946924725 140724946924725 140724946927567 0
/proc/31867/statm: 2711747 316147 3633 1 0 2673805 0
[pid=31867/tid=31920] ppid=31864 vsize=10846988 memory=1264588 CPUtime=2414.08 cores=1,3,5,7
/proc/31867/task/31920/stat : 31920 (java) R 31864 31867 29663 0 -1 4202560 84381 13313 0 0 241340 61 5 2 20 0 15 0 473472605 11107315712 316147 33554432000 4194304 4196468 140724946919392 140567882684736 140567528652864 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26845184 140724946922083 140724946924725 140724946924725 140724946927567 0
[pid=31867/tid=31921] ppid=31864 vsize=10846988 memory=1264540 CPUtime=13.11 cores=1,3,5,7
/proc/31867/task/31921/stat : 31921 (java) S 31864 31867 29663 0 -1 1077944384 16345 13313 0 0 1236 68 5 2 20 0 15 0 473472606 11107315712 316147 33554432000 4194304 4196468 140724946919392 140567915092752 140567910860501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26845184 140724946922083 140724946924725 140724946924725 140724946927567 0
[pid=31867/tid=31922] ppid=31864 vsize=10846988 memory=1262476 CPUtime=13.07 cores=1,3,5,7
/proc/31867/task/31922/stat : 31922 (java) S 31864 31867 29663 0 -1 1077944384 18513 13313 0 0 1236 64 5 2 20 0 15 0 473472606 11107315712 316147 33554432000 4194304 4196468 140724946919392 140567838251920 140567910860501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26845184 140724946922083 140724946924725 140724946924725 140724946927567 0
[pid=31867/tid=31923] ppid=31864 vsize=10846988 memory=1262428 CPUtime=13.1 cores=1,3,5,7
/proc/31867/task/31923/stat : 31923 (java) S 31864 31867 29663 0 -1 1077944384 17490 13313 0 0 1235 68 5 2 20 0 15 0 473472606 11107315712 316147 33554432000 4194304 4196468 140724946919392 140567483489296 140567910860501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26845184 140724946922083 140724946924725 140724946924725 140724946927567 0
[pid=31867/tid=31924] ppid=31864 vsize=10846988 memory=1264540 CPUtime=13.11 cores=1,3,5,7
/proc/31867/task/31924/stat : 31924 (java) S 31864 31867 29663 0 -1 1077944384 19716 13313 0 0 1239 65 5 2 20 0 15 0 473472606 11107315712 316147 33554432000 4194304 4196468 140724946919392 140567482436752 140567910860501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26845184 140724946922083 140724946924725 140724946924725 140724946927567 0
[pid=31867/tid=31925] ppid=31864 vsize=10846988 memory=1264540 CPUtime=12.05 cores=1,3,5,7
/proc/31867/task/31925/stat : 31925 (java) S 31864 31867 29663 0 -1 1077944384 18465 13313 0 0 1135 63 5 2 20 0 15 0 473472607 11107315712 316147 33554432000 4194304 4196468 140724946919392 140567437486064 140567910861442 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26845184 140724946922083 140724946924725 140724946924725 140724946927567 0
[pid=31867/tid=31926] ppid=31864 vsize=10846988 memory=1264540 CPUtime=0.07 cores=1,3,5,7
/proc/31867/task/31926/stat : 31926 (java) S 31864 31867 29663 0 -1 1077944384 21 13313 0 0 0 0 5 2 20 0 15 0 473472608 11107315712 316147 33554432000 4194304 4196468 140724946919392 140567367377952 140567910860501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26845184 140724946922083 140724946924725 140724946924725 140724946927567 0
[pid=31867/tid=31927] ppid=31864 vsize=10846988 memory=1264588 CPUtime=0.07 cores=1,3,5,7
/proc/31867/task/31927/stat : 31927 (java) S 31864 31867 29663 0 -1 1077944384 11 13313 0 0 0 0 5 2 20 0 15 0 473472608 11107315712 316147 33554432000 4194304 4196468 140724946919392 140566763398144 140567910860501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26845184 140724946922083 140724946924725 140724946924725 140724946927567 0
[pid=31867/tid=31928] ppid=31864 vsize=10846988 memory=1264588 CPUtime=0.07 cores=1,3,5,7
/proc/31867/task/31928/stat : 31928 (java) S 31864 31867 29663 0 -1 1077944384 3 13313 0 0 0 0 5 2 20 0 15 0 473472610 11107315712 316147 33554432000 4194304 4196468 140724946919392 140566455998672 140567910868891 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26845184 140724946922083 140724946924725 140724946924725 140724946927567 0
[pid=31867/tid=31929] ppid=31864 vsize=10846988 memory=1264588 CPUtime=4.26 cores=1,3,5,7
/proc/31867/task/31929/stat : 31929 (java) S 31864 31867 29663 0 -1 1077944384 28469 13313 0 0 415 4 5 2 20 0 15 0 473472610 11107315712 316147 33554432000 4194304 4196468 140724946919392 140567436433904 140567910861442 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26845184 140724946922083 140724946924725 140724946924725 140724946927567 0
[pid=31867/tid=31930] ppid=31864 vsize=10846988 memory=1264540 CPUtime=3.92 cores=1,3,5,7
/proc/31867/task/31930/stat : 31930 (java) S 31864 31867 29663 0 -1 1077944384 23290 13313 0 0 382 3 5 2 20 0 15 0 473472610 11107315712 316147 33554432000 4194304 4196468 140724946919392 140567333821040 140567910861442 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26845184 140724946922083 140724946924725 140724946924725 140724946927567 0
[pid=31867/tid=31931] ppid=31864 vsize=10846988 memory=1264588 CPUtime=1.85 cores=1,3,5,7
/proc/31867/task/31931/stat : 31931 (java) S 31864 31867 29663 0 -1 1077944384 27325 13313 0 0 173 5 5 2 20 0 15 0 473472610 11107315712 316147 33554432000 4194304 4196468 140724946919392 140567332768496 140567910861442 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26845184 140724946922083 140724946924725 140724946924725 140724946927567 0
[pid=31867/tid=31932] ppid=31864 vsize=10846988 memory=1264588 CPUtime=0.07 cores=1,3,5,7
/proc/31867/task/31932/stat : 31932 (java) S 31864 31867 29663 0 -1 1077944384 3 13313 0 0 0 0 5 2 20 0 15 0 473472611 11107315712 316147 33554432000 4194304 4196468 140724946919392 140566422441056 140567910860501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26845184 140724946922083 140724946924725 140724946924725 140724946927567 0
[pid=31867/tid=31933] ppid=31864 vsize=10846988 memory=1264588 CPUtime=1.55 cores=1,3,5,7
/proc/31867/task/31933/stat : 31933 (java) S 31864 31867 29663 0 -1 1077944384 1349 13313 0 0 68 80 5 2 20 0 15 0 473472611 11107315712 316147 33554432000 4194304 4196468 140724946919392 140567331715376 140567910861442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 12 0 0 6293624 6294260 26845184 140724946922083 140724946924725 140724946924725 140724946927567 0
Current children cumulated CPU time: 2489.57 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 1264588 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2472.3 s]
/proc/loadavg: 1.18 1.31 1.42 3/228 32436
/proc/meminfo: memFree=3800276/32770624 swapFree=66935820/67108860
[pid=31867] ppid=31864 vsize=10846988 memory=1264588 CPUtime=2520.08 cores=1,3,5,7
/proc/31867/stat : 31867 (java) S 31864 31867 29663 0 -1 1077944320 258015 13313 0 0 251589 412 5 2 20 0 15 0 473472596 11107315712 316147 33554432000 4194304 4196468 140724946919392 140724946901936 140567910850295 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26845184 140724946922083 140724946924725 140724946924725 140724946927567 0
/proc/31867/statm: 2711747 316147 3633 1 0 2673805 0
[pid=31867/tid=31920] ppid=31864 vsize=10846988 memory=1264588 CPUtime=2443.72 cores=1,3,5,7
/proc/31867/task/31920/stat : 31920 (java) R 31864 31867 29663 0 -1 4202560 84759 13313 0 0 244304 61 5 2 20 0 15 0 473472605 11107315712 316147 33554432000 4194304 4196468 140724946919392 140567882685072 140567528479836 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26845184 140724946922083 140724946924725 140724946924725 140724946927567 0
[pid=31867/tid=31921] ppid=31864 vsize=10846988 memory=1264588 CPUtime=13.29 cores=1,3,5,7
/proc/31867/task/31921/stat : 31921 (java) S 31864 31867 29663 0 -1 1077944384 16349 13313 0 0 1253 69 5 2 20 0 15 0 473472606 11107315712 316147 33554432000 4194304 4196468 140724946919392 140567915092752 140567910860501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26845184 140724946922083 140724946924725 140724946924725 140724946927567 0
[pid=31867/tid=31922] ppid=31864 vsize=10846988 memory=164 CPUtime=13.25 cores=1,3,5,7
/proc/31867/task/31922/stat : 31922 (java) S 31864 31867 29663 0 -1 1077944384 18543 13313 0 0 1253 65 5 2 20 0 15 0 473472606 11107315712 316147 33554432000 4194304 4196468 140724946919392 140567838251920 140567910860501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26845184 140724946922083 140724946924725 140724946924725 140724946927567 0
[pid=31867/tid=31923] ppid=31864 vsize=10846988 memory=1264588 CPUtime=13.28 cores=1,3,5,7
/proc/31867/task/31923/stat : 31923 (java) S 31864 31867 29663 0 -1 1077944384 17492 13313 0 0 1252 69 5 2 20 0 15 0 473472606 11107315712 316147 33554432000 4194304 4196468 140724946919392 140567483489296 140567910860501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26845184 140724946922083 140724946924725 140724946924725 140724946927567 0
[pid=31867/tid=31924] ppid=31864 vsize=10846988 memory=1264588 CPUtime=13.29 cores=1,3,5,7
/proc/31867/task/31924/stat : 31924 (java) S 31864 31867 29663 0 -1 1077944384 19719 13313 0 0 1256 66 5 2 20 0 15 0 473472606 11107315712 316147 33554432000 4194304 4196468 140724946919392 140567482436752 140567910860501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26845184 140724946922083 140724946924725 140724946924725 140724946927567 0
[pid=31867/tid=31925] ppid=31864 vsize=10846988 memory=1264588 CPUtime=12.2 cores=1,3,5,7
/proc/31867/task/31925/stat : 31925 (java) S 31864 31867 29663 0 -1 1077944384 18473 13313 0 0 1150 63 5 2 20 0 15 0 473472607 11107315712 316147 33554432000 4194304 4196468 140724946919392 140567437486064 140567910861442 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26845184 140724946922083 140724946924725 140724946924725 140724946927567 0
[pid=31867/tid=31926] ppid=31864 vsize=10846988 memory=1264588 CPUtime=0.07 cores=1,3,5,7
/proc/31867/task/31926/stat : 31926 (java) S 31864 31867 29663 0 -1 1077944384 21 13313 0 0 0 0 5 2 20 0 15 0 473472608 11107315712 316147 33554432000 4194304 4196468 140724946919392 140567367377952 140567910860501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26845184 140724946922083 140724946924725 140724946924725 140724946927567 0
[pid=31867/tid=31927] ppid=31864 vsize=10846988 memory=1264588 CPUtime=0.07 cores=1,3,5,7
/proc/31867/task/31927/stat : 31927 (java) S 31864 31867 29663 0 -1 1077944384 11 13313 0 0 0 0 5 2 20 0 15 0 473472608 11107315712 316147 33554432000 4194304 4196468 140724946919392 140566763398144 140567910860501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26845184 140724946922083 140724946924725 140724946924725 140724946927567 0
[pid=31867/tid=31928] ppid=31864 vsize=10846988 memory=1264588 CPUtime=0.07 cores=1,3,5,7
/proc/31867/task/31928/stat : 31928 (java) S 31864 31867 29663 0 -1 1077944384 3 13313 0 0 0 0 5 2 20 0 15 0 473472610 11107315712 316147 33554432000 4194304 4196468 140724946919392 140566455998672 140567910868891 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26845184 140724946922083 140724946924725 140724946924725 140724946927567 0
[pid=31867/tid=31929] ppid=31864 vsize=10846988 memory=1264588 CPUtime=4.26 cores=1,3,5,7
/proc/31867/task/31929/stat : 31929 (java) S 31864 31867 29663 0 -1 1077944384 28469 13313 0 0 415 4 5 2 20 0 15 0 473472610 11107315712 316147 33554432000 4194304 4196468 140724946919392 140567436433904 140567910861442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26845184 140724946922083 140724946924725 140724946924725 140724946927567 0
[pid=31867/tid=31930] ppid=31864 vsize=10846988 memory=1264588 CPUtime=3.92 cores=1,3,5,7
/proc/31867/task/31930/stat : 31930 (java) S 31864 31867 29663 0 -1 1077944384 23290 13313 0 0 382 3 5 2 20 0 15 0 473472610 11107315712 316147 33554432000 4194304 4196468 140724946919392 140567333821040 140567910861442 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26845184 140724946922083 140724946924725 140724946924725 140724946927567 0
[pid=31867/tid=31931] ppid=31864 vsize=10846988 memory=1124 CPUtime=1.85 cores=1,3,5,7
/proc/31867/task/31931/stat : 31931 (java) S 31864 31867 29663 0 -1 1077944384 27325 13313 0 0 173 5 5 2 20 0 15 0 473472610 11107315712 316147 33554432000 4194304 4196468 140724946919392 140567332768496 140567910861442 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26845184 140724946922083 140724946924725 140724946924725 140724946927567 0
[pid=31867/tid=31932] ppid=31864 vsize=10846988 memory=4126316290023845779 CPUtime=0.07 cores=1,3,5,7
/proc/31867/task/31932/stat : 31932 (java) S 31864 31867 29663 0 -1 1077944384 3 13313 0 0 0 0 5 2 20 0 15 0 473472611 11107315712 316147 33554432000 4194304 4196468 140724946919392 140566422441056 140567910860501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26845184 140724946922083 140724946924725 140724946924725 140724946927567 0
[pid=31867/tid=31933] ppid=31864 vsize=10846988 memory=2124 CPUtime=1.55 cores=1,3,5,7
/proc/31867/task/31933/stat : 31933 (java) S 31864 31867 29663 0 -1 1077944384 1351 13313 0 0 68 80 5 2 20 0 15 0 473472611 11107315712 316147 33554432000 4194304 4196468 140724946919392 140567331715376 140567910861442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 12 0 0 6293624 6294260 26845184 140724946922083 140724946924725 140724946924725 140724946927567 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 1264588 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2472.33 s]
# the end of solver process 31867 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2515.97 s, system=4.16141 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2472.3 s]
/proc/loadavg: 1.18 1.31 1.42 3/228 32436
/proc/meminfo: memFree=3800276/32770624 swapFree=66935820/67108860
[pid=31867] ppid=31864 vsize=10846988 memory=1264588 CPUtime=2520.08 cores=1,3,5,7
/proc/31867/stat : 31867 (java) S 31864 31867 29663 0 -1 1077944320 258015 13313 0 0 251589 412 5 2 20 0 15 0 473472596 11107315712 316147 33554432000 4194304 4196468 140724946919392 140724946901936 140567910850295 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26845184 140724946922083 140724946924725 140724946924725 140724946927567 0
/proc/31867/statm: 2711747 316147 3633 1 0 2673805 0
[pid=31867/tid=31920] ppid=31864 vsize=10846988 memory=1264588 CPUtime=2443.72 cores=1,3,5,7
/proc/31867/task/31920/stat : 31920 (java) R 31864 31867 29663 0 -1 4202560 84759 13313 0 0 244304 61 5 2 20 0 15 0 473472605 11107315712 316147 33554432000 4194304 4196468 140724946919392 140567882685072 140567528479836 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26845184 140724946922083 140724946924725 140724946924725 140724946927567 0
[pid=31867/tid=31921] ppid=31864 vsize=10846988 memory=1264588 CPUtime=13.29 cores=1,3,5,7
/proc/31867/task/31921/stat : 31921 (java) S 31864 31867 29663 0 -1 1077944384 16349 13313 0 0 1253 69 5 2 20 0 15 0 473472606 11107315712 316147 33554432000 4194304 4196468 140724946919392 140567915092752 140567910860501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26845184 140724946922083 140724946924725 140724946924725 140724946927567 0
[pid=31867/tid=31922] ppid=31864 vsize=10846988 memory=164 CPUtime=13.25 cores=1,3,5,7
/proc/31867/task/31922/stat : 31922 (java) S 31864 31867 29663 0 -1 1077944384 18543 13313 0 0 1253 65 5 2 20 0 15 0 473472606 11107315712 316147 33554432000 4194304 4196468 140724946919392 140567838251920 140567910860501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26845184 140724946922083 140724946924725 140724946924725 140724946927567 0
[pid=31867/tid=31923] ppid=31864 vsize=10846988 memory=1264588 CPUtime=13.28 cores=1,3,5,7
/proc/31867/task/31923/stat : 31923 (java) S 31864 31867 29663 0 -1 1077944384 17492 13313 0 0 1252 69 5 2 20 0 15 0 473472606 11107315712 316147 33554432000 4194304 4196468 140724946919392 140567483489296 140567910860501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26845184 140724946922083 140724946924725 140724946924725 140724946927567 0
[pid=31867/tid=31924] ppid=31864 vsize=10846988 memory=1264588 CPUtime=13.29 cores=1,3,5,7
/proc/31867/task/31924/stat : 31924 (java) S 31864 31867 29663 0 -1 1077944384 19719 13313 0 0 1256 66 5 2 20 0 15 0 473472606 11107315712 316147 33554432000 4194304 4196468 140724946919392 140567482436752 140567910860501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26845184 140724946922083 140724946924725 140724946924725 140724946927567 0
[pid=31867/tid=31925] ppid=31864 vsize=10846988 memory=1264588 CPUtime=12.2 cores=1,3,5,7
/proc/31867/task/31925/stat : 31925 (java) S 31864 31867 29663 0 -1 1077944384 18473 13313 0 0 1150 63 5 2 20 0 15 0 473472607 11107315712 316147 33554432000 4194304 4196468 140724946919392 140567437486064 140567910861442 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26845184 140724946922083 140724946924725 140724946924725 140724946927567 0
[pid=31867/tid=31926] ppid=31864 vsize=10846988 memory=1264588 CPUtime=0.07 cores=1,3,5,7
/proc/31867/task/31926/stat : 31926 (java) S 31864 31867 29663 0 -1 1077944384 21 13313 0 0 0 0 5 2 20 0 15 0 473472608 11107315712 316147 33554432000 4194304 4196468 140724946919392 140567367377952 140567910860501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26845184 140724946922083 140724946924725 140724946924725 140724946927567 0
[pid=31867/tid=31927] ppid=31864 vsize=10846988 memory=1264588 CPUtime=0.07 cores=1,3,5,7
/proc/31867/task/31927/stat : 31927 (java) S 31864 31867 29663 0 -1 1077944384 11 13313 0 0 0 0 5 2 20 0 15 0 473472608 11107315712 316147 33554432000 4194304 4196468 140724946919392 140566763398144 140567910860501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26845184 140724946922083 140724946924725 140724946924725 140724946927567 0
[pid=31867/tid=31928] ppid=31864 vsize=10846988 memory=1264588 CPUtime=0.07 cores=1,3,5,7
/proc/31867/task/31928/stat : 31928 (java) S 31864 31867 29663 0 -1 1077944384 3 13313 0 0 0 0 5 2 20 0 15 0 473472610 11107315712 316147 33554432000 4194304 4196468 140724946919392 140566455998672 140567910868891 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26845184 140724946922083 140724946924725 140724946924725 140724946927567 0
[pid=31867/tid=31929] ppid=31864 vsize=10846988 memory=1264588 CPUtime=4.26 cores=1,3,5,7
/proc/31867/task/31929/stat : 31929 (java) S 31864 31867 29663 0 -1 1077944384 28469 13313 0 0 415 4 5 2 20 0 15 0 473472610 11107315712 316147 33554432000 4194304 4196468 140724946919392 140567436433904 140567910861442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26845184 140724946922083 140724946924725 140724946924725 140724946927567 0
[pid=31867/tid=31930] ppid=31864 vsize=10846988 memory=1264588 CPUtime=3.92 cores=1,3,5,7
/proc/31867/task/31930/stat : 31930 (java) S 31864 31867 29663 0 -1 1077944384 23290 13313 0 0 382 3 5 2 20 0 15 0 473472610 11107315712 316147 33554432000 4194304 4196468 140724946919392 140567333821040 140567910861442 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26845184 140724946922083 140724946924725 140724946924725 140724946927567 0
[pid=31867/tid=31931] ppid=31864 vsize=10846988 memory=1124 CPUtime=1.85 cores=1,3,5,7
/proc/31867/task/31931/stat : 31931 (java) S 31864 31867 29663 0 -1 1077944384 27325 13313 0 0 173 5 5 2 20 0 15 0 473472610 11107315712 316147 33554432000 4194304 4196468 140724946919392 140567332768496 140567910861442 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26845184 140724946922083 140724946924725 140724946924725 140724946927567 0
[pid=31867/tid=31932] ppid=31864 vsize=10846988 memory=4126316290023845779 CPUtime=0.07 cores=1,3,5,7
/proc/31867/task/31932/stat : 31932 (java) S 31864 31867 29663 0 -1 1077944384 3 13313 0 0 0 0 5 2 20 0 15 0 473472611 11107315712 316147 33554432000 4194304 4196468 140724946919392 140566422441056 140567910860501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26845184 140724946922083 140724946924725 140724946924725 140724946927567 0
[pid=31867/tid=31933] ppid=31864 vsize=10846988 memory=2124 CPUtime=1.55 cores=1,3,5,7
/proc/31867/task/31933/stat : 31933 (java) S 31864 31867 29663 0 -1 1077944384 1351 13313 0 0 68 80 5 2 20 0 15 0 473472611 11107315712 316147 33554432000 4194304 4196468 140724946919392 140567331715376 140567910861442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 12 0 0 6293624 6294260 26845184 140724946922083 140724946924725 140724946924725 140724946927567 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 1264588 KiB
Child status: 143
Real time (s): 2472.33
CPU time (s): 2520.13
CPU user time (s): 2515.97
CPU system time (s): 4.16141
CPU usage (%): 101.933
Max. virtual memory (cumulated for all children) (KiB): 10849652
Max. memory (cumulated for all children) (KiB): 1264588
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.97
system time used= 4.16141
maximum resident set size= 1268804
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 272265
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 317046
involuntary context switches= 7388
# summary of solver processes directly reported to runsolver:
# pid: 31867
# total CPU time (s): 2520.13
# total CPU user time (s): 2515.97
# total CPU system time (s): 4.16141
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.6655 second user time and 22.8744 second system time
The end