0.00/0.00 c cpHydra_k_10 version 0.0
6.96/7.10 c CASE TO CLASSIFY:
7.06/7.10 c Case: 0
7.06/7.10 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.559200 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.366200 | c 14 > 13.248100 | c 11 > 5.321930 | c 12 > 10.967200 | c 21 > 6.324560 | c 20 > 0.000000 | c 22 > 6.324560 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.076820 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.643900 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.06/7.11 c choco : 1801.0
7.06/7.11 c mistral : 1801.0
7.06/7.11 c abscon : 1801.0
7.06/7.11 c
7.06/7.11 c
7.06/7.18 c List of same ones: 10
7.06/7.18 c /home/eomahony/cpZilla/CSP/tightness/tightness0.65/rand-2-40-40-135-650-63_ext.xml
7.06/7.18 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.322700 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.441400 | c 14 > 13.136200 | c 11 > 5.321930 | c 12 > 10.871000 | c 21 > 6.324560 | c 20 > 0.000000 | c 22 > 6.324560 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.076820 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.643900 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.06/7.19 c choco : 34.53
7.06/7.19 c mistral : 7.55
7.06/7.19 c abscon : 1.22481
7.06/7.19 c
7.06/7.19 c
7.06/7.19 c /home/eomahony/cpZilla/CSP/tightness/tightness0.65/rand-2-40-40-135-650-65_ext.xml
7.06/7.19 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.458600 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.454600 | c 14 > 13.230300 | c 11 > 5.321930 | c 12 > 11.306900 | c 21 > 6.324560 | c 20 > 0.000000 | c 22 > 6.324560 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.076820 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.643900 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.06/7.20 c choco : 1801.0
7.06/7.20 c mistral : 60.88
7.06/7.20 c abscon : 49.7224
7.06/7.20 c
7.06/7.20 c
7.06/7.20 c /home/eomahony/cpZilla/CSP/tightness/tightness0.65/rand-2-40-40-135-650-5_ext.xml
7.06/7.20 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.423000 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.834500 | c 14 > 13.295800 | c 11 > 5.321930 | c 12 > 11.424400 | c 21 > 6.324560 | c 20 > 0.000000 | c 22 > 6.324560 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.076820 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.643900 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.15/7.21 c choco : 1801.0
7.15/7.21 c mistral : 0.369943
7.15/7.21 c abscon : 4.5953
7.15/7.21 c
7.15/7.21 c
7.15/7.21 c /home/eomahony/cpZilla/CSP/tightness/tightness0.65/rand-2-40-40-135-650-67_ext.xml
7.15/7.21 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.054900 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.599600 | c 14 > 12.837400 | c 11 > 5.321930 | c 12 > 11.041800 | c 21 > 6.324560 | c 20 > 0.000000 | c 22 > 6.324560 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.076820 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.643900 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.15/7.21 c choco : 58.67
7.15/7.21 c mistral : 6.70398
7.15/7.21 c abscon : 0.998847
7.15/7.21 c
7.15/7.21 c
7.15/7.21 c /home/eomahony/cpZilla/CSP/tightness/tightness0.65/rand-2-40-40-135-650-51_ext.xml
7.15/7.21 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 20.983300 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.542100 | c 14 > 12.838400 | c 11 > 5.321930 | c 12 > 11.034000 | c 21 > 6.324560 | c 20 > 0.000000 | c 22 > 6.324560 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.076820 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.643900 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.15/7.22 c choco : 12.72
7.15/7.22 c mistral : 7.22
7.15/7.22 c abscon : 3.41048
7.15/7.22 c
7.15/7.22 c
7.15/7.22 c /home/eomahony/cpZilla/CSP/tightness/tightness0.65/rand-2-40-40-135-650-61_ext.xml
7.15/7.22 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 20.999600 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.573600 | c 14 > 12.781400 | c 11 > 5.321930 | c 12 > 10.779700 | c 21 > 6.324560 | c 20 > 0.000000 | c 22 > 6.324560 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.076820 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.643900 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.15/7.23 c choco : 8.0
7.15/7.23 c mistral : 3.90441
7.15/7.23 c abscon : 1.41278
7.15/7.23 c
7.15/7.23 c
7.15/7.23 c /home/eomahony/cpZilla/CSP/tightness/tightness0.65/rand-2-40-40-135-650-11_ext.xml
7.15/7.23 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.009300 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.614300 | c 14 > 12.805300 | c 11 > 5.321930 | c 12 > 10.695700 | c 21 > 6.324560 | c 20 > 0.000000 | c 22 > 6.324560 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.076820 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.643900 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.15/7.24 c choco : 6.34
7.15/7.24 c mistral : 4.72
7.15/7.24 c abscon : 2.32765
7.15/7.24 c
7.15/7.24 c
7.15/7.24 c /home/eomahony/cpZilla/CSP/tightness/tightness0.65/rand-2-40-40-135-650-19_ext.xml
7.15/7.24 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 20.887100 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.150700 | c 14 > 12.759300 | c 11 > 5.321930 | c 12 > 10.802400 | c 21 > 6.324560 | c 20 > 0.000000 | c 22 > 6.324560 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.076820 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.643900 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.15/7.25 c choco : 36.89
7.15/7.25 c mistral : 7.54
7.15/7.25 c abscon : 1.05484
7.15/7.25 c
7.15/7.25 c
7.15/7.25 c /home/eomahony/cpZilla/CSP/tightness/tightness0.65/rand-2-40-40-135-650-77_ext.xml
7.15/7.25 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 20.882200 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.577100 | c 14 > 12.737700 | c 11 > 5.321930 | c 12 > 10.912000 | c 21 > 6.324560 | c 20 > 0.000000 | c 22 > 6.324560 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.076820 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.643900 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.15/7.25 c choco : 1801.0
7.15/7.25 c mistral : 11.08
7.15/7.25 c abscon : 8.17476
7.15/7.25 c
7.15/7.25 c
7.15/7.26 c /home/eomahony/cpZilla/CSP/tightness/tightness0.65/rand-2-40-40-135-650-1_ext.xml
7.15/7.26 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 20.891300 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.026600 | c 14 > 12.683900 | c 11 > 5.321930 | c 12 > 10.641300 | c 21 > 6.324560 | c 20 > 0.000000 | c 22 > 6.324560 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.076820 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.643900 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.15/7.26 c choco : 14.75
7.15/7.26 c mistral : 2.38
7.15/7.26 c abscon : 6.38503
7.15/7.26 c
7.15/7.26 c
7.15/7.27 c Length: 10
7.15/7.27 c 0.2887271029882713 0.36557878767784163 0.6701958370506353 0.6950062589646236 0.7313808515404281 0.7804691281530625 0.7960701665054415 0.8742100090939254 0.875421618421661 0.9929506634269402
7.15/7.27 c
7.15/7.27 c 1.0 0.9016078346242395 0.6486401018092506 0.6341484356851261 0.6140356557043908 0.588832629396549 0.5812503798918922 0.5460339842488237 0.545521496368344 0.5
7.15/7.27 c
7.15/7.27 c solver 0
7.15/7.27 c before 0.0 seconds: {} 0
7.15/7.27 c before 18.0 seconds: {0, 2, 3, 4, 5, 6, 7, 8, 9} 5658
7.15/7.27 c before 54.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6560
7.15/7.27 c
7.15/7.27 c solver 1
7.15/7.27 c before 0.0 seconds: {} 0
7.15/7.27 c before 18.0 seconds: {0, 2, 3, 4, 5, 6, 7, 8, 9} 5658
7.15/7.27 c before 72.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6560
7.15/7.27 c
7.15/7.27 c solver 2
7.15/7.27 c before 0.0 seconds: {} 0
7.15/7.27 c before 18.0 seconds: {4, 5, 6, 9} 2284
7.15/7.27 c before 36.0 seconds: {0, 4, 5, 6, 9} 3284
7.15/7.27 c before 54.0 seconds: {0, 4, 5, 6, 7, 9} 3830
7.15/7.27 c before 72.0 seconds: {0, 3, 4, 5, 6, 7, 9} 4464
7.15/7.27 c
7.15/7.27 cTotal time: 11
7.15/7.27 c 198.0 seconds unused
7.15/7.27 c 0 c 0 c 3
7.15/7.27 c 0 c 0 c 3
7.15/7.27 c 0 c 0 c 0
7.15/7.27 c is solver0 dominated by:
7.15/7.27 c solver 1 (0 solves instances that 1 can't: false) (1 doesn't solve instances that 0 can't: true) (0 is faster than 1: true) (0 is equally as fast as 1: false) (0 < 1: false)
7.15/7.27 c solver 2 (0 solves instances that 2 can't: true) (2 doesn't solve instances that 0 can't: true) (0 is faster than 2: true) (0 is equally as fast as 2: false) (0 < 2: false)
7.15/7.27 c is dominated? false
7.15/7.27 c
7.15/7.27 c is solver1 dominated by:
7.15/7.27 c solver 0 (1 solves instances that 0 can't: false) (0 doesn't solve instances that 1 can't: true) (1 is faster than 0: false) (1 is equally as fast as 0: false) (1 < 0: true)
7.15/7.27 c is dominated? true
7.15/7.27 c
7.15/7.27 c is solver2 dominated by:
7.15/7.27 c solver 0 (2 solves instances that 0 can't: false) (0 doesn't solve instances that 2 can't: false) (2 is faster than 0: false) (2 is equally as fast as 0: false) (2 < 0: true)
7.15/7.27 c is dominated? true
7.15/7.27 c
7.15/7.27 c Number of non-dominated solvers: 1
7.15/7.27 c remove dominated solvers
7.15/7.27 c solver 0 is not dominated by another solver
7.15/7.28 c solver 2 is dominated by another solver
7.15/7.28 c solver 1 is dominated by another solver
7.15/7.28 c
7.15/7.28 c solver 0: 54.0
7.15/7.28 c
7.15/7.28 c+ 3/3 of 97
7.15/7.28 c
7.15/7.28 c solver 1: 0.0
7.15/7.28 c
7.15/7.28 c solver 2: 0.0
7.15/7.28 c run abscon for 1800.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6560
7.15/7.28 c do not run mistral
7.15/7.28 c do not run choco
7.15/7.28 c Starting solver: HOME/cpHydra_k_10/solver/abscon
7.15/7.28 c On Instance: HOME/instance-1100000-1215286227.xml
7.15/7.28 c Running for: 1800 seconds
23.66/24.11 s SAT
23.66/24.11 v 28 13 34 26 37 26 23 9 16 32 5 4 15 14 2 10 18 0 9 26 32 19 18 3 10 12 26 13 5 13 34 2 9 36 13 13 30 19 9 17
23.66/24.11 d ASSIGNMENTS 63108
23.66/24.11 d CHECKS 121208015
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1100000-1215286227/watcher-1100000-1215286227 -o /tmp/evaluation-result-1100000-1215286227/solver-1100000-1215286227 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1100000-1215286227.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2200 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.08 2.02 2.01 4/79 6612
/proc/meminfo: memFree=1578144/2055920 swapFree=4178892/4192956
[pid=6612] ppid=6610 vsize=5360 CPUtime=0
/proc/6612/stat : 6612 (hydra) S 6610 6612 3240 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 684351698 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6612/statm: 1340 236 195 169 0 51 0
[pid=6615] ppid=6612 vsize=2292 CPUtime=0
/proc/6615/stat : 6615 (xsolve) D 6612 6612 3240 0 -1 4194304 70 0 0 0 0 0 0 0 18 0 1 0 684351699 2347008 47 996147200 134512640 135239763 4294956176 18446744073709551615 6378276 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/6615/statm: 573 48 36 177 0 6 0
[startup+0.0272121 s]
/proc/loadavg: 2.08 2.02 2.01 4/79 6612
/proc/meminfo: memFree=1578144/2055920 swapFree=4178892/4192956
[pid=6612] ppid=6610 vsize=5360 CPUtime=0
/proc/6612/stat : 6612 (hydra) S 6610 6612 3240 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 684351698 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6612/statm: 1340 236 195 169 0 51 0
[pid=6615] ppid=6612 vsize=4984 CPUtime=0.01
/proc/6615/stat : 6615 (xsolve) R 6612 6612 3240 0 -1 4194304 556 0 0 0 1 0 0 0 18 0 1 0 684351699 5103616 515 996147200 134512640 135239763 4294956176 18446744073709551615 134643588 0 0 4096 0 0 0 0 17 1 0 0
/proc/6615/statm: 1246 515 355 177 0 149 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 10344
[startup+0.102219 s]
/proc/loadavg: 2.08 2.02 2.01 4/79 6612
/proc/meminfo: memFree=1578144/2055920 swapFree=4178892/4192956
[pid=6612] ppid=6610 vsize=5360 CPUtime=0
/proc/6612/stat : 6612 (hydra) S 6610 6612 3240 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 684351698 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6612/statm: 1340 236 195 169 0 51 0
[pid=6615] ppid=6612 vsize=6572 CPUtime=0.09
/proc/6615/stat : 6615 (xsolve) R 6612 6612 3240 0 -1 4194304 1001 0 0 0 9 0 0 0 18 0 1 0 684351699 6729728 960 996147200 134512640 135239763 4294956176 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/6615/statm: 1643 960 411 177 0 546 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11932
[startup+0.30224 s]
/proc/loadavg: 2.08 2.02 2.01 4/79 6612
/proc/meminfo: memFree=1578144/2055920 swapFree=4178892/4192956
[pid=6612] ppid=6610 vsize=5360 CPUtime=0
/proc/6612/stat : 6612 (hydra) S 6610 6612 3240 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 684351698 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6612/statm: 1340 236 195 169 0 51 0
[pid=6615] ppid=6612 vsize=6572 CPUtime=0.28
/proc/6615/stat : 6615 (xsolve) R 6612 6612 3240 0 -1 4194304 1001 0 0 0 28 0 0 0 19 0 1 0 684351699 6729728 960 996147200 134512640 135239763 4294956176 18446744073709551615 135019009 0 0 4096 0 0 0 0 17 1 0 0
/proc/6615/statm: 1643 960 411 177 0 546 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 11932
[startup+0.702285 s]
/proc/loadavg: 2.08 2.02 2.01 4/79 6612
/proc/meminfo: memFree=1578144/2055920 swapFree=4178892/4192956
[pid=6612] ppid=6610 vsize=5360 CPUtime=0
/proc/6612/stat : 6612 (hydra) S 6610 6612 3240 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 684351698 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6612/statm: 1340 236 195 169 0 51 0
[pid=6615] ppid=6612 vsize=6572 CPUtime=0.68
/proc/6615/stat : 6615 (xsolve) R 6612 6612 3240 0 -1 4194304 1001 0 0 0 68 0 0 0 23 0 1 0 684351699 6729728 960 996147200 134512640 135239763 4294956176 18446744073709551615 135103145 0 0 4096 0 0 0 0 17 1 0 0
/proc/6615/statm: 1643 960 411 177 0 546 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 11932
[startup+1.50237 s]
/proc/loadavg: 2.08 2.02 2.01 3/81 6616
/proc/meminfo: memFree=1575560/2055920 swapFree=4178892/4192956
[pid=6612] ppid=6610 vsize=5360 CPUtime=0
/proc/6612/stat : 6612 (hydra) S 6610 6612 3240 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 684351698 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6612/statm: 1340 236 195 169 0 51 0
[pid=6615] ppid=6612 vsize=6572 CPUtime=1.49
/proc/6615/stat : 6615 (xsolve) R 6612 6612 3240 0 -1 4194304 1001 0 0 0 148 1 0 0 25 0 1 0 684351699 6729728 960 996147200 134512640 135239763 4294956176 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/6615/statm: 1643 960 411 177 0 546 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 11932
[startup+3.10155 s]
/proc/loadavg: 2.08 2.02 2.01 4/89 6628
/proc/meminfo: memFree=1571336/2055920 swapFree=4178892/4192956
[pid=6612] ppid=6610 vsize=5360 CPUtime=1.53
/proc/6612/stat : 6612 (hydra) S 6610 6612 3240 0 -1 4194304 375 1598 0 0 0 0 152 1 19 0 1 0 684351698 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6612/statm: 1340 238 196 169 0 51 0
[pid=6620] ppid=6612 vsize=197000 CPUtime=1.53
/proc/6620/stat : 6620 (java) S 6612 6612 3240 0 -1 0 5126 0 1 0 149 4 0 0 18 0 9 0 684351853 201728000 4288 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/6620/statm: 49250 4288 1678 9 0 43833 0
[pid=6620/tid=6621] ppid=6612 vsize=197000 CPUtime=1.23
/proc/6620/task/6621/stat : 6621 (java) R 6612 6612 3240 0 -1 64 2765 0 1 0 122 1 0 0 25 0 9 0 684351854 201728000 4288 996147200 134512640 134550740 4294955968 18446744073709551615 4126440945 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6620/tid=6622] ppid=6612 vsize=197000 CPUtime=0.14
/proc/6620/task/6622/stat : 6622 (java) S 6612 6612 3240 0 -1 64 1025 0 0 0 12 2 0 0 16 0 9 0 684351855 201728000 4288 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=6620/tid=6623] ppid=6612 vsize=197000 CPUtime=0
/proc/6620/task/6623/stat : 6623 (java) S 6612 6612 3240 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 684351855 201728000 4288 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6620/tid=6624] ppid=6612 vsize=197000 CPUtime=0
/proc/6620/task/6624/stat : 6624 (java) S 6612 6612 3240 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 684351855 201728000 4288 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6620/tid=6625] ppid=6612 vsize=197000 CPUtime=0
/proc/6620/task/6625/stat : 6625 (java) S 6612 6612 3240 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 684351857 201728000 4288 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6620/tid=6626] ppid=6612 vsize=197000 CPUtime=0.13
/proc/6620/task/6626/stat : 6626 (java) S 6612 6612 3240 0 -1 64 612 0 0 0 13 0 0 0 16 0 9 0 684351857 201728000 4288 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6620/tid=6627] ppid=6612 vsize=197000 CPUtime=0
/proc/6620/task/6627/stat : 6627 (java) S 6612 6612 3240 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 684351857 201728000 4288 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6620/tid=6628] ppid=6612 vsize=197000 CPUtime=0
/proc/6620/task/6628/stat : 6628 (java) S 6612 6612 3240 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 684351857 201728000 4288 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 202360
[startup+6.30291 s]
/proc/loadavg: 2.15 2.03 2.01 3/89 6628
/proc/meminfo: memFree=1555912/2055920 swapFree=4178892/4192956
[pid=6612] ppid=6610 vsize=5360 CPUtime=1.53
/proc/6612/stat : 6612 (hydra) S 6610 6612 3240 0 -1 4194304 375 1598 0 0 0 0 152 1 19 0 1 0 684351698 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6612/statm: 1340 238 196 169 0 51 0
[pid=6620] ppid=6612 vsize=197112 CPUtime=4.73
/proc/6620/stat : 6620 (java) S 6612 6612 3240 0 -1 0 10372 0 1 0 461 12 0 0 18 0 9 0 684351853 201842688 8604 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/6620/statm: 49278 8604 2540 9 0 43861 0
[pid=6620/tid=6621] ppid=6612 vsize=197112 CPUtime=3.78
/proc/6620/task/6621/stat : 6621 (java) R 6612 6612 3240 0 -1 64 3611 0 1 0 375 3 0 0 25 0 9 0 684351854 201842688 8604 996147200 134512640 134550740 4294955968 18446744073709551615 4126429298 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6620/tid=6622] ppid=6612 vsize=197112 CPUtime=0.77
/proc/6620/task/6622/stat : 6622 (java) S 6612 6612 3240 0 -1 64 5410 0 0 0 70 7 0 0 16 0 9 0 684351855 201842688 8604 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=6620/tid=6623] ppid=6612 vsize=197112 CPUtime=0
/proc/6620/task/6623/stat : 6623 (java) S 6612 6612 3240 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 684351855 201842688 8604 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6620/tid=6624] ppid=6612 vsize=197112 CPUtime=0
/proc/6620/task/6624/stat : 6624 (java) S 6612 6612 3240 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 684351855 201842688 8604 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6620/tid=6625] ppid=6612 vsize=197112 CPUtime=0
/proc/6620/task/6625/stat : 6625 (java) S 6612 6612 3240 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 684351857 201842688 8604 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6620/tid=6626] ppid=6612 vsize=197112 CPUtime=0.15
/proc/6620/task/6626/stat : 6626 (java) S 6612 6612 3240 0 -1 64 627 0 0 0 15 0 0 0 16 0 9 0 684351857 201842688 8604 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6620/tid=6627] ppid=6612 vsize=197112 CPUtime=0
/proc/6620/task/6627/stat : 6627 (java) S 6612 6612 3240 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 684351857 201842688 8604 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6620/tid=6628] ppid=6612 vsize=197112 CPUtime=0
/proc/6620/task/6628/stat : 6628 (java) S 6612 6612 3240 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 684351857 201842688 8604 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 202472
[startup+12.7026 s]
/proc/loadavg: 2.14 2.03 2.01 3/101 6640
/proc/meminfo: memFree=1516208/2055920 swapFree=4178892/4192956
[pid=6612] ppid=6610 vsize=5360 CPUtime=1.53
/proc/6612/stat : 6612 (hydra) S 6610 6612 3240 0 -1 4194304 375 1598 0 0 0 0 152 1 19 0 1 0 684351698 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6612/statm: 1340 238 196 169 0 51 0
[pid=6620] ppid=6612 vsize=197436 CPUtime=5.7
/proc/6620/stat : 6620 (java) S 6612 6612 3240 0 -1 0 13987 0 1 0 554 16 0 0 18 0 10 0 684351853 202174464 9518 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/6620/statm: 49359 9518 2543 9 0 43942 0
[pid=6630] ppid=6620 vsize=5356 CPUtime=0
/proc/6630/stat : 6630 (abscon) S 6620 6612 3240 0 -1 4194304 303 0 0 0 0 0 0 0 18 0 1 0 684352427 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 240153846596 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/6630/statm: 1339 235 194 169 0 50 0
[pid=6631] ppid=6630 vsize=654852 CPUtime=5.29
/proc/6631/stat : 6631 (java) S 6630 6612 3240 0 -1 0 11276 0 1 0 523 6 0 0 20 0 9 0 684352428 670568448 10591 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/6631/statm: 163713 10591 2610 9 0 158241 0
[pid=6631/tid=6633] ppid=6630 vsize=654852 CPUtime=5.03
/proc/6631/task/6633/stat : 6633 (java) R 6630 6612 3240 0 -1 64 8575 0 1 0 499 4 0 0 25 0 9 0 684352428 670568448 10591 996147200 134512640 134550740 4294955808 18446744073709551615 4126457587 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6631/tid=6634] ppid=6630 vsize=654852 CPUtime=0.05
/proc/6631/task/6634/stat : 6634 (java) S 6630 6612 3240 0 -1 64 1770 0 0 0 5 0 0 0 16 0 9 0 684352430 670568448 10591 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=6631/tid=6635] ppid=6630 vsize=654852 CPUtime=0
/proc/6631/task/6635/stat : 6635 (java) S 6630 6612 3240 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 684352430 670568448 10591 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6631/tid=6636] ppid=6630 vsize=654852 CPUtime=0
/proc/6631/task/6636/stat : 6636 (java) S 6630 6612 3240 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 684352430 670568448 10591 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6631/tid=6637] ppid=6630 vsize=654852 CPUtime=0
/proc/6631/task/6637/stat : 6637 (java) S 6630 6612 3240 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 684352432 670568448 10591 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6631/tid=6638] ppid=6630 vsize=654852 CPUtime=0.18
/proc/6631/task/6638/stat : 6638 (java) S 6630 6612 3240 0 -1 64 388 0 0 0 18 0 0 0 15 0 9 0 684352432 670568448 10591 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6631/tid=6639] ppid=6630 vsize=654852 CPUtime=0
/proc/6631/task/6639/stat : 6639 (java) S 6630 6612 3240 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 684352432 670568448 10591 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6631/tid=6640] ppid=6630 vsize=654852 CPUtime=0
/proc/6631/task/6640/stat : 6640 (java) S 6630 6612 3240 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 684352432 670568448 10591 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6632] ppid=6630 vsize=7044 CPUtime=0
/proc/6632/stat : 6632 (translate) S 6630 6612 3240 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 684352428 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 240154017874 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/6632/statm: 1761 213 182 1 0 41 0
[pid=6620/tid=6621] ppid=6612 vsize=197436 CPUtime=4.46
/proc/6620/task/6621/stat : 6621 (java) S 6612 6612 3240 0 -1 64 3976 0 1 0 442 4 0 0 24 0 10 0 684351854 202174464 9518 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=6620/tid=6622] ppid=6612 vsize=197436 CPUtime=1.03
/proc/6620/task/6622/stat : 6622 (java) S 6612 6612 3240 0 -1 64 8562 0 0 0 94 9 0 0 16 0 10 0 684351855 202174464 9518 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=6620/tid=6623] ppid=6612 vsize=197436 CPUtime=0
/proc/6620/task/6623/stat : 6623 (java) S 6612 6612 3240 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 684351855 202174464 9518 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6620/tid=6624] ppid=6612 vsize=197436 CPUtime=0
/proc/6620/task/6624/stat : 6624 (java) S 6612 6612 3240 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 684351855 202174464 9518 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6620/tid=6625] ppid=6612 vsize=197436 CPUtime=0
/proc/6620/task/6625/stat : 6625 (java) S 6612 6612 3240 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 684351857 202174464 9518 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6620/tid=6626] ppid=6612 vsize=197436 CPUtime=0.17
/proc/6620/task/6626/stat : 6626 (java) S 6612 6612 3240 0 -1 64 644 0 0 0 17 0 0 0 16 0 10 0 684351857 202174464 9518 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6620/tid=6627] ppid=6612 vsize=197436 CPUtime=0
/proc/6620/task/6627/stat : 6627 (java) S 6612 6612 3240 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 684351857 202174464 9518 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6620/tid=6628] ppid=6612 vsize=197436 CPUtime=0
/proc/6620/task/6628/stat : 6628 (java) S 6612 6612 3240 0 -1 64 11 0 0 0 0 0 0 0 15 0 10 0 684351857 202174464 9518 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6620/tid=6629] ppid=6612 vsize=197436 CPUtime=0
/proc/6620/task/6629/stat : 6629 (java) S 6612 6612 3240 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 684352427 202174464 9518 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.52
Current children cumulated vsize (KiB) 870048
Solver just ended. Dumping a history of the last processes samples
[startup+19.1023 s]
/proc/loadavg: 2.13 2.03 2.01 3/101 6640
/proc/meminfo: memFree=1516208/2055920 swapFree=4178892/4192956
[pid=6612] ppid=6610 vsize=5360 CPUtime=1.53
################
# More data... #
################
[pid=6620/tid=6626] ppid=6612 vsize=197436 CPUtime=0.17
/proc/6620/task/6626/stat : 6626 (java) S 6612 6612 3240 0 -1 64 644 0 0 0 17 0 0 0 16 0 10 0 684351857 202174464 9518 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6620/tid=6627] ppid=6612 vsize=197436 CPUtime=0
/proc/6620/task/6627/stat : 6627 (java) S 6612 6612 3240 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 684351857 202174464 9518 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6620/tid=6628] ppid=6612 vsize=197436 CPUtime=0
/proc/6620/task/6628/stat : 6628 (java) S 6612 6612 3240 0 -1 64 11 0 0 0 0 0 0 0 15 0 10 0 684351857 202174464 9518 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6620/tid=6629] ppid=6612 vsize=197436 CPUtime=0
/proc/6620/task/6629/stat : 6629 (java) S 6612 6612 3240 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 684352427 202174464 9518 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 21.93
Current children cumulated vsize (KiB) 870048
[startup+23.1078 s]
/proc/loadavg: 2.12 2.03 2.01 3/101 6640
/proc/meminfo: memFree=1516208/2055920 swapFree=4178892/4192956
[pid=6612] ppid=6610 vsize=5360 CPUtime=1.53
/proc/6612/stat : 6612 (hydra) S 6610 6612 3240 0 -1 4194304 375 1598 0 0 0 0 152 1 19 0 1 0 684351698 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6612/statm: 1340 238 196 169 0 51 0
[pid=6620] ppid=6612 vsize=197436 CPUtime=5.7
/proc/6620/stat : 6620 (java) S 6612 6612 3240 0 -1 0 13987 0 1 0 554 16 0 0 18 0 10 0 684351853 202174464 9518 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/6620/statm: 49359 9518 2543 9 0 43942 0
[pid=6630] ppid=6620 vsize=5356 CPUtime=0
/proc/6630/stat : 6630 (abscon) S 6620 6612 3240 0 -1 4194304 303 0 0 0 0 0 0 0 18 0 1 0 684352427 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 240153846596 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/6630/statm: 1339 235 194 169 0 50 0
[pid=6631] ppid=6630 vsize=654852 CPUtime=15.49
/proc/6631/stat : 6631 (java) S 6630 6612 3240 0 -1 0 11279 0 1 0 1543 6 0 0 20 0 9 0 684352428 670568448 10594 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/6631/statm: 163713 10594 2610 9 0 158241 0
[pid=6631/tid=6633] ppid=6630 vsize=654852 CPUtime=15.23
/proc/6631/task/6633/stat : 6633 (java) R 6630 6612 3240 0 -1 64 8578 0 1 0 1519 4 0 0 25 0 9 0 684352428 670568448 10594 996147200 134512640 134550740 4294955808 18446744073709551615 4126748211 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6631/tid=6634] ppid=6630 vsize=654852 CPUtime=0.05
/proc/6631/task/6634/stat : 6634 (java) S 6630 6612 3240 0 -1 64 1770 0 0 0 5 0 0 0 16 0 9 0 684352430 670568448 10594 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=6631/tid=6635] ppid=6630 vsize=654852 CPUtime=0
/proc/6631/task/6635/stat : 6635 (java) S 6630 6612 3240 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 684352430 670568448 10594 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6631/tid=6636] ppid=6630 vsize=654852 CPUtime=0
/proc/6631/task/6636/stat : 6636 (java) S 6630 6612 3240 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 684352430 670568448 10594 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6631/tid=6637] ppid=6630 vsize=654852 CPUtime=0
/proc/6631/task/6637/stat : 6637 (java) S 6630 6612 3240 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 684352432 670568448 10594 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6631/tid=6638] ppid=6630 vsize=654852 CPUtime=0.18
/proc/6631/task/6638/stat : 6638 (java) S 6630 6612 3240 0 -1 64 388 0 0 0 18 0 0 0 15 0 9 0 684352432 670568448 10594 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6631/tid=6639] ppid=6630 vsize=654852 CPUtime=0
/proc/6631/task/6639/stat : 6639 (java) S 6630 6612 3240 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 684352432 670568448 10594 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6631/tid=6640] ppid=6630 vsize=654852 CPUtime=0
/proc/6631/task/6640/stat : 6640 (java) S 6630 6612 3240 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 684352432 670568448 10594 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6632] ppid=6630 vsize=7044 CPUtime=0
/proc/6632/stat : 6632 (translate) S 6630 6612 3240 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 684352428 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 240154017874 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/6632/statm: 1761 213 182 1 0 41 0
[pid=6620/tid=6621] ppid=6612 vsize=197436 CPUtime=4.46
/proc/6620/task/6621/stat : 6621 (java) S 6612 6612 3240 0 -1 64 3976 0 1 0 442 4 0 0 24 0 10 0 684351854 202174464 9518 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=6620/tid=6622] ppid=6612 vsize=197436 CPUtime=1.03
/proc/6620/task/6622/stat : 6622 (java) S 6612 6612 3240 0 -1 64 8562 0 0 0 94 9 0 0 16 0 10 0 684351855 202174464 9518 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=6620/tid=6623] ppid=6612 vsize=197436 CPUtime=0
/proc/6620/task/6623/stat : 6623 (java) S 6612 6612 3240 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 684351855 202174464 9518 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6620/tid=6624] ppid=6612 vsize=197436 CPUtime=0
/proc/6620/task/6624/stat : 6624 (java) S 6612 6612 3240 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 684351855 202174464 9518 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6620/tid=6625] ppid=6612 vsize=197436 CPUtime=0
/proc/6620/task/6625/stat : 6625 (java) S 6612 6612 3240 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 684351857 202174464 9518 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6620/tid=6626] ppid=6612 vsize=197436 CPUtime=0.17
/proc/6620/task/6626/stat : 6626 (java) S 6612 6612 3240 0 -1 64 644 0 0 0 17 0 0 0 16 0 10 0 684351857 202174464 9518 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6620/tid=6627] ppid=6612 vsize=197436 CPUtime=0
/proc/6620/task/6627/stat : 6627 (java) S 6612 6612 3240 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 684351857 202174464 9518 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6620/tid=6628] ppid=6612 vsize=197436 CPUtime=0
/proc/6620/task/6628/stat : 6628 (java) S 6612 6612 3240 0 -1 64 11 0 0 0 0 0 0 0 15 0 10 0 684351857 202174464 9518 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6620/tid=6629] ppid=6612 vsize=197436 CPUtime=0
/proc/6620/task/6629/stat : 6629 (java) S 6612 6612 3240 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 684352427 202174464 9518 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 22.72
Current children cumulated vsize (KiB) 870048
[startup+23.9029 s]
/proc/loadavg: 2.12 2.03 2.01 3/101 6640
/proc/meminfo: memFree=1516208/2055920 swapFree=4178892/4192956
[pid=6612] ppid=6610 vsize=5360 CPUtime=1.53
/proc/6612/stat : 6612 (hydra) S 6610 6612 3240 0 -1 4194304 375 1598 0 0 0 0 152 1 19 0 1 0 684351698 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6612/statm: 1340 238 196 169 0 51 0
[pid=6620] ppid=6612 vsize=197436 CPUtime=5.7
/proc/6620/stat : 6620 (java) S 6612 6612 3240 0 -1 0 13987 0 1 0 554 16 0 0 18 0 10 0 684351853 202174464 9518 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/6620/statm: 49359 9518 2543 9 0 43942 0
[pid=6630] ppid=6620 vsize=5356 CPUtime=0
/proc/6630/stat : 6630 (abscon) S 6620 6612 3240 0 -1 4194304 303 0 0 0 0 0 0 0 18 0 1 0 684352427 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 240153846596 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/6630/statm: 1339 235 194 169 0 50 0
[pid=6631] ppid=6630 vsize=654852 CPUtime=16.27
/proc/6631/stat : 6631 (java) S 6630 6612 3240 0 -1 0 11279 0 1 0 1621 6 0 0 20 0 9 0 684352428 670568448 10594 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/6631/statm: 163713 10594 2610 9 0 158241 0
[pid=6631/tid=6633] ppid=6630 vsize=654852 CPUtime=16.01
/proc/6631/task/6633/stat : 6633 (java) R 6630 6612 3240 0 -1 64 8578 0 1 0 1597 4 0 0 25 0 9 0 684352428 670568448 10594 996147200 134512640 134550740 4294955808 18446744073709551615 4126768798 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6631/tid=6634] ppid=6630 vsize=654852 CPUtime=0.05
/proc/6631/task/6634/stat : 6634 (java) S 6630 6612 3240 0 -1 64 1770 0 0 0 5 0 0 0 16 0 9 0 684352430 670568448 10594 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=6631/tid=6635] ppid=6630 vsize=654852 CPUtime=0
/proc/6631/task/6635/stat : 6635 (java) S 6630 6612 3240 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 684352430 670568448 10594 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6631/tid=6636] ppid=6630 vsize=654852 CPUtime=0
/proc/6631/task/6636/stat : 6636 (java) S 6630 6612 3240 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 684352430 670568448 10594 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6631/tid=6637] ppid=6630 vsize=654852 CPUtime=0
/proc/6631/task/6637/stat : 6637 (java) S 6630 6612 3240 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 684352432 670568448 10594 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6631/tid=6638] ppid=6630 vsize=654852 CPUtime=0.18
/proc/6631/task/6638/stat : 6638 (java) S 6630 6612 3240 0 -1 64 388 0 0 0 18 0 0 0 15 0 9 0 684352432 670568448 10594 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6631/tid=6639] ppid=6630 vsize=654852 CPUtime=0
/proc/6631/task/6639/stat : 6639 (java) S 6630 6612 3240 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 684352432 670568448 10594 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6631/tid=6640] ppid=6630 vsize=654852 CPUtime=0
/proc/6631/task/6640/stat : 6640 (java) S 6630 6612 3240 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 684352432 670568448 10594 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6632] ppid=6630 vsize=7044 CPUtime=0
/proc/6632/stat : 6632 (translate) S 6630 6612 3240 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 684352428 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 240154017874 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/6632/statm: 1761 213 182 1 0 41 0
[pid=6620/tid=6621] ppid=6612 vsize=197436 CPUtime=4.46
/proc/6620/task/6621/stat : 6621 (java) S 6612 6612 3240 0 -1 64 3976 0 1 0 442 4 0 0 24 0 10 0 684351854 202174464 9518 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=6620/tid=6622] ppid=6612 vsize=197436 CPUtime=1.03
/proc/6620/task/6622/stat : 6622 (java) S 6612 6612 3240 0 -1 64 8562 0 0 0 94 9 0 0 16 0 10 0 684351855 202174464 9518 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=6620/tid=6623] ppid=6612 vsize=197436 CPUtime=0
/proc/6620/task/6623/stat : 6623 (java) S 6612 6612 3240 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 684351855 202174464 9518 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6620/tid=6624] ppid=6612 vsize=197436 CPUtime=0
/proc/6620/task/6624/stat : 6624 (java) S 6612 6612 3240 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 684351855 202174464 9518 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6620/tid=6625] ppid=6612 vsize=197436 CPUtime=0
/proc/6620/task/6625/stat : 6625 (java) S 6612 6612 3240 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 684351857 202174464 9518 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6620/tid=6626] ppid=6612 vsize=197436 CPUtime=0.17
/proc/6620/task/6626/stat : 6626 (java) S 6612 6612 3240 0 -1 64 644 0 0 0 17 0 0 0 16 0 10 0 684351857 202174464 9518 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6620/tid=6627] ppid=6612 vsize=197436 CPUtime=0
/proc/6620/task/6627/stat : 6627 (java) S 6612 6612 3240 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 684351857 202174464 9518 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6620/tid=6628] ppid=6612 vsize=197436 CPUtime=0
/proc/6620/task/6628/stat : 6628 (java) S 6612 6612 3240 0 -1 64 11 0 0 0 0 0 0 0 15 0 10 0 684351857 202174464 9518 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6620/tid=6629] ppid=6612 vsize=197436 CPUtime=0
/proc/6620/task/6629/stat : 6629 (java) S 6612 6612 3240 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 684352427 202174464 9518 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 23.5
Current children cumulated vsize (KiB) 870048
[startup+24.1029 s]
/proc/loadavg: 2.11 2.03 2.01 2/100 6640
/proc/meminfo: memFree=1515768/2055920 swapFree=4178892/4192956
[pid=6612] ppid=6610 vsize=5360 CPUtime=1.53
/proc/6612/stat : 6612 (hydra) S 6610 6612 3240 0 -1 4194304 375 1598 0 0 0 0 152 1 19 0 1 0 684351698 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6612/statm: 1340 238 196 169 0 51 0
[pid=6620] ppid=6612 vsize=197436 CPUtime=5.71
/proc/6620/stat : 6620 (java) S 6612 6612 3240 0 -1 0 13990 0 1 0 555 16 0 0 18 0 10 0 684351853 202174464 9518 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/6620/statm: 49359 9518 2543 9 0 43942 0
[pid=6630] ppid=6620 vsize=5356 CPUtime=0
/proc/6630/stat : 6630 (abscon) S 6620 6612 3240 0 -1 4194304 303 288 0 0 0 0 0 0 16 0 1 0 684352427 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 240153846596 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/6630/statm: 1339 235 194 169 0 50 0
[pid=6631] ppid=6630 vsize=654852 CPUtime=16.42
/proc/6631/stat : 6631 (java) S 6630 6612 3240 0 -1 0 11378 0 1 0 1636 6 0 0 20 0 8 0 684352428 670568448 10692 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/6631/statm: 163713 10692 2611 9 0 158241 0
[pid=6631/tid=6633] ppid=6630 vsize=654852 CPUtime=16.16
/proc/6631/task/6633/stat : 6633 (java) R 6630 6612 3240 0 -1 64 8675 0 1 0 1612 4 0 0 24 0 8 0 684352428 670568448 10692 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6631/tid=6634] ppid=6630 vsize=654852 CPUtime=0.05
/proc/6631/task/6634/stat : 6634 (java) S 6630 6612 3240 0 -1 64 1770 0 0 0 5 0 0 0 16 0 8 0 684352430 670568448 10692 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=6631/tid=6635] ppid=6630 vsize=654852 CPUtime=0
/proc/6631/task/6635/stat : 6635 (java) S 6630 6612 3240 0 -1 64 12 0 0 0 0 0 0 0 16 0 8 0 684352430 670568448 10692 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6631/tid=6636] ppid=6630 vsize=654852 CPUtime=0
/proc/6631/task/6636/stat : 6636 (java) S 6630 6612 3240 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 684352430 670568448 10692 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6631/tid=6637] ppid=6630 vsize=654852 CPUtime=0
/proc/6631/task/6637/stat : 6637 (java) S 6630 6612 3240 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 684352432 670568448 10692 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6631/tid=6638] ppid=6630 vsize=654852 CPUtime=0.19
/proc/6631/task/6638/stat : 6638 (java) S 6630 6612 3240 0 -1 64 389 0 0 0 19 0 0 0 16 0 8 0 684352432 670568448 10692 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6631/tid=6639] ppid=6630 vsize=654852 CPUtime=0
/proc/6631/task/6639/stat : 6639 (java) S 6630 6612 3240 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 684352432 670568448 10692 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6620/tid=6621] ppid=6612 vsize=197436 CPUtime=4.46
/proc/6620/task/6621/stat : 6621 (java) S 6612 6612 3240 0 -1 64 3979 0 1 0 442 4 0 0 16 0 10 0 684351854 202174464 9518 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=6620/tid=6622] ppid=6612 vsize=197436 CPUtime=1.03
/proc/6620/task/6622/stat : 6622 (java) S 6612 6612 3240 0 -1 64 8562 0 0 0 94 9 0 0 16 0 10 0 684351855 202174464 9518 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=6620/tid=6623] ppid=6612 vsize=197436 CPUtime=0
/proc/6620/task/6623/stat : 6623 (java) S 6612 6612 3240 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 684351855 202174464 9518 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6620/tid=6624] ppid=6612 vsize=197436 CPUtime=0
/proc/6620/task/6624/stat : 6624 (java) S 6612 6612 3240 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 684351855 202174464 9518 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6620/tid=6625] ppid=6612 vsize=197436 CPUtime=0
/proc/6620/task/6625/stat : 6625 (java) S 6612 6612 3240 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 684351857 202174464 9518 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6620/tid=6626] ppid=6612 vsize=197436 CPUtime=0.17
/proc/6620/task/6626/stat : 6626 (java) S 6612 6612 3240 0 -1 64 644 0 0 0 17 0 0 0 16 0 10 0 684351857 202174464 9518 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6620/tid=6627] ppid=6612 vsize=197436 CPUtime=0
/proc/6620/task/6627/stat : 6627 (java) S 6612 6612 3240 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 684351857 202174464 9518 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6620/tid=6628] ppid=6612 vsize=197436 CPUtime=0
/proc/6620/task/6628/stat : 6628 (java) S 6612 6612 3240 0 -1 64 11 0 0 0 0 0 0 0 15 0 10 0 684351857 202174464 9518 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6620/tid=6629] ppid=6612 vsize=197436 CPUtime=0
/proc/6620/task/6629/stat : 6629 (java) S 6612 6612 3240 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 684352427 202174464 9518 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 23.66
Current children cumulated vsize (KiB) 863004
Child status: 0
Real time (s): 24.1569
CPU time (s): 23.7174
CPU user time (s): 23.4504
CPU system time (s): 0.266959
CPU usage (%): 98.1804
Max. virtual memory (cumulated for all children) (KiB): 870048
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 23.4504
system time used= 0.266959
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28057
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10736
involuntary context switches= 12099
runsolver used 0.107983 second user time and 0.199969 second system time
The end