Trace number 205636

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
buggy_2_5_s 2007-01-08SAT 57.0013 57.0871

General information on the benchmark

Namefapp/fapp36-40/fapp40/
fapp40-3000-5.xml
MD5SUM4350c131016c23f892c949167354beef
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark50.7403
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables3000
Number of constraints53548
Maximum constraint arity2
Maximum domain size698
Number of constraints which are defined in extension0
Number of constraints which are defined in intension53548
Global constraints used (with number of constraints)

Solver Data (download as text)

c 
c 
c 
c solution file
c 
c 

SAT
-3418 3202 -3218 -3574 -4022 -4158 -4002 -3150 -3542 -3766 -3662 -3302 -3266 4002 -4538 -3574 -3302 -4186 -3550 -3898 3618 3646 -3478 -3342 -4502 -3362 3722 4178 -3814 3534 3702 4162 -3626 -3866 3486 -4130 3310 -3994 3970 -3806 4038 -4114 3906 -4306 -4222 -4322 3150 -4210 -3962 -3502 4422 -3490 -4434 4498 -4110 -3258 4190 -4498 4282 4034 -3642 -3398 4430 -3890 4106 3950 -4146 4490 -4542 3750 -4382 -3642 3258 -3722 -4298 -4498 4542 3590 4246 4434 -4342 -4190 -4026 4150 -3498 -3254 -4502 3566 -4398 3286 -4306 4198 -3974 -3370 -4334 3170 4114 4214 -4078 4306 3954 -4502 3238 3198 -4482 -3970 3710 3150 3862 3210 -3406 -3766 3414 3542 4002 -4254 -3654 3954 -3210 -3214 -4034 3834 -3702 -4502 -3818 3470 -4186 -4270 4158 -4442 3730 -3486 4250 -3406 4102 -4526 -3914 -3578 4190 -3582 -3350 4246 3150 -3638 -3258 3810 -3658 -4414 -3238 3306 3938 3702 4042 4294 -3614 -3898 -4038 3474 -3290 -4458 -3442 -4290 -4358 3258 -3550 -4010 -3582 -4186 4106 4466 -3150 3586 4242 -4282 3534 4498 -3598 -4146 -4254 -3590 3334 4074 3650 3542 3742 -3214 3190 -3942 3810 -4538 -3578 -3478 3350 -3546 3306 -4146 3546 -3402 3906 3982 -4470 3934 -4186 4082 -3190 4090 -3190 3346 4486 4346 3510 3390 -4522 -4186 -4426 -3610 -3246 3194 -3298 -3154 3210 4102 3526 4122 3710 4226 -3910 -4446 3854 3190 3558 -4450 -4170 -3638 3998 -3498 4434 -3598 -4498 -3194 -4382 -3246 4130 3310 -3190 -4462 4330 -3954 -3814 3250 3686 -3302 3786 3774 -3810 -3926 -3330 -4202 -3290 -3726 3574 -4310 4014 -4146 3394 -3218 -3434 -3150 -3586 3602 -4422 3578 3950 -3330 4178 3418 -3526 -4542 -3810 3634 3150 -4482 -3622 4522 3630 3562 3202 -4462 4134 -3806 -3742 -4322 4342 -3546 3150 -4314 -3190 3278 3678 -3190 -4014 -4422 -4006 3262 -3714 -3666 -3710 3622 3598 -3462 3846 3810 4458 -4342 -3646 4506 -3234 3718 -4474 -3558 -3446 4182 4114 4418 -4282 4398 3666 -3198 -3242 3158 -3218 -4226 -3426 -3786 3422 3742 4230 4490 -4422 -4498 -3242 -3302 -4522 -3586 3954 -3706 -4186 -3646 3970 3518 3590 3334 4158 -3582 -3594 -3214 -3974 -3358 3426 -3366 3354 4154 4294 3386 -3326 3654 3326 4146 -4146 3254 -3858 -3758 -3350 4330 3802 -4502 -3650 -4114 -4334 -4522 -4230 3474 -3474 -4534 -3190 3762 -4398 3666 3194 3330 -4094 -3574 3682 -3586 3202 -3610 -4130 3154 3846 -4230 -3422 -4162 -4518 -3594 4322 -4462 -4410 3462 4410 -4242 -4146 3370 -3326 3306 4186 -4306 3278 -3578 -3302 3518 -3814 3606 4078 3822 -4122 -3706 -4046 -4254 -4266 3366 3262 -3562 -3574 -4502 4350 3570 -3254 3242 -3438 -3478 3386 3342 -3902 -4294 3594 4370 -3262 4482 -3526 -3638 -3582 -4462 3214 -3266 4146 -3330 3362 3510 3422 -3550 -3466 4242 3258 3406 -3698 3294 -3910 3438 -3446 -4306 4266 -4470 4218 -4066 -3234 -3946 3582 3382 -3678 3602 4298 4274 3602 3190 4266 -3190 4334 3170 -3174 4470 -3458 -3266 -3966 4202 3306 4502 3158 -3302 -4158 4202 -4014 -4466 -4382 -3638 -4386 -4130 -3286 -3650 3770 4174 -3190 3158 4282 4214 4502 4502 4198 -3310 -3586 -3366 4502 3638 4502 4410 -3614 3970 -3382 -4014 3350 3886 -4522 4438 -4198 -3642 4074 4034 -3302 3358 -3990 -3218 3202 3606 3434 -3714 -3214 4098 3338 -4498 3398 -4126 -3770 -4438 4370 -3762 -3974 3770 -3554 -4134 3982 3926 4386 3150 4074 3690 -3318 3966 3586 -4470 4362 3306 3678 3802 4338 3282 -4342 3914 -3638 4182 -4030 -3622 -3602 -3426 -4146 -3822 -3598 3574 -4346 -3574 4542 3810 -3586 3662 -4358 -3198 4238 3558 -4026 -4462 -4522 4518 3394 -4138 3970 -3510 -3638 -4542 -4010 3718 -4146 -4186 -3486 4266 -3222 3186 4082 -4182 3678 -3574 3190 3830 4386 -4282 -4222 3958 -3770 4442 -4374 3190 3458 3378 3702 -3554 -3846 3566 -3798 3550 -3446 -4042 4038 3954 -3678 -4118 4126 -4398 4002 -3626 -3974 -4522 3994 -3262 -3278 -3698 -3970 4062 -4074 3690 3270 -3198 3826 -3638 -4478 -3150 -3670 -3150 3210 -3318 3486 -3246 4014 -3570 -3634 -3218 3406 -3642 -3618 -3174 -4138 4274 3622 -4510 3934 4006 -4202 3218 3594 4330 -4334 -4146 4482 -3474 -3866 3806 -3218 3242 -3682 -4022 -3622 3818 3214 -3734 3502 -4214 4410 -3414 -4322 4402 4130 3150 3502 -4502 3202 -4446 4246 3674 -3762 -4034 -3754 -3374 4534 3202 3274 3766 3530 4542 3150 -3274 3262 3774 4390 -3370 3750 3670 4230 4166 4238 -4022 4542 3438 -3842 -4222 4162 4242 -3422 -3730 4018 -3398 -4462 -4426 4542 -3414 -3858 -4542 -4322 4246 -3950 -3850 -4310 -4242 -4186 -4450 -4234 -3906 -3530 3178 3446 3554 4438 3854 -3614 -3314 3266 -3410 -4014 4214 3306 3362 -3582 4218 4230 -4462 4326 -3726 -4450 3726 -4046 3918 -4502 4122 3254 -4398 -4462 3190 -3238 4470 -3366 -3718 -3662 -4258 3394 3774 3198 -4390 -3874 -4450 -4542 3526 -3770 -3310 -3270 -3210 -4506 -4502 -3982 -3302 -3314 -3974 -4406 3658 -3870 -4482 -4014 3782 4134 -3174 3806 -4238 3710 -3666 3710 -3606 -3806 -3866 3518 3630 -3498 -4362 3962 3582 3370 -3378 3826 4162 -4062 -4074 3402 -4386 -3370 -3198 -4542 -3898 -3758 -4186 4522 3950 4070 3914 3894 3786 4098 -3586 4306 4086 -4346 -3318 3362 3166 -4426 3906 -3634 -3246 4266 -4086 -3770 -4434 3386 -3154 -4370 -3466 -4538 4098 3338 3846 -4342 3814 -3910 3238 3470 3150 3194 -4462 -3862 3382 -4170 3150 3574 -3958 -3430 -3906 -3910 -4538 -3698 4270 -3770 4222 -3730 4466 3562 -3426 3818 -3598 -4186 -3614 -4374 -4470 3458 -4470 -4162 -3390 -4322 3694 -3850 3178 -3826 3418 4466 4490 -4498 -4462 -4514 3242 3814 -3210 4406 -3510 3810 -4458 3726 -4362 4122 4066 -3850 -4186 -3722 -4118 3750 3850 -3838 3322 3270 -4322 3702 3234 -4458 -4122 4002 -3810 3582 3682 3934 3802 -4322 -3246 -3646 3666 -3574 -3318 -4322 -4282 -4542 -3854 -3810 -3422 3662 3914 -4186 -4126 -3734 -4362 -3634 -4362 -4022 -3974 4106 -3410 -3370 -3842 3170 -3302 4242 -3278 -3574 -3478 -4482 -4498 -3190 -4330 3970 4202 4502 4066 -3278 4502 -4422 -3686 3546 -3482 3546 -4542 -4186 -3554 -3742 -3586 -3210 4146 3338 -3702 -3706 -4446 -3718 -3754 3594 -3518 -3522 3498 3510 3846 3606 4502 4362 3806 4106 -4158 4514 -4322 -3826 -3322 -3446 -3994 3506 -3370 3938 -3858 3814 -4014 3190 -3658 4406 -4342 -3618 3418 3802 3286 -3334 -3190 -4154 -3866 -3694 3302 -4062 3666 3842 -4462 4438 3946 3714 -3450 -3426 4362 -4186 4114 4202 3774 3170 -3614 -3494 -4486 -3994 3862 -3814 3426 -3586 -3894 3710 -3538 -3642 -4286 4502 -4022 -4042 -3982 4282 3354 3378 3706 -3190 3214 3990 3238 4210 -4110 -3598 -4374 3838 4430 4042 -4186 3206 3534 -3574 -3454 3614 -4374 -3754 -3190 -3250 -4046 -3334 4402 4198 -3638 4250 3690 -4382 -3986 3598 -3518 4166 3518 -4330 -3294 3158 4106 3426 -3802 3934 -3974 3342 -4218 3274 -4478 -3854 3602 -4014 3162 -4126 -3730 -4198 3854 -3202 3390 -3894 3366 3538 3290 -4422 3898 3998 3282 3282 3238 3866 3922 -3614 -4110 -4510 -4530 -4322 -3626 4254 -3294 -3194 -3818 -3810 3450 -4026 -4074 4490 -4282 3918 -3906 4046 3294 -4462 -4198 3326 3994 -3642 -3650 -3662 -3674 -3974 3390 4002 4102 -3302 -4450 -3298 -4326 3206 3614 -4426 4094 -4334 -3190 -4298 4502 -3850 -4482 -4314 -4446 3286 4002 -3542 3586 -4198 -3974 3438 -3162 3282 4462 3658 -4502 3754 3150 3282 4250 3206 -3550 4030 4262 3218 -3346 4490 4086 4502 -3962 3286 -4346 -3754 -3358 -4242 -4142 3526 -4402 3918 -3582 3838 3930 -3454 3218 -4498 -3358 -3774 -3826 4494 -4258 -3866 3750 -3190 -3622 -4502 -3550 -3238 3590 3602 -3614 3150 4030 -3450 -4014 -3718 -4422 3190 4046 3566 -4254 4174 4006 -4282 3510 -3318 -4038 -3530 -4282 -3622 -3330 3214 4426 -4238 -3262 -3222 3810 -3202 -4054 -3150 -3622 3958 4398 3606 3366 3666 -3298 -4538 4250 -3810 -3358 -3886 -3718 3278 3810 -3690 -4538 3658 -4374 -3538 -4122 4194 3478 -4282 -4422 4002 -3754 -3454 3466 4138 -4146 -3786 3646 3838 3330 -3154 3634 -4402 -3906 -3626 3758 4294 -3882 -3194 3278 3470 -4490 4346 -3258 4502 -4278 3258 -3546 -3966 -4322 -3854 4310 4542 -3770 4358 -3322 -4134 -3974 3270 3518 4274 -3886 3362 4262 -3718 -3198 4530 3574 -3250 3314 -3458 3966 -3450 3654 4422 -3154 3190 -4062 -3754 3590 -3274 -3810 -4394 -3322 -4038 -3150 -3994 3786 4046 -4222 -4086 -3686 -3258 3630 -3694 -3538 3758 -3442 -3766 -4178 -4542 -4290 -4018 4382 -3354 3858 -3194 -3974 3770 4038 3406 4262 -4146 3210 3758 -4502 -3974 -4434 4502 4266 3150 3714 -4354 -3162 -3834 4150 3770 3878 -4046 -3622 -4386 4034 -4282 3178 3254 -4314 -4522 3210 4118 4006 4498 4430 -3626 3718 -3790 -4402 3294 4018 3930 -4294 3862 3602 3342 4510 -4014 3194 -3658 -3210 -4538 4102 -4334 4446 -4422 4194 3870 4274 -4362 3790 4030 4542 4350 -3742 -4198 4070 4022 -3190 -3842 -3298 3150 -3702 4302 -4218 3830 3166 3890 -4394 3786 -4498 4206 3658 -4462 4254 -4390 -4170 3222 3802 -3982 -3878 -4542 -4310 4174 4214 -3322 3898 -3978 -3966 4378 -4034 3438 -3154 -4158 3758 3810 -3806 -3342 -4334 3190 -3762 -4054 -3222 -3218 3190 3270 3454 3954 3198 -3974 3182 -4502 -4158 3218 -4462 3242 -4322 4182 3222 -4050 -4234 -4482 -4086 3910 -4538 -3806 4118 -4542 -4486 -4362 -3590 3666 -4346 3262 -4046 -3546 4038 3970 -3814 -4142 3706 -3298 3242 -3210 -3150 3474 3542 3190 3514 -3258 -3626 3918 3590 3550 -4458 -4198 -3430 3278 3970 -3946 -4058 4098 -3490 -3546 -3278 3734 -3418 -4394 -3998 4114 -3722 3410 -3818 4142 3238 3566 4062 4162 3458 -3774 3618 3970 3622 -3194 -3622 3834 -3974 3854 4106 3286 3150 3370 -3150 -3174 3858 3866 3306 3578 -4178 -3166 -4166 3674 -3978 -4502 -3222 -4138 3722 4310 -3582 -3730 -3722 3938 -3962 -3734 4338 -3274 3586 4070 -4242 3750 -4270 3910 -3286 -4474 -3250 -4142 -3830 4198 3202 4526 3218 4306 4406 -3614 -3402 3638 4490 3762 -3614 3322 -4270 -3186 -3626 -3766 3238 -4290 3962 -4374 3498 4158 4078 -4542 4482 -3974 -4298 -3730 3978 3150 3298 -3410 4542 -3526 3190 4126 -3166 4158 4242 4226 -4226 3362 4110 3206 4114 3362 4522 -4322 -4530 -4462 4346 -3178 -3670 4082 -3774 -4334 -4306 4386 3870 -3774 -3642 3798 3654 -4146 4106 3626 -3826 -3506 -3194 -3210 -4470 3830 3298 3850 4070 -3486 -4034 -3670 -3718 4286 3614 -3590 -3198 -4058 -4146 -3238 -3294 -3190 -4310 -3718 -3838 3510 3970 3566 -4194 3990 4542 4338 3426 -3582 -4206 4126 -4066 3374 -3282 3346 4306 -3966 3150 -3198 4106 3574 -3302 -4442 -4014 4138 -3478 3346 3446 4146 -3242 -3838 3282 -3842 3934 -4486 -4510 -4010 -4502 4462 -4478 3318 3986 -4090 -3798 -4006 3714 -3706 -3698 4522 4366 3634 3514 -4234 -3326 -4414 -3614 -4106 -3926 -3278 -3382 -4030 4422 3322 -3566 3470 4210 3490 -3606 -3190 -3202 3874 3762 -3190 -4074 -3510 -4522 -3318 -3618 -3378 3318 -3614 -4522 3666 3762 -4114 4174 3618 4202 -3486 3214 4030 3526 3450 -4502 3178 -3282 4306 4126 -3654 3850 3378 -3586 4502 3190 3746 3770 3242 -3602 -3150 -4482 -3194 3878 4506 3658 -3170 4418 3270 -3682 -4422 4194 -3242 4542 3202 4542 3310 -4522 3618 3858 3330 -4302 -3514 3562 -4462 -3274 -4542 4518 3578 3338 3818 -3290 4142 -4322 4338 3894 -4126 -4022 -3734 3862 -4322 -3466 3802 -3670 -3998 -4094 3790 -3398 -3802 3454 -3154 -4502 3606 4542 4498 4418 4122 3990 -3494 4086 -3278 -3202 -3386 3598 3954 4334 -4086 -4398 -3914 3390 -3414 -4498 4026 -3642 4086 -4158 3402 3206 3214 -3190 3190 -3426 -3238 4446 3510 -4254 -3318 3874 -4282 -3350 -4006 -3974 -3218 -3558 -4098 3886 4006 3814 3150 -3974 -4462 4086 -3590 -3314 -4170 3518 -4366 4226 4086 -3150 3954 -4410 3930 -4322 -3242 -3402 3706 -3466 4502 -3966 3938 3394 -3450 4162 3478 -4466 -4262 3150 -4114 4282 -3594 -4186 4542 -4458 -3326 -3578 -3718 -3302 -4382 3758 3870 -3678 3630 -4126 3650 3534 -3558 3730 3214 3986 -4462 -4470 -4386 3490 4282 3282 4106 4078 3218 -3242 -3322 4374 -4014 -3586 4538 -3946 -4478 3858 -3422 -3238 -3582 3230 4186 -3378 -4006 -4126 4182 -4430 3622 -3594 -3870 3410 4426 4022 3974 3150 -4062 4074 -3314 -3150 -4246 -3586 4346 4002 -3170 -3690 3326 -3938 -3734 -3558 -3974 4394 -3894 -3150 4154 -3182 3966 3406 -3202 -3234 -3170 -3190 4266 -4542 3766 -4202 3762 -4046 -4158 4502 -4486 -3810 -3446 3682 -4498 -3810 3906 3822 -3638 -4462 -4542 4226 -4482 4470 -4466 3270 3374 -3254 -3366 -4282 -4382 -3654 3494 3518 4090 3294 -3930 -3198 -4250 -3154 4162 -3514 -4014 -4226 -3258 3570 -4138 4026 4370 3402 3354 -3986 4098 -3238 -3938 3342 3262 -4238 -3346 -3694 3954 -3430 3814 4266 3546 4450 3714 -4054 -3678 -3726 -4394 3282 3530 -3474 -3262 -4086 4206 4274 -4206 4498 -4014 -3706 -4142 4074 3194 -3622 3586 -4166 4346 -3986 3546 -3946 -4246 -3582 -4542 3406 -4182 3786 -3202 3326 3954 4502 3514 -3162 -4542 -4218 3750 3746 -4482 -4502 3806 -3194 -4270 4090 3870 -4542 3374 -4530 -4410 3614 -3762 3874 -4202 -3190 3390 -4250 -3898 3598 3890 -3942 -4538 4542 -4498 -4346 4402 3686 -3574 4470 4046 -4198 3634 -4490 3830 3990 3162 3346 4086 -3154 3786 -3622 -3586 3722 -3302 4098 4214 4002 3602 -3282 3982 3246 3362 -3858 -4186 -3810 -4254 -3182 3574 -3370 3686 -4322 4374 3930 -3250 -3362 -4474 -3502 4542 3386 4414 3514 -3370 3966 -4542 -3150 4030 -3402 -4262 3938 -3614 -3326 -3574 -3846 -4482 3426 3958 -4322 -3342 -4462 -3582 3994 4026 3238 4158 -3262 -3250 4110 -3798 -3482 -3330 -3814 3690 4066 -4398 -4082 -4222 3482 -3278 -4030 -3526 -3382 3954 4326 -4510 3158 -3170 3718 -4314 -3330 -4394 3598 -3478 -3546 3462 3550 -3226 -4498 -3874 4202 -3330 -4402 4062 -4326 3770 -3642 4038 3150 -4154 3410 -3226 -3834 -3714 3858 3534 3162 -3594 3382 3310 -3710 -3698 -4146 -4014 -3238 -3550 3866 -3962 3778 3706 -3850 -4502 3762 -3846 3910 -4294 3622 -4350 -3314 -4462 -3174 3826 -4322 3462 3854 -4154 -4170 -3162 -3214 -4126 4042 3910 -3178 4442 -3326 -4158 3998 -3262 -3422 3994 3602 -4006 -4434 -4322 4450 -3582 -4146 -4502 3382 3774 -3758 3274 -3710 4514 -3382 4158 -3510 3626 4386 -3638 -4118 4450 -3426 4058 -3298 -3518 -3638 3150 3846 -4474 -3702 -4346 4542 3618 4130 3602 -3574 -4374 3382 3326 -3886 -3362 -3798 3190 4014 3566 -4258 3714 4482 3534 -4458 -3714 3650 -3406 -4486 3862 -3822 -3930 4178 -3994 3966 3734 3286 -3522 3790 3830 -3898 -3874 -3662 -3158 4114 4042 -4054 -3290 -3718 -3754 3894 -3574 -3386 4542 -3422 -3626 4102 -3546 -4498 -3798 -4422 -3250 3562 3546 4242 -4306 3970 3538 -3582 4022 -3370 -3190 3438 -3766 4450 4062 3358 -3874 -3466 -3206 3254 -3302 -4454 3350 3578 -3206 -3762 3966 -3986 4006 3610 3150 3466 -4270 -3746 3538 3818 3810 4234 3174 -4346 3578 3946 4306 3794 3258 -4542 4502 -3406 -3746 -3630 4170 4034 -4458 -3330 -3226 3378 -3586 3710 4322 3766 -4446 -3266 3154 -3974 -4362 4366 -3678 -4374 3810 4218 -3806 3866 4062 3150 -4226 -3842 3930 -3246 -3930 4426 -4494 -4394 -3706 3930 -3718 3202 -3558 3330 -3150 -4166 -4410 3150 4038 -3278 4210 -4502 3914 3634 -3842 -3266 -3390 -4238 -4422 -4422 3566 3850 4094 -3938 -3574 -3586 3350 3322 -3806 -3258 -4510 3670 -3894 3378 -3202 -4422 3742 -4150 4106 3398 4274 3990 -4082 4074 -3466 -3314 3366 -4354 -3622 3746 -3978 -3726 3182 -3854 4462 -4478 -4206 -4522 3326 -4422 3258 -4362 -3614 3150 -3582 3306 4362 4134 3206 -4362 -4022 3714 -3850 -3642 3626 -3954 4006 -4202 3806 3690 -3198 -3242 -4354 -4290 4490 3986 -3502 -4498 3150 3286 -4538 3310 3870 -3802 -3614 4206 4102 -4334 -4018 3598 4090 -3806 4050 -3210 3622 -4306 3366 -3350 -3842 3406 -4014 -3446 -3238 3302 -3162 -4074 4266 -3974 4290 3822 -4282 -4462 -4306 3202 -4422 -3902 -3974 -4362 -4286 3590 -3262 -3946 -3994 -4422 3674 -3986 -3262 3326 -3582 3622 3490 4222 4150 -4538 3242 -4282 -3390 3878 4222 -4014 -3198 -4014 3722 4502 -3674 -4322 -3154 4306 -4298 4466 -4482 -3974 4542 -3746 -4502 -3370 -3618 4170 -3590 4274 -3530 4022 -4174 3334 -3954 3478 -3242 3230 -3706 -4014 -3370 3770 4026 3834 -4502 3542 3162 -3198 3838 3922 -3994 -4502 3190 3718 -3754 -3330 -4202 -4366 3346 -3690 3730 3150 -4182 -3758 -4330 4542 3986 3422 -3854 4202 -3622 3750 -3446 3994 -3926 -3810 -3654 3854 3150 -3934 -4502 3986 4502 3770 -4422 4430 4414 -4438 -3470 -4210 -3302 -3954 -4346 3434 4502 3942 4362 -4402 4102 -4078 -3506 -4482 3766 -3450 4542 3958 -3426 -3598 3418 3686 3826 -3470 -3274 4074 4462 3614 -4114 -3226 3494 3570 -3178 -3226 3434 3330 -3190 3286 -4210 -4190 3694 4538 3850 4282 3246 -3350 3190 3522 -3550 3934 -3634 -3170 -4130 -3530 -3190 4222 3354 -3434 -3754 -4302 3478 3210 -4050 -3678 3210 -3210 4526 4538 -3262 -3586 -3438 3990 -4146 3974 3366 -4134 -3758 3930 -3358 -3702 -4198 4454 -4542 3710 3830 4262 -4542 -3582 -3674 -3602 -3306 -3178 -4026 -4242 -3642 -3586 4166 4474 -4342 -4162 -3198 4322 3734 4058 -4118 4290 -4422 3190 4466 -4538 -3826 3710 -4422 -4502 -4346 4058 -4414 -3346 3174 3362 -3678 -4062 3338 4234 -3994 4254 -4010 3174 4542 -4422 -3494 -3250 -4314 -4070 -4486 -4446 3518 3378 4382 -3614 -4538 3234 3334 -3242 -4450 3978 -4278 -4382 -3762 -3302 -3718 -4146 -4146 -4462 3550 3606 -4522 3766 4266 4502 3926 -3906 3802 -3410 3374 4346 -4078 -4486 -4482 -3614 3502 3254 -4482 3786 -3230 -3478 -4418 -3858 -4162 -3314 -4214 -3406 -3550 -4418 3802 4190 -3558 -3454 -3422 -3598 -4006 -4362 -3934 -3178 -3206 -4194 -4074 -4014 -3562 4410 -3242 3790 -4374 -3238 -3202 -3314 -3926 -3434 -3514 -4438 3870 -3418 4094 -3802 -4538 -4302 -4422 -3462 3690 -4422 4342 3834 3998 3598 4042 -3190 -3174 -4382 3202 -4290 4022 -3878 4306 4430 -4374 3978 -3582 -4358 -4178 3566 -3810 -3714 -3190 3386 -3714 3474 -3714 -3714 -4350 3150

