Trace number 205755

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 57.1643 57.4977

DiagnosticValue
CHECKS60747411
NODES3007

General information on the benchmark

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

Solver Data (download as text)

0.31	   
0.31	Abscon 109 (November, 2006)
0.31	   
0.31	   configuration
0.31	     name=mac.xml
0.34	   
0.34	   instance
0.34	     name=/tmp/evaluation/205755-1168073447/unknown.xml
0.38	   
0.38	   domains being loaded...
0.41	   
0.41	   variables being loaded...
0.93	     nbVariables=3000  nbDomainTypes=14  minDomainSize=50  maxDomainSize=698
0.93	       =>  wckTime=0.612  cpuTime=0.42  mem=58M777
0.93	   
0.93	   predicates being loaded...
0.93	   
0.93	   constraints being loaded...
4.97	   
4.97	   INFO : Stopping converting binary constraints (cpu=4.17, mem = 106M961)
11.75	     nbConstraints=28313  nbMergedConstraints=25235  nbConvertedConstraints=8  nbConvertConstraintsChecks=3527320
11.75	     nbExtensionStructures=8  nbSharedExtensionStructures=0  nbConflictsStructures=8  nbSharedConflictsStructures=0
11.75	     nbSharedBinaryRepresentations=6689  nbEvaluationManagers=19119  nbSharedEvaluationManagers=9186  maxDegree=53
11.75	     maxArity=2
11.75	       =>  wckTime=11.433  cpuTime=10.06  mem=115M928
12.07	   
12.07	   solver IterativeSystematicSolver being built... 
13.16	       =>  wckTime=12.845  cpuTime=10.69  mem=298M258
51.94	   
51.94	   preprocessing
51.94	     nbConstraintChecks=59693071  nbValidityChecks=6465922  nbPropagations=9067  nbRevisions=197595
51.94	     nbUselessRevisions=171481  nbRemovedValues=1829920  detectedInconsistency=no
51.94	       =>  wckTime=38.73  cpuTime=38.51  mem=298M258
57.41	   
57.41	   search
57.41	     run=0  nbConstraintChecks=1054340  nbValidityChecks=1948644  nbPropagations=22188  nbRevisions=386042
57.41	     nbUselessRevisions=346744  nbAssignments=3007  nbFailedAssignments=7  nbBacktracks=0  nbVisitedNodes=3015
57.41	     nbRestartNogoods=0  mapSize=0  nbInferences=0  nbTooLargeKeys=2330
57.41	       =>  wckTime=44.208  cpuTime=43.92  mem=313M367
57.42	   
57.42	   global
57.42	     nbConstraintChecks=60747411  nbValidityChecks=8414566  nbPropagations=31255  nbRevisions=583637
57.42	     nbUselessRevisions=518225  nbRestartNogoods=0  solvingWckTime=44.211  solvingCpuTime=43.92  expiredTime=no
57.42	     totalExploration=no  nbFoundSolutions=1  globalCpuTime=54.7
57.42	       =>  wckTime=57.101  cpuTime=54.65  mem=313M367
57.42	   
57.42	s SATISFIABLE
57.42	v -3418 3194 -3218 -3574 -4026 -4162 -3998 -3150 -3546 -3762 -3666 -3302 -3258 4002 -4538 -3574 3294 -4178 -3546 -3886 -3614 -3646 -3478 -3342 -4502 -3358 -3726 4074 -3818 3534 3702 4166 -3626 -3866 3486 -4130 3310 -3994 3974 -3810 4042 4118 3914 -4302 -4222 -4322 -3154 -4218 -3962 -3498 4426 -3482 -4434 4502 -4106 -3258 4190 4498 4282 4030 -3642 3390 -4426 3894 4106 3950 -4162 4490 -4510 -3750 -4382 -3642 -3250 -3726 4290 -4502 -4542 3530 4246 4430 4298 -4182 4026 4142 -3494 -3250 -4502 3562 -4394 -3290 -4298 4206 -3970 -3370 -4334 3170 4118 4206 -4082 4290 3962 -4502 -3234 3198 -4482 -3974 3710 3174 3866 3206 -3402 -3762 3418 3534 -4010 -4254 -3654 3966 -3214 3206 4002 3830 -3702 -4502 -3830 3470 -4186 -4274 4270 4454 3730 -3486 4250 -3410 4102 -4518 -3910 -3578 4190 -3586 -3350 4238 3150 -3638 -3190 -3802 -3662 -4414 -3242 -3310 -3930 3694 4042 4286 -3618 -3906 -4034 3470 -3294 -4458 -3442 4278 -4354 3258 -3550 -4006 -3582 -4186 4110 4454 -3174 -3586 4242 4278 -3534 -4542 3590 -4146 4262 -3590 -3330 -4078 3654 3546 3746 -3238 3190 -3926 3810 -4542 -3578 -3478 -3350 -3546 3306 4138 3546 -3402 3902 -3990 -4466 3934 -4182 4082 -3210 4086 3190 3346 4494 -4346 3510 3394 4522 -4190 -4426 -3622 -3246 3190 -3298 -3154 3210 4106 3522 -4122 3710 4222 -3910 -4438 3858 3190 3566 -4450 -4170 -3638 4002 -3498 -4434 -3598 -4542 -3190 -4378 -3246 4134 3310 -3190 -4542 4330 -3954 3810 3250 3690 -3306 3782 -3766 -3818 3926 -3330 -4206 -3282 3722 3570 -4310 4014 -4146 -3390 -3214 -3430 -3150 -3582 3602 -4422 -3582 -3950 -3286 4174 -3418 -3534 -4542 -3810 3638 3150 -4482 -3622 -4522 3634 3570 -3206 4462 -4134 -3806 -3750 -4322 4346 -3550 3150 -4318 -3190 -3298 3686 -3190 -4014 -4422 -4006 -3266 3702 -3670 -3706 3622 -3602 3462 -3846 3810 -4466 4334 -3650 -4542 -3238 -3726 -4490 -3558 -3450 -4182 -4118 4426 -4274 -4406 3658 -3198 -3234 -3158 -3298 -4230 -3418 -3790 3422 -3758 4230 -4486 -4422 -4350 3234 -3302 -4522 -3594 -3958 -3714 -4190 -3646 3962 -3518 3150 3326 -4166 -3582 -3598 -3210 -3978 -3350 3418 -3362 3354 4158 -4318 3382 -3326 3638 3326 4166 4138 3250 -3870 -3762 -3350 4318 3802 -4502 -3650 -4114 -4330 4522 4230 3470 -3478 -4530 -3190 3762 -4426 3650 -3186 3334 -4086 -3578 3686 -3582 3202 -3610 -4130 -3298 -3846 -4230 -3426 -4154 -4510 3598 -4322 -4462 -4398 -3458 4410 4238 -4146 3366 -3318 3306 4186 4306 3278 -3574 -3302 3518 3818 -3610 4082 -3818 4126 -3710 -4050 -4254 4250 3362 3270 3550 3586 -4502 -4350 -3570 -3254 3242 -3438 -3490 3378 3334 -3906 -4294 3594 4370 -3262 -4486 -3526 -3638 -3582 -4462 3210 3290 4146 -3330 -3362 3506 3438 -3550 -3466 -4238 -3258 3414 -3698 3294 -3910 3434 -3442 -4306 4454 -4470 4214 -4066 3226 -3942 -3590 -3378 -3670 3610 4290 -4274 3590 3190 -4346 -3190 4326 3166 -3174 4470 -3458 -3350 -3966 -4202 -3306 4470 3158 -3294 -4162 4206 -4014 -4502 -4382 3634 -4394 -4130 -3286 -3646 3766 -4174 -3206 3158 4282 4214 4502 -4502 -4198 -3310 -3586 -3366 4502 3638 -4502 -4414 -3614 3958 -3382 -4014 3342 3886 4522 4434 -4198 -3638 4074 4030 -3298 3150 -3990 -3218 -3194 3606 -3434 3714 -3206 4102 -3330 -4502 3394 -4130 3762 -4438 -4366 -3754 3974 3778 -3562 -4138 -3978 -3930 -4466 3150 4070 -3694 -3318 3966 3586 -4458 4358 3306 3686 3802 4330 3282 4342 -3914 -3638 4182 -4026 -3622 3602 3422 -4146 -3826 -3590 3574 -4350 -3574 -4502 -3810 -3574 3662 -4358 -3194 4238 -3558 -4030 -4462 -4522 4518 3394 -4142 -3974 -3510 3642 -4542 -4018 3726 -4146 -4182 -3494 4262 -3222 -3226 -4078 -4178 3678 -3574 -3190 3826 4386 -4282 -4214 3958 -3770 4438 -4366 -3194 3438 3370 3718 -3554 -3854 -3590 -3798 3550 -3442 -4042 4034 3958 -3670 -4118 4126 -4398 3998 -3638 -3974 -4522 3990 -3338 -3278 -3698 3962 4054 -4070 3690 -3270 -3190 3826 -3638 -4478 3150 -3674 3174 3210 -3314 3494 -3242 4002 -3574 -3666 -3226 3406 -3634 -3618 -3178 -4114 4270 3622 -4502 3934 4010 -4206 -3150 3594 4326 4326 -4146 4482 -3474 -3870 -3806 -3218 -3234 -3682 4030 -3626 -3822 3214 -3738 3506 -4214 4410 3426 -4322 -4398 4126 3150 3494 -4502 -3198 4398 4162 3666 -3770 -4030 -3758 -3370 4534 3190 -3266 3766 3530 4530 3222 -3278 3262 3766 4390 -3370 -3750 3670 4230 4146 -4230 -4026 4534 3438 3842 -4226 4154 4234 -3422 -3726 -4010 -3190 -4462 -4414 4542 -3414 -3858 -4542 -4322 4238 -3950 -3850 -4298 -4246 -4186 -4446 -4230 -3902 -3534 3190 3450 -3558 4446 3850 -3614 -3310 3266 -3418 -4014 -4214 3330 3362 3574 -4222 4230 4462 -4314 -3726 -4542 -3730 -4046 -3914 4502 4114 -3250 -4398 -4502 3190 -3238 -4474 -3366 -3718 -3650 4298 3390 -3774 3202 -4394 -3866 -4450 4466 3526 -3762 -3310 3262 3210 -4542 -4502 -3982 3298 -3318 3974 -4410 3658 3862 -4482 -4014 3790 4126 -3166 3806 -4238 3710 -3674 3710 -3606 -3806 3870 3522 3638 -3478 -4362 -3962 -3590 3370 -3378 3830 4166 -4066 4042 3402 4386 -3370 3194 -4542 -3898 -3758 -4190 4526 3950 -4070 3918 3882 3782 4102 -3590 4310 4090 -4346 -3318 3362 3158 -4414 3906 -3634 -3246 4254 -4086 -3762 -4434 3386 -3154 -4374 -3458 -4502 4094 3338 3846 -4342 3814 -3910 3234 3470 -3222 3194 -4458 3858 -3382 -4170 3190 -3574 -3966 -3426 -3910 -3902 -4542 -3702 4270 -3782 4230 -3734 -4474 3558 -3478 3806 -3598 -4186 3606 -4374 -4466 -3458 -4542 -4170 -3386 -4322 3698 -3854 3174 -3818 3418 4502 -4502 -4502 -4462 -4518 -3286 3810 3214 4398 -3510 3802 -4466 3726 -4362 -4114 4066 -3854 -4186 -3726 -4118 3746 3850 -3838 -3330 3270 -4314 -3706 3230 -4542 4118 4002 3810 -3586 3674 -3934 3802 4310 -3246 -3650 -3670 -3574 3326 -4310 4278 -4542 -3858 -3814 -3422 -3666 3910 4154 -4130 -3734 -4362 -3634 4350 -4018 -3974 4110 -3410 -3370 -3854 3166 -3302 4242 -3286 -3578 3482 -4482 -4498 -3194 4318 3962 4270 4490 4070 -3278 4502 -4502 -3694 3546 -3482 -3542 -4470 -4178 -3550 -3734 -3586 -3210 4150 3338 -3702 -3714 -4434 -3718 -3746 3594 -3530 -3522 -3490 -3514 3838 3606 -4542 4362 3806 -4106 -4154 -4514 -4318 -3826 3318 -3454 -3998 3506 3370 3938 -3854 3810 -4014 3190 -3658 4402 -4342 -3618 3418 3802 3290 -3334 -3190 -4158 3866 -3706 -3298 -4066 3674 -3842 -4462 -4502 3938 3706 -3442 -3426 4358 -4186 4118 4202 3778 3170 -3614 -3494 -4446 -3998 3806 3806 3422 -3590 -3906 3710 -3542 -3642 -4286 4502 4030 4038 -3978 4282 3354 3378 3698 -3190 3214 -3986 3202 4214 4110 -3598 -4374 3842 4426 4050 -4186 3206 -3534 -3578 3454 3614 -4374 -3750 -3206 -3278 4042 -3334 4398 4202 -3642 4250 3694 -4378 3978 -3606 3510 -4174 -3522 -4346 -3290 -3150 4122 -3418 -3814 3934 -3974 -3334 -4218 -3274 -4470 -3854 3602 -4010 3150 -4126 -3738 -4198 3866 -3194 -3390 -3894 -3366 3538 3286 -4422 3898 -4010 3278 3274 3190 3866 3922 -3614 -4110 -4502 -4542 4322 -3626 -4358 -3298 -3194 -3814 -3810 3462 -4026 -4074 4494 -4282 3918 -3910 4046 -3294 -4542 -4190 -3322 4006 3646 -3662 -3662 -3662 -3974 -3382 -4010 4098 -3302 4438 -3290 -4494 3150 3614 -4426 -4094 -4334 3150 -4338 -4502 3850 -4482 -4306 -4406 3290 4006 -3546 3586 -4202 -3974 3438 -3166 3282 4502 3658 -4542 3754 3150 -3290 -4258 3214 -3550 4026 4266 3150 -3346 4502 4086 4502 -3970 -3282 -4338 -3762 -3354 -4230 -4142 3526 -4402 3914 -3582 3838 3926 -3458 3218 -4454 3350 3774 3822 4490 -4258 -3858 3750 -3190 -3622 4498 -3190 -3242 -3594 -3606 -3618 3150 -4042 -3450 -4014 3718 4418 3190 4038 -3562 -4254 4174 4006 -4282 3510 -3338 -4042 -3522 -4282 -3626 -3330 -3214 4502 4234 -3262 -3222 3802 -3202 -4054 -3230 -3618 -3962 -4542 3590 -3370 3674 -3298 -4526 4258 -3810 -3358 -3886 -3718 3266 -3810 3686 -4542 3658 -4374 -3530 -4118 4198 3478 -4282 -4422 4002 -3754 -3458 -3470 4134 -4150 -3794 3654 -3846 -3322 -3154 -3634 -4402 -3906 -3614 3758 4306 3882 -3194 3278 3474 -4486 -4346 -3258 4498 -4278 3258 -3550 -3966 -4318 -3854 -4322 -4542 -3782 -4358 -3318 4146 -3974 3274 3518 -4278 3894 3362 -4262 -3722 -3202 4534 3566 -3250 3314 -3458 3970 -3446 -3654 -4422 -3150 3150 -4062 -3758 -3598 -3274 -3810 -4394 -3262 -4038 -3150 -3994 3786 4026 -4218 -4078 -3682 -3258 3630 -3678 3530 3758 3438 3766 -4182 -4502 -4306 -4026 4406 3354 3866 -3258 -3970 -3770 4034 3402 4262 4146 -3194 -3750 -4502 -3974 -4530 4462 4266 -3150 -3706 -4354 -3158 3826 -4142 3770 3886 -4050 -3626 -4386 -4034 -4282 3174 3254 -4302 -4518 3210 4122 4010 -4502 4430 -3610 3718 -3790 -4402 3286 -4018 3934 -4294 3866 3598 3334 -4442 -4014 3190 -3662 -3210 -4502 -4094 -4334 4530 4422 4190 3870 4262 -4362 3790 4026 4538 -4346 -3742 4206 4074 4038 -3214 -3842 -3298 -3150 -3718 -4302 -4218 -3822 -3190 -3886 -4394 3786 -4502 4198 3654 -4462 4254 4310 -4174 3150 3802 -3966 -3874 4542 -4306 4166 4214 -3338 -3906 -3986 3970 4378 -4038 3450 -3150 -4158 -3762 3810 3798 -3342 -4346 3150 -3766 4042 -3222 -3214 3190 3270 3466 3950 -3190 -3966 3182 -4502 -4158 3218 -4462 3242 -4322 4174 3222 -4058 -4234 -4494 -4086 3910 -4414 -3806 4122 -4542 -4478 4362 -3586 -3658 -4338 3266 -4050 -3546 4030 3966 -3806 -4134 3702 -3298 3242 -3206 -3154 3482 -3534 3190 3514 3258 -3626 -3926 3590 -3546 4390 -4198 -3430 -3270 3970 -3942 -4054 -4098 -3486 -3546 -3282 3734 -3418 -4394 -4002 4114 -3722 3402 -3818 4142 3242 3562 -4066 4170 3454 -3774 -3618 3966 -3626 -3190 -3622 3842 3974 -3842 4106 3282 -3166 3374 -3170 3166 3846 -3858 3302 3578 -4178 -3174 -4162 3674 -3974 -4542 -3214 -4138 -3726 -4298 -3586 -3722 -3730 3934 -3962 -3738 4330 -3274 -3598 4070 4274 3750 -4270 3910 -3278 4474 -3250 -4134 -3822 -4194 -3190 4534 -3218 -4306 -4490 3626 -3402 3630 4490 3766 -3618 3322 4258 -3190 3622 -3766 3238 -4290 -3970 -4366 3490 -4158 4074 -4542 4478 -3974 -4298 -3730 3986 3150 3298 -3406 -4502 -3522 3190 4126 -3158 4166 4242 4222 4230 3362 4102 -3198 4114 3358 4518 4322 -4542 -4462 -4350 -3178 -3670 4086 -3774 4334 -4306 4378 3870 -3774 -3642 -3798 -3658 -4146 4110 3622 -3834 -3510 -3198 -3206 -4482 -3830 3294 3850 4074 -3482 4034 -3670 -3710 4534 3618 -3590 -3198 -4050 -4150 -3238 -3290 3190 -4314 -3722 3838 -3510 3978 3566 -4198 -4002 -4542 4338 3418 -3586 -4202 4134 4066 3370 -3282 3346 -4306 3966 -3174 -3198 -4126 3574 -3298 -4438 -4014 -4138 -3478 3346 3442 -4146 -3250 -3838 -3302 -3842 3934 4478 -4506 -4014 -4502 -4466 -4478 3314 4002 4090 3790 -4010 3706 -3710 -3702 -4522 -4370 3638 3510 -4234 -3330 -4402 -3618 4106 -3926 -3242 3374 -4026 4338 3318 -3550 3470 -4218 -3502 3602 -3190 -3226 3878 3762 -3190 -4074 -3510 -4522 -3318 -3622 -3378 -3318 -3614 4522 3670 3762 4114 -4182 3618 4194 -3482 3206 4034 3526 3442 -4502 3178 -3286 -4310 4122 -3654 3858 -3370 -3590 4494 3190 3746 -3770 3242 -3610 3190 -4482 -3190 -3874 4470 3658 -3154 4426 3270 3678 -4422 -4194 -3246 4542 3198 4542 3310 -4522 -3626 3858 3330 -4306 -3522 -3558 -4542 -3274 -4542 4518 3578 3338 3818 3282 4138 -4322 4330 -3894 4126 -4098 3734 3866 -4322 3458 3794 -3678 -4006 -4086 3798 -3390 3802 3454 -3150 -4490 3630 -4542 4486 -4418 4130 3986 -3494 4074 3150 -3290 -3386 3602 -3950 -4334 4086 -4386 -3914 3390 3418 -4502 4026 -3642 4086 -4162 -3402 -3150 -3218 -3194 3190 -3426 -3238 4438 3514 4254 -3318 -3866 -4282 -3350 -4010 -3974 -3218 -3558 -4098 3886 4010 3818 3150 -3974 -4462 4086 -3590 -3314 -4170 3518 -4366 4222 4086 -3150 3954 -4398 3926 -4322 -3254 -3402 3714 3474 -4502 -3914 3934 3390 3442 4170 3478 4454 -4266 3150 -4114 4282 -3598 -4186 -4542 -4458 -3322 -3586 -3718 -3310 -4386 3750 -3870 -3678 3630 -4126 -3666 3534 -3558 3730 3214 3986 -4462 -4542 -4386 -3502 4278 -3274 4106 4082 3190 -3234 -3322 -4374 -4014 -3586 4542 -3946 -4474 -3858 -3422 -3238 -3574 3222 -4186 -3382 -4010 -4130 -4190 -4434 -3626 -3594 3866 -3402 4434 4018 3974 -3166 -4058 4078 -3314 -3150 -4234 -3586 4346 -4002 -3174 -3698 3330 -3946 -3726 3550 -3974 -4390 -3894 -3150 4158 -3182 3966 3402 3190 3226 -3170 -3190 4262 -4542 3770 -4198 3762 -4050 4158 4498 4486 3822 3454 -3674 -4502 -3814 3906 3830 -3630 4454 -4542 4226 -4482 -4542 -4542 3262 3374 -3254 -3366 -4274 -4338 -3654 3494 3518 4098 -3286 -3934 -3194 -4250 -3150 4158 -3514 -4014 -4226 -3258 -3562 4130 4042 -4370 -3394 3350 3986 4098 -3238 -3946 -3338 3254 -4238 -3342 3698 3950 -3510 3814 4262 -3546 4438 3714 -4054 -3678 -3730 4390 -3298 3542 -3474 -3258 -4090 4206 4266 -4186 4502 -4010 -3714 -4066 4078 3194 -3622 -3594 -4170 4350 -3982 3542 3938 4246 -3582 -4538 -3410 -4190 3786 -3294 3326 3958 4502 3510 -3150 -4538 -4222 3750 3742 -4478 -4490 -3814 -3194 -4270 4082 3862 -4542 3374 4530 4410 3614 -3754 -3874 4210 3182 3386 -4250 -3898 3598 -3898 -3942 -4542 4542 -4502 -4346 4398 -3690 -3578 4466 4042 -4198 3634 -4502 3830 3986 3162 3346 -4090 -3158 3782 -3626 3582 3714 3222 -4090 4222 4002 3602 -3246 3994 3250 3366 -3862 -4186 -3822 -4246 -3190 3562 -3326 3686 -4322 4370 3918 -3254 -3354 -4474 -3506 -4542 3386 4410 3510 -3378 3970 4542 -3154 -4034 -3406 -4266 3938 3614 -3326 -3574 -3854 4482 -3422 3966 4314 -3338 -4462 -3582 -3990 4026 3238 4234 3262 -3246 4118 -3802 -3478 -3330 -3814 3686 4066 -4402 -4078 -4218 3478 3278 -4026 -3522 -3398 3950 4326 -4502 3154 3166 3726 -4314 -3330 -4398 3590 -3474 -3554 3454 3554 3150 -4502 -3870 -4234 -3330 -4402 4066 -4326 3770 -3642 4042 3150 -4154 -3390 -3266 -3830 -3714 3854 3534 3162 -3594 3382 -3310 -3718 -3698 -4114 -4014 -3230 -3546 3862 -3966 -3766 3710 3850 -4502 -3766 -3858 -3910 -4294 -3622 -4362 -3310 -4542 3178 -3822 -4322 3462 3858 -4158 -4174 -3158 -3218 4114 4042 3910 -3150 4438 -3330 -4162 3998 -3262 3422 -3994 3610 -4006 -4430 -4322 4450 -3586 -4146 -4542 3382 3766 -3758 -3278 -3710 -4514 -3386 -4162 -3510 3622 4386 3642 -4114 -4446 3426 4058 -3298 -3510 -3630 3150 -3846 -4474 -3702 4354 4542 3614 -4130 -3602 -3550 4374 3390 3322 -3898 3358 -3790 3190 -4014 3566 -4262 3710 -4478 3510 -4458 -3718 3658 -3402 -4494 -3870 -3826 -3934 4178 -4002 3970 -3734 3290 -3518 3790 3830 -3894 -3882 3662 -3150 4118 4038 -4062 3286 -3718 -3754 3898 -3578 3386 4534 -3418 -3622 -4102 -3550 -4502 -3798 -4422 -3254 -3562 3550 4242 -4298 3966 3538 -3586 4034 -3370 3190 3434 3766 4438 -4078 3354 -3882 -3458 3206 3258 -3302 4442 3350 3578 -3198 -3754 -3970 -3990 -4002 3626 3190 3438 -4258 -3754 3538 -3818 -3810 4238 -3174 -4346 -3582 3950 4310 3790 -3258 4542 4510 -3406 -3746 -3490 -4174 4030 -4458 -3326 -3234 -3378 -3582 -3710 4318 3766 -4454 -3218 -3154 3974 -4362 4366 3678 -4370 3810 4218 -3806 3874 4070 3150 -4230 -3842 3930 -3190 3922 -4490 -4494 -4394 -3698 3926 -3718 3202 -3550 3322 -3154 -4170 -4410 3150 4042 -3278 -4214 -4502 -3994 3634 -3842 -3194 -3390 -4238 -4422 -4422 3566 -3850 -4090 -3942 -3574 -3582 3354 3318 -3806 -3266 -4498 3670 -3894 3378 -3202 4422 3758 -4150 -4106 -3410 4274 -3986 -4090 4078 -3462 -3314 -3366 -4358 3626 3738 -3982 -3722 3182 -3850 4462 -4478 4194 -4522 3322 4422 3254 -4362 3610 3150 -3578 3306 -4354 4126 3206 -4362 -4022 3714 -3842 -3650 3634 3954 3986 4130 3802 3690 -3198 -3238 -4354 4290 4490 3990 -3502 -4542 3150 3290 -4542 3314 3870 -3802 -3618 4130 4106 -4334 -4014 3602 4094 -3806 4054 -3238 -3630 -4302 3362 -3346 -3854 3406 -4014 -3446 3226 3302 3186 -4078 4266 -3974 4278 -3846 -4282 -4462 -4306 3198 -4422 3918 -3974 -4362 -4278 -3590 -3262 -3946 -3990 -4446 -3666 -3986 -3262 3330 -3582 -3610 3494 -4222 -4158 -4542 -3234 -4278 -3390 3878 -4230 -4014 -3210 -4014 -3714 4502 3706 -4322 -3154 -4294 4290 4430 -4482 3974 4530 -3742 -4542 -3366 -3618 -4170 -3586 4270 3522 -4026 -4178 3330 -3954 3478 -3242 3230 3698 -4022 -3430 3770 -4026 3842 -4502 3550 3150 -3198 3834 3922 -3990 -4502 3194 3718 -3754 -3326 -4202 -4354 3346 -3698 3730 3150 -4178 -3754 -4330 4542 3986 -3418 -3850 -4198 -3626 -3758 -3446 3994 -3954 -3806 -3666 3854 3150 -3926 -4506 3978 -4494 3774 -4422 4430 4406 -4442 -3470 -4210 -3306 -3954 4338 3430 4338 -3958 4350 -4398 4094 -4074 -3510 -4482 3766 -3450 4530 3970 -3434 -3598 -3422 3686 -3818 -3470 -3266 -4074 -4462 3614 4118 -3258 3482 3562 -3178 3218 3430 3326 -3182 3282 -4210 -4190 3698 4542 3850 -4282 3250 -3350 3190 3522 3550 -3950 3634 -3170 -4130 -3534 -3214 4230 3350 -3430 -3754 -4306 3470 -3206 4042 -3678 3210 -3210 4526 4542 -3262 -3582 3430 3986 -4146 -3990 3362 -4130 3766 3922 -3358 -3706 -4230 4454 -4502 3714 3830 -4270 -4542 -3582 -3674 -3598 -3330 -3178 -4026 -4242 3634 -3586 4170 -4478 -4338 -4162 -3198 -4322 3738 -4058 4122 4290 -4422 3190 4450 -4542 -3826 -3710 -4422 4502 4346 4062 -4414 -3370 3166 3362 3678 -4062 3330 -4230 -3998 4254 -4002 3198 4378 -4502 -3494 -3250 -4310 4066 4438 -4442 -3518 -3378 4374 -3602 -4502 3226 -3326 -3242 -4450 3970 -4274 -4382 3754 -3302 3714 -4146 -4146 -4462 3550 3610 -4522 -3766 -4270 -4502 3926 -3906 -3794 -3410 3374 -4346 -4070 -4474 -4482 -3614 3506 3254 -4482 3786 3222 -3482 -4418 -3858 -4154 3314 -4222 -3406 -3550 -4418 3802 -4190 -3550 -3522 3430 3598 -4002 -4362 -3938 -3178 -3206 -4198 4074 -4014 -3570 4398 3158 3790 -4374 -3250 3202 -3314 -3926 -3442 -3518 -4426 3862 -3418 4106 3814 -4542 -4302 4414 -3458 -3690 -4422 4342 3826 -3994 3594 -4042 -3214 -3250 -4382 3198 -4290 4014 3874 4414 4434 -4366 -3974 -3586 -4386 -4178 3566 -3814 -3722 -3214 -3382 -3714 3470 -3714 -3718 -4350 3150 
57.42	d NODES 3007
57.42	d CHECKS 60747411
57.42	   
57.42	   totalWckTime=57.186  totalCpuTime=54.7

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/node1/watcher-205755-1168073447 -o ROOT/results/node1/solver-205755-1168073447 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/205755-1168073447/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.53 1.88 1.89 4/93 15828
/proc/meminfo: memFree=1216032/2055920 swapFree=4165584/4192956
[pid=15827] ppid=15825 vsize=906644 CPUtime=0.03
/proc/15827/stat : 15827 (java) S 15825 15827 15760 0 -1 0 2069 0 1 0 2 1 0 0 18 0 2 0 155740680 928403456 1818 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/15827/statm: 226661 1818 1036 14 0 214244 0
[pid=15827/tid=15829] ppid=15825 vsize=906644 CPUtime=0
/proc/15827/task/15829/stat : 15829 (java) R 15825 15827 15760 0 -1 64 4 0 0 0 0 0 0 0 19 0 2 0 155740683 928403456 1818 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 7368 0 0 0 -1 1 0 0

