0.00/0.00 c cpHydra_k_10 version 0.0
399.92/403.42 c CASE TO CLASSIFY:
399.92/403.42 c Case: 0
399.92/403.42 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.359500 | c 15 > 15.160900 | c 34 > 68.430200 | c 16 > 2.000000 | c 13 > 4.643650 | c 14 > -1.000000 | c 11 > 10.773100 | c 12 > 5.194850 | c 21 > 21.554400 | c 20 > 0.000000 | c 22 > 28.319600 | c 23 > 8.494280 | c 24 > 1.444420 | 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.968000 | 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.633000 | c 31 > -1.000000 | c 4 > 10.773100 | c 9 > -1.000000 | c 8 > -1.000000 | c
399.92/403.43 c choco : 1801.0
399.92/403.43 c mistral : 1801.0
399.92/403.43 c abscon : 1801.0
399.92/403.43 c
399.92/403.43 c
400.12/403.69 c List of same ones: 11
400.12/403.69 c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp22/fapp22-1750-2.xml
400.12/403.69 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.359500 | c 15 > 7.459430 | c 34 > 68.430200 | c 16 > 2.000000 | c 13 > 4.643650 | c 14 > -1.000000 | c 11 > 10.773100 | c 12 > 5.194850 | c 21 > 21.554400 | c 20 > 0.000000 | c 22 > 28.319600 | c 23 > 8.494280 | c 24 > 1.444420 | 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.968000 | 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.633000 | c 31 > -1.000000 | c 4 > 10.773100 | c 9 > -1.000000 | c 8 > -1.000000 | c
400.12/403.70 c choco : 1801.0
400.12/403.70 c mistral : 91.925
400.12/403.70 c abscon : 8.97863
400.12/403.70 c
400.12/403.70 c
400.12/403.70 c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp22/fapp22-1750-8.xml
400.12/403.70 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.359500 | c 15 > 7.442940 | c 34 > 68.430200 | c 16 > 2.000000 | c 13 > 4.643650 | c 14 > -1.000000 | c 11 > 10.773100 | c 12 > 5.194850 | c 21 > 21.554400 | c 20 > 0.000000 | c 22 > 28.319600 | c 23 > 8.494280 | c 24 > 1.444420 | 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.968000 | 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.633000 | c 31 > -1.000000 | c 4 > 10.773100 | c 9 > -1.000000 | c 8 > -1.000000 | c
400.21/403.71 c choco : 1801.0
400.21/403.71 c mistral : 1800.05
400.21/403.71 c abscon : 15.7666
400.21/403.71 c
400.21/403.71 c
400.21/403.71 c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp22/fapp22-1750-1.xml
400.21/403.71 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.359500 | c 15 > 7.400880 | c 34 > 68.430200 | c 16 > 2.000000 | c 13 > 4.643650 | c 14 > -1.000000 | c 11 > 10.773100 | c 12 > 5.194850 | c 21 > 21.554400 | c 20 > 0.000000 | c 22 > 28.319600 | c 23 > 8.494280 | c 24 > 1.444420 | 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.968000 | 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.633000 | c 31 > -1.000000 | c 4 > 10.773100 | c 9 > -1.000000 | c 8 > -1.000000 | c
400.21/403.72 c choco : 1801.0
400.21/403.72 c mistral : 93.1378
400.21/403.72 c abscon : 8.34573
400.21/403.72 c
400.21/403.72 c
400.21/403.72 c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp22/fapp22-1750-6.xml
400.21/403.72 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.359500 | c 15 > 7.400880 | c 34 > 68.430200 | c 16 > 2.000000 | c 13 > 4.643650 | c 14 > -1.000000 | c 11 > 10.773100 | c 12 > 5.194850 | c 21 > 21.554400 | c 20 > 0.000000 | c 22 > 28.319600 | c 23 > 8.494280 | c 24 > 1.444420 | 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.968000 | 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.633000 | c 31 > -1.000000 | c 4 > 10.773100 | c 9 > -1.000000 | c 8 > -1.000000 | c
400.21/403.73 c choco : 1801.0
400.21/403.73 c mistral : 574.22
400.21/403.73 c abscon : 8.86065
400.21/403.73 c
400.21/403.73 c
400.21/403.73 c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp22/fapp22-1750-0.xml
400.21/403.73 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.359500 | c 15 > 7.392320 | c 34 > 68.430200 | c 16 > 2.000000 | c 13 > 4.643650 | c 14 > -1.000000 | c 11 > 10.773100 | c 12 > 5.194850 | c 21 > 21.554400 | c 20 > 0.000000 | c 22 > 28.319600 | c 23 > 8.494280 | c 24 > 1.444420 | 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.968000 | 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.633000 | c 31 > -1.000000 | c 4 > 10.773100 | c 9 > -1.000000 | c 8 > -1.000000 | c
400.21/403.74 c choco : 1801.0
400.21/403.74 c mistral : 81.4106
400.21/403.74 c abscon : 8.81466
400.21/403.74 c
400.21/403.74 c
400.21/403.74 c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp22/fapp22-1750-10.xml
400.21/403.74 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.359500 | c 15 > 7.383700 | c 34 > 68.430200 | c 16 > 2.000000 | c 13 > 4.643650 | c 14 > -1.000000 | c 11 > 10.773100 | c 12 > 5.194850 | c 21 > 21.554400 | c 20 > 0.000000 | c 22 > 28.319600 | c 23 > 8.494280 | c 24 > 1.444420 | 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.968000 | 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.633000 | c 31 > -1.000000 | c 4 > 10.773100 | c 9 > -1.000000 | c 8 > -1.000000 | c
400.21/403.75 c choco : 1801.0
400.21/403.75 c mistral : 1800.03
400.21/403.75 c abscon : 16.9624
400.21/403.75 c
400.21/403.75 c
400.21/403.75 c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp22/fapp22-1750-3.xml
400.21/403.75 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.359500 | c 15 > 7.383700 | c 34 > 68.430200 | c 16 > 2.000000 | c 13 > 4.643650 | c 14 > -1.000000 | c 11 > 10.773100 | c 12 > 5.194850 | c 21 > 21.554400 | c 20 > 0.000000 | c 22 > 28.319600 | c 23 > 8.494280 | c 24 > 1.444420 | 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.968000 | 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.633000 | c 31 > -1.000000 | c 4 > 10.773100 | c 9 > -1.000000 | c 8 > -1.000000 | c
400.21/403.76 c choco : 1801.0
400.21/403.76 c mistral : 69.4484
400.21/403.76 c abscon : 8.71567
400.21/403.76 c
400.21/403.76 c
400.21/403.76 c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp22/fapp22-1750-4.xml
400.21/403.76 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.359500 | c 15 > 7.383700 | c 34 > 68.430200 | c 16 > 2.000000 | c 13 > 4.643650 | c 14 > -1.000000 | c 11 > 10.773100 | c 12 > 5.194850 | c 21 > 21.554400 | c 20 > 0.000000 | c 22 > 28.319600 | c 23 > 8.494280 | c 24 > 1.444420 | 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.968000 | 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.633000 | c 31 > -1.000000 | c 4 > 10.773100 | c 9 > -1.000000 | c 8 > -1.000000 | c
400.21/403.76 c choco : 1801.0
400.21/403.76 c mistral : 146.325
400.21/403.76 c abscon : 9.08962
400.21/403.76 c
400.21/403.76 c
400.21/403.77 c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp22/fapp22-1750-5.xml
400.21/403.77 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.359500 | c 15 > 7.383700 | c 34 > 68.430200 | c 16 > 2.000000 | c 13 > 4.643650 | c 14 > -1.000000 | c 11 > 10.773100 | c 12 > 5.194850 | c 21 > 21.554400 | c 20 > 0.000000 | c 22 > 28.319600 | c 23 > 8.494280 | c 24 > 1.444420 | 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.968000 | 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.633000 | c 31 > -1.000000 | c 4 > 10.773100 | c 9 > -1.000000 | c 8 > -1.000000 | c
400.21/403.77 c choco : 1801.0
400.21/403.77 c mistral : 182.049
400.21/403.77 c abscon : 8.90564
400.21/403.77 c
400.21/403.77 c
400.21/403.77 c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp22/fapp22-1750-7.xml
400.21/403.77 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.359500 | c 15 > 7.383700 | c 34 > 68.430200 | c 16 > 2.000000 | c 13 > 4.643650 | c 14 > -1.000000 | c 11 > 10.773100 | c 12 > 5.194850 | c 21 > 21.554400 | c 20 > 0.000000 | c 22 > 28.319600 | c 23 > 8.494280 | c 24 > 1.444420 | 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.968000 | 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.633000 | c 31 > -1.000000 | c 4 > 10.773100 | c 9 > -1.000000 | c 8 > -1.000000 | c
400.21/403.78 c choco : 1801.0
400.21/403.78 c mistral : 744.68
400.21/403.78 c abscon : 15.7856
400.21/403.78 c
400.21/403.78 c
400.21/403.78 c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp22/fapp22-1750-9.xml
400.21/403.78 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.359500 | c 15 > 7.383700 | c 34 > 68.430200 | c 16 > 2.000000 | c 13 > 4.643650 | c 14 > -1.000000 | c 11 > 10.773100 | c 12 > 5.194850 | c 21 > 21.554400 | c 20 > 0.000000 | c 22 > 28.319600 | c 23 > 8.494280 | c 24 > 1.444420 | 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.968000 | 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.633000 | c 31 > -1.000000 | c 4 > 10.773100 | c 9 > -1.000000 | c 8 > -1.000000 | c
400.21/403.79 c choco : 1801.0
400.21/403.79 c mistral : 1800.06
400.21/403.79 c abscon : 16.5685
400.21/403.79 c
400.21/403.79 c
400.21/403.80 c Length: 11
400.21/403.80 c 7.70147 7.71796 7.76002 7.76002 7.76858 7.7772 7.7772 7.7772 7.7772 7.7772 7.7772
400.29/403.80 c
400.29/403.80 c 1.0 0.8211884623725865 0.5639708072683933 0.5639708072683933 0.5301736208344987 0.5 0.5 0.5 0.5 0.5 0.5
400.29/403.80 c
400.29/403.80 c solver 0
400.29/403.80 c before 0.0 seconds: {} 0
400.29/403.80 c before 18.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10} 6479
400.29/403.80 c
400.29/403.80 c solver 1
400.29/403.80 c before 0.0 seconds: {} 0
400.29/403.80 c before 72.0 seconds: {6} 500
400.29/403.80 c before 90.0 seconds: {4, 6} 1030
400.29/403.80 c before 108.0 seconds: {0, 2, 4, 6} 2594
400.29/403.80 c before 162.0 seconds: {0, 2, 4, 6, 7} 3094
400.29/403.80 c before 198.0 seconds: {0, 2, 4, 6, 7, 8} 3594
400.29/403.80 c before 576.0 seconds: {0, 2, 3, 4, 6, 7, 8} 4158
400.29/403.80 c before 756.0 seconds: {0, 2, 3, 4, 6, 7, 8, 9} 4658
400.29/403.81 c
400.29/403.81 c solver 2
400.29/403.81 c before 0.0 seconds: {} 0
400.29/403.81 c
400.29/403.81 cTotal time: 43
400.29/403.81 c 774.0 seconds unused
400.29/403.81 c 0 c 3 c 11
400.29/403.81 c 0 c 0 c 8
400.29/403.81 c 0 c 0 c 0
400.29/403.81 c is solver0 dominated by:
400.29/403.81 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)
400.29/403.81 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)
400.29/403.81 c is dominated? false
400.29/403.81 c
400.29/403.81 c is solver1 dominated by:
400.29/403.81 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)
400.29/403.81 c is dominated? true
400.29/403.81 c
400.29/403.81 c is solver2 dominated by:
400.29/403.81 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)
400.29/403.81 c is dominated? true
400.29/403.81 c
400.29/403.81 c Number of non-dominated solvers: 1
400.29/403.81 c remove dominated solvers
400.29/403.81 c solver 0 is not dominated by another solver
400.29/403.81 c solver 2 is dominated by another solver
400.29/403.81 c solver 1 is dominated by another solver
400.29/403.81 c
400.29/403.81 c solver 0: 18.0
400.29/403.81 c
400.29/403.81 c+ 1/1 of 99
400.29/403.81 c
400.29/403.81 c solver 1: 0.0
400.29/403.81 c
400.29/403.81 c solver 2: 0.0
400.29/403.81 c run abscon for 1800.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10} 6479
400.29/403.81 c do not run mistral
400.29/403.81 c do not run choco
400.29/403.82 c Starting solver: HOME/cpHydra_k_10/solver/abscon
400.29/403.82 c On Instance: HOME/instance-1085553-1215234323.xml
400.29/403.82 c Running for: 1800 seconds
435.05/438.65 s SAT
435.05/438.65 v 2264 -2700 -2882 -2762 -2262 -2448 -2880 -2684 -2568 -2294 -2838 -2544 -2786 -2734 -2690 -2882 -2882 -2486 -2786 -2456 -2574 -2466 -2604 -2494 -2536 -2190 -2494 -2786 -2472 -2342 -2678 -2838 -2774 -2186 -2716 -2120 -2446 -2738 -2526 -2574 2824 -2448 2206 -2504 -2842 -2528 -2758 -2574 -2762 -2160 -2668 -2800 2700 -2880 -2248 -2700 -2256 -2638 -2432 2872 -2762 -2840 -2448 -2634 2568 -2842 -2774 -2446 -2354 2330 -2874 -2600 -2774 -2732 -2190 -2692 -2446 -2528 -2380 -2762 -2526 -2912 -2836 -2588 2752 -2496 -2562 -2826 -2786 -2678 -2650 -2586 -2798 -2192 -2550 -2206 -2444 -2700 -2740 -2854 -2692 2718 -2558 -2566 -2140 -2536 -2520 -2758 -2488 -2534 -2786 -2440 -2816 -2408 2752 -2514 -2302 -2294 -2730 -2566 2440 -2892 -2880 -2220 -2432 -2700 -2566 -2226 -2520 -2838 -2800 2484 2550 -2880 -2376 -2486 -2362 -2256 -2174 -2838 -2520 -2818 -2882 -2852 -2230 -2800 -2568 -2856 -2296 -2406 -2920 -2296 -2408 -2786 -2640 -2798 -2526 -2200 -2762 -2456 -2892 -2762 -2544 -2664 -2902 -2858 -2162 -2640 -2528 -2734 -2868 -2448 -2450 -2598 -2560 -2426 -2152 2704 -2226 -2784 -2408 2918 -2296 2446 -2584 -2738 -2826 -2640 -2408 -2740 -2654 -2768 -2870 -2758 -2342 -2448 -2902 -2410 -2740 2880 -2812 -2440 -2446 -2340 -2858 -2190 -2760 -2250 -2252 -2338 -2448 -2448 -2366 -2202 -2472 -2754 -2308 -2612 -2628 -2534 -2656 2340 -2344 -2580 -2526 -2494 -2534 2194 2800 -2734 -2880 -2688 -2526 -2700 2738 -2800 2818 -2882 -2654 -2482 -2526 -2880 -2600 -2486 -2780 -2592 -2266 -2836 2328 -2396 -2878 2798 2162 -2162 -2778 -2880 2138 -2526 -2752 -2690 -2560 -2120 -2542 -2740 -2718 2616 -2504 -2184 -2598 2808 -2910 -2678 -2170 -2160 -2640 -2640 -2230 -2388 -2576 -2800 -2734 -2722 2832 -2440 -2762 -2494 -2160 -2508 -2918 -2268 -2566 -2722 -2522 -2740 -2332 -2660 -2526 2866 -2178 -2638 -2760 -2730 -2448 -2842 -2544 -2586 2486 -2638 -2722 -2640 -2440 -2650 -2574 -2566 -2722 -2190 -2254 -2444 -2212 -2488 -2910 -2640 -2624 2626 2234 -2256 2798 -2822 -2750 -2700 -2368 -2256 -2698 -2214 -2184 -2882 -2472 -2740 -2450 -2678 -2892 -2616 -2164 -2868 -2722 -2426 -2702 -2788 -2700 -2774 -2230 -2540 -2816 -2700 -2566 -2522 -2614 -2404 -2472 -2640 2606 -2568 -2232 2570 -2652 -2852 -2228 -2762 -2798 -2808 -2474 -2366 2756 -2446 -2744 -2786 -2824 -2798 -2564 -2566 -2656 -2510 -2366 -2910 -2446 -2124 -2296 -2740 -2336 -2606 -2920 -2472 -2178 -2600 2920 -2910 -2146 -2432 -2534 -2762 -2652 -2276 -2382 -2600 2692 -2734 2744 -2652 -2444 -2638 -2448 -2700 -2180 -2900 -2652 -2190 -2256 -2714 -2284 -2802 -2742 -2740 -2694 -2842 -2798 2580 -2748 -2758 -2406 -2228 -2692 -2296 2122 -2446 -2636 -2256 -2446 -2880 -2504 -2774 -2446 -2826 -2566 -2664 -2902 -2282 -2564 -2120 -2560 -2160 -2470 -2440 -2174 -2566 -2526 -2526 -2202 -2634 -2362 -2520 -2624 -2828 -2828 -2734 -2774 -2650 -2640 -2444 -2432 2234 -2740 -2446 -2506 -2566 -2734 -2194 -2520 -2628 -2860 -2130 -2834 -2600 2226 -2748 -2584 -2242 -2892 -2826 -2920 -2364 -2638 -2290 -2912 2920 -2170 -2774 -2502 -2664 -2130 -2526 -2712 -2294 -2394 -2826 -2534 -2366 -2294 -2722 -2762 -2696 -2522 -2510 -2842 -2852 2554 -2528 -2440 -2594 -2494 -2678 -2370 -2880 -2486 -2446 2406 -2700 -2852 -2534 -2740 -2880 -2882 -2876 -2838 -2712 -2406 -2362 -2268 -2194 -2562 -2486 -2790 -2812 -2166 -2560 -2420 2120 -2566 -2802 -2786 -2874 -2852 -2494 -2526 -2496 -2714 -2490 -2638 -2820 -2640 2874 -2534 -2294 -2440 -2160 -2692 -2382 -2446 2876 -2484 -2406 -2600 -2852 -2254 -2818 -2486 -2690 -2466 -2762 -2798 -2384 -2716 -2230 2820 -2576 -2362 -2170 -2446 -2520 -2448 -2406 -2800 -2122 -2342 -2120 -2264 -2154 -2734 -2846 -2480 -2520 -2892 -2742 2568 -2544 -2718 -2862 2616 -2802 -2842 -2566 2674 -2490 -2692 -2740 -2774 2616 -2598 -2776 2580 -2472 -2560 2568 -2920 -2228 -2232 -2382 -2486 -2798 -2862 -2666 -2574 -2534 -2778 2136 -2880 -2652 -2762 -2598 -2774 -2256 -2288 -2368 -2522 -2382 -2692 -2608 -2842 -2650 -2528 -2344 -2858 2194 2740 -2254 -2534 2230 -2480 -2792 -2254 -2190 -2598 -2774 -2484 -2298 -2652 -2758 -2600 -2550 2900 -2882 -2394 -2738 -2520 -2560 2776 -2348 2920 -2712 -2576 -2758 -2408 -2692 -2892 2646 -2740 -2192 -2568 -2858 -2842 -2560 -2554 -2700 2788 -2746 -2838 -2566 -2408 -2480 2798 -2586 -2762 -2160 -2232 -2296 -2258 -2616 -2488 -2254 -2170 -2524 -2852 -2526 -2600 -2692 -2778 2870 2892 -2530 -2716 -2714 -2852 -2652 -2870 2914 -2440 -2722 -2676 -2406 -2740 -2496 -2628 -2760 -2146 -2228 -2616 -2486 -2450 -2190 -2504 -2512 -2490 2524 -2826 -2192 -2446 -2888 -2520 -2840 2738 -2892 -2910 -2778 -2378 2786 -2610 -2910 -2408 -2722 -2252 -2842 -2472 -2242 -2910 -2254 -2256 -2734 -2654 -2546 -2734 -2122 -2250 -2794 -2758 -2302 2122 -2754 -2722 -2818 -2692 -2880 -2296 -2716 -2560 -2842 -2876 -2826 -2230 -2672 -2480 -2600 -2190 -2818 -2624 -2594 -2748 -2804 -2686 -2664 -2588 -2778 -2486 -2744 -2408 -2296 -2314 -2718 -2704 2160 -2178 -2786 -2690 -2784 -2372 2600 -2250 -2740 -2762 -2586 -2446 -2690 -2774 -2690 -2874 -2640 -2828 -2762 -2472 -2774 -2722 -2166 -2526 2646 -2164 -2446 -2382 -2262 -2838 2880 -2758 -2652 2346 -2840 2150 -2566 -2608 2646 -2294 2732 -2778 -2820 -2294 -2774 -2342 -2734 -2448 -2164 -2862 -2322 -2156 -2196 -2260 -2700 -2842 -2486 -2882 -2598 -2340 -2562 -2746 -2294 -2798 -2880 -2366 -2852 -2310 -2142 2488 -2182 -2852 -2892 -2700 -2842 -2692 -2290 -2334 -2852 -2638 -2484 -2124 -2880 -2758 -2408 -2870 -2842 -2530 -2312 -2782 -2650 -2656 -2598 -2446 -2788 -2480 -2744 -2468 -2304 -2772 -2860 -2722 -2216 -2706 -2722 -2746 -2838 -2776 2178 -2182 -2408 -2870 -2574 -2494 -2408 -2690 -2774 -2818 -2746 -2408 2814 -2144 -2568 2762 -2406 -2320 -2882 -2544 -2752 -2296 -2600 2148 2582 -2472 -2650 -2502 -2842 -2432 -2902 -2378 2902 -2842 -2170 -2520 2528 -2862 -2758 2120 -2842 -2142 -2856 -2614 -2406 -2294 -2540 -2880 -2600 2576 -2488 -2316 -2366 -2490 -2758 -2160 -2452 -2862 -2862 -2342 -2734 2600 -2342 -2230 -2824 -2296 -2494 2340 -2880 -2744 -2784 -2540 -2650 -2798 2470 2322 2774 -2650 -2566 -2740 -2650 -2600 -2892 -2652 -2526 -2864 -2798 -2674 -2214 -2560 -2828 -2138 -2162 -2616 -2472 -2456 -2662 -2480 -2600 -2686 -2638 -2720 -2526 -2290 -2656 -2620 -2842 -2650 -2384 -2722 -2920 -2690 -2650 -2370 -2406 -2370 -2638 -2504 -2652 -2774 -2162 -2566 2818 -2256 -2208 -2760 -2626 -2188 -2182 -2718 -2128 -2484 -2536 -2712 -2432 -2580 -2154 -2700 -2784 -2256 -2408 -2640 -2386 -2558 -2840 -2902 -2230 -2560 2204 -2594 -2786 -2370 -2700 -2862 -2368 -2640 -2382 -2690 -2902 -2704 -2540 -2526 -2120 -2186 -2202 -2526 -2210 -2690 -2882 -2728 -2566 -2342 -2534 -2726 -2652 -2406 -2440 -2338 -2124 -2140 -2650 -2920 -2894 -2304 -2502 -2746 -2678 -2384 -2162 -2334 -2284 -2294 -2190 -2634 -2406 -2708 -2652 -2160 -2408 -2590 -2410 -2772 -2640 -2256 -2190 -2882 -2480 -2294 -2892 -2590 2920 -2526 2854 -2366 -2870 -2734 -2560 -2244 -2416 -2840 -2496 2534 -2296 -2448 -2480 -2606 -2722 -2566 -2798 -2842 -2714 -2126 -2910 -2230 -2860 -2530 -2564 -2686 2738 -2160 -2566 -2230 -2342 -2446 -2488 -2640 -2784 -2600 -2786 -2882 -2816 -2778 -2910 -2448 -2744 -2840 -2480 -2450 -2408 -2734 -2214 -2786 -2834 -2672 -2870 -2814 -2168 -2138 -2566 -2178 -2542 -2190 -2612 -2882 -2840 -2406 2200 -2322 -2882 -2840 -2300 -2882 -2494 2120 2120 -2692 -2256 -2746 -2526 -2650 -2880 -2176 -2354 -2600 -2342 -2760 -2526 -2534 -2130 -2800 2274 -2872 -2638 -2444 2704 -2382 -2700 -2694 2266 -2762 -2784 -2254 -2542 -2448 -2882 -2902 -2862 -2722 -2788 -2526 -2126 2160 -2566 -2724 -2692 -2342 -2526 -2840 2138 -2920 -2486 -2758 -2190 2204 -2428 -2894 -2540 -2342 -2232 -2232 -2254 -2176 -2744 -2544 -2852 -2574 -2448 -2676 -2528 -2560 -2638 -2154 -2162 -2496 -2348 -2620 -2524 -2882 -2504 -2560 -2786 -2842 -2382 -2640 -2758 -2366 -2848 -2472 -2120 -2638 -2166 -2162 -2566 -2366 -2282 -2676 -2668 2122 -2778 -2448 2698 -2692 -2740 -2910 -2880 -2798 -2560 -2446 -2844 -2294 -2746 -2566 -2526 -2774 -2138 -2448 -2840 -2408 -2598 -2666 -2330 -2734 -2690 2860 -2190 -2838 -2762 -2576 -2406 2820 -2416 -2194 -2760 -2780 -2892 -2450 -2144 -2380 -2376 -2520 -2254 -2566 -2584 -2786 -2448 -2712 -2342 2270 -2230 -2616 -2192 -2690 -2448 2326 2872 2876 -2282 2120 -2252 -2710 -2192 -2230 -2270 -2690 -2212 -2230 -2774 -2254 -2694 -2294 -2504 -2700 -2492 -2682 -2762 -2566 -2798 -2798 -2652 -2528 -2650 -2550 -2526 -2754 -2230 -2838 -2164 -2892 -2190 -2762 -2190 -2256 2180 -2446 -2892 -2142 -2852 -2584 2382 -2446 -2722 2916 -2590 -2544 -2748 2120 -2486 -2800 -2690 -2486 -2722 -2378 2826 -2546 -2526 -2734 2748 -2366 -2896 -2480 -2892 -2762 -2754 -2700 2834 -2188 -2870 -2842 -2568 -2286 -2292 -2848 -2816 -2860 -2852 -2692 -2526 -2786 -2164 -2632 -2446 -2190 -2484 -2902 -2526 -2598 -2678 -2722 -2566 -2826 -2160 -2382 -2566 -2748 -2882 -2590 -2344 -2854 -2714 -2598 -2788 -2526 -2676 -2180 -2566 2580 -2746 -2776 -2544 -2534 2894 -2526 -2468 -2738 -2652 -2370 -2192 -2786 -2130 -2892 -2842 -2230 -2230 -2834 -2340 -2448 -2420 -2382 -2600 -2382 -2494 -2336 -2410 -2186 -2188 -2652 -2692 -2702 -2678 -2634 -2330 -2242 -2544 -2886 -2734 -2862 -2448 -2254 -2382 -2566 -2360 -2568 -2448 -2652 -2488 -2692 -2916 2486 -2282 -2342 -2598 -2408 -2174 -2432 -2740 -2520 -2760 -2562 -2598 -2920 2816 -2818 2268 -2566 -2130 -2282 -2296 -2560 -2322 -2600 -2788 -2758 -2882 -2652 2528 -2602 -2740 -2160 -2518 -2740 -2440 -2406 -2566 -2330 -2826 -2868 -2624 -2714 -2408 -2798 -2628 -2480 -2652 -2700 -2798 -2798 -2574 -2652 -2566 -2640 -2170 -2762 -2722 -2620 -2488 -2862 -2722 -2230 -2798 -2460 -2448 -2336 -2424 -2406 -2190 -2798 2534 -2230 -2750 -2446 -2722 -2586 -2874 -2652 2870 -2786 2814 -2436 -2384 -2600 -2534 -2526 -2864 2834 -2704 -2920 -2798 -2650 -2722 -2322 -2698 -2378 -2862 -2690 2566 -2190 -2706 -2774 2166 -2640 -2734 -2524 -2762 -2870 -2526 -2432 -2692 2798 -2546 -2536 -2568 -2718 -2244 2740 -2902 2754 -2480 -2878 -2868 -2486 -2566 -2404 -2294 -2526 -2534 -2828 -2160 -2880 -2580 -2490 -2342 -2408 -2652 -2718 -2826 -2466 -2480 -2740 -2432 -2228 -2338 -2870 -2534 -2210 -2296 -2284 -2486 -2230 -2410 -2526 -2334 2718 -2526 -2598 -2852 -2190 -2842 -2380 -2700 -2694 -2638 -2648 -2718 2542 -2432 -2566 -2588 -2880 2188 -2448 -2228 -2842 -2160 -2692 -2838 -2562 -2598 -2754 -2830 -2446 -2380 -2440 -2692 -2408 -2190 2854 -2522 -2628 2272 -2448 -2882 -2504 -2920 -2722 -2882 -2910 -2324 -2842 -2336 -2734 -2296 2758 -2852 -2566 -2566 -2580 -2230 -2472 -2528 -2870 -2296 -2920 -2520 -2544 -2514 -2798 -2880 -2760 2418 -2864 -2692 -2120 2380 -2600 -2254 2486 2432 2486 -2744 -2824 -2242 -2382 2300 -2294 -2690
435.05/438.65 d ASSIGNMENTS 1750
435.05/438.65 d CHECKS 9260383
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1085553-1215234323/watcher-1085553-1215234323 -o /tmp/evaluation-result-1085553-1215234323/solver-1085553-1215234323 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1085553-1215234323.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.99 1.97 1.99 4/80 7139
/proc/meminfo: memFree=1615448/2055920 swapFree=4180028/4192956
[pid=7139] ppid=7137 vsize=5360 CPUtime=0
/proc/7139/stat : 7139 (hydra) S 7137 7139 4509 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 2002407760 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7139/statm: 1340 236 195 169 0 51 0
[pid=7142] ppid=7139 vsize=820 CPUtime=0
/proc/7142/stat : 7142 (xsolve) R 7139 7139 4509 0 -1 4194304 46 0 0 0 0 0 0 0 24 0 1 0 2002407760 839680 25 996147200 134512640 135239763 4294956176 18446744073709551615 10588964 0 2147483391 4096 0 0 0 0 17 1 0 0
/proc/7142/statm: 205 25 19 177 0 3 0
[startup+0.0363869 s]
/proc/loadavg: 1.99 1.97 1.99 4/80 7139
/proc/meminfo: memFree=1615448/2055920 swapFree=4180028/4192956
[pid=7139] ppid=7137 vsize=5360 CPUtime=0
/proc/7139/stat : 7139 (hydra) S 7137 7139 4509 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 2002407760 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7139/statm: 1340 236 195 169 0 51 0
[pid=7142] ppid=7139 vsize=5648 CPUtime=0.01
/proc/7142/stat : 7142 (xsolve) R 7139 7139 4509 0 -1 4194304 700 0 0 0 1 0 0 0 24 0 1 0 2002407760 5783552 659 996147200 134512640 135239763 4294956176 18446744073709551615 11056094 0 0 4096 0 0 0 0 17 1 0 0
/proc/7142/statm: 1412 659 353 177 0 315 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 11008
[startup+0.101389 s]
/proc/loadavg: 1.99 1.97 1.99 4/80 7139
/proc/meminfo: memFree=1615448/2055920 swapFree=4180028/4192956
[pid=7139] ppid=7137 vsize=5360 CPUtime=0
/proc/7139/stat : 7139 (hydra) S 7137 7139 4509 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 2002407760 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7139/statm: 1340 236 195 169 0 51 0
[pid=7142] ppid=7139 vsize=6992 CPUtime=0.08
/proc/7142/stat : 7142 (xsolve) R 7139 7139 4509 0 -1 4194304 1085 0 0 0 8 0 0 0 25 0 1 0 2002407760 7159808 1044 996147200 134512640 135239763 4294956176 18446744073709551615 4159729116 0 0 4096 0 0 0 0 17 1 0 0
/proc/7142/statm: 1748 1044 379 177 0 651 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 12352
[startup+0.301409 s]
/proc/loadavg: 1.99 1.97 1.99 4/80 7139
/proc/meminfo: memFree=1615448/2055920 swapFree=4180028/4192956
[pid=7139] ppid=7137 vsize=5360 CPUtime=0
/proc/7139/stat : 7139 (hydra) S 7137 7139 4509 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 2002407760 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7139/statm: 1340 236 195 169 0 51 0
[pid=7142] ppid=7139 vsize=9932 CPUtime=0.28
/proc/7142/stat : 7142 (xsolve) R 7139 7139 4509 0 -1 4194304 1770 0 0 0 27 1 0 0 25 0 1 0 2002407760 10170368 1729 996147200 134512640 135239763 4294956176 18446744073709551615 134683179 0 0 4096 0 0 0 0 17 1 0 0
/proc/7142/statm: 2483 1729 379 177 0 1386 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 15292
[startup+0.701448 s]
/proc/loadavg: 1.99 1.97 1.99 4/80 7139
/proc/meminfo: memFree=1615448/2055920 swapFree=4180028/4192956
[pid=7139] ppid=7137 vsize=5360 CPUtime=0
/proc/7139/stat : 7139 (hydra) S 7137 7139 4509 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 2002407760 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7139/statm: 1340 236 195 169 0 51 0
[pid=7142] ppid=7139 vsize=15188 CPUtime=0.67
/proc/7142/stat : 7142 (xsolve) R 7139 7139 4509 0 -1 4194304 3138 0 0 0 66 1 0 0 25 0 1 0 2002407760 15552512 3031 996147200 134512640 135239763 4294956176 18446744073709551615 4159782521 0 0 4096 0 0 0 0 17 1 0 0
/proc/7142/statm: 3797 3031 379 177 0 2700 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 20548
[startup+1.50152 s]
/proc/loadavg: 1.99 1.97 1.99 3/82 7143
/proc/meminfo: memFree=1600584/2055920 swapFree=4180028/4192956
[pid=7139] ppid=7137 vsize=5360 CPUtime=0
/proc/7139/stat : 7139 (hydra) S 7137 7139 4509 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 2002407760 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7139/statm: 1340 236 195 169 0 51 0
[pid=7142] ppid=7139 vsize=25500 CPUtime=1.47
/proc/7142/stat : 7142 (xsolve) R 7139 7139 4509 0 -1 4194304 5816 0 0 0 144 3 0 0 25 0 1 0 2002407760 26112000 5579 996147200 134512640 135239763 4294956176 18446744073709551615 11022934 0 0 4096 0 0 0 0 17 1 0 0
/proc/7142/statm: 6375 5579 379 177 0 5278 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 30860
[startup+3.10167 s]
/proc/loadavg: 1.99 1.97 1.99 3/82 7143
/proc/meminfo: memFree=1561736/2055920 swapFree=4180028/4192956
[pid=7139] ppid=7137 vsize=5360 CPUtime=0
/proc/7139/stat : 7139 (hydra) S 7137 7139 4509 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 2002407760 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7139/statm: 1340 236 195 169 0 51 0
[pid=7142] ppid=7139 vsize=82372 CPUtime=3.04
/proc/7142/stat : 7142 (xsolve) R 7139 7139 4509 0 -1 4194304 13726 0 0 0 298 6 0 0 25 0 1 0 2002407760 84348928 13489 996147200 134512640 135239763 4294956176 18446744073709551615 134535329 0 0 4096 0 0 0 0 17 1 0 0
/proc/7142/statm: 20593 13489 416 177 0 19496 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 87732
[startup+6.30297 s]
/proc/loadavg: 1.99 1.97 1.99 3/82 7143
/proc/meminfo: memFree=1562824/2055920 swapFree=4180028/4192956
[pid=7139] ppid=7137 vsize=5360 CPUtime=0
/proc/7139/stat : 7139 (hydra) S 7137 7139 4509 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 2002407760 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7139/statm: 1340 236 195 169 0 51 0
[pid=7142] ppid=7139 vsize=82372 CPUtime=6.22
/proc/7142/stat : 7142 (xsolve) R 7139 7139 4509 0 -1 4194304 13726 0 0 0 616 6 0 0 25 0 1 0 2002407760 84348928 13489 996147200 134512640 135239763 4294956176 18446744073709551615 134543151 0 0 4096 0 0 0 0 17 1 0 0
/proc/7142/statm: 20593 13489 416 177 0 19496 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 87732
[startup+12.7016 s]
/proc/loadavg: 1.99 1.97 1.99 3/82 7143
/proc/meminfo: memFree=1562760/2055920 swapFree=4180028/4192956
[pid=7139] ppid=7137 vsize=5360 CPUtime=0
/proc/7139/stat : 7139 (hydra) S 7137 7139 4509 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 2002407760 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7139/statm: 1340 236 195 169 0 51 0
[pid=7142] ppid=7139 vsize=82372 CPUtime=12.56
/proc/7142/stat : 7142 (xsolve) R 7139 7139 4509 0 -1 4194304 13726 0 0 0 1250 6 0 0 25 0 1 0 2002407760 84348928 13489 996147200 134512640 135239763 4294956176 18446744073709551615 134534786 0 0 4096 0 0 0 0 17 1 0 0
/proc/7142/statm: 20593 13489 416 177 0 19496 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 87732
[startup+25.5018 s]
/proc/loadavg: 1.99 1.97 1.99 3/82 7143
/proc/meminfo: memFree=1562888/2055920 swapFree=4180028/4192956
[pid=7139] ppid=7137 vsize=5360 CPUtime=0
/proc/7139/stat : 7139 (hydra) S 7137 7139 4509 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 2002407760 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7139/statm: 1340 236 195 169 0 51 0
[pid=7142] ppid=7139 vsize=82372 CPUtime=25.26
/proc/7142/stat : 7142 (xsolve) R 7139 7139 4509 0 -1 4194304 13727 0 0 0 2519 7 0 0 25 0 1 0 2002407760 84348928 13490 996147200 134512640 135239763 4294956176 18446744073709551615 134541302 0 0 4096 0 0 0 0 17 1 0 0
/proc/7142/statm: 20593 13490 417 177 0 19496 0
Current children cumulated CPU time (s) 25.26
Current children cumulated vsize (KiB) 87732
[startup+51.1013 s]
/proc/loadavg: 1.99 1.97 1.99 3/82 7143
/proc/meminfo: memFree=1562960/2055920 swapFree=4180028/4192956
[pid=7139] ppid=7137 vsize=5360 CPUtime=0
/proc/7139/stat : 7139 (hydra) S 7137 7139 4509 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 2002407760 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7139/statm: 1340 236 195 169 0 51 0
[pid=7142] ppid=7139 vsize=82372 CPUtime=50.62
/proc/7142/stat : 7142 (xsolve) R 7139 7139 4509 0 -1 4194304 13727 0 0 0 5055 7 0 0 25 0 1 0 2002407760 84348928 13490 996147200 134512640 135239763 4294956176 18446744073709551615 134534752 0 0 4096 0 0 0 0 17 1 0 0
/proc/7142/statm: 20593 13490 417 177 0 19496 0
Current children cumulated CPU time (s) 50.62
Current children cumulated vsize (KiB) 87732
[startup+102.305 s]
/proc/loadavg: 1.99 1.97 1.99 3/82 7143
/proc/meminfo: memFree=1563024/2055920 swapFree=4180028/4192956
[pid=7139] ppid=7137 vsize=5360 CPUtime=0
/proc/7139/stat : 7139 (hydra) S 7137 7139 4509 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 2002407760 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7139/statm: 1340 236 195 169 0 51 0
[pid=7142] ppid=7139 vsize=82372 CPUtime=101.39
/proc/7142/stat : 7142 (xsolve) R 7139 7139 4509 0 -1 4194304 13727 0 0 0 10132 7 0 0 25 0 1 0 2002407760 84348928 13490 996147200 134512640 135239763 4294956176 18446744073709551615 134541363 0 0 4096 0 0 0 0 17 1 0 0
/proc/7142/statm: 20593 13490 417 177 0 19496 0
Current children cumulated CPU time (s) 101.39
Current children cumulated vsize (KiB) 87732
[startup+162.302 s]
/proc/loadavg: 1.99 1.97 1.99 3/82 7143
/proc/meminfo: memFree=1563024/2055920 swapFree=4180028/4192956
[pid=7139] ppid=7137 vsize=5360 CPUtime=0
/proc/7139/stat : 7139 (hydra) S 7137 7139 4509 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 2002407760 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7139/statm: 1340 236 195 169 0 51 0
[pid=7142] ppid=7139 vsize=82372 CPUtime=160.88
/proc/7142/stat : 7142 (xsolve) R 7139 7139 4509 0 -1 4194304 13727 0 0 0 16081 7 0 0 25 0 1 0 2002407760 84348928 13490 996147200 134512640 135239763 4294956176 18446744073709551615 134539589 0 0 4096 0 0 0 0 17 1 0 0
/proc/7142/statm: 20593 13490 417 177 0 19496 0
Current children cumulated CPU time (s) 160.88
Current children cumulated vsize (KiB) 87732
[startup+222.302 s]
/proc/loadavg: 1.99 1.97 1.99 3/82 7143
/proc/meminfo: memFree=1563024/2055920 swapFree=4180028/4192956
[pid=7139] ppid=7137 vsize=5360 CPUtime=0
/proc/7139/stat : 7139 (hydra) S 7137 7139 4509 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 2002407760 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7139/statm: 1340 236 195 169 0 51 0
[pid=7142] ppid=7139 vsize=82372 CPUtime=220.37
/proc/7142/stat : 7142 (xsolve) R 7139 7139 4509 0 -1 4194304 13727 0 0 0 22030 7 0 0 25 0 1 0 2002407760 84348928 13490 996147200 134512640 135239763 4294956176 18446744073709551615 134543111 0 0 4096 0 0 0 0 17 1 0 0
/proc/7142/statm: 20593 13490 417 177 0 19496 0
Current children cumulated CPU time (s) 220.37
Current children cumulated vsize (KiB) 87732
[startup+282.301 s]
/proc/loadavg: 1.99 1.97 1.99 3/82 7143
/proc/meminfo: memFree=1562960/2055920 swapFree=4180028/4192956
[pid=7139] ppid=7137 vsize=5360 CPUtime=0
/proc/7139/stat : 7139 (hydra) S 7137 7139 4509 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 2002407760 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7139/statm: 1340 236 195 169 0 51 0
[pid=7142] ppid=7139 vsize=82372 CPUtime=279.87
/proc/7142/stat : 7142 (xsolve) R 7139 7139 4509 0 -1 4194304 13727 0 0 0 27980 7 0 0 25 0 1 0 2002407760 84348928 13490 996147200 134512640 135239763 4294956176 18446744073709551615 134532177 0 0 4096 0 0 0 0 17 1 0 0
/proc/7142/statm: 20593 13490 417 177 0 19496 0
Current children cumulated CPU time (s) 279.87
Current children cumulated vsize (KiB) 87732
[startup+342.301 s]
/proc/loadavg: 1.99 1.97 1.99 3/82 7143
/proc/meminfo: memFree=1562960/2055920 swapFree=4180028/4192956
[pid=7139] ppid=7137 vsize=5360 CPUtime=0
/proc/7139/stat : 7139 (hydra) S 7137 7139 4509 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 2002407760 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7139/statm: 1340 236 195 169 0 51 0
[pid=7142] ppid=7139 vsize=82372 CPUtime=339.36
/proc/7142/stat : 7142 (xsolve) R 7139 7139 4509 0 -1 4194304 13727 0 0 0 33929 7 0 0 25 0 1 0 2002407760 84348928 13490 996147200 134512640 135239763 4294956176 18446744073709551615 134543151 0 0 4096 0 0 0 0 17 1 0 0
/proc/7142/statm: 20593 13490 417 177 0 19496 0
################
# More data... #
################
[pid=7147/tid=7154] ppid=7139 vsize=197432 CPUtime=0
/proc/7147/task/7154/stat : 7154 (java) S 7139 7139 4509 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 2002447533 202170368 9506 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7147/tid=7155] ppid=7139 vsize=197432 CPUtime=0
/proc/7147/task/7155/stat : 7155 (java) S 7139 7139 4509 0 -1 64 12 0 0 0 0 0 0 0 15 0 10 0 2002447533 202170368 9506 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7147/tid=7156] ppid=7139 vsize=197432 CPUtime=0
/proc/7147/task/7156/stat : 7156 (java) S 7139 7139 4509 0 -1 64 73 0 0 0 0 0 0 0 25 0 10 0 2002448142 202170368 9506 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 433.96
Current children cumulated vsize (KiB) 870948
[startup+438.302 s]
/proc/loadavg: 2.06 1.99 1.99 3/102 7167
/proc/meminfo: memFree=1383792/2055920 swapFree=4180028/4192956
[pid=7139] ppid=7137 vsize=5360 CPUtime=394.27
/proc/7139/stat : 7139 (hydra) S 7137 7139 4509 0 -1 4194304 375 14330 0 0 0 0 39418 9 18 0 1 0 2002407760 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7139/statm: 1340 238 196 169 0 51 0
[pid=7147] ppid=7139 vsize=197432 CPUtime=6.04
/proc/7147/stat : 7147 (java) S 7139 7139 4509 0 -1 0 13990 0 1 0 585 19 0 0 18 0 10 0 2002447528 202170368 9506 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7147/statm: 49358 9506 2543 9 0 43941 0
[pid=7157] ppid=7147 vsize=5356 CPUtime=0
/proc/7157/stat : 7157 (abscon) S 7147 7139 4509 0 -1 4194304 302 0 0 0 0 0 0 0 25 0 1 0 2002448142 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 259913212740 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/7157/statm: 1339 235 194 169 0 50 0
[pid=7158] ppid=7157 vsize=655756 CPUtime=34.45
/proc/7158/stat : 7158 (java) S 7157 7139 4509 0 -1 0 53853 0 1 0 3419 26 0 0 18 0 9 0 2002448143 671494144 53126 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/7158/statm: 163939 53126 2617 9 0 158467 0
[pid=7158/tid=7160] ppid=7157 vsize=655756 CPUtime=32.75
/proc/7158/task/7160/stat : 7160 (java) R 7157 7139 4509 0 -1 64 12566 0 1 0 3266 9 0 0 25 0 9 0 2002448144 671494144 53126 996147200 134512640 134550740 4294955808 18446744073709551615 4127387720 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7158/tid=7161] ppid=7157 vsize=655756 CPUtime=1.26
/proc/7158/task/7161/stat : 7161 (java) S 7157 7139 4509 0 -1 64 39968 0 0 0 112 14 0 0 17 0 9 0 2002448145 671494144 53126 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=7158/tid=7162] ppid=7157 vsize=655756 CPUtime=0
/proc/7158/task/7162/stat : 7162 (java) S 7157 7139 4509 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2002448145 671494144 53126 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7158/tid=7163] ppid=7157 vsize=655756 CPUtime=0
/proc/7158/task/7163/stat : 7163 (java) S 7157 7139 4509 0 -1 64 19 0 0 0 0 0 0 0 15 0 9 0 2002448145 671494144 53126 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7158/tid=7164] ppid=7157 vsize=655756 CPUtime=0
/proc/7158/task/7164/stat : 7164 (java) S 7157 7139 4509 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 2002448147 671494144 53126 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7158/tid=7165] ppid=7157 vsize=655756 CPUtime=0.4
/proc/7158/task/7165/stat : 7165 (java) S 7157 7139 4509 0 -1 64 761 0 0 0 39 1 0 0 15 0 9 0 2002448147 671494144 53126 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7158/tid=7166] ppid=7157 vsize=655756 CPUtime=0
/proc/7158/task/7166/stat : 7166 (java) S 7157 7139 4509 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 2002448147 671494144 53126 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7158/tid=7167] ppid=7157 vsize=655756 CPUtime=0
/proc/7158/task/7167/stat : 7167 (java) S 7157 7139 4509 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 2002448147 671494144 53126 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7159] ppid=7157 vsize=7044 CPUtime=0
/proc/7159/stat : 7159 (translate) S 7157 7139 4509 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 2002448143 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 259913384018 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/7159/statm: 1761 213 182 1 0 41 0
[pid=7147/tid=7148] ppid=7139 vsize=197432 CPUtime=4.67
/proc/7147/task/7148/stat : 7148 (java) S 7139 7139 4509 0 -1 64 3991 0 1 0 461 6 0 0 25 0 10 0 2002447529 202170368 9506 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=7147/tid=7149] ppid=7139 vsize=197432 CPUtime=1.12
/proc/7147/task/7149/stat : 7149 (java) S 7139 7139 4509 0 -1 64 8541 0 0 0 102 10 0 0 16 0 10 0 2002447531 202170368 9506 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7147/tid=7150] ppid=7139 vsize=197432 CPUtime=0
/proc/7147/task/7150/stat : 7150 (java) S 7139 7139 4509 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2002447531 202170368 9506 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7147/tid=7151] ppid=7139 vsize=197432 CPUtime=0
/proc/7147/task/7151/stat : 7151 (java) S 7139 7139 4509 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 2002447531 202170368 9506 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7147/tid=7152] ppid=7139 vsize=197432 CPUtime=0
/proc/7147/task/7152/stat : 7152 (java) S 7139 7139 4509 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 2002447533 202170368 9506 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7147/tid=7153] ppid=7139 vsize=197432 CPUtime=0.2
/proc/7147/task/7153/stat : 7153 (java) S 7139 7139 4509 0 -1 64 649 0 0 0 20 0 0 0 16 0 10 0 2002447533 202170368 9506 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7147/tid=7154] ppid=7139 vsize=197432 CPUtime=0
/proc/7147/task/7154/stat : 7154 (java) S 7139 7139 4509 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 2002447533 202170368 9506 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7147/tid=7155] ppid=7139 vsize=197432 CPUtime=0
/proc/7147/task/7155/stat : 7155 (java) S 7139 7139 4509 0 -1 64 12 0 0 0 0 0 0 0 15 0 10 0 2002447533 202170368 9506 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7147/tid=7156] ppid=7139 vsize=197432 CPUtime=0
/proc/7147/task/7156/stat : 7156 (java) S 7139 7139 4509 0 -1 64 73 0 0 0 0 0 0 0 25 0 10 0 2002448142 202170368 9506 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 434.76
Current children cumulated vsize (KiB) 870948
[startup+438.502 s]
/proc/loadavg: 2.06 1.99 1.99 3/102 7167
/proc/meminfo: memFree=1383792/2055920 swapFree=4180028/4192956
[pid=7139] ppid=7137 vsize=5360 CPUtime=394.27
/proc/7139/stat : 7139 (hydra) S 7137 7139 4509 0 -1 4194304 375 14330 0 0 0 0 39418 9 18 0 1 0 2002407760 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7139/statm: 1340 238 196 169 0 51 0
[pid=7147] ppid=7139 vsize=197432 CPUtime=6.04
/proc/7147/stat : 7147 (java) S 7139 7139 4509 0 -1 0 13990 0 1 0 585 19 0 0 18 0 10 0 2002447528 202170368 9506 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7147/statm: 49358 9506 2543 9 0 43941 0
[pid=7157] ppid=7147 vsize=5356 CPUtime=0
/proc/7157/stat : 7157 (abscon) S 7147 7139 4509 0 -1 4194304 302 0 0 0 0 0 0 0 25 0 1 0 2002448142 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 259913212740 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/7157/statm: 1339 235 194 169 0 50 0
[pid=7158] ppid=7157 vsize=655756 CPUtime=34.65
/proc/7158/stat : 7158 (java) S 7157 7139 4509 0 -1 0 53866 0 1 0 3439 26 0 0 18 0 9 0 2002448143 671494144 53139 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/7158/statm: 163939 53139 2617 9 0 158467 0
[pid=7158/tid=7160] ppid=7157 vsize=655756 CPUtime=32.93
/proc/7158/task/7160/stat : 7160 (java) R 7157 7139 4509 0 -1 64 12568 0 1 0 3284 9 0 0 25 0 9 0 2002448144 671494144 53139 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7158/tid=7161] ppid=7157 vsize=655756 CPUtime=1.26
/proc/7158/task/7161/stat : 7161 (java) S 7157 7139 4509 0 -1 64 39968 0 0 0 112 14 0 0 17 0 9 0 2002448145 671494144 53139 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=7158/tid=7162] ppid=7157 vsize=655756 CPUtime=0
/proc/7158/task/7162/stat : 7162 (java) S 7157 7139 4509 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2002448145 671494144 53139 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7158/tid=7163] ppid=7157 vsize=655756 CPUtime=0
/proc/7158/task/7163/stat : 7163 (java) S 7157 7139 4509 0 -1 64 19 0 0 0 0 0 0 0 15 0 9 0 2002448145 671494144 53139 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7158/tid=7164] ppid=7157 vsize=655756 CPUtime=0
/proc/7158/task/7164/stat : 7164 (java) S 7157 7139 4509 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 2002448147 671494144 53139 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7158/tid=7165] ppid=7157 vsize=655756 CPUtime=0.41
/proc/7158/task/7165/stat : 7165 (java) S 7157 7139 4509 0 -1 64 772 0 0 0 40 1 0 0 15 0 9 0 2002448147 671494144 53139 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7158/tid=7166] ppid=7157 vsize=655756 CPUtime=0
/proc/7158/task/7166/stat : 7166 (java) S 7157 7139 4509 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 2002448147 671494144 53139 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7158/tid=7167] ppid=7157 vsize=655756 CPUtime=0
/proc/7158/task/7167/stat : 7167 (java) S 7157 7139 4509 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 2002448147 671494144 53139 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7159] ppid=7157 vsize=7044 CPUtime=0
/proc/7159/stat : 7159 (translate) S 7157 7139 4509 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 2002448143 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 259913384018 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/7159/statm: 1761 213 182 1 0 41 0
[pid=7147/tid=7148] ppid=7139 vsize=197432 CPUtime=4.67
/proc/7147/task/7148/stat : 7148 (java) S 7139 7139 4509 0 -1 64 3991 0 1 0 461 6 0 0 25 0 10 0 2002447529 202170368 9506 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=7147/tid=7149] ppid=7139 vsize=197432 CPUtime=1.12
/proc/7147/task/7149/stat : 7149 (java) S 7139 7139 4509 0 -1 64 8541 0 0 0 102 10 0 0 16 0 10 0 2002447531 202170368 9506 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7147/tid=7150] ppid=7139 vsize=197432 CPUtime=0
/proc/7147/task/7150/stat : 7150 (java) S 7139 7139 4509 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2002447531 202170368 9506 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7147/tid=7151] ppid=7139 vsize=197432 CPUtime=0
/proc/7147/task/7151/stat : 7151 (java) S 7139 7139 4509 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 2002447531 202170368 9506 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7147/tid=7152] ppid=7139 vsize=197432 CPUtime=0
/proc/7147/task/7152/stat : 7152 (java) S 7139 7139 4509 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 2002447533 202170368 9506 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7147/tid=7153] ppid=7139 vsize=197432 CPUtime=0.2
/proc/7147/task/7153/stat : 7153 (java) S 7139 7139 4509 0 -1 64 649 0 0 0 20 0 0 0 16 0 10 0 2002447533 202170368 9506 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7147/tid=7154] ppid=7139 vsize=197432 CPUtime=0
/proc/7147/task/7154/stat : 7154 (java) S 7139 7139 4509 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 2002447533 202170368 9506 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7147/tid=7155] ppid=7139 vsize=197432 CPUtime=0
/proc/7147/task/7155/stat : 7155 (java) S 7139 7139 4509 0 -1 64 12 0 0 0 0 0 0 0 15 0 10 0 2002447533 202170368 9506 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7147/tid=7156] ppid=7139 vsize=197432 CPUtime=0
/proc/7147/task/7156/stat : 7156 (java) S 7139 7139 4509 0 -1 64 73 0 0 0 0 0 0 0 25 0 10 0 2002448142 202170368 9506 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 434.96
Current children cumulated vsize (KiB) 870948
[startup+438.602 s]
/proc/loadavg: 2.06 1.99 1.99 3/102 7167
/proc/meminfo: memFree=1383792/2055920 swapFree=4180028/4192956
[pid=7139] ppid=7137 vsize=5360 CPUtime=394.27
/proc/7139/stat : 7139 (hydra) S 7137 7139 4509 0 -1 4194304 375 14330 0 0 0 0 39418 9 18 0 1 0 2002407760 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7139/statm: 1340 238 196 169 0 51 0
[pid=7147] ppid=7139 vsize=197432 CPUtime=6.04
/proc/7147/stat : 7147 (java) S 7139 7139 4509 0 -1 0 14011 0 1 0 585 19 0 0 18 0 10 0 2002447528 202170368 9506 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7147/statm: 49358 9506 2543 9 0 43941 0
[pid=7157] ppid=7147 vsize=5356 CPUtime=0
/proc/7157/stat : 7157 (abscon) S 7147 7139 4509 0 -1 4194304 302 291 0 0 0 0 0 0 16 0 1 0 2002448142 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 259913212740 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/7157/statm: 1339 235 194 169 0 50 0
[pid=7158] ppid=7157 vsize=655756 CPUtime=34.74
/proc/7158/stat : 7158 (java) S 7157 7139 4509 0 -1 0 53871 0 1 0 3448 26 0 0 18 0 9 0 2002448143 671494144 53143 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/7158/statm: 163939 53143 2617 9 0 158467 0
[pid=7158/tid=7160] ppid=7157 vsize=655756 CPUtime=33.02
/proc/7158/task/7160/stat : 7160 (java) S 7157 7139 4509 0 -1 64 12571 0 1 0 3293 9 0 0 25 0 9 0 2002448144 671494144 53143 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7158/tid=7161] ppid=7157 vsize=655756 CPUtime=1.26
/proc/7158/task/7161/stat : 7161 (java) S 7157 7139 4509 0 -1 64 39968 0 0 0 112 14 0 0 17 0 9 0 2002448145 671494144 53143 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=7158/tid=7162] ppid=7157 vsize=655756 CPUtime=0
/proc/7158/task/7162/stat : 7162 (java) S 7157 7139 4509 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2002448145 671494144 53143 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7158/tid=7163] ppid=7157 vsize=655756 CPUtime=0
/proc/7158/task/7163/stat : 7163 (java) S 7157 7139 4509 0 -1 64 19 0 0 0 0 0 0 0 15 0 9 0 2002448145 671494144 53143 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7158/tid=7164] ppid=7157 vsize=655756 CPUtime=0
/proc/7158/task/7164/stat : 7164 (java) S 7157 7139 4509 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 2002448147 671494144 53143 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7158/tid=7165] ppid=7157 vsize=655756 CPUtime=0.42
/proc/7158/task/7165/stat : 7165 (java) S 7157 7139 4509 0 -1 64 774 0 0 0 41 1 0 0 15 0 9 0 2002448147 671494144 53143 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7158/tid=7166] ppid=7157 vsize=655756 CPUtime=0
/proc/7158/task/7166/stat : 7166 (java) S 7157 7139 4509 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 2002448147 671494144 53143 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7158/tid=7167] ppid=7157 vsize=655756 CPUtime=0
/proc/7158/task/7167/stat : 7167 (java) S 7157 7139 4509 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 2002448147 671494144 53143 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7147/tid=7148] ppid=7139 vsize=197432 CPUtime=4.67
/proc/7147/task/7148/stat : 7148 (java) S 7139 7139 4509 0 -1 64 4012 0 1 0 461 6 0 0 16 0 10 0 2002447529 202170368 9506 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=7147/tid=7149] ppid=7139 vsize=197432 CPUtime=1.12
/proc/7147/task/7149/stat : 7149 (java) S 7139 7139 4509 0 -1 64 8541 0 0 0 102 10 0 0 16 0 10 0 2002447531 202170368 9506 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7147/tid=7150] ppid=7139 vsize=197432 CPUtime=0
/proc/7147/task/7150/stat : 7150 (java) S 7139 7139 4509 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2002447531 202170368 9506 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7147/tid=7151] ppid=7139 vsize=197432 CPUtime=0
/proc/7147/task/7151/stat : 7151 (java) S 7139 7139 4509 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 2002447531 202170368 9506 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7147/tid=7152] ppid=7139 vsize=197432 CPUtime=0
/proc/7147/task/7152/stat : 7152 (java) S 7139 7139 4509 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 2002447533 202170368 9506 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7147/tid=7153] ppid=7139 vsize=197432 CPUtime=0.2
/proc/7147/task/7153/stat : 7153 (java) S 7139 7139 4509 0 -1 64 649 0 0 0 20 0 0 0 16 0 10 0 2002447533 202170368 9506 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7147/tid=7154] ppid=7139 vsize=197432 CPUtime=0
/proc/7147/task/7154/stat : 7154 (java) S 7139 7139 4509 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 2002447533 202170368 9506 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7147/tid=7155] ppid=7139 vsize=197432 CPUtime=0
/proc/7147/task/7155/stat : 7155 (java) S 7139 7139 4509 0 -1 64 12 0 0 0 0 0 0 0 15 0 10 0 2002447533 202170368 9506 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7147/tid=7156] ppid=7139 vsize=197432 CPUtime=0
/proc/7147/task/7156/stat : 7156 (java) S 7139 7139 4509 0 -1 64 73 0 0 0 0 0 0 0 25 0 10 0 2002448142 202170368 9506 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 435.05
Current children cumulated vsize (KiB) 863904
Child status: 0
Real time (s): 438.678
CPU time (s): 435.138
CPU user time (s): 434.543
CPU system time (s): 0.594909
CPU usage (%): 99.1929
Max. virtual memory (cumulated for all children) (KiB): 870948
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 434.543
system time used= 0.594909
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 83314
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= 12913
involuntary context switches= 22393
runsolver used 0.58791 second user time and 1.42978 second system time
The end
Begin job on node4 at 2008-07-05 07:05:23
IDJOB=1085553
IDBENCH=57659
IDSOLVER=365
FILE ID=node4/1085553-1215234323
PBS_JOBID= 7881847
Free space on /tmp= 66500 MiB
SOLVER NAME= cpHydra k_10
BENCH NAME= CPAI08/csp/fapp/fapp22/normalized-fapp22-1750-10.xml
COMMAND LINE= HOME/cpHydra_k_10/hydra BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1085553-1215234323/watcher-1085553-1215234323 -o /tmp/evaluation-result-1085553-1215234323/solver-1085553-1215234323 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1085553-1215234323.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 96880025e4a14a075629d437bfbc2f6d
RANDOM SEED=506286543
node4.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.213
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.213
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: 1615928 kB
Buffers: 61800 kB
Cached: 234672 kB
SwapCached: 7012 kB
Active: 257736 kB
Inactive: 121652 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1615928 kB
SwapTotal: 4192956 kB
SwapFree: 4180028 kB
Dirty: 28780 kB
Writeback: 0 kB
Mapped: 99272 kB
Slab: 45508 kB
Committed_AS: 4133420 kB
PageTables: 2084 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= 66476 MiB
End job on node4 at 2008-07-05 07:12:43