Trace number 242401

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 ESACSAT 327.909 330.703

DiagnosticValue
CHECKS280928
NODES32356

General information on the benchmark

Namedimacs/ssa/
ssa-6288-047_ext.xml
MD5SUM9f7628fc34eb8cb529901d9ebfd2542c
Bench CategoryN-ARY-EXT (n-ary constraints in extension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1.49477
SatisfiableYES
(Un)Satisfiability was proved
Number of variables10408
Number of constraints23563
Maximum constraint arity6
Maximum domain size2
Number of constraints which are defined in extension23563
Number of constraints which are defined in intension0
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=esac.xml
0.35	   
0.35	   instance
0.35	     name=/tmp/evaluation/242401-1168380552/unknown.xml
0.38	   
0.38	   domains being loaded...
0.39	   
0.39	   variables being loaded...
0.69	     nbVariables=10408  nbDomainTypes=2  minDomainSize=1  maxDomainSize=2
0.69	       =>  wckTime=0.366  cpuTime=0.28  mem=23M466
0.69	   
0.69	   relations being loaded...
0.69	   
0.69	   constraints being loaded...
1.99	     nbConstraints=23563  nbRelationTypes=17  nbSingletonDomainVariables=2  nbExtensionStructures=17
1.99	     nbSharedExtensionStructures=23546  nbConflictsStructures=17  nbSharedConflictsStructures=23546
1.99	     nbSharedBinaryRepresentations=22  maxDegree=16  maxArity=6
1.99	       =>  wckTime=1.669  cpuTime=1.02  mem=113M27
2.25	   
2.25	   solver IterativeSystematicSolver being built... 
3.07	       =>  wckTime=2.754  cpuTime=1.67  mem=148M112
45.74	   
45.74	   INFO : Stopping ESAC
45.75	   
45.75	   preprocessing
45.75	     nbConstraintChecks=41924  nbValidityChecks=11269  nbPropagations=23879  nbRevisions=44147  nbUselessRevisions=36305
45.75	     nbSingletonTests=5668  nbEffectiveSingletonTests=0  nbESACBranches=10  nbRemovedValues=121
45.75	     detectedInconsistency=no
45.75	       =>  wckTime=42.646  cpuTime=42.2  mem=149M113
58.94	   
58.94	   search
58.94	     run=0  nbConstraintChecks=13204  nbValidityChecks=4649  nbPropagations=27408  nbRevisions=57757
58.94	     nbUselessRevisions=46579  nbAssignments=1200  nbFailedAssignments=5  nbBacktracks=28  nbVisitedNodes=1208
58.94	     nbRestartNogoods=0  mapSize=2  nbInferences=0  nbTooLargeKeys=0
58.94	       =>  wckTime=55.85  cpuTime=55.24  mem=152M116
89.51	   
89.51	   search
89.51	     run=1  nbConstraintChecks=47631  nbValidityChecks=22739  nbPropagations=64950  nbRevisions=159359
89.51	     nbUselessRevisions=127697  nbAssignments=4919  nbFailedAssignments=13  nbBacktracks=57  nbVisitedNodes=3323
89.51	     nbRestartNogoods=5  mapSize=3  nbInferences=0  nbTooLargeKeys=0
89.51	       =>  wckTime=86.417  cpuTime=85.47  mem=157M121
330.61	   
330.61	   search
330.61	     run=2  nbConstraintChecks=239004  nbValidityChecks=134745  nbPropagations=160071  nbRevisions=512128
330.61	     nbUselessRevisions=408463  nbAssignments=32356  nbFailedAssignments=26  nbBacktracks=57  nbVisitedNodes=13757
330.61	     nbRestartNogoods=13  mapSize=3  nbInferences=0  nbTooLargeKeys=0
330.61	       =>  wckTime=327.517  cpuTime=324.65  mem=133M800
330.61	   
330.61	   global
330.61	     nbConstraintChecks=280928  nbValidityChecks=146014  nbPropagations=183950  nbRevisions=556275
330.61	     nbUselessRevisions=444768  nbRestartNogoods=13  solvingWckTime=327.519  solvingCpuTime=324.65  expiredTime=no
330.61	     totalExploration=no  nbFoundSolutions=1  globalCpuTime=326.38
330.61	       =>  wckTime=330.289  cpuTime=326.33  mem=133M800
330.62	   
330.62	s SATISFIABLE
330.62	v 0 1 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 1 0 0 0 0 0 1 0 1 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 1 0 1 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 1 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 0 1 0 1 1 1 0 0 0 0 0 0 1 1 1 0 1 0 1 0 1 0 1 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 1 0 0 1 1 1 1 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 1 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 1 1 1 0 1 0 1 1 0 0 0 0 0 0 1 1 0 0 1 0 1 1 0 0 0 0 1 1 0 1 1 0 0 1 1 1 0 0 0 0 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 1 0 0 1 1 1 1 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 1 1 1 1 0 1 1 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 1 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 1 0 0 0 0 0 1 0 1 0 0 0 1 1 1 1 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 0 0 0 1 0 0 1 1 1 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 1 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 1 1 1 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 1 1 0 1 0 0 0 0 1 1 0 0 0 0 0 0 1 0 1 1 0 1 0 0 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 0 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 1 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 1 1 0 1 1 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 1 0 0 0 1 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 1 1 0 0 0 0 0 0 1 1 0 0 0 1 1 1 1 1 0 1 0 0 0 0 1 0 1 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 1 1 0 0 0 1 1 1 1 1 1 0 0 1 1 1 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 1 1 1 0 0 0 0 0 0 1 1 1 0 0 0 0 1 0 0 1 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 1 1 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 1 0 1 1 0 1 0 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 0 0 0 0 0 1 1 0 1 0 0 1 0 0 0 0 0 0 1 1 1 0 0 1 1 0 1 1 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 1 1 0 0 0 1 1 1 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 1 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 1 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 1 1 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 1 1 1 1 0 0 1 1 1 1 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 0 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 1 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 1 1 1 0 0 1 0 1 0 0 0 1 1 0 0 0 1 1 0 1 1 1 1 0 0 0 0 1 0 1 0 0 1 1 0 0 1 0 0 1 1 1 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 1 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 1 0 0 0 0 1 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 1 1 0 0 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 1 0 1 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 1 1 1 0 1 1 0 0 0 0 0 1 1 1 1 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 0 0 0 1 0 1 1 0 1 1 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 1 0 1 1 1 0 1 1 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 1 0 1 1 0 1 0 0 0 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 1 0 1 1 0 1 1 0 0 1 1 0 0 1 1 0 0 1 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 1 1 1 0 0 1 0 0 0 1 1 0 0 0 0 0 1 0 1 1 1 0 1 1 1 1 1 1 0 1 1 1 1 1 0 0 0 0 1 1 1 1 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 1 1 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 0 1 0 1 1 0 0 0 0 1 1 0 1 1 1 1 1 1 0 0 1 0 0 1 0 1 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 1 0 1 0 0 0 0 0 0 1 0 1 1 0 1 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 0 0 0 1 1 1 0 0 0 0 1 0 1 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 1 1 0 1 0 1 0 1 1 0 1 0 0 0 0 1 0 1 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 1 1 1 1 0 0 0 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 0 0 0 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 1 0 1 1 0 0 0 0 0 0 0 1 1 0 1 1 1 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 1 1 1 0 0 0 0 1 0 0 1 1 1 0 1 1 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 0 0 0 0 0 1 0 0 0 0 0 1 1 1 1 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 0 0 0 1 0 1 0 0 0 1 0 1 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 1 0 0 0 1 1 1 0 1 1 0 1 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 0 1 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 1 1 0 0 0 1 0 0 1 1 0 1 1 0 1 0 0 0 0 0 0 1 0 1 0 0 0 1 1 0 0 0 1 1 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 1 0 0 1 1 0 1 1 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 1 1 0 0 0 1 0 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 0 0 0 1 0 1 0 1 1 0 0 1 0 0 1 1 0 0 1 0 0 1 1 1 1 0 0 0 0 0 1 0 0 0 0 0 0 1 1 1 1 0 0 0 1 1 1 1 0 1 0 1 1 0 0 0 0 0 0 1 1 1 0 0 1 0 0 1 1 1 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 0 0 1 1 0 1 1 1 1 1 0 1 0 0 0 0 0 1 1 1 0 0 0 1 0 1 0 0 0 1 1 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 1 0 1 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 1 0 0 1 1 1 1 1 0 0 0 0 0 1 0 0 1 1 1 0 0 1 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 1 0 1 1 0 1 0 0 0 0 1 1 0 1 0 0 1 0 0 1 1 1 1 0 0 0 0 1 1 1 1 0 0 0 1 1 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 1 1 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 1 1 1 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 1 0 1 1 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 0 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 1 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 1 0 0 1 0 1 1 1 0 0 0 0 0 1 0 1 1 0 1 1 0 0 0 1 1 0 1 0 1 1 0 0 0 0 1 1 0 0 1 1 1 1 1 1 1 1 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 1 1 0 1 1 0 1 0 0 0 1 1 0 0 1 0 1 0 0 1 1 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 1 0 1 1 0 1 1 0 0 0 0 0 0 1 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 1 1 1 0 0 1 1 0 0 0 1 0 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 1 1 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 0 1 0 0 0 0 1 1 1 0 0 0 1 0 1 1 1 1 0 1 0 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 1 0 0 0 0 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 0 0 1 0 1 0 0 0 1 0 1 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 1 1 0 1 1 0 1 1 0 1 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 1 1 0 0 0 0 1 0 1 1 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 0 0 0 1 0 1 0 0 0 1 1 0 1 1 0 1 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 1 0 0 0 0 1 1 0 1 1 0 0 1 0 0 1 0 1 0 0 1 1 1 1 0 0 0 1 1 1 0 1 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 1 1 0 0 0 1 1 0 0 0 1 1 1 1 0 0 1 0 0 1 1 1 0 0 0 0 0 1 1 1 0 0 0 0 0 0 1 1 1 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 1 1 1 0 1 1 1 1 0 1 1 0 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 0 0 0 0 1 0 1 1 0 1 1 1 1 1 0 1 0 0 0 1 0 1 1 0 1 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 1 0 1 1 0 1 1 0 1 0 1 0 1 1 0 1 1 0 1 1 0 1 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 1 1 0 0 0 0 0 0 1 0 1 0 0 0 1 0 1 1 0 1 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 1 0 1 1 0 1 0 1 1 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 0 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 1 1 1 0 1 1 1 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 1 0 0 1 1 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 1 0 1 1 0 0 0 1 0 1 0 0 0 1 0 1 1 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 1 1 1 1 0 0 1 1 0 0 1 1 0 1 1 1 1 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 1 1 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 1 1 1 0 0 1 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 1 0 0 1 0 1 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 1 1 0 1 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 0 0 0 1 0 1 1 0 1 1 0 1 1 0 1 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 0 1 0 1 1 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 0 1 0 1 1 0 1 0 1 0 0 0 0 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 1 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 1 0 0 0 1 0 1 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 0 1 0 1 0 1 1 1 1 0 0 1 1 0 1 0 1 0 0 0 0 0 0 1 1 1 1 0 0 1 0 0 0 1 1 1 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 1 1 1 1 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 1 1 0 0 1 1 0 0 1 0 1 1 0 1 1 1 0 0 0 0 0 1 1 0 1 1 0 0 0 1 0 0 0 1 1 1 1 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 1 1 0 1 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 1 0 1 0 0 0 0 0 0 1 0 1 1 0 1 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 1 0 1 1 0 1 0 0 0 1 0 1 1 0 1 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 1 1 1 1 0 0 1 1 0 0 0 0 1 1 0 1 0 1 0 1 1 0 0 1 1 0 1 0 1 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 1 0 1 1 0 0 0 0 1 0 1 0 1 1 1 1 0 0 0 0 0 1 1 0 0 0 0 1 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 0 1 0 1 0 0 0 1 0 1 1 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 1 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 1 0 1 1 0 1 0 0 0 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 1 0 1 0 0 0 0 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 1 0 1 0 0 0 0 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 0 0 0 0 0 1 1 0 1 1 0 1 0 1 0 1 1 0 1 0 1 0 1 1 0 1 0 0 0 0 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 1 0 1 0 0 1 0 1 0 0 0 0 1 0 1 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 1 0 0 1 1 0 1 1 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 1 0 1 0 0 1 1 1 1 0 0 0 1 0 0 1 1 1 0 0 0 0 1 1 0 1 1 0 0 1 0 0 1 1 1 1 0 0 0 0 1 0 0 0 1 0 0 1 1 0 0 1 0 0 1 1 0 0 1 1 1 0 0 0 0 1 0 0 0 1 1 1 1 0 0 0 0 0 1 1 0 0 1 1 1 0 0 1 1 0 0 0 1 1 1 0 0 0 0 0 1 0 1 1 1 0 0 0 0 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 1 0 1 1 0 1 0 0 0 0 1 0 1 1 0 1 0 0 0 1 0 1 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 1 1 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 1 0 1 0 1 1 0 1 1 0 1 1 0 1 0 0 0 0 1 0 1 0 1 0 1 1 1 1 0 1 0 0 1 0 0 1 1 1 0 0 0 1 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 1 1 0 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 1 0 0 1 1 1 1 0 0 0 0 0 1 0 1 1 0 0 0 0 0 1 1 0 1 0 1 1 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 1 1 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 1 1 0 0 1 1 0 1 0 1 1 0 0 0 0 0 0 0 1 1 1 1 0 0 0 1 0 0 1 0 0 0 1 1 1 1 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 1 1 0 0 1 0 1 1 0 0 1 1 1 0 0 0 0 0 1 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 1 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 0 0 0 1 0 1 1 0 1 1 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 0 0 0 1 0 1 0 1 1 1 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 0 1 0 1 1 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 0 0 0 1 0 1 1 0 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 1 0 1 1 0 1 0 0 0 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 0 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 0 0 0 0 0 0 1 0 1 1 0 1 1 1 0 1 1 1 1 0 0 1 1 1 0 0 0 1 1 0 1 0 1 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 1 1 0 1 0 0 1 0 0 0 1 1 1 1 1 1 0 0 0 0 1 1 0 0 0 0 0 0 1 1 1 0 1 0 0 1 0 0 1 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 1 0 0 1 0 1 1 0 0 0 0 0 1 0 0 0 1 1 0 0 1 1 1 0 0 0 0 1 0 0 0 0 1 1 0 0 1 1 0 1 1 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 1 0 1 1 0 0 1 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 1 1 0 1 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 1 0 1 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 1 0 1 1 0 1 0 0 0 0 1 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 1 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 0 0 0 1 1 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 1 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 1 1 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 1 0 0 0 0 1 1 1 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 1 0 1 1 1 0 0 0 0 1 1 1 0 0 0 0 0 1 1 0 1 0 1 1 1 0 0 0 0 1 0 0 1 1 1 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 1 0 0 1 
330.62	d NODES 32356
330.62	d CHECKS 280928
330.62	   
330.62	   totalWckTime=330.377  totalCpuTime=326.39

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/node9/watcher-242401-1168380552 -o ROOT/results/node9/solver-242401-1168380552 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/242401-1168380552/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.29 1.05 1.01 4/94 27797
/proc/meminfo: memFree=1708584/2055920 swapFree=4191880/4192956
[pid=27796] ppid=27794 vsize=47416 CPUtime=0
/proc/27796/stat : 27796 (java) D 27794 27796 26883 0 -1 0 1211 0 1 0 0 0 0 0 17 0 1 0 186450343 48553984 960 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/27796/statm: 11854 960 760 14 0 1707 0

[startup+0.103808 s]
/proc/loadavg: 1.29 1.05 1.01 4/94 27797
/proc/meminfo: memFree=1708584/2055920 swapFree=4191880/4192956
[pid=27796] ppid=27794 vsize=914988 CPUtime=0.08
/proc/27796/stat : 27796 (java) R 27794 27796 26883 0 -1 0 2977 0 1 0 7 1 0 0 17 0 8 0 186450343 936947712 2723 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155586217 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27796/statm: 228747 2723 1422 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.51185 s]
/proc/loadavg: 1.29 1.05 1.01 4/94 27797
/proc/meminfo: memFree=1708584/2055920 swapFree=4191880/4192956
[pid=27796] ppid=27794 vsize=915328 CPUtime=0.49
/proc/27796/stat : 27796 (java) R 27794 27796 26883 0 -1 0 6474 0 1 0 46 3 0 0 18 0 8 0 186450343 937295872 6213 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27796/statm: 228832 6213 2135 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.33495 s]
/proc/loadavg: 1.29 1.05 1.01 4/101 27804
/proc/meminfo: memFree=1646000/2055920 swapFree=4191880/4192956
[pid=27796] ppid=27794 vsize=915616 CPUtime=1.3
/proc/27796/stat : 27796 (java) R 27794 27796 26883 0 -1 0 19855 0 1 0 119 11 0 0 24 0 8 0 186450343 937590784 19592 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072933107 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27796/statm: 228904 19592 2160 14 0 215374 0
[pid=27796/tid=27798] ppid=27794 vsize=915616 CPUtime=0.15
/proc/27796/task/27798/stat : 27798 (java) S 27794 27796 26883 0 -1 64 3301 0 0 0 14 1 0 0 18 0 8 0 186450347 937590784 19592 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27796/tid=27799] ppid=27794 vsize=915616 CPUtime=0
/proc/27796/task/27799/stat : 27799 (java) S 27794 27796 26883 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 186450347 937590784 19592 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27796/tid=27800] ppid=27794 vsize=915616 CPUtime=0
/proc/27796/task/27800/stat : 27800 (java) S 27794 27796 26883 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 186450347 937590784 19592 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27796/tid=27801] ppid=27794 vsize=915616 CPUtime=0
/proc/27796/task/27801/stat : 27801 (java) S 27794 27796 26883 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 186450351 937590784 19592 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27796/tid=27802] ppid=27794 vsize=915616 CPUtime=0.15
/proc/27796/task/27802/stat : 27802 (java) S 27794 27796 26883 0 -1 64 400 0 0 0 15 0 0 0 16 0 8 0 186450351 937590784 19592 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27796/tid=27803] ppid=27794 vsize=915616 CPUtime=0
/proc/27796/task/27803/stat : 27803 (java) S 27794 27796 26883 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 186450351 937590784 19592 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27796/tid=27804] ppid=27794 vsize=915616 CPUtime=0
/proc/27796/task/27804/stat : 27804 (java) R 27794 27796 26883 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 186450351 937590784 19592 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) 915616

