Trace number 205754

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 299.41 300.076

DiagnosticValue
CHECKS65601889
NODES3013

General information on the benchmark

Namefapp/fapp36-40/fapp40/
fapp40-3000-7.xml
MD5SUMf2e6d32bfbd479248082237fc5fc2e6a
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 benchmark55.5206
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/205754-1168167980/unknown.xml
0.38	   
0.38	   domains being loaded...
0.42	   
0.42	   variables being loaded...
0.93	     nbVariables=3000  nbDomainTypes=14  minDomainSize=50  maxDomainSize=698
0.93	       =>  wckTime=0.61  cpuTime=0.44  mem=58M777
0.93	   
0.93	   predicates being loaded...
0.93	   
0.93	   constraints being loaded...
202.02	   
202.02	   INFO : Stopping converting binary constraints (cpu=200.22, mem = 111M523)
207.88	     nbConstraints=28313  nbMergedConstraints=25235  nbConvertedConstraints=997  nbConvertConstraintsChecks=367608602
207.88	     nbExtensionStructures=892  nbSharedExtensionStructures=105  nbConflictsStructures=892
207.88	     nbSharedConflictsStructures=105  nbSharedBinaryRepresentations=928581  nbEvaluationManagers=18566
207.88	     nbSharedEvaluationManagers=8750  maxDegree=53  maxArity=2
207.88	       =>  wckTime=207.564  cpuTime=205.37  mem=192M225
208.31	   
208.31	   solver IterativeSystematicSolver being built... 
209.33	       =>  wckTime=209.009  cpuTime=205.96  mem=334M849
295.20	   
295.20	   INFO : Stopping ESAC
295.21	   
295.21	   preprocessing
295.21	     nbConstraintChecks=65014574  nbValidityChecks=25665200  nbPropagations=118071  nbRevisions=2050156
295.21	     nbUselessRevisions=1910024  nbSingletonTests=7579  nbEffectiveSingletonTests=10  nbESACBranches=28
295.21	     nbRemovedValues=1830441  detectedInconsistency=no
295.21	       =>  wckTime=85.834  cpuTime=85.69  mem=334M849
299.99	   
299.99	   search
299.99	     run=0  nbConstraintChecks=587315  nbValidityChecks=1984382  nbPropagations=131462  nbRevisions=2254264
299.99	     nbUselessRevisions=2100630  nbAssignments=3013  nbFailedAssignments=9  nbBacktracks=4  nbVisitedNodes=3025
299.99	     nbRestartNogoods=0  mapSize=0  nbInferences=0  nbTooLargeKeys=2322
299.99	       =>  wckTime=90.624  cpuTime=90.45  mem=349M852
300.00	   
300.00	   global
300.00	     nbConstraintChecks=65601889  nbValidityChecks=27649582  nbPropagations=249533  nbRevisions=4304420
300.00	     nbUselessRevisions=4010654  nbRestartNogoods=0  solvingWckTime=90.625  solvingCpuTime=90.46  expiredTime=no
300.00	     totalExploration=no  nbFoundSolutions=1  globalCpuTime=296.52
300.00	       =>  wckTime=299.677  cpuTime=296.46  mem=349M852
300.00	   
300.00	s SATISFIABLE
300.00	v -3418 -3194 -3218 -3574 -4022 -4162 -4002 -3154 -3550 -3770 -3666 -3302 -3258 -4002 -4530 -3574 -3294 -4178 -3546 -3890 -3614 3650 -3478 -3346 -4502 -3362 3726 4062 -3806 3534 3702 4166 -3626 -3862 -3518 -4126 3310 -3990 -3970 -3810 4038 4114 3918 -4310 -4222 -4322 -3154 4218 3962 3498 4434 -3486 -4434 4502 -4106 -3150 4198 -4490 4282 4034 -3638 -3390 4426 3890 -4106 3954 -4162 4490 -4510 -3742 -4382 -3646 3254 -3722 -4298 -4418 -4542 3526 4246 4430 -4390 -4202 -4022 4162 -3498 -3250 -4502 3562 -4394 -3286 4306 4190 -3970 -3374 4334 3174 4114 4206 -4086 4302 3954 4502 -3234 -3198 -4482 -3974 3702 3150 -3862 3206 -3406 -3750 3418 -3538 -4006 -4254 -3654 -3966 -3210 -3206 4002 3830 -3710 -4542 3814 3470 -4186 -4274 4166 4454 3730 -3494 4254 -3414 -4106 -4526 3914 -3586 -4190 -3590 -3354 -4246 3150 -3642 -3214 3806 -3662 -4414 -3242 3306 3934 3698 -4038 4286 3614 3902 -4054 3478 -3294 -4458 3442 -4286 -4354 3262 -3554 4010 -3582 -4186 4106 -4466 -3222 -3586 -4242 4278 -3538 -4502 -3590 -4146 -4262 -3514 -3334 -4078 3654 3538 3742 -3274 3190 3946 3810 -4542 -3574 -3482 -3350 -3546 3310 4138 3546 -3402 3902 3990 4470 3930 4190 4082 -3174 4086 3190 3346 4498 4342 3510 3394 -4522 -4190 -4426 -3618 -3238 3194 -3302 -3154 -3218 4102 3526 4122 -3710 -4230 -3910 4446 -3858 3190 3562 4454 4166 -3638 3998 -3494 -4434 -3598 4542 -3190 -4382 -3246 4142 3310 -3190 -4542 4330 -3954 3810 3250 3698 -3306 3786 3770 -3810 3914 -3330 -4206 3282 -3726 -3574 -4302 4014 -4146 -3394 -3214 -3438 -3150 -3586 3598 -4422 3578 3946 -3330 4174 3414 3518 -4538 -3810 3634 3150 4482 -3618 -4514 -3630 -3570 3202 4462 4130 -3806 -3750 -4322 4346 3550 -3150 -4318 -3190 -3278 3678 -3190 -4014 -4422 -4006 -3266 -3710 -3666 -3702 3622 3602 3462 3842 3810 4470 -4346 -3650 4486 -3310 -3718 -4490 -3558 -3454 4182 -4122 4470 4286 -4398 -3662 -3206 -3234 -3158 -3190 -4226 -3414 -3778 3430 3750 4238 4486 -4422 -4502 -3234 3294 -4522 3574 3954 -3706 -4186 -3642 3966 -3518 3150 -3326 -4166 -3582 -3594 -3210 3974 3350 -3418 -3370 3358 4162 -4390 3390 3326 -3662 3330 4146 4138 3250 -3854 -3758 3350 4326 3798 -4502 -3650 4110 -4334 -4522 -4230 3474 -3478 4530 -3190 3762 -4430 3646 3190 3330 -4086 -3574 3686 -3574 3210 -3610 -4130 3150 3842 4230 3426 -4154 4502 -3594 -4322 -4462 4410 -3458 4410 4238 -4146 3378 -3322 3306 -4186 -4306 3278 -3574 -3302 3514 -3818 3610 4078 -3822 4122 -3710 -4042 -4250 -4262 -3370 -3266 -3558 3578 -4502 4350 -3570 -3258 3242 -3438 -3478 3374 -3334 -3902 -4294 -3594 -4374 -3266 4482 -3534 -3642 3582 -4462 3210 -3290 4146 -3330 3362 3506 3414 -3550 -3466 4238 3254 -3402 -3698 3294 -3910 3438 -3446 4306 4266 -4470 4214 -4078 -3230 -3942 -3586 3386 -3678 3606 4298 4282 3598 3194 -4346 -3194 4334 -3170 -3178 4470 -3454 -3266 -3966 -4210 -3306 4470 -3150 3294 -4162 4202 -4014 -4502 -4382 -3642 -4398 -4130 -3290 -3650 3766 -4178 -3198 -3166 -4282 4214 4506 -4502 4198 3314 -3586 -3366 4502 3638 4450 4410 3614 3966 3386 -4014 3346 3882 -4522 4434 -4202 -3638 4074 4034 -3302 3150 -3994 3218 3194 -3602 -3434 -3714 -3190 4094 3334 -4502 3398 -4130 -3766 -4522 -4366 3758 -3974 3770 -3558 -4138 3982 -3930 -4466 3150 4074 -3694 3314 3966 -3586 -4470 -4362 3306 3678 3790 4338 3278 4342 -3914 -3642 4182 -4030 3622 -3606 3422 4146 -3826 -3590 3574 4338 -3578 4502 3810 -3586 -3662 -4358 -3194 4238 -3554 -4022 4462 -4522 4518 3398 -4134 3966 -3514 3642 -4542 4014 3718 -4146 -4190 -3490 -4262 -3222 -3282 -4086 4186 3678 -3574 3190 3826 -4386 -4282 -4218 3954 -3770 4446 -4374 -3190 -3438 -3374 3710 -3558 -3850 -3586 -3802 3550 -3446 -4058 4034 -3954 -3666 4122 4130 -4398 4002 -3626 -3970 -4522 3986 -3342 -3274 3702 -3966 4054 -4078 3690 3270 -3190 3822 3642 -4482 -3174 -3678 3166 3218 -3310 3478 -3242 4014 -3578 -3638 -3262 3406 3638 -3614 -3170 4102 4274 3618 -4502 -3930 4006 -4206 -3190 -3598 4326 -4334 -4146 4482 -3474 -3870 3806 -3226 3234 -3678 -4030 -3622 -3810 3218 -3734 3510 4218 -4414 3406 -4322 4402 4126 3190 -3534 -4502 3198 -4406 4242 -3670 -3762 -4026 -3754 -3374 -4542 3194 3266 3766 3530 4542 -3226 3278 3262 3766 4390 -3374 3754 3674 4226 4158 4238 -4022 4542 3438 -3830 4234 -4154 4246 -3422 -3730 4018 -3190 -4462 4426 4410 -3414 -3858 4542 -4322 -4246 -3950 -3850 -4306 -4242 4186 -4446 -4230 -3902 -3534 -3150 3446 -3554 4438 3850 -3614 -3314 3270 -3414 -4014 4218 3330 3366 -3578 -4222 4230 4462 -4326 -3726 -4454 3726 -4046 3918 -4502 4114 -3222 -4398 -4502 3190 -3238 4478 -3370 -3718 -3666 4302 3394 -3774 -3198 -4394 -3870 -4450 -4486 -3558 -3762 -3314 -3262 -3210 -4542 -4502 -3982 3298 -3318 -3974 -4410 -3662 -3866 4474 -4014 3790 4126 -3166 3806 -4242 3710 3670 3714 -3606 -3814 3870 3522 -3622 -3478 -4362 3958 -3586 3370 -3378 -3818 4166 -4062 4042 3402 4382 -3370 3194 4426 -3898 -3758 -4186 4522 3946 4070 3914 3894 3782 4106 -3582 4306 4086 4346 -3314 3362 3158 -4426 3906 -3634 -3254 4262 -4086 3766 4430 3386 -3154 -4370 3458 -4502 4098 3338 3846 -4342 3814 3906 3234 3466 3218 3194 -4462 -3862 3382 -4170 3190 -3574 3954 -3426 -3910 -3898 -4542 -3702 4262 -3778 -4230 -3738 4466 3562 -3482 3802 -3594 -4186 -3606 -4374 -4466 3458 -4542 -4170 -3306 -4322 -3698 -3854 3174 -3822 3422 4446 -4502 -4502 4462 -4518 3150 -3810 -3210 -4414 3510 -3806 -4510 3722 4362 -4114 4066 -3850 -4186 -3722 -4122 -3742 3854 -3838 3314 3270 -4322 -3702 3230 -4542 -4126 4002 -3810 -3586 -3678 3930 3798 4318 3254 -3650 -3670 -3574 3326 -4318 -4278 -4542 -3858 -3822 -3422 -3670 3914 4158 4130 -3734 -4362 -3638 -4358 -4022 -3974 4106 -3410 -3370 3850 3166 -3302 4250 -3286 -3578 -3478 4482 -4498 -3198 -4326 -3966 4270 4502 4066 -3274 4502 -4502 -3690 -3550 -3478 -3546 -4538 -4178 3566 -3738 -3590 -3210 4150 3338 -3706 -3714 -4446 -3718 -3746 3594 -3518 -3518 3494 3510 -3842 3606 -4542 4366 3806 -4106 4154 4514 -4318 -3830 -3322 -3442 3994 3506 3370 3938 3858 -3810 -4014 -3202 -3658 -4442 -4346 -3618 3418 3802 3286 -3338 3194 4154 3870 -3702 3298 -4062 3666 -3842 -4462 -4502 3942 -3710 3442 -3426 4366 -4186 4114 -4206 3766 3170 -3614 -3498 -4446 -3994 -3886 -3810 3422 -3590 3898 3706 -3538 -3638 -4286 4502 4030 -4042 -3982 -4282 -3342 3378 -3722 3190 3218 3986 -3202 4210 -4110 3602 -4374 -3838 4434 4042 -4186 -3214 3534 -3574 -3458 3614 -4374 -3746 -3214 -3270 -4046 3338 4398 4202 -3642 4250 3698 -4382 -3982 3602 -3514 4166 -3518 -4338 3262 3150 4122 3418 -3810 3938 -3974 3334 -4218 -3274 -4542 3850 3598 -4014 -3150 -4126 -3738 -4198 3858 -3194 -3390 -3886 3366 3534 3286 -4422 3898 -4010 3278 -3274 3190 3866 3922 3614 4110 -4510 -4542 4322 3622 -4350 -3294 -3194 -3818 -3802 3450 -4026 4074 4502 -4282 3914 3910 4042 3294 -4542 4198 -3322 4006 3646 -3658 3670 -3670 -3974 -3386 -3994 4098 -3278 4446 3294 -4498 3150 -3614 -4426 4098 -4334 3150 -4342 4486 -3850 -4482 -4314 4406 3286 4002 -3538 3586 -4202 -3974 3438 -3162 3286 4502 3654 -4498 3754 -3150 -3274 -4258 3150 -3546 4026 4266 3174 -3342 4502 4086 4502 -3966 -3286 4346 -3754 3358 -4230 4142 3526 -4402 3918 -3586 3838 -3926 -3458 3234 4454 -3354 -3774 -3826 4490 -4258 -3862 3754 -3190 -3622 -4502 -3190 -3238 -3590 -3606 -3618 3158 4042 -3450 -4014 -3718 -4422 3214 4038 -3566 -4254 -4170 4006 -4282 -3518 -3318 4038 3526 -4282 -3626 -3330 3218 4434 4234 -3258 3226 3802 -3202 -4058 -3162 -3618 3958 -4542 -3590 -3370 3662 -3298 -4534 4254 -3814 -3354 -3886 -3718 -3270 3810 -3690 -4542 3658 4374 3534 -4122 4198 3478 -4282 -4422 3998 -3754 -3458 -3470 4138 -4146 -3790 3650 3834 3322 -3154 -3634 -4402 -3910 -3626 3758 4286 -3882 -3194 3278 3474 -4486 -4346 -3262 4502 4278 3258 -3550 -3954 -4318 -3850 -4410 4502 -3778 -4358 -3322 4138 -3974 -3354 -3522 -4278 -3890 3362 4258 -3722 -3202 4542 3566 3258 3314 -3382 3970 -3450 -3654 -4422 -3154 -3190 -4066 -3754 3582 -3274 -3810 -4398 -3266 -4038 -3150 -3994 -3786 -4054 -4226 -4078 -3686 -3258 3634 -3702 -3534 3758 3438 -3766 -4182 -4502 -4298 4022 4374 3354 3862 -3190 -3974 3770 4042 3406 4258 -4146 -3214 3754 -4466 -3974 -4530 4486 4266 -3150 3710 -4354 -3158 -3830 -4146 3762 3874 -4046 -3622 -4386 4034 -4282 3174 3254 4314 -4518 3214 4122 4002 -4502 4430 -3606 3718 -3790 4406 -3286 -4018 3930 -4290 3866 3602 -3334 -4526 -4014 3190 -3662 -3214 -4502 4094 -4334 4530 -4422 4190 3870 4274 -4362 -3794 4026 4538 -4350 -3742 -4206 4066 -4046 -3206 -3842 -3298 3150 -3710 4302 -4218 3826 -3190 -3886 -4394 3786 -4502 4206 3654 -4462 -4254 4390 -4170 3190 -3802 -3986 -3878 -4542 -4310 -4166 4214 -3318 -3906 -3990 3966 4378 -4046 3438 -3150 4162 -3762 -3814 -3802 -3318 4326 3150 -3762 -4054 -3222 -3214 3150 3270 3446 3950 -3190 -3970 3182 -4502 -4162 3222 -4462 3242 -4322 4178 3222 -4058 -4234 -4494 4082 3910 -4414 -3806 4122 -4542 -4486 -4362 -3594 3662 -4346 3262 -4046 -3546 4034 3970 3810 -4134 3702 3302 -3246 -3210 -3178 3478 3538 3190 -3518 -3258 -3630 3930 3594 -3550 -4542 -4198 -3430 3266 3970 -3942 -4058 -4098 -3490 -3550 -3278 3734 -3422 -4394 -3998 4114 -3722 -3402 -3818 4150 3238 -3570 -4062 4162 3458 -3774 -3614 3966 -3630 -3190 -3626 3838 3974 3854 4118 3286 -3238 3370 3214 -3166 3850 3862 3306 3578 4178 3190 -4162 -3662 3978 -4542 -3218 -4142 -3726 -4306 -3582 -3722 -3722 -3934 -3962 -3742 -4338 -3274 3586 -4070 4278 3746 -4266 -3906 -3282 -4474 -3250 -4134 -3826 4198 3190 -4538 -3218 -4302 4490 -3618 -3402 3630 4490 3762 -3614 3322 -4266 -3190 3622 3766 3238 -4290 3954 -4366 -3494 -4158 4082 -4542 4486 -3974 -4298 -3714 3982 3150 3294 -3418 4458 3522 3190 -4130 -3158 4150 -4242 4230 -4230 3350 4106 3198 4118 3362 4522 -4322 -4542 -4462 4346 -3178 3670 4082 -3774 -4334 -4306 4382 3870 -3770 3642 3798 3658 -4146 4110 -3614 -3830 -3510 -3194 -3210 4486 3830 3294 3850 4078 -3486 -4034 -3670 3706 4538 3618 -3586 3190 -4058 -4150 -3238 -3210 -3190 -4314 3718 -3842 -3510 3974 3566 -4194 4002 -4542 4338 3414 -3590 4202 4126 4066 3374 -3282 3346 -4306 -3966 -3210 -3198 4106 -3578 -3302 -4438 -4014 4138 3482 3346 3446 4146 -3254 -3830 -3306 -3834 3926 4486 -4510 -4014 4498 4474 4478 3318 4002 -4090 -3794 -4010 3706 -3706 -3702 -4522 -4370 3634 -3526 -4234 -3330 -4410 -3614 -4106 -3926 -3242 -3374 -4026 -4422 -3318 -3550 3478 -4214 3490 3610 -3198 -3222 3874 3762 3198 4074 -3510 -4522 -3394 -3622 -3378 -3318 -3618 -4522 3670 -3762 -4114 4178 -3622 4194 -3482 3206 4026 -3530 3446 4502 3178 -3278 -4306 4122 -3658 -3858 3370 -3586 -4502 3190 3746 -3770 3242 -3610 3190 4482 -3190 -3874 4514 3662 -3174 4430 3270 3678 -4422 4194 -3238 4542 3190 -4542 3310 -4522 3614 3858 3334 -4306 -3518 -3554 -4542 3274 -4542 4518 3578 3334 3818 -3282 4138 4322 -4338 -3890 -4126 -4030 -3734 3866 -4322 -3458 -3798 -3678 3994 -4086 3790 3394 3794 3458 -3150 -4502 3626 4542 4494 -4418 4122 3986 -3494 4082 3150 -3214 -3386 3602 -3954 -4334 -4090 -4398 -3910 -3390 3418 -4502 4026 -3638 4086 4162 3406 -3150 -3210 -3218 -3190 -3426 -3238 4454 3514 4254 -3318 3870 4278 -3350 -4006 -3974 -3218 -3554 -4098 -3874 4006 3822 3150 -3974 -4462 -4090 -3586 3314 -4178 3518 -4366 4222 -4086 -3158 3950 -4410 3926 -4322 -3254 -3402 3710 -3466 -4502 -3918 3938 3390 -3442 4170 3478 -4466 -4266 3150 4114 4282 -3594 -4186 -4502 4458 -3326 -3574 -3714 3306 -4386 -3754 -3870 -3674 -3634 4126 -3666 3534 -3558 3730 3218 3986 -4462 4470 4326 3486 4278 3274 4106 4078 3150 3234 3310 4374 -4014 -3590 4542 -3942 -4474 -3858 -3426 -3242 3578 3222 4182 3378 -4014 4130 -4190 -4434 -3626 -3594 3866 3402 4426 4022 3974 -3174 -4070 4086 -3314 3154 -4234 -3590 -4366 3998 -3170 -3698 3326 -3950 -3726 -3554 3970 -4390 -3894 -3150 4154 -3182 -3966 3406 3190 -3226 3170 -3190 -4270 -4542 3770 -4198 -3754 -4050 -4158 4498 4486 -3818 -3450 3678 -4502 -3810 3902 3826 3638 -4462 -4526 -4226 -4482 4470 -4474 3262 -3378 -3258 -3366 -4282 -4350 3658 3494 3522 4098 3286 -3930 -3194 -4250 -3150 4178 -3518 -4014 -4222 3266 3566 -4130 -4042 4370 -3390 3354 -3982 4102 -3246 -3946 3338 3258 -4246 -3346 -3694 3954 -3510 -3810 4262 -3546 -4450 3714 -4054 -3674 -3738 -4390 3278 -3526 3478 -3262 4086 4194 -4274 -4198 4502 -4010 -3702 -4146 4082 3198 -3622 -3594 -4170 4346 -3982 3542 -3942 4234 3582 -4542 3406 -4198 -3790 -3294 3330 3954 4502 3514 -3154 -4542 -4222 3746 3742 -4478 4502 -3802 -3194 -4270 -4086 3866 -4542 3374 4530 -4414 -3618 -3758 3870 4210 -3186 3386 -4286 -3898 3602 -3898 -3942 -4542 4542 -4502 -4346 -4406 3686 -3574 4474 4046 -4206 3638 -4494 -3834 3986 3170 3346 4090 -3154 -3786 -3630 -3586 3714 3222 -4090 4222 4018 3602 -3190 3994 3246 3362 -3850 -4186 -3818 -4246 -3150 3562 -3370 3682 -4322 -4474 3926 -3250 -3350 4474 -3498 -4542 3382 4434 3514 3374 -3966 4542 -3158 -4038 -3402 -4274 3938 -3614 -3326 -3578 3842 4482 3430 3970 -4322 -3338 -4462 -3582 -3994 4026 3234 4238 -3262 -3246 4130 -3798 -3478 3334 3810 3690 -4066 -4402 -4082 4226 3478 -3278 -4026 -3522 -3454 -3954 4326 -4510 3154 3170 3718 -4322 -3330 -4398 3598 -3474 -3554 3494 -3550 3150 -4502 -3870 -4238 -3334 -4402 4062 -4326 3754 -3642 4038 3150 -4158 -3390 -3242 -3834 -3714 3850 3534 -3170 3598 3382 -3310 -3718 3698 -4118 -4014 3226 -3554 3862 -3962 -3762 3710 -3854 -4502 -3766 3858 -3910 -4294 -3622 -4370 -3314 -4542 -3150 -3822 4318 3462 3862 -4154 -4170 -3158 -3190 -4122 4042 3910 3190 4442 -3326 -4162 3998 -3254 -3422 -3994 -3614 4006 -4430 -4322 4450 -3586 -4146 -4542 -3390 -3770 -3758 3270 -3706 -4514 -3386 -4162 -3506 3610 4386 -3642 4114 4446 -3426 4058 -3298 -3514 -3630 3150 3846 4474 -3702 -4358 -4542 3614 -4138 -3602 -3454 -4374 3382 3326 -3898 -3358 3794 -3190 -4014 3570 -4262 3706 4482 -3494 -4458 -3714 3654 -3410 -4494 -3866 -3826 3926 4258 -3994 -3966 -3730 3290 -3518 3786 3826 -3890 3878 -3666 -3150 4118 4042 -4062 -3290 -3714 -3754 3898 -3578 -3386 4542 -3426 -3626 -4110 -3546 -4502 -3790 -4422 -3254 3562 3542 4242 -4306 -3966 3538 -3582 4034 -3374 -3190 3434 3766 4450 4086 3350 -3882 -3454 3206 3254 -3298 -4450 3358 3578 -3198 -3754 -3974 -3990 -4006 -3706 -3150 3442 4266 -3754 3538 -3818 -3802 4238 3178 -4346 3582 -3950 -4298 3794 3258 4542 4498 -3406 -3746 -3486 4182 4038 -4458 3326 -3242 -3374 -3582 -3710 4318 3774 -4454 -3218 -3158 -3970 -4362 4366 3678 -4374 3814 4218 -3806 3878 4070 3150 -4226 -3838 3930 -3190 -3926 -4506 -4502 4390 3702 3926 -3718 -3210 -3558 -3322 -3150 -4170 4410 3150 4046 -3286 -4210 -4542 -3994 3634 -3838 -3202 -3390 -4238 -4422 4414 3566 -3842 -4090 3938 -3574 -3570 3354 3318 -3806 -3302 4510 3670 -3898 3378 -3202 -4422 3750 -4150 4106 3398 -4274 3986 -4082 4074 3462 -3302 -3366 -4358 3626 3762 -3978 -3710 3182 -3850 4466 -4478 -4194 -4522 3330 4422 3254 -4362 -3614 3150 -3578 3306 -4362 4126 3214 -4362 -4010 3714 -3842 -3654 3614 -3954 4014 -4210 3810 -3690 -3202 -3158 -4358 -4290 4490 -3982 -3502 -4542 3150 3286 -4542 3314 -3870 -3794 -3618 -4210 -4106 -4334 -4018 3602 4086 3802 4046 -3230 -3626 4302 -3366 -3346 -3850 3406 -4014 -3446 -3230 3306 -3182 -4074 4262 -3974 4286 -3846 -4282 -4462 -4306 3198 -4422 -3902 -3974 -4362 4286 -3586 -3262 -3946 -3994 4414 3670 3982 -3262 3330 -3578 3626 3494 -4218 4170 -4542 3234 -4278 -3398 3878 -4238 -4006 -3210 -4010 3722 4502 -3678 4322 -3154 4302 -4298 4474 -4482 -3966 4542 -3746 -4542 -3366 -3626 4170 -3590 4270 -3526 -4022 -4178 3334 3950 3478 -3238 3230 -3702 -4022 -3350 3770 4026 3842 -4502 3546 3150 3198 3834 3922 -3990 4502 3194 3718 -3754 -3326 -4190 -4366 3346 -3694 -3730 3154 4186 -3758 -4330 4542 3986 3422 3850 -4218 3630 3750 -3442 3990 -3958 -3806 -3662 3854 3150 -3930 -4446 3982 -4502 3782 -4422 4430 4406 -4442 3474 -4214 -3302 -3954 -4342 3430 4338 3942 4358 -4402 4094 -4074 3510 -4482 3766 -3450 -4542 -3970 -3426 -3602 3418 3690 3822 -3470 -3266 4070 -4462 3618 -4114 -3258 -3562 -3566 3182 3218 3434 -3330 3178 3282 -4210 -4190 3702 4542 -3854 4282 3246 3354 3190 3522 -3546 -3950 3634 -3174 4130 3538 -3190 4234 3354 -3434 -3754 -4306 3466 3206 4046 -3678 -3210 -3210 4526 4542 -3262 -3582 -3426 3990 4146 -3990 3362 -4130 -3758 3926 -3354 -3710 -4206 4454 -4526 3718 3834 -4274 -4542 -3578 -3674 -3594 -3330 -3194 4022 -4246 -3638 -3582 4170 -4478 -4342 4150 -3198 -4322 3738 4058 4122 4290 -4422 3190 -4466 -4542 -3822 3714 -4422 -4502 -4346 4066 -4414 3370 -3150 3362 -3678 -4050 -3330 4230 3994 -4258 -4006 3234 -4378 -4502 -3498 -3258 -4314 4066 -4446 -4482 -3518 3382 4386 -3602 -4542 3226 3326 -3242 -4450 -3974 4274 -4374 3762 -3302 -3718 -4146 -4146 -4462 3550 3610 -4522 3766 4270 -4502 3914 -3906 3798 -3410 3378 4346 -4074 4486 -4482 -3618 3498 3254 -4482 3782 -3222 -3482 -4418 -3858 -4154 -3314 -4218 3402 -3546 -4418 3802 4190 3554 -3522 -3422 -3602 -4006 -4362 -3934 -3178 3198 -4202 -4074 -4014 3566 4406 3150 -3794 -4374 -3250 -3202 -3314 -3926 -3518 3518 -4438 -3858 -3418 -4098 -3810 4378 -4298 -4422 3462 -3690 -4422 4342 -3830 -4014 3602 4042 -3262 -3170 -4386 3198 -4326 4014 -3878 4306 4518 4374 3974 -3590 -4390 -4178 3566 -3814 -3714 -3170 -3382 -3714 3474 -3702 -3714 -4350 3150 
300.00	d NODES 3013
300.00	d CHECKS 65601889
300.00	   
300.00	   totalWckTime=299.76  totalCpuTime=296.52

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/node47/watcher-205754-1168167980 -o ROOT/results/node47/solver-205754-1168167980 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/205754-1168167980/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: 2.03 2.03 2.05 3/80 662
/proc/meminfo: memFree=1270488/2055920 swapFree=4183928/4192956
[pid=661] ppid=659 vsize=18540 CPUtime=0
/proc/661/stat : 661 (runsolver) R 659 661 32508 0 -1 4194368 17 0 0 0 0 0 0 0 25 0 1 0 165197236 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 208717540647 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/661/statm: 4635 279 244 17 0 2626 0

