Trace number 205629

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 50.7403 51.2329

DiagnosticValue
CHECKS53983347
NODES3001

General information on the benchmark

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

Solver Data (download as text)

0.30	   
0.30	Abscon 109 (November, 2006)
0.30	   
0.30	   configuration
0.30	     name=mac.xml
0.33	   
0.33	   instance
0.33	     name=/tmp/evaluation/205629-1168073438/unknown.xml
0.36	   
0.36	   domains being loaded...
0.40	   
0.40	   variables being loaded...
0.90	     nbVariables=3000  nbDomainTypes=14  minDomainSize=50  maxDomainSize=698
0.90	       =>  wckTime=0.591  cpuTime=0.41  mem=58M777
0.90	   
0.90	   predicates being loaded...
0.90	   
0.90	   constraints being loaded...
4.94	   
4.94	   INFO : Stopping converting binary constraints (cpu=4.16, mem = 106M965)
11.32	     nbConstraints=28313  nbMergedConstraints=25235  nbConvertedConstraints=9  nbConvertConstraintsChecks=4014524
11.32	     nbExtensionStructures=9  nbSharedExtensionStructures=0  nbConflictsStructures=9  nbSharedConflictsStructures=0
11.32	     nbSharedBinaryRepresentations=7387  nbEvaluationManagers=19185  nbSharedEvaluationManagers=9119  maxDegree=53
11.32	     maxArity=2
11.32	       =>  wckTime=11.019  cpuTime=9.65  mem=117M65
11.65	   
11.65	   solver IterativeSystematicSolver being built... 
12.90	       =>  wckTime=12.595  cpuTime=10.33  mem=298M432
46.63	   
46.63	   preprocessing
46.63	     nbConstraintChecks=53401334  nbValidityChecks=6248883  nbPropagations=10319  nbRevisions=215523
46.63	     nbUselessRevisions=187035  nbRemovedValues=1842071  detectedInconsistency=no
46.63	       =>  wckTime=33.685  cpuTime=33.35  mem=298M432
51.16	   
51.16	   search
51.16	     run=0  nbConstraintChecks=582013  nbValidityChecks=1110126  nbPropagations=19514  nbRevisions=342187
51.16	     nbUselessRevisions=304622  nbAssignments=3001  nbFailedAssignments=1  nbBacktracks=0  nbVisitedNodes=3003
51.16	     nbRestartNogoods=0  mapSize=0  nbInferences=0  nbTooLargeKeys=2292
51.16	       =>  wckTime=38.213  cpuTime=37.79  mem=315M3
51.16	   
51.16	   global
51.16	     nbConstraintChecks=53983347  nbValidityChecks=7359009  nbPropagations=29833  nbRevisions=557710
51.16	     nbUselessRevisions=491657  nbRestartNogoods=0  solvingWckTime=38.215  solvingCpuTime=37.79  expiredTime=no
51.16	     totalExploration=no  nbFoundSolutions=1  globalCpuTime=48.21
51.16	       =>  wckTime=50.854  cpuTime=48.16  mem=315M3
51.16	   
51.16	s SATISFIABLE
51.16	v -3426 3198 -3218 -3574 -4022 -4158 -4002 -3150 -3542 -3766 -3666 -3302 -3266 4002 -4542 -3574 -3302 -4186 -3550 -3890 3614 3654 -3478 -3342 -4502 -3362 3726 4130 -3818 3534 3702 4162 -3626 -3870 3486 -4130 3310 -3994 3970 -3810 4038 4114 3906 -4306 -4222 -4322 3150 -4210 -3962 -3502 4422 -3502 -4434 4498 -4110 -3266 4190 -4502 4282 4034 -3642 -3398 4430 3890 4106 3950 -4170 4490 -4542 -3746 -4382 -3642 -3250 -3722 4298 -4502 -4542 3534 4246 4434 -4398 -4190 -4026 4150 -3498 -3206 -4502 3566 -4398 3286 -4306 4198 -3974 -3370 -4334 3170 4114 4214 -4078 4306 3962 -4502 3238 -3198 -4482 -3970 3706 3174 3858 3206 -3406 -3766 3414 3542 4002 -4254 -3654 3954 -3210 -3214 4014 3838 -3702 -4502 -3818 3470 -4186 -4270 4198 -4446 3730 -3482 4250 -3406 4102 -4530 -3914 -3578 4190 -3582 -3350 -4250 3150 -3638 -3190 3810 -3658 -4414 -3238 3306 3938 3702 4042 4294 -3614 -3898 -4046 3474 -3290 -4454 -3442 -4290 -4358 3258 -3550 -4010 -3582 -4186 4106 4466 -3150 -3586 4242 -4286 3538 -4502 -3606 -4146 -4258 -3590 -3334 -4074 3650 3542 3742 -3234 3190 -3942 3810 -4542 -3582 -3478 -3350 -3546 3306 -4146 3546 -3402 3906 3982 4470 3934 -4186 4082 -3202 4090 3190 3346 4482 4346 3510 3390 -4522 -4186 -4426 -3610 -3246 3194 -3298 -3154 3210 4102 3526 4122 3714 4226 -3910 -4446 3858 3190 3558 -4450 -4170 -3638 4002 -3498 -4434 -3598 -4542 -3194 -4382 -3250 4126 3310 -3190 -4542 4330 -3954 -3814 3250 3698 -3306 3790 3774 -3810 3918 -3330 -4202 -3290 -3726 3574 -4310 4014 -4146 3394 -3214 3434 -3150 -3586 3602 -4422 3574 3950 -3330 4178 3426 -3526 -4502 -3814 3638 3150 4482 -3622 -4522 3630 3562 3202 -4462 4134 -3806 -3746 -4322 4342 -3546 3150 -4314 -3190 3278 3678 -3190 -4014 -4422 -4006 3266 -3706 -3666 -3710 3622 3602 3462 -3846 3814 4458 -4342 -3646 4506 -3310 -3734 -4466 -3558 -3446 4182 -4118 4418 -4278 -4406 3666 -3198 -3162 3158 -3306 -4230 -3430 -3786 3422 3742 4230 4490 -4422 -4498 -3242 -3302 -4522 -3602 3954 -3706 -4190 -3646 3970 3518 3586 3334 4162 -3582 -3594 -3214 -3974 -3358 3426 -3366 3354 4158 -4306 3386 -3326 3638 3326 4146 -4146 3254 -3858 -3758 -3350 4330 3802 -4502 -3650 -4114 -4334 -4522 -4230 3474 -3474 -4534 -3190 3766 -4394 3650 3194 3334 -4090 -3574 3686 -3578 3202 -3610 -4130 3150 3846 -4230 -3422 -4158 -4518 -3594 -4322 -4462 -4410 -3462 4410 -4242 -4146 3366 -3322 3306 4186 -4306 3278 -3574 -3302 3518 -3814 3610 4078 3822 -4126 -3710 -4046 -4254 -4266 3366 3270 -3558 3574 -4502 4350 -3570 -3254 3242 -3438 -3486 3390 3342 -3898 -4294 3598 4370 -3262 4482 -3522 -3638 -3582 -4462 3206 -3250 4146 -3330 3362 -3510 3446 -3550 -3466 4242 -3254 -3406 -3698 3294 -3910 3438 -3446 -4306 4266 -4470 4218 -4066 -3234 -3946 -3590 3382 -3678 3610 4298 4274 3598 3190 4266 -3190 4334 3170 -3174 4470 -3466 -3266 -3962 4202 3306 4502 3158 -3302 -4158 4206 -4014 -4502 -4382 -3646 -4386 -4130 -3286 -3658 3766 4174 -3202 3158 -4282 4214 4502 -4502 4198 -3310 -3586 -3366 4502 3638 -4502 4410 -3614 3962 -3382 -4014 3350 3886 -4522 4438 -4202 -3634 4074 4034 -3302 3150 -3990 -3218 3202 3606 3438 -3714 -3214 4098 3338 -4502 3398 -4126 -3770 -4438 -4370 -3762 -3974 3770 -3554 -4138 3982 3930 -4466 3150 4074 -3690 -3318 3966 3586 -4470 4362 3306 3678 3794 4338 3282 -4342 3914 -3638 4182 -4030 -3622 -3602 -3426 -4146 -3826 -3598 3574 4342 -3574 -4494 3810 -3590 3666 -4358 -3198 4238 3558 -4026 -4462 -4522 4518 3394 -4138 3970 -3510 -3642 -4542 -4010 3718 -4146 -4186 -3486 4266 -3222 3190 -4082 -4182 3678 -3574 3190 3826 4386 -4282 -4234 3954 -3778 4442 -4374 3190 3454 3378 3702 -3558 -3846 3586 -3806 3550 -3446 -4042 4038 3954 -3674 -4118 4126 -4398 4002 -3626 -3974 -4522 3990 -3262 -3278 -3702 -3970 4062 -4074 3694 3270 -3198 3830 -3638 -4478 -3166 -3670 3174 3210 -3318 3486 -3246 4006 -3570 3634 -3218 3406 -3642 -3622 -3182 4090 4274 3622 -4502 3934 4006 -4202 3222 3594 4330 -4334 -4146 4482 -3478 -3866 3814 -3218 3238 -3686 -4022 -3622 -3818 3214 -3734 3502 4214 4410 -3418 -4322 4402 4130 3150 3498 -4502 3202 -4446 4166 3674 -3762 -4030 -3754 -3374 4534 3190 3282 3774 3530 4534 3226 -3274 3262 3774 4390 -3370 3750 3670 4230 4170 4230 -4022 4542 3438 -3834 -4222 -4158 4238 -3422 -3730 4018 -3190 -4462 -4426 4542 -3414 -3850 -4542 -4322 4242 -3950 -3854 -4310 -4246 -4186 -4450 -4234 -3902 -3530 3182 3446 -3554 4446 3850 -3614 -3314 3266 -3414 -4014 4214 3290 3362 -3582 4218 4230 -4462 4326 -3730 -4450 3726 -4046 3922 -4502 4118 3254 -4398 -4502 3190 -3238 4470 -3366 -3718 -3666 4302 3394 3782 -3202 -4394 -3874 -4450 -4542 3526 -3770 -3310 -3278 -3214 -4542 -4502 -3982 -3310 -3314 -3974 -4406 3658 -3870 -4482 -4014 3786 4130 -3174 3806 -4242 3714 3666 3710 -3610 -3802 3866 3518 3630 -3494 -4362 -3962 -3582 3370 -3378 3826 4162 -4062 4054 3402 4386 -3370 -3198 -4542 -3898 -3758 -4190 4442 3950 4070 3914 -3886 3790 4102 -3582 4310 4086 -4346 -3318 3362 3166 -4426 3906 -3634 -3246 4266 -4086 -3770 -4434 3386 -3154 -4370 -3466 -4502 4098 3338 3846 -4342 3814 -3910 3238 3470 3226 3210 -4462 -3862 3382 -4170 3150 -3574 -3958 -3430 -3906 -3906 -4542 -3698 4270 -3770 4226 -3730 4466 3562 -3426 3802 -3598 -4186 -3614 -4374 -4470 3466 -4542 -4162 -3390 -4322 3694 -3850 3174 -3826 3418 4466 4486 -4502 -4458 -4514 3242 3810 -3190 4406 -3510 3810 -4458 3726 -4362 4118 4062 -3850 -4186 -3722 -4118 3750 3854 -3838 3322 3270 -4322 -3702 3234 -4542 -4122 4002 -3810 -3582 3682 3934 3802 4322 -3246 -3650 -3670 -3574 3334 -4322 -4282 -4542 -3854 -3806 -3422 3662 3914 -4186 -4126 -3734 -4362 -3634 -4362 -4022 -3974 4106 -3410 -3370 -3842 3166 -3302 4242 -3294 -3578 -3482 -4482 -4494 -3190 -4330 3970 4202 4502 4066 -3278 4502 -4502 -3682 3546 -3478 3546 -4538 -4186 -3554 -3742 -3586 -3210 4146 3338 -3702 -3706 -4446 -3718 -3746 3594 -3526 -3518 3498 3510 3846 3606 4534 4362 3806 4106 -4158 4514 -4322 3830 -3330 -3446 -3994 3506 -3370 3938 3850 3810 -4014 3190 -3658 4406 -4342 -3618 3418 3806 3290 -3334 -3190 -4154 -3866 -3694 3310 -4062 3666 3842 -4462 4438 3946 3714 -3450 -3426 4362 -4186 4114 4202 3778 3174 -3614 -3494 -4486 -3994 3866 -3814 3426 -3586 -3898 3706 -3534 -3642 -4286 4502 -4022 -4042 -3982 4282 3338 3378 3706 -3190 3214 3990 3222 4214 -4110 -3598 -4374 3838 4430 4042 -4186 3206 3534 -3574 -3454 3614 -4374 -3754 -3226 -3258 -4046 -3334 4402 4198 -3642 4250 3690 -4382 -3986 3598 -3518 4174 -3522 -4330 -3294 3158 4130 3426 -3802 3934 -3974 3342 -4218 -3274 -4478 -3850 3602 -4014 3150 -4130 -3730 -4198 3858 -3210 3390 -3894 3366 3538 3290 -4418 3898 3998 3282 3282 3246 3866 3922 -3614 -4110 -4510 -4526 -4322 -3626 -4346 -3298 -3194 -3810 -3806 3462 4022 -4074 4490 -4282 3914 -3906 4042 3294 -4542 4190 3326 3994 -3646 -3650 -3662 -3666 -3974 3390 -4010 4102 -3306 -4442 -3290 4322 3150 3614 -4426 4094 -4334 3190 -4342 4502 -3854 -4482 -4314 -4446 3290 4002 3542 3586 -4198 -3974 3438 -3242 -3282 4502 3654 -4502 3754 -3150 3282 4250 3150 -3546 4030 4262 3150 -3346 4502 4090 4502 -3962 3286 -4346 -3762 -3362 -4242 -4142 3526 -4402 3922 -3582 3846 -3926 -3454 3222 -4502 -3358 -3782 -3826 4494 -4258 -3866 3750 3190 -3622 -4502 -3546 -3242 3590 3606 -3618 3150 4030 -3450 4014 -3718 -4422 3206 4042 3566 -4254 4174 4006 -4282 3514 -3318 -4042 -3530 -4282 -3626 -3330 3214 4422 4238 -3266 -3222 3810 -3202 -4054 -3230 -3618 3958 4398 -3590 -3366 3666 -3298 -4530 4250 -3814 -3358 3886 -3718 3278 3818 -3698 -4542 3658 -4374 -3538 -4122 4194 3478 -4282 -4422 4002 -3750 -3454 3466 4138 -4146 3786 3642 3838 3330 -3170 -3634 -4402 -3906 -3630 3762 4282 -3882 -3194 3278 3470 -4490 -4346 -3258 4494 -4278 3258 -3546 -3966 -4322 -3850 4310 -4542 -3770 4358 3322 -4142 -3970 -3274 3518 4274 -3886 3362 -4262 -3722 -3198 4530 3574 -3250 3314 -3458 3970 -3450 -3654 4422 -3154 3150 -4062 -3754 3590 -3274 -3818 -4394 -3322 -4038 -3150 -3994 3790 4046 -4222 -4082 -3686 -3258 3630 3678 -3538 -3758 3434 -3774 4178 -4502 -4290 -4022 4406 -3354 3858 -3190 -3974 3778 4038 3406 4262 -4146 3190 3758 -4502 -3974 -4426 4502 4266 3150 3714 -4354 -3162 -3834 -4150 3766 3878 -4046 -3622 -4386 4034 -4282 3174 3254 -4306 -4522 3210 4122 4006 -4502 4430 -3610 3718 -3790 -4402 3294 4018 3930 -4294 3866 3602 3346 -4506 -4014 3194 -3658 -3210 -4502 4098 -4334 4446 -4422 4194 3870 4266 -4362 3794 4030 4542 -4350 -3742 -4202 4070 4018 -3214 -3842 3298 3166 -3702 4302 -4218 3830 3150 3886 -4394 -3786 -4498 4210 3654 -4462 4254 4390 -4174 3178 3806 -3982 -3882 -4542 -4310 4174 4214 -3326 -3902 -3982 -3966 4378 -3994 3442 -3154 -4158 -3762 3814 -3806 -3346 4322 3150 -3762 -4046 -3222 -3214 3190 3270 3458 3942 3198 -3974 3182 -4502 -4158 3218 -4462 3242 -4322 4194 -3190 -4062 -4234 -4486 -4082 3910 -4542 -3814 4118 -4542 -4486 -4362 -3586 3666 -4346 3262 -4046 -3546 4038 3970 -3814 -4138 3706 -3298 3242 -3210 -3154 3474 3542 3190 3518 -3258 -3626 -3922 3590 3550 -4458 -4198 -3430 3278 3970 -3946 -4058 4094 -3490 -3546 -3278 3742 -3418 -4394 -3998 4114 -3726 3410 -3818 4142 3238 3562 -4062 4166 3458 -3774 -3614 -3970 3622 -3194 -3622 3834 -3974 3846 4106 3286 3162 3374 -3162 -3174 3850 3866 3306 3578 -4178 3190 -4166 -3666 -3978 -4542 -3218 -4134 3722 4310 -3582 -3730 -3722 3938 -3962 -3738 4338 -3274 3586 4070 -4242 3746 -4270 3910 -3282 -4474 -3250 -4138 -3830 4198 3190 4522 3222 4306 4406 -3614 -3402 3646 4490 3762 -3614 3322 -4270 -3206 -3626 3766 3238 -4290 3970 4370 3498 4158 4078 -4542 4482 -3974 -4298 -3730 3982 3150 3294 -3406 -4542 3526 3190 4126 -3166 -4158 4242 4226 4230 3362 4110 3206 4114 3370 4522 -4322 -4542 4462 4350 -3178 -3674 4086 -3774 -4334 -4306 4386 3870 -3774 -3642 3806 -3658 -4146 4106 3618 -3826 -3506 -3194 -3206 -4466 3830 3298 3850 4074 -3486 -4034 -3674 -3714 4282 3618 -3590 -3198 -4058 -4146 -3238 -3246 -3190 -4310 -3718 -3846 3510 3970 3566 -4198 3990 -4542 4338 3430 -3582 -4206 4134 -4066 3374 -3282 3346 4306 -3966 3150 -3198 4106 3578 -3302 -4442 4010 4134 -3478 3346 3446 4146 -3254 -3838 3282 -3842 3934 -4490 -4510 4010 -4542 -4462 -4478 3322 3986 -4090 -3798 -4010 3706 -3706 -3698 -4522 4366 3634 3514 -4234 -3326 -4406 -3614 -4106 -3926 -3262 -3386 -4030 4422 3322 -3550 3474 4210 -3502 -3602 -3190 -3222 3874 3766 -3190 -4074 -3510 -4522 -3318 -3618 -3378 3318 -3614 -4522 3666 3766 -4114 4174 3618 4198 -3486 3214 4030 3526 3462 -4502 3178 -3282 4310 4126 -3654 3846 3378 -3590 4502 3190 3746 -3770 3242 -3602 3190 -4482 -3194 -3874 4502 3662 -3150 4418 3270 -3674 -4422 4194 -3242 4542 3198 -4542 3310 -4522 3614 3858 3330 -4302 -3514 3562 -4542 -3274 -4542 4518 3578 3342 3818 -3290 4142 -4322 4338 3894 -4126 -4062 -3742 3866 -4322 -3466 3802 -3678 -3998 -4090 3790 -3398 -3802 3450 -3154 -4494 3626 -4542 4490 4418 4126 3990 -3494 4086 -3286 -3294 -3386 3602 -3954 -4334 -4086 -4398 -3914 3390 -3414 -4502 4026 -3646 4086 -4158 -3402 -3190 3222 -3194 3190 -3426 -3238 4446 3510 -4254 -3318 3874 -4282 -3350 -4006 -3974 -3218 -3558 -4098 -3878 4006 3814 3150 -3974 -4462 4086 -3586 -3314 -4174 3518 -4282 4226 4086 -3150 3954 -4410 3930 -4322 -3246 -3406 3706 -3466 4498 -3898 3938 3390 -3450 4162 3482 -4466 -4262 3150 -4114 4282 -3598 -4186 -4542 -4458 -3326 -3574 -3714 -3310 -4382 3758 3870 -3674 3630 -4126 3650 3534 -3558 3734 3214 3986 -4462 -4470 4382 3490 4282 3282 4106 4078 3190 -3242 -3322 4374 -4014 -3586 4538 -3946 -4398 3858 -3422 -3238 -3582 3238 4186 3378 -4006 -4126 -4186 -4434 3626 -3594 -3866 3410 4426 4022 3974 3186 -4102 4034 -3314 -3150 -4246 -3586 4342 4002 -3170 -3690 3330 3942 -3734 -3558 -3974 4394 -3894 -3150 4158 3150 3966 3406 3190 -3242 -3170 -3206 4266 -4542 3770 4202 3762 -4050 -4158 4502 -4486 -3810 -3446 3682 -4502 -3810 3906 3826 -3638 -4462 -4542 4226 -4482 4470 -4462 3278 3374 -3254 -3366 -4282 -4358 -3654 3494 3518 4102 3294 -3930 -3194 -4250 -3154 4162 -3514 -4014 -4226 -3258 3570 -4134 4026 4370 3378 3354 -3986 4094 -3246 -3942 3350 3258 -4238 -3346 -3694 3954 -3430 -3810 4266 3546 4450 3710 -4050 -3674 -3738 -4394 3286 3530 -3474 -3262 -4086 4206 4274 -4210 4502 -4014 -3706 -4138 -4078 3194 -3622 3586 -4166 4350 -3986 3546 -3946 -4246 -3582 -4534 3406 -4186 3790 -3286 3326 3954 4502 3514 -3150 -4542 -4218 3746 3746 -4482 -4502 -3810 -3194 -4270 4090 3870 -4542 3374 4530 -4410 3614 -3762 3874 -4202 -3186 3390 -4250 -3898 3598 3886 -3942 -4542 4538 -4502 -4346 4402 3686 -3574 4470 4046 -4198 3634 -4490 3834 3990 3162 3346 4086 -3154 3786 -3626 -3586 3714 -3302 -4094 4218 4002 3602 -3282 3982 3246 3362 -3858 -4186 -3810 -4254 -3218 3566 -3370 3686 -4322 4374 3922 -3150 -3418 -4474 -3502 -4542 3386 -4414 3514 3374 3966 -4542 -3150 4034 -3402 -4262 3938 -3614 -3326 -3574 -3850 -4482 3426 3962 -4322 -3350 -4462 -3582 3994 4026 3238 -4238 -3262 -3250 4114 -3798 -3474 -3330 -3810 3690 4066 -4398 -4082 -4222 3482 3278 -4030 -3526 -3406 3954 4326 -4510 3154 3166 3718 -4314 -3330 -4394 3598 -3482 -3546 3458 3550 -3246 -4502 -3878 4202 -3330 -4402 4062 -4322 3770 -3642 4038 3150 -4154 -3390 -3150 -3834 -3718 3850 3534 3162 -3594 3382 -3310 -3718 -3698 -4146 -4014 -3238 -3546 3862 -3962 -3762 3706 -3854 -4510 3762 -3846 3910 -4294 3622 -4350 -3314 -4542 3178 3750 -4322 3462 3854 -4154 -4174 -3162 -3218 -4126 4042 3910 -3150 4442 -3330 -4162 3998 -3262 -3422 3994 3606 4002 -4434 -4322 -4450 -3586 -4146 -4542 3382 3774 -3758 3270 -3706 -4514 -3382 4158 -3510 3622 4386 -3642 -4118 4450 -3426 4058 -3298 -3518 -3638 3150 3846 -4474 -3706 -4346 4542 3614 -4134 -3602 -3498 -4374 3382 3326 -3886 -3370 -3798 -3190 -4014 3566 -4258 3714 4482 3538 -4458 -3714 3650 -3406 -4486 -3866 -3826 -3930 4178 4002 3966 3734 3286 -3522 3790 3830 -3890 -3874 -3662 -3158 4114 4042 -4054 -3290 -3714 -3754 3898 -3578 -3386 4538 -3422 -3626 -4102 -3550 -4502 -3798 -4422 -3250 3562 3542 4242 -4306 3970 3538 -3582 4022 -3370 -3190 3442 3770 4450 4058 3358 -3874 -3470 -3210 3258 -3306 -4446 3350 3578 -3206 -3754 -3966 -3986 4006 -3610 3190 3466 -4270 -3746 3538 3810 3806 4234 3174 -4346 3578 3946 4302 3794 -3262 -4542 4498 -3406 -3750 -3494 4166 4034 -4458 -3330 -3230 3382 -3586 3710 4246 3762 -4446 -3218 3154 -3974 -4362 4366 -3678 -4374 3814 4218 -3806 3866 4062 3150 -4230 -3842 3930 -3190 -3930 -4506 -4494 -4394 -3706 3930 -3722 3202 -3558 3330 -3150 -4166 -4410 3150 4038 -3286 4214 -4502 -3994 3634 -3842 -3190 -3390 -4238 -4422 -4422 3570 3846 4094 -3938 -3574 -3582 3350 3330 -3806 -3258 -4510 3670 -3894 3378 -3202 -4422 3742 -4150 4106 3402 -4274 3990 -4082 4074 -3466 -3298 3366 -4354 -3622 3746 -3978 -3726 3182 -3854 4462 -4478 -4206 -4522 3326 -4422 3258 -4362 -3614 3150 -3578 3306 -4362 4130 3206 -4362 -4022 3714 -3850 -3646 3642 -3954 4006 -4202 3806 3694 -3198 -3242 -4354 -4290 4490 3986 -3502 -4542 3150 3290 -4542 3314 3870 -3802 -3618 4126 4098 -4334 -4018 3602 4090 -3806 4050 -3298 3622 4306 3366 -3350 -3842 3406 -4014 -3446 -3238 3302 -3182 -4074 4266 -3974 4290 3826 -4282 -4462 -4306 3202 -4422 -3902 -3974 -4362 -4282 -3590 -3262 -3946 -3994 -4446 3674 -3986 -3262 3326 -3582 3626 3490 -4222 4154 -4542 3250 -4282 -3390 3878 -4226 -4014 3210 -4014 3722 4502 -3674 -4322 -3154 -4306 -4298 4462 -4482 -3974 4542 -3750 -4542 -3370 -3618 4170 -3590 4274 -3530 -4022 -4178 3334 -3954 3478 -3242 3230 -3706 -4014 -3430 3770 4026 3834 -4502 3550 3150 -3198 3834 3922 -3982 -4502 3190 3718 -3754 -3330 -4194 -4366 3346 -3690 3734 3150 -4182 -3758 -4330 4470 3986 -3422 -3850 4202 -3622 3750 -3446 3994 -3938 -3806 -3654 3854 3150 -3934 -4502 3986 -4498 3766 -4422 4430 4410 -4438 -3470 -4210 -3302 3954 -4346 3430 -4502 3942 4362 -4402 4098 -4078 -3506 -4482 3766 -3450 4542 3958 -3426 -3598 3418 3694 3826 -3470 -3282 4074 4462 3614 -4114 -3258 3494 3570 -3178 -3226 3434 3330 -3186 3286 -4210 -4190 3698 4538 3854 4282 3250 -3350 3190 3522 -3550 -3942 -3638 -3170 4130 -3530 -3214 4222 3354 -3434 -3758 -4302 3466 3210 -4050 -3678 3210 -3210 4526 4542 -3262 -3586 -3426 3990 -4146 3982 3366 -4134 -3774 3930 -3358 -3702 -4238 4454 -4542 3710 3834 4262 -4542 -3582 -3674 -3602 -3306 -3182 -4026 -4242 -3642 -3586 4166 4474 -4342 4154 -3198 -4322 3734 4058 4118 4290 -4422 3190 4466 -4542 -3826 3710 -4422 -4502 -4346 -4062 -4414 -3346 3174 3366 -3678 -4062 3338 4234 -3994 4254 -4010 -3274 -4542 -4502 -3490 -3250 4314 -4070 -4486 -4446 -3522 3378 4382 3606 -4542 3242 3334 -3242 -4450 3978 -4278 -4382 -3762 -3302 -3718 -4146 -4146 -4462 3550 3606 4522 3766 4270 -4502 3926 -3906 3802 -3410 3374 4346 -4078 -4486 -4482 -3614 3502 3254 -4482 -3786 -3238 -3478 -4418 -3858 -4158 -3314 -4214 -3406 -3550 -4418 3802 4190 -3558 -3534 -3422 -3598 -4006 -4362 -3934 -3178 -3206 -4198 -4074 -4010 3570 4402 3158 3794 -4374 -3250 -3202 -3314 -3926 -3434 -3514 -4438 3866 -3418 4102 -3802 -4542 -4302 -4422 -3462 3690 -4422 4342 3834 4006 3606 4042 -3190 -3246 -4382 3202 -4290 4022 -3882 4306 4430 -4374 3978 -3586 -4354 -4178 3566 -3810 -3722 -3190 3386 -3714 3474 -3706 -3714 -4350 3150 
51.16	d NODES 3001
51.16	d CHECKS 53983347
51.16	   
51.16	   totalWckTime=50.932  totalCpuTime=48.22

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-205629-1168073438 -o ROOT/results/node50/solver-205629-1168073438 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/205629-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 2/70 1097
/proc/meminfo: memFree=1492432/2055920 swapFree=4192812/4192956
[pid=1096] ppid=1093 vsize=1784 CPUtime=0
/proc/1096/stat : 1096 (java) D 1093 1096 963 0 -1 0 169 0 0 0 0 0 0 0 19 0 1 0 155742783 1826816 140 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/1096/statm: 446 140 106 14 0 91 0