[startup+2.98814 s]
/proc/loadavg: 1.29 1.05 1.01 3/101 27804
/proc/meminfo: memFree=1529776/2055920 swapFree=4191880/4192956
[pid=27796] ppid=27794 vsize=915816 CPUtime=2.93
/proc/27796/stat : 27796 (java) R 27794 27796 26883 0 -1 0 48060 0 1 0 267 26 0 0 25 0 8 0 186450343 937795584 47770 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4152174720 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27796/statm: 228954 47770 2509 14 0 215424 0
[pid=27796/tid=27798] ppid=27794 vsize=915816 CPUtime=0.81
/proc/27796/task/27798/stat : 27798 (java) S 27794 27796 26883 0 -1 64 31018 0 0 0 65 16 0 0 16 0 8 0 186450347 937795584 47770 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27796/tid=27799] ppid=27794 vsize=915816 CPUtime=0
/proc/27796/task/27799/stat : 27799 (java) S 27794 27796 26883 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 186450347 937795584 47770 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27796/tid=27800] ppid=27794 vsize=915816 CPUtime=0
/proc/27796/task/27800/stat : 27800 (java) S 27794 27796 26883 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 186450347 937795584 47770 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27796/tid=27801] ppid=27794 vsize=915816 CPUtime=0
/proc/27796/task/27801/stat : 27801 (java) S 27794 27796 26883 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 186450351 937795584 47770 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27796/tid=27802] ppid=27794 vsize=915816 CPUtime=0.26
/proc/27796/task/27802/stat : 27802 (java) S 27794 27796 26883 0 -1 64 475 0 0 0 25 1 0 0 15 0 8 0 186450351 937795584 47770 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27796/tid=27803] ppid=27794 vsize=915816 CPUtime=0
/proc/27796/task/27803/stat : 27803 (java) S 27794 27796 26883 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 186450351 937795584 47770 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27796/tid=27804] ppid=27794 vsize=915816 CPUtime=0
/proc/27796/task/27804/stat : 27804 (java) S 27794 27796 26883 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 186450351 937795584 47770 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) 915816

