Trace number 205716

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.0494 50.5398

DiagnosticValue
CHECKS47908624
NODES3001

General information on the benchmark

Namefapp/fapp36-40/fapp40/
fapp40-3000-4.xml
MD5SUMfa5d20aaa304c41f344fcec6a220c998
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.0494
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables3000
Number of constraints53548
Maximum constraint arity2
Maximum domain size698
Number of constraints which are defined in extension0
Number of constraints which are defined in intension53548
Global constraints used (with number of constraints)

Solver Data (download as text)

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

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/node4/watcher-205716-1168073443 -o ROOT/results/node4/solver-205716-1168073443 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/205716-1168073443/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.27 1.74 1.87 4/93 11607
/proc/meminfo: memFree=1144008/2055920 swapFree=4191880/4192956
[pid=11606] ppid=11604 vsize=9748 CPUtime=0
/proc/11606/stat : 11606 (java) R 11604 11606 11483 0 -1 0 637 0 0 0 0 0 0 0 18 0 1 0 155740209 9981952 412 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 10588964 0 2147483391 0 7368 0 0 0 17 1 0 0
/proc/11606/statm: 2437 412 333 14 0 1140 0

[startup+0.104232 s]
/proc/loadavg: 1.27 1.74 1.87 4/93 11607
/proc/meminfo: memFree=1144008/2055920 swapFree=4191880/4192956
[pid=11606] ppid=11604 vsize=914988 CPUtime=0.09
/proc/11606/stat : 11606 (java) R 11604 11606 11483 0 -1 0 2996 0 1 0 7 2 0 0 18 0 8 0 155740209 936947712 2742 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072941836 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11606/statm: 228747 2742 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.513262 s]
/proc/loadavg: 1.27 1.74 1.87 4/93 11607
/proc/meminfo: memFree=1144008/2055920 swapFree=4191880/4192956
[pid=11606] ppid=11604 vsize=915328 CPUtime=0.49
/proc/11606/stat : 11606 (java) R 11604 11606 11483 0 -1 0 7987 0 1 0 44 5 0 0 18 0 8 0 155740209 937295872 7726 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11606/statm: 228832 7726 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.33435 s]
/proc/loadavg: 1.27 1.74 1.87 4/100 11614
/proc/meminfo: memFree=1051984/2055920 swapFree=4191880/4192956
[pid=11606] ppid=11604 vsize=915596 CPUtime=1.3
/proc/11606/stat : 11606 (java) R 11604 11606 11483 0 -1 0 31684 0 1 0 113 17 0 0 23 0 8 0 155740209 937570304 31421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073626627 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11606/statm: 228899 31421 2160 14 0 215369 0
[pid=11606/tid=11608] ppid=11604 vsize=915596 CPUtime=0.13
/proc/11606/task/11608/stat : 11608 (java) S 11604 11606 11483 0 -1 64 15141 0 0 0 8 5 0 0 16 0 8 0 155740213 937570304 31421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11606/tid=11609] ppid=11604 vsize=915596 CPUtime=0
/proc/11606/task/11609/stat : 11609 (java) S 11604 11606 11483 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155740213 937570304 31421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11606/tid=11610] ppid=11604 vsize=915596 CPUtime=0
/proc/11606/task/11610/stat : 11610 (java) S 11604 11606 11483 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155740213 937570304 31421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11606/tid=11611] ppid=11604 vsize=915596 CPUtime=0
/proc/11606/task/11611/stat : 11611 (java) S 11604 11606 11483 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155740217 937570304 31421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11606/tid=11612] ppid=11604 vsize=915596 CPUtime=0.17
/proc/11606/task/11612/stat : 11612 (java) S 11604 11606 11483 0 -1 64 409 0 0 0 16 1 0 0 16 0 8 0 155740217 937570304 31421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11606/tid=11613] ppid=11604 vsize=915596 CPUtime=0
/proc/11606/task/11613/stat : 11613 (java) S 11604 11606 11483 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155740217 937570304 31421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11606/tid=11614] ppid=11604 vsize=915596 CPUtime=0
/proc/11606/task/11614/stat : 11614 (java) S 11604 11606 11483 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155740217 937570304 31421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915596

