Trace number 205645

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 76.7213 76.9081

DiagnosticValue
CHECKS96998409
NODES3223

General information on the benchmark

Namefapp/fapp36-40/fapp40/
fapp40-3000-10.xml
MD5SUM5e6866fa03c606526e6f95a98ab50ddf
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 benchmark63.0164
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.35	   
0.35	   instance
0.35	     name=/tmp/evaluation/205645-1168073438/unknown.xml
0.38	   
0.38	   domains being loaded...
0.41	   
0.41	   variables being loaded...
0.94	     nbVariables=3000  nbDomainTypes=14  minDomainSize=50  maxDomainSize=698
0.94	       =>  wckTime=0.628  cpuTime=0.45  mem=58M777
0.95	   
0.95	   predicates being loaded...
0.95	   
0.95	   constraints being loaded...
4.95	   
4.95	   INFO : Stopping converting binary constraints (cpu=4.19, mem = 106M963)
11.64	     nbConstraints=28313  nbMergedConstraints=25235  nbConvertedConstraints=8  nbConvertConstraintsChecks=3527320
11.64	     nbExtensionStructures=8  nbSharedExtensionStructures=0  nbConflictsStructures=8  nbSharedConflictsStructures=0
11.64	     nbSharedBinaryRepresentations=6197  nbEvaluationManagers=18972  nbSharedEvaluationManagers=9333  maxDegree=53
11.64	     maxArity=2
11.64	       =>  wckTime=11.318  cpuTime=10.01  mem=113M916
12.00	   
12.00	   solver IterativeSystematicSolver being built... 
13.22	       =>  wckTime=12.908  cpuTime=10.69  mem=298M183
68.75	   
68.75	   preprocessing
68.75	     nbConstraintChecks=93682012  nbValidityChecks=8309281  nbPropagations=8547  nbRevisions=193643
68.75	     nbUselessRevisions=168460  nbRemovedValues=1794072  detectedInconsistency=no
68.75	       =>  wckTime=55.478  cpuTime=55.35  mem=298M183
70.69	   
70.69	   search
70.69	     run=0  nbConstraintChecks=1367200  nbValidityChecks=2255824  nbPropagations=14885  nbRevisions=304273
70.69	     nbUselessRevisions=271684  nbAssignments=220  nbFailedAssignments=4  nbBacktracks=11  nbVisitedNodes=230
70.69	     nbRestartNogoods=0  mapSize=0  nbInferences=0  nbTooLargeKeys=216
70.69	       =>  wckTime=57.423  cpuTime=57.27  mem=299M128
76.83	   
76.83	   search
76.83	     run=1  nbConstraintChecks=3316397  nbValidityChecks=7210218  nbPropagations=49899  nbRevisions=900688
76.83	     nbUselessRevisions=815162  nbAssignments=3223  nbFailedAssignments=7  nbBacktracks=11  nbVisitedNodes=3236
76.83	     nbRestartNogoods=1  mapSize=0  nbInferences=0  nbTooLargeKeys=2575
76.83	       =>  wckTime=63.558  cpuTime=63.34  mem=313M134
76.83	   
76.83	   global
76.83	     nbConstraintChecks=96998409  nbValidityChecks=15519499  nbPropagations=58446  nbRevisions=1094331
76.83	     nbUselessRevisions=983622  nbRestartNogoods=1  solvingWckTime=63.56  solvingCpuTime=63.34  expiredTime=no
76.83	     totalExploration=no  nbFoundSolutions=1  globalCpuTime=74.12
76.83	       =>  wckTime=76.513  cpuTime=74.07  mem=313M134
76.83	   
76.83	s SATISFIABLE
76.83	v 3442 3174 3218 -3574 4022 -4158 4014 -3150 -3546 -3734 -3674 -3310 -3262 3998 -4542 -3578 -3282 -4182 -3546 -3886 -3618 3666 -3478 3354 -4502 -3362 3734 4130 -3810 -3542 3706 -4250 -3634 -3862 -3514 4130 3306 -3998 3962 3814 4038 -4122 -3910 -4306 4214 4314 -3190 -4206 3958 3490 -4442 -3506 -4426 4494 -4106 -3254 4194 -4502 -4266 -4042 -3646 -3382 4430 -3886 4110 3950 -4162 4490 -4542 3762 -4390 -3646 -3246 3722 -4302 -4418 -4542 3502 4242 4434 4330 -4182 -4026 -4142 -3494 -3254 -4502 3562 -4406 3290 4310 -4210 -3966 -3366 -4338 -3162 4110 4210 -4082 -4302 -3966 -4502 -3242 -3190 -4482 -3962 -3722 -3150 -3854 -3190 -3406 3762 3422 3526 -3998 4266 -3654 -3962 3202 -3238 -4030 -3842 -3702 -4502 -3834 -3474 -4186 -4270 -4254 -4450 3726 -3458 -4258 -3402 -4106 -4538 -3910 3574 4194 -3590 -3350 -4238 -3158 3634 -3190 3802 3654 -4422 -3246 3310 -3934 -3702 4034 4294 -3630 -3910 -4034 3402 -3302 -4438 -3446 -4286 4366 3246 -3550 -4006 -3658 -4186 4090 -4466 -3150 -3590 -4242 4254 -3538 -4502 -3618 -4146 -4246 -3590 -3334 4062 3658 3546 3742 -3258 -3190 3914 3802 -4542 3586 -3478 -3358 -3550 3310 -4142 -3566 -3402 3898 3990 4466 3934 4186 -4074 -3230 -4094 3190 -3350 4490 -4346 3510 3394 -4522 -4190 -4426 -3590 -3246 -3194 -3302 -3154 -3210 4110 -3526 -4114 -3714 -4230 -3914 4446 -3858 3190 -3554 -4450 4170 -3618 -3998 3498 -4446 -3578 4486 -3198 4374 -3250 4138 -3310 -3190 -4542 -4354 -3954 3810 -3250 3686 -3242 3786 3766 -3810 -3922 -3334 -4198 -3270 3742 -3578 -4298 -4014 -4146 -3394 -3218 3442 -3150 -3586 -3610 -4422 3586 3934 -3358 4170 3438 -3522 -4542 3810 3634 -3150 4482 -3614 -4506 3634 -3570 -3214 -4450 -4130 -3838 -3734 -4322 -4350 3546 -3150 -4318 -3198 -3298 3682 -3190 4014 -4462 4006 3282 -3710 -3666 -3774 -3630 -3606 -3466 3838 -3810 -4446 -4346 -3658 -4502 -3238 3714 -4486 -3558 -3442 -4174 4106 4410 4290 4394 3658 -3198 -3174 -3150 -3294 4226 -3426 -3782 -3422 3750 -4234 4494 -4422 -4342 -3226 -3302 -4522 -3606 -3954 -3714 -4186 -3646 -3982 -3522 3582 3318 -4174 -3590 -3602 -3214 -3966 -3342 3410 -3366 3358 4154 -4318 -3382 -3330 -3638 -3338 4154 -4146 -3254 -3874 -3762 -3358 -4326 -3794 4502 -3662 -4110 -4334 -4542 -4234 -3482 -3478 4522 -3194 -3766 4430 3638 -3182 -3330 -4086 -3582 -3694 -3574 -3202 -3622 4122 3150 3838 -4226 3422 -4150 -4518 -3594 4318 -4462 -4410 -3450 -4402 -4250 -4146 3374 -3330 -3310 -4186 -4306 3270 -3578 -3302 -3514 -3814 3614 -4078 -3822 -4130 -3718 -4054 -4254 -4262 -3366 3274 3526 -3590 -4502 -4354 -3562 3250 -3242 -3438 -3470 -3386 3322 -3894 -4294 -3602 4370 -3262 -4494 3498 3630 3586 4454 -3202 -3250 -4146 -3334 -3370 3506 3414 -3510 -3466 -4250 -3278 3406 -3698 -3294 -3910 3438 -3446 -4306 -4262 -4466 -4210 -4054 -3222 -3942 -3590 -3382 3666 3614 -4294 4274 3566 3198 -4346 -3190 4342 -3166 -3166 -4470 3478 -3350 -3958 4198 3306 -4502 -3158 -3282 -4154 4210 4002 -4502 4382 -3658 -4374 4130 -3294 3666 3766 -4186 -3190 -3158 -4282 -4206 4506 -4502 4202 3310 -3594 -3362 -4502 3646 -4438 -4502 3618 -3958 3378 -4014 -3338 -3878 4514 -4438 -4206 -3638 4074 -4050 -3302 -3450 3990 -3214 3214 3606 -3430 -3714 -3150 -4106 3318 -4502 -3398 4126 -3762 -4526 -4370 -3754 -3970 -3770 3558 -4130 3986 -3942 -4466 3170 -4082 -3698 3314 3966 3586 -4470 4358 3310 3690 3802 4342 -3214 -4350 -3906 -3638 4174 -4034 -3630 -3606 3422 -4142 3830 -3582 3586 -4502 -3574 -4502 -3814 -3574 -3666 -4362 3202 -4242 3550 4026 -4422 -4522 -4518 3398 -4146 3962 -3506 -3638 -4542 -4014 -3722 -4142 -4190 -3482 -4266 -3218 3222 -4074 -4182 3678 -3578 3190 -3842 -4382 -4282 -4206 3950 3782 -4430 -4378 -3206 3462 3358 3710 3566 -3830 -3590 3814 3550 -3446 -4042 -4030 -3974 -3678 4122 4134 -4394 -4010 -3634 -3974 -4522 -3982 3262 3282 3698 -3978 -4070 -4074 3690 -3274 3210 -3822 -3642 -4486 -3174 -3674 -3170 3210 -3334 3482 -3242 4018 -3578 -3642 -3206 -3406 -3630 -3626 -3194 4090 4266 -3626 -4502 3930 3998 -4210 -3150 -3594 4330 -4338 -4146 -4502 -3470 3858 3818 -3222 3214 3678 -4026 -3626 3814 -3206 -3738 3506 -4210 4410 -3434 -4318 4402 4134 3190 -3502 -4502 3202 4382 4250 3662 3770 -4022 -3754 3378 4542 3190 3298 -3778 3522 4538 3218 -3278 3262 3770 -4394 3366 3750 -3678 4226 -4162 4238 4018 4542 3438 -3842 4214 -4150 4250 -3426 3726 -4018 3410 -4462 4426 4398 -3414 -3862 -4542 4306 -4250 -3946 3850 4302 -4250 4182 -4450 4230 -3902 3542 -3190 -3454 -3642 4434 3850 3614 3318 -3270 -3414 -4014 -4226 3290 3382 -3566 -4226 -4230 -4462 4338 -3730 -4454 -3734 -4046 3918 -4502 -4110 -3262 -4402 -4502 3190 -3246 4482 -3378 -3718 -3666 4286 -3398 -3786 3198 -4398 -3886 -4450 4478 3554 3766 -3310 -3294 3210 -4542 -4502 -3982 3326 -3318 -3974 -4406 3654 -3874 4466 -4002 3774 4122 -3198 -3814 -4246 3702 3666 -3710 -3610 -3798 -3862 3514 3618 -3502 -4354 -3966 3586 3374 3378 3822 4158 -4058 -4070 -3410 -4386 -3370 -3202 4418 -3894 -3762 4186 4534 3934 4070 3914 3882 -3830 4106 3586 4306 -4086 -4346 -3318 -3370 -3182 -4426 -3906 3630 -3246 -4262 -4086 -3762 -4426 3394 -3154 4542 -3446 -4502 -4098 -3338 3850 -4338 -3810 3894 -3242 3466 3218 -3214 -4462 3862 -3382 -4178 3150 -3574 3950 -3430 -3902 3914 -4542 -3694 4258 -3766 -4222 -3730 -4502 3558 -3430 3814 -3590 -4178 -3606 -4374 4470 3482 -4542 -4154 -3398 -4322 3698 -3850 3182 3838 3418 -4542 -4502 -4502 -4442 -4518 -3306 -3810 3222 -4542 -3510 3802 -4450 3730 4358 -4114 4058 -3858 -4186 3714 -4126 3734 3850 -3846 -3322 3270 -4318 -3702 -3230 -4542 4114 -4006 3814 -3582 3674 3930 -3794 -4318 -3246 -3654 -3678 -3574 -3330 -4330 -4282 -4542 -3854 -3818 3422 -3666 -3914 -4186 -4126 3738 4354 3634 -4358 -4030 -3974 -4106 -3414 -3374 3830 -3150 -3302 4238 -3290 -3590 -3482 4482 4478 -3190 -4322 3954 4278 4502 -4050 -3274 -4502 -4502 -3682 -3550 -3486 -3546 -4542 -4186 -3562 -3742 -3590 3210 -4150 3338 3702 -3686 -4446 -3722 -3754 3598 3510 -3526 3482 3510 3842 -3606 -4542 4354 -3810 -4098 -4150 -4514 4314 -3834 -3350 -3446 4014 3502 -3370 3934 -3862 -3818 -4014 3190 -3658 -4518 -4334 3622 -3418 3802 3290 -3334 3190 4150 -3862 3674 3326 4062 -3674 -3834 -4462 4494 -3958 3702 -3434 -3426 4366 -4182 -4110 -4206 3770 3170 -3614 -3498 -4466 -3994 -3878 -3806 3422 3586 -3894 -3706 -3546 3650 -4282 4502 -4030 -4050 3990 4282 -3350 -3378 3690 -3190 3210 3982 3214 4214 -4106 -3598 -4374 3834 -4430 4046 -4186 -3206 -3538 -3574 -3458 3614 -4374 3738 3150 -3282 -4054 3334 -4410 4198 -3650 4258 3690 -4382 -3998 3594 -3502 4170 -3522 -4326 3302 -3170 4122 -3406 3794 -3938 -3974 3322 4198 -3274 -4478 -3858 -3606 -4014 -3230 -4130 -3746 4202 3854 3226 -3394 -3894 3366 -3538 -3294 4402 3898 -4006 -3286 3266 3262 3870 3918 -3614 -4110 -4510 -4542 -4322 -3622 -4358 -3294 -3194 3822 -3802 3442 4018 -4078 4474 -4282 3910 3898 -4050 -3186 -4542 -4198 -3322 -4002 3642 -3630 -3662 -3670 -3974 -3378 -3998 -4102 -3298 -4446 -3286 -4318 3150 -3610 -4426 4102 -4334 -3190 -4326 -4502 -3850 -4482 -4318 4426 3286 -3998 -3538 3606 4198 3962 3438 -3254 -3286 4502 3658 4490 -3762 -3150 -3282 -4246 -3150 -3558 -4022 4262 3150 -3362 -4502 4090 -4502 -3958 -3282 4350 -3754 3370 -4238 -4134 3526 -4382 -3918 3578 -3850 3930 -3462 -3222 -4450 -3338 -3786 -3826 4482 -4258 3870 3750 -3190 3618 -4502 -3542 -3238 -3594 -3602 -3630 -3166 -4034 -3454 -4014 -3714 4422 3214 -4034 -3566 -4254 4170 -4014 -4282 -3534 -3338 -4038 -3514 -4278 3634 -3330 -3218 -4498 -4234 3274 3222 3802 -3202 4062 -3150 -3622 3954 -4534 -3618 -3370 -3678 -3302 -4526 4246 -3818 -3370 -3878 3722 3258 3822 -3706 -4542 -3666 -4374 -3522 -4110 -4214 -3478 -4270 -4414 4006 -3762 -3450 3462 4138 -4146 -3798 -3642 -3850 -3310 -3174 -3638 4394 -3902 3614 -3762 4282 -3874 3194 3282 3474 -4490 4330 -3262 4494 4282 -3262 -3554 3962 -4322 -3858 -4330 -4498 3746 -4354 -3322 4134 -3974 -3242 -3518 -4278 3870 -3362 -4270 -3718 -3206 4514 -3566 3250 -3310 -3458 -3982 -3458 3650 -4414 -3154 -3182 -4066 -3758 3578 -3274 3822 -4402 -3314 -4050 -3150 -3994 -3786 4034 -4222 -4074 -3702 -3262 3638 -3678 -3522 -3754 -3442 -3778 -4186 -4502 4286 -4014 -4430 3350 -3870 -3190 -3974 3782 4034 -3410 4250 -4150 -3210 -3750 -4458 -3974 4446 4502 4262 3150 -3702 4354 3158 -3846 -4162 3762 3890 4046 -3626 -4370 -4042 -4270 3178 3226 -4318 -4522 -3202 -4134 4014 4482 4430 3598 3722 -3794 -4394 -3278 -4022 3926 -4294 3866 -3598 -3338 4438 -4006 3190 -3658 -3174 -4526 -4090 4366 4526 -4422 4186 -3954 4278 -4358 -3794 -4030 4542 -4354 -3746 -4214 4074 -4038 -3210 -3866 -3302 -3162 -3690 -4298 -4214 3838 -3150 -3890 4394 -3802 -4502 -4198 -3658 -4438 4246 -4374 -4174 -3294 3802 3954 -3878 -4542 4314 -4170 4214 -3346 -3906 3966 3958 4382 -4042 3450 -3158 -4166 3758 -3810 -3802 -3338 -4322 3190 -3754 -4058 -3222 3222 3150 3270 -3474 3930 3214 -3954 3178 4502 -4162 -3214 -4462 -3246 -4318 4166 -3190 -4066 -4218 -4490 4090 -3906 -4410 -3818 4138 -4542 -4486 -4362 -3590 3658 -4350 3266 -4046 -3546 -4110 -3966 -3806 4130 3694 -3286 -3246 -3206 -3162 3474 3526 3190 -3526 -3262 -3630 -3922 3590 -3554 -4382 -4286 -3434 3262 3970 3938 -4066 4094 -3498 3546 -3278 -3746 -3414 -4406 -3994 -4114 -3726 3394 -3810 4134 3238 3546 -4062 -4166 3454 3770 -3618 -3958 -3630 3190 -3618 3834 -3974 -3842 4094 -3282 -3150 3370 -3190 -3190 3846 3878 -3306 -3586 4158 -3190 -4162 -3658 -3974 -4542 -3286 -4138 -3726 4302 -3586 3726 -3730 3930 -3962 -3734 -4342 -3274 -3594 4066 -4286 -3746 -4266 3894 -3290 -4474 -3250 4130 3834 -4202 3190 -4530 3226 -4310 -4486 -3630 -3406 -3658 4490 -3762 -3622 3330 -4262 3222 3622 -3762 -3242 -4298 3958 4378 3482 -4162 4074 4542 4470 -3974 -4298 -3734 -3974 3150 -3318 -3414 -4530 -3522 -3210 -4134 -3178 4170 4246 4226 4218 3358 -4122 3222 4106 -3390 -4522 -4314 -4542 -4462 4346 3174 3662 -4090 -3778 -4334 4310 4338 3870 3766 3642 -3810 -3662 -4146 4102 -3614 -3838 -3502 -3198 -3214 4478 -3834 3294 3842 4082 -3474 4034 -3674 3718 4278 3622 -3590 3198 -4058 -4142 -3242 -3294 -3198 4310 -3722 -3854 -3514 3974 3566 -4198 -3994 -4542 -4342 -3426 -3590 -4210 -4130 -4066 3374 -3286 3358 -4310 -3978 -3154 -3202 -4114 -3578 -3302 -4450 -4014 4134 -3474 3346 3434 -4138 -3298 -3838 3274 3834 3934 -4498 4506 -4002 4502 -4482 -4478 -3330 3994 4082 -3790 -4014 3714 -3706 -3698 -4522 -4366 -3634 -3522 -4234 -3330 -4402 -3614 -4094 -3938 -3254 3378 -4026 -4422 -3326 -3578 3494 4206 -3482 3586 -3206 -3154 -3874 3762 -3190 -4082 -3550 -4522 -3410 -3630 -3378 -3230 -3614 -4522 3670 -3762 -4118 -4178 3614 4190 -3482 -3150 4034 -3534 3466 -4502 -3174 -3282 -4306 4122 -3654 -3842 -3358 -3590 -4502 3190 -3762 -3774 -3242 3610 -3150 4482 -3194 -3882 -4498 3658 -3170 4406 3266 -3678 -4422 -4194 -3242 4542 -3190 4538 3310 -4522 3630 3858 3326 -4310 -3518 3562 -4542 -3274 -4542 -4518 -3582 -3346 -3830 -3270 -4142 -4322 -4334 -3894 -4130 -4106 -3746 3870 -4310 -3450 -3794 -3674 -3990 -4082 -3790 3378 3774 -3450 -3154 -4498 -3630 4542 4486 -4542 4126 3990 -3502 -4086 -3302 -3338 -3390 -3610 -3954 -4334 4094 -4402 -3918 -3398 -3410 4474 -4034 -3638 -4094 -4178 -3422 -3190 -3154 -3202 -3190 -3430 -3242 -4502 3514 -4254 -3310 3878 -4282 -3358 -4002 -3974 -3214 3554 4102 -3882 3998 3810 -3154 3962 4394 -4094 -3598 -3314 -4158 3518 -4290 4222 4090 -3150 3934 -4410 3918 -4310 -3258 -3406 -3706 3482 -4502 -3922 -3934 3398 -3434 4158 3474 -4466 -4270 -3150 -4110 4246 -3594 4186 -4542 4502 -3322 -3590 -3714 -3314 4390 3750 -3866 -3674 -3630 4134 -3658 -3530 -3562 3734 -3206 -3994 -4462 -4470 -4362 3486 4274 3170 4098 -4078 3190 -3210 3318 -4382 -4014 3586 4534 -3946 -4478 3870 -3418 -3238 -3566 -3254 -4230 -3386 -4010 -4126 -4182 -4438 -3634 3598 -3882 3394 -4542 -4026 3966 3190 -4066 -4082 -3314 3150 4234 -3590 4322 3994 -3162 -3706 -3326 3926 3730 -3542 -3970 -4394 -3910 -3158 4158 3150 -3974 -3406 3190 -3258 -3174 -3202 4266 -4542 3774 -4210 -3734 -4054 -4162 -4502 4490 -3786 -3442 -3670 -4502 -3818 -3906 3834 -3626 -4462 4542 4222 -4474 -4470 -4458 3286 -3374 -3258 -3366 -4282 -4370 3650 3490 -3514 -4106 3278 -3922 -3202 -4254 -3150 4162 -3518 -4010 -4190 -3262 -3554 -4126 -4034 4370 -3390 3358 -3982 -4098 -3338 -3946 3366 -3246 4242 -3346 -3698 3950 -3514 -3818 -4262 -3542 4450 3722 -4054 -3674 -3726 -4394 3306 -3526 3478 -3262 -4086 -4202 -4278 -4202 4502 4006 3718 -4146 -4066 -3198 -3626 -3582 4166 4346 -3982 -3550 -3958 4242 -3590 -4534 -3414 -4182 -3794 -3298 3334 3946 -4502 3522 -3150 -4542 -4230 -3746 3734 4482 -4502 -3810 3194 -4270 -4078 -3878 -4542 -3374 -4530 -4410 -3614 -3754 3878 4198 -3178 -3390 -4286 -3894 3590 3882 3942 -4542 4542 -4502 -4350 -4406 -3694 -3590 4470 -4050 4202 3634 -4494 -3830 -3986 -3162 -3350 4086 -3158 -3786 -3626 -3594 3710 3222 -4086 4206 4002 3602 -3346 -4006 -3250 3362 -3854 -4186 -3806 -4254 -3334 -3558 -3318 3690 4310 -4474 3918 -3262 -3430 4466 -3506 -4542 -3402 -4434 -3554 -3374 -3962 -4542 -3150 -4042 3402 -4254 3934 -3614 -3326 -3578 3850 -4482 -3342 3962 -4322 3366 4454 -3590 4010 4034 -3242 -4242 -3262 -3250 4122 -3794 3482 -3326 -3818 3686 -4054 4402 4070 4222 3478 -3270 4026 -3522 -3454 -3946 4322 -4510 3162 -3174 -3730 -4314 -3330 -4410 -3598 -3486 -3542 3462 -3550 -3262 -4502 -3882 -4246 -3326 -4398 -4070 -4330 -3774 -3642 -4038 -3150 -4146 -3390 -3262 3830 3722 -3850 -3546 -3162 -3594 3382 -3318 -3714 -3706 -4146 -4010 -3222 -3550 3862 3958 -3774 -3710 -3858 4502 -3766 -3854 -3906 4306 -3630 4290 -3318 -4542 -3190 3870 -4322 3466 3850 -4150 -4174 -3162 3150 -4126 -4046 3914 -3150 -4442 -3334 -4174 -4010 -3262 -3422 -3990 -3610 -3998 -4434 -4322 4442 -3594 4138 -4542 3382 3766 3762 3278 -3706 -4514 -3382 4158 -3506 -3626 4386 -3646 -4110 -4454 3434 -4062 -3302 -3502 -3622 3150 -3854 -4474 -3706 4334 -4542 -3618 4118 -3602 -3546 4378 3382 3322 -3894 -3386 -3790 3214 -4014 3574 -4270 3698 4482 -3506 -4458 3718 -3658 -3406 -4498 -3874 3826 3922 -4194 -4006 -3958 -3726 -3302 -3518 3786 -3826 -3890 -3874 3662 3174 4102 -4054 -4054 3290 -3714 -3754 -3898 -3582 3398 4534 -3422 3634 -4094 3550 -4502 3798 4398 -3262 3570 -3546 -4206 -4310 -3970 -3546 -3586 -4046 3366 3194 -3446 -3770 4450 -4078 -3294 -3882 -3466 3210 3254 -3314 -4442 -3350 3582 3218 -3750 3970 -3978 4010 -3698 3222 -3470 -4262 -3726 -3542 -3822 -3802 4254 -3166 -4270 -3590 3938 -4542 3790 -3266 -4542 4502 -3410 -3746 3462 -4178 4034 -4462 -3334 -3206 3386 -3590 -3718 -4294 3758 -4458 -3310 -3158 -3970 -4362 4362 -3686 -4374 -3810 -4234 3802 3870 -4066 -3150 -4226 3834 3930 -3190 -3942 -4506 -4502 -4386 -3698 -3930 3722 3202 -3558 3310 3166 -4166 -4410 -3150 4042 -3378 -4214 4458 -3994 -3638 -3834 -3166 -3398 -4246 -4422 4410 -3570 3842 -4094 -3938 -3574 -3586 -3354 -3346 -3814 3246 4510 -3678 3898 3374 3202 4418 -3730 4150 4102 -3410 4258 3986 -4086 4062 3462 3310 -3370 -4370 -3622 3730 -3978 3722 3182 3850 -4466 -4478 -4194 -4522 -3326 -4422 3254 4350 -3618 3150 3582 3306 -4358 -4126 3206 4342 -4010 3722 -3842 3650 -3646 3950 3994 -4194 3774 -3694 -3198 -3234 -4362 -4298 4486 3986 -3506 -4542 3150 3294 -4542 3282 -3874 -3794 -3622 4130 -4106 -4334 -4026 3598 -4090 -3798 -4050 -3322 -3626 -4306 -3370 -3358 -3834 3402 -4014 -3450 -3218 -3314 -3194 -4082 -4270 3970 4282 3838 4278 4454 -4306 3198 -4434 -3886 -3974 4354 -4290 -3598 -3270 -3946 3986 -4390 -3662 -3986 3262 -3342 3586 3626 -3502 -4230 4162 -4514 3266 -4290 -3390 3886 -4222 -4014 -3218 -4014 3722 -4498 3682 -4322 -3154 -4302 -4302 4458 4482 -3974 -4542 -3746 -4542 -3370 -3614 4170 -3594 -4270 -3514 -4022 -4170 3338 -3958 -3478 -3174 3234 -3698 -4014 -3430 3774 4026 3842 -4502 3550 -3150 -3202 -3842 -3922 3970 -4502 -3150 -3726 3754 -3330 4210 -4378 -3346 -3698 -3730 -3158 4182 -3762 -4338 4462 3994 -3426 3858 -4202 3630 3750 3442 3974 -3962 -3806 -3634 3870 3174 3914 -4518 -3998 -4494 3778 -4410 -4426 -4418 -4442 3466 -4218 3306 3946 -4378 -3438 -4346 3926 -4370 -4398 4090 4070 3514 -4482 3774 -3454 -4542 -3966 -3442 3602 3426 -3706 3830 -3470 3298 -4070 -4462 3610 -4102 -3270 3434 -3554 -3174 3222 3434 3330 -3178 3282 -4214 -4190 3694 -4542 -3850 4286 3250 -3350 3190 -3530 -3550 -3978 -3642 -3214 4138 -3538 -3190 4234 -3358 -3438 -3762 4302 -3470 -3210 4038 -3682 -3214 -3210 -4530 -4522 3258 -3582 3430 -3994 -4142 -4018 3282 -4134 -3754 -3938 -3358 -3706 -4214 -4462 -4542 3714 3834 -4274 -4530 -3574 -3670 -3602 -3330 3182 -4022 -4246 -3634 -3582 -4170 4478 -4334 4170 -3206 -4318 3738 4062 -4114 -4394 -4422 3190 -4466 -4542 -3826 -3710 -4422 -4502 -4346 4066 4422 -3370 -3190 3366 3686 4050 3318 -4226 3986 -4250 3994 3218 -4386 -4502 3490 3250 4306 4066 4422 4478 3514 3374 4386 -3598 -4542 -3258 3318 -3246 -4446 3974 -4274 -4370 -3762 -3298 -3722 -4138 -4146 -4458 -3554 -3618 -4518 -3798 4258 4490 3922 -3910 3794 -3414 3374 4342 -4070 4486 4482 -3618 3498 -3254 -4478 -3786 -3246 -3474 -4422 3850 -4154 -3314 -4218 -3402 -3558 4418 -3826 4186 -3542 -3474 -3422 -3594 4014 4358 -3926 -3178 -3206 -4194 -4070 -4014 3574 -4406 -3150 -3790 4326 -3258 -3206 3314 3918 -3434 3518 -4442 3874 3414 -4094 -3790 -4378 -4290 -4422 3466 -3686 -4414 4342 -3838 -3994 -3618 4038 -3190 -3242 -4374 3194 -4326 4030 -3878 4302 -4522 4382 3970 -3586 -4390 -4174 3566 -3810 3714 -3194 -3382 -3714 -3514 -3698 -3714 4334 -3154 
76.83	d NODES 3223
76.83	d CHECKS 96998409
76.83	   
76.83	   totalWckTime=76.596  totalCpuTime=74.13

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/node50/watcher-205645-1168073438 -o ROOT/results/node50/solver-205645-1168073438 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/205645-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.41 0.78 0.92 4/73 1100
/proc/meminfo: memFree=1491896/2055920 swapFree=4192812/4192956
[pid=1099] ppid=1094 vsize=1784 CPUtime=0
/proc/1099/stat : 1099 (java) R 1094 1099 990 0 -1 0 194 0 0 0 0 0 0 0 18 0 1 0 155742784 1826816 160 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/1099/statm: 446 160 125 14 0 91 0

