Trace number 205700

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 56.2494 56.8471

DiagnosticValue
CHECKS57346815
NODES3006

General information on the benchmark

Namefapp/fapp36-40/fapp40/
fapp40-3000-6.xml
MD5SUMffdafe8b3301c2726a31d80f032e4139
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.9515
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.34	   
0.34	Abscon 109 (November, 2006)
0.34	   
0.34	   configuration
0.34	     name=mac.xml
0.37	   
0.37	   instance
0.37	     name=/tmp/evaluation/205700-1168073444/unknown.xml
0.41	   
0.41	   domains being loaded...
0.45	   
0.45	   variables being loaded...
0.98	     nbVariables=3000  nbDomainTypes=14  minDomainSize=50  maxDomainSize=698
0.98	       =>  wckTime=0.637  cpuTime=0.45  mem=58M777
0.98	   
0.98	   predicates being loaded...
0.98	   
0.98	   constraints being loaded...
5.09	   
5.09	   INFO : Stopping converting binary constraints (cpu=4.26, mem = 106M961)
12.00	     nbConstraints=28313  nbMergedConstraints=25235  nbConvertedConstraints=8  nbConvertConstraintsChecks=3527320
12.00	     nbExtensionStructures=8  nbSharedExtensionStructures=0  nbConflictsStructures=8  nbSharedConflictsStructures=0
12.00	     nbSharedBinaryRepresentations=6689  nbEvaluationManagers=19174  nbSharedEvaluationManagers=9131  maxDegree=53
12.00	     maxArity=2
12.00	       =>  wckTime=11.662  cpuTime=10.23  mem=115M940
12.33	   
12.33	   solver IterativeSystematicSolver being built... 
13.47	       =>  wckTime=13.129  cpuTime=10.88  mem=298M312
51.49	   
51.49	   preprocessing
51.49	     nbConstraintChecks=56537707  nbValidityChecks=6154095  nbPropagations=9457  nbRevisions=198555
51.49	     nbUselessRevisions=171452  nbRemovedValues=1836331  detectedInconsistency=no
51.49	       =>  wckTime=37.976  cpuTime=37.6  mem=298M312
56.73	   
56.73	   search
56.73	     run=0  nbConstraintChecks=809108  nbValidityChecks=1543426  nbPropagations=20995  nbRevisions=362823
56.73	     nbUselessRevisions=323929  nbAssignments=3006  nbFailedAssignments=6  nbBacktracks=0  nbVisitedNodes=3013
56.73	     nbRestartNogoods=0  mapSize=0  nbInferences=0  nbTooLargeKeys=2314
56.73	       =>  wckTime=43.219  cpuTime=42.73  mem=314M111
56.73	   
56.73	   global
56.73	     nbConstraintChecks=57346815  nbValidityChecks=7697521  nbPropagations=30452  nbRevisions=561378
56.73	     nbUselessRevisions=495381  nbRestartNogoods=0  solvingWckTime=43.221  solvingCpuTime=42.74  expiredTime=no
56.73	     totalExploration=no  nbFoundSolutions=1  globalCpuTime=53.71
56.73	       =>  wckTime=56.395  cpuTime=53.66  mem=314M111
56.74	   
56.74	s SATISFIABLE
56.74	v -3426 3198 -3218 -3574 -4022 -4158 -4002 -3154 -3542 -3766 -3662 -3302 -3258 4002 -4542 -3574 -3302 -4186 -3550 -3894 3614 3650 -3482 3346 -4502 -3362 3722 4126 -3818 3534 3706 4162 -3622 -3866 3490 -4134 3310 -3994 3970 -3810 4038 -4114 3914 -4306 -4226 -4322 -3158 4218 -3962 -3506 4422 -3486 -4434 4498 4102 -3266 4190 -4502 4282 -4038 -3642 -3398 4430 -3890 4106 3950 -4158 4490 -4510 -3758 -4382 -3646 3254 -3722 -4298 -4422 -4542 3586 4246 4426 -4370 -4178 -4026 4138 -3494 -3254 -4502 3566 -4398 3290 -4306 4190 -3974 -3374 -4334 3174 4114 4214 -4082 4298 3962 -4502 3238 -3198 -4482 -3974 3718 3174 3862 3206 -3406 -3762 3414 3542 -4010 -4254 -3646 3958 -3210 -3214 -4030 3830 -3702 -4502 -3822 -3470 -4186 -4274 -4298 -4450 3730 -3486 4254 -3406 4102 -4530 3910 -3578 4190 -3582 -3350 -4242 3150 -3642 -3214 3810 -3654 4414 -3242 3302 3938 -3690 4042 4294 -3618 -3894 -4034 3474 -3290 -4458 -3442 -4282 -4358 3262 -3550 -4006 -3582 -4186 4110 4466 -3174 -3586 4242 4278 3534 -4494 -3602 -4146 -4258 -3590 -3334 -4070 3650 3546 3746 3274 3190 3942 3810 -4542 -3578 -3478 3350 -3546 3310 -4146 3546 -3402 3906 3986 4466 3934 -4186 4082 -3206 4090 -3214 3346 4498 4346 3510 3394 -4522 -4190 -4426 -3614 -3250 3198 -3302 -3154 3214 4098 3526 4122 3710 4226 -3910 -4446 3858 3190 3558 -4450 -4174 -3638 4002 -3498 -4434 -3598 -4542 -3194 -4378 -3246 4126 3310 -3190 -4542 4330 -3954 -3818 3250 3682 -3298 3782 3774 -3810 3922 -3330 4206 -3290 -3730 3574 -4310 -4014 -4146 -3394 -3214 -3434 -3150 -3586 3602 -4422 3578 3950 -3330 4178 3418 -3526 -4538 -3814 3638 3150 -4482 -3622 -4518 3634 -3574 3202 4462 4130 -3806 -3746 -4322 4346 -3546 -3150 -4318 -3190 -3286 3690 -3190 -4014 -4422 -4006 3258 -3702 -3670 -3706 3622 3598 -3462 -3846 3814 4462 -4342 -3650 -4542 -3234 -3734 -4490 -3558 -3446 -4186 4114 4418 -4282 4398 3666 -3198 -3242 3158 -3306 -4230 -3426 -3786 3422 3750 4230 4490 -4422 -4498 -3242 -3302 -4522 3578 3954 -3710 -4190 -3646 3974 -3518 3150 3334 4162 -3582 -3598 -3214 -3978 -3358 3426 -3366 3358 4158 -4298 3382 -3326 3638 3334 4142 -4146 3254 -3862 -3750 3350 4322 3802 -4502 -3650 -4118 -4334 -4522 -4230 3474 -3474 -4530 -3190 3766 -4422 3654 3194 3334 -4094 -3578 3682 -3578 3202 -3610 -4130 -3302 3846 -4230 -3422 -4162 -4518 -3602 4322 -4462 -4410 -3466 4410 -4242 -4146 3370 -3322 3306 -4186 -4306 3278 -3574 -3302 3518 -3814 3606 4078 3822 -4126 -3710 -4042 -4254 -4258 3366 3262 -3558 -3574 -4502 4350 3570 -3258 3242 -3442 -3486 3386 3342 -3902 -4294 3598 4370 -3262 4482 -3526 -3634 -3586 -4462 3198 -3250 4146 -3330 3362 3510 3446 -3550 -3466 4242 -3254 3410 -3702 3294 -3910 3442 -3446 -4306 4266 -4470 4218 -4066 -3234 -3950 -3582 3382 -3670 3606 4294 -4282 3598 3194 4266 -3190 4334 3170 -3178 4470 -3458 -3262 -3966 -4202 3306 4470 3158 -3302 -4162 4206 -4014 -4502 -4382 -3642 -4390 -4130 -3290 -3650 3766 4170 -3190 3158 -4282 4214 4502 -4502 4198 -3310 -3582 -3366 4502 3642 -4450 4410 -3614 3958 -3382 -4014 3350 3886 -4522 4434 -4202 -3646 4074 4034 -3302 3150 -3990 -3218 3202 3606 -3430 -3714 -3206 4098 3338 -4502 3402 -4126 -3770 -4522 -4370 -3762 -3974 3770 -3554 -4138 3982 3926 -4466 3150 4078 -3690 -3314 3966 -3586 -4470 4358 3306 3686 3798 4338 3278 -4342 -3914 -3638 4186 -4030 -3622 -3606 3422 -4146 -3826 -3598 3578 4342 -3578 -4502 -3810 -3590 3662 -4358 -3198 4242 3558 -4026 -4462 -4522 4518 3398 -4138 3970 -3510 -3638 -4542 -4010 -3730 -4146 -4186 -3490 4262 -3222 3214 -4082 -4182 3678 -3574 -3210 3830 4386 -4282 -4218 3958 -3770 4446 -4374 -3198 3458 3378 3710 -3562 -3850 -3566 -3810 3550 -3442 -4042 4038 3954 -3678 -4118 4126 -4398 4002 -3626 -3974 -4522 3994 -3342 -3286 -3698 -3974 4062 -4078 3690 3274 -3198 3826 -3638 -4482 3150 -3670 3170 3214 -3314 3486 -3246 4002 -3570 -3650 -3218 3406 -3642 -3618 -3238 4086 4274 3622 -4502 3934 4006 -4202 -3190 3594 4330 -4334 -4146 4482 -3470 -3870 3806 -3222 3238 -3682 -4026 -3622 3822 3222 -3734 3502 -4214 4410 3414 -4322 4402 4130 3150 3502 -4502 3202 -4442 4250 3674 -3762 -4034 -3754 3374 4526 3202 3274 3766 3530 4526 3150 -3278 3262 3766 4390 -3374 3754 3670 -4222 4158 4230 -4022 4542 3438 -3838 -4222 -4162 4242 -3422 -3730 4022 -3190 -4462 -4426 4410 -3414 -3858 -4542 -4322 4246 -3950 -3854 -4302 -4246 -4186 -4450 4234 -3902 -3530 -3150 3446 -3558 4438 3850 -3614 -3314 3270 -3410 -4006 -4210 3290 3366 -3582 -4222 4230 -4462 -4322 -3730 -4450 3734 -4046 3922 -4502 4122 -3258 -4398 -4502 3190 -3238 -4482 -3374 -3718 -3662 4302 3394 3774 -3202 -4394 -3878 -4450 -4482 3530 -3762 -3310 -3270 -3214 -4542 -4502 -3982 -3302 -3318 -3974 -4410 3658 -3874 -4478 -4014 3786 4134 -3174 3806 -4242 3710 3670 3714 -3606 -3806 3870 3522 3630 -3498 -4362 -3966 -3582 3370 -3378 3826 4166 -4062 4070 3406 4386 -3370 3198 -4542 -3898 -3762 -4190 4442 3950 4070 3914 3890 3790 4106 -3594 4310 4086 -4346 -3318 3366 3166 -4426 3906 -3634 -3250 4258 -4086 -3770 -4434 3386 -3154 -4370 -3466 -4502 4098 3338 3846 -4342 3810 3910 3238 3470 3150 3194 -4462 -3862 -3382 4170 3162 -3574 3962 -3438 -3910 -3902 -4542 -3694 4270 -3774 4222 -3734 4466 3566 -3482 3818 -3598 -4186 -3610 -4374 -4470 3466 -4542 -4170 -3382 -4322 3690 -3854 3174 -3830 3422 -4502 -4502 -4502 -4462 -4514 3150 3810 3214 4406 -3510 3810 -4458 3726 -4362 4122 4070 -3850 -4186 3718 -4118 3746 3850 -3838 3322 3270 -4318 -3706 -3238 -4542 -4122 4002 -3810 -3582 3682 3934 3806 4314 -3250 -3646 -3670 -3574 3326 -4314 -4282 -4542 -3854 -3822 -3422 -3662 3910 -4186 4126 -3738 -4362 -3638 -4354 -4022 -3974 4094 -3410 -3370 -3846 3166 -3302 4242 -3286 -3578 3474 -4482 -4498 -3194 -4322 -3970 4270 4502 4070 -3274 4502 -4502 -3682 3546 -3486 3546 -4530 -4186 3558 -3730 -3586 -3210 4150 3338 -3706 -3710 -4446 -3714 3754 3594 -3526 -3526 3498 3510 3846 3606 -4542 4358 3806 -4110 -4158 4514 4322 -3830 -3326 -3450 -3994 3506 3370 3938 -3858 -3810 -4014 3190 -3662 4402 -4338 -3618 3418 3802 3290 -3334 -3194 -4154 3870 -3698 3302 -4062 3670 3846 -4462 4438 3950 3714 -3450 -3426 4358 -4186 4114 4206 3778 3174 -3614 -3494 -4486 -3994 3866 -3814 3422 -3586 -3894 -3710 -3538 -3642 -4286 4502 4026 -4042 -3982 4282 3354 3378 3702 3190 3218 3994 3222 4214 -4110 -3598 -4370 -3838 4434 4046 -4186 3210 3534 -3574 3454 3606 -4374 -3750 -3206 -3258 -4046 -3334 4402 4198 -3638 4250 3694 -4382 -3990 3598 -3518 4174 3514 -4338 -3298 3158 4118 3426 -3806 3930 -3974 3342 -4218 -3274 -4478 -3858 3602 -4014 3246 -4130 -3734 -4198 3854 -3202 -3390 -3890 3366 3538 3286 -4422 3898 4002 3282 3282 3190 3866 3922 -3614 -4110 -4510 -4542 -4322 -3626 -4338 -3294 -3194 -3818 -3818 3462 -4030 -4074 4494 -4282 3918 -3910 4042 3294 -4542 -4190 -3322 3998 -3642 -3654 -3662 -3662 -3974 3390 -4006 4102 -3298 -4442 -3294 4322 -3222 3614 -4426 4094 -4334 -3202 -4342 4502 -3854 -4482 -4314 -4446 3290 4006 -3542 3586 -4198 -3974 3438 -3242 3286 4502 3658 -4502 3754 3170 3282 -4258 3210 -3550 4034 4266 3174 -3346 4502 4090 4502 -3970 -3286 -4346 -3762 -3358 -4230 -4146 3526 -4402 3922 -3582 3838 3930 -3454 3222 -4502 -3358 -3774 -3826 4490 -4258 -3870 3754 3190 -3622 -4502 -3190 -3242 3594 3602 -3618 3150 4034 -3450 -4014 -3718 -4422 3190 4046 -3566 -4254 4170 4006 -4282 3510 -3326 -4042 -3530 -4282 -3622 -3330 3214 4430 4238 -3262 -3222 3810 -3202 -4054 -3230 -3618 3954 4398 -3606 -3370 3666 -3302 -4530 4254 -3818 -3358 3886 -3722 3278 3810 -3690 -4542 3654 -4374 -3538 -4122 4194 3478 -4282 -4422 4006 -3754 -3458 3466 4138 -4134 -3798 3642 3838 3330 -3154 -3634 -4402 -3910 -3630 3762 4286 -3886 -3194 3278 3470 -4490 -4346 -3262 4494 -4282 3262 -3554 3962 -4322 -3858 -4394 4506 -3774 4358 -3322 -4142 3974 3270 3518 -4278 -3890 3362 4262 -3726 -3202 4534 3570 -3254 3322 -3462 3966 -3450 -3654 -4422 -3158 3150 -4062 -3754 3590 -3274 -3810 -4394 -3322 -4038 -3150 -3994 3786 4046 -4226 -4086 -3690 -3254 3630 -3678 -3538 3758 -3442 -3766 -4182 -4502 -4298 -4018 4382 -3362 3854 3262 -3974 3770 4038 3406 4250 -4146 -3194 3758 -4502 3966 -4530 4502 4266 -3150 3714 -4354 -3162 -3838 -4142 -3778 3878 -4046 -3626 -4386 4038 -4282 3174 3254 -4310 -4522 3214 4122 4002 -4502 4430 -3614 -3714 -3790 4398 3294 -4018 3930 -4294 3866 3606 3346 -4442 -4014 3198 -3654 -3210 -4502 -4102 -4334 4438 -4422 4194 3874 4270 -4362 3790 4034 4542 -4350 -3746 -4202 4070 4026 -3210 -3838 -3298 3166 -3706 -4302 -4222 3834 3150 3890 -4394 -3786 -4498 4202 3654 -4462 4254 -4390 -4174 3150 3802 -3982 -3882 -4542 -4310 4174 4218 -3314 -3902 -3986 3970 4378 3994 3438 -3154 -4158 3766 3810 -3806 -3338 4326 3162 -3758 -4042 -3222 -3214 3190 3270 3454 3954 3198 -3974 3182 -4502 -4158 3222 -4462 3246 -4322 4178 -3222 -4062 -4234 -4490 -4082 3918 -4542 -3806 4122 -4542 -4486 -4362 -3586 3666 -4346 3262 -4046 3546 4038 3966 -3814 -4142 3706 3302 3246 -3210 3178 3478 3542 3190 3522 -3258 -3626 -3926 3590 -3550 -4458 -4202 -3430 3278 3970 -3946 -4062 4098 -3490 -3550 -3282 3734 -3418 -4394 -3994 4114 -3726 3410 -3818 4142 3242 3566 4062 4166 3454 -3770 -3618 3974 -3622 -3194 -3622 3834 -3974 3850 4106 3282 3150 3374 -3166 -3174 3854 3870 3302 3578 -4178 -3170 -4166 -3666 -3974 -4542 -3222 -4134 3726 -4302 -3586 -3722 -3722 3938 -3962 3734 4338 -3274 3586 4070 -4242 3750 -4262 3910 -3282 -4474 -3250 -4142 -3834 4198 3206 4538 -3222 4310 4398 -3614 -3402 3642 4490 3762 -3618 3322 -4262 -3190 -3626 3766 3238 -4290 3966 -4366 3498 -4158 4078 -4542 4486 -3974 -4298 -3726 -3978 3150 3294 -3410 -4542 3526 3190 4126 -3166 -4150 4242 4226 4230 3362 4102 3206 4118 -3366 4522 -4322 -4542 -4462 4350 -3178 -3670 4086 -3778 -4334 -4306 4382 3870 -3774 -3642 3798 -3658 -4146 4106 3618 -3838 -3506 -3198 -3210 -4482 -3830 3298 3850 4078 -3490 -4034 -3670 -3718 4282 3618 -3590 -3198 -4062 -4146 -3238 -3294 -3190 -4314 -3710 -3850 3510 3970 3566 -4194 3994 -4542 4338 3426 -3582 -4210 4134 4066 3374 -3286 3346 4306 3966 -3210 -3198 4102 3574 -3302 -4442 -4014 4138 -3478 3346 3450 4142 -3254 -3834 3282 -3838 3930 -4490 -4426 -4014 -4498 4462 -4478 3318 3990 -4090 -3798 -4010 3714 -3710 -3694 -4522 4370 3642 -3518 -4234 -3330 -4406 -3614 -4106 3926 -3262 -3386 -4030 4422 3322 -3566 3470 -4214 -3502 -3606 -3190 -3222 3874 3762 -3190 -4078 -3510 -4522 -3318 -3618 -3378 3318 -3618 -4522 3670 3762 -4114 4178 3618 4202 -3486 3214 4030 3530 3446 -4502 3178 -3286 4310 4126 -3654 3858 3378 -3586 4502 3190 3746 -3770 3242 -3614 3202 -4482 -3190 -3878 4510 3658 -3154 4422 3270 -3686 -4422 4194 -3246 4542 -3178 4542 3310 -4522 3614 3858 3334 -4302 -3514 3558 -4542 -3274 -4542 4518 3578 3338 -3818 -3290 4142 -4322 4334 -3894 -4126 -4062 -3734 3866 -4322 -3466 3802 -3678 -4002 -4094 3790 -3398 -3802 3450 -3150 -4486 3606 4542 4490 4418 4126 3994 -3494 4090 3150 -3294 -3386 3598 -3950 -4330 -4086 -4398 -3918 3390 3418 -4502 4030 -3642 4086 -4162 3406 -3190 -3198 -3218 3190 -3426 -3238 4446 3510 4258 3318 3878 -4282 -3350 -4002 -3974 -3218 -3558 -4098 -3882 4010 3814 3150 -3974 -4462 4086 -3590 -3314 -4170 3518 -4366 4226 4086 -3150 3954 -4410 3934 -4322 -3258 -3402 -3710 3474 -4502 -3898 3934 3390 -3450 4162 3478 -4466 -4262 3150 -4114 4282 -3598 -4186 -4542 -4458 -3322 -3574 -3718 -3302 -4386 3758 -3878 -3678 3630 -4126 3662 -3534 -3558 3730 3218 3990 -4462 -4470 -4386 3490 -4282 3282 4102 4078 3190 -3242 -3322 4374 -4014 -3590 4538 -3946 -4474 3858 -3422 -3238 -3582 3230 4190 3378 -4006 -4126 -4182 -4434 -3622 -3594 3870 3410 4426 4022 3974 -3166 -4102 4034 -3314 -3150 -4234 -3586 4346 4002 -3170 -3694 3330 -3946 -3726 -3558 -3974 4386 -3894 -3150 4154 -3182 3966 3402 -3202 -3234 -3174 -3206 4266 -4542 3770 -4202 3762 -4050 -4158 4502 -4486 -3814 -3450 3682 -4502 -3810 3906 3834 -3630 -4462 -4542 4226 -4482 4470 -4470 3270 3374 -3254 -3366 -4282 -4330 -3654 3494 3518 4102 3294 -3930 -3194 -4250 -3154 4166 -3514 -4014 -4230 -3262 3570 -4138 4030 4370 -3398 3354 -3986 4094 -3246 -3942 3342 3262 -4242 -3342 3694 3950 -3510 -3818 4266 3546 4450 3714 -4054 -3678 -3722 -4394 3274 3530 -3474 -3262 -4086 4202 4274 -4198 4502 -4014 -3706 -4142 4074 3198 -3626 3586 -4166 4350 -3990 3550 -3950 -4242 -3582 -4534 3406 -4186 3790 -3298 3330 3954 4502 3514 -3162 -4542 4218 3750 3746 -4482 -4502 3802 -3194 -4270 4082 3874 -4542 3374 -4530 -4410 3614 -3762 3878 -4202 -3190 3398 -4250 -3898 3594 3898 -3942 -4542 4542 -4502 -4346 4398 3694 -3578 4474 4046 -4202 3634 -4490 3830 3994 3162 3346 4086 -3158 3786 -3626 -3586 3714 3222 -4098 4218 4002 3602 -3190 3990 3250 3362 -3862 -4186 -3814 -4254 -3190 3562 -3370 3686 -4322 -4470 3918 -3254 -3358 -4474 -3506 -4542 3386 -4430 3514 -3370 3962 4542 -3154 4038 -3402 -4262 3938 -3614 -3326 -3574 -3842 -4482 3422 3966 4322 -3342 -4462 -3582 -3994 4030 3246 4158 -3262 -3250 4114 -3798 -3482 3334 -3818 3690 4066 -4398 -4082 -4222 3490 -3278 4034 -3526 -3406 3954 4326 -4510 3154 -3170 3726 -4322 -3330 -4398 3598 -3474 -3546 3462 3550 3150 -4502 -3870 4202 -3334 -4402 4058 -4326 3766 -3642 4038 3150 -4158 3406 -3174 -3834 -3718 3858 3538 3162 3598 3382 3310 -3718 -3694 -4146 -4014 -3238 -3546 3862 -3966 3778 3710 3858 -4502 -3766 -3850 3910 -4294 -3622 -4354 -3314 -4542 -3154 -3830 -4322 3462 3854 -4154 -4174 -3162 -3194 -4130 4042 3914 -3150 4442 -3330 -4162 3998 -3262 -3422 -3998 3606 -4006 -4434 -4322 4450 -3582 -4146 -4542 3382 3774 -3754 3274 -3710 -4514 -3382 -4158 -3510 3622 4386 -3638 -4118 4450 -3426 4058 -3294 -3518 -3638 3150 3846 -4474 -3702 -4350 -4542 3614 4130 3602 -3546 -4374 3382 3326 -3890 -3362 -3798 -3190 -4014 3570 -4258 3710 4482 3506 -4458 -3714 -3654 -3406 -4490 -3874 -3826 -3930 4178 -4002 3966 3734 3290 -3530 3790 3830 -3898 -3874 -3666 -3158 4110 4042 -4054 -3290 -3718 -3754 3898 -3574 -3386 4538 -3422 -3626 -4102 -3546 -4502 -3794 -4422 -3250 3562 3554 4242 -4306 3970 3538 -3582 4030 -3374 3190 3434 3770 4450 4066 3354 -3878 -3466 -3206 3254 -3302 -4446 3350 3578 -3206 -3754 -3966 -3990 4006 -3622 3190 3442 -4262 -3750 3538 3818 3818 4234 -3182 -4346 3578 3950 -4302 3794 -3262 -4542 4490 -3406 -3746 -3626 4166 4038 -4458 -3326 -3234 3378 -3590 -3718 4318 3766 -4450 -3218 -3158 -3974 -4362 4366 -3682 -4374 3810 4218 -3806 3874 4066 3174 -4230 -3846 3930 -3262 -3934 -4506 -4486 -4394 -3706 -3930 -3722 3202 -3558 3330 3158 -4166 -4410 3150 4042 -3286 -4214 4466 -3994 3634 -3842 -3194 3390 -4242 -4422 -4422 3566 3858 4094 3938 3574 -3582 3354 3322 -3806 -3258 -4510 -3678 -3890 3378 -3202 -4422 -3746 -4154 4106 3398 -4274 3990 -4086 4074 -3462 -3314 3366 -4358 -3622 3742 -3978 -3722 3182 -3858 4462 -4478 -4194 -4522 3326 4422 3258 -4362 -3614 3150 -3578 3306 4358 -4134 3210 -4362 -4018 3714 -3850 -3646 3618 -3958 4006 4130 3806 3690 -3198 -3242 -4354 -4290 4490 3986 -3502 -4542 3150 3290 -4542 3310 3870 -3798 -3614 4126 4102 -4334 -4022 -3598 4090 -3806 4050 -3298 3622 4302 3366 3342 -3846 3406 -4014 -3446 -3238 3306 -3182 -4074 4270 -3974 4282 3826 -4278 -4462 -4306 3202 -4422 -3918 -3974 -4362 -4286 -3590 -3262 -3946 -3994 -4422 3674 -3986 -3262 -3330 -3582 3622 3490 -4222 4154 -4542 3242 -4282 -3390 3878 -4226 -4014 -3210 -4014 3722 4502 -3690 4322 -3154 -4298 4298 4470 4482 3974 4542 -3742 -4542 -3370 -3618 4170 -3590 4274 -3530 -4022 -4178 3334 -3954 3478 -3238 3234 -3706 -4014 -3366 3770 4026 3838 -4502 3542 3162 -3198 -3838 3922 -3994 -4502 3198 3718 -3754 -3330 -4198 -4362 3346 -3694 3730 3154 -4186 -3758 -4330 4542 3990 3422 3850 4206 -3622 3750 -3446 3994 -3938 -3806 -3658 3854 3150 -3934 -4522 3990 4498 3782 -4422 4430 4406 -4438 -3470 -4214 -3302 -3954 -4342 3430 -4502 -3958 4354 -4398 4102 -4078 3514 -4482 3766 -3450 4542 3962 -3434 -3598 3418 3690 3830 -3470 -3274 4078 -4462 3614 -4114 -3258 3494 3570 -3182 3218 3434 3330 -3190 3286 -4210 -4194 3694 4538 3850 4282 3250 -3350 3190 3522 3550 -3946 -3638 -3170 4130 -3530 -3214 4222 3354 -3434 -3758 -4306 3478 3210 4042 -3674 -3214 -3210 4526 -4542 -3262 -3586 -3438 3990 -4146 3986 3362 -4134 -3774 3934 -3358 -3702 -4258 4454 -4542 3710 3830 4262 -4542 -3582 -3674 -3598 -3310 -3182 -4026 -4246 -3642 -3586 4166 -4474 -4338 4158 -3198 -4318 3730 4058 -4122 4290 -4422 3190 4466 -4542 -3826 3714 -4422 -4502 -4346 4066 -4414 -3350 3166 3362 -3678 -4058 3338 4234 -3994 4254 -4010 3234 -4542 -4502 -3490 -3254 4314 4062 -4482 -4442 -3518 3378 4382 3602 -4534 3234 3334 -3242 -4450 3978 -4278 -4382 -3762 -3302 -3718 -4150 -4146 -4462 3550 3610 -4522 3766 4270 4502 3922 -3906 3802 -3410 3374 -4346 -4078 -4486 -4482 -3614 3502 3254 -4482 -3786 -3230 -3482 -4418 -3858 -4162 -3314 -4218 3406 -3550 -4418 3798 4190 -3558 -3534 -3422 -3602 -4006 -4362 -3938 -3178 -3210 -4198 -4074 -4014 3566 4402 -3218 3790 -4374 -3250 3202 -3314 -3926 -3518 -3514 -4438 3862 -3418 4102 -3806 -4382 -4290 -4422 -3462 3690 4422 4342 -3838 -3994 3602 4042 -3214 -3238 -4378 3202 -4290 4022 -3882 4306 4522 -4374 3978 -3586 -4382 -4182 3566 -3814 -3722 -3170 -3382 -3714 3474 -3706 -3714 -4350 3150 
56.74	d NODES 3006
56.74	d CHECKS 57346815
56.74	   
56.74	   totalWckTime=56.484  totalCpuTime=53.71