[startup+0.104659 s]
/proc/loadavg: 1.53 1.88 1.89 4/93 15828
/proc/meminfo: memFree=1216032/2055920 swapFree=4165584/4192956
[pid=15827] ppid=15825 vsize=914988 CPUtime=0.09
/proc/15827/stat : 15827 (java) R 15825 15827 15760 0 -1 0 2998 0 1 0 7 2 0 0 20 0 8 0 155740680 936947712 2744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15827/statm: 228747 2744 1427 14 0 215242 0
[pid=15827/tid=15829] ppid=15825 vsize=914988 CPUtime=0
/proc/15827/task/15829/stat : 15829 (java) S 15825 15827 15760 0 -1 64 6 0 0 0 0 0 0 0 18 0 8 0 155740683 936947712 2744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.518089 s]
/proc/loadavg: 1.53 1.88 1.89 4/93 15828
/proc/meminfo: memFree=1216032/2055920 swapFree=4165584/4192956
[pid=15827] ppid=15825 vsize=915328 CPUtime=0.5
/proc/15827/stat : 15827 (java) R 15825 15827 15760 0 -1 0 7860 0 1 0 45 5 0 0 18 0 8 0 155740680 937295872 7599 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073582585 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15827/statm: 228832 7599 2138 14 0 215302 0
[pid=15827/tid=15829] ppid=15825 vsize=915328 CPUtime=0
/proc/15827/task/15829/stat : 15829 (java) S 15825 15827 15760 0 -1 64 6 0 0 0 0 0 0 0 18 0 8 0 155740683 937295872 7599 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328

