Trace number 205715

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
Abscon 109 ESACSAT 268.765 269.549

DiagnosticValue
CHECKS48919290
NODES0

General information on the benchmark

Namefapp/fapp36-40/fapp40/
fapp40-3000-4.xml
MD5SUMfa5d20aaa304c41f344fcec6a220c998
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.0494
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)

0.32	   
0.32	Abscon 109 (November, 2006)
0.32	   
0.32	   configuration
0.32	     name=esac.xml
0.35	   
0.35	   instance
0.35	     name=/tmp/evaluation/205715-1168167899/unknown.xml
0.39	   
0.39	   domains being loaded...
0.42	   
0.42	   variables being loaded...
0.99	     nbVariables=3000  nbDomainTypes=14  minDomainSize=50  maxDomainSize=698
0.99	       =>  wckTime=0.671  cpuTime=0.45  mem=58M777
1.00	   
1.00	   predicates being loaded...
1.00	   
1.00	   constraints being loaded...
201.99	   
201.99	   INFO : Stopping converting binary constraints (cpu=200.08, mem = 146M459)
208.02	     nbConstraints=28313  nbMergedConstraints=25235  nbConvertedConstraints=987  nbConvertConstraintsChecks=364381748
208.02	     nbExtensionStructures=884  nbSharedExtensionStructures=103  nbConflictsStructures=884
208.02	     nbSharedConflictsStructures=103  nbSharedBinaryRepresentations=924086  nbEvaluationManagers=18654
208.02	     nbSharedEvaluationManagers=8672  maxDegree=53  maxArity=2
208.02	       =>  wckTime=207.699  cpuTime=205.29  mem=190M346
208.45	   
208.45	   solver IterativeSystematicSolver being built... 
209.47	       =>  wckTime=209.151  cpuTime=205.88  mem=334M15
269.31	   
269.31	   preprocessing
269.31	     nbConstraintChecks=48919290  nbValidityChecks=11638457  nbPropagations=58704  nbRevisions=1084313
269.31	     nbUselessRevisions=1011233  nbSingletonTests=9835  nbEffectiveSingletonTests=10  nbESACBranches=12
269.31	     nbRemovedValues=1846346  detectedInconsistency=no
269.31	       =>  wckTime=59.792  cpuTime=59.61  mem=334M15
269.32	   
269.32	   global
269.32	     nbConstraintChecks=48919290  nbValidityChecks=11638457  nbPropagations=58704  nbRevisions=1084313
269.32	     nbUselessRevisions=1011233  nbRestartNogoods=0  solvingWckTime=59.798  solvingCpuTime=59.62  expiredTime=no
269.32	     totalExploration=no  nbFoundSolutions=1  globalCpuTime=265.58
269.32	       =>  wckTime=268.993  cpuTime=265.54  mem=334M15
269.44	   
269.44	s SATISFIABLE
269.45	v 3418 3194 -3218 -3574 -4006 -4158 -4002 -3150 -3542 -3738 -3666 -3302 -3262 3998 -4502 -3578 -3298 -4182 -3550 -3890 3614 3654 -3478 -3342 -4502 -3362 3722 4134 -3802 3534 3702 4146 -3626 -3870 3486 -4130 3310 -3994 3966 -3810 4022 -4114 -3910 -4310 -4226 -4322 -3158 -4218 -3970 -3502 4422 -3510 -4434 4498 4106 -3450 4190 -4542 4278 4030 -3642 -3394 4422 -3890 4102 3938 -4170 4490 4534 -3754 -4382 -3646 -3250 3722 -4302 -4422 -4542 3586 4242 4426 4334 -4190 -4022 4150 -3498 -3250 -4502 3566 -4378 3286 -4310 4194 -3970 -3378 -4334 3170 4098 4210 -4078 -4298 3954 -4502 -3242 -3198 -4482 -3974 3714 3150 3858 3202 -3402 -3750 3414 3538 3998 -4254 -3654 -3958 -3210 -3206 -4010 3830 -3702 -4502 -3818 3470 -4186 -4314 4266 -4442 3730 -3486 4250 -3402 4098 -4518 3910 -3578 4186 -3582 3346 -4254 3150 -3638 -3298 3806 -3658 4410 -3242 3310 3934 3698 4038 4286 -3614 -3902 -4050 3470 -3294 4454 -3438 -4282 -4338 3258 -3542 -4010 -3582 -4186 4106 4466 -3154 -3586 4238 4278 3538 -4542 -3602 -4146 -4258 -3582 -3330 4070 3650 -3534 -3746 -3230 3190 -3942 3810 -4534 -3578 3474 3350 -3546 3306 -4142 3546 -3402 3902 3982 4466 3934 -4190 4082 -3210 4090 3190 3346 4490 4346 3514 3390 -4522 -4190 -4426 -3610 -3246 3194 -3302 -3158 3210 4106 3526 4122 3706 4218 -3910 -4446 3858 3190 3558 -4450 -4170 -3638 3994 -3498 -4434 -3598 -4542 -3190 -4382 -3246 4130 3310 -3190 -4542 4334 -3950 -3810 3250 3682 -3306 -3790 3770 -3810 3926 -3330 -4206 -3286 -3734 3574 -4302 -4014 -4146 3390 -3214 -3430 -3150 -3586 3602 -4422 3574 3950 -3330 4178 3414 -3526 -4530 -3810 3638 3150 -4482 -3618 4518 -3630 -3562 3206 -4462 4134 -3802 -3734 -4322 4498 -3546 3150 -4314 -3190 3278 3678 3190 -4014 -4422 -4006 3266 -3710 -3666 -3710 3622 -3598 -3466 3842 3814 -4482 4334 -3650 4506 -3310 3718 -4478 -3562 -3442 4186 4114 4418 -4290 4398 3662 3198 -3154 3158 3490 -4230 -3426 3774 3418 3746 4230 4486 -4422 4350 -3238 -3302 -4522 -3602 3938 -3706 -4190 -3642 -3974 3522 3150 3330 4158 -3582 -3594 -3218 -3974 -3354 3422 -3366 3354 4158 4298 3386 -3326 3638 3330 4146 -4146 3258 -3858 -3758 -3350 -4322 3798 4482 -3650 -4114 -4334 -4518 -4226 3470 3470 -4534 -3190 3766 -4430 3650 3190 3330 -4094 -3574 3682 -3574 -3202 -3610 -4134 3150 3842 -4226 -3422 -4162 -4518 -3594 4322 -4462 -4410 -3462 4410 -4242 -4146 3370 -3322 3306 -4186 -4306 3278 -3574 -3302 3506 -3814 -3606 4062 3826 -4122 -3710 -4050 -4254 -4258 3362 3262 -3554 -3582 -4502 -4350 3554 -3254 3242 -3438 -3474 3386 3338 -3898 -4294 -3598 4370 3258 4474 -3526 -3638 3586 -4462 3190 -3274 4146 -3330 -3362 -3510 3422 -3550 -3470 4246 -3250 3410 -3698 3294 -3910 3442 -3442 -4306 4266 -4470 4218 4066 -3230 -3950 -3586 -3378 -3670 3610 4298 4266 3594 3194 -4322 3190 -4338 3166 -3174 4450 3454 -3270 -3962 4202 3306 4494 -3158 -3298 -4162 4206 -4014 -4502 -4378 -3646 -4410 4126 -3286 3654 3766 4174 -3190 3158 -4282 4214 4502 4486 4194 -3306 -3586 -3370 4498 3638 -4450 4410 -3614 3966 -3378 -4014 3346 3882 -4522 4438 -4194 -3642 4074 4026 -3298 3150 -3978 -3218 3194 3602 -3426 -3714 -3210 4102 3334 -4502 3402 -4126 -3766 -4522 -4370 -3758 -3974 3770 -3562 -4134 3982 3926 -4466 3150 4070 -3690 -3318 3966 -3586 4470 4362 3306 3678 3798 -4342 3282 -4342 -3914 3638 4186 -4030 -3622 -3606 3418 -4146 -3826 -3594 3574 -4346 -3574 -4494 -3810 -3590 3658 -4354 3202 4242 3558 -4026 -4462 -4522 4510 3394 -4142 -3966 -3506 -3646 -4542 4014 3718 -4146 4178 -3482 4262 -3226 3190 -4082 4186 3678 -3574 3190 3830 4386 -4282 -4218 3954 3774 4446 4378 -3198 3438 3374 3706 -3566 -3846 3586 3802 3554 -3446 -4042 4034 3950 -3678 -4114 -4122 4394 -4002 3626 -3974 -4522 3994 -3338 -3286 -3698 -3974 4058 -4086 -3694 3270 3190 3830 -3638 -4482 -3178 -3678 3174 -3210 -3318 3486 -3242 4010 -3578 -3634 -3262 3410 -3638 -3618 -3178 4094 4274 3622 -4502 3930 4002 -4186 -3150 3594 4330 -4338 -4146 4478 -3466 -3866 3810 3218 3234 -3686 -4022 -3622 3814 3214 -3734 3502 -4214 4410 -3414 -4322 4402 4130 3150 -3538 -4502 3198 -4414 4166 3670 -3762 -4034 -3754 -3370 4534 3190 3266 -3770 3514 4534 3222 -3274 3262 3754 4390 -3366 3754 3670 4230 4142 4226 -4006 -4542 3438 3838 -4222 -4162 -4250 -3422 -3730 -4010 -3190 -4462 -4426 4410 -3414 -3858 -4542 -4318 4250 -3950 -3854 4302 -4246 -4186 -4446 4230 3902 -3530 3190 3454 -3554 4438 3850 -3614 -3310 3266 -3418 -4014 -4214 3314 3362 -3578 4222 4230 -4462 4318 -3730 -4542 3726 -4046 3918 -4502 4122 -3250 -4394 -4542 3190 -3238 -4482 -3370 -3718 -3666 4298 3386 -3778 -3198 -4394 3870 -4442 -4482 3526 -3750 3306 -3262 -3214 -4542 -4502 -3990 3298 -3314 -3974 -4398 3658 -3866 -4478 -4014 3774 4134 -3166 3806 -4234 -3706 3666 3714 -3610 -3814 -3866 3522 3630 -3478 -4358 -3966 -3582 -3370 -3378 -3814 4166 -4046 4050 3398 4386 -3370 3202 -4542 -3906 -3754 -4190 4434 3950 4066 3914 -3898 -3794 4102 -3590 4310 4070 -4346 -3322 3358 -3158 -4426 3890 -3634 3246 -4258 -4086 -3766 -4434 -3386 -3154 4370 -3462 -4502 4098 3338 3846 -4342 3814 -3910 -3242 3474 3218 3194 -4462 -3866 3382 4166 3150 -3574 3958 -3426 -3906 -3910 -4542 -3698 4262 -3770 4226 -3734 4466 3562 -3426 3802 -3598 -4186 -3614 -4374 4462 3458 -4542 -4170 -3382 -4322 3702 -3850 3170 3822 3426 4466 4498 -4502 -4458 -4514 3246 3810 -3190 4398 -3506 3806 -4458 3718 -4362 4122 4062 -3850 -4186 -3718 4114 3750 -3854 -3838 3318 3270 -4322 3706 3234 -4542 -4122 4002 -3810 -3582 3678 3930 3798 -4314 -3246 -3646 -3670 -3574 -3310 -4314 -4282 -4542 -3854 -3814 -3422 -3670 3910 -4186 -4126 -3734 -4362 -3638 -4354 -4022 -3974 4102 -3414 -3370 -3842 3162 -3302 4242 -3350 -3578 3474 -4482 -4494 -3190 -4322 -3966 4258 -4502 4066 -3278 4502 -4330 -3686 3546 -3482 3546 -4498 -4186 -3554 -3738 -3586 -3210 4150 3338 -3702 -3706 4446 -3718 -3754 3598 -3514 -3522 3494 3510 3842 3606 4534 4362 3806 4110 -4158 4514 -4322 -3826 -3322 -3450 3990 3510 -3370 -3946 -3858 -3814 -4014 3190 -3658 4522 -4342 -3618 3422 -3806 3290 3330 -3190 -4138 3870 3694 3298 -4046 3666 3842 -4462 4442 -3950 3710 -3446 -3430 4366 -4186 4098 4206 3762 3174 -3614 -3494 -4454 -3978 3802 -3810 -3442 -3586 -3898 3706 -3534 -3642 4282 4494 -4022 -4042 3982 4278 3338 3382 3698 3190 3214 -3994 3206 4214 -4106 -3598 -4374 -3834 4430 4046 -4186 3206 3538 -3574 3454 3614 -4374 -3754 -3226 -3258 -4046 -3330 4386 -4198 -3642 4250 3694 -4382 -3990 3598 -3514 4170 -3514 4330 -3290 3150 4130 3422 -3802 3918 -3974 3338 -4218 -3274 -4478 -3854 3602 -4014 3150 -4130 -3738 4194 -3858 3194 3390 -3878 3366 3538 3286 -4418 3898 3998 3278 3278 3190 3866 3930 -3614 -4106 4510 -4538 -4322 -3626 -4338 -3294 -3194 -3818 -3806 3446 4022 -4070 4490 -4282 3914 -3906 4038 3294 4290 -4186 3326 3998 -3646 -3650 -3662 -3670 -3974 3386 -4002 4098 -3294 -4454 -3290 -4502 3150 3614 -4426 4094 -4334 -3190 -4338 4470 -3850 -4482 4318 -4414 3290 4002 -3542 3586 -4198 -3974 3438 -3166 3282 4502 3654 4542 -3754 3150 3278 -4258 3190 -3550 4034 4246 -3338 -3342 4482 4090 4514 3958 3282 -4350 -3754 -3366 -4218 -4146 3534 -4394 3918 -3578 -3842 3926 -3454 3222 -4502 -3354 -3778 -3826 4494 -4238 3862 3754 -3190 -3622 -4502 -3190 -3238 3590 3606 -3618 3150 4030 -3454 -4014 -3722 -4422 3218 4046 -3566 -4254 -4174 4006 -4282 3514 -3318 4034 -3526 -4282 -3626 -3330 3214 4466 -4238 3262 -3218 3806 -3202 4054 -3230 -3618 3954 4402 -3590 -3370 3666 -3302 -4542 4250 -3810 -3358 3886 -3714 3266 3814 -3694 -4542 -3658 -4374 -3534 -4118 4194 3478 -4282 -4422 4006 -3754 -3458 3470 4138 -4142 -3798 3646 3838 3326 -3154 -3638 -4398 -3910 -3630 3762 4290 -3882 -3194 3278 3470 -4486 -4346 -3262 4502 -4282 -3262 -3546 -3966 -4322 -3854 -4358 -4542 -3770 4354 3322 -4142 3974 3274 3514 4274 3886 3362 -4262 -3710 -3202 4530 3574 -3250 3314 -3466 3966 3446 3654 -4422 3154 3190 4058 -3754 3590 -3274 3814 -4394 -3326 -4038 -3150 -3994 3790 4046 4214 -4086 3694 -3262 3630 3678 -3534 3762 -3446 -3770 -4182 -4502 -4290 -4018 4382 -3354 3862 -3190 -3974 3774 4038 3402 4254 -4142 3190 3754 -4502 -3974 -4438 4470 4266 3150 3710 -4354 -3158 -3830 4150 3766 3878 -4030 -3622 -4386 4022 -4274 3174 3254 -4318 -4518 3210 4122 4010 4490 4410 -3610 -3718 -3790 -4402 3290 4022 3930 -4294 3870 3602 3338 4514 -4006 3194 -3658 -3210 -4502 4102 -4334 4446 -4422 4194 3870 -4278 -4354 3794 4034 4538 -4350 -3742 -4198 4070 4022 -3214 -3842 3302 3150 -3706 4302 -4222 3826 3166 3886 -4394 3786 4498 4214 3654 -4462 4254 4390 -4174 3178 3806 -3982 -3878 -4542 -4310 4170 4214 -3338 -3902 -3974 3970 4378 -3994 3438 -3150 -4154 3750 3814 -3802 -3334 4330 3190 -3758 -4050 -3226 -3210 3190 3270 3454 3950 3190 -3974 3186 -4502 4154 3218 -4462 3238 -4322 4178 -3190 -4058 4234 -4482 -4078 3930 -4542 -3810 4118 -4534 4486 -4362 -3586 3662 4350 3262 -4030 -3546 4034 3970 -3810 -4142 3706 3298 3242 -3206 -3150 3474 3538 3190 3526 -3262 -3626 -3922 -3594 3550 -4390 -4202 -3430 3266 3970 -3942 -4054 4094 -3486 -3546 -3286 -3738 -3418 -4394 -3994 4114 -3726 3406 -3818 4150 3246 3566 4062 4166 3458 3774 -3614 3970 -3622 -3190 -3618 3834 -3974 3858 4106 3286 3150 3370 -3170 -3166 3850 3862 3306 3582 -4178 -3150 -4162 3670 3974 -4542 -3218 -4146 3726 -4302 -3582 -3710 -3722 3934 -3970 -3742 4342 -3274 3586 4066 -4254 3746 -4270 3910 -3282 -4474 3250 -4142 3826 -4194 3190 4530 3218 4306 4406 -3622 -3398 -3642 4482 3762 -3614 -3322 -4262 -3190 -3626 3766 3238 -4290 3962 4370 3494 -4154 4078 -4534 4486 -3974 -4278 -3714 3978 3150 3290 -3410 4502 3526 3190 4122 -3158 4154 4238 -4230 4226 -3362 4110 3198 4118 -3362 -4518 -4322 -4522 -4462 4350 -3178 -3666 4082 -3774 -4334 -4306 4378 3870 -3770 -3642 3802 -3658 -4146 4106 3614 -3838 -3510 -3198 -3210 -4474 -3830 3294 3850 4074 -3490 -4034 3666 -3718 4542 3618 -3590 -3198 -4050 -4146 -3238 -3290 3190 -4354 -3718 -3842 -3514 3974 3574 -4194 -3990 -4542 4338 3426 -3582 -4206 4130 4066 3370 -3278 3346 -4306 -3966 -3166 -3198 4106 3578 -3298 -4426 4014 4134 -3478 3346 3450 4146 -3250 -3822 3286 -3826 3918 4478 4506 -4014 -4490 -4462 -4470 3326 -3990 -4094 -3794 -4010 3714 -3706 -3698 -4522 -4358 3634 -3514 -4234 -3330 -4418 -3614 -4106 3926 -3246 -3378 -4030 4342 3318 -3550 3474 -4210 3486 -3606 -3190 -3226 3874 -3766 -3190 4062 -3510 -4522 -3318 -3622 -3378 3318 -3614 -4522 3666 3766 -4110 4178 3618 4202 -3486 -3206 4030 3534 3470 -4502 3178 -3286 4310 4122 -3654 3858 3374 -3590 4502 3190 3746 -3770 3242 -3602 -3150 -4482 -3190 -3874 4466 -3658 -3150 4442 3270 -3682 -4422 4194 3246 -4474 -3178 -4542 3310 -4522 3618 3858 3338 -4302 3522 3558 -4542 -3274 -4542 4510 3578 3338 3818 -3286 4138 -4322 4338 3894 -4122 -4026 -3738 3866 -4314 -3462 3798 -3678 -3998 -4094 3794 -3394 -3798 3454 -3150 -4494 3626 -4542 4502 4418 4126 3994 -3494 4086 3150 -3290 -3386 3602 -3950 -4334 -4082 -4390 -3914 3390 3418 -4490 4030 3646 4086 -4158 -3402 3206 3218 -3190 3190 3426 -3238 4438 3510 4254 -3318 3870 -4282 -3350 -4002 -3974 -3218 -3546 4094 3886 4010 3810 3150 -3974 -4462 4082 -3590 3314 -4166 3522 -4354 4226 4082 3150 3950 4410 3930 -4322 -3246 -3406 -3706 -3474 4498 -3910 3934 3390 -3446 4146 3478 -4466 -4262 3150 -4110 4282 -3598 -4186 -4542 -4458 -3326 -3578 -3714 -3302 -4458 3754 3890 -3674 3634 -4126 3650 3538 -3562 -3734 3214 3994 -4462 -4470 -4326 3494 4282 3274 4106 4062 3190 -3234 -3322 4370 -4014 -3586 4538 -3930 -4398 3858 3418 -3238 -3578 3222 4186 3378 -4006 -4122 4186 -4434 3626 3598 -3870 3406 4426 -4022 3966 3186 -4066 -4034 3314 -3150 4234 -3586 4366 3998 -3170 -3698 3330 -3934 -3714 -3554 -3970 -4386 -3894 -3150 4154 3150 3966 3406 3190 -3226 3170 -3190 4270 -4538 3770 4202 -3758 -4050 -4154 -4498 -4470 -3810 -3442 3678 -4502 -3810 3890 3834 -3630 -4458 -4510 4226 -4482 4470 -4506 -3262 3370 -3254 -3370 -4282 -4374 -3654 3498 -3518 -4098 3290 3926 -3190 -4246 -3150 4166 3510 -4014 -4226 -3258 3566 -4138 4030 4370 -3386 3350 -3982 4106 -3242 -3942 3338 3258 -4238 -3346 -3694 3950 -3430 3814 4266 3550 4450 3714 -4050 -3674 -3722 -4386 3298 3534 -3470 -3258 4070 4202 4278 -4182 4494 -4010 -3706 4066 4074 3194 -3626 3590 -4166 4350 -3990 3546 -3950 -4242 -3582 -4542 3414 -4174 3786 -3286 3326 -3950 4494 3510 -3150 -4542 -4218 3746 3746 4478 4486 -3806 -3198 -4270 4082 -3866 -4522 3374 -4530 -4410 3614 -3758 3874 -4186 -3182 3386 -4278 -3906 3598 3898 -3950 -4542 4538 -4502 -4346 4406 3686 -3574 4470 4046 -4198 -3634 -4502 3834 -3982 -3162 3346 4082 -3158 3786 -3622 -3582 3714 -3302 -4098 4218 4002 3602 -3206 3982 3246 3362 -3854 -4186 -3810 -4246 -3218 3562 -3370 3678 -4322 4374 3926 -3150 -3346 -4474 -3494 -4542 3382 4414 3510 -3378 3962 4542 -3150 4034 -3402 -4262 3946 -3614 -3326 -3574 -3846 4482 3426 3962 -4322 3338 -4462 -3582 3986 4034 3246 -4234 -3262 -3254 4118 -3794 3486 3338 -3814 3690 -4066 -4378 -4078 -4226 3478 -3278 4022 -3526 -3462 3954 4322 -4510 3150 -3170 3718 -4306 -3330 -4394 3598 -3474 -3550 3498 3550 3150 -4502 -3870 4214 -3326 -4394 4066 4314 3754 -3642 4022 3150 -4158 -3390 -3150 3838 -3718 3850 3534 3162 3598 3382 3310 -3718 -3698 -4146 -4014 -3226 -3546 3862 -3962 -3762 3706 -3850 -4502 3766 -3846 3910 -4294 -3622 4318 -3310 -4542 3174 3834 -4322 3462 3850 -4138 -4174 -3158 -3214 -4126 4042 3910 3150 4442 -3330 -4162 3998 -3262 -3422 -3994 3602 4002 4426 -4322 4450 -3586 -4146 -4542 -3378 3770 -3758 3270 -3706 -4514 3382 -4158 -3514 3614 4386 -3638 4118 -4446 3426 4062 -3302 -3514 -3634 3150 3846 -4474 3698 4370 4542 -3614 4126 -3602 -3546 -4374 3378 3322 3886 -3358 -3794 -3190 -4014 3574 -4258 3714 4478 3506 -4450 -3714 3650 -3402 -4486 3874 -3830 -3926 4178 -3994 3962 3730 3286 -3518 3786 3826 -3890 -3874 -3662 3150 4110 -4042 -4054 -3286 -3714 -3754 3898 -3574 -3386 4538 -3418 -3622 4110 -3550 -4502 -3782 -4422 -3254 -3566 3550 4242 4310 3970 3542 -3582 4022 -3378 -3190 3434 3770 -4450 4062 -3278 -3882 -3466 3206 3254 -3302 -4458 3354 3582 3198 -3754 3966 -3990 -4006 -3690 -3150 3466 -4262 -3746 3542 3818 3806 4234 -3174 -4346 3582 -3950 4306 3798 -3258 4526 4538 -3406 3750 3626 -4170 4046 -4450 -3326 -3234 3378 -3586 3710 4318 3774 -4446 -3274 3154 -3970 -4362 4362 -3678 -4374 -3814 4218 -3806 3870 4062 3150 -4230 -3838 3930 -3190 -3934 -4498 -4494 -4394 -3702 3930 -3722 3202 -3558 3326 3158 -4166 -4410 3150 4038 -3282 -4214 -4502 -3990 3638 -3838 -3194 -3390 -4242 -4422 -4422 3570 3846 4090 3938 -3574 -3574 3350 -3318 -3806 -3302 -4510 3670 -3878 3382 -3202 -4422 3746 -4150 4102 3398 -4274 -3990 -4086 4074 -3458 -3298 3366 -4354 -3622 3738 3978 -3710 3186 -3850 4462 -4470 -4194 -4522 3326 -4422 3254 -4362 -3614 3150 -3578 3306 -4362 4134 -3206 -4354 4018 3714 -3846 -3642 3642 -3954 4006 4130 3778 3694 -3198 -3242 -4354 4290 4482 3986 -3506 -4542 3150 3290 -4542 3314 3870 -3786 -3614 4126 4106 -4334 -4014 -3606 4094 -3802 4054 -3298 3622 -4302 3362 3342 3842 3410 -4014 -3446 -3226 3302 -3186 4074 4266 -3974 -4282 -3842 -4282 -4462 -4282 3198 -4422 -3906 -3974 -4362 4290 -3590 -3262 -3930 -3994 -4422 3670 -3982 -3262 3326 -3582 3626 3490 -4222 4158 -4530 3234 -4286 -3394 3878 4214 -4014 -3206 -4014 3722 4502 3674 -4322 -3154 -4298 -4302 4426 -4482 3974 4526 -3750 -4502 -3370 -3618 4166 -3590 4270 -3526 4022 -4174 3330 -3954 3478 -3242 3230 -3702 -4014 -3430 3770 4026 3842 -4502 3546 3150 -3198 3834 3930 -3990 -4502 3198 3718 -3754 -3330 -4202 -4358 3346 -3690 3734 3154 -4174 -3758 -4330 4542 3990 3418 -3854 -4206 -3622 3754 -3446 3990 -3950 -3806 3654 3854 3150 -3934 -4522 -3990 -4498 3774 -4422 4430 4410 -4338 -3466 -4210 -3302 3954 4338 3430 -4502 3946 -4354 -4402 4102 -4074 -3506 -4482 3766 -3450 4542 3958 -3434 3598 3418 -3694 3822 3466 3266 4074 4462 -3614 -4114 -3234 3506 3566 -3178 3222 3430 3326 -3178 3282 4206 -4190 3702 4538 3854 4278 3250 -3346 3190 3526 -3550 3934 -3638 -3170 4126 -3538 -3190 4222 3350 -3426 -3758 -4286 3466 -3214 4042 -3678 -3210 -3210 4510 -4530 -3262 -3586 -3426 3990 -4142 3974 3366 -4130 -3758 -3934 -3362 -3710 -4226 -4454 -4510 3718 -3834 4262 -4542 -3578 -3674 3598 -3330 -3182 -4022 -4246 -3638 -3586 4166 4474 -4342 4162 -3198 -4322 3742 4054 -4122 4294 -4422 3190 4458 -4542 -3826 3714 -4422 4502 -4346 -4062 -4414 3370 3170 3366 -3678 -4058 3334 4234 -3990 4254 -4006 -3270 -4542 -4502 -3494 3250 4314 4066 -4454 -4482 -3518 3378 4374 -3602 -4502 -3226 3330 -3238 -4442 3974 -4278 -4382 -3762 -3302 -3718 -4150 -4146 -4462 -3554 3610 -4522 3762 4266 -4502 3926 -3906 3798 -3410 -3370 4346 -4074 -4486 -4482 -3614 3502 3254 -4482 3786 -3222 -3482 -4410 -3858 -4162 -3314 -4218 3406 -3550 -4410 3802 4186 -3554 -3466 -3418 -3598 4006 -4362 -3934 -3178 -3206 -4198 -4070 -4010 3570 4414 -3218 -3794 -4374 -3246 -3198 -3314 -3926 -3434 -3510 -4430 3870 3422 4102 3802 -4382 -4294 -4418 -3458 3690 -4422 4338 -3830 4010 -3606 4038 3194 -3230 -4382 3202 -4318 4018 -3878 4306 4522 -4378 3974 -3582 -4390 -4182 3566 -3810 -3714 -3206 3402 -3714 3470 -3710 -3714 -4350 3150 
269.45	d NODES 0
269.45	d CHECKS 48919290
269.45	   
269.45	   totalWckTime=269.202  totalCpuTime=265.71

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/node12/watcher-205715-1168167899 -o ROOT/results/node12/solver-205715-1168167899 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/205715-1168167899/unknown.xml 

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: 1.98 1.52 1.63 2/94 30644
/proc/meminfo: memFree=835712/2055920 swapFree=4160348/4192956
[pid=30643] ppid=30641 vsize=906644 CPUtime=0.02
/proc/30643/stat : 30643 (java) S 30641 30643 30021 0 -1 0 2069 0 1 0 2 0 0 0 18 0 2 0 165184908 928403456 1818 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/30643/statm: 226661 1818 1036 14 0 214244 0
[pid=30643/tid=30645] ppid=30641 vsize=906644 CPUtime=0
/proc/30643/task/30645/stat : 30645 (java) R 30641 30643 30021 0 -1 64 4 0 0 0 0 0 0 0 19 0 2 0 165184912 928403456 1818 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 7368 0 0 0 -1 1 0 0