[startup+2.9715 s]
/proc/loadavg: 1.27 1.74 1.87 3/100 11614
/proc/meminfo: memFree=1018384/2055920 swapFree=4191880/4192956
[pid=11606] ppid=11604 vsize=915596 CPUtime=2.93
/proc/11606/stat : 11606 (java) R 11604 11606 11483 0 -1 0 34790 0 1 0 274 19 0 0 25 0 8 0 155740209 937570304 34522 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073602970 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11606/statm: 228899 34522 2161 14 0 215369 0
[pid=11606/tid=11608] ppid=11604 vsize=915596 CPUtime=0.31
/proc/11606/task/11608/stat : 11608 (java) S 11604 11606 11483 0 -1 64 18239 0 0 0 25 6 0 0 16 0 8 0 155740213 937570304 34522 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11606/tid=11609] ppid=11604 vsize=915596 CPUtime=0
/proc/11606/task/11609/stat : 11609 (java) S 11604 11606 11483 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155740213 937570304 34522 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11606/tid=11610] ppid=11604 vsize=915596 CPUtime=0
/proc/11606/task/11610/stat : 11610 (java) S 11604 11606 11483 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155740213 937570304 34522 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11606/tid=11611] ppid=11604 vsize=915596 CPUtime=0
/proc/11606/task/11611/stat : 11611 (java) S 11604 11606 11483 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155740217 937570304 34522 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11606/tid=11612] ppid=11604 vsize=915596 CPUtime=0.17
/proc/11606/task/11612/stat : 11612 (java) S 11604 11606 11483 0 -1 64 412 0 0 0 16 1 0 0 16 0 8 0 155740217 937570304 34522 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11606/tid=11613] ppid=11604 vsize=915596 CPUtime=0
/proc/11606/task/11613/stat : 11613 (java) S 11604 11606 11483 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155740217 937570304 34522 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11606/tid=11614] ppid=11604 vsize=915596 CPUtime=0
/proc/11606/task/11614/stat : 11614 (java) S 11604 11606 11483 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155740217 937570304 34522 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915596

[startup+6.26381 s]
/proc/loadavg: 1.33 1.75 1.87 3/100 11614
/proc/meminfo: memFree=1011600/2055920 swapFree=4191880/4192956
[pid=11606] ppid=11604 vsize=915732 CPUtime=6.19
/proc/11606/stat : 11606 (java) R 11604 11606 11483 0 -1 0 36790 0 1 0 598 21 0 0 25 0 8 0 155740209 937709568 36519 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073580750 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11606/statm: 228933 36519 2182 14 0 215403 0
[pid=11606/tid=11608] ppid=11604 vsize=915732 CPUtime=0.42
/proc/11606/task/11608/stat : 11608 (java) S 11604 11606 11483 0 -1 64 20138 0 0 0 35 7 0 0 16 0 8 0 155740213 937709568 36519 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11606/tid=11609] ppid=11604 vsize=915732 CPUtime=0
/proc/11606/task/11609/stat : 11609 (java) S 11604 11606 11483 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155740213 937709568 36519 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11606/tid=11610] ppid=11604 vsize=915732 CPUtime=0
/proc/11606/task/11610/stat : 11610 (java) S 11604 11606 11483 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155740213 937709568 36519 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11606/tid=11611] ppid=11604 vsize=915732 CPUtime=0
/proc/11606/task/11611/stat : 11611 (java) S 11604 11606 11483 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155740217 937709568 36519 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11606/tid=11612] ppid=11604 vsize=915732 CPUtime=0.23
/proc/11606/task/11612/stat : 11612 (java) S 11604 11606 11483 0 -1 64 449 0 0 0 22 1 0 0 15 0 8 0 155740217 937709568 36519 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11606/tid=11613] ppid=11604 vsize=915732 CPUtime=0
/proc/11606/task/11613/stat : 11613 (java) S 11604 11606 11483 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155740217 937709568 36519 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11606/tid=11614] ppid=11604 vsize=915732 CPUtime=0
/proc/11606/task/11614/stat : 11614 (java) S 11604 11606 11483 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155740217 937709568 36519 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915732

