0.00/0.00 c cpHydra_k_10 version 0.0
1088.98/1097.55 c CASE TO CLASSIFY:
1088.98/1097.55 c Case: 0
1088.98/1097.55 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.464500 | c 15 > 15.957900 | c 34 > 68.477500 | c 16 > 2.000000 | c 13 > 4.584070 | c 14 > -1.000000 | c 11 > 11.550700 | c 12 > 5.396980 | c 21 > 25.444400 | c 20 > 0.000000 | c 22 > 27.892700 | c 23 > 11.054800 | c 24 > 1.441740 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 15.947700 | 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 > 20.889300 | c 31 > -1.000000 | c 4 > 11.550700 | c 9 > -1.000000 | c 8 > -1.000000 | c
1088.98/1097.56 c choco : 1801.0
1088.98/1097.56 c mistral : 1801.0
1088.98/1097.56 c abscon : 1801.0
1088.98/1097.56 c
1088.98/1097.56 c
1089.07/1097.64 c List of same ones: 10
1089.07/1097.64 c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp30/fapp30-3000-10.xml
1089.07/1097.64 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.464500 | c 15 > 6.741470 | c 34 > 68.477500 | c 16 > 2.000000 | c 13 > 4.584070 | c 14 > -1.000000 | c 11 > 11.550700 | c 12 > 5.396980 | c 21 > 25.444400 | c 20 > 0.000000 | c 22 > 27.892700 | c 23 > 11.054800 | c 24 > 1.441740 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 15.947700 | 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 > 20.889300 | c 31 > -1.000000 | c 4 > 11.550700 | c 9 > -1.000000 | c 8 > -1.000000 | c
1089.07/1097.65 c choco : 1801.0
1089.07/1097.65 c mistral : 1800.11
1089.07/1097.65 c abscon : 71.1032
1089.07/1097.65 c
1089.07/1097.65 c
1089.07/1097.65 c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp30/fapp30-3000-4.xml
1089.07/1097.65 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.464500 | c 15 > 6.741470 | c 34 > 68.477500 | c 16 > 2.000000 | c 13 > 4.584070 | c 14 > -1.000000 | c 11 > 11.550700 | c 12 > 5.396980 | c 21 > 25.444400 | c 20 > 0.000000 | c 22 > 27.892700 | c 23 > 11.054800 | c 24 > 1.441740 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 15.947700 | 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 > 20.889300 | c 31 > -1.000000 | c 4 > 11.550700 | c 9 > -1.000000 | c 8 > -1.000000 | c
1089.07/1097.66 c choco : 1801.0
1089.07/1097.66 c mistral : 1800.09
1089.07/1097.66 c abscon : 10.1455
1089.07/1097.66 c
1089.07/1097.66 c
1089.07/1097.66 c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp30/fapp30-3000-6.xml
1089.07/1097.66 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.464500 | c 15 > 6.741470 | c 34 > 68.477500 | c 16 > 2.000000 | c 13 > 4.584070 | c 14 > -1.000000 | c 11 > 11.550700 | c 12 > 5.396980 | c 21 > 25.444400 | c 20 > 0.000000 | c 22 > 27.892700 | c 23 > 11.054800 | c 24 > 1.441740 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 15.947700 | 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 > 20.889300 | c 31 > -1.000000 | c 4 > 11.550700 | c 9 > -1.000000 | c 8 > -1.000000 | c
1089.07/1097.67 c choco : 1801.0
1089.07/1097.67 c mistral : 1800.04
1089.07/1097.67 c abscon : 10.1615
1089.07/1097.67 c
1089.07/1097.67 c
1089.07/1097.67 c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp30/fapp30-3000-7.xml
1089.07/1097.67 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.464500 | c 15 > 6.741470 | c 34 > 68.477500 | c 16 > 2.000000 | c 13 > 4.584070 | c 14 > -1.000000 | c 11 > 11.550700 | c 12 > 5.396980 | c 21 > 25.444400 | c 20 > 0.000000 | c 22 > 27.892700 | c 23 > 11.054800 | c 24 > 1.441740 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 15.947700 | 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 > 20.889300 | c 31 > -1.000000 | c 4 > 11.550700 | c 9 > -1.000000 | c 8 > -1.000000 | c
1089.07/1097.68 c choco : 1801.0
1089.07/1097.68 c mistral : 1800.03
1089.07/1097.68 c abscon : 65.728
1089.07/1097.68 c
1089.07/1097.68 c
1089.07/1097.68 c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp30/fapp30-3000-8.xml
1089.07/1097.68 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.464500 | c 15 > 6.741470 | c 34 > 68.477500 | c 16 > 2.000000 | c 13 > 4.584070 | c 14 > -1.000000 | c 11 > 11.550700 | c 12 > 5.396980 | c 21 > 25.444400 | c 20 > 0.000000 | c 22 > 27.892700 | c 23 > 11.054800 | c 24 > 1.441740 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 15.947700 | 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 > 20.889300 | c 31 > -1.000000 | c 4 > 11.550700 | c 9 > -1.000000 | c 8 > -1.000000 | c
1089.07/1097.69 c choco : 1801.0
1089.07/1097.69 c mistral : 1800.03
1089.07/1097.69 c abscon : 68.0856
1089.07/1097.69 c
1089.07/1097.69 c
1089.07/1097.69 c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp30/fapp30-3000-9.xml
1089.07/1097.69 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.464500 | c 15 > 6.741470 | c 34 > 68.477500 | c 16 > 2.000000 | c 13 > 4.584070 | c 14 > -1.000000 | c 11 > 11.550700 | c 12 > 5.396980 | c 21 > 25.444400 | c 20 > 0.000000 | c 22 > 27.892700 | c 23 > 11.054800 | c 24 > 1.441740 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 15.947700 | 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 > 20.889300 | c 31 > -1.000000 | c 4 > 11.550700 | c 9 > -1.000000 | c 8 > -1.000000 | c
1089.16/1097.70 c choco : 1801.0
1089.16/1097.70 c mistral : 1800.04
1089.16/1097.70 c abscon : 74.9176
1089.16/1097.70 c
1089.16/1097.70 c
1089.16/1097.70 c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp30/fapp30-3000-5.xml
1089.16/1097.70 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.464500 | c 15 > 6.727920 | c 34 > 68.477500 | c 16 > 2.000000 | c 13 > 4.584070 | c 14 > -1.000000 | c 11 > 11.550700 | c 12 > 5.396980 | c 21 > 25.444400 | c 20 > 0.000000 | c 22 > 27.892700 | c 23 > 11.054800 | c 24 > 1.441740 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 15.947700 | 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 > 20.889300 | c 31 > -1.000000 | c 4 > 11.550700 | c 9 > -1.000000 | c 8 > -1.000000 | c
1089.16/1097.71 c choco : 1801.0
1089.16/1097.71 c mistral : 1800.05
1089.16/1097.71 c abscon : 10.0415
1089.16/1097.71 c
1089.16/1097.71 c
1089.16/1097.71 c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp30/fapp30-3000-0.xml
1089.16/1097.71 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.464500 | c 15 > 6.714250 | c 34 > 68.477500 | c 16 > 2.000000 | c 13 > 4.584070 | c 14 > -1.000000 | c 11 > 11.550700 | c 12 > 5.396980 | c 21 > 25.444400 | c 20 > 0.000000 | c 22 > 27.892700 | c 23 > 11.054800 | c 24 > 1.441740 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 15.947700 | 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 > 20.889300 | c 31 > -1.000000 | c 4 > 11.550700 | c 9 > -1.000000 | c 8 > -1.000000 | c
1089.16/1097.72 c choco : 1801.0
1089.16/1097.72 c mistral : 1800.05
1089.16/1097.72 c abscon : 9.72352
1089.16/1097.72 c
1089.16/1097.72 c
1089.16/1097.72 c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp30/fapp30-3000-1.xml
1089.16/1097.72 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.464500 | c 15 > 6.700440 | c 34 > 68.477500 | c 16 > 2.000000 | c 13 > 4.584070 | c 14 > -1.000000 | c 11 > 11.550700 | c 12 > 5.396980 | c 21 > 25.444400 | c 20 > 0.000000 | c 22 > 27.892700 | c 23 > 11.054800 | c 24 > 1.441740 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 15.947700 | 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 > 20.889300 | c 31 > -1.000000 | c 4 > 11.550700 | c 9 > -1.000000 | c 8 > -1.000000 | c
1089.16/1097.73 c choco : 1801.0
1089.16/1097.73 c mistral : 1800.1
1089.16/1097.73 c abscon : 9.81651
1089.16/1097.73 c
1089.16/1097.73 c
1089.16/1097.73 c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp30/fapp30-3000-3.xml
1089.16/1097.73 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.464500 | c 15 > 6.629360 | c 34 > 68.477500 | c 16 > 2.000000 | c 13 > 4.584070 | c 14 > -1.000000 | c 11 > 11.550700 | c 12 > 5.396980 | c 21 > 25.444400 | c 20 > 0.000000 | c 22 > 27.892700 | c 23 > 11.054800 | c 24 > 1.441740 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 15.947700 | 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 > 20.889300 | c 31 > -1.000000 | c 4 > 11.550700 | c 9 > -1.000000 | c 8 > -1.000000 | c
1089.16/1097.74 c choco : 1801.0
1089.16/1097.74 c mistral : 1800.05
1089.16/1097.74 c abscon : 9.97948
1089.16/1097.74 c
1089.16/1097.74 c
1089.33/1097.96 c Length: 10
1089.33/1097.96 c 9.21643 9.21643 9.21643 9.21643 9.21643 9.21643 9.229980000000001 9.24365 9.25746 9.32854
1089.33/1097.96 c
1089.33/1097.96 c 1.0 1.0 1.0 1.0 1.0 1.0 0.8921693458538882 0.8046364745568081 0.7320752252840566 0.5
1089.33/1097.96 c
1089.33/1097.96 c solver 0
1089.33/1097.96 c before 0.0 seconds: {} 0
1089.33/1097.96 c before 18.0 seconds: {1, 2, 6, 7, 8, 9} 4928
1089.33/1097.96 c before 72.0 seconds: {0, 1, 2, 3, 4, 6, 7, 8, 9} 7928
1089.33/1097.96 c before 90.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 8928
1089.33/1097.96 c
1089.33/1097.96 c solver 1
1089.33/1097.97 c before 0.0 seconds: {} 0
1089.33/1097.97 c
1089.33/1097.97 c solver 2
1089.33/1097.97 c before 0.0 seconds: {} 0
1089.33/1097.97 c
1089.33/1097.97 cTotal time: 5
1089.33/1097.97 c 90.0 seconds unused
1089.33/1097.97 c 0 c 10 c 10
1089.33/1097.97 c 0 c 0 c 0
1089.33/1097.97 c 0 c 0 c 0
1089.33/1097.97 c is solver0 dominated by:
1089.33/1097.97 c solver 1 (0 solves instances that 1 can't: true) (1 doesn't solve instances that 0 can't: true) (0 is faster than 1: false) (0 is equally as fast as 1: false) (0 < 1: false)
1089.33/1097.97 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)
1089.33/1097.97 c is dominated? false
1089.33/1097.97 c
1089.33/1097.97 c is solver1 dominated by:
1089.33/1097.97 c solver 0 (1 solves instances that 0 can't: false) (0 doesn't solve instances that 1 can't: false) (1 is faster than 0: true) (1 is equally as fast as 0: false) (1 < 0: true)
1089.33/1097.97 c is dominated? true
1089.33/1097.97 c
1089.33/1097.97 c is solver2 dominated by:
1089.33/1097.97 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)
1089.33/1097.97 c is dominated? true
1089.33/1097.97 c
1089.33/1097.97 c Number of non-dominated solvers: 1
1089.33/1097.97 c remove dominated solvers
1089.33/1097.97 c solver 0 is not dominated by another solver
1089.33/1097.97 c solver 2 is dominated by another solver
1089.33/1097.97 c solver 1 is dominated by another solver
1089.33/1097.97 c
1089.33/1097.97 c solver 0: 90.0
1089.33/1097.97 c
1089.33/1097.97 c+ 5/5 of 95
1089.33/1097.97 c
1089.33/1097.97 c solver 1: 0.0
1089.33/1097.97 c
1089.33/1097.97 c solver 2: 0.0
1089.33/1097.97 c run abscon for 1800.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 8928
1089.33/1097.97 c do not run mistral
1089.33/1097.97 c do not run choco
1089.33/1097.97 c Starting solver: HOME/cpHydra_k_10/solver/abscon
1089.33/1097.97 c On Instance: HOME/instance-1086645-1215240417.xml
1089.33/1097.97 c Running for: 1800 seconds
1180.68/1191.11 s SAT
1180.68/1191.11 v 2940 -2296 -2868 -2348 -2668 -2354 -2646 -2982 -2942 -2620 -2376 -2652 -2226 -2610 -2224 -2486 -2732 -2992 -2442 -2874 -2262 -2950 -2362 -2996 -2394 -2808 -2510 -2540 -2762 -2762 -2368 -2288 2510 -2850 -2276 -2312 -2810 -2338 -2252 2276 -2940 -2440 -2590 -2264 -2960 -2268 2892 -2608 -2776 2768 -2356 -2422 2502 -2956 -2384 -2496 2848 -2424 -2474 2514 -2894 -2956 -2940 -2638 -2956 -2622 -2966 -2442 2648 -2452 -2252 -2950 2220 -2790 -2256 -2404 -2272 -2578 -2808 2980 -2928 -2230 2926 -2478 -2252 -2482 -2692 -2640 -2514 -2326 -2608 -2406 -2750 -2282 2356 -2850 -2690 -2588 -2898 -2960 -2248 -2600 -2264 -2590 -2612 -2478 2634 2690 -2266 -2646 2464 -2860 2262 -2642 -2898 -2758 -2592 -2436 2220 -2386 -2598 2870 -2402 -2972 -2488 -2474 -2622 -2620 -2406 -2690 2538 -2758 2780 -2598 2646 -2324 -2936 -2638 -2940 -2778 -2732 -2548 -2740 -2880 -2966 -2644 -2598 -2622 -2900 -2282 -2356 -2550 2220 -2806 -2990 -2318 -2496 -2606 -2744 -2790 -2680 -2290 -2996 -2284 -2620 -2276 2400 -2652 -2464 2364 -2240 -2732 -2650 -2642 -2902 -2408 2404 -2956 -2820 -2750 -2956 -2602 -2916 2936 -2950 2708 -2674 -2788 -2914 -2408 -2956 2816 -2846 2380 -2448 -2366 -2926 -2446 -2764 -2224 -2968 -2624 -2982 -2284 -2982 -2678 -2904 -2760 -2546 2816 -2904 -2582 -2240 -2432 -2630 -2810 -2860 -2312 2384 -2962 -2516 -2640 -2344 -2682 -2856 -2570 -2224 -2848 -2938 -2392 -2596 2598 -2520 -2394 2546 -2964 -2608 -2762 -2878 -2406 -2600 -2332 -2442 -2930 -2770 -2762 -2306 -2884 -2406 -2774 2686 -2860 -2674 -2454 2260 2850 -2924 -2510 2274 -2884 -2862 -2712 -2524 2232 -2996 -2576 -2266 -2982 2810 -2324 -2922 -2602 -2724 -2940 -2290 -2260 -2848 -2296 -2622 -2486 -2950 -2260 -2312 -2276 -2884 -2876 -2222 -2876 -2754 2966 -2534 -2332 -2496 -2282 -2382 -2590 2260 -2982 -2334 -2584 -2788 -2980 -2940 -2282 -2428 2254 -2720 -2946 -2650 -2948 -2680 -2490 -2692 -2942 -2220 -2766 -2514 2476 -2396 -2268 -2890 -2662 -2944 -2238 -2564 -2890 -2860 -2254 -2944 -2600 -2584 -2440 -2626 -2940 -2260 -2452 -2480 -2716 2898 -2318 2778 2262 -2646 -2606 -2376 -2964 -2260 -2384 -2928 2956 -2940 -2924 -2818 -2762 -2614 -2928 -2650 -2648 2246 -2882 -2260 -2470 -2408 -2952 -2936 -2390 -2450 -2314 -2350 -2738 2886 -2636 -2456 -2624 -2950 -2722 -2900 2284 -2292 -2244 -2622 -2730 2620 -2630 -2690 -2262 -2618 -2306 -2550 2412 -2686 -2680 -2836 -2382 -2390 -2624 -2406 -2954 -2460 -2818 -2290 -2964 2888 -2916 -2546 -2384 -2806 -2996 -2688 -2550 -2944 -2942 -2548 -2938 -2990 -2990 -2736 -2916 -2968 -2994 2238 -2610 -2808 -2414 -2738 -2748 -2996 -2264 -2284 -2452 2770 2274 -2820 -2262 -2622 -2248 -2668 -2898 -2538 2898 -2530 -2956 -2560 -2910 -2716 -2860 -2858 -2732 -2924 -2898 -2806 -2610 -2316 -2728 -2792 -2492 -2816 -2996 -2248 -2794 -2996 -2944 2260 -2486 -2678 -2478 -2746 -2592 -2688 -2290 2524 2358 -2646 -2942 -2916 -2322 -2876 -2722 -2944 -2634 -2956 -2902 -2624 -2222 2440 2430 -2366 -2514 -2940 -2360 -2904 -2980 -2514 -2554 -2642 -2370 -2814 -2688 -2854 -2892 -2400 -2960 -2644 -2490 -2840 2258 -2910 -2432 -2308 -2962 -2292 -2940 2596 -2640 -2864 -2284 -2690 -2564 -2514 -2986 -2756 -2572 -2484 -2642 2996 -2828 -2906 -2982 2598 -2956 -2244 -2914 -2848 -2772 -2666 -2810 -2732 -2440 -2762 -2406 -2268 -2948 -2990 2992 -2278 -2982 -2710 -2650 -2956 -2438 -2918 -2992 -2882 -2280 -2606 -2956 -2690 -2842 -2900 -2910 -2704 -2906 -2282 -2692 -2548 2840 2442 -2894 -2430 -2650 -2260 -2542 -2948 2426 2294 2306 -2288 -2226 2554 -2632 -2882 2530 -2920 -2666 -2914 2708 2424 -2330 2892 -2976 -2730 -2550 -2756 -2862 -2690 -2670 -2606 -2596 -2606 -2758 -2850 -2802 -2922 -2448 -2940 -2916 2888 -2506 -2408 2402 -2640 -2820 -2512 -2900 2674 -2298 -2222 -2830 -2282 -2316 -2842 -2896 -2228 -2804 -2368 -2764 -2466 -2612 -2866 -2642 2430 -2736 -2470 -2760 -2220 2436 -2432 -2854 -2554 2984 -2498 -2340 -2380 -2466 -2622 -2744 -2544 -2898 -2588 -2960 -2240 2356 -2414 -2940 -2942 -2950 -2772 -2990 -2754 2714 -2960 2220 2662 -2646 -2866 -2926 -2402 -2254 -2260 -2256 -2646 2702 -2786 -2234 -2296 2260 -2382 -2942 -2996 2402 -2880 -2380 -2430 2458 -2704 -2466 -2332 -2898 -2810 -2860 -2386 -2492 -2678 -2686 -2884 2344 -2554 -2484 -2818 -2942 -2812 -2608 -2682 -2980 -2730 -2258 -2822 2220 -2860 -2430 -2290 2562 -2910 2978 -2266 -2950 2340 -2354 -2726 2996 -2876 -2260 -2960 -2634 2880 -2790 -2486 -2900 -2512 -2630 -2256 -2550 -2878 2946 -2580 -2982 2948 -2310 -2314 -2778 -2648 -2264 2814 2812 -2514 -2876 2326 -2766 2924 -2532 -2810 2260 -2950 -2536 2428 -2950 -2310 -2312 -2286 -2790 -2236 -2570 -2790 -2940 -2554 -2392 -2646 -2732 -2710 2804 -2366 -2678 -2592 -2274 -2602 -2688 2684 -2772 -2554 -2494 2996 2756 -2716 -2502 -2590 -2594 -2872 -2328 -2950 -2514 -2238 -2758 -2860 -2622 -2996 -2646 -2536 -2276 -2964 -2648 -2290 2454 -2970 -2252 -2820 2384 -2674 -2982 -2298 -2636 -2228 -2604 -2834 -2940 -2228 -2446 -2250 -2260 2294 -2718 -2406 -2290 -2632 -2650 -2940 2902 -2926 -2594 -2488 -2344 -2272 -2284 -2556 2826 -2862 -2488 -2876 -2292 -2866 -2940 2664 -2950 -2786 -2592 -2368 -2920 -2364 -2996 -2242 -2758 2888 -2956 -2286 -2982 -2994 -2874 -2278 -2866 2468 -2578 -2646 -2382 -2920 -2424 -2262 -2272 -2990 -2254 2280 -2494 -2470 -2762 -2938 -2776 -2996 2260 -2318 -2220 -2642 2820 -2808 -2678 2776 -2928 -2996 -2910 -2948 -2536 -2344 -2504 -2538 -2950 -2906 2898 -2290 -2704 -2820 2260 -2996 -2512 -2912 -2324 -2572 -2486 -2262 -2706 -2476 -2996 -2956 2912 -2670 -2650 -2490 2788 -2260 -2996 -2654 -2954 -2264 -2952 2248 -2776 -2584 -2624 -2662 2638 -2760 -2988 2956 -2442 -2338 -2732 -2834 -2366 2416 2648 -2910 -2500 -2650 -2226 -2256 -2796 2740 -2446 -2372 -2926 -2920 -2292 -2976 -2618 -2766 2872 2250 -2682 -2952 -2684 -2900 -2516 -2442 -2892 2936 -2666 -2782 -2904 -2598 -2486 -2570 -2624 -2956 -2274 2248 2604 -2322 -2550 -2590 -2732 -2908 -2514 2648 -2860 -2724 -2316 -2230 2338 -2554 -2956 -2920 -2558 -2898 -2646 -2990 -2642 -2848 -2450 -2292 -2282 2220 2866 -2834 -2752 -2424 -2736 -2554 -2358 -2396 -2244 -2640 -2944 -2790 2274 -2772 2874 -2542 -2604 -2370 -2858 -2364 -2452 -2268 -2380 -2594 -2636 -2684 -2422 -2318 -2840 -2856 -2790 -2770 -2262 -2638 -2854 -2842 2882 -2980 -2252 -2688 2664 -2906 -2890 -2862 -2680 -2592 -2980 -2900 -2270 -2294 -2942 -2354 -2492 -2554 -2338 2982 -2250 -2720 -2746 -2384 -2680 -2282 -2244 2548 -2876 -2944 -2632 -2724 -2648 -2766 -2250 -2364 -2606 -2956 -2948 -2344 -2386 -2644 -2784 -2942 -2942 -2874 -2386 -2436 -2590 2276 -2578 -2544 -2982 -2502 -2556 -2994 -2352 -2976 -2252 -2604 -2624 -2610 -2252 -2482 -2956 -2556 -2744 -2732 -2690 -2924 -2576 -2940 -2938 -2988 -2568 2646 2794 -2682 -2828 -2654 -2740 -2646 -2318 -2506 -2294 -2942 2328 -2916 -2598 -2686 -2664 -2870 -2248 -2758 -2366 -2820 -2796 2808 -2748 -2996 -2940 -2950 -2542 -2508 -2550 -2376 -2274 -2942 -2688 -2996 -2986 -2692 2994 -2898 -2560 -2282 -2690 -2904 -2790 -2550 2736 -2578 -2512 -2800 -2996 -2902 -2646 2912 2720 -2904 -2980 -2982 -2732 -2304 -2292 -2390 -2880 2578 -2950 -2896 2722 -2624 -2476 2274 -2644 -2420 -2990 2916 -2830 -2956 -2762 -2686 -2686 -2632 -2300 -2892 -2702 -2222 2744 -2912 2644 -2402 -2938 -2876 -2856 2810 -2902 -2876 -2500 -2262 -2724 -2710 -2950 -2410 -2530 -2708 2308 -2742 -2876 -2806 -2894 2416 -2474 -2830 2908 -2270 -2512 -2220 -2552 -2554 2234 -2830 -2946 -2762 -2294 -2720 -2496 -2764 -2808 -2730 -2876 -2600 2372 -2902 -2454 2704 -2494 -2692 -2824 -2874 -2940 -2390 -2770 -2672 -2594 -2982 -2742 -2574 -2234 -2300 -2680 -2944 -2698 -2390 -2704 -2888 -2554 2630 -2246 2220 2646 2404 -2980 -2746 -2772 -2582 -2600 -2650 -2584 -2598 -2512 -2722 -2816 -2836 -2956 -2368 -2262 -2278 -2862 -2732 -2776 -2288 -2980 -2280 -2944 -2722 -2872 -2838 -2942 -2590 -2354 2260 -2934 2622 -2726 -2860 -2880 -2250 -2888 -2294 -2770 -2768 -2478 -2962 -2994 -2938 -2870 -2408 -2986 -2582 -2354 -2796 -2906 -2292 -2364 -2746 2260 -2682 -2624 -2576 2546 -2292 2504 2260 -2916 -2438 2340 -2266 -2416 -2224 -2366 -2990 -2584 -2280 -2230 -2682 -2942 -2564 -2514 2540 -2952 -2756 -2820 -2946 -2408 -2384 -2442 -2820 -2720 2278 -2564 2950 -2860 -2294 -2902 -2242 2900 -2328 -2266 -2982 -2930 2698 -2680 -2820 -2682 -2882 -2288 2852 -2858 2256 -2262 -2538 -2222 2866 -2996 -2238 -2960 -2676 2990 2440 -2990 -2562 -2424 2950 -2652 -2552 -2264 -2384 -2446 -2292 2702 -2902 -2730 -2430 -2830 -2414 -2996 2894 -2324 -2902 -2472 2836 2814 -2956 -2770 -2720 -2370 -2446 2418 -2230 -2354 -2944 -2294 -2784 -2266 -2864 -2588 -2400 -2460 -2582 -2990 -2512 2400 -2640 -2564 -2860 -2996 -2298 -2996 -2864 -2694 -2610 -2260 -2938 -2266 2238 -2288 -2310 -2946 -2408 -2406 2524 2510 -2236 -2870 -2606 2490 -2988 2260 2532 -2500 2940 -2938 -2350 -2634 2434 2754 -2314 -2864 -2524 -2928 -2504 -2226 -2298 -2950 -2686 2732 -2706 -2220 -2916 -2876 -2256 -2286 -2718 -2242 -2510 -2882 -2812 -2776 2836 2438 -2374 2690 -2762 -2692 -2646 2622 2260 -2606 -2598 2652 -2298 -2564 -2642 -2818 -2996 -2646 -2682 -2264 -2940 -2424 -2356 -2930 -2676 2222 -2350 -2860 -2646 -2830 2974 -2924 -2626 -2918 -2322 2282 -2584 -2446 2696 -2764 -2658 -2938 -2424 -2550 -2642 2614 -2688 -2532 -2380 -2246 -2314 -2380 -2296 -2638 2424 2592 -2502 -2798 -2916 2452 -2794 -2982 -2916 -2830 -2382 -2716 -2954 -2900 -2996 -2338 -2948 -2746 2600 -2458 -2224 -2692 -2490 -2288 -2830 -2220 -2904 -2356 -2262 -2390 -2900 -2384 -2270 -2556 -2582 -2946 -2904 -2982 -2936 -2358 -2662 -2232 -2996 -2230 -2946 -2348 -2640 2420 -2338 2560 2848 -2942 -2244 -2942 -2514 2594 2796 -2722 -2848 -2938 -2296 -2762 -2944 2284 -2956 -2958 -2578 -2580 -2446 -2430 -2982 2906 -2950 -2220 -2996 2898 -2326 -2952 -2942 -2354 2938 -2756 -2278 2500 -2920 -2402 -2544 -2226 -2380 2642 -2716 -2860 -2620 -2920 -2512 2276 -2934 -2588 -2496 2264 -2902 -2576 -2300 -2944 -2552 2698 2576 2554 -2542 -2920 -2632 -2538 -2290 -2376 -2738 -2928 2708 -2822 -2240 -2682 -2956 2652 -2464 -2974 -2900 -2940 -2590 2222 2638 -2320 -2234 2516 -2232 -2468 -2480 -2420 -2254 -2772 -2646 2432 -2222 -2722 -2996 -2444 -2692 -2378 2708 -2552 -2264 -2500 2524 -2550 -2716 2960 -2958 -2802 -2522 -2506 -2550 -2752 -2954 -2622 -2224 -2840 2718 -2806 -2842 -2476 2390 -2672 -2816 -2692 -2974 2526 -2642 -2980 -2690 -2732 -2820 -2940 2360 -2910 -2910 -2904 -2692 -2978 2810 2284 2464 -2716 -2296 2590 -2980 -2240 -2570 -2618 -2328 -2974 -2220 -2902 -2240 2222 2236 -2446 2696 -2760 -2716 -2486 -2904 -2728 -2904 -2766 -2392 -2768 2868 -2982 -2920 -2322 -2512 -2480 -2288 -2324 -2350 2856 -2952 -2246 -2904 -2758 -2438 -2934 -2860 -2260 -2550 -2632 2290 -2988 -2436 -2264 -2346 -2342 -2682 -2646 -2956 -2904 -2286 -2378 -2918 2444 -2890 -2710 -2624 -2220 -2944 -2224 -2816 -2642 -2980 -2346 -2682 -2224 -2508 -2862 -2524 2574 -2658 -2642 -2990 -2866 -2570 2354 -2454 2220 2674 -2350 -2850 -2780 -2682 -2992 -2650 -2508 -2708 -2766 -2532 -2292 -2262 -2860 -2264 -2294 -2778 2382 -2946 -2980 -2702 -2324 -2968 -2472 -2392 -2448 -2452 -2758 2288 -2498 -2932 -2718 -2522 -2786 -2940 -2938 -2844 -2608 -2662 -2440 -2768 -2606 -2536 -2922 2750 -2700 -2720 -2916 2752 -2942 -2450 -2592 -2760 -2274 2380 -2224 -2590 -2966 -2902 -2822 -2752 2280 -2810 2558 -2590 -2420 -2448 2874 -2950 2652 -2628 2308 -2380 -2850 -2898 -2440 -2382 -2406 2934 -2746 -2404 -2722 2470 -2692 -2504 -2950 -2678 -2710 2840 -2616 -2744 -2940 -2730 -2676 -2330 -2976 -2784 2388 -2336 -2870 -2272 -2532 -2834 -2880 -2350 -2584 -2958 -2640 -2776 -2686 -2570 2616 -2538 2402 -2422 -2368 -2280 -2422 -2858 -2770 2240 -2724 -2936 -2564 2442 2508 -2672 -2830 -2724 -2922 -2676 -2366 -2348 -2790 -2722 -2380 -2582 2762 -2694 -2484 -2684 -2260 -2688 -2684 -2904 -2804 -2918 -2446 -2242 -2950 -2504 -2356 2442 -2632 2748 -2732 -2636 -2808 2222 -2404 -2844 2574 -2710 -2514 -2942 2364 -2260 -2876 -2298 -2570 -2580 -2980 -2408 -2650 2252 -2554 -2226 -2638 -2980 -2256 -2412 -2914 2928 -2876 -2562 2234 -2368 -2424 2436 2220 -2648 -2648 2416 -2260 -2956 -2498 -2990 -2948 -2950 -2642 -2860 -2800 -2830 2816 -2904 -2830 -2980 -2914 2896 -2466 -2412 -2296 -2602 -2284 2594 -2648 -2716 -2886 -2996 -2446 -2672 -2988 -2294 -2270 -2326 -2294 -2226 -2278 -2856 -2730 -2264 -2914 -2864 -2826 -2950 -2272 -2920 -2938 -2664 -2310 -2968 -2646 -2490 -2646 -2732 -2858 -2940 2644 -2942 -2266 -2576 -2728 2344 -2934 -2894 -2560 -2990 2982 2284 -2576 -2470 -2900 -2554 -2610 -2316 2608 -2522 -2712 -2702 -2578 2806 -2788 -2580 -2334 2964 -2406 2316 -2450 -2244 -2262 -2996 2642 -2452 -2302 -2510 -2292 -2610 -2850 -2676 -2932 -2246 -2396 -2820 -2682 2374 -2502 -2220 -2242 -2860 -2686 2450 -2354 -2390 -2480 -2420 -2990 -2676 -2904 -2584 -2920 -2698 -2460 -2762 -2408 -2274 -2498 -2902 -2222 -2290 2612 -2780 -2956 -2572 -2850 -2904 -2648 -2444 -2920 -2722 -2366 -2794 -2332 2390 -2908 -2290 -2972 -2678 -2896 2492 -2224 -2334 -2590 -2840 2668 -2454 -2902 -2336 -2820 -2862 -2986 -2228 -2552 -2820 -2944 -2554 -2636 -2798 2402 -2682 2266 2278 2448 -2732 -2934 -2582 2238 -2928 2254 -2876 2268 -2492 -2552 -2774 2314 2792 -2324 -2652 -2602 -2982 -2448 -2378 -2970 -2250 -2980 -2956 -2222 -2848 -2692 -2944 -2514 -2624 -2346 -2840 -2408 -2644 -2904 -2942 2440 -2956 -2334 2506 2220 -2788 -2624 -2584 -2304 2572 2494 -2292 -2488 -2616 -2280 -2974 2912 -2996 -2952 -2330 -2408 -2950 -2920 -2932 -2612 -2254 -2478 -2584 -2590 -2646 2514 -2898 -2906 -2792 -2950 -2906 -2948 -2766 -2366 -2776 -2548 -2820 -2900 2378 -2824 -2728 -2426 -2294 -2752 -2454 -2940 -2874 2860 -2712 2464 -2606 -2938 2826 -2944 -2748 -2756 -2844 2678 -2220 -2638 -2824 -2870 2808 -2446 -2480 -2988 -2880 -2248 -2820 -2990 -2260 -2680 -2234 -2926 -2480 -2322 -2664 2344 -2594 -2810 2952 -2670 -2324 -2770 -2260 -2936 2292 -2722 -2800 -2368 2578 -2764 2452 -2404 -2270 -2690 -2502 -2516 -2306 -2608 -2292 -2920 -2946 -2236 -2940 -2278 -2982 -2238 -2462 2862 -2902 -2252 2814 -2886 -2302 -2692 -2576 2260 -2952 -2384 -2690 -2224 -2586 -2400 2682 -2810 -2942 -2684 2906 -2618 -2774 -2820 -2244 -2620 -2806 -2916 -2420 -2360 -2454 -2432 -2990 2326 -2634 -2736 -2830 -2578 -2776 2776 -2654 -2368 2284 -2368 -2486 -2718 -2234 -2252 -2258 -2486 2220 -2820 -2932 -2942 -2280 -2868 -2568 -2444 -2722 -2996 -2804 -2968 -2220 -2222 -2366 -2944 -2472 2874 2470 2954 -2950 -2440 2942 -2946 -2676 -2282 -2228 -2542 2864 -2550 2948 -2472 -2486 -2270 -2476 -2622 -2558 -2384 -2862 -2314 2440 -2976 -2466 -2386 -2224 -2520 -2314 -2274 -2480 -2438 -2950 -2340 -2844 -2876 -2264 -2642 -2706 -2692 -2900 -2718 -2690 -2904 -2978 -2956 -2842 -2592 -2996 2982 -2990 2494 -2990 -2772 -2482 -2250 2900 -2298 -2862 2552 2440 -2978 -2240 -2590 -2534 -2996 -2722 2458 -2382 -2986 -2944 -2738 -2940 -2510 -2744 2242 -2296 -2940 -2900 -2848 -2356 -2450 -2944 -2562 2966 -2990 -2514 2220 -2924 -2908 2308 -2940 -2862 -2548 -2692 -2534 -2530 -2860 -2748 -2808 -2904 -2900 -2396 2384 -2982 2734 -2606 -2492 -2666 -2888 -2944 -2826 -2980 -2760 -2900 -2638 -2818 -2638 -2406 -2370 2322 -2260 -2364 -2292 2788 -2732 -2466 -2290 -2300 2662 -2330 -2556 -2264 2466 -2924 -2270 -2346 -2780 -2996 -2606 -2846 2402 -2368 -2492 -2514 -2900 2234 -2276 -2944 -2516 -2982 -2606 -2880 -2314 -2790 -2850 2288 -2260 -2528 -2740 2952 -2252 -2820 -2830 -2860 -2904 -2250 -2276 -2276 -2280 -2860 -2250 -2336 -2956 -2534 -2436 -2942 2924 -2872 -2908 -2354 2652 -2804 -2780 -2900 -2272 -2488 -2536 -2940 -2720 -2220 -2736 -2684 -2606 -2662 -2958 -2274 -2850 -2494 -2954 -2278 -2624 -2350 -2650 -2860 -2498 -2600 2444 -2968 -2912 -2750 -2990 -2918 -2490 -2296 -2692 -2364 -2960 2680 -2464 -2798 -2682 -2522 -2308 -2554 -2738 -2316 -2230 -2240 -2480 -2740 -2420 -2990 -2354 -2668 -2982 -2860 -2942 -2446 -2792 -2650 -2438 -2444 -2942 -2830 -2332 -2656 -2422 -2692 2912 2828 -2408 -2504 2234 -2864 2704 -2264 -2464 2662 -2980 -2960 -2642 -2568 -2706 -2848 -2478 -2970 -2592 -2332 -2224 -2806 -2778 -2704 -2434 -2310 -2496 -2918 2978 -2732 -2816 2220 -2912 -2974 -2606 -2956 -2938 -2562 -2490 -2506 -2668 -2286 -2428 -2956 -2482 -2754 -2922 2242 2400 -2280 -2968 2926 -2338 -2556 -2624 -2808 -2650 -2720 -2750 -2938 -2560 -2774 -2956 -2940 -2704 -2934 -2820 -2942 -2722 2232 2734 -2982 -2860 -2400 -2862 -2722 -2346 -2316 -2634 -2468 -2256 -2220 -2300 -2300 -2506 -2860 -2334 -2524 -2596 -2552 2506 -2682 -2980 -2506 -2590 -2858 -2248 -2554 2316 -2616 -2718 -2594 -2552 -2904 -2298 -2634 -2610 -2580 -2992 -2550 -2296 -2648 -2928 2676 -2250 2268 -2668 -2222 -2366 -2744 -2786 -2604 -2474 -2800 -2584 -2638 -2922 -2938 -2456 -2474 -2916 -2548 -2270 -2964 -2584 -2942 2480 -2774 2698 -2602 -2646 2450 2288 2932 -2956 -2314 -2934 -2394 2880 -2808 -2442 -2712 -2346 -2562 -2604 -2956 -2750 -2250 -2394 -2850 -2790 -2282 -2536 2826 2314 2220 -2284 -2744 -2424 -2406 -2722 -2878 -2996 -2722 -2448 -2928 -2688 -2366 -2910 2820 -2422 -2582 -2996 -2224 -2680 -2682 2782 2462 -2274 -2532 -2316 -2904 -2396 2956 -2956 -2326 -2684 -2996 -2440 -2422 -2644 -2288 -2676 -2262 2946 -2732 -2288 -2950 -2324 -2860 -2810 -2702 -2862 2268 -2848 -2508 -2920 -2398 -2916 -2944 -2648 -2708 -2768 -2260 -2876 -2510 -2916 -2688 -2250 2734 -2292 -2500 -2292 -2244 -2260 2426 -2790 -2720 -2920 -2292 -2690 -2438 -2442 -2314 -2958 2390 -2290 -2506 -2514 -2538 -2252 2730 -2902 -2272 -2904 -2516 -2658 -2492 2554 -2980 -2316 -2408 2724 -2582 -2710 -2686 -2820 -2760 -2790 -2940 -2554 -2650 -2536 -2942 -2830 -2640 -2448 -2252 -2420 2662 2556 -2912 -2690 -2636 -2414 -2286 -2960 -2858 -2262 -2904 -2320 -2850 -2732 -2634 -2366 2354 -2934 -2940 -2682 -2782 -2440 -2530 2402 -2700 -2292 -2492 -2258 -2606 -2932 -2916 -2222 -2692 -2660 -2330 -2942 -2760 -2484 -2980 2956 -2956 -2982 2564 -2236 2918 -2286 -2550 -2630 -2748 -2332 2236 2380 -2692 2706 -2698 -2460 -2670 2612 -2944 -2522 2260 2248 -2220 -2608 -2946 -2650 -2532 -2746 -2942 -2776 -2974 -2956 -2220 2984 -2818 -2490 -2736 -2720 -2706 -2798 2422 -2456 -2898 -2738 -2854 -2296
1180.68/1191.11 d ASSIGNMENTS 3000
1180.68/1191.11 d CHECKS 104797758
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1086645-1215240417/watcher-1086645-1215240417 -o /tmp/evaluation-result-1086645-1215240417/solver-1086645-1215240417 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1086645-1215240417.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.94 2.03 2.00 4/72 19677
/proc/meminfo: memFree=1291672/2055920 swapFree=4117816/4192956
[pid=19677] ppid=19675 vsize=18572 CPUtime=0
/proc/19677/stat : 19677 (runsolver) R 19675 19677 17603 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 2003014032 19017728 292 996147200 4194304 4296836 548682068480 18446744073709551615 208717540647 0 0 4096 24578 0 0 0 17 1 0 0
/proc/19677/statm: 4643 292 257 25 0 2626 0
[startup+0.06179 s]
/proc/loadavg: 1.94 2.03 2.00 4/72 19677
/proc/meminfo: memFree=1291672/2055920 swapFree=4117816/4192956
[pid=19677] ppid=19675 vsize=5360 CPUtime=0
/proc/19677/stat : 19677 (hydra) S 19675 19677 17603 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2003014032 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19677/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.102801 s]
/proc/loadavg: 1.94 2.03 2.00 4/72 19677
/proc/meminfo: memFree=1291672/2055920 swapFree=4117816/4192956
[pid=19677] ppid=19675 vsize=5360 CPUtime=0
/proc/19677/stat : 19677 (hydra) S 19675 19677 17603 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2003014032 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19677/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.301838 s]
/proc/loadavg: 1.94 2.03 2.00 4/72 19677
/proc/meminfo: memFree=1291672/2055920 swapFree=4117816/4192956
[pid=19677] ppid=19675 vsize=5360 CPUtime=0
/proc/19677/stat : 19677 (hydra) S 19675 19677 17603 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2003014032 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19677/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.702914 s]
/proc/loadavg: 1.94 2.03 2.00 4/72 19677
/proc/meminfo: memFree=1291672/2055920 swapFree=4117816/4192956
[pid=19677] ppid=19675 vsize=5360 CPUtime=0
/proc/19677/stat : 19677 (hydra) S 19675 19677 17603 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2003014032 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19677/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+1.50521 s]
/proc/loadavg: 1.94 2.03 2.00 3/74 19681
/proc/meminfo: memFree=1276168/2055920 swapFree=4117816/4192956
[pid=19677] ppid=19675 vsize=5360 CPUtime=0
/proc/19677/stat : 19677 (hydra) S 19675 19677 17603 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2003014032 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19677/statm: 1340 236 195 169 0 51 0
[pid=19681] ppid=19677 vsize=25956 CPUtime=1.46
/proc/19681/stat : 19681 (xsolve) R 19677 19677 17603 0 -1 4194304 5947 0 0 0 143 3 0 0 25 0 1 0 2003014033 26578944 5710 996147200 134512640 135239763 4294956176 18446744073709551615 4160171919 0 0 4096 0 0 0 0 17 1 0 0
/proc/19681/statm: 6489 5710 379 177 0 5392 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 31316
[startup+3.10137 s]
/proc/loadavg: 1.94 2.03 2.00 3/74 19681
/proc/meminfo: memFree=1262152/2055920 swapFree=4117816/4192956
[pid=19677] ppid=19675 vsize=5360 CPUtime=0
/proc/19677/stat : 19677 (hydra) S 19675 19677 17603 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2003014032 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19677/statm: 1340 236 195 169 0 51 0
[pid=19681] ppid=19677 vsize=45212 CPUtime=3.04
/proc/19681/stat : 19681 (xsolve) R 19677 19677 17603 0 -1 4194304 10946 0 0 0 296 8 0 0 25 0 1 0 2003014033 46297088 10418 996147200 134512640 135239763 4294956176 18446744073709551615 134707247 0 0 4096 0 0 0 0 17 1 0 0
/proc/19681/statm: 11303 10418 379 177 0 10206 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 50572
[startup+6.30296 s]
/proc/loadavg: 1.95 2.03 2.00 3/74 19681
/proc/meminfo: memFree=1186824/2055920 swapFree=4117816/4192956
[pid=19677] ppid=19675 vsize=5360 CPUtime=0
/proc/19677/stat : 19677 (hydra) S 19675 19677 17603 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2003014032 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19677/statm: 1340 236 195 169 0 51 0
[pid=19681] ppid=19677 vsize=152392 CPUtime=6.21
/proc/19681/stat : 19681 (xsolve) R 19677 19677 17603 0 -1 4194304 27087 0 0 0 604 17 0 0 25 0 1 0 2003014033 156049408 26526 996147200 134512640 135239763 4294956176 18446744073709551615 134534753 0 0 4096 0 0 0 0 17 1 0 0
/proc/19681/statm: 38098 26526 416 177 0 37001 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 157752
[startup+12.7012 s]
/proc/loadavg: 1.95 2.03 2.00 3/74 19681
/proc/meminfo: memFree=1186888/2055920 swapFree=4117816/4192956
[pid=19677] ppid=19675 vsize=5360 CPUtime=0
/proc/19677/stat : 19677 (hydra) S 19675 19677 17603 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2003014032 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19677/statm: 1340 236 195 169 0 51 0
[pid=19681] ppid=19677 vsize=152392 CPUtime=12.56
/proc/19681/stat : 19681 (xsolve) R 19677 19677 17603 0 -1 4194304 27087 0 0 0 1239 17 0 0 25 0 1 0 2003014033 156049408 26526 996147200 134512640 135239763 4294956176 18446744073709551615 134535360 0 0 4096 0 0 0 0 17 1 0 0
/proc/19681/statm: 38098 26526 416 177 0 37001 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 157752
[startup+25.5016 s]
/proc/loadavg: 1.96 2.03 2.00 3/74 19681
/proc/meminfo: memFree=1186952/2055920 swapFree=4117816/4192956
[pid=19677] ppid=19675 vsize=5360 CPUtime=0
/proc/19677/stat : 19677 (hydra) S 19675 19677 17603 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2003014032 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19677/statm: 1340 236 195 169 0 51 0
[pid=19681] ppid=19677 vsize=152392 CPUtime=25.26
/proc/19681/stat : 19681 (xsolve) R 19677 19677 17603 0 -1 4194304 27087 0 0 0 2509 17 0 0 25 0 1 0 2003014033 156049408 26526 996147200 134512640 135239763 4294956176 18446744073709551615 134532177 0 0 4096 0 0 0 0 17 1 0 0
/proc/19681/statm: 38098 26526 416 177 0 37001 0
Current children cumulated CPU time (s) 25.26
Current children cumulated vsize (KiB) 157752
[startup+51.1014 s]
/proc/loadavg: 1.97 2.02 2.00 3/74 19681
/proc/meminfo: memFree=1186952/2055920 swapFree=4117816/4192956
[pid=19677] ppid=19675 vsize=5360 CPUtime=0
/proc/19677/stat : 19677 (hydra) S 19675 19677 17603 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2003014032 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19677/statm: 1340 236 195 169 0 51 0
[pid=19681] ppid=19677 vsize=152392 CPUtime=50.64
/proc/19681/stat : 19681 (xsolve) R 19677 19677 17603 0 -1 4194304 27087 0 0 0 5047 17 0 0 25 0 1 0 2003014033 156049408 26526 996147200 134512640 135239763 4294956176 18446744073709551615 134534753 0 0 4096 0 0 0 0 17 1 0 0
/proc/19681/statm: 38098 26526 416 177 0 37001 0
Current children cumulated CPU time (s) 50.64
Current children cumulated vsize (KiB) 157752
[startup+102.307 s]
/proc/loadavg: 1.99 2.02 2.00 3/74 19681
/proc/meminfo: memFree=1186952/2055920 swapFree=4117816/4192956
[pid=19677] ppid=19675 vsize=5360 CPUtime=0
/proc/19677/stat : 19677 (hydra) S 19675 19677 17603 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2003014032 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19677/statm: 1340 236 195 169 0 51 0
[pid=19681] ppid=19677 vsize=152392 CPUtime=101.45
/proc/19681/stat : 19681 (xsolve) R 19677 19677 17603 0 -1 4194304 27087 0 0 0 10128 17 0 0 25 0 1 0 2003014033 156049408 26526 996147200 134512640 135239763 4294956176 18446744073709551615 134543111 0 0 4096 0 0 0 0 17 1 0 0
/proc/19681/statm: 38098 26526 416 177 0 37001 0
Current children cumulated CPU time (s) 101.45
Current children cumulated vsize (KiB) 157752
[startup+162.301 s]
/proc/loadavg: 1.99 2.01 2.00 3/74 19681
/proc/meminfo: memFree=1186888/2055920 swapFree=4117816/4192956
[pid=19677] ppid=19675 vsize=5360 CPUtime=0
/proc/19677/stat : 19677 (hydra) S 19675 19677 17603 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2003014032 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19677/statm: 1340 236 195 169 0 51 0
[pid=19681] ppid=19677 vsize=152392 CPUtime=160.99
/proc/19681/stat : 19681 (xsolve) R 19677 19677 17603 0 -1 4194304 27087 0 0 0 16082 17 0 0 25 0 1 0 2003014033 156049408 26526 996147200 134512640 135239763 4294956176 18446744073709551615 134539217 0 0 4096 0 0 0 0 17 1 0 0
/proc/19681/statm: 38098 26526 416 177 0 37001 0
Current children cumulated CPU time (s) 160.99
Current children cumulated vsize (KiB) 157752
[startup+222.302 s]
/proc/loadavg: 1.99 2.01 2.00 3/74 19681
/proc/meminfo: memFree=1186888/2055920 swapFree=4117816/4192956
[pid=19677] ppid=19675 vsize=5360 CPUtime=0
/proc/19677/stat : 19677 (hydra) S 19675 19677 17603 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2003014032 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19677/statm: 1340 236 195 169 0 51 0
[pid=19681] ppid=19677 vsize=152392 CPUtime=220.54
/proc/19681/stat : 19681 (xsolve) R 19677 19677 17603 0 -1 4194304 27087 0 0 0 22036 18 0 0 25 0 1 0 2003014033 156049408 26526 996147200 134512640 135239763 4294956176 18446744073709551615 134541369 0 0 4096 0 0 0 0 17 1 0 0
/proc/19681/statm: 38098 26526 416 177 0 37001 0
Current children cumulated CPU time (s) 220.54
Current children cumulated vsize (KiB) 157752
[startup+282.302 s]
/proc/loadavg: 1.99 2.00 2.00 3/74 19681
/proc/meminfo: memFree=1186824/2055920 swapFree=4117816/4192956
[pid=19677] ppid=19675 vsize=5360 CPUtime=0
/proc/19677/stat : 19677 (hydra) S 19675 19677 17603 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2003014032 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19677/statm: 1340 236 195 169 0 51 0
[pid=19681] ppid=19677 vsize=152392 CPUtime=280.08
/proc/19681/stat : 19681 (xsolve) R 19677 19677 17603 0 -1 4194304 27087 0 0 0 27990 18 0 0 25 0 1 0 2003014033 156049408 26526 996147200 134512640 135239763 4294956176 18446744073709551615 134534752 0 0 4096 0 0 0 0 17 1 0 0
/proc/19681/statm: 38098 26526 416 177 0 37001 0
Current children cumulated CPU time (s) 280.08
Current children cumulated vsize (KiB) 157752
[startup+342.301 s]
/proc/loadavg: 1.99 2.00 2.00 3/74 19681
/proc/meminfo: memFree=1186824/2055920 swapFree=4117816/4192956
[pid=19677] ppid=19675 vsize=5360 CPUtime=0
/proc/19677/stat : 19677 (hydra) S 19675 19677 17603 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2003014032 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19677/statm: 1340 236 195 169 0 51 0
[pid=19681] ppid=19677 vsize=152392 CPUtime=339.62
/proc/19681/stat : 19681 (xsolve) R 19677 19677 17603 0 -1 4194304 27087 0 0 0 33944 18 0 0 25 0 1 0 2003014033 156049408 26526 996147200 134512640 135239763 4294956176 18446744073709551615 134543098 0 0 4096 0 0 0 0 17 1 0 0
/proc/19681/statm: 38098 26526 416 177 0 37001 0
Current children cumulated CPU time (s) 339.62
Current children cumulated vsize (KiB) 157752
[startup+402.302 s]
/proc/loadavg: 1.99 2.00 2.00 3/74 19681
/proc/meminfo: memFree=1186824/2055920 swapFree=4117816/4192956
[pid=19677] ppid=19675 vsize=5360 CPUtime=0
/proc/19677/stat : 19677 (hydra) S 19675 19677 17603 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2003014032 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19677/statm: 1340 236 195 169 0 51 0
[pid=19681] ppid=19677 vsize=152392 CPUtime=399.17
/proc/19681/stat : 19681 (xsolve) R 19677 19677 17603 0 -1 4194304 27087 0 0 0 39899 18 0 0 25 0 1 0 2003014033 156049408 26526 996147200 134512640 135239763 4294956176 18446744073709551615 134532177 0 0 4096 0 0 0 0 17 1 0 0
/proc/19681/statm: 38098 26526 416 177 0 37001 0
Current children cumulated CPU time (s) 399.17
Current children cumulated vsize (KiB) 157752
################
# More data... #
################
/proc/19702/task/19711/stat : 19711 (java) S 19701 19677 17603 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 2003123836 671477760 103745 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19703] ppid=19701 vsize=7044 CPUtime=0
/proc/19703/stat : 19703 (translate) S 19701 19677 17603 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 2003123830 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 208717709394 0 4 0 0 18446744071563648864 0 0 17 1 0 0
/proc/19703/statm: 1761 213 182 1 0 41 0
[pid=19691/tid=19692] ppid=19677 vsize=197416 CPUtime=4.74
/proc/19691/task/19692/stat : 19692 (java) S 19677 19677 17603 0 -1 64 3853 0 1 0 468 6 0 0 25 0 10 0 2003123199 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=19691/tid=19693] ppid=19677 vsize=197416 CPUtime=1.22
/proc/19691/task/19693/stat : 19693 (java) S 19677 19677 17603 0 -1 64 8569 0 0 0 110 12 0 0 16 0 10 0 2003123201 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19691/tid=19694] ppid=19677 vsize=197416 CPUtime=0
/proc/19691/task/19694/stat : 19694 (java) S 19677 19677 17603 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2003123201 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19691/tid=19695] ppid=19677 vsize=197416 CPUtime=0
/proc/19691/task/19695/stat : 19695 (java) S 19677 19677 17603 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 2003123201 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19691/tid=19696] ppid=19677 vsize=197416 CPUtime=0
/proc/19691/task/19696/stat : 19696 (java) S 19677 19677 17603 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 2003123203 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19691/tid=19697] ppid=19677 vsize=197416 CPUtime=0.21
/proc/19691/task/19697/stat : 19697 (java) S 19677 19677 17603 0 -1 64 643 0 0 0 21 0 0 0 16 0 10 0 2003123203 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19691/tid=19698] ppid=19677 vsize=197416 CPUtime=0
/proc/19691/task/19698/stat : 19698 (java) S 19677 19677 17603 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 2003123203 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19691/tid=19699] ppid=19677 vsize=197416 CPUtime=0
/proc/19691/task/19699/stat : 19699 (java) S 19677 19677 17603 0 -1 64 12 0 0 0 0 0 0 0 15 0 10 0 2003123203 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19691/tid=19700] ppid=19677 vsize=197416 CPUtime=0
/proc/19691/task/19700/stat : 19700 (java) S 19677 19677 17603 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 2003123830 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1178.36
Current children cumulated vsize (KiB) 870916
[startup+1190.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/94 19711
/proc/meminfo: memFree=856616/2055920 swapFree=4117816/4192956
[pid=19677] ppid=19675 vsize=5360 CPUtime=1083.21
/proc/19677/stat : 19677 (hydra) S 19675 19677 17603 0 -1 4194304 375 27696 0 0 0 0 108299 22 18 0 1 0 2003014032 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19677/statm: 1340 238 196 169 0 51 0
[pid=19691] ppid=19677 vsize=197416 CPUtime=6.2
/proc/19691/stat : 19691 (java) S 19677 19677 17603 0 -1 0 13871 0 1 0 601 19 0 0 18 0 10 0 2003123198 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19691/statm: 49354 9389 2543 9 0 43937 0
[pid=19701] ppid=19691 vsize=5356 CPUtime=0
/proc/19701/stat : 19701 (abscon) S 19691 19677 17603 0 -1 4194304 302 0 0 0 0 0 0 0 25 0 1 0 2003123830 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 208717538116 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/19701/statm: 1339 235 194 169 0 50 0
[pid=19702] ppid=19701 vsize=655740 CPUtime=90.51
/proc/19702/stat : 19702 (java) S 19701 19677 17603 0 -1 0 104495 0 1 0 8989 62 0 0 18 0 9 0 2003123830 671477760 103752 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19702/statm: 163935 103752 2617 9 0 158463 0
[pid=19702/tid=19704] ppid=19701 vsize=655740 CPUtime=87.06
/proc/19702/task/19704/stat : 19704 (java) R 19701 19677 17603 0 -1 64 12563 0 1 0 8694 12 0 0 25 0 9 0 2003123831 671477760 103752 996147200 134512640 134550740 4294955808 18446744073709551615 4126905142 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19702/tid=19705] ppid=19701 vsize=655740 CPUtime=2.95
/proc/19702/task/19705/stat : 19705 (java) S 19701 19677 17603 0 -1 64 90594 0 0 0 247 48 0 0 16 0 9 0 2003123833 671477760 103752 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19702/tid=19706] ppid=19701 vsize=655740 CPUtime=0
/proc/19702/task/19706/stat : 19706 (java) S 19701 19677 17603 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2003123833 671477760 103752 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19702/tid=19707] ppid=19701 vsize=655740 CPUtime=0
/proc/19702/task/19707/stat : 19707 (java) S 19701 19677 17603 0 -1 64 19 0 0 0 0 0 0 0 16 0 9 0 2003123833 671477760 103752 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19702/tid=19708] ppid=19701 vsize=655740 CPUtime=0
/proc/19702/task/19708/stat : 19708 (java) S 19701 19677 17603 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2003123835 671477760 103752 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19702/tid=19709] ppid=19701 vsize=655740 CPUtime=0.47
/proc/19702/task/19709/stat : 19709 (java) S 19701 19677 17603 0 -1 64 780 0 0 0 47 0 0 0 15 0 9 0 2003123835 671477760 103752 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19702/tid=19710] ppid=19701 vsize=655740 CPUtime=0
/proc/19702/task/19710/stat : 19710 (java) S 19701 19677 17603 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 2003123835 671477760 103752 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19702/tid=19711] ppid=19701 vsize=655740 CPUtime=0
/proc/19702/task/19711/stat : 19711 (java) S 19701 19677 17603 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 2003123836 671477760 103752 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19703] ppid=19701 vsize=7044 CPUtime=0
/proc/19703/stat : 19703 (translate) S 19701 19677 17603 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 2003123830 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 208717709394 0 4 0 0 18446744071563648864 0 0 17 1 0 0
/proc/19703/statm: 1761 213 182 1 0 41 0
[pid=19691/tid=19692] ppid=19677 vsize=197416 CPUtime=4.74
/proc/19691/task/19692/stat : 19692 (java) S 19677 19677 17603 0 -1 64 3853 0 1 0 468 6 0 0 25 0 10 0 2003123199 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=19691/tid=19693] ppid=19677 vsize=197416 CPUtime=1.22
/proc/19691/task/19693/stat : 19693 (java) S 19677 19677 17603 0 -1 64 8569 0 0 0 110 12 0 0 16 0 10 0 2003123201 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19691/tid=19694] ppid=19677 vsize=197416 CPUtime=0
/proc/19691/task/19694/stat : 19694 (java) S 19677 19677 17603 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2003123201 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19691/tid=19695] ppid=19677 vsize=197416 CPUtime=0
/proc/19691/task/19695/stat : 19695 (java) S 19677 19677 17603 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 2003123201 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19691/tid=19696] ppid=19677 vsize=197416 CPUtime=0
/proc/19691/task/19696/stat : 19696 (java) S 19677 19677 17603 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 2003123203 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19691/tid=19697] ppid=19677 vsize=197416 CPUtime=0.21
/proc/19691/task/19697/stat : 19697 (java) S 19677 19677 17603 0 -1 64 643 0 0 0 21 0 0 0 16 0 10 0 2003123203 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19691/tid=19698] ppid=19677 vsize=197416 CPUtime=0
/proc/19691/task/19698/stat : 19698 (java) S 19677 19677 17603 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 2003123203 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19691/tid=19699] ppid=19677 vsize=197416 CPUtime=0
/proc/19691/task/19699/stat : 19699 (java) S 19677 19677 17603 0 -1 64 12 0 0 0 0 0 0 0 15 0 10 0 2003123203 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19691/tid=19700] ppid=19677 vsize=197416 CPUtime=0
/proc/19691/task/19700/stat : 19700 (java) S 19677 19677 17603 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 2003123830 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1179.92
Current children cumulated vsize (KiB) 870916
[startup+1190.7 s]
/proc/loadavg: 2.04 2.02 2.00 3/94 19711
/proc/meminfo: memFree=856616/2055920 swapFree=4117816/4192956
[pid=19677] ppid=19675 vsize=5360 CPUtime=1083.21
/proc/19677/stat : 19677 (hydra) S 19675 19677 17603 0 -1 4194304 375 27696 0 0 0 0 108299 22 18 0 1 0 2003014032 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19677/statm: 1340 238 196 169 0 51 0
[pid=19691] ppid=19677 vsize=197416 CPUtime=6.2
/proc/19691/stat : 19691 (java) S 19677 19677 17603 0 -1 0 13871 0 1 0 601 19 0 0 18 0 10 0 2003123198 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19691/statm: 49354 9389 2543 9 0 43937 0
[pid=19701] ppid=19691 vsize=5356 CPUtime=0
/proc/19701/stat : 19701 (abscon) S 19691 19677 17603 0 -1 4194304 302 0 0 0 0 0 0 0 25 0 1 0 2003123830 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 208717538116 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/19701/statm: 1339 235 194 169 0 50 0
[pid=19702] ppid=19701 vsize=655740 CPUtime=90.9
/proc/19702/stat : 19702 (java) S 19701 19677 17603 0 -1 0 104498 0 1 0 9028 62 0 0 18 0 9 0 2003123830 671477760 103755 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19702/statm: 163935 103755 2617 9 0 158463 0
[pid=19702/tid=19704] ppid=19701 vsize=655740 CPUtime=87.45
/proc/19702/task/19704/stat : 19704 (java) R 19701 19677 17603 0 -1 64 12565 0 1 0 8733 12 0 0 25 0 9 0 2003123831 671477760 103755 996147200 134512640 134550740 4294955808 18446744073709551615 4125977440 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19702/tid=19705] ppid=19701 vsize=655740 CPUtime=2.95
/proc/19702/task/19705/stat : 19705 (java) S 19701 19677 17603 0 -1 64 90594 0 0 0 247 48 0 0 16 0 9 0 2003123833 671477760 103755 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19702/tid=19706] ppid=19701 vsize=655740 CPUtime=0
/proc/19702/task/19706/stat : 19706 (java) S 19701 19677 17603 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2003123833 671477760 103755 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19702/tid=19707] ppid=19701 vsize=655740 CPUtime=0
/proc/19702/task/19707/stat : 19707 (java) S 19701 19677 17603 0 -1 64 19 0 0 0 0 0 0 0 16 0 9 0 2003123833 671477760 103755 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19702/tid=19708] ppid=19701 vsize=655740 CPUtime=0
/proc/19702/task/19708/stat : 19708 (java) S 19701 19677 17603 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2003123835 671477760 103755 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19702/tid=19709] ppid=19701 vsize=655740 CPUtime=0.47
/proc/19702/task/19709/stat : 19709 (java) S 19701 19677 17603 0 -1 64 781 0 0 0 47 0 0 0 16 0 9 0 2003123835 671477760 103755 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19702/tid=19710] ppid=19701 vsize=655740 CPUtime=0
/proc/19702/task/19710/stat : 19710 (java) S 19701 19677 17603 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 2003123835 671477760 103755 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19702/tid=19711] ppid=19701 vsize=655740 CPUtime=0
/proc/19702/task/19711/stat : 19711 (java) S 19701 19677 17603 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 2003123836 671477760 103755 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19703] ppid=19701 vsize=7044 CPUtime=0
/proc/19703/stat : 19703 (translate) S 19701 19677 17603 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 2003123830 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 208717709394 0 4 0 0 18446744071563648864 0 0 17 1 0 0
/proc/19703/statm: 1761 213 182 1 0 41 0
[pid=19691/tid=19692] ppid=19677 vsize=197416 CPUtime=4.74
/proc/19691/task/19692/stat : 19692 (java) S 19677 19677 17603 0 -1 64 3853 0 1 0 468 6 0 0 25 0 10 0 2003123199 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=19691/tid=19693] ppid=19677 vsize=197416 CPUtime=1.22
/proc/19691/task/19693/stat : 19693 (java) S 19677 19677 17603 0 -1 64 8569 0 0 0 110 12 0 0 16 0 10 0 2003123201 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19691/tid=19694] ppid=19677 vsize=197416 CPUtime=0
/proc/19691/task/19694/stat : 19694 (java) S 19677 19677 17603 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2003123201 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19691/tid=19695] ppid=19677 vsize=197416 CPUtime=0
/proc/19691/task/19695/stat : 19695 (java) S 19677 19677 17603 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 2003123201 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19691/tid=19696] ppid=19677 vsize=197416 CPUtime=0
/proc/19691/task/19696/stat : 19696 (java) S 19677 19677 17603 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 2003123203 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19691/tid=19697] ppid=19677 vsize=197416 CPUtime=0.21
/proc/19691/task/19697/stat : 19697 (java) S 19677 19677 17603 0 -1 64 643 0 0 0 21 0 0 0 16 0 10 0 2003123203 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19691/tid=19698] ppid=19677 vsize=197416 CPUtime=0
/proc/19691/task/19698/stat : 19698 (java) S 19677 19677 17603 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 2003123203 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19691/tid=19699] ppid=19677 vsize=197416 CPUtime=0
/proc/19691/task/19699/stat : 19699 (java) S 19677 19677 17603 0 -1 64 12 0 0 0 0 0 0 0 15 0 10 0 2003123203 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19691/tid=19700] ppid=19677 vsize=197416 CPUtime=0
/proc/19691/task/19700/stat : 19700 (java) S 19677 19677 17603 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 2003123830 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1180.31
Current children cumulated vsize (KiB) 870916
[startup+1191.1 s]
/proc/loadavg: 2.04 2.02 2.00 3/94 19711
/proc/meminfo: memFree=856616/2055920 swapFree=4117816/4192956
[pid=19677] ppid=19675 vsize=5360 CPUtime=1083.21
/proc/19677/stat : 19677 (hydra) S 19675 19677 17603 0 -1 4194304 375 27696 0 0 0 0 108299 22 18 0 1 0 2003014032 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19677/statm: 1340 238 196 169 0 51 0
[pid=19691] ppid=19677 vsize=197416 CPUtime=6.2
/proc/19691/stat : 19691 (java) S 19677 19677 17603 0 -1 0 13914 0 1 0 601 19 0 0 18 0 10 0 2003123198 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19691/statm: 49354 9389 2543 9 0 43937 0
[pid=19701] ppid=19691 vsize=5356 CPUtime=0
/proc/19701/stat : 19701 (abscon) S 19691 19677 17603 0 -1 4194304 302 293 0 0 0 0 0 0 16 0 1 0 2003123830 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 208717538116 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/19701/statm: 1339 235 194 169 0 50 0
[pid=19702] ppid=19701 vsize=0 CPUtime=91.27
/proc/19702/stat : 19702 (java) Z 19701 19677 17603 0 -1 12 104511 0 1 0 9059 68 0 0 16 0 2 0 2003123830 0 0 996147200 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19702/statm: 0 0 0 0 0 0 0
[pid=19691/tid=19692] ppid=19677 vsize=197416 CPUtime=4.74
/proc/19691/task/19692/stat : 19692 (java) S 19677 19677 17603 0 -1 64 3896 0 1 0 468 6 0 0 16 0 10 0 2003123199 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=19691/tid=19693] ppid=19677 vsize=197416 CPUtime=1.22
/proc/19691/task/19693/stat : 19693 (java) S 19677 19677 17603 0 -1 64 8569 0 0 0 110 12 0 0 16 0 10 0 2003123201 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19691/tid=19694] ppid=19677 vsize=197416 CPUtime=0
/proc/19691/task/19694/stat : 19694 (java) S 19677 19677 17603 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2003123201 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19691/tid=19695] ppid=19677 vsize=197416 CPUtime=0
/proc/19691/task/19695/stat : 19695 (java) S 19677 19677 17603 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 2003123201 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19691/tid=19696] ppid=19677 vsize=197416 CPUtime=0
/proc/19691/task/19696/stat : 19696 (java) S 19677 19677 17603 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 2003123203 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19691/tid=19697] ppid=19677 vsize=197416 CPUtime=0.21
/proc/19691/task/19697/stat : 19697 (java) S 19677 19677 17603 0 -1 64 643 0 0 0 21 0 0 0 16 0 10 0 2003123203 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19691/tid=19698] ppid=19677 vsize=197416 CPUtime=0
/proc/19691/task/19698/stat : 19698 (java) S 19677 19677 17603 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 2003123203 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19691/tid=19699] ppid=19677 vsize=197416 CPUtime=0
/proc/19691/task/19699/stat : 19699 (java) S 19677 19677 17603 0 -1 64 12 0 0 0 0 0 0 0 15 0 10 0 2003123203 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19691/tid=19700] ppid=19677 vsize=197416 CPUtime=0
/proc/19691/task/19700/stat : 19700 (java) S 19677 19677 17603 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 2003123830 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1180.68
Current children cumulated vsize (KiB) 208132
Child status: 0
Real time (s): 1191.13
CPU time (s): 1180.74
CPU user time (s): 1179.61
CPU system time (s): 1.12883
CPU usage (%): 99.1281
Max. virtual memory (cumulated for all children) (KiB): 870916
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1179.61
system time used= 1.12883
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 147221
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= 15776
involuntary context switches= 42627
runsolver used 1.55876 second user time and 3.85741 second system time
The end
Begin job on node47 at 2008-07-05 08:46:57
IDJOB=1086645
IDBENCH=57847
IDSOLVER=365
FILE ID=node47/1086645-1215240417
PBS_JOBID= 7881859
Free space on /tmp= 66492 MiB
SOLVER NAME= cpHydra k_10
BENCH NAME= CPAI08/csp/fapp/fapp30/normalized-fapp30-3000-10.xml
COMMAND LINE= HOME/cpHydra_k_10/hydra BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1086645-1215240417/watcher-1086645-1215240417 -o /tmp/evaluation-result-1086645-1215240417/solver-1086645-1215240417 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1086645-1215240417.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 34ca3ffc23008dabfd0338886eeccec5
RANDOM SEED=18264490
node47.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.281
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.281
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: 1292152 kB
Buffers: 69384 kB
Cached: 283732 kB
SwapCached: 68960 kB
Active: 570664 kB
Inactive: 133248 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1292152 kB
SwapTotal: 4192956 kB
SwapFree: 4117816 kB
Dirty: 33192 kB
Writeback: 0 kB
Mapped: 358676 kB
Slab: 44296 kB
Committed_AS: 4416492 kB
PageTables: 2648 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= 66468 MiB
End job on node47 at 2008-07-05 09:06:49