0.00/0.00 c cpHydra_k_10 version 0.0
598.38/603.06 c CASE TO CLASSIFY:
598.38/603.06 c Case: 0
598.38/603.06 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.642200 | c 15 > 16.155400 | 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
598.38/603.07 c choco : 1801.0
598.38/603.07 c mistral : 1801.0
598.38/603.07 c abscon : 1801.0
598.38/603.07 c
598.38/603.07 c
598.47/603.14 c List of same ones: 10
598.47/603.14 c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp40/fapp40-3000-10.xml
598.47/603.14 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
598.47/603.15 c choco : 1801.0
598.47/603.15 c mistral : 1800.08
598.47/603.15 c abscon : 76.7213
598.47/603.15 c
598.47/603.15 c
598.47/603.15 c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp40/fapp40-3000-9.xml
598.47/603.15 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
598.47/603.16 c choco : 1801.0
598.47/603.16 c mistral : 1800.06
598.47/603.16 c abscon : 72.15
598.47/603.16 c
598.47/603.16 c
598.47/603.16 c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp38/fapp38-2500-10.xml
598.47/603.16 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
598.47/603.17 c choco : 1801.0
598.47/603.17 c mistral : 1800.11
598.47/603.17 c abscon : 63.4264
598.47/603.17 c
598.47/603.17 c
598.47/603.17 c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp40/fapp40-3000-8.xml
598.47/603.17 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
598.47/603.17 c choco : 1801.0
598.47/603.17 c mistral : 1800.08
598.47/603.17 c abscon : 61.9576
598.47/603.17 c
598.47/603.17 c
598.47/603.17 c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp40/fapp40-3000-2.xml
598.47/603.18 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
598.47/603.18 c choco : 1801.0
598.47/603.18 c mistral : 1800.09
598.47/603.19 c abscon : 15.7326
598.47/603.19 c
598.47/603.19 c
598.47/603.19 c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp40/fapp40-3000-3.xml
598.47/603.19 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
598.47/603.19 c choco : 1801.0
598.47/603.19 c mistral : 1800.08
598.47/603.19 c abscon : 16.2085
598.47/603.19 c
598.47/603.19 c
598.47/603.19 c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp40/fapp40-3000-6.xml
598.47/603.19 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
598.56/603.20 c choco : 1801.0
598.56/603.20 c mistral : 1800.11
598.56/603.20 c abscon : 56.2494
598.56/603.20 c
598.56/603.20 c
598.56/603.20 c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp40/fapp40-3000-7.xml
598.56/603.20 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
598.56/603.21 c choco : 1801.0
598.56/603.21 c mistral : 1800.05
598.56/603.21 c abscon : 57.1643
598.56/603.21 c
598.56/603.21 c
598.56/603.21 c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp38/fapp38-2500-8.xml
598.56/603.21 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
598.56/603.22 c choco : 1801.0
598.56/603.22 c mistral : 1800.07
598.56/603.22 c abscon : 60.5128
598.56/603.22 c
598.56/603.22 c
598.56/603.22 c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp38/fapp38-2500-9.xml
598.56/603.22 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
598.56/603.23 c choco : 1801.0
598.56/603.23 c mistral : 1800.05
598.56/603.23 c abscon : 61.2877
598.56/603.23 c
598.56/603.23 c
598.56/603.23 c Length: 10
598.56/603.23 c 9.033904628322407 9.033904628322407 9.03646 9.053494007333578 9.113942194919003 9.124273710007007 9.124273710007007 9.124273710007007 9.133030000000002 9.133030000000002
598.56/603.23 c
598.56/603.23 c 1.0 1.0 0.9748686762776069 0.8349878267231653 0.5532694017659675 0.5231043437885183 0.5231043437885183 0.5231043437885183 0.5 0.5
598.56/603.23 c
598.56/603.23 c solver 0
598.56/603.23 c before 0.0 seconds: {} 0
598.56/603.23 c before 18.0 seconds: {4, 5} 1076
598.56/603.23 c before 72.0 seconds: {2, 3, 4, 5, 6, 7, 8, 9} 4932
598.56/603.23 c before 90.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6932
598.56/603.23 c
598.56/603.23 c solver 1
598.56/603.23 c before 0.0 seconds: {} 0
598.56/603.23 c
598.56/603.23 c solver 2
598.56/603.23 c before 0.0 seconds: {} 0
598.56/603.23 c
598.56/603.23 cTotal time: 5
598.56/603.23 c 90.0 seconds unused
598.56/603.23 c 0 c 10 c 10
598.56/603.23 c 0 c 0 c 0
598.56/603.23 c 0 c 0 c 0
598.56/603.23 c is solver0 dominated by:
598.56/603.23 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)
598.56/603.23 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)
598.56/603.23 c is dominated? false
598.56/603.23 c
598.56/603.24 c is solver1 dominated by:
598.56/603.24 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)
598.56/603.24 c is dominated? true
598.56/603.24 c
598.56/603.24 c is solver2 dominated by:
598.56/603.24 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)
598.56/603.24 c is dominated? true
598.56/603.24 c
598.56/603.24 c Number of non-dominated solvers: 1
598.56/603.24 c remove dominated solvers
598.56/603.24 c solver 0 is not dominated by another solver
598.56/603.24 c solver 2 is dominated by another solver
598.56/603.24 c solver 1 is dominated by another solver
598.56/603.24 c
598.56/603.24 c solver 0: 90.0
598.56/603.24 c
598.56/603.24 c+ 5/5 of 95
598.56/603.24 c
598.56/603.24 c solver 1: 0.0
598.56/603.24 c
598.56/603.24 c solver 2: 0.0
598.56/603.24 c run abscon for 1800.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6932
598.56/603.24 c do not run mistral
598.56/603.24 c do not run choco
598.56/603.24 c Starting solver: HOME/cpHydra_k_10/solver/abscon
598.56/603.24 c On Instance: HOME/instance-1086498-1215239568.xml
598.56/603.24 c Running for: 1800 seconds
671.31/677.16 s SAT
671.31/677.16 v -3194 -3458 2650 -2650 -2978 -3906 -2790 -3654 -3958 -2790 3426 2714 -3474 -2866 -3330 3814 -2874 -3726 -2774 -3578 -3478 -2906 3086 2650 -3930 -3946 -3398 3474 3942 -2826 2694 -3098 -3142 -3734 2774 3682 -3306 2650 3930 -3034 -3790 3686 3922 3406 -3506 3394 -3698 -4018 -3854 -3750 -3990 3866 2698 -3790 -3778 2750 3414 -3418 -3630 -3854 3770 3382 2690 3442 -3830 -3074 -3990 -3678 -3042 -3590 -2650 -3194 -3922 3474 -3174 3346 3598 3810 -3890 -3174 3558 3434 3446 -2950 -3870 3406 3550 2690 -3598 -3850 3298 -3346 2718 -3554 -3062 2754 3930 2650 -3914 3542 -3554 -3538 3054 -3998 -3630 3130 2826 -3102 -3390 3978 3046 3946 3318 -3106 3510 3618 -3510 -2962 -3690 -3142 3018 3750 3526 2846 -3434 3258 3314 3642 -2954 -3318 -3790 3742 3030 -3318 3558 -3098 3298 -3438 -3226 3366 2806 -3686 -3686 -3990 3106 3338 -2862 -2690 2778 -3114 -2742 2882 -3034 3246 -3094 3702 3750 -2826 2870 -3450 -2902 -4002 2806 3334 -3774 -3886 3646 2650 -2798 -3998 -3610 2914 3298 2650 -3690 2650 -3978 2846 -3066 -3926 4042 3202 -3686 3658 3174 -2766 -3274 3146 -3882 3166 -3582 -3134 2746 3050 -3134 3398 -3130 -2934 2778 -3526 -3334 -3810 -3514 3338 -3466 -3398 3266 -2782 3946 -3790 3914 -3346 3114 3350 3258 -3138 -3198 -2762 3822 2790 -3358 3262 2770 -3438 -3646 -3810 -3214 -3554 -3386 -3414 2690 3934 -2758 3690 2690 3014 -3462 3738 3410 3938 4026 2650 2994 -3710 -3734 3078 -2694 -3174 3550 3586 2650 -3178 -3098 3958 -2666 -3950 3386 3274 -3546 2846 -3578 3674 -2706 3842 -2730 3730 -3214 3450 3962 -3390 3726 -4002 -2666 3526 -3366 -2666 -3886 -3362 -3650 -3222 2982 2706 -3182 3986 3914 3374 -3750 -3606 2794 3866 3678 -3990 -4038 2918 3278 3374 3258 3578 -2874 -3382 -3190 3078 2650 -3914 3014 -3390 3954 -3162 -2690 -2902 3134 -2694 -4042 -3198 3138 -3314 -2678 3074 -2670 -3246 -2838 -2910 3130 3062 -2890 3162 -3638 3598 -3414 -3886 2750 4002 3530 3882 -2718 -3246 2890 3102 -2794 3050 -3182 -3694 -3138 3390 -3186 3330 -2878 -3854 -3874 3202 -3238 -3998 3922 -3894 -3306 -3810 3798 -2894 -2650 -2806 -3014 -2966 3014 2754 -3074 3782 -3978 -3458 2918 -3838 -2982 -3438 3906 -3542 -3438 -3686 3330 3994 3542 -3126 3998 2690 -3650 -2926 -3142 -3466 3514 -4018 -2950 -3614 -3074 2766 -3110 -3650 2738 -2658 3990 2710 3290 3134 -3746 -2726 -3982 -2998 -2942 3430 3178 3950 -3202 -3874 -3402 -3890 2770 4014 -3042 2814 2850 -3306 -2986 -2666 3934 2946 -2994 -3686 -4038 -2854 3642 3538 -3194 -2702 -3114 -3230 -3638 3382 -3010 -3014 -3914 3730 2930 -4002 3138 -3702 -3026 -2650 -3914 -3646 2942 3002 -3158 2718 3890 -3930 -2922 -2862 -3142 -3930 3422 3346 3718 -3926 2714 -3370 3478 -2766 -2650 -3138 -3926 -3054 3590 -3874 -3182 3154 -3346 -3646 2890 3974 -3682 -4034 3682 -2658 -2750 -4002 -3126 -2894 2650 -3142 -2942 2954 3506 -3066 -2682 -3366 -3882 -3890 2690 2678 3042 -3710 -3750 -3386 -4014 -3102 -3686 3178 -2694 -3958 2694 -3218 3302 -3610 3306 -3062 3498 -3890 3154 -3702 -3182 -3174 -3790 -3306 -2706 3222 3114 -2898 -3930 2890 3774 -2902 -3134 -3782 -2650 -3250 3354 -2806 -2698 -3478 -3138 -3422 -2722 3426 3262 -3862 -3874 2686 -3390 -3998 -3018 -3790 -3598 -3950 3998 3386 -3426 -4042 3810 -3890 -4038 -2994 2978 2730 -2810 -3850 3082 -3694 2798 -4018 -3066 2650 -3646 -3066 -3298 -3874 -4038 2874 -2942 -3742 3714 -3054 -3638 -3906 -2690 3954 3146 3554 -3346 3598 -3046 -3958 3106 3726 3922 3594 3182 -3730 -3546 3886 -3038 -4018 -3382 3858 -2818 -2926 -3210 -3930 -2946 2670 -3042 -3574 -3058 -3534 -3610 -3922 -2786 -3214 -3126 -3442 -2722 -2978 2742 -3498 3810 -3066 -3954 -3498 3650 3158 -3074 -3874 -3914 -3354 -3842 -3294 -3442 -2838 -3162 3870 2706 2702 2690 -3166 3590 -3814 3602 -3234 -3134 3874 -3998 -3134 -3142 -3578 -3646 -4002 2786 -3882 -2950 -4018 -2650 -3478 -3646 2914 3334 -3638 -3766 -4042 -3682 -3038 -3190 -3814 -3018 -3182 -2814 -2726 -2690 -3258 -3070 -3886 3870 3202 -3182 -3890 -3434 -3770 3166 3610 -3854 -3098 -3586 -2662 2790 2650 3670 2910 -4038 3238 3202 -3890 3070 -3962 -4038 2750 -3802 3386 2714 -3242 2890 -2806 -2914 2942 2754 2806 -4002 -3238 3966 -3170 -2990 -3634 -3018 -3494 3358 -2870 -3930 -3846 -3774 3630 3774 -4038 -3722 2874 -3198 -3250 -3490 3690 -2878 -3538 -3090 -3682 3598 -3662 3674 -3810 3830 -3182 -2858 -3058 -2894 -2690 -4030 -3054 3514 3162 -2714 -2930 -3998 -2778 -2650 -3558 -3798 3170 -3098 -2822 -3570 -2678 -3142 4042 -3994 -3694 -3194 -3570 -3058 -3990 -3930 -3086 -3422 -2970 -3358 4042 3366 -3382 3578 -3438 3398 -3478 2986 -2974 3466 3222 3210 3498 -3114 3118 -3950 -3134 -3366 -3126 3566 -3130 3574 -3370 3562 -3586 3230 -3870 3534 -3970 -2818 -2738 3802 3770 2658 -3402 3662 3614 -2702 -3050 -3978 2710 -3750 -3650 -2726 3950 -3298 -3066 3158 2786 -3758 -3950 3978 -3070 -3178 3998 -3914 -3926 -3142 -3514 -3654 3682 -2818 3590 -2730 -3542 -3338 -3298 3890 3598 3402 -3002 -3950 -3890 -3662 2690 3834 3438 -2834 -4014 3254 -2754 2658 -3122 3854 3534 4042 3914 -3566 -3126 3930 -3730 -3410 -2854 -2726 -3462 -3810 2742 3062 -3930 -3858 -3018 -2906 -3038 2942 3690 3030 2738 -2690 2902 3406 -3062 3998 3906 -3446 -3002 -3922 -3662 2690 2918 -3258 -3538 -3786 3874 3214 2814 -2934 -3342 -3902 3770 -3914 -3646 3802 -3402 -4038 -3930 -3066 3338 -3850 3186 -3978 -2906 -3542 4042 -3306 3518 -3978 -3894 3342 -2706 4038 3102 3950 3734 -3890 -2694 3998 3374 2962 2962 -2690 -3174 3478 -3850 3554 2662 -3678 -3766 -4002 -2770 -3606 3094 -4002 -2810 -2906 -3642 -4018 -3694 -3998 -2978 -3466 -3438 3990 -3538 3746 3698 -3638 -3142 -3562 -3370 -3958 -3186 3306 -3114 3598 -3018 -3314 2838 -2690 3082 2906 3406 -3886 3966 -3998 3810 3690 2814 -3138 3338 -3998 -2878 -3978 -3306 -3162 -3366 3534 -3354 -3054 -3646 3326 -3146 -2998 3698 -3830 -3086 -2970 3402 -3822 -3314 2938 2734 -3210 -2698 3370 3858 -3734 3890 -3998 3586 3890 3282 3422 -2858 -3390 -3874 -3598 2698 -3978 -3386 3502 3338 2970 -3206 3854 -3050 -3514 -3202 -3990 -3658 2830 -3246 -3134 3110 -3682 -3750 3062 -2706 -3350 -2990 -2722 -3946 -3642 3950 3410 -3278 -3094 -3002 3146 -2914 -3414 3766 -3838 2934 3462 -3126 3222 -3390 4042 3454 -2882 -3998 -2950 -3186 -3650 3910 -3542 -2702 -3070 3250 3646 -3070 -3366 3502 2690 -3682 -3890 3722 2850 3290 -3658 -2654 -3078 -3630 -2714 -3098 -2718 3466 -3638 3602 -3998 -3634 -3538 3990 -3110 -3186 3990 3054 3102 -2814 3886 3466 3054 -3606 -3862 -4002 -3790 3990 3342 -2774 -3434 -3930 -2958 2974 -3990 -3410 -3682 3542 3114 3662 -3590 -3110 3434 -3342 -3450 -3174 3970 -3642 2882 3278 -3058 -3566 -3506 -3810 3766 -3818 2898 -3110 -3838 -3646 3610 2938 2906 -2942 2650 3414 -3914 -3990 -3086 -3710 -3130 -3342 -4042 -3314 2694 3906 3022 3490 -3078 -3426 -3738 3598 -3890 -2834 -3330 3174 -2946 3914 -3134 3814 -3958 -3998 -3562 -3082 -3430 2706 -3238 -2938 3910 -3890 2778 3054 -3426 3738 -3562 -3126 -2994 3498 3206 -3790 -2854 -3914 -2966 -3034 -3610 -2850 3914 -2782 3342 -3930 3170 -3610 3682 2818 -3650 3794 3670 -3178 -3170 -3002 -3054 3794 -2878 -2674 3658 3134 -3070 3906 -3018 -2974 -3106 -3990 -3890 3010 -3530 -3950 -3198 -3470 -3954 -3694 -4042 3646 -3238 -3250 -3394 -2830 -4034 3954 3726 -3910 -3446 2718 -3726 -3582 -3298 2698 2894 -2902 -4038 -3478 2694 3086 3026 3506 3326 3138 3702 -3786 -3042 3358 2730 -2806 3098 3562 -4022 -2762 -3474 -2746 3122 3866 3054 -2674 3234 3278 3398 3406 3918 -3038 -3702 -3314 3174 -3090 3582 -3186 3482 -3654 -2958 -3466 -3914 -4018 3434 3190 3974 -2714 -3478 -2918 3594 -3758 -3098 3138 -4014 -3030 3142 3714 -3678 -2938 3734 2834 -3590 -3174 2770 -3686 -3822 -4038 -3522 -3978 -3914 3014 -3070 3686 -3802 -3734 -2834 3986 3798 -3978 -3446 -3474 -3986 -3250 3870 -3830 -3598 -3602 -3742 3958 -3986 -3378 2742 -3702 3634 -3566 -3974 -3302 -3974 -3642 -3186 -3346 3206 -3738 2978 3234 2998 3162 3182 -3206 3354 3894 -3582 3926 -3010 3634 -3594 3750 -3526 2702 3174 -3990 -3054 3798 3758 -2786 -3046 3954 2930 -3958 3622 3202 -3014 -2714 -3926 3582 -3202 -3094 3882 2726 3030 2670 -2694 -3302 -3842 3218 4042 -4042 -2662 -2902 3170 -4018 -3694 3026 -3710 -2874 -2778 -3478 3530 3798 3486 -3254 3066 3354 -3998 4002 -3982 3690 2746 -3646 2910 3290 -3990 -2978 -4022 4042 -3890 -3346 -3782 3402 2710 3746 -3098 3650 -3290 2710 4030 -3930 -2918 2650 3890 -3702 -2690 -3870 3290 3862 -3250 3574 -2774 -3082 3170 3778 -3706 3834 -3058 -2686 -2666 3698 -3970 2994 -2690 3642 -3142 3822 3490 -3462 3598 -3958 -3118 -3098 -4042 3106 -3266 -3602 -2690 -3750 -3366 -3018 -3682 -3166 -3238 -3686 -3950 -3958 3014 -3102 -3598 2854 2670 3082 -3490 2702 -3790 -3006 3002 -3678 -3982 2822 3094 -4034 -2814 -3274 -3606 3570 3474 -2690 -2722 -2654 -2654 -3810 2686 -3054 -3442 -2690 -4042 -3754 3442 -3930 2854 2918 3198 -3950 -2782 3190 -3850 2962 2758 2946 2666 3590 -4018 -3926 2886 -3350 3202 -3642 -4038 -3874 -3142 3870 3522 3638 -3914 -2742 3746 -3406 -2910 -3166 3806 2846 3698 -3890 -3970 -3950 3638 -3382 -3602 3302 3806 -3622 3478 3074 -3910 3294 -3950 3930 -3998 -3582 -3722 -2694 -2690 -2930 -3558 -3286 -3582 -2954 -2858 -3830 -3542 3526 -3530 3590 -2970 -3338 -2690 -3110 -3638 -3638 -3138 -3146 -3038 3090 -3098 -2670 2678 -3342 -3566 -3542 -3238 -3954 3562 2966 -3638 3930 3454 -3818 3438 3750 -3598 -3938 3022 -3694 -3598 -2966 -3122 -3382 3178 -3442 -3594 3606 -3058 -3930 3738 -3962 3010 -3226 2890 -3274 -3690 -3554 3346 3274 -2914 3462 -3750 3278 -3874 3706 3274 -2898 3102 -3054 -3498 -3274 -3174 3894 3138 3874 -2730 3314 -3458 -3214 -3338 3418 -3322 -3330 3570 -4038 -3926 3542 3122 -3110 -3646 3606 -3882 3342 3230 -2706 3598 3842 2826 3438 -3502 2798 -3750 2854 3090 -2846 3666 -3186 -2942 -3654 -2678 -3770 -3186 -3390 -2674 -3306 3122 3314 -3154 -3534 -3514 -3522 -2702 -3546 3650 -3774 -3502 -4002 -3154 -3014 3766 -3886 2690 -3786 -3806 -2662 -2754 -3454 -2842 3570 -2718 -3042 3198 3238 2938 -4042 -3398 -3014 -4002 -3890 2938 -3158 3890 3082 -2654 -3058 -3906 3238 -3186 -3890 -2706 -2990 -3098 -3890 -3182 -3198 -2674 3994 -3958 3286 -3890 -3782 -3638 3058 -3402 3470 3382 3470 2698 -2738 -3930 -3574 -3610 -3658 -3274 -3974 -2822 3506 -3786 -3146 -2690 -3958 -3598 -3946 -3138 2690 3874 -3922 -3514 -2650 3650 2826 2978 -3198 2690 -3726 -3066 -3382 -3750 3542 2714 -3870 3070 3498 -3266 -3414 -4018 2962 3550 3042 -3814 -3874 4014 -3694 -4042 3630 -3438 -2890 -3786 -2718 -3434 -2814 -4002 -2670 -3598 3190 -3146 -4002 3442 -3718 -3994 3002 -3802 -2738 2690 -3950 3506 -3298 -3198 2662 -3886 3474 3914 3850 -3674 3742 -3994 3930 3350 -3946 -3598 -2834 -2902 -3054 -3890 -4002 -4042 2830 3182 3090 3378 3154 -3626 -3638 3186 -3874 -3382 3230 4038 3466 -3438 3654 -2818 -3650 -3654 -3866 2662 3638 -2650 -3018 3670 3846 3646 3826 -3174 3850 -2690 3478 2718 -2710 -3986 3354 -3078 2662 3766 2870 -2946 3562 3874 -2838 -3790 -3358 -3646 -3674 3094 2690 3426 -3058 -3566 -3174 -3638 -3182 2994 4002 3718 -3926 -3822 -2650 -3446 -3242 -3258 -2906 -3650 3774 -3794 -3130 2650 -3918 -3774 -3970 3094 -3106 4042 -3950 -3106 -3130 -3042 -3170 3166 -3830 -3482 -3838 -3538 3754 -3606 3842 -3614 2946 -3170 2922 -2818 -4002 2854 -3134 -3570 -2910 -3370 3370 3986 2666 -3886 -3538 2698 -3158 3898 2842 -3766 -2762 3386 3842 -2702 3242 2990 -2754 -2846 4042 3102 -2702 2854 -3890 3598 -4002 -4002 -4002 3650 -3670 -3386 3994 3134 -3798 2830 -4042 2718 -3238 2710 3886 2714 -3014 3290 2782 3998 -3834 -3870 -3198 -2714 -2690 3914 2650 -3426 2814 3146 3654 3266 3786 3706 -4042 -3978 -3062 -3634 -3146 3522 3462 -2702 -3870 -3186 -3998 -3402 -2918 -2742 -3834 -3902 -2654 3702 -2798 -3826 -2750 3018 -3802 3974 -3990 -3430 -2902 -3102 -3314 -3882 3014 3486 2690 -3642 -3654 -3790 -3610 2794 3558 3102 3222 -3494 -4042 3486 -3998 -2790 3546 -3638 3698 -3538 -2858 -3342 -3314 -3298 -3638 3642 3022 -3658 -4026 4002 -3738 -3410 3142 -2938 3178 3818 3982 3218 -3550 -2986 3430 3998 -3214 3894 -3790 2698 -3174 3926 -3874 2682 3830 3158 -3978 3766 2858 -2954 -3214 -3942 3402 -3038 -3082 3434 3958 3998 3770 -3110 3086 3234 3778 -2714 3546 3182 3146 -3062 -3366 3106 3566 -3822 -3150 -3946 3406 2778 -2770 -2706 3494 -3302 -3074 3598 -3066 -3146 3686 -3382 3522 -3698 -3910 3850 -3834 3214 -3342 3294 3998 2750 -2662 -3438 3434 3670 2958 -2650 3554 -3478 -3950 3218 3130 -2658 -2866 -2942 -3682 -3718 -2886 -3378 3054 -3702 3910 3686 -2658 2834 -3978 -3598 -3138 3762 2706 -3846 -3678 -3326 -3930 -2686 3298 -3798 3502 4030 -2978 -3054 -2702 -3690 3326 -3530 2758 3234 2734 -3638 -3502 2846 -2814 3946 -3826 3094 -3930 3770 -2902 2866 4038 -2902 -3146 -3410 -2702 -3922 -2650 -2858 -2826 2810 3862 2866 2722 -3730 -3326 2990 -3186 3126 -3998 2926 3946 -3858 3894 -3346 -3198 4038 -3006 -3010 -2790 -3930 -3394 -3954 -3914 -2930 -3098 -3306 3166 3446 -3186 2790 3094 -3438 3334 -2814 3958 2990 4014 2666 3046 -3050 -2674 -3770 3502 -3790 2874 -3266 3998 -3466 -3126 -3198 3130 2698 3198 2902 -3926 3782 3458 3694 -4010 -2978 3530 -3770 -3438 -3714 -3478 3958 -4018 -3610 3758 3878 -3894 -3874 4014 -3078 3346 4002 -3230 -3590 -2678 -2650 -2850 3670 3470 -3138 -3122 3930 3890 -2658 -3070 -3270 2650 3434 -2706 -3638 -3298 -3374 3430 -3282 2886 -3086 -2942 3578 3354 3174 -3038 -2734 3926 -3602 -3610 -3114 3362 -3874 3990 2806 -2922 2822 -3586 -3774 -2790 -3746 3206 -2954 2942 3406 3238 3142 -3870 -3998 -2658 3502 3886 3674 -3750 -3374 -2962 3630 3186 3214 -3954 -3238 3798 -2742 -3686 3562 2818 -3930 -3334 2774 -3002 2818 2846 -3102 -3134 3850 -3374 3914 3818 -3626 -4010 -3066 2806 -2750 3770 -3342 -3810 -3262 3090 -3434 2878 -3142 -3502 -3922 -3314 3166 2654 -3222 -3650 3726 3710 -2666 -3950 -3106 -3642 3034 -3686 -2654 -2678 3194 -3162 -3434 -3014 -3954 -2798 -3350 2650 2890 -3214 3394 -3610 -3930 -3678 -2942 -2858 -3742 -3634 -3666 -3058 -3538 3174 -3294 -3346 2698 2690 -3238 -3842 3126 3882 3038 -3442 2866 -3094 -3242 -3910 -3294 -3202 3530 -3386 -3014 3994 -3370 -3974 -3654 3758 -3386 -3166 -2710 -3474 -3422 -2850 -3810 -3146 -3438 4018 2826 -3422 -2674 -3870 -2714 -3850 2978 -2690 -3834 -3006 -3570 -3078 -4002 3998 -2710 -2702 -3314 -3714 3986 3278 3698 2846 3630 -3886 -2946 4002 -3998 -3130 -3874 -3810 -3798 -3154 -3990 -3302 -3582 4038 3638 -3726 2710 2690 3162 3910 -3098 3606 3554 -4018 -3162 3110 -3674 2954 3638 -3422 -3162 -3950 -2650 3322 -3586 -3182 -3994 -3438
671.31/677.16 d ASSIGNMENTS 4587
671.31/677.16 d CHECKS 60942096
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1086498-1215239568/watcher-1086498-1215239568 -o /tmp/evaluation-result-1086498-1215239568/solver-1086498-1215239568 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1086498-1215239568.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.90 2.50 4.16 4/88 3921
/proc/meminfo: memFree=1131252/2055920 swapFree=4147308/4192956
[pid=3921] ppid=3919 vsize=5360 CPUtime=0
/proc/3921/stat : 3921 (hydra) S 3919 3921 2833 0 -1 4194304 330 247 0 0 0 0 0 0 18 0 1 0 679683419 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3921/statm: 1340 236 195 169 0 51 0
[pid=3924] ppid=3921 vsize=5360 CPUtime=0
/proc/3924/stat : 3924 (hydra) R 3921 3921 2833 0 -1 4194368 22 0 0 0 0 0 0 0 20 0 1 0 679683420 5488640 239 996147200 4194304 4889804 548682068816 18446744073709551615 256364834087 0 0 4096 0 0 0 0 17 1 0 0
/proc/3924/statm: 1340 239 198 169 0 51 0
[startup+0.090881 s]
/proc/loadavg: 2.90 2.50 4.16 4/88 3921
/proc/meminfo: memFree=1131252/2055920 swapFree=4147308/4192956
[pid=3921] ppid=3919 vsize=5360 CPUtime=0
/proc/3921/stat : 3921 (hydra) S 3919 3921 2833 0 -1 4194304 330 247 0 0 0 0 0 0 18 0 1 0 679683419 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3921/statm: 1340 236 195 169 0 51 0
[pid=3924] ppid=3921 vsize=8156 CPUtime=0.08
/proc/3924/stat : 3924 (xsolve) R 3921 3921 2833 0 -1 4194304 1370 0 0 0 7 1 0 0 20 0 1 0 679683420 8351744 1329 996147200 134512640 135239763 4294956176 18446744073709551615 10694381 0 0 4096 0 0 0 0 17 1 0 0
/proc/3924/statm: 2039 1329 379 177 0 942 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 13516
[startup+0.102876 s]
/proc/loadavg: 2.90 2.50 4.16 4/88 3921
/proc/meminfo: memFree=1131252/2055920 swapFree=4147308/4192956
[pid=3921] ppid=3919 vsize=5360 CPUtime=0
/proc/3921/stat : 3921 (hydra) S 3919 3921 2833 0 -1 4194304 330 247 0 0 0 0 0 0 18 0 1 0 679683419 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3921/statm: 1340 236 195 169 0 51 0
[pid=3924] ppid=3921 vsize=8420 CPUtime=0.09
/proc/3924/stat : 3924 (xsolve) R 3921 3921 2833 0 -1 4194304 1414 0 0 0 8 1 0 0 20 0 1 0 679683420 8622080 1373 996147200 134512640 135239763 4294956176 18446744073709551615 10722467 0 0 4096 0 0 0 0 17 1 0 0
/proc/3924/statm: 2105 1373 379 177 0 1008 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13780
[startup+0.301901 s]
/proc/loadavg: 2.90 2.50 4.16 4/88 3921
/proc/meminfo: memFree=1131252/2055920 swapFree=4147308/4192956
[pid=3921] ppid=3919 vsize=5360 CPUtime=0
/proc/3921/stat : 3921 (hydra) S 3919 3921 2833 0 -1 4194304 330 247 0 0 0 0 0 0 18 0 1 0 679683419 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3921/statm: 1340 236 195 169 0 51 0
[pid=3924] ppid=3921 vsize=11368 CPUtime=0.29
/proc/3924/stat : 3924 (xsolve) R 3921 3921 2833 0 -1 4194304 2126 0 0 0 28 1 0 0 22 0 1 0 679683420 11640832 2085 996147200 134512640 135239763 4294956176 18446744073709551615 134943378 0 0 4096 0 0 0 0 17 1 0 0
/proc/3924/statm: 2842 2085 379 177 0 1745 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 16728
[startup+0.702947 s]
/proc/loadavg: 2.90 2.50 4.16 4/88 3921
/proc/meminfo: memFree=1131252/2055920 swapFree=4147308/4192956
[pid=3921] ppid=3919 vsize=5360 CPUtime=0
/proc/3921/stat : 3921 (hydra) S 3919 3921 2833 0 -1 4194304 330 247 0 0 0 0 0 0 18 0 1 0 679683419 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3921/statm: 1340 236 195 169 0 51 0
[pid=3924] ppid=3921 vsize=16988 CPUtime=0.69
/proc/3924/stat : 3924 (xsolve) R 3921 3921 2833 0 -1 4194304 3591 0 0 0 67 2 0 0 25 0 1 0 679683420 17395712 3484 996147200 134512640 135239763 4294956176 18446744073709551615 134622643 0 0 4096 0 0 0 0 17 1 0 0
/proc/3924/statm: 4247 3484 379 177 0 3150 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 22348
[startup+1.50202 s]
/proc/loadavg: 2.90 2.50 4.16 3/90 3925
/proc/meminfo: memFree=1114404/2055920 swapFree=4147308/4192956
[pid=3921] ppid=3919 vsize=5360 CPUtime=0
/proc/3921/stat : 3921 (hydra) S 3919 3921 2833 0 -1 4194304 330 247 0 0 0 0 0 0 18 0 1 0 679683419 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3921/statm: 1340 236 195 169 0 51 0
[pid=3924] ppid=3921 vsize=27952 CPUtime=1.48
/proc/3924/stat : 3924 (xsolve) R 3921 3921 2833 0 -1 4194304 6455 0 0 0 144 4 0 0 25 0 1 0 679683420 28622848 6185 996147200 134512640 135239763 4294956176 18446744073709551615 134683373 0 0 4096 0 0 0 0 17 1 0 0
/proc/3924/statm: 6988 6185 379 177 0 5891 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 33312
[startup+3.1012 s]
/proc/loadavg: 2.83 2.49 4.15 3/90 3925
/proc/meminfo: memFree=1099684/2055920 swapFree=4147308/4192956
[pid=3921] ppid=3919 vsize=5360 CPUtime=0
/proc/3921/stat : 3921 (hydra) S 3919 3921 2833 0 -1 4194304 330 247 0 0 0 0 0 0 18 0 1 0 679683419 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3921/statm: 1340 236 195 169 0 51 0
[pid=3924] ppid=3921 vsize=155996 CPUtime=3.08
/proc/3924/stat : 3924 (xsolve) R 3921 3921 2833 0 -1 4194304 27387 0 0 0 293 15 0 0 25 0 1 0 679683420 159739904 26859 996147200 134512640 135239763 4294956176 18446744073709551615 4158658908 0 0 4096 0 0 0 0 17 1 0 0
/proc/3924/statm: 38999 26859 394 177 0 37902 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 161356
[startup+6.30152 s]
/proc/loadavg: 2.83 2.49 4.15 3/90 3925
/proc/meminfo: memFree=1022692/2055920 swapFree=4147308/4192956
[pid=3921] ppid=3919 vsize=5360 CPUtime=0
/proc/3921/stat : 3921 (hydra) S 3919 3921 2833 0 -1 4194304 330 247 0 0 0 0 0 0 18 0 1 0 679683419 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3921/statm: 1340 236 195 169 0 51 0
[pid=3924] ppid=3921 vsize=157148 CPUtime=6.1
/proc/3924/stat : 3924 (xsolve) R 3921 3921 2833 0 -1 4194304 27643 0 0 0 595 15 0 0 25 0 1 0 679683420 160919552 27115 996147200 134512640 135239763 4294956176 18446744073709551615 134535411 0 0 4096 0 0 0 0 17 1 0 0
/proc/3924/statm: 39287 27115 416 177 0 38190 0
Current children cumulated CPU time (s) 6.1
Current children cumulated vsize (KiB) 162508
[startup+12.7012 s]
/proc/loadavg: 2.85 2.51 4.14 3/90 3925
/proc/meminfo: memFree=1022508/2055920 swapFree=4147308/4192956
[pid=3921] ppid=3919 vsize=5360 CPUtime=0
/proc/3921/stat : 3921 (hydra) S 3919 3921 2833 0 -1 4194304 330 247 0 0 0 0 0 0 18 0 1 0 679683419 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3921/statm: 1340 236 195 169 0 51 0
[pid=3924] ppid=3921 vsize=157148 CPUtime=12.33
/proc/3924/stat : 3924 (xsolve) R 3921 3921 2833 0 -1 4194304 27643 0 0 0 1218 15 0 0 25 0 1 0 679683420 160919552 27115 996147200 134512640 135239763 4294956176 18446744073709551615 134534753 0 0 4096 0 0 0 0 17 1 0 0
/proc/3924/statm: 39287 27115 416 177 0 38190 0
Current children cumulated CPU time (s) 12.33
Current children cumulated vsize (KiB) 162508
[startup+25.5015 s]
/proc/loadavg: 3.11 2.57 4.14 3/90 3925
/proc/meminfo: memFree=1022572/2055920 swapFree=4147308/4192956
[pid=3921] ppid=3919 vsize=5360 CPUtime=0
/proc/3921/stat : 3921 (hydra) S 3919 3921 2833 0 -1 4194304 330 247 0 0 0 0 0 0 18 0 1 0 679683419 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3921/statm: 1340 236 195 169 0 51 0
[pid=3924] ppid=3921 vsize=157148 CPUtime=24.68
/proc/3924/stat : 3924 (xsolve) R 3921 3921 2833 0 -1 4194304 27643 0 0 0 2453 15 0 0 25 0 1 0 679683420 160919552 27115 996147200 134512640 135239763 4294956176 18446744073709551615 134532176 0 0 4096 0 0 0 0 17 1 0 0
/proc/3924/statm: 39287 27115 416 177 0 38190 0
Current children cumulated CPU time (s) 24.68
Current children cumulated vsize (KiB) 162508
[startup+51.1092 s]
/proc/loadavg: 3.14 2.62 4.11 3/90 3925
/proc/meminfo: memFree=1023020/2055920 swapFree=4147308/4192956
[pid=3921] ppid=3919 vsize=5360 CPUtime=0
/proc/3921/stat : 3921 (hydra) S 3919 3921 2833 0 -1 4194304 330 247 0 0 0 0 0 0 18 0 1 0 679683419 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3921/statm: 1340 236 195 169 0 51 0
[pid=3924] ppid=3921 vsize=157148 CPUtime=49.23
/proc/3924/stat : 3924 (xsolve) R 3921 3921 2833 0 -1 4194304 27644 0 0 0 4908 15 0 0 25 0 1 0 679683420 160919552 27116 996147200 134512640 135239763 4294956176 18446744073709551615 134543111 0 0 4096 0 0 0 0 17 1 0 0
/proc/3924/statm: 39287 27116 417 177 0 38190 0
Current children cumulated CPU time (s) 49.23
Current children cumulated vsize (KiB) 162508
[startup+102.301 s]
/proc/loadavg: 2.69 2.60 4.02 3/90 3925
/proc/meminfo: memFree=1023980/2055920 swapFree=4147308/4192956
[pid=3921] ppid=3919 vsize=5360 CPUtime=0
/proc/3921/stat : 3921 (hydra) S 3919 3921 2833 0 -1 4194304 330 247 0 0 0 0 0 0 18 0 1 0 679683419 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3921/statm: 1340 236 195 169 0 51 0
[pid=3924] ppid=3921 vsize=157148 CPUtime=100.12
/proc/3924/stat : 3924 (xsolve) R 3921 3921 2833 0 -1 4194304 27644 0 0 0 9996 16 0 0 25 0 1 0 679683420 160919552 27116 996147200 134512640 135239763 4294956176 18446744073709551615 134543144 0 0 4096 0 0 0 0 17 1 0 0
/proc/3924/statm: 39287 27116 417 177 0 38190 0
Current children cumulated CPU time (s) 100.12
Current children cumulated vsize (KiB) 162508
[startup+162.302 s]
/proc/loadavg: 2.27 2.50 3.90 3/90 3925
/proc/meminfo: memFree=1024172/2055920 swapFree=4147308/4192956
[pid=3921] ppid=3919 vsize=5360 CPUtime=0
/proc/3921/stat : 3921 (hydra) S 3919 3921 2833 0 -1 4194304 330 247 0 0 0 0 0 0 18 0 1 0 679683419 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3921/statm: 1340 236 195 169 0 51 0
[pid=3924] ppid=3921 vsize=157148 CPUtime=159.84
/proc/3924/stat : 3924 (xsolve) R 3921 3921 2833 0 -1 4194304 27644 0 0 0 15968 16 0 0 25 0 1 0 679683420 160919552 27116 996147200 134512640 135239763 4294956176 18446744073709551615 135096848 0 0 4096 0 0 0 0 17 1 0 0
/proc/3924/statm: 39287 27116 417 177 0 38190 0
Current children cumulated CPU time (s) 159.84
Current children cumulated vsize (KiB) 162508
[startup+222.302 s]
/proc/loadavg: 2.10 2.40 3.78 3/90 3925
/proc/meminfo: memFree=1024108/2055920 swapFree=4147308/4192956
[pid=3921] ppid=3919 vsize=5360 CPUtime=0
/proc/3921/stat : 3921 (hydra) S 3919 3921 2833 0 -1 4194304 330 247 0 0 0 0 0 0 18 0 1 0 679683419 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3921/statm: 1340 236 195 169 0 51 0
[pid=3924] ppid=3921 vsize=157148 CPUtime=219.54
/proc/3924/stat : 3924 (xsolve) R 3921 3921 2833 0 -1 4194304 27644 0 0 0 21938 16 0 0 25 0 1 0 679683420 160919552 27116 996147200 134512640 135239763 4294956176 18446744073709551615 134535329 0 0 4096 0 0 0 0 17 1 0 0
/proc/3924/statm: 39287 27116 417 177 0 38190 0
Current children cumulated CPU time (s) 219.54
Current children cumulated vsize (KiB) 162508
[startup+282.301 s]
/proc/loadavg: 2.03 2.33 3.66 3/90 3925
/proc/meminfo: memFree=1024108/2055920 swapFree=4147308/4192956
[pid=3921] ppid=3919 vsize=5360 CPUtime=0
/proc/3921/stat : 3921 (hydra) S 3919 3921 2833 0 -1 4194304 330 247 0 0 0 0 0 0 18 0 1 0 679683419 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3921/statm: 1340 236 195 169 0 51 0
[pid=3924] ppid=3921 vsize=157148 CPUtime=279.26
/proc/3924/stat : 3924 (xsolve) R 3921 3921 2833 0 -1 4194304 27644 0 0 0 27910 16 0 0 25 0 1 0 679683420 160919552 27116 996147200 134512640 135239763 4294956176 18446744073709551615 134535736 0 0 4096 0 0 0 0 17 1 0 0
/proc/3924/statm: 39287 27116 417 177 0 38190 0
Current children cumulated CPU time (s) 279.26
Current children cumulated vsize (KiB) 162508
[startup+342.301 s]
/proc/loadavg: 2.01 2.27 3.56 3/90 3925
/proc/meminfo: memFree=1024052/2055920 swapFree=4147308/4192956
[pid=3921] ppid=3919 vsize=5360 CPUtime=0
/proc/3921/stat : 3921 (hydra) S 3919 3921 2833 0 -1 4194304 330 247 0 0 0 0 0 0 18 0 1 0 679683419 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3921/statm: 1340 236 195 169 0 51 0
[pid=3924] ppid=3921 vsize=157148 CPUtime=338.96
/proc/3924/stat : 3924 (xsolve) R 3921 3921 2833 0 -1 4194304 27644 0 0 0 33880 16 0 0 25 0 1 0 679683420 160919552 27116 996147200 134512640 135239763 4294956176 18446744073709551615 134535329 0 0 4096 0 0 0 0 17 1 0 0
/proc/3924/statm: 39287 27116 417 177 0 38190 0
################
# More data... #
################
/proc/3940/task/3945/stat : 3945 (java) S 3939 3921 2833 0 -1 64 19 0 0 0 0 0 0 0 16 0 9 0 679743747 671453184 96220 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3940/tid=3946] ppid=3939 vsize=655716 CPUtime=0
/proc/3940/task/3946/stat : 3946 (java) S 3939 3921 2833 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 679743749 671453184 96220 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3940/tid=3947] ppid=3939 vsize=655716 CPUtime=0.42
/proc/3940/task/3947/stat : 3947 (java) S 3939 3921 2833 0 -1 64 774 0 0 0 41 1 0 0 15 0 9 0 679743749 671453184 96220 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3940/tid=3948] ppid=3939 vsize=655716 CPUtime=0
/proc/3940/task/3948/stat : 3948 (java) S 3939 3921 2833 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 679743749 671453184 96220 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3940/tid=3949] ppid=3939 vsize=655716 CPUtime=0
/proc/3940/task/3949/stat : 3949 (java) S 3939 3921 2833 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 679743749 671453184 96220 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3941] ppid=3939 vsize=7044 CPUtime=0
/proc/3941/stat : 3941 (translate) S 3939 3921 2833 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 679743745 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 256365002834 0 4 0 0 18446744071563648864 0 0 17 1 0 0
/proc/3941/statm: 1761 213 182 1 0 41 0
[pid=3929/tid=3930] ppid=3921 vsize=197432 CPUtime=4.54
/proc/3929/task/3930/stat : 3930 (java) S 3921 3921 2833 0 -1 64 3963 0 1 0 448 6 0 0 25 0 10 0 679743155 202170368 9454 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=3929/tid=3931] ppid=3921 vsize=197432 CPUtime=1.07
/proc/3929/task/3931/stat : 3931 (java) S 3921 3921 2833 0 -1 64 8507 0 0 0 99 8 0 0 16 0 10 0 679743156 202170368 9454 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3929/tid=3932] ppid=3921 vsize=197432 CPUtime=0
/proc/3929/task/3932/stat : 3932 (java) S 3921 3921 2833 0 -1 64 10 0 0 0 0 0 0 0 16 0 10 0 679743156 202170368 9454 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3929/tid=3933] ppid=3921 vsize=197432 CPUtime=0
/proc/3929/task/3933/stat : 3933 (java) S 3921 3921 2833 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 679743156 202170368 9454 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3929/tid=3934] ppid=3921 vsize=197432 CPUtime=0
/proc/3929/task/3934/stat : 3934 (java) S 3921 3921 2833 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 679743158 202170368 9454 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3929/tid=3935] ppid=3921 vsize=197432 CPUtime=0.18
/proc/3929/task/3935/stat : 3935 (java) S 3921 3921 2833 0 -1 64 643 0 0 0 18 0 0 0 16 0 10 0 679743158 202170368 9454 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3929/tid=3936] ppid=3921 vsize=197432 CPUtime=0
/proc/3929/task/3936/stat : 3936 (java) S 3921 3921 2833 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 679743158 202170368 9454 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3929/tid=3937] ppid=3921 vsize=197432 CPUtime=0
/proc/3929/task/3937/stat : 3937 (java) S 3921 3921 2833 0 -1 64 13 0 0 0 0 0 0 0 15 0 10 0 679743158 202170368 9454 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3929/tid=3938] ppid=3921 vsize=197432 CPUtime=0
/proc/3929/task/3938/stat : 3938 (java) S 3921 3921 2833 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 679743744 202170368 9454 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 668.68
Current children cumulated vsize (KiB) 870908
[startup+676.004 s]
/proc/loadavg: 2.04 2.09 3.08 3/110 3949
/proc/meminfo: memFree=726292/2055920 swapFree=4147308/4192956
[pid=3921] ppid=3919 vsize=5360 CPUtime=592.77
/proc/3921/stat : 3921 (hydra) S 3919 3921 2833 0 -1 4194304 375 28252 0 0 0 0 59259 18 18 0 1 0 679683419 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3921/statm: 1340 238 196 169 0 51 0
[pid=3929] ppid=3921 vsize=197432 CPUtime=5.83
/proc/3929/stat : 3929 (java) S 3921 3921 2833 0 -1 0 13920 0 1 0 567 16 0 0 18 0 10 0 679743154 202170368 9454 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3929/statm: 49358 9454 2543 9 0 43941 0
[pid=3939] ppid=3929 vsize=5356 CPUtime=0
/proc/3939/stat : 3939 (abscon) S 3929 3921 2833 0 -1 4194304 302 0 0 0 0 0 0 0 25 0 1 0 679743744 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 256364831556 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/3939/statm: 1339 235 194 169 0 50 0
[pid=3940] ppid=3939 vsize=655716 CPUtime=71.66
/proc/3940/stat : 3940 (java) S 3939 3921 2833 0 -1 0 97470 0 1 0 7122 44 0 0 25 0 9 0 679743745 671453184 96231 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3940/statm: 163929 96231 2617 9 0 158457 0
[pid=3940/tid=3942] ppid=3939 vsize=655716 CPUtime=68.38
/proc/3940/task/3942/stat : 3942 (java) R 3939 3921 2833 0 -1 64 12585 0 1 0 6828 10 0 0 25 0 9 0 679743746 671453184 96231 996147200 134512640 134550740 4294955808 18446744073709551615 4127424304 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3940/tid=3943] ppid=3939 vsize=655716 CPUtime=2.8
/proc/3940/task/3943/stat : 3943 (java) S 3939 3921 2833 0 -1 64 83542 0 0 0 249 31 0 0 17 0 9 0 679743747 671453184 96231 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3940/tid=3944] ppid=3939 vsize=655716 CPUtime=0
/proc/3940/task/3944/stat : 3944 (java) S 3939 3921 2833 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 679743747 671453184 96231 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3940/tid=3945] ppid=3939 vsize=655716 CPUtime=0
/proc/3940/task/3945/stat : 3945 (java) S 3939 3921 2833 0 -1 64 19 0 0 0 0 0 0 0 16 0 9 0 679743747 671453184 96231 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3940/tid=3946] ppid=3939 vsize=655716 CPUtime=0
/proc/3940/task/3946/stat : 3946 (java) S 3939 3921 2833 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 679743749 671453184 96231 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3940/tid=3947] ppid=3939 vsize=655716 CPUtime=0.44
/proc/3940/task/3947/stat : 3947 (java) S 3939 3921 2833 0 -1 64 785 0 0 0 43 1 0 0 15 0 9 0 679743749 671453184 96231 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3940/tid=3948] ppid=3939 vsize=655716 CPUtime=0
/proc/3940/task/3948/stat : 3948 (java) S 3939 3921 2833 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 679743749 671453184 96231 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3940/tid=3949] ppid=3939 vsize=655716 CPUtime=0
/proc/3940/task/3949/stat : 3949 (java) S 3939 3921 2833 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 679743749 671453184 96231 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3941] ppid=3939 vsize=7044 CPUtime=0
/proc/3941/stat : 3941 (translate) S 3939 3921 2833 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 679743745 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 256365002834 0 4 0 0 18446744071563648864 0 0 17 1 0 0
/proc/3941/statm: 1761 213 182 1 0 41 0
[pid=3929/tid=3930] ppid=3921 vsize=197432 CPUtime=4.54
/proc/3929/task/3930/stat : 3930 (java) S 3921 3921 2833 0 -1 64 3963 0 1 0 448 6 0 0 25 0 10 0 679743155 202170368 9454 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=3929/tid=3931] ppid=3921 vsize=197432 CPUtime=1.07
/proc/3929/task/3931/stat : 3931 (java) S 3921 3921 2833 0 -1 64 8507 0 0 0 99 8 0 0 16 0 10 0 679743156 202170368 9454 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3929/tid=3932] ppid=3921 vsize=197432 CPUtime=0
/proc/3929/task/3932/stat : 3932 (java) S 3921 3921 2833 0 -1 64 10 0 0 0 0 0 0 0 16 0 10 0 679743156 202170368 9454 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3929/tid=3933] ppid=3921 vsize=197432 CPUtime=0
/proc/3929/task/3933/stat : 3933 (java) S 3921 3921 2833 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 679743156 202170368 9454 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3929/tid=3934] ppid=3921 vsize=197432 CPUtime=0
/proc/3929/task/3934/stat : 3934 (java) S 3921 3921 2833 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 679743158 202170368 9454 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3929/tid=3935] ppid=3921 vsize=197432 CPUtime=0.18
/proc/3929/task/3935/stat : 3935 (java) S 3921 3921 2833 0 -1 64 643 0 0 0 18 0 0 0 16 0 10 0 679743158 202170368 9454 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3929/tid=3936] ppid=3921 vsize=197432 CPUtime=0
/proc/3929/task/3936/stat : 3936 (java) S 3921 3921 2833 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 679743158 202170368 9454 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3929/tid=3937] ppid=3921 vsize=197432 CPUtime=0
/proc/3929/task/3937/stat : 3937 (java) S 3921 3921 2833 0 -1 64 13 0 0 0 0 0 0 0 15 0 10 0 679743158 202170368 9454 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3929/tid=3938] ppid=3921 vsize=197432 CPUtime=0
/proc/3929/task/3938/stat : 3938 (java) S 3921 3921 2833 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 679743744 202170368 9454 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 670.26
Current children cumulated vsize (KiB) 870908
[startup+676.804 s]
/proc/loadavg: 2.04 2.09 3.08 3/110 3949
/proc/meminfo: memFree=726292/2055920 swapFree=4147308/4192956
[pid=3921] ppid=3919 vsize=5360 CPUtime=592.77
/proc/3921/stat : 3921 (hydra) S 3919 3921 2833 0 -1 4194304 375 28252 0 0 0 0 59259 18 18 0 1 0 679683419 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3921/statm: 1340 238 196 169 0 51 0
[pid=3929] ppid=3921 vsize=197432 CPUtime=5.83
/proc/3929/stat : 3929 (java) S 3921 3921 2833 0 -1 0 13920 0 1 0 567 16 0 0 18 0 10 0 679743154 202170368 9454 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3929/statm: 49358 9454 2543 9 0 43941 0
[pid=3939] ppid=3929 vsize=5356 CPUtime=0
/proc/3939/stat : 3939 (abscon) S 3929 3921 2833 0 -1 4194304 302 0 0 0 0 0 0 0 25 0 1 0 679743744 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 256364831556 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/3939/statm: 1339 235 194 169 0 50 0
[pid=3940] ppid=3939 vsize=655716 CPUtime=72.45
/proc/3940/stat : 3940 (java) S 3939 3921 2833 0 -1 0 97471 0 1 0 7201 44 0 0 25 0 9 0 679743745 671453184 96231 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3940/statm: 163929 96231 2617 9 0 158457 0
[pid=3940/tid=3942] ppid=3939 vsize=655716 CPUtime=69.17
/proc/3940/task/3942/stat : 3942 (java) R 3939 3921 2833 0 -1 64 12586 0 1 0 6907 10 0 0 25 0 9 0 679743746 671453184 96231 996147200 134512640 134550740 4294955808 18446744073709551615 4127401435 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3940/tid=3943] ppid=3939 vsize=655716 CPUtime=2.8
/proc/3940/task/3943/stat : 3943 (java) S 3939 3921 2833 0 -1 64 83542 0 0 0 249 31 0 0 17 0 9 0 679743747 671453184 96231 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3940/tid=3944] ppid=3939 vsize=655716 CPUtime=0
/proc/3940/task/3944/stat : 3944 (java) S 3939 3921 2833 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 679743747 671453184 96231 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3940/tid=3945] ppid=3939 vsize=655716 CPUtime=0
/proc/3940/task/3945/stat : 3945 (java) S 3939 3921 2833 0 -1 64 19 0 0 0 0 0 0 0 16 0 9 0 679743747 671453184 96231 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3940/tid=3946] ppid=3939 vsize=655716 CPUtime=0
/proc/3940/task/3946/stat : 3946 (java) S 3939 3921 2833 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 679743749 671453184 96231 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3940/tid=3947] ppid=3939 vsize=655716 CPUtime=0.44
/proc/3940/task/3947/stat : 3947 (java) S 3939 3921 2833 0 -1 64 785 0 0 0 43 1 0 0 15 0 9 0 679743749 671453184 96231 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3940/tid=3948] ppid=3939 vsize=655716 CPUtime=0
/proc/3940/task/3948/stat : 3948 (java) S 3939 3921 2833 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 679743749 671453184 96231 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3940/tid=3949] ppid=3939 vsize=655716 CPUtime=0
/proc/3940/task/3949/stat : 3949 (java) S 3939 3921 2833 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 679743749 671453184 96231 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3941] ppid=3939 vsize=7044 CPUtime=0
/proc/3941/stat : 3941 (translate) S 3939 3921 2833 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 679743745 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 256365002834 0 4 0 0 18446744071563648864 0 0 17 1 0 0
/proc/3941/statm: 1761 213 182 1 0 41 0
[pid=3929/tid=3930] ppid=3921 vsize=197432 CPUtime=4.54
/proc/3929/task/3930/stat : 3930 (java) S 3921 3921 2833 0 -1 64 3963 0 1 0 448 6 0 0 25 0 10 0 679743155 202170368 9454 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=3929/tid=3931] ppid=3921 vsize=197432 CPUtime=1.07
/proc/3929/task/3931/stat : 3931 (java) S 3921 3921 2833 0 -1 64 8507 0 0 0 99 8 0 0 16 0 10 0 679743156 202170368 9454 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3929/tid=3932] ppid=3921 vsize=197432 CPUtime=0
/proc/3929/task/3932/stat : 3932 (java) S 3921 3921 2833 0 -1 64 10 0 0 0 0 0 0 0 16 0 10 0 679743156 202170368 9454 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3929/tid=3933] ppid=3921 vsize=197432 CPUtime=0
/proc/3929/task/3933/stat : 3933 (java) S 3921 3921 2833 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 679743156 202170368 9454 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3929/tid=3934] ppid=3921 vsize=197432 CPUtime=0
/proc/3929/task/3934/stat : 3934 (java) S 3921 3921 2833 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 679743158 202170368 9454 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3929/tid=3935] ppid=3921 vsize=197432 CPUtime=0.18
/proc/3929/task/3935/stat : 3935 (java) S 3921 3921 2833 0 -1 64 643 0 0 0 18 0 0 0 16 0 10 0 679743158 202170368 9454 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3929/tid=3936] ppid=3921 vsize=197432 CPUtime=0
/proc/3929/task/3936/stat : 3936 (java) S 3921 3921 2833 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 679743158 202170368 9454 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3929/tid=3937] ppid=3921 vsize=197432 CPUtime=0
/proc/3929/task/3937/stat : 3937 (java) S 3921 3921 2833 0 -1 64 13 0 0 0 0 0 0 0 15 0 10 0 679743158 202170368 9454 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3929/tid=3938] ppid=3921 vsize=197432 CPUtime=0
/proc/3929/task/3938/stat : 3938 (java) S 3921 3921 2833 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 679743744 202170368 9454 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 671.05
Current children cumulated vsize (KiB) 870908
[startup+677.204 s]
/proc/loadavg: 2.04 2.09 3.08 3/110 3949
/proc/meminfo: memFree=726292/2055920 swapFree=4147308/4192956
[pid=3921] ppid=3919 vsize=5360 CPUtime=592.77
/proc/3921/stat : 3921 (hydra) S 3919 3921 2833 0 -1 4194304 375 28252 0 0 0 0 59259 18 18 0 1 0 679683419 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3921/statm: 1340 238 196 169 0 51 0
[pid=3929] ppid=3921 vsize=197432 CPUtime=78.6
/proc/3929/stat : 3929 (java) S 3921 3921 2833 0 -1 0 14020 98092 1 1 567 16 7227 50 18 0 9 0 679743154 202170368 9456 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3929/statm: 49358 9456 2544 9 0 43941 0
[pid=3929/tid=3930] ppid=3921 vsize=197432 CPUtime=77.31
/proc/3929/task/3930/stat : 3930 (java) S 3921 3921 2833 0 -1 64 4043 98092 1 1 448 6 7227 50 16 0 9 0 679743155 202170368 9456 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3929/tid=3931] ppid=3921 vsize=197432 CPUtime=73.84
/proc/3929/task/3931/stat : 3931 (java) S 3921 3921 2833 0 -1 64 8518 98092 0 1 99 8 7227 50 16 0 9 0 679743156 202170368 9456 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3929/tid=3932] ppid=3921 vsize=197432 CPUtime=72.77
/proc/3929/task/3932/stat : 3932 (java) S 3921 3921 2833 0 -1 64 10 98092 0 1 0 0 7227 50 16 0 9 0 679743156 202170368 9456 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3929/tid=3933] ppid=3921 vsize=197432 CPUtime=72.77
/proc/3929/task/3933/stat : 3933 (java) S 3921 3921 2833 0 -1 64 5 98092 0 1 0 0 7227 50 16 0 9 0 679743156 202170368 9456 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3929/tid=3934] ppid=3921 vsize=197432 CPUtime=72.77
/proc/3929/task/3934/stat : 3934 (java) S 3921 3921 2833 0 -1 64 1 98092 0 1 0 0 7227 50 18 0 9 0 679743158 202170368 9456 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3929/tid=3935] ppid=3921 vsize=197432 CPUtime=72.95
/proc/3929/task/3935/stat : 3935 (java) S 3921 3921 2833 0 -1 64 643 98092 0 1 18 0 7227 50 16 0 9 0 679743158 202170368 9456 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3929/tid=3936] ppid=3921 vsize=197432 CPUtime=72.77
/proc/3929/task/3936/stat : 3936 (java) S 3921 3921 2833 0 -1 64 1 98092 0 1 0 0 7227 50 19 0 9 0 679743158 202170368 9456 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3929/tid=3937] ppid=3921 vsize=197432 CPUtime=72.77
/proc/3929/task/3937/stat : 3937 (java) S 3921 3921 2833 0 -1 64 13 98092 0 1 0 0 7227 50 15 0 9 0 679743158 202170368 9456 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 671.37
Current children cumulated vsize (KiB) 202792
Child status: 0
Real time (s): 677.216
CPU time (s): 671.41
CPU user time (s): 670.546
CPU system time (s): 0.863868
CPU usage (%): 99.1426
Max. virtual memory (cumulated for all children) (KiB): 872196
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 670.546
system time used= 0.863868
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 140779
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= 14461
involuntary context switches= 33615
runsolver used 1.61575 second user time and 3.74143 second system time
The end
Begin job on node90 at 2008-07-05 08:32:48
IDJOB=1086498
IDBENCH=57829
IDSOLVER=365
FILE ID=node90/1086498-1215239568
PBS_JOBID= 7881908
Free space on /tmp= 66548 MiB
SOLVER NAME= cpHydra k_10
BENCH NAME= CPAI08/csp/fapp/fapp38/normalized-fapp38-2500-9.xml
COMMAND LINE= HOME/cpHydra_k_10/hydra BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1086498-1215239568/watcher-1086498-1215239568 -o /tmp/evaluation-result-1086498-1215239568/solver-1086498-1215239568 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1086498-1215239568.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 68fe27f113711ce0fc0a376a1a638b50
RANDOM SEED=583048593
node90.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.236
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.236
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 : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1131740 kB
Buffers: 6508 kB
Cached: 104164 kB
SwapCached: 37024 kB
Active: 848352 kB
Inactive: 20112 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1131740 kB
SwapTotal: 4192956 kB
SwapFree: 4147308 kB
Dirty: 33208 kB
Writeback: 0 kB
Mapped: 774136 kB
Slab: 38788 kB
Committed_AS: 1754368 kB
PageTables: 3800 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= 66524 MiB
End job on node90 at 2008-07-05 08:44:06