Verifier Data (download as text)

OK

Watcher Data (download as text)

runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node18/watcher-205636-1168293645 -o ROOT/results/node18/solver-205636-1168293645 -C 1800 -M 900 /tmp/evaluation/205636-1168293645/solver2 /tmp/evaluation/205636-1168293645/unknown 1800 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 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
Current StackSize limit: 10240 KiB

/proc/loadavg: 0.46 1.45 1.73 4/78 26917
/proc/meminfo: memFree=1528256/2055920 swapFree=4192812/4192956
[pid=26916] ppid=26914 vsize=5352 CPUtime=0
/proc/26916/stat : 26916 (solver2) R 26914 26916 19981 0 -1 4194304 304 190 0 0 0 0 0 0 19 0 1 0 177759708 5480448 234 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 4441554 0 0 4100 65536 0 0 0 17 1 0 0
/proc/26916/statm: 1338 234 196 169 0 49 0

[startup+0.106927 s]
/proc/loadavg: 0.46 1.45 1.73 4/78 26917
/proc/meminfo: memFree=1528256/2055920 swapFree=4192812/4192956
[pid=26916] ppid=26914 vsize=5352 CPUtime=0
/proc/26916/stat : 26916 (solver2) S 26914 26916 19981 0 -1 4194304 353 334 0 0 0 0 0 0 19 0 1 0 177759708 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26916/statm: 1338 242 203 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352