[startup+1.3468 s]
/proc/loadavg: 1.53 1.88 1.89 3/100 15835
/proc/meminfo: memFree=1123944/2055920 swapFree=4165584/4192956
[pid=15827] ppid=15825 vsize=915596 CPUtime=1.32
/proc/15827/stat : 15827 (java) R 15825 15827 15760 0 -1 0 31684 0 1 0 116 16 0 0 24 0 8 0 155740680 937570304 31421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073541764 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15827/statm: 228899 31421 2160 14 0 215369 0
[pid=15827/tid=15829] ppid=15825 vsize=915596 CPUtime=0.12
/proc/15827/task/15829/stat : 15829 (java) S 15825 15827 15760 0 -1 64 15141 0 0 0 7 5 0 0 16 0 8 0 155740683 937570304 31421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15827/tid=15830] ppid=15825 vsize=915596 CPUtime=0
/proc/15827/task/15830/stat : 15830 (java) S 15825 15827 15760 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155740684 937570304 31421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15827/tid=15831] ppid=15825 vsize=915596 CPUtime=0
/proc/15827/task/15831/stat : 15831 (java) S 15825 15827 15760 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155740684 937570304 31421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15827/tid=15832] ppid=15825 vsize=915596 CPUtime=0
/proc/15827/task/15832/stat : 15832 (java) S 15825 15827 15760 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155740687 937570304 31421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15827/tid=15833] ppid=15825 vsize=915596 CPUtime=0.17
/proc/15827/task/15833/stat : 15833 (java) S 15825 15827 15760 0 -1 64 409 0 0 0 17 0 0 0 15 0 8 0 155740687 937570304 31421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15827/tid=15834] ppid=15825 vsize=915596 CPUtime=0
/proc/15827/task/15834/stat : 15834 (java) S 15825 15827 15760 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155740687 937570304 31421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15827/tid=15835] ppid=15825 vsize=915596 CPUtime=0
/proc/15827/task/15835/stat : 15835 (java) S 15825 15827 15760 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155740687 937570304 31421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 915596