[startup+6.28251 s]
/proc/loadavg: 1.35 1.07 1.02 3/101 27804
/proc/meminfo: memFree=1524792/2055920 swapFree=4191880/4192956
[pid=27796] ppid=27794 vsize=915816 CPUtime=6.2
/proc/27796/stat : 27796 (java) R 27794 27796 26883 0 -1 0 48120 0 1 0 593 27 0 0 25 0 8 0 186450343 937795584 47828 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074091128 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27796/statm: 228954 47828 2520 14 0 215424 0
[pid=27796/tid=27798] ppid=27794 vsize=915816 CPUtime=0.81
/proc/27796/task/27798/stat : 27798 (java) S 27794 27796 26883 0 -1 64 31018 0 0 0 65 16 0 0 17 0 8 0 186450347 937795584 47828 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27796/tid=27799] ppid=27794 vsize=915816 CPUtime=0
/proc/27796/task/27799/stat : 27799 (java) S 27794 27796 26883 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 186450347 937795584 47828 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27796/tid=27800] ppid=27794 vsize=915816 CPUtime=0
/proc/27796/task/27800/stat : 27800 (java) S 27794 27796 26883 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 186450347 937795584 47828 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27796/tid=27801] ppid=27794 vsize=915816 CPUtime=0
/proc/27796/task/27801/stat : 27801 (java) S 27794 27796 26883 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 186450351 937795584 47828 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27796/tid=27802] ppid=27794 vsize=915816 CPUtime=0.31
/proc/27796/task/27802/stat : 27802 (java) S 27794 27796 26883 0 -1 64 495 0 0 0 30 1 0 0 15 0 8 0 186450351 937795584 47828 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27796/tid=27803] ppid=27794 vsize=915816 CPUtime=0
/proc/27796/task/27803/stat : 27803 (java) S 27794 27796 26883 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 186450351 937795584 47828 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27796/tid=27804] ppid=27794 vsize=915816 CPUtime=0
/proc/27796/task/27804/stat : 27804 (java) S 27794 27796 26883 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 186450351 937795584 47828 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) 915816