[startup+0.10388 s]
/proc/loadavg: 0.41 0.78 0.92 4/73 1100
/proc/meminfo: memFree=1491896/2055920 swapFree=4192812/4192956
[pid=1099] ppid=1094 vsize=914988 CPUtime=0.07
/proc/1099/stat : 1099 (java) R 1094 1099 990 0 -1 0 2964 0 1 0 6 1 0 0 22 0 8 0 155742784 936947712 2710 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1099/statm: 228747 2711 1417 14 0 215242 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 914988

[startup+0.51195 s]
/proc/loadavg: 0.41 0.78 0.92 4/73 1100
/proc/meminfo: memFree=1491896/2055920 swapFree=4192812/4192956
[pid=1099] ppid=1094 vsize=915328 CPUtime=0.48
/proc/1099/stat : 1099 (java) R 1094 1099 990 0 -1 0 7843 0 1 0 43 5 0 0 18 0 8 0 155742784 937295872 7582 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1099/statm: 228832 7584 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328

[startup+1.33509 s]
/proc/loadavg: 0.41 0.78 0.92 4/87 1115
/proc/meminfo: memFree=1301448/2055920 swapFree=4192812/4192956
[pid=1099] ppid=1094 vsize=915596 CPUtime=1.31
/proc/1099/stat : 1099 (java) R 1094 1099 990 0 -1 0 31684 0 1 0 114 17 0 0 24 0 8 0 155742784 937570304 31421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073757602 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1099/statm: 228899 31421 2160 14 0 215369 0
[pid=1099/tid=1105] ppid=1094 vsize=915596 CPUtime=0.15
/proc/1099/task/1105/stat : 1105 (java) S 1094 1099 990 0 -1 64 15141 0 0 0 8 7 0 0 16 0 8 0 155742787 937570304 31421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1099/tid=1106] ppid=1094 vsize=915596 CPUtime=0
/proc/1099/task/1106/stat : 1106 (java) S 1094 1099 990 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155742788 937570304 31421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1099/tid=1107] ppid=1094 vsize=915596 CPUtime=0
/proc/1099/task/1107/stat : 1107 (java) S 1094 1099 990 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155742788 937570304 31421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1099/tid=1112] ppid=1094 vsize=915596 CPUtime=0
/proc/1099/task/1112/stat : 1112 (java) S 1094 1099 990 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155742791 937570304 31421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1099/tid=1113] ppid=1094 vsize=915596 CPUtime=0.16
/proc/1099/task/1113/stat : 1113 (java) S 1094 1099 990 0 -1 64 409 0 0 0 16 0 0 0 15 0 8 0 155742791 937570304 31421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1099/tid=1114] ppid=1094 vsize=915596 CPUtime=0
/proc/1099/task/1114/stat : 1114 (java) S 1094 1099 990 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155742791 937570304 31421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1099/tid=1115] ppid=1094 vsize=915596 CPUtime=0
/proc/1099/task/1115/stat : 1115 (java) S 1094 1099 990 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155742791 937570304 31421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915596

