Trace number 205661

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 ACSAT 61.9576 62.229

DiagnosticValue
CHECKS68917102
NODES3001

General information on the benchmark

Namefapp/fapp36-40/fapp40/
fapp40-3000-8.xml
MD5SUM780bc7cf3432a828d9bbecb1a5751390
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 benchmark54.2178
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.30	   
0.30	Abscon 109 (November, 2006)
0.30	   
0.30	   configuration
0.30	     name=mac.xml
0.33	   
0.33	   instance
0.33	     name=/tmp/evaluation/205661-1168073438/unknown.xml
0.36	   
0.36	   domains being loaded...
0.39	   
0.39	   variables being loaded...
0.89	     nbVariables=3000  nbDomainTypes=14  minDomainSize=50  maxDomainSize=698
0.89	       =>  wckTime=0.59  cpuTime=0.41  mem=58M777
0.89	   
0.89	   predicates being loaded...
0.90	   
0.90	   constraints being loaded...
4.73	   
4.73	   INFO : Stopping converting binary constraints (cpu=4.02, mem = 106M961)
11.35	     nbConstraints=28313  nbMergedConstraints=25235  nbConvertedConstraints=8  nbConvertConstraintsChecks=3527320
11.35	     nbExtensionStructures=8  nbSharedExtensionStructures=0  nbConflictsStructures=8  nbSharedConflictsStructures=0
11.35	     nbSharedBinaryRepresentations=6689  nbEvaluationManagers=19091  nbSharedEvaluationManagers=9214  maxDegree=53
11.35	     maxArity=2
11.35	       =>  wckTime=11.047  cpuTime=9.75  mem=114M898
11.66	   
11.66	   solver IterativeSystematicSolver being built... 
12.75	       =>  wckTime=12.449  cpuTime=10.37  mem=298M236
56.31	   
56.31	   preprocessing
56.31	     nbConstraintChecks=67490949  nbValidityChecks=7022650  nbPropagations=8786  nbRevisions=199972
56.31	     nbUselessRevisions=174244  nbRemovedValues=1821346  detectedInconsistency=no
56.31	       =>  wckTime=43.506  cpuTime=43.3  mem=298M236
62.13	   
62.13	   search
62.13	     run=0  nbConstraintChecks=1426153  nbValidityChecks=2572508  nbPropagations=24244  nbRevisions=420885
62.13	     nbUselessRevisions=379938  nbAssignments=3001  nbFailedAssignments=1  nbBacktracks=0  nbVisitedNodes=3003
62.13	     nbRestartNogoods=0  mapSize=0  nbInferences=0  nbTooLargeKeys=2337
62.13	       =>  wckTime=49.336  cpuTime=49.06  mem=313M347
62.13	   
62.13	   global
62.13	     nbConstraintChecks=68917102  nbValidityChecks=9595158  nbPropagations=33030  nbRevisions=620857
62.13	     nbUselessRevisions=554182  nbRestartNogoods=0  solvingWckTime=49.338  solvingCpuTime=49.06  expiredTime=no
62.13	     totalExploration=no  nbFoundSolutions=1  globalCpuTime=59.54
62.13	       =>  wckTime=61.832  cpuTime=59.48  mem=313M347
62.14	   
62.14	s SATISFIABLE
62.14	v -3422 3178 -3222 -3574 4030 -4158 -3998 -3154 -3546 -3742 -3666 3298 -3266 4002 -4538 -3574 3294 -4178 -3546 -3886 -3618 -3650 -3486 -3354 -4526 -3358 3734 4074 -3818 3542 3702 4166 3622 -3866 -3502 -4134 -3314 -3994 -3966 3802 -4046 4110 -3914 -4302 -4226 4322 3150 4206 -3970 3494 4414 3486 -4434 4502 -4110 -3258 4182 -4498 -4282 -4030 3658 3390 -4426 -3894 4106 -3962 -4162 4490 -4542 -3750 -4386 -3642 3254 -3730 4302 -4502 -4542 3606 4246 4430 4342 -4202 4026 -4162 -3494 -3254 -4502 3562 -4338 3286 4310 -4210 -3970 -3378 -4334 3166 -4118 4206 -4082 4290 3954 -4502 3246 -3190 -4482 -3974 3710 3170 -3858 3190 3410 3770 3414 3534 3994 -4250 3646 -3966 -3218 3206 3998 -3842 -3718 -4502 -3822 -3474 -4178 -4274 4162 4454 3726 -3466 4254 -3414 -4114 -4530 -3914 3586 4190 -3586 -3350 -4254 -3150 -3634 -3190 -3802 -3662 -4414 -3242 -3314 -3930 3698 4042 4298 -3618 -3890 4050 3474 -3294 -4454 3442 4278 4298 -3258 -3550 4010 -3582 -4182 4102 -4466 -3178 -3590 4242 4282 -3538 -4490 3586 -4146 -4258 -3590 -3334 4074 3650 3542 3746 -3166 3194 -3926 3810 -4542 -3574 -3478 -3350 -3550 3310 -4138 3546 3406 3906 -3990 -4466 -3938 4194 4078 -3206 -4082 -3194 -3350 4482 4342 3510 -3398 -4522 -4190 -4426 -3618 -3242 3190 -3298 -3150 -3214 4102 3522 -4118 -3714 -4234 -3910 4446 -3858 3190 3562 -4454 -4174 -3642 3998 -3506 -4442 -3602 -4542 -3202 -4382 -3246 4142 3314 3190 -4542 4330 -3954 -3814 3254 3682 -3302 3790 -3766 -3814 -3926 -3330 -4206 -3282 -3726 -3566 -4314 4014 -4146 -3394 3222 3434 -3154 -3582 3618 -4422 3582 -3954 -3290 -4174 -3414 -3530 -4542 -3810 3634 3150 -4482 -3622 -4514 3630 -3566 -3210 4450 -4130 -3806 -3722 -4322 4346 -3546 3150 -4314 -3190 -3302 3698 -3190 -4014 -4422 -4006 3262 3702 -3670 -3706 -3634 3598 3462 -3838 3810 -4466 -4346 -3650 -4542 -3238 3722 -4486 -3558 -3454 -4186 -4118 4418 4286 -4406 3658 3202 -3234 -3150 -3298 4226 -3422 -3790 -3422 -3758 -4222 -4486 -4422 -4350 3234 3302 4522 -3602 3962 -3726 4186 -3650 3962 -3518 3150 3326 4158 3586 -3594 3218 -3978 -3350 3418 -3366 3358 -4162 -4398 3382 -3326 -3662 3326 4142 4146 -3258 -3862 -3750 3350 4318 3802 4474 -3650 -4114 -4330 4522 4230 3474 -3482 -4530 -3194 3766 -4422 3646 -3194 3334 -4094 3574 -3694 -3578 3206 -3690 -4142 -3302 -3850 -4230 3426 -4162 -4518 -3594 -4322 -4462 4410 -3454 4410 -4242 -4138 3386 -3322 3310 4186 4306 3278 3578 -3302 3518 -3814 3610 -4086 -3826 -4122 -3718 -4046 -4250 4250 3370 -3282 3550 3586 -4502 -4350 -3574 -3258 3246 -3446 -3474 -3382 3334 -3898 -4294 3598 4370 -3262 4482 3506 -3638 -3586 -4462 3210 -3270 4146 -3330 3362 -3506 3434 -3550 3458 -4250 3262 3414 -3694 -3294 -3910 3434 -3450 -4306 4262 4466 4214 -4066 -3234 -3950 -3586 3386 3682 3606 4298 4262 3590 3194 -4346 -3190 4338 3166 -3170 4470 -3454 -3274 -3970 -4194 3302 -4502 3158 -3294 -4158 4202 -4010 -4502 4378 3630 -4394 -4130 -3290 -3650 3766 -4178 -3190 -3162 4282 4206 4506 -4502 -4198 -3310 -3582 3358 4502 3646 -4494 4410 3614 3954 -3382 -4014 3342 3878 -4522 -4442 -4202 -3638 4078 4030 -3302 3150 -4002 -3210 -3194 -3610 -3430 -3718 -3154 -4098 -3330 -4502 3394 4126 3762 -4522 -4366 -3754 -3974 -3774 -3546 -4142 -3978 -3938 -4466 3150 4070 -3690 3314 3966 3586 -4470 4362 3306 -3698 3802 4342 -3218 -4346 -3914 -3642 4186 -4030 -3626 3602 3422 4138 -3826 -3602 3582 -4502 -3582 -4502 3806 -3574 -3666 -4362 -3206 4242 -3550 -4018 -4462 -4522 -4518 3398 -4138 3966 3506 3642 4526 -4014 -3738 -4146 -4194 -3494 -4266 -3218 3226 -4078 -4190 -3682 -3574 3190 -3838 -4386 -4282 -4234 3958 -3770 -4438 -4378 -3206 -3454 3370 3718 3558 -3858 -3602 -3798 -3550 -3442 -4066 4034 -3982 -3682 4130 4138 4382 4006 -3662 -3974 -4522 3994 -3342 -3278 3702 3962 4066 -4078 3694 -3270 -3190 3826 -3646 -4482 3150 -3678 -3170 3214 -3318 3490 -3238 4002 3570 -3654 -3226 -3402 -3634 3614 -3178 -4114 4274 -3638 -4502 3934 4002 4206 -3190 -3598 4326 -4338 -4146 4482 -3470 -3870 -3806 -3222 -3218 -3686 4030 -3626 -3818 -3214 -3734 3506 4222 -4414 3430 4322 -4398 4122 3190 3506 -4502 -3198 -4414 4162 3666 3746 -4034 -3754 -3374 4542 3206 -3266 3766 3534 4538 3226 -3278 -3262 -3774 4390 -3370 -3754 -3674 -4226 4150 -4230 -4030 4542 -3442 -3842 4226 -4162 4246 -3426 -3722 -4014 -3190 -4462 4426 4534 3410 -3854 -4542 -4322 -4250 -3950 -3850 -4298 -4242 4178 -4446 -4234 -3906 -3530 -3150 3450 -3554 4446 3858 -3614 -3314 -3270 -3414 4010 -4218 3310 -3366 3574 4218 4230 4462 -4326 -3730 -4542 3730 -4046 -3926 4502 -4122 -3250 4402 -4502 3190 -3242 4470 -3366 -3722 -3662 4306 3394 -3774 3202 -4394 -3866 4450 4482 -3542 3770 -3310 3262 3210 -4542 -4502 -3990 3294 -3318 -3974 -4414 -3658 3862 4474 -4010 3762 -4126 -3166 3802 -4242 3714 -3674 -3706 -3610 -3802 3870 3522 3618 -3494 -4362 -3962 -3582 -3370 3382 3830 4166 4070 4038 3402 4382 -3370 3206 4426 -3906 -3758 -4186 4442 3946 -4070 3918 -3890 3782 4106 -3594 4306 4094 -4346 -3318 3362 3158 -4426 -3914 3634 -3250 4250 -4086 -3762 -4430 -3386 -3158 -4370 -3458 -4502 4094 -3342 3842 -4342 -3806 3914 3246 3470 -3226 -3206 -4458 -3866 3394 -4170 3190 -3574 3962 -3430 -3910 3902 -4542 -3702 4274 3782 4222 -3738 4466 3566 -3474 3802 -3590 4186 -3606 -4374 -4466 -3462 -4542 -4154 -3310 -4322 3694 -3858 3182 3818 3418 -4502 -4502 -4502 -4458 -4514 -3286 -3818 3214 4398 3510 3802 -4458 3726 -4362 4122 4070 -3854 -4186 -3718 -4126 -3746 3854 -3858 -3326 -3274 -4322 -3706 3230 -4542 4118 4002 3806 -3582 3674 -3934 -3806 4310 3250 -3650 -3678 -3574 -3334 -4310 -4282 -4542 -3854 3810 -3434 -3666 3918 -4186 4126 -3734 4362 -3630 4350 -4022 -3974 -4102 3410 -3370 -3854 3150 -3306 4234 -3294 -3582 -3478 4482 4494 -3194 4318 3962 4266 4502 -4062 -3274 4502 -4502 -3686 3538 -3482 -3542 -4526 4186 3566 -3738 -3578 -3214 4150 -3342 -3702 3710 -4446 -3722 3746 3594 -3514 -3522 -3490 3510 3838 3606 -4542 4366 3802 4078 4154 -4514 4310 -3826 3314 -3454 -4022 3502 -3370 -3946 -3858 3810 4014 -3194 -3654 4406 -4346 3622 3410 3806 3290 3334 -3194 -4158 -3870 -3702 -3294 -4070 -3686 -3846 4462 4498 3938 3706 -3442 3418 4362 -4186 4122 -4206 3778 3170 -3614 -3494 -4454 4002 -3862 3806 3426 -3586 3898 3706 -3542 -3658 -4286 4502 4030 4046 -3982 4282 3338 3370 3690 -3190 3218 -3994 3210 4210 4110 -3602 -4374 -3838 -4434 4050 -4186 -3210 -3534 -3574 3454 3606 4370 -3750 -3198 -3282 4042 3334 4346 -4198 -3642 4250 3698 4378 3978 3602 3510 4174 -3518 4326 3290 -3150 4122 -3418 -3814 3942 3974 -3334 4198 3278 -4478 -3850 3618 -4014 3238 -4122 -3730 -4194 3858 -3194 -3390 -3898 -3366 3546 3286 4418 3898 -4010 -3286 3274 3246 3866 -3930 -3614 -4110 -4510 -4542 -4322 -3638 -4358 -3298 3198 -3818 -3810 3454 4030 -4074 4494 -4282 3918 -3910 4038 3294 -4542 -4190 -3330 -4006 -3650 -3658 -3678 -3662 -3974 -3382 -4006 -4098 -3298 -4446 3294 -4498 -3222 -3614 -4426 -4098 -4334 3150 -4346 4478 3850 -4482 -4318 4414 3286 -4014 -3542 3586 4198 3970 -3450 -3170 -3286 4502 3654 -4542 -3750 -3150 3286 4246 3218 -3546 4034 -4266 3150 -3346 -4502 4082 4502 3954 -3282 4350 -3754 3358 -4226 -4146 -3534 -4402 -3926 -3582 3838 -3926 -3454 3210 -4450 3350 3774 -3830 4490 -4258 -3858 3746 -3190 -3622 4498 -3190 -3242 3590 -3610 -3622 3150 -4038 -3450 -4014 -3718 4418 3190 4038 -3562 -4254 4170 4006 -4282 3510 -3342 -4038 -3522 -4282 -3626 -3330 3218 4502 -4234 -3262 -3222 3814 3206 -4058 -3154 -3622 3954 -4538 -3590 -3370 -3682 -3302 -4534 -4254 -3810 -3358 3890 -3718 3270 -3810 3690 -4542 3654 -4374 -3530 -4114 4198 -3490 -4282 -4422 4002 -3750 -3458 -3470 4134 -4142 -3798 3646 -3846 -3322 -3166 -3634 -4402 -3910 -3614 3762 4290 -3886 3194 3278 -3470 -4486 -4346 -3258 4490 -4282 3262 -3554 -3966 -4322 -3850 -4402 4338 -3782 4342 -3318 -4138 3974 3270 -3518 -4274 -3898 -3366 4262 -3722 -3202 4534 3566 3254 3310 -3458 -3978 -3450 -3654 4422 -3150 3150 -4074 -3754 3578 -3274 -3810 -4398 -3314 -4038 3154 -3994 -3790 -4054 -4230 -4078 -3686 -3262 3634 -3702 3530 3758 3430 3766 -4178 -4514 4286 -4018 4386 3350 3850 3262 -3974 -3770 4034 3406 4262 4146 -3210 -3750 -4466 -3970 4446 4478 4266 -3150 -3706 -4358 -3158 3826 -4146 -3770 3886 -4054 -3622 -4386 -4030 -4282 -3182 3254 4314 -4518 -3206 -4126 4006 -4502 -4430 -3606 3722 -3790 -4406 3286 4018 3934 -4290 3866 -3606 3334 -4410 -4014 3190 -3662 -3210 -4502 -4102 -4334 -4542 4422 4190 3874 4274 4358 -3794 4034 4538 -4346 -3742 4198 -4078 4042 -3210 -3858 3298 -3158 -3714 -4302 -4218 -3822 3170 3886 -4398 -3790 4498 -4214 -3658 -4462 4246 4310 4170 3150 -3806 3966 -3886 4542 -4306 -4166 4218 -3338 -3902 -3982 3966 4378 4042 3438 -3162 4166 -3762 -3814 3798 -3338 -4330 -3226 -3758 -4042 -3218 3222 3150 3274 3470 -3914 -3190 -3970 3178 -4502 -4170 -3218 -4462 3246 -4318 4194 -3150 -4070 -4222 -4494 4078 3914 -4410 -3806 4110 4542 -4486 -4362 -3586 -3658 -4350 3270 4054 -3546 4026 3970 -3806 -4142 3698 -3298 3246 3206 -3178 -3482 -3534 -3194 3518 3258 -3626 3942 3594 3550 -4390 -4286 -3430 -3270 3974 -3946 -4054 4098 -3490 -3546 -3278 3734 -3418 -4402 -3994 -4118 -3726 3402 -3814 4138 -3238 -3566 -4058 4170 3454 -3766 -3614 -3970 -3626 -3190 -3622 3830 -3974 -3850 4106 3282 3150 3374 -3166 3166 3846 -3858 -3270 -3578 4158 -3178 -4170 3670 -3982 -4542 -3290 4138 -3726 -4298 -3582 3730 -3706 3934 -3970 -3738 -4342 -3274 -3622 4070 -4270 3746 4266 -3906 -3282 4474 -3254 -4142 -3822 -4198 -3198 4522 -3226 -4306 -4502 -3626 -3402 3626 -4490 3770 -3614 -3322 4258 -3210 -3630 -3770 3238 -4290 3966 -4366 3490 -4158 4074 -4542 4478 -3974 4298 3738 -3978 3150 3302 -3426 -4502 -3522 3190 -4138 -3158 4170 4242 4234 4230 -3362 -4106 -3198 4114 3354 4518 -4322 -4542 -4462 4346 -3182 3674 4082 -3774 4334 4306 4374 3870 -3766 -3642 -3798 -3658 4142 4106 3618 -3838 -3510 -3190 -3210 -4450 3830 3294 -3850 4070 -3490 -4034 -3674 -3722 4538 3618 -3590 3198 -4054 4146 -3246 -3294 3198 -4314 -3710 3838 -3510 3974 3574 -4198 3998 -4542 4338 3422 -3586 -4202 4134 4062 3374 -3286 3350 -4310 3966 -3226 -3206 4102 3578 -3302 4386 -4014 -4138 3478 3342 -3450 4146 -3254 3838 3274 -3846 -3938 -4490 -4506 -4014 -4502 4454 -4478 3318 -3998 -4102 3790 -4010 3706 -3710 3702 -4522 4374 3634 -3526 -4238 -3330 -4410 -3614 -4106 -3926 -3250 -3374 4030 4418 3326 -3550 3470 -4214 3494 3606 -3190 -3150 -3878 3766 3190 -4070 -3510 -4522 -3318 -3622 -3382 3238 -3622 4518 3670 -3766 4114 -4178 3618 4202 -3482 3206 -4038 -3530 3446 -4502 -3170 -3290 4306 4130 -3658 3846 -3370 -3586 -4502 3190 -3750 -3766 -3246 -3606 3186 -4478 -3198 -3878 4458 3662 -3170 4426 3274 -3678 4422 4198 3250 -4542 -3198 -4542 3314 -4522 3614 3858 3338 -4310 -3506 -3554 -4542 -3274 4486 -4518 3582 3338 -3830 3282 -4138 -4322 -4338 3898 4126 -4026 3734 -3866 -4322 3458 3794 -3670 4002 -4086 -3802 -3390 -3802 -3450 -3158 -4498 -3642 -4542 4494 -4418 4130 3994 3502 -4074 -3286 -3294 -3386 3602 -3958 -4334 4098 -4406 -3918 3390 -3418 -4502 4034 -3646 4086 -4150 3406 3210 -3218 -3218 3190 -3426 3238 4438 3510 -4258 -3318 -3866 -4278 -3350 -4002 3974 3222 3558 -4098 -3886 4006 3822 3150 3970 -4390 -4098 3586 -3314 -4182 -3518 -4282 4222 4086 -3150 3942 -4410 3930 -4322 -3254 -3406 3714 3478 -4502 -3902 -3942 -3402 3442 -4170 -3482 4466 -4270 3150 -4114 4274 -3594 4186 -4542 4458 -3322 -3574 -3714 3322 -4386 3750 -3874 -3674 -3634 -4126 3662 3534 -3558 3734 3210 3994 -4462 4470 -4374 3490 4270 -3274 4106 4086 3150 -3234 3322 -4374 -4014 3586 -4542 3954 -4482 -3870 -3422 -3238 -3574 3222 -4182 -3382 -4006 -4130 -4182 -4434 3626 3594 -3878 -3402 4426 4018 3974 -3158 -4066 4082 -3318 3150 -4234 -3586 4334 -4002 -3178 -3690 -3326 3942 -3734 3550 -3974 -4390 -3906 -3158 -4158 -3190 -3966 3402 3190 3226 -3170 -3198 4262 -4542 3762 -4202 3762 -4050 4154 4498 4486 -3822 3454 -3674 -4502 -3814 3914 -3834 -3642 -4462 -4518 4226 -4482 4470 -4542 3262 -3374 -3258 -3362 -4278 4382 3654 3494 3518 4110 -3286 -3926 3202 4246 -3150 4166 -3514 -4014 -4222 3262 -3562 4134 -4038 -4370 -3390 3354 3986 4098 -3238 -3942 -3334 3250 -4246 -3310 -3694 -3954 -3514 3810 -4262 -3542 -4450 -3710 4054 -3674 3722 4390 3298 -3530 3474 3262 -4094 4202 -4278 -4190 4502 -4010 -3722 -4146 4078 3194 -3626 3594 4166 4346 -3990 3538 3938 -4242 -3594 -4530 -3410 -4198 -3786 -3294 3330 3950 4502 -3514 -3166 -4538 -4222 3746 3738 -4478 -4486 3810 3190 -4270 -4090 3862 -4514 3370 -4530 4410 3618 -3754 -3878 -4210 3186 3390 -4254 -3906 3598 3886 -3950 -4542 4542 -4502 -4350 4402 3690 -3578 -4474 4042 -4206 3638 -4502 -3834 -3982 3162 -3346 -4090 3150 3790 -3622 3582 3706 3302 -4094 4218 4026 3602 -3326 3986 3246 -3374 -3858 -4186 -3822 -4258 -3190 -3562 -3330 -3686 -4322 4366 3914 -3254 -3350 -4474 -3502 -4542 3386 4406 -3514 -3374 3962 -4542 -3154 4030 3414 -4266 -3946 -3614 -3326 -3590 -3850 -4482 -3422 -3982 4318 -3334 -4462 -3586 -3990 4034 3238 -4238 -3262 -3258 4118 -3798 -3470 -3338 3810 3682 4066 -4402 4074 4230 3478 3278 -4022 -3522 -3394 -3954 -4338 -4510 3162 -3170 3738 4302 -3330 -4398 3594 -3478 -3554 3466 3550 -3250 -4502 -3882 4230 -3330 -4398 4062 -4322 -3778 3642 4046 3150 -4154 -3390 -3266 3838 -3722 3846 3542 -3166 -3590 -3390 -3310 -3710 -3694 4146 -4014 -3230 -3546 -3866 -3974 3762 3710 3850 4498 -3766 3858 -3910 4290 -3626 -4362 -3314 -4542 -3154 3822 4318 -3466 3862 4162 -4170 -3158 -3194 4114 4042 3914 3190 4438 -3330 -4166 3998 -3262 -3430 -3994 3598 -4010 -4430 -4322 4450 -3586 -4146 4474 3382 3766 -3762 -3278 -3706 -4514 -3386 -4158 -3510 -3618 4386 3638 -4114 -4446 -3426 4058 -3302 -3510 -3642 3150 -3842 -4474 -3706 4354 -4542 3618 -4142 -3602 -3554 4374 3386 3322 3898 3354 -3790 3190 -4014 3570 -4262 -3710 -4478 -3514 -4458 -3714 -3650 -3410 -4402 -3874 3826 3926 4182 -3994 -3962 -3726 -3290 -3518 3782 3822 3886 -3870 3662 -3150 -4114 4038 -4062 -3290 -3714 -3758 3898 -3574 -3390 -4542 -3426 -3622 -4098 -3546 -4502 -3798 -4422 -3254 -3562 -3554 -4234 -4310 -3970 3538 -3586 4026 -3378 3190 -3438 3770 -4450 -4082 3358 -3882 -3462 3206 3258 -3302 -4450 3350 3578 -3198 -3746 -3966 -3990 -4002 3622 3190 3434 -4258 3750 -3538 3814 3810 4238 -3174 -4346 -3582 -3950 4542 3798 -3266 -4542 4486 -3406 -3750 -3646 -4182 -4038 4458 3326 -3214 3378 -3578 -3714 4242 3762 4362 -3234 -3154 3974 -4362 4378 3686 -4370 -3814 4222 -3810 3874 -4070 -3154 -4226 -3846 3934 -3182 3922 -4510 -4502 4390 -3698 3930 -3722 -3202 -3554 3322 -3166 -4166 -4410 3150 4042 -3278 4210 4378 -3994 3634 -3842 -3254 -3390 -4246 -4422 -4422 3570 3850 -4090 -3942 -3574 -3578 3358 3314 -3802 3266 4510 -3674 -3902 -3374 -3206 4414 -3754 -4154 -4106 3398 4262 3990 -4090 4070 3462 -3298 -3366 -4358 -3622 3730 -3982 -3730 -3178 -3854 4466 -4478 4194 -4522 3326 -4422 3254 -4362 3606 3150 -3582 -3310 -4362 4134 3210 -4362 -4018 3710 -3854 -3638 -3642 -3954 4014 -4194 3782 -3694 3198 -3242 -4358 4290 -4490 3978 -3502 -4542 3150 3290 -4542 3310 -3870 3806 -3614 -4210 -4106 4330 -4014 -3602 4090 -3810 4050 -3322 3622 -4306 3366 -3350 3854 3398 -4014 -3446 3230 -3314 -3190 -4070 4266 3974 4278 3822 -4278 -4462 4306 3198 -4430 -3910 3974 -4362 -4290 -3594 -3258 -3954 -3994 -4426 -3666 -3986 -3266 -3330 -3598 3622 3490 -4222 -4158 -4542 -3234 -4290 -3390 -3898 -4238 -4014 -3210 -4014 3722 4502 3694 4322 3154 4290 -4302 4418 4482 -3974 4526 -3750 -4542 -3370 3626 -4170 -3590 -4274 3522 -4018 -4182 3334 -3954 3482 3258 3230 3698 -4022 -3430 3766 -4022 3842 4486 -3546 3150 3198 -3838 3930 3954 -4502 -3190 -3718 -3754 -3330 -4198 -4366 3350 -3690 -3734 3154 4190 -3762 -4330 4458 3994 3422 -3850 -4206 3626 -3762 -3442 3982 -3942 -3806 3662 3866 3150 -3930 -4522 3978 4502 3770 4410 4426 4406 4442 3466 -4214 3310 -3954 4334 -3442 4334 -3950 4350 -4402 -4102 -4074 3514 -4482 -3762 3446 -4542 -3970 -3438 -3606 3422 3690 -3818 -3470 -3266 4074 -4462 3614 -4110 -3274 -3566 3562 -3178 -3226 3434 -3330 -3186 3278 4206 -4194 3698 -4538 -3854 -4282 3250 -3350 3190 -3522 3550 -3946 -3638 -3170 -4130 -3530 -3210 4222 3354 -3434 -3762 -4306 -3466 3218 -4050 -3682 3210 3214 4526 -4542 -3266 -3590 -3426 3990 -4146 -3986 3370 -4130 -3762 3922 -3358 -3706 -4202 4458 -4518 -3718 3834 4262 -4542 -3582 -3674 -3594 -3306 3170 -4026 -4246 3634 -3598 4170 4474 -4342 -4158 -3202 -4318 3734 -4058 4118 4290 -4422 -3190 4470 -4542 -3830 -3714 -4422 -4502 4346 -4066 -4418 -3346 -3194 -3366 -3678 -4058 3330 -4230 3990 -4262 4002 3206 4374 -4502 -3490 -3254 4314 4070 -4454 -4446 -3522 3378 4386 -3602 -4530 3226 -3326 -3246 -4450 3970 -4274 -4382 -3762 -3306 3722 4118 -4146 4454 3550 -3610 -4522 -3766 4270 -4502 -3926 -3906 -3794 -3406 3374 -4346 4066 4486 -4482 -3630 3502 -3254 4482 -3790 3222 -3482 4418 -3854 4162 -3314 -4218 -3402 -3554 -4418 3818 -4190 -3550 -3526 3426 -3594 4002 4358 -3938 3182 3202 -4202 4074 -4014 -3566 4406 -3238 -3794 -4374 -3250 3206 -3314 -3930 -3442 3522 4366 3862 -3414 4098 -3814 -4542 -4302 -4422 -3462 -3686 -4422 4338 -3826 -4010 3590 -4042 -3218 -3250 -4386 -3202 -4294 -4026 -3886 4302 4430 4378 -3974 -3582 -4382 -4178 3566 -3818 -3714 -3266 -3386 -3714 3474 -3710 -3714 -4270 -3154 
62.14	d NODES 3001
62.14	d CHECKS 68917102
62.14	   
62.14	   totalWckTime=61.91  totalCpuTime=59.55

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/node35/watcher-205661-1168073438 -o ROOT/results/node35/solver-205661-1168073438 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/205661-1168073438/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: 0.40 0.81 1.09 3/68 12810
/proc/meminfo: memFree=1684592/2055920 swapFree=4192812/4192956
[pid=12809] ppid=12807 vsize=1496 CPUtime=0
/proc/12809/stat : 12809 (java) R 12807 12809 12377 0 -1 0 235 0 0 0 0 0 0 0 18 0 1 0 155737873 1531904 41 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 1464973 0 0 4096 0 0 0 0 17 1 0 0
/proc/12809/statm: 375 47 37 14 0 8 0