[startup+0.514965 s]
/proc/loadavg: 0.46 1.45 1.73 4/78 26917
/proc/meminfo: memFree=1528256/2055920 swapFree=4192812/4192956
[pid=26916] ppid=26914 vsize=5352 CPUtime=0
/proc/26916/stat : 26916 (solver2) S 26914 26916 19981 0 -1 4194304 353 334 0 0 0 0 0 0 19 0 1 0 177759708 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26916/statm: 1338 242 203 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352

[startup+1.33604 s]
/proc/loadavg: 0.46 1.45 1.73 2/79 26929
/proc/meminfo: memFree=1514360/2055920 swapFree=4192812/4192956
[pid=26916] ppid=26914 vsize=5352 CPUtime=1.07
/proc/26916/stat : 26916 (solver2) S 26914 26916 19981 0 -1 4194304 376 3060 0 0 0 0 99 8 16 0 1 0 177759708 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26916/statm: 1338 242 203 169 0 49 0
[pid=26929] ppid=26916 vsize=15516 CPUtime=0.28
/proc/26929/stat : 26929 (bordewijk) R 26916 26916 19981 0 -1 4194304 3363 0 0 0 26 2 0 0 19 0 1 0 177759812 15888384 3335 18446744073709551615 134512640 134912576 4294956752 18446744073709551615 8296059 0 0 4096 0 0 0 0 17 1 0 0
/proc/26929/statm: 3879 3335 204 97 0 3160 0
Current children cumulated CPU time (s) 1.35
Current children cumulated vsize (KiB) 20868