Verifier Data (download as text)

OK

Watcher Data (download as text)

runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node6/watcher-205700-1168073444 -o ROOT/results/node6/solver-205700-1168073444 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/205700-1168073444/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.25 1.67 1.82 5/93 8634
/proc/meminfo: memFree=1230632/2055924 swapFree=4165672/4192956
[pid=8633] ppid=8631 vsize=11820 CPUtime=0
/proc/8633/stat : 8633 (java) D 8631 8633 8566 0 -1 0 760 0 1 0 0 0 0 0 16 0 1 0 155740076 12103680 510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 2188068 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/8633/statm: 2955 510 421 14 0 1602 0

[startup+0.103279 s]
/proc/loadavg: 1.25 1.67 1.82 5/93 8634
/proc/meminfo: memFree=1230632/2055924 swapFree=4165672/4192956
[pid=8633] ppid=8631 vsize=913068 CPUtime=0.09
/proc/8633/stat : 8633 (java) S 8631 8633 8566 0 -1 0 2881 0 1 0 8 1 0 0 17 0 8 0 155740076 934981632 2627 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8633/statm: 228267 2627 1396 14 0 215168 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 913068

[startup+0.511327 s]
/proc/loadavg: 1.25 1.67 1.82 5/93 8634
/proc/meminfo: memFree=1230632/2055924 swapFree=4165672/4192956
[pid=8633] ppid=8631 vsize=915328 CPUtime=0.49
/proc/8633/stat : 8633 (java) R 8631 8633 8566 0 -1 0 6845 0 1 0 45 4 0 0 18 0 8 0 155740076 937295872 6584 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8633/statm: 228832 6584 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.33243 s]
/proc/loadavg: 1.25 1.67 1.82 3/100 8641
/proc/meminfo: memFree=1138672/2055924 swapFree=4165672/4192956
[pid=8633] ppid=8631 vsize=915596 CPUtime=1.3
/proc/8633/stat : 8633 (java) R 8631 8633 8566 0 -1 0 31683 0 1 0 115 15 0 0 23 0 8 0 155740076 937570304 31420 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073757602 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8633/statm: 228899 31420 2160 14 0 215369 0
[pid=8633/tid=8635] ppid=8631 vsize=915596 CPUtime=0.13
/proc/8633/task/8635/stat : 8635 (java) S 8631 8633 8566 0 -1 64 15141 0 0 0 8 5 0 0 16 0 8 0 155740080 937570304 31420 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8633/tid=8636] ppid=8631 vsize=915596 CPUtime=0
/proc/8633/task/8636/stat : 8636 (java) S 8631 8633 8566 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155740081 937570304 31420 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8633/tid=8637] ppid=8631 vsize=915596 CPUtime=0
/proc/8633/task/8637/stat : 8637 (java) S 8631 8633 8566 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155740081 937570304 31420 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8633/tid=8638] ppid=8631 vsize=915596 CPUtime=0
/proc/8633/task/8638/stat : 8638 (java) S 8631 8633 8566 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155740084 937570304 31420 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8633/tid=8639] ppid=8631 vsize=915596 CPUtime=0.17
/proc/8633/task/8639/stat : 8639 (java) S 8631 8633 8566 0 -1 64 409 0 0 0 17 0 0 0 16 0 8 0 155740084 937570304 31420 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8633/tid=8640] ppid=8631 vsize=915596 CPUtime=0
/proc/8633/task/8640/stat : 8640 (java) S 8631 8633 8566 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155740084 937570304 31420 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8633/tid=8641] ppid=8631 vsize=915596 CPUtime=0
/proc/8633/task/8641/stat : 8641 (java) S 8631 8633 8566 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155740084 937570304 31420 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915596