[startup+0.102679 s]
/proc/loadavg: 0.40 0.81 1.09 3/68 12810
/proc/meminfo: memFree=1684592/2055920 swapFree=4192812/4192956
[pid=12809] ppid=12807 vsize=914988 CPUtime=0.08
/proc/12809/stat : 12809 (java) R 12807 12809 12377 0 -1 0 3009 0 1 0 7 1 0 0 16 0 8 0 155737873 936947712 2755 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12809/statm: 228747 2756 1432 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.510728 s]
/proc/loadavg: 0.40 0.81 1.09 3/68 12810
/proc/meminfo: memFree=1684592/2055920 swapFree=4192812/4192956
[pid=12809] ppid=12807 vsize=915328 CPUtime=0.49
/proc/12809/stat : 12809 (java) S 12807 12809 12377 0 -1 0 8643 0 1 0 44 5 0 0 16 0 8 0 155737873 937295872 8382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12809/statm: 228832 8382 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.33183 s]
/proc/loadavg: 0.45 0.82 1.09 2/75 12819
/proc/meminfo: memFree=1588920/2055920 swapFree=4192812/4192956
[pid=12809] ppid=12807 vsize=915596 CPUtime=1.3
/proc/12809/stat : 12809 (java) R 12807 12809 12377 0 -1 0 31683 0 1 0 114 16 0 0 17 0 8 0 155737873 937570304 31420 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073761930 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12809/statm: 228899 31420 2160 14 0 215369 0
[pid=12809/tid=12812] ppid=12807 vsize=915596 CPUtime=0.13
/proc/12809/task/12812/stat : 12812 (java) S 12807 12809 12377 0 -1 64 15142 0 0 0 7 6 0 0 16 0 8 0 155737876 937570304 31420 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12809/tid=12813] ppid=12807 vsize=915596 CPUtime=0
/proc/12809/task/12813/stat : 12813 (java) S 12807 12809 12377 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 155737877 937570304 31420 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12809/tid=12814] ppid=12807 vsize=915596 CPUtime=0
/proc/12809/task/12814/stat : 12814 (java) S 12807 12809 12377 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155737877 937570304 31420 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12809/tid=12816] ppid=12807 vsize=915596 CPUtime=0
/proc/12809/task/12816/stat : 12816 (java) S 12807 12809 12377 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 155737880 937570304 31420 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12809/tid=12817] ppid=12807 vsize=915596 CPUtime=0.13
/proc/12809/task/12817/stat : 12817 (java) S 12807 12809 12377 0 -1 64 409 0 0 0 13 0 0 0 16 0 8 0 155737880 937570304 31420 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12809/tid=12818] ppid=12807 vsize=915596 CPUtime=0
/proc/12809/task/12818/stat : 12818 (java) S 12807 12809 12377 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155737880 937570304 31420 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12809/tid=12819] ppid=12807 vsize=915596 CPUtime=0
/proc/12809/task/12819/stat : 12819 (java) S 12807 12809 12377 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155737880 937570304 31420 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915596