[startup+0.102526 s]
/proc/loadavg: 2.03 2.03 2.05 3/80 662
/proc/meminfo: memFree=1270488/2055920 swapFree=4183928/4192956
[pid=661] ppid=659 vsize=913236 CPUtime=0.09
/proc/661/stat : 661 (java) R 659 661 32508 0 -1 0 2920 0 1 0 7 2 0 0 17 0 8 0 165197236 935153664 2666 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155171578 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/661/statm: 228309 2666 1397 14 0 215208 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 913236

[startup+0.510571 s]
/proc/loadavg: 2.03 2.03 2.05 3/80 662
/proc/meminfo: memFree=1270488/2055920 swapFree=4183928/4192956
[pid=661] ppid=659 vsize=915328 CPUtime=0.49
/proc/661/stat : 661 (java) R 659 661 32508 0 -1 0 7676 0 1 0 44 5 0 0 18 0 8 0 165197236 937295872 7415 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073582037 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/661/statm: 228832 7415 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.33666 s]
/proc/loadavg: 2.03 2.03 2.05 3/87 669
/proc/meminfo: memFree=1178400/2055920 swapFree=4183928/4192956
[pid=661] ppid=659 vsize=915596 CPUtime=1.31
/proc/661/stat : 661 (java) R 659 661 32508 0 -1 0 31684 0 1 0 116 15 0 0 23 0 8 0 165197236 937570304 31421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073533836 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/661/statm: 228899 31421 2160 14 0 215369 0
[pid=661/tid=663] ppid=659 vsize=915596 CPUtime=0.13
/proc/661/task/663/stat : 663 (java) S 659 661 32508 0 -1 64 15141 0 0 0 8 5 0 0 16 0 8 0 165197240 937570304 31421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=661/tid=664] ppid=659 vsize=915596 CPUtime=0
/proc/661/task/664/stat : 664 (java) S 659 661 32508 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165197241 937570304 31421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=661/tid=665] ppid=659 vsize=915596 CPUtime=0
/proc/661/task/665/stat : 665 (java) S 659 661 32508 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 165197241 937570304 31421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=661/tid=666] ppid=659 vsize=915596 CPUtime=0
/proc/661/task/666/stat : 666 (java) S 659 661 32508 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165197244 937570304 31421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=661/tid=667] ppid=659 vsize=915596 CPUtime=0.15
/proc/661/task/667/stat : 667 (java) S 659 661 32508 0 -1 64 409 0 0 0 15 0 0 0 16 0 8 0 165197244 937570304 31421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=661/tid=668] ppid=659 vsize=915596 CPUtime=0
/proc/661/task/668/stat : 668 (java) S 659 661 32508 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 165197244 937570304 31421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=661/tid=669] ppid=659 vsize=915596 CPUtime=0
/proc/661/task/669/stat : 669 (java) S 659 661 32508 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165197244 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.31
Current children cumulated vsize (KiB) 915596