[startup+2.96962 s]
/proc/loadavg: 1.25 1.67 1.82 3/100 8641
/proc/meminfo: memFree=1105072/2055924 swapFree=4165672/4192956
[pid=8633] ppid=8631 vsize=915596 CPUtime=2.92
/proc/8633/stat : 8633 (java) R 8631 8633 8566 0 -1 0 34788 0 1 0 274 18 0 0 25 0 8 0 155740076 937570304 34520 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073578976 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8633/statm: 228899 34520 2160 14 0 215369 0
[pid=8633/tid=8635] ppid=8631 vsize=915596 CPUtime=0.32
/proc/8633/task/8635/stat : 8635 (java) S 8631 8633 8566 0 -1 64 18238 0 0 0 25 7 0 0 16 0 8 0 155740080 937570304 34520 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8633/tid=8636] ppid=8631 vsize=915596 CPUtime=0
/proc/8633/task/8636/stat : 8636 (java) S 8631 8633 8566 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155740081 937570304 34520 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8633/tid=8637] ppid=8631 vsize=915596 CPUtime=0
/proc/8633/task/8637/stat : 8637 (java) S 8631 8633 8566 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155740081 937570304 34520 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8633/tid=8638] ppid=8631 vsize=915596 CPUtime=0
/proc/8633/task/8638/stat : 8638 (java) S 8631 8633 8566 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155740084 937570304 34520 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8633/tid=8639] ppid=8631 vsize=915596 CPUtime=0.17
/proc/8633/task/8639/stat : 8639 (java) S 8631 8633 8566 0 -1 64 412 0 0 0 17 0 0 0 16 0 8 0 155740084 937570304 34520 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8633/tid=8640] ppid=8631 vsize=915596 CPUtime=0
/proc/8633/task/8640/stat : 8640 (java) S 8631 8633 8566 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155740084 937570304 34520 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8633/tid=8641] ppid=8631 vsize=915596 CPUtime=0
/proc/8633/task/8641/stat : 8641 (java) S 8631 8633 8566 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155740084 937570304 34520 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915596