[startup+0.102614 s]
/proc/loadavg: 1.98 1.52 1.63 2/94 30644
/proc/meminfo: memFree=835712/2055920 swapFree=4160348/4192956
[pid=30643] ppid=30641 vsize=913228 CPUtime=0.08
/proc/30643/stat : 30643 (java) S 30641 30643 30021 0 -1 0 2920 0 1 0 7 1 0 0 17 0 8 0 165184908 935145472 2666 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30643/statm: 228307 2666 1396 14 0 215208 0
[pid=30643/tid=30645] ppid=30641 vsize=913228 CPUtime=0
/proc/30643/task/30645/stat : 30645 (java) S 30641 30643 30021 0 -1 64 7 0 0 0 0 0 0 0 18 0 8 0 165184912 935145472 2666 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 913228

[startup+0.510686 s]
/proc/loadavg: 1.98 1.52 1.63 2/94 30644
/proc/meminfo: memFree=835712/2055920 swapFree=4160348/4192956
[pid=30643] ppid=30641 vsize=915328 CPUtime=0.49
/proc/30643/stat : 30643 (java) R 30641 30643 30021 0 -1 0 7514 0 1 0 45 4 0 0 18 0 8 0 165184908 937295872 7253 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073328002 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30643/statm: 228832 7253 2138 14 0 215302 0
[pid=30643/tid=30645] ppid=30641 vsize=915328 CPUtime=0
/proc/30643/task/30645/stat : 30645 (java) S 30641 30643 30021 0 -1 64 7 0 0 0 0 0 0 0 18 0 8 0 165184912 937295872 7253 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.33284 s]
/proc/loadavg: 1.98 1.52 1.63 3/101 30651
/proc/meminfo: memFree=743624/2055920 swapFree=4160348/4192956
[pid=30643] ppid=30641 vsize=915596 CPUtime=1.3
/proc/30643/stat : 30643 (java) R 30641 30643 30021 0 -1 0 31684 0 1 0 113 17 0 0 23 0 8 0 165184908 937570304 31421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073533821 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30643/statm: 228899 31421 2160 14 0 215369 0
[pid=30643/tid=30645] ppid=30641 vsize=915596 CPUtime=0.2
/proc/30643/task/30645/stat : 30645 (java) S 30641 30643 30021 0 -1 64 15142 0 0 0 13 7 0 0 16 0 8 0 165184912 937570304 31421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30643/tid=30646] ppid=30641 vsize=915596 CPUtime=0
/proc/30643/task/30646/stat : 30646 (java) S 30641 30643 30021 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165184912 937570304 31421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30643/tid=30647] ppid=30641 vsize=915596 CPUtime=0
/proc/30643/task/30647/stat : 30647 (java) S 30641 30643 30021 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 165184912 937570304 31421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30643/tid=30648] ppid=30641 vsize=915596 CPUtime=0
/proc/30643/task/30648/stat : 30648 (java) S 30641 30643 30021 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 165184916 937570304 31421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30643/tid=30649] ppid=30641 vsize=915596 CPUtime=0.17
/proc/30643/task/30649/stat : 30649 (java) S 30641 30643 30021 0 -1 64 409 0 0 0 16 1 0 0 16 0 8 0 165184916 937570304 31421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30643/tid=30650] ppid=30641 vsize=915596 CPUtime=0
/proc/30643/task/30650/stat : 30650 (java) S 30641 30643 30021 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165184916 937570304 31421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30643/tid=30651] ppid=30641 vsize=915596 CPUtime=0
/proc/30643/task/30651/stat : 30651 (java) S 30641 30643 30021 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165184916 937570304 31421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915596