[startup+2.97801 s]
/proc/loadavg: 0.45 0.82 1.09 2/75 12819
/proc/meminfo: memFree=1558776/2055920 swapFree=4192812/4192956
[pid=12809] ppid=12807 vsize=915732 CPUtime=2.94
/proc/12809/stat : 12809 (java) R 12807 12809 12377 0 -1 0 34856 0 1 0 276 18 0 0 17 0 8 0 155737873 937709568 34588 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073837031 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12809/statm: 228933 34588 2180 14 0 215403 0
[pid=12809/tid=12812] ppid=12807 vsize=915732 CPUtime=0.32
/proc/12809/task/12812/stat : 12812 (java) S 12807 12809 12377 0 -1 64 18239 0 0 0 25 7 0 0 17 0 8 0 155737876 937709568 34588 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12809/tid=12813] ppid=12807 vsize=915732 CPUtime=0
/proc/12809/task/12813/stat : 12813 (java) S 12807 12809 12377 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 155737877 937709568 34588 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12809/tid=12814] ppid=12807 vsize=915732 CPUtime=0
/proc/12809/task/12814/stat : 12814 (java) S 12807 12809 12377 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155737877 937709568 34588 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12809/tid=12816] ppid=12807 vsize=915732 CPUtime=0
/proc/12809/task/12816/stat : 12816 (java) S 12807 12809 12377 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 155737880 937709568 34588 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12809/tid=12817] ppid=12807 vsize=915732 CPUtime=0.15
/proc/12809/task/12817/stat : 12817 (java) S 12807 12809 12377 0 -1 64 420 0 0 0 14 1 0 0 16 0 8 0 155737880 937709568 34588 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12809/tid=12818] ppid=12807 vsize=915732 CPUtime=0
/proc/12809/task/12818/stat : 12818 (java) S 12807 12809 12377 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155737880 937709568 34588 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12809/tid=12819] ppid=12807 vsize=915732 CPUtime=0
/proc/12809/task/12819/stat : 12819 (java) S 12807 12809 12377 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155737880 937709568 34588 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915732

