Trace number 205628

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 272.404 274.685

DiagnosticValue
CHECKS55569068
NODES0

General information on the benchmark

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

Solver Data (download as text)

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

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-205628-1168167782 -o ROOT/results/node47/solver-205628-1168167782 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/205628-1168167782/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.57 1.99 2.04 5/81 606
/proc/meminfo: memFree=760208/2055920 swapFree=4183928/4192956
[pid=605] ppid=603 vsize=18540 CPUtime=0
/proc/605/stat : 605 (runsolver) R 603 605 32366 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 165178136 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 208717540647 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/605/statm: 4635 279 244 17 0 2626 0

[startup+0.103488 s]
/proc/loadavg: 1.57 1.99 2.04 5/81 606
/proc/meminfo: memFree=760208/2055920 swapFree=4183928/4192956
[pid=605] ppid=603 vsize=913228 CPUtime=0.07
/proc/605/stat : 605 (java) R 603 605 32366 0 -1 0 2919 0 1 0 6 1 0 0 25 0 8 0 165178136 935145472 2665 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/605/statm: 228307 2665 1396 14 0 215208 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 913228

[startup+0.511533 s]
/proc/loadavg: 1.57 1.99 2.04 5/81 606
/proc/meminfo: memFree=760208/2055920 swapFree=4183928/4192956
[pid=605] ppid=603 vsize=915328 CPUtime=0.47
/proc/605/stat : 605 (java) R 603 605 32366 0 -1 0 7656 0 1 0 42 5 0 0 25 0 8 0 165178136 937295872 7395 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155506585 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/605/statm: 228832 7395 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 915328

[startup+1.33262 s]
/proc/loadavg: 1.69 2.01 2.05 4/88 613
/proc/meminfo: memFree=664984/2055920 swapFree=4183928/4192956
[pid=605] ppid=603 vsize=915596 CPUtime=1.29
/proc/605/stat : 605 (java) R 603 605 32366 0 -1 0 31684 0 1 0 112 17 0 0 25 0 8 0 165178136 937570304 31421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073533791 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/605/statm: 228899 31421 2160 14 0 215369 0
[pid=605/tid=607] ppid=603 vsize=915596 CPUtime=0.17
/proc/605/task/607/stat : 607 (java) S 603 605 32366 0 -1 64 15142 0 0 0 11 6 0 0 16 0 8 0 165178140 937570304 31421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=605/tid=608] ppid=603 vsize=915596 CPUtime=0
/proc/605/task/608/stat : 608 (java) S 603 605 32366 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 165178141 937570304 31421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=605/tid=609] ppid=603 vsize=915596 CPUtime=0
/proc/605/task/609/stat : 609 (java) S 603 605 32366 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165178141 937570304 31421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=605/tid=610] ppid=603 vsize=915596 CPUtime=0
/proc/605/task/610/stat : 610 (java) S 603 605 32366 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 165178144 937570304 31421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=605/tid=611] ppid=603 vsize=915596 CPUtime=0.16
/proc/605/task/611/stat : 611 (java) S 603 605 32366 0 -1 64 409 0 0 0 16 0 0 0 16 0 8 0 165178144 937570304 31421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=605/tid=612] ppid=603 vsize=915596 CPUtime=0
/proc/605/task/612/stat : 612 (java) S 603 605 32366 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 165178144 937570304 31421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=605/tid=613] ppid=603 vsize=915596 CPUtime=0
/proc/605/task/613/stat : 613 (java) S 603 605 32366 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165178144 937570304 31421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915596

