0.00/0.00 c cpHydra_k_10 version 0.0
59.27/59.88 c CASE TO CLASSIFY:
59.27/59.88 c Case: 0
59.27/59.88 c 19 > 99.884200 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.616000 | c 15 > 13.231400 | c 34 > 68.173400 | c 16 > 2.000000 | c 13 > 2.612610 | c 14 > -1.000000 | c 11 > 9.550750 | c 12 > 4.525900 | c 21 > 20.971100 | c 20 > 0.115754 | c 22 > 31.591100 | c 23 > 7.420790 | c 24 > 1.410440 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 4.247930 | c 2 > -1.000000 | c 10 > 13.081600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 18.499900 | c 31 > -1.000000 | c 4 > 9.513730 | c 9 > -1.000000 | c 8 > 4.954200 | c
59.27/59.89 c choco : 1801.0
59.27/59.89 c mistral : 1801.0
59.27/59.89 c abscon : 1801.0
59.27/59.89 c
59.27/59.89 c
59.36/59.97 c List of same ones: 10
59.36/59.97 c /home/eomahony/cpZilla/CSP/fapp/fapp31-35/fapp34/fapp34-0750-10.xml
59.36/59.97 c 19 > 99.884200 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.616000 | c 15 > 8.276120 | c 34 > 68.173400 | c 16 > 2.000000 | c 13 > 2.612610 | c 14 > -1.000000 | c 11 > 9.550750 | c 12 > 4.525900 | c 21 > 20.971100 | c 20 > 0.115754 | c 22 > 31.591100 | c 23 > 7.420790 | c 24 > 1.410440 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 4.247930 | c 2 > -1.000000 | c 10 > 13.081600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 18.499900 | c 31 > -1.000000 | c 4 > 9.513730 | c 9 > -1.000000 | c 8 > 4.954200 | c
59.36/59.98 c choco : 1801.0
59.36/59.98 c mistral : 1800.05
59.36/59.98 c abscon : 12.839
59.36/59.98 c
59.36/59.98 c
59.36/59.98 c /home/eomahony/cpZilla/CSP/fapp/fapp31-35/fapp34/fapp34-0750-4.xml
59.36/59.98 c 19 > 99.884200 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.616000 | c 15 > 8.257390 | c 34 > 68.173400 | c 16 > 2.000000 | c 13 > 2.612610 | c 14 > -1.000000 | c 11 > 9.550750 | c 12 > 4.525900 | c 21 > 20.971100 | c 20 > 0.115754 | c 22 > 31.591100 | c 23 > 7.420790 | c 24 > 1.410440 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 4.247930 | c 2 > -1.000000 | c 10 > 13.081600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 18.499900 | c 31 > -1.000000 | c 4 > 9.513730 | c 9 > -1.000000 | c 8 > 4.954200 | c
59.36/59.99 c choco : 1801.0
59.36/59.99 c mistral : 1800.06
59.36/59.99 c abscon : 10.8833
59.36/59.99 c
59.36/59.99 c
59.36/59.99 c /home/eomahony/cpZilla/CSP/fapp/fapp31-35/fapp34/fapp34-0750-7.xml
59.36/59.99 c 19 > 99.884200 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.616000 | c 15 > 8.257390 | c 34 > 68.173400 | c 16 > 2.000000 | c 13 > 2.612610 | c 14 > -1.000000 | c 11 > 9.550750 | c 12 > 4.525900 | c 21 > 20.971100 | c 20 > 0.115754 | c 22 > 31.591100 | c 23 > 7.420790 | c 24 > 1.410440 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 4.247930 | c 2 > -1.000000 | c 10 > 13.081600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 18.499900 | c 31 > -1.000000 | c 4 > 9.513730 | c 9 > -1.000000 | c 8 > 4.954200 | c
59.36/59.99 c choco : 1801.0
59.36/59.99 c mistral : 1800.02
59.36/59.99 c abscon : 11.0383
59.36/59.99 c
59.36/59.99 c
59.36/59.99 c /home/eomahony/cpZilla/CSP/fapp/fapp31-35/fapp34/fapp34-0750-8.xml
59.36/59.99 c 19 > 99.884200 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.616000 | c 15 > 8.257390 | c 34 > 68.173400 | c 16 > 2.000000 | c 13 > 2.612610 | c 14 > -1.000000 | c 11 > 9.550750 | c 12 > 4.525900 | c 21 > 20.971100 | c 20 > 0.115754 | c 22 > 31.591100 | c 23 > 7.420790 | c 24 > 1.410440 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 4.247930 | c 2 > -1.000000 | c 10 > 13.081600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 18.499900 | c 31 > -1.000000 | c 4 > 9.513730 | c 9 > -1.000000 | c 8 > 4.954200 | c
59.45/60.01 c choco : 1801.0
59.45/60.01 c mistral : 1800.03
59.45/60.01 c abscon : 11.1703
59.45/60.01 c
59.45/60.01 c
59.45/60.01 c /home/eomahony/cpZilla/CSP/fapp/fapp31-35/fapp34/fapp34-0750-2.xml
59.45/60.01 c 19 > 99.884200 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.616000 | c 15 > 8.243170 | c 34 > 68.173400 | c 16 > 2.000000 | c 13 > 2.612610 | c 14 > -1.000000 | c 11 > 9.550750 | c 12 > 4.525900 | c 21 > 20.971100 | c 20 > 0.115754 | c 22 > 31.591100 | c 23 > 7.420790 | c 24 > 1.410440 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 4.247930 | c 2 > -1.000000 | c 10 > 13.081600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 18.499900 | c 31 > -1.000000 | c 4 > 9.513730 | c 9 > -1.000000 | c 8 > 4.954200 | c
59.45/60.02 c choco : 1801.0
59.45/60.02 c mistral : 1800.02
59.45/60.02 c abscon : 8.32673
59.45/60.02 c
59.45/60.02 c
59.45/60.02 c /home/eomahony/cpZilla/CSP/fapp/fapp31-35/fapp34/fapp34-0750-5.xml
59.45/60.02 c 19 > 99.884200 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.616000 | c 15 > 8.243170 | c 34 > 68.173400 | c 16 > 2.000000 | c 13 > 2.612610 | c 14 > -1.000000 | c 11 > 9.550750 | c 12 > 4.525900 | c 21 > 20.971100 | c 20 > 0.115754 | c 22 > 31.591100 | c 23 > 7.420790 | c 24 > 1.410440 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 4.247930 | c 2 > -1.000000 | c 10 > 13.081600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 18.499900 | c 31 > -1.000000 | c 4 > 9.513730 | c 9 > -1.000000 | c 8 > 4.954200 | c
59.45/60.03 c choco : 1801.0
59.45/60.03 c mistral : 1800.07
59.45/60.03 c abscon : 10.7124
59.45/60.03 c
59.45/60.03 c
59.45/60.03 c /home/eomahony/cpZilla/CSP/fapp/fapp31-35/fapp34/fapp34-0750-6.xml
59.45/60.03 c 19 > 99.884200 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.616000 | c 15 > 8.243170 | c 34 > 68.173400 | c 16 > 2.000000 | c 13 > 2.612610 | c 14 > -1.000000 | c 11 > 9.550750 | c 12 > 4.525900 | c 21 > 20.971100 | c 20 > 0.115754 | c 22 > 31.591100 | c 23 > 7.420790 | c 24 > 1.410440 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 4.247930 | c 2 > -1.000000 | c 10 > 13.081600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 18.499900 | c 31 > -1.000000 | c 4 > 9.513730 | c 9 > -1.000000 | c 8 > 4.954200 | c
59.45/60.03 c choco : 1801.0
59.45/60.03 c mistral : 1800.04
59.45/60.03 c abscon : 11.1603
59.45/60.03 c
59.45/60.03 c
59.45/60.03 c /home/eomahony/cpZilla/CSP/fapp/fapp31-35/fapp34/fapp34-0750-3.xml
59.45/60.03 c 19 > 99.884200 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.616000 | c 15 > 8.238400 | c 34 > 68.173400 | c 16 > 2.000000 | c 13 > 2.612610 | c 14 > -1.000000 | c 11 > 9.550750 | c 12 > 4.525900 | c 21 > 20.971100 | c 20 > 0.115754 | c 22 > 31.591100 | c 23 > 7.420790 | c 24 > 1.410440 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 4.247930 | c 2 > -1.000000 | c 10 > 13.081600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 18.499900 | c 31 > -1.000000 | c 4 > 9.513730 | c 9 > -1.000000 | c 8 > 4.954200 | c
59.45/60.04 c choco : 1801.0
59.45/60.04 c mistral : 1800.03
59.45/60.04 c abscon : 8.19975
59.45/60.04 c
59.45/60.04 c
59.45/60.04 c /home/eomahony/cpZilla/CSP/fapp/fapp31-35/fapp34/fapp34-0750-1.xml
59.45/60.04 c 19 > 99.884200 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.616000 | c 15 > 8.224000 | c 34 > 68.173400 | c 16 > 2.000000 | c 13 > 2.612610 | c 14 > -1.000000 | c 11 > 9.550750 | c 12 > 4.525900 | c 21 > 20.971100 | c 20 > 0.115754 | c 22 > 31.591100 | c 23 > 7.420790 | c 24 > 1.410440 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 4.247930 | c 2 > -1.000000 | c 10 > 13.081600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 18.499900 | c 31 > -1.000000 | c 4 > 9.513730 | c 9 > -1.000000 | c 8 > 4.954200 | c
59.45/60.05 c choco : 1801.0
59.45/60.05 c mistral : 176.95
59.45/60.05 c abscon : 7.68983
59.45/60.05 c
59.45/60.05 c
59.45/60.05 c /home/eomahony/cpZilla/CSP/fapp/fapp31-35/fapp34/fapp34-0750-0.xml
59.45/60.05 c 19 > 99.884200 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.616000 | c 15 > 8.124120 | c 34 > 68.173400 | c 16 > 2.000000 | c 13 > 2.612610 | c 14 > -1.000000 | c 11 > 9.550750 | c 12 > 4.525900 | c 21 > 20.971100 | c 20 > 0.115754 | c 22 > 31.591100 | c 23 > 7.420790 | c 24 > 1.410440 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 4.247930 | c 2 > -1.000000 | c 10 > 13.081600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 18.499900 | c 31 > -1.000000 | c 4 > 9.513730 | c 9 > -1.000000 | c 8 > 4.954200 | c
59.45/60.06 c choco : 1801.0
59.45/60.06 c mistral : 421.415
59.45/60.06 c abscon : 7.29189
59.45/60.06 c
59.45/60.06 c
59.64/60.25 c Length: 10
59.64/60.25 c 4.95528 4.974010000000002 4.974010000000002 4.974010000000002 4.9882300000000015 4.9882300000000015 4.9882300000000015 4.993 5.0074000000000005 5.107280000000001
59.64/60.25 c
59.64/60.25 c 1.0 0.8902946172318795 0.8902946172318795 0.8902946172318795 0.8218437415517656 0.8218437415517656 0.8218437415517656 0.8011806873286952 0.744660003919263 0.5
59.64/60.25 c
59.64/60.25 c solver 0
59.64/60.25 c before 0.0 seconds: {} 0
59.64/60.25 c before 18.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 8182
59.64/60.25 c
59.64/60.25 c solver 1
59.64/60.25 c before 0.0 seconds: {} 0
59.64/60.25 c before 180.0 seconds: {8} 744
59.64/60.25 c before 432.0 seconds: {8, 9} 1244
59.64/60.25 c
59.64/60.25 c solver 2
59.64/60.25 c before 0.0 seconds: {} 0
59.64/60.25 c
59.64/60.25 cTotal time: 25
59.64/60.25 c 450.0 seconds unused
59.64/60.25 c 0 c 8 c 10
59.64/60.25 c 0 c 0 c 2
59.64/60.25 c 0 c 0 c 0
59.64/60.25 c is solver0 dominated by:
59.64/60.25 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)
59.64/60.25 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)
59.64/60.25 c is dominated? false
59.64/60.25 c
59.64/60.26 c is solver1 dominated by:
59.64/60.26 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)
59.64/60.26 c is dominated? true
59.64/60.26 c
59.64/60.26 c is solver2 dominated by:
59.64/60.26 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)
59.64/60.26 c is dominated? true
59.64/60.26 c
59.64/60.26 c Number of non-dominated solvers: 1
59.64/60.26 c remove dominated solvers
59.64/60.26 c solver 0 is not dominated by another solver
59.64/60.26 c solver 2 is dominated by another solver
59.64/60.26 c solver 1 is dominated by another solver
59.64/60.26 c
59.64/60.26 c solver 0: 18.0
59.64/60.26 c
59.64/60.26 c+ 1/1 of 99
59.64/60.26 c
59.64/60.26 c solver 1: 0.0
59.64/60.26 c
59.64/60.26 c solver 2: 0.0
59.64/60.26 c run abscon for 1800.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 8182
59.64/60.26 c do not run mistral
59.64/60.26 c do not run choco
59.64/60.26 c Starting solver: HOME/cpHydra_k_10/solver/abscon
59.64/60.26 c On Instance: HOME/instance-1085721-1215235256.xml
59.64/60.26 c Running for: 1800 seconds
87.86/89.09 s SAT
87.86/89.09 v -2512 -2558 -3090 -3312 -3352 -3130 2554 -2478 2992 -2758 -2624 -2576 2588 -2758 -3036 -2616 -3044 2562 -3142 -2620 -2584 -2564 2564 -2518 -3044 -2562 3272 -3352 2616 2616 -2828 2756 -2578 -2854 3150 -2482 -3102 3302 -3096 -3352 -2788 -2796 -2996 -3076 -2788 -2604 3352 -2732 2582 -2788 -2518 -3190 -2890 -3150 -2604 3012 -2798 -2506 -2584 -2518 -2568 2576 2796 2784 -2828 -2478 -3150 -2828 -2558 -3038 2916 -3254 -2604 -2518 -3312 -2590 -3190 -3004 -2624 -3150 -2758 2814 3102 -2438 -2828 2612 -3218 -3044 3188 -2854 -2828 -2478 2686 -2574 -2478 -2788 -3004 -3102 -3056 -2562 -3352 -2930 -3312 -3104 -3002 -3044 -3004 -2982 -3150 2758 -2568 -2558 -2356 -2628 -3052 -3004 -2828 -2518 3144 -2478 -2408 3038 3152 3192 -3038 3312 -2992 2608 -3044 -2602 -3102 2558 -3312 -3150 -2602 -3150 2772 -3016 -2618 -3076 -2604 3144 -3004 3032 -2704 -2518 2604 -2758 -2540 3126 -2478 2998 -3190 -2758 2976 -2828 -2578 2584 -2478 -3008 -2620 -3150 -3150 -3148 3142 -2564 -2596 -2828 -2478 -2618 3190 -3150 -2518 -2618 -2542 2906 -3110 -2518 2598 2640 -2784 -2734 2726 3150 -2570 -3058 -2518 -2478 2788 -3142 -2478 -2578 2980 -2786 -2374 -3334 2628 2968 2992 -3150 -3150 -2628 -3142 -2558 -3044 -2362 -2518 -3352 -2680 -2952 -3190 -3352 -2614 -2522 -3312 -2608 -2518 -3190 -2798 -2558 -2828 -2942 -2788 2678 2602 -2578 2628 2404 -3150 -2478 -2558 -3190 -3062 -2854 2938 -2794 -2744 -2494 -2978 2818 -2828 -2828 -2584 -2556 3258 3228 -3142 2564 2620 3210 -3142 -2518 2480 -2478 -2478 -2616 -3102 -2402 2734 -3004 2938 -2828 -3190 -2624 -2590 -3256 -2564 3294 -2654 -2788 -2602 -3352 -2788 2396 3056 -2518 -2374 -3004 -3142 -2788 -2588 -2518 3020 -3144 -3044 -3352 -2518 2920 3214 -2858 -2766 -3190 2726 -3312 -3036 -3004 -2398 -2518 -3170 -3018 -3102 2620 2828 3258 2692 -2628 -3150 -3004 -3044 -3004 3136 -2628 -3190 -2558 -2584 -3190 -3190 -2582 2982 -3268 -3004 2356 -3312 2588 -3190 -2356 2876 3016 -3340 2788 -2678 -3004 -2516 -2586 3084 -2632 3218 3148 -3078 -2758 -2558 -2558 -3150 3148 3124 -2744 2756 -2758 -2826 3312 -2926 -2758 -2478 -2566 -3142 -2398 -3150 -3190 -2978 -3144 -3228 2356 -3106 -2624 -2584 -2798 -2620 -3004 -3280 -2518 -2626 -2518 3352 -2614 2364 -2952 2950 -3190 -2586 -2624 -2626 -2582 -3216 3342 2824 -3190 -2788 -2620 -2798 2676 -2832 -3312 -2518 -2610 -2580 2356 -3142 -3352 -3102 -2588 -3038 -2652 -2580 -2828 2818 -3352 -2718 -2356 -2620 -2710 -2798 -3044 -2368 2788 -3028 -2518 -3192 -3150 3300 -3044 -2500 -2576 -2628 -2562 -3004 -2626 -3004 -2516 2938 -3104 -2562 -2998 -2622 -2788 2960 -2558 -2546 -2558 2732 -3044 2544 -2788 -2588 -3150 -2866 -2478 2420 -3004 -2630 2942 -2798 -2960 -2788 3150 2396 -3044 2824 -3076 -2794 2580 -3312 -3190 2596 -3312 -2694 -3312 -3104 -2580 -2774 -2576 -2784 -2518 -3142 -2478 -2602 -2798 -2592 -2952 -2996 3000 -3190 -2518 -3352 -2396 2916 -2580 3016 -2638 -2562 2578 -2798 2814 3022 -2588 -3056 -3150 3142 -3004 -2898 -2610 -2494 2966 2876 -2720 -2602 -2828 -2758 -2518 2758 -2518 3312 -3312 -3312 -2604 -3036 2356 2946 -2518 -2754 3170 -2798 2814 -3102 -2618 -3004 -2798 -3102 2954 -3044 3102 -3312 2716 -2584 -2408 2988 -2828 -2518 -3190 -2758 -2630 -2788 2396 -2758 -2518 -3150 -3312 3146 -2604 -2562 3150 -2518 -3190 -2518 -2458 3352 -3004 -2788 2564 -2758 -2570 -2828 -3150 -2504 2520 -2396 -2622 2602 -2798 -2828 -2478 -2558 -3044 -2518 -3142 -2556 -2518 2558 2514 -2396 -2580 2618 3072 -3044 -3110 2606 -2518 -2576 -2990 -2558 -3240 -2438 3020 -2454 2396 -2518 -2620 2516 -2518 -3142 -2566 -3150 -3166 -2626 3092 3042 -2994 -2478 -2788 -2886 -3060 -2626 2778 -2788 2556 -2478 2926 -2758 -2518 -2556 -2478 -2478 -2620 -3004 -2586 -2604 -3104 -2518 -2828 -2580 -2798 -3202 -3102 2556 -2758 2368 -2618 -3242 -2786 -2518 -2518 2976 -2670 -3104 -3150 -2624 2568 -2518 -2582 -2758 -2828 -2478 -2578 -3044 -2608 3234 2580 -3142 -2562 -2754 -2828 -3190 2972 -2580 -3144 -2624 -2586 -3152 -3044 -2518 -3078 -3352 2858 -2788 2396 -2828 -2602 -3044 3188 -2798 -2622 -2580 -3102 -3352 2552 -3038 -2956 -2828 2380 2792 2728 -2788 -2768 2606 3182 -3044 -2616 -2798 3188 -2454 -2798 3036 2502 -2788 3016 -2498 -3142 3130 -3108 -3102 -2558 -2600 -2478 -2622 -2576 3016 -2478 -3190 -3078 3190 -2616 2414 -3044 -2798 -2826 -2518 3274 -2564 -3352 -3312 2898 2356 -2718 -2586 -2622 -2788 2906 -2564 -2798 -3352 -2414 -3190 -2518 -2478 -2588 -2460 -3102 -2582 -2518 -2478 -2478
87.86/89.09 d ASSIGNMENTS 750
87.86/89.09 d CHECKS 6428718
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1085721-1215235256/watcher-1085721-1215235256 -o /tmp/evaluation-result-1085721-1215235256/solver-1085721-1215235256 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1085721-1215235256.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2200 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.02 2.00 2.00 4/72 16542
/proc/meminfo: memFree=1741912/2055920 swapFree=4180232/4192956
[pid=16542] ppid=16540 vsize=18572 CPUtime=0
/proc/16542/stat : 16542 (runsolver) R 16540 16542 15412 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 646462739 19017728 292 996147200 4194304 4296836 548682068480 18446744073709551615 226913479975 0 0 4096 24578 0 0 0 17 1 0 0
/proc/16542/statm: 4643 292 257 25 0 2626 0
[startup+0.096566 s]
/proc/loadavg: 2.02 2.00 2.00 4/72 16542
/proc/meminfo: memFree=1741912/2055920 swapFree=4180232/4192956
[pid=16542] ppid=16540 vsize=5360 CPUtime=0
/proc/16542/stat : 16542 (hydra) S 16540 16542 15412 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 646462739 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16542/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.10156 s]
/proc/loadavg: 2.02 2.00 2.00 4/72 16542
/proc/meminfo: memFree=1741912/2055920 swapFree=4180232/4192956
[pid=16542] ppid=16540 vsize=5360 CPUtime=0
/proc/16542/stat : 16542 (hydra) S 16540 16542 15412 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 646462739 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16542/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.301605 s]
/proc/loadavg: 2.02 2.00 2.00 4/72 16542
/proc/meminfo: memFree=1741912/2055920 swapFree=4180232/4192956
[pid=16542] ppid=16540 vsize=5360 CPUtime=0
/proc/16542/stat : 16542 (hydra) S 16540 16542 15412 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 646462739 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16542/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.701673 s]
/proc/loadavg: 2.02 2.00 2.00 4/72 16542
/proc/meminfo: memFree=1741912/2055920 swapFree=4180232/4192956
[pid=16542] ppid=16540 vsize=5360 CPUtime=0
/proc/16542/stat : 16542 (hydra) S 16540 16542 15412 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 646462739 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16542/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+1.50183 s]
/proc/loadavg: 2.02 2.00 2.00 3/74 16546
/proc/meminfo: memFree=1723784/2055920 swapFree=4180232/4192956
[pid=16542] ppid=16540 vsize=5360 CPUtime=0
/proc/16542/stat : 16542 (hydra) S 16540 16542 15412 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 646462739 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16542/statm: 1340 236 195 169 0 51 0
[pid=16546] ppid=16542 vsize=34172 CPUtime=1.46
/proc/16546/stat : 16546 (xsolve) R 16542 16542 15412 0 -1 4194304 4904 0 0 0 144 2 0 0 25 0 1 0 646462740 34992128 4863 996147200 134512640 135239763 4294956176 18446744073709551615 134541333 0 0 4096 0 0 0 0 17 1 0 0
/proc/16546/statm: 8543 4863 425 177 0 7446 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 39532
[startup+3.10114 s]
/proc/loadavg: 2.02 2.00 2.00 3/74 16546
/proc/meminfo: memFree=1723656/2055920 swapFree=4180232/4192956
[pid=16542] ppid=16540 vsize=5360 CPUtime=0
/proc/16542/stat : 16542 (hydra) S 16540 16542 15412 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 646462739 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16542/statm: 1340 236 195 169 0 51 0
[pid=16546] ppid=16542 vsize=34172 CPUtime=3.05
/proc/16546/stat : 16546 (xsolve) R 16542 16542 15412 0 -1 4194304 4905 0 0 0 303 2 0 0 25 0 1 0 646462740 34992128 4864 996147200 134512640 135239763 4294956176 18446744073709551615 134535329 0 0 4096 0 0 0 0 17 1 0 0
/proc/16546/statm: 8543 4864 426 177 0 7446 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 39532
[startup+6.30175 s]
/proc/loadavg: 2.10 2.02 2.00 3/74 16546
/proc/meminfo: memFree=1723720/2055920 swapFree=4180232/4192956
[pid=16542] ppid=16540 vsize=5360 CPUtime=0
/proc/16542/stat : 16542 (hydra) S 16540 16542 15412 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 646462739 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16542/statm: 1340 236 195 169 0 51 0
[pid=16546] ppid=16542 vsize=34172 CPUtime=6.22
/proc/16546/stat : 16546 (xsolve) R 16542 16542 15412 0 -1 4194304 4910 0 0 0 619 3 0 0 25 0 1 0 646462740 34992128 4869 996147200 134512640 135239763 4294956176 18446744073709551615 134539244 0 0 4096 0 0 0 0 17 1 0 0
/proc/16546/statm: 8543 4869 431 177 0 7446 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 39532
[startup+12.702 s]
/proc/loadavg: 2.09 2.01 2.00 3/74 16546
/proc/meminfo: memFree=1723728/2055920 swapFree=4180232/4192956
[pid=16542] ppid=16540 vsize=5360 CPUtime=0
/proc/16542/stat : 16542 (hydra) S 16540 16542 15412 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 646462739 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16542/statm: 1340 236 195 169 0 51 0
[pid=16546] ppid=16542 vsize=34172 CPUtime=12.57
/proc/16546/stat : 16546 (xsolve) R 16542 16542 15412 0 -1 4194304 4910 0 0 0 1254 3 0 0 25 0 1 0 646462740 34992128 4869 996147200 134512640 135239763 4294956176 18446744073709551615 134535411 0 0 4096 0 0 0 0 17 1 0 0
/proc/16546/statm: 8543 4869 431 177 0 7446 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 39532
[startup+25.5014 s]
/proc/loadavg: 2.07 2.01 2.00 3/74 16546
/proc/meminfo: memFree=1723792/2055920 swapFree=4180232/4192956
[pid=16542] ppid=16540 vsize=5360 CPUtime=0
/proc/16542/stat : 16542 (hydra) S 16540 16542 15412 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 646462739 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16542/statm: 1340 236 195 169 0 51 0
[pid=16546] ppid=16542 vsize=34172 CPUtime=25.28
/proc/16546/stat : 16546 (xsolve) R 16542 16542 15412 0 -1 4194304 4910 0 0 0 2524 4 0 0 25 0 1 0 646462740 34992128 4869 996147200 134512640 135239763 4294956176 18446744073709551615 134543127 0 0 4096 0 0 0 0 17 1 0 0
/proc/16546/statm: 8543 4869 431 177 0 7446 0
Current children cumulated CPU time (s) 25.28
Current children cumulated vsize (KiB) 39532
[startup+51.1014 s]
/proc/loadavg: 2.05 2.01 2.00 3/74 16546
/proc/meminfo: memFree=1723792/2055920 swapFree=4180232/4192956
[pid=16542] ppid=16540 vsize=5360 CPUtime=0
/proc/16542/stat : 16542 (hydra) S 16540 16542 15412 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 646462739 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16542/statm: 1340 236 195 169 0 51 0
[pid=16546] ppid=16542 vsize=34172 CPUtime=50.66
/proc/16546/stat : 16546 (xsolve) R 16542 16542 15412 0 -1 4194304 4910 0 0 0 5062 4 0 0 25 0 1 0 646462740 34992128 4869 996147200 134512640 135239763 4294956176 18446744073709551615 134543180 0 0 4096 0 0 0 0 17 1 0 0
/proc/16546/statm: 8543 4869 431 177 0 7446 0
Current children cumulated CPU time (s) 50.66
Current children cumulated vsize (KiB) 39532
Solver just ended. Dumping a history of the last processes samples
[startup+63.9028 s]
/proc/loadavg: 2.04 2.01 2.00 3/94 16570
/proc/meminfo: memFree=1657968/2055920 swapFree=4180232/4192956
[pid=16542] ppid=16540 vsize=5360 CPUtime=53.84
/proc/16542/stat : 16542 (hydra) S 16540 16542 15412 0 -1 4194304 375 5512 0 0 0 0 5380 4 18 0 1 0 646462739 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16542/statm: 1340 238 196 169 0 51 0
[pid=16550] ppid=16542 vsize=197340 CPUtime=5.86
/proc/16550/stat : 16550 (java) S 16542 16542 15412 0 -1 0 13867 0 1 0 567 19 0 0 18 0 10 0 646468169 202076160 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16550/statm: 49335 9389 2543 9 0 43918 0
[pid=16560] ppid=16550 vsize=5356 CPUtime=0
/proc/16560/stat : 16560 (abscon) S 16550 16542 15412 0 -1 4194304 303 0 0 0 0 0 0 0 18 0 1 0 646468766 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 226913477444 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/16560/statm: 1339 235 194 169 0 50 0
[pid=16561] ppid=16560 vsize=655884 CPUtime=3.53
/proc/16561/stat : 16561 (java) S 16560 16542 15412 0 -1 0 16310 0 1 0 343 10 0 0 18 0 9 0 646468767 671625216 15816 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16561/statm: 163971 15816 2008 9 0 158499 0
[pid=16561/tid=16563] ppid=16560 vsize=655884 CPUtime=3.28
/proc/16561/task/16563/stat : 16563 (java) R 16560 16542 15412 0 -1 64 12455 0 1 0 320 8 0 0 25 0 9 0 646468767 671625216 15816 996147200 134512640 134550740 4294955808 18446744073709551615 4126887808 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16561/tid=16564] ppid=16560 vsize=655884 CPUtime=0.04
/proc/16561/task/16564/stat : 16564 (java) S 16560 16542 15412 0 -1 64 2650 0 0 0 4 0 0 0 16 0 9 0 646468769 671625216 15816 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16561/tid=16565] ppid=16560 vsize=655884 CPUtime=0
/proc/16561/task/16565/stat : 16565 (java) S 16560 16542 15412 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 646468769 671625216 15816 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16561/tid=16566] ppid=16560 vsize=655884 CPUtime=0
/proc/16561/task/16566/stat : 16566 (java) S 16560 16542 15412 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 646468769 671625216 15816 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16561/tid=16567] ppid=16560 vsize=655884 CPUtime=0
/proc/16561/task/16567/stat : 16567 (java) S 16560 16542 15412 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 646468771 671625216 15816 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16561/tid=16568] ppid=16560 vsize=655884 CPUtime=0.18
/proc/16561/task/16568/stat : 16568 (java) S 16560 16542 15412 0 -1 64 660 0 0 0 18 0 0 0 15 0 9 0 646468771 671625216 15816 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16561/tid=16569] ppid=16560 vsize=655884 CPUtime=0
/proc/16561/task/16569/stat : 16569 (java) S 16560 16542 15412 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 646468771 671625216 15816 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16561/tid=16570] ppid=16560 vsize=655884 CPUtime=0
/proc/16561/task/16570/stat : 16570 (java) S 16560 16542 15412 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 646468771 671625216 15816 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16562] ppid=16560 vsize=7044 CPUtime=0
/proc/16562/stat : 16562 (translate) S 16560 16542 15412 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 646468767 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 226913648722 0 4 0 0 18446744071563648864 0 0 17 1 0 0
/proc/16562/statm: 1761 213 182 1 0 41 0
[pid=16550/tid=16551] ppid=16542 vsize=197340 CPUtime=4.55
/proc/16550/task/16551/stat : 16551 (java) S 16542 16542 15412 0 -1 64 3851 0 1 0 448 7 0 0 25 0 10 0 646468170 202076160 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=16550/tid=16552] ppid=16542 vsize=197340 CPUtime=1.07
/proc/16550/task/16552/stat : 16552 (java) S 16542 16542 15412 0 -1 64 8571 0 0 0 97 10 0 0 16 0 10 0 646468172 202076160 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16550/tid=16553] ppid=16542 vsize=197340 CPUtime=0
/proc/16550/task/16553/stat : 16553 (java) S 16542 16542 15412 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 646468172 202076160 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16550/tid=16554] ppid=16542 vsize=197340 CPUtime=0
/proc/16550/task/16554/stat : 16554 (java) S 16542 16542 15412 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 646468172 202076160 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16550/tid=16555] ppid=16542 vsize=197340 CPUtime=0
/proc/16550/task/16555/stat : 16555 (java) S 16542 16542 15412 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 646468174 202076160 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16550/tid=16556] ppid=16542 vsize=197340 CPUtime=0.2
/proc/16550/task/16556/stat : 16556 (java) S 16542 16542 15412 0 -1 64 643 0 0 0 20 0 0 0 16 0 10 0 646468174 202076160 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16550/tid=16557] ppid=16542 vsize=197340 CPUtime=0
/proc/16550/task/16557/stat : 16557 (java) S 16542 16542 15412 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 646468174 202076160 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16550/tid=16558] ppid=16542 vsize=197340 CPUtime=0
/proc/16550/task/16558/stat : 16558 (java) S 16542 16542 15412 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 646468174 202076160 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16550/tid=16559] ppid=16542 vsize=197340 CPUtime=0
/proc/16550/task/16559/stat : 16559 (java) S 16542 16542 15412 0 -1 64 73 0 0 0 0 0 0 0 25 0 10 0 646468766 202076160 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 63.23
Current children cumulated vsize (KiB) 870984
[startup+76.7023 s]
/proc/loadavg: 2.03 2.01 2.00 3/94 16570
/proc/meminfo: memFree=1645296/2055920 swapFree=4180232/4192956
[pid=16542] ppid=16540 vsize=5360 CPUtime=53.84
/proc/16542/stat : 16542 (hydra) S 16540 16542 15412 0 -1 4194304 375 5512 0 0 0 0 5380 4 18 0 1 0 646462739 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16542/statm: 1340 238 196 169 0 51 0
[pid=16550] ppid=16542 vsize=197340 CPUtime=5.86
/proc/16550/stat : 16550 (java) S 16542 16542 15412 0 -1 0 13872 0 1 0 567 19 0 0 18 0 10 0 646468169 202076160 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16550/statm: 49335 9389 2543 9 0 43918 0
[pid=16560] ppid=16550 vsize=5356 CPUtime=0
/proc/16560/stat : 16560 (abscon) S 16550 16542 15412 0 -1 4194304 303 0 0 0 0 0 0 0 18 0 1 0 646468766 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 226913477444 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/16560/statm: 1339 235 194 169 0 50 0
[pid=16561] ppid=16560 vsize=655884 CPUtime=16.09
/proc/16561/stat : 16561 (java) S 16560 16542 15412 0 -1 0 19399 0 1 0 1597 12 0 0 18 0 9 0 646468767 671625216 18899 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16561/statm: 163971 18899 2008 9 0 158499 0
################
# More data... #
################
/proc/16561/task/16566/stat : 16566 (java) S 16560 16542 15412 0 -1 64 14 0 0 0 0 0 0 0 15 0 9 0 646468769 671625216 26311 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16561/tid=16567] ppid=16560 vsize=655884 CPUtime=0
/proc/16561/task/16567/stat : 16567 (java) S 16560 16542 15412 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 646468771 671625216 26311 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16561/tid=16568] ppid=16560 vsize=655884 CPUtime=0.34
/proc/16561/task/16568/stat : 16568 (java) S 16560 16542 15412 0 -1 64 748 0 0 0 33 1 0 0 15 0 9 0 646468771 671625216 26311 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16561/tid=16569] ppid=16560 vsize=655884 CPUtime=0
/proc/16561/task/16569/stat : 16569 (java) S 16560 16542 15412 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 646468771 671625216 26311 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16561/tid=16570] ppid=16560 vsize=655884 CPUtime=0
/proc/16561/task/16570/stat : 16570 (java) S 16560 16542 15412 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 646468771 671625216 26311 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16562] ppid=16560 vsize=7044 CPUtime=0
/proc/16562/stat : 16562 (translate) S 16560 16542 15412 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 646468767 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 226913648722 0 4 0 0 18446744071563648864 0 0 17 1 0 0
/proc/16562/statm: 1761 213 182 1 0 41 0
[pid=16550/tid=16551] ppid=16542 vsize=197340 CPUtime=4.55
/proc/16550/task/16551/stat : 16551 (java) S 16542 16542 15412 0 -1 64 3851 0 1 0 448 7 0 0 25 0 10 0 646468170 202076160 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=16550/tid=16552] ppid=16542 vsize=197340 CPUtime=1.07
/proc/16550/task/16552/stat : 16552 (java) S 16542 16542 15412 0 -1 64 8571 0 0 0 97 10 0 0 16 0 10 0 646468172 202076160 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16550/tid=16553] ppid=16542 vsize=197340 CPUtime=0
/proc/16550/task/16553/stat : 16553 (java) S 16542 16542 15412 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 646468172 202076160 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16550/tid=16554] ppid=16542 vsize=197340 CPUtime=0
/proc/16550/task/16554/stat : 16554 (java) S 16542 16542 15412 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 646468172 202076160 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16550/tid=16555] ppid=16542 vsize=197340 CPUtime=0
/proc/16550/task/16555/stat : 16555 (java) S 16542 16542 15412 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 646468174 202076160 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16550/tid=16556] ppid=16542 vsize=197340 CPUtime=0.2
/proc/16550/task/16556/stat : 16556 (java) S 16542 16542 15412 0 -1 64 643 0 0 0 20 0 0 0 16 0 10 0 646468174 202076160 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16550/tid=16557] ppid=16542 vsize=197340 CPUtime=0
/proc/16550/task/16557/stat : 16557 (java) S 16542 16542 15412 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 646468174 202076160 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16550/tid=16558] ppid=16542 vsize=197340 CPUtime=0
/proc/16550/task/16558/stat : 16558 (java) S 16542 16542 15412 0 -1 64 10 0 0 0 0 0 0 0 15 0 10 0 646468174 202076160 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16550/tid=16559] ppid=16542 vsize=197340 CPUtime=0
/proc/16550/task/16559/stat : 16559 (java) S 16542 16542 15412 0 -1 64 73 0 0 0 0 0 0 0 25 0 10 0 646468766 202076160 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 85.21
Current children cumulated vsize (KiB) 870984
[startup+87.9034 s]
/proc/loadavg: 2.02 2.01 2.00 3/94 16570
/proc/meminfo: memFree=1617904/2055920 swapFree=4180232/4192956
[pid=16542] ppid=16540 vsize=5360 CPUtime=53.84
/proc/16542/stat : 16542 (hydra) S 16540 16542 15412 0 -1 4194304 375 5512 0 0 0 0 5380 4 18 0 1 0 646462739 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16542/statm: 1340 238 196 169 0 51 0
[pid=16550] ppid=16542 vsize=197340 CPUtime=5.86
/proc/16550/stat : 16550 (java) S 16542 16542 15412 0 -1 0 13872 0 1 0 567 19 0 0 18 0 10 0 646468169 202076160 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16550/statm: 49335 9389 2543 9 0 43918 0
[pid=16560] ppid=16550 vsize=5356 CPUtime=0
/proc/16560/stat : 16560 (abscon) S 16550 16542 15412 0 -1 4194304 303 0 0 0 0 0 0 0 18 0 1 0 646468766 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 226913477444 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/16560/statm: 1339 235 194 169 0 50 0
[pid=16561] ppid=16560 vsize=655884 CPUtime=27.08
/proc/16561/stat : 16561 (java) S 16560 16542 15412 0 -1 0 27029 0 1 0 2691 17 0 0 18 0 9 0 646468767 671625216 26320 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16561/statm: 163971 26320 2617 9 0 158499 0
[pid=16561/tid=16563] ppid=16560 vsize=655884 CPUtime=26.19
/proc/16561/task/16563/stat : 16563 (java) R 16560 16542 15412 0 -1 64 12558 0 1 0 2609 10 0 0 25 0 9 0 646468767 671625216 26320 996147200 134512640 134550740 4294955808 18446744073709551615 4126893506 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16561/tid=16564] ppid=16560 vsize=655884 CPUtime=0.52
/proc/16561/task/16564/stat : 16564 (java) S 16560 16542 15412 0 -1 64 13160 0 0 0 47 5 0 0 17 0 9 0 646468769 671625216 26320 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16561/tid=16565] ppid=16560 vsize=655884 CPUtime=0
/proc/16561/task/16565/stat : 16565 (java) S 16560 16542 15412 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 646468769 671625216 26320 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16561/tid=16566] ppid=16560 vsize=655884 CPUtime=0
/proc/16561/task/16566/stat : 16566 (java) S 16560 16542 15412 0 -1 64 14 0 0 0 0 0 0 0 15 0 9 0 646468769 671625216 26320 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16561/tid=16567] ppid=16560 vsize=655884 CPUtime=0
/proc/16561/task/16567/stat : 16567 (java) S 16560 16542 15412 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 646468771 671625216 26320 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16561/tid=16568] ppid=16560 vsize=655884 CPUtime=0.36
/proc/16561/task/16568/stat : 16568 (java) S 16560 16542 15412 0 -1 64 757 0 0 0 35 1 0 0 15 0 9 0 646468771 671625216 26320 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16561/tid=16569] ppid=16560 vsize=655884 CPUtime=0
/proc/16561/task/16569/stat : 16569 (java) S 16560 16542 15412 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 646468771 671625216 26320 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16561/tid=16570] ppid=16560 vsize=655884 CPUtime=0
/proc/16561/task/16570/stat : 16570 (java) S 16560 16542 15412 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 646468771 671625216 26320 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16562] ppid=16560 vsize=7044 CPUtime=0
/proc/16562/stat : 16562 (translate) S 16560 16542 15412 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 646468767 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 226913648722 0 4 0 0 18446744071563648864 0 0 17 1 0 0
/proc/16562/statm: 1761 213 182 1 0 41 0
[pid=16550/tid=16551] ppid=16542 vsize=197340 CPUtime=4.55
/proc/16550/task/16551/stat : 16551 (java) S 16542 16542 15412 0 -1 64 3851 0 1 0 448 7 0 0 25 0 10 0 646468170 202076160 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=16550/tid=16552] ppid=16542 vsize=197340 CPUtime=1.07
/proc/16550/task/16552/stat : 16552 (java) S 16542 16542 15412 0 -1 64 8571 0 0 0 97 10 0 0 16 0 10 0 646468172 202076160 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16550/tid=16553] ppid=16542 vsize=197340 CPUtime=0
/proc/16550/task/16553/stat : 16553 (java) S 16542 16542 15412 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 646468172 202076160 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16550/tid=16554] ppid=16542 vsize=197340 CPUtime=0
/proc/16550/task/16554/stat : 16554 (java) S 16542 16542 15412 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 646468172 202076160 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16550/tid=16555] ppid=16542 vsize=197340 CPUtime=0
/proc/16550/task/16555/stat : 16555 (java) S 16542 16542 15412 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 646468174 202076160 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16550/tid=16556] ppid=16542 vsize=197340 CPUtime=0.2
/proc/16550/task/16556/stat : 16556 (java) S 16542 16542 15412 0 -1 64 643 0 0 0 20 0 0 0 16 0 10 0 646468174 202076160 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16550/tid=16557] ppid=16542 vsize=197340 CPUtime=0
/proc/16550/task/16557/stat : 16557 (java) S 16542 16542 15412 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 646468174 202076160 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16550/tid=16558] ppid=16542 vsize=197340 CPUtime=0
/proc/16550/task/16558/stat : 16558 (java) S 16542 16542 15412 0 -1 64 10 0 0 0 0 0 0 0 15 0 10 0 646468174 202076160 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16550/tid=16559] ppid=16542 vsize=197340 CPUtime=0
/proc/16550/task/16559/stat : 16559 (java) S 16542 16542 15412 0 -1 64 73 0 0 0 0 0 0 0 25 0 10 0 646468766 202076160 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 86.78
Current children cumulated vsize (KiB) 870984
[startup+88.7026 s]
/proc/loadavg: 2.02 2.01 2.00 3/94 16570
/proc/meminfo: memFree=1617904/2055920 swapFree=4180232/4192956
[pid=16542] ppid=16540 vsize=5360 CPUtime=53.84
/proc/16542/stat : 16542 (hydra) S 16540 16542 15412 0 -1 4194304 375 5512 0 0 0 0 5380 4 18 0 1 0 646462739 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16542/statm: 1340 238 196 169 0 51 0
[pid=16550] ppid=16542 vsize=197340 CPUtime=5.86
/proc/16550/stat : 16550 (java) S 16542 16542 15412 0 -1 0 13872 0 1 0 567 19 0 0 18 0 10 0 646468169 202076160 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16550/statm: 49335 9389 2543 9 0 43918 0
[pid=16560] ppid=16550 vsize=5356 CPUtime=0
/proc/16560/stat : 16560 (abscon) S 16550 16542 15412 0 -1 4194304 303 0 0 0 0 0 0 0 18 0 1 0 646468766 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 226913477444 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/16560/statm: 1339 235 194 169 0 50 0
[pid=16561] ppid=16560 vsize=655884 CPUtime=27.86
/proc/16561/stat : 16561 (java) S 16560 16542 15412 0 -1 0 29319 0 1 0 2768 18 0 0 18 0 9 0 646468767 671625216 28608 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16561/statm: 163971 28608 2617 9 0 158499 0
[pid=16561/tid=16563] ppid=16560 vsize=655884 CPUtime=26.93
/proc/16561/task/16563/stat : 16563 (java) R 16560 16542 15412 0 -1 64 12560 0 1 0 2683 10 0 0 25 0 9 0 646468767 671625216 28608 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16561/tid=16564] ppid=16560 vsize=655884 CPUtime=0.55
/proc/16561/task/16564/stat : 16564 (java) R 16560 16542 15412 0 -1 64 15445 0 0 0 49 6 0 0 16 0 9 0 646468769 671625216 28608 996147200 134512640 134550740 4294955808 18446744073709551615 8359639 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16561/tid=16565] ppid=16560 vsize=655884 CPUtime=0
/proc/16561/task/16565/stat : 16565 (java) S 16560 16542 15412 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 646468769 671625216 28608 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16561/tid=16566] ppid=16560 vsize=655884 CPUtime=0
/proc/16561/task/16566/stat : 16566 (java) S 16560 16542 15412 0 -1 64 14 0 0 0 0 0 0 0 15 0 9 0 646468769 671625216 28608 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16561/tid=16567] ppid=16560 vsize=655884 CPUtime=0
/proc/16561/task/16567/stat : 16567 (java) S 16560 16542 15412 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 646468771 671625216 28608 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16561/tid=16568] ppid=16560 vsize=655884 CPUtime=0.36
/proc/16561/task/16568/stat : 16568 (java) S 16560 16542 15412 0 -1 64 760 0 0 0 35 1 0 0 15 0 9 0 646468771 671625216 28608 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16561/tid=16569] ppid=16560 vsize=655884 CPUtime=0
/proc/16561/task/16569/stat : 16569 (java) S 16560 16542 15412 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 646468771 671625216 28608 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16561/tid=16570] ppid=16560 vsize=655884 CPUtime=0
/proc/16561/task/16570/stat : 16570 (java) S 16560 16542 15412 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 646468771 671625216 28608 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16562] ppid=16560 vsize=7044 CPUtime=0
/proc/16562/stat : 16562 (translate) S 16560 16542 15412 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 646468767 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 226913648722 0 4 0 0 18446744071563648864 0 0 17 1 0 0
/proc/16562/statm: 1761 213 182 1 0 41 0
[pid=16550/tid=16551] ppid=16542 vsize=197340 CPUtime=4.55
/proc/16550/task/16551/stat : 16551 (java) S 16542 16542 15412 0 -1 64 3851 0 1 0 448 7 0 0 25 0 10 0 646468170 202076160 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=16550/tid=16552] ppid=16542 vsize=197340 CPUtime=1.07
/proc/16550/task/16552/stat : 16552 (java) S 16542 16542 15412 0 -1 64 8571 0 0 0 97 10 0 0 16 0 10 0 646468172 202076160 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16550/tid=16553] ppid=16542 vsize=197340 CPUtime=0
/proc/16550/task/16553/stat : 16553 (java) S 16542 16542 15412 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 646468172 202076160 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16550/tid=16554] ppid=16542 vsize=197340 CPUtime=0
/proc/16550/task/16554/stat : 16554 (java) S 16542 16542 15412 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 646468172 202076160 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16550/tid=16555] ppid=16542 vsize=197340 CPUtime=0
/proc/16550/task/16555/stat : 16555 (java) S 16542 16542 15412 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 646468174 202076160 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16550/tid=16556] ppid=16542 vsize=197340 CPUtime=0.2
/proc/16550/task/16556/stat : 16556 (java) S 16542 16542 15412 0 -1 64 643 0 0 0 20 0 0 0 16 0 10 0 646468174 202076160 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16550/tid=16557] ppid=16542 vsize=197340 CPUtime=0
/proc/16550/task/16557/stat : 16557 (java) S 16542 16542 15412 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 646468174 202076160 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16550/tid=16558] ppid=16542 vsize=197340 CPUtime=0
/proc/16550/task/16558/stat : 16558 (java) S 16542 16542 15412 0 -1 64 10 0 0 0 0 0 0 0 15 0 10 0 646468174 202076160 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16550/tid=16559] ppid=16542 vsize=197340 CPUtime=0
/proc/16550/task/16559/stat : 16559 (java) S 16542 16542 15412 0 -1 64 73 0 0 0 0 0 0 0 25 0 10 0 646468766 202076160 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 87.56
Current children cumulated vsize (KiB) 870984
[startup+89.1077 s]
/proc/loadavg: 2.02 2.01 2.00 3/94 16570
/proc/meminfo: memFree=1597616/2055920 swapFree=4180232/4192956
[pid=16542] ppid=16540 vsize=5360 CPUtime=53.84
/proc/16542/stat : 16542 (hydra) S 16540 16542 15412 0 -1 4194304 375 5512 0 0 0 0 5380 4 18 0 1 0 646462739 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16542/statm: 1340 238 196 169 0 51 0
[pid=16550] ppid=16542 vsize=197340 CPUtime=34.11
/proc/16550/stat : 16550 (java) S 16542 16542 15412 0 -1 0 13949 32728 1 1 567 19 2803 22 18 0 9 0 646468169 202076160 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16550/statm: 49335 9391 2544 9 0 43918 0
[pid=16550/tid=16551] ppid=16542 vsize=197340 CPUtime=32.8
/proc/16550/task/16551/stat : 16551 (java) S 16542 16542 15412 0 -1 64 3907 32728 1 1 448 7 2803 22 16 0 9 0 646468170 202076160 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16550/tid=16552] ppid=16542 vsize=197340 CPUtime=29.32
/proc/16550/task/16552/stat : 16552 (java) S 16542 16542 15412 0 -1 64 8581 32728 0 1 97 10 2803 22 16 0 9 0 646468172 202076160 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16550/tid=16553] ppid=16542 vsize=197340 CPUtime=28.25
/proc/16550/task/16553/stat : 16553 (java) S 16542 16542 15412 0 -1 64 11 32728 0 1 0 0 2803 22 16 0 9 0 646468172 202076160 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16550/tid=16554] ppid=16542 vsize=197340 CPUtime=28.25
/proc/16550/task/16554/stat : 16554 (java) S 16542 16542 15412 0 -1 64 5 32728 0 1 0 0 2803 22 15 0 9 0 646468172 202076160 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16550/tid=16555] ppid=16542 vsize=197340 CPUtime=28.25
/proc/16550/task/16555/stat : 16555 (java) S 16542 16542 15412 0 -1 64 1 32728 0 1 0 0 2803 22 18 0 9 0 646468174 202076160 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16550/tid=16556] ppid=16542 vsize=197340 CPUtime=28.45
/proc/16550/task/16556/stat : 16556 (java) S 16542 16542 15412 0 -1 64 643 32728 0 1 20 0 2803 22 16 0 9 0 646468174 202076160 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16550/tid=16557] ppid=16542 vsize=197340 CPUtime=28.25
/proc/16550/task/16557/stat : 16557 (java) S 16542 16542 15412 0 -1 64 0 32728 0 1 0 0 2803 22 19 0 9 0 646468174 202076160 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16550/tid=16558] ppid=16542 vsize=197340 CPUtime=28.25
/proc/16550/task/16558/stat : 16558 (java) S 16542 16542 15412 0 -1 64 10 32728 0 1 0 0 2803 22 15 0 9 0 646468174 202076160 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 87.95
Current children cumulated vsize (KiB) 202700
Child status: 0
Real time (s): 89.1549
CPU time (s): 87.9846
CPU user time (s): 87.5087
CPU system time (s): 0.475927
CPU usage (%): 98.6874
Max. virtual memory (cumulated for all children) (KiB): 870984
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 87.5087
system time used= 0.475927
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 52601
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= 12676
involuntary context switches= 15849
runsolver used 0.183972 second user time and 0.513921 second system time
The end
Begin job on node5 at 2008-07-05 07:20:56
IDJOB=1085721
IDBENCH=57690
IDSOLVER=365
FILE ID=node5/1085721-1215235256
PBS_JOBID= 7881900
Free space on /tmp= 66532 MiB
SOLVER NAME= cpHydra k_10
BENCH NAME= CPAI08/csp/fapp/fapp34/normalized-fapp34-0750-4.xml
COMMAND LINE= HOME/cpHydra_k_10/hydra BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1085721-1215235256/watcher-1085721-1215235256 -o /tmp/evaluation-result-1085721-1215235256/solver-1085721-1215235256 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1085721-1215235256.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 1196fad89b5a5a4f355ab65ef889a576
RANDOM SEED=674238333
node5.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.279
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.279
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: 1742392 kB
Buffers: 20684 kB
Cached: 153060 kB
SwapCached: 6592 kB
Active: 209804 kB
Inactive: 45852 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1742392 kB
SwapTotal: 4192956 kB
SwapFree: 4180232 kB
Dirty: 25504 kB
Writeback: 0 kB
Mapped: 89392 kB
Slab: 43128 kB
Committed_AS: 1052576 kB
PageTables: 1876 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= 66508 MiB
End job on node5 at 2008-07-05 07:22:25