Trace number 205613

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 72.15 72.6053

DiagnosticValue
CHECKS80888569
NODES3639

General information on the benchmark

Namefapp/fapp36-40/fapp40/
fapp40-3000-9.xml
MD5SUM5318b238b6912c15c6964420425dc325
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 benchmark60.9717
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.32	   
0.32	Abscon 109 (November, 2006)
0.32	   
0.32	   configuration
0.32	     name=mac.xml
0.35	   
0.35	   instance
0.35	     name=/tmp/evaluation/205613-1168073434/unknown.xml
0.38	   
0.38	   domains being loaded...
0.42	   
0.42	   variables being loaded...
0.94	     nbVariables=3000  nbDomainTypes=14  minDomainSize=50  maxDomainSize=698
0.95	       =>  wckTime=0.624  cpuTime=0.45  mem=58M777
0.95	   
0.95	   predicates being loaded...
0.95	   
0.95	   constraints being loaded...
5.06	   
5.06	   INFO : Stopping converting binary constraints (cpu=4.25, mem = 106M961)
11.98	     nbConstraints=28313  nbMergedConstraints=25235  nbConvertedConstraints=8  nbConvertConstraintsChecks=3527320
11.98	     nbExtensionStructures=8  nbSharedExtensionStructures=0  nbConflictsStructures=8  nbSharedConflictsStructures=0
11.98	     nbSharedBinaryRepresentations=6689  nbEvaluationManagers=19033  nbSharedEvaluationManagers=9272  maxDegree=53
11.98	     maxArity=2
11.98	       =>  wckTime=11.66  cpuTime=10.24  mem=114M828
12.30	   
12.30	   solver IterativeSystematicSolver being built... 
13.44	       =>  wckTime=13.119  cpuTime=10.89  mem=298M175
63.87	   
63.87	   preprocessing
63.87	     nbConstraintChecks=78672654  nbValidityChecks=7501965  nbPropagations=8667  nbRevisions=196082
63.87	     nbUselessRevisions=170325  nbRemovedValues=1811363  detectedInconsistency=no
63.87	       =>  wckTime=50.379  cpuTime=50.11  mem=298M175
66.94	   
66.94	   search
66.94	     run=0  nbConstraintChecks=1279095  nbValidityChecks=2292274  nbPropagations=17333  nbRevisions=358172
66.94	     nbUselessRevisions=322850  nbAssignments=637  nbFailedAssignments=1  nbBacktracks=18  nbVisitedNodes=640
66.94	     nbRestartNogoods=0  mapSize=0  nbInferences=0  nbTooLargeKeys=636
66.94	       =>  wckTime=53.452  cpuTime=53.14  mem=299M136
72.51	   
72.51	   search
72.51	     run=1  nbConstraintChecks=2215915  nbValidityChecks=5905599  nbPropagations=52660  nbRevisions=969863
72.51	     nbUselessRevisions=881398  nbAssignments=3639  nbFailedAssignments=3  nbBacktracks=18  nbVisitedNodes=3644
72.51	     nbRestartNogoods=1  mapSize=0  nbInferences=0  nbTooLargeKeys=3001
72.51	       =>  wckTime=59.021  cpuTime=58.65  mem=312M826
72.51	   
72.51	   global
72.51	     nbConstraintChecks=80888569  nbValidityChecks=13407564  nbPropagations=61327  nbRevisions=1165945
72.51	     nbUselessRevisions=1051723  nbRestartNogoods=1  solvingWckTime=59.022  solvingCpuTime=58.65  expiredTime=no
72.51	     totalExploration=no  nbFoundSolutions=1  globalCpuTime=69.62
72.51	       =>  wckTime=72.187  cpuTime=69.58  mem=312M826
72.51	   
72.51	s SATISFIABLE
72.51	v -3414 3186 -3226 -3578 -4022 -4142 -4002 -3158 -3466 -3762 -3666 -3306 -3254 4002 -4542 -3574 3294 -4178 -3550 -3886 -3618 -3662 -3474 -3350 -4502 3370 -3726 -4130 -3810 3542 3702 4158 -3626 -3870 -3510 -4126 3314 -3986 -3974 -3814 4038 4106 3910 -4302 -4226 4322 3150 -4210 -3966 -3498 -4442 3494 -4434 4498 -4110 -3262 4186 -4502 4282 -4046 3646 3390 -4430 -3890 4106 3954 -4166 4486 -4542 3758 -4378 -3646 3258 -3722 4294 -4502 -4542 3590 -4250 -4434 4342 -4174 4026 4134 -3494 -3242 -4502 3562 4334 -3290 4302 4190 -3966 -3374 -4334 3170 4114 4214 -4086 -4302 -3966 -4502 -3234 -3190 -4482 -3974 -3718 3186 -3866 -3202 3410 -3770 -3410 3534 3994 -4258 -3646 -3962 -3210 3206 4014 3830 -3710 -4502 -3834 -3474 -4186 -4274 4158 4454 3730 -3482 -4258 -3414 -4102 -4538 -3914 3586 4190 -3586 -3354 4234 3150 -3638 -3190 -3802 3646 4410 -3246 3330 3926 3706 4042 4302 3614 3910 -4054 3474 -3290 -4454 3434 4286 4294 3258 -3558 -4018 -3586 -4186 4098 -4466 -3174 -3590 4242 4278 -3534 -4542 3590 4146 4258 -3598 3338 4062 3646 -3542 -3750 -3166 3198 3930 3806 -4542 -3582 -3486 -3342 -3550 3310 -4138 -3542 -3410 3906 -3986 -4470 3934 4178 4078 -3198 -4090 3190 3354 4486 -4342 3506 -3394 -4522 -4190 -4426 -3602 -3238 3194 -3302 3150 -3210 -4102 3522 -4118 3722 -4222 -3914 4446 -3858 3190 3558 -4454 4166 -3642 3990 -3506 -4442 -3602 -4542 -3190 -4382 -3250 -4138 3318 -3190 -4542 4326 3950 -3818 3258 3690 -3306 3794 -3766 -3814 3914 -3322 -4198 -3282 -3726 -3574 -4310 -4010 -4142 -3394 -3210 -3434 -3158 -3590 3610 -4422 3582 3938 -3286 -4178 -3418 -3526 -4542 -3814 3638 3150 -4482 -3618 -4522 3634 -3570 -3150 4462 4134 -3806 -3750 -4322 4346 -3538 3150 -4310 -3190 3282 3694 -3190 -4010 -4422 -4018 -3266 -3702 3674 -3706 -3626 3602 3462 3838 3806 -4394 -4342 -3646 4502 -3238 3722 -4478 -3554 -3454 -4186 -4118 4426 4278 4394 3658 -3198 -3234 -3150 -3302 -4222 3426 -3782 3422 3750 4226 4490 -4418 -4350 3234 -3302 4518 -3598 3954 -3722 -4182 -3642 3974 3514 3150 3326 -4170 -3586 -3602 -3210 -3974 -3350 3418 -3362 3358 4154 -4310 3382 -3330 -3646 3330 4146 -4146 -3250 -3874 -3742 -3342 4326 3802 -4502 -3650 -4118 -4334 4526 4230 3482 -3486 -4526 -3190 -3766 -4422 3634 -3194 3330 4094 -3574 3686 -3578 -3206 -3610 -4142 3150 -3850 -4230 3426 -4162 -4518 -3582 -4322 4458 4402 -3458 -4406 -4238 -4146 3374 -3322 3314 4182 4306 3278 -3578 -3302 -3514 3810 3606 4078 -3818 -4122 -3710 -4042 -4250 4262 -3370 -3266 3550 -3586 -4502 -4350 -3574 3262 3250 -3434 -3474 -3386 3334 -3906 -4290 -3598 4370 -3262 4470 -3522 -3638 -3586 -4462 3210 -3290 4146 -3322 3350 -3510 3450 -3538 3454 4234 -3250 -3406 3694 3290 3910 3434 -3450 -4306 -4266 -4462 -4218 -4062 -3234 -3946 -3594 -3378 -3678 -3622 -4298 -4282 3590 3198 4262 -3190 4330 -3170 -3174 4470 -3458 -3290 -3966 4202 -3302 -4502 3158 -3294 -4154 4198 -4010 4426 4374 3634 -4502 -4134 -3294 -3662 3770 -4178 -3190 -3158 -4282 4214 4506 -4502 -4206 3314 -3586 3358 -4502 3634 -4502 4406 -3618 3970 3382 4010 -3346 3878 -4522 -4438 -4202 -3646 -4078 4026 -3286 -3454 -3994 3206 -3194 3602 3434 -3714 -3202 -4106 -3330 -4502 3394 4110 3762 -4438 -4366 -3754 -3966 -3774 -3546 -4142 -3982 -3938 -4466 3150 -4086 -3686 3314 -3978 3586 -4470 -4366 3306 3694 3794 4334 -3282 -4338 3910 -3650 -4186 -4026 -3626 -3606 -3418 -4146 -3826 -3590 3570 -4502 -3578 -4502 -3810 -3582 -3674 -4362 -3194 -4242 -3562 -4018 -4462 -4522 -4514 3398 4146 3970 -3514 3642 -4542 4002 3734 -4146 -4182 -3498 4262 -3218 3234 -4082 -4178 3682 3578 3190 3830 4382 -4282 -4202 3954 -3782 4438 -4370 3214 3438 3370 3710 -3562 -3854 -3598 -3810 3546 -3450 -4062 4030 -3958 -3666 4118 4126 -4390 4010 -3646 -3974 -4522 3998 -3342 3270 -3710 3974 4058 4074 -3702 -3270 -3190 3830 -3650 -4478 -3182 -3674 -3170 3210 -3314 3486 -3238 4018 3570 -3654 -3214 -3398 -3634 -3622 -3178 4090 4274 3630 -4502 3934 4010 -4198 -3194 -3606 4326 -4330 -4146 4486 -3474 -3866 -3818 -3218 -3226 3682 4034 3614 -3818 3214 -3738 3506 -4214 4414 -3410 -4322 -4402 4130 3190 3494 -4502 -3198 4390 4166 3666 -3754 -4038 -3758 -3378 4530 3190 -3266 3778 3534 4534 3214 -3278 3262 3774 -4390 -3370 3750 -3670 -4226 -4154 -4242 -4026 4542 -3446 3834 4218 -4162 4238 -3506 -3726 4034 3414 -4462 -4426 4542 -3414 -3870 -4542 -4322 -4242 -3950 -3846 -4310 -4238 4186 4450 -4234 -3902 -3526 -3154 -3458 -3562 4434 3846 -3614 -3318 3270 -3414 -4014 -4218 3330 -3374 3574 4226 4230 4458 -4334 -3726 -4450 3714 -4046 3918 4502 -4122 3222 -4402 -4502 3190 -3238 4478 -3370 -3722 -3662 -4262 3402 -3786 -3202 -4394 3878 4446 4482 -3550 -3770 -3310 3262 3214 -4466 -4502 -3986 3294 -3318 3970 -4414 -3662 3874 -4482 -4014 3790 -4134 -3166 3806 -4242 3722 3666 3710 -3610 -3802 -3866 3526 3634 -3478 -4354 -3966 -3594 -3362 -3386 -3822 4158 -4066 -4054 -3394 4382 -3370 3194 4418 -3902 -3754 4182 4430 3938 -4070 3918 -3882 -3826 4106 -3590 -4310 4086 -4346 -3322 3354 3158 -4426 3906 -3634 -3246 4262 -4086 -3762 -4434 -3390 -3162 -4366 -3458 -4502 4086 3346 3846 -4342 -3810 -3898 3234 3470 -3214 3194 -4462 3858 -3390 -4178 3150 -3578 3958 -3426 -3906 3906 -4542 -3686 4270 3766 -4230 -3742 4466 -3562 -3478 3806 3602 -4186 3610 -4374 -4470 -3454 -4542 -4154 -3314 -4322 3682 -3850 3170 3830 3418 -4542 -4502 -4502 -4462 -4514 -3306 -3806 3218 -4414 3518 3802 -4466 3722 -4362 4122 4066 -3858 -4186 -3718 4114 -3746 3862 -3846 3314 3278 -4322 -3710 -3234 -4542 4122 4002 -3810 -3582 3674 -3934 3806 -4318 3246 -3646 -3670 -3574 3330 -4318 4282 -4542 -3850 -3822 -3430 -3666 3914 4142 -4110 -3734 -4362 -3634 4358 4022 3970 4098 -3406 -3362 -3854 3162 -3310 4242 -3290 -3586 3482 -4482 4494 -3198 4326 3962 4202 4502 -4058 -3274 4502 -4502 -3686 3538 -3482 -3550 -4506 -4186 3562 -3746 -3578 -3218 4150 -3346 -3702 -3694 -4446 -3714 -3754 3594 -3514 -3522 -3490 -3518 3838 3606 -4542 4358 3806 4074 -4158 -4514 4314 -3830 -3318 -3446 -3998 3506 -3370 -3942 -3854 -3810 -4014 3190 -3654 -4522 -4338 -3622 -3410 -3814 3294 -3334 -3198 -4154 -3870 -3686 -3298 -4062 3682 -3834 -4462 -4502 3950 3706 -3442 3414 -4378 -4186 4114 -4206 3770 3174 -3618 -3490 -4442 -3994 -3870 3806 3366 3578 -3906 -3706 -3542 -3650 -4290 -4494 -4026 4050 3982 4282 -3346 3370 3690 -3194 3222 -3998 3206 4206 4110 -3610 -4374 3838 -4438 4050 -4186 -3206 -3534 -3574 -3450 3606 -4374 3742 3150 -3282 4046 -3334 4346 -4198 3638 -4250 3702 -4382 3990 3598 3510 4170 -3522 4326 3262 -3150 4126 -3418 -3806 3934 3970 -3334 4210 -3274 -4478 -3850 3606 -4014 3226 -4122 -3738 -4202 3866 -3194 -3390 -3894 3366 -3546 3286 4422 3902 -4006 -3286 3274 3262 3862 -3926 -3618 -4110 -4510 -4542 4314 -3638 -4350 -3294 -3202 3814 -3802 3446 -4026 -4074 4490 4282 -3914 -3906 4046 -3298 -4542 -4202 3326 -4002 3650 -3642 3670 3662 -3970 -3386 -3998 -4102 -3302 -4446 3298 -4314 3150 3618 4426 -4102 -4334 3190 -4302 -4502 -3854 -4482 -4310 -4402 3290 4006 -3538 3582 4182 3974 3446 -3190 3290 4502 3654 4490 3758 -3150 -3274 -4250 3202 -3554 4038 4266 3150 -3362 4502 4082 4502 -3954 -3282 4342 -3758 3362 -4242 -4146 -3522 -4398 3922 -3586 3850 3930 -3450 3206 -4454 3350 3786 -3826 4486 -4254 -3870 3750 3190 -3626 4502 -3190 -3242 -3594 -3610 -3626 3150 -4034 -3446 -4010 -3726 -4422 3222 -4038 -3562 -4250 4174 4002 4274 -3522 -3322 4030 -3522 -4282 -3622 -3330 -3218 4502 -4234 -3262 -3222 3802 -3210 -4062 -3230 3614 -3962 -4542 -3590 -3370 3686 -3298 -4534 -4254 3810 -3362 3890 -3714 3258 -3822 -3702 -4542 3658 -4374 -3530 -4122 -4202 3486 -4282 -4422 4006 -3758 -3462 -3474 4126 -4138 -3798 -3646 -3850 -3322 -3154 -3634 4394 3910 3622 -3762 4290 -3874 -3198 3278 3466 -4490 -4346 -3262 4490 4282 3258 -3554 -3970 -4322 -3858 4318 4510 -3758 4350 -3330 4134 -3966 3314 -3526 -4270 -3894 -3370 -4262 -3722 -3206 4530 3570 3250 -3310 -3458 3978 -3458 3658 -4422 -3154 -3170 -4062 -3754 -3594 -3274 -3822 -4398 -3266 -4046 -3158 3994 -3798 -4058 -4218 4078 -3686 -3262 3630 -3686 3530 -3766 3438 3778 -4186 -4502 4286 -4026 4386 3350 -3870 -3190 -3974 -3782 -4038 -3414 4266 4146 -3210 -3750 -4458 -3974 -4438 4454 4266 -3150 -3706 -4354 -3162 3838 -4146 3762 3890 -4046 -3606 -4386 -4026 4282 -3170 -3258 -4306 4518 3210 4114 4002 4486 -4430 3594 -3714 -3786 -4398 3286 -4014 3930 -4290 3866 -3602 -3342 -4514 -4002 3194 3650 -3210 -4502 -4102 -4334 -4450 4422 4198 -3878 4266 -4358 -3798 -4038 -4542 -4350 -3742 -4210 4070 4026 -3210 -3838 3298 -3154 -3698 -4302 -4226 -3834 -3190 3890 4394 -3794 4490 4194 3658 4442 -4254 -4390 -4166 3150 -3814 -3970 -3882 4542 -4310 -4174 -4214 -3334 3898 -3990 3950 4382 -4042 3438 -3150 4154 -3762 -3822 3798 3342 4330 3190 3758 -4058 3218 -3210 3150 3270 3450 3958 -3190 -3962 3178 -4502 -4158 3222 -4462 3246 4322 4162 -3218 4050 -4226 -4494 -4086 3890 -4414 -3818 4126 4534 -4486 -4362 -3590 -3658 -4342 3266 -4046 -3546 4026 -3978 -3806 -4142 3702 -3298 -3250 -3210 -3182 3486 -3534 3198 3522 3258 3634 3938 3602 -3546 -4390 -4202 -3430 -3258 3974 -3946 -4070 -4090 -3498 -3550 3282 -3746 -3414 -4402 -4002 -4118 -3726 3398 -3818 4146 -3242 -3570 4054 4154 3454 -3770 -3614 3958 -3626 -3190 -3626 3834 3974 3842 4102 3286 3150 3370 -3158 3166 3846 -3870 -3306 -3578 -4170 -3162 -4170 3670 -3978 -4542 -3214 -4134 -3730 -4306 -3646 -3730 3714 3934 -3966 -3730 -4334 3274 -3606 4070 4222 -3746 -4266 -3898 3282 4474 -3258 4142 3834 -4198 -3186 -4526 3226 -4306 -4410 -3626 -3394 3630 4486 3762 -3614 -3310 -4270 -3190 3622 -3770 -3238 -4290 3958 -4366 3490 -4166 4078 -4538 4478 -3974 -4294 -3734 3986 3150 3290 -3414 -4530 3522 3190 -4126 -3158 4150 4242 4218 4230 -3354 -4106 -3198 4118 -3358 4522 -4322 -4542 -4462 -4350 -3186 3682 4082 -3774 4334 4330 4346 3870 3766 -3646 -3810 -3658 -4146 4110 3618 -3838 3514 -3190 -3210 -4474 -3826 3294 3846 4078 -3490 4034 -3682 3706 4274 3618 -3594 3198 -4074 -4150 3242 -3282 -3198 -4314 -3702 3850 -3510 3962 -3562 4174 3994 -4542 4342 -3426 -3586 -4206 4130 -4062 -3378 -3286 3346 -4310 -3978 -3226 -3202 4106 -3574 -3302 4386 4006 4130 3482 3342 -3450 -4150 -3722 -3842 -3306 -3838 3934 4498 -4510 -4014 -4502 -4482 -4474 3322 -3994 -4102 3790 -4010 -3714 -3714 3690 -4522 -4374 -3622 -3522 -4234 -3330 -4410 -3614 -4106 -3938 -3246 -3382 -4026 -4422 -3326 -3550 -3482 -4214 3486 -3610 -3190 -3230 -3878 3774 3190 -4066 3498 -4522 -3322 -3618 -3386 -3318 -3618 -4522 -3674 -3774 4114 -4178 -3622 4202 -3486 -3206 4030 -3530 3454 -4502 3166 -3254 4306 -4130 -3666 3854 -3370 -3590 -4502 3190 -3754 -3770 3250 -3610 -3150 4482 -3190 -3878 4474 3670 -3170 4434 3274 3686 -4422 4194 -3214 4542 -3186 -4542 -3310 -4522 -3622 3862 3334 -4310 -3506 -3554 -4542 -3274 -4542 -4514 -3582 -3338 -3830 3282 -4142 -4322 -4338 3894 4126 -4022 -3746 3866 -4322 3458 3790 3666 3998 -4094 -3802 -3390 3794 -3462 -3150 -4494 -3638 -4542 4494 -4418 -4114 3998 -3502 4090 -3302 -3762 -3386 -3598 -3954 -4334 4086 -4406 -3914 3382 3422 4490 4038 -3642 4086 -4166 -3414 -3150 -3218 -3222 3190 -3426 -3242 4454 3506 4254 3318 -3878 -4278 -3350 -4002 3970 -3226 -3554 -4102 -3874 -3990 3822 3150 3970 4390 -4086 -3594 -3314 -4174 3514 4374 -4222 4086 -3150 3934 -4410 3918 -4322 -3254 -3422 -3706 3458 -4502 -3902 3938 -3402 3438 4166 3482 -4466 -4270 -3150 -4114 4270 -3598 -4186 -4542 4458 -3326 -3582 -3714 3306 -4386 -3750 -3850 -3674 -3642 4126 -3666 3534 -3554 -3742 -3214 -3990 -4462 4470 4326 3490 4274 -3274 4110 4078 3150 -3234 3314 -4370 -4014 -3590 4538 -3942 -4478 -3870 -3422 3238 -3574 -3222 4186 3378 -4002 -4130 -4190 -4434 3626 -3594 -3870 -3402 -4426 4022 3962 -3190 -4062 -4082 -3314 3150 -4246 -3594 -4366 -4002 -3170 -3698 -3330 -3950 -3734 3550 -3974 -4394 -3890 -3158 4134 -3178 -3962 -3410 -3150 3226 -3174 -3194 4262 -4542 3774 -4198 -3754 -4050 -4162 4502 4486 -3798 3458 -3674 -4502 -3818 3902 -3834 -3638 -4462 -4542 4226 -4482 -4470 -4542 -3262 -3374 -3258 3358 -4278 4382 3662 3494 3522 4090 -3286 -3934 -3190 -4254 -3150 4166 -3530 -4006 -4226 3258 -3562 4138 -4034 -4370 -3394 3358 3990 4094 -3318 -3938 -3334 3254 -4246 -3346 -3698 -3954 -3514 -3818 -4262 -3546 -4450 3718 -4046 -3674 -3730 4394 3294 3530 3490 -3246 4086 -4202 4270 -4194 4502 -4006 -3726 -4142 4078 -3198 -3626 3586 4150 -4346 -3986 -3542 3954 -4242 -3586 4530 -3418 -4186 -3790 -3294 -3334 3958 -4498 3522 -3150 -4542 -4226 3746 3742 4478 -4498 -3802 3190 -4270 4078 -3874 -4542 -3374 -4526 4410 -3626 3750 -3874 -4206 3174 3386 -4274 -3902 3598 -3894 3946 -4542 4542 -4502 -4350 -4418 -3674 -3574 -4478 4046 -4206 3646 -4490 -3842 -3982 -3162 3346 -4090 3150 3786 -3634 3582 3706 -3222 -4098 4218 4022 3606 -3266 3986 -3250 3370 -3858 -4186 -3806 -4262 -3190 3578 -3326 -3682 -4322 -4466 3930 -3258 -3354 4474 -3502 -4542 -3402 -4426 -3502 -3374 -3962 -4542 -3158 -4038 -3410 -4258 -3942 -3618 -3326 -3590 3842 -4482 -3422 3978 4318 -3338 4462 -3586 -3986 4030 3230 4238 -3262 -3246 4118 -3798 -3478 -3342 3810 3686 4066 -4402 -4082 4218 3474 -3278 -4022 -3526 -3410 -3954 4318 -4510 3150 -3170 3734 -4322 -3330 4394 3602 -3482 -3546 3454 -3558 3150 -4502 3870 4182 -3330 4398 4062 -4334 -3774 -3638 4038 3150 -4158 -3390 -3274 -3830 -3714 3846 3530 -3166 -3594 3390 -3310 -3706 3698 -4182 -4014 -3218 3550 -3862 -3966 -3766 -3714 -3850 -4502 -3770 3854 3910 -4298 -3626 -4358 -3322 -4542 -3150 3866 -4318 3466 -3862 -4154 -4166 -3158 -3190 -4130 -4042 3918 3190 4442 -3330 4074 -4006 -3262 -3430 -3994 3602 -4006 -4434 4322 4446 -3582 -4146 -4542 -3382 3766 3754 -3278 -3706 -4514 -3386 -4158 -3430 3614 4386 -3642 -4118 -4450 -3430 4054 -3302 -3510 -3630 3154 3846 -4474 -3714 -4542 4534 3618 -4134 -3598 -3542 4374 3386 3322 3894 3354 -3790 -3202 -4010 3570 -4266 -3782 -4482 -3502 4454 -3714 -3658 -3410 -4402 -3874 -3826 3930 -4258 -4006 3970 -3726 -3290 -3514 -3790 3830 -3886 -3874 3662 -3150 4102 4042 -4066 -3294 -3714 3754 3898 -3574 -3386 4538 3418 -3622 -4106 -3550 -4502 -3802 4402 3250 -3562 -3550 -4230 4302 -3966 -3538 -3574 -4026 -3382 3190 3442 3766 4442 -4066 3354 -3882 -3466 -3210 3254 -3302 -4450 3354 3574 -3198 -3746 3962 -4006 -4006 -3626 -3210 3438 -4266 -3734 3534 -3830 -3802 4242 -3174 -4290 -3578 4046 -4542 3790 -3266 -4542 4466 -3406 -3758 -3630 -4178 -4034 4454 -3326 -3230 3378 -3582 3706 4238 3762 4362 -3310 -3158 3974 -4362 4358 3674 -4374 -3822 4218 3810 3870 4074 -3150 4222 -3846 3934 -3190 3934 -4510 -4490 -4394 -3698 -3926 -3722 -3202 -3562 3322 3174 -4150 -4410 -3150 -4046 -3278 -4206 4470 -3990 -3634 -3842 -3270 -3382 -4242 -4422 -4422 3570 -3842 4094 -3938 -3578 -3574 3354 3314 3814 -3254 4510 -3666 -3894 3366 -3210 4414 -3738 4154 -4106 -3398 4266 -3986 -4090 4078 3458 -3306 -3370 -4354 -3622 3730 -3978 -3730 -3178 -3858 -4466 -4474 4206 -4522 3322 -4422 3254 -4362 3614 3150 3574 3314 -4362 -4134 3206 -4358 -4006 3718 -3842 3642 3638 -3954 4018 -4194 3802 -3702 -3198 -3234 -4358 -4290 -4486 3978 -3502 -4542 3150 -3290 -4542 3274 -3874 -3798 -3614 -4214 4102 -4334 -4030 3602 4090 -3810 4050 -3322 -3634 4302 -3374 -3354 3846 3398 -4010 -3446 3218 3310 -3190 -4066 4266 -3974 -4286 3830 -4282 -4462 -4302 3202 -4430 -3902 -3970 -4362 -4282 -3598 -3266 -3946 -3994 -4426 -3666 -3986 -3270 -3330 -3590 -3622 3486 -4222 4158 -4530 -3234 -4274 3394 -3886 -4226 -4010 -3218 -4014 3718 -4502 -3694 4322 3158 -4302 -4294 4434 4482 -3970 4538 3754 -4542 3366 3626 -4174 -3586 4274 3522 -4014 -4182 3338 3946 3486 -3242 3230 3698 -4026 -3430 3770 -4022 3842 -4502 -3554 -3190 3202 -3838 -3926 -3998 -4502 3190 -3722 -3758 -3326 -4190 -4374 3354 -3698 -3742 3158 4178 3754 -4330 -4542 -3998 3430 3850 4206 -3626 -3762 -3442 3974 -3942 -3810 -3646 3850 3162 3922 -4522 -3994 -4498 3782 -4422 -4422 4406 -4442 3474 -4218 -3306 -3950 -4386 -3442 -4502 3942 4358 -4406 -4102 -4070 -3514 -4482 -3774 -3450 -4542 -3966 3418 3610 3418 -3702 -3830 -3478 -3266 4078 4462 -3622 -4118 -3270 3442 3562 3182 -3214 3434 -3334 -3174 3278 -4214 -4194 3690 -4530 -3862 -4282 3254 -3350 3190 3522 -3554 -3966 -3638 -3170 4138 3530 -3226 4234 -3362 -3442 3754 -4306 3462 3206 4038 -3674 3214 -3218 4526 -4526 -3270 -3582 -3422 -3986 -4146 -4006 3366 -4134 -3762 3934 3362 -3706 4198 4454 4494 3714 3838 4274 -4542 -3578 -3674 -3594 -3306 3166 -4030 -4246 3634 -3598 4174 4474 -4342 4150 -3198 -4322 3722 -4062 4114 4286 -4422 3190 4470 -4542 -3822 3710 -4418 -4494 4346 -4066 4414 -3346 3162 -3382 3682 4046 3330 -4238 3998 4254 -4002 -3206 -4542 -4502 -3502 3250 -4314 -4070 -4430 -4482 -3522 3374 4382 -3618 -4502 -3226 -3326 -3242 -4446 3966 4274 -4382 3758 -3310 -3714 4114 -4146 4454 3550 3606 -4522 -3766 4270 -4502 -3930 -3902 -3794 -3410 3374 4342 -4066 4486 -4478 -3630 3498 -3250 -4482 3782 3222 -3486 4414 -3858 4162 -3314 4218 3402 -3558 -4414 -3798 -4190 -3550 -3482 -3426 -3598 4006 -4362 -3934 -3186 3198 -4194 4074 -4006 -3582 4406 -3226 -3802 -4374 -3258 -3202 -3314 -3930 -3446 3526 4366 3866 -3406 -4094 -3814 -4542 -4306 -4422 3470 -3690 4422 -4334 -3838 -4014 3594 -4042 -3214 -3250 -4378 3194 -4314 4018 -3878 4306 4438 4370 -3974 -3594 -4382 4186 3566 -3810 -3718 -3186 -3406 -3718 3462 -3710 -3718 -4350 3150 
72.51	d NODES 3639
72.51	d CHECKS 80888569
72.51	   
72.51	   totalWckTime=72.27  totalCpuTime=69.62

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/node2/watcher-205613-1168073434 -o ROOT/results/node2/solver-205613-1168073434 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/205613-1168073434/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.51 1.86 1.93 4/93 4077
/proc/meminfo: memFree=996576/2055920 swapFree=4191880/4192956
[pid=4076] ppid=4074 vsize=18540 CPUtime=0
/proc/4076/stat : 4076 (runsolver) R 4074 4076 3953 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 155739554 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 206381313319 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/4076/statm: 4635 279 244 17 0 2626 0