[startup+6.1824 s]
/proc/loadavg: 0.45 0.82 1.09 2/75 12822
/proc/meminfo: memFree=1546680/2055920 swapFree=4192812/4192956
[pid=12809] ppid=12807 vsize=915732 CPUtime=6.14
/proc/12809/stat : 12809 (java) R 12807 12809 12377 0 -1 0 37553 0 1 0 595 19 0 0 16 0 8 0 155737873 937709568 37281 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153987704 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12809/statm: 228933 37281 2181 14 0 215403 0
[pid=12809/tid=12812] ppid=12807 vsize=915732 CPUtime=0.47
/proc/12809/task/12812/stat : 12812 (java) S 12807 12809 12377 0 -1 64 20902 0 0 0 40 7 0 0 16 0 8 0 155737876 937709568 37281 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12809/tid=12813] ppid=12807 vsize=915732 CPUtime=0
/proc/12809/task/12813/stat : 12813 (java) S 12807 12809 12377 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 155737877 937709568 37281 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12809/tid=12814] ppid=12807 vsize=915732 CPUtime=0
/proc/12809/task/12814/stat : 12814 (java) S 12807 12809 12377 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155737877 937709568 37281 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12809/tid=12816] ppid=12807 vsize=915732 CPUtime=0
/proc/12809/task/12816/stat : 12816 (java) S 12807 12809 12377 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 155737880 937709568 37281 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12809/tid=12817] ppid=12807 vsize=915732 CPUtime=0.19
/proc/12809/task/12817/stat : 12817 (java) S 12807 12809 12377 0 -1 64 449 0 0 0 18 1 0 0 15 0 8 0 155737880 937709568 37281 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12809/tid=12818] ppid=12807 vsize=915732 CPUtime=0
/proc/12809/task/12818/stat : 12818 (java) S 12807 12809 12377 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155737880 937709568 37281 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12809/tid=12819] ppid=12807 vsize=915732 CPUtime=0
/proc/12809/task/12819/stat : 12819 (java) S 12807 12809 12377 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155737880 937709568 37281 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 915732

