0.00/0.00 c cpHydra_k_10 version 0.0
6.70/6.85 c CASE TO CLASSIFY:
6.70/6.85 c Case: 0
6.70/6.85 c 19 > 0.000000 | c 35 > 0.128617 | c 17 > 10.888300 | c 18 > 0.000000 | c 33 > 0.096463 | c 15 > 20.139800 | c 34 > 0.096463 | c 16 > 30.000000 | c 13 > 5.127340 | c 14 > 9.214320 | c 11 > 12.101000 | c 12 > 3.019770 | c 21 > 5.099020 | c 20 > 89.111700 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 5.000000 | c 28 > 5.000000 | c 29 > -1.000000 | c 3 > 7.592460 | c 2 > -1.000000 | c 10 > 12.258000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 12.036200 | c 32 > -1.000000 | c 5 > 13.711900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.70/6.86 c choco : 1801.0
6.70/6.86 c mistral : 1801.0
6.70/6.86 c abscon : 1801.0
6.70/6.86 c
6.70/6.86 c
6.80/6.93 c List of same ones: 10
6.80/6.93 c /home/ehebrard/new_instances/competition_4c/data/lexHerald/crossword-m1-lex-15-04.xml
6.80/6.93 c 19 > 0.000000 | c 35 > 0.128617 | c 17 > 10.888300 | c 18 > 0.000000 | c 33 > 0.096463 | c 15 > 18.997200 | c 34 > 0.096463 | c 16 > 30.000000 | c 13 > 3.931210 | c 14 > 8.199670 | c 11 > 12.101000 | c 12 > 2.193700 | c 21 > 5.099020 | c 20 > 89.111700 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 5.000000 | c 28 > 5.000000 | c 29 > -1.000000 | c 3 > 7.592460 | c 2 > -1.000000 | c 10 > 12.258000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 12.036200 | c 32 > -1.000000 | c 5 > 13.711900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.80/6.94 c choco : 35.95
6.80/6.94 c mistral : 2.49
6.80/6.94 c abscon : 21.09
6.80/6.94 c
6.80/6.94 c
6.80/6.94 c /home/ehebrard/new_instances/competition_4c/data/wordsHerald/crossword-m1-words-15-04.xml
6.80/6.94 c 19 > 0.000000 | c 35 > 0.128617 | c 17 > 10.888300 | c 18 > 0.000000 | c 33 > 0.096463 | c 15 > 18.767900 | c 34 > 0.096463 | c 16 > 30.000000 | c 13 > 3.521610 | c 14 > 7.672430 | c 11 > 12.101000 | c 12 > 2.051450 | c 21 > 5.099020 | c 20 > 89.111700 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 5.000000 | c 28 > 5.000000 | c 29 > -1.000000 | c 3 > 7.592460 | c 2 > -1.000000 | c 10 > 12.258000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 12.036200 | c 32 > -1.000000 | c 5 > 13.711900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.80/6.95 c choco : 1801.0
6.80/6.95 c mistral : 98.82
6.80/6.95 c abscon : 40.65
6.80/6.95 c
6.80/6.95 c
6.80/6.95 c /home/ehebrard/new_instances/competition_4c/data/lexHerald/crossword-m1-lex-15-02.xml
6.80/6.95 c 19 > 0.000000 | c 35 > 0.416667 | c 17 > 8.474580 | c 18 > 0.000000 | c 33 > 0.312500 | c 15 > 18.915700 | c 34 > 0.312500 | c 16 > 30.000000 | c 13 > 4.167630 | c 14 > 7.741470 | c 11 > 12.394200 | c 12 > 2.251750 | c 21 > 5.099020 | c 20 > 91.525400 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 6.500000 | c 28 > 3.500000 | c 29 > -1.000000 | c 3 > 7.577430 | c 2 > -1.000000 | c 10 > 12.583100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 12.342100 | c 32 > -1.000000 | c 5 > 13.906000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.80/6.96 c choco : 50.25
6.80/6.96 c mistral : 30.47
6.80/6.96 c abscon : 18.7
6.80/6.96 c
6.80/6.96 c
6.80/6.96 c /home/ehebrard/new_instances/competition_4c/data/wordsHerald/crossword-m1-words-15-02.xml
6.80/6.96 c 19 > 0.000000 | c 35 > 0.416667 | c 17 > 8.474580 | c 18 > 0.000000 | c 33 > 0.312500 | c 15 > 18.533200 | c 34 > 0.312500 | c 16 > 30.000000 | c 13 > 4.057560 | c 14 > 7.707360 | c 11 > 12.394200 | c 12 > 2.159430 | c 21 > 5.099020 | c 20 > 91.525400 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 6.500000 | c 28 > 3.500000 | c 29 > -1.000000 | c 3 > 7.577430 | c 2 > -1.000000 | c 10 > 12.583100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 12.342100 | c 32 > -1.000000 | c 5 > 13.906000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.80/6.97 c choco : 48.64
6.80/6.97 c mistral : 11.68
6.80/6.97 c abscon : 17.17
6.80/6.97 c
6.80/6.97 c
6.80/6.97 c /home/ehebrard/new_instances/competition_4c/data/ukHerald/crossword-m1-uk-15-04.xml
6.80/6.97 c 19 > 0.000000 | c 35 > 0.128617 | c 17 > 10.888300 | c 18 > 0.000000 | c 33 > 0.096463 | c 15 > 15.884300 | c 34 > 0.096463 | c 16 > 30.000000 | c 13 > 2.138250 | c 14 > 6.339850 | c 11 > 12.101000 | c 12 > 1.110140 | c 21 > 5.099020 | c 20 > 89.111700 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 5.000000 | c 28 > 5.000000 | c 29 > -1.000000 | c 3 > 7.592460 | c 2 > -1.000000 | c 10 > 12.258000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 12.036200 | c 32 > -1.000000 | c 5 > 13.711900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.80/6.98 c choco : 11.89
6.80/6.98 c mistral : 2.03
6.80/6.98 c abscon : 14.9
6.80/6.98 c
6.80/6.98 c
6.80/6.98 c /home/ehebrard/new_instances/competition_4c/data/ogdHerald/crossword-m1-ogd-15-04.xml
6.80/6.98 c 19 > 0.000000 | c 35 > 0.128617 | c 17 > 10.888300 | c 18 > 0.000000 | c 33 > 0.096463 | c 15 > 15.925600 | c 34 > 0.096463 | c 16 > 30.000000 | c 13 > 2.145880 | c 14 > 6.149750 | c 11 > 12.101000 | c 12 > 1.096530 | c 21 > 5.099020 | c 20 > 89.111700 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 5.000000 | c 28 > 5.000000 | c 29 > -1.000000 | c 3 > 7.592460 | c 2 > -1.000000 | c 10 > 12.258000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 12.036200 | c 32 > -1.000000 | c 5 > 13.711900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.80/6.98 c choco : 13.45
6.80/6.98 c mistral : 4.44
6.80/6.98 c abscon : 15.85
6.80/6.98 c
6.80/6.98 c
6.80/6.98 c /home/ehebrard/new_instances/competition_4c/data/ogdHerald/crossword-m1-ogd-15-02.xml
6.80/6.98 c 19 > 0.000000 | c 35 > 0.416667 | c 17 > 8.474580 | c 18 > 0.000000 | c 33 > 0.312500 | c 15 > 16.169200 | c 34 > 0.312500 | c 16 > 30.000000 | c 13 > 2.531960 | c 14 > 6.375040 | c 11 > 12.394200 | c 12 > 1.123720 | c 21 > 5.099020 | c 20 > 91.525400 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 6.500000 | c 28 > 3.500000 | c 29 > -1.000000 | c 3 > 7.577430 | c 2 > -1.000000 | c 10 > 12.583100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 12.342100 | c 32 > -1.000000 | c 5 > 13.906000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.80/6.99 c choco : 18.75
6.80/6.99 c mistral : 3.84
6.80/6.99 c abscon : 18.7
6.80/6.99 c
6.80/6.99 c
6.80/6.99 c /home/ehebrard/new_instances/competition_4c/data/lexHerald/crossword-m1-lex-19-02.xml
6.80/6.99 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 6.715990 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 18.903600 | c 34 > 0.000000 | c 16 > 28.000000 | c 13 > 3.553520 | c 14 > 7.870360 | c 11 > 13.489600 | c 12 > 1.856470 | c 21 > 5.099020 | c 20 > 93.284000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 5.084750 | c 28 > 4.915250 | c 29 > -1.000000 | c 3 > 8.209450 | c 2 > -1.000000 | c 10 > 13.662100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 13.452000 | c 32 > -1.000000 | c 5 > 14.877900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.88/7.00 c choco : 1801.0
6.88/7.00 c mistral : 45.88
6.88/7.00 c abscon : 45.36
6.88/7.00 c
6.88/7.00 c
6.88/7.00 c /home/ehebrard/new_instances/competition_4c/data/wordsHerald/crossword-m1-words-19-02.xml
6.88/7.00 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 6.715990 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 18.816000 | c 34 > 0.000000 | c 16 > 28.000000 | c 13 > 3.298570 | c 14 > 7.800900 | c 11 > 13.489600 | c 12 > 1.799670 | c 21 > 5.099020 | c 20 > 93.284000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 5.084750 | c 28 > 4.915250 | c 29 > -1.000000 | c 3 > 8.209450 | c 2 > -1.000000 | c 10 > 13.662100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 13.452000 | c 32 > -1.000000 | c 5 > 14.877900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.88/7.01 c choco : 32.16
6.88/7.01 c mistral : 3.69
6.88/7.01 c abscon : 29.03
6.88/7.01 c
6.88/7.01 c
6.88/7.01 c /home/ehebrard/new_instances/competition_4c/data/ukHerald/crossword-m1-uk-15-02.xml
6.88/7.01 c 19 > 0.000000 | c 35 > 0.416667 | c 17 > 8.474580 | c 18 > 0.000000 | c 33 > 0.312500 | c 15 > 15.504700 | c 34 > 0.312500 | c 16 > 30.000000 | c 13 > 2.495110 | c 14 > 6.247930 | c 11 > 12.394200 | c 12 > 1.102280 | c 21 > 5.099020 | c 20 > 91.525400 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 6.500000 | c 28 > 3.500000 | c 29 > -1.000000 | c 3 > 7.577430 | c 2 > -1.000000 | c 10 > 12.583100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 12.342100 | c 32 > -1.000000 | c 5 > 13.906000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.88/7.01 c choco : 13.14
6.88/7.01 c mistral : 2.39
6.88/7.02 c abscon : 17.53
6.88/7.02 c
6.88/7.02 c
6.98/7.20 c Length: 10
6.98/7.20 c 2.109068041647781 2.788466753863134 4.672263520986164 4.836129303289773 6.24125017892249 6.303889811386301 7.128086608469207 7.3263087553437884 7.422496280492639 7.585543143878231
7.08/7.20 c
7.08/7.20 c 1.0 0.8896340742688669 0.6811815293508942 0.6675749163919479 0.5699521760141883 0.5662606757634873 0.5217929975394072 0.5121208751474561 0.5075555293792532 0.5
7.08/7.20 c
7.08/7.20 c solver 0
7.08/7.20 c before 0.0 seconds: {} 0
7.08/7.20 c before 18.0 seconds: {3, 4, 5, 9} 2303
7.08/7.20 c before 36.0 seconds: {0, 2, 3, 4, 5, 6, 8, 9} 5014
7.08/7.20 c before 54.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6416
7.08/7.20 c
7.08/7.20 c solver 1
7.08/7.20 c before 0.0 seconds: {} 0
7.08/7.20 c before 18.0 seconds: {0, 3, 4, 5, 6, 8, 9} 4333
7.08/7.20 c before 36.0 seconds: {0, 2, 3, 4, 5, 6, 8, 9} 5014
7.08/7.20 c before 54.0 seconds: {0, 2, 3, 4, 5, 6, 7, 8, 9} 5526
7.08/7.20 c before 108.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6416
7.08/7.20 c
7.08/7.20 c solver 2
7.08/7.20 c before 0.0 seconds: {} 0
7.08/7.20 c before 18.0 seconds: {4, 5, 9} 1636
7.08/7.20 c before 36.0 seconds: {0, 4, 5, 6, 8, 9} 3665
7.08/7.20 c before 54.0 seconds: {0, 2, 3, 4, 5, 6, 8, 9} 5014
7.08/7.20 c
7.08/7.20 cTotal time: 12
7.08/7.20 c 216.0 seconds unused
7.08/7.20 c 0 c 0 c 2
7.08/7.20 c 0 c 0 c 2
7.08/7.20 c 0 c 0 c 0
7.08/7.20 c is solver0 dominated by:
7.08/7.20 c solver 1 (0 solves instances that 1 can't: false) (1 doesn't solve instances that 0 can't: true) (0 is faster than 1: true) (0 is equally as fast as 1: false) (0 < 1: false)
7.08/7.21 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: true) (0 < 2: false)
7.08/7.21 c is dominated? false
7.08/7.21 c
7.08/7.21 c is solver1 dominated by:
7.08/7.21 c solver 0 (1 solves instances that 0 can't: false) (0 doesn't solve instances that 1 can't: true) (1 is faster than 0: false) (1 is equally as fast as 0: false) (1 < 0: true)
7.08/7.21 c is dominated? true
7.08/7.21 c
7.08/7.21 c is solver2 dominated by:
7.08/7.21 c solver 0 (2 solves instances that 0 can't: false) (0 doesn't solve instances that 2 can't: false) (2 is faster than 0: false) (2 is equally as fast as 0: true) (2 < 0: true)
7.08/7.21 c is dominated? true
7.08/7.21 c
7.08/7.21 c Number of non-dominated solvers: 1
7.08/7.21 c remove dominated solvers
7.08/7.21 c solver 0 is not dominated by another solver
7.08/7.21 c solver 2 is dominated by another solver
7.08/7.21 c solver 1 is dominated by another solver
7.08/7.21 c
7.08/7.21 c solver 0: 54.0
7.08/7.21 c
7.08/7.21 c+ 3/3 of 97
7.08/7.21 c
7.08/7.21 c solver 1: 0.0
7.08/7.21 c
7.08/7.21 c solver 2: 0.0
7.08/7.21 c run abscon for 1800.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6416
7.08/7.21 c do not run mistral
7.08/7.21 c do not run choco
7.08/7.21 c Starting solver: HOME/cpHydra_k_10/solver/abscon
7.08/7.21 c On Instance: HOME/instance-1077009-1215477130.xml
7.08/7.21 c Running for: 1800 seconds
23.66/23.98 s SAT
23.66/23.98 v 4 17 0 15 14 4 12 18 19 17 0 8 13 15 4 17 18 20 0 3 4 0 17 14 20 18 4 8 13 19 4 17 5 4 17 14 12 4 19 17 8 2 2 0 18 4 18 13 8 23 14 13 0 18 10 15 4 15 19 4 0 2 7 0 18 18 3 8 9 14 13 7 14 10 0 13 17 14 0 3 14 0 17 1 4 17 13 8 4 8 11 11 20 18 19 17 8 14 20 18 13 4 18 18 18 4 4 10 4 17 14 17 4 18 0 11 19 4 18 18 4 13 19 20 17 13 18 3 4 18 18 0 2 7 18 0 15 19 18 7 20 19 0 8 13 19 11 8 11 0 2 13 14 13 2 14 13 18 4 17 21 0 19 8 21 4 20 15 19 20 17 13 18 4 0 18 14 13 4 3 1 8 14 15 18 24 18 4 19 7 4 17 4
23.66/23.98 d ASSIGNMENTS 8733
23.66/23.98 d CHECKS 4697603
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1077009-1215477130/watcher-1077009-1215477130 -o /tmp/evaluation-result-1077009-1215477130/solver-1077009-1215477130 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1077009-1215477130.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.09 1.02 1.01 4/81 3082
/proc/meminfo: memFree=1823840/2055920 swapFree=4192956/4192956
[pid=3082] ppid=3080 vsize=5360 CPUtime=0
/proc/3082/stat : 3082 (hydra) R 3080 3082 2889 0 -1 4194304 305 124 0 0 0 0 0 0 22 0 1 0 4412202 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 208717418016 0 0 4100 65536 0 0 0 17 1 0 0
/proc/3082/statm: 1340 236 195 169 0 51 0
[pid=3084] ppid=3082 vsize=0 CPUtime=0
/proc/3084/stat : 3084 (rm) Z 3082 3082 2889 0 -1 4194316 123 0 0 0 0 0 0 0 23 0 1 0 4412203 0 0 996147200 0 0 0 0 0 0 0 4096 0 18446744071563351923 0 0 17 1 0 0
/proc/3084/statm: 0 0 0 0 0 0 0
[startup+0.156516 s]
/proc/loadavg: 1.09 1.02 1.01 4/81 3082
/proc/meminfo: memFree=1823840/2055920 swapFree=4192956/4192956
[pid=3082] ppid=3080 vsize=5360 CPUtime=0
/proc/3082/stat : 3082 (hydra) S 3080 3082 2889 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 4412202 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3082/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.201521 s]
/proc/loadavg: 1.09 1.02 1.01 4/81 3082
/proc/meminfo: memFree=1823840/2055920 swapFree=4192956/4192956
[pid=3082] ppid=3080 vsize=5360 CPUtime=0
/proc/3082/stat : 3082 (hydra) S 3080 3082 2889 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 4412202 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3082/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.301568 s]
/proc/loadavg: 1.09 1.02 1.01 4/81 3082
/proc/meminfo: memFree=1823840/2055920 swapFree=4192956/4192956
[pid=3082] ppid=3080 vsize=5360 CPUtime=0
/proc/3082/stat : 3082 (hydra) S 3080 3082 2889 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 4412202 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3082/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.701574 s]
/proc/loadavg: 1.09 1.02 1.01 4/81 3082
/proc/meminfo: memFree=1823840/2055920 swapFree=4192956/4192956
[pid=3082] ppid=3080 vsize=5360 CPUtime=0
/proc/3082/stat : 3082 (hydra) S 3080 3082 2889 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 4412202 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3082/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+1.50166 s]
/proc/loadavg: 1.09 1.02 1.01 4/83 3086
/proc/meminfo: memFree=1814608/2055920 swapFree=4192956/4192956
[pid=3082] ppid=3080 vsize=5360 CPUtime=0
/proc/3082/stat : 3082 (hydra) S 3080 3082 2889 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 4412202 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3082/statm: 1340 236 195 169 0 51 0
[pid=3086] ppid=3082 vsize=9228 CPUtime=1.47
/proc/3086/stat : 3086 (xsolve) R 3082 3082 2889 0 -1 4194304 1647 0 0 0 146 1 0 0 25 0 1 0 4412203 9449472 1606 996147200 134512640 135239763 4294956176 18446744073709551615 134789093 0 0 4096 0 0 0 0 17 0 0 0
/proc/3086/statm: 2307 1606 424 177 0 1210 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 14588
[startup+3.10283 s]
/proc/loadavg: 1.09 1.02 1.01 3/91 3098
/proc/meminfo: memFree=1806416/2055920 swapFree=4192956/4192956
[pid=3082] ppid=3080 vsize=5360 CPUtime=1.55
/proc/3082/stat : 3082 (hydra) S 3080 3082 2889 0 -1 4194304 375 2244 0 0 0 0 154 1 20 0 1 0 4412202 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3082/statm: 1340 238 196 169 0 51 0
[pid=3090] ppid=3082 vsize=197024 CPUtime=1.46
/proc/3090/stat : 3090 (java) S 3082 3082 2889 0 -1 0 6427 0 1 0 139 7 0 0 21 0 9 0 4412361 201752576 5406 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/3090/statm: 49256 5406 2540 9 0 43839 0
[pid=3090/tid=3091] ppid=3082 vsize=197024 CPUtime=1.12
/proc/3090/task/3091/stat : 3091 (java) R 3082 3082 2889 0 -1 64 2781 0 1 0 109 3 0 0 25 0 9 0 4412363 201752576 5406 996147200 134512640 134550740 4294955968 18446744073709551615 4126440280 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3090/tid=3092] ppid=3082 vsize=197024 CPUtime=0.18
/proc/3090/task/3092/stat : 3092 (java) S 3082 3082 2889 0 -1 64 2307 0 0 0 16 2 0 0 16 0 9 0 4412365 201752576 5406 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=3090/tid=3093] ppid=3082 vsize=197024 CPUtime=0
/proc/3090/task/3093/stat : 3093 (java) S 3082 3082 2889 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 4412365 201752576 5406 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3090/tid=3094] ppid=3082 vsize=197024 CPUtime=0
/proc/3090/task/3094/stat : 3094 (java) S 3082 3082 2889 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 4412365 201752576 5406 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3090/tid=3095] ppid=3082 vsize=197024 CPUtime=0
/proc/3090/task/3095/stat : 3095 (java) S 3082 3082 2889 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 4412368 201752576 5406 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3090/tid=3096] ppid=3082 vsize=197024 CPUtime=0.13
/proc/3090/task/3096/stat : 3096 (java) S 3082 3082 2889 0 -1 64 614 0 0 0 13 0 0 0 16 0 9 0 4412368 201752576 5406 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3090/tid=3097] ppid=3082 vsize=197024 CPUtime=0
/proc/3090/task/3097/stat : 3097 (java) S 3082 3082 2889 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 4412368 201752576 5406 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3090/tid=3098] ppid=3082 vsize=197024 CPUtime=0
/proc/3090/task/3098/stat : 3098 (java) S 3082 3082 2889 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 4412368 201752576 5406 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.01
Current children cumulated vsize (KiB) 202384
[startup+6.30118 s]
/proc/loadavg: 1.32 1.07 1.02 3/103 3110
/proc/meminfo: memFree=1722216/2055920 swapFree=4192956/4192956
[pid=3082] ppid=3080 vsize=5360 CPUtime=1.55
/proc/3082/stat : 3082 (hydra) S 3080 3082 2889 0 -1 4194304 375 2244 0 0 0 0 154 1 20 0 1 0 4412202 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3082/statm: 1340 238 196 169 0 51 0
[pid=3090] ppid=3082 vsize=197024 CPUtime=4.65
/proc/3090/stat : 3090 (java) S 3082 3082 2889 0 -1 0 10453 0 1 0 449 16 0 0 21 0 9 0 4412361 201752576 8667 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/3090/statm: 49256 8667 2540 9 0 43839 0
[pid=3090/tid=3091] ppid=3082 vsize=197024 CPUtime=3.7
/proc/3090/task/3091/stat : 3091 (java) R 3082 3082 2889 0 -1 64 3626 0 1 0 363 7 0 0 20 0 9 0 4412363 201752576 8667 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3090/tid=3092] ppid=3082 vsize=197024 CPUtime=0.76
/proc/3090/task/3092/stat : 3092 (java) R 3082 3082 2889 0 -1 64 5472 0 0 0 69 7 0 0 15 0 9 0 4412365 201752576 8667 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=3090/tid=3093] ppid=3082 vsize=197024 CPUtime=0
/proc/3090/task/3093/stat : 3093 (java) S 3082 3082 2889 0 -1 64 11 0 0 0 0 0 0 0 15 0 9 0 4412365 201752576 8667 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3090/tid=3094] ppid=3082 vsize=197024 CPUtime=0
/proc/3090/task/3094/stat : 3094 (java) S 3082 3082 2889 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 4412365 201752576 8667 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3090/tid=3095] ppid=3082 vsize=197024 CPUtime=0
/proc/3090/task/3095/stat : 3095 (java) S 3082 3082 2889 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 4412368 201752576 8667 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3090/tid=3096] ppid=3082 vsize=197024 CPUtime=0.15
/proc/3090/task/3096/stat : 3096 (java) S 3082 3082 2889 0 -1 64 630 0 0 0 15 0 0 0 16 0 9 0 4412368 201752576 8667 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3090/tid=3097] ppid=3082 vsize=197024 CPUtime=0
/proc/3090/task/3097/stat : 3097 (java) S 3082 3082 2889 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 4412368 201752576 8667 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3090/tid=3098] ppid=3082 vsize=197024 CPUtime=0
/proc/3090/task/3098/stat : 3098 (java) S 3082 3082 2889 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 4412368 201752576 8668 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 202384
[startup+12.7029 s]
/proc/loadavg: 1.38 1.08 1.03 3/103 3170
/proc/meminfo: memFree=1683296/2055920 swapFree=4192956/4192956
[pid=3082] ppid=3080 vsize=5360 CPUtime=1.55
/proc/3082/stat : 3082 (hydra) S 3080 3082 2889 0 -1 4194304 375 2244 0 0 0 0 154 1 20 0 1 0 4412202 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3082/statm: 1340 238 196 169 0 51 0
[pid=3090] ppid=3082 vsize=197348 CPUtime=5.54
/proc/3090/stat : 3090 (java) S 3082 3082 2889 0 -1 0 13864 0 1 0 535 19 0 0 21 0 10 0 4412361 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/3090/statm: 49337 9391 2543 9 0 43920 0
[pid=3112] ppid=3090 vsize=5356 CPUtime=0
/proc/3112/stat : 3112 (abscon) S 3090 3082 2889 0 -1 4194304 303 0 0 0 0 0 0 0 18 0 1 0 4412924 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 208717538116 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/3112/statm: 1339 235 194 169 0 50 0
[pid=3113] ppid=3112 vsize=655932 CPUtime=5.38
/proc/3113/stat : 3113 (java) S 3112 3082 2889 0 -1 0 19645 0 1 0 522 16 0 0 18 0 9 0 4412924 671674368 18956 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/3113/statm: 163983 18956 2616 9 0 158511 0
[pid=3113/tid=3115] ppid=3112 vsize=655932 CPUtime=4.9
/proc/3113/task/3115/stat : 3115 (java) R 3112 3082 2889 0 -1 64 12581 0 1 0 477 13 0 0 18 0 9 0 4412925 671674368 18956 996147200 134512640 134550740 4294955808 18446744073709551615 4127103271 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3113/tid=3116] ppid=3112 vsize=655932 CPUtime=0.12
/proc/3113/task/3116/stat : 3116 (java) S 3112 3082 2889 0 -1 64 5788 0 0 0 11 1 0 0 16 0 9 0 4412926 671674368 18956 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3113/tid=3117] ppid=3112 vsize=655932 CPUtime=0
/proc/3113/task/3117/stat : 3117 (java) S 3112 3082 2889 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 4412926 671674368 18956 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3113/tid=3118] ppid=3112 vsize=655932 CPUtime=0
/proc/3113/task/3118/stat : 3118 (java) S 3112 3082 2889 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 4412926 671674368 18956 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3113/tid=3119] ppid=3112 vsize=655932 CPUtime=0
/proc/3113/task/3119/stat : 3119 (java) S 3112 3082 2889 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 4412928 671674368 18956 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3113/tid=3120] ppid=3112 vsize=655932 CPUtime=0.33
/proc/3113/task/3120/stat : 3120 (java) S 3112 3082 2889 0 -1 64 731 0 0 0 33 0 0 0 16 0 9 0 4412928 671674368 18956 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3113/tid=3121] ppid=3112 vsize=655932 CPUtime=0
/proc/3113/task/3121/stat : 3121 (java) S 3112 3082 2889 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 4412928 671674368 18956 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3113/tid=3122] ppid=3112 vsize=655932 CPUtime=0
/proc/3113/task/3122/stat : 3122 (java) S 3112 3082 2889 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 4412928 671674368 18956 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3114] ppid=3112 vsize=7044 CPUtime=0
/proc/3114/stat : 3114 (translate) S 3112 3082 2889 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 4412924 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 208717709394 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/3114/statm: 1761 213 182 1 0 41 0
[pid=3090/tid=3091] ppid=3082 vsize=197348 CPUtime=4.29
/proc/3090/task/3091/stat : 3091 (java) S 3082 3082 2889 0 -1 64 3852 0 1 0 421 8 0 0 17 0 10 0 4412363 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=3090/tid=3092] ppid=3082 vsize=197348 CPUtime=1.03
/proc/3090/task/3092/stat : 3092 (java) S 3082 3082 2889 0 -1 64 8558 0 0 0 94 9 0 0 16 0 10 0 4412365 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=3090/tid=3093] ppid=3082 vsize=197348 CPUtime=0
/proc/3090/task/3093/stat : 3093 (java) S 3082 3082 2889 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 4412365 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3090/tid=3094] ppid=3082 vsize=197348 CPUtime=0
/proc/3090/task/3094/stat : 3094 (java) S 3082 3082 2889 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 4412365 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3090/tid=3095] ppid=3082 vsize=197348 CPUtime=0
/proc/3090/task/3095/stat : 3095 (java) S 3082 3082 2889 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 4412368 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3090/tid=3096] ppid=3082 vsize=197348 CPUtime=0.19
/proc/3090/task/3096/stat : 3096 (java) S 3082 3082 2889 0 -1 64 648 0 0 0 19 0 0 0 16 0 10 0 4412368 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3090/tid=3097] ppid=3082 vsize=197348 CPUtime=0
/proc/3090/task/3097/stat : 3097 (java) S 3082 3082 2889 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 4412368 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3090/tid=3098] ppid=3082 vsize=197348 CPUtime=0
/proc/3090/task/3098/stat : 3098 (java) S 3082 3082 2889 0 -1 64 12 0 0 0 0 0 0 0 15 0 10 0 4412368 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3090/tid=3111] ppid=3082 vsize=197348 CPUtime=0
/proc/3090/task/3111/stat : 3111 (java) S 3082 3082 2889 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 4412924 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) 12.47
Current children cumulated vsize (KiB) 871040
Solver just ended. Dumping a history of the last processes samples
[startup+12.8029 s]
/proc/loadavg: 1.38 1.08 1.03 3/103 3170
/proc/meminfo: memFree=1683296/2055920 swapFree=4192956/4192956
[pid=3082] ppid=3080 vsize=5360 CPUtime=1.55
/proc/3082/stat : 3082 (hydra) S 3080 3082 2889 0 -1 4194304 375 2244 0 0 0 0 154 1 20 0 1 0 4412202 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3082/statm: 1340 238 196 169 0 51 0
[pid=3090] ppid=3082 vsize=197348 CPUtime=5.54
/proc/3090/stat : 3090 (java) S 3082 3082 2889 0 -1 0 13864 0 1 0 535 19 0 0 21 0 10 0 4412361 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/3090/statm: 49337 9391 2543 9 0 43920 0
[pid=3112] ppid=3090 vsize=5356 CPUtime=0
/proc/3112/stat : 3112 (abscon) S 3090 3082 2889 0 -1 4194304 303 0 0 0 0 0 0 0 18 0 1 0 4412924 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 208717538116 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/3112/statm: 1339 235 194 169 0 50 0
[pid=3113] ppid=3112 vsize=655932 CPUtime=5.48
/proc/3113/stat : 3113 (java) S 3112 3082 2889 0 -1 0 19647 0 1 0 532 16 0 0 18 0 9 0 4412924 671674368 18958 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/3113/statm: 163983 18958 2616 9 0 158511 0
[pid=3113/tid=3115] ppid=3112 vsize=655932 CPUtime=5
################
# More data... #
################
/proc/3113/task/3118/stat : 3118 (java) S 3112 3082 2889 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 4412926 671674368 18964 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3113/tid=3119] ppid=3112 vsize=655932 CPUtime=0
/proc/3113/task/3119/stat : 3119 (java) S 3112 3082 2889 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 4412928 671674368 18964 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3113/tid=3120] ppid=3112 vsize=655932 CPUtime=0.35
/proc/3113/task/3120/stat : 3120 (java) S 3112 3082 2889 0 -1 64 740 0 0 0 35 0 0 0 17 0 9 0 4412928 671674368 18964 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3113/tid=3121] ppid=3112 vsize=655932 CPUtime=0
/proc/3113/task/3121/stat : 3121 (java) S 3112 3082 2889 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 4412928 671674368 18964 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3113/tid=3122] ppid=3112 vsize=655932 CPUtime=0
/proc/3113/task/3122/stat : 3122 (java) R 3112 3082 2889 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 4412928 671674368 18964 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3114] ppid=3112 vsize=7044 CPUtime=0
/proc/3114/stat : 3114 (translate) S 3112 3082 2889 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 4412924 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 208717709394 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/3114/statm: 1761 213 182 1 0 41 0
[pid=3090/tid=3091] ppid=3082 vsize=197348 CPUtime=4.29
/proc/3090/task/3091/stat : 3091 (java) S 3082 3082 2889 0 -1 64 3852 0 1 0 421 8 0 0 17 0 10 0 4412363 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=3090/tid=3092] ppid=3082 vsize=197348 CPUtime=1.03
/proc/3090/task/3092/stat : 3092 (java) S 3082 3082 2889 0 -1 64 8558 0 0 0 94 9 0 0 16 0 10 0 4412365 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=3090/tid=3093] ppid=3082 vsize=197348 CPUtime=0
/proc/3090/task/3093/stat : 3093 (java) S 3082 3082 2889 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 4412365 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3090/tid=3094] ppid=3082 vsize=197348 CPUtime=0
/proc/3090/task/3094/stat : 3094 (java) S 3082 3082 2889 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 4412365 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3090/tid=3095] ppid=3082 vsize=197348 CPUtime=0
/proc/3090/task/3095/stat : 3095 (java) S 3082 3082 2889 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 4412368 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3090/tid=3096] ppid=3082 vsize=197348 CPUtime=0.19
/proc/3090/task/3096/stat : 3096 (java) S 3082 3082 2889 0 -1 64 648 0 0 0 19 0 0 0 16 0 10 0 4412368 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3090/tid=3097] ppid=3082 vsize=197348 CPUtime=0
/proc/3090/task/3097/stat : 3097 (java) S 3082 3082 2889 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 4412368 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3090/tid=3098] ppid=3082 vsize=197348 CPUtime=0
/proc/3090/task/3098/stat : 3098 (java) S 3082 3082 2889 0 -1 64 12 0 0 0 0 0 0 0 15 0 10 0 4412368 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3090/tid=3111] ppid=3082 vsize=197348 CPUtime=0
/proc/3090/task/3111/stat : 3111 (java) S 3082 3082 2889 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 4412924 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) 22.17
Current children cumulated vsize (KiB) 871040
[startup+23.208 s]
/proc/loadavg: 1.52 1.13 1.04 3/103 3209
/proc/meminfo: memFree=1658016/2055920 swapFree=4192956/4192956
[pid=3082] ppid=3080 vsize=5360 CPUtime=1.55
/proc/3082/stat : 3082 (hydra) S 3080 3082 2889 0 -1 4194304 375 2244 0 0 0 0 154 1 20 0 1 0 4412202 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3082/statm: 1340 238 196 169 0 51 0
[pid=3090] ppid=3082 vsize=197348 CPUtime=5.54
/proc/3090/stat : 3090 (java) S 3082 3082 2889 0 -1 0 13864 0 1 0 535 19 0 0 21 0 10 0 4412361 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/3090/statm: 49337 9391 2543 9 0 43920 0
[pid=3112] ppid=3090 vsize=5356 CPUtime=0
/proc/3112/stat : 3112 (abscon) S 3090 3082 2889 0 -1 4194304 303 0 0 0 0 0 0 0 18 0 1 0 4412924 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 208717538116 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/3112/statm: 1339 235 194 169 0 50 0
[pid=3113] ppid=3112 vsize=655932 CPUtime=15.87
/proc/3113/stat : 3113 (java) S 3112 3082 2889 0 -1 0 19659 0 1 0 1566 21 0 0 18 0 9 0 4412924 671674368 18964 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/3113/statm: 163983 18964 2616 9 0 158511 0
[pid=3113/tid=3115] ppid=3112 vsize=655932 CPUtime=15.38
/proc/3113/task/3115/stat : 3115 (java) R 3112 3082 2889 0 -1 64 12586 0 1 0 1520 18 0 0 23 0 9 0 4412925 671674368 18964 996147200 134512640 134550740 4294955808 18446744073709551615 4127057227 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3113/tid=3116] ppid=3112 vsize=655932 CPUtime=0.12
/proc/3113/task/3116/stat : 3116 (java) S 3112 3082 2889 0 -1 64 5788 0 0 0 11 1 0 0 16 0 9 0 4412926 671674368 18964 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3113/tid=3117] ppid=3112 vsize=655932 CPUtime=0
/proc/3113/task/3117/stat : 3117 (java) S 3112 3082 2889 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 4412926 671674368 18964 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3113/tid=3118] ppid=3112 vsize=655932 CPUtime=0
/proc/3113/task/3118/stat : 3118 (java) S 3112 3082 2889 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 4412926 671674368 18964 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3113/tid=3119] ppid=3112 vsize=655932 CPUtime=0
/proc/3113/task/3119/stat : 3119 (java) S 3112 3082 2889 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 4412928 671674368 18964 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3113/tid=3120] ppid=3112 vsize=655932 CPUtime=0.35
/proc/3113/task/3120/stat : 3120 (java) S 3112 3082 2889 0 -1 64 740 0 0 0 35 0 0 0 17 0 9 0 4412928 671674368 18964 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3113/tid=3121] ppid=3112 vsize=655932 CPUtime=0
/proc/3113/task/3121/stat : 3121 (java) S 3112 3082 2889 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 4412928 671674368 18964 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3113/tid=3122] ppid=3112 vsize=655932 CPUtime=0
/proc/3113/task/3122/stat : 3122 (java) S 3112 3082 2889 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 4412928 671674368 18964 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3114] ppid=3112 vsize=7044 CPUtime=0
/proc/3114/stat : 3114 (translate) S 3112 3082 2889 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 4412924 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 208717709394 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/3114/statm: 1761 213 182 1 0 41 0
[pid=3090/tid=3091] ppid=3082 vsize=197348 CPUtime=4.29
/proc/3090/task/3091/stat : 3091 (java) S 3082 3082 2889 0 -1 64 3852 0 1 0 421 8 0 0 17 0 10 0 4412363 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=3090/tid=3092] ppid=3082 vsize=197348 CPUtime=1.03
/proc/3090/task/3092/stat : 3092 (java) S 3082 3082 2889 0 -1 64 8558 0 0 0 94 9 0 0 16 0 10 0 4412365 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=3090/tid=3093] ppid=3082 vsize=197348 CPUtime=0
/proc/3090/task/3093/stat : 3093 (java) S 3082 3082 2889 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 4412365 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3090/tid=3094] ppid=3082 vsize=197348 CPUtime=0
/proc/3090/task/3094/stat : 3094 (java) S 3082 3082 2889 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 4412365 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3090/tid=3095] ppid=3082 vsize=197348 CPUtime=0
/proc/3090/task/3095/stat : 3095 (java) S 3082 3082 2889 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 4412368 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3090/tid=3096] ppid=3082 vsize=197348 CPUtime=0.19
/proc/3090/task/3096/stat : 3096 (java) S 3082 3082 2889 0 -1 64 648 0 0 0 19 0 0 0 16 0 10 0 4412368 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3090/tid=3097] ppid=3082 vsize=197348 CPUtime=0
/proc/3090/task/3097/stat : 3097 (java) S 3082 3082 2889 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 4412368 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3090/tid=3098] ppid=3082 vsize=197348 CPUtime=0
/proc/3090/task/3098/stat : 3098 (java) S 3082 3082 2889 0 -1 64 12 0 0 0 0 0 0 0 15 0 10 0 4412368 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3090/tid=3111] ppid=3082 vsize=197348 CPUtime=0
/proc/3090/task/3111/stat : 3111 (java) S 3082 3082 2889 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 4412924 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) 22.96
Current children cumulated vsize (KiB) 871040
[startup+23.602 s]
/proc/loadavg: 1.52 1.13 1.04 3/103 3209
/proc/meminfo: memFree=1658016/2055920 swapFree=4192956/4192956
[pid=3082] ppid=3080 vsize=5360 CPUtime=1.55
/proc/3082/stat : 3082 (hydra) S 3080 3082 2889 0 -1 4194304 375 2244 0 0 0 0 154 1 20 0 1 0 4412202 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3082/statm: 1340 238 196 169 0 51 0
[pid=3090] ppid=3082 vsize=197348 CPUtime=5.54
/proc/3090/stat : 3090 (java) S 3082 3082 2889 0 -1 0 13864 0 1 0 535 19 0 0 21 0 10 0 4412361 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/3090/statm: 49337 9391 2543 9 0 43920 0
[pid=3112] ppid=3090 vsize=5356 CPUtime=0
/proc/3112/stat : 3112 (abscon) S 3090 3082 2889 0 -1 4194304 303 0 0 0 0 0 0 0 18 0 1 0 4412924 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 208717538116 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/3112/statm: 1339 235 194 169 0 50 0
[pid=3113] ppid=3112 vsize=655932 CPUtime=16.27
/proc/3113/stat : 3113 (java) S 3112 3082 2889 0 -1 0 19659 0 1 0 1606 21 0 0 18 0 9 0 4412924 671674368 18964 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/3113/statm: 163983 18964 2616 9 0 158511 0
[pid=3113/tid=3115] ppid=3112 vsize=655932 CPUtime=15.77
/proc/3113/task/3115/stat : 3115 (java) R 3112 3082 2889 0 -1 64 12586 0 1 0 1559 18 0 0 25 0 9 0 4412925 671674368 18964 996147200 134512640 134550740 4294955808 18446744073709551615 4127088373 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3113/tid=3116] ppid=3112 vsize=655932 CPUtime=0.12
/proc/3113/task/3116/stat : 3116 (java) S 3112 3082 2889 0 -1 64 5788 0 0 0 11 1 0 0 16 0 9 0 4412926 671674368 18964 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3113/tid=3117] ppid=3112 vsize=655932 CPUtime=0
/proc/3113/task/3117/stat : 3117 (java) S 3112 3082 2889 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 4412926 671674368 18964 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3113/tid=3118] ppid=3112 vsize=655932 CPUtime=0
/proc/3113/task/3118/stat : 3118 (java) S 3112 3082 2889 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 4412926 671674368 18964 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3113/tid=3119] ppid=3112 vsize=655932 CPUtime=0
/proc/3113/task/3119/stat : 3119 (java) S 3112 3082 2889 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 4412928 671674368 18964 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3113/tid=3120] ppid=3112 vsize=655932 CPUtime=0.35
/proc/3113/task/3120/stat : 3120 (java) S 3112 3082 2889 0 -1 64 740 0 0 0 35 0 0 0 17 0 9 0 4412928 671674368 18964 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3113/tid=3121] ppid=3112 vsize=655932 CPUtime=0
/proc/3113/task/3121/stat : 3121 (java) S 3112 3082 2889 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 4412928 671674368 18964 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3113/tid=3122] ppid=3112 vsize=655932 CPUtime=0
/proc/3113/task/3122/stat : 3122 (java) S 3112 3082 2889 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 4412928 671674368 18964 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3114] ppid=3112 vsize=7044 CPUtime=0
/proc/3114/stat : 3114 (translate) S 3112 3082 2889 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 4412924 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 208717709394 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/3114/statm: 1761 213 182 1 0 41 0
[pid=3090/tid=3091] ppid=3082 vsize=197348 CPUtime=4.29
/proc/3090/task/3091/stat : 3091 (java) S 3082 3082 2889 0 -1 64 3852 0 1 0 421 8 0 0 17 0 10 0 4412363 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=3090/tid=3092] ppid=3082 vsize=197348 CPUtime=1.03
/proc/3090/task/3092/stat : 3092 (java) S 3082 3082 2889 0 -1 64 8558 0 0 0 94 9 0 0 16 0 10 0 4412365 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=3090/tid=3093] ppid=3082 vsize=197348 CPUtime=0
/proc/3090/task/3093/stat : 3093 (java) S 3082 3082 2889 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 4412365 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3090/tid=3094] ppid=3082 vsize=197348 CPUtime=0
/proc/3090/task/3094/stat : 3094 (java) S 3082 3082 2889 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 4412365 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3090/tid=3095] ppid=3082 vsize=197348 CPUtime=0
/proc/3090/task/3095/stat : 3095 (java) S 3082 3082 2889 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 4412368 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3090/tid=3096] ppid=3082 vsize=197348 CPUtime=0.19
/proc/3090/task/3096/stat : 3096 (java) S 3082 3082 2889 0 -1 64 648 0 0 0 19 0 0 0 16 0 10 0 4412368 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3090/tid=3097] ppid=3082 vsize=197348 CPUtime=0
/proc/3090/task/3097/stat : 3097 (java) S 3082 3082 2889 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 4412368 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3090/tid=3098] ppid=3082 vsize=197348 CPUtime=0
/proc/3090/task/3098/stat : 3098 (java) S 3082 3082 2889 0 -1 64 12 0 0 0 0 0 0 0 15 0 10 0 4412368 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3090/tid=3111] ppid=3082 vsize=197348 CPUtime=0
/proc/3090/task/3111/stat : 3111 (java) S 3082 3082 2889 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 4412924 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) 23.36
Current children cumulated vsize (KiB) 871040
[startup+24.0021 s]
/proc/loadavg: 1.52 1.13 1.04 3/103 3209
/proc/meminfo: memFree=1658016/2055920 swapFree=4192956/4192956
[pid=3082] ppid=3080 vsize=5360 CPUtime=1.55
/proc/3082/stat : 3082 (hydra) S 3080 3082 2889 0 -1 4194304 375 2244 0 0 0 0 154 1 20 0 1 0 4412202 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3082/statm: 1340 238 196 169 0 51 0
[pid=3090] ppid=3082 vsize=197348 CPUtime=22.2
/proc/3090/stat : 3090 (java) S 3082 3082 2889 0 -1 0 13938 20274 1 1 535 19 1643 23 21 0 9 0 4412361 202084352 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/3090/statm: 49337 9393 2544 9 0 43920 0
[pid=3090/tid=3091] ppid=3082 vsize=197348 CPUtime=20.95
/proc/3090/task/3091/stat : 3091 (java) S 3082 3082 2889 0 -1 64 3904 20274 1 1 421 8 1643 23 16 0 9 0 4412363 202084352 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3090/tid=3092] ppid=3082 vsize=197348 CPUtime=17.69
/proc/3090/task/3092/stat : 3092 (java) S 3082 3082 2889 0 -1 64 8568 20274 0 1 94 9 1643 23 16 0 9 0 4412365 202084352 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=3090/tid=3093] ppid=3082 vsize=197348 CPUtime=16.66
/proc/3090/task/3093/stat : 3093 (java) S 3082 3082 2889 0 -1 64 11 20274 0 1 0 0 1643 23 16 0 9 0 4412365 202084352 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3090/tid=3094] ppid=3082 vsize=197348 CPUtime=16.66
/proc/3090/task/3094/stat : 3094 (java) S 3082 3082 2889 0 -1 64 5 20274 0 1 0 0 1643 23 15 0 9 0 4412365 202084352 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3090/tid=3095] ppid=3082 vsize=197348 CPUtime=16.66
/proc/3090/task/3095/stat : 3095 (java) S 3082 3082 2889 0 -1 64 0 20274 0 1 0 0 1643 23 25 0 9 0 4412368 202084352 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3090/tid=3096] ppid=3082 vsize=197348 CPUtime=16.85
/proc/3090/task/3096/stat : 3096 (java) S 3082 3082 2889 0 -1 64 648 20274 0 1 19 0 1643 23 16 0 9 0 4412368 202084352 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3090/tid=3097] ppid=3082 vsize=197348 CPUtime=16.66
/proc/3090/task/3097/stat : 3097 (java) S 3082 3082 2889 0 -1 64 1 20274 0 1 0 0 1643 23 25 0 9 0 4412368 202084352 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3090/tid=3098] ppid=3082 vsize=197348 CPUtime=16.66
/proc/3090/task/3098/stat : 3098 (java) S 3082 3082 2889 0 -1 64 12 20274 0 1 0 0 1643 23 15 0 9 0 4412368 202084352 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 23.75
Current children cumulated vsize (KiB) 202708
Child status: 0
Real time (s): 24.0125
CPU time (s): 23.7954
CPU user time (s): 23.3425
CPU system time (s): 0.452931
CPU usage (%): 99.0957
Max. virtual memory (cumulated for all children) (KiB): 871040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 23.3425
system time used= 0.452931
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36868
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= 11594
involuntary context switches= 12997
runsolver used 0.089986 second user time and 0.220966 second system time
The end