[startup+2.99751 s]
/proc/loadavg: 1.53 1.88 1.89 3/100 15835
/proc/meminfo: memFree=1090344/2055920 swapFree=4165584/4192956
[pid=15827] ppid=15825 vsize=915596 CPUtime=2.95
/proc/15827/stat : 15827 (java) R 15825 15827 15760 0 -1 0 34794 0 1 0 277 18 0 0 25 0 8 0 155740680 937570304 34526 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15827/statm: 228899 34526 2160 14 0 215369 0
[pid=15827/tid=15829] ppid=15825 vsize=915596 CPUtime=0.31
/proc/15827/task/15829/stat : 15829 (java) S 15825 15827 15760 0 -1 64 18238 0 0 0 24 7 0 0 16 0 8 0 155740683 937570304 34526 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15827/tid=15830] ppid=15825 vsize=915596 CPUtime=0
/proc/15827/task/15830/stat : 15830 (java) S 15825 15827 15760 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155740684 937570304 34526 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15827/tid=15831] ppid=15825 vsize=915596 CPUtime=0
/proc/15827/task/15831/stat : 15831 (java) S 15825 15827 15760 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155740684 937570304 34526 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15827/tid=15832] ppid=15825 vsize=915596 CPUtime=0
/proc/15827/task/15832/stat : 15832 (java) S 15825 15827 15760 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155740687 937570304 34526 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15827/tid=15833] ppid=15825 vsize=915596 CPUtime=0.18
/proc/15827/task/15833/stat : 15833 (java) R 15825 15827 15760 0 -1 64 413 0 0 0 18 0 0 0 16 0 8 0 155740687 937570304 34526 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4152945371 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15827/tid=15834] ppid=15825 vsize=915596 CPUtime=0
/proc/15827/task/15834/stat : 15834 (java) S 15825 15827 15760 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155740687 937570304 34526 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15827/tid=15835] ppid=15825 vsize=915596 CPUtime=0
/proc/15827/task/15835/stat : 15835 (java) S 15825 15827 15760 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155740687 937570304 34526 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915596