[startup+12.7792 s]
/proc/loadavg: 1.40 1.08 1.02 3/101 27804
/proc/meminfo: memFree=1522424/2055920 swapFree=4191880/4192956
[pid=27796] ppid=27794 vsize=915816 CPUtime=12.64
/proc/27796/stat : 27796 (java) R 27794 27796 26883 0 -1 0 48135 0 1 0 1237 27 0 0 25 0 8 0 186450343 937795584 47840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074151119 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27796/statm: 228954 47840 2522 14 0 215424 0
[pid=27796/tid=27798] ppid=27794 vsize=915816 CPUtime=0.81
/proc/27796/task/27798/stat : 27798 (java) S 27794 27796 26883 0 -1 64 31018 0 0 0 65 16 0 0 16 0 8 0 186450347 937795584 47840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27796/tid=27799] ppid=27794 vsize=915816 CPUtime=0
/proc/27796/task/27799/stat : 27799 (java) S 27794 27796 26883 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 186450347 937795584 47840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27796/tid=27800] ppid=27794 vsize=915816 CPUtime=0
/proc/27796/task/27800/stat : 27800 (java) S 27794 27796 26883 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 186450347 937795584 47840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27796/tid=27801] ppid=27794 vsize=915816 CPUtime=0
/proc/27796/task/27801/stat : 27801 (java) S 27794 27796 26883 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 186450351 937795584 47840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27796/tid=27802] ppid=27794 vsize=915816 CPUtime=0.33
/proc/27796/task/27802/stat : 27802 (java) S 27794 27796 26883 0 -1 64 506 0 0 0 31 2 0 0 16 0 8 0 186450351 937795584 47840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27796/tid=27803] ppid=27794 vsize=915816 CPUtime=0
/proc/27796/task/27803/stat : 27803 (java) S 27794 27796 26883 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 186450351 937795584 47840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27796/tid=27804] ppid=27794 vsize=915816 CPUtime=0
/proc/27796/task/27804/stat : 27804 (java) S 27794 27796 26883 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 186450351 937795584 47840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 915816