[startup+0.102956 s]
/proc/loadavg: 0.41 0.78 0.92 2/70 1097
/proc/meminfo: memFree=1492432/2055920 swapFree=4192812/4192956
[pid=1096] ppid=1093 vsize=914260 CPUtime=0.08
/proc/1096/stat : 1096 (java) R 1093 1096 963 0 -1 0 2921 0 1 0 7 1 0 0 17 0 8 0 155742783 936202240 2667 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072931689 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1096/statm: 228565 2667 1397 14 0 215464 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914260

[startup+0.511026 s]
/proc/loadavg: 0.41 0.78 0.92 2/70 1097
/proc/meminfo: memFree=1492432/2055920 swapFree=4192812/4192956
[pid=1096] ppid=1093 vsize=916108 CPUtime=0.48
/proc/1096/stat : 1096 (java) R 1093 1096 963 0 -1 0 8655 0 1 0 44 4 0 0 19 0 8 0 155742783 938094592 8394 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072916972 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1096/statm: 229027 8394 2138 14 0 215497 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 916108

[startup+1.33317 s]
/proc/loadavg: 0.41 0.78 0.92 4/87 1115
/proc/meminfo: memFree=1302536/2055920 swapFree=4192812/4192956
[pid=1096] ppid=1093 vsize=916376 CPUtime=1.29
/proc/1096/stat : 1096 (java) R 1093 1096 963 0 -1 0 31701 0 1 0 115 14 0 0 25 0 8 0 155742783 938369024 31438 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073593639 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1096/statm: 229094 31438 2160 14 0 215564 0
[pid=1096/tid=1101] ppid=1093 vsize=916376 CPUtime=0.14
/proc/1096/task/1101/stat : 1101 (java) S 1093 1096 963 0 -1 64 15140 0 0 0 8 6 0 0 16 0 8 0 155742787 938369024 31438 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1096/tid=1103] ppid=1093 vsize=916376 CPUtime=0
/proc/1096/task/1103/stat : 1103 (java) S 1093 1096 963 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 155742787 938369024 31438 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1096/tid=1104] ppid=1093 vsize=916376 CPUtime=0
/proc/1096/task/1104/stat : 1104 (java) S 1093 1096 963 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155742787 938369024 31438 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1096/tid=1108] ppid=1093 vsize=916376 CPUtime=0
/proc/1096/task/1108/stat : 1108 (java) S 1093 1096 963 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155742790 938369024 31438 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1096/tid=1109] ppid=1093 vsize=916376 CPUtime=0.15
/proc/1096/task/1109/stat : 1109 (java) S 1093 1096 963 0 -1 64 406 0 0 0 15 0 0 0 15 0 8 0 155742790 938369024 31438 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1096/tid=1110] ppid=1093 vsize=916376 CPUtime=0
/proc/1096/task/1110/stat : 1110 (java) S 1093 1096 963 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155742790 938369024 31438 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1096/tid=1111] ppid=1093 vsize=916376 CPUtime=0
/proc/1096/task/1111/stat : 1111 (java) S 1093 1096 963 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155742790 938369024 31438 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 916376