[startup+2.98483 s]
/proc/loadavg: 2.03 2.03 2.05 3/87 669
/proc/meminfo: memFree=1144864/2055920 swapFree=4183928/4192956
[pid=661] ppid=659 vsize=915732 CPUtime=2.95
/proc/661/stat : 661 (java) R 659 661 32508 0 -1 0 34843 0 1 0 277 18 0 0 25 0 8 0 165197236 937709568 34575 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153380168 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/661/statm: 228933 34575 2177 14 0 215403 0
[pid=661/tid=663] ppid=659 vsize=915732 CPUtime=0.31
/proc/661/task/663/stat : 663 (java) S 659 661 32508 0 -1 64 18238 0 0 0 24 7 0 0 16 0 8 0 165197240 937709568 34575 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=661/tid=664] ppid=659 vsize=915732 CPUtime=0
/proc/661/task/664/stat : 664 (java) S 659 661 32508 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165197241 937709568 34575 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=661/tid=665] ppid=659 vsize=915732 CPUtime=0
/proc/661/task/665/stat : 665 (java) S 659 661 32508 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 165197241 937709568 34575 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=661/tid=666] ppid=659 vsize=915732 CPUtime=0
/proc/661/task/666/stat : 666 (java) S 659 661 32508 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165197244 937709568 34575 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=661/tid=667] ppid=659 vsize=915732 CPUtime=0.16
/proc/661/task/667/stat : 667 (java) S 659 661 32508 0 -1 64 415 0 0 0 16 0 0 0 17 0 8 0 165197244 937709568 34575 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=661/tid=668] ppid=659 vsize=915732 CPUtime=0
/proc/661/task/668/stat : 668 (java) S 659 661 32508 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 165197244 937709568 34575 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=661/tid=669] ppid=659 vsize=915732 CPUtime=0
/proc/661/task/669/stat : 669 (java) S 659 661 32508 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165197244 937709568 34575 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915732