[startup+2.98036 s]
/proc/loadavg: 0.62 0.82 0.93 3/87 1115
/proc/meminfo: memFree=1240712/2055920 swapFree=4192812/4192956
[pid=1099] ppid=1094 vsize=915596 CPUtime=2.95
/proc/1099/stat : 1099 (java) R 1094 1099 990 0 -1 0 34789 0 1 0 276 19 0 0 25 0 8 0 155742784 937570304 34521 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073537910 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1099/statm: 228899 34521 2160 14 0 215369 0
[pid=1099/tid=1105] ppid=1094 vsize=915596 CPUtime=0.33
/proc/1099/task/1105/stat : 1105 (java) S 1094 1099 990 0 -1 64 18238 0 0 0 25 8 0 0 16 0 8 0 155742787 937570304 34521 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1099/tid=1106] ppid=1094 vsize=915596 CPUtime=0
/proc/1099/task/1106/stat : 1106 (java) S 1094 1099 990 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155742788 937570304 34521 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1099/tid=1107] ppid=1094 vsize=915596 CPUtime=0
/proc/1099/task/1107/stat : 1107 (java) S 1094 1099 990 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155742788 937570304 34521 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1099/tid=1112] ppid=1094 vsize=915596 CPUtime=0
/proc/1099/task/1112/stat : 1112 (java) S 1094 1099 990 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155742791 937570304 34521 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1099/tid=1113] ppid=1094 vsize=915596 CPUtime=0.17
/proc/1099/task/1113/stat : 1113 (java) S 1094 1099 990 0 -1 64 412 0 0 0 17 0 0 0 16 0 8 0 155742791 937570304 34521 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1099/tid=1114] ppid=1094 vsize=915596 CPUtime=0
/proc/1099/task/1114/stat : 1114 (java) S 1094 1099 990 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155742791 937570304 34521 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1099/tid=1115] ppid=1094 vsize=915596 CPUtime=0
/proc/1099/task/1115/stat : 1115 (java) S 1094 1099 990 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155742791 937570304 34521 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915596