[startup+6.27738 s]
/proc/loadavg: 1.56 1.88 1.89 3/100 15835
/proc/meminfo: memFree=1083624/2055920 swapFree=4165584/4192956
[pid=15827] ppid=15825 vsize=915732 CPUtime=6.2
/proc/15827/stat : 15827 (java) R 15825 15827 15760 0 -1 0 36807 0 1 0 600 20 0 0 25 0 8 0 155740680 937709568 36535 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15827/statm: 228933 36535 2182 14 0 215403 0
[pid=15827/tid=15829] ppid=15825 vsize=915732 CPUtime=0.42
/proc/15827/task/15829/stat : 15829 (java) R 15825 15827 15760 0 -1 64 20154 0 0 0 34 8 0 0 16 0 8 0 155740683 937709568 36535 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4152890966 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15827/tid=15830] ppid=15825 vsize=915732 CPUtime=0
/proc/15827/task/15830/stat : 15830 (java) S 15825 15827 15760 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155740684 937709568 36535 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15827/tid=15831] ppid=15825 vsize=915732 CPUtime=0
/proc/15827/task/15831/stat : 15831 (java) S 15825 15827 15760 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155740684 937709568 36535 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15827/tid=15832] ppid=15825 vsize=915732 CPUtime=0
/proc/15827/task/15832/stat : 15832 (java) S 15825 15827 15760 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155740687 937709568 36535 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15827/tid=15833] ppid=15825 vsize=915732 CPUtime=0.24
/proc/15827/task/15833/stat : 15833 (java) S 15825 15827 15760 0 -1 64 449 0 0 0 23 1 0 0 15 0 8 0 155740687 937709568 36535 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15827/tid=15834] ppid=15825 vsize=915732 CPUtime=0
/proc/15827/task/15834/stat : 15834 (java) S 15825 15827 15760 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155740687 937709568 36535 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15827/tid=15835] ppid=15825 vsize=915732 CPUtime=0
/proc/15827/task/15835/stat : 15835 (java) S 15825 15827 15760 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155740687 937709568 36535 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915732

