0.00/0.00 c cpHydra_k_10 version 0.0
7.12/7.38 c CASE TO CLASSIFY:
7.12/7.38 c Case: 0
7.12/7.38 c 19 > 0.000000 | c 35 > 0.128617 | c 17 > 10.888300 | c 18 > 0.000000 | c 33 > 0.096463 | c 15 > 20.309000 | c 34 > 0.096463 | c 16 > 30.000000 | c 13 > 5.108590 | c 14 > 9.189820 | c 11 > 12.101000 | c 12 > 2.929890 | c 21 > 5.099020 | c 20 > 89.111700 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 5.000000 | c 28 > 5.000000 | c 29 > -1.000000 | c 3 > 7.592460 | c 2 > -1.000000 | c 10 > 12.258000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 12.036200 | c 32 > -1.000000 | c 5 > 13.711900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.12/7.39 c choco : 1801.0
7.12/7.39 c mistral : 1801.0
7.12/7.39 c abscon : 1801.0
7.12/7.39 c
7.12/7.39 c
7.22/7.47 c List of same ones: 10
7.22/7.47 c /home/ehebrard/new_instances/competition_4c/data/lexHerald/crossword-m1-lex-15-04.xml
7.22/7.47 c 19 > 0.000000 | c 35 > 0.128617 | c 17 > 10.888300 | c 18 > 0.000000 | c 33 > 0.096463 | c 15 > 18.997200 | c 34 > 0.096463 | c 16 > 30.000000 | c 13 > 3.931210 | c 14 > 8.199670 | c 11 > 12.101000 | c 12 > 2.193700 | c 21 > 5.099020 | c 20 > 89.111700 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 5.000000 | c 28 > 5.000000 | c 29 > -1.000000 | c 3 > 7.592460 | c 2 > -1.000000 | c 10 > 12.258000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 12.036200 | c 32 > -1.000000 | c 5 > 13.711900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.22/7.47 c choco : 35.95
7.22/7.47 c mistral : 2.49
7.22/7.47 c abscon : 21.09
7.22/7.47 c
7.22/7.47 c
7.22/7.48 c /home/ehebrard/new_instances/competition_4c/data/wordsHerald/crossword-m1-words-15-04.xml
7.22/7.48 c 19 > 0.000000 | c 35 > 0.128617 | c 17 > 10.888300 | c 18 > 0.000000 | c 33 > 0.096463 | c 15 > 18.767900 | c 34 > 0.096463 | c 16 > 30.000000 | c 13 > 3.521610 | c 14 > 7.672430 | c 11 > 12.101000 | c 12 > 2.051450 | c 21 > 5.099020 | c 20 > 89.111700 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 5.000000 | c 28 > 5.000000 | c 29 > -1.000000 | c 3 > 7.592460 | c 2 > -1.000000 | c 10 > 12.258000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 12.036200 | c 32 > -1.000000 | c 5 > 13.711900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.22/7.48 c choco : 1801.0
7.22/7.48 c mistral : 98.82
7.22/7.48 c abscon : 40.65
7.22/7.48 c
7.22/7.48 c
7.22/7.48 c /home/ehebrard/new_instances/competition_4c/data/lexHerald/crossword-m1-lex-15-02.xml
7.22/7.48 c 19 > 0.000000 | c 35 > 0.416667 | c 17 > 8.474580 | c 18 > 0.000000 | c 33 > 0.312500 | c 15 > 18.915700 | c 34 > 0.312500 | c 16 > 30.000000 | c 13 > 4.167630 | c 14 > 7.741470 | c 11 > 12.394200 | c 12 > 2.251750 | c 21 > 5.099020 | c 20 > 91.525400 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 6.500000 | c 28 > 3.500000 | c 29 > -1.000000 | c 3 > 7.577430 | c 2 > -1.000000 | c 10 > 12.583100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 12.342100 | c 32 > -1.000000 | c 5 > 13.906000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.22/7.49 c choco : 50.25
7.22/7.49 c mistral : 30.47
7.22/7.49 c abscon : 18.7
7.22/7.49 c
7.22/7.49 c
7.22/7.49 c /home/ehebrard/new_instances/competition_4c/data/wordsHerald/crossword-m1-words-15-02.xml
7.22/7.49 c 19 > 0.000000 | c 35 > 0.416667 | c 17 > 8.474580 | c 18 > 0.000000 | c 33 > 0.312500 | c 15 > 18.533200 | c 34 > 0.312500 | c 16 > 30.000000 | c 13 > 4.057560 | c 14 > 7.707360 | c 11 > 12.394200 | c 12 > 2.159430 | c 21 > 5.099020 | c 20 > 91.525400 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 6.500000 | c 28 > 3.500000 | c 29 > -1.000000 | c 3 > 7.577430 | c 2 > -1.000000 | c 10 > 12.583100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 12.342100 | c 32 > -1.000000 | c 5 > 13.906000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.30/7.50 c choco : 48.64
7.30/7.50 c mistral : 11.68
7.30/7.50 c abscon : 17.17
7.30/7.50 c
7.30/7.50 c
7.30/7.50 c /home/ehebrard/new_instances/competition_4c/data/ukHerald/crossword-m1-uk-15-04.xml
7.30/7.50 c 19 > 0.000000 | c 35 > 0.128617 | c 17 > 10.888300 | c 18 > 0.000000 | c 33 > 0.096463 | c 15 > 15.884300 | c 34 > 0.096463 | c 16 > 30.000000 | c 13 > 2.138250 | c 14 > 6.339850 | c 11 > 12.101000 | c 12 > 1.110140 | c 21 > 5.099020 | c 20 > 89.111700 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 5.000000 | c 28 > 5.000000 | c 29 > -1.000000 | c 3 > 7.592460 | c 2 > -1.000000 | c 10 > 12.258000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 12.036200 | c 32 > -1.000000 | c 5 > 13.711900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.30/7.51 c choco : 11.89
7.30/7.51 c mistral : 2.03
7.30/7.51 c abscon : 14.9
7.30/7.51 c
7.30/7.51 c
7.30/7.51 c /home/ehebrard/new_instances/competition_4c/data/ogdHerald/crossword-m1-ogd-15-04.xml
7.30/7.51 c 19 > 0.000000 | c 35 > 0.128617 | c 17 > 10.888300 | c 18 > 0.000000 | c 33 > 0.096463 | c 15 > 15.925600 | c 34 > 0.096463 | c 16 > 30.000000 | c 13 > 2.145880 | c 14 > 6.149750 | c 11 > 12.101000 | c 12 > 1.096530 | c 21 > 5.099020 | c 20 > 89.111700 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 5.000000 | c 28 > 5.000000 | c 29 > -1.000000 | c 3 > 7.592460 | c 2 > -1.000000 | c 10 > 12.258000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 12.036200 | c 32 > -1.000000 | c 5 > 13.711900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.30/7.52 c choco : 13.45
7.30/7.52 c mistral : 4.44
7.30/7.52 c abscon : 15.85
7.30/7.52 c
7.30/7.52 c
7.30/7.52 c /home/ehebrard/new_instances/competition_4c/data/ogdHerald/crossword-m1-ogd-15-02.xml
7.30/7.52 c 19 > 0.000000 | c 35 > 0.416667 | c 17 > 8.474580 | c 18 > 0.000000 | c 33 > 0.312500 | c 15 > 16.169200 | c 34 > 0.312500 | c 16 > 30.000000 | c 13 > 2.531960 | c 14 > 6.375040 | c 11 > 12.394200 | c 12 > 1.123720 | c 21 > 5.099020 | c 20 > 91.525400 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 6.500000 | c 28 > 3.500000 | c 29 > -1.000000 | c 3 > 7.577430 | c 2 > -1.000000 | c 10 > 12.583100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 12.342100 | c 32 > -1.000000 | c 5 > 13.906000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.30/7.53 c choco : 18.75
7.30/7.53 c mistral : 3.84
7.30/7.53 c abscon : 18.7
7.30/7.53 c
7.30/7.53 c
7.30/7.53 c /home/ehebrard/new_instances/competition_4c/data/lexHerald/crossword-m1-lex-19-02.xml
7.30/7.53 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 6.715990 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 18.903600 | c 34 > 0.000000 | c 16 > 28.000000 | c 13 > 3.553520 | c 14 > 7.870360 | c 11 > 13.489600 | c 12 > 1.856470 | c 21 > 5.099020 | c 20 > 93.284000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 5.084750 | c 28 > 4.915250 | c 29 > -1.000000 | c 3 > 8.209450 | c 2 > -1.000000 | c 10 > 13.662100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 13.452000 | c 32 > -1.000000 | c 5 > 14.877900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.30/7.54 c choco : 1801.0
7.30/7.54 c mistral : 45.88
7.30/7.54 c abscon : 45.36
7.30/7.54 c
7.30/7.54 c
7.30/7.54 c /home/ehebrard/new_instances/competition_4c/data/wordsHerald/crossword-m1-words-19-02.xml
7.30/7.54 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 6.715990 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 18.816000 | c 34 > 0.000000 | c 16 > 28.000000 | c 13 > 3.298570 | c 14 > 7.800900 | c 11 > 13.489600 | c 12 > 1.799670 | c 21 > 5.099020 | c 20 > 93.284000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 5.084750 | c 28 > 4.915250 | c 29 > -1.000000 | c 3 > 8.209450 | c 2 > -1.000000 | c 10 > 13.662100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 13.452000 | c 32 > -1.000000 | c 5 > 14.877900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.30/7.55 c choco : 32.16
7.30/7.55 c mistral : 3.69
7.30/7.55 c abscon : 29.03
7.30/7.55 c
7.30/7.55 c
7.30/7.55 c /home/ehebrard/new_instances/competition_4c/data/ukHerald/crossword-m1-uk-15-02.xml
7.30/7.55 c 19 > 0.000000 | c 35 > 0.416667 | c 17 > 8.474580 | c 18 > 0.000000 | c 33 > 0.312500 | c 15 > 15.504700 | c 34 > 0.312500 | c 16 > 30.000000 | c 13 > 2.495110 | c 14 > 6.247930 | c 11 > 12.394200 | c 12 > 1.102280 | c 21 > 5.099020 | c 20 > 91.525400 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 6.500000 | c 28 > 3.500000 | c 29 > -1.000000 | c 3 > 7.577430 | c 2 > -1.000000 | c 10 > 12.583100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 12.342100 | c 32 > -1.000000 | c 5 > 13.906000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.30/7.56 c choco : 13.14
7.30/7.56 c mistral : 2.39
7.30/7.56 c abscon : 17.53
7.30/7.56 c
7.30/7.56 c
7.30/7.56 c Length: 10
7.30/7.56 c 2.151607687985894 2.822697995907461 4.694222264256138 4.868353565286525 6.3114743815530145 6.371426888743213 7.184263579987724 7.334630312941958 7.431145415736868 7.652312837119117
7.30/7.56 c
7.30/7.56 c 1.0 0.8912649791148759 0.6838849302185731 0.6693931161181957 0.5693974682554251 0.5658856406439806 0.5222174695856127 0.5148675879287947 0.5102579980761145 0.5
7.30/7.56 c
7.30/7.56 c solver 0
7.30/7.56 c before 0.0 seconds: {} 0
7.30/7.56 c before 18.0 seconds: {3, 4, 5, 9} 2304
7.30/7.56 c before 36.0 seconds: {0, 2, 3, 4, 5, 6, 8, 9} 5021
7.30/7.56 c before 54.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6427
7.30/7.56 c
7.30/7.56 c solver 1
7.30/7.56 c before 0.0 seconds: {} 0
7.30/7.56 c before 18.0 seconds: {0, 3, 4, 5, 6, 8, 9} 4337
7.30/7.56 c before 36.0 seconds: {0, 2, 3, 4, 5, 6, 8, 9} 5021
7.30/7.56 c before 54.0 seconds: {0, 2, 3, 4, 5, 6, 7, 8, 9} 5535
7.30/7.57 c before 108.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6427
7.30/7.57 c
7.30/7.57 c solver 2
7.30/7.57 c before 0.0 seconds: {} 0
7.30/7.57 c before 18.0 seconds: {4, 5, 9} 1635
7.30/7.57 c before 36.0 seconds: {0, 4, 5, 6, 8, 9} 3667
7.30/7.57 c before 54.0 seconds: {0, 2, 3, 4, 5, 6, 8, 9} 5021
7.30/7.57 c
7.30/7.57 cTotal time: 12
7.30/7.57 c 216.0 seconds unused
7.30/7.57 c 0 c 0 c 2
7.30/7.57 c 0 c 0 c 2
7.30/7.57 c 0 c 0 c 0
7.30/7.57 c is solver0 dominated by:
7.30/7.57 c solver 1 (0 solves instances that 1 can't: false) (1 doesn't solve instances that 0 can't: true) (0 is faster than 1: true) (0 is equally as fast as 1: false) (0 < 1: false)
7.30/7.57 c solver 2 (0 solves instances that 2 can't: true) (2 doesn't solve instances that 0 can't: true) (0 is faster than 2: false) (0 is equally as fast as 2: true) (0 < 2: false)
7.30/7.57 c is dominated? false
7.30/7.57 c
7.30/7.57 c is solver1 dominated by:
7.30/7.57 c solver 0 (1 solves instances that 0 can't: false) (0 doesn't solve instances that 1 can't: true) (1 is faster than 0: false) (1 is equally as fast as 0: false) (1 < 0: true)
7.30/7.57 c is dominated? true
7.30/7.57 c
7.30/7.57 c is solver2 dominated by:
7.30/7.57 c solver 0 (2 solves instances that 0 can't: false) (0 doesn't solve instances that 2 can't: false) (2 is faster than 0: false) (2 is equally as fast as 0: true) (2 < 0: true)
7.30/7.57 c is dominated? true
7.30/7.57 c
7.30/7.57 c Number of non-dominated solvers: 1
7.30/7.57 c remove dominated solvers
7.30/7.57 c solver 0 is not dominated by another solver
7.30/7.57 c solver 2 is dominated by another solver
7.30/7.57 c solver 1 is dominated by another solver
7.30/7.57 c
7.30/7.57 c solver 0: 54.0
7.30/7.57 c
7.30/7.57 c+ 3/3 of 97
7.30/7.57 c
7.30/7.57 c solver 1: 0.0
7.30/7.57 c
7.30/7.57 c solver 2: 0.0
7.30/7.57 c run abscon for 1800.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6427
7.30/7.57 c do not run mistral
7.30/7.57 c do not run choco
7.30/7.58 c Starting solver: HOME/cpHydra_k_10/solver/abscon
7.30/7.58 c On Instance: HOME/instance-1068169-1215152711.xml
7.30/7.58 c Running for: 1800 seconds
19.73/20.25 s UNSATISFIABLE
19.73/20.25 d ASSIGNMENTS 4951
19.73/20.25 d CHECKS 1902949
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1068169-1215152711/watcher-1068169-1215152711 -o /tmp/evaluation-result-1068169-1215152711/solver-1068169-1215152711 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1068169-1215152711.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: 2.00 2.00 2.00 4/74 599
/proc/meminfo: memFree=1431832/2055920 swapFree=4180452/4192956
[pid=599] ppid=597 vsize=18572 CPUtime=0
/proc/599/stat : 599 (runsolver) R 597 599 29028 0 -1 4194368 15 0 0 0 0 0 0 0 21 0 1 0 1994244921 19017728 292 996147200 4194304 4296836 548682068496 18446744073709551615 221780700455 0 0 4096 24578 0 0 0 17 1 0 0
/proc/599/statm: 4643 292 257 25 0 2626 0
[startup+0.096891 s]
/proc/loadavg: 2.00 2.00 2.00 4/74 599
/proc/meminfo: memFree=1431832/2055920 swapFree=4180452/4192956
[pid=599] ppid=597 vsize=5360 CPUtime=0
/proc/599/stat : 599 (hydra) S 597 599 29028 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1994244921 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/599/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.101886 s]
/proc/loadavg: 2.00 2.00 2.00 4/74 599
/proc/meminfo: memFree=1431832/2055920 swapFree=4180452/4192956
[pid=599] ppid=597 vsize=5360 CPUtime=0
/proc/599/stat : 599 (hydra) S 597 599 29028 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1994244921 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/599/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.3019 s]
/proc/loadavg: 2.00 2.00 2.00 4/74 599
/proc/meminfo: memFree=1431832/2055920 swapFree=4180452/4192956
[pid=599] ppid=597 vsize=5360 CPUtime=0
/proc/599/stat : 599 (hydra) S 597 599 29028 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1994244921 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/599/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.701928 s]
/proc/loadavg: 2.00 2.00 2.00 4/74 599
/proc/meminfo: memFree=1431832/2055920 swapFree=4180452/4192956
[pid=599] ppid=597 vsize=5360 CPUtime=0
/proc/599/stat : 599 (hydra) S 597 599 29028 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1994244921 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/599/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+1.50198 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 603
/proc/meminfo: memFree=1427336/2055920 swapFree=4180452/4192956
[pid=599] ppid=597 vsize=5360 CPUtime=0
/proc/599/stat : 599 (hydra) S 597 599 29028 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1994244921 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/599/statm: 1340 236 195 169 0 51 0
[pid=603] ppid=599 vsize=8680 CPUtime=1.47
/proc/603/stat : 603 (xsolve) R 599 599 29028 0 -1 4194304 1508 0 0 0 147 0 0 0 25 0 1 0 1994244922 8888320 1467 996147200 134512640 135239763 4294956176 18446744073709551615 134821551 0 0 4096 0 0 0 0 17 1 0 0
/proc/603/statm: 2170 1467 424 177 0 1073 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 14040
[startup+3.10207 s]
/proc/loadavg: 2.00 2.00 2.00 3/84 615
/proc/meminfo: memFree=1424584/2055920 swapFree=4180452/4192956
[pid=599] ppid=597 vsize=5360 CPUtime=1.55
/proc/599/stat : 599 (hydra) S 597 599 29028 0 -1 4194304 375 2105 0 0 0 0 155 0 18 0 1 0 1994244921 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/599/statm: 1340 238 196 169 0 51 0
[pid=607] ppid=599 vsize=196996 CPUtime=1.41
/proc/607/stat : 607 (java) S 599 599 29028 0 -1 0 4965 0 1 0 135 6 0 0 18 0 9 0 1994245079 201723904 4169 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/607/statm: 49249 4169 1678 9 0 43832 0
[pid=607/tid=608] ppid=599 vsize=196996 CPUtime=1.09
/proc/607/task/608/stat : 608 (java) R 599 599 29028 0 -1 64 2721 0 1 0 106 3 0 0 23 0 9 0 1994245080 201723904 4169 996147200 134512640 134550740 4294955968 18446744073709551615 4126484519 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=607/tid=609] ppid=599 vsize=196996 CPUtime=0.14
/proc/607/task/609/stat : 609 (java) S 599 599 29028 0 -1 64 906 0 0 0 12 2 0 0 16 0 9 0 1994245082 201723904 4169 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=607/tid=610] ppid=599 vsize=196996 CPUtime=0
/proc/607/task/610/stat : 610 (java) S 599 599 29028 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1994245082 201723904 4169 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=607/tid=611] ppid=599 vsize=196996 CPUtime=0
/proc/607/task/611/stat : 611 (java) S 599 599 29028 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 1994245082 201723904 4169 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=607/tid=612] ppid=599 vsize=196996 CPUtime=0
/proc/607/task/612/stat : 612 (java) S 599 599 29028 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1994245084 201723904 4169 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=607/tid=613] ppid=599 vsize=196996 CPUtime=0.15
/proc/607/task/613/stat : 613 (java) S 599 599 29028 0 -1 64 613 0 0 0 15 0 0 0 16 0 9 0 1994245084 201723904 4169 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=607/tid=614] ppid=599 vsize=196996 CPUtime=0
/proc/607/task/614/stat : 614 (java) S 599 599 29028 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1994245084 201723904 4169 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=607/tid=615] ppid=599 vsize=196996 CPUtime=0
/proc/607/task/615/stat : 615 (java) S 599 599 29028 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1994245084 201723904 4169 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 202356
[startup+6.30152 s]
/proc/loadavg: 2.08 2.02 2.01 3/84 615
/proc/meminfo: memFree=1412424/2055920 swapFree=4180452/4192956
[pid=599] ppid=597 vsize=5360 CPUtime=1.55
/proc/599/stat : 599 (hydra) S 597 599 29028 0 -1 4194304 375 2105 0 0 0 0 155 0 18 0 1 0 1994244921 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/599/statm: 1340 238 196 169 0 51 0
[pid=607] ppid=599 vsize=197108 CPUtime=4.58
/proc/607/stat : 607 (java) S 599 599 29028 0 -1 0 9951 0 1 0 444 14 0 0 18 0 9 0 1994245079 201838592 8258 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/607/statm: 49277 8258 2540 9 0 43860 0
[pid=607/tid=608] ppid=599 vsize=197108 CPUtime=3.6
/proc/607/task/608/stat : 608 (java) R 599 599 29028 0 -1 64 3550 0 1 0 355 5 0 0 25 0 9 0 1994245080 201838592 8258 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=607/tid=609] ppid=599 vsize=197108 CPUtime=0.78
/proc/607/task/609/stat : 609 (java) S 599 599 29028 0 -1 64 5048 0 0 0 70 8 0 0 15 0 9 0 1994245082 201838592 8258 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=607/tid=610] ppid=599 vsize=197108 CPUtime=0
/proc/607/task/610/stat : 610 (java) S 599 599 29028 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1994245082 201838592 8258 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=607/tid=611] ppid=599 vsize=197108 CPUtime=0
/proc/607/task/611/stat : 611 (java) S 599 599 29028 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 1994245082 201838592 8258 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=607/tid=612] ppid=599 vsize=197108 CPUtime=0
/proc/607/task/612/stat : 612 (java) S 599 599 29028 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1994245084 201838592 8258 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=607/tid=613] ppid=599 vsize=197108 CPUtime=0.17
/proc/607/task/613/stat : 613 (java) S 599 599 29028 0 -1 64 628 0 0 0 17 0 0 0 16 0 9 0 1994245084 201838592 8258 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=607/tid=614] ppid=599 vsize=197108 CPUtime=0
/proc/607/task/614/stat : 614 (java) S 599 599 29028 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1994245084 201838592 8258 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=607/tid=615] ppid=599 vsize=197108 CPUtime=0
/proc/607/task/615/stat : 615 (java) S 599 599 29028 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1994245084 201838592 8258 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.13
Current children cumulated vsize (KiB) 202468
[startup+12.7027 s]
/proc/loadavg: 2.07 2.02 2.00 3/96 627
/proc/meminfo: memFree=1343016/2055920 swapFree=4180452/4192956
[pid=599] ppid=597 vsize=5360 CPUtime=1.55
/proc/599/stat : 599 (hydra) S 597 599 29028 0 -1 4194304 375 2105 0 0 0 0 155 0 18 0 1 0 1994244921 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/599/statm: 1340 238 196 169 0 51 0
[pid=607] ppid=599 vsize=197432 CPUtime=5.82
/proc/607/stat : 607 (java) S 599 599 29028 0 -1 0 11435 0 1 0 563 19 0 0 18 0 10 0 1994245079 202170368 9406 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/607/statm: 49358 9406 2544 9 0 43941 0
[pid=617] ppid=607 vsize=5356 CPUtime=0
/proc/617/stat : 617 (abscon) S 607 599 29028 0 -1 4194304 303 0 0 0 0 0 0 0 25 0 1 0 1994245680 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 221780697924 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/617/statm: 1339 235 194 169 0 50 0
[pid=618] ppid=617 vsize=655944 CPUtime=5.01
/proc/618/stat : 618 (java) S 617 599 29028 0 -1 0 18248 0 1 0 489 12 0 0 18 0 9 0 1994245680 671686656 17561 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/618/statm: 163986 17561 2616 9 0 158514 0
[pid=618/tid=620] ppid=617 vsize=655944 CPUtime=4.55
/proc/618/task/620/stat : 620 (java) R 617 599 29028 0 -1 64 12545 0 1 0 446 9 0 0 25 0 9 0 1994245681 671686656 17561 996147200 134512640 134550740 4294955808 18446744073709551615 4127056273 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=618/tid=621] ppid=617 vsize=655944 CPUtime=0.1
/proc/618/task/621/stat : 621 (java) S 617 599 29028 0 -1 64 4439 0 0 0 9 1 0 0 16 0 9 0 1994245683 671686656 17561 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=618/tid=622] ppid=617 vsize=655944 CPUtime=0
/proc/618/task/622/stat : 622 (java) S 617 599 29028 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 1994245683 671686656 17561 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=618/tid=623] ppid=617 vsize=655944 CPUtime=0
/proc/618/task/623/stat : 623 (java) S 617 599 29028 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 1994245683 671686656 17561 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=618/tid=624] ppid=617 vsize=655944 CPUtime=0
/proc/618/task/624/stat : 624 (java) S 617 599 29028 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 1994245685 671686656 17561 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=618/tid=625] ppid=617 vsize=655944 CPUtime=0.34
/proc/618/task/625/stat : 625 (java) S 617 599 29028 0 -1 64 720 0 0 0 33 1 0 0 16 0 9 0 1994245685 671686656 17561 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=618/tid=626] ppid=617 vsize=655944 CPUtime=0
/proc/618/task/626/stat : 626 (java) S 617 599 29028 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1994245685 671686656 17561 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=618/tid=627] ppid=617 vsize=655944 CPUtime=0
/proc/618/task/627/stat : 627 (java) S 617 599 29028 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1994245685 671686656 17561 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=619] ppid=617 vsize=7044 CPUtime=0
/proc/619/stat : 619 (translate) S 617 599 29028 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 1994245680 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 221780869202 0 4 0 0 18446744071563648864 0 0 17 1 0 0
/proc/619/statm: 1761 213 182 1 0 41 0
[pid=607/tid=608] ppid=599 vsize=197432 CPUtime=4.64
/proc/607/task/608/stat : 608 (java) S 599 599 29028 0 -1 64 3858 0 1 0 457 7 0 0 25 0 10 0 1994245080 202170368 9406 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=607/tid=609] ppid=599 vsize=197432 CPUtime=0.94
/proc/607/task/609/stat : 609 (java) S 599 599 29028 0 -1 64 6126 0 0 0 84 10 0 0 16 0 10 0 1994245082 202170368 9406 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=607/tid=610] ppid=599 vsize=197432 CPUtime=0
/proc/607/task/610/stat : 610 (java) S 599 599 29028 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1994245082 202170368 9406 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=607/tid=611] ppid=599 vsize=197432 CPUtime=0
/proc/607/task/611/stat : 611 (java) S 599 599 29028 0 -1 64 6 0 0 0 0 0 0 0 16 0 10 0 1994245082 202170368 9406 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=607/tid=612] ppid=599 vsize=197432 CPUtime=0
/proc/607/task/612/stat : 612 (java) S 599 599 29028 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1994245084 202170368 9406 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=607/tid=613] ppid=599 vsize=197432 CPUtime=0.2
/proc/607/task/613/stat : 613 (java) S 599 599 29028 0 -1 64 646 0 0 0 20 0 0 0 16 0 10 0 1994245084 202170368 9406 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=607/tid=614] ppid=599 vsize=197432 CPUtime=0
/proc/607/task/614/stat : 614 (java) S 599 599 29028 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1994245084 202170368 9406 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=607/tid=615] ppid=599 vsize=197432 CPUtime=0
/proc/607/task/615/stat : 615 (java) S 599 599 29028 0 -1 64 9 0 0 0 0 0 0 0 15 0 10 0 1994245084 202170368 9406 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=607/tid=616] ppid=599 vsize=197432 CPUtime=0
/proc/607/task/616/stat : 616 (java) S 599 599 29028 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 1994245680 202170368 9406 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.38
Current children cumulated vsize (KiB) 871136
Solver just ended. Dumping a history of the last processes samples
[startup+15.9029 s]
/proc/loadavg: 2.07 2.02 2.00 3/96 627
/proc/meminfo: memFree=1342952/2055920 swapFree=4180452/4192956
[pid=599] ppid=597 vsize=5360 CPUtime=1.55
/proc/599/stat : 599 (hydra) S 597 599 29028 0 -1 4194304 375 2105 0 0 0 0 155 0 18 0 1 0 1994244921 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/599/statm: 1340 238 196 169 0 51 0
[pid=607] ppid=599 vsize=197432 CPUtime=5.82
/proc/607/stat : 607 (java) S 599 599 29028 0 -1 0 11435 0 1 0 563 19 0 0 18 0 10 0 1994245079 202170368 9406 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/607/statm: 49358 9406 2544 9 0 43941 0
[pid=617] ppid=607 vsize=5356 CPUtime=0
/proc/617/stat : 617 (abscon) S 607 599 29028 0 -1 4194304 303 0 0 0 0 0 0 0 25 0 1 0 1994245680 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 221780697924 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/617/statm: 1339 235 194 169 0 50 0
[pid=618] ppid=617 vsize=655944 CPUtime=8.15
/proc/618/stat : 618 (java) S 617 599 29028 0 -1 0 18255 0 1 0 803 12 0 0 18 0 9 0 1994245680 671686656 17566 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/618/statm: 163986 17566 2616 9 0 158514 0
[pid=618/tid=620] ppid=617 vsize=655944 CPUtime=7.67
/proc/618/task/620/stat : 620 (java) R 617 599 29028 0 -1 64 12546 0 1 0 758 9 0 0 25 0 9 0 1994245681 671686656 17566 996147200 134512640 134550740 4294955808 18446744073709551615 4127102593 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=618/tid=621] ppid=617 vsize=655944 CPUtime=0.1
/proc/618/task/621/stat : 621 (java) S 617 599 29028 0 -1 64 4439 0 0 0 9 1 0 0 16 0 9 0 1994245683 671686656 17566 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
################
# More data... #
################
[pid=607/tid=614] ppid=599 vsize=197432 CPUtime=0
/proc/607/task/614/stat : 614 (java) S 599 599 29028 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1994245084 202170368 9406 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=607/tid=615] ppid=599 vsize=197432 CPUtime=0
/proc/607/task/615/stat : 615 (java) S 599 599 29028 0 -1 64 9 0 0 0 0 0 0 0 15 0 10 0 1994245084 202170368 9406 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=607/tid=616] ppid=599 vsize=197432 CPUtime=0
/proc/607/task/616/stat : 616 (java) S 599 599 29028 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 1994245680 202170368 9406 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 18.66
Current children cumulated vsize (KiB) 871136
[startup+19.9031 s]
/proc/loadavg: 2.07 2.02 2.00 3/96 627
/proc/meminfo: memFree=1342888/2055920 swapFree=4180452/4192956
[pid=599] ppid=597 vsize=5360 CPUtime=1.55
/proc/599/stat : 599 (hydra) S 597 599 29028 0 -1 4194304 375 2105 0 0 0 0 155 0 18 0 1 0 1994244921 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/599/statm: 1340 238 196 169 0 51 0
[pid=607] ppid=599 vsize=197432 CPUtime=5.82
/proc/607/stat : 607 (java) S 599 599 29028 0 -1 0 11435 0 1 0 563 19 0 0 18 0 10 0 1994245079 202170368 9406 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/607/statm: 49358 9406 2544 9 0 43941 0
[pid=617] ppid=607 vsize=5356 CPUtime=0
/proc/617/stat : 617 (abscon) S 607 599 29028 0 -1 4194304 303 0 0 0 0 0 0 0 25 0 1 0 1994245680 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 221780697924 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/617/statm: 1339 235 194 169 0 50 0
[pid=618] ppid=617 vsize=655944 CPUtime=12.07
/proc/618/stat : 618 (java) S 617 599 29028 0 -1 0 18257 0 1 0 1195 12 0 0 18 0 9 0 1994245680 671686656 17567 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/618/statm: 163986 17567 2616 9 0 158514 0
[pid=618/tid=620] ppid=617 vsize=655944 CPUtime=11.59
/proc/618/task/620/stat : 620 (java) R 617 599 29028 0 -1 64 12546 0 1 0 1150 9 0 0 25 0 9 0 1994245681 671686656 17567 996147200 134512640 134550740 4294955808 18446744073709551615 4127058043 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=618/tid=621] ppid=617 vsize=655944 CPUtime=0.1
/proc/618/task/621/stat : 621 (java) S 617 599 29028 0 -1 64 4439 0 0 0 9 1 0 0 17 0 9 0 1994245683 671686656 17567 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=618/tid=622] ppid=617 vsize=655944 CPUtime=0
/proc/618/task/622/stat : 622 (java) S 617 599 29028 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 1994245683 671686656 17567 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=618/tid=623] ppid=617 vsize=655944 CPUtime=0
/proc/618/task/623/stat : 623 (java) S 617 599 29028 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 1994245683 671686656 17567 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=618/tid=624] ppid=617 vsize=655944 CPUtime=0
/proc/618/task/624/stat : 624 (java) S 617 599 29028 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 1994245685 671686656 17567 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=618/tid=625] ppid=617 vsize=655944 CPUtime=0.35
/proc/618/task/625/stat : 625 (java) S 617 599 29028 0 -1 64 728 0 0 0 34 1 0 0 16 0 9 0 1994245685 671686656 17567 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=618/tid=626] ppid=617 vsize=655944 CPUtime=0
/proc/618/task/626/stat : 626 (java) S 617 599 29028 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1994245685 671686656 17567 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=618/tid=627] ppid=617 vsize=655944 CPUtime=0
/proc/618/task/627/stat : 627 (java) S 617 599 29028 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1994245685 671686656 17567 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=619] ppid=617 vsize=7044 CPUtime=0
/proc/619/stat : 619 (translate) S 617 599 29028 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 1994245680 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 221780869202 0 4 0 0 18446744071563648864 0 0 17 1 0 0
/proc/619/statm: 1761 213 182 1 0 41 0
[pid=607/tid=608] ppid=599 vsize=197432 CPUtime=4.64
/proc/607/task/608/stat : 608 (java) S 599 599 29028 0 -1 64 3858 0 1 0 457 7 0 0 25 0 10 0 1994245080 202170368 9406 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=607/tid=609] ppid=599 vsize=197432 CPUtime=0.94
/proc/607/task/609/stat : 609 (java) S 599 599 29028 0 -1 64 6126 0 0 0 84 10 0 0 16 0 10 0 1994245082 202170368 9406 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=607/tid=610] ppid=599 vsize=197432 CPUtime=0
/proc/607/task/610/stat : 610 (java) S 599 599 29028 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1994245082 202170368 9406 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=607/tid=611] ppid=599 vsize=197432 CPUtime=0
/proc/607/task/611/stat : 611 (java) S 599 599 29028 0 -1 64 6 0 0 0 0 0 0 0 16 0 10 0 1994245082 202170368 9406 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=607/tid=612] ppid=599 vsize=197432 CPUtime=0
/proc/607/task/612/stat : 612 (java) S 599 599 29028 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1994245084 202170368 9406 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=607/tid=613] ppid=599 vsize=197432 CPUtime=0.2
/proc/607/task/613/stat : 613 (java) S 599 599 29028 0 -1 64 646 0 0 0 20 0 0 0 16 0 10 0 1994245084 202170368 9406 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=607/tid=614] ppid=599 vsize=197432 CPUtime=0
/proc/607/task/614/stat : 614 (java) S 599 599 29028 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1994245084 202170368 9406 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=607/tid=615] ppid=599 vsize=197432 CPUtime=0
/proc/607/task/615/stat : 615 (java) S 599 599 29028 0 -1 64 9 0 0 0 0 0 0 0 15 0 10 0 1994245084 202170368 9406 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=607/tid=616] ppid=599 vsize=197432 CPUtime=0
/proc/607/task/616/stat : 616 (java) S 599 599 29028 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 1994245680 202170368 9406 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 19.44
Current children cumulated vsize (KiB) 871136
[startup+20.1031 s]
/proc/loadavg: 2.07 2.02 2.00 3/96 627
/proc/meminfo: memFree=1342888/2055920 swapFree=4180452/4192956
[pid=599] ppid=597 vsize=5360 CPUtime=1.55
/proc/599/stat : 599 (hydra) S 597 599 29028 0 -1 4194304 375 2105 0 0 0 0 155 0 18 0 1 0 1994244921 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/599/statm: 1340 238 196 169 0 51 0
[pid=607] ppid=599 vsize=197432 CPUtime=5.82
/proc/607/stat : 607 (java) S 599 599 29028 0 -1 0 11435 0 1 0 563 19 0 0 18 0 10 0 1994245079 202170368 9406 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/607/statm: 49358 9406 2544 9 0 43941 0
[pid=617] ppid=607 vsize=5356 CPUtime=0
/proc/617/stat : 617 (abscon) S 607 599 29028 0 -1 4194304 303 0 0 0 0 0 0 0 25 0 1 0 1994245680 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 221780697924 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/617/statm: 1339 235 194 169 0 50 0
[pid=618] ppid=617 vsize=655944 CPUtime=12.27
/proc/618/stat : 618 (java) S 617 599 29028 0 -1 0 18257 0 1 0 1215 12 0 0 18 0 9 0 1994245680 671686656 17567 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/618/statm: 163986 17567 2616 9 0 158514 0
[pid=618/tid=620] ppid=617 vsize=655944 CPUtime=11.79
/proc/618/task/620/stat : 620 (java) R 617 599 29028 0 -1 64 12546 0 1 0 1170 9 0 0 25 0 9 0 1994245681 671686656 17567 996147200 134512640 134550740 4294955808 18446744073709551615 4127112076 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=618/tid=621] ppid=617 vsize=655944 CPUtime=0.1
/proc/618/task/621/stat : 621 (java) S 617 599 29028 0 -1 64 4439 0 0 0 9 1 0 0 17 0 9 0 1994245683 671686656 17567 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=618/tid=622] ppid=617 vsize=655944 CPUtime=0
/proc/618/task/622/stat : 622 (java) S 617 599 29028 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 1994245683 671686656 17567 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=618/tid=623] ppid=617 vsize=655944 CPUtime=0
/proc/618/task/623/stat : 623 (java) S 617 599 29028 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 1994245683 671686656 17567 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=618/tid=624] ppid=617 vsize=655944 CPUtime=0
/proc/618/task/624/stat : 624 (java) S 617 599 29028 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 1994245685 671686656 17567 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=618/tid=625] ppid=617 vsize=655944 CPUtime=0.35
/proc/618/task/625/stat : 625 (java) S 617 599 29028 0 -1 64 728 0 0 0 34 1 0 0 16 0 9 0 1994245685 671686656 17567 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=618/tid=626] ppid=617 vsize=655944 CPUtime=0
/proc/618/task/626/stat : 626 (java) S 617 599 29028 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1994245685 671686656 17567 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=618/tid=627] ppid=617 vsize=655944 CPUtime=0
/proc/618/task/627/stat : 627 (java) S 617 599 29028 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1994245685 671686656 17567 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=619] ppid=617 vsize=7044 CPUtime=0
/proc/619/stat : 619 (translate) S 617 599 29028 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 1994245680 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 221780869202 0 4 0 0 18446744071563648864 0 0 17 1 0 0
/proc/619/statm: 1761 213 182 1 0 41 0
[pid=607/tid=608] ppid=599 vsize=197432 CPUtime=4.64
/proc/607/task/608/stat : 608 (java) S 599 599 29028 0 -1 64 3858 0 1 0 457 7 0 0 25 0 10 0 1994245080 202170368 9406 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=607/tid=609] ppid=599 vsize=197432 CPUtime=0.94
/proc/607/task/609/stat : 609 (java) S 599 599 29028 0 -1 64 6126 0 0 0 84 10 0 0 16 0 10 0 1994245082 202170368 9406 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=607/tid=610] ppid=599 vsize=197432 CPUtime=0
/proc/607/task/610/stat : 610 (java) S 599 599 29028 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1994245082 202170368 9406 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=607/tid=611] ppid=599 vsize=197432 CPUtime=0
/proc/607/task/611/stat : 611 (java) S 599 599 29028 0 -1 64 6 0 0 0 0 0 0 0 16 0 10 0 1994245082 202170368 9406 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=607/tid=612] ppid=599 vsize=197432 CPUtime=0
/proc/607/task/612/stat : 612 (java) S 599 599 29028 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1994245084 202170368 9406 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=607/tid=613] ppid=599 vsize=197432 CPUtime=0.2
/proc/607/task/613/stat : 613 (java) S 599 599 29028 0 -1 64 646 0 0 0 20 0 0 0 16 0 10 0 1994245084 202170368 9406 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=607/tid=614] ppid=599 vsize=197432 CPUtime=0
/proc/607/task/614/stat : 614 (java) S 599 599 29028 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1994245084 202170368 9406 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=607/tid=615] ppid=599 vsize=197432 CPUtime=0
/proc/607/task/615/stat : 615 (java) S 599 599 29028 0 -1 64 9 0 0 0 0 0 0 0 15 0 10 0 1994245084 202170368 9406 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=607/tid=616] ppid=599 vsize=197432 CPUtime=0
/proc/607/task/616/stat : 616 (java) S 599 599 29028 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 1994245680 202170368 9406 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 19.64
Current children cumulated vsize (KiB) 871136
[startup+20.2031 s]
/proc/loadavg: 2.07 2.02 2.00 3/96 627
/proc/meminfo: memFree=1342888/2055920 swapFree=4180452/4192956
[pid=599] ppid=597 vsize=5360 CPUtime=1.55
/proc/599/stat : 599 (hydra) S 597 599 29028 0 -1 4194304 375 2105 0 0 0 0 155 0 18 0 1 0 1994244921 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/599/statm: 1340 238 196 169 0 51 0
[pid=607] ppid=599 vsize=197432 CPUtime=5.82
/proc/607/stat : 607 (java) S 599 599 29028 0 -1 0 11437 0 1 0 563 19 0 0 18 0 10 0 1994245079 202170368 9406 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/607/statm: 49358 9406 2544 9 0 43941 0
[pid=617] ppid=607 vsize=5356 CPUtime=0
/proc/617/stat : 617 (abscon) S 607 599 29028 0 -1 4194304 303 288 0 0 0 0 0 0 16 0 1 0 1994245680 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 221780697924 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/617/statm: 1339 235 194 169 0 50 0
[pid=618] ppid=617 vsize=655944 CPUtime=12.36
/proc/618/stat : 618 (java) S 617 599 29028 0 -1 0 18261 0 1 0 1224 12 0 0 18 0 9 0 1994245680 671686656 17569 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/618/statm: 163986 17569 2616 9 0 158514 0
[pid=618/tid=620] ppid=617 vsize=655944 CPUtime=11.88
/proc/618/task/620/stat : 620 (java) S 617 599 29028 0 -1 64 12550 0 1 0 1179 9 0 0 25 0 9 0 1994245681 671686656 17569 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=618/tid=621] ppid=617 vsize=655944 CPUtime=0.1
/proc/618/task/621/stat : 621 (java) S 617 599 29028 0 -1 64 4439 0 0 0 9 1 0 0 17 0 9 0 1994245683 671686656 17569 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=618/tid=622] ppid=617 vsize=655944 CPUtime=0
/proc/618/task/622/stat : 622 (java) S 617 599 29028 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 1994245683 671686656 17569 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=618/tid=623] ppid=617 vsize=655944 CPUtime=0
/proc/618/task/623/stat : 623 (java) S 617 599 29028 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 1994245683 671686656 17569 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=618/tid=624] ppid=617 vsize=655944 CPUtime=0
/proc/618/task/624/stat : 624 (java) S 617 599 29028 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 1994245685 671686656 17569 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=618/tid=625] ppid=617 vsize=655944 CPUtime=0.35
/proc/618/task/625/stat : 625 (java) S 617 599 29028 0 -1 64 728 0 0 0 34 1 0 0 15 0 9 0 1994245685 671686656 17569 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=618/tid=626] ppid=617 vsize=655944 CPUtime=0
/proc/618/task/626/stat : 626 (java) S 617 599 29028 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1994245685 671686656 17569 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=618/tid=627] ppid=617 vsize=655944 CPUtime=0
/proc/618/task/627/stat : 627 (java) S 617 599 29028 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1994245685 671686656 17569 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=607/tid=608] ppid=599 vsize=197432 CPUtime=4.64
/proc/607/task/608/stat : 608 (java) S 599 599 29028 0 -1 64 3860 0 1 0 457 7 0 0 16 0 10 0 1994245080 202170368 9406 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=607/tid=609] ppid=599 vsize=197432 CPUtime=0.94
/proc/607/task/609/stat : 609 (java) S 599 599 29028 0 -1 64 6126 0 0 0 84 10 0 0 16 0 10 0 1994245082 202170368 9406 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=607/tid=610] ppid=599 vsize=197432 CPUtime=0
/proc/607/task/610/stat : 610 (java) S 599 599 29028 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1994245082 202170368 9406 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=607/tid=611] ppid=599 vsize=197432 CPUtime=0
/proc/607/task/611/stat : 611 (java) S 599 599 29028 0 -1 64 6 0 0 0 0 0 0 0 16 0 10 0 1994245082 202170368 9406 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=607/tid=612] ppid=599 vsize=197432 CPUtime=0
/proc/607/task/612/stat : 612 (java) S 599 599 29028 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1994245084 202170368 9406 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=607/tid=613] ppid=599 vsize=197432 CPUtime=0.2
/proc/607/task/613/stat : 613 (java) S 599 599 29028 0 -1 64 646 0 0 0 20 0 0 0 16 0 10 0 1994245084 202170368 9406 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=607/tid=614] ppid=599 vsize=197432 CPUtime=0
/proc/607/task/614/stat : 614 (java) S 599 599 29028 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1994245084 202170368 9406 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=607/tid=615] ppid=599 vsize=197432 CPUtime=0
/proc/607/task/615/stat : 615 (java) S 599 599 29028 0 -1 64 9 0 0 0 0 0 0 0 15 0 10 0 1994245084 202170368 9406 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=607/tid=616] ppid=599 vsize=197432 CPUtime=0
/proc/607/task/616/stat : 616 (java) S 599 599 29028 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 1994245680 202170368 9406 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 19.73
Current children cumulated vsize (KiB) 864092
Child status: 0
Real time (s): 20.2634
CPU time (s): 19.79
CPU user time (s): 19.437
CPU system time (s): 0.352946
CPU usage (%): 97.6639
Max. virtual memory (cumulated for all children) (KiB): 871136
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19.437
system time used= 0.352946
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32910
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10900
involuntary context switches= 12566
runsolver used 0.095985 second user time and 0.158975 second system time
The end