[startup+6.26592 s]
/proc/loadavg: 0.62 0.82 0.93 4/87 1115
/proc/meminfo: memFree=1226952/2055920 swapFree=4192812/4192956
[pid=1099] ppid=1094 vsize=915732 CPUtime=6.23
/proc/1099/stat : 1099 (java) R 1094 1099 990 0 -1 0 37065 0 1 0 603 20 0 0 25 0 8 0 155742784 937709568 36793 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1099/statm: 228933 36795 2182 14 0 215403 0
[pid=1099/tid=1105] ppid=1094 vsize=915732 CPUtime=0.48
/proc/1099/task/1105/stat : 1105 (java) R 1094 1099 990 0 -1 64 20415 0 0 0 39 9 0 0 16 0 8 0 155742787 937709568 36796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153968433 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1099/tid=1106] ppid=1094 vsize=915732 CPUtime=0
/proc/1099/task/1106/stat : 1106 (java) S 1094 1099 990 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155742788 937709568 36798 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1099/tid=1107] ppid=1094 vsize=915732 CPUtime=0
/proc/1099/task/1107/stat : 1107 (java) S 1094 1099 990 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155742788 937709568 36799 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1099/tid=1112] ppid=1094 vsize=915732 CPUtime=0
/proc/1099/task/1112/stat : 1112 (java) S 1094 1099 990 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155742791 937709568 36800 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1099/tid=1113] ppid=1094 vsize=915732 CPUtime=0.22
/proc/1099/task/1113/stat : 1113 (java) S 1094 1099 990 0 -1 64 449 0 0 0 22 0 0 0 15 0 8 0 155742791 937709568 36802 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1099/tid=1114] ppid=1094 vsize=915732 CPUtime=0
/proc/1099/task/1114/stat : 1114 (java) S 1094 1099 990 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155742791 937709568 36804 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1099/tid=1115] ppid=1094 vsize=915732 CPUtime=0
/proc/1099/task/1115/stat : 1115 (java) S 1094 1099 990 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155742791 937709568 36807 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 915732