[startup+2.98043 s]
/proc/loadavg: 0.62 0.82 0.93 3/87 1115
/proc/meminfo: memFree=1240392/2055920 swapFree=4192812/4192956
[pid=1096] ppid=1093 vsize=916512 CPUtime=2.92
/proc/1096/stat : 1096 (java) R 1093 1096 963 0 -1 0 34873 0 1 0 274 18 0 0 25 0 8 0 155742783 938508288 34605 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073340501 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1096/statm: 229128 34605 2180 14 0 215598 0
[pid=1096/tid=1101] ppid=1093 vsize=916512 CPUtime=0.32
/proc/1096/task/1101/stat : 1101 (java) S 1093 1096 963 0 -1 64 18237 0 0 0 25 7 0 0 16 0 8 0 155742787 938508288 34605 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1096/tid=1103] ppid=1093 vsize=916512 CPUtime=0
/proc/1096/task/1103/stat : 1103 (java) S 1093 1096 963 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 155742787 938508288 34605 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1096/tid=1104] ppid=1093 vsize=916512 CPUtime=0
/proc/1096/task/1104/stat : 1104 (java) S 1093 1096 963 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155742787 938508288 34605 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1096/tid=1108] ppid=1093 vsize=916512 CPUtime=0
/proc/1096/task/1108/stat : 1108 (java) S 1093 1096 963 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155742790 938508288 34605 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1096/tid=1109] ppid=1093 vsize=916512 CPUtime=0.17
/proc/1096/task/1109/stat : 1109 (java) S 1093 1096 963 0 -1 64 416 0 0 0 17 0 0 0 16 0 8 0 155742790 938508288 34605 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1096/tid=1110] ppid=1093 vsize=916512 CPUtime=0
/proc/1096/task/1110/stat : 1110 (java) S 1093 1096 963 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155742790 938508288 34605 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1096/tid=1111] ppid=1093 vsize=916512 CPUtime=0
/proc/1096/task/1111/stat : 1111 (java) S 1093 1096 963 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155742790 938508288 34605 18446744073709551615 134512640 134570532 4294956480 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) 916512