[startup+6.26417 s]
/proc/loadavg: 2.03 2.03 2.05 3/87 669
/proc/meminfo: memFree=1140192/2055920 swapFree=4183928/4192956
[pid=661] ppid=659 vsize=915732 CPUtime=6.21
/proc/661/stat : 661 (java) R 659 661 32508 0 -1 0 34860 0 1 0 603 18 0 0 25 0 8 0 165197236 937709568 34591 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073836385 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/661/statm: 228933 34591 2180 14 0 215403 0
[pid=661/tid=663] ppid=659 vsize=915732 CPUtime=0.31
/proc/661/task/663/stat : 663 (java) S 659 661 32508 0 -1 64 18238 0 0 0 24 7 0 0 16 0 8 0 165197240 937709568 34591 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=661/tid=664] ppid=659 vsize=915732 CPUtime=0
/proc/661/task/664/stat : 664 (java) S 659 661 32508 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165197241 937709568 34591 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=661/tid=665] ppid=659 vsize=915732 CPUtime=0
/proc/661/task/665/stat : 665 (java) S 659 661 32508 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 165197241 937709568 34591 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=661/tid=666] ppid=659 vsize=915732 CPUtime=0
/proc/661/task/666/stat : 666 (java) S 659 661 32508 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165197244 937709568 34591 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=661/tid=667] ppid=659 vsize=915732 CPUtime=0.17
/proc/661/task/667/stat : 667 (java) S 659 661 32508 0 -1 64 422 0 0 0 17 0 0 0 16 0 8 0 165197244 937709568 34591 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=661/tid=668] ppid=659 vsize=915732 CPUtime=0
/proc/661/task/668/stat : 668 (java) S 659 661 32508 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 165197244 937709568 34591 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=661/tid=669] ppid=659 vsize=915732 CPUtime=0
/proc/661/task/669/stat : 669 (java) S 659 661 32508 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165197244 937709568 34591 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 915732

