0.00/0.00 c cpHydra_k_10 version 0.0
6.98/9.60 c CASE TO CLASSIFY:
6.98/9.60 c Case: 0
7.09/9.60 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 5.504590 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 18.614100 | c 34 > 0.000000 | c 16 > 16.000000 | c 13 > 4.949900 | c 14 > 7.960000 | c 11 > 8.562240 | c 12 > 6.258240 | c 21 > 5.099020 | c 20 > 94.495400 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 2.777780 | c 28 > 7.222220 | c 29 > -1.000000 | c 3 > 8.562240 | c 2 > -1.000000 | c 10 > 14.505300 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 14.333200 | c 32 > -1.000000 | c 5 > 15.641300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.09/9.61 c choco : 1801.0
7.09/9.61 c mistral : 1801.0
7.09/9.61 c abscon : 1801.0
7.09/9.61 c
7.09/9.61 c
7.09/9.68 c List of same ones: 10
7.09/9.68 c /home/ehebrard/new_instances/competition_4c/data/wordsHerald/crossword-m1-words-21-04.xml
7.09/9.68 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 5.504590 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 18.848800 | c 34 > 0.000000 | c 16 > 16.000000 | c 13 > 4.840840 | c 14 > 7.087460 | c 11 > 8.562240 | c 12 > 6.256290 | c 21 > 5.099020 | c 20 > 94.495400 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 2.777780 | c 28 > 7.222220 | c 29 > -1.000000 | c 3 > 8.562240 | c 2 > -1.000000 | c 10 > 14.505300 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 14.333200 | c 32 > -1.000000 | c 5 > 15.641300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.09/9.69 c choco : 1801.0
7.09/9.69 c mistral : 11.26
7.09/9.69 c abscon : 65.4
7.09/9.69 c
7.09/9.69 c
7.09/9.69 c /home/ehebrard/new_instances/competition_4c/data/lexHerald/crossword-m1-lex-21-04.xml
7.09/9.69 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 5.504590 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.433700 | c 34 > 0.000000 | c 16 > 16.000000 | c 13 > 5.441440 | c 14 > 7.774790 | c 11 > 8.562240 | c 12 > 6.373610 | c 21 > 5.099020 | c 20 > 94.495400 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 2.777780 | c 28 > 7.222220 | c 29 > -1.000000 | c 3 > 8.562240 | c 2 > -1.000000 | c 10 > 14.505300 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 14.333200 | c 32 > -1.000000 | c 5 > 15.641300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.09/9.69 c choco : 1801.0
7.09/9.69 c mistral : 264.18
7.09/9.69 c abscon : 74.51
7.09/9.69 c
7.09/9.69 c
7.09/9.69 c /home/ehebrard/new_instances/competition_4c/data/wordsHerald/crossword-m1-words-23-08.xml
7.09/9.69 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 5.298830 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.020600 | c 34 > 0.000000 | c 16 > 16.000000 | c 13 > 4.703870 | c 14 > 7.523560 | c 11 > 8.826550 | c 12 > 6.329420 | c 21 > 5.099020 | c 20 > 94.701200 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 3.488370 | c 28 > 6.511630 | c 29 > -1.000000 | c 3 > 8.826550 | c 2 > -1.000000 | c 10 > 14.853000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 14.685400 | c 32 > -1.000000 | c 5 > 15.977000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.18/9.70 c choco : 381.03
7.18/9.70 c mistral : 31.17
7.18/9.70 c abscon : 97.59
7.18/9.70 c
7.18/9.70 c
7.18/9.70 c /home/ehebrard/new_instances/competition_4c/data/ukHerald/crossword-m1-uk-21-04.xml
7.18/9.70 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 5.504590 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 17.601700 | c 34 > 0.000000 | c 16 > 16.000000 | c 13 > 4.540960 | c 14 > 7.044390 | c 11 > 8.562240 | c 12 > 6.139550 | c 21 > 5.099020 | c 20 > 94.495400 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 2.777780 | c 28 > 7.222220 | c 29 > -1.000000 | c 3 > 8.562240 | c 2 > -1.000000 | c 10 > 14.505300 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 14.333200 | c 32 > -1.000000 | c 5 > 15.641300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.18/9.71 c choco : 1801.0
7.18/9.71 c mistral : 16.28
7.18/9.71 c abscon : 34.36
7.18/9.71 c
7.18/9.71 c
7.18/9.71 c /home/ehebrard/new_instances/competition_4c/data/ogdHerald/crossword-m1-ogd-21-04.xml
7.18/9.71 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 5.504590 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 17.561000 | c 34 > 0.000000 | c 16 > 16.000000 | c 13 > 4.534980 | c 14 > 7.066090 | c 11 > 8.562240 | c 12 > 6.136190 | c 21 > 5.099020 | c 20 > 94.495400 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 2.777780 | c 28 > 7.222220 | c 29 > -1.000000 | c 3 > 8.562240 | c 2 > -1.000000 | c 10 > 14.505300 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 14.333200 | c 32 > -1.000000 | c 5 > 15.641300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.18/9.72 c choco : 32.26
7.18/9.72 c mistral : 7.5
7.18/9.72 c abscon : 26.16
7.18/9.72 c
7.18/9.72 c
7.18/9.72 c /home/ehebrard/new_instances/competition_4c/data/lexHerald/crossword-m1-lex-23-08.xml
7.18/9.72 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 5.298830 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.526100 | c 34 > 0.000000 | c 16 > 16.000000 | c 13 > 5.086710 | c 14 > 7.845490 | c 11 > 8.826550 | c 12 > 6.353010 | c 21 > 5.099020 | c 20 > 94.701200 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 3.488370 | c 28 > 6.511630 | c 29 > -1.000000 | c 3 > 8.826550 | c 2 > -1.000000 | c 10 > 14.853000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 14.685400 | c 32 > -1.000000 | c 5 > 15.977000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.18/9.73 c choco : 1801.0
7.18/9.73 c mistral : 1801.0
7.18/9.73 c abscon : 593.84
7.18/9.73 c
7.18/9.73 c
7.18/9.73 c /home/ehebrard/new_instances/competition_4c/data/wordsHerald/crossword-m1-words-21-09.xml
7.18/9.73 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 4.466500 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.039200 | c 34 > 0.000000 | c 16 > 16.000000 | c 13 > 5.324300 | c 14 > 8.098030 | c 11 > 8.515700 | c 12 > 6.527930 | c 21 > 5.099020 | c 20 > 95.533500 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 2.500000 | c 28 > 7.500000 | c 29 > -1.000000 | c 3 > 8.515700 | c 2 > -1.000000 | c 10 > 14.744800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 14.564600 | c 32 > -1.000000 | c 5 > 15.823300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.18/9.74 c choco : 35.95
7.18/9.74 c mistral : 21.07
7.18/9.74 c abscon : 28.75
7.18/9.74 c
7.18/9.74 c
7.18/9.74 c /home/ehebrard/new_instances/competition_4c/data/ukHerald/crossword-m1-uk-21-09.xml
7.18/9.74 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 4.466500 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 18.012900 | c 34 > 0.000000 | c 16 > 16.000000 | c 13 > 5.369810 | c 14 > 7.539160 | c 11 > 8.515700 | c 12 > 6.419970 | c 21 > 5.099020 | c 20 > 95.533500 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 2.500000 | c 28 > 7.500000 | c 29 > -1.000000 | c 3 > 8.515700 | c 2 > -1.000000 | c 10 > 14.744800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 14.564600 | c 32 > -1.000000 | c 5 > 15.823300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.18/9.74 c choco : 26.12
7.18/9.74 c mistral : 5.94
7.18/9.74 c abscon : 26.87
7.18/9.75 c
7.18/9.75 c
7.18/9.75 c /home/ehebrard/new_instances/competition_4c/data/lexHerald/crossword-m1-lex-21-09.xml
7.18/9.75 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 4.466500 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.381200 | c 34 > 0.000000 | c 16 > 16.000000 | c 13 > 5.363320 | c 14 > 7.988680 | c 11 > 8.515700 | c 12 > 6.554500 | c 21 > 5.099020 | c 20 > 95.533500 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 2.500000 | c 28 > 7.500000 | c 29 > -1.000000 | c 3 > 8.515700 | c 2 > -1.000000 | c 10 > 14.744800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 14.564600 | c 32 > -1.000000 | c 5 > 15.823300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.18/9.75 c choco : 1801.0
7.18/9.75 c mistral : 18.81
7.18/9.75 c abscon : 31.38
7.18/9.75 c
7.18/9.75 c
7.18/9.75 c /home/ehebrard/new_instances/competition_4c/data/ogdHerald/crossword-m1-ogd-21-09.xml
7.18/9.75 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 4.466500 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 18.119100 | c 34 > 0.000000 | c 16 > 16.000000 | c 13 > 5.613480 | c 14 > 7.562240 | c 11 > 8.515700 | c 12 > 6.536190 | c 21 > 5.099020 | c 20 > 95.533500 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 2.500000 | c 28 > 7.500000 | c 29 > -1.000000 | c 3 > 8.515700 | c 2 > -1.000000 | c 10 > 14.744800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 14.564600 | c 32 > -1.000000 | c 5 > 15.823300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.18/9.76 c choco : 23.97
7.18/9.76 c mistral : 5.16
7.18/9.76 c abscon : 26.74
7.18/9.76 c
7.18/9.76 c
7.37/9.94 c Length: 10
7.37/9.94 c 0.9101142937565588 0.9802901165471382 1.4188871565068168 1.4299002314147653 1.4474631280277923 1.5698650117446398 1.6942958463916507 1.7885739612048484 1.8182186624550962 1.8381514367973062
7.37/9.94 c
7.37/9.94 c 1.0 0.9296985461092104 0.6459010859475719 0.6409879462570292 0.6333055982582043 0.5844843419066155 0.5420085327794162 0.513721993668795 0.5054278970914743 0.5
7.37/9.95 c
7.37/9.95 c solver 0
7.37/9.95 c before 0.0 seconds: {} 0
7.37/9.95 c before 36.0 seconds: {3, 4, 6, 7, 8, 9} 3335
7.37/9.95 c before 72.0 seconds: {0, 3, 4, 6, 7, 8, 9} 4335
7.37/9.95 c before 90.0 seconds: {0, 1, 3, 4, 6, 7, 8, 9} 5265
7.37/9.95 c before 108.0 seconds: {0, 1, 2, 3, 4, 6, 7, 8, 9} 5911
7.37/9.95 c before 594.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6495
7.37/9.95 c
7.37/9.95 c solver 1
7.37/9.95 c before 0.0 seconds: {} 0
7.37/9.95 c before 18.0 seconds: {0, 3, 4, 7, 9} 3288
7.37/9.95 c before 36.0 seconds: {0, 2, 3, 4, 6, 7, 8, 9} 4981
7.37/9.95 c before 270.0 seconds: {0, 1, 2, 3, 4, 6, 7, 8, 9} 5911
7.37/9.95 c
7.37/9.95 c solver 2
7.37/9.95 c before 0.0 seconds: {} 0
7.37/9.95 c before 36.0 seconds: {4, 6, 7, 9} 2189
7.37/9.95 c before 396.0 seconds: {2, 4, 6, 7, 9} 2834
7.37/9.95 c
7.37/9.95 cTotal time: 70
7.37/9.95 c 1260.0 seconds unused
7.37/9.95 c 0 c 1 c 5
7.37/9.95 c 0 c 0 c 4
7.37/9.95 c 0 c 0 c 0
7.37/9.95 c is solver0 dominated by:
7.37/9.95 c solver 1 (0 solves instances that 1 can't: true) (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.37/9.95 c solver 2 (0 solves instances that 2 can't: true) (2 doesn't solve instances that 0 can't: true) (0 is faster than 2: false) (0 is equally as fast as 2: false) (0 < 2: false)
7.37/9.95 c is dominated? false
7.37/9.95 c
7.37/9.95 c is solver1 dominated by:
7.37/9.95 c solver 0 (1 solves instances that 0 can't: false) (0 doesn't solve instances that 1 can't: false) (1 is faster than 0: true) (1 is equally as fast as 0: false) (1 < 0: true)
7.37/9.95 c is dominated? true
7.37/9.95 c
7.37/9.95 c is solver2 dominated by:
7.37/9.95 c solver 0 (2 solves instances that 0 can't: false) (0 doesn't solve instances that 2 can't: false) (2 is faster than 0: true) (2 is equally as fast as 0: false) (2 < 0: true)
7.37/9.95 c is dominated? true
7.37/9.95 c
7.37/9.95 c Number of non-dominated solvers: 1
7.37/9.95 c remove dominated solvers
7.37/9.95 c solver 0 is not dominated by another solver
7.37/9.95 c solver 2 is dominated by another solver
7.37/9.95 c solver 1 is dominated by another solver
7.37/9.95 c
7.37/9.95 c solver 0: 594.0
7.37/9.95 c
7.37/9.95 c+ 33/33 of 67
7.37/9.95 c
7.37/9.95 c solver 1: 0.0
7.37/9.95 c
7.37/9.95 c solver 2: 0.0
7.37/9.95 c run abscon for 1800.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6495
7.37/9.95 c do not run mistral
7.37/9.95 c do not run choco
7.37/9.96 c Starting solver: HOME/cpHydra_k_10/solver/abscon
7.37/9.96 c On Instance: HOME/instance-1064223-1215140234.xml
7.37/9.96 c Running for: 1800 seconds
18.03/20.66 s SAT
18.03/20.66 v 18 2 14 17 8 0 2 0 18 10 4 3 22 8 13 4 18 0 15 2 0 19 0 17 17 7 18 14 0 13 4 17 14 20 11 0 3 4 14 20 19 7 8 17 4 18 0 19 4 12 4 13 19 0 12 4 3 14 3 4 3 4 21 14 8 17 18 14 0 18 8 18 20 13 8 19 0 17 4 19 17 0 18 18 0 3 24 19 0 2 17 14 2 4 19 4 13 18 14 17 19 18 11 4 4 15 18 0 0 12 4 17 4 3 18 10 8 13 18 18 4 0 17 8 15 0 17 8 0 11 19 0 13 18 15 0 11 12 18 13 0 17 4 1 4 18 4 19 18 22 4 19 11 14 14 10 2 14 17 15 18 4 0 20 13 4 18 2 0 17 4 18 12 0 17 4 18 4 0 17 18 14 0 15 18 0 17 10 18 13 0 17 4 18 7 0 17 13 19 8 6 15 0 17 4 18 18 0 11 4 18 18 14 17 4 18 0 18 18 8 18 8 18 20 18 19 0 8 13 18 19 17 4 4 19 18 14 13 18 15 0 8 13 18 0 15 8 0 4 13 2 11 0 18 15 18 12 4 18 18 12 0 17 19 0 18 18 11 0 17 4 18 24 0 11 4 18 15 4 0 15 8 11 4 0 0 21 0 18 18 15 11 0 24 12 0 0 17 18 14 12 4 17 13 0 15 18 0 11 4 12 1 4 18 19 4 0 3 0 3 3 4 17 14 19 4 12 0 1 17 0 4 18 19 17 4 7 0 11 0 19 17 20 4 12 4 13 3 0 13 19 4 19 8 1 4 19 0 13 18 4 19 11 8 13 4 0 12 8 18 18 14 18 19 17 0 2 0
18.03/20.66 d ASSIGNMENTS 1973
18.03/20.66 d CHECKS 1698944
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1064223-1215140234/watcher-1064223-1215140234 -o /tmp/evaluation-result-1064223-1215140234/solver-1064223-1215140234 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1064223-1215140234.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.92 1.98 1.99 4/82 1802
/proc/meminfo: memFree=1478848/2055920 swapFree=4169364/4192956
[pid=1802] ppid=1800 vsize=5360 CPUtime=0
/proc/1802/stat : 1802 (hydra) S 1800 1802 31812 0 -1 4194304 285 0 0 0 0 0 0 0 18 0 1 0 248497267 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 224264774468 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1802/statm: 1340 236 195 169 0 51 0
[pid=1803] ppid=1802 vsize=5360 CPUtime=0
/proc/1803/stat : 1803 (hydra) R 1802 1802 31812 0 -1 4194368 22 0 0 0 0 0 0 0 19 0 1 0 248497267 5488640 239 996147200 4194304 4889804 548682068816 18446744073709551615 224264776999 0 0 4096 0 0 0 0 17 1 0 0
/proc/1803/statm: 1340 239 198 169 0 51 0
[startup+0.0166369 s]
/proc/loadavg: 1.92 1.98 1.99 4/82 1802
/proc/meminfo: memFree=1478848/2055920 swapFree=4169364/4192956
[pid=1802] ppid=1800 vsize=5360 CPUtime=0
/proc/1802/stat : 1802 (hydra) S 1800 1802 31812 0 -1 4194304 285 0 0 0 0 0 0 0 18 0 1 0 248497267 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 224264774468 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1802/statm: 1340 236 195 169 0 51 0
[pid=1803] ppid=1802 vsize=2536 CPUtime=0
/proc/1803/stat : 1803 (rm) D 1802 1802 31812 0 -1 4194304 121 0 0 0 0 0 0 0 19 0 1 0 248497267 2596864 91 996147200 4194304 4227748 548682069024 18446744073709551615 224264950825 0 0 4096 0 18446744071563608069 0 0 17 1 0 0
/proc/1803/statm: 634 91 73 8 0 42 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 7896
[startup+0.102645 s]
/proc/loadavg: 1.92 1.98 1.99 4/82 1802
/proc/meminfo: memFree=1478848/2055920 swapFree=4169364/4192956
[pid=1802] ppid=1800 vsize=5360 CPUtime=0
/proc/1802/stat : 1802 (hydra) S 1800 1802 31812 0 -1 4194304 285 0 0 0 0 0 0 0 18 0 1 0 248497267 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 224264774468 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1802/statm: 1340 236 195 169 0 51 0
[pid=1803] ppid=1802 vsize=2536 CPUtime=0
/proc/1803/stat : 1803 (rm) D 1802 1802 31812 0 -1 4194304 121 0 0 0 0 0 0 0 19 0 1 0 248497267 2596864 91 996147200 4194304 4227748 548682069024 18446744073709551615 224264950825 0 0 4096 0 18446744071563608069 0 0 17 1 0 0
/proc/1803/statm: 634 91 73 8 0 42 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 7896
[startup+0.301667 s]
/proc/loadavg: 1.92 1.98 1.99 4/82 1802
/proc/meminfo: memFree=1478848/2055920 swapFree=4169364/4192956
[pid=1802] ppid=1800 vsize=5360 CPUtime=0
/proc/1802/stat : 1802 (hydra) S 1800 1802 31812 0 -1 4194304 285 0 0 0 0 0 0 0 18 0 1 0 248497267 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 224264774468 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1802/statm: 1340 236 195 169 0 51 0
[pid=1803] ppid=1802 vsize=2536 CPUtime=0
/proc/1803/stat : 1803 (rm) D 1802 1802 31812 0 -1 4194304 121 0 0 0 0 0 0 0 19 0 1 0 248497267 2596864 91 996147200 4194304 4227748 548682069024 18446744073709551615 224264950825 0 0 4096 0 18446744071563608069 0 0 17 1 0 0
/proc/1803/statm: 634 91 73 8 0 42 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 7896
[startup+0.70271 s]
/proc/loadavg: 1.92 1.98 1.99 4/82 1802
/proc/meminfo: memFree=1478848/2055920 swapFree=4169364/4192956
[pid=1802] ppid=1800 vsize=5360 CPUtime=0
/proc/1802/stat : 1802 (hydra) S 1800 1802 31812 0 -1 4194304 285 0 0 0 0 0 0 0 18 0 1 0 248497267 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 224264774468 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1802/statm: 1340 236 195 169 0 51 0
[pid=1803] ppid=1802 vsize=2536 CPUtime=0
/proc/1803/stat : 1803 (rm) D 1802 1802 31812 0 -1 4194304 121 0 0 0 0 0 0 0 19 0 1 0 248497267 2596864 91 996147200 4194304 4227748 548682069024 18446744073709551615 224264950825 0 0 4096 0 18446744071563608069 0 0 17 1 0 0
/proc/1803/statm: 634 91 73 8 0 42 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 7896
[startup+1.5018 s]
/proc/loadavg: 1.92 1.98 1.99 2/84 1804
/proc/meminfo: memFree=1478384/2055920 swapFree=4169364/4192956
[pid=1802] ppid=1800 vsize=5360 CPUtime=0
/proc/1802/stat : 1802 (hydra) S 1800 1802 31812 0 -1 4194304 285 0 0 0 0 0 0 0 18 0 1 0 248497267 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 224264774468 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1802/statm: 1340 236 195 169 0 51 0
[pid=1803] ppid=1802 vsize=2536 CPUtime=0
/proc/1803/stat : 1803 (rm) D 1802 1802 31812 0 -1 4194304 121 0 0 0 0 0 0 0 19 0 1 0 248497267 2596864 91 996147200 4194304 4227748 548682069024 18446744073709551615 224264950825 0 0 4096 0 18446744071563608069 0 0 17 1 0 0
/proc/1803/statm: 634 91 73 8 0 42 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 7896
[startup+3.10197 s]
/proc/loadavg: 1.92 1.98 1.99 2/84 1805
/proc/meminfo: memFree=1478448/2055920 swapFree=4169364/4192956
[pid=1802] ppid=1800 vsize=5360 CPUtime=0
/proc/1802/stat : 1802 (hydra) S 1800 1802 31812 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 248497267 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 224264774468 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1802/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+6.30231 s]
/proc/loadavg: 2.01 2.00 2.00 3/92 1818
/proc/meminfo: memFree=1470192/2055920 swapFree=4169364/4192956
[pid=1802] ppid=1800 vsize=5360 CPUtime=1.94
/proc/1802/stat : 1802 (hydra) S 1800 1802 31812 0 -1 4194304 375 6091 0 0 0 0 192 2 19 0 1 0 248497267 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 224264774468 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1802/statm: 1340 238 196 169 0 51 0
[pid=1810] ppid=1802 vsize=197024 CPUtime=1.85
/proc/1810/stat : 1810 (java) S 1802 1802 31812 0 -1 0 6976 0 1 0 178 7 0 0 20 0 9 0 248497711 201752576 5837 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/1810/statm: 49256 5837 2540 9 0 43839 0
[pid=1810/tid=1811] ppid=1802 vsize=197024 CPUtime=1.46
/proc/1810/task/1811/stat : 1811 (java) R 1802 1802 31812 0 -1 64 2899 0 1 0 144 2 0 0 25 0 9 0 248497712 201752576 5837 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1810/tid=1812] ppid=1802 vsize=197024 CPUtime=0.24
/proc/1810/task/1812/stat : 1812 (java) R 1802 1802 31812 0 -1 64 2736 0 0 0 20 4 0 0 15 0 9 0 248497713 201752576 5837 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=1810/tid=1813] ppid=1802 vsize=197024 CPUtime=0
/proc/1810/task/1813/stat : 1813 (java) S 1802 1802 31812 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 248497713 201752576 5837 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1810/tid=1814] ppid=1802 vsize=197024 CPUtime=0
/proc/1810/task/1814/stat : 1814 (java) S 1802 1802 31812 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 248497713 201752576 5837 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1810/tid=1815] ppid=1802 vsize=197024 CPUtime=0
/proc/1810/task/1815/stat : 1815 (java) S 1802 1802 31812 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 248497715 201752576 5837 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1810/tid=1816] ppid=1802 vsize=197024 CPUtime=0.13
/proc/1810/task/1816/stat : 1816 (java) S 1802 1802 31812 0 -1 64 616 0 0 0 13 0 0 0 16 0 9 0 248497715 201752576 5837 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1810/tid=1817] ppid=1802 vsize=197024 CPUtime=0
/proc/1810/task/1817/stat : 1817 (java) S 1802 1802 31812 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 248497715 201752576 5837 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1810/tid=1818] ppid=1802 vsize=197024 CPUtime=0
/proc/1810/task/1818/stat : 1818 (java) S 1802 1802 31812 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 248497715 201752576 5837 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.79
Current children cumulated vsize (KiB) 202384
[startup+12.703 s]
/proc/loadavg: 2.01 2.00 2.00 3/104 1830
/proc/meminfo: memFree=1373776/2055920 swapFree=4169364/4192956
[pid=1802] ppid=1800 vsize=5360 CPUtime=1.94
/proc/1802/stat : 1802 (hydra) S 1800 1802 31812 0 -1 4194304 375 6091 0 0 0 0 192 2 19 0 1 0 248497267 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 224264774468 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1802/statm: 1340 238 196 169 0 51 0
[pid=1810] ppid=1802 vsize=197348 CPUtime=5.48
/proc/1810/stat : 1810 (java) S 1802 1802 31812 0 -1 0 13858 0 1 0 532 16 0 0 20 0 10 0 248497711 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/1810/statm: 49337 9391 2543 9 0 43920 0
[pid=1820] ppid=1810 vsize=5356 CPUtime=0
/proc/1820/stat : 1820 (abscon) S 1810 1802 31812 0 -1 4194304 303 0 0 0 0 0 0 0 25 0 1 0 248498263 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 224264774468 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/1820/statm: 1339 235 194 169 0 50 0
[pid=1821] ppid=1820 vsize=655972 CPUtime=2.71
/proc/1821/stat : 1821 (java) S 1820 1802 31812 0 -1 0 30888 0 1 0 247 24 0 0 25 0 9 0 248498264 671715328 30201 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/1821/statm: 163993 30201 2615 9 0 158521 0
[pid=1821/tid=1823] ppid=1820 vsize=655972 CPUtime=2.05
/proc/1821/task/1823/stat : 1823 (java) R 1820 1802 31812 0 -1 64 12562 0 1 0 189 16 0 0 25 0 9 0 248498265 671715328 30201 996147200 134512640 134550740 4294955808 18446744073709551615 4126539272 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1821/tid=1824] ppid=1820 vsize=655972 CPUtime=0.37
/proc/1821/task/1824/stat : 1824 (java) S 1820 1802 31812 0 -1 64 17076 0 0 0 31 6 0 0 16 0 9 0 248498266 671715328 30201 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=1821/tid=1825] ppid=1820 vsize=655972 CPUtime=0
/proc/1821/task/1825/stat : 1825 (java) S 1820 1802 31812 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 248498267 671715328 30201 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1821/tid=1826] ppid=1820 vsize=655972 CPUtime=0
/proc/1821/task/1826/stat : 1826 (java) S 1820 1802 31812 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 248498267 671715328 30201 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1821/tid=1827] ppid=1820 vsize=655972 CPUtime=0
/proc/1821/task/1827/stat : 1827 (java) S 1820 1802 31812 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 248498269 671715328 30201 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1821/tid=1828] ppid=1820 vsize=655972 CPUtime=0.26
/proc/1821/task/1828/stat : 1828 (java) S 1820 1802 31812 0 -1 64 705 0 0 0 26 0 0 0 15 0 9 0 248498269 671715328 30201 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1821/tid=1829] ppid=1820 vsize=655972 CPUtime=0
/proc/1821/task/1829/stat : 1829 (java) S 1820 1802 31812 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 248498269 671715328 30201 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1821/tid=1830] ppid=1820 vsize=655972 CPUtime=0
/proc/1821/task/1830/stat : 1830 (java) S 1820 1802 31812 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 248498269 671715328 30201 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1822] ppid=1820 vsize=7044 CPUtime=0
/proc/1822/stat : 1822 (translate) S 1820 1802 31812 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 248498264 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 224264945746 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/1822/statm: 1761 213 182 1 0 41 0
[pid=1810/tid=1811] ppid=1802 vsize=197348 CPUtime=4.24
/proc/1810/task/1811/stat : 1811 (java) S 1802 1802 31812 0 -1 64 3851 0 1 0 420 4 0 0 24 0 10 0 248497712 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=1810/tid=1812] ppid=1802 vsize=197348 CPUtime=1.01
/proc/1810/task/1812/stat : 1812 (java) S 1802 1802 31812 0 -1 64 8558 0 0 0 91 10 0 0 16 0 10 0 248497713 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=1810/tid=1813] ppid=1802 vsize=197348 CPUtime=0
/proc/1810/task/1813/stat : 1813 (java) S 1802 1802 31812 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 248497713 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1810/tid=1814] ppid=1802 vsize=197348 CPUtime=0
/proc/1810/task/1814/stat : 1814 (java) S 1802 1802 31812 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 248497713 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1810/tid=1815] ppid=1802 vsize=197348 CPUtime=0
/proc/1810/task/1815/stat : 1815 (java) S 1802 1802 31812 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 248497715 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1810/tid=1816] ppid=1802 vsize=197348 CPUtime=0.19
/proc/1810/task/1816/stat : 1816 (java) S 1802 1802 31812 0 -1 64 648 0 0 0 19 0 0 0 16 0 10 0 248497715 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1810/tid=1817] ppid=1802 vsize=197348 CPUtime=0
/proc/1810/task/1817/stat : 1817 (java) S 1802 1802 31812 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 248497715 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1810/tid=1818] ppid=1802 vsize=197348 CPUtime=0
/proc/1810/task/1818/stat : 1818 (java) S 1802 1802 31812 0 -1 64 7 0 0 0 0 0 0 0 15 0 10 0 248497715 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1810/tid=1819] ppid=1802 vsize=197348 CPUtime=0
/proc/1810/task/1819/stat : 1819 (java) S 1802 1802 31812 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 248498263 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 10.13
Current children cumulated vsize (KiB) 871080
Solver just ended. Dumping a history of the last processes samples
[startup+15.9023 s]
/proc/loadavg: 2.00 2.00 2.00 3/104 1830
/proc/meminfo: memFree=1325584/2055920 swapFree=4169364/4192956
[pid=1802] ppid=1800 vsize=5360 CPUtime=1.94
/proc/1802/stat : 1802 (hydra) S 1800 1802 31812 0 -1 4194304 375 6091 0 0 0 0 192 2 19 0 1 0 248497267 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 224264774468 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1802/statm: 1340 238 196 169 0 51 0
[pid=1810] ppid=1802 vsize=197348 CPUtime=5.48
/proc/1810/stat : 1810 (java) S 1802 1802 31812 0 -1 0 13866 0 1 0 532 16 0 0 20 0 10 0 248497711 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/1810/statm: 49337 9391 2543 9 0 43920 0
[pid=1820] ppid=1810 vsize=5356 CPUtime=0
/proc/1820/stat : 1820 (abscon) S 1810 1802 31812 0 -1 4194304 303 0 0 0 0 0 0 0 25 0 1 0 248498263 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 224264774468 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/1820/statm: 1339 235 194 169 0 50 0
[pid=1821] ppid=1820 vsize=655972 CPUtime=5.91
/proc/1821/stat : 1821 (java) S 1820 1802 31812 0 -1 0 34557 0 1 0 565 26 0 0 25 0 9 0 248498264 671715328 33866 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/1821/statm: 163993 33866 2616 9 0 158521 0
[pid=1821/tid=1823] ppid=1820 vsize=655972 CPUtime=5.11
/proc/1821/task/1823/stat : 1823 (java) R 1820 1802 31812 0 -1 64 12595 0 1 0 495 16 0 0 25 0 9 0 248498265 671715328 33866 996147200 134512640 134550740 4294955808 18446744073709551615 4127191938 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1821/tid=1824] ppid=1820 vsize=655972 CPUtime=0.44
/proc/1821/task/1824/stat : 1824 (java) S 1820 1802 31812 0 -1 64 20667 0 0 0 36 8 0 0 17 0 9 0 248498266 671715328 33866 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=1821/tid=1825] ppid=1820 vsize=655972 CPUtime=0
/proc/1821/task/1825/stat : 1825 (java) S 1820 1802 31812 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 248498267 671715328 33866 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1821/tid=1826] ppid=1820 vsize=655972 CPUtime=0
/proc/1821/task/1826/stat : 1826 (java) S 1820 1802 31812 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 248498267 671715328 33866 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
################
# More data... #
################
/proc/1810/task/1818/stat : 1818 (java) S 1802 1802 31812 0 -1 64 15 0 0 0 0 0 0 0 15 0 10 0 248497715 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1810/tid=1819] ppid=1802 vsize=197348 CPUtime=0
/proc/1810/task/1819/stat : 1819 (java) S 1802 1802 31812 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 248498263 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 17.33
Current children cumulated vsize (KiB) 871080
[startup+20.3028 s]
/proc/loadavg: 2.00 2.00 2.00 3/104 1830
/proc/meminfo: memFree=1325392/2055920 swapFree=4169364/4192956
[pid=1802] ppid=1800 vsize=5360 CPUtime=1.94
/proc/1802/stat : 1802 (hydra) S 1800 1802 31812 0 -1 4194304 375 6091 0 0 0 0 192 2 19 0 1 0 248497267 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 224264774468 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1802/statm: 1340 238 196 169 0 51 0
[pid=1810] ppid=1802 vsize=197348 CPUtime=5.48
/proc/1810/stat : 1810 (java) S 1802 1802 31812 0 -1 0 13866 0 1 0 532 16 0 0 20 0 10 0 248497711 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/1810/statm: 49337 9391 2543 9 0 43920 0
[pid=1820] ppid=1810 vsize=5356 CPUtime=0
/proc/1820/stat : 1820 (abscon) S 1810 1802 31812 0 -1 4194304 303 0 0 0 0 0 0 0 25 0 1 0 248498263 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 224264774468 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/1820/statm: 1339 235 194 169 0 50 0
[pid=1821] ppid=1820 vsize=655972 CPUtime=10.31
/proc/1821/stat : 1821 (java) S 1820 1802 31812 0 -1 0 34570 0 1 0 1005 26 0 0 25 0 9 0 248498264 671715328 33875 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/1821/statm: 163993 33875 2616 9 0 158521 0
[pid=1821/tid=1823] ppid=1820 vsize=655972 CPUtime=9.49
/proc/1821/task/1823/stat : 1823 (java) R 1820 1802 31812 0 -1 64 12597 0 1 0 933 16 0 0 25 0 9 0 248498265 671715328 33875 996147200 134512640 134550740 4294955808 18446744073709551615 4127246218 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1821/tid=1824] ppid=1820 vsize=655972 CPUtime=0.44
/proc/1821/task/1824/stat : 1824 (java) S 1820 1802 31812 0 -1 64 20667 0 0 0 36 8 0 0 17 0 9 0 248498266 671715328 33875 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=1821/tid=1825] ppid=1820 vsize=655972 CPUtime=0
/proc/1821/task/1825/stat : 1825 (java) S 1820 1802 31812 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 248498267 671715328 33875 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1821/tid=1826] ppid=1820 vsize=655972 CPUtime=0
/proc/1821/task/1826/stat : 1826 (java) S 1820 1802 31812 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 248498267 671715328 33875 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1821/tid=1827] ppid=1820 vsize=655972 CPUtime=0
/proc/1821/task/1827/stat : 1827 (java) S 1820 1802 31812 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 248498269 671715328 33875 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1821/tid=1828] ppid=1820 vsize=655972 CPUtime=0.34
/proc/1821/task/1828/stat : 1828 (java) S 1820 1802 31812 0 -1 64 761 0 0 0 34 0 0 0 16 0 9 0 248498269 671715328 33875 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1821/tid=1829] ppid=1820 vsize=655972 CPUtime=0
/proc/1821/task/1829/stat : 1829 (java) S 1820 1802 31812 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 248498269 671715328 33875 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1821/tid=1830] ppid=1820 vsize=655972 CPUtime=0
/proc/1821/task/1830/stat : 1830 (java) S 1820 1802 31812 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 248498269 671715328 33875 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1822] ppid=1820 vsize=7044 CPUtime=0
/proc/1822/stat : 1822 (translate) S 1820 1802 31812 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 248498264 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 224264945746 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/1822/statm: 1761 213 182 1 0 41 0
[pid=1810/tid=1811] ppid=1802 vsize=197348 CPUtime=4.24
/proc/1810/task/1811/stat : 1811 (java) S 1802 1802 31812 0 -1 64 3851 0 1 0 420 4 0 0 24 0 10 0 248497712 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=1810/tid=1812] ppid=1802 vsize=197348 CPUtime=1.01
/proc/1810/task/1812/stat : 1812 (java) S 1802 1802 31812 0 -1 64 8558 0 0 0 91 10 0 0 16 0 10 0 248497713 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=1810/tid=1813] ppid=1802 vsize=197348 CPUtime=0
/proc/1810/task/1813/stat : 1813 (java) S 1802 1802 31812 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 248497713 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1810/tid=1814] ppid=1802 vsize=197348 CPUtime=0
/proc/1810/task/1814/stat : 1814 (java) S 1802 1802 31812 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 248497713 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1810/tid=1815] ppid=1802 vsize=197348 CPUtime=0
/proc/1810/task/1815/stat : 1815 (java) S 1802 1802 31812 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 248497715 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1810/tid=1816] ppid=1802 vsize=197348 CPUtime=0.19
/proc/1810/task/1816/stat : 1816 (java) S 1802 1802 31812 0 -1 64 648 0 0 0 19 0 0 0 16 0 10 0 248497715 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1810/tid=1817] ppid=1802 vsize=197348 CPUtime=0
/proc/1810/task/1817/stat : 1817 (java) S 1802 1802 31812 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 248497715 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1810/tid=1818] ppid=1802 vsize=197348 CPUtime=0
/proc/1810/task/1818/stat : 1818 (java) S 1802 1802 31812 0 -1 64 15 0 0 0 0 0 0 0 15 0 10 0 248497715 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1810/tid=1819] ppid=1802 vsize=197348 CPUtime=0
/proc/1810/task/1819/stat : 1819 (java) S 1802 1802 31812 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 248498263 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 17.73
Current children cumulated vsize (KiB) 871080
[startup+20.5028 s]
/proc/loadavg: 2.00 2.00 2.00 3/104 1830
/proc/meminfo: memFree=1325392/2055920 swapFree=4169364/4192956
[pid=1802] ppid=1800 vsize=5360 CPUtime=1.94
/proc/1802/stat : 1802 (hydra) S 1800 1802 31812 0 -1 4194304 375 6091 0 0 0 0 192 2 19 0 1 0 248497267 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 224264774468 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1802/statm: 1340 238 196 169 0 51 0
[pid=1810] ppid=1802 vsize=197348 CPUtime=5.48
/proc/1810/stat : 1810 (java) S 1802 1802 31812 0 -1 0 13866 0 1 0 532 16 0 0 20 0 10 0 248497711 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/1810/statm: 49337 9391 2543 9 0 43920 0
[pid=1820] ppid=1810 vsize=5356 CPUtime=0
/proc/1820/stat : 1820 (abscon) S 1810 1802 31812 0 -1 4194304 303 0 0 0 0 0 0 0 25 0 1 0 248498263 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 224264774468 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/1820/statm: 1339 235 194 169 0 50 0
[pid=1821] ppid=1820 vsize=655972 CPUtime=10.51
/proc/1821/stat : 1821 (java) S 1820 1802 31812 0 -1 0 34570 0 1 0 1025 26 0 0 25 0 9 0 248498264 671715328 33875 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/1821/statm: 163993 33875 2616 9 0 158521 0
[pid=1821/tid=1823] ppid=1820 vsize=655972 CPUtime=9.69
/proc/1821/task/1823/stat : 1823 (java) R 1820 1802 31812 0 -1 64 12597 0 1 0 953 16 0 0 25 0 9 0 248498265 671715328 33875 996147200 134512640 134550740 4294955808 18446744073709551615 4127181393 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1821/tid=1824] ppid=1820 vsize=655972 CPUtime=0.44
/proc/1821/task/1824/stat : 1824 (java) S 1820 1802 31812 0 -1 64 20667 0 0 0 36 8 0 0 17 0 9 0 248498266 671715328 33875 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=1821/tid=1825] ppid=1820 vsize=655972 CPUtime=0
/proc/1821/task/1825/stat : 1825 (java) S 1820 1802 31812 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 248498267 671715328 33875 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1821/tid=1826] ppid=1820 vsize=655972 CPUtime=0
/proc/1821/task/1826/stat : 1826 (java) S 1820 1802 31812 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 248498267 671715328 33875 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1821/tid=1827] ppid=1820 vsize=655972 CPUtime=0
/proc/1821/task/1827/stat : 1827 (java) S 1820 1802 31812 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 248498269 671715328 33875 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1821/tid=1828] ppid=1820 vsize=655972 CPUtime=0.34
/proc/1821/task/1828/stat : 1828 (java) S 1820 1802 31812 0 -1 64 761 0 0 0 34 0 0 0 16 0 9 0 248498269 671715328 33875 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1821/tid=1829] ppid=1820 vsize=655972 CPUtime=0
/proc/1821/task/1829/stat : 1829 (java) S 1820 1802 31812 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 248498269 671715328 33875 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1821/tid=1830] ppid=1820 vsize=655972 CPUtime=0
/proc/1821/task/1830/stat : 1830 (java) S 1820 1802 31812 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 248498269 671715328 33875 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1822] ppid=1820 vsize=7044 CPUtime=0
/proc/1822/stat : 1822 (translate) S 1820 1802 31812 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 248498264 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 224264945746 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/1822/statm: 1761 213 182 1 0 41 0
[pid=1810/tid=1811] ppid=1802 vsize=197348 CPUtime=4.24
/proc/1810/task/1811/stat : 1811 (java) S 1802 1802 31812 0 -1 64 3851 0 1 0 420 4 0 0 24 0 10 0 248497712 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=1810/tid=1812] ppid=1802 vsize=197348 CPUtime=1.01
/proc/1810/task/1812/stat : 1812 (java) S 1802 1802 31812 0 -1 64 8558 0 0 0 91 10 0 0 16 0 10 0 248497713 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=1810/tid=1813] ppid=1802 vsize=197348 CPUtime=0
/proc/1810/task/1813/stat : 1813 (java) S 1802 1802 31812 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 248497713 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1810/tid=1814] ppid=1802 vsize=197348 CPUtime=0
/proc/1810/task/1814/stat : 1814 (java) S 1802 1802 31812 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 248497713 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1810/tid=1815] ppid=1802 vsize=197348 CPUtime=0
/proc/1810/task/1815/stat : 1815 (java) S 1802 1802 31812 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 248497715 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1810/tid=1816] ppid=1802 vsize=197348 CPUtime=0.19
/proc/1810/task/1816/stat : 1816 (java) S 1802 1802 31812 0 -1 64 648 0 0 0 19 0 0 0 16 0 10 0 248497715 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1810/tid=1817] ppid=1802 vsize=197348 CPUtime=0
/proc/1810/task/1817/stat : 1817 (java) S 1802 1802 31812 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 248497715 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1810/tid=1818] ppid=1802 vsize=197348 CPUtime=0
/proc/1810/task/1818/stat : 1818 (java) S 1802 1802 31812 0 -1 64 15 0 0 0 0 0 0 0 15 0 10 0 248497715 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1810/tid=1819] ppid=1802 vsize=197348 CPUtime=0
/proc/1810/task/1819/stat : 1819 (java) S 1802 1802 31812 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 248498263 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 17.93
Current children cumulated vsize (KiB) 871080
[startup+20.6028 s]
/proc/loadavg: 2.00 2.00 2.00 3/104 1830
/proc/meminfo: memFree=1325392/2055920 swapFree=4169364/4192956
[pid=1802] ppid=1800 vsize=5360 CPUtime=1.94
/proc/1802/stat : 1802 (hydra) S 1800 1802 31812 0 -1 4194304 375 6091 0 0 0 0 192 2 19 0 1 0 248497267 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 224264774468 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1802/statm: 1340 238 196 169 0 51 0
[pid=1810] ppid=1802 vsize=197348 CPUtime=5.48
/proc/1810/stat : 1810 (java) S 1802 1802 31812 0 -1 0 13866 0 1 0 532 16 0 0 20 0 10 0 248497711 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/1810/statm: 49337 9391 2543 9 0 43920 0
[pid=1820] ppid=1810 vsize=5356 CPUtime=0
/proc/1820/stat : 1820 (abscon) S 1810 1802 31812 0 -1 4194304 303 0 0 0 0 0 0 0 25 0 1 0 248498263 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 224264774468 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/1820/statm: 1339 235 194 169 0 50 0
[pid=1821] ppid=1820 vsize=655972 CPUtime=10.61
/proc/1821/stat : 1821 (java) S 1820 1802 31812 0 -1 0 34572 0 1 0 1035 26 0 0 25 0 9 0 248498264 671715328 33877 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/1821/statm: 163993 33877 2616 9 0 158521 0
[pid=1821/tid=1823] ppid=1820 vsize=655972 CPUtime=9.79
/proc/1821/task/1823/stat : 1823 (java) R 1820 1802 31812 0 -1 64 12599 0 1 0 963 16 0 0 25 0 9 0 248498265 671715328 33877 996147200 134512640 134550740 4294955808 18446744073709551615 4126552228 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1821/tid=1824] ppid=1820 vsize=655972 CPUtime=0.44
/proc/1821/task/1824/stat : 1824 (java) S 1820 1802 31812 0 -1 64 20667 0 0 0 36 8 0 0 17 0 9 0 248498266 671715328 33877 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=1821/tid=1825] ppid=1820 vsize=655972 CPUtime=0
/proc/1821/task/1825/stat : 1825 (java) S 1820 1802 31812 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 248498267 671715328 33877 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1821/tid=1826] ppid=1820 vsize=655972 CPUtime=0
/proc/1821/task/1826/stat : 1826 (java) S 1820 1802 31812 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 248498267 671715328 33877 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1821/tid=1827] ppid=1820 vsize=655972 CPUtime=0
/proc/1821/task/1827/stat : 1827 (java) S 1820 1802 31812 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 248498269 671715328 33877 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1821/tid=1828] ppid=1820 vsize=655972 CPUtime=0.34
/proc/1821/task/1828/stat : 1828 (java) S 1820 1802 31812 0 -1 64 761 0 0 0 34 0 0 0 16 0 9 0 248498269 671715328 33877 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1821/tid=1829] ppid=1820 vsize=655972 CPUtime=0
/proc/1821/task/1829/stat : 1829 (java) S 1820 1802 31812 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 248498269 671715328 33877 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1821/tid=1830] ppid=1820 vsize=655972 CPUtime=0
/proc/1821/task/1830/stat : 1830 (java) S 1820 1802 31812 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 248498269 671715328 33877 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1822] ppid=1820 vsize=7044 CPUtime=0
/proc/1822/stat : 1822 (translate) S 1820 1802 31812 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 248498264 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 224264945746 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/1822/statm: 1761 213 182 1 0 41 0
[pid=1810/tid=1811] ppid=1802 vsize=197348 CPUtime=4.24
/proc/1810/task/1811/stat : 1811 (java) S 1802 1802 31812 0 -1 64 3851 0 1 0 420 4 0 0 24 0 10 0 248497712 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=1810/tid=1812] ppid=1802 vsize=197348 CPUtime=1.01
/proc/1810/task/1812/stat : 1812 (java) S 1802 1802 31812 0 -1 64 8558 0 0 0 91 10 0 0 16 0 10 0 248497713 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=1810/tid=1813] ppid=1802 vsize=197348 CPUtime=0
/proc/1810/task/1813/stat : 1813 (java) S 1802 1802 31812 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 248497713 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1810/tid=1814] ppid=1802 vsize=197348 CPUtime=0
/proc/1810/task/1814/stat : 1814 (java) S 1802 1802 31812 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 248497713 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1810/tid=1815] ppid=1802 vsize=197348 CPUtime=0
/proc/1810/task/1815/stat : 1815 (java) S 1802 1802 31812 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 248497715 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1810/tid=1816] ppid=1802 vsize=197348 CPUtime=0.19
/proc/1810/task/1816/stat : 1816 (java) S 1802 1802 31812 0 -1 64 648 0 0 0 19 0 0 0 16 0 10 0 248497715 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1810/tid=1817] ppid=1802 vsize=197348 CPUtime=0
/proc/1810/task/1817/stat : 1817 (java) S 1802 1802 31812 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 248497715 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1810/tid=1818] ppid=1802 vsize=197348 CPUtime=0
/proc/1810/task/1818/stat : 1818 (java) S 1802 1802 31812 0 -1 64 15 0 0 0 0 0 0 0 15 0 10 0 248497715 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1810/tid=1819] ppid=1802 vsize=197348 CPUtime=0
/proc/1810/task/1819/stat : 1819 (java) S 1802 1802 31812 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 248498263 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 18.03
Current children cumulated vsize (KiB) 871080
Child status: 0
Real time (s): 20.6795
CPU time (s): 18.1142
CPU user time (s): 17.6103
CPU system time (s): 0.503923
CPU usage (%): 87.5951
Max. virtual memory (cumulated for all children) (KiB): 871080
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 17.6103
system time used= 0.503923
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 55630
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= 11651
involuntary context switches= 13308
runsolver used 0.052991 second user time and 0.167974 second system time
The end