[startup+12.7639 s]
/proc/loadavg: 1.68 1.90 1.90 3/100 15835
/proc/meminfo: memFree=991080/2055920 swapFree=4165584/4192956
[pid=15827] ppid=15825 vsize=915732 CPUtime=12.66
/proc/15827/stat : 15827 (java) R 15825 15827 15760 0 -1 0 74214 0 1 0 1232 34 0 0 25 0 8 0 155740680 937709568 73883 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15827/statm: 228933 73889 2498 14 0 215403 0
[pid=15827/tid=15829] ppid=15825 vsize=915732 CPUtime=1.63
/proc/15827/task/15829/stat : 15829 (java) R 15825 15827 15760 0 -1 64 57178 0 0 0 142 21 0 0 16 0 8 0 155740683 937709568 73893 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153968444 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15827/tid=15830] ppid=15825 vsize=915732 CPUtime=0
/proc/15827/task/15830/stat : 15830 (java) S 15825 15827 15760 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155740684 937709568 73899 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15827/tid=15831] ppid=15825 vsize=915732 CPUtime=0
/proc/15827/task/15831/stat : 15831 (java) S 15825 15827 15760 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155740684 937709568 73904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15827/tid=15832] ppid=15825 vsize=915732 CPUtime=0
/proc/15827/task/15832/stat : 15832 (java) S 15825 15827 15760 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155740687 937709568 73910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15827/tid=15833] ppid=15825 vsize=915732 CPUtime=0.29
/proc/15827/task/15833/stat : 15833 (java) S 15825 15827 15760 0 -1 64 473 0 0 0 28 1 0 0 15 0 8 0 155740687 937709568 73915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15827/tid=15834] ppid=15825 vsize=915732 CPUtime=0
/proc/15827/task/15834/stat : 15834 (java) S 15825 15827 15760 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155740687 937709568 73921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15827/tid=15835] ppid=15825 vsize=915732 CPUtime=0
/proc/15827/task/15835/stat : 15835 (java) S 15825 15827 15760 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155740687 937709568 73926 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 915732

