0.00/0.00 c cpHydra_k_10 version 0.0
7.16/7.26 c CASE TO CLASSIFY:
7.16/7.26 c Case: 0
7.16/7.26 c 19 > 0.000000 | c 35 > 0.017738 | c 17 > 3.837950 | c 18 > 0.000000 | c 33 > 0.013304 | c 15 > 21.571500 | c 34 > 0.013304 | c 16 > 22.000000 | c 13 > 8.639950 | c 14 > 9.529430 | c 11 > 8.797660 | c 12 > 7.602030 | c 21 > 5.099020 | c 20 > 96.162000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 3.777780 | c 28 > 6.222220 | c 29 > -1.000000 | c 3 > 8.797660 | c 2 > -1.000000 | c 10 > 15.224100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 15.035500 | c 32 > -1.000000 | c 5 > 16.264800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.16/7.27 c choco : 1801.0
7.16/7.27 c mistral : 1801.0
7.16/7.27 c abscon : 1801.0
7.16/7.27 c
7.16/7.27 c
7.26/7.34 c List of same ones: 10
7.26/7.34 c /home/ehebrard/new_instances/competition_4c/data/lexHerald/crossword-m1-lex-23-05.xml
7.26/7.34 c 19 > 0.000000 | c 35 > 0.017738 | c 17 > 3.837950 | c 18 > 0.000000 | c 33 > 0.013304 | c 15 > 20.027400 | c 34 > 0.013304 | c 16 > 22.000000 | c 13 > 6.437060 | c 14 > 8.108520 | c 11 > 8.797660 | c 12 > 6.859520 | c 21 > 5.099020 | c 20 > 96.162000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 3.777780 | c 28 > 6.222220 | c 29 > -1.000000 | c 3 > 8.797660 | c 2 > -1.000000 | c 10 > 15.224100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 15.035500 | c 32 > -1.000000 | c 5 > 16.264800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.26/7.34 c choco : 84.97
7.26/7.34 c mistral : 31.15
7.26/7.34 c abscon : 31.18
7.26/7.34 c
7.26/7.34 c
7.26/7.34 c /home/ehebrard/new_instances/competition_4c/data/wordsHerald/crossword-m1-words-23-05.xml
7.26/7.34 c 19 > 0.000000 | c 35 > 0.017738 | c 17 > 3.837950 | c 18 > 0.000000 | c 33 > 0.013304 | c 15 > 19.658200 | c 34 > 0.013304 | c 16 > 22.000000 | c 13 > 5.391080 | c 14 > 7.912890 | c 11 > 8.797660 | c 12 > 6.659660 | c 21 > 5.099020 | c 20 > 96.162000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 3.777780 | c 28 > 6.222220 | c 29 > -1.000000 | c 3 > 8.797660 | c 2 > -1.000000 | c 10 > 15.224100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 15.035500 | c 32 > -1.000000 | c 5 > 16.264800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.26/7.35 c choco : 61.2
7.26/7.35 c mistral : 14.59
7.26/7.35 c abscon : 32.01
7.26/7.35 c
7.26/7.35 c
7.26/7.35 c /home/ehebrard/new_instances/competition_4c/data/lexHerald/crossword-m1-lex-23-07.xml
7.26/7.35 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 4.474160 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.647200 | c 34 > 0.000000 | c 16 > 24.000000 | c 13 > 5.127730 | c 14 > 7.977280 | c 11 > 8.800900 | c 12 > 6.349320 | c 21 > 5.099020 | c 20 > 95.525800 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 4.597700 | c 28 > 5.402300 | c 29 > -1.000000 | c 3 > 8.800900 | c 2 > -1.000000 | c 10 > 14.847800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 14.643700 | c 32 > -1.000000 | c 5 > 15.938300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.26/7.36 c choco : 76.58
7.26/7.36 c mistral : 30.9
7.26/7.36 c abscon : 157.92
7.26/7.36 c
7.26/7.36 c
7.26/7.36 c /home/ehebrard/new_instances/competition_4c/data/ogdHerald/crossword-m1-ogd-23-05.xml
7.26/7.36 c 19 > 0.000000 | c 35 > 0.017738 | c 17 > 3.837950 | c 18 > 0.000000 | c 33 > 0.013304 | c 15 > 18.226300 | c 34 > 0.013304 | c 16 > 22.000000 | c 13 > 5.348150 | c 14 > 7.426260 | c 11 > 8.797660 | c 12 > 6.613390 | c 21 > 5.099020 | c 20 > 96.162000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 3.777780 | c 28 > 6.222220 | c 29 > -1.000000 | c 3 > 8.797660 | c 2 > -1.000000 | c 10 > 15.224100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 15.035500 | c 32 > -1.000000 | c 5 > 16.264800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.26/7.37 c choco : 33.03
7.26/7.37 c mistral : 7.04
7.26/7.37 c abscon : 32.12
7.26/7.37 c
7.26/7.37 c
7.26/7.37 c /home/ehebrard/new_instances/competition_4c/data/ukHerald/crossword-m1-uk-23-05.xml
7.26/7.37 c 19 > 0.000000 | c 35 > 0.017738 | c 17 > 3.837950 | c 18 > 0.000000 | c 33 > 0.013304 | c 15 > 18.268200 | c 34 > 0.013304 | c 16 > 22.000000 | c 13 > 5.351910 | c 14 > 7.658210 | c 11 > 8.797660 | c 12 > 6.049300 | c 21 > 5.099020 | c 20 > 96.162000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 3.777780 | c 28 > 6.222220 | c 29 > -1.000000 | c 3 > 8.797660 | c 2 > -1.000000 | c 10 > 15.224100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 15.035500 | c 32 > -1.000000 | c 5 > 16.264800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.26/7.38 c choco : 30.8
7.26/7.38 c mistral : 5.63
7.26/7.38 c abscon : 29.5
7.26/7.38 c
7.26/7.38 c
7.26/7.38 c /home/ehebrard/new_instances/competition_4c/data/wordsHerald/crossword-m1-words-23-07.xml
7.26/7.38 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 4.474160 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.276700 | c 34 > 0.000000 | c 16 > 24.000000 | c 13 > 5.078940 | c 14 > 8.134430 | c 11 > 8.800900 | c 12 > 6.348290 | c 21 > 5.099020 | c 20 > 95.525800 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 4.597700 | c 28 > 5.402300 | c 29 > -1.000000 | c 3 > 8.800900 | c 2 > -1.000000 | c 10 > 14.847800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 14.643700 | c 32 > -1.000000 | c 5 > 15.938300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.26/7.39 c choco : 80.07
7.26/7.39 c mistral : 19.3
7.26/7.39 c abscon : 48.37
7.26/7.39 c
7.26/7.39 c
7.26/7.39 c /home/ehebrard/new_instances/competition_4c/data/lexHerald/crossword-m1-lex-23-02.xml
7.26/7.39 c 19 > 0.000000 | c 35 > 0.037683 | c 17 > 4.110210 | c 18 > 0.000000 | c 33 > 0.028262 | c 15 > 19.658100 | c 34 > 0.028262 | c 16 > 24.000000 | c 13 > 5.345730 | c 14 > 8.562240 | c 11 > 8.764870 | c 12 > 6.533190 | c 21 > 5.099020 | c 20 > 95.889800 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 5.714290 | c 28 > 4.285710 | c 29 > -1.000000 | c 3 > 8.764870 | c 2 > -1.000000 | c 10 > 14.938800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 14.719600 | c 32 > -1.000000 | c 5 > 15.994100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.26/7.40 c choco : 78.46
7.26/7.40 c mistral : 13.32
7.26/7.40 c abscon : 48.64
7.26/7.40 c
7.26/7.40 c
7.26/7.40 c /home/ehebrard/new_instances/competition_4c/data/wordsHerald/crossword-m1-words-21-02.xml
7.26/7.40 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 4.945600 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.350800 | c 34 > 0.000000 | c 16 > 24.000000 | c 13 > 4.999560 | c 14 > 8.247930 | c 11 > 8.527480 | c 12 > 6.335500 | c 21 > 5.099020 | c 20 > 95.054400 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 4.400000 | c 28 > 5.600000 | c 29 > -1.000000 | c 3 > 8.527480 | c 2 > -1.000000 | c 10 > 14.509200 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 14.308200 | c 32 > -1.000000 | c 5 > 15.614400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.34/7.40 c choco : 31.77
7.34/7.40 c mistral : 5.03
7.34/7.40 c abscon : 25.52
7.34/7.40 c
7.34/7.40 c
7.34/7.40 c /home/ehebrard/new_instances/competition_4c/data/lexHerald/crossword-m1-lex-21-02.xml
7.34/7.40 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 4.945600 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.636400 | c 34 > 0.000000 | c 16 > 24.000000 | c 13 > 4.887980 | c 14 > 8.118940 | c 11 > 8.527480 | c 12 > 6.295890 | c 21 > 5.099020 | c 20 > 95.054400 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 4.400000 | c 28 > 5.600000 | c 29 > -1.000000 | c 3 > 8.527480 | c 2 > -1.000000 | c 10 > 14.509200 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 14.308200 | c 32 > -1.000000 | c 5 > 15.614400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.34/7.41 c choco : 65.38
7.34/7.41 c mistral : 22.35
7.34/7.41 c abscon : 32.86
7.34/7.41 c
7.34/7.41 c
7.34/7.41 c /home/ehebrard/new_instances/competition_4c/data/lexHerald/crossword-m1-lex-21-06.xml
7.34/7.41 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 5.524030 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.493300 | c 34 > 0.000000 | c 16 > 22.000000 | c 13 > 4.903800 | c 14 > 7.832890 | c 11 > 8.543030 | c 12 > 6.199960 | c 21 > 5.099020 | c 20 > 94.476000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 3.835620 | c 28 > 6.164380 | c 29 > -1.000000 | c 3 > 8.543030 | c 2 > -1.000000 | c 10 > 14.363700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 14.170400 | c 32 > -1.000000 | c 5 > 15.507200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.34/7.42 c choco : 153.11
7.34/7.42 c mistral : 9.59
7.34/7.42 c abscon : 196.99
7.34/7.42 c
7.34/7.42 c
7.34/7.42 c Length: 10
7.34/7.42 c 3.1316569879697878 4.209172835059165 5.154951387755606 5.237083480192006 5.256941380013668 5.293509258783198 5.338228520093163 5.501636177549681 5.5095450744796945 5.568385623627684
7.34/7.42 c
7.34/7.42 c 1.0 0.6933862022465138 0.5463488901947955 0.5364697081130186 0.5341345193144826 0.5298870858679108 0.5247837847240121 0.5069433642011204 0.5061106161241321 0.5
7.34/7.43 c
7.34/7.43 c solver 0
7.34/7.43 c before 0.0 seconds: {} 0
7.34/7.43 c before 36.0 seconds: {0, 1, 3, 4, 7, 8} 3777
7.34/7.43 c before 54.0 seconds: {0, 1, 3, 4, 5, 6, 7, 8} 4831
7.34/7.43 c before 162.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8} 5378
7.34/7.43 c before 198.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 5878
7.34/7.43 c
7.34/7.43 c solver 1
7.34/7.43 c before 0.0 seconds: {} 0
7.34/7.43 c before 18.0 seconds: {1, 3, 4, 6, 7, 9} 3295
7.34/7.43 c before 36.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 5878
7.34/7.43 c
7.34/7.43 c solver 2
7.34/7.43 c before 0.0 seconds: {} 0
7.34/7.43 c before 36.0 seconds: {3, 4, 7} 1577
7.34/7.43 c before 72.0 seconds: {1, 3, 4, 7, 8} 2777
7.34/7.43 c before 90.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8} 5378
7.34/7.43 c before 162.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 5878
7.34/7.43 c
7.34/7.43 cTotal time: 22
7.34/7.43 c 396.0 seconds unused
7.34/7.43 c 0 c 0 c 0
7.34/7.43 c 0 c 0 c 0
7.34/7.43 c 0 c 0 c 0
7.34/7.43 c is solver0 dominated by:
7.34/7.43 c solver 1 (0 solves instances that 1 can't: false) (1 doesn't solve instances that 0 can't: true) (0 is faster than 1: false) (0 is equally as fast as 1: false) (0 < 1: false)
7.34/7.43 c is dominated? true
7.34/7.43 c
7.34/7.43 c is solver1 dominated by:
7.34/7.43 c solver 0 (1 solves instances that 0 can't: false) (0 doesn't solve instances that 1 can't: true) (1 is faster than 0: true) (1 is equally as fast as 0: false) (1 < 0: true)
7.34/7.43 c solver 2 (1 solves instances that 2 can't: false) (2 doesn't solve instances that 1 can't: true) (1 is faster than 2: true) (1 is equally as fast as 2: false) (1 < 2: false)
7.34/7.43 c is dominated? false
7.34/7.43 c
7.34/7.43 c is solver2 dominated by:
7.34/7.43 c solver 0 (2 solves instances that 0 can't: false) (0 doesn't solve instances that 2 can't: true) (2 is faster than 0: true) (2 is equally as fast as 0: false) (2 < 0: true)
7.34/7.43 c solver 1 (2 solves instances that 1 can't: false) (1 doesn't solve instances that 2 can't: true) (2 is faster than 1: false) (2 is equally as fast as 1: false) (2 < 1: true)
7.34/7.43 c is dominated? true
7.34/7.43 c
7.34/7.43 c Number of non-dominated solvers: 1
7.34/7.43 c remove dominated solvers
7.34/7.43 c solver 1 is not dominated by another solver
7.34/7.44 c solver 2 is dominated by another solver
7.34/7.44 c solver 0 is dominated by another solver
7.34/7.44 c
7.34/7.44 c solver 0: 0.0
7.34/7.44 c
7.34/7.44 c solver 1: 36.0
7.34/7.44 c
7.34/7.44 c+ 2/2 of 98
7.34/7.44 c
7.34/7.44 c solver 2: 0.0
7.34/7.44 c do not run abscon
7.34/7.44 c run mistral for 1800.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 5878
7.34/7.44 c do not run choco
7.34/7.44 c Starting solver: HOME/cpHydra_k_10/solver/mistral
7.34/7.44 c On Instance: HOME/instance-1068085-1215152310.xml
7.34/7.44 c Running for: 1800 seconds
19.81/19.99 c mistral-prime version 1.313
19.81/19.99 s SATISFIABLE
19.81/19.99 v 2 0 1 14 19 8 18 0 0 2 0 15 0 2 4 18 7 0 10 4 4 11 20 3 4 17 0 1 1 8 13 4 15 0 11 15 14 1 14 23 3 4 19 4 17 12 8 13 0 13 19 8 13 4 15 19 7 4 0 17 19 0 15 19 12 20 18 4 14 17 0 19 4 14 14 25 4 1 0 17 17 7 4 13 8 18 7 15 17 14 1 0 19 4 13 8 17 21 0 13 0 8 13 10 17 14 12 4 14 17 0 22 15 8 4 1 0 12 1 8 3 14 11 0 13 14 0 18 8 18 2 0 17 11 14 0 23 8 18 18 8 18 0 11 4 18 19 4 11 11 0 11 14 0 5 24 8 13 3 20 17 4 17 0 23 11 4 3 20 12 0 6 20 19 3 0 8 17 24 12 0 13 17 8 2 14 18 2 17 8 15 19 20 17 4 0 11 12 0 13 0 2 1 14 3 4 7 4 0 15 15 0 4 0 13 12 0 2 15 20 1 4 18 2 4 13 19 17 0 15 18 19 4 0 12 5 0 17 4 18 2 0 19 12 0 17 8 19 0 11 2 14 6 13 8 25 0 13 19 10 8 13 3 12 14 3 4 17 0 19 4 0 15 17 2 14 11 0 4 13 21 24 21 4 13 0 11 2 14 15 11 8 4 13 4 18 2 0 15 4 4 2 8 3 4 17 5 8 13 4 0 2 19 14 13 4 4 17 8 4 19 14 19 0 11 0 11 19 4 17 3 4 2 0 15 18 15 4 13 0 11 12 1 0 17 14 18 4 1 20 3 0 2 17 4 0 6 4 7 0 24 22 0 17 3 0 11 11 20 19 0 7 14 20 13 2 4 11 0 17 18 18 7 4 8 3 4 0 11 2 14 17 15 18 0 13 19 8 18 4 12 8 19 8 2 18 4 15 19 0 2 11 4 0 19 17 4 21 4 19 0 17 4 13 0 4 13 19 4 17 0 12 15 11 24 19 17 0 3 4 11 4 17 14 24
19.81/19.99 d CHECKS 18178258
19.81/19.99 d ASSIGNMENTS 4020
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1068085-1215152310/watcher-1068085-1215152310 -o /tmp/evaluation-result-1068085-1215152310/solver-1068085-1215152310 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1068085-1215152310.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.91 1.97 1.99 4/73 2648
/proc/meminfo: memFree=1549624/2055920 swapFree=4169364/4192956
[pid=2648] ppid=2646 vsize=5360 CPUtime=0
/proc/2648/stat : 2648 (hydra) S 2646 2648 31896 0 -1 4194304 330 247 0 0 0 0 0 0 18 0 1 0 249704868 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 224264774468 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2648/statm: 1340 236 195 169 0 51 0
[pid=2651] ppid=2648 vsize=3236 CPUtime=0
/proc/2651/stat : 2651 (xsolve) R 2648 2648 31896 0 -1 4194304 71 0 0 0 0 0 0 0 18 0 1 0 249704869 3313664 48 996147200 134512640 135239763 4294956176 18446744073709551615 6552205 0 0 4096 0 0 0 0 17 0 0 0
/proc/2651/statm: 809 51 37 177 0 12 0
[startup+0.0290081 s]
/proc/loadavg: 1.91 1.97 1.99 4/73 2648
/proc/meminfo: memFree=1549624/2055920 swapFree=4169364/4192956
[pid=2648] ppid=2646 vsize=5360 CPUtime=0
/proc/2648/stat : 2648 (hydra) S 2646 2648 31896 0 -1 4194304 330 247 0 0 0 0 0 0 18 0 1 0 249704868 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 224264774468 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2648/statm: 1340 236 195 169 0 51 0
[pid=2651] ppid=2648 vsize=4988 CPUtime=0.02
/proc/2651/stat : 2651 (xsolve) R 2648 2648 31896 0 -1 4194304 545 0 0 0 2 0 0 0 18 0 1 0 249704869 5107712 504 996147200 134512640 135239763 4294956176 18446744073709551615 6985339 0 0 4096 0 0 0 0 17 0 0 0
/proc/2651/statm: 1247 504 355 177 0 150 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 10348
[startup+0.102016 s]
/proc/loadavg: 1.91 1.97 1.99 4/73 2648
/proc/meminfo: memFree=1549624/2055920 swapFree=4169364/4192956
[pid=2648] ppid=2646 vsize=5360 CPUtime=0
/proc/2648/stat : 2648 (hydra) S 2646 2648 31896 0 -1 4194304 330 247 0 0 0 0 0 0 18 0 1 0 249704868 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 224264774468 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2648/statm: 1340 236 195 169 0 51 0
[pid=2651] ppid=2648 vsize=6336 CPUtime=0.09
/proc/2651/stat : 2651 (xsolve) R 2648 2648 31896 0 -1 4194304 910 0 0 0 9 0 0 0 18 0 1 0 249704869 6488064 869 996147200 134512640 135239763 4294956176 18446744073709551615 6985339 0 0 4096 0 0 0 0 17 0 0 0
/proc/2651/statm: 1584 869 374 177 0 487 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11696
[startup+0.301037 s]
/proc/loadavg: 1.91 1.97 1.99 4/73 2648
/proc/meminfo: memFree=1549624/2055920 swapFree=4169364/4192956
[pid=2648] ppid=2646 vsize=5360 CPUtime=0
/proc/2648/stat : 2648 (hydra) S 2646 2648 31896 0 -1 4194304 330 247 0 0 0 0 0 0 18 0 1 0 249704868 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 224264774468 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2648/statm: 1340 236 195 169 0 51 0
[pid=2651] ppid=2648 vsize=11000 CPUtime=0.29
/proc/2651/stat : 2651 (xsolve) R 2648 2648 31896 0 -1 4194304 2060 0 0 0 28 1 0 0 19 0 1 0 249704869 11264000 2019 996147200 134512640 135239763 4294956176 18446744073709551615 6985339 0 0 4096 0 0 0 0 17 0 0 0
/proc/2651/statm: 2750 2019 374 177 0 1653 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 16360
[startup+0.701079 s]
/proc/loadavg: 1.91 1.97 1.99 4/73 2648
/proc/meminfo: memFree=1549624/2055920 swapFree=4169364/4192956
[pid=2648] ppid=2646 vsize=5360 CPUtime=0
/proc/2648/stat : 2648 (hydra) S 2646 2648 31896 0 -1 4194304 330 247 0 0 0 0 0 0 18 0 1 0 249704868 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 224264774468 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2648/statm: 1340 236 195 169 0 51 0
[pid=2651] ppid=2648 vsize=27808 CPUtime=0.68
/proc/2651/stat : 2651 (xsolve) R 2648 2648 31896 0 -1 4194304 6281 0 0 0 66 2 0 0 23 0 1 0 249704869 28475392 6108 996147200 134512640 135239763 4294956176 18446744073709551615 134799832 0 0 4096 0 0 0 0 17 0 0 0
/proc/2651/statm: 6952 6108 424 177 0 5855 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 33168
[startup+1.50116 s]
/proc/loadavg: 1.91 1.97 1.99 3/75 2652
/proc/meminfo: memFree=1526504/2055920 swapFree=4169364/4192956
[pid=2648] ppid=2646 vsize=5360 CPUtime=0
/proc/2648/stat : 2648 (hydra) S 2646 2648 31896 0 -1 4194304 330 247 0 0 0 0 0 0 18 0 1 0 249704868 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 224264774468 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2648/statm: 1340 236 195 169 0 51 0
[pid=2651] ppid=2648 vsize=27808 CPUtime=1.48
/proc/2651/stat : 2651 (xsolve) R 2648 2648 31896 0 -1 4194304 6281 0 0 0 146 2 0 0 25 0 1 0 249704869 28475392 6108 996147200 134512640 135239763 4294956176 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/2651/statm: 6952 6108 424 177 0 5855 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 33168
[startup+3.10233 s]
/proc/loadavg: 1.91 1.97 1.99 5/83 2664
/proc/meminfo: memFree=1542952/2055920 swapFree=4169364/4192956
[pid=2648] ppid=2646 vsize=5360 CPUtime=1.95
/proc/2648/stat : 2648 (hydra) S 2646 2648 31896 0 -1 4194304 375 6878 0 0 0 0 191 4 20 0 1 0 249704868 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 224264774468 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2648/statm: 1340 238 196 169 0 51 0
[pid=2656] ppid=2648 vsize=196992 CPUtime=1.12
/proc/2656/stat : 2656 (java) S 2648 2648 31896 0 -1 0 4841 0 1 0 107 5 0 0 21 0 9 0 249705065 201719808 4070 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/2656/statm: 49248 4070 1677 9 0 43831 0
[pid=2656/tid=2657] ppid=2648 vsize=196992 CPUtime=0.85
/proc/2656/task/2657/stat : 2657 (java) R 2648 2648 31896 0 -1 64 2696 0 1 0 83 2 0 0 25 0 9 0 249705066 201719808 4070 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2656/tid=2658] ppid=2648 vsize=196992 CPUtime=0.11
/proc/2656/task/2658/stat : 2658 (java) S 2648 2648 31896 0 -1 64 815 0 0 0 10 1 0 0 16 0 9 0 249705067 201719808 4070 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=2656/tid=2659] ppid=2648 vsize=196992 CPUtime=0
/proc/2656/task/2659/stat : 2659 (java) S 2648 2648 31896 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 249705068 201719808 4070 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2656/tid=2660] ppid=2648 vsize=196992 CPUtime=0
/proc/2656/task/2660/stat : 2660 (java) S 2648 2648 31896 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 249705068 201719808 4070 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2656/tid=2661] ppid=2648 vsize=196992 CPUtime=0
/proc/2656/task/2661/stat : 2661 (java) S 2648 2648 31896 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 249705070 201719808 4070 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2656/tid=2662] ppid=2648 vsize=196992 CPUtime=0.13
/proc/2656/task/2662/stat : 2662 (java) R 2648 2648 31896 0 -1 64 604 0 0 0 13 0 0 0 16 0 9 0 249705070 201719808 4070 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2656/tid=2663] ppid=2648 vsize=196992 CPUtime=0
/proc/2656/task/2663/stat : 2663 (java) S 2648 2648 31896 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 249705070 201719808 4070 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2656/tid=2664] ppid=2648 vsize=196992 CPUtime=0
/proc/2656/task/2664/stat : 2664 (java) S 2648 2648 31896 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 249705070 201719808 4070 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 202352
[startup+6.30268 s]
/proc/loadavg: 2.00 1.98 1.99 3/83 2664
/proc/meminfo: memFree=1529256/2055920 swapFree=4169364/4192956
[pid=2648] ppid=2646 vsize=5360 CPUtime=1.95
/proc/2648/stat : 2648 (hydra) S 2646 2648 31896 0 -1 4194304 375 6878 0 0 0 0 191 4 20 0 1 0 249704868 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 224264774468 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2648/statm: 1340 238 196 169 0 51 0
[pid=2656] ppid=2648 vsize=197100 CPUtime=4.31
/proc/2656/stat : 2656 (java) S 2648 2648 31896 0 -1 0 10024 0 1 0 417 14 0 0 21 0 9 0 249705065 201830400 8320 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/2656/statm: 49275 8320 2540 9 0 43858 0
[pid=2656/tid=2657] ppid=2648 vsize=197100 CPUtime=3.4
/proc/2656/task/2657/stat : 2657 (java) R 2648 2648 31896 0 -1 64 3561 0 1 0 335 5 0 0 25 0 9 0 249705066 201830400 8320 996147200 134512640 134550740 4294955968 18446744073709551615 4126443144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2656/tid=2658] ppid=2648 vsize=197100 CPUtime=0.71
/proc/2656/task/2658/stat : 2658 (java) S 2648 2648 31896 0 -1 64 5108 0 0 0 65 6 0 0 16 0 9 0 249705067 201830400 8320 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=2656/tid=2659] ppid=2648 vsize=197100 CPUtime=0
/proc/2656/task/2659/stat : 2659 (java) S 2648 2648 31896 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 249705068 201830400 8320 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2656/tid=2660] ppid=2648 vsize=197100 CPUtime=0
/proc/2656/task/2660/stat : 2660 (java) S 2648 2648 31896 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 249705068 201830400 8320 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2656/tid=2661] ppid=2648 vsize=197100 CPUtime=0
/proc/2656/task/2661/stat : 2661 (java) S 2648 2648 31896 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 249705070 201830400 8320 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2656/tid=2662] ppid=2648 vsize=197100 CPUtime=0.16
/proc/2656/task/2662/stat : 2662 (java) S 2648 2648 31896 0 -1 64 629 0 0 0 16 0 0 0 16 0 9 0 249705070 201830400 8320 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2656/tid=2663] ppid=2648 vsize=197100 CPUtime=0
/proc/2656/task/2663/stat : 2663 (java) S 2648 2648 31896 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 249705070 201830400 8320 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2656/tid=2664] ppid=2648 vsize=197100 CPUtime=0
/proc/2656/task/2664/stat : 2664 (java) S 2648 2648 31896 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 249705070 201830400 8320 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 202460
[startup+12.7024 s]
/proc/loadavg: 2.00 1.98 1.99 3/86 2667
/proc/meminfo: memFree=1497872/2055920 swapFree=4169364/4192956
[pid=2648] ppid=2646 vsize=5360 CPUtime=1.95
/proc/2648/stat : 2648 (hydra) S 2646 2648 31896 0 -1 4194304 375 6878 0 0 0 0 191 4 20 0 1 0 249704868 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 224264774468 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2648/statm: 1340 238 196 169 0 51 0
[pid=2656] ppid=2648 vsize=197424 CPUtime=5.43
/proc/2656/stat : 2656 (java) S 2648 2648 31896 0 -1 0 11433 0 1 0 525 18 0 0 21 0 10 0 249705065 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/2656/statm: 49356 9403 2543 9 0 43939 0
[pid=2666] ppid=2656 vsize=5356 CPUtime=0
/proc/2666/stat : 2666 (mistral) S 2656 2648 31896 0 -1 4194304 291 0 0 0 0 0 0 0 25 0 1 0 249705613 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 224264774468 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/2666/statm: 1339 236 196 169 0 50 0
[pid=2667] ppid=2666 vsize=28120 CPUtime=5.23
/proc/2667/stat : 2667 (xsolve) R 2666 2648 31896 0 -1 4194304 6342 0 0 0 520 3 0 0 25 0 1 0 249705614 28794880 6142 996147200 134512640 135239763 4294955968 18446744073709551615 135030894 0 4 0 0 0 0 0 17 0 0 0
/proc/2667/statm: 7030 6142 406 177 0 5933 0
[pid=2656/tid=2657] ppid=2648 vsize=197424 CPUtime=4.35
/proc/2656/task/2657/stat : 2657 (java) S 2648 2648 31896 0 -1 64 3857 0 1 0 428 7 0 0 24 0 10 0 249705066 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=2656/tid=2658] ppid=2648 vsize=197424 CPUtime=0.86
/proc/2656/task/2658/stat : 2658 (java) S 2648 2648 31896 0 -1 64 6120 0 0 0 78 8 0 0 16 0 10 0 249705067 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=2656/tid=2659] ppid=2648 vsize=197424 CPUtime=0
/proc/2656/task/2659/stat : 2659 (java) S 2648 2648 31896 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 249705068 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2656/tid=2660] ppid=2648 vsize=197424 CPUtime=0
/proc/2656/task/2660/stat : 2660 (java) S 2648 2648 31896 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 249705068 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2656/tid=2661] ppid=2648 vsize=197424 CPUtime=0
/proc/2656/task/2661/stat : 2661 (java) S 2648 2648 31896 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 249705070 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2656/tid=2662] ppid=2648 vsize=197424 CPUtime=0.19
/proc/2656/task/2662/stat : 2662 (java) S 2648 2648 31896 0 -1 64 647 0 0 0 18 1 0 0 16 0 10 0 249705070 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2656/tid=2663] ppid=2648 vsize=197424 CPUtime=0
/proc/2656/task/2663/stat : 2663 (java) S 2648 2648 31896 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 249705070 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2656/tid=2664] ppid=2648 vsize=197424 CPUtime=0
/proc/2656/task/2664/stat : 2664 (java) S 2648 2648 31896 0 -1 64 12 0 0 0 0 0 0 0 15 0 10 0 249705070 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2656/tid=2665] ppid=2648 vsize=197424 CPUtime=0
/proc/2656/task/2665/stat : 2665 (java) S 2648 2648 31896 0 -1 64 72 0 0 0 0 0 0 0 25 0 10 0 249705613 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 236260
Solver just ended. Dumping a history of the last processes samples
[startup+15.9017 s]
/proc/loadavg: 2.00 1.98 1.99 3/86 2667
/proc/meminfo: memFree=1497872/2055920 swapFree=4169364/4192956
[pid=2648] ppid=2646 vsize=5360 CPUtime=1.95
/proc/2648/stat : 2648 (hydra) S 2646 2648 31896 0 -1 4194304 375 6878 0 0 0 0 191 4 20 0 1 0 249704868 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 224264774468 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2648/statm: 1340 238 196 169 0 51 0
[pid=2656] ppid=2648 vsize=197424 CPUtime=5.43
/proc/2656/stat : 2656 (java) S 2648 2648 31896 0 -1 0 11433 0 1 0 525 18 0 0 21 0 10 0 249705065 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/2656/statm: 49356 9403 2543 9 0 43939 0
[pid=2666] ppid=2656 vsize=5356 CPUtime=0
/proc/2666/stat : 2666 (mistral) S 2656 2648 31896 0 -1 4194304 291 0 0 0 0 0 0 0 25 0 1 0 249705613 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 224264774468 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/2666/statm: 1339 236 196 169 0 50 0
[pid=2667] ppid=2666 vsize=28120 CPUtime=8.43
/proc/2667/stat : 2667 (xsolve) R 2666 2648 31896 0 -1 4194304 6346 0 0 0 840 3 0 0 25 0 1 0 249705614 28794880 6146 996147200 134512640 135239763 4294955968 18446744073709551615 134789144 0 4 0 0 0 0 0 17 0 0 0
/proc/2667/statm: 7030 6146 406 177 0 5933 0
[pid=2656/tid=2657] ppid=2648 vsize=197424 CPUtime=4.35
/proc/2656/task/2657/stat : 2657 (java) S 2648 2648 31896 0 -1 64 3857 0 1 0 428 7 0 0 24 0 10 0 249705066 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=2656/tid=2658] ppid=2648 vsize=197424 CPUtime=0.86
/proc/2656/task/2658/stat : 2658 (java) S 2648 2648 31896 0 -1 64 6120 0 0 0 78 8 0 0 16 0 10 0 249705067 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=2656/tid=2659] ppid=2648 vsize=197424 CPUtime=0
/proc/2656/task/2659/stat : 2659 (java) S 2648 2648 31896 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 249705068 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2656/tid=2660] ppid=2648 vsize=197424 CPUtime=0
/proc/2656/task/2660/stat : 2660 (java) S 2648 2648 31896 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 249705068 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
################
# More data... #
################
/proc/loadavg: 2.00 1.98 1.99 3/86 2667
/proc/meminfo: memFree=1497872/2055920 swapFree=4169364/4192956
[pid=2648] ppid=2646 vsize=5360 CPUtime=1.95
/proc/2648/stat : 2648 (hydra) S 2646 2648 31896 0 -1 4194304 375 6878 0 0 0 0 191 4 20 0 1 0 249704868 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 224264774468 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2648/statm: 1340 238 196 169 0 51 0
[pid=2656] ppid=2648 vsize=197424 CPUtime=5.43
/proc/2656/stat : 2656 (java) S 2648 2648 31896 0 -1 0 11433 0 1 0 525 18 0 0 21 0 10 0 249705065 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/2656/statm: 49356 9403 2543 9 0 43939 0
[pid=2666] ppid=2656 vsize=5356 CPUtime=0
/proc/2666/stat : 2666 (mistral) S 2656 2648 31896 0 -1 4194304 291 0 0 0 0 0 0 0 25 0 1 0 249705613 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 224264774468 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/2666/statm: 1339 236 196 169 0 50 0
[pid=2667] ppid=2666 vsize=28120 CPUtime=10.04
/proc/2667/stat : 2667 (xsolve) R 2666 2648 31896 0 -1 4194304 6346 0 0 0 1001 3 0 0 25 0 1 0 249705614 28794880 6146 996147200 134512640 135239763 4294955968 18446744073709551615 135016058 0 4 0 0 0 0 0 17 0 0 0
/proc/2667/statm: 7030 6146 406 177 0 5933 0
[pid=2656/tid=2657] ppid=2648 vsize=197424 CPUtime=4.35
/proc/2656/task/2657/stat : 2657 (java) S 2648 2648 31896 0 -1 64 3857 0 1 0 428 7 0 0 24 0 10 0 249705066 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=2656/tid=2658] ppid=2648 vsize=197424 CPUtime=0.86
/proc/2656/task/2658/stat : 2658 (java) S 2648 2648 31896 0 -1 64 6120 0 0 0 78 8 0 0 16 0 10 0 249705067 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=2656/tid=2659] ppid=2648 vsize=197424 CPUtime=0
/proc/2656/task/2659/stat : 2659 (java) S 2648 2648 31896 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 249705068 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2656/tid=2660] ppid=2648 vsize=197424 CPUtime=0
/proc/2656/task/2660/stat : 2660 (java) S 2648 2648 31896 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 249705068 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2656/tid=2661] ppid=2648 vsize=197424 CPUtime=0
/proc/2656/task/2661/stat : 2661 (java) S 2648 2648 31896 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 249705070 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2656/tid=2662] ppid=2648 vsize=197424 CPUtime=0.19
/proc/2656/task/2662/stat : 2662 (java) S 2648 2648 31896 0 -1 64 647 0 0 0 18 1 0 0 16 0 10 0 249705070 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2656/tid=2663] ppid=2648 vsize=197424 CPUtime=0
/proc/2656/task/2663/stat : 2663 (java) S 2648 2648 31896 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 249705070 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2656/tid=2664] ppid=2648 vsize=197424 CPUtime=0
/proc/2656/task/2664/stat : 2664 (java) S 2648 2648 31896 0 -1 64 12 0 0 0 0 0 0 0 15 0 10 0 249705070 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2656/tid=2665] ppid=2648 vsize=197424 CPUtime=0
/proc/2656/task/2665/stat : 2665 (java) S 2648 2648 31896 0 -1 64 72 0 0 0 0 0 0 0 25 0 10 0 249705613 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 17.42
Current children cumulated vsize (KiB) 236260
[startup+19.102 s]
/proc/loadavg: 2.00 1.98 1.99 3/86 2667
/proc/meminfo: memFree=1497936/2055920 swapFree=4169364/4192956
[pid=2648] ppid=2646 vsize=5360 CPUtime=1.95
/proc/2648/stat : 2648 (hydra) S 2646 2648 31896 0 -1 4194304 375 6878 0 0 0 0 191 4 20 0 1 0 249704868 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 224264774468 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2648/statm: 1340 238 196 169 0 51 0
[pid=2656] ppid=2648 vsize=197424 CPUtime=5.43
/proc/2656/stat : 2656 (java) S 2648 2648 31896 0 -1 0 11433 0 1 0 525 18 0 0 21 0 10 0 249705065 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/2656/statm: 49356 9403 2543 9 0 43939 0
[pid=2666] ppid=2656 vsize=5356 CPUtime=0
/proc/2666/stat : 2666 (mistral) S 2656 2648 31896 0 -1 4194304 291 0 0 0 0 0 0 0 25 0 1 0 249705613 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 224264774468 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/2666/statm: 1339 236 196 169 0 50 0
[pid=2667] ppid=2666 vsize=28120 CPUtime=11.63
/proc/2667/stat : 2667 (xsolve) R 2666 2648 31896 0 -1 4194304 6346 0 0 0 1160 3 0 0 25 0 1 0 249705614 28794880 6146 996147200 134512640 135239763 4294955968 18446744073709551615 135030786 0 4 0 0 0 0 0 17 0 0 0
/proc/2667/statm: 7030 6146 406 177 0 5933 0
[pid=2656/tid=2657] ppid=2648 vsize=197424 CPUtime=4.35
/proc/2656/task/2657/stat : 2657 (java) S 2648 2648 31896 0 -1 64 3857 0 1 0 428 7 0 0 24 0 10 0 249705066 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=2656/tid=2658] ppid=2648 vsize=197424 CPUtime=0.86
/proc/2656/task/2658/stat : 2658 (java) S 2648 2648 31896 0 -1 64 6120 0 0 0 78 8 0 0 16 0 10 0 249705067 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=2656/tid=2659] ppid=2648 vsize=197424 CPUtime=0
/proc/2656/task/2659/stat : 2659 (java) S 2648 2648 31896 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 249705068 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2656/tid=2660] ppid=2648 vsize=197424 CPUtime=0
/proc/2656/task/2660/stat : 2660 (java) S 2648 2648 31896 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 249705068 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2656/tid=2661] ppid=2648 vsize=197424 CPUtime=0
/proc/2656/task/2661/stat : 2661 (java) S 2648 2648 31896 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 249705070 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2656/tid=2662] ppid=2648 vsize=197424 CPUtime=0.19
/proc/2656/task/2662/stat : 2662 (java) S 2648 2648 31896 0 -1 64 647 0 0 0 18 1 0 0 16 0 10 0 249705070 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2656/tid=2663] ppid=2648 vsize=197424 CPUtime=0
/proc/2656/task/2663/stat : 2663 (java) S 2648 2648 31896 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 249705070 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2656/tid=2664] ppid=2648 vsize=197424 CPUtime=0
/proc/2656/task/2664/stat : 2664 (java) S 2648 2648 31896 0 -1 64 12 0 0 0 0 0 0 0 15 0 10 0 249705070 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2656/tid=2665] ppid=2648 vsize=197424 CPUtime=0
/proc/2656/task/2665/stat : 2665 (java) S 2648 2648 31896 0 -1 64 72 0 0 0 0 0 0 0 25 0 10 0 249705613 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 19.01
Current children cumulated vsize (KiB) 236260
[startup+19.5021 s]
/proc/loadavg: 2.00 1.98 1.99 3/86 2667
/proc/meminfo: memFree=1497936/2055920 swapFree=4169364/4192956
[pid=2648] ppid=2646 vsize=5360 CPUtime=1.95
/proc/2648/stat : 2648 (hydra) S 2646 2648 31896 0 -1 4194304 375 6878 0 0 0 0 191 4 20 0 1 0 249704868 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 224264774468 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2648/statm: 1340 238 196 169 0 51 0
[pid=2656] ppid=2648 vsize=197424 CPUtime=5.43
/proc/2656/stat : 2656 (java) S 2648 2648 31896 0 -1 0 11433 0 1 0 525 18 0 0 21 0 10 0 249705065 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/2656/statm: 49356 9403 2543 9 0 43939 0
[pid=2666] ppid=2656 vsize=5356 CPUtime=0
/proc/2666/stat : 2666 (mistral) S 2656 2648 31896 0 -1 4194304 291 0 0 0 0 0 0 0 25 0 1 0 249705613 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 224264774468 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/2666/statm: 1339 236 196 169 0 50 0
[pid=2667] ppid=2666 vsize=28120 CPUtime=12.03
/proc/2667/stat : 2667 (xsolve) R 2666 2648 31896 0 -1 4194304 6346 0 0 0 1200 3 0 0 25 0 1 0 249705614 28794880 6146 996147200 134512640 135239763 4294955968 18446744073709551615 134799832 0 4 0 0 0 0 0 17 0 0 0
/proc/2667/statm: 7030 6146 406 177 0 5933 0
[pid=2656/tid=2657] ppid=2648 vsize=197424 CPUtime=4.35
/proc/2656/task/2657/stat : 2657 (java) S 2648 2648 31896 0 -1 64 3857 0 1 0 428 7 0 0 24 0 10 0 249705066 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=2656/tid=2658] ppid=2648 vsize=197424 CPUtime=0.86
/proc/2656/task/2658/stat : 2658 (java) S 2648 2648 31896 0 -1 64 6120 0 0 0 78 8 0 0 16 0 10 0 249705067 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=2656/tid=2659] ppid=2648 vsize=197424 CPUtime=0
/proc/2656/task/2659/stat : 2659 (java) S 2648 2648 31896 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 249705068 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2656/tid=2660] ppid=2648 vsize=197424 CPUtime=0
/proc/2656/task/2660/stat : 2660 (java) S 2648 2648 31896 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 249705068 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2656/tid=2661] ppid=2648 vsize=197424 CPUtime=0
/proc/2656/task/2661/stat : 2661 (java) S 2648 2648 31896 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 249705070 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2656/tid=2662] ppid=2648 vsize=197424 CPUtime=0.19
/proc/2656/task/2662/stat : 2662 (java) S 2648 2648 31896 0 -1 64 647 0 0 0 18 1 0 0 16 0 10 0 249705070 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2656/tid=2663] ppid=2648 vsize=197424 CPUtime=0
/proc/2656/task/2663/stat : 2663 (java) S 2648 2648 31896 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 249705070 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2656/tid=2664] ppid=2648 vsize=197424 CPUtime=0
/proc/2656/task/2664/stat : 2664 (java) S 2648 2648 31896 0 -1 64 12 0 0 0 0 0 0 0 15 0 10 0 249705070 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2656/tid=2665] ppid=2648 vsize=197424 CPUtime=0
/proc/2656/task/2665/stat : 2665 (java) S 2648 2648 31896 0 -1 64 72 0 0 0 0 0 0 0 25 0 10 0 249705613 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 19.41
Current children cumulated vsize (KiB) 236260
[startup+19.9021 s]
/proc/loadavg: 2.00 1.98 1.99 3/86 2667
/proc/meminfo: memFree=1497872/2055920 swapFree=4169364/4192956
[pid=2648] ppid=2646 vsize=5360 CPUtime=1.95
/proc/2648/stat : 2648 (hydra) S 2646 2648 31896 0 -1 4194304 375 6878 0 0 0 0 191 4 20 0 1 0 249704868 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 224264774468 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2648/statm: 1340 238 196 169 0 51 0
[pid=2656] ppid=2648 vsize=197424 CPUtime=5.43
/proc/2656/stat : 2656 (java) S 2648 2648 31896 0 -1 0 11433 0 1 0 525 18 0 0 21 0 10 0 249705065 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/2656/statm: 49356 9403 2543 9 0 43939 0
[pid=2666] ppid=2656 vsize=5356 CPUtime=0
/proc/2666/stat : 2666 (mistral) S 2656 2648 31896 0 -1 4194304 291 0 0 0 0 0 0 0 25 0 1 0 249705613 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 224264774468 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/2666/statm: 1339 236 196 169 0 50 0
[pid=2667] ppid=2666 vsize=28120 CPUtime=12.43
/proc/2667/stat : 2667 (xsolve) R 2666 2648 31896 0 -1 4194304 6348 0 0 0 1240 3 0 0 25 0 1 0 249705614 28794880 6148 996147200 134512640 135239763 4294955968 18446744073709551615 134821015 0 4 0 0 0 0 0 17 0 0 0
/proc/2667/statm: 7030 6148 406 177 0 5933 0
[pid=2656/tid=2657] ppid=2648 vsize=197424 CPUtime=4.35
/proc/2656/task/2657/stat : 2657 (java) S 2648 2648 31896 0 -1 64 3857 0 1 0 428 7 0 0 24 0 10 0 249705066 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=2656/tid=2658] ppid=2648 vsize=197424 CPUtime=0.86
/proc/2656/task/2658/stat : 2658 (java) S 2648 2648 31896 0 -1 64 6120 0 0 0 78 8 0 0 16 0 10 0 249705067 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=2656/tid=2659] ppid=2648 vsize=197424 CPUtime=0
/proc/2656/task/2659/stat : 2659 (java) S 2648 2648 31896 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 249705068 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2656/tid=2660] ppid=2648 vsize=197424 CPUtime=0
/proc/2656/task/2660/stat : 2660 (java) S 2648 2648 31896 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 249705068 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2656/tid=2661] ppid=2648 vsize=197424 CPUtime=0
/proc/2656/task/2661/stat : 2661 (java) S 2648 2648 31896 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 249705070 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2656/tid=2662] ppid=2648 vsize=197424 CPUtime=0.19
/proc/2656/task/2662/stat : 2662 (java) S 2648 2648 31896 0 -1 64 647 0 0 0 18 1 0 0 16 0 10 0 249705070 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2656/tid=2663] ppid=2648 vsize=197424 CPUtime=0
/proc/2656/task/2663/stat : 2663 (java) S 2648 2648 31896 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 249705070 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2656/tid=2664] ppid=2648 vsize=197424 CPUtime=0
/proc/2656/task/2664/stat : 2664 (java) S 2648 2648 31896 0 -1 64 12 0 0 0 0 0 0 0 15 0 10 0 249705070 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2656/tid=2665] ppid=2648 vsize=197424 CPUtime=0
/proc/2656/task/2665/stat : 2665 (java) S 2648 2648 31896 0 -1 64 72 0 0 0 0 0 0 0 25 0 10 0 249705613 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 19.81
Current children cumulated vsize (KiB) 236260
[startup+20.0021 s]
/proc/loadavg: 2.00 1.98 1.99 3/86 2667
/proc/meminfo: memFree=1497872/2055920 swapFree=4169364/4192956
[pid=2648] ppid=2646 vsize=5360 CPUtime=1.95
/proc/2648/stat : 2648 (hydra) S 2646 2648 31896 0 -1 4194304 375 6878 0 0 0 0 191 4 20 0 1 0 249704868 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 224264774468 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2648/statm: 1340 238 196 169 0 51 0
[pid=2656] ppid=2648 vsize=197424 CPUtime=17.96
/proc/2656/stat : 2656 (java) S 2648 2648 31896 0 -1 0 11515 6664 1 0 525 18 1249 4 21 0 9 0 249705065 202162176 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/2656/statm: 49356 9405 2544 9 0 43939 0
[pid=2656/tid=2657] ppid=2648 vsize=197424 CPUtime=16.88
/proc/2656/task/2657/stat : 2657 (java) S 2648 2648 31896 0 -1 64 3909 6664 1 0 428 7 1249 4 16 0 9 0 249705066 202162176 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2656/tid=2658] ppid=2648 vsize=197424 CPUtime=13.39
/proc/2656/task/2658/stat : 2658 (java) S 2648 2648 31896 0 -1 64 6138 6664 0 0 78 8 1249 4 16 0 9 0 249705067 202162176 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=2656/tid=2659] ppid=2648 vsize=197424 CPUtime=12.53
/proc/2656/task/2659/stat : 2659 (java) S 2648 2648 31896 0 -1 64 11 6664 0 0 0 0 1249 4 16 0 9 0 249705068 202162176 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2656/tid=2660] ppid=2648 vsize=197424 CPUtime=12.53
/proc/2656/task/2660/stat : 2660 (java) S 2648 2648 31896 0 -1 64 5 6664 0 0 0 0 1249 4 16 0 9 0 249705068 202162176 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2656/tid=2661] ppid=2648 vsize=197424 CPUtime=12.53
/proc/2656/task/2661/stat : 2661 (java) S 2648 2648 31896 0 -1 64 1 6664 0 0 0 0 1249 4 25 0 9 0 249705070 202162176 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2656/tid=2662] ppid=2648 vsize=197424 CPUtime=12.72
/proc/2656/task/2662/stat : 2662 (java) S 2648 2648 31896 0 -1 64 647 6664 0 0 18 1 1249 4 16 0 9 0 249705070 202162176 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2656/tid=2663] ppid=2648 vsize=197424 CPUtime=12.53
/proc/2656/task/2663/stat : 2663 (java) S 2648 2648 31896 0 -1 64 1 6664 0 0 0 0 1249 4 25 0 9 0 249705070 202162176 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2656/tid=2664] ppid=2648 vsize=197424 CPUtime=12.53
/proc/2656/task/2664/stat : 2664 (java) S 2648 2648 31896 0 -1 64 12 6664 0 0 0 0 1249 4 15 0 9 0 249705070 202162176 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 19.91
Current children cumulated vsize (KiB) 202784
Child status: 0
Real time (s): 20.0331
CPU time (s): 19.948
CPU user time (s): 19.673
CPU system time (s): 0.274958
CPU usage (%): 99.5749
Max. virtual memory (cumulated for all children) (KiB): 236260
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19.673
system time used= 0.274958
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25469
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9443
involuntary context switches= 10834
runsolver used 0.034994 second user time and 0.090986 second system time
The end