[startup+12.6492 s]
/proc/loadavg: 0.61 0.84 1.09 5/87 12864
/proc/meminfo: memFree=1219680/2055920 swapFree=4192812/4192956
[pid=12809] ppid=12807 vsize=915876 CPUtime=12.61
/proc/12809/stat : 12809 (java) R 12807 12809 12377 0 -1 0 81572 0 1 0 1223 38 0 0 16 0 8 0 155737873 937857024 81241 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 1898107 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12809/statm: 228969 81241 2529 14 0 215439 0
[pid=12809/tid=12812] ppid=12807 vsize=915876 CPUtime=1.7
/proc/12809/task/12812/stat : 12812 (java) R 12807 12809 12377 0 -1 64 64396 0 0 0 146 24 0 0 20 0 8 0 155737876 937857024 81241 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12809/tid=12813] ppid=12807 vsize=915876 CPUtime=0
/proc/12809/task/12813/stat : 12813 (java) S 12807 12809 12377 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 155737877 937857024 81242 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12809/tid=12814] ppid=12807 vsize=915876 CPUtime=0
/proc/12809/task/12814/stat : 12814 (java) S 12807 12809 12377 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155737877 937857024 81242 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12809/tid=12816] ppid=12807 vsize=915876 CPUtime=0
/proc/12809/task/12816/stat : 12816 (java) S 12807 12809 12377 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 155737880 937857024 81242 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12809/tid=12817] ppid=12807 vsize=915876 CPUtime=0.3
/proc/12809/task/12817/stat : 12817 (java) S 12807 12809 12377 0 -1 64 541 0 0 0 28 2 0 0 16 0 8 0 155737880 937857024 81242 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12809/tid=12818] ppid=12807 vsize=915876 CPUtime=0
/proc/12809/task/12818/stat : 12818 (java) S 12807 12809 12377 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155737880 937857024 81242 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12809/tid=12819] ppid=12807 vsize=915876 CPUtime=0
/proc/12809/task/12819/stat : 12819 (java) S 12807 12809 12377 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155737880 937857024 81243 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915876