[startup+0.109684 s]
/proc/loadavg: 1.51 1.86 1.93 4/93 4077
/proc/meminfo: memFree=996576/2055920 swapFree=4191880/4192956
[pid=4076] ppid=4074 vsize=914988 CPUtime=0.08
/proc/4076/stat : 4076 (java) R 4074 4076 3953 0 -1 0 2990 0 1 0 7 1 0 0 18 0 8 0 155739554 936947712 2736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153609813 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4076/statm: 228747 2736 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.517759 s]
/proc/loadavg: 1.51 1.86 1.93 4/93 4077
/proc/meminfo: memFree=996576/2055920 swapFree=4191880/4192956
[pid=4076] ppid=4074 vsize=915328 CPUtime=0.49
/proc/4076/stat : 4076 (java) R 4074 4076 3953 0 -1 0 7819 0 1 0 44 5 0 0 18 0 8 0 155739554 937295872 7558 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4154526610 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4076/statm: 228832 7558 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.34591 s]
/proc/loadavg: 1.51 1.86 1.93 4/100 4084
/proc/meminfo: memFree=904424/2055920 swapFree=4191880/4192956
[pid=4076] ppid=4074 vsize=915596 CPUtime=1.31
/proc/4076/stat : 4076 (java) R 4074 4076 3953 0 -1 0 31683 0 1 0 115 16 0 0 17 0 8 0 155739554 937570304 31420 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072932849 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4076/statm: 228899 31420 2160 14 0 215369 0
[pid=4076/tid=4078] ppid=4074 vsize=915596 CPUtime=0.14
/proc/4076/task/4078/stat : 4078 (java) S 4074 4076 3953 0 -1 64 15141 0 0 0 8 6 0 0 16 0 8 0 155739559 937570304 31420 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4076/tid=4079] ppid=4074 vsize=915596 CPUtime=0
/proc/4076/task/4079/stat : 4079 (java) S 4074 4076 3953 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155739559 937570304 31420 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4076/tid=4080] ppid=4074 vsize=915596 CPUtime=0
/proc/4076/task/4080/stat : 4080 (java) S 4074 4076 3953 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155739559 937570304 31420 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4076/tid=4081] ppid=4074 vsize=915596 CPUtime=0
/proc/4076/task/4081/stat : 4081 (java) S 4074 4076 3953 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155739562 937570304 31420 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4076/tid=4082] ppid=4074 vsize=915596 CPUtime=0.17
/proc/4076/task/4082/stat : 4082 (java) R 4074 4076 3953 0 -1 64 409 0 0 0 17 0 0 0 19 0 8 0 155739562 937570304 31420 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4076/tid=4083] ppid=4074 vsize=915596 CPUtime=0
/proc/4076/task/4083/stat : 4083 (java) S 4074 4076 3953 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155739562 937570304 31420 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4076/tid=4084] ppid=4074 vsize=915596 CPUtime=0
/proc/4076/task/4084/stat : 4084 (java) S 4074 4076 3953 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155739562 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.31
Current children cumulated vsize (KiB) 915596