[startup+6.261 s]
/proc/loadavg: 1.31 1.68 1.82 3/100 8641
/proc/meminfo: memFree=1098224/2055924 swapFree=4165672/4192956
[pid=8633] ppid=8631 vsize=915732 CPUtime=6.19
/proc/8633/stat : 8633 (java) R 8631 8633 8566 0 -1 0 36788 0 1 0 599 20 0 0 25 0 8 0 155740076 937709568 36517 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155888654 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8633/statm: 228933 36517 2181 14 0 215403 0
[pid=8633/tid=8635] ppid=8631 vsize=915732 CPUtime=0.43
/proc/8633/task/8635/stat : 8635 (java) S 8631 8633 8566 0 -1 64 20137 0 0 0 35 8 0 0 16 0 8 0 155740080 937709568 36517 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8633/tid=8636] ppid=8631 vsize=915732 CPUtime=0
/proc/8633/task/8636/stat : 8636 (java) S 8631 8633 8566 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155740081 937709568 36517 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8633/tid=8637] ppid=8631 vsize=915732 CPUtime=0
/proc/8633/task/8637/stat : 8637 (java) S 8631 8633 8566 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155740081 937709568 36517 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8633/tid=8638] ppid=8631 vsize=915732 CPUtime=0
/proc/8633/task/8638/stat : 8638 (java) S 8631 8633 8566 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155740084 937709568 36517 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8633/tid=8639] ppid=8631 vsize=915732 CPUtime=0.24
/proc/8633/task/8639/stat : 8639 (java) S 8631 8633 8566 0 -1 64 449 0 0 0 23 1 0 0 16 0 8 0 155740084 937709568 36517 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8633/tid=8640] ppid=8631 vsize=915732 CPUtime=0
/proc/8633/task/8640/stat : 8640 (java) S 8631 8633 8566 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155740084 937709568 36517 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8633/tid=8641] ppid=8631 vsize=915732 CPUtime=0
/proc/8633/task/8641/stat : 8641 (java) S 8631 8633 8566 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155740084 937709568 36517 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915732