[startup+6.27 s]
/proc/loadavg: 0.62 0.82 0.93 4/87 1115
/proc/meminfo: memFree=1226952/2055920 swapFree=4192812/4192956
[pid=1096] ppid=1093 vsize=916512 CPUtime=6.19
/proc/1096/stat : 1096 (java) R 1093 1096 963 0 -1 0 37595 0 1 0 599 20 0 0 25 0 8 0 155742783 938508288 37323 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152819339 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1096/statm: 229128 37323 2181 14 0 215598 0
[pid=1096/tid=1101] ppid=1093 vsize=916512 CPUtime=0.48
/proc/1096/task/1101/stat : 1101 (java) S 1093 1096 963 0 -1 64 20924 0 0 0 40 8 0 0 16 0 8 0 155742787 938508288 37323 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1096/tid=1103] ppid=1093 vsize=916512 CPUtime=0
/proc/1096/task/1103/stat : 1103 (java) S 1093 1096 963 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 155742787 938508288 37323 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1096/tid=1104] ppid=1093 vsize=916512 CPUtime=0
/proc/1096/task/1104/stat : 1104 (java) S 1093 1096 963 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155742787 938508288 37323 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1096/tid=1108] ppid=1093 vsize=916512 CPUtime=0
/proc/1096/task/1108/stat : 1108 (java) S 1093 1096 963 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155742790 938508288 37323 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1096/tid=1109] ppid=1093 vsize=916512 CPUtime=0.21
/proc/1096/task/1109/stat : 1109 (java) S 1093 1096 963 0 -1 64 446 0 0 0 20 1 0 0 15 0 8 0 155742790 938508288 37323 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1096/tid=1110] ppid=1093 vsize=916512 CPUtime=0
/proc/1096/task/1110/stat : 1110 (java) S 1093 1096 963 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155742790 938508288 37323 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1096/tid=1111] ppid=1093 vsize=916512 CPUtime=0
/proc/1096/task/1111/stat : 1111 (java) S 1093 1096 963 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155742790 938508288 37323 18446744073709551615 134512640 134570532 4294956480 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) 916512