[startup+12.761 s]
/proc/loadavg: 0.99 0.89 0.95 5/87 1115
/proc/meminfo: memFree=972752/2055920 swapFree=4192812/4192956
[pid=1099] ppid=1094 vsize=915732 CPUtime=12.72
/proc/1099/stat : 1099 (java) R 1094 1099 990 0 -1 0 73931 0 1 0 1235 37 0 0 25 0 8 0 155742784 937709568 73601 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153380222 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1099/statm: 228933 73601 2498 14 0 215403 0
[pid=1099/tid=1105] ppid=1094 vsize=915732 CPUtime=1.76
/proc/1099/task/1105/stat : 1105 (java) S 1094 1099 990 0 -1 64 56886 0 0 0 150 26 0 0 16 0 8 0 155742787 937709568 73601 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1099/tid=1106] ppid=1094 vsize=915732 CPUtime=0
/proc/1099/task/1106/stat : 1106 (java) S 1094 1099 990 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155742788 937709568 73601 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1099/tid=1107] ppid=1094 vsize=915732 CPUtime=0
/proc/1099/task/1107/stat : 1107 (java) S 1094 1099 990 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155742788 937709568 73601 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1099/tid=1112] ppid=1094 vsize=915732 CPUtime=0
/proc/1099/task/1112/stat : 1112 (java) S 1094 1099 990 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155742791 937709568 73601 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1099/tid=1113] ppid=1094 vsize=915732 CPUtime=0.26
/proc/1099/task/1113/stat : 1113 (java) S 1094 1099 990 0 -1 64 473 0 0 0 26 0 0 0 15 0 8 0 155742791 937709568 73601 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1099/tid=1114] ppid=1094 vsize=915732 CPUtime=0
/proc/1099/task/1114/stat : 1114 (java) S 1094 1099 990 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155742791 937709568 73601 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1099/tid=1115] ppid=1094 vsize=915732 CPUtime=0
/proc/1099/task/1115/stat : 1115 (java) S 1094 1099 990 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155742791 937709568 73601 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 915732