[startup+12.7529 s]
/proc/loadavg: 2.03 2.03 2.04 3/87 669
/proc/meminfo: memFree=1129632/2055920 swapFree=4183928/4192956
[pid=661] ppid=659 vsize=915732 CPUtime=12.67
/proc/661/stat : 661 (java) R 659 661 32508 0 -1 0 34862 0 1 0 1249 18 0 0 25 0 8 0 165197236 937709568 34593 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073831071 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/661/statm: 228933 34593 2180 14 0 215403 0
[pid=661/tid=663] ppid=659 vsize=915732 CPUtime=0.31
/proc/661/task/663/stat : 663 (java) S 659 661 32508 0 -1 64 18238 0 0 0 24 7 0 0 16 0 8 0 165197240 937709568 34593 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=661/tid=664] ppid=659 vsize=915732 CPUtime=0
/proc/661/task/664/stat : 664 (java) S 659 661 32508 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165197241 937709568 34593 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=661/tid=665] ppid=659 vsize=915732 CPUtime=0
/proc/661/task/665/stat : 665 (java) S 659 661 32508 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 165197241 937709568 34593 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=661/tid=666] ppid=659 vsize=915732 CPUtime=0
/proc/661/task/666/stat : 666 (java) S 659 661 32508 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165197244 937709568 34593 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=661/tid=667] ppid=659 vsize=915732 CPUtime=0.17
/proc/661/task/667/stat : 667 (java) S 659 661 32508 0 -1 64 424 0 0 0 17 0 0 0 16 0 8 0 165197244 937709568 34593 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=661/tid=668] ppid=659 vsize=915732 CPUtime=0
/proc/661/task/668/stat : 668 (java) S 659 661 32508 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 165197244 937709568 34593 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=661/tid=669] ppid=659 vsize=915732 CPUtime=0
/proc/661/task/669/stat : 669 (java) S 659 661 32508 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165197244 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) 12.67
Current children cumulated vsize (KiB) 915732

