0.00/0.00 c cpHydra_k_10 version 0.0
498.31/502.37 c CASE TO CLASSIFY:
498.31/502.37 c Case: 0
498.31/502.38 c 19 > 99.548100 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.128100 | c 15 > 14.653300 | c 34 > 68.561700 | c 16 > 2.000000 | c 13 > 3.485060 | c 14 > -1.000000 | c 11 > 11.473700 | c 12 > 3.991860 | c 21 > 27.307400 | c 20 > 0.451947 | c 22 > 31.591100 | c 23 > 12.944500 | c 24 > 1.406030 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 7.312880 | c 2 > -1.000000 | c 10 > 14.485600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 4.459430 | c 6 > 5.459430 | c 32 > -1.000000 | c 5 > 26.857800 | c 31 > -1.000000 | c 4 > 11.366900 | c 9 > -1.000000 | c 8 > 8.262090 | c
498.31/502.39 c choco : 1801.0
498.31/502.39 c mistral : 1801.0
498.31/502.39 c abscon : 1801.0
498.31/502.39 c
498.31/502.39 c
498.40/502.48 c List of same ones: 11
498.40/502.48 c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp28/fapp28-2800-0.xml
498.40/502.48 c 19 > 99.548100 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.128100 | c 15 > 6.285400 | c 34 > 68.561700 | c 16 > 2.000000 | c 13 > 3.483770 | c 14 > -1.000000 | c 11 > 11.473700 | c 12 > 3.992560 | c 21 > 27.307400 | c 20 > 0.451947 | c 22 > 31.591100 | c 23 > 12.944500 | c 24 > 1.406030 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 7.312880 | c 2 > -1.000000 | c 10 > 14.485600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 4.459430 | c 6 > 5.459430 | c 32 > -1.000000 | c 5 > 26.857800 | c 31 > -1.000000 | c 4 > 11.366900 | c 9 > -1.000000 | c 8 > 8.262090 | c
498.40/502.48 c choco : 1801.0
498.40/502.48 c mistral : 777.11
498.40/502.48 c abscon : 10.5744
498.40/502.48 c
498.40/502.48 c
498.40/502.48 c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp28/fapp28-2800-8.xml
498.40/502.48 c 19 > 99.548100 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.128100 | c 15 > 6.285400 | c 34 > 68.561700 | c 16 > 2.000000 | c 13 > 3.483770 | c 14 > -1.000000 | c 11 > 11.473700 | c 12 > 3.992560 | c 21 > 27.307400 | c 20 > 0.451947 | c 22 > 31.591100 | c 23 > 12.944500 | c 24 > 1.406030 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 7.312880 | c 2 > -1.000000 | c 10 > 14.485600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 4.459430 | c 6 > 5.459430 | c 32 > -1.000000 | c 5 > 26.857800 | c 31 > -1.000000 | c 4 > 11.366900 | c 9 > -1.000000 | c 8 > 8.262090 | c
498.40/502.49 c choco : 1801.0
498.40/502.49 c mistral : 1800.06
498.40/502.49 c abscon : 34.5727
498.40/502.49 c
498.40/502.49 c
498.40/502.49 c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp28/fapp28-2800-9.xml
498.40/502.49 c 19 > 99.548100 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.128100 | c 15 > 6.285400 | c 34 > 68.561700 | c 16 > 2.000000 | c 13 > 3.483770 | c 14 > -1.000000 | c 11 > 11.473700 | c 12 > 3.992560 | c 21 > 27.307400 | c 20 > 0.451947 | c 22 > 31.591100 | c 23 > 12.944500 | c 24 > 1.406030 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 7.312880 | c 2 > -1.000000 | c 10 > 14.485600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 4.459430 | c 6 > 5.459430 | c 32 > -1.000000 | c 5 > 26.857800 | c 31 > -1.000000 | c 4 > 11.366900 | c 9 > -1.000000 | c 8 > 8.262090 | c
498.50/502.50 c choco : 1801.0
498.50/502.50 c mistral : 1800.07
498.50/502.50 c abscon : 35.1737
498.50/502.50 c
498.50/502.50 c
498.50/502.50 c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp28/fapp28-2800-10.xml
498.50/502.50 c 19 > 99.548100 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.128100 | c 15 > 6.266790 | c 34 > 68.561700 | c 16 > 2.000000 | c 13 > 3.483770 | c 14 > -1.000000 | c 11 > 11.473700 | c 12 > 3.992560 | c 21 > 27.307400 | c 20 > 0.451947 | c 22 > 31.591100 | c 23 > 12.944500 | c 24 > 1.406030 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 7.312880 | c 2 > -1.000000 | c 10 > 14.485600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 4.459430 | c 6 > 5.459430 | c 32 > -1.000000 | c 5 > 26.857800 | c 31 > -1.000000 | c 4 > 11.366900 | c 9 > -1.000000 | c 8 > 8.262090 | c
498.50/502.51 c choco : 1801.0
498.50/502.51 c mistral : 1800.03
498.50/502.51 c abscon : 37.0364
498.50/502.51 c
498.50/502.51 c
498.50/502.51 c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp28/fapp28-2800-3.xml
498.50/502.51 c 19 > 99.548100 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.128100 | c 15 > 6.266790 | c 34 > 68.561700 | c 16 > 2.000000 | c 13 > 3.483770 | c 14 > -1.000000 | c 11 > 11.473700 | c 12 > 3.992560 | c 21 > 27.307400 | c 20 > 0.451947 | c 22 > 31.591100 | c 23 > 12.944500 | c 24 > 1.406030 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 7.312880 | c 2 > -1.000000 | c 10 > 14.485600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 4.459430 | c 6 > 5.459430 | c 32 > -1.000000 | c 5 > 26.857800 | c 31 > -1.000000 | c 4 > 11.366900 | c 9 > -1.000000 | c 8 > 8.262090 | c
498.50/502.52 c choco : 1801.0
498.50/502.52 c mistral : 1800.1
498.50/502.52 c abscon : 30.6403
498.50/502.52 c
498.50/502.52 c
498.50/502.52 c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp28/fapp28-2800-4.xml
498.50/502.52 c 19 > 99.548100 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.128100 | c 15 > 6.266790 | c 34 > 68.561700 | c 16 > 2.000000 | c 13 > 3.483770 | c 14 > -1.000000 | c 11 > 11.473700 | c 12 > 3.992560 | c 21 > 27.307400 | c 20 > 0.451947 | c 22 > 31.591100 | c 23 > 12.944500 | c 24 > 1.406030 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 7.312880 | c 2 > -1.000000 | c 10 > 14.485600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 4.459430 | c 6 > 5.459430 | c 32 > -1.000000 | c 5 > 26.857800 | c 31 > -1.000000 | c 4 > 11.366900 | c 9 > -1.000000 | c 8 > 8.262090 | c
498.50/502.53 c choco : 1801.0
498.50/502.53 c mistral : 1800.04
498.50/502.53 c abscon : 31.5692
498.50/502.53 c
498.50/502.53 c
498.50/502.53 c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp28/fapp28-2800-5.xml
498.50/502.53 c 19 > 99.548100 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.128100 | c 15 > 6.266790 | c 34 > 68.561700 | c 16 > 2.000000 | c 13 > 3.483770 | c 14 > -1.000000 | c 11 > 11.473700 | c 12 > 3.992560 | c 21 > 27.307400 | c 20 > 0.451947 | c 22 > 31.591100 | c 23 > 12.944500 | c 24 > 1.406030 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 7.312880 | c 2 > -1.000000 | c 10 > 14.485600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 4.459430 | c 6 > 5.459430 | c 32 > -1.000000 | c 5 > 26.857800 | c 31 > -1.000000 | c 4 > 11.366900 | c 9 > -1.000000 | c 8 > 8.262090 | c
498.50/502.54 c choco : 1801.0
498.50/502.54 c mistral : 1800.03
498.50/502.54 c abscon : 30.3754
498.50/502.54 c
498.50/502.54 c
498.50/502.54 c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp28/fapp28-2800-6.xml
498.50/502.54 c 19 > 99.548100 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.128100 | c 15 > 6.266790 | c 34 > 68.561700 | c 16 > 2.000000 | c 13 > 3.483770 | c 14 > -1.000000 | c 11 > 11.473700 | c 12 > 3.992560 | c 21 > 27.307400 | c 20 > 0.451947 | c 22 > 31.591100 | c 23 > 12.944500 | c 24 > 1.406030 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 7.312880 | c 2 > -1.000000 | c 10 > 14.485600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 4.459430 | c 6 > 5.459430 | c 32 > -1.000000 | c 5 > 26.857800 | c 31 > -1.000000 | c 4 > 11.366900 | c 9 > -1.000000 | c 8 > 8.262090 | c
498.50/502.55 c choco : 1801.0
498.50/502.55 c mistral : 1800.03
498.50/502.55 c abscon : 32.5501
498.50/502.55 c
498.50/502.55 c
498.50/502.55 c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp28/fapp28-2800-7.xml
498.50/502.55 c 19 > 99.548100 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.128100 | c 15 > 6.266790 | c 34 > 68.561700 | c 16 > 2.000000 | c 13 > 3.483770 | c 14 > -1.000000 | c 11 > 11.473700 | c 12 > 3.992560 | c 21 > 27.307400 | c 20 > 0.451947 | c 22 > 31.591100 | c 23 > 12.944500 | c 24 > 1.406030 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 7.312880 | c 2 > -1.000000 | c 10 > 14.485600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 4.459430 | c 6 > 5.459430 | c 32 > -1.000000 | c 5 > 26.857800 | c 31 > -1.000000 | c 4 > 11.366900 | c 9 > -1.000000 | c 8 > 8.262090 | c
498.50/502.56 c choco : 1801.0
498.50/502.56 c mistral : 1800.05
498.50/502.56 c abscon : 33.2009
498.50/502.56 c
498.50/502.56 c
498.50/502.56 c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp28/fapp28-2800-1.xml
498.50/502.56 c 19 > 99.548100 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.128100 | c 15 > 6.247930 | c 34 > 68.561700 | c 16 > 2.000000 | c 13 > 3.483770 | c 14 > -1.000000 | c 11 > 11.473700 | c 12 > 3.992560 | c 21 > 27.307400 | c 20 > 0.451947 | c 22 > 31.591100 | c 23 > 12.944500 | c 24 > 1.406030 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 7.312880 | c 2 > -1.000000 | c 10 > 14.485600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 4.459430 | c 6 > 5.459430 | c 32 > -1.000000 | c 5 > 26.857800 | c 31 > -1.000000 | c 4 > 11.366900 | c 9 > -1.000000 | c 8 > 8.262090 | c
498.50/502.57 c choco : 1801.0
498.50/502.57 c mistral : 775.35
498.50/502.57 c abscon : 10.8104
498.50/502.57 c
498.50/502.57 c
498.50/502.57 c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp28/fapp28-2800-2.xml
498.50/502.57 c 19 > 99.548100 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.128100 | c 15 > 6.247930 | c 34 > 68.561700 | c 16 > 2.000000 | c 13 > 3.483770 | c 14 > -1.000000 | c 11 > 11.473700 | c 12 > 3.992560 | c 21 > 27.307400 | c 20 > 0.451947 | c 22 > 31.591100 | c 23 > 12.944500 | c 24 > 1.406030 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 7.312880 | c 2 > -1.000000 | c 10 > 14.485600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 4.459430 | c 6 > 5.459430 | c 32 > -1.000000 | c 5 > 26.857800 | c 31 > -1.000000 | c 4 > 11.366900 | c 9 > -1.000000 | c 8 > 8.262090 | c
498.50/502.59 c choco : 1801.0
498.50/502.59 c mistral : 1800.1
498.50/502.59 c abscon : 10.3014
498.50/502.59 c
498.50/502.59 c
498.50/502.59 c Length: 11
498.50/502.59 c 8.367900128712101 8.367900128712101 8.367900128712101 8.386510128426483 8.386510128426483 8.386510128426483 8.386510128426483 8.386510128426483 8.386510128426483 8.405370128138319 8.405370128138319
498.50/502.59 c
498.50/502.59 c 1.0 1.0 1.0 0.6681526390946566 0.6681526390946566 0.6681526390946566 0.6681526390946566 0.6681526390946566 0.6681526390946566 0.5 0.5
498.50/502.59 c
498.50/502.59 c solver 0
498.50/502.59 c before 0.0 seconds: {} 0
498.50/502.59 c before 18.0 seconds: {0, 9, 10} 2000
498.50/502.59 c before 36.0 seconds: {0, 1, 2, 4, 5, 6, 7, 8, 9, 10} 7340
498.50/502.59 c before 54.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10} 8008
498.50/502.59 c
498.50/502.59 c solver 1
498.50/502.59 c before 0.0 seconds: {} 0
498.50/502.59 c before 792.0 seconds: {0, 9} 1500
498.50/502.59 c
498.50/502.59 c solver 2
498.50/502.59 c before 0.0 seconds: {} 0
498.50/502.59 c
498.50/502.59 cTotal time: 47
498.50/502.60 c 846.0 seconds unused
498.50/502.60 c 0 c 9 c 11
498.56/502.61 c 0 c 0 c 2
498.56/502.61 c 0 c 0 c 0
498.56/502.61 c is solver0 dominated by:
498.56/502.61 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: true) (0 is equally as fast as 1: false) (0 < 1: false)
498.56/502.61 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)
498.56/502.61 c is dominated? false
498.56/502.61 c
498.56/502.61 c is solver1 dominated by:
498.56/502.61 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: false) (1 is equally as fast as 0: false) (1 < 0: true)
498.56/502.61 c is dominated? true
498.56/502.61 c
498.56/502.61 c is solver2 dominated by:
498.56/502.61 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)
498.56/502.61 c is dominated? true
498.56/502.61 c
498.56/502.61 c Number of non-dominated solvers: 1
498.56/502.61 c remove dominated solvers
498.56/502.61 c solver 0 is not dominated by another solver
498.56/502.61 c solver 2 is dominated by another solver
498.56/502.61 c solver 1 is dominated by another solver
498.56/502.61 c
498.56/502.61 c solver 0: 54.0
498.56/502.61 c
498.56/502.61 c+ 3/3 of 97
498.56/502.61 c
498.56/502.61 c solver 1: 0.0
498.56/502.61 c
498.56/502.61 c solver 2: 0.0
498.56/502.61 c run abscon for 1800.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10} 8008
498.56/502.61 c do not run mistral
498.56/502.61 c do not run choco
498.56/502.61 c Starting solver: HOME/cpHydra_k_10/solver/abscon
498.56/502.61 c On Instance: HOME/instance-1086750-1215241051.xml
498.56/502.61 c Running for: 1800 seconds
544.42/548.68 s SAT
544.42/548.68 v -2474 -3216 -2320 -3160 -3062 -2942 -3044 -2948 -2256 2994 -2320 -3166 -3194 -3176 -2400 -3160 -2554 -2472 -2510 -2520 -2776 -2862 -3192 -3170 -2230 -2662 -2224 -2666 -2526 -2762 3012 -2972 -2434 -2954 -2258 -2940 -2710 -2960 -3090 -2594 -2544 -3102 -2318 -2264 -2570 -2948 -2716 -2822 -2250 -2836 -2610 -2932 -2436 -2298 -2810 -2468 -2896 -3216 -2458 -2260 -2432 -3044 -2760 -2796 -2588 -3216 -3180 -2474 -2268 -2590 -2468 -2772 -2220 -2528 -3166 -2236 -2258 -2936 -2598 -2580 -3160 -2802 -3080 -2510 -2724 -2308 -3006 -3140 -2674 -3004 -2586 -2550 -2286 -2258 -2278 -2570 -3176 -2860 -2892 -2736 -2242 -2674 -2946 -2904 -3090 -2900 -3120 -3216 -3014 -2906 -3216 -3144 2664 -3076 2840 -3210 -2256 -3086 -2498 -3126 -3056 -2700 -2550 -2576 -2418 -2348 -3004 -2862 -2354 -3160 -2666 -2548 -2872 -2586 -2806 -3152 -2502 -2626 -2776 -2472 -2414 -3084 2232 -2302 -2770 -2736 -2504 -3166 2682 -2600 -2318 -2418 -2814 -2308 -2538 -3088 -2538 -2736 -2588 -2268 -2736 2220 -2710 -2258 -2902 -3126 -3128 -2260 -3022 3176 -2522 -2776 -2330 -2936 -2360 -2622 -3176 -3040 -2278 -3166 -2524 2858 -2298 -2360 -3114 -3126 -2432 -2264 -2808 -3160 -2632 -2320 -2424 -2650 -2640 -2710 -2884 -3216 -2368 -2710 -2882 2954 -3216 -2258 -2400 -3140 -2934 -3032 -2610 -2392 -2518 -2958 -2338 -2466 -3192 -2626 -3176 -2354 -2508 -2318 -3046 -3208 -2734 -2878 -3112 -2362 -3120 -2268 -3120 -2704 -2246 2626 -2966 -2908 -2520 -2932 -3176 -2238 -2596 -2838 -2936 -2270 -3150 -2716 -2238 -3216 -2670 -2776 -2798 -2660 -3030 -2532 -2896 -2792 -3126 -3160 -2842 -2714 -2416 -2422 -2508 -2286 -2258 -3200 -2776 -2906 -2246 -2498 -3004 -3026 -2738 -2942 -2844 -2258 -2888 -2470 -2310 -2906 -3160 -2464 -3118 -2792 -2598 -2474 -2434 -2558 -2670 -2462 -2908 -2588 -3114 -2508 2994 -3200 -2324 -2468 -2916 -3176 -2880 -2936 -2278 -2380 -3030 -3080 -3028 -3174 -2270 -2698 -3112 -2636 -2262 -2258 -3112 -2766 -3160 -2936 -2674 -2838 -2374 -2326 -2412 -2234 -3176 -2668 -2692 -3108 -2688 -2414 -2894 -3092 -2486 -3194 -2762 -2838 -2422 -2266 -2878 -3160 -2532 -2670 -3004 -2768 2740 -2952 -2480 -2360 -3048 -2456 -2340 -2252 -2320 -2282 -3160 -2736 -2656 -2984 -2626 -2258 -3158 -2894 -2862 -3216 -2704 -3100 -2862 -2328 -2220 -2546 -2550 -3068 -3092 -2776 -2896 -2548 -2332 -2246 -2664 -2292 -2936 -2882 -2800 -3216 -2898 -2664 -2944 -3108 -2896 -2858 -3090 -2628 -3122 -2314 -3176 -2314 -2338 -2934 -2990 -2790 -2500 -2566 -2628 -2646 -2936 -2398 -2394 -2988 -3010 -2908 -3136 -2980 -2424 -3126 -3042 -3166 -2258 -3160 2482 -2404 -2298 -3076 -2220 -2752 -2268 -2730 -2434 -3160 -2604 -2348 -2320 -2298 -2448 -3140 -2432 -2900 -2704 -3166 -3036 2248 -2318 -3166 -3080 -2278 -2564 -2608 -3180 -2770 -2708 -2688 -3180 -3216 -2782 -2320 -2802 -2966 -2524 -2946 -3126 -3004 -2924 -3200 -3216 -2276 -2262 -2330 -2524 -2272 -2662 -2642 -2554 -2260 -2286 -2420 -2982 -2994 -2980 -3130 -3126 -2620 -3016 -3160 -3140 -2238 -2714 -3100 -2936 -3116 -3130 -2258 -2704 -2872 -2548 -2900 -2736 -2670 -3090 -2760 -2540 -2284 -2444 -3176 -2704 -2490 -3192 -3126 -3046 -2776 -2570 -3042 -2258 -2318 -2408 -2948 -2664 -2736 -2456 -3120 -3022 -2390 -2452 -2270 -2894 -2630 -2334 -3176 -2448 -3096 -2266 -2246 -2624 -3044 -2908 -2908 -2670 -3160 -2482 -2776 -2254 -2736 -3184 -2374 -2242 -2710 -2578 -2618 -2900 -2480 -2268 -3044 -2604 -3196 -2744 -2222 -2258 -2424 -2706 -2286 -2442 -2714 -2962 -2710 -2230 -3208 -3002 -2492 -2494 -3216 -2260 -2976 -2278 -2448 -2710 -2588 -2372 -2934 -3200 -2710 -2440 -2268 -2406 -2786 -2482 -2488 -2572 -2388 -2298 -2282 -2548 -2426 -3216 -2372 -2680 2954 -2818 -2860 -2522 -2788 -2516 -2582 -3200 -2706 -2776 -3216 -2404 -2526 -2320 -2290 -3176 -2310 -3180 -3176 -2654 -3176 -2226 -3166 -2736 -2736 -2736 -2334 -2832 -2908 -3192 -2474 -2424 -3126 -3002 2730 -3216 -2442 -2580 -2454 2438 -2896 -2306 -2498 -3070 -3152 -2360 2772 -2314 -2274 -2562 -3140 -2274 -3176 -2298 -2520 -3176 -2860 -2258 -2776 -2442 -2282 -2710 -2982 -3200 -3180 -3176 -2332 -2416 -2570 -2588 -2474 -2450 -3070 2830 -2712 -3216 -2468 -2666 -2864 -3110 -2412 -3078 -2274 -2736 -2800 -2710 -2704 -2650 -3020 -2278 -2434 -3126 -2458 -3216 -2830 -2292 -2898 -2236 -2278 -2414 -2476 -2690 -2234 -2610 -2990 -2910 -2830 -2618 -2300 -2848 -3176 -2584 -2776 -2640 -2916 -2988 -2220 -2348 -2838 -3124 -3160 -2764 -3216 -2906 -3126 -3200 -3058 -3200 -2274 -2948 -2834 -2260 -3022 -2752 -3176 -2226 -2328 -3056 -3176 -3078 2272 -2410 -2298 -2814 -2796 -2338 -2298 -3052 -2744 -3118 -2860 -2504 -2770 -2758 -3166 -2524 -2762 3152 -2268 -2946 -2484 -2598 -2948 -2938 -3200 -3098 -3160 -2290 -2792 -2772 3012 -3160 -2490 -2580 -3216 -2592 -2434 -3068 -2948 -3006 -3138 -3002 -3130 -3090 -3118 -2682 -2624 -2576 -2794 -2516 -2736 -3216 -2298 -2878 -2278 -2312 -3216 -3110 -2588 -3140 -3216 -2298 -2242 -2742 -2946 -3032 -3086 -3030 -2934 -2906 -2384 -2844 -2946 -2278 -3160 -3152 -2698 -2918 -2288 -3154 -2710 2886 -2904 -2972 -3180 -3166 -3028 -2664 -2230 -2270 -2922 -2274 -2812 -3118 -2882 -2606 -2762 -2590 -3200 -3012 -2296 2846 -2872 -2488 -2980 -3216 -3098 -3138 -2908 -3176 -2228 -3202 -2420 -2776 -2862 -3078 -2510 -2780 -2556 -2664 -3176 -2664 -2762 -3160 -2272 -2272 3182 -3216 -3200 -2602 -3152 -3044 -3078 -2934 -2236 -2370 -2778 -3078 -2320 -2666 -2306 -2824 -2434 -2946 -3086 -2948 -2250 -3004 -2490 -2832 -2634 -2664 -2620 -2298 -3216 -2360 -2960 -2670 -3176 -3216 -2236 -2988 -2258 -2304 -2408 -3126 -2754 -2774 -3130 -2670 -2234 -2260 -3160 -3216 -2850 -2572 -2352 -2370 -2252 2870 -3118 -3184 -2274 -2540 -3216 -3168 -2482 -3118 -3020 -2278 -3200 -2252 -2664 -2362 -2458 -3134 -2318 -3154 -2484 -2670 -2264 -2474 -2944 -2730 -2556 -3118 -3200 -3044 -2588 -2800 -3112 -3044 -2704 2220 -3130 -2656 -3216 -3164 -3084 -2616 -2300 -3016 -2234 -2320 -2260 -2956 -3178 -2576 -2268 -2956 -2400 -2352 -2282 -2232 -2704 -2288 -2476 -3112 -3084 -2754 -3076 -2548 -2236 -2562 -3114 -2258 -2248 -2452 -2530 -3176 -3216 -2298 -2814 2328 -2950 -2318 -3158 -3216 -2778 -3014 -2586 -2298 -2908 -3004 -3156 -2514 -2710 -2480 -2734 -3120 -2266 -2372 -2402 -2736 -3096 -3160 -2666 -3200 -2664 -2276 -2224 -2784 -3094 -3216 -2938 -2988 2436 -3176 -2748 -2702 -3166 -2666 -3166 -2242 -3120 -2332 -2870 -2226 -3056 -3160 -2896 -3014 -2386 -2666 -3120 -3216 -2810 -2450 -2706 -2948 -2602 -3160 -2986 -2522 -2362 -3010 -2596 -3160 -2328 -2986 -2292 -2548 -2792 -2630 -3160 -2318 -3176 -2616 -3200 -3150 -2502 -2372 -3114 -2974 -2972 -2436 -3216 -2638 -2500 -2946 -2394 -3118 2260 -2220 -2278 -3066 -2490 -2228 -2442 -2298 -2628 -2704 -2286 -3216 -2274 -3126 -2670 -3140 -2260 -2434 -3200 -2706 -2816 -2610 -2722 -2358 -2668 -2710 -3154 -3204 -2232 -2936 -2294 -2396 -2954 -2250 -2866 -2562 -2758 -2298 -2498 -2732 -3160 -2940 -3176 -2936 -2408 -2298 -2360 -3176 -3120 -2434 -2718 -2428 -2850 -2360 -3076 -3166 -3152 -2374 -2306 -3112 -2278 -3154 -3216 -2274 -2238 -3160 -2950 -2780 -3140 -2996 -2546 -2284 -2908 -3044 -2514 -2358 2220 -2902 -3012 -3118 2722 -2278 -2914 -2356 -3052 -3042 -2992 -2536 -2690 -2588 -3216 -2504 -3160 -3012 -2748 -2752 -2990 -3124 -2928 -3028 -3152 -3176 -2322 -2708 -2364 -2278 -2580 -2682 -2778 -2710 -2290 -2908 -2302 -2906 -2628 -3174 -2588 -2876 -2792 -2220 -2378 -2448 -2706 -2830 -3216 -2866 -2840 -2918 -2278 -2810 2326 -2228 -2368 -2530 -2776 -3216 -2990 3160 -2318 -2670 -2418 -3120 -2402 -2722 -3168 -2902 -2908 -2474 -2930 -3176 -2224 -2968 -2250 -3046 -3100 -2836 -2964 -2658 -2936 -2364 -2818 -2802 -2516 -2376 -2868 -2280 -3200 -2264 -2942 -2440 -3090 -2296 -3166 -2698 -3136 -2888 2976 -3098 -3166 -2864 -2970 -2360 -2228 -2980 -2312 -3120 -2508 -2306 -2948 -3180 -3176 -3152 -2266 -2948 -2736 -2670 -3166 -3216 -2538 -3114 -2886 -2330 -2260 -2670 -3116 -2874 -3176 -3216 -3166 -2246 -2402 -3160 -2708 -2694 -2404 -2416 -2474 -2736 -3176 -2490 -2672 -2312 -2278 -2350 -2354 -2918 -2982 -2776 -2260 -2522 2220 -2732 -2266 -3112 2960 -3120 -2276 -2448 -2298 -2550 -2906 -2798 -2252 -2984 -2842 -3198 -2982 -3120 -2490 -2760 -2922 -2298 -2896 -2872 -2902 -3160 -2432 -2878 -3166 -2480 -3176 -2474 -3120 -2972 -2244 -2258 -2606 -3214 -3126 -2668 -2710 -3126 -3216 -2290 -2740 -2558 -3168 -3152 -2484 -2710 -2588 -3012 -2332 -2434 -2462 -2374 -2918 -2984 -2370 -3176 -2434 -2610 -2716 -3216 -2230 -3050 -2356 -2498 -2620 -2264 -2536 -2322 -2878 -2480 -3142 -2348 -2464 -3176 -2686 -2642 -2888 -2936 -2642 -2492 -2258 -2896 -2670 -2320 -3024 -3126 -2296 -3160 -2412 -3072 -2736 -2928 -3200 -2736 -2298 -2278 -2606 -2640 -2222 -2728 -2626 -2298 -2948 -2872 -3200 -2736 -3176 -2282 -2318 -3216 -2318 -2562 -3006 -3126 -2320 -2704 -2390 -2456 -2266 -2454 -3200 -3006 -3084 -2620 -3020 -3212 -2674 -2982 -2468 -2380 -2258 -3090 -3160 -2318 -3126 -3126 -3090 -2908 -3116 -2472 -2840 -2474 -2278 -2780 -2906 -2298 -3200 -3060 -2474 -2356 -2634 -2268 -2774 -2278 -2324 -2666 -3050 -2324 -2584 -2494 -3176 -2670 -2584 -2386 2776 -2798 -3210 -3086 -3054 -2894 -3008 -3140 -2376 -2298 -2550 -2876 -2838 -2920 3128 -3216 -2278 -2810 -2370 -2452 -2920 -2820 -2358 -2948 -3086 -2714 -3136 -3126 -3126 -2474 -2320 -3044 -2762 -2982 -2272 -2710 -3176 -2942 -2420 -2548 -3024 -3070 -3200 -2564 -2492 -2540 -2510 -2516 -3176 -3114 -2918 -2752 -3182 -2776 -2664 -2274 -2234 -2624 -3078 -2602 -2292 -2320 -2272 -2710 -3176 -2506 -3078 -2318 -3078 -3152 -2290 -3096 -2544 -2896 -2610 -2548 -3176 -3170 -3176 -2278 -2452 -2276 -3180 -2474 -2260 -3120 -2916 -2850 -3198 -2360 -2936 -2532 -2854 -2294 -3176 -2810 -3054 -3178 -2224 -2374 -2896 -3180 -2890 -2540 -2820 3142 -3176 -2802 -2220 -3154 -2664 -3216 -3158 -3176 -2492 -2948 -3166 -3030 -2928 -2622 -2398 -2542 -2584 -3130 -3008 -3200 -3176 -2568 -2440 -2376 -2420 -2360 -2724 -2222 -2258 -2436 -2670 -3144 -2832 -2548 -2258 -3156 -3054 -2588 -3216 -2988 -3164 -3134 -2318 -3096 -2566 -2730 -2670 -2264 -3200 -2376 -3002 -2704 -2774 -2236 -2898 -2278 -2418 -2906 -2912 -3120 -3032 -2266 -3216 -2246 -2320 -2556 -2690 -2826 -3046 -2616 -2878 -2282 -3160 -2318 -2408 2220 -2384 -2902 -3120 -2236 -3136 -2360 -2290 -2258 -2284 -2436 -3176 -3080 -3112 -2736 -2638 -2770 -3216 -2362 -3136 -3170 -2758 -2250 -2948 -3176 -3176 -3004 -2602 -3176 -2954 -3046 -3216 -3002 -2302 -2318 -3160 -2458 -3084 -2912 -3196 -3176 -2798 -2378 -3160 -2918 -3080 -3126 -2288 -2710 -2882 -2796 -3176 -3016 -2748 -3152 -2666 -2624 -2630 -2260 -2298 -2836 -2420 -2580 -3160 -2710 -2868 -2476 -2260 -2932 -2582 -2316 -2414 -2768 -2794 -3176 -2318 -2286 -2290 -3124 -2616 -2876 -3216 -3042 -2296 -3082 -2532 -2604 -2620 -3070 -2724 -3216 -2434 -2516 -2664 -3060 -2492 -2808 -3162 -2388 -2250 -2590 -2242 -2776 -3090 -2896 -2590 -2704 -3160 -2290 -3044 -2670 -3022 -2272 -2670 2544 -3128 -2596 3196 -2360 -2614 -2278 -2360 -2226 -3166 -2320 -2932 -2858 -3200 -2220 -2318 -3034 2798 -2552 -2434 -2274 -2934 -2650 -2590 -2228 -2424 -3176 -2430 -2314 -3154 -2440 -2270 -3112 -2286 -2560 -2638 -2938 -3216 -3192 -2320 -2644 -3164 -2908 -2642 -2290 -2902 -3016 -2452 -2664 -2298 -2724 -2562 -2298 -3184 -2408 -3112 -2474 -3176 -2532 -2390 -2908 -2306 -2700 -3090 -3044 -3176 -2670 -2392 -2370 -3126 -2756 -2974 2830 -2434 -2722 -2534 -2616 -3216 -2462 -2564 -2262 -2672 -2474 -2434 -3082 -3016 -2372 -3152 -3154 -2232 -3016 -2834 -2228 -2378 -2860 -3120 -2258 -2896 -2908 -3160 -2434 -2896 -3098 -2746 -2272 2336 -2738 -2242 -2634 -2504 -2664 -3200 -2878 -3152 -2322 -2768 -2254 -2320 -3126 -2732 -2658 -3176 -2240 -2964 -3176 -2996 -3160 -2358 -2922 -2936 -2288 -2434 -3216 -2342 -2562 -2350 -2994 -3048 -3126 -2360 -2470 -2744 -2760 -2408 -2320 -2936 -3216 -2440 -2670 -3118 -3006 -3120 -2918 -2740 -2794 -2878 -2812 -2536 -2618 -3216 -2600 -3176 -2330 -3166 -2398 -3122 -3080 -3140 -2324 -2624 2260 -2670 -2776 -3028 -2348 -2488 -2298 -2780 -2376 -3112 -2492 -2318 -2952 2912 -3216 -2468 -3028 -2704 -2368 -2988 -2846 -2416 -2790 -2360 -2546 -2598 -2972 -3168 -3112 -2364 -2532 -2976 -2506 -2880 -2440 -2444 -2884 -2272 -2392 -2320 -3176 -3176 -2502 -2932 -2346 -2448 -3216 -2316 -2738 -3124 -2350 -2632 -3160 -3044 -3216 -2392 -3078 -3152 -2256 -2282 -2904 -3004 -2750 -2634 -2948 -3030 -2508 -2534 -2220 -3084 -2806 -2602 -2522 -2454 -3144 -3166 -2318 -2948 -3176 -2234 -3120 -3070 -3036 -2744 -2402 -2250 -2946 -2710 -2994 -3166 -2776 -2410 -2380 -2512 -2718 -2990 -2562 -2754 -3172 -2472 -3216 -3216 -3216 -2454 -2622 -3176 -3126 -2664 -3176 -2312 -3160 -2458 -2654 -2262 -2706 -2972 -2908 -3126 -2548 -2264 -3204 -3152 -2544 -2546 -2286 -3086 -2342 -2260 -2400 -3160 -2468 -3120 -3090 -2600 -3216 -2324 -2408 -3120 -2336 -3140 -2588 -2246 -3058 -2598 -3216 -2548 -2918 -2972 -2832 -2916 -2376 -3028 -3078 -3176 -2318 -2902 -2632 -3156 -3052 -2478 -2726 -2474 -3144 -3216 -2670 -2278 -3080 -3042 -2956 -2602 -2548 -3120 -2234 -2852 -2902 -2274 -2278 -3216 -3216 -3140 -2320 -2474 -2270 -2278 -2542 -2880 -2898 -3078 -2554 -2298 -3148 -2704 -2330 -2386 -2356 -2662 -3162 -2736 -3086 -2554 -3194 -2318 -2396 -2306 -3176 3042 -3120 -2902 -2634 -2584 -3120 -2762 -2654 -2452 -2622 -2260 -2534 -2878 -2806 -3216 -2318 -2776 -3176 -2266 -2810 -2966 -2580 -3176 -2718 -2848 -2958 -2988 -2436 -3216 -2312 -2798 -2918 -3046 -2508 -2728 -3176 -3188 -3028 -3130 -3216 -2224 -3126 -2578 -2260 -2426 -3160 -2610 -2736 -3004 -3086 -2576 -3216 -2258 -2756 -2434 -3216 2914 -3004 -2494 -2908 -2258 -2220 -2304 -2896 -2774 -2670 -3118 -2790 -2368 -3160 -2476 -3102 -3176 -2804 -3160 -3140 -2404 -3180 -2906 -2808 -3126 -3058 -2434 -2464 2860 -2944 -2988 -3068 -2318 -2258 -2996 -3118 -2484 -3030 -3068 -3138 -2472 -2664 -2228 -3120 -3176 -2386 -2660 -2294 -2674 -3216 -2276 -3118 -2694 -3004 -3216 -3080 -2972 -3200 -2948 -2588 -2880 -2748 -2360 -2696 -3108 -2682 -2934 -2946 -2508 -3086 -2796 -3160 -3200 -2308 -3156 -3200 -2464 -3120 -2556 -3120 -2412 -2360 -2932 -3044 -3200 -2374 -3216 -2788 -2548 3152 -2474 -3120 -3016 -3160 -3176 -2228 -2234 -3118 -2758 -2318 -2876 -2992 -2878 -2438 -2264 -3126 -2318 -2902 -2320 -2928 -3176 -2724 -3120 -2890 -3120 -2756 -2944 -2278 -2340 -2450 -3216 -3180 -2650 -2796 -3016 -2790 -3118 -2722 -2712 -2972 -2368 -2704 -3126 -2572 -3026 -2736 -2494 -2318 2986 -2588 -2452 -3176 -2398 -2614 -2278 -2776 -3176 -2470 -3086 -3008 -2800 -2728 -2230 -3176 -2918 -2820 -3142 -2242 -2380 -3160 -3118 -2868 -2428 -2476 -3110 -2364 -3026 -3126 -3160 -3196 -2590 2432 -2480 -2768 -3082 -2660 -2232 -2908 -2594 -2512 -2360 -3078 -3080 -2354 2738 -2432 -3094 -3166 -3130 -3120 -2292 -2894 -2556 -2368 -2476 -2580 -3026 -2684 -2300 -2972 -2736 -3160 -2764 -2598 -2992 2770 -3176 -2492 -3044 -3110 -2956 -3080 -2276 -2298 -3090 -2434 -3078 -2276 -3176 -3130 -3058 -2402 -3160 -3180 -2648 -2288 -2984 -2844 -3148 -3176 -3160 -3176 -2624 -2286 -2354 -2942 -2666 -2278 -2838 -2474 -2360 -3090 -3126 -2222 -2752 -2642 -2550 -3216 -2488 -2914 -3158 -3120 -2592 -2434 -2452 -2516 -2776 -2518 -3216 -3216 -2234 -3216 -2432 -3086 -2888 -2736 -2774 -2656 -2912 -3118 -2360 -3086 -2260 -2732 -2586 -2316 -2920 -2334 -2358 -2260 -2336 -2756 -2930 -2942 -2476 -3160 -3076 -2326 -3130 -3216 -2674 -3176 -2224 -3198 -3176 -2942 -2976 -2320 -2232 -3148 -3176 -3176 -2396 -2754 -2314 -2372 -3136 -2426 -2488 -2670 -2730 -2332 -2338 2220 -3120 -3152 -3160 -3158 -2776 2414 -2862 -2494 -3112 -2450 -2296 -2846 -2770 -3002 -3176 -2608 -2638 -2834 -2548 -2756 -2670 -3176 -2298 -2530 -2868 -2520 -3216 -2514 -2474 -2274 -2298 -2936 -2380 -2878 -2400 -2632 -2710 -2656 -3028 -2670 -2672 -2480 -2324 -2452 -3120 -2548 -2804 -3046 -3176 -2362 -2726 -3216 -3042 -2308 -2988 -3176 -2548 -2710 -2970 -2346 -2908 -2566 -2360 -3166 -2266 -3126 -2874 -2670 -3090 -3122 -2358 -2728 -3154 -2888 -2768 -2362 -2992 -2782 -2494 -2434 -3142 -2378 -2548 -2402 -2802 -2788 -3166 -2384 -2320 -2256 -2980 -3160 -3176 -3060 -2828 -2476 -2258 -2370 -2446 -2474 -2360 -2270 -2300 -2258 -2412 -2916 -2252 -2570 -3002 -2606 -3130 -2252 -2588 -3176 -3166 -2896 -2314 -2670 -3128 -2934 -2540 -3200 -2258 2220 -3166 -2952 -3152 -2258 -2430 -2358 -3166 -2398 -2894 -2776 -3200 -3098 -2258 -3184 -2736 -3200 -3006 -2908 -2298 -3158 -2948 -2634 -2684 -2972 -2612 -2940 -3054 2560 -2286 -2686 -2522 -2318 -2374 -3130 -2336 -2444 -2912 -2654 -2896 -2310 -2948 -3176 -3160 -2650 -3004 -2492 -2874 -3216 -2276 2392 -2360 -2646 -2278 -2872 -2968 -3120 -3078 -2474 -2770 2952 -3160 -2738 -2360 -2326 -2360 -2492 -2434 -2758 -2292 -2614 -2458 -2286 -2776 -3112 -3154 -3030 -3216 -3216 -2814 -2392 -2810 -2334 -2346 -2566 -2222 -3044 -2330 -2710 -2588 -2722 -2298 -2846 -2284 -3126 -2986 -2498 -2400 -2894 -2948 -2758 -3160 -3200 -3160 -2558 -2238 -3216 -2706 -3130 -2298 -3216 -2842 -3152 -2704 -2948 -3080 -2280 -2710 -2256 -2272 -2970 -3084 -2394 -3056 -2280 -2828 -2258 -2220 -2386 -2432 2416 -2932 -2770 -2710 -2776 -3088 -3126 -2364 -3046 -2262 -2920 -2668 -2770 -3200 -2366 -2434 -2544 -2898 -2262 3028 -2752 -2378 -2630 -2764 -2318 -3176 -3216 -2726 -2360 -2434 -2908 -2766 -2474 -2320 -2282 -2852
544.42/548.68 d ASSIGNMENTS 2800
544.42/548.68 d CHECKS 35062902
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1086750-1215241051/watcher-1086750-1215241051 -o /tmp/evaluation-result-1086750-1215241051/solver-1086750-1215241051 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1086750-1215241051.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.82 2.71 2.33 4/72 17449
/proc/meminfo: memFree=1580056/2055920 swapFree=4180424/4192956
[pid=17449] ppid=17447 vsize=5260 CPUtime=0
/proc/17449/stat : 17449 (hydra) R 17447 17449 14475 0 -1 4194304 64 0 0 0 0 0 0 0 20 0 1 0 2003078689 5386240 49 996147200 4194304 4889804 548682068816 18446744073709551615 210821513959 0 0 4096 0 0 0 0 17 1 0 0
/proc/17449/statm: 1315 49 37 169 0 14 0
[startup+0.0749031 s]
/proc/loadavg: 2.82 2.71 2.33 4/72 17449
/proc/meminfo: memFree=1580056/2055920 swapFree=4180424/4192956
[pid=17449] ppid=17447 vsize=5360 CPUtime=0
/proc/17449/stat : 17449 (hydra) S 17447 17449 14475 0 -1 4194304 330 247 0 0 0 0 0 0 20 0 1 0 2003078689 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17449/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.101907 s]
/proc/loadavg: 2.82 2.71 2.33 4/72 17449
/proc/meminfo: memFree=1580056/2055920 swapFree=4180424/4192956
[pid=17449] ppid=17447 vsize=5360 CPUtime=0
/proc/17449/stat : 17449 (hydra) S 17447 17449 14475 0 -1 4194304 330 247 0 0 0 0 0 0 20 0 1 0 2003078689 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17449/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.301935 s]
/proc/loadavg: 2.82 2.71 2.33 4/72 17449
/proc/meminfo: memFree=1580056/2055920 swapFree=4180424/4192956
[pid=17449] ppid=17447 vsize=5360 CPUtime=0
/proc/17449/stat : 17449 (hydra) S 17447 17449 14475 0 -1 4194304 330 247 0 0 0 0 0 0 20 0 1 0 2003078689 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17449/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.701982 s]
/proc/loadavg: 2.82 2.71 2.33 4/72 17449
/proc/meminfo: memFree=1580056/2055920 swapFree=4180424/4192956
[pid=17449] ppid=17447 vsize=5360 CPUtime=0
/proc/17449/stat : 17449 (hydra) S 17447 17449 14475 0 -1 4194304 330 247 0 0 0 0 0 0 20 0 1 0 2003078689 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17449/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+1.50107 s]
/proc/loadavg: 2.82 2.71 2.33 3/74 17453
/proc/meminfo: memFree=1565320/2055920 swapFree=4180424/4192956
[pid=17449] ppid=17447 vsize=5360 CPUtime=0
/proc/17449/stat : 17449 (hydra) S 17447 17449 14475 0 -1 4194304 330 247 0 0 0 0 0 0 20 0 1 0 2003078689 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17449/statm: 1340 236 195 169 0 51 0
[pid=17453] ppid=17449 vsize=112180 CPUtime=1.41
/proc/17453/stat : 17453 (xsolve) R 17449 17449 14475 0 -1 4194304 17767 0 0 0 130 11 0 0 25 0 1 0 2003078691 114872320 17530 996147200 134512640 135239763 4294956176 18446744073709551615 134820077 0 0 4096 0 0 0 0 17 1 0 0
/proc/17453/statm: 28045 17530 428 177 0 26948 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 117540
[startup+3.10126 s]
/proc/loadavg: 2.82 2.71 2.33 3/74 17453
/proc/meminfo: memFree=1510856/2055920 swapFree=4180424/4192956
[pid=17449] ppid=17447 vsize=5360 CPUtime=0
/proc/17449/stat : 17449 (hydra) S 17447 17449 14475 0 -1 4194304 330 247 0 0 0 0 0 0 20 0 1 0 2003078689 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17449/statm: 1340 236 195 169 0 51 0
[pid=17453] ppid=17449 vsize=112180 CPUtime=3
/proc/17453/stat : 17453 (xsolve) R 17449 17449 14475 0 -1 4194304 17767 0 0 0 289 11 0 0 25 0 1 0 2003078691 114872320 17530 996147200 134512640 135239763 4294956176 18446744073709551615 135103323 0 0 4096 0 0 0 0 17 1 0 0
/proc/17453/statm: 28045 17530 428 177 0 26948 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 117540
[startup+6.30164 s]
/proc/loadavg: 2.76 2.70 2.33 3/74 17453
/proc/meminfo: memFree=1510792/2055920 swapFree=4180424/4192956
[pid=17449] ppid=17447 vsize=5360 CPUtime=0
/proc/17449/stat : 17449 (hydra) S 17447 17449 14475 0 -1 4194304 330 247 0 0 0 0 0 0 20 0 1 0 2003078689 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17449/statm: 1340 236 195 169 0 51 0
[pid=17453] ppid=17449 vsize=112180 CPUtime=6.17
/proc/17453/stat : 17453 (xsolve) R 17449 17449 14475 0 -1 4194304 17767 0 0 0 605 12 0 0 25 0 1 0 2003078691 114872320 17530 996147200 134512640 135239763 4294956176 18446744073709551615 134535329 0 0 4096 0 0 0 0 17 1 0 0
/proc/17453/statm: 28045 17530 428 177 0 26948 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 117540
[startup+12.7014 s]
/proc/loadavg: 2.70 2.69 2.32 3/74 17453
/proc/meminfo: memFree=1511048/2055920 swapFree=4180424/4192956
[pid=17449] ppid=17447 vsize=5360 CPUtime=0
/proc/17449/stat : 17449 (hydra) S 17447 17449 14475 0 -1 4194304 330 247 0 0 0 0 0 0 20 0 1 0 2003078689 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17449/statm: 1340 236 195 169 0 51 0
[pid=17453] ppid=17449 vsize=112180 CPUtime=12.52
/proc/17453/stat : 17453 (xsolve) R 17449 17449 14475 0 -1 4194304 17773 0 0 0 1240 12 0 0 25 0 1 0 2003078691 114872320 17536 996147200 134512640 135239763 4294956176 18446744073709551615 134543109 0 0 4096 0 0 0 0 17 1 0 0
/proc/17453/statm: 28045 17536 434 177 0 26948 0
Current children cumulated CPU time (s) 12.52
Current children cumulated vsize (KiB) 117540
[startup+25.502 s]
/proc/loadavg: 2.54 2.65 2.32 3/74 17453
/proc/meminfo: memFree=1511240/2055920 swapFree=4180424/4192956
[pid=17449] ppid=17447 vsize=5360 CPUtime=0
/proc/17449/stat : 17449 (hydra) S 17447 17449 14475 0 -1 4194304 330 247 0 0 0 0 0 0 20 0 1 0 2003078689 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17449/statm: 1340 236 195 169 0 51 0
[pid=17453] ppid=17449 vsize=112180 CPUtime=25.22
/proc/17453/stat : 17453 (xsolve) R 17449 17449 14475 0 -1 4194304 17773 0 0 0 2510 12 0 0 25 0 1 0 2003078691 114872320 17536 996147200 134512640 135239763 4294956176 18446744073709551615 134543151 0 0 4096 0 0 0 0 17 1 0 0
/proc/17453/statm: 28045 17536 434 177 0 26948 0
Current children cumulated CPU time (s) 25.22
Current children cumulated vsize (KiB) 117540
[startup+51.101 s]
/proc/loadavg: 2.36 2.60 2.31 3/74 17453
/proc/meminfo: memFree=1511368/2055920 swapFree=4180424/4192956
[pid=17449] ppid=17447 vsize=5360 CPUtime=0
/proc/17449/stat : 17449 (hydra) S 17447 17449 14475 0 -1 4194304 330 247 0 0 0 0 0 0 20 0 1 0 2003078689 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17449/statm: 1340 236 195 169 0 51 0
[pid=17453] ppid=17449 vsize=112180 CPUtime=50.6
/proc/17453/stat : 17453 (xsolve) R 17449 17449 14475 0 -1 4194304 17773 0 0 0 5047 13 0 0 25 0 1 0 2003078691 114872320 17536 996147200 134512640 135239763 4294956176 18446744073709551615 134820119 0 0 4096 0 0 0 0 17 1 0 0
/proc/17453/statm: 28045 17536 434 177 0 26948 0
Current children cumulated CPU time (s) 50.6
Current children cumulated vsize (KiB) 117540
[startup+102.306 s]
/proc/loadavg: 2.15 2.50 2.29 3/74 17453
/proc/meminfo: memFree=1511560/2055920 swapFree=4180424/4192956
[pid=17449] ppid=17447 vsize=5360 CPUtime=0
/proc/17449/stat : 17449 (hydra) S 17447 17449 14475 0 -1 4194304 330 247 0 0 0 0 0 0 20 0 1 0 2003078689 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17449/statm: 1340 236 195 169 0 51 0
[pid=17453] ppid=17449 vsize=112180 CPUtime=101.42
/proc/17453/stat : 17453 (xsolve) R 17449 17449 14475 0 -1 4194304 17773 0 0 0 10129 13 0 0 25 0 1 0 2003078691 114872320 17536 996147200 134512640 135239763 4294956176 18446744073709551615 134543107 0 0 4096 0 0 0 0 17 1 0 0
/proc/17453/statm: 28045 17536 434 177 0 26948 0
Current children cumulated CPU time (s) 101.42
Current children cumulated vsize (KiB) 117540
[startup+162.301 s]
/proc/loadavg: 2.05 2.41 2.27 3/74 17453
/proc/meminfo: memFree=1511496/2055920 swapFree=4180424/4192956
[pid=17449] ppid=17447 vsize=5360 CPUtime=0
/proc/17449/stat : 17449 (hydra) S 17447 17449 14475 0 -1 4194304 330 247 0 0 0 0 0 0 20 0 1 0 2003078689 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17449/statm: 1340 236 195 169 0 51 0
[pid=17453] ppid=17449 vsize=112180 CPUtime=160.96
/proc/17453/stat : 17453 (xsolve) R 17449 17449 14475 0 -1 4194304 17773 0 0 0 16083 13 0 0 25 0 1 0 2003078691 114872320 17536 996147200 134512640 135239763 4294956176 18446744073709551615 134535411 0 0 4096 0 0 0 0 17 1 0 0
/proc/17453/statm: 28045 17536 434 177 0 26948 0
Current children cumulated CPU time (s) 160.96
Current children cumulated vsize (KiB) 117540
[startup+222.302 s]
/proc/loadavg: 2.09 2.35 2.25 3/74 17459
/proc/meminfo: memFree=1510664/2055920 swapFree=4180424/4192956
[pid=17449] ppid=17447 vsize=5360 CPUtime=0
/proc/17449/stat : 17449 (hydra) S 17447 17449 14475 0 -1 4194304 330 247 0 0 0 0 0 0 20 0 1 0 2003078689 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17449/statm: 1340 236 195 169 0 51 0
[pid=17453] ppid=17449 vsize=112180 CPUtime=220.51
/proc/17453/stat : 17453 (xsolve) R 17449 17449 14475 0 -1 4194304 17773 0 0 0 22038 13 0 0 25 0 1 0 2003078691 114872320 17536 996147200 134512640 135239763 4294956176 18446744073709551615 135096891 0 0 4096 0 0 0 0 17 1 0 0
/proc/17453/statm: 28045 17536 434 177 0 26948 0
Current children cumulated CPU time (s) 220.51
Current children cumulated vsize (KiB) 117540
[startup+282.302 s]
/proc/loadavg: 2.03 2.28 2.24 3/74 17459
/proc/meminfo: memFree=1510600/2055920 swapFree=4180424/4192956
[pid=17449] ppid=17447 vsize=5360 CPUtime=0
/proc/17449/stat : 17449 (hydra) S 17447 17449 14475 0 -1 4194304 330 247 0 0 0 0 0 0 20 0 1 0 2003078689 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17449/statm: 1340 236 195 169 0 51 0
[pid=17453] ppid=17449 vsize=112180 CPUtime=280.06
/proc/17453/stat : 17453 (xsolve) R 17449 17449 14475 0 -1 4194304 17773 0 0 0 27992 14 0 0 25 0 1 0 2003078691 114872320 17536 996147200 134512640 135239763 4294956176 18446744073709551615 134539259 0 0 4096 0 0 0 0 17 1 0 0
/proc/17453/statm: 28045 17536 434 177 0 26948 0
Current children cumulated CPU time (s) 280.06
Current children cumulated vsize (KiB) 117540
[startup+342.301 s]
/proc/loadavg: 2.01 2.23 2.22 3/74 17459
/proc/meminfo: memFree=1510472/2055920 swapFree=4180424/4192956
[pid=17449] ppid=17447 vsize=5360 CPUtime=0
/proc/17449/stat : 17449 (hydra) S 17447 17449 14475 0 -1 4194304 330 247 0 0 0 0 0 0 20 0 1 0 2003078689 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17449/statm: 1340 236 195 169 0 51 0
[pid=17453] ppid=17449 vsize=112180 CPUtime=339.61
/proc/17453/stat : 17453 (xsolve) R 17449 17449 14475 0 -1 4194304 17773 0 0 0 33947 14 0 0 25 0 1 0 2003078691 114872320 17536 996147200 134512640 135239763 4294956176 18446744073709551615 134535329 0 0 4096 0 0 0 0 17 1 0 0
/proc/17453/statm: 28045 17536 434 177 0 26948 0
Current children cumulated CPU time (s) 339.61
Current children cumulated vsize (KiB) 117540
[startup+402.301 s]
/proc/loadavg: 2.00 2.18 2.20 3/74 17459
/proc/meminfo: memFree=1510472/2055920 swapFree=4180424/4192956
[pid=17449] ppid=17447 vsize=5360 CPUtime=0
/proc/17449/stat : 17449 (hydra) S 17447 17449 14475 0 -1 4194304 330 247 0 0 0 0 0 0 20 0 1 0 2003078689 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17449/statm: 1340 236 195 169 0 51 0
[pid=17453] ppid=17449 vsize=112180 CPUtime=399.16
/proc/17453/stat : 17453 (xsolve) R 17449 17449 14475 0 -1 4194304 17773 0 0 0 39902 14 0 0 25 0 1 0 2003078691 114872320 17536 996147200 134512640 135239763 4294956176 18446744073709551615 134532176 0 0 4096 0 0 0 0 17 1 0 0
/proc/17453/statm: 28045 17536 434 177 0 26948 0
Current children cumulated CPU time (s) 399.16
Current children cumulated vsize (KiB) 117540
################
# More data... #
################
/proc/17474/task/17479/stat : 17479 (java) S 17473 17449 14475 0 -1 64 18 0 0 0 0 0 0 0 16 0 9 0 2003128956 671453184 68093 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17474/tid=17480] ppid=17473 vsize=655716 CPUtime=0
/proc/17474/task/17480/stat : 17480 (java) S 17473 17449 14475 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 2003128958 671453184 68093 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17474/tid=17481] ppid=17473 vsize=655716 CPUtime=0.39
/proc/17474/task/17481/stat : 17481 (java) S 17473 17449 14475 0 -1 64 738 0 0 0 38 1 0 0 16 0 9 0 2003128958 671453184 68093 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17474/tid=17482] ppid=17473 vsize=655716 CPUtime=0
/proc/17474/task/17482/stat : 17482 (java) S 17473 17449 14475 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2003128958 671453184 68093 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17474/tid=17483] ppid=17473 vsize=655716 CPUtime=0
/proc/17474/task/17483/stat : 17483 (java) S 17473 17449 14475 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2003128958 671453184 68093 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17475] ppid=17473 vsize=7044 CPUtime=0
/proc/17475/stat : 17475 (translate) S 17473 17449 14475 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 2003128954 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 210824298578 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/17475/statm: 1761 213 182 1 0 41 0
[pid=17463/tid=17464] ppid=17449 vsize=197432 CPUtime=4.96
/proc/17463/task/17464/stat : 17464 (java) S 17449 17449 14475 0 -1 64 3850 0 8 0 490 6 0 0 24 0 10 0 2003128316 202170368 9352 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=17463/tid=17465] ppid=17449 vsize=197432 CPUtime=0.99
/proc/17463/task/17465/stat : 17465 (java) S 17449 17449 14475 0 -1 64 6111 0 0 0 88 11 0 0 16 0 10 0 2003128319 202170368 9352 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17463/tid=17466] ppid=17449 vsize=197432 CPUtime=0
/proc/17463/task/17466/stat : 17466 (java) S 17449 17449 14475 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2003128319 202170368 9352 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17463/tid=17467] ppid=17449 vsize=197432 CPUtime=0
/proc/17463/task/17467/stat : 17467 (java) S 17449 17449 14475 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 2003128319 202170368 9352 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17463/tid=17468] ppid=17449 vsize=197432 CPUtime=0
/proc/17463/task/17468/stat : 17468 (java) S 17449 17449 14475 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2003128322 202170368 9352 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17463/tid=17469] ppid=17449 vsize=197432 CPUtime=0.23
/proc/17463/task/17469/stat : 17469 (java) S 17449 17449 14475 0 -1 64 655 0 1 0 23 0 0 0 16 0 10 0 2003128322 202170368 9352 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17463/tid=17470] ppid=17449 vsize=197432 CPUtime=0
/proc/17463/task/17470/stat : 17470 (java) S 17449 17449 14475 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 2003128322 202170368 9352 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17463/tid=17471] ppid=17449 vsize=197432 CPUtime=0
/proc/17463/task/17471/stat : 17471 (java) S 17449 17449 14475 0 -1 64 27 0 0 0 0 0 0 0 15 0 10 0 2003128322 202170368 9352 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17463/tid=17472] ppid=17449 vsize=197432 CPUtime=0
/proc/17463/task/17472/stat : 17472 (java) S 17449 17449 14475 0 -1 64 69 0 0 0 0 0 0 0 23 0 10 0 2003128951 202170368 9352 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 542.92
Current children cumulated vsize (KiB) 870908
[startup+547.903 s]
/proc/loadavg: 2.00 2.11 2.17 3/94 17483
/proc/meminfo: memFree=1281000/2055920 swapFree=4180424/4192956
[pid=17449] ppid=17447 vsize=5360 CPUtime=492.36
/proc/17449/stat : 17449 (hydra) S 17447 17449 14475 0 -1 4194304 375 18381 0 2 0 0 49220 16 18 0 1 0 2003078689 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17449/statm: 1340 238 196 169 0 51 0
[pid=17463] ppid=17449 vsize=197432 CPUtime=6.22
/proc/17463/stat : 17463 (java) S 17449 17449 14475 0 -1 0 11436 0 9 0 602 20 0 0 18 0 10 0 2003128314 202170368 9352 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17463/statm: 49358 9352 2543 9 0 43941 0
[pid=17473] ppid=17463 vsize=5356 CPUtime=0
/proc/17473/stat : 17473 (abscon) S 17463 17449 14475 0 -1 4194304 301 0 1 0 0 0 0 0 18 0 1 0 2003128951 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 210824127300 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/17473/statm: 1339 235 194 169 0 50 0
[pid=17474] ppid=17473 vsize=655716 CPUtime=45.14
/proc/17474/stat : 17474 (java) S 17473 17449 14475 0 -1 0 68823 0 16 0 4474 40 0 0 19 0 9 0 2003128954 671453184 68107 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17474/statm: 163929 68107 2617 9 0 158457 0
[pid=17474/tid=17476] ppid=17473 vsize=655716 CPUtime=43.3
/proc/17474/task/17476/stat : 17476 (java) R 17473 17449 14475 0 -1 64 12551 0 15 0 4318 12 0 0 25 0 9 0 2003128955 671453184 68107 996147200 134512640 134550740 4294955808 18446744073709551615 4127390035 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17474/tid=17477] ppid=17473 vsize=655716 CPUtime=1.4
/proc/17474/task/17477/stat : 17477 (java) S 17473 17449 14475 0 -1 64 54961 0 1 0 114 26 0 0 17 0 9 0 2003128956 671453184 68107 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17474/tid=17478] ppid=17473 vsize=655716 CPUtime=0
/proc/17474/task/17478/stat : 17478 (java) S 17473 17449 14475 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2003128956 671453184 68107 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17474/tid=17479] ppid=17473 vsize=655716 CPUtime=0
/proc/17474/task/17479/stat : 17479 (java) S 17473 17449 14475 0 -1 64 18 0 0 0 0 0 0 0 16 0 9 0 2003128956 671453184 68107 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17474/tid=17480] ppid=17473 vsize=655716 CPUtime=0
/proc/17474/task/17480/stat : 17480 (java) S 17473 17449 14475 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 2003128958 671453184 68107 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17474/tid=17481] ppid=17473 vsize=655716 CPUtime=0.42
/proc/17474/task/17481/stat : 17481 (java) S 17473 17449 14475 0 -1 64 753 0 0 0 41 1 0 0 15 0 9 0 2003128958 671453184 68107 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17474/tid=17482] ppid=17473 vsize=655716 CPUtime=0
/proc/17474/task/17482/stat : 17482 (java) S 17473 17449 14475 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2003128958 671453184 68107 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17474/tid=17483] ppid=17473 vsize=655716 CPUtime=0
/proc/17474/task/17483/stat : 17483 (java) S 17473 17449 14475 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2003128958 671453184 68107 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17475] ppid=17473 vsize=7044 CPUtime=0
/proc/17475/stat : 17475 (translate) S 17473 17449 14475 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 2003128954 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 210824298578 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/17475/statm: 1761 213 182 1 0 41 0
[pid=17463/tid=17464] ppid=17449 vsize=197432 CPUtime=4.96
/proc/17463/task/17464/stat : 17464 (java) S 17449 17449 14475 0 -1 64 3850 0 8 0 490 6 0 0 24 0 10 0 2003128316 202170368 9352 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=17463/tid=17465] ppid=17449 vsize=197432 CPUtime=0.99
/proc/17463/task/17465/stat : 17465 (java) S 17449 17449 14475 0 -1 64 6111 0 0 0 88 11 0 0 16 0 10 0 2003128319 202170368 9352 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17463/tid=17466] ppid=17449 vsize=197432 CPUtime=0
/proc/17463/task/17466/stat : 17466 (java) S 17449 17449 14475 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2003128319 202170368 9352 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17463/tid=17467] ppid=17449 vsize=197432 CPUtime=0
/proc/17463/task/17467/stat : 17467 (java) S 17449 17449 14475 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 2003128319 202170368 9352 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17463/tid=17468] ppid=17449 vsize=197432 CPUtime=0
/proc/17463/task/17468/stat : 17468 (java) S 17449 17449 14475 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2003128322 202170368 9352 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17463/tid=17469] ppid=17449 vsize=197432 CPUtime=0.23
/proc/17463/task/17469/stat : 17469 (java) S 17449 17449 14475 0 -1 64 655 0 1 0 23 0 0 0 16 0 10 0 2003128322 202170368 9352 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17463/tid=17470] ppid=17449 vsize=197432 CPUtime=0
/proc/17463/task/17470/stat : 17470 (java) S 17449 17449 14475 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 2003128322 202170368 9352 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17463/tid=17471] ppid=17449 vsize=197432 CPUtime=0
/proc/17463/task/17471/stat : 17471 (java) S 17449 17449 14475 0 -1 64 27 0 0 0 0 0 0 0 15 0 10 0 2003128322 202170368 9352 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17463/tid=17472] ppid=17449 vsize=197432 CPUtime=0
/proc/17463/task/17472/stat : 17472 (java) S 17449 17449 14475 0 -1 64 69 0 0 0 0 0 0 0 23 0 10 0 2003128951 202170368 9352 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 543.72
Current children cumulated vsize (KiB) 870908
[startup+548.303 s]
/proc/loadavg: 2.00 2.11 2.17 3/94 17483
/proc/meminfo: memFree=1281000/2055920 swapFree=4180424/4192956
[pid=17449] ppid=17447 vsize=5360 CPUtime=492.36
/proc/17449/stat : 17449 (hydra) S 17447 17449 14475 0 -1 4194304 375 18381 0 2 0 0 49220 16 18 0 1 0 2003078689 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17449/statm: 1340 238 196 169 0 51 0
[pid=17463] ppid=17449 vsize=197432 CPUtime=6.22
/proc/17463/stat : 17463 (java) S 17449 17449 14475 0 -1 0 11436 0 9 0 602 20 0 0 18 0 10 0 2003128314 202170368 9352 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17463/statm: 49358 9352 2543 9 0 43941 0
[pid=17473] ppid=17463 vsize=5356 CPUtime=0
/proc/17473/stat : 17473 (abscon) S 17463 17449 14475 0 -1 4194304 301 0 1 0 0 0 0 0 18 0 1 0 2003128951 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 210824127300 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/17473/statm: 1339 235 194 169 0 50 0
[pid=17474] ppid=17473 vsize=655716 CPUtime=45.54
/proc/17474/stat : 17474 (java) S 17473 17449 14475 0 -1 0 68831 0 16 0 4513 41 0 0 19 0 9 0 2003128954 671453184 68115 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17474/statm: 163929 68115 2617 9 0 158457 0
[pid=17474/tid=17476] ppid=17473 vsize=655716 CPUtime=43.68
/proc/17474/task/17476/stat : 17476 (java) R 17473 17449 14475 0 -1 64 12554 0 15 0 4356 12 0 0 25 0 9 0 2003128955 671453184 68115 996147200 134512640 134550740 4294955808 18446744073709551615 4127383577 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17474/tid=17477] ppid=17473 vsize=655716 CPUtime=1.4
/proc/17474/task/17477/stat : 17477 (java) S 17473 17449 14475 0 -1 64 54961 0 1 0 114 26 0 0 17 0 9 0 2003128956 671453184 68115 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17474/tid=17478] ppid=17473 vsize=655716 CPUtime=0
/proc/17474/task/17478/stat : 17478 (java) S 17473 17449 14475 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2003128956 671453184 68115 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17474/tid=17479] ppid=17473 vsize=655716 CPUtime=0
/proc/17474/task/17479/stat : 17479 (java) S 17473 17449 14475 0 -1 64 18 0 0 0 0 0 0 0 16 0 9 0 2003128956 671453184 68115 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17474/tid=17480] ppid=17473 vsize=655716 CPUtime=0
/proc/17474/task/17480/stat : 17480 (java) S 17473 17449 14475 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 2003128958 671453184 68115 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17474/tid=17481] ppid=17473 vsize=655716 CPUtime=0.43
/proc/17474/task/17481/stat : 17481 (java) S 17473 17449 14475 0 -1 64 758 0 0 0 42 1 0 0 15 0 9 0 2003128958 671453184 68115 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17474/tid=17482] ppid=17473 vsize=655716 CPUtime=0
/proc/17474/task/17482/stat : 17482 (java) S 17473 17449 14475 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2003128958 671453184 68115 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17474/tid=17483] ppid=17473 vsize=655716 CPUtime=0
/proc/17474/task/17483/stat : 17483 (java) S 17473 17449 14475 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2003128958 671453184 68115 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17475] ppid=17473 vsize=7044 CPUtime=0
/proc/17475/stat : 17475 (translate) S 17473 17449 14475 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 2003128954 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 210824298578 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/17475/statm: 1761 213 182 1 0 41 0
[pid=17463/tid=17464] ppid=17449 vsize=197432 CPUtime=4.96
/proc/17463/task/17464/stat : 17464 (java) S 17449 17449 14475 0 -1 64 3850 0 8 0 490 6 0 0 24 0 10 0 2003128316 202170368 9352 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=17463/tid=17465] ppid=17449 vsize=197432 CPUtime=0.99
/proc/17463/task/17465/stat : 17465 (java) S 17449 17449 14475 0 -1 64 6111 0 0 0 88 11 0 0 16 0 10 0 2003128319 202170368 9352 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17463/tid=17466] ppid=17449 vsize=197432 CPUtime=0
/proc/17463/task/17466/stat : 17466 (java) S 17449 17449 14475 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2003128319 202170368 9352 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17463/tid=17467] ppid=17449 vsize=197432 CPUtime=0
/proc/17463/task/17467/stat : 17467 (java) S 17449 17449 14475 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 2003128319 202170368 9352 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17463/tid=17468] ppid=17449 vsize=197432 CPUtime=0
/proc/17463/task/17468/stat : 17468 (java) S 17449 17449 14475 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2003128322 202170368 9352 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17463/tid=17469] ppid=17449 vsize=197432 CPUtime=0.23
/proc/17463/task/17469/stat : 17469 (java) S 17449 17449 14475 0 -1 64 655 0 1 0 23 0 0 0 16 0 10 0 2003128322 202170368 9352 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17463/tid=17470] ppid=17449 vsize=197432 CPUtime=0
/proc/17463/task/17470/stat : 17470 (java) S 17449 17449 14475 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 2003128322 202170368 9352 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17463/tid=17471] ppid=17449 vsize=197432 CPUtime=0
/proc/17463/task/17471/stat : 17471 (java) S 17449 17449 14475 0 -1 64 27 0 0 0 0 0 0 0 15 0 10 0 2003128322 202170368 9352 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17463/tid=17472] ppid=17449 vsize=197432 CPUtime=0
/proc/17463/task/17472/stat : 17472 (java) S 17449 17449 14475 0 -1 64 69 0 0 0 0 0 0 0 23 0 10 0 2003128951 202170368 9352 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 544.12
Current children cumulated vsize (KiB) 870908
[startup+548.703 s]
/proc/loadavg: 2.00 2.11 2.17 3/94 17483
/proc/meminfo: memFree=1281000/2055920 swapFree=4180424/4192956
[pid=17449] ppid=17447 vsize=5360 CPUtime=492.36
/proc/17449/stat : 17449 (hydra) S 17447 17449 14475 0 -1 4194304 375 18381 0 2 0 0 49220 16 18 0 1 0 2003078689 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17449/statm: 1340 238 196 169 0 51 0
[pid=17463] ppid=17449 vsize=197432 CPUtime=52.14
/proc/17463/stat : 17463 (java) S 17449 17449 14475 0 -1 0 19633 69446 9 17 620 22 4527 45 18 0 9 0 2003128314 202170368 9398 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17463/statm: 49358 9398 2544 9 0 43941 0
[pid=17463/tid=17464] ppid=17449 vsize=197432 CPUtime=50.68
/proc/17463/task/17464/stat : 17464 (java) S 17449 17449 14475 0 -1 64 3872 69446 8 17 490 6 4527 45 16 0 9 0 2003128316 202170368 9398 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17463/tid=17465] ppid=17449 vsize=197432 CPUtime=46.92
/proc/17463/task/17465/stat : 17465 (java) S 17449 17449 14475 0 -1 64 14270 69446 0 17 106 14 4527 45 17 0 9 0 2003128319 202170368 9398 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17463/tid=17466] ppid=17449 vsize=197432 CPUtime=45.72
/proc/17463/task/17466/stat : 17466 (java) S 17449 17449 14475 0 -1 64 15 69446 0 17 0 0 4527 45 16 0 9 0 2003128319 202170368 9398 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17463/tid=17467] ppid=17449 vsize=197432 CPUtime=45.72
/proc/17463/task/17467/stat : 17467 (java) S 17449 17449 14475 0 -1 64 11 69446 0 17 0 0 4527 45 16 0 9 0 2003128319 202170368 9398 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17463/tid=17468] ppid=17449 vsize=197432 CPUtime=45.72
/proc/17463/task/17468/stat : 17468 (java) S 17449 17449 14475 0 -1 64 1 69446 0 17 0 0 4527 45 18 0 9 0 2003128322 202170368 9398 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17463/tid=17469] ppid=17449 vsize=197432 CPUtime=45.95
/proc/17463/task/17469/stat : 17469 (java) S 17449 17449 14475 0 -1 64 655 69446 1 17 23 0 4527 45 16 0 9 0 2003128322 202170368 9398 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17463/tid=17470] ppid=17449 vsize=197432 CPUtime=45.72
/proc/17463/task/17470/stat : 17470 (java) S 17449 17449 14475 0 -1 64 0 69446 0 17 0 0 4527 45 19 0 9 0 2003128322 202170368 9398 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17463/tid=17471] ppid=17449 vsize=197432 CPUtime=45.72
/proc/17463/task/17471/stat : 17471 (java) S 17449 17449 14475 0 -1 64 27 69446 0 17 0 0 4527 45 15 0 9 0 2003128322 202170368 9398 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 544.5
Current children cumulated vsize (KiB) 202792
Child status: 0
Real time (s): 548.73
CPU time (s): 544.549
CPU user time (s): 543.688
CPU system time (s): 0.860869
CPU usage (%): 99.2381
Max. virtual memory (cumulated for all children) (KiB): 876040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 543.688
system time used= 0.860869
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 107865
page faults= 28
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13614
involuntary context switches= 23827
runsolver used 0.769882 second user time and 1.77973 second system time
The end
Begin job on node33 at 2008-07-05 08:57:31
IDJOB=1086750
IDBENCH=57874
IDSOLVER=365
FILE ID=node33/1086750-1215241051
PBS_JOBID= 7881868
Free space on /tmp= 66464 MiB
SOLVER NAME= cpHydra k_10
BENCH NAME= CPAI08/csp/fapp/fapp28/normalized-fapp28-2800-5.xml
COMMAND LINE= HOME/cpHydra_k_10/hydra BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1086750-1215241051/watcher-1086750-1215241051 -o /tmp/evaluation-result-1086750-1215241051/solver-1086750-1215241051 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1086750-1215241051.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 712a20b0506303fd583b688f94b5a45f
RANDOM SEED=1641749059
node33.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.231
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.231
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1580728 kB
Buffers: 3088 kB
Cached: 81796 kB
SwapCached: 6236 kB
Active: 394100 kB
Inactive: 27088 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1580728 kB
SwapTotal: 4192956 kB
SwapFree: 4180424 kB
Dirty: 27720 kB
Writeback: 0 kB
Mapped: 344456 kB
Slab: 38772 kB
Committed_AS: 3987408 kB
PageTables: 2480 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66440 MiB
End job on node33 at 2008-07-05 09:06:41