[startup+2.98522 s]
/proc/loadavg: 1.51 1.86 1.93 3/100 4084
/proc/meminfo: memFree=870760/2055920 swapFree=4191880/4192956
[pid=4076] ppid=4074 vsize=915596 CPUtime=2.94
/proc/4076/stat : 4076 (java) R 4074 4076 3953 0 -1 0 34788 0 1 0 276 18 0 0 25 0 8 0 155739554 937570304 34520 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073595820 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4076/statm: 228899 34520 2160 14 0 215369 0
[pid=4076/tid=4078] ppid=4074 vsize=915596 CPUtime=0.33
/proc/4076/task/4078/stat : 4078 (java) S 4074 4076 3953 0 -1 64 18238 0 0 0 25 8 0 0 16 0 8 0 155739559 937570304 34520 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4076/tid=4079] ppid=4074 vsize=915596 CPUtime=0
/proc/4076/task/4079/stat : 4079 (java) S 4074 4076 3953 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155739559 937570304 34520 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4076/tid=4080] ppid=4074 vsize=915596 CPUtime=0
/proc/4076/task/4080/stat : 4080 (java) S 4074 4076 3953 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155739559 937570304 34520 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4076/tid=4081] ppid=4074 vsize=915596 CPUtime=0
/proc/4076/task/4081/stat : 4081 (java) S 4074 4076 3953 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155739562 937570304 34520 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4076/tid=4082] ppid=4074 vsize=915596 CPUtime=0.17
/proc/4076/task/4082/stat : 4082 (java) S 4074 4076 3953 0 -1 64 412 0 0 0 17 0 0 0 19 0 8 0 155739562 937570304 34520 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4076/tid=4083] ppid=4074 vsize=915596 CPUtime=0
/proc/4076/task/4083/stat : 4083 (java) S 4074 4076 3953 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155739562 937570304 34520 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4076/tid=4084] ppid=4074 vsize=915596 CPUtime=0
/proc/4076/task/4084/stat : 4084 (java) S 4074 4076 3953 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155739562 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.94
Current children cumulated vsize (KiB) 915596