[startup+12.7392 s]
/proc/loadavg: 1.37 1.68 1.82 3/100 8641
/proc/meminfo: memFree=1056432/2055924 swapFree=4165672/4192956
[pid=8633] ppid=8631 vsize=915732 CPUtime=12.59
/proc/8633/stat : 8633 (java) R 8631 8633 8566 0 -1 0 58939 0 1 0 1230 29 0 0 25 0 8 0 155740076 937709568 58611 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8633/statm: 228933 58611 2498 14 0 215403 0
[pid=8633/tid=8635] ppid=8631 vsize=915732 CPUtime=1.52
/proc/8633/task/8635/stat : 8635 (java) S 8631 8633 8566 0 -1 64 41897 0 0 0 136 16 0 0 16 0 8 0 155740080 937709568 58611 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8633/tid=8636] ppid=8631 vsize=915732 CPUtime=0
/proc/8633/task/8636/stat : 8636 (java) S 8631 8633 8566 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155740081 937709568 58611 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8633/tid=8637] ppid=8631 vsize=915732 CPUtime=0
/proc/8633/task/8637/stat : 8637 (java) S 8631 8633 8566 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155740081 937709568 58611 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8633/tid=8638] ppid=8631 vsize=915732 CPUtime=0
/proc/8633/task/8638/stat : 8638 (java) S 8631 8633 8566 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155740084 937709568 58611 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8633/tid=8639] ppid=8631 vsize=915732 CPUtime=0.28
/proc/8633/task/8639/stat : 8639 (java) S 8631 8633 8566 0 -1 64 473 0 0 0 27 1 0 0 15 0 8 0 155740084 937709568 58611 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8633/tid=8640] ppid=8631 vsize=915732 CPUtime=0
/proc/8633/task/8640/stat : 8640 (java) S 8631 8633 8566 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155740084 937709568 58611 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8633/tid=8641] ppid=8631 vsize=915732 CPUtime=0
/proc/8633/task/8641/stat : 8641 (java) S 8631 8633 8566 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155740084 937709568 58611 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 915732