[startup+2.98214 s]
/proc/loadavg: 1.98 1.52 1.63 4/101 30651
/proc/meminfo: memFree=706056/2055920 swapFree=4160348/4192956
[pid=30643] ppid=30641 vsize=915596 CPUtime=2.94
/proc/30643/stat : 30643 (java) R 30641 30643 30021 0 -1 0 34790 0 1 0 274 20 0 0 25 0 8 0 165184908 937570304 34522 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073445374 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30643/statm: 228899 34522 2161 14 0 215369 0
[pid=30643/tid=30645] ppid=30641 vsize=915596 CPUtime=0.42
/proc/30643/task/30645/stat : 30645 (java) S 30641 30643 30021 0 -1 64 18240 0 0 0 33 9 0 0 16 0 8 0 165184912 937570304 34522 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30643/tid=30646] ppid=30641 vsize=915596 CPUtime=0
/proc/30643/task/30646/stat : 30646 (java) S 30641 30643 30021 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165184912 937570304 34522 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30643/tid=30647] ppid=30641 vsize=915596 CPUtime=0
/proc/30643/task/30647/stat : 30647 (java) S 30641 30643 30021 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 165184912 937570304 34522 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30643/tid=30648] ppid=30641 vsize=915596 CPUtime=0
/proc/30643/task/30648/stat : 30648 (java) S 30641 30643 30021 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 165184916 937570304 34522 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30643/tid=30649] ppid=30641 vsize=915596 CPUtime=0.17
/proc/30643/task/30649/stat : 30649 (java) S 30641 30643 30021 0 -1 64 412 0 0 0 16 1 0 0 16 0 8 0 165184916 937570304 34522 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30643/tid=30650] ppid=30641 vsize=915596 CPUtime=0
/proc/30643/task/30650/stat : 30650 (java) S 30641 30643 30021 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165184916 937570304 34522 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30643/tid=30651] ppid=30641 vsize=915596 CPUtime=0
/proc/30643/task/30651/stat : 30651 (java) S 30641 30643 30021 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165184916 937570304 34522 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915596