[startup+6.27982 s]
/proc/loadavg: 1.55 1.86 1.93 3/100 4084
/proc/meminfo: memFree=864040/2055920 swapFree=4191880/4192956
[pid=4076] ppid=4074 vsize=915732 CPUtime=6.2
/proc/4076/stat : 4076 (java) R 4074 4076 3953 0 -1 0 36787 0 1 0 600 20 0 0 25 0 8 0 155739554 937709568 36516 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073863170 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4076/statm: 228933 36516 2181 14 0 215403 0
[pid=4076/tid=4078] ppid=4074 vsize=915732 CPUtime=0.44
/proc/4076/task/4078/stat : 4078 (java) S 4074 4076 3953 0 -1 64 20137 0 0 0 35 9 0 0 16 0 8 0 155739559 937709568 36516 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4076/tid=4079] ppid=4074 vsize=915732 CPUtime=0
/proc/4076/task/4079/stat : 4079 (java) S 4074 4076 3953 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155739559 937709568 36516 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4076/tid=4080] ppid=4074 vsize=915732 CPUtime=0
/proc/4076/task/4080/stat : 4080 (java) S 4074 4076 3953 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155739559 937709568 36516 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4076/tid=4081] ppid=4074 vsize=915732 CPUtime=0
/proc/4076/task/4081/stat : 4081 (java) S 4074 4076 3953 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155739562 937709568 36516 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4076/tid=4082] ppid=4074 vsize=915732 CPUtime=0.24
/proc/4076/task/4082/stat : 4082 (java) S 4074 4076 3953 0 -1 64 448 0 0 0 23 1 0 0 16 0 8 0 155739562 937709568 36516 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4076/tid=4083] ppid=4074 vsize=915732 CPUtime=0
/proc/4076/task/4083/stat : 4083 (java) S 4074 4076 3953 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155739562 937709568 36516 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4076/tid=4084] ppid=4074 vsize=915732 CPUtime=0
/proc/4076/task/4084/stat : 4084 (java) S 4074 4076 3953 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155739562 937709568 36516 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915732