[startup+25.5982 s]
/proc/loadavg: 2.09 2.04 2.05 3/87 669
/proc/meminfo: memFree=920288/2055920 swapFree=4183928/4192956
[pid=661] ppid=659 vsize=915732 CPUtime=25.45
/proc/661/stat : 661 (java) R 659 661 32508 0 -1 0 36032 0 1 0 2526 19 0 0 25 0 8 0 165197236 937709568 35762 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073831013 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/661/statm: 228933 35762 2181 14 0 215403 0
[pid=661/tid=663] ppid=659 vsize=915732 CPUtime=0.38
/proc/661/task/663/stat : 663 (java) S 659 661 32508 0 -1 64 19393 0 0 0 30 8 0 0 16 0 8 0 165197240 937709568 35762 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=661/tid=664] ppid=659 vsize=915732 CPUtime=0
/proc/661/task/664/stat : 664 (java) S 659 661 32508 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165197241 937709568 35762 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=661/tid=665] ppid=659 vsize=915732 CPUtime=0
/proc/661/task/665/stat : 665 (java) S 659 661 32508 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 165197241 937709568 35762 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=661/tid=666] ppid=659 vsize=915732 CPUtime=0
/proc/661/task/666/stat : 666 (java) S 659 661 32508 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165197244 937709568 35762 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=661/tid=667] ppid=659 vsize=915732 CPUtime=0.19
/proc/661/task/667/stat : 667 (java) S 659 661 32508 0 -1 64 437 0 0 0 19 0 0 0 16 0 8 0 165197244 937709568 35762 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=661/tid=668] ppid=659 vsize=915732 CPUtime=0
/proc/661/task/668/stat : 668 (java) S 659 661 32508 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 165197244 937709568 35762 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=661/tid=669] ppid=659 vsize=915732 CPUtime=0
/proc/661/task/669/stat : 669 (java) S 659 661 32508 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165197244 937709568 35762 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 915732