[startup+12.7464 s]
/proc/loadavg: 1.39 1.75 1.88 3/100 11614
/proc/meminfo: memFree=948368/2055920 swapFree=4191880/4192956
[pid=11606] ppid=11604 vsize=915732 CPUtime=12.6
/proc/11606/stat : 11606 (java) R 11604 11606 11483 0 -1 0 66459 0 1 0 1227 33 0 0 25 0 8 0 155740209 937709568 66130 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074021285 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11606/statm: 228933 66130 2498 14 0 215403 0
[pid=11606/tid=11608] ppid=11604 vsize=915732 CPUtime=1.57
/proc/11606/task/11608/stat : 11608 (java) S 11604 11606 11483 0 -1 64 49415 0 0 0 138 19 0 0 16 0 8 0 155740213 937709568 66130 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11606/tid=11609] ppid=11604 vsize=915732 CPUtime=0
/proc/11606/task/11609/stat : 11609 (java) S 11604 11606 11483 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155740213 937709568 66130 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11606/tid=11610] ppid=11604 vsize=915732 CPUtime=0
/proc/11606/task/11610/stat : 11610 (java) S 11604 11606 11483 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155740213 937709568 66130 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11606/tid=11611] ppid=11604 vsize=915732 CPUtime=0
/proc/11606/task/11611/stat : 11611 (java) S 11604 11606 11483 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155740217 937709568 66130 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11606/tid=11612] ppid=11604 vsize=915732 CPUtime=0.27
/proc/11606/task/11612/stat : 11612 (java) S 11604 11606 11483 0 -1 64 473 0 0 0 26 1 0 0 15 0 8 0 155740217 937709568 66130 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11606/tid=11613] ppid=11604 vsize=915732 CPUtime=0
/proc/11606/task/11613/stat : 11613 (java) S 11604 11606 11483 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155740217 937709568 66130 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11606/tid=11614] ppid=11604 vsize=915732 CPUtime=0
/proc/11606/task/11614/stat : 11614 (java) S 11604 11606 11483 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155740217 937709568 66130 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 915732

[startup+25.6297 s]
/proc/loadavg: 1.52 1.76 1.88 3/100 11614
/proc/meminfo: memFree=804432/2055920 swapFree=4191880/4192956
[pid=11606] ppid=11604 vsize=915876 CPUtime=25.37
/proc/11606/stat : 11606 (java) R 11604 11606 11483 0 -1 0 87589 0 1 0 2495 42 0 0 25 0 8 0 155740209 937857024 87253 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073830931 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11606/statm: 228969 87253 2533 14 0 215439 0
[pid=11606/tid=11608] ppid=11604 vsize=915876 CPUtime=1.76
/proc/11606/task/11608/stat : 11608 (java) S 11604 11606 11483 0 -1 64 70372 0 0 0 149 27 0 0 16 0 8 0 155740213 937857024 87253 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11606/tid=11609] ppid=11604 vsize=915876 CPUtime=0
/proc/11606/task/11609/stat : 11609 (java) S 11604 11606 11483 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155740213 937857024 87253 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11606/tid=11610] ppid=11604 vsize=915876 CPUtime=0
/proc/11606/task/11610/stat : 11610 (java) S 11604 11606 11483 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155740213 937857024 87253 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11606/tid=11611] ppid=11604 vsize=915876 CPUtime=0
/proc/11606/task/11611/stat : 11611 (java) S 11604 11606 11483 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155740217 937857024 87253 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11606/tid=11612] ppid=11604 vsize=915876 CPUtime=0.36
/proc/11606/task/11612/stat : 11612 (java) S 11604 11606 11483 0 -1 64 562 0 0 0 35 1 0 0 16 0 8 0 155740217 937857024 87253 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11606/tid=11613] ppid=11604 vsize=915876 CPUtime=0
/proc/11606/task/11613/stat : 11613 (java) S 11604 11606 11483 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155740217 937857024 87253 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11606/tid=11614] ppid=11604 vsize=915876 CPUtime=0
/proc/11606/task/11614/stat : 11614 (java) S 11604 11606 11483 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155740217 937857024 87253 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 915876

Child status: 0
Real time (s): 50.5398
CPU time (s): 50.0494
CPU user time (s): 49.5625
CPU system time (s): 0.486925
CPU usage (%): 99.0296
Max. virtual memory (cumulated for all children) (KiB): 915984

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 49.5625
system time used= 0.486925
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 87634
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= 2869
involuntary context switches= 4432

runsolver used 0.06399 s user time and 0.171973 s system time

The end

Launcher Data (download as text)

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


IDJOB= 205716
IDBENCH= 4165
FILE ID= node4/205716-1168073443

PBS_JOBID= 3475769

Free space on /tmp= 66299 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  fa5d20aaa304c41f344fcec6a220c998

RANDOM SEED= 972023801

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.223
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.223
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:       1144488 kB
Buffers:         73720 kB
Cached:         658304 kB
SwapCached:        268 kB
Active:         456140 kB
Inactive:       359112 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1144488 kB
SwapTotal:     4192956 kB
SwapFree:      4191880 kB
Dirty:            9408 kB
Writeback:           0 kB
Mapped:         111512 kB
Slab:            80700 kB
Committed_AS:  4530812 kB
PageTables:       2516 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= 66299 MiB



End job on node4 on Sat Jan  6 08:51:37 UTC 2007