0.00/0.00 c cpHydra_k_10 version 0.0
7.21/7.37 c CASE TO CLASSIFY:
7.21/7.37 c Case: 0
7.21/7.37 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 30.000000 | c 15 > 23.007500 | c 34 > 50.000000 | c 16 > 2.000000 | c 13 > 5.359030 | c 14 > 9.588710 | c 11 > 8.643860 | c 12 > 6.314420 | c 21 > 33.281100 | c 20 > 100.000000 | c 22 > 33.970600 | 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 > 8.643860 | c 10 > 15.213700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.891800 | c 6 > 13.891800 | c 32 > -1.000000 | c 5 > 24.045100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.21/7.38 c choco : 1801.0
7.21/7.38 c mistral : 1801.0
7.21/7.38 c abscon : 1801.0
7.21/7.38 c
7.21/7.38 c
7.30/7.45 c List of same ones: 10
7.30/7.45 c /home/eomahony/cpZilla/CSP/taillard/os-taillard-20/os-taillard-20-95-7.xml
7.30/7.45 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 30.000000 | c 15 > 21.397900 | c 34 > 50.000000 | c 16 > 2.000000 | c 13 > 4.745700 | c 14 > 9.843920 | c 11 > 8.643860 | c 12 > 6.296640 | c 21 > 34.016100 | c 20 > 100.000000 | c 22 > 34.727500 | 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 > 8.643860 | c 10 > 15.213700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.891800 | c 6 > 13.891800 | c 32 > -1.000000 | c 5 > 24.108000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.30/7.46 c choco : 15.6
7.30/7.46 c mistral : 1.76473
7.30/7.46 c abscon : 636.088
7.30/7.46 c
7.30/7.46 c
7.30/7.46 c /home/eomahony/cpZilla/CSP/taillard/os-taillard-20/os-taillard-20-100-5.xml
7.30/7.46 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 30.000000 | c 15 > 21.686600 | c 34 > 50.000000 | c 16 > 2.000000 | c 13 > 6.589970 | c 14 > 10.477800 | c 11 > 8.643860 | c 12 > 6.420340 | c 21 > 34.701800 | c 20 > 100.000000 | c 22 > 35.383600 | 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 > 8.643860 | c 10 > 15.213700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.891800 | c 6 > 13.891800 | c 32 > -1.000000 | c 5 > 24.165500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.30/7.47 c choco : 15.3
7.30/7.47 c mistral : 1.13783
7.30/7.47 c abscon : 112.772
7.30/7.47 c
7.30/7.47 c
7.30/7.47 c /home/eomahony/cpZilla/CSP/taillard/os-taillard-20/os-taillard-20-100-3.xml
7.30/7.47 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 30.000000 | c 15 > 21.815000 | c 34 > 50.000000 | c 16 > 2.000000 | c 13 > 4.436920 | c 14 > 9.787900 | c 11 > 8.643860 | c 12 > 6.288680 | c 21 > 35.489300 | c 20 > 100.000000 | c 22 > 36.193900 | 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 > 8.643860 | c 10 > 15.213700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.891800 | c 6 > 13.891800 | c 32 > -1.000000 | c 5 > 24.230100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.30/7.48 c choco : 14.12
7.30/7.48 c mistral : 4.08338
7.30/7.48 c abscon : 426.173
7.30/7.48 c
7.30/7.48 c
7.30/7.48 c /home/eomahony/cpZilla/CSP/taillard/os-taillard-20/os-taillard-20-95-1.xml
7.30/7.48 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 30.000000 | c 15 > 21.854600 | c 34 > 50.000000 | c 16 > 2.000000 | c 13 > 6.716770 | c 14 > 11.898200 | c 11 > 8.643860 | c 12 > 6.416800 | c 21 > 34.842300 | c 20 > 100.000000 | c 22 > 35.566800 | 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 > 8.643860 | c 10 > 15.213700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.891800 | c 6 > 13.891800 | c 32 > -1.000000 | c 5 > 24.177100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.30/7.48 c choco : 166.52
7.30/7.49 c mistral : 1800.05
7.30/7.49 c abscon : 1800.12
7.30/7.49 c
7.30/7.49 c
7.30/7.49 c /home/eomahony/cpZilla/CSP/taillard/os-taillard-20/os-taillard-20-100-9.xml
7.30/7.49 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 30.000000 | c 15 > 21.216600 | c 34 > 50.000000 | c 16 > 2.000000 | c 13 > 3.273180 | c 14 > 9.011230 | c 11 > 8.643860 | c 12 > 6.261150 | c 21 > 35.132700 | c 20 > 100.000000 | c 22 > 35.832900 | 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 > 8.643860 | c 10 > 15.213700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.891800 | c 6 > 13.891800 | c 32 > -1.000000 | c 5 > 24.201000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.30/7.49 c choco : 14.31
7.30/7.49 c mistral : 1.90271
7.30/7.50 c abscon : 238.733
7.30/7.50 c
7.30/7.50 c
7.30/7.50 c /home/eomahony/cpZilla/CSP/taillard/os-taillard-20/os-taillard-20-105-5.xml
7.30/7.50 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 30.000000 | c 15 > 21.185300 | c 34 > 50.000000 | c 16 > 2.000000 | c 13 > 4.079100 | c 14 > 10.068800 | c 11 > 8.643860 | c 12 > 6.283550 | c 21 > 35.598000 | c 20 > 100.000000 | c 22 > 36.262900 | 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 > 8.643860 | c 10 > 15.213700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.891800 | c 6 > 13.891800 | c 32 > -1.000000 | c 5 > 24.238900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.39/7.50 c choco : 14.51
7.39/7.50 c mistral : 0.950854
7.39/7.50 c abscon : 115.872
7.39/7.51 c
7.39/7.51 c
7.39/7.51 c /home/eomahony/cpZilla/CSP/taillard/os-taillard-20/os-taillard-20-100-7.xml
7.39/7.51 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 30.000000 | c 15 > 21.060500 | c 34 > 50.000000 | c 16 > 2.000000 | c 13 > 2.596540 | c 14 > 8.734710 | c 11 > 8.643860 | c 12 > 6.258330 | c 21 > 34.929900 | c 20 > 100.000000 | c 22 > 35.623000 | 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 > 8.643860 | c 10 > 15.213700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.891800 | c 6 > 13.891800 | c 32 > -1.000000 | c 5 > 24.184300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.39/7.51 c choco : 14.33
7.39/7.51 c mistral : 0.916859
7.39/7.51 c abscon : 178.957
7.39/7.51 c
7.39/7.51 c
7.39/7.51 c /home/eomahony/cpZilla/CSP/taillard/os-taillard-15/os-taillard-15-105-5.xml
7.39/7.51 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 30.000000 | c 15 > 21.722400 | c 34 > 50.000000 | c 16 > 2.000000 | c 13 > 5.519230 | c 14 > 9.449150 | c 11 > 7.813780 | c 12 > 5.928210 | c 21 > 30.960000 | c 20 > 100.000000 | c 22 > 31.733300 | 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 > 7.813780 | c 10 > 13.943100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.621100 | c 6 > 12.621100 | c 32 > -1.000000 | c 5 > 22.579300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.39/7.52 c choco : 53.91
7.39/7.52 c mistral : 0.288955
7.39/7.52 c abscon : 41.3687
7.39/7.52 c
7.39/7.52 c
7.39/7.52 c /home/eomahony/cpZilla/CSP/taillard/os-taillard-15/os-taillard-15-105-1.xml
7.39/7.52 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 30.000000 | c 15 > 21.529700 | c 34 > 50.000000 | c 16 > 2.000000 | c 13 > 5.961620 | c 14 > 10.410500 | c 11 > 7.813780 | c 12 > 5.964190 | c 21 > 30.902400 | c 20 > 100.000000 | c 22 > 31.701700 | 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 > 7.813780 | c 10 > 13.943100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.621100 | c 6 > 12.621100 | c 32 > -1.000000 | c 5 > 22.574000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.39/7.53 c choco : 12.73
7.39/7.53 c mistral : 0.296954
7.39/7.53 c abscon : 41.0688
7.39/7.53 c
7.39/7.53 c
7.39/7.53 c /home/eomahony/cpZilla/CSP/taillard/os-taillard-20/os-taillard-20-105-9.xml
7.39/7.53 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 30.000000 | c 15 > 21.408300 | c 34 > 50.000000 | c 16 > 2.000000 | c 13 > 2.615750 | c 14 > 9.019590 | c 11 > 8.643860 | c 12 > 6.257670 | c 21 > 36.032100 | c 20 > 100.000000 | c 22 > 36.715100 | 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 > 8.643860 | c 10 > 15.213700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.891800 | c 6 > 13.891800 | c 32 > -1.000000 | c 5 > 24.273800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.39/7.53 c choco : 14.67
7.39/7.53 c mistral : 0.792879
7.39/7.53 c abscon : 117.223
7.39/7.53 c
7.39/7.53 c
7.58/7.72 c Length: 10
7.58/7.72 c 2.0370353804978456 2.844493596072947 3.487996192056407 3.6768853561268404 3.849065150890539 3.9812430659154683 4.19797164452072 4.53973725016107 4.747326665387585 5.0559597382989505
7.58/7.72 c
7.58/7.72 c 1.0 0.7889760890107126 0.6753919269549337 0.6480082832383881 0.6249126523852593 0.6082700060188706 0.5828196119952845 0.5467455118177152 0.526935019744379 0.5
7.58/7.73 c
7.58/7.73 c solver 0
7.58/7.73 c before 0.0 seconds: {} 0
7.58/7.73 c before 54.0 seconds: {7, 8} 1073
7.58/7.73 c before 126.0 seconds: {1, 5, 7, 8, 9} 2970
7.58/7.73 c before 180.0 seconds: {1, 5, 6, 7, 8, 9} 3553
7.58/7.73 c before 252.0 seconds: {1, 4, 5, 6, 7, 8, 9} 4178
7.58/7.73 c before 432.0 seconds: {1, 2, 4, 5, 6, 7, 8, 9} 4854
7.58/7.73 c before 648.0 seconds: {0, 1, 2, 4, 5, 6, 7, 8, 9} 5854
7.58/7.73 c
7.58/7.73 c solver 1
7.58/7.73 c before 0.0 seconds: {} 0
7.58/7.73 c before 18.0 seconds: {0, 1, 2, 4, 5, 6, 7, 8, 9} 5854
7.58/7.73 c
7.58/7.73 c solver 2
7.58/7.73 c before 0.0 seconds: {} 0
7.58/7.73 c before 18.0 seconds: {0, 1, 2, 4, 5, 6, 8, 9} 5307
7.58/7.73 c before 54.0 seconds: {0, 1, 2, 4, 5, 6, 7, 8, 9} 5854
7.58/7.73 c before 180.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6502
7.58/7.73 c
7.58/7.73 cTotal time: 47
7.58/7.73 c 846.0 seconds unused
7.58/7.73 c 0 c 0 c 0
7.58/7.73 c 0 c 0 c 0
7.58/7.73 c 1 c 1 c 0
7.58/7.73 c is solver0 dominated by:
7.58/7.73 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: false) (0 is equally as fast as 1: false) (0 < 1: false)
7.58/7.73 c is dominated? true
7.58/7.73 c
7.58/7.73 c is solver1 dominated by:
7.58/7.73 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: true) (1 is equally as fast as 0: false) (1 < 0: true)
7.58/7.73 c solver 2 (1 solves instances that 2 can't: false) (2 doesn't solve instances that 1 can't: false) (1 is faster than 2: true) (1 is equally as fast as 2: false) (1 < 2: false)
7.58/7.73 c is dominated? true
7.58/7.73 c
7.58/7.73 c is solver2 dominated by:
7.58/7.73 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.58/7.73 c solver 1 (2 solves instances that 1 can't: true) (1 doesn't solve instances that 2 can't: true) (2 is faster than 1: false) (2 is equally as fast as 1: false) (2 < 1: true)
7.58/7.73 c is dominated? false
7.58/7.73 c
7.58/7.73 c Number of non-dominated solvers: 1
7.58/7.73 c remove dominated solvers
7.58/7.73 c solver 2 is not dominated by another solver
7.58/7.73 c solver 1 is dominated by another solver
7.58/7.73 c solver 0 is dominated by another solver
7.58/7.73 c
7.58/7.73 c solver 0: 0.0
7.58/7.73 c
7.58/7.73 c solver 1: 0.0
7.58/7.73 c
7.58/7.73 c solver 2: 180.0
7.58/7.73 c
7.58/7.73 c+ 10/10 of 90
7.58/7.73 c do not run abscon
7.58/7.73 c do not run mistral
7.58/7.73 c run choco for 1800.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6502
7.58/7.74 c Starting solver: HOME/cpHydra_k_10/solver/choco
7.58/7.74 c On Instance: HOME/instance-1074672-1215179287.xml
7.58/7.74 c Running for: 1800 seconds
11.73/11.93 s UNSATISFIABLE
11.73/11.93 d ASSIGNMENTS 0
11.73/11.93 c UNSAT 4066 TIME 0 NDS 1101 PARSTIME 2847 BUILDPB 118 RES null 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-1074672-1215179287/watcher-1074672-1215179287 -o /tmp/evaluation-result-1074672-1215179287/solver-1074672-1215179287 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1074672-1215179287.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
[startup+0 s]
/proc/loadavg: 0.92 0.98 1.08 5/72 31603
/proc/meminfo: memFree=1753520/2055920 swapFree=4181452/4192956
[pid=31603] ppid=31599 vsize=18572 CPUtime=0
/proc/31603/stat : 31603 (runsolver) R 31599 31557 31557 0 -1 4194368 10 0 0 0 0 0 0 0 20 0 1 0 129939728 19017728 290 996147200 4194304 4296836 548682068480 18446744073709551615 210720814796 0 0 4096 24578 0 0 0 17 0 0 0
/proc/31603/statm: 4643 290 255 25 0 2626 0
Current StackSize limit: 10240 KiB
[startup+0.259303 s]
/proc/loadavg: 0.92 0.98 1.08 5/72 31603
/proc/meminfo: memFree=1753520/2055920 swapFree=4181452/4192956
[pid=31603] ppid=31599 vsize=5360 CPUtime=0
/proc/31603/stat : 31603 (hydra) S 31599 31603 31557 0 -1 4194304 330 247 0 0 0 0 0 0 17 0 1 0 129939728 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 210723464004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/31603/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.301307 s]
/proc/loadavg: 0.92 0.98 1.08 5/72 31603
/proc/meminfo: memFree=1753520/2055920 swapFree=4181452/4192956
[pid=31603] ppid=31599 vsize=5360 CPUtime=0
/proc/31603/stat : 31603 (hydra) S 31599 31603 31557 0 -1 4194304 330 247 0 0 0 0 0 0 17 0 1 0 129939728 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 210723464004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/31603/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.401326 s]
/proc/loadavg: 0.92 0.98 1.08 5/72 31603
/proc/meminfo: memFree=1753520/2055920 swapFree=4181452/4192956
[pid=31603] ppid=31599 vsize=5360 CPUtime=0
/proc/31603/stat : 31603 (hydra) S 31599 31603 31557 0 -1 4194304 330 247 0 0 0 0 0 0 17 0 1 0 129939728 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 210723464004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/31603/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.701358 s]
/proc/loadavg: 0.92 0.98 1.08 5/72 31603
/proc/meminfo: memFree=1753520/2055920 swapFree=4181452/4192956
[pid=31603] ppid=31599 vsize=5360 CPUtime=0
/proc/31603/stat : 31603 (hydra) S 31599 31603 31557 0 -1 4194304 330 247 0 0 0 0 0 0 17 0 1 0 129939728 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 210723464004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/31603/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+1.50245 s]
/proc/loadavg: 0.92 0.98 1.08 4/76 31611
/proc/meminfo: memFree=1690312/2055920 swapFree=4181452/4192956
[pid=31603] ppid=31599 vsize=5360 CPUtime=0
/proc/31603/stat : 31603 (hydra) S 31599 31603 31557 0 -1 4194304 330 247 0 0 0 0 0 0 17 0 1 0 129939728 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 210723464004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/31603/statm: 1340 236 195 169 0 51 0
[pid=31610] ppid=31603 vsize=36264 CPUtime=1.47
/proc/31610/stat : 31610 (xsolve) R 31603 31603 31557 0 -1 4194304 8434 0 0 0 143 4 0 0 25 0 1 0 129939729 37134336 8196 996147200 134512640 135239763 4294956176 18446744073709551615 135030850 0 0 4096 0 0 0 0 17 0 0 0
/proc/31610/statm: 9066 8196 422 177 0 7969 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 41624
[startup+3.10264 s]
/proc/loadavg: 0.92 0.98 1.08 6/92 31635
/proc/meminfo: memFree=1740808/2055920 swapFree=4181452/4192956
[pid=31603] ppid=31599 vsize=5360 CPUtime=2.03
/proc/31603/stat : 31603 (hydra) S 31599 31603 31557 0 -1 4194304 375 9031 0 0 0 0 197 6 20 0 1 0 129939728 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 210723464004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/31603/statm: 1340 238 196 169 0 51 0
[pid=31615] ppid=31603 vsize=197024 CPUtime=1.03
/proc/31615/stat : 31615 (java) S 31603 31603 31557 0 -1 0 4754 0 1 0 97 6 0 0 21 0 9 0 129939933 201752576 4002 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31615/statm: 49256 4002 1677 9 0 43839 0
[pid=31615/tid=31616] ppid=31603 vsize=197024 CPUtime=0.78
/proc/31615/task/31616/stat : 31616 (java) R 31603 31603 31557 0 -1 64 2676 0 1 0 76 2 0 0 25 0 9 0 129939934 201752576 4002 996147200 134512640 134550740 4294955968 18446744073709551615 102492634 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31615/tid=31617] ppid=31603 vsize=197024 CPUtime=0.09
/proc/31615/task/31617/stat : 31617 (java) S 31603 31603 31557 0 -1 64 749 0 0 0 8 1 0 0 16 0 9 0 129939936 201752576 4002 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=31615/tid=31618] ppid=31603 vsize=197024 CPUtime=0
/proc/31615/task/31618/stat : 31618 (java) S 31603 31603 31557 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 129939936 201752576 4002 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31615/tid=31619] ppid=31603 vsize=197024 CPUtime=0
/proc/31615/task/31619/stat : 31619 (java) S 31603 31603 31557 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 129939936 201752576 4002 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31615/tid=31625] ppid=31603 vsize=197024 CPUtime=0
/proc/31615/task/31625/stat : 31625 (java) S 31603 31603 31557 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 129939938 201752576 4002 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31615/tid=31626] ppid=31603 vsize=197024 CPUtime=0.12
/proc/31615/task/31626/stat : 31626 (java) S 31603 31603 31557 0 -1 64 605 0 0 0 12 0 0 0 16 0 9 0 129939938 201752576 4002 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31615/tid=31627] ppid=31603 vsize=197024 CPUtime=0
/proc/31615/task/31627/stat : 31627 (java) S 31603 31603 31557 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 129939938 201752576 4002 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31615/tid=31628] ppid=31603 vsize=197024 CPUtime=0
/proc/31615/task/31628/stat : 31628 (java) S 31603 31603 31557 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 129939938 201752576 4002 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 202384
[startup+6.30301 s]
/proc/loadavg: 1.09 1.02 1.09 5/92 31635
/proc/meminfo: memFree=1711368/2055920 swapFree=4181452/4192956
[pid=31603] ppid=31599 vsize=5360 CPUtime=2.03
/proc/31603/stat : 31603 (hydra) S 31599 31603 31557 0 -1 4194304 375 9031 0 0 0 0 197 6 20 0 1 0 129939728 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 210723464004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/31603/statm: 1340 238 196 169 0 51 0
[pid=31615] ppid=31603 vsize=197024 CPUtime=4.19
/proc/31615/stat : 31615 (java) S 31603 31603 31557 0 -1 0 9885 0 1 0 404 15 0 0 21 0 9 0 129939933 201752576 8194 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31615/statm: 49256 8194 2540 9 0 43839 0
[pid=31615/tid=31616] ppid=31603 vsize=197024 CPUtime=3.29
/proc/31615/task/31616/stat : 31616 (java) R 31603 31603 31557 0 -1 64 3531 0 1 0 324 5 0 0 25 0 9 0 129939934 201752576 8194 996147200 134512640 134550740 4294955968 18446744073709551615 4126460837 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31615/tid=31617] ppid=31603 vsize=197024 CPUtime=0.71
/proc/31615/task/31617/stat : 31617 (java) S 31603 31603 31557 0 -1 64 5000 0 0 0 63 8 0 0 16 0 9 0 129939936 201752576 8194 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=31615/tid=31618] ppid=31603 vsize=197024 CPUtime=0
/proc/31615/task/31618/stat : 31618 (java) S 31603 31603 31557 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 129939936 201752576 8194 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31615/tid=31619] ppid=31603 vsize=197024 CPUtime=0
/proc/31615/task/31619/stat : 31619 (java) S 31603 31603 31557 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 129939936 201752576 8194 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31615/tid=31625] ppid=31603 vsize=197024 CPUtime=0
/proc/31615/task/31625/stat : 31625 (java) S 31603 31603 31557 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 129939938 201752576 8194 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31615/tid=31626] ppid=31603 vsize=197024 CPUtime=0.16
/proc/31615/task/31626/stat : 31626 (java) S 31603 31603 31557 0 -1 64 630 0 0 0 16 0 0 0 16 0 9 0 129939938 201752576 8194 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31615/tid=31627] ppid=31603 vsize=197024 CPUtime=0
/proc/31615/task/31627/stat : 31627 (java) S 31603 31603 31557 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 129939938 201752576 8194 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31615/tid=31628] ppid=31603 vsize=197024 CPUtime=0
/proc/31615/task/31628/stat : 31628 (java) S 31603 31603 31557 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 129939938 201752576 8194 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 202384
Solver just ended. Dumping a history of the last processes samples
[startup+6.50203 s]
/proc/loadavg: 1.09 1.02 1.09 5/92 31635
/proc/meminfo: memFree=1711368/2055920 swapFree=4181452/4192956
[pid=31603] ppid=31599 vsize=5360 CPUtime=2.03
/proc/31603/stat : 31603 (hydra) S 31599 31603 31557 0 -1 4194304 375 9031 0 0 0 0 197 6 20 0 1 0 129939728 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 210723464004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/31603/statm: 1340 238 196 169 0 51 0
[pid=31615] ppid=31603 vsize=197024 CPUtime=4.39
/proc/31615/stat : 31615 (java) S 31603 31603 31557 0 -1 0 10119 0 1 0 423 16 0 0 21 0 9 0 129939933 201752576 8389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31615/statm: 49256 8389 2540 9 0 43839 0
[pid=31615/tid=31616] ppid=31603 vsize=197024 CPUtime=3.46
/proc/31615/task/31616/stat : 31616 (java) R 31603 31603 31557 0 -1 64 3570 0 1 0 341 5 0 0 25 0 9 0 129939934 201752576 8389 996147200 134512640 134550740 4294955968 18446744073709551615 4126468997 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31615/tid=31617] ppid=31603 vsize=197024 CPUtime=0.73
/proc/31615/task/31617/stat : 31617 (java) S 31603 31603 31557 0 -1 64 5195 0 0 0 64 9 0 0 16 0 9 0 129939936 201752576 8389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=31615/tid=31618] ppid=31603 vsize=197024 CPUtime=0
/proc/31615/task/31618/stat : 31618 (java) S 31603 31603 31557 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 129939936 201752576 8389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31615/tid=31619] ppid=31603 vsize=197024 CPUtime=0
/proc/31615/task/31619/stat : 31619 (java) S 31603 31603 31557 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 129939936 201752576 8389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31615/tid=31625] ppid=31603 vsize=197024 CPUtime=0
/proc/31615/task/31625/stat : 31625 (java) S 31603 31603 31557 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 129939938 201752576 8389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31615/tid=31626] ppid=31603 vsize=197024 CPUtime=0.16
/proc/31615/task/31626/stat : 31626 (java) S 31603 31603 31557 0 -1 64 630 0 0 0 16 0 0 0 16 0 9 0 129939938 201752576 8389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31615/tid=31627] ppid=31603 vsize=197024 CPUtime=0
/proc/31615/task/31627/stat : 31627 (java) S 31603 31603 31557 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 129939938 201752576 8389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31615/tid=31628] ppid=31603 vsize=197024 CPUtime=0
/proc/31615/task/31628/stat : 31628 (java) S 31603 31603 31557 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 129939938 201752576 8389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.42
Current children cumulated vsize (KiB) 202384
[startup+9.70241 s]
/proc/loadavg: 1.24 1.05 1.10 4/106 31649
/proc/meminfo: memFree=1609304/2055920 swapFree=4181452/4192956
[pid=31603] ppid=31599 vsize=5360 CPUtime=2.03
/proc/31603/stat : 31603 (hydra) S 31599 31603 31557 0 -1 4194304 375 9031 0 0 0 0 197 6 20 0 1 0 129939728 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 210723464004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/31603/statm: 1340 238 196 169 0 51 0
[pid=31615] ppid=31603 vsize=197348 CPUtime=5.59
/proc/31615/stat : 31615 (java) S 31603 31603 31557 0 -1 0 13857 0 1 0 535 24 0 0 21 0 10 0 129939933 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31615/statm: 49337 9391 2543 9 0 43920 0
[pid=31637] ppid=31615 vsize=5356 CPUtime=0
/proc/31637/stat : 31637 (choco) S 31615 31603 31557 0 -1 4194304 294 0 0 0 0 0 0 0 18 0 1 0 129940502 5484544 238 996147200 4194304 4889804 548682068592 18446744073709551615 210723464004 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/31637/statm: 1339 238 197 169 0 50 0
[pid=31638] ppid=31637 vsize=655500 CPUtime=1.92
/proc/31638/stat : 31638 (java) S 31637 31603 31557 0 -1 0 17820 0 1 0 181 11 0 0 19 0 9 0 129940503 671232000 17404 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31638/statm: 163875 17404 1925 9 0 158404 0
[pid=31638/tid=31639] ppid=31637 vsize=655500 CPUtime=1.5
/proc/31638/task/31639/stat : 31639 (java) R 31637 31603 31557 0 -1 64 12049 0 1 0 142 8 0 0 23 0 9 0 129940504 671232000 17404 996147200 134512640 134550740 4294955920 18446744073709551615 4126921325 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31638/tid=31640] ppid=31637 vsize=655500 CPUtime=0.13
/proc/31638/task/31640/stat : 31640 (java) S 31637 31603 31557 0 -1 64 4606 0 0 0 12 1 0 0 16 0 9 0 129940505 671232000 17404 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31638/tid=31641] ppid=31637 vsize=655500 CPUtime=0
/proc/31638/task/31641/stat : 31641 (java) S 31637 31603 31557 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 129940505 671232000 17404 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31638/tid=31642] ppid=31637 vsize=655500 CPUtime=0
/proc/31638/task/31642/stat : 31642 (java) S 31637 31603 31557 0 -1 64 10 0 0 0 0 0 0 0 15 0 9 0 129940505 671232000 17404 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31638/tid=31643] ppid=31637 vsize=655500 CPUtime=0
/proc/31638/task/31643/stat : 31643 (java) S 31637 31603 31557 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 129940507 671232000 17404 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31638/tid=31644] ppid=31637 vsize=655500 CPUtime=0.26
/proc/31638/task/31644/stat : 31644 (java) S 31637 31603 31557 0 -1 64 613 0 0 0 26 0 0 0 16 0 9 0 129940507 671232000 17404 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31638/tid=31645] ppid=31637 vsize=655500 CPUtime=0
/proc/31638/task/31645/stat : 31645 (java) S 31637 31603 31557 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 129940507 671232000 17404 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31638/tid=31646] ppid=31637 vsize=655500 CPUtime=0
/proc/31638/task/31646/stat : 31646 (java) S 31637 31603 31557 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 129940507 671232000 17404 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31615/tid=31616] ppid=31603 vsize=197348 CPUtime=4.34
/proc/31615/task/31616/stat : 31616 (java) S 31603 31603 31557 0 -1 64 3853 0 1 0 425 9 0 0 17 0 10 0 129939934 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=31615/tid=31617] ppid=31603 vsize=197348 CPUtime=1.02
/proc/31615/task/31617/stat : 31617 (java) S 31603 31603 31557 0 -1 64 8559 0 0 0 90 12 0 0 16 0 10 0 129939936 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=31615/tid=31618] ppid=31603 vsize=197348 CPUtime=0
/proc/31615/task/31618/stat : 31618 (java) S 31603 31603 31557 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 129939936 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31615/tid=31619] ppid=31603 vsize=197348 CPUtime=0
/proc/31615/task/31619/stat : 31619 (java) S 31603 31603 31557 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 129939936 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31615/tid=31625] ppid=31603 vsize=197348 CPUtime=0
/proc/31615/task/31625/stat : 31625 (java) S 31603 31603 31557 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 129939938 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31615/tid=31626] ppid=31603 vsize=197348 CPUtime=0.19
/proc/31615/task/31626/stat : 31626 (java) S 31603 31603 31557 0 -1 64 648 0 0 0 19 0 0 0 16 0 10 0 129939938 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31615/tid=31627] ppid=31603 vsize=197348 CPUtime=0
/proc/31615/task/31627/stat : 31627 (java) S 31603 31603 31557 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 129939938 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31615/tid=31628] ppid=31603 vsize=197348 CPUtime=0
/proc/31615/task/31628/stat : 31628 (java) S 31603 31603 31557 0 -1 64 4 0 0 0 0 0 0 0 15 0 10 0 129939938 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31615/tid=31636] ppid=31603 vsize=197348 CPUtime=0
/proc/31615/task/31636/stat : 31636 (java) S 31603 31603 31557 0 -1 64 69 0 0 0 0 0 0 0 25 0 10 0 129940502 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 9.54
Current children cumulated vsize (KiB) 863564
[startup+11.3036 s]
/proc/loadavg: 1.24 1.05 1.10 5/106 31649
/proc/meminfo: memFree=1602456/2055920 swapFree=4181452/4192956
[pid=31603] ppid=31599 vsize=5360 CPUtime=2.03
/proc/31603/stat : 31603 (hydra) S 31599 31603 31557 0 -1 4194304 375 9031 0 0 0 0 197 6 20 0 1 0 129939728 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 210723464004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/31603/statm: 1340 238 196 169 0 51 0
[pid=31615] ppid=31603 vsize=197348 CPUtime=5.59
/proc/31615/stat : 31615 (java) S 31603 31603 31557 0 -1 0 13857 0 1 0 535 24 0 0 21 0 10 0 129939933 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31615/statm: 49337 9391 2543 9 0 43920 0
[pid=31637] ppid=31615 vsize=5356 CPUtime=0
/proc/31637/stat : 31637 (choco) S 31615 31603 31557 0 -1 4194304 294 0 0 0 0 0 0 0 18 0 1 0 129940502 5484544 238 996147200 4194304 4889804 548682068592 18446744073709551615 210723464004 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/31637/statm: 1339 238 197 169 0 50 0
[pid=31638] ppid=31637 vsize=655500 CPUtime=3.51
/proc/31638/stat : 31638 (java) S 31637 31603 31557 0 -1 0 17829 0 1 0 340 11 0 0 19 0 9 0 129940503 671232000 17404 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31638/statm: 163875 17404 1925 9 0 158404 0
[pid=31638/tid=31639] ppid=31637 vsize=655500 CPUtime=3.05
/proc/31638/task/31639/stat : 31639 (java) R 31637 31603 31557 0 -1 64 12058 0 1 0 297 8 0 0 25 0 9 0 129940504 671232000 17404 996147200 134512640 134550740 4294955920 18446744073709551615 4126684468 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31638/tid=31640] ppid=31637 vsize=655500 CPUtime=0.17
/proc/31638/task/31640/stat : 31640 (java) S 31637 31603 31557 0 -1 64 4606 0 0 0 16 1 0 0 16 0 9 0 129940505 671232000 17404 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31638/tid=31641] ppid=31637 vsize=655500 CPUtime=0
/proc/31638/task/31641/stat : 31641 (java) S 31637 31603 31557 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 129940505 671232000 17404 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31638/tid=31642] ppid=31637 vsize=655500 CPUtime=0
/proc/31638/task/31642/stat : 31642 (java) S 31637 31603 31557 0 -1 64 10 0 0 0 0 0 0 0 15 0 9 0 129940505 671232000 17404 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31638/tid=31643] ppid=31637 vsize=655500 CPUtime=0
/proc/31638/task/31643/stat : 31643 (java) S 31637 31603 31557 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 129940507 671232000 17404 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31638/tid=31644] ppid=31637 vsize=655500 CPUtime=0.26
/proc/31638/task/31644/stat : 31644 (java) S 31637 31603 31557 0 -1 64 613 0 0 0 26 0 0 0 16 0 9 0 129940507 671232000 17404 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31638/tid=31645] ppid=31637 vsize=655500 CPUtime=0
/proc/31638/task/31645/stat : 31645 (java) S 31637 31603 31557 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 129940507 671232000 17404 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31638/tid=31646] ppid=31637 vsize=655500 CPUtime=0
/proc/31638/task/31646/stat : 31646 (java) S 31637 31603 31557 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 129940507 671232000 17404 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31615/tid=31616] ppid=31603 vsize=197348 CPUtime=4.34
/proc/31615/task/31616/stat : 31616 (java) S 31603 31603 31557 0 -1 64 3853 0 1 0 425 9 0 0 17 0 10 0 129939934 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=31615/tid=31617] ppid=31603 vsize=197348 CPUtime=1.02
/proc/31615/task/31617/stat : 31617 (java) S 31603 31603 31557 0 -1 64 8559 0 0 0 90 12 0 0 16 0 10 0 129939936 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=31615/tid=31618] ppid=31603 vsize=197348 CPUtime=0
/proc/31615/task/31618/stat : 31618 (java) S 31603 31603 31557 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 129939936 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31615/tid=31619] ppid=31603 vsize=197348 CPUtime=0
/proc/31615/task/31619/stat : 31619 (java) S 31603 31603 31557 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 129939936 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31615/tid=31625] ppid=31603 vsize=197348 CPUtime=0
/proc/31615/task/31625/stat : 31625 (java) S 31603 31603 31557 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 129939938 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31615/tid=31626] ppid=31603 vsize=197348 CPUtime=0.19
/proc/31615/task/31626/stat : 31626 (java) S 31603 31603 31557 0 -1 64 648 0 0 0 19 0 0 0 16 0 10 0 129939938 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31615/tid=31627] ppid=31603 vsize=197348 CPUtime=0
/proc/31615/task/31627/stat : 31627 (java) S 31603 31603 31557 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 129939938 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31615/tid=31628] ppid=31603 vsize=197348 CPUtime=0
/proc/31615/task/31628/stat : 31628 (java) S 31603 31603 31557 0 -1 64 4 0 0 0 0 0 0 0 15 0 10 0 129939938 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31615/tid=31636] ppid=31603 vsize=197348 CPUtime=0
/proc/31615/task/31636/stat : 31636 (java) S 31603 31603 31557 0 -1 64 69 0 0 0 0 0 0 0 25 0 10 0 129940502 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 11.13
Current children cumulated vsize (KiB) 863564
[startup+11.7036 s]
/proc/loadavg: 1.24 1.05 1.10 5/106 31649
/proc/meminfo: memFree=1602456/2055920 swapFree=4181452/4192956
[pid=31603] ppid=31599 vsize=5360 CPUtime=2.03
/proc/31603/stat : 31603 (hydra) S 31599 31603 31557 0 -1 4194304 375 9031 0 0 0 0 197 6 20 0 1 0 129939728 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 210723464004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/31603/statm: 1340 238 196 169 0 51 0
[pid=31615] ppid=31603 vsize=197348 CPUtime=5.59
/proc/31615/stat : 31615 (java) S 31603 31603 31557 0 -1 0 13857 0 1 0 535 24 0 0 21 0 10 0 129939933 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31615/statm: 49337 9391 2543 9 0 43920 0
[pid=31637] ppid=31615 vsize=5356 CPUtime=0
/proc/31637/stat : 31637 (choco) S 31615 31603 31557 0 -1 4194304 294 0 0 0 0 0 0 0 18 0 1 0 129940502 5484544 238 996147200 4194304 4889804 548682068592 18446744073709551615 210723464004 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/31637/statm: 1339 238 197 169 0 50 0
[pid=31638] ppid=31637 vsize=655628 CPUtime=3.9
/proc/31638/stat : 31638 (java) S 31637 31603 31557 0 -1 0 17995 0 1 0 379 11 0 0 19 0 9 0 129940503 671363072 17563 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31638/statm: 163907 17563 1938 9 0 158436 0
[pid=31638/tid=31639] ppid=31637 vsize=655628 CPUtime=3.38
/proc/31638/task/31639/stat : 31639 (java) R 31637 31603 31557 0 -1 64 12188 0 1 0 329 9 0 0 25 0 9 0 129940504 671363072 17563 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31638/tid=31640] ppid=31637 vsize=655628 CPUtime=0.19
/proc/31638/task/31640/stat : 31640 (java) S 31637 31603 31557 0 -1 64 4606 0 0 0 18 1 0 0 16 0 9 0 129940505 671363072 17563 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31638/tid=31641] ppid=31637 vsize=655628 CPUtime=0
/proc/31638/task/31641/stat : 31641 (java) S 31637 31603 31557 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 129940505 671363072 17563 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31638/tid=31642] ppid=31637 vsize=655628 CPUtime=0
/proc/31638/task/31642/stat : 31642 (java) S 31637 31603 31557 0 -1 64 10 0 0 0 0 0 0 0 15 0 9 0 129940505 671363072 17563 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31638/tid=31643] ppid=31637 vsize=655628 CPUtime=0
/proc/31638/task/31643/stat : 31643 (java) S 31637 31603 31557 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 129940507 671363072 17563 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31638/tid=31644] ppid=31637 vsize=655628 CPUtime=0.31
/proc/31638/task/31644/stat : 31644 (java) S 31637 31603 31557 0 -1 64 649 0 0 0 31 0 0 0 15 0 9 0 129940507 671363072 17563 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31638/tid=31645] ppid=31637 vsize=655628 CPUtime=0
/proc/31638/task/31645/stat : 31645 (java) S 31637 31603 31557 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 129940507 671363072 17563 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31638/tid=31646] ppid=31637 vsize=655628 CPUtime=0
/proc/31638/task/31646/stat : 31646 (java) S 31637 31603 31557 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 129940507 671363072 17563 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31615/tid=31616] ppid=31603 vsize=197348 CPUtime=4.34
/proc/31615/task/31616/stat : 31616 (java) S 31603 31603 31557 0 -1 64 3853 0 1 0 425 9 0 0 17 0 10 0 129939934 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=31615/tid=31617] ppid=31603 vsize=197348 CPUtime=1.02
/proc/31615/task/31617/stat : 31617 (java) S 31603 31603 31557 0 -1 64 8559 0 0 0 90 12 0 0 16 0 10 0 129939936 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=31615/tid=31618] ppid=31603 vsize=197348 CPUtime=0
/proc/31615/task/31618/stat : 31618 (java) S 31603 31603 31557 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 129939936 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31615/tid=31619] ppid=31603 vsize=197348 CPUtime=0
/proc/31615/task/31619/stat : 31619 (java) S 31603 31603 31557 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 129939936 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31615/tid=31625] ppid=31603 vsize=197348 CPUtime=0
/proc/31615/task/31625/stat : 31625 (java) S 31603 31603 31557 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 129939938 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31615/tid=31626] ppid=31603 vsize=197348 CPUtime=0.19
/proc/31615/task/31626/stat : 31626 (java) S 31603 31603 31557 0 -1 64 648 0 0 0 19 0 0 0 16 0 10 0 129939938 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31615/tid=31627] ppid=31603 vsize=197348 CPUtime=0
/proc/31615/task/31627/stat : 31627 (java) S 31603 31603 31557 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 129939938 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31615/tid=31628] ppid=31603 vsize=197348 CPUtime=0
/proc/31615/task/31628/stat : 31628 (java) S 31603 31603 31557 0 -1 64 4 0 0 0 0 0 0 0 15 0 10 0 129939938 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31615/tid=31636] ppid=31603 vsize=197348 CPUtime=0
/proc/31615/task/31636/stat : 31636 (java) S 31603 31603 31557 0 -1 64 69 0 0 0 0 0 0 0 25 0 10 0 129940502 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 11.52
Current children cumulated vsize (KiB) 863692
[startup+11.9027 s]
/proc/loadavg: 1.24 1.05 1.10 5/106 31649
/proc/meminfo: memFree=1602456/2055920 swapFree=4181452/4192956
[pid=31603] ppid=31599 vsize=5360 CPUtime=2.03
/proc/31603/stat : 31603 (hydra) S 31599 31603 31557 0 -1 4194304 375 9031 0 0 0 0 197 6 20 0 1 0 129939728 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 210723464004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/31603/statm: 1340 238 196 169 0 51 0
[pid=31615] ppid=31603 vsize=197348 CPUtime=5.59
/proc/31615/stat : 31615 (java) S 31603 31603 31557 0 -1 0 13857 0 1 0 535 24 0 0 21 0 10 0 129939933 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31615/statm: 49337 9391 2543 9 0 43920 0
[pid=31637] ppid=31615 vsize=5356 CPUtime=0
/proc/31637/stat : 31637 (choco) S 31615 31603 31557 0 -1 4194304 294 0 0 0 0 0 0 0 18 0 1 0 129940502 5484544 238 996147200 4194304 4889804 548682068592 18446744073709551615 210723464004 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/31637/statm: 1339 238 197 169 0 50 0
[pid=31638] ppid=31637 vsize=655628 CPUtime=4.11
/proc/31638/stat : 31638 (java) S 31637 31603 31557 0 -1 0 18051 0 3 0 399 12 0 0 19 0 9 0 129940503 671363072 17618 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31638/statm: 163907 17618 1940 9 0 158436 0
[pid=31638/tid=31639] ppid=31637 vsize=655628 CPUtime=3.52
/proc/31638/task/31639/stat : 31639 (java) R 31637 31603 31557 0 -1 64 12201 0 3 0 343 9 0 0 25 0 9 0 129940504 671363072 17618 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31638/tid=31640] ppid=31637 vsize=655628 CPUtime=0.19
/proc/31638/task/31640/stat : 31640 (java) S 31637 31603 31557 0 -1 64 4606 0 0 0 18 1 0 0 16 0 9 0 129940505 671363072 17618 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31638/tid=31641] ppid=31637 vsize=655628 CPUtime=0
/proc/31638/task/31641/stat : 31641 (java) S 31637 31603 31557 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 129940505 671363072 17618 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31638/tid=31642] ppid=31637 vsize=655628 CPUtime=0
/proc/31638/task/31642/stat : 31642 (java) S 31637 31603 31557 0 -1 64 10 0 0 0 0 0 0 0 15 0 9 0 129940505 671363072 17618 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31638/tid=31643] ppid=31637 vsize=655628 CPUtime=0
/proc/31638/task/31643/stat : 31643 (java) S 31637 31603 31557 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 129940507 671363072 17618 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31638/tid=31644] ppid=31637 vsize=655628 CPUtime=0.37
/proc/31638/task/31644/stat : 31644 (java) S 31637 31603 31557 0 -1 64 692 0 0 0 37 0 0 0 15 0 9 0 129940507 671363072 17618 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31638/tid=31645] ppid=31637 vsize=655628 CPUtime=0
/proc/31638/task/31645/stat : 31645 (java) S 31637 31603 31557 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 129940507 671363072 17618 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31638/tid=31646] ppid=31637 vsize=655628 CPUtime=0
/proc/31638/task/31646/stat : 31646 (java) S 31637 31603 31557 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 129940507 671363072 17618 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31615/tid=31616] ppid=31603 vsize=197348 CPUtime=4.34
/proc/31615/task/31616/stat : 31616 (java) S 31603 31603 31557 0 -1 64 3853 0 1 0 425 9 0 0 17 0 10 0 129939934 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=31615/tid=31617] ppid=31603 vsize=197348 CPUtime=1.02
/proc/31615/task/31617/stat : 31617 (java) S 31603 31603 31557 0 -1 64 8559 0 0 0 90 12 0 0 16 0 10 0 129939936 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=31615/tid=31618] ppid=31603 vsize=197348 CPUtime=0
/proc/31615/task/31618/stat : 31618 (java) S 31603 31603 31557 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 129939936 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31615/tid=31619] ppid=31603 vsize=197348 CPUtime=0
/proc/31615/task/31619/stat : 31619 (java) S 31603 31603 31557 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 129939936 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31615/tid=31625] ppid=31603 vsize=197348 CPUtime=0
/proc/31615/task/31625/stat : 31625 (java) S 31603 31603 31557 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 129939938 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31615/tid=31626] ppid=31603 vsize=197348 CPUtime=0.19
/proc/31615/task/31626/stat : 31626 (java) S 31603 31603 31557 0 -1 64 648 0 0 0 19 0 0 0 16 0 10 0 129939938 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31615/tid=31627] ppid=31603 vsize=197348 CPUtime=0
/proc/31615/task/31627/stat : 31627 (java) S 31603 31603 31557 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 129939938 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31615/tid=31628] ppid=31603 vsize=197348 CPUtime=0
/proc/31615/task/31628/stat : 31628 (java) S 31603 31603 31557 0 -1 64 4 0 0 0 0 0 0 0 15 0 10 0 129939938 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31615/tid=31636] ppid=31603 vsize=197348 CPUtime=0
/proc/31615/task/31636/stat : 31636 (java) S 31603 31603 31557 0 -1 64 69 0 0 0 0 0 0 0 25 0 10 0 129940502 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 11.73
Current children cumulated vsize (KiB) 863692
Child status: 0
Real time (s): 11.9636
CPU time (s): 11.7872
CPU user time (s): 11.3433
CPU system time (s): 0.443932
CPU usage (%): 98.5257
Max. virtual memory (cumulated for all children) (KiB): 863692
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.3433
system time used= 0.443932
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 41753
page faults= 4
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11503
involuntary context switches= 13033
runsolver used 0.034994 second user time and 0.104984 second system time
The end