[startup+2.9732 s]
/proc/loadavg: 0.50 1.45 1.73 2/79 26929
/proc/meminfo: memFree=1458744/2055920 swapFree=4192812/4192956
[pid=26916] ppid=26914 vsize=5352 CPUtime=1.07
/proc/26916/stat : 26916 (solver2) S 26914 26916 19981 0 -1 4194304 376 3060 0 0 0 0 99 8 16 0 1 0 177759708 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26916/statm: 1338 242 203 169 0 49 0
[pid=26929] ppid=26916 vsize=82044 CPUtime=1.91
/proc/26929/stat : 26929 (bordewijk) R 26916 26916 19981 0 -1 4194304 20002 0 0 0 173 18 0 0 25 0 1 0 177759812 84013056 19974 18446744073709551615 134512640 134912576 4294956752 18446744073709551615 8296059 0 0 4096 0 0 0 0 17 1 0 0
/proc/26929/statm: 20511 19975 204 97 0 19792 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 87396

[startup+6.26052 s]
/proc/loadavg: 0.50 1.45 1.73 2/79 26929
/proc/meminfo: memFree=1324408/2055920 swapFree=4192812/4192956
[pid=26916] ppid=26914 vsize=5352 CPUtime=1.07
/proc/26916/stat : 26916 (solver2) S 26914 26916 19981 0 -1 4194304 376 3060 0 0 0 0 99 8 16 0 1 0 177759708 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26916/statm: 1338 242 203 169 0 49 0
[pid=26929] ppid=26916 vsize=184936 CPUtime=5.21
/proc/26929/stat : 26929 (bordewijk) R 26916 26916 19981 0 -1 4194304 45749 0 0 0 484 37 0 0 25 0 1 0 177759812 189374464 45719 18446744073709551615 134512640 134912576 4294956752 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/26929/statm: 46234 45719 211 97 0 45515 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 190288