[startup+25.6193 s]
/proc/loadavg: 1.51 1.70 1.83 3/100 8641
/proc/meminfo: memFree=891120/2055924 swapFree=4165672/4192956
[pid=8633] ppid=8631 vsize=915876 CPUtime=25.35
/proc/8633/stat : 8633 (java) R 8631 8633 8566 0 -1 0 87581 0 1 0 2494 41 0 0 25 0 8 0 155740076 937857024 87246 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073837139 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8633/statm: 228969 87246 2533 14 0 215439 0
[pid=8633/tid=8635] ppid=8631 vsize=915876 CPUtime=1.8
/proc/8633/task/8635/stat : 8635 (java) S 8631 8633 8566 0 -1 64 70366 0 0 0 152 28 0 0 16 0 8 0 155740080 937857024 87246 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8633/tid=8636] ppid=8631 vsize=915876 CPUtime=0
/proc/8633/task/8636/stat : 8636 (java) S 8631 8633 8566 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155740081 937857024 87246 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8633/tid=8637] ppid=8631 vsize=915876 CPUtime=0
/proc/8633/task/8637/stat : 8637 (java) S 8631 8633 8566 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155740081 937857024 87246 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8633/tid=8638] ppid=8631 vsize=915876 CPUtime=0
/proc/8633/task/8638/stat : 8638 (java) S 8631 8633 8566 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155740084 937857024 87246 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8633/tid=8639] ppid=8631 vsize=915876 CPUtime=0.37
/proc/8633/task/8639/stat : 8639 (java) S 8631 8633 8566 0 -1 64 562 0 0 0 36 1 0 0 16 0 8 0 155740084 937857024 87246 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8633/tid=8640] ppid=8631 vsize=915876 CPUtime=0
/proc/8633/task/8640/stat : 8640 (java) S 8631 8633 8566 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155740084 937857024 87246 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8633/tid=8641] ppid=8631 vsize=915876 CPUtime=0
/proc/8633/task/8641/stat : 8641 (java) S 8631 8633 8566 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155740084 937857024 87246 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 915876