[startup+25.6307 s]
/proc/loadavg: 1.53 1.13 1.04 3/101 27804
/proc/meminfo: memFree=1518200/2055920 swapFree=4191880/4192956
[pid=27796] ppid=27794 vsize=915816 CPUtime=25.37
/proc/27796/stat : 27796 (java) R 27794 27796 26883 0 -1 0 48141 0 1 0 2509 28 0 0 25 0 8 0 186450343 937795584 47842 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074091195 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27796/statm: 228954 47842 2522 14 0 215424 0
[pid=27796/tid=27798] ppid=27794 vsize=915816 CPUtime=0.81
/proc/27796/task/27798/stat : 27798 (java) S 27794 27796 26883 0 -1 64 31018 0 0 0 65 16 0 0 16 0 8 0 186450347 937795584 47842 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27796/tid=27799] ppid=27794 vsize=915816 CPUtime=0
/proc/27796/task/27799/stat : 27799 (java) S 27794 27796 26883 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 186450347 937795584 47842 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27796/tid=27800] ppid=27794 vsize=915816 CPUtime=0
/proc/27796/task/27800/stat : 27800 (java) S 27794 27796 26883 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 186450347 937795584 47842 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27796/tid=27801] ppid=27794 vsize=915816 CPUtime=0
/proc/27796/task/27801/stat : 27801 (java) S 27794 27796 26883 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 186450351 937795584 47842 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27796/tid=27802] ppid=27794 vsize=915816 CPUtime=0.33
/proc/27796/task/27802/stat : 27802 (java) S 27794 27796 26883 0 -1 64 510 0 0 0 31 2 0 0 15 0 8 0 186450351 937795584 47842 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27796/tid=27803] ppid=27794 vsize=915816 CPUtime=0
/proc/27796/task/27803/stat : 27803 (java) S 27794 27796 26883 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 186450351 937795584 47842 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27796/tid=27804] ppid=27794 vsize=915816 CPUtime=0
/proc/27796/task/27804/stat : 27804 (java) S 27794 27796 26883 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 186450351 937795584 47842 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) 915816