[startup+12.7221 s]
/proc/loadavg: 0.58 1.43 1.72 3/85 26955
/proc/meminfo: memFree=1044576/2055920 swapFree=4192812/4192956
[pid=26916] ppid=26914 vsize=5352 CPUtime=1.07
/proc/26916/stat : 26916 (solver2) S 26914 26916 19981 0 -1 4194304 376 3060 0 0 0 0 99 8 16 0 1 0 177759708 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26916/statm: 1338 242 203 169 0 49 0
[pid=26929] ppid=26916 vsize=423784 CPUtime=11.63
/proc/26929/stat : 26929 (bordewijk) R 26916 26916 19981 0 -1 4194304 114322 0 0 0 704 459 0 0 25 0 1 0 177759812 433954816 103353 18446744073709551615 134512640 134912576 4294956752 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/26929/statm: 105946 103353 217 97 0 105227 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 429136

[startup+25.5384 s]
/proc/loadavg: 0.64 1.42 1.71 2/85 27004
/proc/meminfo: memFree=1442720/2055920 swapFree=4192812/4192956
[pid=26916] ppid=26914 vsize=5352 CPUtime=24.11
/proc/26916/stat : 26916 (solver2) S 26914 26916 19981 0 -1 4194304 397 117383 0 0 0 0 867 1544 18 0 1 0 177759708 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26916/statm: 1338 242 203 169 0 49 0
[pid=27004] ppid=26916 vsize=258020 CPUtime=1.37
/proc/27004/stat : 27004 (standalone) R 26916 26916 19981 0 -1 4194304 11845 0 0 0 40 97 0 0 25 0 1 0 177762123 264212480 10756 18446744073709551615 134512640 134775488 4294956880 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/27004/statm: 64505 10756 129 64 0 63820 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 263372