[startup+12.6711 s]
/proc/loadavg: 0.99 0.89 0.95 4/87 1115
/proc/meminfo: memFree=972752/2055920 swapFree=4192812/4192956
[pid=1096] ppid=1093 vsize=916652 CPUtime=12.53
/proc/1096/stat : 1096 (java) R 1093 1096 963 0 -1 0 81602 0 1 0 1214 39 0 0 25 0 8 0 155742783 938651648 81271 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155769989 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1096/statm: 229163 81271 2520 14 0 215633 0
[pid=1096/tid=1101] ppid=1093 vsize=916652 CPUtime=1.77
/proc/1096/task/1101/stat : 1101 (java) S 1093 1096 963 0 -1 64 64443 0 0 0 151 26 0 0 17 0 8 0 155742787 938651648 81271 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1096/tid=1103] ppid=1093 vsize=916652 CPUtime=0
/proc/1096/task/1103/stat : 1103 (java) S 1093 1096 963 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155742787 938651648 81271 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1096/tid=1104] ppid=1093 vsize=916652 CPUtime=0
/proc/1096/task/1104/stat : 1104 (java) S 1093 1096 963 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155742787 938651648 81271 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1096/tid=1108] ppid=1093 vsize=916652 CPUtime=0
/proc/1096/task/1108/stat : 1108 (java) S 1093 1096 963 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155742790 938651648 81271 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1096/tid=1109] ppid=1093 vsize=916652 CPUtime=0.28
/proc/1096/task/1109/stat : 1109 (java) S 1093 1096 963 0 -1 64 526 0 0 0 27 1 0 0 16 0 8 0 155742790 938651648 81271 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1096/tid=1110] ppid=1093 vsize=916652 CPUtime=0
/proc/1096/task/1110/stat : 1110 (java) S 1093 1096 963 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155742790 938651648 81271 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1096/tid=1111] ppid=1093 vsize=916652 CPUtime=0
/proc/1096/task/1111/stat : 1111 (java) S 1093 1096 963 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155742790 938651648 81271 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.53
Current children cumulated vsize (KiB) 916652