[startup+12.766 s]
/proc/loadavg: 1.59 1.87 1.93 3/100 4084
/proc/meminfo: memFree=822312/2055920 swapFree=4191880/4192956
[pid=4076] ppid=4074 vsize=915732 CPUtime=12.62
/proc/4076/stat : 4076 (java) R 4074 4076 3953 0 -1 0 59881 0 1 0 1233 29 0 0 25 0 8 0 155739554 937709568 59552 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4076/statm: 228933 59552 2498 14 0 215403 0
[pid=4076/tid=4078] ppid=4074 vsize=915732 CPUtime=1.55
/proc/4076/task/4078/stat : 4078 (java) R 4074 4076 3953 0 -1 64 42839 0 0 0 137 18 0 0 16 0 8 0 155739559 937709568 59552 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153968444 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4076/tid=4079] ppid=4074 vsize=915732 CPUtime=0
/proc/4076/task/4079/stat : 4079 (java) S 4074 4076 3953 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155739559 937709568 59552 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4076/tid=4080] ppid=4074 vsize=915732 CPUtime=0
/proc/4076/task/4080/stat : 4080 (java) S 4074 4076 3953 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155739559 937709568 59552 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4076/tid=4081] ppid=4074 vsize=915732 CPUtime=0
/proc/4076/task/4081/stat : 4081 (java) S 4074 4076 3953 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155739562 937709568 59552 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4076/tid=4082] ppid=4074 vsize=915732 CPUtime=0.28
/proc/4076/task/4082/stat : 4082 (java) S 4074 4076 3953 0 -1 64 472 0 0 0 27 1 0 0 16 0 8 0 155739562 937709568 59552 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4076/tid=4083] ppid=4074 vsize=915732 CPUtime=0
/proc/4076/task/4083/stat : 4083 (java) S 4074 4076 3953 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155739562 937709568 59552 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4076/tid=4084] ppid=4074 vsize=915732 CPUtime=0
/proc/4076/task/4084/stat : 4084 (java) S 4074 4076 3953 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155739562 937709568 59552 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 915732