[startup+51.1788 s]
/proc/loadavg: 0.76 1.38 1.69 2/85 27068
/proc/meminfo: memFree=1216984/2055920 swapFree=4192812/4192956
[pid=26916] ppid=26914 vsize=5352 CPUtime=24.11
/proc/26916/stat : 26916 (solver2) S 26914 26916 19981 0 -1 4194304 397 117383 0 0 0 0 867 1544 18 0 1 0 177759708 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26916/statm: 1338 242 203 169 0 49 0
[pid=27004] ppid=26916 vsize=258112 CPUtime=26.97
/proc/27004/stat : 27004 (standalone) R 26916 26916 19981 0 -1 4194304 64761 0 0 0 2327 370 0 0 25 0 1 0 177762123 264306688 63654 18446744073709551615 134512640 134775488 4294956880 18446744073709551615 134555381 0 0 4096 0 0 0 0 17 1 0 0
/proc/27004/statm: 64528 63654 137 64 0 63843 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 263464

Child status: 0
Real time (s): 57.0871
CPU time (s): 57.0013
CPU user time (s): 37.7943
CPU system time (s): 19.2071
CPU usage (%): 99.8498
Max. virtual memory (cumulated for all children) (KiB): 429136

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 37.7943
system time used= 19.2071
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 182728
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1100
involuntary context switches= 1377