[startup+25.6004 s]
/proc/loadavg: 1.75 1.91 1.90 3/100 15835
/proc/meminfo: memFree=876584/2055920 swapFree=4165584/4192956
[pid=15827] ppid=15825 vsize=915876 CPUtime=25.43
/proc/15827/stat : 15827 (java) R 15825 15827 15760 0 -1 0 87570 0 1 0 2503 40 0 0 25 0 8 0 155740680 937857024 87234 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074201715 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15827/statm: 228969 87234 2533 14 0 215439 0
[pid=15827/tid=15829] ppid=15825 vsize=915876 CPUtime=1.75
/proc/15827/task/15829/stat : 15829 (java) S 15825 15827 15760 0 -1 64 70353 0 0 0 148 27 0 0 16 0 8 0 155740683 937857024 87234 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15827/tid=15830] ppid=15825 vsize=915876 CPUtime=0
/proc/15827/task/15830/stat : 15830 (java) S 15825 15827 15760 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155740684 937857024 87234 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15827/tid=15831] ppid=15825 vsize=915876 CPUtime=0
/proc/15827/task/15831/stat : 15831 (java) S 15825 15827 15760 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155740684 937857024 87234 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15827/tid=15832] ppid=15825 vsize=915876 CPUtime=0
/proc/15827/task/15832/stat : 15832 (java) S 15825 15827 15760 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155740687 937857024 87234 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15827/tid=15833] ppid=15825 vsize=915876 CPUtime=0.38
/proc/15827/task/15833/stat : 15833 (java) S 15825 15827 15760 0 -1 64 563 0 0 0 37 1 0 0 16 0 8 0 155740687 937857024 87234 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15827/tid=15834] ppid=15825 vsize=915876 CPUtime=0
/proc/15827/task/15834/stat : 15834 (java) S 15825 15827 15760 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155740687 937857024 87234 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15827/tid=15835] ppid=15825 vsize=915876 CPUtime=0
/proc/15827/task/15835/stat : 15835 (java) S 15825 15827 15760 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155740687 937857024 87234 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 915876