[startup+51.2706 s]
/proc/loadavg: 1.76 1.21 1.07 3/101 27804
/proc/meminfo: memFree=1511544/2055920 swapFree=4191880/4192956
[pid=27796] ppid=27794 vsize=915816 CPUtime=50.77
/proc/27796/stat : 27796 (java) R 27794 27796 26883 0 -1 0 48151 0 1 0 5049 28 0 0 25 0 8 0 186450343 937795584 47851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074086816 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27796/statm: 228954 47851 2523 14 0 215424 0
[pid=27796/tid=27798] ppid=27794 vsize=915816 CPUtime=0.81
/proc/27796/task/27798/stat : 27798 (java) S 27794 27796 26883 0 -1 64 31018 0 0 0 65 16 0 0 16 0 8 0 186450347 937795584 47851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27796/tid=27799] ppid=27794 vsize=915816 CPUtime=0
/proc/27796/task/27799/stat : 27799 (java) S 27794 27796 26883 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 186450347 937795584 47851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27796/tid=27800] ppid=27794 vsize=915816 CPUtime=0
/proc/27796/task/27800/stat : 27800 (java) S 27794 27796 26883 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 186450347 937795584 47851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27796/tid=27801] ppid=27794 vsize=915816 CPUtime=0
/proc/27796/task/27801/stat : 27801 (java) S 27794 27796 26883 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 186450351 937795584 47851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27796/tid=27802] ppid=27794 vsize=915816 CPUtime=0.35
/proc/27796/task/27802/stat : 27802 (java) S 27794 27796 26883 0 -1 64 518 0 0 0 33 2 0 0 15 0 8 0 186450351 937795584 47851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27796/tid=27803] ppid=27794 vsize=915816 CPUtime=0
/proc/27796/task/27803/stat : 27803 (java) S 27794 27796 26883 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 186450351 937795584 47851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27796/tid=27804] ppid=27794 vsize=915816 CPUtime=0
/proc/27796/task/27804/stat : 27804 (java) S 27794 27796 26883 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 186450351 937795584 47851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.77
Current children cumulated vsize (KiB) 915816