[startup+2.9748 s]
/proc/loadavg: 1.69 2.01 2.05 3/88 613
/proc/meminfo: memFree=631448/2055920 swapFree=4183928/4192956
[pid=605] ppid=603 vsize=915596 CPUtime=2.92
/proc/605/stat : 605 (java) R 603 605 32366 0 -1 0 34789 0 1 0 272 20 0 0 25 0 8 0 165178136 937570304 34521 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073538248 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/605/statm: 228899 34521 2160 14 0 215369 0
[pid=605/tid=607] ppid=603 vsize=915596 CPUtime=0.39
/proc/605/task/607/stat : 607 (java) S 603 605 32366 0 -1 64 18239 0 0 0 31 8 0 0 16 0 8 0 165178140 937570304 34521 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=605/tid=608] ppid=603 vsize=915596 CPUtime=0
/proc/605/task/608/stat : 608 (java) S 603 605 32366 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 165178141 937570304 34521 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=605/tid=609] ppid=603 vsize=915596 CPUtime=0
/proc/605/task/609/stat : 609 (java) S 603 605 32366 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165178141 937570304 34521 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=605/tid=610] ppid=603 vsize=915596 CPUtime=0
/proc/605/task/610/stat : 610 (java) S 603 605 32366 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 165178144 937570304 34521 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=605/tid=611] ppid=603 vsize=915596 CPUtime=0.16
/proc/605/task/611/stat : 611 (java) S 603 605 32366 0 -1 64 412 0 0 0 16 0 0 0 16 0 8 0 165178144 937570304 34521 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=605/tid=612] ppid=603 vsize=915596 CPUtime=0
/proc/605/task/612/stat : 612 (java) S 603 605 32366 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 165178144 937570304 34521 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=605/tid=613] ppid=603 vsize=915596 CPUtime=0
/proc/605/task/613/stat : 613 (java) S 603 605 32366 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165178144 937570304 34521 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915596

[startup+6.17612 s]
/proc/loadavg: 1.69 2.01 2.05 3/88 613
/proc/meminfo: memFree=626840/2055920 swapFree=4183928/4192956
[pid=605] ppid=603 vsize=915732 CPUtime=6.06
/proc/605/stat : 605 (java) R 603 605 32366 0 -1 0 34860 0 1 0 586 20 0 0 25 0 8 0 165178136 937709568 34591 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073848751 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/605/statm: 228933 34591 2180 14 0 215403 0
[pid=605/tid=607] ppid=603 vsize=915732 CPUtime=0.39
/proc/605/task/607/stat : 607 (java) S 603 605 32366 0 -1 64 18239 0 0 0 31 8 0 0 16 0 8 0 165178140 937709568 34591 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=605/tid=608] ppid=603 vsize=915732 CPUtime=0
/proc/605/task/608/stat : 608 (java) S 603 605 32366 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 165178141 937709568 34591 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=605/tid=609] ppid=603 vsize=915732 CPUtime=0
/proc/605/task/609/stat : 609 (java) S 603 605 32366 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165178141 937709568 34591 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=605/tid=610] ppid=603 vsize=915732 CPUtime=0
/proc/605/task/610/stat : 610 (java) S 603 605 32366 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 165178144 937709568 34591 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=605/tid=611] ppid=603 vsize=915732 CPUtime=0.18
/proc/605/task/611/stat : 611 (java) S 603 605 32366 0 -1 64 422 0 0 0 18 0 0 0 16 0 8 0 165178144 937709568 34591 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=605/tid=612] ppid=603 vsize=915732 CPUtime=0
/proc/605/task/612/stat : 612 (java) S 603 605 32366 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 165178144 937709568 34591 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=605/tid=613] ppid=603 vsize=915732 CPUtime=0
/proc/605/task/613/stat : 613 (java) S 603 605 32366 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165178144 937709568 34591 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.06
Current children cumulated vsize (KiB) 915732

