0.00/0.00 c cpHydra_k_10 version 0.0
86.06/86.97 c CASE TO CLASSIFY:
86.06/86.97 c Case: 0
86.06/86.97 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.198400 | c 15 > 14.631900 | c 34 > 67.891400 | c 16 > 2.000000 | c 13 > 2.295360 | c 14 > -1.000000 | c 11 > 10.965800 | c 12 > 4.217230 | c 21 > 19.377600 | c 20 > 0.000000 | c 22 > 21.307300 | c 23 > 7.439290 | c 24 > 0.816037 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 14.183000 | 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 > 19.518400 | c 31 > -1.000000 | c 4 > 10.965800 | c 9 > -1.000000 | c 8 > -1.000000 | c
86.06/86.98 c choco : 1801.0
86.06/86.98 c mistral : 1801.0
86.06/86.98 c abscon : 1801.0
86.06/86.98 c
86.06/86.98 c
86.35/87.24 c List of same ones: 12
86.35/87.24 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp14/fapp14-2500-10.xml
86.35/87.24 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.234200 | c 15 > 10.695200 | c 34 > 68.320200 | c 16 > 2.000000 | c 13 > 2.980850 | c 14 > -1.000000 | c 11 > 11.287700 | c 12 > 5.027400 | c 21 > 17.599100 | c 20 > 0.000000 | c 22 > 19.026300 | c 23 > 5.725240 | c 24 > 0.784607 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 15.315100 | 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 > 19.562600 | c 31 > -1.000000 | c 4 > 11.287700 | c 9 > -1.000000 | c 8 > -1.000000 | c
86.35/87.25 c choco : 1801.0
86.35/87.25 c mistral : 1800.04
86.35/87.25 c abscon : 331.113
86.35/87.25 c
86.35/87.25 c
86.35/87.25 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp14/fapp14-2500-9.xml
86.35/87.25 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.234200 | c 15 > 10.502800 | c 34 > 68.320200 | c 16 > 2.000000 | c 13 > 2.980850 | c 14 > -1.000000 | c 11 > 11.287700 | c 12 > 5.027400 | c 21 > 17.599100 | c 20 > 0.000000 | c 22 > 19.026300 | c 23 > 5.725240 | c 24 > 0.784607 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 15.315100 | 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 > 19.562600 | c 31 > -1.000000 | c 4 > 11.287700 | c 9 > -1.000000 | c 8 > -1.000000 | c
86.35/87.26 c choco : 1801.0
86.35/87.26 c mistral : 1800.09
86.35/87.26 c abscon : 506.936
86.35/87.26 c
86.35/87.26 c
86.35/87.26 c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp36/fapp36-2000-10.xml
86.35/87.26 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.198400 | c 15 > 8.703900 | c 34 > 67.891400 | c 16 > 2.000000 | c 13 > 2.295360 | c 14 > -1.000000 | c 11 > 10.965800 | c 12 > 4.217230 | c 21 > 19.377600 | c 20 > 0.000000 | c 22 > 21.307300 | c 23 > 7.439290 | c 24 > 0.816037 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 14.183000 | 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 > 19.518400 | c 31 > -1.000000 | c 4 > 10.965800 | c 9 > -1.000000 | c 8 > -1.000000 | c
86.35/87.27 c choco : 1801.0
86.35/87.27 c mistral : 1800.02
86.35/87.27 c abscon : 20.4989
86.35/87.27 c
86.35/87.27 c
86.35/87.27 c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp36/fapp36-2000-7.xml
86.35/87.27 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.198400 | c 15 > 8.703900 | c 34 > 67.891400 | c 16 > 2.000000 | c 13 > 2.295360 | c 14 > -1.000000 | c 11 > 10.965800 | c 12 > 4.217230 | c 21 > 19.377600 | c 20 > 0.000000 | c 22 > 21.307300 | c 23 > 7.439290 | c 24 > 0.816037 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 14.183000 | 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 > 19.518400 | c 31 > -1.000000 | c 4 > 10.965800 | c 9 > -1.000000 | c 8 > -1.000000 | c
86.35/87.28 c choco : 1801.0
86.35/87.28 c mistral : 1800.04
86.35/87.28 c abscon : 18.3632
86.35/87.28 c
86.35/87.28 c
86.35/87.28 c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp36/fapp36-2000-5.xml
86.35/87.28 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.198400 | c 15 > 8.682990 | c 34 > 67.891400 | c 16 > 2.000000 | c 13 > 2.295360 | c 14 > -1.000000 | c 11 > 10.965800 | c 12 > 4.217230 | c 21 > 19.377600 | c 20 > 0.000000 | c 22 > 21.307300 | c 23 > 7.439290 | c 24 > 0.816037 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 14.183000 | 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 > 19.518400 | c 31 > -1.000000 | c 4 > 10.965800 | c 9 > -1.000000 | c 8 > -1.000000 | c
86.35/87.29 c choco : 1801.0
86.35/87.29 c mistral : 44.9202
86.35/87.29 c abscon : 8.17176
86.35/87.29 c
86.35/87.29 c
86.35/87.29 c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp36/fapp36-2000-8.xml
86.35/87.29 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.198400 | c 15 > 8.682990 | c 34 > 67.891400 | c 16 > 2.000000 | c 13 > 2.295360 | c 14 > -1.000000 | c 11 > 10.965800 | c 12 > 4.217230 | c 21 > 19.377600 | c 20 > 0.000000 | c 22 > 21.307300 | c 23 > 7.439290 | c 24 > 0.816037 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 14.183000 | 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 > 19.518400 | c 31 > -1.000000 | c 4 > 10.965800 | c 9 > -1.000000 | c 8 > -1.000000 | c
86.43/87.30 c choco : 1801.0
86.43/87.30 c mistral : 1800.06
86.43/87.30 c abscon : 19.3081
86.43/87.30 c
86.43/87.30 c
86.43/87.30 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp11/fapp11-1000-10.xml
86.43/87.30 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.026200 | c 15 > 10.630300 | c 34 > 68.212500 | c 16 > 2.000000 | c 13 > 2.978070 | c 14 > -1.000000 | c 11 > 9.965780 | c 12 > 4.909970 | c 21 > 17.164900 | c 20 > 0.000000 | c 22 > 19.026300 | c 23 > 5.546080 | c 24 > 1.046680 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 13.875700 | 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 > 18.168600 | c 31 > -1.000000 | c 4 > 9.965780 | c 9 > -1.000000 | c 8 > -1.000000 | c
86.43/87.30 c choco : 1801.0
86.43/87.30 c mistral : 228.6
86.43/87.30 c abscon : 55.2496
86.43/87.31 c
86.43/87.31 c
86.43/87.31 c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp36/fapp36-2000-1.xml
86.43/87.31 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.198400 | c 15 > 8.672430 | c 34 > 67.891400 | c 16 > 2.000000 | c 13 > 2.295360 | c 14 > -1.000000 | c 11 > 10.965800 | c 12 > 4.217230 | c 21 > 19.377600 | c 20 > 0.000000 | c 22 > 21.307300 | c 23 > 7.439290 | c 24 > 0.816037 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 14.183000 | 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 > 19.518400 | c 31 > -1.000000 | c 4 > 10.965800 | c 9 > -1.000000 | c 8 > -1.000000 | c
86.43/87.31 c choco : 1801.0
86.43/87.31 c mistral : 91.75
86.43/87.31 c abscon : 7.97579
86.43/87.31 c
86.43/87.31 c
86.43/87.31 c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp36/fapp36-2000-9.xml
86.43/87.31 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.198400 | c 15 > 8.665340 | c 34 > 67.891400 | c 16 > 2.000000 | c 13 > 2.295360 | c 14 > -1.000000 | c 11 > 10.965800 | c 12 > 4.217230 | c 21 > 19.377600 | c 20 > 0.000000 | c 22 > 21.307300 | c 23 > 7.439290 | c 24 > 0.816037 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 14.183000 | 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 > 19.518400 | c 31 > -1.000000 | c 4 > 10.965800 | c 9 > -1.000000 | c 8 > -1.000000 | c
86.43/87.32 c choco : 1801.0
86.43/87.32 c mistral : 1800.05
86.43/87.32 c abscon : 19.2911
86.43/87.32 c
86.43/87.32 c
86.43/87.32 c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp36/fapp36-2000-2.xml
86.43/87.32 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.198400 | c 15 > 8.661780 | c 34 > 67.891400 | c 16 > 2.000000 | c 13 > 2.295360 | c 14 > -1.000000 | c 11 > 10.965800 | c 12 > 4.217230 | c 21 > 19.377600 | c 20 > 0.000000 | c 22 > 21.307300 | c 23 > 7.439290 | c 24 > 0.816037 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 14.183000 | 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 > 19.518400 | c 31 > -1.000000 | c 4 > 10.965800 | c 9 > -1.000000 | c 8 > -1.000000 | c
86.43/87.33 c choco : 1801.0
86.43/87.33 c mistral : 93.34
86.43/87.33 c abscon : 7.92479
86.43/87.33 c
86.43/87.33 c
86.43/87.33 c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp36/fapp36-2000-3.xml
86.43/87.33 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.198400 | c 15 > 8.661780 | c 34 > 67.891400 | c 16 > 2.000000 | c 13 > 2.295360 | c 14 > -1.000000 | c 11 > 10.965800 | c 12 > 4.217230 | c 21 > 19.377600 | c 20 > 0.000000 | c 22 > 21.307300 | c 23 > 7.439290 | c 24 > 0.816037 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 14.183000 | 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 > 19.518400 | c 31 > -1.000000 | c 4 > 10.965800 | c 9 > -1.000000 | c 8 > -1.000000 | c
86.43/87.34 c choco : 1801.0
86.43/87.34 c mistral : 108.08
86.43/87.34 c abscon : 8.13076
86.43/87.34 c
86.43/87.34 c
86.43/87.34 c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp36/fapp36-2000-6.xml
86.43/87.34 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.198400 | c 15 > 8.661780 | c 34 > 67.891400 | c 16 > 2.000000 | c 13 > 2.295360 | c 14 > -1.000000 | c 11 > 10.965800 | c 12 > 4.217230 | c 21 > 19.377600 | c 20 > 0.000000 | c 22 > 21.307300 | c 23 > 7.439290 | c 24 > 0.816037 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 14.183000 | 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 > 19.518400 | c 31 > -1.000000 | c 4 > 10.965800 | c 9 > -1.000000 | c 8 > -1.000000 | c
86.43/87.36 c choco : 1801.0
86.43/87.36 c mistral : 41.0328
86.43/87.36 c abscon : 8.14076
86.43/87.36 c
86.43/87.36 c
86.43/87.36 c Length: 12
86.43/87.36 c 5.5386326567484145 5.6769984698254055 5.927999999999999 5.927999999999999 5.94891 5.94891 5.949794801507781 5.95947 5.966559999999999 5.97012 5.97012 5.97012
86.43/87.36 c
86.43/87.36 c 1.0 0.7571904067910269 0.5256561853715127 0.5256561853715127 0.5125985327848034 0.5125985327848034 0.5120602924355866 0.5062476191107956 0.502071177078952 0.5 0.5 0.5
86.43/87.36 c
86.43/87.36 c solver 0
86.43/87.36 c before 0.0 seconds: {} 0
86.43/87.36 c before 18.0 seconds: {4, 7, 9, 10, 11} 2518
86.43/87.37 c before 36.0 seconds: {2, 3, 4, 5, 7, 8, 9, 10, 11} 4584
86.43/87.37 c before 72.0 seconds: {2, 3, 4, 5, 6, 7, 8, 9, 10, 11} 5096
86.43/87.37 c before 342.0 seconds: {0, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11} 6096
86.43/87.37 c before 522.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11} 6854
86.43/87.37 c
86.43/87.37 c solver 1
86.43/87.37 c before 0.0 seconds: {} 0
86.43/87.37 c before 54.0 seconds: {4, 11} 1012
86.43/87.37 c before 108.0 seconds: {4, 7, 9, 11} 2018
86.43/87.37 c before 126.0 seconds: {4, 7, 9, 10, 11} 2518
86.43/87.37 c before 234.0 seconds: {4, 6, 7, 9, 10, 11} 3030
86.43/87.37 c
86.43/87.37 c solver 2
86.43/87.37 c before 0.0 seconds: {} 0
86.43/87.37 c
86.43/87.37 cTotal time: 42
86.43/87.37 c 756.0 seconds unused
86.43/87.37 c 0 c 6 c 12
86.43/87.37 c 0 c 0 c 6
86.43/87.37 c 0 c 0 c 0
86.43/87.37 c is solver0 dominated by:
86.43/87.37 c solver 1 (0 solves instances that 1 can't: true) (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)
86.43/87.37 c solver 2 (0 solves instances that 2 can't: true) (2 doesn't solve instances that 0 can't: true) (0 is faster than 2: false) (0 is equally as fast as 2: false) (0 < 2: false)
86.43/87.37 c is dominated? false
86.43/87.37 c
86.43/87.37 c is solver1 dominated by:
86.43/87.37 c solver 0 (1 solves instances that 0 can't: false) (0 doesn't solve instances that 1 can't: false) (1 is faster than 0: true) (1 is equally as fast as 0: false) (1 < 0: true)
86.43/87.37 c is dominated? true
86.43/87.37 c
86.43/87.37 c is solver2 dominated by:
86.43/87.37 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)
86.43/87.37 c is dominated? true
86.43/87.37 c
86.43/87.37 c Number of non-dominated solvers: 1
86.43/87.37 c remove dominated solvers
86.43/87.37 c solver 0 is not dominated by another solver
86.43/87.37 c solver 2 is dominated by another solver
86.43/87.37 c solver 1 is dominated by another solver
86.43/87.37 c
86.43/87.37 c solver 0: 522.0
86.43/87.37 c
86.43/87.37 c+ 29/29 of 71
86.43/87.37 c
86.43/87.37 c solver 1: 0.0
86.43/87.37 c
86.43/87.37 c solver 2: 0.0
86.43/87.37 c run abscon for 1800.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11} 6854
86.43/87.37 c do not run mistral
86.43/87.37 c do not run choco
86.43/87.37 c Starting solver: HOME/cpHydra_k_10/solver/abscon
86.43/87.37 c On Instance: HOME/instance-1087590-1215244841.xml
86.43/87.37 c Running for: 1800 seconds
120.85/121.84 s SAT
120.85/121.84 v -2194 -2518 -2454 -2894 -2694 2686 2270 2514 2538 -2658 2082 -2246 -2542 2642 2854 2758 2254 2202 -2030 -2894 2854 2442 2826 2498 -2390 -2274 -1990 1990 2546 -2382 2050 1990 2562 2606 -2894 -2806 2710 -2818 -2770 -2150 -2854 2766 2038 -2838 -2854 -2894 2574 -2578 -2686 2758 -2314 -2770 2474 -2034 -2562 -2518 -2854 2686 -2854 2654 -2730 -2150 -2238 -2030 -2382 -2098 2210 2458 -2482 -2642 -1990 2754 -2826 -2810 -2842 -2622 2642 -2266 -2422 -2070 2502 2386 2214 -2678 -2590 -2894 -2722 -2266 2714 -2338 -2110 -2818 -2166 -2778 1990 -2578 -2030 2766 -2442 2206 -2706 2266 -2486 -2722 -2582 -2610 -2018 -2742 2366 2838 -2222 2638 -2306 2414 -2530 2030 2518 -2290 2830 -2010 2810 -2894 2702 -2830 -2602 -2146 -2130 2078 2102 -2834 -2070 2518 -2646 -2478 2242 -2650 -2326 -2286 2854 -2274 -2650 -2718 -2194 -2502 2854 -2854 -2606 -2374 2270 -2314 -2462 -2818 -2534 -2894 2790 2194 -2174 2522 -2750 -2606 -2278 2650 -2474 -2634 -2030 -2854 -2594 -2518 -2702 -2146 2742 2666 -2386 -2562 2826 -2442 -2154 2406 -2834 2582 -2834 -2482 -2774 -2830 -2498 -2030 -2894 -2542 2446 2730 -2282 -2374 -2358 -1990 2450 -2174 -2190 -2762 -2294 -2122 -2266 -2118 -2486 2370 2726 -2262 -1998 -2434 2894 -2414 -2774 -2098 -2342 -2750 -2798 -2658 2722 2510 2382 -2622 -2894 -2618 -2190 -2522 -2394 -2278 -2854 -2378 -2738 2462 -2778 2838 2738 2286 -2714 -2790 -2490 -2374 -2746 2138 -2706 2030 2014 -2230 -2030 -2894 -2706 -2582 -2322 -2258 2458 -2030 -2518 -2578 2258 -2030 2386 2654 -2698 2178 -2418 -2854 2806 -2334 -2870 2270 2870 -2374 -2294 -1990 -2838 -2618 -2894 2766 -2626 1990 -2786 -2894 -2674 -2454 -2562 -2682 -2586 -2474 2034 2894 -1994 -2098 2342 -2314 -2494 2678 -2414 -2586 -2282 2262 -2602 -2786 -2190 -2846 -2814 -2566 -2258 -2754 2590 2242 -2074 -2482 -2646 -2646 2586 -2230 -2142 -2530 2142 -2426 -2894 -2894 -2718 1990 1990 -2882 -2894 -2710 -2786 -2474 2786 -2854 2622 -2862 -2486 -2582 -2558 2398 -2534 2478 -2582 2162 -2678 1990 -2402 -2446 -2362 -2334 -2010 2454 2834 -2042 -2742 -2378 -2030 -2614 2226 -2430 -2258 -2594 -2198 2030 -2854 -2230 -2854 2162 2030 -2650 -2010 -2726 -2046 2142 -2346 -2718 -2806 -2078 -2038 -2454 -2454 2606 -1990 2562 2414 -2586 -2374 2030 2766 2338 -1990 2014 2670 -2854 -2774 -2394 -2674 -2166 2842 2238 -2854 -2434 -2070 -2550 -2310 2714 -2882 2826 -2238 2266 2306 -2854 2242 -2002 -2434 2306 -2006 -2298 -2750 -2634 2650 -2174 2854 -2282 2882 -2378 2402 -2330 -2090 -2346 -2742 -2854 -2014 -2682 -2330 -2794 -2478 -2518 -2218 2230 -2538 2882 2166 2826 -2854 -2254 -2522 2254 2474 -2562 2854 -2450 2178 2758 -2546 2678 -2078 1990 -2254 2830 -2290 -2602 -2418 2514 -2594 -2182 -2318 -2062 -2710 -2438 -2822 -2530 -2894 2230 -2330 -2202 -2382 2306 2178 -2842 2030 -2334 2226 -2554 -2422 -2626 2490 -2030 -2542 -2358 -2826 -2534 -2482 -2230 -2358 2422 -2706 1990 -2314 -2658 -2014 -2758 -2474 -2854 2606 -2458 -2154 2798 2746 2738 -2462 -2854 2578 -2102 -2894 2858 1990 -2102 -2686 -2090 2774 -2854 -2794 2698 -2362 -2626 2826 -2394 -2030 -2466 -2854 -2514 -2790 -2270 -2666 -2882 -2618 -2510 -2426 -2706 -2110 -1990 2666 -2622 -2642 -2134 -2030 -2794 -2226 2482 -2030 -1990 -2206 -2662 -2614 2790 -2282 2866 -2886 -2250 -2674 -2398 2430 -2586 -2470 -2114 -2010 -2398 1990 -2090 2250 2254 2442 -1990 -2890 2626 -2822 -2374 -2610 2122 -2714 2038 -2314 -2726 -2190 2550 -2710 -2842 -1990 2846 -2362 -2894 -2798 -2066 2158 -2702 -2742 -2478 2358 -2530 -2062 -2714 -2058 -2782 2334 -2246 2494 -2654 -2798 1990 -2098 -2882 -2286 -2130 -2190 -2730 -2834 2658 -1990 -2354 -2730 -2186 2850 -2082 -2894 -2030 -2582 2702 -2702 2022 -1994 2886 -2894 -2350 2706 -1990 -2274 -2078 -2858 -2110 2162 2490 -2486 2726 -2894 -2218 2558 -2182 -2054 -2438 -2190 -2778 2618 -2854 -2710 2650 2870 -2494 -2242 -2394 2774 -2854 2498 -2682 2634 2786 -2658 -2750 -2602 -2290 -2478 2438 -2630 -2854 -2426 -2566 2518 -2754 2434 2362 -2602 -2674 -2126 -2662 -2870 -2390 -2414 -2894 2806 2818 -2078 -2226 -2358 -2878 -2894 -2382 -2246 -2878 -2414 -2602 -2226 2070 -2238 2422 -2722 -2626 -2014 2506 2438 2742 2526 -2618 2678 -2218 -2562 2662 2406 -2854 -2030 -2342 2694 -2882 -2054 2690 -2214 -2690 -2546 2706 -2142 2358 -2202 -2318 -2342 -2602 -2654 2814 -2050 2666 2346 -2154 -2322 -2490 -2562 -2394 -2466 -2438 2562 2178 -2478 2626 2086 2538 -2674 -2430 -2806 2434 -2206 -2090 2530 -2534 -2018 -2030 -2894 -2662 2302 -2794 -2854 -2138 -2682 -2478 2446 -2194 -2506 -2590 -2490 -2030 -2798 -2746 -2586 2134 2810 -2182 1994 -2422 2646 -2374 2126 -2218 2250 -2390 -2218 -2606 2462 -2494 -2030 -2766 -2654 -2882 -2618 2030 -2586 2806 2674 -2518 2814 2810 -1990 2606 2034 -2646 -2222 2158 -2462 -2654 -2030 -2174 -2854 -2334 2322 -2522 2518 -2514 -2394 2030 -2558 -2638 -2198 -2366 2038 -2034 2334 2818 2702 -2030 -2226 -2774 -2542 -2046 -2374 -2546 -2126 -2750 -2802 -2490 -1990 -2078 -2842 -2142 2374 2546 -2190 2814 2030 2314 -2834 -2638 2478 -1990 -2490 -2774 1990 1990 -2058 2830 -2130 -2462 -2474 2646 -2338 2434 -2426 -2154 -2586 -2894 2646 -2894 2538 -2374 -2690 -2786 -2642 -2126 -2478 2154 -2702 -2894 -2222 -2398 -2330 -2294 -2462 -2754 -2794 -2442 -2186 -2566 -2822 -2038 2030 -2262 -2642 2638 -2602 -2354 -2658 -2482 -2826 2798 -1998 2518 -2746 2498 2758 2682 -2826 2434 -2474 2702 -2798 -2854 -2578 -2490 -2202 -2710 2566 2162 -2090 2854 -2798 -2406 2510 -2574 2278 -2854 -2030 -2494 -2214 -2098 -2894 -2842 -2310 -2290 2526 -2894 -2470 -2198 -2122 -2274 2330 2726 -2042 2034 -2790 -2542 2774 2350 -2602 2662 2462 -2014 -2546 -2210 -2350 -2854 2794 -2814 2606 -2318 -2758 -2770 2370 -2854 -2410 2626 -2854 -2418 -2406 -2054 -2410 -2718 -2602 -2674 -2794 -2302 -2458 -2030 2374 2574 -2278 -2422 -2698 -2158 -2826 2686 -2414 2030 -2186 -2302 -2854 -2038 -2738 -2354 -2522 -2598 -2558 -2706 -2874 -2530 2798 -2814 2162 2482 -2554 2566 -2054 -2046 2030 -2414 2310 -2458 -1994 -2426 -2702 -2386 -2654 -2154 -2386 -2418 -2578 -2494 1990 -2442 2030 2722 2578 -2034 2606 2682 -2798 -2342 2370 -2226 2854 2230 2662 2378 -2818 -2118 -2802 2562 -2438 -2466 -2622 2058 -2270 -2662 -2178 -2838 2378 -2598 2702 -2474 2526 -2022 -2638 -2106 -2850 -2602 2446 -2894 -2894 2534 2546 2718 -2550 -2210 -2374 -2186 -2050 1990 -2746 2758 2686 -2106 2750 -2014 -2302 2226 -2814 2226 -2158 -2070 2634 2794 -2306 -2846 2534 -2398 -2362 -2854 -2894 -2750 -2246 -2474 -2826 2854 -2834 -2634 -2014 -2866 -2334 -2366 -2078 2430 -2746 2470 -2018 -2770 -1990 2862 -2742 -2330 -2842 2002 -2854 2290 -2802 2210 2566 2526 -2366 2786 2762 -2798 -2894 -2562 -2206 -2854 -2126 -2882 2798 -2426 -2614 -2370 -2746 -2642 -2758 2386 -2126 -2894 -1998 1990 -2562 -2082 -2706 -2282 -2030 2150 -2182 2290 2326 -2362 -2422 -2166 -2894 -1998 -1990 2250 2062 2178 2514 2718 2594 -1990 -2490 2582 -2030 2806 -2538 -2174 2462 2126 -2366 -2586 -2202 2830 -2242 -2662 -2290 -2030 -2574 2770 -2098 -2894 2382 -2678 -2882 2894 -2498 -2438 2814 2522 -2626 -2534 -2374 2838 2218 -2226 -2154 -2534 -2854 -2690 2206 -2602 -2622 2670 -2538 -2726 2546 -2734 2038 -2490 -2514 2514 2470 2614 -2198 -2242 -2826 -2842 -2786 -2686 -2894 2010 2442 2378 2374 2318 2842 -2390 -2486 -2502 -2286 -2090 -2710 -2522 -2490 2058 -2858 2690 2226 -2526 -2570 -2882 -2606 -2610 -2078 -2478 -2414 2730 2210 -2538 -2490 -2506 -2734 -2694 -2446 -2130 -2642 2326 2586 -2214 -2894 -2030 -2558 -2054 -2498 -2350 -2042 -2422 -2474 -2834 2846 2166 -2086 2746 -2370 2306 -2894 2374 -2282 -2794 -2854 -2854 -2306 -2674 -2414 -2402 -2042 -2274 2770 -2118 2310 -2690 -2702 -2894 -2666 -2534 -2374 2250 -2854 -2310 2658 -2314 2466 2838 2346 -2566 -2166 2322 -2550 -2266 -2058 -2738 -2518 -2322 -2190 -2374 -2242 2754 2802 -2230 -2690 -2854 2690 -2650 2894 2894 2714 -2334 -2106 -2134 -2450 2122 -2586 -2610 2894 -2322 2150 2222 2454 2326 -2826 -2842 -2062 1990 -2734 2750 2730 -2342 2486 -2178 2678 -2538 -1990 2854 2798 -2354 -2474 -2786 -2574 2794 -2222 2434 2254 -2466 -2578 -2558 2202 -2118 -2782 -2574 2134 2486 -2670 2490 2626 -2090 -2818 -2186 -2750 -2118 2454 2038 -2690 -2426 2050 -2546 -1990 -2742 -2210 -2194 -2854 2430 -2666 -2030 2118 -2646 -2266 2762 -2518 -2854 -2178 -2854 2602 -2894 2694 2502 2586 -2894 -2562 -2274 -2334 2030 -2506 -2218 2630 -2698 -2662 -2130 2538 2410 1998 2126 -2354 -2498 -2622 -2782 2226 -2294 -2374 -2406 -2750 -2266 2630 2082 -2562 -1990 2674 2554 -1990 2274 2302 -2094 2074 -2362 -2186 -2570 -2794 2498 -2458 2414 -2230 -2334 -2678 -2422 -2546 -2846 -2042 2830 -2794 -2030 2534 -2342 -2510 2002 -2318 -2706 -2290 -2642 -2854 -2450 2450 2346 2458 2662 -2398 2530 -2894 -2054 2498 -2854 -2278 -2542 -2182 -2078 -2182 -2374 2846 -2834 -2730 -2186 2670 2310 -2702 -2882 -2726 -2218 1998 -2894 2838 -2194 -2410 -2550 -2770 -2618 2326 2506 -2854 -2786 2846 -2030 -2834 -2490 2542 -2454 -2034 -2366 2858 2402 -2426 -2662 2006 -2854 -1990 -2218 -2442 -2482 -2598 -2430 2446 2654 2414 2578 2854 -2314 -2606 -2894 -2806 2166 -2590 1990 -2314 -2166 -2746 -2550 1990 -2294 -2350 -2806 -2854 -2334 -2442 2710 2730 -2094 2498 -2190 -2742 2294 -2414 -2486 2446 -2894 2494 -2682 -2238 -2382 -2894 -2046 -2530 -2710 -2106 -2642 -2770 -2014 -2746 -2750 -2282 -2274 -2386 -2318 -2070 -2714 -2894 -2118 -2582 2814 -2330 2090 2702 -2894 2518 2342 -2050 -2566 2078 -2314 -2138 -2350 -2746 -2470 -2074 -2206 -2054 -2510 -2338 -2014 1990 -2226 2578 -2102 2438 -2166 2146 -2882 -2230 -2458 2866 2650 -2166 -2894 2030 2842 -2054 2478 -2070 -2618 2050 -2638 -2758 -2806 2758 -2578 -2354 -2566 -2546 -2162 -2394 -2754 -2186 -2706 -2630 -2698 2606 -2542 -2354 2030 -1990 2358 -2622 -2882 2870 -2790 -2402 2394 -2082 -2818 -2602 -1990 -2030 2634 -2030 -2414 -2378 -2578 -2054 -2130 -2242 2322 2618 -2462 2786 -2494 2170 2842 2522 2354 2434 -2030 -2638 -2742 -2426 -2894 -2870 -2894 -2030 2778 2854 -2614 2642 2446 -2778 2418 2522 -2090 2582 -2158 -2618 -2334 -2546 -2802 -2494 -2750 -2802 -2734 -2466 -2558 -2854 2290 -2330 2286 -2802 -2586 -2854 2706 -2058 -2514 2466 2262 -2682 2114 2038 -2342 -2234 2646 2842 2102 2854 -2810 2714 2030 2894 -2042 -2170 -2534 -2846 -2466 -2470 2314 -2710 -2286 -2842 -2854 -2590 2790 -2834 -2854 -2202 2402 -2842 -2142 -2746 -2674 2754 -2030 -2174 -2470 2050 -2330 -2586 -2334 -2058 -2418 -2374 -2274 -2398 -2478 2282 2874 -2530 -2542 2866 2414 -2766 -2646 2658 -1990 -1990 -2894 2558 -2062 2678 -2066 -2282 -2350 -2406 2110 -2894 2034 2310 -2734 -1990 -1998 2010 -2214 2374 -2506 -2346 -2354 2390 -2294 -2214 2478 -2778 -2550 -2802 2618 -2854 -2278 -2294 -2854 2354 -2350 2254 -2750 -2878 2466 -2406 -2826 2854 -2514 -2030 -2698 2422 2758 2738 -2570 -1990 -2662 -2774 -2414 -2702 -1990 -2050 2474 2038 -2574 2474 -2826 2762 -2766 -2482 -2366 2022 -2438 -2662 -2854 2894 2590 2386 -2302 -2786 -2518 2170 1990 2678 2862 2650 2278 -2682 2350 -2606 -2478 -2030 -2518 -2582 -2766 -2438 -2098 -1990 2766 1994 -2474 -2854 2266 -2378 -2058 2110 -2282 -2054 -2250 -2346 1994 -2714 2146 2398 2558 -2786 -2338 -2054 -2646 -2522 -2830 -2426 -2058 2602 2690 -2714 2590 2398 2030 2858 2250 -2650 2538 -2834 -2530 -2842 -2690 2030 -2770 2050 2530 2682 -2326 2042 2702 -2894 -2282 -2718 -2322 -2894 2578 -2758 -2698 -2414 2846 -2666 -2690 2038 -2842 -2550 -2314 -2482 -2614 -2270 -2894 -2062 -2462 -2802 -2482 -2030 -2054 2838 -2762 -2506 -2530 -2730 2194 -2590 2082 -2582 -2014 2618 2254 -2038 2394 2830 -2774 2626 -2746 2226 -2294 -2582 -2246 -2558 -2478 -2798 2390 -2886 2550 -2106 -2498 -2030 2794 -2462 2322 -2322 -2786 -2894 -2562 -2266 -2006 -2842 2682 -2050 2278 -1990 -2574 2146 -2806 -2374 2422 -2266 2458
120.85/121.84 d ASSIGNMENTS 2000
120.85/121.84 d CHECKS 17345796
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1087590-1215244841/watcher-1087590-1215244841 -o /tmp/evaluation-result-1087590-1215244841/solver-1087590-1215244841 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1087590-1215244841.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.91 1.96 1.90 4/80 17562
/proc/meminfo: memFree=1381336/2055920 swapFree=4180232/4192956
[pid=17562] ppid=17560 vsize=5360 CPUtime=0
/proc/17562/stat : 17562 (hydra) R 17560 17562 17457 0 -1 4194304 264 0 0 0 0 0 0 0 20 0 1 0 647421293 5488640 232 996147200 4194304 4889804 548682068816 18446744073709551615 226913319770 0 0 4100 65536 0 0 0 17 1 0 0
/proc/17562/statm: 1340 232 193 169 0 51 0
[startup+0.0404879 s]
/proc/loadavg: 1.91 1.96 1.90 4/80 17562
/proc/meminfo: memFree=1381336/2055920 swapFree=4180232/4192956
[pid=17562] ppid=17560 vsize=5360 CPUtime=0
/proc/17562/stat : 17562 (hydra) S 17560 17562 17457 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 647421293 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17562/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.101496 s]
/proc/loadavg: 1.91 1.96 1.90 4/80 17562
/proc/meminfo: memFree=1381336/2055920 swapFree=4180232/4192956
[pid=17562] ppid=17560 vsize=5360 CPUtime=0
/proc/17562/stat : 17562 (hydra) S 17560 17562 17457 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 647421293 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17562/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.301535 s]
/proc/loadavg: 1.91 1.96 1.90 4/80 17562
/proc/meminfo: memFree=1381336/2055920 swapFree=4180232/4192956
[pid=17562] ppid=17560 vsize=5360 CPUtime=0
/proc/17562/stat : 17562 (hydra) S 17560 17562 17457 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 647421293 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17562/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.701611 s]
/proc/loadavg: 1.91 1.96 1.90 4/80 17562
/proc/meminfo: memFree=1381336/2055920 swapFree=4180232/4192956
[pid=17562] ppid=17560 vsize=5360 CPUtime=0
/proc/17562/stat : 17562 (hydra) S 17560 17562 17457 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 647421293 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17562/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+1.50176 s]
/proc/loadavg: 1.91 1.96 1.90 3/82 17566
/proc/meminfo: memFree=1336072/2055920 swapFree=4180232/4192956
[pid=17562] ppid=17560 vsize=5360 CPUtime=0
/proc/17562/stat : 17562 (hydra) S 17560 17562 17457 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 647421293 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17562/statm: 1340 236 195 169 0 51 0
[pid=17566] ppid=17562 vsize=73344 CPUtime=1.46
/proc/17566/stat : 17566 (xsolve) R 17562 17562 17457 0 -1 4194304 11719 0 0 0 141 5 0 0 25 0 1 0 647421294 75104256 11612 996147200 134512640 135239763 4294956176 18446744073709551615 134532192 0 0 4096 0 0 0 0 17 1 0 0
/proc/17566/statm: 18336 11612 416 177 0 17239 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 78704
[startup+3.10107 s]
/proc/loadavg: 1.91 1.96 1.90 3/82 17566
/proc/meminfo: memFree=1334984/2055920 swapFree=4180232/4192956
[pid=17562] ppid=17560 vsize=5360 CPUtime=0
/proc/17562/stat : 17562 (hydra) S 17560 17562 17457 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 647421293 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17562/statm: 1340 236 195 169 0 51 0
[pid=17566] ppid=17562 vsize=73344 CPUtime=3.04
/proc/17566/stat : 17566 (xsolve) R 17562 17562 17457 0 -1 4194304 11719 0 0 0 298 6 0 0 25 0 1 0 647421294 75104256 11612 996147200 134512640 135239763 4294956176 18446744073709551615 134543147 0 0 4096 0 0 0 0 17 1 0 0
/proc/17566/statm: 18336 11612 416 177 0 17239 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 78704
[startup+6.30168 s]
/proc/loadavg: 2.00 1.97 1.91 3/82 17566
/proc/meminfo: memFree=1335944/2055920 swapFree=4180232/4192956
[pid=17562] ppid=17560 vsize=5360 CPUtime=0
/proc/17562/stat : 17562 (hydra) S 17560 17562 17457 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 647421293 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17562/statm: 1340 236 195 169 0 51 0
[pid=17566] ppid=17562 vsize=73344 CPUtime=6.22
/proc/17566/stat : 17566 (xsolve) R 17562 17562 17457 0 -1 4194304 11720 0 0 0 615 7 0 0 25 0 1 0 647421294 75104256 11613 996147200 134512640 135239763 4294956176 18446744073709551615 135096889 0 0 4096 0 0 0 0 17 1 0 0
/proc/17566/statm: 18336 11613 417 177 0 17239 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 78704
[startup+12.7019 s]
/proc/loadavg: 2.00 1.97 1.91 3/82 17566
/proc/meminfo: memFree=1336072/2055920 swapFree=4180232/4192956
[pid=17562] ppid=17560 vsize=5360 CPUtime=0
/proc/17562/stat : 17562 (hydra) S 17560 17562 17457 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 647421293 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17562/statm: 1340 236 195 169 0 51 0
[pid=17566] ppid=17562 vsize=73344 CPUtime=12.55
/proc/17566/stat : 17566 (xsolve) R 17562 17562 17457 0 -1 4194304 11720 0 0 0 1248 7 0 0 25 0 1 0 647421294 75104256 11613 996147200 134512640 135239763 4294956176 18446744073709551615 134541399 0 0 4096 0 0 0 0 17 1 0 0
/proc/17566/statm: 18336 11613 417 177 0 17239 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 78704
[startup+25.5014 s]
/proc/loadavg: 2.00 1.97 1.91 3/82 17572
/proc/meminfo: memFree=1336392/2055920 swapFree=4180232/4192956
[pid=17562] ppid=17560 vsize=5360 CPUtime=0
/proc/17562/stat : 17562 (hydra) S 17560 17562 17457 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 647421293 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17562/statm: 1340 236 195 169 0 51 0
[pid=17566] ppid=17562 vsize=73344 CPUtime=25.22
/proc/17566/stat : 17566 (xsolve) R 17562 17562 17457 0 -1 4194304 11720 0 0 0 2515 7 0 0 25 0 1 0 647421294 75104256 11613 996147200 134512640 135239763 4294956176 18446744073709551615 134538497 0 0 4096 0 0 0 0 17 1 0 0
/proc/17566/statm: 18336 11613 417 177 0 17239 0
Current children cumulated CPU time (s) 25.22
Current children cumulated vsize (KiB) 78704
[startup+51.1013 s]
/proc/loadavg: 2.00 1.97 1.91 3/82 17572
/proc/meminfo: memFree=1336264/2055920 swapFree=4180232/4192956
[pid=17562] ppid=17560 vsize=5360 CPUtime=0
/proc/17562/stat : 17562 (hydra) S 17560 17562 17457 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 647421293 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17562/statm: 1340 236 195 169 0 51 0
[pid=17566] ppid=17562 vsize=73344 CPUtime=50.58
/proc/17566/stat : 17566 (xsolve) R 17562 17562 17457 0 -1 4194304 11720 0 0 0 5051 7 0 0 25 0 1 0 647421294 75104256 11613 996147200 134512640 135239763 4294956176 18446744073709551615 134534753 0 0 4096 0 0 0 0 17 1 0 0
/proc/17566/statm: 18336 11613 417 177 0 17239 0
Current children cumulated CPU time (s) 50.58
Current children cumulated vsize (KiB) 78704
[startup+102.307 s]
/proc/loadavg: 2.06 1.99 1.91 3/102 17596
/proc/meminfo: memFree=1274536/2055920 swapFree=4180232/4192956
[pid=17562] ppid=17560 vsize=5360 CPUtime=80.37
/proc/17562/stat : 17562 (hydra) S 17560 17562 17457 0 -1 4194304 375 12326 0 0 0 0 8028 9 18 0 1 0 647421293 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17562/statm: 1340 238 196 169 0 51 0
[pid=17576] ppid=17562 vsize=197432 CPUtime=6.12
/proc/17576/stat : 17576 (java) S 17562 17562 17457 0 -1 0 14000 0 1 0 593 19 0 0 18 0 10 0 647429407 202170368 9514 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17576/statm: 49358 9514 2543 9 0 43941 0
[pid=17586] ppid=17576 vsize=5356 CPUtime=0
/proc/17586/stat : 17586 (abscon) S 17576 17562 17457 0 -1 4194304 304 0 0 0 0 0 0 0 25 0 1 0 647430031 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 226913477444 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/17586/statm: 1339 235 194 169 0 50 0
[pid=17587] ppid=17586 vsize=655728 CPUtime=14.9
/proc/17587/stat : 17587 (java) S 17586 17562 17457 0 -1 0 21812 0 1 0 1478 12 0 0 18 0 9 0 647430032 671465472 21313 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17587/statm: 163932 21313 2008 9 0 158460 0
[pid=17587/tid=17589] ppid=17586 vsize=655728 CPUtime=14.48
/proc/17587/task/17589/stat : 17589 (java) R 17586 17562 17457 0 -1 64 12453 0 1 0 1440 8 0 0 25 0 9 0 647430032 671465472 21313 996147200 134512640 134550740 4294955808 18446744073709551615 4126899169 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17587/tid=17590] ppid=17586 vsize=655728 CPUtime=0.18
/proc/17587/task/17590/stat : 17590 (java) S 17586 17562 17457 0 -1 64 8162 0 0 0 15 3 0 0 16 0 9 0 647430034 671465472 21313 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17587/tid=17591] ppid=17586 vsize=655728 CPUtime=0
/proc/17587/task/17591/stat : 17591 (java) S 17586 17562 17457 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 647430034 671465472 21313 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17587/tid=17592] ppid=17586 vsize=655728 CPUtime=0
/proc/17587/task/17592/stat : 17592 (java) S 17586 17562 17457 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 647430034 671465472 21313 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17587/tid=17593] ppid=17586 vsize=655728 CPUtime=0
/proc/17587/task/17593/stat : 17593 (java) S 17586 17562 17457 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 647430036 671465472 21313 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17587/tid=17594] ppid=17586 vsize=655728 CPUtime=0.22
/proc/17587/task/17594/stat : 17594 (java) S 17586 17562 17457 0 -1 64 652 0 0 0 22 0 0 0 16 0 9 0 647430036 671465472 21313 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17587/tid=17595] ppid=17586 vsize=655728 CPUtime=0
/proc/17587/task/17595/stat : 17595 (java) S 17586 17562 17457 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 647430036 671465472 21313 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17587/tid=17596] ppid=17586 vsize=655728 CPUtime=0
/proc/17587/task/17596/stat : 17596 (java) S 17586 17562 17457 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 647430036 671465472 21313 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17588] ppid=17586 vsize=7044 CPUtime=0
/proc/17588/stat : 17588 (translate) S 17586 17562 17457 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 647430032 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 226913648722 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/17588/statm: 1761 213 182 1 0 41 0
[pid=17576/tid=17577] ppid=17562 vsize=197432 CPUtime=4.77
/proc/17576/task/17577/stat : 17577 (java) S 17562 17562 17457 0 -1 64 3990 0 1 0 472 5 0 0 25 0 10 0 647429408 202170368 9514 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=17576/tid=17578] ppid=17562 vsize=197432 CPUtime=1.1
/proc/17576/task/17578/stat : 17578 (java) S 17562 17562 17457 0 -1 64 8551 0 0 0 99 11 0 0 16 0 10 0 647429410 202170368 9514 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17576/tid=17579] ppid=17562 vsize=197432 CPUtime=0
/proc/17576/task/17579/stat : 17579 (java) S 17562 17562 17457 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 647429410 202170368 9514 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17576/tid=17580] ppid=17562 vsize=197432 CPUtime=0
/proc/17576/task/17580/stat : 17580 (java) S 17562 17562 17457 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 647429410 202170368 9514 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17576/tid=17581] ppid=17562 vsize=197432 CPUtime=0
/proc/17576/task/17581/stat : 17581 (java) S 17562 17562 17457 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 647429412 202170368 9514 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17576/tid=17582] ppid=17562 vsize=197432 CPUtime=0.21
/proc/17576/task/17582/stat : 17582 (java) S 17562 17562 17457 0 -1 64 651 0 0 0 21 0 0 0 16 0 10 0 647429412 202170368 9514 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17576/tid=17583] ppid=17562 vsize=197432 CPUtime=0
/proc/17576/task/17583/stat : 17583 (java) S 17562 17562 17457 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 647429412 202170368 9514 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17576/tid=17584] ppid=17562 vsize=197432 CPUtime=0
/proc/17576/task/17584/stat : 17584 (java) S 17562 17562 17457 0 -1 64 13 0 0 0 0 0 0 0 15 0 10 0 647429412 202170368 9514 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17576/tid=17585] ppid=17562 vsize=197432 CPUtime=0
/proc/17576/task/17585/stat : 17585 (java) S 17562 17562 17457 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 647430031 202170368 9514 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.39
Current children cumulated vsize (KiB) 870920
Solver just ended. Dumping a history of the last processes samples
[startup+115.104 s]
/proc/loadavg: 2.05 1.99 1.91 3/102 17596
/proc/meminfo: memFree=1208232/2055920 swapFree=4180232/4192956
[pid=17562] ppid=17560 vsize=5360 CPUtime=80.37
/proc/17562/stat : 17562 (hydra) S 17560 17562 17457 0 -1 4194304 375 12326 0 0 0 0 8028 9 18 0 1 0 647421293 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17562/statm: 1340 238 196 169 0 51 0
[pid=17576] ppid=17562 vsize=197432 CPUtime=6.12
/proc/17576/stat : 17576 (java) S 17562 17562 17457 0 -1 0 14000 0 1 0 593 19 0 0 18 0 10 0 647429407 202170368 9514 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17576/statm: 49358 9514 2543 9 0 43941 0
[pid=17586] ppid=17576 vsize=5356 CPUtime=0
/proc/17586/stat : 17586 (abscon) S 17576 17562 17457 0 -1 4194304 304 0 0 0 0 0 0 0 25 0 1 0 647430031 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 226913477444 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/17586/statm: 1339 235 194 169 0 50 0
[pid=17587] ppid=17586 vsize=655728 CPUtime=27.7
/proc/17587/stat : 17587 (java) S 17586 17562 17457 0 -1 0 39186 0 1 0 2749 21 0 0 18 0 9 0 647430032 671465472 38468 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17587/statm: 163932 38468 2617 9 0 158460 0
################
# More data... #
################
[pid=17576/tid=17583] ppid=17562 vsize=197432 CPUtime=0
/proc/17576/task/17583/stat : 17583 (java) S 17562 17562 17457 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 647429412 202170368 9514 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17576/tid=17584] ppid=17562 vsize=197432 CPUtime=0
/proc/17576/task/17584/stat : 17584 (java) S 17562 17562 17457 0 -1 64 13 0 0 0 0 0 0 0 15 0 10 0 647429412 202170368 9514 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17576/tid=17585] ppid=17562 vsize=197432 CPUtime=0
/proc/17576/task/17585/stat : 17585 (java) S 17562 17562 17457 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 647430031 202170368 9514 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 119.78
Current children cumulated vsize (KiB) 870920
[startup+121.504 s]
/proc/loadavg: 2.04 1.99 1.91 3/102 17596
/proc/meminfo: memFree=1208104/2055920 swapFree=4180232/4192956
[pid=17562] ppid=17560 vsize=5360 CPUtime=80.37
/proc/17562/stat : 17562 (hydra) S 17560 17562 17457 0 -1 4194304 375 12326 0 0 0 0 8028 9 18 0 1 0 647421293 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17562/statm: 1340 238 196 169 0 51 0
[pid=17576] ppid=17562 vsize=197432 CPUtime=6.12
/proc/17576/stat : 17576 (java) S 17562 17562 17457 0 -1 0 14000 0 1 0 593 19 0 0 18 0 10 0 647429407 202170368 9514 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17576/statm: 49358 9514 2543 9 0 43941 0
[pid=17586] ppid=17576 vsize=5356 CPUtime=0
/proc/17586/stat : 17586 (abscon) S 17576 17562 17457 0 -1 4194304 304 0 0 0 0 0 0 0 25 0 1 0 647430031 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 226913477444 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/17586/statm: 1339 235 194 169 0 50 0
[pid=17587] ppid=17586 vsize=655728 CPUtime=34.09
/proc/17587/stat : 17587 (java) S 17586 17562 17457 0 -1 0 39200 0 1 0 3388 21 0 0 18 0 9 0 647430032 671465472 38478 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17587/statm: 163932 38478 2617 9 0 158460 0
[pid=17587/tid=17589] ppid=17586 vsize=655728 CPUtime=32.78
/proc/17587/task/17589/stat : 17589 (java) R 17586 17562 17457 0 -1 64 12559 0 1 0 3268 10 0 0 25 0 9 0 647430032 671465472 38478 996147200 134512640 134550740 4294955808 18446744073709551615 4127366163 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17587/tid=17590] ppid=17586 vsize=655728 CPUtime=0.92
/proc/17587/task/17590/stat : 17590 (java) S 17586 17562 17457 0 -1 64 25344 0 0 0 83 9 0 0 17 0 9 0 647430034 671465472 38478 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17587/tid=17591] ppid=17586 vsize=655728 CPUtime=0
/proc/17587/task/17591/stat : 17591 (java) S 17586 17562 17457 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 647430034 671465472 38478 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17587/tid=17592] ppid=17586 vsize=655728 CPUtime=0
/proc/17587/task/17592/stat : 17592 (java) S 17586 17562 17457 0 -1 64 19 0 0 0 0 0 0 0 15 0 9 0 647430034 671465472 38478 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17587/tid=17593] ppid=17586 vsize=655728 CPUtime=0
/proc/17587/task/17593/stat : 17593 (java) S 17586 17562 17457 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 647430036 671465472 38478 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17587/tid=17594] ppid=17586 vsize=655728 CPUtime=0.36
/proc/17587/task/17594/stat : 17594 (java) S 17586 17562 17457 0 -1 64 738 0 0 0 36 0 0 0 15 0 9 0 647430036 671465472 38478 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17587/tid=17595] ppid=17586 vsize=655728 CPUtime=0
/proc/17587/task/17595/stat : 17595 (java) S 17586 17562 17457 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 647430036 671465472 38478 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17587/tid=17596] ppid=17586 vsize=655728 CPUtime=0
/proc/17587/task/17596/stat : 17596 (java) S 17586 17562 17457 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 647430036 671465472 38478 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17588] ppid=17586 vsize=7044 CPUtime=0
/proc/17588/stat : 17588 (translate) S 17586 17562 17457 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 647430032 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 226913648722 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/17588/statm: 1761 213 182 1 0 41 0
[pid=17576/tid=17577] ppid=17562 vsize=197432 CPUtime=4.77
/proc/17576/task/17577/stat : 17577 (java) S 17562 17562 17457 0 -1 64 3990 0 1 0 472 5 0 0 25 0 10 0 647429408 202170368 9514 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=17576/tid=17578] ppid=17562 vsize=197432 CPUtime=1.1
/proc/17576/task/17578/stat : 17578 (java) S 17562 17562 17457 0 -1 64 8551 0 0 0 99 11 0 0 16 0 10 0 647429410 202170368 9514 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17576/tid=17579] ppid=17562 vsize=197432 CPUtime=0
/proc/17576/task/17579/stat : 17579 (java) S 17562 17562 17457 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 647429410 202170368 9514 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17576/tid=17580] ppid=17562 vsize=197432 CPUtime=0
/proc/17576/task/17580/stat : 17580 (java) S 17562 17562 17457 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 647429410 202170368 9514 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17576/tid=17581] ppid=17562 vsize=197432 CPUtime=0
/proc/17576/task/17581/stat : 17581 (java) S 17562 17562 17457 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 647429412 202170368 9514 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17576/tid=17582] ppid=17562 vsize=197432 CPUtime=0.21
/proc/17576/task/17582/stat : 17582 (java) S 17562 17562 17457 0 -1 64 651 0 0 0 21 0 0 0 16 0 10 0 647429412 202170368 9514 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17576/tid=17583] ppid=17562 vsize=197432 CPUtime=0
/proc/17576/task/17583/stat : 17583 (java) S 17562 17562 17457 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 647429412 202170368 9514 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17576/tid=17584] ppid=17562 vsize=197432 CPUtime=0
/proc/17576/task/17584/stat : 17584 (java) S 17562 17562 17457 0 -1 64 13 0 0 0 0 0 0 0 15 0 10 0 647429412 202170368 9514 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17576/tid=17585] ppid=17562 vsize=197432 CPUtime=0
/proc/17576/task/17585/stat : 17585 (java) S 17562 17562 17457 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 647430031 202170368 9514 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 120.58
Current children cumulated vsize (KiB) 870920
[startup+121.704 s]
/proc/loadavg: 2.04 1.99 1.91 3/102 17596
/proc/meminfo: memFree=1208104/2055920 swapFree=4180232/4192956
[pid=17562] ppid=17560 vsize=5360 CPUtime=80.37
/proc/17562/stat : 17562 (hydra) S 17560 17562 17457 0 -1 4194304 375 12326 0 0 0 0 8028 9 18 0 1 0 647421293 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17562/statm: 1340 238 196 169 0 51 0
[pid=17576] ppid=17562 vsize=197432 CPUtime=6.12
/proc/17576/stat : 17576 (java) S 17562 17562 17457 0 -1 0 14000 0 1 0 593 19 0 0 18 0 10 0 647429407 202170368 9514 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17576/statm: 49358 9514 2543 9 0 43941 0
[pid=17586] ppid=17576 vsize=5356 CPUtime=0
/proc/17586/stat : 17586 (abscon) S 17576 17562 17457 0 -1 4194304 304 0 0 0 0 0 0 0 25 0 1 0 647430031 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 226913477444 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/17586/statm: 1339 235 194 169 0 50 0
[pid=17587] ppid=17586 vsize=655728 CPUtime=34.29
/proc/17587/stat : 17587 (java) S 17586 17562 17457 0 -1 0 39212 0 1 0 3408 21 0 0 18 0 9 0 647430032 671465472 38490 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17587/statm: 163932 38490 2617 9 0 158460 0
[pid=17587/tid=17589] ppid=17586 vsize=655728 CPUtime=32.96
/proc/17587/task/17589/stat : 17589 (java) R 17586 17562 17457 0 -1 64 12561 0 1 0 3286 10 0 0 25 0 9 0 647430032 671465472 38490 996147200 134512640 134550740 4294955808 18446744073709551615 4127417275 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17587/tid=17590] ppid=17586 vsize=655728 CPUtime=0.92
/proc/17587/task/17590/stat : 17590 (java) S 17586 17562 17457 0 -1 64 25344 0 0 0 83 9 0 0 17 0 9 0 647430034 671465472 38490 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17587/tid=17591] ppid=17586 vsize=655728 CPUtime=0
/proc/17587/task/17591/stat : 17591 (java) S 17586 17562 17457 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 647430034 671465472 38490 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17587/tid=17592] ppid=17586 vsize=655728 CPUtime=0
/proc/17587/task/17592/stat : 17592 (java) S 17586 17562 17457 0 -1 64 19 0 0 0 0 0 0 0 15 0 9 0 647430034 671465472 38490 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17587/tid=17593] ppid=17586 vsize=655728 CPUtime=0
/proc/17587/task/17593/stat : 17593 (java) S 17586 17562 17457 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 647430036 671465472 38490 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17587/tid=17594] ppid=17586 vsize=655728 CPUtime=0.38
/proc/17587/task/17594/stat : 17594 (java) S 17586 17562 17457 0 -1 64 748 0 0 0 38 0 0 0 16 0 9 0 647430036 671465472 38490 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17587/tid=17595] ppid=17586 vsize=655728 CPUtime=0
/proc/17587/task/17595/stat : 17595 (java) S 17586 17562 17457 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 647430036 671465472 38490 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17587/tid=17596] ppid=17586 vsize=655728 CPUtime=0
/proc/17587/task/17596/stat : 17596 (java) S 17586 17562 17457 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 647430036 671465472 38490 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17588] ppid=17586 vsize=7044 CPUtime=0
/proc/17588/stat : 17588 (translate) S 17586 17562 17457 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 647430032 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 226913648722 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/17588/statm: 1761 213 182 1 0 41 0
[pid=17576/tid=17577] ppid=17562 vsize=197432 CPUtime=4.77
/proc/17576/task/17577/stat : 17577 (java) S 17562 17562 17457 0 -1 64 3990 0 1 0 472 5 0 0 25 0 10 0 647429408 202170368 9514 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=17576/tid=17578] ppid=17562 vsize=197432 CPUtime=1.1
/proc/17576/task/17578/stat : 17578 (java) S 17562 17562 17457 0 -1 64 8551 0 0 0 99 11 0 0 16 0 10 0 647429410 202170368 9514 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17576/tid=17579] ppid=17562 vsize=197432 CPUtime=0
/proc/17576/task/17579/stat : 17579 (java) S 17562 17562 17457 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 647429410 202170368 9514 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17576/tid=17580] ppid=17562 vsize=197432 CPUtime=0
/proc/17576/task/17580/stat : 17580 (java) S 17562 17562 17457 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 647429410 202170368 9514 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17576/tid=17581] ppid=17562 vsize=197432 CPUtime=0
/proc/17576/task/17581/stat : 17581 (java) S 17562 17562 17457 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 647429412 202170368 9514 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17576/tid=17582] ppid=17562 vsize=197432 CPUtime=0.21
/proc/17576/task/17582/stat : 17582 (java) S 17562 17562 17457 0 -1 64 651 0 0 0 21 0 0 0 16 0 10 0 647429412 202170368 9514 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17576/tid=17583] ppid=17562 vsize=197432 CPUtime=0
/proc/17576/task/17583/stat : 17583 (java) S 17562 17562 17457 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 647429412 202170368 9514 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17576/tid=17584] ppid=17562 vsize=197432 CPUtime=0
/proc/17576/task/17584/stat : 17584 (java) S 17562 17562 17457 0 -1 64 13 0 0 0 0 0 0 0 15 0 10 0 647429412 202170368 9514 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17576/tid=17585] ppid=17562 vsize=197432 CPUtime=0
/proc/17576/task/17585/stat : 17585 (java) S 17562 17562 17457 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 647430031 202170368 9514 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 120.78
Current children cumulated vsize (KiB) 870920
[startup+121.803 s]
/proc/loadavg: 2.04 1.99 1.91 3/102 17596
/proc/meminfo: memFree=1208104/2055920 swapFree=4180232/4192956
[pid=17562] ppid=17560 vsize=5360 CPUtime=80.37
/proc/17562/stat : 17562 (hydra) S 17560 17562 17457 0 -1 4194304 375 12326 0 0 0 0 8028 9 18 0 1 0 647421293 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17562/statm: 1340 238 196 169 0 51 0
[pid=17576] ppid=17562 vsize=197432 CPUtime=6.12
/proc/17576/stat : 17576 (java) S 17562 17562 17457 0 -1 0 14023 0 1 0 593 19 0 0 18 0 10 0 647429407 202170368 9514 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17576/statm: 49358 9514 2543 9 0 43941 0
[pid=17586] ppid=17576 vsize=5356 CPUtime=0
/proc/17586/stat : 17586 (abscon) S 17576 17562 17457 0 -1 4194304 304 291 0 0 0 0 0 0 16 0 1 0 647430031 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 226913477444 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/17586/statm: 1339 235 194 169 0 50 0
[pid=17587] ppid=17586 vsize=655728 CPUtime=34.36
/proc/17587/stat : 17587 (java) S 17586 17562 17457 0 -1 0 39216 0 1 0 3415 21 0 0 18 0 9 0 647430032 671465472 38493 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17587/statm: 163932 38493 2617 9 0 158460 0
[pid=17587/tid=17589] ppid=17586 vsize=655728 CPUtime=33.02
/proc/17587/task/17589/stat : 17589 (java) S 17586 17562 17457 0 -1 64 12564 0 1 0 3292 10 0 0 25 0 9 0 647430032 671465472 38493 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17587/tid=17590] ppid=17586 vsize=655728 CPUtime=0.92
/proc/17587/task/17590/stat : 17590 (java) S 17586 17562 17457 0 -1 64 25344 0 0 0 83 9 0 0 17 0 9 0 647430034 671465472 38493 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17587/tid=17591] ppid=17586 vsize=655728 CPUtime=0
/proc/17587/task/17591/stat : 17591 (java) S 17586 17562 17457 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 647430034 671465472 38493 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17587/tid=17592] ppid=17586 vsize=655728 CPUtime=0
/proc/17587/task/17592/stat : 17592 (java) S 17586 17562 17457 0 -1 64 19 0 0 0 0 0 0 0 15 0 9 0 647430034 671465472 38493 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17587/tid=17593] ppid=17586 vsize=655728 CPUtime=0
/proc/17587/task/17593/stat : 17593 (java) S 17586 17562 17457 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 647430036 671465472 38493 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17587/tid=17594] ppid=17586 vsize=655728 CPUtime=0.38
/proc/17587/task/17594/stat : 17594 (java) S 17586 17562 17457 0 -1 64 749 0 0 0 38 0 0 0 15 0 9 0 647430036 671465472 38493 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17587/tid=17595] ppid=17586 vsize=655728 CPUtime=0
/proc/17587/task/17595/stat : 17595 (java) S 17586 17562 17457 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 647430036 671465472 38493 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17587/tid=17596] ppid=17586 vsize=655728 CPUtime=0
/proc/17587/task/17596/stat : 17596 (java) S 17586 17562 17457 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 647430036 671465472 38493 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17576/tid=17577] ppid=17562 vsize=197432 CPUtime=4.77
/proc/17576/task/17577/stat : 17577 (java) S 17562 17562 17457 0 -1 64 4013 0 1 0 472 5 0 0 16 0 10 0 647429408 202170368 9514 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=17576/tid=17578] ppid=17562 vsize=197432 CPUtime=1.1
/proc/17576/task/17578/stat : 17578 (java) S 17562 17562 17457 0 -1 64 8551 0 0 0 99 11 0 0 16 0 10 0 647429410 202170368 9514 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17576/tid=17579] ppid=17562 vsize=197432 CPUtime=0
/proc/17576/task/17579/stat : 17579 (java) S 17562 17562 17457 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 647429410 202170368 9514 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17576/tid=17580] ppid=17562 vsize=197432 CPUtime=0
/proc/17576/task/17580/stat : 17580 (java) S 17562 17562 17457 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 647429410 202170368 9514 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17576/tid=17581] ppid=17562 vsize=197432 CPUtime=0
/proc/17576/task/17581/stat : 17581 (java) S 17562 17562 17457 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 647429412 202170368 9514 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17576/tid=17582] ppid=17562 vsize=197432 CPUtime=0.21
/proc/17576/task/17582/stat : 17582 (java) S 17562 17562 17457 0 -1 64 651 0 0 0 21 0 0 0 16 0 10 0 647429412 202170368 9514 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17576/tid=17583] ppid=17562 vsize=197432 CPUtime=0
/proc/17576/task/17583/stat : 17583 (java) S 17562 17562 17457 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 647429412 202170368 9514 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17576/tid=17584] ppid=17562 vsize=197432 CPUtime=0
/proc/17576/task/17584/stat : 17584 (java) S 17562 17562 17457 0 -1 64 13 0 0 0 0 0 0 0 15 0 10 0 647429412 202170368 9514 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17576/tid=17585] ppid=17562 vsize=197432 CPUtime=0
/proc/17576/task/17585/stat : 17585 (java) S 17562 17562 17457 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 647430031 202170368 9514 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 120.85
Current children cumulated vsize (KiB) 863876
Child status: 0
Real time (s): 121.89
CPU time (s): 120.927
CPU user time (s): 120.388
CPU system time (s): 0.538918
CPU usage (%): 99.2097
Max. virtual memory (cumulated for all children) (KiB): 870920
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 120.388
system time used= 0.538918
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 66672
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12734
involuntary context switches= 17164
runsolver used 0.286956 second user time and 0.578911 second system time
The end