[startup+25.6132 s]
/proc/loadavg: 1.68 1.87 1.93 3/100 4084
/proc/meminfo: memFree=657000/2055920 swapFree=4191880/4192956
[pid=4076] ppid=4074 vsize=915876 CPUtime=25.41
/proc/4076/stat : 4076 (java) R 4074 4076 3953 0 -1 0 87549 0 1 0 2500 41 0 0 25 0 8 0 155739554 937857024 87212 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073830902 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4076/statm: 228969 87212 2533 14 0 215439 0
[pid=4076/tid=4078] ppid=4074 vsize=915876 CPUtime=1.82
/proc/4076/task/4078/stat : 4078 (java) S 4074 4076 3953 0 -1 64 70333 0 0 0 153 29 0 0 17 0 8 0 155739559 937857024 87212 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4076/tid=4079] ppid=4074 vsize=915876 CPUtime=0
/proc/4076/task/4079/stat : 4079 (java) S 4074 4076 3953 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155739559 937857024 87212 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4076/tid=4080] ppid=4074 vsize=915876 CPUtime=0
/proc/4076/task/4080/stat : 4080 (java) S 4074 4076 3953 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155739559 937857024 87212 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4076/tid=4081] ppid=4074 vsize=915876 CPUtime=0
/proc/4076/task/4081/stat : 4081 (java) S 4074 4076 3953 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155739562 937857024 87212 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4076/tid=4082] ppid=4074 vsize=915876 CPUtime=0.36
/proc/4076/task/4082/stat : 4082 (java) S 4074 4076 3953 0 -1 64 562 0 0 0 35 1 0 0 16 0 8 0 155739562 937857024 87212 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4076/tid=4083] ppid=4074 vsize=915876 CPUtime=0
/proc/4076/task/4083/stat : 4083 (java) S 4074 4076 3953 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155739562 937857024 87212 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4076/tid=4084] ppid=4074 vsize=915876 CPUtime=0
/proc/4076/task/4084/stat : 4084 (java) S 4074 4076 3953 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155739562 937857024 87212 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.41
Current children cumulated vsize (KiB) 915876