[startup+51.2433 s]
/proc/loadavg: 1.67 1.72 1.83 3/100 8641
/proc/meminfo: memFree=891248/2055924 swapFree=4165672/4192956
[pid=8633] ppid=8631 vsize=915876 CPUtime=50.74
/proc/8633/stat : 8633 (java) R 8631 8633 8566 0 -1 0 87586 0 1 0 5033 41 0 0 25 0 8 0 155740076 937857024 87247 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074214775 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8633/statm: 228969 87247 2533 14 0 215439 0
[pid=8633/tid=8635] ppid=8631 vsize=915876 CPUtime=1.8
/proc/8633/task/8635/stat : 8635 (java) S 8631 8633 8566 0 -1 64 70366 0 0 0 152 28 0 0 16 0 8 0 155740080 937857024 87247 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8633/tid=8636] ppid=8631 vsize=915876 CPUtime=0
/proc/8633/task/8636/stat : 8636 (java) S 8631 8633 8566 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155740081 937857024 87247 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8633/tid=8637] ppid=8631 vsize=915876 CPUtime=0
/proc/8633/task/8637/stat : 8637 (java) S 8631 8633 8566 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155740081 937857024 87247 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8633/tid=8638] ppid=8631 vsize=915876 CPUtime=0
/proc/8633/task/8638/stat : 8638 (java) S 8631 8633 8566 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155740084 937857024 87247 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8633/tid=8639] ppid=8631 vsize=915876 CPUtime=0.37
/proc/8633/task/8639/stat : 8639 (java) S 8631 8633 8566 0 -1 64 565 0 0 0 36 1 0 0 16 0 8 0 155740084 937857024 87247 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8633/tid=8640] ppid=8631 vsize=915876 CPUtime=0
/proc/8633/task/8640/stat : 8640 (java) S 8631 8633 8566 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155740084 937857024 87247 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8633/tid=8641] ppid=8631 vsize=915876 CPUtime=0
/proc/8633/task/8641/stat : 8641 (java) S 8631 8633 8566 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155740084 937857024 87247 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.74
Current children cumulated vsize (KiB) 915876