[startup+25.5182 s]
/proc/loadavg: 1.15 0.93 0.96 3/87 1115
/proc/meminfo: memFree=812944/2055920 swapFree=4192812/4192956
[pid=1096] ppid=1093 vsize=916652 CPUtime=25.26
/proc/1096/stat : 1096 (java) R 1093 1096 963 0 -1 0 87633 0 1 0 2484 42 0 0 25 0 8 0 155742783 938651648 87296 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073836443 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1096/statm: 229163 87296 2533 14 0 215633 0
[pid=1096/tid=1101] ppid=1093 vsize=916652 CPUtime=1.85
/proc/1096/task/1101/stat : 1101 (java) S 1093 1096 963 0 -1 64 70395 0 0 0 156 29 0 0 16 0 8 0 155742787 938651648 87296 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1096/tid=1103] ppid=1093 vsize=916652 CPUtime=0
/proc/1096/task/1103/stat : 1103 (java) S 1093 1096 963 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155742787 938651648 87296 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1096/tid=1104] ppid=1093 vsize=916652 CPUtime=0
/proc/1096/task/1104/stat : 1104 (java) S 1093 1096 963 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155742787 938651648 87296 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1096/tid=1108] ppid=1093 vsize=916652 CPUtime=0
/proc/1096/task/1108/stat : 1108 (java) S 1093 1096 963 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155742790 938651648 87296 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1096/tid=1109] ppid=1093 vsize=916652 CPUtime=0.34
/proc/1096/task/1109/stat : 1109 (java) S 1093 1096 963 0 -1 64 560 0 0 0 33 1 0 0 16 0 8 0 155742790 938651648 87296 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1096/tid=1110] ppid=1093 vsize=916652 CPUtime=0
/proc/1096/task/1110/stat : 1110 (java) S 1093 1096 963 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155742790 938651648 87296 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1096/tid=1111] ppid=1093 vsize=916652 CPUtime=0
/proc/1096/task/1111/stat : 1111 (java) S 1093 1096 963 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155742790 938651648 87296 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.26
Current children cumulated vsize (KiB) 916652