[startup+25.5087 s]
/proc/loadavg: 0.83 0.88 1.10 2/75 12873
/proc/meminfo: memFree=1337528/2055920 swapFree=4192812/4192956
[pid=12809] ppid=12807 vsize=915876 CPUtime=25.46
/proc/12809/stat : 12809 (java) R 12807 12809 12377 0 -1 0 87563 0 1 0 2505 41 0 0 25 0 8 0 155737873 937857024 87228 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073837031 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12809/statm: 228969 87228 2533 14 0 215439 0
[pid=12809/tid=12812] ppid=12807 vsize=915876 CPUtime=1.77
/proc/12809/task/12812/stat : 12812 (java) S 12807 12809 12377 0 -1 64 70349 0 0 0 150 27 0 0 16 0 8 0 155737876 937857024 87228 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12809/tid=12813] ppid=12807 vsize=915876 CPUtime=0
/proc/12809/task/12813/stat : 12813 (java) S 12807 12809 12377 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 155737877 937857024 87228 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12809/tid=12814] ppid=12807 vsize=915876 CPUtime=0
/proc/12809/task/12814/stat : 12814 (java) S 12807 12809 12377 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155737877 937857024 87228 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12809/tid=12816] ppid=12807 vsize=915876 CPUtime=0
/proc/12809/task/12816/stat : 12816 (java) S 12807 12809 12377 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 155737880 937857024 87228 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12809/tid=12817] ppid=12807 vsize=915876 CPUtime=0.33
/proc/12809/task/12817/stat : 12817 (java) S 12807 12809 12377 0 -1 64 562 0 0 0 31 2 0 0 16 0 8 0 155737880 937857024 87228 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12809/tid=12818] ppid=12807 vsize=915876 CPUtime=0
/proc/12809/task/12818/stat : 12818 (java) S 12807 12809 12377 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155737880 937857024 87228 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12809/tid=12819] ppid=12807 vsize=915876 CPUtime=0
/proc/12809/task/12819/stat : 12819 (java) S 12807 12809 12377 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155737880 937857024 87228 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 915876

