0.00/0.00 c cpHydra_k_10 version 0.0
7.58/7.74 c CASE TO CLASSIFY:
7.58/7.74 c Case: 0
7.58/7.74 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.439000 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.835000 | c 14 > 12.326700 | c 11 > 4.321930 | c 12 > 11.790000 | c 21 > 4.472140 | c 20 > 0.000000 | c 22 > 4.472140 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 5.857980 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 8.643860 | c 31 > -1.000000 | c 4 > 4.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.58/7.75 c choco : 1801.0
7.58/7.75 c mistral : 1801.0
7.58/7.75 c abscon : 1801.0
7.58/7.75 c
7.58/7.75 c
7.67/7.83 c List of same ones: 10
7.67/7.83 c /home/eomahony/cpZilla/CSP/random/rand-3-20-20-fcd/rand-3-20-20-60-632-fcd-31_ext.xml
7.67/7.83 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.331900 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.844300 | c 14 > 12.314300 | c 11 > 4.321930 | c 12 > 11.772300 | c 21 > 4.472140 | c 20 > 0.000000 | c 22 > 4.472140 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 5.882640 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 8.643860 | c 31 > -1.000000 | c 4 > 4.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.67/7.84 c choco : 1801.0
7.67/7.84 c mistral : 43.0794
7.67/7.84 c abscon : 20.8628
7.67/7.84 c
7.67/7.84 c
7.67/7.84 c /home/eomahony/cpZilla/CSP/random/rand-3-20-20/rand-3-20-20-60-632-31_ext.xml
7.67/7.84 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.351100 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.869200 | c 14 > 12.396100 | c 11 > 4.321930 | c 12 > 11.818300 | c 21 > 4.472140 | c 20 > 0.000000 | c 22 > 4.472140 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 5.882640 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 8.643860 | c 31 > -1.000000 | c 4 > 4.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.67/7.84 c choco : 1801.0
7.67/7.84 c mistral : 62.89
7.67/7.84 c abscon : 215.477
7.67/7.84 c
7.67/7.84 c
7.67/7.84 c /home/eomahony/cpZilla/CSP/random/rand-3-20-20-fcd/rand-3-20-20-60-632-fcd-23_ext.xml
7.67/7.84 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.312100 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.749000 | c 14 > 12.363300 | c 11 > 4.321930 | c 12 > 11.725900 | c 21 > 4.472140 | c 20 > 0.000000 | c 22 > 4.472140 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 5.832890 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 8.643860 | c 31 > -1.000000 | c 4 > 4.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.67/7.85 c choco : 1801.0
7.67/7.85 c mistral : 7.30789
7.67/7.85 c abscon : 36.7414
7.67/7.85 c
7.67/7.85 c
7.67/7.85 c /home/eomahony/cpZilla/CSP/random/rand-3-20-20-fcd/rand-3-20-20-60-632-fcd-35_ext.xml
7.67/7.85 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.301100 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.880100 | c 14 > 12.414700 | c 11 > 4.321930 | c 12 > 11.695600 | c 21 > 4.472140 | c 20 > 0.000000 | c 22 > 4.472140 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 5.832890 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 8.643860 | c 31 > -1.000000 | c 4 > 4.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.67/7.86 c choco : 1801.0
7.67/7.86 c mistral : 7.55985
7.67/7.86 c abscon : 24.3843
7.67/7.86 c
7.67/7.86 c
7.67/7.86 c /home/eomahony/cpZilla/CSP/random/rand-3-20-20/rand-3-20-20-60-632-25_ext.xml
7.67/7.86 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.364500 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.821400 | c 14 > 12.166200 | c 11 > 4.321930 | c 12 > 11.683300 | c 21 > 4.472140 | c 20 > 0.000000 | c 22 > 4.472140 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 5.882640 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 8.643860 | c 31 > -1.000000 | c 4 > 4.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.67/7.87 c choco : 1801.0
7.67/7.87 c mistral : 25.86
7.67/7.87 c abscon : 86.6928
7.67/7.87 c
7.67/7.87 c
7.67/7.87 c /home/eomahony/cpZilla/CSP/random/rand-3-20-20-fcd/rand-3-20-20-60-632-fcd-15_ext.xml
7.67/7.87 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.318100 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.678200 | c 14 > 12.199700 | c 11 > 4.321930 | c 12 > 11.664500 | c 21 > 4.472140 | c 20 > 0.000000 | c 22 > 4.472140 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 5.857980 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 8.643860 | c 31 > -1.000000 | c 4 > 4.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.67/7.88 c choco : 82.48
7.67/7.88 c mistral : 5.65514
7.67/7.88 c abscon : 34.5348
7.67/7.88 c
7.67/7.88 c
7.67/7.88 c /home/eomahony/cpZilla/CSP/random/rand-3-20-20/rand-3-20-20-60-632-15_ext.xml
7.67/7.88 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.289700 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.862600 | c 14 > 12.162100 | c 11 > 4.321930 | c 12 > 11.961800 | c 21 > 4.472140 | c 20 > 0.000000 | c 22 > 4.472140 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 5.857980 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 8.643860 | c 31 > -1.000000 | c 4 > 4.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.67/7.89 c choco : 1801.0
7.67/7.89 c mistral : 5.62414
7.67/7.89 c abscon : 23.8904
7.67/7.89 c
7.67/7.89 c
7.67/7.89 c /home/eomahony/cpZilla/CSP/random/rand-3-20-20/rand-3-20-20-60-632-3_ext.xml
7.67/7.89 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.286000 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.771900 | c 14 > 12.343200 | c 11 > 4.321930 | c 12 > 11.552200 | c 21 > 4.472140 | c 20 > 0.000000 | c 22 > 4.472140 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 5.882640 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 8.643860 | c 31 > -1.000000 | c 4 > 4.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.67/7.90 c choco : 1801.0
7.67/7.90 c mistral : 90.37
7.67/7.90 c abscon : 260.024
7.67/7.90 c
7.67/7.90 c
7.76/7.90 c /home/eomahony/cpZilla/CSP/random/rand-3-20-20-fcd/rand-3-20-20-60-632-fcd-13_ext.xml
7.76/7.90 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.438200 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.691600 | c 14 > 12.347900 | c 11 > 4.321930 | c 12 > 11.522400 | c 21 > 4.472140 | c 20 > 0.000000 | c 22 > 4.472140 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 5.857980 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 8.643860 | c 31 > -1.000000 | c 4 > 4.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.76/7.91 c choco : 1801.0
7.76/7.91 c mistral : 40.83
7.76/7.91 c abscon : 38.2792
7.76/7.91 c
7.76/7.91 c
7.76/7.91 c /home/eomahony/cpZilla/CSP/random/rand-3-20-20-fcd/rand-3-20-20-60-632-fcd-11_ext.xml
7.76/7.91 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.410300 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.627600 | c 14 > 12.334300 | c 11 > 4.321930 | c 12 > 11.551800 | c 21 > 4.472140 | c 20 > 0.000000 | c 22 > 4.472140 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 5.906890 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 8.643860 | c 31 > -1.000000 | c 4 > 4.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.76/7.92 c choco : 1801.0
7.76/7.92 c mistral : 4.6253
7.76/7.92 c abscon : 41.7786
7.76/7.92 c
7.76/7.92 c
7.94/8.12 c Length: 10
7.94/8.12 c 0.11239246238071221 0.12296916524072274 0.17198106901633048 0.19579399403454417 0.208538882705361 0.2666126403605046 0.282242183239856 0.2912384171087318 0.304340927251003 0.3209791863968756
7.94/8.12 c
7.94/8.12 c 1.0 0.9517405663400842 0.7777998203981243 0.7143668279997801 0.6844897835690656 0.5749249059724022 0.5511803285354603 0.5383818543450504 0.5207700342036481 0.5
7.94/8.12 c
7.94/8.12 c solver 0
7.94/8.12 c before 0.0 seconds: {} 0
7.94/8.12 c before 36.0 seconds: {0, 3, 5, 6} 2840
7.94/8.12 c before 54.0 seconds: {0, 2, 3, 5, 6, 8, 9} 4639
7.94/8.12 c before 90.0 seconds: {0, 2, 3, 4, 5, 6, 8, 9} 5323
7.94/8.12 c before 216.0 seconds: {0, 1, 2, 3, 4, 5, 6, 8, 9} 6275
7.94/8.12 c before 270.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6813
7.94/8.12 c
7.94/8.12 c solver 1
7.94/8.12 c before 0.0 seconds: {} 0
7.94/8.12 c before 18.0 seconds: {2, 3, 5, 6, 9} 3118
7.94/8.12 c before 36.0 seconds: {2, 3, 4, 5, 6, 9} 3802
7.94/8.12 c before 54.0 seconds: {0, 2, 3, 4, 5, 6, 8, 9} 5323
7.94/8.12 c before 72.0 seconds: {0, 1, 2, 3, 4, 5, 6, 8, 9} 6275
7.94/8.12 c before 108.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6813
7.94/8.12 c
7.94/8.12 c solver 2
7.94/8.12 c before 0.0 seconds: {} 0
7.94/8.12 c before 90.0 seconds: {5} 574
7.94/8.12 c
7.94/8.12 cTotal time: 26
7.94/8.12 c 468.0 seconds unused
7.94/8.12 c 0 c 0 c 9
7.94/8.12 c 0 c 0 c 9
7.94/8.12 c 0 c 0 c 0
7.94/8.12 c is solver0 dominated by:
7.94/8.12 c solver 1 (0 solves instances that 1 can't: false) (1 doesn't solve instances that 0 can't: true) (0 is faster than 1: false) (0 is equally as fast as 1: false) (0 < 1: false)
7.94/8.12 c is dominated? true
7.94/8.12 c
7.94/8.12 c is solver1 dominated by:
7.94/8.12 c solver 0 (1 solves instances that 0 can't: false) (0 doesn't solve instances that 1 can't: true) (1 is faster than 0: true) (1 is equally as fast as 0: false) (1 < 0: true)
7.94/8.12 c solver 2 (1 solves instances that 2 can't: true) (2 doesn't solve instances that 1 can't: true) (1 is faster than 2: false) (1 is equally as fast as 2: false) (1 < 2: false)
7.94/8.12 c is dominated? false
7.94/8.12 c
7.94/8.12 c is solver2 dominated by:
7.94/8.12 c solver 0 (2 solves instances that 0 can't: false) (0 doesn't solve instances that 2 can't: false) (2 is faster than 0: true) (2 is equally as fast as 0: false) (2 < 0: true)
7.94/8.12 c is dominated? true
7.94/8.12 c
7.94/8.12 c Number of non-dominated solvers: 1
7.94/8.12 c remove dominated solvers
7.94/8.12 c solver 1 is not dominated by another solver
7.94/8.13 c solver 2 is dominated by another solver
7.94/8.13 c solver 0 is dominated by another solver
7.94/8.13 c
7.94/8.13 c solver 0: 0.0
7.94/8.13 c
7.94/8.13 c solver 1: 108.0
7.94/8.13 c
7.94/8.13 c+ 6/6 of 94
7.94/8.13 c
7.94/8.13 c solver 2: 0.0
7.94/8.13 c do not run abscon
7.94/8.13 c run mistral for 1800.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6813
7.94/8.13 c do not run choco
7.94/8.13 c Starting solver: HOME/cpHydra_k_10/solver/mistral
7.94/8.13 c On Instance: HOME/instance-1078180-1215205829.xml
7.94/8.13 c Running for: 1800 seconds
17.84/18.16 c mistral-prime version 1.313
17.84/18.16 s SATISFIABLE
17.84/18.16 v 1 12 3 7 5 0 19 10 4 0 17 17 5 6 8 6 7 12 9 14
17.84/18.16 d CHECKS 4712379
17.84/18.16 d ASSIGNMENTS 37101
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1078180-1215205829/watcher-1078180-1215205829 -o /tmp/evaluation-result-1078180-1215205829/solver-1078180-1215205829 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1078180-1215205829.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.93 1.98 1.99 4/73 23314
/proc/meminfo: memFree=1690384/2055920 swapFree=4112616/4192956
[pid=23314] ppid=23312 vsize=18572 CPUtime=0
/proc/23314/stat : 23314 (runsolver) R 23312 23314 21923 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 1550253339 19017728 292 996147200 4194304 4296836 548682068480 18446744073709551615 266890439975 0 0 4096 24578 0 0 0 17 1 0 0
/proc/23314/statm: 4643 292 257 25 0 2626 0
[startup+0.054903 s]
/proc/loadavg: 1.93 1.98 1.99 4/73 23314
/proc/meminfo: memFree=1690384/2055920 swapFree=4112616/4192956
[pid=23314] ppid=23312 vsize=5360 CPUtime=0
/proc/23314/stat : 23314 (hydra) S 23312 23314 21923 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1550253339 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23314/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.101903 s]
/proc/loadavg: 1.93 1.98 1.99 4/73 23314
/proc/meminfo: memFree=1690384/2055920 swapFree=4112616/4192956
[pid=23314] ppid=23312 vsize=5360 CPUtime=0
/proc/23314/stat : 23314 (hydra) S 23312 23314 21923 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1550253339 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23314/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.301926 s]
/proc/loadavg: 1.93 1.98 1.99 4/73 23314
/proc/meminfo: memFree=1690384/2055920 swapFree=4112616/4192956
[pid=23314] ppid=23312 vsize=5360 CPUtime=0
/proc/23314/stat : 23314 (hydra) S 23312 23314 21923 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1550253339 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23314/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.701967 s]
/proc/loadavg: 1.93 1.98 1.99 4/73 23314
/proc/meminfo: memFree=1690384/2055920 swapFree=4112616/4192956
[pid=23314] ppid=23312 vsize=5360 CPUtime=0
/proc/23314/stat : 23314 (hydra) S 23312 23314 21923 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1550253339 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23314/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+1.50106 s]
/proc/loadavg: 1.94 1.98 1.99 3/75 23318
/proc/meminfo: memFree=1686400/2055920 swapFree=4112616/4192956
[pid=23314] ppid=23312 vsize=5360 CPUtime=0
/proc/23314/stat : 23314 (hydra) S 23312 23314 21923 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1550253339 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23314/statm: 1340 236 195 169 0 51 0
[pid=23318] ppid=23314 vsize=8040 CPUtime=1.47
/proc/23318/stat : 23318 (xsolve) R 23314 23314 21923 0 -1 4194304 1375 0 0 0 146 1 0 0 25 0 1 0 1550253340 8232960 1334 996147200 134512640 135239763 4294956176 18446744073709551615 134820386 0 0 4096 0 0 0 0 17 1 0 0
/proc/23318/statm: 2010 1334 412 177 0 913 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 13400
[startup+3.10224 s]
/proc/loadavg: 1.94 1.98 1.99 4/83 23330
/proc/meminfo: memFree=1684096/2055920 swapFree=4112616/4192956
[pid=23314] ppid=23312 vsize=5360 CPUtime=1.65
/proc/23314/stat : 23314 (hydra) S 23312 23314 21923 0 -1 4194304 375 1972 0 0 0 0 163 2 18 0 1 0 1550253339 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23314/statm: 1340 238 196 169 0 51 0
[pid=23322] ppid=23314 vsize=197104 CPUtime=1.38
/proc/23322/stat : 23322 (java) S 23314 23314 21923 0 -1 0 4826 0 1 0 133 5 0 0 18 0 9 0 1550253506 201834496 4060 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23322/statm: 49276 4060 1677 9 0 43859 0
[pid=23322/tid=23323] ppid=23314 vsize=197104 CPUtime=1.11
/proc/23322/task/23323/stat : 23323 (java) R 23314 23314 21923 0 -1 64 2692 0 1 0 109 2 0 0 25 0 9 0 1550253507 201834496 4060 996147200 134512640 134550740 4294955968 18446744073709551615 4126482983 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23322/tid=23324] ppid=23314 vsize=197104 CPUtime=0.1
/proc/23322/task/23324/stat : 23324 (java) S 23314 23314 21923 0 -1 64 805 0 0 0 9 1 0 0 16 0 9 0 1550253509 201834496 4060 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=23322/tid=23325] ppid=23314 vsize=197104 CPUtime=0
/proc/23322/task/23325/stat : 23325 (java) S 23314 23314 21923 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1550253509 201834496 4060 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23322/tid=23326] ppid=23314 vsize=197104 CPUtime=0
/proc/23322/task/23326/stat : 23326 (java) S 23314 23314 21923 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1550253509 201834496 4060 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23322/tid=23327] ppid=23314 vsize=197104 CPUtime=0
/proc/23322/task/23327/stat : 23327 (java) S 23314 23314 21923 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 1550253511 201834496 4060 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23322/tid=23328] ppid=23314 vsize=197104 CPUtime=0.13
/proc/23322/task/23328/stat : 23328 (java) S 23314 23314 21923 0 -1 64 604 0 0 0 13 0 0 0 16 0 9 0 1550253511 201834496 4060 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23322/tid=23329] ppid=23314 vsize=197104 CPUtime=0
/proc/23322/task/23329/stat : 23329 (java) S 23314 23314 21923 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1550253511 201834496 4060 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23322/tid=23330] ppid=23314 vsize=197104 CPUtime=0
/proc/23322/task/23330/stat : 23330 (java) S 23314 23314 21923 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1550253511 201834496 4060 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.03
Current children cumulated vsize (KiB) 202464
[startup+6.302 s]
/proc/loadavg: 1.94 1.98 1.99 3/83 23330
/proc/meminfo: memFree=1671488/2055920 swapFree=4112616/4192956
[pid=23314] ppid=23312 vsize=5360 CPUtime=1.65
/proc/23314/stat : 23314 (hydra) S 23312 23314 21923 0 -1 4194304 375 1972 0 0 0 0 163 2 18 0 1 0 1550253339 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23314/statm: 1340 238 196 169 0 51 0
[pid=23322] ppid=23314 vsize=197104 CPUtime=4.54
/proc/23322/stat : 23322 (java) S 23314 23314 21923 0 -1 0 9606 0 1 0 439 15 0 0 18 0 9 0 1550253506 201834496 7961 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23322/statm: 49276 7961 2540 9 0 43859 0
[pid=23322/tid=23323] ppid=23314 vsize=197104 CPUtime=3.61
/proc/23322/task/23323/stat : 23323 (java) R 23314 23314 21923 0 -1 64 3487 0 1 0 356 5 0 0 25 0 9 0 1550253507 201834496 7961 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23322/tid=23324] ppid=23314 vsize=197104 CPUtime=0.73
/proc/23322/task/23324/stat : 23324 (java) S 23314 23314 21923 0 -1 64 4766 0 0 0 65 8 0 0 15 0 9 0 1550253509 201834496 7961 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=23322/tid=23325] ppid=23314 vsize=197104 CPUtime=0
/proc/23322/task/23325/stat : 23325 (java) S 23314 23314 21923 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1550253509 201834496 7961 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23322/tid=23326] ppid=23314 vsize=197104 CPUtime=0
/proc/23322/task/23326/stat : 23326 (java) S 23314 23314 21923 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1550253509 201834496 7961 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23322/tid=23327] ppid=23314 vsize=197104 CPUtime=0
/proc/23322/task/23327/stat : 23327 (java) S 23314 23314 21923 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 1550253511 201834496 7961 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23322/tid=23328] ppid=23314 vsize=197104 CPUtime=0.17
/proc/23322/task/23328/stat : 23328 (java) S 23314 23314 21923 0 -1 64 628 0 0 0 17 0 0 0 16 0 9 0 1550253511 201834496 7961 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23322/tid=23329] ppid=23314 vsize=197104 CPUtime=0
/proc/23322/task/23329/stat : 23329 (java) S 23314 23314 21923 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1550253511 201834496 7961 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23322/tid=23330] ppid=23314 vsize=197104 CPUtime=0
/proc/23322/task/23330/stat : 23330 (java) S 23314 23314 21923 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1550253511 201834496 7961 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) 202464
[startup+12.7023 s]
/proc/loadavg: 1.95 1.98 1.99 3/86 23333
/proc/meminfo: memFree=1658088/2055920 swapFree=4112616/4192956
[pid=23314] ppid=23312 vsize=5360 CPUtime=1.65
/proc/23314/stat : 23314 (hydra) S 23312 23314 21923 0 -1 4194304 375 1972 0 0 0 0 163 2 18 0 1 0 1550253339 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23314/statm: 1340 238 196 169 0 51 0
[pid=23322] ppid=23314 vsize=197428 CPUtime=6.33
/proc/23322/stat : 23322 (java) S 23314 23314 21923 0 -1 0 13852 0 1 0 611 22 0 0 18 0 10 0 1550253506 202166272 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23322/statm: 49357 9394 2543 9 0 43940 0
[pid=23332] ppid=23322 vsize=5356 CPUtime=0
/proc/23332/stat : 23332 (mistral) S 23322 23314 21923 0 -1 4194304 292 0 0 0 0 0 0 0 25 0 1 0 1550254152 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 266890437444 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/23332/statm: 1339 236 196 169 0 50 0
[pid=23333] ppid=23332 vsize=8040 CPUtime=4.51
/proc/23333/stat : 23333 (xsolve) R 23332 23314 21923 0 -1 4194304 1351 0 0 0 450 1 0 0 25 0 1 0 1550254153 8232960 1315 996147200 134512640 135239763 4294955952 18446744073709551615 134819972 0 4 0 0 0 0 0 17 1 0 0
/proc/23333/statm: 2010 1315 393 177 0 913 0
[pid=23322/tid=23323] ppid=23314 vsize=197428 CPUtime=4.95
/proc/23322/task/23323/stat : 23323 (java) S 23314 23314 21923 0 -1 64 3857 0 1 0 488 7 0 0 24 0 10 0 1550253507 202166272 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=23322/tid=23324] ppid=23314 vsize=197428 CPUtime=1.13
/proc/23322/task/23324/stat : 23324 (java) S 23314 23314 21923 0 -1 64 8539 0 0 0 101 12 0 0 16 0 10 0 1550253509 202166272 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=23322/tid=23325] ppid=23314 vsize=197428 CPUtime=0
/proc/23322/task/23325/stat : 23325 (java) S 23314 23314 21923 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1550253509 202166272 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23322/tid=23326] ppid=23314 vsize=197428 CPUtime=0
/proc/23322/task/23326/stat : 23326 (java) S 23314 23314 21923 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1550253509 202166272 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23322/tid=23327] ppid=23314 vsize=197428 CPUtime=0
/proc/23322/task/23327/stat : 23327 (java) S 23314 23314 21923 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 1550253511 202166272 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23322/tid=23328] ppid=23314 vsize=197428 CPUtime=0.2
/proc/23322/task/23328/stat : 23328 (java) S 23314 23314 21923 0 -1 64 646 0 0 0 20 0 0 0 16 0 10 0 1550253511 202166272 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23322/tid=23329] ppid=23314 vsize=197428 CPUtime=0
/proc/23322/task/23329/stat : 23329 (java) S 23314 23314 21923 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1550253511 202166272 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23322/tid=23330] ppid=23314 vsize=197428 CPUtime=0
/proc/23322/task/23330/stat : 23330 (java) S 23314 23314 21923 0 -1 64 13 0 0 0 0 0 0 0 15 0 10 0 1550253511 202166272 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23322/tid=23331] ppid=23314 vsize=197428 CPUtime=0
/proc/23322/task/23331/stat : 23331 (java) S 23314 23314 21923 0 -1 64 73 0 0 0 0 0 0 0 25 0 10 0 1550254152 202166272 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.49
Current children cumulated vsize (KiB) 216184
Solver just ended. Dumping a history of the last processes samples
[startup+15.9027 s]
/proc/loadavg: 1.95 1.98 1.99 3/86 23333
/proc/meminfo: memFree=1658152/2055920 swapFree=4112616/4192956
[pid=23314] ppid=23312 vsize=5360 CPUtime=1.65
/proc/23314/stat : 23314 (hydra) S 23312 23314 21923 0 -1 4194304 375 1972 0 0 0 0 163 2 18 0 1 0 1550253339 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23314/statm: 1340 238 196 169 0 51 0
[pid=23322] ppid=23314 vsize=197428 CPUtime=6.33
/proc/23322/stat : 23322 (java) S 23314 23314 21923 0 -1 0 13852 0 1 0 611 22 0 0 18 0 10 0 1550253506 202166272 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23322/statm: 49357 9394 2543 9 0 43940 0
[pid=23332] ppid=23322 vsize=5356 CPUtime=0
/proc/23332/stat : 23332 (mistral) S 23322 23314 21923 0 -1 4194304 292 0 0 0 0 0 0 0 25 0 1 0 1550254152 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 266890437444 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/23332/statm: 1339 236 196 169 0 50 0
[pid=23333] ppid=23332 vsize=8040 CPUtime=7.68
/proc/23333/stat : 23333 (xsolve) R 23332 23314 21923 0 -1 4194304 1351 0 0 0 767 1 0 0 25 0 1 0 1550254153 8232960 1315 996147200 134512640 135239763 4294955952 18446744073709551615 134789397 0 4 0 0 0 0 0 17 1 0 0
/proc/23333/statm: 2010 1315 393 177 0 913 0
[pid=23322/tid=23323] ppid=23314 vsize=197428 CPUtime=4.95
/proc/23322/task/23323/stat : 23323 (java) S 23314 23314 21923 0 -1 64 3857 0 1 0 488 7 0 0 24 0 10 0 1550253507 202166272 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=23322/tid=23324] ppid=23314 vsize=197428 CPUtime=1.13
/proc/23322/task/23324/stat : 23324 (java) S 23314 23314 21923 0 -1 64 8539 0 0 0 101 12 0 0 16 0 10 0 1550253509 202166272 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=23322/tid=23325] ppid=23314 vsize=197428 CPUtime=0
/proc/23322/task/23325/stat : 23325 (java) S 23314 23314 21923 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1550253509 202166272 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23322/tid=23326] ppid=23314 vsize=197428 CPUtime=0
/proc/23322/task/23326/stat : 23326 (java) S 23314 23314 21923 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1550253509 202166272 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23322/tid=23327] ppid=23314 vsize=197428 CPUtime=0
/proc/23322/task/23327/stat : 23327 (java) S 23314 23314 21923 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 1550253511 202166272 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23322/tid=23328] ppid=23314 vsize=197428 CPUtime=0.2
/proc/23322/task/23328/stat : 23328 (java) S 23314 23314 21923 0 -1 64 646 0 0 0 20 0 0 0 16 0 10 0 1550253511 202166272 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23322/tid=23329] ppid=23314 vsize=197428 CPUtime=0
/proc/23322/task/23329/stat : 23329 (java) S 23314 23314 21923 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1550253511 202166272 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23322/tid=23330] ppid=23314 vsize=197428 CPUtime=0
/proc/23322/task/23330/stat : 23330 (java) S 23314 23314 21923 0 -1 64 13 0 0 0 0 0 0 0 15 0 10 0 1550253511 202166272 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23322/tid=23331] ppid=23314 vsize=197428 CPUtime=0
/proc/23322/task/23331/stat : 23331 (java) S 23314 23314 21923 0 -1 64 73 0 0 0 0 0 0 0 25 0 10 0 1550254152 202166272 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 15.66
Current children cumulated vsize (KiB) 216184
[startup+17.5029 s]
/proc/loadavg: 1.95 1.98 1.99 3/86 23333
/proc/meminfo: memFree=1658152/2055920 swapFree=4112616/4192956
[pid=23314] ppid=23312 vsize=5360 CPUtime=1.65
/proc/23314/stat : 23314 (hydra) S 23312 23314 21923 0 -1 4194304 375 1972 0 0 0 0 163 2 18 0 1 0 1550253339 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23314/statm: 1340 238 196 169 0 51 0
[pid=23322] ppid=23314 vsize=197428 CPUtime=6.33
/proc/23322/stat : 23322 (java) S 23314 23314 21923 0 -1 0 13852 0 1 0 611 22 0 0 18 0 10 0 1550253506 202166272 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23322/statm: 49357 9394 2543 9 0 43940 0
[pid=23332] ppid=23322 vsize=5356 CPUtime=0
/proc/23332/stat : 23332 (mistral) S 23322 23314 21923 0 -1 4194304 292 0 0 0 0 0 0 0 25 0 1 0 1550254152 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 266890437444 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/23332/statm: 1339 236 196 169 0 50 0
[pid=23333] ppid=23332 vsize=8040 CPUtime=9.26
/proc/23333/stat : 23333 (xsolve) R 23332 23314 21923 0 -1 4194304 1351 0 0 0 925 1 0 0 25 0 1 0 1550254153 8232960 1315 996147200 134512640 135239763 4294955952 18446744073709551615 135103299 0 4 0 0 0 0 0 17 1 0 0
/proc/23333/statm: 2010 1315 393 177 0 913 0
[pid=23322/tid=23323] ppid=23314 vsize=197428 CPUtime=4.95
/proc/23322/task/23323/stat : 23323 (java) S 23314 23314 21923 0 -1 64 3857 0 1 0 488 7 0 0 24 0 10 0 1550253507 202166272 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=23322/tid=23324] ppid=23314 vsize=197428 CPUtime=1.13
/proc/23322/task/23324/stat : 23324 (java) S 23314 23314 21923 0 -1 64 8539 0 0 0 101 12 0 0 16 0 10 0 1550253509 202166272 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=23322/tid=23325] ppid=23314 vsize=197428 CPUtime=0
/proc/23322/task/23325/stat : 23325 (java) S 23314 23314 21923 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1550253509 202166272 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23322/tid=23326] ppid=23314 vsize=197428 CPUtime=0
/proc/23322/task/23326/stat : 23326 (java) S 23314 23314 21923 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1550253509 202166272 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23322/tid=23327] ppid=23314 vsize=197428 CPUtime=0
/proc/23322/task/23327/stat : 23327 (java) S 23314 23314 21923 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 1550253511 202166272 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23322/tid=23328] ppid=23314 vsize=197428 CPUtime=0.2
/proc/23322/task/23328/stat : 23328 (java) S 23314 23314 21923 0 -1 64 646 0 0 0 20 0 0 0 16 0 10 0 1550253511 202166272 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23322/tid=23329] ppid=23314 vsize=197428 CPUtime=0
/proc/23322/task/23329/stat : 23329 (java) S 23314 23314 21923 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1550253511 202166272 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23322/tid=23330] ppid=23314 vsize=197428 CPUtime=0
/proc/23322/task/23330/stat : 23330 (java) S 23314 23314 21923 0 -1 64 13 0 0 0 0 0 0 0 15 0 10 0 1550253511 202166272 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23322/tid=23331] ppid=23314 vsize=197428 CPUtime=0
/proc/23322/task/23331/stat : 23331 (java) S 23314 23314 21923 0 -1 64 73 0 0 0 0 0 0 0 25 0 10 0 1550254152 202166272 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 17.24
Current children cumulated vsize (KiB) 216184
[startup+17.9029 s]
/proc/loadavg: 1.95 1.98 1.99 3/86 23333
/proc/meminfo: memFree=1658152/2055920 swapFree=4112616/4192956
[pid=23314] ppid=23312 vsize=5360 CPUtime=1.65
/proc/23314/stat : 23314 (hydra) S 23312 23314 21923 0 -1 4194304 375 1972 0 0 0 0 163 2 18 0 1 0 1550253339 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23314/statm: 1340 238 196 169 0 51 0
[pid=23322] ppid=23314 vsize=197428 CPUtime=6.33
/proc/23322/stat : 23322 (java) S 23314 23314 21923 0 -1 0 13852 0 1 0 611 22 0 0 18 0 10 0 1550253506 202166272 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23322/statm: 49357 9394 2543 9 0 43940 0
[pid=23332] ppid=23322 vsize=5356 CPUtime=0
/proc/23332/stat : 23332 (mistral) S 23322 23314 21923 0 -1 4194304 292 0 0 0 0 0 0 0 25 0 1 0 1550254152 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 266890437444 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/23332/statm: 1339 236 196 169 0 50 0
[pid=23333] ppid=23332 vsize=8040 CPUtime=9.66
/proc/23333/stat : 23333 (xsolve) R 23332 23314 21923 0 -1 4194304 1351 0 0 0 965 1 0 0 25 0 1 0 1550254153 8232960 1315 996147200 134512640 135239763 4294955952 18446744073709551615 134819917 0 4 0 0 0 0 0 17 1 0 0
/proc/23333/statm: 2010 1315 393 177 0 913 0
[pid=23322/tid=23323] ppid=23314 vsize=197428 CPUtime=4.95
/proc/23322/task/23323/stat : 23323 (java) S 23314 23314 21923 0 -1 64 3857 0 1 0 488 7 0 0 24 0 10 0 1550253507 202166272 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=23322/tid=23324] ppid=23314 vsize=197428 CPUtime=1.13
/proc/23322/task/23324/stat : 23324 (java) S 23314 23314 21923 0 -1 64 8539 0 0 0 101 12 0 0 16 0 10 0 1550253509 202166272 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=23322/tid=23325] ppid=23314 vsize=197428 CPUtime=0
/proc/23322/task/23325/stat : 23325 (java) S 23314 23314 21923 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1550253509 202166272 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23322/tid=23326] ppid=23314 vsize=197428 CPUtime=0
/proc/23322/task/23326/stat : 23326 (java) S 23314 23314 21923 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1550253509 202166272 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23322/tid=23327] ppid=23314 vsize=197428 CPUtime=0
/proc/23322/task/23327/stat : 23327 (java) S 23314 23314 21923 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 1550253511 202166272 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23322/tid=23328] ppid=23314 vsize=197428 CPUtime=0.2
/proc/23322/task/23328/stat : 23328 (java) S 23314 23314 21923 0 -1 64 646 0 0 0 20 0 0 0 16 0 10 0 1550253511 202166272 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23322/tid=23329] ppid=23314 vsize=197428 CPUtime=0
/proc/23322/task/23329/stat : 23329 (java) S 23314 23314 21923 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1550253511 202166272 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23322/tid=23330] ppid=23314 vsize=197428 CPUtime=0
/proc/23322/task/23330/stat : 23330 (java) S 23314 23314 21923 0 -1 64 13 0 0 0 0 0 0 0 15 0 10 0 1550253511 202166272 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23322/tid=23331] ppid=23314 vsize=197428 CPUtime=0
/proc/23322/task/23331/stat : 23331 (java) S 23314 23314 21923 0 -1 64 73 0 0 0 0 0 0 0 25 0 10 0 1550254152 202166272 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 17.64
Current children cumulated vsize (KiB) 216184
[startup+18.1029 s]
/proc/loadavg: 1.95 1.98 1.99 3/86 23333
/proc/meminfo: memFree=1658152/2055920 swapFree=4112616/4192956
[pid=23314] ppid=23312 vsize=5360 CPUtime=1.65
/proc/23314/stat : 23314 (hydra) S 23312 23314 21923 0 -1 4194304 375 1972 0 0 0 0 163 2 18 0 1 0 1550253339 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23314/statm: 1340 238 196 169 0 51 0
[pid=23322] ppid=23314 vsize=197428 CPUtime=6.33
/proc/23322/stat : 23322 (java) S 23314 23314 21923 0 -1 0 13852 0 1 0 611 22 0 0 18 0 10 0 1550253506 202166272 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23322/statm: 49357 9394 2543 9 0 43940 0
[pid=23332] ppid=23322 vsize=5356 CPUtime=0
/proc/23332/stat : 23332 (mistral) S 23322 23314 21923 0 -1 4194304 292 0 0 0 0 0 0 0 25 0 1 0 1550254152 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 266890437444 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/23332/statm: 1339 236 196 169 0 50 0
[pid=23333] ppid=23332 vsize=8040 CPUtime=9.86
/proc/23333/stat : 23333 (xsolve) R 23332 23314 21923 0 -1 4194304 1351 0 0 0 985 1 0 0 25 0 1 0 1550254153 8232960 1315 996147200 134512640 135239763 4294955952 18446744073709551615 135087166 0 4 0 0 0 0 0 17 1 0 0
/proc/23333/statm: 2010 1315 393 177 0 913 0
[pid=23322/tid=23323] ppid=23314 vsize=197428 CPUtime=4.95
/proc/23322/task/23323/stat : 23323 (java) S 23314 23314 21923 0 -1 64 3857 0 1 0 488 7 0 0 24 0 10 0 1550253507 202166272 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=23322/tid=23324] ppid=23314 vsize=197428 CPUtime=1.13
/proc/23322/task/23324/stat : 23324 (java) S 23314 23314 21923 0 -1 64 8539 0 0 0 101 12 0 0 16 0 10 0 1550253509 202166272 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=23322/tid=23325] ppid=23314 vsize=197428 CPUtime=0
/proc/23322/task/23325/stat : 23325 (java) S 23314 23314 21923 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1550253509 202166272 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23322/tid=23326] ppid=23314 vsize=197428 CPUtime=0
/proc/23322/task/23326/stat : 23326 (java) S 23314 23314 21923 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1550253509 202166272 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23322/tid=23327] ppid=23314 vsize=197428 CPUtime=0
/proc/23322/task/23327/stat : 23327 (java) S 23314 23314 21923 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 1550253511 202166272 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23322/tid=23328] ppid=23314 vsize=197428 CPUtime=0.2
/proc/23322/task/23328/stat : 23328 (java) S 23314 23314 21923 0 -1 64 646 0 0 0 20 0 0 0 16 0 10 0 1550253511 202166272 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23322/tid=23329] ppid=23314 vsize=197428 CPUtime=0
/proc/23322/task/23329/stat : 23329 (java) S 23314 23314 21923 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1550253511 202166272 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23322/tid=23330] ppid=23314 vsize=197428 CPUtime=0
/proc/23322/task/23330/stat : 23330 (java) S 23314 23314 21923 0 -1 64 13 0 0 0 0 0 0 0 15 0 10 0 1550253511 202166272 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23322/tid=23331] ppid=23314 vsize=197428 CPUtime=0
/proc/23322/task/23331/stat : 23331 (java) S 23314 23314 21923 0 -1 64 73 0 0 0 0 0 0 0 25 0 10 0 1550254152 202166272 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 17.84
Current children cumulated vsize (KiB) 216184
[startup+18.2029 s]
/proc/loadavg: 1.95 1.98 1.99 3/86 23333
/proc/meminfo: memFree=1658152/2055920 swapFree=4112616/4192956
[pid=23314] ppid=23312 vsize=5360 CPUtime=1.65
/proc/23314/stat : 23314 (hydra) S 23312 23314 21923 0 -1 4194304 375 1972 0 0 0 0 163 2 18 0 1 0 1550253339 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23314/statm: 1340 238 196 169 0 51 0
[pid=23322] ppid=23314 vsize=197428 CPUtime=16.25
/proc/23322/stat : 23322 (java) S 23314 23314 21923 0 -1 0 13942 1668 1 0 611 22 991 1 18 0 9 0 1550253506 202166272 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23322/statm: 49357 9396 2544 9 0 43940 0
[pid=23322/tid=23323] ppid=23314 vsize=197428 CPUtime=14.87
/proc/23322/task/23323/stat : 23323 (java) S 23314 23314 21923 0 -1 64 3911 1668 1 0 488 7 991 1 16 0 9 0 1550253507 202166272 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23322/tid=23324] ppid=23314 vsize=197428 CPUtime=11.05
/proc/23322/task/23324/stat : 23324 (java) S 23314 23314 21923 0 -1 64 8563 1668 0 0 101 12 991 1 16 0 9 0 1550253509 202166272 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=23322/tid=23325] ppid=23314 vsize=197428 CPUtime=9.92
/proc/23322/task/23325/stat : 23325 (java) S 23314 23314 21923 0 -1 64 11 1668 0 0 0 0 991 1 16 0 9 0 1550253509 202166272 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23322/tid=23326] ppid=23314 vsize=197428 CPUtime=9.92
/proc/23322/task/23326/stat : 23326 (java) S 23314 23314 21923 0 -1 64 5 1668 0 0 0 0 991 1 15 0 9 0 1550253509 202166272 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23322/tid=23327] ppid=23314 vsize=197428 CPUtime=9.92
/proc/23322/task/23327/stat : 23327 (java) S 23314 23314 21923 0 -1 64 0 1668 0 0 0 0 991 1 18 0 9 0 1550253511 202166272 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23322/tid=23328] ppid=23314 vsize=197428 CPUtime=10.12
/proc/23322/task/23328/stat : 23328 (java) S 23314 23314 21923 0 -1 64 646 1668 0 0 20 0 991 1 16 0 9 0 1550253511 202166272 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23322/tid=23329] ppid=23314 vsize=197428 CPUtime=9.92
/proc/23322/task/23329/stat : 23329 (java) S 23314 23314 21923 0 -1 64 1 1668 0 0 0 0 991 1 19 0 9 0 1550253511 202166272 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23322/tid=23330] ppid=23314 vsize=197428 CPUtime=9.92
/proc/23322/task/23330/stat : 23330 (java) S 23314 23314 21923 0 -1 64 13 1668 0 0 0 0 991 1 15 0 9 0 1550253511 202166272 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 17.9
Current children cumulated vsize (KiB) 202788
Child status: 0
Real time (s): 18.2104
CPU time (s): 17.9343
CPU user time (s): 17.6583
CPU system time (s): 0.275958
CPU usage (%): 98.4838
Max. virtual memory (cumulated for all children) (KiB): 216184
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 17.6583
system time used= 0.275958
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17998
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9134
involuntary context switches= 10845
runsolver used 0.038994 second user time and 0.097985 second system time
The end