0.00/0.00 c cpHydra_k_10 version 0.0
7.28/7.48 c CASE TO CLASSIFY:
7.28/7.48 c Case: 0
7.28/7.48 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 15.736800 | c 34 > 0.000000 | c 16 > 41.000000 | c 13 > -3.169930 | c 14 > 9.715960 | c 11 > 13.661600 | c 12 > 0.990953 | c 21 > 1.414210 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 13.240500 | c 1 > 11.679500 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.240500 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 17.215600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.28/7.50 c choco : 1801.0
7.28/7.50 c mistral : 1801.0
7.28/7.50 c abscon : 1801.0
7.28/7.50 c
7.28/7.50 c
7.37/7.57 c List of same ones: 10
7.37/7.57 c /home/eomahony/cpZilla/CSP/mknap/mknap-1-5.xml
7.37/7.57 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 21.681500 | c 34 > 0.000000 | c 16 > 39.000000 | c 13 > 7.137040 | c 14 > 12.284800 | c 11 > 7.813780 | c 12 > 6.405690 | c 21 > 1.414210 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 8.721100 | c 1 > 5.285400 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.633000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 17.955800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.37/7.58 c choco : 13.25
7.37/7.58 c mistral : 1800.06
7.37/7.58 c abscon : 1800.12
7.37/7.58 c
7.37/7.58 c
7.37/7.58 c /home/eomahony/cpZilla/CSP/mknap/mknap-1-4.xml
7.37/7.58 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 21.357900 | c 34 > 0.000000 | c 16 > 28.000000 | c 13 > 5.250700 | c 14 > 11.671100 | c 11 > 8.149750 | c 12 > 3.483250 | c 21 > 1.414210 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 9.189820 | c 1 > 4.807350 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.144660 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 18.607200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.37/7.59 c choco : 3.4
7.37/7.59 c mistral : 0.6499
7.37/7.59 c abscon : 1800.09
7.37/7.59 c
7.37/7.59 c
7.37/7.59 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-sentoy.xml
7.37/7.59 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 16.594100 | c 34 > 0.000000 | c 16 > 60.000000 | c 13 > 2.866770 | c 14 > 5.906890 | c 11 > 9.787900 | c 12 > 1.569650 | c 21 > 1.414210 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 11.801700 | c 1 > 5.906890 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.801700 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 22.631700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.46/7.60 c choco : 1.87
7.46/7.60 c mistral : 0.18
7.46/7.60 c abscon : 4.96824
7.46/7.60 c
7.46/7.60 c
7.46/7.60 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-railway-8-1-0.xml
7.46/7.60 c 19 > 0.000000 | c 35 > 5.794660 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 7.142400 | c 15 > 20.075600 | c 34 > 8.175460 | c 16 > 61.000000 | c 13 > 1.308440 | c 14 > 6.672430 | c 11 > 14.269300 | c 12 > 2.900980 | c 21 > 1.414210 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 17.795800 | c 1 > 14.269300 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 17.795800 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 28.081300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.46/7.61 c choco : 102.98
7.46/7.61 c mistral : 4.17336
7.46/7.61 c abscon : 1800.15
7.46/7.61 c
7.46/7.61 c
7.46/7.61 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-usAbbrv-8-25-70.xml
7.46/7.61 c 19 > 0.000000 | c 35 > 7.157060 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 9.408470 | c 15 > 20.387000 | c 34 > 10.295800 | c 16 > 61.000000 | c 13 > 2.162170 | c 14 > 6.108520 | c 11 > 14.331100 | c 12 > 3.131810 | c 21 > 1.414210 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 18.086600 | c 1 > 14.331100 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 18.086600 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 27.901800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.46/7.62 c choco : 87.71
7.46/7.62 c mistral : 5.19221
7.46/7.62 c abscon : 1800.21
7.46/7.62 c
7.46/7.62 c
7.46/7.62 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-berlin-5-8_0.xml
7.46/7.62 c 19 > 0.000000 | c 35 > 7.226800 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 9.258650 | c 15 > 20.406900 | c 34 > 10.356900 | c 16 > 61.000000 | c 13 > 1.893710 | c 14 > 7.800900 | c 11 > 13.208200 | c 12 > 3.151280 | c 21 > 1.414210 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 16.983300 | c 1 > 13.208200 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 16.983300 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 31.463400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.46/7.63 c choco : 39.61
7.46/7.63 c mistral : 3.73243
7.46/7.63 c abscon : 1800.12
7.46/7.63 c
7.46/7.63 c
7.46/7.63 c /home/ehebrard/new_instances/competition_4c/data/ukHerald/crossword-m1-uk-19-10.xml
7.46/7.63 c 19 > 0.000000 | c 35 > 0.024133 | c 17 > 3.717690 | c 18 > 0.000000 | c 33 > 0.018100 | c 15 > 17.426400 | c 34 > 0.018100 | c 16 > 38.000000 | c 13 > 5.357700 | c 14 > 7.179910 | c 11 > 8.184880 | c 12 > 6.007880 | c 21 > 5.099020 | c 20 > 96.282300 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 7.500000 | c 28 > 2.500000 | c 29 > -1.000000 | c 3 > 8.184880 | c 2 > -1.000000 | c 10 > 14.506400 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 14.275400 | c 32 > -1.000000 | c 5 > 15.527300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.46/7.64 c choco : 21.77
7.46/7.64 c mistral : 2.2
7.46/7.64 c abscon : 23.37
7.46/7.64 c
7.46/7.64 c
7.46/7.64 c /home/ehebrard/new_instances/competition_4c/data/wordsHerald/crossword-m1-words-19-10.xml
7.46/7.64 c 19 > 0.000000 | c 35 > 0.024133 | c 17 > 3.717690 | c 18 > 0.000000 | c 33 > 0.018100 | c 15 > 17.737000 | c 34 > 0.018100 | c 16 > 38.000000 | c 13 > 5.230290 | c 14 > 6.754890 | c 11 > 8.184880 | c 12 > 5.953720 | c 21 > 5.099020 | c 20 > 96.282300 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 7.500000 | c 28 > 2.500000 | c 29 > -1.000000 | c 3 > 8.184880 | c 2 > -1.000000 | c 10 > 14.506400 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 14.275400 | c 32 > -1.000000 | c 5 > 15.527300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.46/7.64 c choco : 20.02
7.46/7.64 c mistral : 1.4
7.46/7.64 c abscon : 25.81
7.46/7.65 c
7.46/7.65 c
7.46/7.65 c /home/ehebrard/new_instances/competition_4c/data/ogdHerald/crossword-m1-ogd-19-10.xml
7.46/7.65 c 19 > 0.000000 | c 35 > 0.024133 | c 17 > 3.717690 | c 18 > 0.000000 | c 33 > 0.018100 | c 15 > 17.648900 | c 34 > 0.018100 | c 16 > 38.000000 | c 13 > 5.339450 | c 14 > 7.044390 | c 11 > 8.184880 | c 12 > 5.989430 | c 21 > 5.099020 | c 20 > 96.282300 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 7.500000 | c 28 > 2.500000 | c 29 > -1.000000 | c 3 > 8.184880 | c 2 > -1.000000 | c 10 > 14.506400 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 14.275400 | c 32 > -1.000000 | c 5 > 15.527300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.46/7.65 c choco : 21.82
7.46/7.65 c mistral : 2.18
7.46/7.65 c abscon : 24.45
7.46/7.65 c
7.46/7.65 c
7.46/7.65 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-32c4.xml
7.46/7.65 c 19 > 3.510480 | c 35 > 17.836800 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 2.106290 | c 15 > 19.658400 | c 34 > 18.538900 | c 16 > 32.000000 | c 13 > 7.016210 | c 14 > 5.754890 | c 11 > 10.568000 | c 12 > 6.261040 | c 21 > 1.414210 | c 20 > 96.489500 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 16.532600 | c 1 > 10.568000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 16.521000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 20.412700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.46/7.66 c choco : 1801.0
7.46/7.66 c mistral : 158.081
7.46/7.66 c abscon : 1800.11
7.46/7.66 c
7.46/7.66 c
7.46/7.67 c Length: 10
7.46/7.67 c 17.285104761269718 19.85611472407704 22.244631322069804 27.74641753066022 29.69919711696848 30.57055398668184 31.179872913545346 31.19246119067392 31.196087578107267 31.259445237664874
7.46/7.67 c
7.46/7.67 c 1.0 0.8446083102165317 0.7380605583076513 0.5718832369994146 0.5295631068852031 0.5126356670120856 0.5014276079866735 0.5012012189791974 0.5011360395375617 0.5
7.46/7.67 c
7.46/7.67 c solver 0
7.46/7.67 c before 0.0 seconds: {} 0
7.46/7.67 c before 18.0 seconds: {2} 738
7.46/7.67 c before 36.0 seconds: {2, 6, 7, 8} 2241
7.46/7.67 c
7.46/7.67 c solver 1
7.46/7.67 c before 0.0 seconds: {} 0
7.46/7.67 c before 18.0 seconds: {1, 2, 3, 4, 5, 6, 7, 8} 4700
7.46/7.67 c before 162.0 seconds: {1, 2, 3, 4, 5, 6, 7, 8, 9} 5200
7.46/7.67 c
7.46/7.67 c solver 2
7.46/7.67 c before 0.0 seconds: {} 0
7.46/7.67 c before 18.0 seconds: {0, 1, 2} 2582
7.46/7.67 c before 36.0 seconds: {0, 1, 2, 6, 7, 8} 4086
7.46/7.67 c before 54.0 seconds: {0, 1, 2, 5, 6, 7, 8} 4599
7.46/7.67 c before 90.0 seconds: {0, 1, 2, 4, 5, 6, 7, 8} 5128
7.46/7.67 c before 108.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8} 5700
7.46/7.67 c
7.46/7.67 cTotal time: 17
7.46/7.67 c 306.0 seconds unused
7.46/7.67 c 0 c 0 c 0
7.46/7.67 c 5 c 0 c 1
7.46/7.67 c 5 c 1 c 0
7.46/7.67 c is solver0 dominated by:
7.46/7.67 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.46/7.67 c is dominated? true
7.46/7.67 c
7.46/7.67 c is solver1 dominated by:
7.46/7.67 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.46/7.68 c solver 2 (1 solves instances that 2 can't: true) (2 doesn't solve instances that 1 can't: false) (1 is faster than 2: false) (1 is equally as fast as 2: false) (1 < 2: false)
7.46/7.68 c is dominated? false
7.46/7.68 c
7.46/7.68 c is solver2 dominated by:
7.46/7.68 c solver 0 (2 solves instances that 0 can't: true) (0 doesn't solve instances that 2 can't: true) (2 is faster than 0: false) (2 is equally as fast as 0: false) (2 < 0: true)
7.46/7.68 c solver 1 (2 solves instances that 1 can't: true) (1 doesn't solve instances that 2 can't: false) (2 is faster than 1: true) (2 is equally as fast as 1: false) (2 < 1: true)
7.46/7.68 c is dominated? false
7.46/7.68 c
7.46/7.68 c Number of non-dominated solvers: 2
7.46/7.68 c remove dominated solvers
7.46/7.68 c solver 1 is not dominated by another solver
7.46/7.68 c solver 2 is not dominated by another solver
7.46/7.68 c solver 0 is dominated by another solver
7.46/7.68 c
7.46/7.68 c solver 0: 0.0
7.46/7.68 c
7.46/7.68 c solver 1: 162.0
7.46/7.68 c
7.46/7.68 c+ 9/15 of 85
7.46/7.68 c
7.46/7.68 c solver 2: 108.0
7.46/7.68 c
7.46/7.68 c+ 6/15 of 85
7.46/7.68 c do not run abscon
7.46/7.68 c run mistral for 1080.0 seconds {1, 2, 3, 4, 5, 6, 7, 8, 9} 5200
7.46/7.68 c run choco for 720.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8} 5700
7.46/7.68 c Starting solver: HOME/cpHydra_k_10/solver/mistral
7.46/7.68 c On Instance: HOME/instance-1060947-1215129335.xml
7.46/7.68 c Running for: 1080 seconds
1087.31/1101.99 c Starting solver: HOME/cpHydra_k_10/solver/choco
1087.31/1101.99 c On Instance: HOME/instance-1060947-1215129335.xml
1087.31/1101.99 c Running for: 720 seconds
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1060947-1215129335/watcher-1060947-1215129335 -o /tmp/evaluation-result-1060947-1215129335/solver-1060947-1215129335 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1060947-1215129335.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2200 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.92 1.98 1.99 4/74 26345
/proc/meminfo: memFree=1844128/2055912 swapFree=4178528/4192956
[pid=26345] ppid=26343 vsize=5256 CPUtime=0
/proc/26345/stat : 26345 (hydra) R 26343 26345 26033 0 -1 4194304 60 0 0 0 0 0 0 0 20 0 1 0 237028606 5382144 45 996147200 4194304 4889804 548682068816 18446744073709551615 255370239731 0 0 4096 0 0 0 0 17 1 0 0
/proc/26345/statm: 1314 45 34 169 0 13 0
[startup+0.160373 s]
/proc/loadavg: 1.92 1.98 1.99 4/74 26345
/proc/meminfo: memFree=1844128/2055912 swapFree=4178528/4192956
[pid=26345] ppid=26343 vsize=5360 CPUtime=0
/proc/26345/stat : 26345 (hydra) S 26343 26345 26033 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 237028606 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26345/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.201381 s]
/proc/loadavg: 1.92 1.98 1.99 4/74 26345
/proc/meminfo: memFree=1844128/2055912 swapFree=4178528/4192956
[pid=26345] ppid=26343 vsize=5360 CPUtime=0
/proc/26345/stat : 26345 (hydra) S 26343 26345 26033 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 237028606 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26345/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.30139 s]
/proc/loadavg: 1.92 1.98 1.99 4/74 26345
/proc/meminfo: memFree=1844128/2055912 swapFree=4178528/4192956
[pid=26345] ppid=26343 vsize=5360 CPUtime=0
/proc/26345/stat : 26345 (hydra) S 26343 26345 26033 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 237028606 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26345/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.701431 s]
/proc/loadavg: 1.92 1.98 1.99 4/74 26345
/proc/meminfo: memFree=1844128/2055912 swapFree=4178528/4192956
[pid=26345] ppid=26343 vsize=5360 CPUtime=0
/proc/26345/stat : 26345 (hydra) S 26343 26345 26033 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 237028606 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26345/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+1.50151 s]
/proc/loadavg: 1.92 1.98 1.99 3/76 26349
/proc/meminfo: memFree=1826960/2055912 swapFree=4178528/4192956
[pid=26345] ppid=26343 vsize=5360 CPUtime=0
/proc/26345/stat : 26345 (hydra) S 26343 26345 26033 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 237028606 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26345/statm: 1340 236 195 169 0 51 0
[pid=26349] ppid=26345 vsize=21392 CPUtime=1.46
/proc/26349/stat : 26349 (xsolve) R 26345 26345 26033 0 -1 4194304 4688 0 0 0 144 2 0 0 25 0 1 0 237028607 21905408 4614 996147200 134512640 135239763 4294956176 18446744073709551615 135096142 0 0 4096 0 0 0 0 17 1 0 0
/proc/26349/statm: 5348 4614 431 177 0 4251 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 26752
[startup+3.10268 s]
/proc/loadavg: 1.92 1.98 1.99 3/84 26361
/proc/meminfo: memFree=1836432/2055912 swapFree=4178528/4192956
[pid=26345] ppid=26343 vsize=5360 CPUtime=1.66
/proc/26345/stat : 26345 (hydra) S 26343 26345 26033 0 -1 4194304 375 5296 0 0 0 0 163 3 18 0 1 0 237028606 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26345/statm: 1340 238 196 169 0 51 0
[pid=26353] ppid=26345 vsize=197024 CPUtime=1.36
/proc/26353/stat : 26353 (java) S 26345 26345 26033 0 -1 0 5007 0 1 0 131 5 0 0 19 0 9 0 237028777 201752576 4201 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26353/statm: 49256 4201 1678 9 0 43839 0
[pid=26353/tid=26354] ppid=26345 vsize=197024 CPUtime=1.05
/proc/26353/task/26354/stat : 26354 (java) R 26345 26345 26033 0 -1 64 2729 0 1 0 103 2 0 0 25 0 9 0 237028779 201752576 4201 996147200 134512640 134550740 4294955968 18446744073709551615 4126440023 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26353/tid=26355] ppid=26345 vsize=197024 CPUtime=0.13
/proc/26353/task/26355/stat : 26355 (java) S 26345 26345 26033 0 -1 64 939 0 0 0 11 2 0 0 16 0 9 0 237028780 201752576 4201 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26353/tid=26356] ppid=26345 vsize=197024 CPUtime=0
/proc/26353/task/26356/stat : 26356 (java) S 26345 26345 26033 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 237028780 201752576 4201 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26353/tid=26357] ppid=26345 vsize=197024 CPUtime=0
/proc/26353/task/26357/stat : 26357 (java) S 26345 26345 26033 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 237028780 201752576 4201 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26353/tid=26358] ppid=26345 vsize=197024 CPUtime=0
/proc/26353/task/26358/stat : 26358 (java) S 26345 26345 26033 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 237028782 201752576 4201 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26353/tid=26359] ppid=26345 vsize=197024 CPUtime=0.15
/proc/26353/task/26359/stat : 26359 (java) S 26345 26345 26033 0 -1 64 614 0 0 0 15 0 0 0 16 0 9 0 237028782 201752576 4201 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26353/tid=26360] ppid=26345 vsize=197024 CPUtime=0
/proc/26353/task/26360/stat : 26360 (java) S 26345 26345 26033 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 237028782 201752576 4201 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26353/tid=26361] ppid=26345 vsize=197024 CPUtime=0
/proc/26353/task/26361/stat : 26361 (java) S 26345 26345 26033 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 237028782 201752576 4201 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.02
Current children cumulated vsize (KiB) 202384
[startup+6.30202 s]
/proc/loadavg: 1.93 1.98 1.99 3/84 26361
/proc/meminfo: memFree=1823504/2055912 swapFree=4178528/4192956
[pid=26345] ppid=26343 vsize=5360 CPUtime=1.66
/proc/26345/stat : 26345 (hydra) S 26343 26345 26033 0 -1 4194304 375 5296 0 0 0 0 163 3 18 0 1 0 237028606 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26345/statm: 1340 238 196 169 0 51 0
[pid=26353] ppid=26345 vsize=197024 CPUtime=4.53
/proc/26353/stat : 26353 (java) S 26345 26345 26033 0 -1 0 9871 0 1 0 440 13 0 0 19 0 9 0 237028777 201752576 8190 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26353/statm: 49256 8190 2540 9 0 43839 0
[pid=26353/tid=26354] ppid=26345 vsize=197024 CPUtime=3.56
/proc/26353/task/26354/stat : 26354 (java) R 26345 26345 26033 0 -1 64 3536 0 1 0 352 4 0 0 25 0 9 0 237028779 201752576 8190 996147200 134512640 134550740 4294955968 18446744073709551615 4126497855 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26353/tid=26355] ppid=26345 vsize=197024 CPUtime=0.76
/proc/26353/task/26355/stat : 26355 (java) S 26345 26345 26033 0 -1 64 4980 0 0 0 68 8 0 0 16 0 9 0 237028780 201752576 8190 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26353/tid=26356] ppid=26345 vsize=197024 CPUtime=0
/proc/26353/task/26356/stat : 26356 (java) S 26345 26345 26033 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 237028780 201752576 8190 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26353/tid=26357] ppid=26345 vsize=197024 CPUtime=0
/proc/26353/task/26357/stat : 26357 (java) S 26345 26345 26033 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 237028780 201752576 8190 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26353/tid=26358] ppid=26345 vsize=197024 CPUtime=0
/proc/26353/task/26358/stat : 26358 (java) S 26345 26345 26033 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 237028782 201752576 8190 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26353/tid=26359] ppid=26345 vsize=197024 CPUtime=0.18
/proc/26353/task/26359/stat : 26359 (java) S 26345 26345 26033 0 -1 64 630 0 0 0 18 0 0 0 16 0 9 0 237028782 201752576 8190 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26353/tid=26360] ppid=26345 vsize=197024 CPUtime=0
/proc/26353/task/26360/stat : 26360 (java) S 26345 26345 26033 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 237028782 201752576 8190 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26353/tid=26361] ppid=26345 vsize=197024 CPUtime=0
/proc/26353/task/26361/stat : 26361 (java) S 26345 26345 26033 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 237028782 201752576 8190 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 202384
[startup+12.7027 s]
/proc/loadavg: 1.93 1.98 1.99 3/87 26364
/proc/meminfo: memFree=1797368/2055912 swapFree=4178528/4192956
[pid=26345] ppid=26343 vsize=5360 CPUtime=1.66
/proc/26345/stat : 26345 (hydra) S 26343 26345 26033 0 -1 4194304 375 5296 0 0 0 0 163 3 18 0 1 0 237028606 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26345/statm: 1340 238 196 169 0 51 0
[pid=26353] ppid=26345 vsize=197348 CPUtime=5.88
/proc/26353/stat : 26353 (java) S 26345 26345 26033 0 -1 0 11434 0 1 0 571 17 0 0 19 0 10 0 237028777 202084352 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26353/statm: 49337 9404 2544 9 0 43920 0
[pid=26363] ppid=26353 vsize=5356 CPUtime=0
/proc/26363/stat : 26363 (mistral) S 26353 26345 26033 0 -1 4194304 293 0 0 0 0 0 0 0 25 0 1 0 237029375 5484544 238 996147200 4194304 4889804 548682068592 18446744073709551615 255372878660 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/26363/statm: 1339 238 198 169 0 50 0
[pid=26364] ppid=26363 vsize=22908 CPUtime=4.94
/proc/26364/stat : 26364 (xsolve) R 26363 26345 26033 0 -1 4194304 5166 0 0 0 492 2 0 0 25 0 1 0 237029376 23457792 4903 996147200 134512640 135239763 4294955968 18446744073709551615 135096156 0 4 0 0 0 0 0 17 1 0 0
/proc/26364/statm: 5727 4903 413 177 0 4630 0
[pid=26353/tid=26354] ppid=26345 vsize=197348 CPUtime=4.69
/proc/26353/task/26354/stat : 26354 (java) S 26345 26345 26033 0 -1 64 3856 0 1 0 464 5 0 0 23 0 10 0 237028779 202084352 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=26353/tid=26355] ppid=26345 vsize=197348 CPUtime=0.94
/proc/26353/task/26355/stat : 26355 (java) S 26345 26345 26033 0 -1 64 6123 0 0 0 84 10 0 0 16 0 10 0 237028780 202084352 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26353/tid=26356] ppid=26345 vsize=197348 CPUtime=0
/proc/26353/task/26356/stat : 26356 (java) S 26345 26345 26033 0 -1 64 10 0 0 0 0 0 0 0 16 0 10 0 237028780 202084352 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26353/tid=26357] ppid=26345 vsize=197348 CPUtime=0
/proc/26353/task/26357/stat : 26357 (java) S 26345 26345 26033 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 237028780 202084352 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26353/tid=26358] ppid=26345 vsize=197348 CPUtime=0
/proc/26353/task/26358/stat : 26358 (java) S 26345 26345 26033 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 237028782 202084352 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26353/tid=26359] ppid=26345 vsize=197348 CPUtime=0.21
/proc/26353/task/26359/stat : 26359 (java) S 26345 26345 26033 0 -1 64 648 0 0 0 21 0 0 0 16 0 10 0 237028782 202084352 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26353/tid=26360] ppid=26345 vsize=197348 CPUtime=0
/proc/26353/task/26360/stat : 26360 (java) S 26345 26345 26033 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 237028782 202084352 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26353/tid=26361] ppid=26345 vsize=197348 CPUtime=0
/proc/26353/task/26361/stat : 26361 (java) S 26345 26345 26033 0 -1 64 12 0 0 0 0 0 0 0 15 0 10 0 237028782 202084352 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26353/tid=26362] ppid=26345 vsize=197348 CPUtime=0
/proc/26353/task/26362/stat : 26362 (java) S 26345 26345 26033 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 237029375 202084352 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.48
Current children cumulated vsize (KiB) 230972
[startup+25.502 s]
/proc/loadavg: 1.95 1.98 1.99 3/87 26364
/proc/meminfo: memFree=1797496/2055912 swapFree=4178528/4192956
[pid=26345] ppid=26343 vsize=5360 CPUtime=1.66
/proc/26345/stat : 26345 (hydra) S 26343 26345 26033 0 -1 4194304 375 5296 0 0 0 0 163 3 18 0 1 0 237028606 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26345/statm: 1340 238 196 169 0 51 0
[pid=26353] ppid=26345 vsize=197348 CPUtime=5.88
/proc/26353/stat : 26353 (java) S 26345 26345 26033 0 -1 0 11434 0 1 0 571 17 0 0 19 0 10 0 237028777 202084352 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26353/statm: 49337 9404 2544 9 0 43920 0
[pid=26363] ppid=26353 vsize=5356 CPUtime=0
/proc/26363/stat : 26363 (mistral) S 26353 26345 26033 0 -1 4194304 293 0 0 0 0 0 0 0 25 0 1 0 237029375 5484544 238 996147200 4194304 4889804 548682068592 18446744073709551615 255372878660 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/26363/statm: 1339 238 198 169 0 50 0
[pid=26364] ppid=26363 vsize=22908 CPUtime=17.61
/proc/26364/stat : 26364 (xsolve) R 26363 26345 26033 0 -1 4194304 5176 0 0 0 1759 2 0 0 25 0 1 0 237029376 23457792 4913 996147200 134512640 135239763 4294955968 18446744073709551615 135095024 0 4 0 0 0 0 0 17 1 0 0
/proc/26364/statm: 5727 4913 413 177 0 4630 0
[pid=26353/tid=26354] ppid=26345 vsize=197348 CPUtime=4.69
/proc/26353/task/26354/stat : 26354 (java) S 26345 26345 26033 0 -1 64 3856 0 1 0 464 5 0 0 23 0 10 0 237028779 202084352 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=26353/tid=26355] ppid=26345 vsize=197348 CPUtime=0.94
/proc/26353/task/26355/stat : 26355 (java) S 26345 26345 26033 0 -1 64 6123 0 0 0 84 10 0 0 16 0 10 0 237028780 202084352 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26353/tid=26356] ppid=26345 vsize=197348 CPUtime=0
/proc/26353/task/26356/stat : 26356 (java) S 26345 26345 26033 0 -1 64 10 0 0 0 0 0 0 0 16 0 10 0 237028780 202084352 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26353/tid=26357] ppid=26345 vsize=197348 CPUtime=0
/proc/26353/task/26357/stat : 26357 (java) S 26345 26345 26033 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 237028780 202084352 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26353/tid=26358] ppid=26345 vsize=197348 CPUtime=0
/proc/26353/task/26358/stat : 26358 (java) S 26345 26345 26033 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 237028782 202084352 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26353/tid=26359] ppid=26345 vsize=197348 CPUtime=0.21
/proc/26353/task/26359/stat : 26359 (java) S 26345 26345 26033 0 -1 64 648 0 0 0 21 0 0 0 16 0 10 0 237028782 202084352 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26353/tid=26360] ppid=26345 vsize=197348 CPUtime=0
/proc/26353/task/26360/stat : 26360 (java) S 26345 26345 26033 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 237028782 202084352 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26353/tid=26361] ppid=26345 vsize=197348 CPUtime=0
/proc/26353/task/26361/stat : 26361 (java) S 26345 26345 26033 0 -1 64 12 0 0 0 0 0 0 0 15 0 10 0 237028782 202084352 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26353/tid=26362] ppid=26345 vsize=197348 CPUtime=0
/proc/26353/task/26362/stat : 26362 (java) S 26345 26345 26033 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 237029375 202084352 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 230972
[startup+51.1027 s]
/proc/loadavg: 1.96 1.98 1.99 3/87 26364
/proc/meminfo: memFree=1797304/2055912 swapFree=4178528/4192956
[pid=26345] ppid=26343 vsize=5360 CPUtime=1.66
################
# More data... #
################
/proc/26353/statm: 49418 9410 2545 9 0 44001 0
[pid=26427] ppid=26353 vsize=5356 CPUtime=0
/proc/26427/stat : 26427 (choco) S 26353 26345 26033 0 -1 4194304 295 0 0 0 0 0 0 0 18 0 1 0 237138806 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 255372878660 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/26427/statm: 1339 238 197 169 0 50 0
[pid=26428] ppid=26427 vsize=655616 CPUtime=660.3
/proc/26428/stat : 26428 (java) S 26427 26345 26033 0 -1 0 17443 0 1 0 65200 830 0 0 18 0 9 0 237138807 671350784 16864 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26428/statm: 163904 16864 1933 9 0 158433 0
[pid=26428/tid=26429] ppid=26427 vsize=655616 CPUtime=659.66
/proc/26428/task/26429/stat : 26429 (java) R 26427 26345 26033 0 -1 64 12315 0 1 0 65140 826 0 0 25 0 9 0 237138808 671350784 16864 996147200 134512640 134550740 4294955936 18446744073709551615 4127249288 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26428/tid=26430] ppid=26427 vsize=655616 CPUtime=0.27
/proc/26428/task/26430/stat : 26430 (java) S 26427 26345 26033 0 -1 64 3919 0 0 0 25 2 0 0 16 0 9 0 237138809 671350784 16864 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26428/tid=26431] ppid=26427 vsize=655616 CPUtime=0
/proc/26428/task/26431/stat : 26431 (java) S 26427 26345 26033 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 237138809 671350784 16864 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26428/tid=26432] ppid=26427 vsize=655616 CPUtime=0
/proc/26428/task/26432/stat : 26432 (java) S 26427 26345 26033 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 237138809 671350784 16864 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26428/tid=26433] ppid=26427 vsize=655616 CPUtime=0
/proc/26428/task/26433/stat : 26433 (java) S 26427 26345 26033 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 237138811 671350784 16864 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26428/tid=26434] ppid=26427 vsize=655616 CPUtime=0.35
/proc/26428/task/26434/stat : 26434 (java) S 26427 26345 26033 0 -1 64 664 0 0 0 34 1 0 0 16 0 9 0 237138811 671350784 16864 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26428/tid=26435] ppid=26427 vsize=655616 CPUtime=0
/proc/26428/task/26435/stat : 26435 (java) S 26427 26345 26033 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 237138812 671350784 16864 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26428/tid=26436] ppid=26427 vsize=655616 CPUtime=0
/proc/26428/task/26436/stat : 26436 (java) S 26427 26345 26033 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 237138812 671350784 16864 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26353/tid=26354] ppid=26345 vsize=197672 CPUtime=1084.52
/proc/26353/task/26354/stat : 26354 (java) S 26345 26345 26033 0 -1 64 3935 5492 1 0 464 5 107975 8 16 0 10 0 237028779 202416128 9410 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=26353/tid=26355] ppid=26345 vsize=197672 CPUtime=1080.77
/proc/26353/task/26355/stat : 26355 (java) S 26345 26345 26033 0 -1 64 6146 5492 0 0 84 10 107975 8 16 0 10 0 237028780 202416128 9410 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26353/tid=26356] ppid=26345 vsize=197672 CPUtime=1079.83
/proc/26353/task/26356/stat : 26356 (java) S 26345 26345 26033 0 -1 64 10 5492 0 0 0 0 107975 8 16 0 10 0 237028780 202416128 9410 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26353/tid=26357] ppid=26345 vsize=197672 CPUtime=1079.83
/proc/26353/task/26357/stat : 26357 (java) S 26345 26345 26033 0 -1 64 5 5492 0 0 0 0 107975 8 16 0 10 0 237028780 202416128 9410 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26353/tid=26358] ppid=26345 vsize=197672 CPUtime=1079.83
/proc/26353/task/26358/stat : 26358 (java) S 26345 26345 26033 0 -1 64 1 5492 0 0 0 0 107975 8 18 0 10 0 237028782 202416128 9410 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26353/tid=26359] ppid=26345 vsize=197672 CPUtime=1080.04
/proc/26353/task/26359/stat : 26359 (java) S 26345 26345 26033 0 -1 64 648 5492 0 0 21 0 107975 8 16 0 10 0 237028782 202416128 9410 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26353/tid=26360] ppid=26345 vsize=197672 CPUtime=1079.83
/proc/26353/task/26360/stat : 26360 (java) S 26345 26345 26033 0 -1 64 1 5492 0 0 0 0 107975 8 19 0 10 0 237028782 202416128 9410 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26353/tid=26361] ppid=26345 vsize=197672 CPUtime=1079.84
/proc/26353/task/26361/stat : 26361 (java) S 26345 26345 26033 0 -1 64 16 5492 0 0 1 0 107975 8 15 0 10 0 237028782 202416128 9410 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26353/tid=26426] ppid=26345 vsize=197672 CPUtime=1079.83
/proc/26353/task/26426/stat : 26426 (java) S 26345 26345 26033 0 -1 64 40 5492 0 0 0 0 107975 8 17 0 10 0 237138806 202416128 9410 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1747.7
Current children cumulated vsize (KiB) 864004
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1836.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/115 26436
/proc/meminfo: memFree=1672784/2055912 swapFree=4178528/4192956
[pid=26345] ppid=26343 vsize=5360 CPUtime=1.66
/proc/26345/stat : 26345 (hydra) S 26343 26345 26033 0 -1 4194304 375 5296 0 0 0 0 163 3 18 0 1 0 237028606 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26345/statm: 1340 238 196 169 0 51 0
[pid=26353] ppid=26345 vsize=197672 CPUtime=1085.74
/proc/26353/stat : 26353 (java) S 26345 26345 26033 0 -1 0 11612 5492 1 0 573 18 107975 8 19 0 10 0 237028777 202416128 9410 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26353/statm: 49418 9410 2545 9 0 44001 0
[pid=26427] ppid=26353 vsize=5356 CPUtime=0
/proc/26427/stat : 26427 (choco) S 26353 26345 26033 0 -1 4194304 295 0 0 0 0 0 0 0 18 0 1 0 237138806 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 255372878660 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/26427/statm: 1339 238 197 169 0 50 0
[pid=26428] ppid=26427 vsize=655616 CPUtime=712.62
/proc/26428/stat : 26428 (java) S 26427 26345 26033 0 -1 0 17456 0 1 0 70367 895 0 0 18 0 9 0 237138807 671350784 16864 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26428/statm: 163904 16864 1933 9 0 158433 0
[pid=26428/tid=26429] ppid=26427 vsize=655616 CPUtime=711.98
/proc/26428/task/26429/stat : 26429 (java) R 26427 26345 26033 0 -1 64 12328 0 1 0 70307 891 0 0 25 0 9 0 237138808 671350784 16864 996147200 134512640 134550740 4294955936 18446744073709551615 4127145453 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26428/tid=26430] ppid=26427 vsize=655616 CPUtime=0.27
/proc/26428/task/26430/stat : 26430 (java) S 26427 26345 26033 0 -1 64 3919 0 0 0 25 2 0 0 16 0 9 0 237138809 671350784 16864 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26428/tid=26431] ppid=26427 vsize=655616 CPUtime=0
/proc/26428/task/26431/stat : 26431 (java) S 26427 26345 26033 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 237138809 671350784 16864 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26428/tid=26432] ppid=26427 vsize=655616 CPUtime=0
/proc/26428/task/26432/stat : 26432 (java) S 26427 26345 26033 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 237138809 671350784 16864 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26428/tid=26433] ppid=26427 vsize=655616 CPUtime=0
/proc/26428/task/26433/stat : 26433 (java) S 26427 26345 26033 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 237138811 671350784 16864 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26428/tid=26434] ppid=26427 vsize=655616 CPUtime=0.35
/proc/26428/task/26434/stat : 26434 (java) S 26427 26345 26033 0 -1 64 664 0 0 0 34 1 0 0 16 0 9 0 237138811 671350784 16864 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26428/tid=26435] ppid=26427 vsize=655616 CPUtime=0
/proc/26428/task/26435/stat : 26435 (java) S 26427 26345 26033 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 237138812 671350784 16864 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26428/tid=26436] ppid=26427 vsize=655616 CPUtime=0
/proc/26428/task/26436/stat : 26436 (java) S 26427 26345 26033 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 237138812 671350784 16864 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26353/tid=26354] ppid=26345 vsize=197672 CPUtime=1084.52
/proc/26353/task/26354/stat : 26354 (java) S 26345 26345 26033 0 -1 64 3935 5492 1 0 464 5 107975 8 16 0 10 0 237028779 202416128 9410 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=26353/tid=26355] ppid=26345 vsize=197672 CPUtime=1080.77
/proc/26353/task/26355/stat : 26355 (java) S 26345 26345 26033 0 -1 64 6146 5492 0 0 84 10 107975 8 16 0 10 0 237028780 202416128 9410 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26353/tid=26356] ppid=26345 vsize=197672 CPUtime=1079.83
/proc/26353/task/26356/stat : 26356 (java) S 26345 26345 26033 0 -1 64 10 5492 0 0 0 0 107975 8 16 0 10 0 237028780 202416128 9410 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26353/tid=26357] ppid=26345 vsize=197672 CPUtime=1079.83
/proc/26353/task/26357/stat : 26357 (java) S 26345 26345 26033 0 -1 64 5 5492 0 0 0 0 107975 8 16 0 10 0 237028780 202416128 9410 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26353/tid=26358] ppid=26345 vsize=197672 CPUtime=1079.83
/proc/26353/task/26358/stat : 26358 (java) S 26345 26345 26033 0 -1 64 1 5492 0 0 0 0 107975 8 18 0 10 0 237028782 202416128 9410 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26353/tid=26359] ppid=26345 vsize=197672 CPUtime=1080.04
/proc/26353/task/26359/stat : 26359 (java) S 26345 26345 26033 0 -1 64 648 5492 0 0 21 0 107975 8 16 0 10 0 237028782 202416128 9410 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26353/tid=26360] ppid=26345 vsize=197672 CPUtime=1079.83
/proc/26353/task/26360/stat : 26360 (java) S 26345 26345 26033 0 -1 64 1 5492 0 0 0 0 107975 8 19 0 10 0 237028782 202416128 9410 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26353/tid=26361] ppid=26345 vsize=197672 CPUtime=1079.84
/proc/26353/task/26361/stat : 26361 (java) S 26345 26345 26033 0 -1 64 16 5492 0 0 1 0 107975 8 15 0 10 0 237028782 202416128 9410 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26353/tid=26426] ppid=26345 vsize=197672 CPUtime=1079.83
/proc/26353/task/26426/stat : 26426 (java) S 26345 26345 26033 0 -1 64 40 5492 0 0 0 0 107975 8 17 0 10 0 237138806 202416128 9410 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 864004
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1836.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/115 26436
/proc/meminfo: memFree=1672784/2055912 swapFree=4178528/4192956
[pid=26345] ppid=26343 vsize=5360 CPUtime=1.66
/proc/26345/stat : 26345 (hydra) S 26343 26345 26033 0 -1 4194304 375 5296 0 0 0 0 163 3 18 0 1 0 237028606 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26345/statm: 1340 238 196 169 0 51 0
[pid=26353] ppid=26345 vsize=197672 CPUtime=1085.74
/proc/26353/stat : 26353 (java) S 26345 26345 26033 0 -1 0 11612 5492 1 0 573 18 107975 8 19 0 10 0 237028777 202416128 9410 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26353/statm: 49418 9410 2545 9 0 44001 0
[pid=26427] ppid=26353 vsize=5356 CPUtime=0
/proc/26427/stat : 26427 (choco) S 26353 26345 26033 0 -1 4194304 295 0 0 0 0 0 0 0 18 0 1 0 237138806 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 255372878660 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/26427/statm: 1339 238 197 169 0 50 0
[pid=26428] ppid=26427 vsize=655616 CPUtime=712.62
/proc/26428/stat : 26428 (java) S 26427 26345 26033 0 -1 0 17456 0 1 0 70367 895 0 0 18 0 9 0 237138807 671350784 16864 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26428/statm: 163904 16864 1933 9 0 158433 0
[pid=26428/tid=26429] ppid=26427 vsize=655616 CPUtime=711.98
/proc/26428/task/26429/stat : 26429 (java) R 26427 26345 26033 0 -1 64 12328 0 1 0 70307 891 0 0 25 0 9 0 237138808 671350784 16864 996147200 134512640 134550740 4294955936 18446744073709551615 4127145453 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26428/tid=26430] ppid=26427 vsize=655616 CPUtime=0.27
/proc/26428/task/26430/stat : 26430 (java) S 26427 26345 26033 0 -1 64 3919 0 0 0 25 2 0 0 16 0 9 0 237138809 671350784 16864 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26428/tid=26431] ppid=26427 vsize=655616 CPUtime=0
/proc/26428/task/26431/stat : 26431 (java) S 26427 26345 26033 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 237138809 671350784 16864 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26428/tid=26432] ppid=26427 vsize=655616 CPUtime=0
/proc/26428/task/26432/stat : 26432 (java) S 26427 26345 26033 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 237138809 671350784 16864 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26428/tid=26433] ppid=26427 vsize=655616 CPUtime=0
/proc/26428/task/26433/stat : 26433 (java) S 26427 26345 26033 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 237138811 671350784 16864 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26428/tid=26434] ppid=26427 vsize=655616 CPUtime=0.35
/proc/26428/task/26434/stat : 26434 (java) S 26427 26345 26033 0 -1 64 664 0 0 0 34 1 0 0 16 0 9 0 237138811 671350784 16864 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26428/tid=26435] ppid=26427 vsize=655616 CPUtime=0
/proc/26428/task/26435/stat : 26435 (java) S 26427 26345 26033 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 237138812 671350784 16864 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26428/tid=26436] ppid=26427 vsize=655616 CPUtime=0
/proc/26428/task/26436/stat : 26436 (java) S 26427 26345 26033 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 237138812 671350784 16864 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26353/tid=26354] ppid=26345 vsize=197672 CPUtime=1084.52
/proc/26353/task/26354/stat : 26354 (java) S 26345 26345 26033 0 -1 64 3935 5492 1 0 464 5 107975 8 16 0 10 0 237028779 202416128 9410 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=26353/tid=26355] ppid=26345 vsize=197672 CPUtime=1080.77
/proc/26353/task/26355/stat : 26355 (java) S 26345 26345 26033 0 -1 64 6146 5492 0 0 84 10 107975 8 16 0 10 0 237028780 202416128 9410 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26353/tid=26356] ppid=26345 vsize=197672 CPUtime=1079.83
/proc/26353/task/26356/stat : 26356 (java) S 26345 26345 26033 0 -1 64 10 5492 0 0 0 0 107975 8 16 0 10 0 237028780 202416128 9410 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26353/tid=26357] ppid=26345 vsize=197672 CPUtime=1079.83
/proc/26353/task/26357/stat : 26357 (java) S 26345 26345 26033 0 -1 64 5 5492 0 0 0 0 107975 8 16 0 10 0 237028780 202416128 9410 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26353/tid=26358] ppid=26345 vsize=197672 CPUtime=1079.83
/proc/26353/task/26358/stat : 26358 (java) S 26345 26345 26033 0 -1 64 1 5492 0 0 0 0 107975 8 18 0 10 0 237028782 202416128 9410 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26353/tid=26359] ppid=26345 vsize=197672 CPUtime=1080.04
/proc/26353/task/26359/stat : 26359 (java) S 26345 26345 26033 0 -1 64 648 5492 0 0 21 0 107975 8 16 0 10 0 237028782 202416128 9410 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26353/tid=26360] ppid=26345 vsize=197672 CPUtime=1079.83
/proc/26353/task/26360/stat : 26360 (java) S 26345 26345 26033 0 -1 64 1 5492 0 0 0 0 107975 8 19 0 10 0 237028782 202416128 9410 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26353/tid=26361] ppid=26345 vsize=197672 CPUtime=1079.84
/proc/26353/task/26361/stat : 26361 (java) S 26345 26345 26033 0 -1 64 16 5492 0 0 1 0 107975 8 15 0 10 0 237028782 202416128 9410 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26353/tid=26426] ppid=26345 vsize=197672 CPUtime=1079.83
/proc/26353/task/26426/stat : 26426 (java) S 26345 26345 26033 0 -1 64 40 5492 0 0 0 0 107975 8 17 0 10 0 237138806 202416128 9410 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 864004
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 26345 and gives
# childrusage.ru_utime.tv_sec=1
# childrusage.ru_utime.tv_usec=642750
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=35994
# CPU time returned by wait4() is 1.67874
# while last known CPU time is 1800.02
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1836.24
CPU time (s): 1800.02
CPU user time (s): 1790.78
CPU system time (s): 9.24
CPU usage (%): 98.0277
Max. virtual memory (cumulated for all children) (KiB): 864004
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.64275
system time used= 0.035994
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5671
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 32
involuntary context switches= 46
runsolver used 3.9654 second user time and 12.3651 second system time
The end