[startup+102.545 s]
/proc/loadavg: 1.89 1.33 1.11 3/101 27813
/proc/meminfo: memFree=1543736/2055920 swapFree=4191880/4192956
[pid=27796] ppid=27794 vsize=915816 CPUtime=101.52
/proc/27796/stat : 27796 (java) R 27794 27796 26883 0 -1 0 48170 0 1 0 10123 29 0 0 25 0 8 0 186450343 937795584 47864 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074142782 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27796/statm: 228954 47864 2523 14 0 215424 0
[pid=27796/tid=27798] ppid=27794 vsize=915816 CPUtime=0.81
/proc/27796/task/27798/stat : 27798 (java) S 27794 27796 26883 0 -1 64 31018 0 0 0 65 16 0 0 16 0 8 0 186450347 937795584 47864 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27796/tid=27799] ppid=27794 vsize=915816 CPUtime=0
/proc/27796/task/27799/stat : 27799 (java) S 27794 27796 26883 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 186450347 937795584 47864 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27796/tid=27800] ppid=27794 vsize=915816 CPUtime=0
/proc/27796/task/27800/stat : 27800 (java) S 27794 27796 26883 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 186450347 937795584 47864 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27796/tid=27801] ppid=27794 vsize=915816 CPUtime=0
/proc/27796/task/27801/stat : 27801 (java) S 27794 27796 26883 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 186450351 937795584 47864 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27796/tid=27802] ppid=27794 vsize=915816 CPUtime=0.37
/proc/27796/task/27802/stat : 27802 (java) S 27794 27796 26883 0 -1 64 532 0 0 0 35 2 0 0 16 0 8 0 186450351 937795584 47864 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27796/tid=27803] ppid=27794 vsize=915816 CPUtime=0
/proc/27796/task/27803/stat : 27803 (java) S 27794 27796 26883 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 186450351 937795584 47864 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27796/tid=27804] ppid=27794 vsize=915816 CPUtime=0
/proc/27796/task/27804/stat : 27804 (java) S 27794 27796 26883 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 186450351 937795584 47864 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.52
Current children cumulated vsize (KiB) 915816

[startup+162.569 s]
/proc/loadavg: 1.96 1.45 1.17 3/101 27813
/proc/meminfo: memFree=1526200/2055920 swapFree=4191880/4192956
[pid=27796] ppid=27794 vsize=915816 CPUtime=160.99
/proc/27796/stat : 27796 (java) R 27794 27796 26883 0 -1 0 48170 0 1 0 16070 29 0 0 25 0 8 0 186450343 937795584 47864 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074086814 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27796/statm: 228954 47864 2523 14 0 215424 0
[pid=27796/tid=27798] ppid=27794 vsize=915816 CPUtime=0.81
/proc/27796/task/27798/stat : 27798 (java) S 27794 27796 26883 0 -1 64 31018 0 0 0 65 16 0 0 16 0 8 0 186450347 937795584 47864 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27796/tid=27799] ppid=27794 vsize=915816 CPUtime=0
/proc/27796/task/27799/stat : 27799 (java) S 27794 27796 26883 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 186450347 937795584 47864 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27796/tid=27800] ppid=27794 vsize=915816 CPUtime=0
/proc/27796/task/27800/stat : 27800 (java) S 27794 27796 26883 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 186450347 937795584 47864 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27796/tid=27801] ppid=27794 vsize=915816 CPUtime=0
/proc/27796/task/27801/stat : 27801 (java) S 27794 27796 26883 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 186450351 937795584 47864 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27796/tid=27802] ppid=27794 vsize=915816 CPUtime=0.37
/proc/27796/task/27802/stat : 27802 (java) S 27794 27796 26883 0 -1 64 532 0 0 0 35 2 0 0 16 0 8 0 186450351 937795584 47864 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27796/tid=27803] ppid=27794 vsize=915816 CPUtime=0
/proc/27796/task/27803/stat : 27803 (java) S 27794 27796 26883 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 186450351 937795584 47864 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27796/tid=27804] ppid=27794 vsize=915816 CPUtime=0
/proc/27796/task/27804/stat : 27804 (java) S 27794 27796 26883 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 186450351 937795584 47864 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 160.99
Current children cumulated vsize (KiB) 915816