[startup+51.1217 s]
/proc/loadavg: 1.24 0.97 1.12 3/87 12920
/proc/meminfo: memFree=981920/2055920 swapFree=4192812/4192956
[pid=12809] ppid=12807 vsize=915876 CPUtime=50.93
/proc/12809/stat : 12809 (java) R 12807 12809 12377 0 -1 0 87569 0 1 0 5048 45 0 0 25 0 8 0 155737873 937857024 87229 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073830940 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12809/statm: 228969 87229 2533 14 0 215439 0
[pid=12809/tid=12812] ppid=12807 vsize=915876 CPUtime=1.77
/proc/12809/task/12812/stat : 12812 (java) S 12807 12809 12377 0 -1 64 70349 0 0 0 150 27 0 0 16 0 8 0 155737876 937857024 87229 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12809/tid=12813] ppid=12807 vsize=915876 CPUtime=0
/proc/12809/task/12813/stat : 12813 (java) S 12807 12809 12377 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 155737877 937857024 87229 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12809/tid=12814] ppid=12807 vsize=915876 CPUtime=0
/proc/12809/task/12814/stat : 12814 (java) S 12807 12809 12377 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155737877 937857024 87229 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12809/tid=12816] ppid=12807 vsize=915876 CPUtime=0
/proc/12809/task/12816/stat : 12816 (java) S 12807 12809 12377 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 155737880 937857024 87229 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12809/tid=12817] ppid=12807 vsize=915876 CPUtime=0.33
/proc/12809/task/12817/stat : 12817 (java) S 12807 12809 12377 0 -1 64 565 0 0 0 31 2 0 0 16 0 8 0 155737880 937857024 87229 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12809/tid=12818] ppid=12807 vsize=915876 CPUtime=0
/proc/12809/task/12818/stat : 12818 (java) S 12807 12809 12377 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155737880 937857024 87229 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12809/tid=12819] ppid=12807 vsize=915876 CPUtime=0
/proc/12809/task/12819/stat : 12819 (java) S 12807 12809 12377 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155737880 937857024 87229 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.93
Current children cumulated vsize (KiB) 915876

Child status: 0
Real time (s): 62.229
CPU time (s): 61.9576
CPU user time (s): 61.4387
CPU system time (s): 0.518921
CPU usage (%): 99.5638
Max. virtual memory (cumulated for all children) (KiB): 915984

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 61.4387
system time used= 0.518921
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 87609
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= 2715
involuntary context switches= 1752

runsolver used 0.06199 s user time and 0.19497 s system time

The end

Launcher Data (download as text)

Begin job on node35 on Sat Jan  6 08:50:40 UTC 2007


IDJOB= 205661
IDBENCH= 4162
FILE ID= node35/205661-1168073438

PBS_JOBID= 3475996

Free space on /tmp= 66551 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  780bc7cf3432a828d9bbecb1a5751390

RANDOM SEED= 550720359

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.234
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.234
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:       1683344 kB
Buffers:         25904 kB
Cached:         250516 kB
SwapCached:          0 kB
Active:          71592 kB
Inactive:       225012 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1683344 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:           10916 kB
Writeback:           0 kB
Mapped:          30352 kB
Slab:            61656 kB
Committed_AS:  3021016 kB
PageTables:       1620 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= 66542 MiB



End job on node35 on Sat Jan  6 08:51:45 UTC 2007