0.00/0.00 c cpHydra_k_10 version 0.0
7.19/7.31 c CASE TO CLASSIFY:
7.19/7.31 c Case: 0
7.19/7.31 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.454000 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.830200 | c 14 > 13.493000 | c 11 > 5.321930 | c 12 > 11.707300 | c 21 > 4.358900 | c 20 > 0.000000 | c 22 > 4.358900 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 8.379380 | 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 > 9.569860 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.19/7.32 c choco : 1801.0
7.19/7.32 c mistral : 1801.0
7.19/7.32 c abscon : 1801.0
7.19/7.32 c
7.19/7.32 c
7.28/7.40 c List of same ones: 10
7.28/7.40 c /home/eomahony/cpZilla/CSP/tightness/tightness0.35/rand-2-40-16-250-350-49_ext.xml
7.28/7.40 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.187900 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.588700 | c 14 > 13.515800 | c 11 > 5.321930 | c 12 > 11.687400 | c 21 > 4.000000 | c 20 > 0.000000 | c 22 > 4.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.965780 | 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 > 9.321930 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.28/7.41 c choco : 75.11
7.28/7.41 c mistral : 11.29
7.28/7.41 c abscon : 17.3174
7.28/7.41 c
7.28/7.41 c
7.28/7.41 c /home/eomahony/cpZilla/CSP/tightness/tightness0.35/rand-2-40-16-250-350-43_ext.xml
7.28/7.41 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.177900 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.614500 | c 14 > 13.581300 | c 11 > 5.321930 | c 12 > 11.645700 | c 21 > 4.000000 | c 20 > 0.000000 | c 22 > 4.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.965780 | 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 > 9.321930 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.28/7.41 c choco : 1801.0
7.28/7.41 c mistral : 29.08
7.28/7.41 c abscon : 40.2689
7.28/7.41 c
7.28/7.41 c
7.28/7.41 c /home/eomahony/cpZilla/CSP/tightness/tightness0.35/rand-2-40-16-250-350-47_ext.xml
7.28/7.42 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.134300 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.544800 | c 14 > 13.501000 | c 11 > 5.321930 | c 12 > 11.662700 | c 21 > 4.000000 | c 20 > 0.000000 | c 22 > 4.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.965780 | 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 > 9.321930 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.28/7.42 c choco : 88.64
7.28/7.43 c mistral : 16.37
7.28/7.43 c abscon : 21.6117
7.28/7.43 c
7.28/7.43 c
7.28/7.43 c /home/eomahony/cpZilla/CSP/tightness/tightness0.35/rand-2-40-16-250-350-15_ext.xml
7.28/7.43 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.116100 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.585400 | c 14 > 13.438900 | c 11 > 5.321930 | c 12 > 11.522900 | c 21 > 4.000000 | c 20 > 0.000000 | c 22 > 4.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.965780 | 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 > 9.321930 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.28/7.43 c choco : 44.45
7.28/7.43 c mistral : 6.96
7.28/7.43 c abscon : 11.4633
7.28/7.43 c
7.28/7.43 c
7.28/7.43 c /home/eomahony/cpZilla/CSP/tightness/tightness0.35/rand-2-40-16-250-350-41_ext.xml
7.28/7.43 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.017700 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.651400 | c 14 > 13.344300 | c 11 > 5.321930 | c 12 > 11.676700 | c 21 > 4.000000 | c 20 > 0.000000 | c 22 > 4.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.965780 | 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 > 9.321930 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.28/7.44 c choco : 44.86
7.28/7.45 c mistral : 7.36
7.28/7.45 c abscon : 9.11261
7.28/7.45 c
7.28/7.45 c
7.28/7.45 c /home/eomahony/cpZilla/CSP/tightness/tightness0.35/rand-2-40-16-250-350-53_ext.xml
7.28/7.45 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.267000 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.534600 | c 14 > 13.735500 | c 11 > 5.321930 | c 12 > 12.002200 | c 21 > 4.000000 | c 20 > 0.000000 | c 22 > 4.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.965780 | 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 > 9.321930 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.28/7.45 c choco : 1801.0
7.28/7.45 c mistral : 29.78
7.28/7.45 c abscon : 45.5191
7.28/7.45 c
7.28/7.45 c
7.28/7.45 c /home/eomahony/cpZilla/CSP/tightness/tightness0.35/rand-2-40-16-250-350-65_ext.xml
7.28/7.45 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.063500 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.490500 | c 14 > 13.393400 | c 11 > 5.321930 | c 12 > 11.650700 | c 21 > 4.000000 | c 20 > 0.000000 | c 22 > 4.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.965780 | 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 > 9.321930 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.28/7.46 c choco : 64.63
7.28/7.46 c mistral : 11.81
7.28/7.46 c abscon : 14.0419
7.28/7.46 c
7.28/7.46 c
7.28/7.46 c /home/eomahony/cpZilla/CSP/tightness/tightness0.35/rand-2-40-16-250-350-13_ext.xml
7.28/7.46 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.234000 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.439000 | c 14 > 13.635600 | c 11 > 5.321930 | c 12 > 11.956000 | c 21 > 4.000000 | c 20 > 0.000000 | c 22 > 4.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.965780 | 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 > 9.321930 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.28/7.47 c choco : 37.72
7.28/7.47 c mistral : 7.42687
7.28/7.47 c abscon : 4.5723
7.28/7.47 c
7.28/7.47 c
7.28/7.47 c /home/eomahony/cpZilla/CSP/tightness/tightness0.35/rand-2-40-16-250-350-29_ext.xml
7.28/7.47 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.119500 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.369700 | c 14 > 13.490500 | c 11 > 5.321930 | c 12 > 11.553400 | c 21 > 4.000000 | c 20 > 0.000000 | c 22 > 4.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.965780 | 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 > 9.321930 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.28/7.48 c choco : 1801.0
7.28/7.48 c mistral : 20.49
7.28/7.48 c abscon : 26.285
7.28/7.48 c
7.28/7.48 c
7.28/7.48 c /home/eomahony/cpZilla/CSP/tightness/tightness0.35/rand-2-40-16-250-350-25_ext.xml
7.28/7.48 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.032000 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.418600 | c 14 > 13.435000 | c 11 > 5.321930 | c 12 > 11.670200 | c 21 > 4.000000 | c 20 > 0.000000 | c 22 > 4.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.965780 | 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 > 9.321930 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.28/7.49 c choco : 15.93
7.28/7.49 c mistral : 4.93
7.28/7.49 c abscon : 14.7028
7.28/7.49 c
7.28/7.49 c
7.28/7.49 c Length: 10
7.28/7.49 c 0.7875277613519419 0.7902542723073379 0.8221113518861057 0.8373686672547528 0.8576292001208909 0.8707888865276134 0.8781587128190432 0.8796456985059378 0.9153112175101982 0.9178189554046052
7.28/7.49 c
7.28/7.49 c 1.0 0.9795026462437402 0.7902433011765286 0.7233091385981135 0.6501795610851988 0.6101136926232729 0.5897606767584417 0.5858176476198665 0.5048585513772033 0.5
7.28/7.49 c
7.28/7.49 c solver 0
7.28/7.49 c before 0.0 seconds: {} 0
7.28/7.49 c before 18.0 seconds: {0, 3, 4, 6, 7, 9} 4049
7.28/7.49 c before 36.0 seconds: {0, 2, 3, 4, 6, 7, 8, 9} 5344
7.28/7.49 c before 54.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6933
7.28/7.49 c
7.28/7.49 c solver 1
7.28/7.50 c before 0.0 seconds: {} 0
7.28/7.50 c before 18.0 seconds: {0, 2, 3, 4, 6, 7, 9} 4839
7.28/7.50 c before 36.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6933
7.28/7.50 c
7.28/7.50 c solver 2
7.28/7.50 c before 0.0 seconds: {} 0
7.28/7.50 c before 18.0 seconds: {9} 500
7.28/7.50 c before 54.0 seconds: {3, 4, 7, 9} 2459
7.28/7.50 c before 72.0 seconds: {3, 4, 6, 7, 9} 3049
7.28/7.50 c before 90.0 seconds: {0, 2, 3, 4, 6, 7, 9} 4839
7.28/7.50 c
7.28/7.50 cTotal time: 10
7.28/7.50 c 180.0 seconds unused
7.28/7.50 c 0 c 0 c 3
7.28/7.50 c 0 c 0 c 3
7.36/7.50 c 0 c 0 c 0
7.36/7.50 c is solver0 dominated by:
7.36/7.50 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.36/7.50 c is dominated? true
7.36/7.50 c
7.36/7.50 c is solver1 dominated by:
7.36/7.50 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.36/7.50 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: true) (1 is equally as fast as 2: false) (1 < 2: false)
7.36/7.50 c is dominated? false
7.36/7.50 c
7.36/7.50 c is solver2 dominated by:
7.36/7.50 c solver 0 (2 solves instances that 0 can't: false) (0 doesn't solve instances that 2 can't: false) (2 is faster than 0: false) (2 is equally as fast as 0: false) (2 < 0: true)
7.36/7.50 c is dominated? true
7.36/7.50 c
7.36/7.50 c Number of non-dominated solvers: 1
7.36/7.50 c remove dominated solvers
7.36/7.50 c solver 1 is not dominated by another solver
7.36/7.50 c solver 2 is dominated by another solver
7.36/7.50 c solver 0 is dominated by another solver
7.36/7.50 c
7.36/7.50 c solver 0: 0.0
7.36/7.50 c
7.36/7.50 c solver 1: 36.0
7.36/7.50 c
7.36/7.50 c+ 2/2 of 98
7.36/7.50 c
7.36/7.50 c solver 2: 0.0
7.36/7.50 c do not run abscon
7.36/7.51 c run mistral for 1800.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6933
7.36/7.51 c do not run choco
7.36/7.51 c Starting solver: HOME/cpHydra_k_10/solver/mistral
7.36/7.51 c On Instance: HOME/instance-1101540-1215293654.xml
7.36/7.51 c Running for: 1800 seconds
10.11/10.35 c mistral-prime version 1.313
10.11/10.35 s SATISFIABLE
10.11/10.35 v 17 15 8 7 6 5 9 2 9 11 2 16 0 5 7 1 7 4 16 12 0 0 15 1 1 2 13 10 7 1 11 16 4 2 2 0 12 2 3 5
10.11/10.35 d CHECKS 10876428
10.11/10.35 d ASSIGNMENTS 21319
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1101540-1215293654/watcher-1101540-1215293654 -o /tmp/evaluation-result-1101540-1215293654/solver-1101540-1215293654 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1101540-1215293654.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2200 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 4/73 7798
/proc/meminfo: memFree=1683724/2055920 swapFree=4179028/4192956
[pid=7798] ppid=7796 vsize=5260 CPUtime=0
/proc/7798/stat : 7798 (hydra) R 7796 7798 4157 0 -1 4194304 69 0 0 0 0 0 0 0 20 0 1 0 2008338306 5386240 43 996147200 4194304 4889804 548682068816 18446744073709551615 240905156697 0 0 4096 0 0 0 0 17 1 0 0
/proc/7798/statm: 1315 43 29 169 0 14 0
[startup+0.091562 s]
/proc/loadavg: 2.00 2.00 2.00 4/73 7798
/proc/meminfo: memFree=1683724/2055920 swapFree=4179028/4192956
[pid=7798] ppid=7796 vsize=5360 CPUtime=0
/proc/7798/stat : 7798 (hydra) S 7796 7798 4157 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2008338306 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7798/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.10156 s]
/proc/loadavg: 2.00 2.00 2.00 4/73 7798
/proc/meminfo: memFree=1683724/2055920 swapFree=4179028/4192956
[pid=7798] ppid=7796 vsize=5360 CPUtime=0
/proc/7798/stat : 7798 (hydra) S 7796 7798 4157 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2008338306 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7798/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.301579 s]
/proc/loadavg: 2.00 2.00 2.00 4/73 7798
/proc/meminfo: memFree=1683724/2055920 swapFree=4179028/4192956
[pid=7798] ppid=7796 vsize=5360 CPUtime=0
/proc/7798/stat : 7798 (hydra) S 7796 7798 4157 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2008338306 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7798/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.701619 s]
/proc/loadavg: 2.00 2.00 2.00 4/73 7798
/proc/meminfo: memFree=1683724/2055920 swapFree=4179028/4192956
[pid=7798] ppid=7796 vsize=5360 CPUtime=0
/proc/7798/stat : 7798 (hydra) S 7796 7798 4157 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2008338306 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7798/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+1.5017 s]
/proc/loadavg: 2.00 2.00 2.00 3/75 7802
/proc/meminfo: memFree=1681852/2055920 swapFree=4179028/4192956
[pid=7798] ppid=7796 vsize=5360 CPUtime=0
/proc/7798/stat : 7798 (hydra) S 7796 7798 4157 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2008338306 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7798/statm: 1340 236 195 169 0 51 0
[pid=7802] ppid=7798 vsize=5912 CPUtime=1.48
/proc/7802/stat : 7802 (xsolve) R 7798 7798 4157 0 -1 4194304 841 0 0 0 146 2 0 0 25 0 1 0 2008338307 6053888 800 996147200 134512640 135239763 4294956176 18446744073709551615 135103085 0 0 4096 0 0 0 0 17 1 0 0
/proc/7802/statm: 1478 800 411 177 0 381 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 11272
[startup+3.10286 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 7814
/proc/meminfo: memFree=1676156/2055920 swapFree=4179028/4192956
[pid=7798] ppid=7796 vsize=5360 CPUtime=1.5
/proc/7798/stat : 7798 (hydra) S 7796 7798 4157 0 -1 4194304 375 1438 0 0 0 0 148 2 18 0 1 0 2008338306 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7798/statm: 1340 238 196 169 0 51 0
[pid=7806] ppid=7798 vsize=196996 CPUtime=1.55
/proc/7806/stat : 7806 (java) S 7798 7798 4157 0 -1 0 5118 0 1 0 150 5 0 0 18 0 9 0 2008338459 201723904 4287 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7806/statm: 49249 4287 1678 9 0 43832 0
[pid=7806/tid=7807] ppid=7798 vsize=196996 CPUtime=1.2
/proc/7806/task/7807/stat : 7807 (java) R 7798 7798 4157 0 -1 64 2756 0 1 0 119 1 0 0 25 0 9 0 2008338460 201723904 4287 996147200 134512640 134550740 4294955968 18446744073709551615 4126435755 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7806/tid=7808] ppid=7798 vsize=196996 CPUtime=0.16
/proc/7806/task/7808/stat : 7808 (java) S 7798 7798 4157 0 -1 64 1024 0 0 0 14 2 0 0 16 0 9 0 2008338461 201723904 4287 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7806/tid=7809] ppid=7798 vsize=196996 CPUtime=0
/proc/7806/task/7809/stat : 7809 (java) S 7798 7798 4157 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 2008338462 201723904 4287 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7806/tid=7810] ppid=7798 vsize=196996 CPUtime=0
/proc/7806/task/7810/stat : 7810 (java) S 7798 7798 4157 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2008338462 201723904 4287 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7806/tid=7811] ppid=7798 vsize=196996 CPUtime=0
/proc/7806/task/7811/stat : 7811 (java) S 7798 7798 4157 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2008338464 201723904 4287 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7806/tid=7812] ppid=7798 vsize=196996 CPUtime=0.15
/proc/7806/task/7812/stat : 7812 (java) S 7798 7798 4157 0 -1 64 614 0 0 0 15 0 0 0 16 0 9 0 2008338464 201723904 4287 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7806/tid=7813] ppid=7798 vsize=196996 CPUtime=0
/proc/7806/task/7813/stat : 7813 (java) S 7798 7798 4157 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 2008338464 201723904 4287 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7806/tid=7814] ppid=7798 vsize=196996 CPUtime=0
/proc/7806/task/7814/stat : 7814 (java) S 7798 7798 4157 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 2008338464 201723904 4287 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 202356
[startup+6.30235 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 7814
/proc/meminfo: memFree=1662716/2055920 swapFree=4179028/4192956
[pid=7798] ppid=7796 vsize=5360 CPUtime=1.5
/proc/7798/stat : 7798 (hydra) S 7796 7798 4157 0 -1 4194304 375 1438 0 0 0 0 148 2 18 0 1 0 2008338306 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7798/statm: 1340 238 196 169 0 51 0
[pid=7806] ppid=7798 vsize=197108 CPUtime=4.7
/proc/7806/stat : 7806 (java) S 7798 7798 4157 0 -1 0 10045 0 1 0 456 14 0 0 18 0 9 0 2008338459 201838592 8338 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7806/statm: 49277 8338 2540 9 0 43860 0
[pid=7806/tid=7807] ppid=7798 vsize=197108 CPUtime=3.7
/proc/7806/task/7807/stat : 7807 (java) R 7798 7798 4157 0 -1 64 3564 0 1 0 366 4 0 0 25 0 9 0 2008338460 201838592 8338 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7806/tid=7808] ppid=7798 vsize=197108 CPUtime=0.79
/proc/7806/task/7808/stat : 7808 (java) S 7798 7798 4157 0 -1 64 5127 0 0 0 71 8 0 0 15 0 9 0 2008338461 201838592 8338 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7806/tid=7809] ppid=7798 vsize=197108 CPUtime=0
/proc/7806/task/7809/stat : 7809 (java) S 7798 7798 4157 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 2008338462 201838592 8338 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7806/tid=7810] ppid=7798 vsize=197108 CPUtime=0
/proc/7806/task/7810/stat : 7810 (java) S 7798 7798 4157 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2008338462 201838592 8338 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7806/tid=7811] ppid=7798 vsize=197108 CPUtime=0
/proc/7806/task/7811/stat : 7811 (java) S 7798 7798 4157 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2008338464 201838592 8338 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7806/tid=7812] ppid=7798 vsize=197108 CPUtime=0.18
/proc/7806/task/7812/stat : 7812 (java) S 7798 7798 4157 0 -1 64 630 0 0 0 18 0 0 0 16 0 9 0 2008338464 201838592 8338 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7806/tid=7813] ppid=7798 vsize=197108 CPUtime=0
/proc/7806/task/7813/stat : 7813 (java) S 7798 7798 4157 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 2008338464 201838592 8338 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7806/tid=7814] ppid=7798 vsize=197108 CPUtime=0
/proc/7806/task/7814/stat : 7814 (java) S 7798 7798 4157 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 2008338464 201838592 8338 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 202468
Solver just ended. Dumping a history of the last processes samples
[startup+7.90234 s]
/proc/loadavg: 2.00 2.00 2.00 4/86 7817
/proc/meminfo: memFree=1653604/2055920 swapFree=4179028/4192956
[pid=7798] ppid=7796 vsize=5360 CPUtime=1.5
/proc/7798/stat : 7798 (hydra) S 7796 7798 4157 0 -1 4194304 375 1438 0 0 0 0 148 2 18 0 1 0 2008338306 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7798/statm: 1340 238 196 169 0 51 0
[pid=7806] ppid=7798 vsize=197432 CPUtime=5.87
/proc/7806/stat : 7806 (java) S 7798 7798 4157 0 -1 0 11428 0 1 0 569 18 0 0 18 0 10 0 2008338459 202170368 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7806/statm: 49358 9405 2544 9 0 43941 0
[pid=7816] ppid=7806 vsize=5356 CPUtime=0
/proc/7816/stat : 7816 (mistral) S 7806 7798 4157 0 -1 4194304 291 0 0 0 0 0 0 0 25 0 1 0 2008339058 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 240907772740 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/7816/statm: 1339 236 196 169 0 50 0
[pid=7817] ppid=7816 vsize=5912 CPUtime=0.36
/proc/7817/stat : 7817 (xsolve) R 7816 7798 4157 0 -1 4194304 817 0 0 0 36 0 0 0 20 0 1 0 2008339058 6053888 781 996147200 134512640 135239763 4294955952 18446744073709551615 135087377 0 4 0 0 0 0 0 17 1 0 0
/proc/7817/statm: 1478 781 392 177 0 381 0
[pid=7806/tid=7807] ppid=7798 vsize=197432 CPUtime=4.68
/proc/7806/task/7807/stat : 7807 (java) S 7798 7798 4157 0 -1 64 3859 0 1 0 463 5 0 0 23 0 10 0 2008338460 202170368 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=7806/tid=7808] ppid=7798 vsize=197432 CPUtime=0.95
/proc/7806/task/7808/stat : 7808 (java) S 7798 7798 4157 0 -1 64 6122 0 0 0 84 11 0 0 16 0 10 0 2008338461 202170368 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7806/tid=7809] ppid=7798 vsize=197432 CPUtime=0
/proc/7806/task/7809/stat : 7809 (java) S 7798 7798 4157 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2008338462 202170368 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7806/tid=7810] ppid=7798 vsize=197432 CPUtime=0
/proc/7806/task/7810/stat : 7810 (java) S 7798 7798 4157 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 2008338462 202170368 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7806/tid=7811] ppid=7798 vsize=197432 CPUtime=0
/proc/7806/task/7811/stat : 7811 (java) S 7798 7798 4157 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2008338464 202170368 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7806/tid=7812] ppid=7798 vsize=197432 CPUtime=0.21
/proc/7806/task/7812/stat : 7812 (java) S 7798 7798 4157 0 -1 64 647 0 0 0 21 0 0 0 16 0 10 0 2008338464 202170368 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7806/tid=7813] ppid=7798 vsize=197432 CPUtime=0
/proc/7806/task/7813/stat : 7813 (java) S 7798 7798 4157 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 2008338464 202170368 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7806/tid=7814] ppid=7798 vsize=197432 CPUtime=0
/proc/7806/task/7814/stat : 7814 (java) S 7798 7798 4157 0 -1 64 4 0 0 0 0 0 0 0 15 0 10 0 2008338464 202170368 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7806/tid=7815] ppid=7798 vsize=197432 CPUtime=0
/proc/7806/task/7815/stat : 7815 (java) S 7798 7798 4157 0 -1 64 72 0 0 0 0 0 0 0 25 0 10 0 2008339058 202170368 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 7.73
Current children cumulated vsize (KiB) 214060
[startup+9.5025 s]
/proc/loadavg: 2.00 2.00 2.00 3/86 7817
/proc/meminfo: memFree=1653540/2055920 swapFree=4179028/4192956
[pid=7798] ppid=7796 vsize=5360 CPUtime=1.5
/proc/7798/stat : 7798 (hydra) S 7796 7798 4157 0 -1 4194304 375 1438 0 0 0 0 148 2 18 0 1 0 2008338306 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7798/statm: 1340 238 196 169 0 51 0
[pid=7806] ppid=7798 vsize=197432 CPUtime=5.87
/proc/7806/stat : 7806 (java) S 7798 7798 4157 0 -1 0 11432 0 1 0 569 18 0 0 18 0 10 0 2008338459 202170368 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7806/statm: 49358 9405 2544 9 0 43941 0
[pid=7816] ppid=7806 vsize=5356 CPUtime=0
/proc/7816/stat : 7816 (mistral) S 7806 7798 4157 0 -1 4194304 291 0 0 0 0 0 0 0 25 0 1 0 2008339058 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 240907772740 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/7816/statm: 1339 236 196 169 0 50 0
[pid=7817] ppid=7816 vsize=5912 CPUtime=1.95
/proc/7817/stat : 7817 (xsolve) R 7816 7798 4157 0 -1 4194304 817 0 0 0 195 0 0 0 25 0 1 0 2008339058 6053888 781 996147200 134512640 135239763 4294955952 18446744073709551615 135030874 0 4 0 0 0 0 0 17 1 0 0
/proc/7817/statm: 1478 781 392 177 0 381 0
[pid=7806/tid=7807] ppid=7798 vsize=197432 CPUtime=4.68
/proc/7806/task/7807/stat : 7807 (java) S 7798 7798 4157 0 -1 64 3859 0 1 0 463 5 0 0 23 0 10 0 2008338460 202170368 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=7806/tid=7808] ppid=7798 vsize=197432 CPUtime=0.95
/proc/7806/task/7808/stat : 7808 (java) S 7798 7798 4157 0 -1 64 6126 0 0 0 84 11 0 0 16 0 10 0 2008338461 202170368 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7806/tid=7809] ppid=7798 vsize=197432 CPUtime=0
/proc/7806/task/7809/stat : 7809 (java) S 7798 7798 4157 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2008338462 202170368 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7806/tid=7810] ppid=7798 vsize=197432 CPUtime=0
/proc/7806/task/7810/stat : 7810 (java) S 7798 7798 4157 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 2008338462 202170368 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7806/tid=7811] ppid=7798 vsize=197432 CPUtime=0
/proc/7806/task/7811/stat : 7811 (java) S 7798 7798 4157 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2008338464 202170368 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7806/tid=7812] ppid=7798 vsize=197432 CPUtime=0.21
/proc/7806/task/7812/stat : 7812 (java) S 7798 7798 4157 0 -1 64 647 0 0 0 21 0 0 0 16 0 10 0 2008338464 202170368 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7806/tid=7813] ppid=7798 vsize=197432 CPUtime=0
/proc/7806/task/7813/stat : 7813 (java) S 7798 7798 4157 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 2008338464 202170368 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7806/tid=7814] ppid=7798 vsize=197432 CPUtime=0
/proc/7806/task/7814/stat : 7814 (java) S 7798 7798 4157 0 -1 64 4 0 0 0 0 0 0 0 15 0 10 0 2008338464 202170368 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7806/tid=7815] ppid=7798 vsize=197432 CPUtime=0
/proc/7806/task/7815/stat : 7815 (java) S 7798 7798 4157 0 -1 64 72 0 0 0 0 0 0 0 25 0 10 0 2008339058 202170368 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 9.32
Current children cumulated vsize (KiB) 214060
[startup+9.90754 s]
/proc/loadavg: 2.00 2.00 2.00 3/86 7817
/proc/meminfo: memFree=1653476/2055920 swapFree=4179028/4192956
[pid=7798] ppid=7796 vsize=5360 CPUtime=1.5
/proc/7798/stat : 7798 (hydra) S 7796 7798 4157 0 -1 4194304 375 1438 0 0 0 0 148 2 18 0 1 0 2008338306 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7798/statm: 1340 238 196 169 0 51 0
[pid=7806] ppid=7798 vsize=197432 CPUtime=5.87
/proc/7806/stat : 7806 (java) S 7798 7798 4157 0 -1 0 11432 0 1 0 569 18 0 0 18 0 10 0 2008338459 202170368 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7806/statm: 49358 9405 2544 9 0 43941 0
[pid=7816] ppid=7806 vsize=5356 CPUtime=0
/proc/7816/stat : 7816 (mistral) S 7806 7798 4157 0 -1 4194304 291 0 0 0 0 0 0 0 25 0 1 0 2008339058 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 240907772740 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/7816/statm: 1339 236 196 169 0 50 0
[pid=7817] ppid=7816 vsize=5912 CPUtime=2.35
/proc/7817/stat : 7817 (xsolve) R 7816 7798 4157 0 -1 4194304 817 0 0 0 235 0 0 0 25 0 1 0 2008339058 6053888 781 996147200 134512640 135239763 4294955952 18446744073709551615 135019097 0 4 0 0 0 0 0 17 1 0 0
/proc/7817/statm: 1478 781 392 177 0 381 0
[pid=7806/tid=7807] ppid=7798 vsize=197432 CPUtime=4.68
/proc/7806/task/7807/stat : 7807 (java) S 7798 7798 4157 0 -1 64 3859 0 1 0 463 5 0 0 23 0 10 0 2008338460 202170368 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=7806/tid=7808] ppid=7798 vsize=197432 CPUtime=0.95
/proc/7806/task/7808/stat : 7808 (java) S 7798 7798 4157 0 -1 64 6126 0 0 0 84 11 0 0 16 0 10 0 2008338461 202170368 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7806/tid=7809] ppid=7798 vsize=197432 CPUtime=0
/proc/7806/task/7809/stat : 7809 (java) S 7798 7798 4157 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2008338462 202170368 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7806/tid=7810] ppid=7798 vsize=197432 CPUtime=0
/proc/7806/task/7810/stat : 7810 (java) S 7798 7798 4157 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 2008338462 202170368 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7806/tid=7811] ppid=7798 vsize=197432 CPUtime=0
/proc/7806/task/7811/stat : 7811 (java) S 7798 7798 4157 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2008338464 202170368 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7806/tid=7812] ppid=7798 vsize=197432 CPUtime=0.21
/proc/7806/task/7812/stat : 7812 (java) S 7798 7798 4157 0 -1 64 647 0 0 0 21 0 0 0 16 0 10 0 2008338464 202170368 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7806/tid=7813] ppid=7798 vsize=197432 CPUtime=0
/proc/7806/task/7813/stat : 7813 (java) S 7798 7798 4157 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 2008338464 202170368 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7806/tid=7814] ppid=7798 vsize=197432 CPUtime=0
/proc/7806/task/7814/stat : 7814 (java) S 7798 7798 4157 0 -1 64 4 0 0 0 0 0 0 0 15 0 10 0 2008338464 202170368 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7806/tid=7815] ppid=7798 vsize=197432 CPUtime=0
/proc/7806/task/7815/stat : 7815 (java) S 7798 7798 4157 0 -1 64 72 0 0 0 0 0 0 0 25 0 10 0 2008339058 202170368 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 9.72
Current children cumulated vsize (KiB) 214060
[startup+10.3026 s]
/proc/loadavg: 2.00 2.00 2.00 3/86 7817
/proc/meminfo: memFree=1653476/2055920 swapFree=4179028/4192956
[pid=7798] ppid=7796 vsize=5360 CPUtime=1.5
/proc/7798/stat : 7798 (hydra) S 7796 7798 4157 0 -1 4194304 375 1438 0 0 0 0 148 2 18 0 1 0 2008338306 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7798/statm: 1340 238 196 169 0 51 0
[pid=7806] ppid=7798 vsize=197432 CPUtime=5.87
/proc/7806/stat : 7806 (java) S 7798 7798 4157 0 -1 0 11432 0 1 0 569 18 0 0 18 0 10 0 2008338459 202170368 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7806/statm: 49358 9405 2544 9 0 43941 0
[pid=7816] ppid=7806 vsize=5356 CPUtime=0
/proc/7816/stat : 7816 (mistral) S 7806 7798 4157 0 -1 4194304 291 0 0 0 0 0 0 0 25 0 1 0 2008339058 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 240907772740 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/7816/statm: 1339 236 196 169 0 50 0
[pid=7817] ppid=7816 vsize=5912 CPUtime=2.74
/proc/7817/stat : 7817 (xsolve) R 7816 7798 4157 0 -1 4194304 817 0 0 0 274 0 0 0 25 0 1 0 2008339058 6053888 781 996147200 134512640 135239763 4294955952 18446744073709551615 135102992 0 4 0 0 0 0 0 17 1 0 0
/proc/7817/statm: 1478 781 392 177 0 381 0
[pid=7806/tid=7807] ppid=7798 vsize=197432 CPUtime=4.68
/proc/7806/task/7807/stat : 7807 (java) S 7798 7798 4157 0 -1 64 3859 0 1 0 463 5 0 0 23 0 10 0 2008338460 202170368 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=7806/tid=7808] ppid=7798 vsize=197432 CPUtime=0.95
/proc/7806/task/7808/stat : 7808 (java) S 7798 7798 4157 0 -1 64 6126 0 0 0 84 11 0 0 16 0 10 0 2008338461 202170368 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7806/tid=7809] ppid=7798 vsize=197432 CPUtime=0
/proc/7806/task/7809/stat : 7809 (java) S 7798 7798 4157 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2008338462 202170368 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7806/tid=7810] ppid=7798 vsize=197432 CPUtime=0
/proc/7806/task/7810/stat : 7810 (java) S 7798 7798 4157 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 2008338462 202170368 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7806/tid=7811] ppid=7798 vsize=197432 CPUtime=0
/proc/7806/task/7811/stat : 7811 (java) S 7798 7798 4157 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2008338464 202170368 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7806/tid=7812] ppid=7798 vsize=197432 CPUtime=0.21
/proc/7806/task/7812/stat : 7812 (java) S 7798 7798 4157 0 -1 64 647 0 0 0 21 0 0 0 16 0 10 0 2008338464 202170368 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7806/tid=7813] ppid=7798 vsize=197432 CPUtime=0
/proc/7806/task/7813/stat : 7813 (java) S 7798 7798 4157 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 2008338464 202170368 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7806/tid=7814] ppid=7798 vsize=197432 CPUtime=0
/proc/7806/task/7814/stat : 7814 (java) S 7798 7798 4157 0 -1 64 4 0 0 0 0 0 0 0 15 0 10 0 2008338464 202170368 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7806/tid=7815] ppid=7798 vsize=197432 CPUtime=0
/proc/7806/task/7815/stat : 7815 (java) S 7798 7798 4157 0 -1 64 72 0 0 0 0 0 0 0 25 0 10 0 2008339058 202170368 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 10.11
Current children cumulated vsize (KiB) 214060
Child status: 0
Real time (s): 10.3767
CPU time (s): 10.2124
CPU user time (s): 9.98148
CPU system time (s): 0.230964
CPU usage (%): 98.4168
Max. virtual memory (cumulated for all children) (KiB): 214060
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.98148
system time used= 0.230964
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14498
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= 9009
involuntary context switches= 10379
runsolver used 0.033994 second user time and 0.055991 second system time
The end