[startup+12.6418 s]
/proc/loadavg: 1.81 2.02 2.05 3/88 613
/proc/meminfo: memFree=623704/2055920 swapFree=4183928/4192956
[pid=605] ppid=603 vsize=915732 CPUtime=12.47
/proc/605/stat : 605 (java) R 603 605 32366 0 -1 0 34862 0 1 0 1227 20 0 0 25 0 8 0 165178136 937709568 34593 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073835280 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/605/statm: 228933 34593 2180 14 0 215403 0
[pid=605/tid=607] ppid=603 vsize=915732 CPUtime=0.39
/proc/605/task/607/stat : 607 (java) S 603 605 32366 0 -1 64 18239 0 0 0 31 8 0 0 16 0 8 0 165178140 937709568 34593 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=605/tid=608] ppid=603 vsize=915732 CPUtime=0
/proc/605/task/608/stat : 608 (java) S 603 605 32366 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 165178141 937709568 34593 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=605/tid=609] ppid=603 vsize=915732 CPUtime=0
/proc/605/task/609/stat : 609 (java) S 603 605 32366 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165178141 937709568 34593 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=605/tid=610] ppid=603 vsize=915732 CPUtime=0
/proc/605/task/610/stat : 610 (java) S 603 605 32366 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 165178144 937709568 34593 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=605/tid=611] ppid=603 vsize=915732 CPUtime=0.19
/proc/605/task/611/stat : 611 (java) S 603 605 32366 0 -1 64 424 0 0 0 19 0 0 0 15 0 8 0 165178144 937709568 34593 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=605/tid=612] ppid=603 vsize=915732 CPUtime=0
/proc/605/task/612/stat : 612 (java) S 603 605 32366 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 165178144 937709568 34593 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=605/tid=613] ppid=603 vsize=915732 CPUtime=0
/proc/605/task/613/stat : 613 (java) S 603 605 32366 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165178144 937709568 34593 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.47
Current children cumulated vsize (KiB) 915732

[startup+25.5022 s]
/proc/loadavg: 1.84 2.02 2.05 3/88 613
/proc/meminfo: memFree=617688/2055920 swapFree=4183928/4192956
[pid=605] ppid=603 vsize=915732 CPUtime=25.21
/proc/605/stat : 605 (java) R 603 605 32366 0 -1 0 35999 0 1 0 2500 21 0 0 25 0 8 0 165178136 937709568 35729 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073837131 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/605/statm: 228933 35729 2181 14 0 215403 0
[pid=605/tid=607] ppid=603 vsize=915732 CPUtime=0.47
/proc/605/task/607/stat : 607 (java) S 603 605 32366 0 -1 64 19365 0 0 0 38 9 0 0 16 0 8 0 165178140 937709568 35729 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=605/tid=608] ppid=603 vsize=915732 CPUtime=0
/proc/605/task/608/stat : 608 (java) S 603 605 32366 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 165178141 937709568 35729 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=605/tid=609] ppid=603 vsize=915732 CPUtime=0
/proc/605/task/609/stat : 609 (java) S 603 605 32366 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165178141 937709568 35729 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=605/tid=610] ppid=603 vsize=915732 CPUtime=0
/proc/605/task/610/stat : 610 (java) S 603 605 32366 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 165178144 937709568 35729 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=605/tid=611] ppid=603 vsize=915732 CPUtime=0.2
/proc/605/task/611/stat : 611 (java) S 603 605 32366 0 -1 64 433 0 0 0 20 0 0 0 15 0 8 0 165178144 937709568 35729 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=605/tid=612] ppid=603 vsize=915732 CPUtime=0
/proc/605/task/612/stat : 612 (java) S 603 605 32366 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 165178144 937709568 35729 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=605/tid=613] ppid=603 vsize=915732 CPUtime=0
/proc/605/task/613/stat : 613 (java) S 603 605 32366 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165178144 937709568 35729 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.21
Current children cumulated vsize (KiB) 915732

