0.00/0.00 c cpHydra_k_10 version 0.0
7.04/6.99 c CASE TO CLASSIFY:
7.04/6.99 c Case: 0
7.04/6.99 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 5.201790 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 20.300900 | c 34 > 0.000000 | c 16 > 26.000000 | c 13 > 7.854950 | c 14 > 8.592460 | c 11 > 8.781360 | c 12 > 7.205660 | c 21 > 5.099020 | c 20 > 94.798200 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 4.827590 | c 28 > 5.172410 | c 29 > -1.000000 | c 3 > 8.781360 | c 2 > -1.000000 | c 10 > 14.604000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 14.395900 | c 32 > -1.000000 | c 5 > 15.735500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.04/7.00 c choco : 1801.0
7.04/7.00 c mistral : 1801.0
7.04/7.00 c abscon : 1801.0
7.04/7.00 c
7.04/7.00 c
7.14/7.06 c List of same ones: 10
7.14/7.06 c /home/ehebrard/new_instances/competition_4c/data/wordsHerald/crossword-m1-words-23-03.xml
7.14/7.06 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 5.201790 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.227300 | c 34 > 0.000000 | c 16 > 26.000000 | c 13 > 6.114670 | c 14 > 7.787900 | c 11 > 8.781360 | c 12 > 6.391180 | c 21 > 5.099020 | c 20 > 94.798200 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 4.827590 | c 28 > 5.172410 | c 29 > -1.000000 | c 3 > 8.781360 | c 2 > -1.000000 | c 10 > 14.604000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 14.395900 | c 32 > -1.000000 | c 5 > 15.735500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.14/7.07 c choco : 1801.0
7.14/7.07 c mistral : 69.75
7.14/7.07 c abscon : 1801.0
7.14/7.07 c
7.14/7.07 c
7.14/7.07 c /home/ehebrard/new_instances/competition_4c/data/lexHerald/crossword-m1-lex-23-03.xml
7.14/7.07 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 5.201790 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.575600 | c 34 > 0.000000 | c 16 > 26.000000 | c 13 > 5.046140 | c 14 > 7.851750 | c 11 > 8.781360 | c 12 > 6.183750 | c 21 > 5.099020 | c 20 > 94.798200 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 4.827590 | c 28 > 5.172410 | c 29 > -1.000000 | c 3 > 8.781360 | c 2 > -1.000000 | c 10 > 14.604000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 14.395900 | c 32 > -1.000000 | c 5 > 15.735500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.14/7.07 c choco : 1801.0
7.14/7.07 c mistral : 360.0
7.14/7.07 c abscon : 148.75
7.14/7.07 c
7.14/7.07 c
7.14/7.07 c /home/ehebrard/new_instances/competition_4c/data/lexHerald/crossword-m1-lex-23-07.xml
7.14/7.07 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.14/7.08 c choco : 76.58
7.14/7.08 c mistral : 30.9
7.14/7.08 c abscon : 157.92
7.14/7.08 c
7.14/7.08 c
7.14/7.08 c /home/ehebrard/new_instances/competition_4c/data/wordsHerald/crossword-m1-words-21-02.xml
7.14/7.08 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.14/7.08 c choco : 31.77
7.14/7.08 c mistral : 5.03
7.14/7.08 c abscon : 25.52
7.14/7.08 c
7.14/7.08 c
7.14/7.08 c /home/ehebrard/new_instances/competition_4c/data/lexHerald/crossword-m1-lex-21-02.xml
7.14/7.08 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.14/7.09 c choco : 65.38
7.14/7.09 c mistral : 22.35
7.14/7.09 c abscon : 32.86
7.14/7.09 c
7.14/7.09 c
7.14/7.09 c /home/ehebrard/new_instances/competition_4c/data/wordsHerald/crossword-m1-words-23-07.xml
7.14/7.09 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.14/7.09 c choco : 80.07
7.14/7.09 c mistral : 19.3
7.14/7.09 c abscon : 48.37
7.14/7.09 c
7.14/7.09 c
7.14/7.09 c /home/ehebrard/new_instances/competition_4c/data/lexHerald/crossword-m1-lex-23-02.xml
7.14/7.09 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.14/7.10 c choco : 78.46
7.14/7.10 c mistral : 13.32
7.14/7.10 c abscon : 48.64
7.14/7.10 c
7.14/7.10 c
7.14/7.10 c /home/ehebrard/new_instances/competition_4c/data/ukHerald/crossword-m1-uk-23-03.xml
7.14/7.10 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 5.201790 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 17.943100 | c 34 > 0.000000 | c 16 > 26.000000 | c 13 > 4.704820 | c 14 > 7.459430 | c 11 > 8.781360 | c 12 > 6.043800 | c 21 > 5.099020 | c 20 > 94.798200 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 4.827590 | c 28 > 5.172410 | c 29 > -1.000000 | c 3 > 8.781360 | c 2 > -1.000000 | c 10 > 14.604000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 14.395900 | c 32 > -1.000000 | c 5 > 15.735500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.25/7.10 c choco : 32.47
7.25/7.10 c mistral : 9.06
7.25/7.10 c abscon : 31.94
7.25/7.10 c
7.25/7.10 c
7.25/7.10 c /home/ehebrard/new_instances/competition_4c/data/wordsHerald/crossword-m1-words-23-02.xml
7.25/7.10 c 19 > 0.000000 | c 35 > 0.037683 | c 17 > 4.110210 | c 18 > 0.000000 | c 33 > 0.028262 | c 15 > 19.040800 | c 34 > 0.028262 | c 16 > 24.000000 | c 13 > 5.227280 | c 14 > 7.936640 | c 11 > 8.764870 | c 12 > 5.896410 | 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.25/7.11 c choco : 31.25
7.25/7.11 c mistral : 23.83
7.25/7.11 c abscon : 27.37
7.25/7.11 c
7.25/7.11 c
7.25/7.11 c /home/ehebrard/new_instances/competition_4c/data/ogdHerald/crossword-m1-ogd-21-02.xml
7.25/7.11 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 4.945600 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 17.974000 | c 34 > 0.000000 | c 16 > 24.000000 | c 13 > 4.849560 | c 14 > 7.774790 | c 11 > 8.527480 | c 12 > 6.200340 | 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.25/7.11 c choco : 28.41
7.25/7.11 c mistral : 8.26
7.25/7.11 c abscon : 25.34
7.25/7.11 c
7.25/7.11 c
7.36/7.29 c Length: 10
7.36/7.29 c 2.343477309981899 3.1636094983894574 3.7820758837839326 3.8195566797339193 3.8669840567682723 3.876515536174208 3.92497454833652 4.2563147789372895 4.345072643948483 4.5588679531765335
7.36/7.29 c
7.36/7.29 c 1.0 0.7298217691300708 0.6062937002905378 0.6001377866879204 0.5925251249555923 0.5910184561023728 0.583475391506868 0.5366444350965953 0.5253493028416438 0.5
7.36/7.29 c
7.36/7.29 c solver 0
7.36/7.29 c before 0.0 seconds: {} 0
7.36/7.29 c before 36.0 seconds: {3, 4, 7, 8, 9} 2754
7.36/7.29 c before 54.0 seconds: {3, 4, 5, 6, 7, 8, 9} 3929
7.36/7.29 c before 162.0 seconds: {1, 2, 3, 4, 5, 6, 7, 8, 9} 5265
7.36/7.29 c
7.36/7.29 c solver 1
7.36/7.29 c before 0.0 seconds: {} 0
7.36/7.29 c before 18.0 seconds: {3, 6, 7, 9} 2220
7.36/7.29 c before 36.0 seconds: {2, 3, 4, 5, 6, 7, 8, 9} 4535
7.36/7.29 c before 72.0 seconds: {0, 2, 3, 4, 5, 6, 7, 8, 9} 5535
7.36/7.29 c before 378.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6265
7.36/7.29 c
7.36/7.29 c solver 2
7.36/7.29 c before 0.0 seconds: {} 0
7.36/7.29 c before 36.0 seconds: {3, 7, 8, 9} 2162
7.36/7.29 c before 72.0 seconds: {3, 4, 7, 8, 9} 2754
7.36/7.29 c before 90.0 seconds: {2, 3, 4, 5, 6, 7, 8, 9} 4535
7.36/7.29 c
7.36/7.29 cTotal time: 35
7.36/7.29 c 630.0 seconds unused
7.36/7.29 c 0 c 0 c 1
7.36/7.29 c 1 c 0 c 2
7.36/7.29 c 0 c 0 c 0
7.36/7.29 c is solver0 dominated by:
7.36/7.29 c solver 1 (0 solves instances that 1 can't: false) (1 doesn't solve instances that 0 can't: false) (0 is faster than 1: true) (0 is equally as fast as 1: false) (0 < 1: false)
7.36/7.29 c is dominated? true
7.36/7.29 c
7.36/7.29 c is solver1 dominated by:
7.36/7.29 c solver 0 (1 solves instances that 0 can't: true) (0 doesn't solve instances that 1 can't: true) (1 is faster than 0: false) (1 is equally as fast as 0: false) (1 < 0: true)
7.36/7.29 c solver 2 (1 solves instances that 2 can't: true) (2 doesn't solve instances that 1 can't: true) (1 is faster than 2: false) (1 is equally as fast as 2: false) (1 < 2: false)
7.36/7.29 c is dominated? false
7.36/7.29 c
7.36/7.29 c is solver2 dominated by:
7.36/7.29 c solver 0 (2 solves instances that 0 can't: false) (0 doesn't solve instances that 2 can't: false) (2 is faster than 0: true) (2 is equally as fast as 0: false) (2 < 0: true)
7.36/7.29 c is dominated? true
7.36/7.29 c
7.36/7.29 c Number of non-dominated solvers: 1
7.36/7.29 c remove dominated solvers
7.36/7.29 c solver 1 is not dominated by another solver
7.36/7.30 c solver 2 is dominated by another solver
7.36/7.30 c solver 0 is dominated by another solver
7.36/7.30 c
7.36/7.30 c solver 0: 0.0
7.36/7.30 c
7.36/7.30 c solver 1: 378.0
7.36/7.30 c
7.36/7.30 c+ 21/21 of 79
7.36/7.30 c
7.36/7.30 c solver 2: 0.0
7.36/7.30 c do not run abscon
7.36/7.30 c run mistral for 1800.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6265
7.36/7.30 c do not run choco
7.36/7.30 c Starting solver: HOME/cpHydra_k_10/solver/mistral
7.36/7.30 c On Instance: HOME/instance-1077156-1215191944.xml
7.36/7.30 c Running for: 1800 seconds
29.04/28.97 c mistral-prime version 1.313
29.04/28.97 s SATISFIABLE
29.04/28.97 v 0 1 0 18 4 3 0 11 14 13 6 0 1 1 0 14 2 2 0 12 1 4 18 8 3 4 13 20 1 8 0 3 4 0 11 22 14 17 18 4 17 4 15 11 8 2 0 19 8 14 13 18 18 7 17 8 11 11 13 4 18 18 0 1 4 19 19 4 3 18 4 4 10 18 0 17 6 14 5 14 4 18 12 4 13 11 0 3 4 11 4 21 4 13 18 4 11 18 4 2 7 4 12 8 18 19 19 20 17 8 13 3 17 4 18 18 17 4 15 0 8 17 21 0 8 11 17 8 14 14 13 4 18 0 11 24 18 18 0 0 11 3 4 13 2 17 0 13 4 18 17 0 15 1 20 19 19 19 0 13 25 0 13 8 0 8 19 2 7 13 4 21 0 0 3 7 4 17 4 17 11 0 13 2 0 18 19 4 17 0 15 4 3 19 4 0 4 3 8 2 19 0 13 8 19 0 20 19 19 4 17 18 6 0 3 3 4 4 15 18 4 17 8 2 7 17 14 13 4 11 14 8 18 4 18 12 0 11 11 2 7 8 3 4 19 14 14 11 0 17 3 3 8 18 15 11 0 24 4 17 3 8 4 7 0 17 3 1 17 0 4 6 14 13 4 1 17 4 0 19 7 4 18 8 13 3 14 0 18 18 17 4 19 0 17 3 0 11 15 7 0 2 0 13 2 4 17 3 0 3 0 0 8 12 18 4 0 12 14 19 19 4 17 18 18 0 17 0 13 0 12 14 20 17 3 22 0 17 21 4 18 0 12 4 18 17 4 21 4 13 6 4 11 4 4 0 17 2 13 14 0 7 14 17 8 13 18 2 0 11 0 0 17 18 4 13 0 11 3 4 18 8 3 4 17 0 19 0 4 2 14 13 14 12 4 19 17 8 2 0 4 1 14 13 24 14 17 0 11 18 19 4 0 3 17 0 8 18 4 18 17 0 13 6 4 11 24 11 4 18 0 1 11 4 18 13 4 4 17 18
29.04/28.97 d CHECKS 19540821
29.04/28.97 d ASSIGNMENTS 6131
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1077156-1215191944/watcher-1077156-1215191944 -o /tmp/evaluation-result-1077156-1215191944/solver-1077156-1215191944 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1077156-1215191944.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: 0.92 0.98 1.18 3/64 23389
/proc/meminfo: memFree=1522384/2055920 swapFree=4122112/4192956
[pid=23389] ppid=23387 vsize=5360 CPUtime=0
/proc/23389/stat : 23389 (hydra) R 23387 23389 22510 0 -1 4194304 303 247 0 0 0 0 0 0 18 0 1 0 1307440351 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 4345750 0 0 4100 65536 0 0 0 17 0 0 0
/proc/23389/statm: 1340 236 195 169 0 51 0
[startup+0.0671861 s]
/proc/loadavg: 0.92 0.98 1.18 3/64 23389
/proc/meminfo: memFree=1522384/2055920 swapFree=4122112/4192956
[pid=23389] ppid=23387 vsize=5360 CPUtime=0
/proc/23389/stat : 23389 (hydra) S 23387 23389 22510 0 -1 4194304 330 247 0 0 0 0 0 0 18 0 1 0 1307440351 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23389/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.101192 s]
/proc/loadavg: 0.92 0.98 1.18 3/64 23389
/proc/meminfo: memFree=1522384/2055920 swapFree=4122112/4192956
[pid=23389] ppid=23387 vsize=5360 CPUtime=0
/proc/23389/stat : 23389 (hydra) S 23387 23389 22510 0 -1 4194304 330 247 0 0 0 0 0 0 18 0 1 0 1307440351 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23389/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.30123 s]
/proc/loadavg: 0.92 0.98 1.18 3/64 23389
/proc/meminfo: memFree=1522384/2055920 swapFree=4122112/4192956
[pid=23389] ppid=23387 vsize=5360 CPUtime=0
/proc/23389/stat : 23389 (hydra) S 23387 23389 22510 0 -1 4194304 330 247 0 0 0 0 0 0 18 0 1 0 1307440351 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23389/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.70131 s]
/proc/loadavg: 0.92 0.98 1.18 3/64 23389
/proc/meminfo: memFree=1522384/2055920 swapFree=4122112/4192956
[pid=23389] ppid=23387 vsize=5360 CPUtime=0
/proc/23389/stat : 23389 (hydra) S 23387 23389 22510 0 -1 4194304 330 247 0 0 0 0 0 0 18 0 1 0 1307440351 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23389/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+1.50147 s]
/proc/loadavg: 0.92 0.98 1.18 2/66 23393
/proc/meminfo: memFree=1504064/2055920 swapFree=4122112/4192956
[pid=23389] ppid=23387 vsize=5360 CPUtime=0
/proc/23389/stat : 23389 (hydra) S 23387 23389 22510 0 -1 4194304 330 247 0 0 0 0 0 0 18 0 1 0 1307440351 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23389/statm: 1340 236 195 169 0 51 0
[pid=23392] ppid=23389 vsize=22824 CPUtime=1.49
/proc/23392/stat : 23392 (xsolve) R 23389 23389 22510 0 -1 4194304 4978 0 0 0 147 2 0 0 25 0 1 0 1307440352 23371776 4937 996147200 134512640 135239763 4294956176 18446744073709551615 134789108 0 0 4096 0 0 0 0 17 0 0 0
/proc/23392/statm: 5706 4937 424 177 0 4609 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 28184
[startup+3.10179 s]
/proc/loadavg: 0.92 0.98 1.18 2/74 23405
/proc/meminfo: memFree=1515968/2055920 swapFree=4122112/4192956
[pid=23389] ppid=23387 vsize=5360 CPUtime=1.88
/proc/23389/stat : 23389 (hydra) S 23387 23389 22510 0 -1 4194304 375 5574 0 0 0 0 185 3 20 0 1 0 1307440351 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23389/statm: 1340 238 196 169 0 51 0
[pid=23397] ppid=23389 vsize=197904 CPUtime=1.33
/proc/23397/stat : 23397 (java) S 23389 23389 22510 0 -1 0 5131 0 1 0 128 5 0 0 21 0 9 0 1307440540 202653696 4300 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/23397/statm: 49476 4300 1678 9 0 44059 0
[pid=23397/tid=23398] ppid=23389 vsize=197904 CPUtime=1.03
/proc/23397/task/23398/stat : 23398 (java) R 23389 23389 22510 0 -1 64 2744 0 1 0 101 2 0 0 17 0 9 0 1307440541 202653696 4300 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23397/tid=23399] ppid=23389 vsize=197904 CPUtime=0.14
/proc/23397/task/23399/stat : 23399 (java) S 23389 23389 22510 0 -1 64 1036 0 0 0 13 1 0 0 16 0 9 0 1307440542 202653696 4300 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=23397/tid=23400] ppid=23389 vsize=197904 CPUtime=0
/proc/23397/task/23400/stat : 23400 (java) S 23389 23389 22510 0 -1 64 11 0 0 0 0 0 0 0 17 0 9 0 1307440543 202653696 4300 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23397/tid=23401] ppid=23389 vsize=197904 CPUtime=0
/proc/23397/task/23401/stat : 23401 (java) S 23389 23389 22510 0 -1 64 5 0 0 0 0 0 0 0 17 0 9 0 1307440543 202653696 4300 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23397/tid=23402] ppid=23389 vsize=197904 CPUtime=0
/proc/23397/task/23402/stat : 23402 (java) S 23389 23389 22510 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 1307440545 202653696 4300 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23397/tid=23403] ppid=23389 vsize=197904 CPUtime=0.14
/proc/23397/task/23403/stat : 23403 (java) S 23389 23389 22510 0 -1 64 625 0 0 0 14 0 0 0 16 0 9 0 1307440545 202653696 4300 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23397/tid=23404] ppid=23389 vsize=197904 CPUtime=0
/proc/23397/task/23404/stat : 23404 (java) S 23389 23389 22510 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 1307440545 202653696 4300 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23397/tid=23405] ppid=23389 vsize=197904 CPUtime=0
/proc/23397/task/23405/stat : 23405 (java) S 23389 23389 22510 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 1307440545 202653696 4300 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.21
Current children cumulated vsize (KiB) 203264
[startup+6.30242 s]
/proc/loadavg: 1.01 1.00 1.18 2/74 23405
/proc/meminfo: memFree=1501376/2055920 swapFree=4122112/4192956
[pid=23389] ppid=23387 vsize=5360 CPUtime=1.88
/proc/23389/stat : 23389 (hydra) S 23387 23389 22510 0 -1 4194304 375 5574 0 0 0 0 185 3 20 0 1 0 1307440351 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23389/statm: 1340 238 196 169 0 51 0
[pid=23397] ppid=23389 vsize=197904 CPUtime=4.55
/proc/23397/stat : 23397 (java) S 23389 23389 22510 0 -1 0 10325 0 1 0 442 13 0 0 21 0 9 0 1307440540 202653696 8560 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/23397/statm: 49476 8560 2540 9 0 44059 0
[pid=23397/tid=23398] ppid=23389 vsize=197904 CPUtime=3.62
/proc/23397/task/23398/stat : 23398 (java) R 23389 23389 22510 0 -1 64 3588 0 1 0 358 4 0 0 16 0 9 0 1307440541 202653696 8560 996147200 134512640 134550740 4294955968 18446744073709551615 4126553758 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23397/tid=23399] ppid=23389 vsize=197904 CPUtime=0.74
/proc/23397/task/23399/stat : 23399 (java) S 23389 23389 22510 0 -1 64 5365 0 0 0 67 7 0 0 16 0 9 0 1307440542 202653696 8560 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=23397/tid=23400] ppid=23389 vsize=197904 CPUtime=0
/proc/23397/task/23400/stat : 23400 (java) S 23389 23389 22510 0 -1 64 11 0 0 0 0 0 0 0 15 0 9 0 1307440543 202653696 8560 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23397/tid=23401] ppid=23389 vsize=197904 CPUtime=0
/proc/23397/task/23401/stat : 23401 (java) S 23389 23389 22510 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1307440543 202653696 8560 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23397/tid=23402] ppid=23389 vsize=197904 CPUtime=0
/proc/23397/task/23402/stat : 23402 (java) S 23389 23389 22510 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 1307440545 202653696 8560 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23397/tid=23403] ppid=23389 vsize=197904 CPUtime=0.17
/proc/23397/task/23403/stat : 23403 (java) S 23389 23389 22510 0 -1 64 646 0 0 0 17 0 0 0 15 0 9 0 1307440545 202653696 8560 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23397/tid=23404] ppid=23389 vsize=197904 CPUtime=0
/proc/23397/task/23404/stat : 23404 (java) S 23389 23389 22510 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 1307440545 202653696 8560 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23397/tid=23405] ppid=23389 vsize=197904 CPUtime=0
/proc/23397/task/23405/stat : 23405 (java) S 23389 23389 22510 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 1307440545 202653696 8560 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.43
Current children cumulated vsize (KiB) 203264
[startup+12.7025 s]
/proc/loadavg: 1.01 1.00 1.18 2/77 23408
/proc/meminfo: memFree=1475688/2055920 swapFree=4122112/4192956
[pid=23389] ppid=23387 vsize=5360 CPUtime=1.88
/proc/23389/stat : 23389 (hydra) S 23387 23389 22510 0 -1 4194304 375 5574 0 0 0 0 185 3 20 0 1 0 1307440351 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23389/statm: 1340 238 196 169 0 51 0
[pid=23397] ppid=23389 vsize=198324 CPUtime=5.59
/proc/23397/stat : 23397 (java) S 23389 23389 22510 0 -1 0 14024 0 1 0 543 16 0 0 21 0 10 0 1307440540 203083776 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/23397/statm: 49581 9425 2543 9 0 44164 0
[pid=23407] ppid=23397 vsize=5356 CPUtime=0
/proc/23407/stat : 23407 (mistral) S 23397 23389 22510 0 -1 4194304 293 0 0 0 0 0 0 0 18 0 1 0 1307441082 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 273952596804 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/23407/statm: 1339 236 196 169 0 50 0
[pid=23408] ppid=23407 vsize=22828 CPUtime=5.38
/proc/23408/stat : 23408 (xsolve) R 23407 23389 22510 0 -1 4194304 4971 0 0 0 536 2 0 0 25 0 1 0 1307441082 23375872 4935 996147200 134512640 135239763 4294955952 18446744073709551615 135015491 0 4 0 0 0 0 0 17 1 0 0
/proc/23408/statm: 5707 4935 406 177 0 4610 0
[pid=23397/tid=23398] ppid=23389 vsize=198324 CPUtime=4.34
/proc/23397/task/23398/stat : 23398 (java) S 23389 23389 22510 0 -1 64 3847 0 1 0 429 5 0 0 17 0 10 0 1307440541 203083776 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=23397/tid=23399] ppid=23389 vsize=198324 CPUtime=1.02
/proc/23397/task/23399/stat : 23399 (java) S 23389 23389 22510 0 -1 64 8701 0 0 0 93 9 0 0 16 0 10 0 1307440542 203083776 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=23397/tid=23400] ppid=23389 vsize=198324 CPUtime=0
/proc/23397/task/23400/stat : 23400 (java) S 23389 23389 22510 0 -1 64 11 0 0 0 0 0 0 0 15 0 10 0 1307440543 203083776 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23397/tid=23401] ppid=23389 vsize=198324 CPUtime=0
/proc/23397/task/23401/stat : 23401 (java) S 23389 23389 22510 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1307440543 203083776 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23397/tid=23402] ppid=23389 vsize=198324 CPUtime=0
/proc/23397/task/23402/stat : 23402 (java) S 23389 23389 22510 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 1307440545 203083776 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23397/tid=23403] ppid=23389 vsize=198324 CPUtime=0.2
/proc/23397/task/23403/stat : 23403 (java) S 23389 23389 22510 0 -1 64 664 0 0 0 20 0 0 0 16 0 10 0 1307440545 203083776 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23397/tid=23404] ppid=23389 vsize=198324 CPUtime=0
/proc/23397/task/23404/stat : 23404 (java) S 23389 23389 22510 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 1307440545 203083776 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23397/tid=23405] ppid=23389 vsize=198324 CPUtime=0
/proc/23397/task/23405/stat : 23405 (java) S 23389 23389 22510 0 -1 64 15 0 0 0 0 0 0 0 15 0 10 0 1307440545 203083776 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23397/tid=23406] ppid=23389 vsize=198324 CPUtime=0
/proc/23397/task/23406/stat : 23406 (java) S 23389 23389 22510 0 -1 64 73 0 0 0 0 0 0 0 16 0 10 0 1307441082 203083776 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.85
Current children cumulated vsize (KiB) 231868
[startup+25.502 s]
/proc/loadavg: 1.00 1.00 1.18 2/77 23408
/proc/meminfo: memFree=1475624/2055920 swapFree=4122112/4192956
[pid=23389] ppid=23387 vsize=5360 CPUtime=1.88
/proc/23389/stat : 23389 (hydra) S 23387 23389 22510 0 -1 4194304 375 5574 0 0 0 0 185 3 20 0 1 0 1307440351 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23389/statm: 1340 238 196 169 0 51 0
[pid=23397] ppid=23389 vsize=198324 CPUtime=5.59
/proc/23397/stat : 23397 (java) S 23389 23389 22510 0 -1 0 14024 0 1 0 543 16 0 0 21 0 10 0 1307440540 203083776 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/23397/statm: 49581 9425 2543 9 0 44164 0
[pid=23407] ppid=23397 vsize=5356 CPUtime=0
/proc/23407/stat : 23407 (mistral) S 23397 23389 22510 0 -1 4194304 293 0 0 0 0 0 0 0 18 0 1 0 1307441082 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 273952596804 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/23407/statm: 1339 236 196 169 0 50 0
[pid=23408] ppid=23407 vsize=22904 CPUtime=18.17
/proc/23408/stat : 23408 (xsolve) R 23407 23389 22510 0 -1 4194304 4999 0 0 0 1815 2 0 0 25 0 1 0 1307441082 23453696 4963 996147200 134512640 135239763 4294955952 18446744073709551615 134789093 0 4 0 0 0 0 0 17 1 0 0
/proc/23408/statm: 5726 4963 406 177 0 4629 0
[pid=23397/tid=23398] ppid=23389 vsize=198324 CPUtime=4.34
/proc/23397/task/23398/stat : 23398 (java) S 23389 23389 22510 0 -1 64 3847 0 1 0 429 5 0 0 17 0 10 0 1307440541 203083776 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=23397/tid=23399] ppid=23389 vsize=198324 CPUtime=1.02
/proc/23397/task/23399/stat : 23399 (java) S 23389 23389 22510 0 -1 64 8701 0 0 0 93 9 0 0 16 0 10 0 1307440542 203083776 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=23397/tid=23400] ppid=23389 vsize=198324 CPUtime=0
/proc/23397/task/23400/stat : 23400 (java) S 23389 23389 22510 0 -1 64 11 0 0 0 0 0 0 0 15 0 10 0 1307440543 203083776 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23397/tid=23401] ppid=23389 vsize=198324 CPUtime=0
/proc/23397/task/23401/stat : 23401 (java) S 23389 23389 22510 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1307440543 203083776 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23397/tid=23402] ppid=23389 vsize=198324 CPUtime=0
/proc/23397/task/23402/stat : 23402 (java) S 23389 23389 22510 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 1307440545 203083776 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23397/tid=23403] ppid=23389 vsize=198324 CPUtime=0.2
/proc/23397/task/23403/stat : 23403 (java) S 23389 23389 22510 0 -1 64 664 0 0 0 20 0 0 0 16 0 10 0 1307440545 203083776 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23397/tid=23404] ppid=23389 vsize=198324 CPUtime=0
/proc/23397/task/23404/stat : 23404 (java) S 23389 23389 22510 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 1307440545 203083776 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23397/tid=23405] ppid=23389 vsize=198324 CPUtime=0
/proc/23397/task/23405/stat : 23405 (java) S 23389 23389 22510 0 -1 64 15 0 0 0 0 0 0 0 15 0 10 0 1307440545 203083776 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23397/tid=23406] ppid=23389 vsize=198324 CPUtime=0
/proc/23397/task/23406/stat : 23406 (java) S 23389 23389 22510 0 -1 64 73 0 0 0 0 0 0 0 16 0 10 0 1307441082 203083776 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.64
Current children cumulated vsize (KiB) 231944
Solver just ended. Dumping a history of the last processes samples
[startup+27.1023 s]
/proc/loadavg: 1.00 1.00 1.18 2/77 23408
/proc/meminfo: memFree=1475624/2055920 swapFree=4122112/4192956
[pid=23389] ppid=23387 vsize=5360 CPUtime=1.88
/proc/23389/stat : 23389 (hydra) S 23387 23389 22510 0 -1 4194304 375 5574 0 0 0 0 185 3 20 0 1 0 1307440351 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23389/statm: 1340 238 196 169 0 51 0
[pid=23397] ppid=23389 vsize=198324 CPUtime=5.59
/proc/23397/stat : 23397 (java) S 23389 23389 22510 0 -1 0 14024 0 1 0 543 16 0 0 21 0 10 0 1307440540 203083776 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/23397/statm: 49581 9425 2543 9 0 44164 0
[pid=23407] ppid=23397 vsize=5356 CPUtime=0
/proc/23407/stat : 23407 (mistral) S 23397 23389 22510 0 -1 4194304 293 0 0 0 0 0 0 0 18 0 1 0 1307441082 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 273952596804 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/23407/statm: 1339 236 196 169 0 50 0
[pid=23408] ppid=23407 vsize=22904 CPUtime=19.77
/proc/23408/stat : 23408 (xsolve) R 23407 23389 22510 0 -1 4194304 4999 0 0 0 1975 2 0 0 25 0 1 0 1307441082 23453696 4963 996147200 134512640 135239763 4294955952 18446744073709551615 134820638 0 4 0 0 0 0 0 17 1 0 0
/proc/23408/statm: 5726 4963 406 177 0 4629 0
[pid=23397/tid=23398] ppid=23389 vsize=198324 CPUtime=4.34
/proc/23397/task/23398/stat : 23398 (java) S 23389 23389 22510 0 -1 64 3847 0 1 0 429 5 0 0 17 0 10 0 1307440541 203083776 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=23397/tid=23399] ppid=23389 vsize=198324 CPUtime=1.02
/proc/23397/task/23399/stat : 23399 (java) S 23389 23389 22510 0 -1 64 8701 0 0 0 93 9 0 0 16 0 10 0 1307440542 203083776 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=23397/tid=23400] ppid=23389 vsize=198324 CPUtime=0
/proc/23397/task/23400/stat : 23400 (java) S 23389 23389 22510 0 -1 64 11 0 0 0 0 0 0 0 15 0 10 0 1307440543 203083776 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23397/tid=23401] ppid=23389 vsize=198324 CPUtime=0
/proc/23397/task/23401/stat : 23401 (java) S 23389 23389 22510 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1307440543 203083776 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23397/tid=23402] ppid=23389 vsize=198324 CPUtime=0
/proc/23397/task/23402/stat : 23402 (java) S 23389 23389 22510 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 1307440545 203083776 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23397/tid=23403] ppid=23389 vsize=198324 CPUtime=0.2
/proc/23397/task/23403/stat : 23403 (java) S 23389 23389 22510 0 -1 64 664 0 0 0 20 0 0 0 16 0 10 0 1307440545 203083776 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23397/tid=23404] ppid=23389 vsize=198324 CPUtime=0
/proc/23397/task/23404/stat : 23404 (java) S 23389 23389 22510 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 1307440545 203083776 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23397/tid=23405] ppid=23389 vsize=198324 CPUtime=0
/proc/23397/task/23405/stat : 23405 (java) S 23389 23389 22510 0 -1 64 15 0 0 0 0 0 0 0 15 0 10 0 1307440545 203083776 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23397/tid=23406] ppid=23389 vsize=198324 CPUtime=0
/proc/23397/task/23406/stat : 23406 (java) S 23389 23389 22510 0 -1 64 73 0 0 0 0 0 0 0 16 0 10 0 1307441082 203083776 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 27.24
Current children cumulated vsize (KiB) 231944
[startup+27.9025 s]
/proc/loadavg: 1.00 1.00 1.18 2/77 23408
/proc/meminfo: memFree=1475624/2055920 swapFree=4122112/4192956
[pid=23389] ppid=23387 vsize=5360 CPUtime=1.88
/proc/23389/stat : 23389 (hydra) S 23387 23389 22510 0 -1 4194304 375 5574 0 0 0 0 185 3 20 0 1 0 1307440351 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23389/statm: 1340 238 196 169 0 51 0
[pid=23397] ppid=23389 vsize=198324 CPUtime=5.59
/proc/23397/stat : 23397 (java) S 23389 23389 22510 0 -1 0 14024 0 1 0 543 16 0 0 21 0 10 0 1307440540 203083776 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/23397/statm: 49581 9425 2543 9 0 44164 0
[pid=23407] ppid=23397 vsize=5356 CPUtime=0
/proc/23407/stat : 23407 (mistral) S 23397 23389 22510 0 -1 4194304 293 0 0 0 0 0 0 0 18 0 1 0 1307441082 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 273952596804 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/23407/statm: 1339 236 196 169 0 50 0
[pid=23408] ppid=23407 vsize=22904 CPUtime=20.57
/proc/23408/stat : 23408 (xsolve) R 23407 23389 22510 0 -1 4194304 4999 0 0 0 2055 2 0 0 25 0 1 0 1307441082 23453696 4963 996147200 134512640 135239763 4294955952 18446744073709551615 135015491 0 4 0 0 0 0 0 17 1 0 0
/proc/23408/statm: 5726 4963 406 177 0 4629 0
[pid=23397/tid=23398] ppid=23389 vsize=198324 CPUtime=4.34
/proc/23397/task/23398/stat : 23398 (java) S 23389 23389 22510 0 -1 64 3847 0 1 0 429 5 0 0 17 0 10 0 1307440541 203083776 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=23397/tid=23399] ppid=23389 vsize=198324 CPUtime=1.02
/proc/23397/task/23399/stat : 23399 (java) S 23389 23389 22510 0 -1 64 8701 0 0 0 93 9 0 0 16 0 10 0 1307440542 203083776 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=23397/tid=23400] ppid=23389 vsize=198324 CPUtime=0
/proc/23397/task/23400/stat : 23400 (java) S 23389 23389 22510 0 -1 64 11 0 0 0 0 0 0 0 15 0 10 0 1307440543 203083776 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23397/tid=23401] ppid=23389 vsize=198324 CPUtime=0
/proc/23397/task/23401/stat : 23401 (java) S 23389 23389 22510 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1307440543 203083776 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23397/tid=23402] ppid=23389 vsize=198324 CPUtime=0
/proc/23397/task/23402/stat : 23402 (java) S 23389 23389 22510 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 1307440545 203083776 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23397/tid=23403] ppid=23389 vsize=198324 CPUtime=0.2
/proc/23397/task/23403/stat : 23403 (java) S 23389 23389 22510 0 -1 64 664 0 0 0 20 0 0 0 16 0 10 0 1307440545 203083776 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23397/tid=23404] ppid=23389 vsize=198324 CPUtime=0
/proc/23397/task/23404/stat : 23404 (java) S 23389 23389 22510 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 1307440545 203083776 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23397/tid=23405] ppid=23389 vsize=198324 CPUtime=0
/proc/23397/task/23405/stat : 23405 (java) S 23389 23389 22510 0 -1 64 15 0 0 0 0 0 0 0 15 0 10 0 1307440545 203083776 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23397/tid=23406] ppid=23389 vsize=198324 CPUtime=0
/proc/23397/task/23406/stat : 23406 (java) S 23389 23389 22510 0 -1 64 73 0 0 0 0 0 0 0 16 0 10 0 1307441082 203083776 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 28.04
Current children cumulated vsize (KiB) 231944
[startup+28.7026 s]
/proc/loadavg: 1.00 1.00 1.18 2/77 23408
/proc/meminfo: memFree=1475624/2055920 swapFree=4122112/4192956
[pid=23389] ppid=23387 vsize=5360 CPUtime=1.88
/proc/23389/stat : 23389 (hydra) S 23387 23389 22510 0 -1 4194304 375 5574 0 0 0 0 185 3 20 0 1 0 1307440351 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23389/statm: 1340 238 196 169 0 51 0
[pid=23397] ppid=23389 vsize=198324 CPUtime=5.59
/proc/23397/stat : 23397 (java) S 23389 23389 22510 0 -1 0 14024 0 1 0 543 16 0 0 21 0 10 0 1307440540 203083776 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/23397/statm: 49581 9425 2543 9 0 44164 0
[pid=23407] ppid=23397 vsize=5356 CPUtime=0
/proc/23407/stat : 23407 (mistral) S 23397 23389 22510 0 -1 4194304 293 0 0 0 0 0 0 0 18 0 1 0 1307441082 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 273952596804 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/23407/statm: 1339 236 196 169 0 50 0
[pid=23408] ppid=23407 vsize=22904 CPUtime=21.37
/proc/23408/stat : 23408 (xsolve) R 23407 23389 22510 0 -1 4194304 4999 0 0 0 2135 2 0 0 25 0 1 0 1307441082 23453696 4963 996147200 134512640 135239763 4294955952 18446744073709551615 134789125 0 4 0 0 0 0 0 17 1 0 0
/proc/23408/statm: 5726 4963 406 177 0 4629 0
[pid=23397/tid=23398] ppid=23389 vsize=198324 CPUtime=4.34
/proc/23397/task/23398/stat : 23398 (java) S 23389 23389 22510 0 -1 64 3847 0 1 0 429 5 0 0 17 0 10 0 1307440541 203083776 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=23397/tid=23399] ppid=23389 vsize=198324 CPUtime=1.02
/proc/23397/task/23399/stat : 23399 (java) S 23389 23389 22510 0 -1 64 8701 0 0 0 93 9 0 0 16 0 10 0 1307440542 203083776 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=23397/tid=23400] ppid=23389 vsize=198324 CPUtime=0
/proc/23397/task/23400/stat : 23400 (java) S 23389 23389 22510 0 -1 64 11 0 0 0 0 0 0 0 15 0 10 0 1307440543 203083776 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23397/tid=23401] ppid=23389 vsize=198324 CPUtime=0
/proc/23397/task/23401/stat : 23401 (java) S 23389 23389 22510 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1307440543 203083776 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23397/tid=23402] ppid=23389 vsize=198324 CPUtime=0
/proc/23397/task/23402/stat : 23402 (java) S 23389 23389 22510 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 1307440545 203083776 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23397/tid=23403] ppid=23389 vsize=198324 CPUtime=0.2
/proc/23397/task/23403/stat : 23403 (java) S 23389 23389 22510 0 -1 64 664 0 0 0 20 0 0 0 16 0 10 0 1307440545 203083776 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23397/tid=23404] ppid=23389 vsize=198324 CPUtime=0
/proc/23397/task/23404/stat : 23404 (java) S 23389 23389 22510 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 1307440545 203083776 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23397/tid=23405] ppid=23389 vsize=198324 CPUtime=0
/proc/23397/task/23405/stat : 23405 (java) S 23389 23389 22510 0 -1 64 15 0 0 0 0 0 0 0 15 0 10 0 1307440545 203083776 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23397/tid=23406] ppid=23389 vsize=198324 CPUtime=0
/proc/23397/task/23406/stat : 23406 (java) S 23389 23389 22510 0 -1 64 73 0 0 0 0 0 0 0 16 0 10 0 1307441082 203083776 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 28.84
Current children cumulated vsize (KiB) 231944
[startup+28.9027 s]
/proc/loadavg: 1.00 1.00 1.18 2/77 23408
/proc/meminfo: memFree=1475624/2055920 swapFree=4122112/4192956
[pid=23389] ppid=23387 vsize=5360 CPUtime=1.88
/proc/23389/stat : 23389 (hydra) S 23387 23389 22510 0 -1 4194304 375 5574 0 0 0 0 185 3 20 0 1 0 1307440351 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23389/statm: 1340 238 196 169 0 51 0
[pid=23397] ppid=23389 vsize=198324 CPUtime=5.59
/proc/23397/stat : 23397 (java) S 23389 23389 22510 0 -1 0 14024 0 1 0 543 16 0 0 21 0 10 0 1307440540 203083776 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/23397/statm: 49581 9425 2543 9 0 44164 0
[pid=23407] ppid=23397 vsize=5356 CPUtime=0
/proc/23407/stat : 23407 (mistral) S 23397 23389 22510 0 -1 4194304 293 0 0 0 0 0 0 0 18 0 1 0 1307441082 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 273952596804 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/23407/statm: 1339 236 196 169 0 50 0
[pid=23408] ppid=23407 vsize=22908 CPUtime=21.57
/proc/23408/stat : 23408 (xsolve) R 23407 23389 22510 0 -1 4194304 5002 0 0 0 2155 2 0 0 25 0 1 0 1307441082 23457792 4966 996147200 134512640 135239763 4294955952 18446744073709551615 134789318 0 4 0 0 0 0 0 17 1 0 0
/proc/23408/statm: 5727 4966 406 177 0 4630 0
[pid=23397/tid=23398] ppid=23389 vsize=198324 CPUtime=4.34
/proc/23397/task/23398/stat : 23398 (java) S 23389 23389 22510 0 -1 64 3847 0 1 0 429 5 0 0 17 0 10 0 1307440541 203083776 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=23397/tid=23399] ppid=23389 vsize=198324 CPUtime=1.02
/proc/23397/task/23399/stat : 23399 (java) S 23389 23389 22510 0 -1 64 8701 0 0 0 93 9 0 0 16 0 10 0 1307440542 203083776 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=23397/tid=23400] ppid=23389 vsize=198324 CPUtime=0
/proc/23397/task/23400/stat : 23400 (java) S 23389 23389 22510 0 -1 64 11 0 0 0 0 0 0 0 15 0 10 0 1307440543 203083776 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23397/tid=23401] ppid=23389 vsize=198324 CPUtime=0
/proc/23397/task/23401/stat : 23401 (java) S 23389 23389 22510 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1307440543 203083776 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23397/tid=23402] ppid=23389 vsize=198324 CPUtime=0
/proc/23397/task/23402/stat : 23402 (java) S 23389 23389 22510 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 1307440545 203083776 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23397/tid=23403] ppid=23389 vsize=198324 CPUtime=0.2
/proc/23397/task/23403/stat : 23403 (java) S 23389 23389 22510 0 -1 64 664 0 0 0 20 0 0 0 16 0 10 0 1307440545 203083776 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23397/tid=23404] ppid=23389 vsize=198324 CPUtime=0
/proc/23397/task/23404/stat : 23404 (java) S 23389 23389 22510 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 1307440545 203083776 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23397/tid=23405] ppid=23389 vsize=198324 CPUtime=0
/proc/23397/task/23405/stat : 23405 (java) S 23389 23389 22510 0 -1 64 15 0 0 0 0 0 0 0 15 0 10 0 1307440545 203083776 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23397/tid=23406] ppid=23389 vsize=198324 CPUtime=0
/proc/23397/task/23406/stat : 23406 (java) S 23389 23389 22510 0 -1 64 73 0 0 0 0 0 0 0 16 0 10 0 1307441082 203083776 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 29.04
Current children cumulated vsize (KiB) 231948
[startup+29.0027 s]
/proc/loadavg: 1.00 1.00 1.18 2/77 23408
/proc/meminfo: memFree=1475624/2055920 swapFree=4122112/4192956
[pid=23389] ppid=23387 vsize=5360 CPUtime=1.88
/proc/23389/stat : 23389 (hydra) S 23387 23389 22510 0 -1 4194304 375 5574 0 0 0 0 185 3 20 0 1 0 1307440351 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23389/statm: 1340 238 196 169 0 51 0
[pid=23397] ppid=23389 vsize=198324 CPUtime=27.24
/proc/23397/stat : 23397 (java) S 23389 23389 22510 0 -1 0 14099 5320 1 0 543 16 2162 3 21 0 9 0 1307440540 203083776 9427 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/23397/statm: 49581 9427 2544 9 0 44164 0
[pid=23397/tid=23398] ppid=23389 vsize=198324 CPUtime=25.99
/proc/23397/task/23398/stat : 23398 (java) S 23389 23389 22510 0 -1 64 3900 5320 1 0 429 5 2162 3 16 0 9 0 1307440541 203083776 9427 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23397/tid=23399] ppid=23389 vsize=198324 CPUtime=22.67
/proc/23397/task/23399/stat : 23399 (java) S 23389 23389 22510 0 -1 64 8713 5320 0 0 93 9 2162 3 16 0 9 0 1307440542 203083776 9427 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=23397/tid=23400] ppid=23389 vsize=198324 CPUtime=21.65
/proc/23397/task/23400/stat : 23400 (java) S 23389 23389 22510 0 -1 64 11 5320 0 0 0 0 2162 3 15 0 9 0 1307440543 203083776 9427 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23397/tid=23401] ppid=23389 vsize=198324 CPUtime=21.65
/proc/23397/task/23401/stat : 23401 (java) S 23389 23389 22510 0 -1 64 5 5320 0 0 0 0 2162 3 15 0 9 0 1307440543 203083776 9427 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23397/tid=23402] ppid=23389 vsize=198324 CPUtime=21.65
/proc/23397/task/23402/stat : 23402 (java) S 23389 23389 22510 0 -1 64 1 5320 0 0 0 0 2162 3 25 0 9 0 1307440545 203083776 9427 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23397/tid=23403] ppid=23389 vsize=198324 CPUtime=21.85
/proc/23397/task/23403/stat : 23403 (java) S 23389 23389 22510 0 -1 64 664 5320 0 0 20 0 2162 3 16 0 9 0 1307440545 203083776 9427 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23397/tid=23404] ppid=23389 vsize=198324 CPUtime=21.65
/proc/23397/task/23404/stat : 23404 (java) S 23389 23389 22510 0 -1 64 0 5320 0 0 0 0 2162 3 25 0 9 0 1307440545 203083776 9427 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23397/tid=23405] ppid=23389 vsize=198324 CPUtime=21.65
/proc/23397/task/23405/stat : 23405 (java) S 23389 23389 22510 0 -1 64 15 5320 0 0 0 0 2162 3 15 0 9 0 1307440545 203083776 9427 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 29.12
Current children cumulated vsize (KiB) 203684
Child status: 0
Real time (s): 29.0119
CPU time (s): 29.1496
CPU user time (s): 28.9076
CPU system time (s): 0.241963
CPU usage (%): 100.475
Max. virtual memory (cumulated for all children) (KiB): 231948
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 28.9076
system time used= 0.241963
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25409
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= 4309
involuntary context switches= 1895
runsolver used 0.037994 second user time and 0.107983 second system time
The end