[startup+6.27671 s]
/proc/loadavg: 2.06 1.55 1.64 3/101 30651
/proc/meminfo: memFree=678792/2055920 swapFree=4160348/4192956
[pid=30643] ppid=30641 vsize=915732 CPUtime=6.22
/proc/30643/stat : 30643 (java) R 30641 30643 30021 0 -1 0 34862 0 1 0 601 21 0 0 25 0 8 0 165184908 937709568 34593 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073833744 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30643/statm: 228933 34593 2181 14 0 215403 0
[pid=30643/tid=30645] ppid=30641 vsize=915732 CPUtime=0.42
/proc/30643/task/30645/stat : 30645 (java) S 30641 30643 30021 0 -1 64 18240 0 0 0 33 9 0 0 16 0 8 0 165184912 937709568 34593 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30643/tid=30646] ppid=30641 vsize=915732 CPUtime=0
/proc/30643/task/30646/stat : 30646 (java) S 30641 30643 30021 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165184912 937709568 34593 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30643/tid=30647] ppid=30641 vsize=915732 CPUtime=0
/proc/30643/task/30647/stat : 30647 (java) S 30641 30643 30021 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 165184912 937709568 34593 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30643/tid=30648] ppid=30641 vsize=915732 CPUtime=0
/proc/30643/task/30648/stat : 30648 (java) S 30641 30643 30021 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 165184916 937709568 34593 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30643/tid=30649] ppid=30641 vsize=915732 CPUtime=0.19
/proc/30643/task/30649/stat : 30649 (java) S 30641 30643 30021 0 -1 64 423 0 0 0 18 1 0 0 16 0 8 0 165184916 937709568 34593 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30643/tid=30650] ppid=30641 vsize=915732 CPUtime=0
/proc/30643/task/30650/stat : 30650 (java) S 30641 30643 30021 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165184916 937709568 34593 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30643/tid=30651] ppid=30641 vsize=915732 CPUtime=0
/proc/30643/task/30651/stat : 30651 (java) S 30641 30643 30021 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165184916 937709568 34593 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 915732