[startup+51.204 s]
/proc/loadavg: 2.06 2.04 2.05 3/87 669
/proc/meminfo: memFree=920224/2055920 swapFree=4183928/4192956
[pid=661] ppid=659 vsize=915732 CPUtime=50.94
/proc/661/stat : 661 (java) R 659 661 32508 0 -1 0 36035 0 1 0 5074 20 0 0 25 0 8 0 165197236 937709568 35764 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073832112 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/661/statm: 228933 35764 2181 14 0 215403 0
[pid=661/tid=663] ppid=659 vsize=915732 CPUtime=0.38
/proc/661/task/663/stat : 663 (java) S 659 661 32508 0 -1 64 19393 0 0 0 30 8 0 0 16 0 8 0 165197240 937709568 35764 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=661/tid=664] ppid=659 vsize=915732 CPUtime=0
/proc/661/task/664/stat : 664 (java) S 659 661 32508 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165197241 937709568 35764 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=661/tid=665] ppid=659 vsize=915732 CPUtime=0
/proc/661/task/665/stat : 665 (java) S 659 661 32508 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 165197241 937709568 35764 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=661/tid=666] ppid=659 vsize=915732 CPUtime=0
/proc/661/task/666/stat : 666 (java) S 659 661 32508 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165197244 937709568 35764 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=661/tid=667] ppid=659 vsize=915732 CPUtime=0.19
/proc/661/task/667/stat : 667 (java) S 659 661 32508 0 -1 64 439 0 0 0 19 0 0 0 16 0 8 0 165197244 937709568 35764 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=661/tid=668] ppid=659 vsize=915732 CPUtime=0
/proc/661/task/668/stat : 668 (java) S 659 661 32508 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 165197244 937709568 35764 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=661/tid=669] ppid=659 vsize=915732 CPUtime=0
/proc/661/task/669/stat : 669 (java) S 659 661 32508 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165197244 937709568 35764 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.94
Current children cumulated vsize (KiB) 915732

[startup+102.43 s]
/proc/loadavg: 1.96 2.01 2.04 3/87 725
/proc/meminfo: memFree=1149664/2055920 swapFree=4183928/4192956
[pid=661] ppid=659 vsize=915732 CPUtime=101.96
/proc/661/stat : 661 (java) R 659 661 32508 0 -1 0 39626 0 1 0 10167 29 0 0 25 0 8 0 165197236 937709568 39353 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073837840 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/661/statm: 228933 39353 2181 14 0 215403 0
[pid=661/tid=663] ppid=659 vsize=915732 CPUtime=0.55
/proc/661/task/663/stat : 663 (java) S 659 661 32508 0 -1 64 22981 0 0 0 45 10 0 0 16 0 8 0 165197240 937709568 39353 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=661/tid=664] ppid=659 vsize=915732 CPUtime=0
/proc/661/task/664/stat : 664 (java) S 659 661 32508 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165197241 937709568 39353 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=661/tid=665] ppid=659 vsize=915732 CPUtime=0
/proc/661/task/665/stat : 665 (java) S 659 661 32508 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 165197241 937709568 39353 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=661/tid=666] ppid=659 vsize=915732 CPUtime=0
/proc/661/task/666/stat : 666 (java) S 659 661 32508 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165197244 937709568 39353 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=661/tid=667] ppid=659 vsize=915732 CPUtime=0.19
/proc/661/task/667/stat : 667 (java) S 659 661 32508 0 -1 64 440 0 0 0 19 0 0 0 16 0 8 0 165197244 937709568 39353 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=661/tid=668] ppid=659 vsize=915732 CPUtime=0
/proc/661/task/668/stat : 668 (java) S 659 661 32508 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 165197244 937709568 39353 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=661/tid=669] ppid=659 vsize=915732 CPUtime=0
/proc/661/task/669/stat : 669 (java) S 659 661 32508 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165197244 937709568 39353 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.96
Current children cumulated vsize (KiB) 915732

