0.00/0.00 c cpHydra_k_10 version 0.0
6.95/7.08 c CASE TO CLASSIFY:
6.95/7.08 c Case: 0
6.95/7.08 c 19 > 0.000000 | c 35 > 10.750000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 25.500000 | c 15 > 21.957900 | c 34 > 21.500000 | c 16 > 5.000000 | c 13 > 11.239500 | c 14 > 14.429500 | c 11 > 6.643860 | c 12 > 10.167400 | c 21 > 10.583000 | c 20 > 100.000000 | c 22 > 10.583000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 6.643860 | c 10 > 7.954200 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 7.700440 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 20.769900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.95/7.09 c choco : 1801.0
6.95/7.09 c mistral : 1801.0
6.95/7.09 c abscon : 1801.0
6.95/7.09 c
6.95/7.09 c
7.04/7.16 c List of same ones: 10
7.04/7.16 c /home/eomahony/cpZilla/CSP/primes/primes-30/primes-30-40-2-3.xml
7.04/7.16 c 19 > 0.000000 | c 35 > 10.750000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 25.500000 | c 15 > 21.727500 | c 34 > 21.500000 | c 16 > 5.000000 | c 13 > 10.941600 | c 14 > 14.173700 | c 11 > 6.643860 | c 12 > 9.878940 | c 21 > 10.583000 | c 20 > 100.000000 | c 22 > 10.583000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 6.643860 | c 10 > 7.954200 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 7.700440 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 20.769900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.04/7.17 c choco : 12.11
7.04/7.17 c mistral : 0.024995
7.04/7.17 c abscon : 144.326
7.04/7.17 c
7.04/7.17 c
7.04/7.17 c /home/eomahony/cpZilla/CSP/primes/primes-20/primes-20-40-2-3.xml
7.04/7.17 c 19 > 0.000000 | c 35 > 10.750000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 25.500000 | c 15 > 21.584200 | c 34 > 21.500000 | c 16 > 5.000000 | c 13 > 11.621600 | c 14 > 14.767100 | c 11 > 6.643860 | c 12 > 9.890860 | c 21 > 8.366600 | c 20 > 100.000000 | c 22 > 8.366600 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 6.643860 | c 10 > 7.954200 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 7.700440 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 19.266400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.04/7.18 c choco : 2.16
7.04/7.18 c mistral : 0.022995
7.04/7.18 c abscon : 6.38303
7.04/7.18 c
7.04/7.18 c
7.04/7.18 c /home/eomahony/cpZilla/CSP/primes/primes-25/primes-25-40-2-5.xml
7.04/7.18 c 19 > 0.000000 | c 35 > 10.250000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 24.000000 | c 15 > 19.478200 | c 34 > 20.500000 | c 16 > 7.000000 | c 13 > 10.115400 | c 14 > 11.849000 | c 11 > 6.643860 | c 12 > 8.008540 | c 21 > 9.797960 | c 20 > 100.000000 | c 22 > 9.797960 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 6.643860 | c 10 > 8.266790 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.066090 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 20.920900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.04/7.19 c choco : 1.77
7.04/7.19 c mistral : 0.025995
7.04/7.19 c abscon : 549.931
7.04/7.19 c
7.04/7.19 c
7.04/7.19 c /home/eomahony/cpZilla/CSP/primes/primes-30/primes-30-40-3-1.xml
7.04/7.19 c 19 > 0.000000 | c 35 > 13.500000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 27.000000 | c 15 > 21.830500 | c 34 > 27.000000 | c 16 > 4.000000 | c 13 > 10.218000 | c 14 > 12.461500 | c 11 > 6.643860 | c 12 > 8.246650 | c 21 > 10.583000 | c 20 > 100.000000 | c 22 > 10.583000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 6.643860 | c 10 > 7.930740 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 7.672430 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 20.596800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.04/7.20 c choco : 1.7
7.04/7.20 c mistral : 0.023995
7.04/7.20 c abscon : 7.12692
7.04/7.20 c
7.04/7.20 c
7.04/7.20 c /home/eomahony/cpZilla/CSP/primes/primes-20/primes-20-40-2-5.xml
7.04/7.20 c 19 > 0.000000 | c 35 > 10.250000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 24.000000 | c 15 > 17.913000 | c 34 > 20.500000 | c 16 > 7.000000 | c 13 > 7.368620 | c 14 > 11.419400 | c 11 > 6.643860 | c 12 > 5.556740 | c 21 > 8.366600 | c 20 > 100.000000 | c 22 > 8.366600 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 6.643860 | c 10 > 8.266790 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.066090 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 20.141700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.12/7.21 c choco : 2.22
7.12/7.21 c mistral : 0.022995
7.12/7.21 c abscon : 9.00963
7.12/7.21 c
7.12/7.21 c
7.12/7.21 c /home/eomahony/cpZilla/CSP/primes/primes-30/primes-30-20-3-1.xml
7.12/7.21 c 19 > 0.000000 | c 35 > 10.500000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 21.000000 | c 15 > 17.230700 | c 34 > 21.000000 | c 16 > 4.000000 | c 13 > 8.031840 | c 14 > 10.891800 | c 11 > 6.643860 | c 12 > 5.590960 | c 21 > 10.583000 | c 20 > 100.000000 | c 22 > 10.583000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 6.643860 | c 10 > 6.977280 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 6.727920 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 19.703200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.12/7.22 c choco : 1.68
7.12/7.22 c mistral : 0.020996
7.12/7.22 c abscon : 78.4451
7.12/7.22 c
7.12/7.22 c
7.12/7.22 c /home/eomahony/cpZilla/CSP/primes/primes-25/primes-25-40-3-1.xml
7.12/7.22 c 19 > 0.000000 | c 35 > 13.500000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 27.000000 | c 15 > 18.256100 | c 34 > 27.000000 | c 16 > 4.000000 | c 13 > 7.751020 | c 14 > 11.156100 | c 11 > 6.643860 | c 12 > 6.023700 | c 21 > 9.797960 | c 20 > 100.000000 | c 22 > 9.797960 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 6.643860 | c 10 > 7.930740 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 7.672430 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 20.287400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.12/7.22 c choco : 1.62
7.12/7.22 c mistral : 0.020996
7.12/7.22 c abscon : 6.37703
7.12/7.22 c
7.12/7.22 c
7.12/7.22 c /home/eomahony/cpZilla/CSP/primes/primes-30/primes-30-40-2-5.xml
7.12/7.22 c 19 > 0.000000 | c 35 > 10.250000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 24.000000 | c 15 > 17.184800 | c 34 > 20.500000 | c 16 > 7.000000 | c 13 > 6.438330 | c 14 > 10.399800 | c 11 > 6.643860 | c 12 > 4.599320 | c 21 > 10.583000 | c 20 > 100.000000 | c 22 > 10.583000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 6.643860 | c 10 > 8.266790 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.066090 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 21.419600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.12/7.23 c choco : 3.33
7.12/7.23 c mistral : 0.023996
7.12/7.23 c abscon : 1800.07
7.12/7.23 c
7.12/7.23 c
7.12/7.23 c /home/eomahony/cpZilla/CSP/primes/primes-25/primes-25-40-2-3.xml
7.12/7.23 c 19 > 0.000000 | c 35 > 10.750000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 25.500000 | c 15 > 17.747200 | c 34 > 21.500000 | c 16 > 5.000000 | c 13 > 4.881770 | c 14 > 9.622050 | c 11 > 6.643860 | c 12 > 3.565600 | c 21 > 9.797960 | c 20 > 100.000000 | c 22 > 9.797960 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 6.643860 | c 10 > 7.954200 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 7.700440 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 20.263800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.12/7.24 c choco : 2.03
7.12/7.24 c mistral : 0.024995
7.12/7.24 c abscon : 16.7974
7.12/7.24 c
7.12/7.24 c
7.12/7.24 c /home/eomahony/cpZilla/CSP/primes/primes-30/primes-30-20-2-3.xml
7.12/7.24 c 19 > 0.000000 | c 35 > 11.500000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 24.000000 | c 15 > 14.667700 | c 34 > 23.000000 | c 16 > 5.000000 | c 13 > 5.161620 | c 14 > 9.658210 | c 11 > 6.643860 | c 12 > 2.899180 | c 21 > 10.583000 | c 20 > 100.000000 | c 22 > 10.583000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 6.643860 | c 10 > 7.087460 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 6.857980 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 19.991500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.12/7.25 c choco : 1.43
7.12/7.25 c mistral : 0.018997
7.12/7.25 c abscon : 40.7528
7.12/7.25 c
7.12/7.25 c
7.12/7.25 c Length: 10
7.12/7.25 c 0.53895396983416 3.544216472169836 5.264879740639857 7.050942923765587 8.92270817748737 9.523399792406073 9.812615858439584 10.061274098040467 11.239874412047493 13.145693409101703
7.12/7.25 c
7.12/7.25 c 1.0 0.8075030663218671 0.727339926460985 0.6593921509838535 0.6005928041200174 0.5838836213197087 0.5761658230284876 0.5696916039666421 0.5408839627561342 0.5
7.12/7.25 c
7.12/7.25 c solver 0
7.12/7.25 c before 0.0 seconds: {} 0
7.12/7.25 c before 18.0 seconds: {1, 3, 4, 6, 8} 3184
7.12/7.25 c before 54.0 seconds: {1, 3, 4, 6, 8, 9} 3684
7.12/7.25 c before 90.0 seconds: {1, 3, 4, 5, 6, 8, 9} 4268
7.12/7.25 c before 162.0 seconds: {0, 1, 3, 4, 5, 6, 8, 9} 5268
7.12/7.25 c before 558.0 seconds: {0, 1, 2, 3, 4, 5, 6, 8, 9} 5995
7.12/7.25 c
7.12/7.25 c solver 1
7.12/7.25 c before 0.0 seconds: {} 0
7.12/7.26 c before 18.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6565
7.12/7.26 c
7.12/7.26 c solver 2
7.12/7.26 c before 0.0 seconds: {} 0
7.12/7.26 c before 18.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6565
7.12/7.26 c
7.12/7.26 cTotal time: 33
7.12/7.26 c 594.0 seconds unused
7.12/7.26 c 0 c 0 c 0
7.12/7.26 c 1 c 0 c 0
7.12/7.26 c 1 c 0 c 0
7.12/7.26 c is solver0 dominated by:
7.12/7.26 c solver 1 (0 solves instances that 1 can't: false) (1 doesn't solve instances that 0 can't: false) (0 is faster than 1: false) (0 is equally as fast as 1: false) (0 < 1: false)
7.12/7.26 c is dominated? true
7.12/7.26 c
7.12/7.26 c is solver1 dominated by:
7.12/7.26 c solver 0 (1 solves instances that 0 can't: true) (0 doesn't solve instances that 1 can't: true) (1 is faster than 0: true) (1 is equally as fast as 0: false) (1 < 0: true)
7.12/7.26 c solver 2 (1 solves instances that 2 can't: false) (2 doesn't solve instances that 1 can't: true) (1 is faster than 2: false) (1 is equally as fast as 2: true) (1 < 2: false)
7.12/7.26 c is dominated? true
7.12/7.26 c
7.12/7.26 c is solver2 dominated by:
7.12/7.26 c solver 0 (2 solves instances that 0 can't: true) (0 doesn't solve instances that 2 can't: true) (2 is faster than 0: true) (2 is equally as fast as 0: false) (2 < 0: true)
7.12/7.26 c solver 1 (2 solves instances that 1 can't: false) (1 doesn't solve instances that 2 can't: true) (2 is faster than 1: false) (2 is equally as fast as 1: true) (2 < 1: true)
7.12/7.26 c is dominated? false
7.12/7.26 c
7.12/7.26 c Number of non-dominated solvers: 1
7.12/7.26 c remove dominated solvers
7.12/7.26 c solver 2 is not dominated by another solver
7.12/7.26 c solver 1 is dominated by another solver
7.12/7.26 c solver 0 is dominated by another solver
7.12/7.26 c
7.12/7.26 c solver 0: 0.0
7.12/7.26 c
7.12/7.26 c solver 1: 0.0
7.12/7.26 c
7.12/7.26 c solver 2: 18.0
7.12/7.26 c
7.12/7.26 c+ 1/1 of 99
7.12/7.26 c do not run abscon
7.12/7.26 c do not run mistral
7.12/7.26 c run choco for 1800.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6565
7.12/7.27 c Starting solver: HOME/cpHydra_k_10/solver/choco
7.12/7.27 c On Instance: HOME/instance-1059750-1215124866.xml
7.12/7.27 c Running for: 1800 seconds
20.50/20.87 s SATISFIABLE
20.50/20.87 v 43 59 2 101 89 101 59 2 29 3 5 19 73 2 89 2 2 10 83 59 37 23 107 2 66 113 5 43 19 101 2 41 41 67 113 107 43 59 3 83 2 7 6 113 47 2 23 47 13 43 2 59 3 73 103 7 5 73 59 3 53 53 2 107 103 13 59 2 43 2 97 2 41 53 104 107 113 47 2 73 2 67 2 2 112 2 7 37 18 71 41 2 103 27 71 55 59 17 74 113
20.50/20.87 d ASSIGNMENTS 1004
20.50/20.87 c SAT 13455 TIME 1004 NDS 250 PARSTIME 270 BUILDPB 12935 RES true RESTART 1 HEURISTIC
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1059750-1215124866/watcher-1059750-1215124866 -o /tmp/evaluation-result-1059750-1215124866/solver-1059750-1215124866 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1059750-1215124866.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: 1.79 2.05 2.08 4/73 20230
/proc/meminfo: memFree=1464648/2055920 swapFree=4137148/4192956
[pid=20230] ppid=20228 vsize=5344 CPUtime=0
/proc/20230/stat : 20230 (hydra) R 20228 20230 20166 0 -1 4194304 155 0 0 0 0 0 0 0 20 0 1 0 624733927 5472256 126 996147200 4194304 4889804 548682068816 18446744073709551615 270187168496 0 0 4096 0 0 0 0 17 1 0 0
/proc/20230/statm: 1336 126 101 169 0 47 0
[startup+0.10559 s]
/proc/loadavg: 1.79 2.05 2.08 4/73 20230
/proc/meminfo: memFree=1464648/2055920 swapFree=4137148/4192956
[pid=20230] ppid=20228 vsize=5360 CPUtime=0
/proc/20230/stat : 20230 (hydra) S 20228 20230 20166 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 624733927 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20230/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.202602 s]
/proc/loadavg: 1.79 2.05 2.08 4/73 20230
/proc/meminfo: memFree=1464648/2055920 swapFree=4137148/4192956
[pid=20230] ppid=20228 vsize=5360 CPUtime=0
/proc/20230/stat : 20230 (hydra) S 20228 20230 20166 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 624733927 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20230/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.302613 s]
/proc/loadavg: 1.79 2.05 2.08 4/73 20230
/proc/meminfo: memFree=1464648/2055920 swapFree=4137148/4192956
[pid=20230] ppid=20228 vsize=5360 CPUtime=0
/proc/20230/stat : 20230 (hydra) S 20228 20230 20166 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 624733927 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20230/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.70266 s]
/proc/loadavg: 1.79 2.05 2.08 4/73 20230
/proc/meminfo: memFree=1464648/2055920 swapFree=4137148/4192956
[pid=20230] ppid=20228 vsize=5360 CPUtime=0
/proc/20230/stat : 20230 (hydra) S 20228 20230 20166 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 624733927 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20230/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+1.50175 s]
/proc/loadavg: 1.79 2.05 2.08 3/75 20234
/proc/meminfo: memFree=1463664/2055920 swapFree=4137148/4192956
[pid=20230] ppid=20228 vsize=5360 CPUtime=1.47
/proc/20230/stat : 20230 (hydra) S 20228 20230 20166 0 -1 4194304 375 1227 0 0 0 0 145 2 18 0 1 0 624733927 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20230/statm: 1340 238 196 169 0 51 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 5360
[startup+3.10193 s]
/proc/loadavg: 1.79 2.05 2.08 3/83 20246
/proc/meminfo: memFree=1456304/2055920 swapFree=4137148/4192956
[pid=20230] ppid=20228 vsize=5360 CPUtime=1.47
/proc/20230/stat : 20230 (hydra) S 20228 20230 20166 0 -1 4194304 375 1227 0 0 0 0 145 2 18 0 1 0 624733927 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20230/statm: 1340 238 196 169 0 51 0
[pid=20238] ppid=20230 vsize=197104 CPUtime=1.6
/proc/20238/stat : 20238 (java) S 20230 20230 20166 0 -1 0 6473 0 1 0 155 5 0 0 18 0 9 0 624734075 201834496 5449 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/20238/statm: 49276 5449 2540 9 0 43859 0
[pid=20238/tid=20239] ppid=20230 vsize=197104 CPUtime=1.22
/proc/20238/task/20239/stat : 20239 (java) R 20230 20230 20166 0 -1 64 2784 0 1 0 121 1 0 0 25 0 9 0 624734077 201834496 5449 996147200 134512640 134550740 4294955968 18446744073709551615 4126451907 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20238/tid=20240] ppid=20230 vsize=197104 CPUtime=0.21
/proc/20238/task/20240/stat : 20240 (java) S 20230 20230 20166 0 -1 64 2353 0 0 0 19 2 0 0 16 0 9 0 624734078 201834496 5449 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=20238/tid=20241] ppid=20230 vsize=197104 CPUtime=0
/proc/20238/task/20241/stat : 20241 (java) S 20230 20230 20166 0 -1 64 11 0 0 0 0 0 0 0 17 0 9 0 624734078 201834496 5449 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20238/tid=20242] ppid=20230 vsize=197104 CPUtime=0
/proc/20238/task/20242/stat : 20242 (java) S 20230 20230 20166 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 624734078 201834496 5449 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20238/tid=20243] ppid=20230 vsize=197104 CPUtime=0
/proc/20238/task/20243/stat : 20243 (java) S 20230 20230 20166 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 624734080 201834496 5449 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20238/tid=20244] ppid=20230 vsize=197104 CPUtime=0.14
/proc/20238/task/20244/stat : 20244 (java) S 20230 20230 20166 0 -1 64 612 0 0 0 14 0 0 0 16 0 9 0 624734080 201834496 5449 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20238/tid=20245] ppid=20230 vsize=197104 CPUtime=0
/proc/20238/task/20245/stat : 20245 (java) S 20230 20230 20166 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 624734080 201834496 5449 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20238/tid=20246] ppid=20230 vsize=197104 CPUtime=0
/proc/20238/task/20246/stat : 20246 (java) S 20230 20230 20166 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 624734080 201834496 5449 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 202464
[startup+6.3023 s]
/proc/loadavg: 1.89 2.07 2.09 3/83 20246
/proc/meminfo: memFree=1442032/2055920 swapFree=4137148/4192956
[pid=20230] ppid=20228 vsize=5360 CPUtime=1.47
/proc/20230/stat : 20230 (hydra) S 20228 20230 20166 0 -1 4194304 375 1227 0 0 0 0 145 2 18 0 1 0 624733927 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20230/statm: 1340 238 196 169 0 51 0
[pid=20238] ppid=20230 vsize=197104 CPUtime=4.78
/proc/20238/stat : 20238 (java) S 20230 20230 20166 0 -1 0 10447 0 1 0 465 13 0 0 18 0 9 0 624734075 201834496 8663 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/20238/statm: 49276 8663 2540 9 0 43859 0
[pid=20238/tid=20239] ppid=20230 vsize=197104 CPUtime=3.82
/proc/20238/task/20239/stat : 20239 (java) R 20230 20230 20166 0 -1 64 3624 0 1 0 378 4 0 0 21 0 9 0 624734077 201834496 8663 996147200 134512640 134550740 4294955968 18446744073709551615 4126566669 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20238/tid=20240] ppid=20230 vsize=197104 CPUtime=0.78
/proc/20238/task/20240/stat : 20240 (java) S 20230 20230 20166 0 -1 64 5472 0 0 0 70 8 0 0 16 0 9 0 624734078 201834496 8663 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=20238/tid=20241] ppid=20230 vsize=197104 CPUtime=0
/proc/20238/task/20241/stat : 20241 (java) S 20230 20230 20166 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 624734078 201834496 8663 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20238/tid=20242] ppid=20230 vsize=197104 CPUtime=0
/proc/20238/task/20242/stat : 20242 (java) S 20230 20230 20166 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 624734078 201834496 8663 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20238/tid=20243] ppid=20230 vsize=197104 CPUtime=0
/proc/20238/task/20243/stat : 20243 (java) S 20230 20230 20166 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 624734080 201834496 8663 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20238/tid=20244] ppid=20230 vsize=197104 CPUtime=0.16
/proc/20238/task/20244/stat : 20244 (java) S 20230 20230 20166 0 -1 64 627 0 0 0 16 0 0 0 16 0 9 0 624734080 201834496 8663 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20238/tid=20245] ppid=20230 vsize=197104 CPUtime=0
/proc/20238/task/20245/stat : 20245 (java) S 20230 20230 20166 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 624734080 201834496 8663 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20238/tid=20246] ppid=20230 vsize=197104 CPUtime=0
/proc/20238/task/20246/stat : 20246 (java) S 20230 20230 20166 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 624734080 201834496 8663 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 202464
[startup+12.702 s]
/proc/loadavg: 1.89 2.06 2.08 3/94 20257
/proc/meminfo: memFree=1389856/2055920 swapFree=4137148/4192956
[pid=20230] ppid=20228 vsize=5360 CPUtime=1.47
/proc/20230/stat : 20230 (hydra) S 20228 20230 20166 0 -1 4194304 375 1227 0 0 0 0 145 2 18 0 1 0 624733927 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20230/statm: 1340 238 196 169 0 51 0
[pid=20238] ppid=20230 vsize=197428 CPUtime=5.71
/proc/20238/stat : 20238 (java) S 20230 20230 20166 0 -1 0 13993 0 1 0 553 18 0 0 18 0 10 0 624734075 202166272 9517 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/20238/statm: 49357 9517 2543 9 0 43940 0
[pid=20248] ppid=20238 vsize=5356 CPUtime=0
/proc/20248/stat : 20248 (choco) S 20238 20230 20166 0 -1 4194304 292 0 0 0 0 0 0 0 18 0 1 0 624734654 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 270187160388 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/20248/statm: 1339 238 197 169 0 50 0
[pid=20249] ppid=20248 vsize=655036 CPUtime=5.33
/proc/20249/stat : 20249 (java) S 20248 20230 20166 0 -1 0 13689 0 1 0 501 32 0 0 20 0 9 0 624734655 670756864 13266 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20249/statm: 163759 13266 1929 9 0 158288 0
[pid=20249/tid=20250] ppid=20248 vsize=655036 CPUtime=5.08
/proc/20249/task/20250/stat : 20250 (java) R 20248 20230 20166 0 -1 64 12151 0 1 0 477 31 0 0 25 0 9 0 624734655 670756864 13266 996147200 134512640 134550740 4294955936 18446744073709551615 102888238 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20249/tid=20251] ppid=20248 vsize=655036 CPUtime=0.01
/proc/20249/task/20251/stat : 20251 (java) S 20248 20230 20166 0 -1 64 553 0 0 0 1 0 0 0 16 0 9 0 624734657 670756864 13266 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=20249/tid=20252] ppid=20248 vsize=655036 CPUtime=0
/proc/20249/task/20252/stat : 20252 (java) S 20248 20230 20166 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 624734657 670756864 13266 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20249/tid=20253] ppid=20248 vsize=655036 CPUtime=0
/proc/20249/task/20253/stat : 20253 (java) S 20248 20230 20166 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 624734657 670756864 13266 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20249/tid=20254] ppid=20248 vsize=655036 CPUtime=0
/proc/20249/task/20254/stat : 20254 (java) S 20248 20230 20166 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 624734659 670756864 13266 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20249/tid=20255] ppid=20248 vsize=655036 CPUtime=0.21
/proc/20249/task/20255/stat : 20255 (java) S 20248 20230 20166 0 -1 64 439 0 0 0 21 0 0 0 15 0 9 0 624734659 670756864 13266 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20249/tid=20256] ppid=20248 vsize=655036 CPUtime=0
/proc/20249/task/20256/stat : 20256 (java) S 20248 20230 20166 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 624734659 670756864 13266 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20249/tid=20257] ppid=20248 vsize=655036 CPUtime=0
/proc/20249/task/20257/stat : 20257 (java) S 20248 20230 20166 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 624734659 670756864 13266 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20238/tid=20239] ppid=20230 vsize=197428 CPUtime=4.44
/proc/20238/task/20239/stat : 20239 (java) S 20230 20230 20166 0 -1 64 3974 0 1 0 439 5 0 0 25 0 10 0 624734077 202166272 9517 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=20238/tid=20240] ppid=20230 vsize=197428 CPUtime=1.05
/proc/20238/task/20240/stat : 20240 (java) S 20230 20230 20166 0 -1 64 8568 0 0 0 94 11 0 0 16 0 10 0 624734078 202166272 9517 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=20238/tid=20241] ppid=20230 vsize=197428 CPUtime=0
/proc/20238/task/20241/stat : 20241 (java) S 20230 20230 20166 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 624734078 202166272 9517 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20238/tid=20242] ppid=20230 vsize=197428 CPUtime=0
/proc/20238/task/20242/stat : 20242 (java) S 20230 20230 20166 0 -1 64 6 0 0 0 0 0 0 0 16 0 10 0 624734078 202166272 9517 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20238/tid=20243] ppid=20230 vsize=197428 CPUtime=0
/proc/20238/task/20243/stat : 20243 (java) S 20230 20230 20166 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 624734080 202166272 9517 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20238/tid=20244] ppid=20230 vsize=197428 CPUtime=0.19
/proc/20238/task/20244/stat : 20244 (java) S 20230 20230 20166 0 -1 64 644 0 0 0 19 0 0 0 16 0 10 0 624734080 202166272 9517 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20238/tid=20245] ppid=20230 vsize=197428 CPUtime=0
/proc/20238/task/20245/stat : 20245 (java) S 20230 20230 20166 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 624734080 202166272 9517 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20238/tid=20246] ppid=20230 vsize=197428 CPUtime=0
/proc/20238/task/20246/stat : 20246 (java) S 20230 20230 20166 0 -1 64 14 0 0 0 0 0 0 0 15 0 10 0 624734080 202166272 9517 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20238/tid=20247] ppid=20230 vsize=197428 CPUtime=0
/proc/20238/task/20247/stat : 20247 (java) S 20230 20230 20166 0 -1 64 68 0 0 0 0 0 0 0 25 0 10 0 624734654 202166272 9517 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.51
Current children cumulated vsize (KiB) 863180
Solver just ended. Dumping a history of the last processes samples
[startup+12.803 s]
/proc/loadavg: 1.89 2.06 2.08 3/94 20257
/proc/meminfo: memFree=1389856/2055920 swapFree=4137148/4192956
[pid=20230] ppid=20228 vsize=5360 CPUtime=1.47
/proc/20230/stat : 20230 (hydra) S 20228 20230 20166 0 -1 4194304 375 1227 0 0 0 0 145 2 18 0 1 0 624733927 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20230/statm: 1340 238 196 169 0 51 0
[pid=20238] ppid=20230 vsize=197428 CPUtime=5.71
/proc/20238/stat : 20238 (java) S 20230 20230 20166 0 -1 0 13993 0 1 0 553 18 0 0 18 0 10 0 624734075 202166272 9517 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/20238/statm: 49357 9517 2543 9 0 43940 0
[pid=20248] ppid=20238 vsize=5356 CPUtime=0
/proc/20248/stat : 20248 (choco) S 20238 20230 20166 0 -1 4194304 292 0 0 0 0 0 0 0 18 0 1 0 624734654 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 270187160388 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/20248/statm: 1339 238 197 169 0 50 0
[pid=20249] ppid=20248 vsize=655036 CPUtime=5.43
/proc/20249/stat : 20249 (java) S 20248 20230 20166 0 -1 0 13689 0 1 0 510 33 0 0 20 0 9 0 624734655 670756864 13266 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20249/statm: 163759 13266 1929 9 0 158288 0
[pid=20249/tid=20250] ppid=20248 vsize=655036 CPUtime=5.18
/proc/20249/task/20250/stat : 20250 (java) R 20248 20230 20166 0 -1 64 12151 0 1 0 486 32 0 0 25 0 9 0 624734655 670756864 13266 996147200 134512640 134550740 4294955936 18446744073709551615 4126710912 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20249/tid=20251] ppid=20248 vsize=655036 CPUtime=0.01
/proc/20249/task/20251/stat : 20251 (java) S 20248 20230 20166 0 -1 64 553 0 0 0 1 0 0 0 16 0 9 0 624734657 670756864 13266 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=20249/tid=20252] ppid=20248 vsize=655036 CPUtime=0
/proc/20249/task/20252/stat : 20252 (java) S 20248 20230 20166 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 624734657 670756864 13266 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20249/tid=20253] ppid=20248 vsize=655036 CPUtime=0
/proc/20249/task/20253/stat : 20253 (java) S 20248 20230 20166 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 624734657 670756864 13266 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20249/tid=20254] ppid=20248 vsize=655036 CPUtime=0
/proc/20249/task/20254/stat : 20254 (java) S 20248 20230 20166 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 624734659 670756864 13266 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
################
# More data... #
################
/proc/20249/stat : 20249 (java) S 20248 20230 20166 0 -1 0 13713 0 1 0 1192 60 0 0 20 0 9 0 624734655 670756864 13285 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20249/statm: 163759 13285 1932 9 0 158288 0
[pid=20249/tid=20250] ppid=20248 vsize=655036 CPUtime=12.23
/proc/20249/task/20250/stat : 20250 (java) R 20248 20230 20166 0 -1 64 12157 0 1 0 1165 58 0 0 25 0 9 0 624734655 670756864 13285 996147200 134512640 134550740 4294955936 18446744073709551615 4126805196 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20249/tid=20251] ppid=20248 vsize=655036 CPUtime=0.03
/proc/20249/task/20251/stat : 20251 (java) S 20248 20230 20166 0 -1 64 558 0 0 0 3 0 0 0 17 0 9 0 624734657 670756864 13285 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=20249/tid=20252] ppid=20248 vsize=655036 CPUtime=0
/proc/20249/task/20252/stat : 20252 (java) S 20248 20230 20166 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 624734657 670756864 13285 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20249/tid=20253] ppid=20248 vsize=655036 CPUtime=0
/proc/20249/task/20253/stat : 20253 (java) S 20248 20230 20166 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 624734657 670756864 13285 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20249/tid=20254] ppid=20248 vsize=655036 CPUtime=0
/proc/20249/task/20254/stat : 20254 (java) S 20248 20230 20166 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 624734659 670756864 13285 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20249/tid=20255] ppid=20248 vsize=655036 CPUtime=0.23
/proc/20249/task/20255/stat : 20255 (java) S 20248 20230 20166 0 -1 64 452 0 0 0 23 0 0 0 15 0 9 0 624734659 670756864 13285 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20249/tid=20256] ppid=20248 vsize=655036 CPUtime=0
/proc/20249/task/20256/stat : 20256 (java) S 20248 20230 20166 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 624734659 670756864 13285 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20249/tid=20257] ppid=20248 vsize=655036 CPUtime=0
/proc/20249/task/20257/stat : 20257 (java) S 20248 20230 20166 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 624734659 670756864 13285 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20238/tid=20239] ppid=20230 vsize=197428 CPUtime=4.44
/proc/20238/task/20239/stat : 20239 (java) S 20230 20230 20166 0 -1 64 3974 0 1 0 439 5 0 0 25 0 10 0 624734077 202166272 9517 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=20238/tid=20240] ppid=20230 vsize=197428 CPUtime=1.05
/proc/20238/task/20240/stat : 20240 (java) S 20230 20230 20166 0 -1 64 8568 0 0 0 94 11 0 0 16 0 10 0 624734078 202166272 9517 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=20238/tid=20241] ppid=20230 vsize=197428 CPUtime=0
/proc/20238/task/20241/stat : 20241 (java) S 20230 20230 20166 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 624734078 202166272 9517 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20238/tid=20242] ppid=20230 vsize=197428 CPUtime=0
/proc/20238/task/20242/stat : 20242 (java) S 20230 20230 20166 0 -1 64 6 0 0 0 0 0 0 0 16 0 10 0 624734078 202166272 9517 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20238/tid=20243] ppid=20230 vsize=197428 CPUtime=0
/proc/20238/task/20243/stat : 20243 (java) S 20230 20230 20166 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 624734080 202166272 9517 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20238/tid=20244] ppid=20230 vsize=197428 CPUtime=0.19
/proc/20238/task/20244/stat : 20244 (java) S 20230 20230 20166 0 -1 64 644 0 0 0 19 0 0 0 16 0 10 0 624734080 202166272 9517 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20238/tid=20245] ppid=20230 vsize=197428 CPUtime=0
/proc/20238/task/20245/stat : 20245 (java) S 20230 20230 20166 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 624734080 202166272 9517 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20238/tid=20246] ppid=20230 vsize=197428 CPUtime=0
/proc/20238/task/20246/stat : 20246 (java) S 20230 20230 20166 0 -1 64 14 0 0 0 0 0 0 0 15 0 10 0 624734080 202166272 9517 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20238/tid=20247] ppid=20230 vsize=197428 CPUtime=0
/proc/20238/task/20247/stat : 20247 (java) S 20230 20230 20166 0 -1 64 68 0 0 0 0 0 0 0 25 0 10 0 624734654 202166272 9517 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 19.7
Current children cumulated vsize (KiB) 863180
[startup+20.4029 s]
/proc/loadavg: 1.91 2.06 2.08 3/94 20257
/proc/meminfo: memFree=1389728/2055920 swapFree=4137148/4192956
[pid=20230] ppid=20228 vsize=5360 CPUtime=1.47
/proc/20230/stat : 20230 (hydra) S 20228 20230 20166 0 -1 4194304 375 1227 0 0 0 0 145 2 18 0 1 0 624733927 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20230/statm: 1340 238 196 169 0 51 0
[pid=20238] ppid=20230 vsize=197428 CPUtime=5.71
/proc/20238/stat : 20238 (java) S 20230 20230 20166 0 -1 0 13993 0 1 0 553 18 0 0 18 0 10 0 624734075 202166272 9517 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/20238/statm: 49357 9517 2543 9 0 43940 0
[pid=20248] ppid=20238 vsize=5356 CPUtime=0
/proc/20248/stat : 20248 (choco) S 20238 20230 20166 0 -1 4194304 292 0 0 0 0 0 0 0 18 0 1 0 624734654 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 270187160388 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/20248/statm: 1339 238 197 169 0 50 0
[pid=20249] ppid=20248 vsize=655036 CPUtime=12.92
/proc/20249/stat : 20249 (java) S 20248 20230 20166 0 -1 0 13713 0 1 0 1232 60 0 0 20 0 9 0 624734655 670756864 13285 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20249/statm: 163759 13285 1932 9 0 158288 0
[pid=20249/tid=20250] ppid=20248 vsize=655036 CPUtime=12.62
/proc/20249/task/20250/stat : 20250 (java) R 20248 20230 20166 0 -1 64 12157 0 1 0 1204 58 0 0 25 0 9 0 624734655 670756864 13285 996147200 134512640 134550740 4294955936 18446744073709551615 4126756696 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20249/tid=20251] ppid=20248 vsize=655036 CPUtime=0.03
/proc/20249/task/20251/stat : 20251 (java) S 20248 20230 20166 0 -1 64 558 0 0 0 3 0 0 0 17 0 9 0 624734657 670756864 13285 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=20249/tid=20252] ppid=20248 vsize=655036 CPUtime=0
/proc/20249/task/20252/stat : 20252 (java) S 20248 20230 20166 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 624734657 670756864 13285 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20249/tid=20253] ppid=20248 vsize=655036 CPUtime=0
/proc/20249/task/20253/stat : 20253 (java) S 20248 20230 20166 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 624734657 670756864 13285 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20249/tid=20254] ppid=20248 vsize=655036 CPUtime=0
/proc/20249/task/20254/stat : 20254 (java) S 20248 20230 20166 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 624734659 670756864 13285 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20249/tid=20255] ppid=20248 vsize=655036 CPUtime=0.23
/proc/20249/task/20255/stat : 20255 (java) S 20248 20230 20166 0 -1 64 452 0 0 0 23 0 0 0 15 0 9 0 624734659 670756864 13285 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20249/tid=20256] ppid=20248 vsize=655036 CPUtime=0
/proc/20249/task/20256/stat : 20256 (java) S 20248 20230 20166 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 624734659 670756864 13285 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20249/tid=20257] ppid=20248 vsize=655036 CPUtime=0
/proc/20249/task/20257/stat : 20257 (java) S 20248 20230 20166 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 624734659 670756864 13285 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20238/tid=20239] ppid=20230 vsize=197428 CPUtime=4.44
/proc/20238/task/20239/stat : 20239 (java) S 20230 20230 20166 0 -1 64 3974 0 1 0 439 5 0 0 25 0 10 0 624734077 202166272 9517 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=20238/tid=20240] ppid=20230 vsize=197428 CPUtime=1.05
/proc/20238/task/20240/stat : 20240 (java) S 20230 20230 20166 0 -1 64 8568 0 0 0 94 11 0 0 16 0 10 0 624734078 202166272 9517 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=20238/tid=20241] ppid=20230 vsize=197428 CPUtime=0
/proc/20238/task/20241/stat : 20241 (java) S 20230 20230 20166 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 624734078 202166272 9517 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20238/tid=20242] ppid=20230 vsize=197428 CPUtime=0
/proc/20238/task/20242/stat : 20242 (java) S 20230 20230 20166 0 -1 64 6 0 0 0 0 0 0 0 16 0 10 0 624734078 202166272 9517 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20238/tid=20243] ppid=20230 vsize=197428 CPUtime=0
/proc/20238/task/20243/stat : 20243 (java) S 20230 20230 20166 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 624734080 202166272 9517 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20238/tid=20244] ppid=20230 vsize=197428 CPUtime=0.19
/proc/20238/task/20244/stat : 20244 (java) S 20230 20230 20166 0 -1 64 644 0 0 0 19 0 0 0 16 0 10 0 624734080 202166272 9517 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20238/tid=20245] ppid=20230 vsize=197428 CPUtime=0
/proc/20238/task/20245/stat : 20245 (java) S 20230 20230 20166 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 624734080 202166272 9517 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20238/tid=20246] ppid=20230 vsize=197428 CPUtime=0
/proc/20238/task/20246/stat : 20246 (java) S 20230 20230 20166 0 -1 64 14 0 0 0 0 0 0 0 15 0 10 0 624734080 202166272 9517 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20238/tid=20247] ppid=20230 vsize=197428 CPUtime=0
/proc/20238/task/20247/stat : 20247 (java) S 20230 20230 20166 0 -1 64 68 0 0 0 0 0 0 0 25 0 10 0 624734654 202166272 9517 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 20.1
Current children cumulated vsize (KiB) 863180
[startup+20.803 s]
/proc/loadavg: 1.91 2.06 2.08 3/94 20257
/proc/meminfo: memFree=1389728/2055920 swapFree=4137148/4192956
[pid=20230] ppid=20228 vsize=5360 CPUtime=1.47
/proc/20230/stat : 20230 (hydra) S 20228 20230 20166 0 -1 4194304 375 1227 0 0 0 0 145 2 18 0 1 0 624733927 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20230/statm: 1340 238 196 169 0 51 0
[pid=20238] ppid=20230 vsize=197428 CPUtime=5.71
/proc/20238/stat : 20238 (java) S 20230 20230 20166 0 -1 0 13993 0 1 0 553 18 0 0 18 0 10 0 624734075 202166272 9517 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/20238/statm: 49357 9517 2543 9 0 43940 0
[pid=20248] ppid=20238 vsize=5356 CPUtime=0
/proc/20248/stat : 20248 (choco) S 20238 20230 20166 0 -1 4194304 292 0 0 0 0 0 0 0 18 0 1 0 624734654 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 270187160388 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/20248/statm: 1339 238 197 169 0 50 0
[pid=20249] ppid=20248 vsize=655036 CPUtime=13.32
/proc/20249/stat : 20249 (java) S 20248 20230 20166 0 -1 0 13713 0 1 0 1272 60 0 0 20 0 9 0 624734655 670756864 13285 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20249/statm: 163759 13285 1932 9 0 158288 0
[pid=20249/tid=20250] ppid=20248 vsize=655036 CPUtime=13.02
/proc/20249/task/20250/stat : 20250 (java) R 20248 20230 20166 0 -1 64 12157 0 1 0 1244 58 0 0 25 0 9 0 624734655 670756864 13285 996147200 134512640 134550740 4294955936 18446744073709551615 4126708000 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20249/tid=20251] ppid=20248 vsize=655036 CPUtime=0.03
/proc/20249/task/20251/stat : 20251 (java) S 20248 20230 20166 0 -1 64 558 0 0 0 3 0 0 0 16 0 9 0 624734657 670756864 13285 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=20249/tid=20252] ppid=20248 vsize=655036 CPUtime=0
/proc/20249/task/20252/stat : 20252 (java) S 20248 20230 20166 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 624734657 670756864 13285 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20249/tid=20253] ppid=20248 vsize=655036 CPUtime=0
/proc/20249/task/20253/stat : 20253 (java) S 20248 20230 20166 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 624734657 670756864 13285 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20249/tid=20254] ppid=20248 vsize=655036 CPUtime=0
/proc/20249/task/20254/stat : 20254 (java) S 20248 20230 20166 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 624734659 670756864 13285 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20249/tid=20255] ppid=20248 vsize=655036 CPUtime=0.23
/proc/20249/task/20255/stat : 20255 (java) S 20248 20230 20166 0 -1 64 452 0 0 0 23 0 0 0 15 0 9 0 624734659 670756864 13285 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20249/tid=20256] ppid=20248 vsize=655036 CPUtime=0
/proc/20249/task/20256/stat : 20256 (java) S 20248 20230 20166 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 624734659 670756864 13285 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20249/tid=20257] ppid=20248 vsize=655036 CPUtime=0
/proc/20249/task/20257/stat : 20257 (java) S 20248 20230 20166 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 624734659 670756864 13285 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20238/tid=20239] ppid=20230 vsize=197428 CPUtime=4.44
/proc/20238/task/20239/stat : 20239 (java) S 20230 20230 20166 0 -1 64 3974 0 1 0 439 5 0 0 25 0 10 0 624734077 202166272 9517 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=20238/tid=20240] ppid=20230 vsize=197428 CPUtime=1.05
/proc/20238/task/20240/stat : 20240 (java) S 20230 20230 20166 0 -1 64 8568 0 0 0 94 11 0 0 16 0 10 0 624734078 202166272 9517 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=20238/tid=20241] ppid=20230 vsize=197428 CPUtime=0
/proc/20238/task/20241/stat : 20241 (java) S 20230 20230 20166 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 624734078 202166272 9517 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20238/tid=20242] ppid=20230 vsize=197428 CPUtime=0
/proc/20238/task/20242/stat : 20242 (java) S 20230 20230 20166 0 -1 64 6 0 0 0 0 0 0 0 16 0 10 0 624734078 202166272 9517 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20238/tid=20243] ppid=20230 vsize=197428 CPUtime=0
/proc/20238/task/20243/stat : 20243 (java) S 20230 20230 20166 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 624734080 202166272 9517 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20238/tid=20244] ppid=20230 vsize=197428 CPUtime=0.19
/proc/20238/task/20244/stat : 20244 (java) S 20230 20230 20166 0 -1 64 644 0 0 0 19 0 0 0 16 0 10 0 624734080 202166272 9517 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20238/tid=20245] ppid=20230 vsize=197428 CPUtime=0
/proc/20238/task/20245/stat : 20245 (java) S 20230 20230 20166 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 624734080 202166272 9517 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20238/tid=20246] ppid=20230 vsize=197428 CPUtime=0
/proc/20238/task/20246/stat : 20246 (java) S 20230 20230 20166 0 -1 64 14 0 0 0 0 0 0 0 15 0 10 0 624734080 202166272 9517 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20238/tid=20247] ppid=20230 vsize=197428 CPUtime=0
/proc/20238/task/20247/stat : 20247 (java) S 20230 20230 20166 0 -1 64 68 0 0 0 0 0 0 0 25 0 10 0 624734654 202166272 9517 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 20.5
Current children cumulated vsize (KiB) 863180
[startup+20.903 s]
/proc/loadavg: 1.91 2.06 2.08 2/83 20258
/proc/meminfo: memFree=1435504/2055920 swapFree=4137148/4192956
[pid=20230] ppid=20228 vsize=5360 CPUtime=1.47
/proc/20230/stat : 20230 (hydra) S 20228 20230 20166 0 -1 4194304 375 1227 0 0 0 0 145 2 18 0 1 0 624733927 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20230/statm: 1340 238 196 169 0 51 0
[pid=20238] ppid=20230 vsize=197428 CPUtime=19.06
/proc/20238/stat : 20238 (java) S 20230 20230 20166 0 -1 0 14066 14029 1 1 553 18 1274 61 18 0 9 0 624734075 202166272 9519 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/20238/statm: 49357 9519 2544 9 0 43940 0
[pid=20238/tid=20239] ppid=20230 vsize=197428 CPUtime=17.79
/proc/20238/task/20239/stat : 20239 (java) S 20230 20230 20166 0 -1 64 4026 14029 1 1 439 5 1274 61 16 0 9 0 624734077 202166272 9519 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20238/tid=20240] ppid=20230 vsize=197428 CPUtime=14.4
/proc/20238/task/20240/stat : 20240 (java) S 20230 20230 20166 0 -1 64 8579 14029 0 1 94 11 1274 61 16 0 9 0 624734078 202166272 9519 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=20238/tid=20241] ppid=20230 vsize=197428 CPUtime=13.35
/proc/20238/task/20241/stat : 20241 (java) S 20230 20230 20166 0 -1 64 11 14029 0 1 0 0 1274 61 16 0 9 0 624734078 202166272 9519 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20238/tid=20242] ppid=20230 vsize=197428 CPUtime=13.35
/proc/20238/task/20242/stat : 20242 (java) S 20230 20230 20166 0 -1 64 6 14029 0 1 0 0 1274 61 16 0 9 0 624734078 202166272 9519 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20238/tid=20243] ppid=20230 vsize=197428 CPUtime=13.35
/proc/20238/task/20243/stat : 20243 (java) S 20230 20230 20166 0 -1 64 1 14029 0 1 0 0 1274 61 18 0 9 0 624734080 202166272 9519 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20238/tid=20244] ppid=20230 vsize=197428 CPUtime=13.54
/proc/20238/task/20244/stat : 20244 (java) S 20230 20230 20166 0 -1 64 644 14029 0 1 19 0 1274 61 16 0 9 0 624734080 202166272 9519 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20238/tid=20245] ppid=20230 vsize=197428 CPUtime=13.35
/proc/20238/task/20245/stat : 20245 (java) S 20230 20230 20166 0 -1 64 0 14029 0 1 0 0 1274 61 19 0 9 0 624734080 202166272 9519 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20238/tid=20246] ppid=20230 vsize=197428 CPUtime=13.35
/proc/20238/task/20246/stat : 20246 (java) S 20230 20230 20166 0 -1 64 14 14029 0 1 0 0 1274 61 15 0 9 0 624734080 202166272 9519 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 20.53
Current children cumulated vsize (KiB) 202788
Child status: 0
Real time (s): 20.9229
CPU time (s): 20.5659
CPU user time (s): 19.732
CPU system time (s): 0.833873
CPU usage (%): 98.2936
Max. virtual memory (cumulated for all children) (KiB): 863180
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19.732
system time used= 0.833873
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29734
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= 10838
involuntary context switches= 12200
runsolver used 0.080987 second user time and 0.186971 second system time
The end