[startup+12.7589 s]
/proc/loadavg: 2.14 1.57 1.64 3/101 30651
/proc/meminfo: memFree=640968/2055920 swapFree=4160348/4192956
[pid=30643] ppid=30641 vsize=915732 CPUtime=12.67
/proc/30643/stat : 30643 (java) R 30641 30643 30021 0 -1 0 34864 0 1 0 1246 21 0 0 25 0 8 0 165184908 937709568 34595 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073830893 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30643/statm: 228933 34595 2181 14 0 215403 0
[pid=30643/tid=30645] ppid=30641 vsize=915732 CPUtime=0.42
/proc/30643/task/30645/stat : 30645 (java) S 30641 30643 30021 0 -1 64 18240 0 0 0 33 9 0 0 16 0 8 0 165184912 937709568 34595 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30643/tid=30646] ppid=30641 vsize=915732 CPUtime=0
/proc/30643/task/30646/stat : 30646 (java) S 30641 30643 30021 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165184912 937709568 34595 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30643/tid=30647] ppid=30641 vsize=915732 CPUtime=0
/proc/30643/task/30647/stat : 30647 (java) S 30641 30643 30021 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 165184912 937709568 34595 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30643/tid=30648] ppid=30641 vsize=915732 CPUtime=0
/proc/30643/task/30648/stat : 30648 (java) S 30641 30643 30021 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 165184916 937709568 34595 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30643/tid=30649] ppid=30641 vsize=915732 CPUtime=0.2
/proc/30643/task/30649/stat : 30649 (java) S 30641 30643 30021 0 -1 64 425 0 0 0 19 1 0 0 17 0 8 0 165184916 937709568 34595 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30643/tid=30650] ppid=30641 vsize=915732 CPUtime=0
/proc/30643/task/30650/stat : 30650 (java) S 30641 30643 30021 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165184916 937709568 34595 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30643/tid=30651] ppid=30641 vsize=915732 CPUtime=0
/proc/30643/task/30651/stat : 30651 (java) S 30641 30643 30021 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165184916 937709568 34595 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 915732

