0.00/0.00 c cpHydra_k_10 version 0.0
642.89/647.45 c CASE TO CLASSIFY:
642.89/647.45 c Case: 0
642.89/647.46 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.642200 | c 15 > 16.163000 | c 34 > 68.545000 | c 16 > 2.000000 | c 13 > 4.415590 | c 14 > -1.000000 | c 11 > 11.287700 | c 12 > 5.635340 | c 21 > 24.170300 | c 20 > 0.000000 | c 22 > 26.419700 | c 23 > 7.500210 | c 24 > 0.519995 | 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.923000 | 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.478000 | c 31 > -1.000000 | c 4 > 11.287700 | c 9 > -1.000000 | c 8 > -1.000000 | c
642.89/647.47 c choco : 1801.0
642.89/647.47 c mistral : 1801.0
642.89/647.47 c abscon : 1801.0
642.89/647.47 c
642.89/647.47 c
642.98/647.54 c List of same ones: 10
642.98/647.54 c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp40/fapp40-3000-10.xml
642.98/647.54 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.296300 | c 15 > 7.199670 | c 34 > 68.401800 | c 16 > 2.000000 | c 13 > 4.336890 | c 14 > -1.000000 | c 11 > 11.550700 | c 12 > 5.157800 | c 21 > 24.988200 | c 20 > 0.000000 | c 22 > 26.419700 | c 23 > 7.477540 | c 24 > 0.741730 | 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.708500 | 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.837100 | c 31 > -1.000000 | c 4 > 11.550700 | c 9 > -1.000000 | c 8 > -1.000000 | c
642.98/647.54 c choco : 1801.0
642.98/647.54 c mistral : 1800.08
642.98/647.54 c abscon : 76.7213
642.98/647.54 c
642.98/647.54 c
642.98/647.54 c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp40/fapp40-3000-9.xml
642.98/647.54 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.296300 | c 15 > 7.199670 | c 34 > 68.401800 | c 16 > 2.000000 | c 13 > 4.336890 | c 14 > -1.000000 | c 11 > 11.550700 | c 12 > 5.157800 | c 21 > 24.988200 | c 20 > 0.000000 | c 22 > 26.419700 | c 23 > 7.477540 | c 24 > 0.741730 | 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.708500 | 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.837100 | c 31 > -1.000000 | c 4 > 11.550700 | c 9 > -1.000000 | c 8 > -1.000000 | c
642.98/647.55 c choco : 1801.0
642.98/647.55 c mistral : 1800.06
642.98/647.55 c abscon : 72.15
642.98/647.55 c
642.98/647.55 c
642.98/647.55 c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp38/fapp38-2500-10.xml
642.98/647.55 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.642200 | c 15 > 7.118940 | c 34 > 68.545000 | c 16 > 2.000000 | c 13 > 4.415590 | c 14 > -1.000000 | c 11 > 11.287700 | c 12 > 5.635340 | c 21 > 24.170300 | c 20 > 0.000000 | c 22 > 26.419700 | c 23 > 7.500210 | c 24 > 0.519995 | 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.923000 | 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.478000 | c 31 > -1.000000 | c 4 > 11.287700 | c 9 > -1.000000 | c 8 > -1.000000 | c
642.98/647.56 c choco : 1801.0
642.98/647.56 c mistral : 1800.11
642.98/647.56 c abscon : 63.4264
642.98/647.56 c
642.98/647.56 c
642.98/647.56 c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp40/fapp40-3000-8.xml
642.98/647.56 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.296300 | c 15 > 7.179910 | c 34 > 68.401800 | c 16 > 2.000000 | c 13 > 4.336890 | c 14 > -1.000000 | c 11 > 11.550700 | c 12 > 5.157800 | c 21 > 24.988200 | c 20 > 0.000000 | c 22 > 26.419700 | c 23 > 7.477540 | c 24 > 0.741730 | 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.708500 | 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.837100 | c 31 > -1.000000 | c 4 > 11.550700 | c 9 > -1.000000 | c 8 > -1.000000 | c
642.98/647.57 c choco : 1801.0
642.98/647.57 c mistral : 1800.08
642.98/647.57 c abscon : 61.9576
642.98/647.57 c
642.98/647.57 c
642.98/647.57 c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp40/fapp40-3000-2.xml
642.98/647.57 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.296300 | c 15 > 7.118940 | c 34 > 68.401800 | c 16 > 2.000000 | c 13 > 4.336890 | c 14 > -1.000000 | c 11 > 11.550700 | c 12 > 5.157800 | c 21 > 24.988200 | c 20 > 0.000000 | c 22 > 26.419700 | c 23 > 7.477540 | c 24 > 0.741730 | 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.708500 | 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.837100 | c 31 > -1.000000 | c 4 > 11.550700 | c 9 > -1.000000 | c 8 > -1.000000 | c
642.98/647.58 c choco : 1801.0
642.98/647.58 c mistral : 1800.09
642.98/647.58 c abscon : 15.7326
642.98/647.58 c
642.98/647.58 c
642.98/647.58 c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp40/fapp40-3000-3.xml
642.98/647.58 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.296300 | c 15 > 7.108520 | c 34 > 68.401800 | c 16 > 2.000000 | c 13 > 4.336890 | c 14 > -1.000000 | c 11 > 11.550700 | c 12 > 5.157800 | c 21 > 24.988200 | c 20 > 0.000000 | c 22 > 26.419700 | c 23 > 7.477540 | c 24 > 0.741730 | 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.708500 | 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.837100 | c 31 > -1.000000 | c 4 > 11.550700 | c 9 > -1.000000 | c 8 > -1.000000 | c
642.98/647.59 c choco : 1801.0
642.98/647.59 c mistral : 1800.08
642.98/647.59 c abscon : 16.2085
642.98/647.59 c
642.98/647.59 c
642.98/647.59 c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp40/fapp40-3000-6.xml
642.98/647.59 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.296300 | c 15 > 7.108520 | c 34 > 68.401800 | c 16 > 2.000000 | c 13 > 4.336890 | c 14 > -1.000000 | c 11 > 11.550700 | c 12 > 5.157800 | c 21 > 24.988200 | c 20 > 0.000000 | c 22 > 26.419700 | c 23 > 7.477540 | c 24 > 0.741730 | 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.708500 | 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.837100 | c 31 > -1.000000 | c 4 > 11.550700 | c 9 > -1.000000 | c 8 > -1.000000 | c
642.98/647.60 c choco : 1801.0
642.98/647.60 c mistral : 1800.11
642.98/647.60 c abscon : 56.2494
642.98/647.60 c
642.98/647.60 c
642.98/647.60 c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp40/fapp40-3000-7.xml
642.98/647.60 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.296300 | c 15 > 7.108520 | c 34 > 68.401800 | c 16 > 2.000000 | c 13 > 4.336890 | c 14 > -1.000000 | c 11 > 11.550700 | c 12 > 5.157800 | c 21 > 24.988200 | c 20 > 0.000000 | c 22 > 26.419700 | c 23 > 7.477540 | c 24 > 0.741730 | 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.708500 | 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.837100 | c 31 > -1.000000 | c 4 > 11.550700 | c 9 > -1.000000 | c 8 > -1.000000 | c
643.07/647.60 c choco : 1801.0
643.07/647.60 c mistral : 1800.05
643.07/647.60 c abscon : 57.1643
643.07/647.60 c
643.07/647.60 c
643.07/647.60 c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp38/fapp38-2500-8.xml
643.07/647.60 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.642200 | c 15 > 7.022370 | c 34 > 68.545000 | c 16 > 2.000000 | c 13 > 4.415590 | c 14 > -1.000000 | c 11 > 11.287700 | c 12 > 5.635340 | c 21 > 24.170300 | c 20 > 0.000000 | c 22 > 26.419700 | c 23 > 7.500210 | c 24 > 0.519995 | 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.923000 | 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.478000 | c 31 > -1.000000 | c 4 > 11.287700 | c 9 > -1.000000 | c 8 > -1.000000 | c
643.07/647.61 c choco : 1801.0
643.07/647.61 c mistral : 1800.07
643.07/647.61 c abscon : 60.5128
643.07/647.61 c
643.07/647.61 c
643.07/647.61 c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp38/fapp38-2500-9.xml
643.07/647.61 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.642200 | c 15 > 7.022370 | c 34 > 68.545000 | c 16 > 2.000000 | c 13 > 4.415590 | c 14 > -1.000000 | c 11 > 11.287700 | c 12 > 5.635340 | c 21 > 24.170300 | c 20 > 0.000000 | c 22 > 26.419700 | c 23 > 7.500210 | c 24 > 0.519995 | 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.923000 | 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.478000 | c 31 > -1.000000 | c 4 > 11.287700 | c 9 > -1.000000 | c 8 > -1.000000 | c
643.07/647.62 c choco : 1801.0
643.07/647.62 c mistral : 1800.05
643.07/647.62 c abscon : 61.2877
643.07/647.62 c
643.07/647.62 c
643.17/647.80 c Length: 10
643.17/647.80 c 9.041438916987993 9.041438916987993 9.04406 9.061028581172504 9.12147763711149 9.131809298880754 9.131809298880754 9.131809298880754 9.140630000000002 9.140630000000002
643.17/647.80 c
643.17/647.80 c 1.0 1.0 0.9742556993494355 0.8350771093222632 0.5534296265282179 0.5232660713074762 0.5232660713074762 0.5232660713074762 0.5 0.5
643.27/647.80 c
643.27/647.80 c solver 0
643.27/647.80 c before 0.0 seconds: {} 0
643.27/647.80 c before 18.0 seconds: {4, 5} 1076
643.27/647.80 c before 72.0 seconds: {2, 3, 4, 5, 6, 7, 8, 9} 4932
643.27/647.80 c before 90.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6932
643.27/647.80 c
643.27/647.80 c solver 1
643.27/647.80 c before 0.0 seconds: {} 0
643.27/647.80 c
643.27/647.80 c solver 2
643.27/647.80 c before 0.0 seconds: {} 0
643.27/647.80 c
643.27/647.80 cTotal time: 5
643.27/647.81 c 90.0 seconds unused
643.27/647.81 c 0 c 10 c 10
643.27/647.81 c 0 c 0 c 0
643.27/647.81 c 0 c 0 c 0
643.27/647.81 c is solver0 dominated by:
643.27/647.81 c solver 1 (0 solves instances that 1 can't: true) (1 doesn't solve instances that 0 can't: true) (0 is faster than 1: false) (0 is equally as fast as 1: false) (0 < 1: false)
643.27/647.81 c solver 2 (0 solves instances that 2 can't: true) (2 doesn't solve instances that 0 can't: true) (0 is faster than 2: false) (0 is equally as fast as 2: false) (0 < 2: false)
643.27/647.81 c is dominated? false
643.27/647.81 c
643.27/647.81 c is solver1 dominated by:
643.27/647.81 c solver 0 (1 solves instances that 0 can't: false) (0 doesn't solve instances that 1 can't: false) (1 is faster than 0: true) (1 is equally as fast as 0: false) (1 < 0: true)
643.27/647.81 c is dominated? true
643.27/647.81 c
643.27/647.81 c is solver2 dominated by:
643.27/647.81 c solver 0 (2 solves instances that 0 can't: false) (0 doesn't solve instances that 2 can't: false) (2 is faster than 0: true) (2 is equally as fast as 0: false) (2 < 0: true)
643.27/647.81 c is dominated? true
643.27/647.81 c
643.27/647.81 c Number of non-dominated solvers: 1
643.27/647.81 c remove dominated solvers
643.27/647.81 c solver 0 is not dominated by another solver
643.27/647.81 c solver 2 is dominated by another solver
643.27/647.81 c solver 1 is dominated by another solver
643.27/647.81 c
643.27/647.81 c solver 0: 90.0
643.27/647.81 c
643.27/647.81 c+ 5/5 of 95
643.27/647.81 c
643.27/647.81 c solver 1: 0.0
643.27/647.81 c
643.27/647.81 c solver 2: 0.0
643.27/647.81 c run abscon for 1800.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6932
643.27/647.81 c do not run mistral
643.27/647.81 c do not run choco
643.27/647.81 c Starting solver: HOME/cpHydra_k_10/solver/abscon
643.27/647.81 c On Instance: HOME/instance-1086519-1215239727.xml
643.27/647.81 c Running for: 1800 seconds
709.43/715.37 s SAT
709.43/715.37 v 3198 -3450 2650 2650 -2994 -3906 -2798 3650 -3958 -2798 -3434 2714 -3470 -2866 3338 3814 2862 -3722 -2778 -3574 -3478 2906 3094 2654 -3930 -3946 3386 -3478 3946 -2834 -2698 3094 -3142 3734 -2770 3678 -3302 2650 -3930 3026 -3790 3686 -3930 3402 3506 -3386 3682 -4018 -3854 3750 -3990 -3866 2706 -3786 -3778 -2754 -3406 3414 3626 -3854 3758 -3382 2650 -3438 -3830 -3074 -4002 3674 -3046 3586 2654 -3198 -3922 3474 -3174 -3354 -3598 -3806 -3890 3146 -3562 3430 3442 2650 -3870 3406 3550 2678 -3598 -3850 3294 -3342 2718 3554 -3062 2742 -3930 2658 3914 -3538 3550 3546 3066 -3998 3626 -3138 2830 -3074 3386 -3978 3046 -3950 3310 -3106 3510 3618 -3510 -2970 -3686 -3142 -3022 -3750 3526 2850 -3426 3266 -3310 -3642 2958 3314 -3790 -3738 -3034 -3314 3558 -3098 -3294 -3438 -3230 3374 -2814 -3682 -3682 -3990 -3106 3334 -2866 -2698 -2778 -2946 -2726 -2886 3034 3246 -3094 3686 3750 -2830 2862 -3450 -2902 3998 2810 -3346 -3774 -3890 3646 2650 2650 3998 3610 2910 3306 2830 -3674 -2734 -3978 -2842 -3066 -3930 -4042 3202 -3686 3658 3174 2758 3286 -3146 -3890 3166 -3578 3134 2746 -3062 2650 3394 3134 -2934 2782 -3518 3334 -3810 3514 -3334 -3470 -3394 -3266 2782 3946 -3790 -3914 -3354 -3122 3346 -3258 -3142 -3198 -2690 -3818 2782 3358 3258 2762 -3438 -3642 3798 -3222 -3554 3382 -3410 2698 3938 2746 -3690 2690 -3014 -3462 3742 3422 3978 -4042 2654 -2998 -3714 -3734 3054 2690 3182 -3550 -3586 -2658 -3182 -3094 -3958 -2666 -3950 -3382 3286 3546 -2854 -3574 -3674 2710 -3842 -2738 3730 3210 3446 3962 -3390 3726 -4002 -2670 -3526 3366 -2654 -3886 3354 -3650 3230 2982 -2710 -3182 -3990 -3910 -3374 -3750 -3606 -2782 3874 -3682 -3990 -4038 2906 3274 3382 -3266 3578 -2866 -3382 3190 -3082 2670 -3918 2998 -3394 3954 -3162 -2690 -2902 -3134 -2698 4042 3194 3142 -3326 -2650 3070 2670 -3238 -2830 -2918 3130 3062 2898 3166 -3638 -3598 3406 -3886 2738 3978 -3530 -3890 -2726 3254 2902 3102 -2786 -3046 -3186 3694 -3138 3390 -3186 -3334 -2886 3838 -3870 3206 3234 -3998 -3930 -3878 3314 3798 3802 -2902 2718 2810 3018 3058 -3018 2754 2986 3782 -3978 3462 2918 -3838 2986 -3430 -3982 -3538 -3438 -3686 3338 3994 3538 -3126 4002 2694 -3650 -2926 -3146 -3462 -3514 3846 2958 -3614 3074 2778 -3106 -3646 2738 2662 -3990 -2714 -3290 3130 3746 -2718 3982 -3002 -2942 3434 3182 -3946 -3202 -3874 -3410 -3890 2778 -4014 -3058 -2822 -2846 3294 2990 -2670 3938 -2950 2954 -3694 -4038 -2858 3642 3546 -3190 2698 -3102 -3230 -3638 -3382 -3014 -3014 -3914 3730 -2938 -4002 3138 3686 -3026 -2658 -3914 -3646 -2942 -2998 3158 2726 -3890 -3930 -2922 -2866 -3146 -3930 3422 -3342 3718 -4010 2714 -3378 3474 2778 -2654 -3134 -3930 -3054 -3590 -3874 -3182 3142 3346 -3646 2894 3978 3686 4034 -3682 -2666 2754 4002 3122 -2902 -2650 3146 -2942 -2958 -3506 -3066 -2698 3362 -3890 -3890 2694 2686 -3046 -3706 -3750 -3382 -4018 -3098 -3686 -3182 -2706 -3958 2690 -3218 3302 -3610 3306 -3058 -3502 -3890 -3162 3698 -3182 3150 -3790 -3302 2694 -3230 -3110 -2854 -3930 2894 3774 -2902 -3134 -3782 2650 3250 3358 2802 -2706 -3478 -3138 -3422 -2738 -3422 -3270 3862 -3874 -2690 -3386 -3998 -3014 -3790 3594 -3950 3998 3382 -3434 -4042 -3806 -3890 4038 2998 2978 -2726 -2818 -3850 -3078 3694 -2790 -4018 -3066 2658 -3642 -3066 3306 -3874 4038 2898 -2946 3738 3710 -3054 3638 -3906 -2698 -3954 3146 3554 -3342 3598 -3046 -3958 -3078 -3722 -3930 3594 3186 3726 -3546 -3882 3042 -4018 3378 3858 -2814 3098 -3210 -3930 2950 2674 -3046 3574 -3138 3534 -3610 3910 2794 -3206 -3126 3442 2726 2982 2738 -3506 3810 -3074 -3954 -3502 3634 3166 -3070 -3874 3914 -3350 -3846 3290 3442 -2846 -3162 3870 2706 -2702 2694 -3166 3598 3818 -3598 -3238 -3134 -3874 3998 -3134 -3138 -3578 -3646 -4002 2790 3882 -2958 -4018 -2650 -3478 -3646 -2922 3330 -3618 3766 -3946 -3682 -3034 3190 3814 -3010 3186 -2822 2718 -2690 -3258 -3066 -3882 -3870 -3202 -3182 -3890 3426 3758 3162 3610 -3854 -3098 3582 -3270 -2778 2650 -3666 2902 -4042 3234 3202 -3890 -3066 3962 -4038 2758 -3802 3382 -2702 3242 2886 -2814 2914 -2966 -2758 -2818 4002 -3210 -3966 -3170 2994 -3634 -3014 3490 -3354 -2862 -3930 3842 3770 3626 -3774 -4038 -3718 2862 -3198 -3250 3494 -3674 -2870 -3538 3090 -3682 -3598 3658 3670 -3810 3830 -3182 -2858 -3054 -2886 -2690 -4030 -3054 -3510 3162 2714 2938 -4002 -2966 -2666 3538 -3794 3174 3098 -2830 3570 -2686 -3142 -4042 -3994 -3686 -3182 -3570 -3054 -3990 -3930 3094 -3418 2974 3350 -4042 3362 -3382 3578 -3438 -3390 -3478 -2990 -2974 3466 3214 -3206 -3506 -3114 -3106 -3950 -3134 3374 -3126 -3566 -3114 -3574 3382 -3542 -3582 3230 -3870 -3534 -3970 -2806 2734 -3802 3770 -2662 -3402 3662 3610 3230 3046 -3978 2714 -3746 3634 2730 -3950 -3298 3058 3158 2790 -3746 -3950 3886 -3066 3178 3998 -3914 -3930 -3134 -3518 -3654 3682 -2822 3590 2726 3546 -3338 3306 -3890 3602 -3402 3006 -3950 -3890 3646 2706 -3834 -3426 2846 4014 -3250 2754 -2658 3118 3858 3538 -4042 3914 -3566 -3134 -3930 3722 3410 -2862 2650 -3462 -3810 -2742 -3062 -3930 3846 3022 -2914 3034 -2942 3690 2998 -2734 2690 2926 3402 -3034 -3998 3906 3442 -3018 3922 -3646 2690 2930 -3266 3534 -3782 3870 3218 -2818 -2926 -3342 -3902 -3766 -3914 -3646 -3798 3394 -4038 -3930 3038 3338 3846 -3182 -3978 -2906 -3542 4042 3314 3522 -3978 -3894 -3342 -2710 -4038 3106 3946 3730 -3890 -2698 -3998 3374 -2958 2962 -2690 -3174 -3478 3842 3558 2650 3670 3766 4002 2778 -3606 -3094 3986 -2802 2902 3642 -4018 -3690 -3998 -2978 -3462 3430 -3990 -3538 3746 -3698 3634 -3142 -3542 -3370 -3958 -3194 -3306 -3110 -3598 -3018 -3314 -2842 -2694 3142 2902 3402 -3882 3970 -3998 3806 3694 2806 -3134 3342 -3998 2878 -3978 -3306 3158 -3362 3542 -3354 3058 -3642 3334 3146 3002 3698 -3830 3086 2974 -3398 -3822 -3310 2954 2738 -3206 2702 3374 3846 3738 -3890 -3998 -3582 -3890 3282 -3414 -2846 -3386 -3874 3578 -2706 -3978 -3382 -3506 3338 2974 3202 3854 -3050 3510 3198 -3990 3658 2822 3242 -3106 -3106 -3682 -3750 3066 -2710 -3346 -3006 2650 -3946 -3646 -3950 3410 -3274 -3094 3006 -3150 -2938 3422 3766 -3834 2934 3466 3106 3218 -3386 4042 -3446 -2886 -3998 2966 -3186 -3650 -3910 -3542 -2702 -3070 3254 3646 3078 3362 3506 -2766 -3682 -3890 -3722 2862 -3290 -3642 2658 -3074 3638 2714 -3094 -2690 -3474 -3638 3582 -3998 -3634 -3538 -3990 -3106 -3186 -3990 -3054 3098 -2966 -3886 3462 -3058 -3594 3862 -3990 -3790 -3990 3342 2770 -3430 -3930 -2946 2974 -3994 -3406 -3682 -3554 -3110 3662 -3590 -3106 -3438 3342 -3450 -2690 3970 -3642 2890 3274 3054 3566 3502 -3802 3762 -3806 2902 3118 -3846 -3642 3610 2938 2914 2946 -2690 3410 -3914 -3990 -3038 -3714 -3130 -3342 4030 -3310 2694 3914 -3022 -3490 -3074 -3422 3738 -3578 -3890 -2822 -3330 -3170 -2946 -3914 -3138 -3802 -3958 -3998 -3558 -3086 -3438 2694 -3238 -2938 3910 -3890 -2774 3054 3422 3734 3558 3122 -2986 -3490 3206 -3790 -2862 -3914 2962 3034 -3610 -2854 -3910 2778 3342 -3930 -3170 -3610 3682 2822 -3650 3794 3666 -3182 -3130 2998 -3054 3790 -2870 -2682 -3642 -3134 -3066 3906 3022 -2958 -3114 -3990 -3890 3022 3530 -3950 -3198 -3470 3950 3690 -4042 -3650 -3238 -3250 -3394 2826 -4042 -3958 -3726 -3910 -3446 2718 -3722 -3586 -3298 -2698 -2894 -2902 4034 -3478 2694 3086 -3026 3502 3326 -3138 3702 -3790 -3102 3354 2738 -2818 3098 -3562 -4022 2762 -3470 -2734 -3118 -3870 -3054 -2674 -3238 3250 -3398 -3410 -3918 3034 -3702 3318 3190 3086 3582 -3182 3486 3638 2990 3462 -3914 -4018 3430 -3182 -3974 -2702 -3478 2926 3594 3762 -3094 3138 4014 3034 3146 3718 3674 -2862 3734 2838 -3586 3170 2778 -3686 -3822 -4042 -3522 -3978 -3914 -3014 3074 3686 -3806 -3734 -2826 -3982 3786 -3978 3450 -3470 -3990 3250 3870 -3830 -3598 -3598 -3750 -3958 -3990 -3382 -2742 3702 3634 3534 3974 -3302 -3978 -3642 -3186 -3342 3206 3738 -2982 3234 3030 3162 3190 -3202 3350 -3894 3586 3926 3006 3634 -3594 3742 3526 -2706 3246 -3990 -2826 -3802 -3758 2794 -3042 -3954 2938 -3958 3626 3190 -3014 -2714 -3926 -3582 -3198 -3094 -3882 -2730 3030 2702 -2694 -3298 3834 -3222 3910 -4042 2666 -2902 3166 -4018 -3694 3018 3710 -2874 2774 -3478 -3530 -3798 3482 3254 3066 3354 3994 -4002 -3990 3690 2750 -3646 2902 3290 3986 -2978 -4022 4042 -3890 -3342 3778 3390 2742 -3750 -3098 -3650 -3294 2714 -4042 -3930 -2926 2658 3878 -3698 -2690 3870 3290 3862 -3250 -3578 2778 -3082 3154 -3778 3710 -3830 -3062 2690 2670 3702 -3970 2994 2690 -3642 -3134 -3822 3490 -3458 3598 -3958 3122 -3094 -4042 3082 -3266 3602 2678 -3750 -3370 -3014 3678 -3166 -3238 3686 -3950 -3958 3026 -3074 -3598 -2862 2670 3082 -3486 2690 -3782 2998 3010 -3678 -3982 -2818 -3098 4034 2810 3270 -3606 -3570 -3478 2710 -2722 -2650 -2654 -3810 2690 -3054 -3430 -2870 -4042 3750 -3450 -3918 2862 2910 -3198 -3950 -2778 -3186 -3850 -2970 2746 2942 -2666 3590 -4018 -3926 2890 -3350 3202 -3642 -4038 -3874 -3114 3870 3522 3638 -3914 2742 3750 3402 -2918 -3166 -3806 2850 3682 -3890 -3970 -3950 3638 -3382 -3602 3302 3806 -3626 -3478 -3074 3910 -3294 -3950 3930 -3998 -3582 -3718 -2694 2690 2934 -3558 -3294 3582 -2962 -2894 -3830 3542 3494 -3526 3586 -2978 -3334 -2690 -3114 3638 3642 -3138 -3142 -3034 -3090 -3094 2690 2678 -3342 3566 3546 -3238 -3958 3562 -2974 -3638 3930 -3450 -3806 -3438 -3750 -3598 -3938 -3018 3694 -3598 -2958 -3122 3390 3178 -3450 3594 3606 3054 -3930 3742 3962 -3014 -3234 2894 -3274 3690 -3554 3346 3270 -2906 3462 -3750 3258 -3874 -3706 -3274 -2894 -3094 -3054 -3498 -3274 3170 -3898 3138 3870 2718 3314 -3458 -3214 3334 3418 3322 -3334 3566 -4038 -3926 -3538 3122 -3110 -3646 -3606 -3882 -3342 -3238 2710 3594 -3838 2830 -3438 -3498 -2802 -3750 -2846 -3094 -2854 3666 -3190 -2942 3654 -2678 3758 3186 -3386 -2666 -3306 3126 3314 -3142 3530 -3514 -3522 -2702 3542 3650 -3774 3498 3870 -3150 -3014 3766 -3890 2690 -3786 -3806 2658 2742 3446 2846 3570 -2718 -3042 -3206 -3238 -2946 -4038 3390 -3014 4002 -3890 2938 3154 -3890 -3082 -2654 -3054 -3902 3218 -3190 -3894 -2706 -2690 -3098 3882 3174 -3198 -2674 -3998 -3958 3278 -3890 -3790 3638 -3054 -3398 -3478 -3382 3470 -2702 2738 -3930 3570 -3610 3658 -3274 -3978 -2826 3498 -3786 -3142 -2698 3958 -3598 3942 -3134 -2694 3874 -3922 -3514 2650 -3650 2826 -2986 -3198 2650 3722 -3042 -3378 -3750 -3542 2714 -3866 3078 -3498 -3262 3414 -4018 2962 3550 -3042 -3814 -3878 -4018 -3678 -4042 3626 -3438 2878 -3786 -2706 -3438 -2818 -4002 2670 -3598 -3198 -3142 -4002 3442 -3710 -3994 -3006 3798 -2926 2690 3946 3502 3294 -3198 2654 -3882 -3478 -3918 -3846 3670 3742 -4002 -3930 3350 -3950 3598 2822 -2906 -3054 -3890 4002 -4042 -2826 -3186 3086 -3374 3154 -3626 -3638 -3186 3870 3374 3230 4038 -3458 -3438 3638 -2818 3654 -3650 3862 2658 -3638 -2650 3014 3674 -3842 3654 3830 -3182 3850 2690 -3478 2718 2710 -4002 3350 3074 2666 -3762 2882 2942 3562 3882 2842 -3790 -3354 -3646 -3678 3094 2690 3430 -3050 3554 -3174 3642 -3182 2990 4002 3714 -3930 -3822 -2650 -3442 -3242 3254 -2906 -3646 -3778 -3794 -3130 -2654 -3926 -3774 -3970 -3094 -3098 4042 -3950 -3106 3134 3046 3178 -3146 -3830 -3482 -3826 -3538 3758 -3610 3842 -3610 -2946 3166 2930 2818 -4002 -2854 -3150 3570 -2922 3374 -3378 -3986 2670 -3890 -3538 2698 3162 3898 2846 3762 -2758 -3382 3842 2690 3246 -2990 2754 2842 4042 3102 2698 -2926 -3890 3598 4002 -4002 4002 3650 3666 3386 3994 3110 -3798 2838 4042 -2706 3238 2710 -3890 2722 -2866 3290 2790 -3998 3834 3870 -3198 2718 2698 3910 2690 -3422 -2810 -3146 3654 3262 3786 3706 -4042 -3978 3066 3634 -3146 3522 3462 -2702 -3870 -3182 -3998 -3402 -2910 -2742 -3830 3902 -2658 -3698 2806 -3826 2738 3022 3794 -3974 -3990 -3426 -2906 3102 -3310 3882 -3018 3490 -2698 -3642 -3650 -3790 -3610 2806 3554 -3094 3230 -3490 3938 3478 -3998 -2778 -3546 -3638 3702 -3538 -2854 3334 -3326 -3298 -3634 -3646 3026 -3658 4022 -4002 3738 3410 -3142 2938 3178 3818 3986 3218 -3550 2978 -3426 -3998 -3210 3894 -3790 2698 -3178 -3930 -3874 2686 -3830 -3154 -4018 3766 -2862 2950 3214 3950 -3410 3042 3078 -3438 -3958 3998 3770 -3106 -3094 3230 -3774 -2706 -3542 3178 -3146 -3062 -3362 -3106 3574 -3822 3146 -3950 3402 -2786 2766 -2710 3502 3294 3066 -3578 -3066 -3142 -3682 -3382 3526 -3698 3906 -3854 -3834 -3210 -3342 3290 -4002 2758 2650 -3438 3446 3674 -2966 -2650 -3554 -3478 -3950 3222 -3126 -2666 -2870 -2946 -3686 -3718 -2886 -3378 -3054 3702 3910 3682 2666 2822 -3978 -3598 -3134 -3762 2706 3842 -3678 3334 -3930 -2678 -3294 3786 3502 -4034 2982 -3058 -2694 -3686 3322 3526 2690 3234 2734 -3638 3514 -2854 2818 3946 -3826 3094 -3930 -3762 -2902 2878 -4038 -2902 -3142 -3390 -2686 -3922 -2650 2846 2838 -2818 3862 2874 -2718 3730 -3322 -3038 -3182 3078 -3998 -2934 -3950 3858 -3894 -3342 -3198 4042 -3002 3010 2786 -3930 3406 3954 -3922 2934 -3094 3306 -3162 3450 3186 -2786 -3094 -3438 3330 -2826 -3958 -2994 -4014 -2670 3054 -3046 -2678 3762 -3498 3790 2878 -3266 -3998 -3474 -3134 -3198 -3130 -2706 -3194 -2902 -3922 3782 -3462 -3678 -4010 -2974 3530 3770 -3438 -3718 -3478 -3958 -4018 -3610 -3746 3886 -3898 -3874 4018 -3074 -3346 4002 3222 -3586 -2678 -2654 -2854 3670 3470 -3134 -3122 3930 -3890 -2666 -3066 3270 2650 3434 -2690 -3638 -3294 -3370 3430 3282 2890 -3086 -2942 3578 3354 -3178 3014 2734 -3930 3582 -3610 -3106 3358 -3874 -3990 -2814 -2922 -2826 -3586 -3762 -2798 3742 3206 -2950 -2942 3410 -3242 3138 -3870 -3998 2650 3502 -3890 -3674 -3750 3370 2958 -3626 -3182 -3222 -3954 -3238 3806 -2742 -3682 3562 2806 -3930 3330 2786 3010 2826 2850 -3102 3138 3846 -3386 -3914 3818 3622 -4010 -3066 -2802 -2754 -3766 -3342 -3810 -3270 -3086 -3438 -2890 -3142 3498 -3922 -3314 -3162 2666 -3222 -3650 3722 3710 2650 -3950 -3106 -3642 -3034 -3682 -2650 -2678 3194 3162 -3434 -3014 -3958 2802 -3346 -2650 -2898 -3214 -3386 -3610 -3930 -3678 -2942 -2854 3742 -3634 3666 -3058 -3534 3170 -3290 3334 2690 -2690 -3238 3838 -3122 3870 -3042 3434 2874 -3094 3238 -3910 3290 -3194 3534 -3382 -3014 -3998 3350 3974 -3646 3762 -3382 3162 2714 -3478 -3422 -2838 3798 -3146 -3438 -4018 -2834 3430 -2674 -3870 2718 -3850 2978 2694 3834 3002 3570 -3066 -4002 3998 2650 -2706 -3314 -3710 -3990 -3282 3698 2850 -3626 -3890 -2946 -4002 -3998 -3090 -3878 3806 3786 -3150 3986 -3302 -3586 4038 -3638 -3726 2710 2694 3162 3906 -3094 3614 -3550 -4018 -3154 3118 -3674 2914 -3618 -3418 -3150 -3950 -2650 -3314 3586 -3182 -3998 -3434
709.43/715.37 d ASSIGNMENTS 2505
709.43/715.37 d CHECKS 45314314
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1086519-1215239727/watcher-1086519-1215239727 -o /tmp/evaluation-result-1086519-1215239727/solver-1086519-1215239727 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1086519-1215239727.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.03 2.21 2.18 4/81 18504
/proc/meminfo: memFree=1765720/2055920 swapFree=4180472/4192956
[pid=18504] ppid=18502 vsize=18572 CPUtime=0
/proc/18504/stat : 18504 (runsolver) R 18502 18504 17749 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 2002948278 19017728 292 996147200 4194304 4296836 548682068480 18446744073709551615 233632754983 0 0 4096 24578 0 0 0 17 1 0 0
/proc/18504/statm: 4643 292 257 25 0 2626 0
[startup+0.0508761 s]
/proc/loadavg: 2.03 2.21 2.18 4/81 18504
/proc/meminfo: memFree=1765720/2055920 swapFree=4180472/4192956
[pid=18504] ppid=18502 vsize=5360 CPUtime=0
/proc/18504/stat : 18504 (hydra) S 18502 18504 17749 0 -1 4194304 329 247 1 0 0 0 0 0 20 0 1 0 2002948278 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18504/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.101883 s]
/proc/loadavg: 2.03 2.21 2.18 4/81 18504
/proc/meminfo: memFree=1765720/2055920 swapFree=4180472/4192956
[pid=18504] ppid=18502 vsize=5360 CPUtime=0
/proc/18504/stat : 18504 (hydra) S 18502 18504 17749 0 -1 4194304 329 247 1 0 0 0 0 0 20 0 1 0 2002948278 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18504/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.301899 s]
/proc/loadavg: 2.03 2.21 2.18 4/81 18504
/proc/meminfo: memFree=1765720/2055920 swapFree=4180472/4192956
[pid=18504] ppid=18502 vsize=5360 CPUtime=0
/proc/18504/stat : 18504 (hydra) S 18502 18504 17749 0 -1 4194304 329 247 1 0 0 0 0 0 20 0 1 0 2002948278 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18504/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.701931 s]
/proc/loadavg: 2.03 2.21 2.18 4/81 18504
/proc/meminfo: memFree=1765720/2055920 swapFree=4180472/4192956
[pid=18504] ppid=18502 vsize=5360 CPUtime=0
/proc/18504/stat : 18504 (hydra) S 18502 18504 17749 0 -1 4194304 329 247 1 0 0 0 0 0 20 0 1 0 2002948278 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18504/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+1.502 s]
/proc/loadavg: 2.03 2.21 2.18 3/83 18508
/proc/meminfo: memFree=1748424/2055920 swapFree=4180472/4192956
[pid=18504] ppid=18502 vsize=5360 CPUtime=0
/proc/18504/stat : 18504 (hydra) S 18502 18504 17749 0 -1 4194304 329 247 1 0 0 0 0 0 20 0 1 0 2002948278 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18504/statm: 1340 236 195 169 0 51 0
[pid=18508] ppid=18504 vsize=25728 CPUtime=1.41
/proc/18508/stat : 18508 (xsolve) R 18504 18504 17749 0 -1 4194304 5875 0 8 0 138 3 0 0 25 0 1 0 2002948281 26345472 5646 996147200 134512640 135239763 4294956176 18446744073709551615 134683138 0 0 4096 0 0 0 0 17 1 0 0
/proc/18508/statm: 6432 5646 379 177 0 5335 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 31088
[startup+3.10113 s]
/proc/loadavg: 2.03 2.20 2.17 3/83 18508
/proc/meminfo: memFree=1734600/2055920 swapFree=4180472/4192956
[pid=18504] ppid=18502 vsize=5360 CPUtime=0
/proc/18504/stat : 18504 (hydra) S 18502 18504 17749 0 -1 4194304 329 247 1 0 0 0 0 0 20 0 1 0 2002948278 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18504/statm: 1340 236 195 169 0 51 0
[pid=18508] ppid=18504 vsize=46632 CPUtime=3
/proc/18508/stat : 18508 (xsolve) R 18504 18504 17749 0 -1 4194304 11115 0 8 0 294 6 0 0 25 0 1 0 2002948281 47751168 10595 996147200 134512640 135239763 4294956176 18446744073709551615 134942039 0 0 4096 0 0 0 0 17 1 0 0
/proc/18508/statm: 11658 10595 381 177 0 10561 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 51992
[startup+6.30238 s]
/proc/loadavg: 2.03 2.20 2.17 3/83 18508
/proc/meminfo: memFree=1656136/2055920 swapFree=4180472/4192956
[pid=18504] ppid=18502 vsize=5360 CPUtime=0
/proc/18504/stat : 18504 (hydra) S 18502 18504 17749 0 -1 4194304 329 247 1 0 0 0 0 0 20 0 1 0 2002948278 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18504/statm: 1340 236 195 169 0 51 0
[pid=18508] ppid=18504 vsize=157152 CPUtime=6.01
/proc/18508/stat : 18508 (xsolve) R 18504 18504 17749 0 -1 4194304 27635 0 9 0 588 13 0 0 25 0 1 0 2002948281 160923648 27116 996147200 134512640 135239763 4294956176 18446744073709551615 134543123 0 0 4096 0 0 0 0 17 1 0 0
/proc/18508/statm: 39288 27116 416 177 0 38191 0
Current children cumulated CPU time (s) 6.01
Current children cumulated vsize (KiB) 162512
[startup+12.7019 s]
/proc/loadavg: 2.02 2.20 2.17 3/83 18508
/proc/meminfo: memFree=1656392/2055920 swapFree=4180472/4192956
[pid=18504] ppid=18502 vsize=5360 CPUtime=0
/proc/18504/stat : 18504 (hydra) S 18502 18504 17749 0 -1 4194304 329 247 1 0 0 0 0 0 20 0 1 0 2002948278 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18504/statm: 1340 236 195 169 0 51 0
[pid=18508] ppid=18504 vsize=157152 CPUtime=12.35
/proc/18508/stat : 18508 (xsolve) R 18504 18504 17749 0 -1 4194304 27635 0 9 0 1221 14 0 0 25 0 1 0 2002948281 160923648 27116 996147200 134512640 135239763 4294956176 18446744073709551615 134532177 0 0 4096 0 0 0 0 17 1 0 0
/proc/18508/statm: 39288 27116 416 177 0 38191 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 162512
[startup+25.502 s]
/proc/loadavg: 2.02 2.19 2.17 4/83 18508
/proc/meminfo: memFree=1656520/2055920 swapFree=4180472/4192956
[pid=18504] ppid=18502 vsize=5360 CPUtime=0
/proc/18504/stat : 18504 (hydra) S 18502 18504 17749 0 -1 4194304 329 247 1 0 0 0 0 0 20 0 1 0 2002948278 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18504/statm: 1340 236 195 169 0 51 0
[pid=18508] ppid=18504 vsize=157152 CPUtime=25.04
/proc/18508/stat : 18508 (xsolve) R 18504 18504 17749 0 -1 4194304 27635 0 9 0 2490 14 0 0 25 0 1 0 2002948281 160923648 27116 996147200 134512640 135239763 4294956176 18446744073709551615 135096901 0 0 4096 0 0 0 0 17 1 0 0
/proc/18508/statm: 39288 27116 416 177 0 38191 0
Current children cumulated CPU time (s) 25.04
Current children cumulated vsize (KiB) 162512
[startup+51.1011 s]
/proc/loadavg: 2.08 2.19 2.17 4/83 18508
/proc/meminfo: memFree=1656520/2055920 swapFree=4180472/4192956
[pid=18504] ppid=18502 vsize=5360 CPUtime=0
/proc/18504/stat : 18504 (hydra) S 18502 18504 17749 0 -1 4194304 329 247 1 0 0 0 0 0 20 0 1 0 2002948278 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18504/statm: 1340 236 195 169 0 51 0
[pid=18508] ppid=18504 vsize=157152 CPUtime=50.4
/proc/18508/stat : 18508 (xsolve) R 18504 18504 17749 0 -1 4194304 27636 0 9 0 5026 14 0 0 25 0 1 0 2002948281 160923648 27117 996147200 134512640 135239763 4294956176 18446744073709551615 134532192 0 0 4096 0 0 0 0 17 1 0 0
/proc/18508/statm: 39288 27117 417 177 0 38191 0
Current children cumulated CPU time (s) 50.4
Current children cumulated vsize (KiB) 162512
[startup+102.306 s]
/proc/loadavg: 2.10 2.17 2.17 3/83 18508
/proc/meminfo: memFree=1656520/2055920 swapFree=4180472/4192956
[pid=18504] ppid=18502 vsize=5360 CPUtime=0
/proc/18504/stat : 18504 (hydra) S 18502 18504 17749 0 -1 4194304 329 247 1 0 0 0 0 0 20 0 1 0 2002948278 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18504/statm: 1340 236 195 169 0 51 0
[pid=18508] ppid=18504 vsize=157152 CPUtime=101.16
/proc/18508/stat : 18508 (xsolve) R 18504 18504 17749 0 -1 4194304 27636 0 9 0 10102 14 0 0 25 0 1 0 2002948281 160923648 27117 996147200 134512640 135239763 4294956176 18446744073709551615 134535360 0 0 4096 0 0 0 0 17 1 0 0
/proc/18508/statm: 39288 27117 417 177 0 38191 0
Current children cumulated CPU time (s) 101.16
Current children cumulated vsize (KiB) 162512
[startup+162.301 s]
/proc/loadavg: 2.18 2.17 2.16 3/83 18508
/proc/meminfo: memFree=1656456/2055920 swapFree=4180472/4192956
[pid=18504] ppid=18502 vsize=5360 CPUtime=0
/proc/18504/stat : 18504 (hydra) S 18502 18504 17749 0 -1 4194304 329 247 1 0 0 0 0 0 20 0 1 0 2002948278 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18504/statm: 1340 236 195 169 0 51 0
[pid=18508] ppid=18504 vsize=157152 CPUtime=160.66
/proc/18508/stat : 18508 (xsolve) R 18504 18504 17749 0 -1 4194304 27636 0 9 0 16052 14 0 0 25 0 1 0 2002948281 160923648 27117 996147200 134512640 135239763 4294956176 18446744073709551615 135095107 0 0 4096 0 0 0 0 17 1 0 0
/proc/18508/statm: 39288 27117 417 177 0 38191 0
Current children cumulated CPU time (s) 160.66
Current children cumulated vsize (KiB) 162512
[startup+222.301 s]
/proc/loadavg: 2.06 2.14 2.15 3/83 18508
/proc/meminfo: memFree=1656392/2055920 swapFree=4180472/4192956
[pid=18504] ppid=18502 vsize=5360 CPUtime=0
/proc/18504/stat : 18504 (hydra) S 18502 18504 17749 0 -1 4194304 329 247 1 0 0 0 0 0 20 0 1 0 2002948278 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18504/statm: 1340 236 195 169 0 51 0
[pid=18508] ppid=18504 vsize=157152 CPUtime=220.15
/proc/18508/stat : 18508 (xsolve) R 18504 18504 17749 0 -1 4194304 27636 0 9 0 22001 14 0 0 25 0 1 0 2002948281 160923648 27117 996147200 134512640 135239763 4294956176 18446744073709551615 134543107 0 0 4096 0 0 0 0 17 1 0 0
/proc/18508/statm: 39288 27117 417 177 0 38191 0
Current children cumulated CPU time (s) 220.15
Current children cumulated vsize (KiB) 162512
[startup+282.302 s]
/proc/loadavg: 2.02 2.11 2.14 3/83 18508
/proc/meminfo: memFree=1656392/2055920 swapFree=4180472/4192956
[pid=18504] ppid=18502 vsize=5360 CPUtime=0
/proc/18504/stat : 18504 (hydra) S 18502 18504 17749 0 -1 4194304 329 247 1 0 0 0 0 0 20 0 1 0 2002948278 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18504/statm: 1340 236 195 169 0 51 0
[pid=18508] ppid=18504 vsize=157152 CPUtime=279.65
/proc/18508/stat : 18508 (xsolve) R 18504 18504 17749 0 -1 4194304 27636 0 9 0 27951 14 0 0 25 0 1 0 2002948281 160923648 27117 996147200 134512640 135239763 4294956176 18446744073709551615 134535329 0 0 4096 0 0 0 0 17 1 0 0
/proc/18508/statm: 39288 27117 417 177 0 38191 0
Current children cumulated CPU time (s) 279.65
Current children cumulated vsize (KiB) 162512
[startup+342.302 s]
/proc/loadavg: 2.01 2.09 2.13 3/83 18508
/proc/meminfo: memFree=1656392/2055920 swapFree=4180472/4192956
[pid=18504] ppid=18502 vsize=5360 CPUtime=0
/proc/18504/stat : 18504 (hydra) S 18502 18504 17749 0 -1 4194304 329 247 1 0 0 0 0 0 20 0 1 0 2002948278 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18504/statm: 1340 236 195 169 0 51 0
[pid=18508] ppid=18504 vsize=157152 CPUtime=339.14
/proc/18508/stat : 18508 (xsolve) R 18504 18504 17749 0 -1 4194304 27636 0 9 0 33900 14 0 0 25 0 1 0 2002948281 160923648 27117 996147200 134512640 135239763 4294956176 18446744073709551615 134541378 0 0 4096 0 0 0 0 17 1 0 0
/proc/18508/statm: 39288 27117 417 177 0 38191 0
Current children cumulated CPU time (s) 339.14
Current children cumulated vsize (KiB) 162512
[startup+402.302 s]
/proc/loadavg: 2.00 2.07 2.12 3/83 18508
/proc/meminfo: memFree=1656328/2055920 swapFree=4180472/4192956
[pid=18504] ppid=18502 vsize=5360 CPUtime=0
/proc/18504/stat : 18504 (hydra) S 18502 18504 17749 0 -1 4194304 329 247 1 0 0 0 0 0 20 0 1 0 2002948278 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18504/statm: 1340 236 195 169 0 51 0
[pid=18508] ppid=18504 vsize=157152 CPUtime=398.63
/proc/18508/stat : 18508 (xsolve) R 18504 18504 17749 0 -1 4194304 27636 0 9 0 39849 14 0 0 25 0 1 0 2002948281 160923648 27117 996147200 134512640 135239763 4294956176 18446744073709551615 134535354 0 0 4096 0 0 0 0 17 1 0 0
/proc/18508/statm: 39288 27117 417 177 0 38191 0
Current children cumulated CPU time (s) 398.63
Current children cumulated vsize (KiB) 162512
################
# More data... #
################
[pid=18556/tid=18560] ppid=18555 vsize=655760 CPUtime=0
/proc/18556/task/18560/stat : 18560 (java) S 18555 18504 17749 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2003013063 671498240 96057 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18556/tid=18561] ppid=18555 vsize=655760 CPUtime=0
/proc/18556/task/18561/stat : 18561 (java) S 18555 18504 17749 0 -1 64 19 0 0 0 0 0 0 0 15 0 9 0 2003013063 671498240 96057 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18556/tid=18562] ppid=18555 vsize=655760 CPUtime=0
/proc/18556/task/18562/stat : 18562 (java) S 18555 18504 17749 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2003013065 671498240 96057 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18556/tid=18563] ppid=18555 vsize=655760 CPUtime=0.43
/proc/18556/task/18563/stat : 18563 (java) S 18555 18504 17749 0 -1 64 770 0 0 0 42 1 0 0 16 0 9 0 2003013065 671498240 96057 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18556/tid=18564] ppid=18555 vsize=655760 CPUtime=0
/proc/18556/task/18564/stat : 18564 (java) S 18555 18504 17749 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 2003013065 671498240 96057 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18556/tid=18565] ppid=18555 vsize=655760 CPUtime=0
/proc/18556/task/18565/stat : 18565 (java) S 18555 18504 17749 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 2003013065 671498240 96057 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18557] ppid=18555 vsize=7044 CPUtime=0
/proc/18557/stat : 18557 (translate) S 18555 18504 17749 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 2003013061 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 233632923730 0 4 0 0 18446744071563648864 0 0 17 1 0 0
/proc/18557/statm: 1761 213 182 1 0 41 0
[pid=18545/tid=18546] ppid=18504 vsize=197348 CPUtime=4.28
/proc/18545/task/18546/stat : 18546 (java) S 18504 18504 17749 0 -1 64 3851 0 1 0 424 4 0 0 25 0 10 0 2003012505 202084352 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=18545/tid=18547] ppid=18504 vsize=197348 CPUtime=1.03
/proc/18545/task/18547/stat : 18547 (java) S 18504 18504 17749 0 -1 64 8557 0 0 0 94 9 0 0 16 0 10 0 2003012506 202084352 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=18545/tid=18548] ppid=18504 vsize=197348 CPUtime=0
/proc/18545/task/18548/stat : 18548 (java) S 18504 18504 17749 0 -1 64 10 0 0 0 0 0 0 0 16 0 10 0 2003012506 202084352 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18545/tid=18549] ppid=18504 vsize=197348 CPUtime=0
/proc/18545/task/18549/stat : 18549 (java) S 18504 18504 17749 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 2003012506 202084352 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18545/tid=18550] ppid=18504 vsize=197348 CPUtime=0
/proc/18545/task/18550/stat : 18550 (java) S 18504 18504 17749 0 -1 64 1 0 0 0 0 0 0 0 24 0 10 0 2003012508 202084352 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18545/tid=18551] ppid=18504 vsize=197348 CPUtime=0.18
/proc/18545/task/18551/stat : 18551 (java) S 18504 18504 17749 0 -1 64 646 0 0 0 18 0 0 0 16 0 10 0 2003012508 202084352 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18545/tid=18552] ppid=18504 vsize=197348 CPUtime=0
/proc/18545/task/18552/stat : 18552 (java) S 18504 18504 17749 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 2003012508 202084352 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18545/tid=18553] ppid=18504 vsize=197348 CPUtime=0
/proc/18545/task/18553/stat : 18553 (java) S 18504 18504 17749 0 -1 64 16 0 0 0 0 0 0 0 15 0 10 0 2003012508 202084352 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18545/tid=18554] ppid=18504 vsize=197348 CPUtime=0
/proc/18545/task/18554/stat : 18554 (java) S 18504 18504 17749 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 2003013060 202084352 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 708.47
Current children cumulated vsize (KiB) 870868
[startup+715.104 s]
/proc/loadavg: 2.03 2.03 2.08 3/95 18565
/proc/meminfo: memFree=1408248/2055920 swapFree=4180472/4192956
[pid=18504] ppid=18502 vsize=5360 CPUtime=637.76
/proc/18504/stat : 18504 (hydra) S 18502 18504 17749 0 -1 4194304 374 28241 1 12 0 0 63757 19 17 0 1 0 2002948278 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/18504/statm: 1340 238 196 169 0 51 0
[pid=18545] ppid=18504 vsize=197348 CPUtime=5.52
/proc/18545/stat : 18545 (java) S 18504 18504 17749 0 -1 0 13864 0 1 0 537 15 0 0 19 0 10 0 2003012504 202084352 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/18545/statm: 49337 9389 2543 9 0 43920 0
[pid=18555] ppid=18545 vsize=5356 CPUtime=0
/proc/18555/stat : 18555 (abscon) S 18545 18504 17749 0 -1 4194304 302 0 0 0 0 0 0 0 18 0 1 0 2003013060 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 233632752452 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/18555/statm: 1339 235 194 169 0 50 0
[pid=18556] ppid=18555 vsize=655760 CPUtime=65.97
/proc/18556/stat : 18556 (java) S 18555 18504 17749 0 -1 0 96981 0 1 0 6551 46 0 0 19 0 9 0 2003013061 671498240 96067 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18556/statm: 163940 96067 2617 9 0 158468 0
[pid=18556/tid=18558] ppid=18555 vsize=655760 CPUtime=62.72
/proc/18556/task/18558/stat : 18558 (java) R 18555 18504 17749 0 -1 64 12587 0 1 0 6262 10 0 0 25 0 9 0 2003013062 671498240 96067 996147200 134512640 134550740 4294955808 18446744073709551615 4126457635 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18556/tid=18559] ppid=18555 vsize=655760 CPUtime=2.78
/proc/18556/task/18559/stat : 18559 (java) S 18555 18504 17749 0 -1 64 83058 0 0 0 245 33 0 0 17 0 9 0 2003013063 671498240 96067 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18556/tid=18560] ppid=18555 vsize=655760 CPUtime=0
/proc/18556/task/18560/stat : 18560 (java) S 18555 18504 17749 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2003013063 671498240 96067 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18556/tid=18561] ppid=18555 vsize=655760 CPUtime=0
/proc/18556/task/18561/stat : 18561 (java) S 18555 18504 17749 0 -1 64 19 0 0 0 0 0 0 0 15 0 9 0 2003013063 671498240 96067 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18556/tid=18562] ppid=18555 vsize=655760 CPUtime=0
/proc/18556/task/18562/stat : 18562 (java) S 18555 18504 17749 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2003013065 671498240 96067 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18556/tid=18563] ppid=18555 vsize=655760 CPUtime=0.45
/proc/18556/task/18563/stat : 18563 (java) S 18555 18504 17749 0 -1 64 778 0 0 0 44 1 0 0 15 0 9 0 2003013065 671498240 96067 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18556/tid=18564] ppid=18555 vsize=655760 CPUtime=0
/proc/18556/task/18564/stat : 18564 (java) S 18555 18504 17749 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 2003013065 671498240 96067 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18556/tid=18565] ppid=18555 vsize=655760 CPUtime=0
/proc/18556/task/18565/stat : 18565 (java) S 18555 18504 17749 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 2003013065 671498240 96067 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18557] ppid=18555 vsize=7044 CPUtime=0
/proc/18557/stat : 18557 (translate) S 18555 18504 17749 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 2003013061 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 233632923730 0 4 0 0 18446744071563648864 0 0 17 1 0 0
/proc/18557/statm: 1761 213 182 1 0 41 0
[pid=18545/tid=18546] ppid=18504 vsize=197348 CPUtime=4.28
/proc/18545/task/18546/stat : 18546 (java) S 18504 18504 17749 0 -1 64 3851 0 1 0 424 4 0 0 25 0 10 0 2003012505 202084352 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=18545/tid=18547] ppid=18504 vsize=197348 CPUtime=1.03
/proc/18545/task/18547/stat : 18547 (java) S 18504 18504 17749 0 -1 64 8557 0 0 0 94 9 0 0 16 0 10 0 2003012506 202084352 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=18545/tid=18548] ppid=18504 vsize=197348 CPUtime=0
/proc/18545/task/18548/stat : 18548 (java) S 18504 18504 17749 0 -1 64 10 0 0 0 0 0 0 0 16 0 10 0 2003012506 202084352 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18545/tid=18549] ppid=18504 vsize=197348 CPUtime=0
/proc/18545/task/18549/stat : 18549 (java) S 18504 18504 17749 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 2003012506 202084352 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18545/tid=18550] ppid=18504 vsize=197348 CPUtime=0
/proc/18545/task/18550/stat : 18550 (java) S 18504 18504 17749 0 -1 64 1 0 0 0 0 0 0 0 24 0 10 0 2003012508 202084352 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18545/tid=18551] ppid=18504 vsize=197348 CPUtime=0.18
/proc/18545/task/18551/stat : 18551 (java) S 18504 18504 17749 0 -1 64 646 0 0 0 18 0 0 0 16 0 10 0 2003012508 202084352 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18545/tid=18552] ppid=18504 vsize=197348 CPUtime=0
/proc/18545/task/18552/stat : 18552 (java) S 18504 18504 17749 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 2003012508 202084352 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18545/tid=18553] ppid=18504 vsize=197348 CPUtime=0
/proc/18545/task/18553/stat : 18553 (java) S 18504 18504 17749 0 -1 64 16 0 0 0 0 0 0 0 15 0 10 0 2003012508 202084352 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18545/tid=18554] ppid=18504 vsize=197348 CPUtime=0
/proc/18545/task/18554/stat : 18554 (java) S 18504 18504 17749 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 2003013060 202084352 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 709.25
Current children cumulated vsize (KiB) 870868
[startup+715.304 s]
/proc/loadavg: 2.03 2.03 2.08 3/95 18565
/proc/meminfo: memFree=1408248/2055920 swapFree=4180472/4192956
[pid=18504] ppid=18502 vsize=5360 CPUtime=637.76
/proc/18504/stat : 18504 (hydra) S 18502 18504 17749 0 -1 4194304 374 28241 1 12 0 0 63757 19 17 0 1 0 2002948278 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/18504/statm: 1340 238 196 169 0 51 0
[pid=18545] ppid=18504 vsize=197348 CPUtime=5.52
/proc/18545/stat : 18545 (java) S 18504 18504 17749 0 -1 0 13890 0 1 0 537 15 0 0 19 0 10 0 2003012504 202084352 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/18545/statm: 49337 9389 2543 9 0 43920 0
[pid=18555] ppid=18545 vsize=5356 CPUtime=0
/proc/18555/stat : 18555 (abscon) S 18545 18504 17749 0 -1 4194304 302 292 0 0 0 0 0 0 16 0 1 0 2003013060 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 233632752452 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/18555/statm: 1339 235 194 169 0 50 0
[pid=18556] ppid=18555 vsize=655760 CPUtime=66.15
/proc/18556/stat : 18556 (java) S 18555 18504 17749 0 -1 0 96987 0 1 0 6569 46 0 0 19 0 9 0 2003013061 671498240 96071 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18556/statm: 163940 96071 2617 9 0 158468 0
[pid=18556/tid=18558] ppid=18555 vsize=655760 CPUtime=62.89
/proc/18556/task/18558/stat : 18558 (java) S 18555 18504 17749 0 -1 64 12589 0 1 0 6279 10 0 0 25 0 9 0 2003013062 671498240 96071 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18556/tid=18559] ppid=18555 vsize=655760 CPUtime=2.78
/proc/18556/task/18559/stat : 18559 (java) S 18555 18504 17749 0 -1 64 83058 0 0 0 245 33 0 0 17 0 9 0 2003013063 671498240 96071 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18556/tid=18560] ppid=18555 vsize=655760 CPUtime=0
/proc/18556/task/18560/stat : 18560 (java) S 18555 18504 17749 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2003013063 671498240 96071 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18556/tid=18561] ppid=18555 vsize=655760 CPUtime=0
/proc/18556/task/18561/stat : 18561 (java) S 18555 18504 17749 0 -1 64 19 0 0 0 0 0 0 0 15 0 9 0 2003013063 671498240 96071 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18556/tid=18562] ppid=18555 vsize=655760 CPUtime=0
/proc/18556/task/18562/stat : 18562 (java) S 18555 18504 17749 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2003013065 671498240 96071 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18556/tid=18563] ppid=18555 vsize=655760 CPUtime=0.45
/proc/18556/task/18563/stat : 18563 (java) S 18555 18504 17749 0 -1 64 782 0 0 0 44 1 0 0 15 0 9 0 2003013065 671498240 96071 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18556/tid=18564] ppid=18555 vsize=655760 CPUtime=0
/proc/18556/task/18564/stat : 18564 (java) S 18555 18504 17749 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 2003013065 671498240 96071 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18556/tid=18565] ppid=18555 vsize=655760 CPUtime=0
/proc/18556/task/18565/stat : 18565 (java) S 18555 18504 17749 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 2003013065 671498240 96071 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18545/tid=18546] ppid=18504 vsize=197348 CPUtime=4.28
/proc/18545/task/18546/stat : 18546 (java) S 18504 18504 17749 0 -1 64 3877 0 1 0 424 4 0 0 16 0 10 0 2003012505 202084352 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=18545/tid=18547] ppid=18504 vsize=197348 CPUtime=1.03
/proc/18545/task/18547/stat : 18547 (java) S 18504 18504 17749 0 -1 64 8557 0 0 0 94 9 0 0 16 0 10 0 2003012506 202084352 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=18545/tid=18548] ppid=18504 vsize=197348 CPUtime=0
/proc/18545/task/18548/stat : 18548 (java) S 18504 18504 17749 0 -1 64 10 0 0 0 0 0 0 0 16 0 10 0 2003012506 202084352 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18545/tid=18549] ppid=18504 vsize=197348 CPUtime=0
/proc/18545/task/18549/stat : 18549 (java) S 18504 18504 17749 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 2003012506 202084352 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18545/tid=18550] ppid=18504 vsize=197348 CPUtime=0
/proc/18545/task/18550/stat : 18550 (java) S 18504 18504 17749 0 -1 64 1 0 0 0 0 0 0 0 24 0 10 0 2003012508 202084352 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18545/tid=18551] ppid=18504 vsize=197348 CPUtime=0.18
/proc/18545/task/18551/stat : 18551 (java) S 18504 18504 17749 0 -1 64 646 0 0 0 18 0 0 0 16 0 10 0 2003012508 202084352 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18545/tid=18552] ppid=18504 vsize=197348 CPUtime=0
/proc/18545/task/18552/stat : 18552 (java) S 18504 18504 17749 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 2003012508 202084352 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18545/tid=18553] ppid=18504 vsize=197348 CPUtime=0
/proc/18545/task/18553/stat : 18553 (java) S 18504 18504 17749 0 -1 64 16 0 0 0 0 0 0 0 15 0 10 0 2003012508 202084352 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18545/tid=18554] ppid=18504 vsize=197348 CPUtime=0
/proc/18545/task/18554/stat : 18554 (java) S 18504 18504 17749 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 2003013060 202084352 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 709.43
Current children cumulated vsize (KiB) 863824
[startup+715.404 s]
/proc/loadavg: 2.03 2.03 2.08 3/95 18565
/proc/meminfo: memFree=1408248/2055920 swapFree=4180472/4192956
[pid=18504] ppid=18502 vsize=5360 CPUtime=637.76
/proc/18504/stat : 18504 (hydra) S 18502 18504 17749 0 -1 4194304 374 28241 1 12 0 0 63757 19 17 0 1 0 2002948278 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/18504/statm: 1340 238 196 169 0 51 0
[pid=18545] ppid=18504 vsize=197348 CPUtime=71.75
/proc/18545/stat : 18545 (java) S 18504 18504 17749 0 -1 0 13970 97600 1 1 537 16 6569 53 19 0 9 0 2003012504 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/18545/statm: 49337 9391 2544 9 0 43920 0
[pid=18545/tid=18546] ppid=18504 vsize=197348 CPUtime=70.5
/proc/18545/task/18546/stat : 18546 (java) S 18504 18504 17749 0 -1 64 3937 97600 1 1 424 4 6569 53 16 0 9 0 2003012505 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18545/tid=18547] ppid=18504 vsize=197348 CPUtime=67.25
/proc/18545/task/18547/stat : 18547 (java) S 18504 18504 17749 0 -1 64 8565 97600 0 1 94 9 6569 53 16 0 9 0 2003012506 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18545/tid=18548] ppid=18504 vsize=197348 CPUtime=66.22
/proc/18545/task/18548/stat : 18548 (java) S 18504 18504 17749 0 -1 64 10 97600 0 1 0 0 6569 53 16 0 9 0 2003012506 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18545/tid=18549] ppid=18504 vsize=197348 CPUtime=66.22
/proc/18545/task/18549/stat : 18549 (java) S 18504 18504 17749 0 -1 64 5 97600 0 1 0 0 6569 53 15 0 9 0 2003012506 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18545/tid=18550] ppid=18504 vsize=197348 CPUtime=66.22
/proc/18545/task/18550/stat : 18550 (java) S 18504 18504 17749 0 -1 64 1 97600 0 1 0 0 6569 53 24 0 9 0 2003012508 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18545/tid=18551] ppid=18504 vsize=197348 CPUtime=66.4
/proc/18545/task/18551/stat : 18551 (java) S 18504 18504 17749 0 -1 64 646 97600 0 1 18 0 6569 53 16 0 9 0 2003012508 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18545/tid=18552] ppid=18504 vsize=197348 CPUtime=66.22
/proc/18545/task/18552/stat : 18552 (java) S 18504 18504 17749 0 -1 64 1 97600 0 1 0 0 6569 53 25 0 9 0 2003012508 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18545/tid=18553] ppid=18504 vsize=197348 CPUtime=66.22
/proc/18545/task/18553/stat : 18553 (java) S 18504 18504 17749 0 -1 64 16 97600 0 1 0 0 6569 53 15 0 9 0 2003012508 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 709.51
Current children cumulated vsize (KiB) 202708
Child status: 0
Real time (s): 715.421
CPU time (s): 709.557
CPU user time (s): 708.654
CPU system time (s): 0.902862
CPU usage (%): 99.1804
Max. virtual memory (cumulated for all children) (KiB): 871516
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 708.654
system time used= 0.902862
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 140225
page faults= 15
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14668
involuntary context switches= 36388
runsolver used 0.845871 second user time and 2.53361 second system time
The end
Begin job on node3 at 2008-07-05 08:35:28
IDJOB=1086519
IDBENCH=57831
IDSOLVER=365
FILE ID=node3/1086519-1215239727
PBS_JOBID= 7881894
Free space on /tmp= 66532 MiB
SOLVER NAME= cpHydra k_10
BENCH NAME= CPAI08/csp/fapp/fapp38/normalized-fapp38-2500-6.xml
COMMAND LINE= HOME/cpHydra_k_10/hydra BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1086519-1215239727/watcher-1086519-1215239727 -o /tmp/evaluation-result-1086519-1215239727/solver-1086519-1215239727 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1086519-1215239727.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 2d78d2c503f7e7a2468aae81a997d77e
RANDOM SEED=767482200
node3.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.232
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.232
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: 1766200 kB
Buffers: 6492 kB
Cached: 103400 kB
SwapCached: 6592 kB
Active: 191984 kB
Inactive: 44832 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1766200 kB
SwapTotal: 4192956 kB
SwapFree: 4180472 kB
Dirty: 33044 kB
Writeback: 0 kB
Mapped: 143128 kB
Slab: 37712 kB
Committed_AS: 3639996 kB
PageTables: 2100 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= 66480 MiB
End job on node3 at 2008-07-05 08:47:24