[startup+162.482 s]
/proc/loadavg: 1.98 2.01 2.03 3/87 725
/proc/meminfo: memFree=1130592/2055920 swapFree=4183928/4192956
[pid=661] ppid=659 vsize=915732 CPUtime=161.96
/proc/661/stat : 661 (java) R 659 661 32508 0 -1 0 42360 0 1 0 16163 33 0 0 25 0 8 0 165197236 937709568 42085 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073833748 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/661/statm: 228933 42085 2181 14 0 215403 0
[pid=661/tid=663] ppid=659 vsize=915732 CPUtime=0.68
/proc/661/task/663/stat : 663 (java) S 659 661 32508 0 -1 64 25707 0 0 0 57 11 0 0 16 0 8 0 165197240 937709568 42085 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=661/tid=664] ppid=659 vsize=915732 CPUtime=0
/proc/661/task/664/stat : 664 (java) S 659 661 32508 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165197241 937709568 42085 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=661/tid=665] ppid=659 vsize=915732 CPUtime=0
/proc/661/task/665/stat : 665 (java) S 659 661 32508 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 165197241 937709568 42085 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=661/tid=666] ppid=659 vsize=915732 CPUtime=0
/proc/661/task/666/stat : 666 (java) S 659 661 32508 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165197244 937709568 42085 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=661/tid=667] ppid=659 vsize=915732 CPUtime=0.2
/proc/661/task/667/stat : 667 (java) S 659 661 32508 0 -1 64 446 0 0 0 20 0 0 0 16 0 8 0 165197244 937709568 42085 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=661/tid=668] ppid=659 vsize=915732 CPUtime=0
/proc/661/task/668/stat : 668 (java) S 659 661 32508 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 165197244 937709568 42085 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=661/tid=669] ppid=659 vsize=915732 CPUtime=0
/proc/661/task/669/stat : 669 (java) S 659 661 32508 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165197244 937709568 42085 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.96
Current children cumulated vsize (KiB) 915732

[startup+222.531 s]
/proc/loadavg: 2.03 2.02 2.03 3/87 725
/proc/meminfo: memFree=902432/2055920 swapFree=4183928/4192956
[pid=661] ppid=659 vsize=915876 CPUtime=221.94
/proc/661/stat : 661 (java) R 659 661 32508 0 -1 0 96563 0 1 0 22140 54 0 0 25 0 8 0 165197236 937857024 96221 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073834651 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/661/statm: 228969 96221 2545 14 0 215439 0
[pid=661/tid=663] ppid=659 vsize=915876 CPUtime=2.2
/proc/661/task/663/stat : 663 (java) S 659 661 32508 0 -1 64 79317 0 0 0 190 30 0 0 16 0 8 0 165197240 937857024 96221 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=661/tid=664] ppid=659 vsize=915876 CPUtime=0
/proc/661/task/664/stat : 664 (java) S 659 661 32508 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165197241 937857024 96221 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=661/tid=665] ppid=659 vsize=915876 CPUtime=0
/proc/661/task/665/stat : 665 (java) S 659 661 32508 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165197241 937857024 96221 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=661/tid=666] ppid=659 vsize=915876 CPUtime=0
/proc/661/task/666/stat : 666 (java) S 659 661 32508 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165197244 937857024 96221 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=661/tid=667] ppid=659 vsize=915876 CPUtime=0.35
/proc/661/task/667/stat : 667 (java) S 659 661 32508 0 -1 64 564 0 0 0 34 1 0 0 16 0 8 0 165197244 937857024 96221 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=661/tid=668] ppid=659 vsize=915876 CPUtime=0
/proc/661/task/668/stat : 668 (java) S 659 661 32508 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 165197244 937857024 96221 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=661/tid=669] ppid=659 vsize=915876 CPUtime=0
/proc/661/task/669/stat : 669 (java) S 659 661 32508 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165197244 937857024 96221 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 221.94
Current children cumulated vsize (KiB) 915876

[startup+282.594 s]
/proc/loadavg: 2.01 2.01 2.02 3/87 725
/proc/meminfo: memFree=892320/2055920 swapFree=4183928/4192956
[pid=661] ppid=659 vsize=915876 CPUtime=281.94
/proc/661/stat : 661 (java) R 659 661 32508 0 -1 0 96589 0 1 0 28139 55 0 0 25 0 8 0 165197236 937857024 96236 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074264310 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/661/statm: 228969 96236 2547 14 0 215439 0
[pid=661/tid=663] ppid=659 vsize=915876 CPUtime=2.2
/proc/661/task/663/stat : 663 (java) S 659 661 32508 0 -1 64 79317 0 0 0 190 30 0 0 16 0 8 0 165197240 937857024 96236 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=661/tid=664] ppid=659 vsize=915876 CPUtime=0
/proc/661/task/664/stat : 664 (java) S 659 661 32508 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165197241 937857024 96236 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=661/tid=665] ppid=659 vsize=915876 CPUtime=0
/proc/661/task/665/stat : 665 (java) S 659 661 32508 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165197241 937857024 96236 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=661/tid=666] ppid=659 vsize=915876 CPUtime=0
/proc/661/task/666/stat : 666 (java) S 659 661 32508 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165197244 937857024 96236 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=661/tid=667] ppid=659 vsize=915876 CPUtime=0.38
/proc/661/task/667/stat : 667 (java) S 659 661 32508 0 -1 64 579 0 0 0 37 1 0 0 16 0 8 0 165197244 937857024 96236 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=661/tid=668] ppid=659 vsize=915876 CPUtime=0
/proc/661/task/668/stat : 668 (java) S 659 661 32508 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 165197244 937857024 96236 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=661/tid=669] ppid=659 vsize=915876 CPUtime=0
/proc/661/task/669/stat : 669 (java) S 659 661 32508 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165197244 937857024 96236 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 281.94
Current children cumulated vsize (KiB) 915876

Child status: 0
Real time (s): 300.076
CPU time (s): 299.41
CPU user time (s): 298.795
CPU system time (s): 0.615906
CPU usage (%): 99.7784
Max. virtual memory (cumulated for all children) (KiB): 915984

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 298.795
system time used= 0.615906
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 96616
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= 8043
involuntary context switches= 5784

runsolver used 0.350946 s user time and 0.98185 s system time

The end

Launcher Data (download as text)

Begin job on node47 on Sun Jan  7 11:06:20 UTC 2007


IDJOB= 205754
IDBENCH= 4167
FILE ID= node47/205754-1168167980

PBS_JOBID= 3478704

Free space on /tmp= 66537 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  f2e6d32bfbd479248082237fc5fc2e6a

RANDOM SEED= 645070673

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.240
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.240
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:       1270968 kB
Buffers:         31576 kB
Cached:         521216 kB
SwapCached:       3720 kB
Active:         250432 kB
Inactive:       478008 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1270968 kB
SwapTotal:     4192956 kB
SwapFree:      4183928 kB
Dirty:            9088 kB
Writeback:           0 kB
Mapped:         189940 kB
Slab:            41564 kB
Committed_AS:  4032388 kB
PageTables:       2192 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= 66536 MiB



End job on node47 on Sun Jan  7 11:11:20 UTC 2007