[startup+51.2039 s]
/proc/loadavg: 1.90 2.02 2.05 3/88 613
/proc/meminfo: memFree=617432/2055920 swapFree=4183928/4192956
[pid=605] ppid=603 vsize=915732 CPUtime=50.67
/proc/605/stat : 605 (java) R 603 605 32366 0 -1 0 36002 0 1 0 5045 22 0 0 25 0 8 0 165178136 937709568 35731 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073830893 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/605/statm: 228933 35731 2181 14 0 215403 0
[pid=605/tid=607] ppid=603 vsize=915732 CPUtime=0.47
/proc/605/task/607/stat : 607 (java) S 603 605 32366 0 -1 64 19365 0 0 0 38 9 0 0 16 0 8 0 165178140 937709568 35731 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=605/tid=608] ppid=603 vsize=915732 CPUtime=0
/proc/605/task/608/stat : 608 (java) S 603 605 32366 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 165178141 937709568 35731 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=605/tid=609] ppid=603 vsize=915732 CPUtime=0
/proc/605/task/609/stat : 609 (java) S 603 605 32366 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165178141 937709568 35731 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=605/tid=610] ppid=603 vsize=915732 CPUtime=0
/proc/605/task/610/stat : 610 (java) S 603 605 32366 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 165178144 937709568 35731 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=605/tid=611] ppid=603 vsize=915732 CPUtime=0.2
/proc/605/task/611/stat : 611 (java) S 603 605 32366 0 -1 64 435 0 0 0 20 0 0 0 16 0 8 0 165178144 937709568 35731 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=605/tid=612] ppid=603 vsize=915732 CPUtime=0
/proc/605/task/612/stat : 612 (java) S 603 605 32366 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 165178144 937709568 35731 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=605/tid=613] ppid=603 vsize=915732 CPUtime=0
/proc/605/task/613/stat : 613 (java) S 603 605 32366 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165178144 937709568 35731 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.67
Current children cumulated vsize (KiB) 915732

[startup+102.501 s]
/proc/loadavg: 1.95 2.01 2.04 3/88 613
/proc/meminfo: memFree=593560/2055920 swapFree=4183928/4192956
[pid=605] ppid=603 vsize=915732 CPUtime=101.47
/proc/605/stat : 605 (java) R 603 605 32366 0 -1 0 39560 0 1 0 10122 25 0 0 25 0 8 0 165178136 937709568 39287 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073832128 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/605/statm: 228933 39287 2181 14 0 215403 0
[pid=605/tid=607] ppid=603 vsize=915732 CPUtime=0.64
/proc/605/task/607/stat : 607 (java) S 603 605 32366 0 -1 64 22920 0 0 0 54 10 0 0 16 0 8 0 165178140 937709568 39287 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=605/tid=608] ppid=603 vsize=915732 CPUtime=0
/proc/605/task/608/stat : 608 (java) S 603 605 32366 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 165178141 937709568 39287 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=605/tid=609] ppid=603 vsize=915732 CPUtime=0
/proc/605/task/609/stat : 609 (java) S 603 605 32366 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165178141 937709568 39287 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=605/tid=610] ppid=603 vsize=915732 CPUtime=0
/proc/605/task/610/stat : 610 (java) S 603 605 32366 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 165178144 937709568 39287 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=605/tid=611] ppid=603 vsize=915732 CPUtime=0.21
/proc/605/task/611/stat : 611 (java) S 603 605 32366 0 -1 64 436 0 0 0 21 0 0 0 16 0 8 0 165178144 937709568 39287 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=605/tid=612] ppid=603 vsize=915732 CPUtime=0
/proc/605/task/612/stat : 612 (java) S 603 605 32366 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 165178144 937709568 39287 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=605/tid=613] ppid=603 vsize=915732 CPUtime=0
/proc/605/task/613/stat : 613 (java) S 603 605 32366 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165178144 937709568 39287 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.47
Current children cumulated vsize (KiB) 915732

[startup+162.573 s]
/proc/loadavg: 2.06 2.04 2.05 3/88 613
/proc/meminfo: memFree=562072/2055920 swapFree=4183928/4192956
[pid=605] ppid=603 vsize=915732 CPUtime=160.98
/proc/605/stat : 605 (java) R 603 605 32366 0 -1 0 42314 0 1 0 16069 29 0 0 25 0 8 0 165178136 937709568 42039 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073831075 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/605/statm: 228933 42039 2181 14 0 215403 0
[pid=605/tid=607] ppid=603 vsize=915732 CPUtime=0.83
/proc/605/task/607/stat : 607 (java) S 603 605 32366 0 -1 64 25666 0 0 0 71 12 0 0 16 0 8 0 165178140 937709568 42039 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=605/tid=608] ppid=603 vsize=915732 CPUtime=0
/proc/605/task/608/stat : 608 (java) S 603 605 32366 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 165178141 937709568 42039 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=605/tid=609] ppid=603 vsize=915732 CPUtime=0
/proc/605/task/609/stat : 609 (java) S 603 605 32366 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165178141 937709568 42039 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=605/tid=610] ppid=603 vsize=915732 CPUtime=0
/proc/605/task/610/stat : 610 (java) S 603 605 32366 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 165178144 937709568 42039 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=605/tid=611] ppid=603 vsize=915732 CPUtime=0.21
/proc/605/task/611/stat : 611 (java) S 603 605 32366 0 -1 64 442 0 0 0 21 0 0 0 16 0 8 0 165178144 937709568 42039 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=605/tid=612] ppid=603 vsize=915732 CPUtime=0
/proc/605/task/612/stat : 612 (java) S 603 605 32366 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 165178144 937709568 42039 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=605/tid=613] ppid=603 vsize=915732 CPUtime=0
/proc/605/task/613/stat : 613 (java) S 603 605 32366 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165178144 937709568 42039 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 160.98
Current children cumulated vsize (KiB) 915732