[startup+25.6252 s]
/proc/loadavg: 2.18 1.61 1.65 3/101 30651
/proc/meminfo: memFree=580744/2055920 swapFree=4160348/4192956
[pid=30643] ppid=30641 vsize=915732 CPUtime=25.48
/proc/30643/stat : 30643 (java) R 30641 30643 30021 0 -1 0 35989 0 1 0 2525 23 0 0 25 0 8 0 165184908 937709568 35719 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073835295 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30643/statm: 228933 35719 2182 14 0 215403 0
[pid=30643/tid=30645] ppid=30641 vsize=915732 CPUtime=0.51
/proc/30643/task/30645/stat : 30645 (java) S 30641 30643 30021 0 -1 64 19350 0 0 0 41 10 0 0 16 0 8 0 165184912 937709568 35719 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30643/tid=30646] ppid=30641 vsize=915732 CPUtime=0
/proc/30643/task/30646/stat : 30646 (java) S 30641 30643 30021 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165184912 937709568 35719 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30643/tid=30647] ppid=30641 vsize=915732 CPUtime=0
/proc/30643/task/30647/stat : 30647 (java) S 30641 30643 30021 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 165184912 937709568 35719 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30643/tid=30648] ppid=30641 vsize=915732 CPUtime=0
/proc/30643/task/30648/stat : 30648 (java) S 30641 30643 30021 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 165184916 937709568 35719 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30643/tid=30649] ppid=30641 vsize=915732 CPUtime=0.21
/proc/30643/task/30649/stat : 30649 (java) S 30641 30643 30021 0 -1 64 438 0 0 0 20 1 0 0 16 0 8 0 165184916 937709568 35719 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30643/tid=30650] ppid=30641 vsize=915732 CPUtime=0
/proc/30643/task/30650/stat : 30650 (java) S 30641 30643 30021 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165184916 937709568 35719 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30643/tid=30651] ppid=30641 vsize=915732 CPUtime=0
/proc/30643/task/30651/stat : 30651 (java) S 30641 30643 30021 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165184916 937709568 35719 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 915732