[startup+51.2349 s]
/proc/loadavg: 1.79 1.88 1.93 3/100 4084
/proc/meminfo: memFree=657128/2055920 swapFree=4191880/4192956
[pid=4076] ppid=4074 vsize=915876 CPUtime=50.9
/proc/4076/stat : 4076 (java) R 4074 4076 3953 0 -1 0 87552 0 1 0 5049 41 0 0 25 0 8 0 155739554 937857024 87213 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073830917 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4076/statm: 228969 87213 2533 14 0 215439 0
[pid=4076/tid=4078] ppid=4074 vsize=915876 CPUtime=1.82
/proc/4076/task/4078/stat : 4078 (java) S 4074 4076 3953 0 -1 64 70333 0 0 0 153 29 0 0 16 0 8 0 155739559 937857024 87213 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4076/tid=4079] ppid=4074 vsize=915876 CPUtime=0
/proc/4076/task/4079/stat : 4079 (java) S 4074 4076 3953 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155739559 937857024 87213 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4076/tid=4080] ppid=4074 vsize=915876 CPUtime=0
/proc/4076/task/4080/stat : 4080 (java) S 4074 4076 3953 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155739559 937857024 87213 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4076/tid=4081] ppid=4074 vsize=915876 CPUtime=0
/proc/4076/task/4081/stat : 4081 (java) S 4074 4076 3953 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155739562 937857024 87213 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4076/tid=4082] ppid=4074 vsize=915876 CPUtime=0.36
/proc/4076/task/4082/stat : 4082 (java) S 4074 4076 3953 0 -1 64 565 0 0 0 35 1 0 0 16 0 8 0 155739562 937857024 87213 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4076/tid=4083] ppid=4074 vsize=915876 CPUtime=0
/proc/4076/task/4083/stat : 4083 (java) S 4074 4076 3953 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155739562 937857024 87213 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4076/tid=4084] ppid=4074 vsize=915876 CPUtime=0
/proc/4076/task/4084/stat : 4084 (java) S 4074 4076 3953 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155739562 937857024 87213 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.9
Current children cumulated vsize (KiB) 915876