runsolver used 0.058991 s user time and 0.148977 s system time

The end

Launcher Data (download as text)

Begin job on node18 on Mon Jan  8 22:00:49 UTC 2007


IDJOB= 205636
IDBENCH= 4160
FILE ID= node18/205636-1168293645

PBS_JOBID= 3501781

Free space on /tmp= 66288 MiB

BENCH NAME= HOME/pub/bench/CPAI06/fapp/fapp36-40/fapp40/fapp40-3000-5.xml
COMMAND LINE= /tmp/evaluation/205636-1168293645/solver2 /tmp/evaluation/205636-1168293645/unknown 1800
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node18/watcher-205636-1168293645 -o ROOT/results/node18/solver-205636-1168293645 -C 1800 -M 900  /tmp/evaluation/205636-1168293645/solver2 /tmp/evaluation/205636-1168293645/unknown 1800

META MD5SUM SOLVER= 2182e29fee250f6e45b9a85a6429fa3a
MD5SUM BENCH=  4350c131016c23f892c949167354beef

RANDOM SEED= 476762768

TIME LIMIT= 1800 seconds

MEMORY LIMIT= 900 MiB


/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.231
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.231
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:       1528736 kB
Buffers:         85516 kB
Cached:         327040 kB
SwapCached:          0 kB
Active:         268636 kB
Inactive:       199376 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1528736 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:           17488 kB
Writeback:           0 kB
Mapped:          74420 kB
Slab:            44700 kB
Committed_AS:  5192344 kB
PageTables:       1720 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= 66235 MiB



End job on node18 on Mon Jan  8 22:01:47 UTC 2007