[startup+51.2438 s]
/proc/loadavg: 2.12 1.64 1.66 3/101 30651
/proc/meminfo: memFree=502024/2055920 swapFree=4160348/4192956
[pid=30643] ppid=30641 vsize=915732 CPUtime=50.98
/proc/30643/stat : 30643 (java) R 30641 30643 30021 0 -1 0 35992 0 1 0 5074 24 0 0 25 0 8 0 165184908 937709568 35721 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073830912 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30643/statm: 228933 35721 2182 14 0 215403 0
[pid=30643/tid=30645] ppid=30641 vsize=915732 CPUtime=0.51
/proc/30643/task/30645/stat : 30645 (java) S 30641 30643 30021 0 -1 64 19350 0 0 0 41 10 0 0 16 0 8 0 165184912 937709568 35721 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30643/tid=30646] ppid=30641 vsize=915732 CPUtime=0
/proc/30643/task/30646/stat : 30646 (java) S 30641 30643 30021 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165184912 937709568 35721 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30643/tid=30647] ppid=30641 vsize=915732 CPUtime=0
/proc/30643/task/30647/stat : 30647 (java) S 30641 30643 30021 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 165184912 937709568 35721 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30643/tid=30648] ppid=30641 vsize=915732 CPUtime=0
/proc/30643/task/30648/stat : 30648 (java) S 30641 30643 30021 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 165184916 937709568 35721 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30643/tid=30649] ppid=30641 vsize=915732 CPUtime=0.22
/proc/30643/task/30649/stat : 30649 (java) S 30641 30643 30021 0 -1 64 440 0 0 0 21 1 0 0 16 0 8 0 165184916 937709568 35721 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30643/tid=30650] ppid=30641 vsize=915732 CPUtime=0
/proc/30643/task/30650/stat : 30650 (java) S 30641 30643 30021 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165184916 937709568 35721 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30643/tid=30651] ppid=30641 vsize=915732 CPUtime=0
/proc/30643/task/30651/stat : 30651 (java) S 30641 30643 30021 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165184916 937709568 35721 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.98
Current children cumulated vsize (KiB) 915732

[startup+102.474 s]
/proc/loadavg: 2.10 1.71 1.68 3/93 30688
/proc/meminfo: memFree=1033416/2055920 swapFree=4160348/4192956
[pid=30643] ppid=30641 vsize=915732 CPUtime=101.95
/proc/30643/stat : 30643 (java) R 30641 30643 30021 0 -1 0 39564 0 1 0 10166 29 0 0 25 0 8 0 165184908 937709568 39291 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073479196 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30643/statm: 228933 39291 2182 14 0 215403 0
[pid=30643/tid=30645] ppid=30641 vsize=915732 CPUtime=0.7
/proc/30643/task/30645/stat : 30645 (java) S 30641 30643 30021 0 -1 64 22919 0 0 0 58 12 0 0 16 0 8 0 165184912 937709568 39291 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30643/tid=30646] ppid=30641 vsize=915732 CPUtime=0
/proc/30643/task/30646/stat : 30646 (java) S 30641 30643 30021 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165184912 937709568 39291 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30643/tid=30647] ppid=30641 vsize=915732 CPUtime=0
/proc/30643/task/30647/stat : 30647 (java) S 30641 30643 30021 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 165184912 937709568 39291 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30643/tid=30648] ppid=30641 vsize=915732 CPUtime=0
/proc/30643/task/30648/stat : 30648 (java) S 30641 30643 30021 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 165184916 937709568 39291 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30643/tid=30649] ppid=30641 vsize=915732 CPUtime=0.22
/proc/30643/task/30649/stat : 30649 (java) S 30641 30643 30021 0 -1 64 441 0 0 0 21 1 0 0 16 0 8 0 165184916 937709568 39291 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30643/tid=30650] ppid=30641 vsize=915732 CPUtime=0
/proc/30643/task/30650/stat : 30650 (java) S 30641 30643 30021 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165184916 937709568 39291 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30643/tid=30651] ppid=30641 vsize=915732 CPUtime=0
/proc/30643/task/30651/stat : 30651 (java) S 30641 30643 30021 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165184916 937709568 39291 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.95
Current children cumulated vsize (KiB) 915732