Child status: 0
Real time (s): 72.6053
CPU time (s): 72.15
CPU user time (s): 71.6711
CPU system time (s): 0.478927
CPU usage (%): 99.3729
Max. virtual memory (cumulated for all children) (KiB): 915984

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 71.6711
system time used= 0.478927
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 87604
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= 3204
involuntary context switches= 6196

runsolver used 0.096985 s user time and 0.235964 s system time

The end

Launcher Data (download as text)

Begin job on node2 on Sat Jan  6 08:50:36 UTC 2007


IDJOB= 205613
IDBENCH= 4159
FILE ID= node2/205613-1168073434

PBS_JOBID= 3475768

Free space on /tmp= 66311 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  5318b238b6912c15c6964420425dc325

RANDOM SEED= 815880803

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.259
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.259
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:        996992 kB
Buffers:         73668 kB
Cached:         707588 kB
SwapCached:        268 kB
Active:         427292 kB
Inactive:       534140 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        996992 kB
SwapTotal:     4192956 kB
SwapFree:      4191880 kB
Dirty:            9220 kB
Writeback:           0 kB
Mapped:         208448 kB
Slab:            81892 kB
Committed_AS:  4269740 kB
PageTables:       2660 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= 66311 MiB



End job on node2 on Sat Jan  6 08:51:52 UTC 2007