Child status: 0
Real time (s): 56.8471
CPU time (s): 56.2494
CPU user time (s): 55.7715
CPU system time (s): 0.477927
CPU usage (%): 98.9488
Max. virtual memory (cumulated for all children) (KiB): 915984

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 55.7715
system time used= 0.477927
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 87633
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= 3008
involuntary context switches= 4127

runsolver used 0.082987 s user time and 0.182972 s system time

The end

Launcher Data (download as text)

Begin job on node6 on Sat Jan  6 08:50:46 UTC 2007


IDJOB= 205700
IDBENCH= 4164
FILE ID= node6/205700-1168073444

PBS_JOBID= 3475771

Free space on /tmp= 66521 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  ffdafe8b3301c2726a31d80f032e4139

RANDOM SEED= 607188116

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:      2055924 kB
MemFree:       1231112 kB
Buffers:         82712 kB
Cached:         574940 kB
SwapCached:       3036 kB
Active:         391528 kB
Inactive:       336584 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055924 kB
LowFree:       1231112 kB
SwapTotal:     4192956 kB
SwapFree:      4165672 kB
Dirty:            9420 kB
Writeback:           0 kB
Mapped:          89604 kB
Slab:            81312 kB
Committed_AS:  5015012 kB
PageTables:       2480 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= 66521 MiB



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