[startup+51.1255 s]
/proc/loadavg: 1.44 1.01 0.99 3/87 1115
/proc/meminfo: memFree=813008/2055920 swapFree=4192812/4192956
[pid=1096] ppid=1093 vsize=916652 CPUtime=50.63
/proc/1096/stat : 1096 (java) R 1093 1096 963 0 -1 0 87666 0 1 0 5020 43 0 0 25 0 8 0 155742783 938651648 87321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074319687 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1096/statm: 229163 87321 2535 14 0 215633 0
[pid=1096/tid=1101] ppid=1093 vsize=916652 CPUtime=1.85
/proc/1096/task/1101/stat : 1101 (java) S 1093 1096 963 0 -1 64 70396 0 0 0 156 29 0 0 17 0 8 0 155742787 938651648 87321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1096/tid=1103] ppid=1093 vsize=916652 CPUtime=0
/proc/1096/task/1103/stat : 1103 (java) S 1093 1096 963 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155742787 938651648 87321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1096/tid=1104] ppid=1093 vsize=916652 CPUtime=0
/proc/1096/task/1104/stat : 1104 (java) S 1093 1096 963 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155742787 938651648 87321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1096/tid=1108] ppid=1093 vsize=916652 CPUtime=0
/proc/1096/task/1108/stat : 1108 (java) S 1093 1096 963 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155742790 938651648 87321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1096/tid=1109] ppid=1093 vsize=916652 CPUtime=0.39
/proc/1096/task/1109/stat : 1109 (java) S 1093 1096 963 0 -1 64 585 0 0 0 37 2 0 0 16 0 8 0 155742790 938651648 87321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1096/tid=1110] ppid=1093 vsize=916652 CPUtime=0
/proc/1096/task/1110/stat : 1110 (java) S 1093 1096 963 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155742790 938651648 87321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1096/tid=1111] ppid=1093 vsize=916652 CPUtime=0
/proc/1096/task/1111/stat : 1111 (java) S 1093 1096 963 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155742790 938651648 87321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.63
Current children cumulated vsize (KiB) 916652

Child status: 0
Real time (s): 51.2329
CPU time (s): 50.7403
CPU user time (s): 50.2484
CPU system time (s): 0.491925
CPU usage (%): 99.0385
Max. virtual memory (cumulated for all children) (KiB): 916764

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 50.2484
system time used= 0.491925
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 87678
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= 2924
involuntary context switches= 4113

runsolver used 0.06199 s user time and 0.157975 s system time

The end

Launcher Data (download as text)

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


IDJOB= 205629
IDBENCH= 4160
FILE ID= node50/205629-1168073438

PBS_JOBID= 3475998

Free space on /tmp= 66534 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  4350c131016c23f892c949167354beef

RANDOM SEED= 349116491

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:       1493248 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:       1493248 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= 66534 MiB



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