[startup+222.6 s]
/proc/loadavg: 1.98 1.55 1.21 3/101 27813
/proc/meminfo: memFree=1500920/2055920 swapFree=4191880/4192956
[pid=27796] ppid=27794 vsize=915816 CPUtime=220.44
/proc/27796/stat : 27796 (java) R 27794 27796 26883 0 -1 0 50201 0 1 0 22014 30 0 0 25 0 8 0 186450343 937795584 49894 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074187644 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27796/statm: 228954 49894 2523 14 0 215424 0
[pid=27796/tid=27798] ppid=27794 vsize=915816 CPUtime=0.88
/proc/27796/task/27798/stat : 27798 (java) S 27794 27796 26883 0 -1 64 33048 0 0 0 71 17 0 0 16 0 8 0 186450347 937795584 49894 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27796/tid=27799] ppid=27794 vsize=915816 CPUtime=0
/proc/27796/task/27799/stat : 27799 (java) S 27794 27796 26883 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 186450347 937795584 49894 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27796/tid=27800] ppid=27794 vsize=915816 CPUtime=0
/proc/27796/task/27800/stat : 27800 (java) S 27794 27796 26883 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 186450347 937795584 49894 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27796/tid=27801] ppid=27794 vsize=915816 CPUtime=0
/proc/27796/task/27801/stat : 27801 (java) S 27794 27796 26883 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 186450351 937795584 49894 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27796/tid=27802] ppid=27794 vsize=915816 CPUtime=0.37
/proc/27796/task/27802/stat : 27802 (java) S 27794 27796 26883 0 -1 64 532 0 0 0 35 2 0 0 16 0 8 0 186450351 937795584 49894 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27796/tid=27803] ppid=27794 vsize=915816 CPUtime=0
/proc/27796/task/27803/stat : 27803 (java) S 27794 27796 26883 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 186450351 937795584 49894 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27796/tid=27804] ppid=27794 vsize=915816 CPUtime=0
/proc/27796/task/27804/stat : 27804 (java) S 27794 27796 26883 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 186450351 937795584 49894 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 220.44
Current children cumulated vsize (KiB) 915816

[startup+282.635 s]
/proc/loadavg: 2.04 1.64 1.27 3/101 27885
/proc/meminfo: memFree=1512736/2055920 swapFree=4191880/4192956
[pid=27796] ppid=27794 vsize=915816 CPUtime=280.15
/proc/27796/stat : 27796 (java) R 27794 27796 26883 0 -1 0 50202 0 1 0 27983 32 0 0 25 0 8 0 186450343 937795584 49895 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074186615 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27796/statm: 228954 49895 2523 14 0 215424 0
[pid=27796/tid=27798] ppid=27794 vsize=915816 CPUtime=0.88
/proc/27796/task/27798/stat : 27798 (java) S 27794 27796 26883 0 -1 64 33048 0 0 0 71 17 0 0 16 0 8 0 186450347 937795584 49895 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27796/tid=27799] ppid=27794 vsize=915816 CPUtime=0
/proc/27796/task/27799/stat : 27799 (java) S 27794 27796 26883 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 186450347 937795584 49895 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27796/tid=27800] ppid=27794 vsize=915816 CPUtime=0
/proc/27796/task/27800/stat : 27800 (java) S 27794 27796 26883 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 186450347 937795584 49895 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27796/tid=27801] ppid=27794 vsize=915816 CPUtime=0
/proc/27796/task/27801/stat : 27801 (java) S 27794 27796 26883 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 186450351 937795584 49895 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27796/tid=27802] ppid=27794 vsize=915816 CPUtime=0.37
/proc/27796/task/27802/stat : 27802 (java) S 27794 27796 26883 0 -1 64 532 0 0 0 35 2 0 0 16 0 8 0 186450351 937795584 49895 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27796/tid=27803] ppid=27794 vsize=915816 CPUtime=0
/proc/27796/task/27803/stat : 27803 (java) S 27794 27796 26883 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 186450351 937795584 49895 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27796/tid=27804] ppid=27794 vsize=915816 CPUtime=0
/proc/27796/task/27804/stat : 27804 (java) S 27794 27796 26883 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 186450351 937795584 49895 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 280.15
Current children cumulated vsize (KiB) 915816

Child status: 0
Real time (s): 330.703
CPU time (s): 327.909
CPU user time (s): 327.554
CPU system time (s): 0.354946
CPU usage (%): 99.1551
Max. virtual memory (cumulated for all children) (KiB): 915816

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 327.554
system time used= 0.354946
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50217
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= 8311
involuntary context switches= 14524

runsolver used 0.509922 s user time and 1.11083 s system time

The end

Launcher Data (download as text)

Begin job on node9 on Tue Jan  9 22:09:12 UTC 2007


IDJOB= 242401
IDBENCH= 7390
FILE ID= node9/242401-1168380552

PBS_JOBID= 3522380

Free space on /tmp= 66540 MiB

BENCH NAME= HOME/pub/bench/CPAI06/dimacs/ssa/ssa-6288-047_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/242401-1168380552/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node9/watcher-242401-1168380552 -o ROOT/results/node9/solver-242401-1168380552 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/242401-1168380552/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  9f7628fc34eb8cb529901d9ebfd2542c

RANDOM SEED= 931189888

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.231
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.231
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:       1709064 kB
Buffers:         47584 kB
Cached:         170560 kB
SwapCached:        408 kB
Active:         210528 kB
Inactive:        89592 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1709064 kB
SwapTotal:     4192956 kB
SwapFree:      4191880 kB
Dirty:            9576 kB
Writeback:           0 kB
Mapped:         102384 kB
Slab:            31340 kB
Committed_AS:  6906936 kB
PageTables:       2456 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= 66540 MiB



End job on node9 on Tue Jan  9 22:14:43 UTC 2007