[startup+51.3005 s]
/proc/loadavg: 1.83 1.91 1.90 3/100 15835
/proc/meminfo: memFree=876712/2055920 swapFree=4165584/4192956
[pid=15827] ppid=15825 vsize=915876 CPUtime=51
/proc/15827/stat : 15827 (java) R 15825 15827 15760 0 -1 0 87576 0 1 0 5060 40 0 0 25 0 8 0 155740680 937857024 87235 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073479187 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15827/statm: 228969 87235 2533 14 0 215439 0
[pid=15827/tid=15829] ppid=15825 vsize=915876 CPUtime=1.75
/proc/15827/task/15829/stat : 15829 (java) S 15825 15827 15760 0 -1 64 70353 0 0 0 148 27 0 0 16 0 8 0 155740683 937857024 87235 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15827/tid=15830] ppid=15825 vsize=915876 CPUtime=0
/proc/15827/task/15830/stat : 15830 (java) S 15825 15827 15760 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155740684 937857024 87235 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15827/tid=15831] ppid=15825 vsize=915876 CPUtime=0
/proc/15827/task/15831/stat : 15831 (java) S 15825 15827 15760 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155740684 937857024 87235 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15827/tid=15832] ppid=15825 vsize=915876 CPUtime=0
/proc/15827/task/15832/stat : 15832 (java) S 15825 15827 15760 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155740687 937857024 87235 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15827/tid=15833] ppid=15825 vsize=915876 CPUtime=0.38
/proc/15827/task/15833/stat : 15833 (java) S 15825 15827 15760 0 -1 64 566 0 0 0 37 1 0 0 16 0 8 0 155740687 937857024 87235 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15827/tid=15834] ppid=15825 vsize=915876 CPUtime=0
/proc/15827/task/15834/stat : 15834 (java) S 15825 15827 15760 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155740687 937857024 87235 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15827/tid=15835] ppid=15825 vsize=915876 CPUtime=0
/proc/15827/task/15835/stat : 15835 (java) S 15825 15827 15760 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155740687 937857024 87235 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 915876

Child status: 0
Real time (s): 57.4977
CPU time (s): 57.1643
CPU user time (s): 56.6924
CPU system time (s): 0.471928
CPU usage (%): 99.4202
Max. virtual memory (cumulated for all children) (KiB): 915984

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 56.6924
system time used= 0.471928
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 87617
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= 3050
involuntary context switches= 4935

runsolver used 0.076988 s user time and 0.173973 s system time

The end

Launcher Data (download as text)

Begin job on node1 on Sat Jan  6 08:50:49 UTC 2007


IDJOB= 205755
IDBENCH= 4167
FILE ID= node1/205755-1168073447

PBS_JOBID= 3475772

Free space on /tmp= 66294 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  f2e6d32bfbd479248082237fc5fc2e6a

RANDOM SEED= 880825883

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:       1216512 kB
Buffers:         69448 kB
Cached:         606384 kB
SwapCached:       3692 kB
Active:         387380 kB
Inactive:       354532 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1216512 kB
SwapTotal:     4192956 kB
SwapFree:      4165584 kB
Dirty:            9376 kB
Writeback:           0 kB
Mapped:          85904 kB
Slab:            81956 kB
Committed_AS:  4916916 kB
PageTables:       2448 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= 66294 MiB



End job on node1 on Sat Jan  6 08:51:47 UTC 2007