[startup+222.666 s]
/proc/loadavg: 2.09 2.04 2.05 3/87 669
/proc/meminfo: memFree=920288/2055920 swapFree=4183928/4192956
[pid=605] ppid=603 vsize=915876 CPUtime=220.65
/proc/605/stat : 605 (java) R 603 605 32366 0 -1 0 96565 0 1 0 22008 57 0 0 25 0 8 0 165178136 937857024 96223 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073832190 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/605/statm: 228969 96223 2545 14 0 215439 0
[pid=605/tid=607] ppid=603 vsize=915876 CPUtime=2.4
/proc/605/task/607/stat : 607 (java) S 603 605 32366 0 -1 64 79320 0 0 0 210 30 0 0 16 0 8 0 165178140 937857024 96223 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=605/tid=608] ppid=603 vsize=915876 CPUtime=0
/proc/605/task/608/stat : 608 (java) S 603 605 32366 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165178141 937857024 96223 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=605/tid=609] ppid=603 vsize=915876 CPUtime=0
/proc/605/task/609/stat : 609 (java) S 603 605 32366 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 165178141 937857024 96223 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=605/tid=610] ppid=603 vsize=915876 CPUtime=0
/proc/605/task/610/stat : 610 (java) S 603 605 32366 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 165178144 937857024 96223 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=605/tid=611] ppid=603 vsize=915876 CPUtime=0.34
/proc/605/task/611/stat : 611 (java) S 603 605 32366 0 -1 64 563 0 0 0 33 1 0 0 16 0 8 0 165178144 937857024 96223 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=605/tid=612] ppid=603 vsize=915876 CPUtime=0
/proc/605/task/612/stat : 612 (java) S 603 605 32366 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 165178144 937857024 96223 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=605/tid=613] ppid=603 vsize=915876 CPUtime=0
/proc/605/task/613/stat : 613 (java) S 603 605 32366 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165178144 937857024 96223 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 220.65
Current children cumulated vsize (KiB) 915876

Child status: 0
Real time (s): 274.685
CPU time (s): 272.404
CPU user time (s): 271.765
CPU system time (s): 0.638902
CPU usage (%): 99.1694
Max. virtual memory (cumulated for all children) (KiB): 915984

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 271.765
system time used= 0.638902
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 96603
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= 7465
involuntary context switches= 13023

runsolver used 0.292955 s user time and 0.857869 s system time

The end

Launcher Data (download as text)

Begin job on node47 on Sun Jan  7 11:03:05 UTC 2007


IDJOB= 205628
IDBENCH= 4160
FILE ID= node47/205628-1168167782

PBS_JOBID= 3478690

Free space on /tmp= 66542 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  4350c131016c23f892c949167354beef

RANDOM SEED= 672740724

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:        762992 kB
Buffers:         31516 kB
Cached:         508696 kB
SwapCached:       3720 kB
Active:         764760 kB
Inactive:       470560 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        762992 kB
SwapTotal:     4192956 kB
SwapFree:      4183928 kB
Dirty:            9136 kB
Writeback:           0 kB
Mapped:         709264 kB
Slab:            41528 kB
Committed_AS:  3975208 kB
PageTables:       3272 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= 66537 MiB



End job on node47 on Sun Jan  7 11:07:44 UTC 2007