[startup+25.6062 s]
/proc/loadavg: 1.15 0.93 0.96 3/87 1115
/proc/meminfo: memFree=812944/2055920 swapFree=4192812/4192956
[pid=1099] ppid=1094 vsize=915876 CPUtime=25.56
/proc/1099/stat : 1099 (java) R 1094 1099 990 0 -1 0 87553 0 1 0 2511 45 0 0 25 0 8 0 155742784 937857024 87216 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074194781 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1099/statm: 228969 87216 2533 14 0 215439 0
[pid=1099/tid=1105] ppid=1094 vsize=915876 CPUtime=1.91
/proc/1099/task/1105/stat : 1105 (java) S 1094 1099 990 0 -1 64 70335 0 0 0 158 33 0 0 16 0 8 0 155742787 937857024 87216 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1099/tid=1106] ppid=1094 vsize=915876 CPUtime=0
/proc/1099/task/1106/stat : 1106 (java) S 1094 1099 990 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155742788 937857024 87216 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1099/tid=1107] ppid=1094 vsize=915876 CPUtime=0
/proc/1099/task/1107/stat : 1107 (java) S 1094 1099 990 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155742788 937857024 87216 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1099/tid=1112] ppid=1094 vsize=915876 CPUtime=0
/proc/1099/task/1112/stat : 1112 (java) S 1094 1099 990 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155742791 937857024 87216 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1099/tid=1113] ppid=1094 vsize=915876 CPUtime=0.36
/proc/1099/task/1113/stat : 1113 (java) S 1094 1099 990 0 -1 64 563 0 0 0 35 1 0 0 16 0 8 0 155742791 937857024 87216 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1099/tid=1114] ppid=1094 vsize=915876 CPUtime=0
/proc/1099/task/1114/stat : 1114 (java) S 1094 1099 990 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155742791 937857024 87216 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1099/tid=1115] ppid=1094 vsize=915876 CPUtime=0
/proc/1099/task/1115/stat : 1115 (java) S 1094 1099 990 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155742791 937857024 87216 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.56
Current children cumulated vsize (KiB) 915876