[startup+162.559 s]
/proc/loadavg: 2.04 1.76 1.70 3/93 30688
/proc/meminfo: memFree=594336/2055920 swapFree=4160348/4192956
[pid=30643] ppid=30641 vsize=915732 CPUtime=161.97
/proc/30643/stat : 30643 (java) R 30641 30643 30021 0 -1 0 42283 0 1 0 16165 32 0 0 25 0 8 0 165184908 937709568 42008 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073830902 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30643/statm: 228933 42008 2182 14 0 215403 0
[pid=30643/tid=30645] ppid=30641 vsize=915732 CPUtime=0.83
/proc/30643/task/30645/stat : 30645 (java) S 30641 30643 30021 0 -1 64 25630 0 0 0 70 13 0 0 16 0 8 0 165184912 937709568 42008 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30643/tid=30646] ppid=30641 vsize=915732 CPUtime=0
/proc/30643/task/30646/stat : 30646 (java) S 30641 30643 30021 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165184912 937709568 42008 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30643/tid=30647] ppid=30641 vsize=915732 CPUtime=0
/proc/30643/task/30647/stat : 30647 (java) S 30641 30643 30021 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 165184912 937709568 42008 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30643/tid=30648] ppid=30641 vsize=915732 CPUtime=0
/proc/30643/task/30648/stat : 30648 (java) S 30641 30643 30021 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 165184916 937709568 42008 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30643/tid=30649] ppid=30641 vsize=915732 CPUtime=0.23
/proc/30643/task/30649/stat : 30649 (java) S 30641 30643 30021 0 -1 64 447 0 0 0 22 1 0 0 16 0 8 0 165184916 937709568 42008 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30643/tid=30650] ppid=30641 vsize=915732 CPUtime=0
/proc/30643/task/30650/stat : 30650 (java) S 30641 30643 30021 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165184916 937709568 42008 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30643/tid=30651] ppid=30641 vsize=915732 CPUtime=0
/proc/30643/task/30651/stat : 30651 (java) S 30641 30643 30021 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165184916 937709568 42008 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.97
Current children cumulated vsize (KiB) 915732

[startup+222.639 s]
/proc/loadavg: 1.94 1.78 1.71 3/100 30745
/proc/meminfo: memFree=814368/2055920 swapFree=4160348/4192956
[pid=30643] ppid=30641 vsize=915876 CPUtime=221.95
/proc/30643/stat : 30643 (java) R 30641 30643 30021 0 -1 0 96361 0 1 0 22132 63 0 0 25 0 8 0 165184908 937857024 96019 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073834689 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30643/statm: 228969 96019 2545 14 0 215439 0
[pid=30643/tid=30645] ppid=30641 vsize=915876 CPUtime=2.36
/proc/30643/task/30645/stat : 30645 (java) S 30641 30643 30021 0 -1 64 79115 0 0 0 204 32 0 0 16 0 8 0 165184912 937857024 96019 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30643/tid=30646] ppid=30641 vsize=915876 CPUtime=0
/proc/30643/task/30646/stat : 30646 (java) S 30641 30643 30021 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165184912 937857024 96019 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30643/tid=30647] ppid=30641 vsize=915876 CPUtime=0
/proc/30643/task/30647/stat : 30647 (java) S 30641 30643 30021 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165184912 937857024 96019 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30643/tid=30648] ppid=30641 vsize=915876 CPUtime=0
/proc/30643/task/30648/stat : 30648 (java) S 30641 30643 30021 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 165184916 937857024 96019 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30643/tid=30649] ppid=30641 vsize=915876 CPUtime=0.35
/proc/30643/task/30649/stat : 30649 (java) S 30641 30643 30021 0 -1 64 564 0 0 0 34 1 0 0 16 0 8 0 165184916 937857024 96019 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30643/tid=30650] ppid=30641 vsize=915876 CPUtime=0
/proc/30643/task/30650/stat : 30650 (java) S 30641 30643 30021 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165184916 937857024 96019 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30643/tid=30651] ppid=30641 vsize=915876 CPUtime=0
/proc/30643/task/30651/stat : 30651 (java) S 30641 30643 30021 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165184916 937857024 96019 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 221.95
Current children cumulated vsize (KiB) 915876

Child status: 0
Real time (s): 269.549
CPU time (s): 268.765
CPU user time (s): 268.072
CPU system time (s): 0.692894
CPU usage (%): 99.7091
Max. virtual memory (cumulated for all children) (KiB): 915984

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 268.072
system time used= 0.692894
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 96396
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7282
involuntary context switches= 7300

runsolver used 0.358945 s user time and 0.847871 s system time

The end

Launcher Data (download as text)

Begin job on node12 on Sun Jan  7 11:04:59 UTC 2007


IDJOB= 205715
IDBENCH= 4165
FILE ID= node12/205715-1168167899

PBS_JOBID= 3478785

Free space on /tmp= 66304 MiB

BENCH NAME= HOME/pub/bench/CPAI06/fapp/fapp36-40/fapp40/fapp40-3000-4.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/205715-1168167899/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node12/watcher-205715-1168167899 -o ROOT/results/node12/solver-205715-1168167899 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/205715-1168167899/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  fa5d20aaa304c41f344fcec6a220c998

RANDOM SEED= 490687665

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.265
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.265
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:        836128 kB
Buffers:         55428 kB
Cached:         564084 kB
SwapCached:       4660 kB
Active:         638952 kB
Inactive:       504784 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        836128 kB
SwapTotal:     4192956 kB
SwapFree:      4160348 kB
Dirty:            9108 kB
Writeback:           0 kB
Mapped:         542684 kB
Slab:            59988 kB
Committed_AS:  5294820 kB
PageTables:       3140 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= 66304 MiB



End job on node12 on Sun Jan  7 11:09:28 UTC 2007