0.00/0.00 c cpHydra_k_10 version 0.0
6.95/7.05 c CASE TO CLASSIFY:
6.95/7.05 c Case: 0
6.95/7.05 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 23.238300 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.149010 | c 14 > 13.531900 | c 11 > 5.321930 | c 12 > 12.043400 | c 21 > 2.828430 | c 20 > 0.000000 | c 22 > 2.828430 | 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 > 9.556510 | 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.321930 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.95/7.06 c choco : 1801.0
6.95/7.06 c mistral : 1801.0
6.95/7.06 c abscon : 1801.0
6.95/7.06 c
6.95/7.06 c
7.06/7.14 c List of same ones: 10
7.06/7.14 c /home/eomahony/cpZilla/CSP/tightness/tightness0.1/rand-2-40-8-753-100-65_ext.xml
7.06/7.14 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.602800 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 8.808080 | c 14 > 12.856800 | c 11 > 5.321930 | c 12 > 11.162500 | c 21 > 2.828430 | c 20 > 0.000000 | c 22 > 2.828430 | 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 > 9.554590 | 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.321930 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.06/7.14 c choco : 79.72
7.06/7.14 c mistral : 17.21
7.06/7.14 c abscon : 19.502
7.06/7.14 c
7.06/7.14 c
7.06/7.14 c /home/eomahony/cpZilla/CSP/tightness/tightness0.1/rand-2-40-8-753-100-63_ext.xml
7.06/7.14 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.545800 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 8.892050 | c 14 > 12.842000 | c 11 > 5.321930 | c 12 > 11.176600 | c 21 > 2.828430 | c 20 > 0.000000 | c 22 > 2.828430 | 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 > 9.550750 | 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.321930 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.06/7.15 c choco : 38.17
7.06/7.15 c mistral : 13.49
7.06/7.15 c abscon : 3.40348
7.06/7.15 c
7.06/7.15 c
7.06/7.15 c /home/eomahony/cpZilla/CSP/tightness/tightness0.1/rand-2-40-8-753-100-73_ext.xml
7.06/7.15 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.507600 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 8.750300 | c 14 > 12.833500 | c 11 > 5.321930 | c 12 > 11.162800 | c 21 > 2.828430 | c 20 > 0.000000 | c 22 > 2.828430 | 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 > 9.556510 | 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.321930 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.06/7.16 c choco : 66.54
7.06/7.16 c mistral : 19.16
7.06/7.16 c abscon : 20.7438
7.06/7.16 c
7.06/7.16 c
7.06/7.16 c /home/eomahony/cpZilla/CSP/tightness/tightness0.1/rand-2-40-8-753-100-17_ext.xml
7.06/7.16 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.452800 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 8.912230 | c 14 > 12.732800 | c 11 > 5.321930 | c 12 > 11.146400 | c 21 > 2.828430 | c 20 > 0.000000 | c 22 > 2.828430 | 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 > 9.552670 | 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.321930 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.06/7.17 c choco : 74.96
7.06/7.17 c mistral : 18.64
7.06/7.17 c abscon : 20.9138
7.06/7.17 c
7.06/7.17 c
7.06/7.17 c /home/eomahony/cpZilla/CSP/tightness/tightness0.2/rand-2-40-11-414-200-59_ext.xml
7.06/7.17 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.602200 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.737900 | c 14 > 13.580300 | c 11 > 5.321930 | c 12 > 12.046800 | c 21 > 3.316620 | c 20 > 0.000000 | c 22 > 3.316620 | 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.693490 | 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.781360 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.06/7.18 c choco : 40.58
7.06/7.18 c mistral : 7.95
7.06/7.18 c abscon : 1.47678
7.06/7.18 c
7.06/7.18 c
7.06/7.18 c /home/eomahony/cpZilla/CSP/tightness/tightness0.2/rand-2-40-11-414-200-3_ext.xml
7.06/7.18 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.409500 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.589610 | c 14 > 13.291600 | c 11 > 5.321930 | c 12 > 11.703500 | c 21 > 3.316620 | c 20 > 0.000000 | c 22 > 3.316620 | 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.693490 | 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.781360 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.06/7.19 c choco : 66.38
7.06/7.19 c mistral : 13.24
7.06/7.19 c abscon : 15.5286
7.06/7.19 c
7.06/7.19 c
7.06/7.19 c /home/eomahony/cpZilla/CSP/tightness/tightness0.2/rand-2-40-11-414-200-43_ext.xml
7.06/7.19 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.484500 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.722460 | c 14 > 13.398900 | c 11 > 5.321930 | c 12 > 11.643600 | c 21 > 3.316620 | c 20 > 0.000000 | c 22 > 3.316620 | 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.693490 | 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.781360 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.13/7.20 c choco : 34.79
7.13/7.20 c mistral : 4.93725
7.13/7.20 c abscon : 0.816874
7.13/7.20 c
7.13/7.20 c
7.13/7.20 c /home/eomahony/cpZilla/CSP/tightness/tightness0.1/rand-2-40-8-753-100-29_ext.xml
7.13/7.20 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.364300 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 8.811440 | c 14 > 12.670900 | c 11 > 5.321930 | c 12 > 11.096400 | c 21 > 2.828430 | c 20 > 0.000000 | c 22 > 2.828430 | 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 > 9.556510 | 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.321930 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.13/7.21 c choco : 49.99
7.13/7.21 c mistral : 8.69
7.13/7.21 c abscon : 2.31465
7.13/7.21 c
7.13/7.21 c
7.13/7.21 c /home/eomahony/cpZilla/CSP/tightness/tightness0.2/rand-2-40-11-414-200-55_ext.xml
7.13/7.21 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.578600 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.930040 | c 14 > 13.426800 | c 11 > 5.321930 | c 12 > 11.806100 | c 21 > 3.316620 | c 20 > 0.000000 | c 22 > 3.316620 | 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.693490 | 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.781360 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.13/7.21 c choco : 48.03
7.13/7.21 c mistral : 4.66
7.13/7.21 c abscon : 8.85565
7.13/7.21 c
7.13/7.21 c
7.13/7.21 c /home/eomahony/cpZilla/CSP/tightness/tightness0.2/rand-2-40-11-414-200-79_ext.xml
7.13/7.21 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.491300 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.780540 | c 14 > 13.418600 | c 11 > 5.321930 | c 12 > 11.662800 | c 21 > 3.316620 | c 20 > 0.000000 | c 22 > 3.316620 | 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.693490 | 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.781360 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.13/7.22 c choco : 111.24
7.13/7.22 c mistral : 23.95
7.13/7.22 c abscon : 33.2509
7.13/7.22 c
7.13/7.22 c
7.13/7.23 c Length: 10
7.13/7.23 c 1.3235716910315067 1.3315112163252694 1.3986104082624287 1.4547369432306314 1.4786166371307996 1.576975680693901 1.5833909119355192 1.5861776397680059 1.5953393521128951 1.595954506995734
7.13/7.23 c
7.13/7.23 c 1.0 0.971677158309492 0.7840124745843772 0.6749699415088504 0.6372604686444031 0.5180480245022641 0.5118034075312315 0.5091374509829167 0.5005652433552743 0.5
7.13/7.23 c
7.13/7.23 c solver 0
7.13/7.23 c before 0.0 seconds: {} 0
7.13/7.23 c before 18.0 seconds: {1, 4, 5, 6, 7, 8} 3648
7.13/7.23 c before 36.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6607
7.13/7.23 c
7.13/7.23 c solver 1
7.13/7.23 c before 0.0 seconds: {} 0
7.13/7.23 c before 18.0 seconds: {0, 1, 4, 5, 6, 7, 8} 4648
7.13/7.23 c before 36.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6607
7.13/7.23 c
7.13/7.23 c solver 2
7.13/7.23 c before 0.0 seconds: {} 0
7.13/7.23 c before 36.0 seconds: {6} 511
7.13/7.23 c before 54.0 seconds: {1, 4, 6, 7, 8} 3130
7.13/7.23 c before 72.0 seconds: {1, 2, 4, 5, 6, 7, 8} 4432
7.13/7.23 c before 90.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8} 6107
7.13/7.23 c before 126.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6607
7.13/7.23 c
7.13/7.23 cTotal time: 11
7.13/7.23 c 198.0 seconds unused
7.13/7.23 c 0 c 0 c 0
7.13/7.23 c 0 c 0 c 0
7.13/7.23 c 0 c 0 c 0
7.13/7.23 c is solver0 dominated by:
7.13/7.23 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: true) (0 < 1: false)
7.13/7.23 c is dominated? true
7.13/7.23 c
7.13/7.23 c is solver1 dominated by:
7.13/7.23 c solver 0 (1 solves instances that 0 can't: false) (0 doesn't solve instances that 1 can't: true) (1 is faster than 0: false) (1 is equally as fast as 0: true) (1 < 0: true)
7.13/7.23 c solver 2 (1 solves instances that 2 can't: false) (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.13/7.23 c is dominated? false
7.13/7.23 c
7.13/7.23 c is solver2 dominated by:
7.13/7.23 c solver 0 (2 solves instances that 0 can't: false) (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.13/7.23 c is dominated? true
7.13/7.23 c
7.13/7.23 c Number of non-dominated solvers: 1
7.13/7.23 c remove dominated solvers
7.13/7.23 c solver 1 is not dominated by another solver
7.13/7.23 c solver 2 is dominated by another solver
7.13/7.24 c solver 0 is dominated by another solver
7.13/7.24 c
7.13/7.24 c solver 0: 0.0
7.13/7.24 c
7.13/7.24 c solver 1: 36.0
7.13/7.24 c
7.13/7.24 c+ 2/2 of 98
7.13/7.24 c
7.13/7.24 c solver 2: 0.0
7.13/7.24 c do not run abscon
7.13/7.24 c run mistral for 1800.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6607
7.13/7.24 c do not run choco
7.13/7.24 c Starting solver: HOME/cpHydra_k_10/solver/mistral
7.13/7.24 c On Instance: HOME/instance-1102464-1215299335.xml
7.13/7.24 c Running for: 1800 seconds
10.50/10.65 c mistral-prime version 1.313
10.50/10.65 s SATISFIABLE
10.50/10.65 v 2 4 4 7 5 5 6 0 2 1 4 5 1 0 5 2 5 4 2 4 2 2 7 2 7 1 4 2 5 2 2 3 6 1 4 7 3 3 4 6
10.50/10.65 d CHECKS 22593445
10.50/10.65 d ASSIGNMENTS 27583
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1102464-1215299335/watcher-1102464-1215299335 -o /tmp/evaluation-result-1102464-1215299335/solver-1102464-1215299335 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1102464-1215299335.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.07 2.02 2.00 4/80 11000
/proc/meminfo: memFree=1629520/2055920 swapFree=4192812/4192956
[pid=11000] ppid=10998 vsize=5360 CPUtime=0
/proc/11000/stat : 11000 (hydra) S 10998 11000 10674 0 -1 4194304 285 0 0 0 0 0 0 0 18 0 1 0 141603632 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11000/statm: 1340 236 195 169 0 51 0
[pid=11001] ppid=11000 vsize=5360 CPUtime=0
/proc/11001/stat : 11001 (hydra) R 11000 11000 10674 0 -1 4194368 22 0 0 0 0 0 0 0 19 0 1 0 141603633 5488640 239 996147200 4194304 4889804 548682068816 18446744073709551615 233588714791 0 0 4096 0 0 0 0 17 1 0 0
/proc/11001/statm: 1340 239 198 169 0 51 0
[startup+0.0303699 s]
/proc/loadavg: 2.07 2.02 2.00 4/80 11000
/proc/meminfo: memFree=1629520/2055920 swapFree=4192812/4192956
[pid=11000] ppid=10998 vsize=5360 CPUtime=0
/proc/11000/stat : 11000 (hydra) S 10998 11000 10674 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 141603632 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11000/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.102376 s]
/proc/loadavg: 2.07 2.02 2.00 4/80 11000
/proc/meminfo: memFree=1629520/2055920 swapFree=4192812/4192956
[pid=11000] ppid=10998 vsize=5360 CPUtime=0
/proc/11000/stat : 11000 (hydra) S 10998 11000 10674 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 141603632 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11000/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.302398 s]
/proc/loadavg: 2.07 2.02 2.00 4/80 11000
/proc/meminfo: memFree=1629520/2055920 swapFree=4192812/4192956
[pid=11000] ppid=10998 vsize=5360 CPUtime=0
/proc/11000/stat : 11000 (hydra) S 10998 11000 10674 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 141603632 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11000/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.702436 s]
/proc/loadavg: 2.07 2.02 2.00 4/80 11000
/proc/meminfo: memFree=1629520/2055920 swapFree=4192812/4192956
[pid=11000] ppid=10998 vsize=5360 CPUtime=0
/proc/11000/stat : 11000 (hydra) S 10998 11000 10674 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 141603632 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11000/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+1.50152 s]
/proc/loadavg: 2.07 2.02 2.00 3/82 11004
/proc/meminfo: memFree=1627904/2055920 swapFree=4192812/4192956
[pid=11000] ppid=10998 vsize=5360 CPUtime=0
/proc/11000/stat : 11000 (hydra) S 10998 11000 10674 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 141603632 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11000/statm: 1340 236 195 169 0 51 0
[pid=11004] ppid=11000 vsize=5648 CPUtime=1.48
/proc/11004/stat : 11004 (xsolve) R 11000 11000 10674 0 -1 4194304 774 0 0 0 148 0 0 0 25 0 1 0 141603633 5783552 733 996147200 134512640 135239763 4294956176 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/11004/statm: 1412 733 411 177 0 315 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 11008
[startup+3.10168 s]
/proc/loadavg: 2.07 2.02 2.00 3/90 11016
/proc/meminfo: memFree=1621440/2055920 swapFree=4192812/4192956
[pid=11000] ppid=10998 vsize=5360 CPUtime=1.5
/proc/11000/stat : 11000 (hydra) S 10998 11000 10674 0 -1 4194304 375 1371 0 0 0 0 149 1 19 0 1 0 141603632 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11000/statm: 1340 238 196 169 0 51 0
[pid=11008] ppid=11000 vsize=197020 CPUtime=1.57
/proc/11008/stat : 11008 (java) S 11000 11000 10674 0 -1 0 6518 0 1 0 152 5 0 0 22 0 9 0 141603784 201748480 5486 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/11008/statm: 49255 5486 2540 9 0 43838 0
[pid=11008/tid=11009] ppid=11000 vsize=197020 CPUtime=1.2
/proc/11008/task/11009/stat : 11009 (java) R 11000 11000 10674 0 -1 64 2792 0 1 0 119 1 0 0 25 0 9 0 141603785 201748480 5486 996147200 134512640 134550740 4294955968 18446744073709551615 4126373619 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11008/tid=11010] ppid=11000 vsize=197020 CPUtime=0.19
/proc/11008/task/11010/stat : 11010 (java) S 11000 11000 10674 0 -1 64 2384 0 0 0 17 2 0 0 16 0 9 0 141603786 201748480 5486 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=11008/tid=11011] ppid=11000 vsize=197020 CPUtime=0
/proc/11008/task/11011/stat : 11011 (java) S 11000 11000 10674 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 141603786 201748480 5486 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11008/tid=11012] ppid=11000 vsize=197020 CPUtime=0
/proc/11008/task/11012/stat : 11012 (java) S 11000 11000 10674 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 141603786 201748480 5486 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11008/tid=11013] ppid=11000 vsize=197020 CPUtime=0
/proc/11008/task/11013/stat : 11013 (java) S 11000 11000 10674 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 141603788 201748480 5486 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11008/tid=11014] ppid=11000 vsize=197020 CPUtime=0.14
/proc/11008/task/11014/stat : 11014 (java) S 11000 11000 10674 0 -1 64 616 0 0 0 14 0 0 0 16 0 9 0 141603788 201748480 5486 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11008/tid=11015] ppid=11000 vsize=197020 CPUtime=0
/proc/11008/task/11015/stat : 11015 (java) S 11000 11000 10674 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 141603788 201748480 5486 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11008/tid=11016] ppid=11000 vsize=197020 CPUtime=0
/proc/11008/task/11016/stat : 11016 (java) S 11000 11000 10674 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 141603788 201748480 5486 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 202380
[startup+6.303 s]
/proc/loadavg: 2.07 2.02 2.00 3/90 11016
/proc/meminfo: memFree=1608576/2055920 swapFree=4192812/4192956
[pid=11000] ppid=10998 vsize=5360 CPUtime=1.5
/proc/11000/stat : 11000 (hydra) S 10998 11000 10674 0 -1 4194304 375 1371 0 0 0 0 149 1 19 0 1 0 141603632 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11000/statm: 1340 238 196 169 0 51 0
[pid=11008] ppid=11000 vsize=197020 CPUtime=4.76
/proc/11008/stat : 11008 (java) S 11000 11000 10674 0 -1 0 10270 0 1 0 460 16 0 0 22 0 9 0 141603784 201748480 8509 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/11008/statm: 49255 8509 2540 9 0 43838 0
[pid=11008/tid=11009] ppid=11000 vsize=197020 CPUtime=3.77
/proc/11008/task/11009/stat : 11009 (java) R 11000 11000 10674 0 -1 64 3601 0 1 0 372 5 0 0 25 0 9 0 141603785 201748480 8509 996147200 134512640 134550740 4294955968 18446744073709551615 4126375040 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11008/tid=11010] ppid=11000 vsize=197020 CPUtime=0.78
/proc/11008/task/11010/stat : 11010 (java) S 11000 11000 10674 0 -1 64 5311 0 0 0 70 8 0 0 16 0 9 0 141603786 201748480 8509 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=11008/tid=11011] ppid=11000 vsize=197020 CPUtime=0
/proc/11008/task/11011/stat : 11011 (java) S 11000 11000 10674 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 141603786 201748480 8509 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11008/tid=11012] ppid=11000 vsize=197020 CPUtime=0
/proc/11008/task/11012/stat : 11012 (java) S 11000 11000 10674 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 141603786 201748480 8509 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11008/tid=11013] ppid=11000 vsize=197020 CPUtime=0
/proc/11008/task/11013/stat : 11013 (java) S 11000 11000 10674 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 141603788 201748480 8509 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11008/tid=11014] ppid=11000 vsize=197020 CPUtime=0.17
/proc/11008/task/11014/stat : 11014 (java) S 11000 11000 10674 0 -1 64 632 0 0 0 17 0 0 0 16 0 9 0 141603788 201748480 8509 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11008/tid=11015] ppid=11000 vsize=197020 CPUtime=0
/proc/11008/task/11015/stat : 11015 (java) S 11000 11000 10674 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 141603788 201748480 8509 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11008/tid=11016] ppid=11000 vsize=197020 CPUtime=0
/proc/11008/task/11016/stat : 11016 (java) S 11000 11000 10674 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 141603788 201748480 8509 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 202380
Solver just ended. Dumping a history of the last processes samples
[startup+7.90217 s]
/proc/loadavg: 2.06 2.02 2.00 3/93 11019
/proc/meminfo: memFree=1600296/2055920 swapFree=4192812/4192956
[pid=11000] ppid=10998 vsize=5360 CPUtime=1.5
/proc/11000/stat : 11000 (hydra) S 10998 11000 10674 0 -1 4194304 375 1371 0 0 0 0 149 1 19 0 1 0 141603632 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11000/statm: 1340 238 196 169 0 51 0
[pid=11008] ppid=11000 vsize=197344 CPUtime=5.67
/proc/11008/stat : 11008 (java) S 11000 11000 10674 0 -1 0 11375 0 1 0 548 19 0 0 22 0 10 0 141603784 202080256 9337 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/11008/statm: 49336 9337 2543 9 0 43919 0
[pid=11018] ppid=11008 vsize=5356 CPUtime=0
/proc/11018/stat : 11018 (mistral) S 11008 11000 10674 0 -1 4194304 292 0 0 0 0 0 0 0 25 0 1 0 141604357 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 233588712260 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/11018/statm: 1339 236 196 169 0 50 0
[pid=11019] ppid=11018 vsize=5648 CPUtime=0.63
/proc/11019/stat : 11019 (xsolve) R 11018 11000 10674 0 -1 4194304 750 0 0 0 63 0 0 0 25 0 1 0 141604358 5783552 714 996147200 134512640 135239763 4294955952 18446744073709551615 135030867 0 4 0 0 0 0 0 17 0 0 0
/proc/11019/statm: 1412 714 392 177 0 315 0
[pid=11008/tid=11009] ppid=11000 vsize=197344 CPUtime=4.53
/proc/11008/task/11009/stat : 11009 (java) S 11000 11000 10674 0 -1 64 3858 0 1 0 447 6 0 0 24 0 10 0 141603785 202080256 9337 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=11008/tid=11010] ppid=11000 vsize=197344 CPUtime=0.9
/proc/11008/task/11010/stat : 11010 (java) S 11000 11000 10674 0 -1 64 6066 0 0 0 80 10 0 0 16 0 10 0 141603786 202080256 9337 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=11008/tid=11011] ppid=11000 vsize=197344 CPUtime=0
/proc/11008/task/11011/stat : 11011 (java) S 11000 11000 10674 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 141603786 202080256 9337 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11008/tid=11012] ppid=11000 vsize=197344 CPUtime=0
/proc/11008/task/11012/stat : 11012 (java) S 11000 11000 10674 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 141603786 202080256 9337 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11008/tid=11013] ppid=11000 vsize=197344 CPUtime=0
/proc/11008/task/11013/stat : 11013 (java) S 11000 11000 10674 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 141603788 202080256 9337 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11008/tid=11014] ppid=11000 vsize=197344 CPUtime=0.2
/proc/11008/task/11014/stat : 11014 (java) S 11000 11000 10674 0 -1 64 649 0 0 0 20 0 0 0 16 0 10 0 141603788 202080256 9337 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11008/tid=11015] ppid=11000 vsize=197344 CPUtime=0
/proc/11008/task/11015/stat : 11015 (java) S 11000 11000 10674 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 141603788 202080256 9337 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11008/tid=11016] ppid=11000 vsize=197344 CPUtime=0
/proc/11008/task/11016/stat : 11016 (java) S 11000 11000 10674 0 -1 64 6 0 0 0 0 0 0 0 15 0 10 0 141603788 202080256 9337 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11008/tid=11017] ppid=11000 vsize=197344 CPUtime=0
/proc/11008/task/11017/stat : 11017 (java) S 11000 11000 10674 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 141604357 202080256 9337 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 7.8
Current children cumulated vsize (KiB) 213708
[startup+9.50233 s]
/proc/loadavg: 2.06 2.02 2.00 3/93 11019
/proc/meminfo: memFree=1600232/2055920 swapFree=4192812/4192956
[pid=11000] ppid=10998 vsize=5360 CPUtime=1.5
/proc/11000/stat : 11000 (hydra) S 10998 11000 10674 0 -1 4194304 375 1371 0 0 0 0 149 1 19 0 1 0 141603632 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11000/statm: 1340 238 196 169 0 51 0
[pid=11008] ppid=11000 vsize=197344 CPUtime=5.67
/proc/11008/stat : 11008 (java) S 11000 11000 10674 0 -1 0 11401 0 1 0 548 19 0 0 22 0 10 0 141603784 202080256 9337 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/11008/statm: 49336 9337 2543 9 0 43919 0
[pid=11018] ppid=11008 vsize=5356 CPUtime=0
/proc/11018/stat : 11018 (mistral) S 11008 11000 10674 0 -1 4194304 292 0 0 0 0 0 0 0 25 0 1 0 141604357 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 233588712260 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/11018/statm: 1339 236 196 169 0 50 0
[pid=11019] ppid=11018 vsize=5648 CPUtime=2.23
/proc/11019/stat : 11019 (xsolve) R 11018 11000 10674 0 -1 4194304 750 0 0 0 223 0 0 0 25 0 1 0 141604358 5783552 714 996147200 134512640 135239763 4294955952 18446744073709551615 135030894 0 4 0 0 0 0 0 17 0 0 0
/proc/11019/statm: 1412 714 392 177 0 315 0
[pid=11008/tid=11009] ppid=11000 vsize=197344 CPUtime=4.53
/proc/11008/task/11009/stat : 11009 (java) S 11000 11000 10674 0 -1 64 3858 0 1 0 447 6 0 0 24 0 10 0 141603785 202080256 9337 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=11008/tid=11010] ppid=11000 vsize=197344 CPUtime=0.9
/proc/11008/task/11010/stat : 11010 (java) S 11000 11000 10674 0 -1 64 6092 0 0 0 80 10 0 0 16 0 10 0 141603786 202080256 9337 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=11008/tid=11011] ppid=11000 vsize=197344 CPUtime=0
/proc/11008/task/11011/stat : 11011 (java) S 11000 11000 10674 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 141603786 202080256 9337 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11008/tid=11012] ppid=11000 vsize=197344 CPUtime=0
/proc/11008/task/11012/stat : 11012 (java) S 11000 11000 10674 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 141603786 202080256 9337 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11008/tid=11013] ppid=11000 vsize=197344 CPUtime=0
/proc/11008/task/11013/stat : 11013 (java) S 11000 11000 10674 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 141603788 202080256 9337 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11008/tid=11014] ppid=11000 vsize=197344 CPUtime=0.2
/proc/11008/task/11014/stat : 11014 (java) S 11000 11000 10674 0 -1 64 649 0 0 0 20 0 0 0 16 0 10 0 141603788 202080256 9337 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11008/tid=11015] ppid=11000 vsize=197344 CPUtime=0
/proc/11008/task/11015/stat : 11015 (java) S 11000 11000 10674 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 141603788 202080256 9337 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11008/tid=11016] ppid=11000 vsize=197344 CPUtime=0
/proc/11008/task/11016/stat : 11016 (java) S 11000 11000 10674 0 -1 64 6 0 0 0 0 0 0 0 15 0 10 0 141603788 202080256 9337 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11008/tid=11017] ppid=11000 vsize=197344 CPUtime=0
/proc/11008/task/11017/stat : 11017 (java) S 11000 11000 10674 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 141604357 202080256 9337 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 9.4
Current children cumulated vsize (KiB) 213708
[startup+10.3014 s]
/proc/loadavg: 2.06 2.02 2.00 3/93 11019
/proc/meminfo: memFree=1600168/2055920 swapFree=4192812/4192956
[pid=11000] ppid=10998 vsize=5360 CPUtime=1.5
/proc/11000/stat : 11000 (hydra) S 10998 11000 10674 0 -1 4194304 375 1371 0 0 0 0 149 1 19 0 1 0 141603632 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11000/statm: 1340 238 196 169 0 51 0
[pid=11008] ppid=11000 vsize=197344 CPUtime=5.67
/proc/11008/stat : 11008 (java) S 11000 11000 10674 0 -1 0 11401 0 1 0 548 19 0 0 22 0 10 0 141603784 202080256 9337 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/11008/statm: 49336 9337 2543 9 0 43919 0
[pid=11018] ppid=11008 vsize=5356 CPUtime=0
/proc/11018/stat : 11018 (mistral) S 11008 11000 10674 0 -1 4194304 292 0 0 0 0 0 0 0 25 0 1 0 141604357 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 233588712260 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/11018/statm: 1339 236 196 169 0 50 0
[pid=11019] ppid=11018 vsize=5648 CPUtime=3.03
/proc/11019/stat : 11019 (xsolve) R 11018 11000 10674 0 -1 4194304 750 0 0 0 303 0 0 0 25 0 1 0 141604358 5783552 714 996147200 134512640 135239763 4294955952 18446744073709551615 135030867 0 4 0 0 0 0 0 17 0 0 0
/proc/11019/statm: 1412 714 392 177 0 315 0
[pid=11008/tid=11009] ppid=11000 vsize=197344 CPUtime=4.53
/proc/11008/task/11009/stat : 11009 (java) S 11000 11000 10674 0 -1 64 3858 0 1 0 447 6 0 0 24 0 10 0 141603785 202080256 9337 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=11008/tid=11010] ppid=11000 vsize=197344 CPUtime=0.9
/proc/11008/task/11010/stat : 11010 (java) S 11000 11000 10674 0 -1 64 6092 0 0 0 80 10 0 0 16 0 10 0 141603786 202080256 9337 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=11008/tid=11011] ppid=11000 vsize=197344 CPUtime=0
/proc/11008/task/11011/stat : 11011 (java) S 11000 11000 10674 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 141603786 202080256 9337 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11008/tid=11012] ppid=11000 vsize=197344 CPUtime=0
/proc/11008/task/11012/stat : 11012 (java) S 11000 11000 10674 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 141603786 202080256 9337 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11008/tid=11013] ppid=11000 vsize=197344 CPUtime=0
/proc/11008/task/11013/stat : 11013 (java) S 11000 11000 10674 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 141603788 202080256 9337 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11008/tid=11014] ppid=11000 vsize=197344 CPUtime=0.2
/proc/11008/task/11014/stat : 11014 (java) S 11000 11000 10674 0 -1 64 649 0 0 0 20 0 0 0 16 0 10 0 141603788 202080256 9337 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11008/tid=11015] ppid=11000 vsize=197344 CPUtime=0
/proc/11008/task/11015/stat : 11015 (java) S 11000 11000 10674 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 141603788 202080256 9337 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11008/tid=11016] ppid=11000 vsize=197344 CPUtime=0
/proc/11008/task/11016/stat : 11016 (java) S 11000 11000 10674 0 -1 64 6 0 0 0 0 0 0 0 15 0 10 0 141603788 202080256 9337 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11008/tid=11017] ppid=11000 vsize=197344 CPUtime=0
/proc/11008/task/11017/stat : 11017 (java) S 11000 11000 10674 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 141604357 202080256 9337 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 10.2
Current children cumulated vsize (KiB) 213708
[startup+10.5014 s]
/proc/loadavg: 2.06 2.02 2.00 3/93 11019
/proc/meminfo: memFree=1600168/2055920 swapFree=4192812/4192956
[pid=11000] ppid=10998 vsize=5360 CPUtime=1.5
/proc/11000/stat : 11000 (hydra) S 10998 11000 10674 0 -1 4194304 375 1371 0 0 0 0 149 1 19 0 1 0 141603632 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11000/statm: 1340 238 196 169 0 51 0
[pid=11008] ppid=11000 vsize=197344 CPUtime=5.67
/proc/11008/stat : 11008 (java) S 11000 11000 10674 0 -1 0 11401 0 1 0 548 19 0 0 22 0 10 0 141603784 202080256 9337 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/11008/statm: 49336 9337 2543 9 0 43919 0
[pid=11018] ppid=11008 vsize=5356 CPUtime=0
/proc/11018/stat : 11018 (mistral) S 11008 11000 10674 0 -1 4194304 292 0 0 0 0 0 0 0 25 0 1 0 141604357 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 233588712260 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/11018/statm: 1339 236 196 169 0 50 0
[pid=11019] ppid=11018 vsize=5648 CPUtime=3.23
/proc/11019/stat : 11019 (xsolve) R 11018 11000 10674 0 -1 4194304 750 0 0 0 323 0 0 0 25 0 1 0 141604358 5783552 714 996147200 134512640 135239763 4294955952 18446744073709551615 135103024 0 4 0 0 0 0 0 17 0 0 0
/proc/11019/statm: 1412 714 392 177 0 315 0
[pid=11008/tid=11009] ppid=11000 vsize=197344 CPUtime=4.53
/proc/11008/task/11009/stat : 11009 (java) S 11000 11000 10674 0 -1 64 3858 0 1 0 447 6 0 0 24 0 10 0 141603785 202080256 9337 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=11008/tid=11010] ppid=11000 vsize=197344 CPUtime=0.9
/proc/11008/task/11010/stat : 11010 (java) S 11000 11000 10674 0 -1 64 6092 0 0 0 80 10 0 0 16 0 10 0 141603786 202080256 9337 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=11008/tid=11011] ppid=11000 vsize=197344 CPUtime=0
/proc/11008/task/11011/stat : 11011 (java) S 11000 11000 10674 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 141603786 202080256 9337 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11008/tid=11012] ppid=11000 vsize=197344 CPUtime=0
/proc/11008/task/11012/stat : 11012 (java) S 11000 11000 10674 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 141603786 202080256 9337 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11008/tid=11013] ppid=11000 vsize=197344 CPUtime=0
/proc/11008/task/11013/stat : 11013 (java) S 11000 11000 10674 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 141603788 202080256 9337 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11008/tid=11014] ppid=11000 vsize=197344 CPUtime=0.2
/proc/11008/task/11014/stat : 11014 (java) S 11000 11000 10674 0 -1 64 649 0 0 0 20 0 0 0 16 0 10 0 141603788 202080256 9337 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11008/tid=11015] ppid=11000 vsize=197344 CPUtime=0
/proc/11008/task/11015/stat : 11015 (java) S 11000 11000 10674 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 141603788 202080256 9337 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11008/tid=11016] ppid=11000 vsize=197344 CPUtime=0
/proc/11008/task/11016/stat : 11016 (java) S 11000 11000 10674 0 -1 64 6 0 0 0 0 0 0 0 15 0 10 0 141603788 202080256 9337 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11008/tid=11017] ppid=11000 vsize=197344 CPUtime=0
/proc/11008/task/11017/stat : 11017 (java) S 11000 11000 10674 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 141604357 202080256 9337 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 10.4
Current children cumulated vsize (KiB) 213708
[startup+10.6014 s]
/proc/loadavg: 2.06 2.02 2.00 3/93 11019
/proc/meminfo: memFree=1600168/2055920 swapFree=4192812/4192956
[pid=11000] ppid=10998 vsize=5360 CPUtime=1.5
/proc/11000/stat : 11000 (hydra) S 10998 11000 10674 0 -1 4194304 375 1371 0 0 0 0 149 1 19 0 1 0 141603632 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11000/statm: 1340 238 196 169 0 51 0
[pid=11008] ppid=11000 vsize=197344 CPUtime=5.67
/proc/11008/stat : 11008 (java) S 11000 11000 10674 0 -1 0 11401 0 1 0 548 19 0 0 22 0 10 0 141603784 202080256 9337 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/11008/statm: 49336 9337 2543 9 0 43919 0
[pid=11018] ppid=11008 vsize=5356 CPUtime=0
/proc/11018/stat : 11018 (mistral) S 11008 11000 10674 0 -1 4194304 292 0 0 0 0 0 0 0 25 0 1 0 141604357 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 233588712260 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/11018/statm: 1339 236 196 169 0 50 0
[pid=11019] ppid=11018 vsize=5648 CPUtime=3.33
/proc/11019/stat : 11019 (xsolve) R 11018 11000 10674 0 -1 4194304 750 0 0 0 333 0 0 0 25 0 1 0 141604358 5783552 714 996147200 134512640 135239763 4294955952 18446744073709551615 134821598 0 4 0 0 0 0 0 17 0 0 0
/proc/11019/statm: 1412 714 392 177 0 315 0
[pid=11008/tid=11009] ppid=11000 vsize=197344 CPUtime=4.53
/proc/11008/task/11009/stat : 11009 (java) S 11000 11000 10674 0 -1 64 3858 0 1 0 447 6 0 0 24 0 10 0 141603785 202080256 9337 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=11008/tid=11010] ppid=11000 vsize=197344 CPUtime=0.9
/proc/11008/task/11010/stat : 11010 (java) S 11000 11000 10674 0 -1 64 6092 0 0 0 80 10 0 0 16 0 10 0 141603786 202080256 9337 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=11008/tid=11011] ppid=11000 vsize=197344 CPUtime=0
/proc/11008/task/11011/stat : 11011 (java) S 11000 11000 10674 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 141603786 202080256 9337 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11008/tid=11012] ppid=11000 vsize=197344 CPUtime=0
/proc/11008/task/11012/stat : 11012 (java) S 11000 11000 10674 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 141603786 202080256 9337 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11008/tid=11013] ppid=11000 vsize=197344 CPUtime=0
/proc/11008/task/11013/stat : 11013 (java) S 11000 11000 10674 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 141603788 202080256 9337 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11008/tid=11014] ppid=11000 vsize=197344 CPUtime=0.2
/proc/11008/task/11014/stat : 11014 (java) S 11000 11000 10674 0 -1 64 649 0 0 0 20 0 0 0 16 0 10 0 141603788 202080256 9337 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11008/tid=11015] ppid=11000 vsize=197344 CPUtime=0
/proc/11008/task/11015/stat : 11015 (java) S 11000 11000 10674 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 141603788 202080256 9337 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11008/tid=11016] ppid=11000 vsize=197344 CPUtime=0
/proc/11008/task/11016/stat : 11016 (java) S 11000 11000 10674 0 -1 64 6 0 0 0 0 0 0 0 15 0 10 0 141603788 202080256 9337 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11008/tid=11017] ppid=11000 vsize=197344 CPUtime=0
/proc/11008/task/11017/stat : 11017 (java) S 11000 11000 10674 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 141604357 202080256 9337 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 10.5
Current children cumulated vsize (KiB) 213708
Child status: 0
Real time (s): 10.6753
CPU time (s): 10.5914
CPU user time (s): 10.3724
CPU system time (s): 0.218966
CPU usage (%): 99.2139
Max. virtual memory (cumulated for all children) (KiB): 213708
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.3724
system time used= 0.218966
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14321
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= 9348
involuntary context switches= 10926
runsolver used 0.019996 second user time and 0.069989 second system time
The end