[startup+51.2139 s]
/proc/loadavg: 1.44 1.01 0.99 3/87 1115
/proc/meminfo: memFree=813008/2055920 swapFree=4192812/4192956
[pid=1099] ppid=1094 vsize=915876 CPUtime=51.16
/proc/1099/stat : 1099 (java) R 1094 1099 990 0 -1 0 87557 0 1 0 5071 45 0 0 25 0 8 0 155742784 937857024 87217 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074211314 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1099/statm: 228969 87217 2533 14 0 215439 0
[pid=1099/tid=1105] ppid=1094 vsize=915876 CPUtime=1.91
/proc/1099/task/1105/stat : 1105 (java) S 1094 1099 990 0 -1 64 70335 0 0 0 158 33 0 0 16 0 8 0 155742787 937857024 87217 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1099/tid=1106] ppid=1094 vsize=915876 CPUtime=0
/proc/1099/task/1106/stat : 1106 (java) S 1094 1099 990 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155742788 937857024 87217 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1099/tid=1107] ppid=1094 vsize=915876 CPUtime=0
/proc/1099/task/1107/stat : 1107 (java) S 1094 1099 990 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155742788 937857024 87217 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1099/tid=1112] ppid=1094 vsize=915876 CPUtime=0
/proc/1099/task/1112/stat : 1112 (java) S 1094 1099 990 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155742791 937857024 87217 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1099/tid=1113] ppid=1094 vsize=915876 CPUtime=0.36
/proc/1099/task/1113/stat : 1113 (java) S 1094 1099 990 0 -1 64 566 0 0 0 35 1 0 0 16 0 8 0 155742791 937857024 87217 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1099/tid=1114] ppid=1094 vsize=915876 CPUtime=0
/proc/1099/task/1114/stat : 1114 (java) S 1094 1099 990 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155742791 937857024 87217 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1099/tid=1115] ppid=1094 vsize=915876 CPUtime=0
/proc/1099/task/1115/stat : 1115 (java) S 1094 1099 990 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155742791 937857024 87217 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.16
Current children cumulated vsize (KiB) 915876

Child status: 0
Real time (s): 76.9081
CPU time (s): 76.7213
CPU user time (s): 76.1844
CPU system time (s): 0.536918
CPU usage (%): 99.7572
Max. virtual memory (cumulated for all children) (KiB): 915984

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 76.1844
system time used= 0.536918
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 87603
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= 3466
involuntary context switches= 3659

runsolver used 0.071989 s user time and 0.207968 s system time

The end

Launcher Data (download as text)

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


IDJOB= 205645
IDBENCH= 4161
FILE ID= node50/205645-1168073438

PBS_JOBID= 3475999

Free space on /tmp= 66534 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  5e6866fa03c606526e6f95a98ab50ddf

RANDOM SEED= 145247991

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.263
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	: 5931.00
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.263
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:       1493240 kB
Buffers:         36120 kB
Cached:         427844 kB
SwapCached:          0 kB
Active:          75028 kB
Inactive:       408956 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1493240 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:           18508 kB
Writeback:           0 kB
Mapped:          30180 kB
Slab:            64388 kB
Committed_AS:  3242096 kB
PageTables:       1676 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= 66539 MiB



End job on node50 on Sat Jan  6 08:51:59 UTC 2007