Trace number 252530

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 239.695 239.946

DiagnosticValue
CHECKS77550261
NODES37781

General information on the benchmark

NamesocialGolfers/
socialGolfer-6-4-8.xml
MD5SUMaaf8b5330dc32e7696d08f880e11996b
Bench CategoryN-ARY-INT (n-ary constraints in intension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark239.695
SatisfiableYES
(Un)Satisfiability was proved
Number of variables4512
Number of constraints24544
Maximum constraint arity32
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension24544
Global constraints used (with number of constraints)

Solver Data (download as text)

0.29	   
0.29	Abscon 109 (November, 2006)
0.29	   
0.29	   configuration
0.29	     name=mac.xml
0.32	   
0.32	   instance
0.32	     name=/tmp/evaluation/252530-1168087100/unknown.xml
0.35	   
0.35	   domains being loaded...
0.35	   
0.35	   variables being loaded...
0.50	     nbVariables=4512  nbDomainTypes=1  minDomainSize=2  maxDomainSize=2
0.50	       =>  wckTime=0.207  cpuTime=0.14  mem=8M836
0.50	   
0.50	   predicates being loaded...
0.51	   
0.51	   constraints being loaded...
3.33	     nbConstraints=24544  nbConflictsStructures=3  nbSharedConflictsStructures=24493  nbUnbuiltConflictsStructures=1
3.33	     nbSharedBinaryRepresentations=0  nbEvaluationManagers=4  nbSharedEvaluationManagers=24540  maxDegree=33
3.33	     maxArity=32
3.33	       =>  wckTime=3.036  cpuTime=2.58  mem=49M244
3.55	   
3.55	   solver IterativeSystematicSolver being built... 
4.31	       =>  wckTime=4.018  cpuTime=3.17  mem=65M880
4.39	   
4.39	   preprocessing
4.39	     nbConstraintChecks=0  nbPropagations=4512  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
4.39	     detectedInconsistency=no
4.39	       =>  wckTime=0.063  cpuTime=0.06  mem=68M900
4.70	   
4.70	   search
4.70	     run=0  nbConstraintChecks=834  nbValidityChecks=1154  nbPropagations=4801  nbRevisions=960  nbUselessRevisions=794
4.70	     nbAssignments=144  nbFailedAssignments=4  nbBacktracks=11  nbVisitedNodes=152  nbRestartNogoods=0  mapSize=6
4.70	     nbInferences=0  nbTooLargeKeys=0
4.70	       =>  wckTime=0.379  cpuTime=0.34  mem=68M900
5.03	   
5.03	   search
5.03	     run=1  nbConstraintChecks=2512  nbValidityChecks=3521  nbPropagations=10112  nbRevisions=3872
5.03	     nbUselessRevisions=3173  nbAssignments=341  nbFailedAssignments=8  nbBacktracks=30  nbVisitedNodes=362
5.03	     nbRestartNogoods=1  mapSize=18  nbInferences=0  nbTooLargeKeys=0
5.03	       =>  wckTime=0.713  cpuTime=0.67  mem=68M900
5.44	   
5.44	   search
5.44	     run=2  nbConstraintChecks=4819  nbValidityChecks=7031  nbPropagations=16097  nbRevisions=9737
5.44	     nbUselessRevisions=8032  nbAssignments=592  nbFailedAssignments=14  nbBacktracks=53  nbVisitedNodes=628
5.44	     nbRestartNogoods=2  mapSize=31  nbInferences=0  nbTooLargeKeys=0
5.44	       =>  wckTime=1.124  cpuTime=1.08  mem=68M900
5.95	   
5.95	   search
5.95	     run=3  nbConstraintChecks=7995  nbValidityChecks=12190  nbPropagations=22962  nbRevisions=20038
5.95	     nbUselessRevisions=16721  nbAssignments=902  nbFailedAssignments=21  nbBacktracks=89  nbVisitedNodes=954
5.95	     nbRestartNogoods=4  mapSize=45  nbInferences=0  nbTooLargeKeys=0
5.95	       =>  wckTime=1.635  cpuTime=1.58  mem=68M900
6.57	   
6.57	   search
6.57	     run=4  nbConstraintChecks=12824  nbValidityChecks=19978  nbPropagations=31100  nbRevisions=37174
6.58	     nbUselessRevisions=31290  nbAssignments=1289  nbFailedAssignments=30  nbBacktracks=148  nbVisitedNodes=1366
6.58	     nbRestartNogoods=6  mapSize=67  nbInferences=0  nbTooLargeKeys=0
6.58	       =>  wckTime=2.257  cpuTime=2.2  mem=69M906
7.32	   
7.32	   search
7.32	     run=5  nbConstraintChecks=18950  nbValidityChecks=29818  nbPropagations=40740  nbRevisions=62986
7.32	     nbUselessRevisions=53396  nbAssignments=1746  nbFailedAssignments=41  nbBacktracks=234  nbVisitedNodes=1850
7.32	     nbRestartNogoods=9  mapSize=93  nbInferences=0  nbTooLargeKeys=0
7.32	       =>  wckTime=3.005  cpuTime=2.93  mem=69M906
41.28	   
41.28	   search
41.28	     run=6  nbConstraintChecks=13671194  nbValidityChecks=53598  nbPropagations=53352  nbRevisions=113380
41.28	     nbUselessRevisions=97409  nbAssignments=2444  nbFailedAssignments=60  nbBacktracks=372  nbVisitedNodes=2614
41.28	     nbRestartNogoods=10  mapSize=156  nbInferences=0  nbTooLargeKeys=0
41.28	       =>  wckTime=36.96  cpuTime=36.85  mem=70M913
88.33	   
88.33	   search
88.33	     run=7  nbConstraintChecks=31637672  nbValidityChecks=179892  nbPropagations=73270  nbRevisions=283345
88.33	     nbUselessRevisions=254440  nbAssignments=4096  nbFailedAssignments=102  nbBacktracks=552  nbVisitedNodes=4346
88.33	     nbRestartNogoods=15  mapSize=215  nbInferences=0  nbTooLargeKeys=0
88.33	       =>  wckTime=84.017  cpuTime=83.88  mem=76M952
190.14	   
190.14	   search
190.14	     run=8  nbConstraintChecks=74074288  nbValidityChecks=249044  nbPropagations=97704  nbRevisions=513782
190.14	     nbUselessRevisions=468577  nbAssignments=5330  nbFailedAssignments=175  nbBacktracks=819  nbVisitedNodes=5660
190.14	     nbRestartNogoods=38  mapSize=302  nbInferences=0  nbTooLargeKeys=0
190.14	       =>  wckTime=185.826  cpuTime=185.61  mem=79M972
197.07	   
197.07	   search
197.07	     run=9  nbConstraintChecks=75646254  nbValidityChecks=377621  nbPropagations=128557  nbRevisions=857586
197.07	     nbUselessRevisions=790814  nbAssignments=7168  nbFailedAssignments=212  nbBacktracks=1214  nbVisitedNodes=7582
197.07	     nbRestartNogoods=40  mapSize=378  nbInferences=0  nbTooLargeKeys=0
197.07	       =>  wckTime=192.751  cpuTime=192.52  mem=88M24
201.27	   
201.27	   search
201.27	     run=10  nbConstraintChecks=75990794  nbValidityChecks=530712  nbPropagations=165039  nbRevisions=1327721
201.27	     nbUselessRevisions=1235284  nbAssignments=9127  nbFailedAssignments=273  nbBacktracks=1809  nbVisitedNodes=9674
201.27	     nbRestartNogoods=48  mapSize=506  nbInferences=0  nbTooLargeKeys=0
201.27	       =>  wckTime=196.95  cpuTime=196.71  mem=96M77
206.01	   
206.01	   search
206.01	     run=11  nbConstraintChecks=76193373  nbValidityChecks=735757  nbPropagations=210009  nbRevisions=1973815
206.01	     nbUselessRevisions=1848600  nbAssignments=11530  nbFailedAssignments=382  nbBacktracks=2692  nbVisitedNodes=12303
206.01	     nbRestartNogoods=53  mapSize=724  nbInferences=0  nbTooLargeKeys=0
206.01	       =>  wckTime=201.69  cpuTime=201.38  mem=68M598
211.65	   
211.65	   search
211.65	     run=12  nbConstraintChecks=76419427  nbValidityChecks=990967  nbPropagations=270570  nbRevisions=2851266
211.65	     nbUselessRevisions=2677843  nbAssignments=14408  nbFailedAssignments=499  nbBacktracks=3991  nbVisitedNodes=15455
211.65	     nbRestartNogoods=59  mapSize=983  nbInferences=0  nbTooLargeKeys=0
211.65	       =>  wckTime=207.334  cpuTime=207.02  mem=83M802
212.89	   
212.89	   INFO : Stopping hyperNogood (mapSize=1003, nbTooLargekeys=0, mem=85M830)
216.64	   
216.64	   search
216.64	     run=13  nbConstraintChecks=76591063  nbValidityChecks=1312385  nbPropagations=345441  nbRevisions=4003521
216.64	     nbUselessRevisions=3768046  nbAssignments=17969  nbFailedAssignments=740  nbBacktracks=5952  nbVisitedNodes=19518
216.64	     nbRestartNogoods=68
216.64	       =>  wckTime=212.319  cpuTime=212.0  mem=85M830
222.70	   
222.70	   search
222.70	     run=14  nbConstraintChecks=76837614  nbValidityChecks=1770901  nbPropagations=438685  nbRevisions=5564882
222.70	     nbUselessRevisions=5247886  nbAssignments=22560  nbFailedAssignments=1005  nbBacktracks=8883  nbVisitedNodes=24700
222.70	     nbRestartNogoods=87
222.70	       =>  wckTime=218.387  cpuTime=218.06  mem=85M830
230.64	   
230.64	   search
230.64	     run=15  nbConstraintChecks=77192640  nbValidityChecks=2411102  nbPropagations=566136  nbRevisions=7708454
230.65	     nbUselessRevisions=7274959  nbAssignments=28582  nbFailedAssignments=1329  nbBacktracks=13268  nbVisitedNodes=31436
230.65	     nbRestartNogoods=114
230.65	       =>  wckTime=226.329  cpuTime=226.0  mem=85M830
239.89	   
239.89	   search
239.89	     run=16  nbConstraintChecks=77550261  nbValidityChecks=3054432  nbPropagations=722964  nbRevisions=10424773
239.89	     nbUselessRevisions=9849709  nbAssignments=37781  nbFailedAssignments=1746  nbBacktracks=17538  nbVisitedNodes=41582
239.89	     nbRestartNogoods=137
239.89	       =>  wckTime=235.571  cpuTime=235.22  mem=86M843
239.89	   
239.89	   global
239.89	     nbConstraintChecks=77550261  nbValidityChecks=3054432  nbPropagations=727476  nbRevisions=10424773
239.89	     nbUselessRevisions=9849709  nbRestartNogoods=137  solvingWckTime=235.573  solvingCpuTime=235.22  expiredTime=no
239.89	     totalExploration=no  nbFoundSolutions=1  globalCpuTime=238.43
239.89	       =>  wckTime=239.598  cpuTime=238.39  mem=86M843
239.89	   
239.89	s SATISFIABLE
239.89	v 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 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 0 0 0 0 0 0 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 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 0 0 0 0 0 1 0 1 0 1 0 0 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 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 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 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 0 1 0 1 1 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 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 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 0 0 0 1 0 0 0 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 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 1 0 1 0 1 1 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 1 0 0 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 1 0 0 1 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 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 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 1 0 1 0 0 1 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 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 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 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 0 0 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 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 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 1 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 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 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 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 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 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 0 0 0 0 0 1 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 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 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 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 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 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 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 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 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 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 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 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 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 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 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 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 
239.89	d NODES 37781
239.89	d CHECKS 77550261
239.89	   
239.89	   totalWckTime=239.672  totalCpuTime=238.44

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/node76/watcher-252530-1168087100 -o ROOT/results/node76/solver-252530-1168087100 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/252530-1168087100/unknown.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB

/proc/loadavg: 0.93 0.99 1.08 4/70 1487
/proc/meminfo: memFree=1724064/2055888 swapFree=4096420/4096564
[pid=1486] ppid=1484 vsize=296 CPUtime=0
/proc/1486/stat : 1486 (java) R 1484 1486 32733 0 -1 0 56 0 0 0 0 0 0 0 20 0 1 0 157107292 303104 38 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4779289 0 0 4096 0 0 0 0 17 1 0 0
/proc/1486/statm: 78 41 32 14 0 5 0

[startup+0.10566 s]
/proc/loadavg: 0.93 0.99 1.08 4/70 1487
/proc/meminfo: memFree=1724064/2055888 swapFree=4096420/4096564
[pid=1486] ppid=1484 vsize=914992 CPUtime=0.08
/proc/1486/stat : 1486 (java) R 1484 1486 32733 0 -1 0 3045 0 1 0 7 1 0 0 16 0 8 0 157107292 936951808 2793 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155472811 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1486/statm: 228748 2793 1446 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914992

[startup+0.513741 s]
/proc/loadavg: 0.93 0.99 1.08 4/70 1487
/proc/meminfo: memFree=1724064/2055888 swapFree=4096420/4096564
[pid=1486] ppid=1484 vsize=915332 CPUtime=0.48
/proc/1486/stat : 1486 (java) R 1484 1486 32733 0 -1 0 6575 0 1 0 45 3 0 0 16 0 8 0 157107292 937299968 6316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073525722 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1486/statm: 228833 6316 2136 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915332

[startup+1.33389 s]
/proc/loadavg: 0.93 0.99 1.08 2/77 1494
/proc/meminfo: memFree=1661992/2055888 swapFree=4096420/4096564
[pid=1486] ppid=1484 vsize=915624 CPUtime=1.29
/proc/1486/stat : 1486 (java) S 1484 1486 32733 0 -1 0 18702 0 1 0 121 8 0 0 16 0 8 0 157107292 937598976 18442 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1486/statm: 228906 18443 2148 14 0 215375 0
[pid=1486/tid=1488] ppid=1484 vsize=915624 CPUtime=0.09
/proc/1486/task/1488/stat : 1488 (java) R 1484 1486 32733 0 -1 64 2206 0 0 0 9 0 0 0 16 0 8 0 157107296 937598976 18444 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153818857 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1486/tid=1489] ppid=1484 vsize=915624 CPUtime=0
/proc/1486/task/1489/stat : 1489 (java) S 1484 1486 32733 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 157107297 937598976 18446 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1486/tid=1490] ppid=1484 vsize=915624 CPUtime=0
/proc/1486/task/1490/stat : 1490 (java) S 1484 1486 32733 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 157107297 937598976 18447 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1486/tid=1491] ppid=1484 vsize=915624 CPUtime=0
/proc/1486/task/1491/stat : 1491 (java) S 1484 1486 32733 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 157107300 937598976 18448 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1486/tid=1492] ppid=1484 vsize=915624 CPUtime=0.13
/proc/1486/task/1492/stat : 1492 (java) S 1484 1486 32733 0 -1 64 398 0 0 0 13 0 0 0 16 0 8 0 157107300 937598976 18450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1486/tid=1493] ppid=1484 vsize=915624 CPUtime=0
/proc/1486/task/1493/stat : 1493 (java) S 1484 1486 32733 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 157107300 937598976 18451 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1486/tid=1494] ppid=1484 vsize=915624 CPUtime=0
/proc/1486/task/1494/stat : 1494 (java) S 1484 1486 32733 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 157107300 937598976 18453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915624

[startup+2.97622 s]
/proc/loadavg: 0.93 0.99 1.08 2/77 1494
/proc/meminfo: memFree=1652840/2055888 swapFree=4096420/4096564
[pid=1486] ppid=1484 vsize=915628 CPUtime=2.93
/proc/1486/stat : 1486 (java) R 1484 1486 32733 0 -1 0 22621 0 1 0 211 82 0 0 16 0 8 0 157107292 937603072 22358 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1486/statm: 228907 22358 2180 14 0 215376 0
[pid=1486/tid=1488] ppid=1484 vsize=915624 CPUtime=0.28
/proc/1486/task/1488/stat : 1488 (java) S 1484 1486 32733 0 -1 64 6015 0 0 0 26 2 0 0 16 0 8 0 157107296 937598976 22358 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1486/tid=1489] ppid=1484 vsize=915624 CPUtime=0
/proc/1486/task/1489/stat : 1489 (java) S 1484 1486 32733 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 157107297 937598976 22358 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1486/tid=1490] ppid=1484 vsize=915628 CPUtime=0
/proc/1486/task/1490/stat : 1490 (java) S 1484 1486 32733 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 157107297 937603072 22358 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1486/tid=1491] ppid=1484 vsize=915624 CPUtime=0
/proc/1486/task/1491/stat : 1491 (java) S 1484 1486 32733 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 157107300 937598976 22358 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1486/tid=1492] ppid=1484 vsize=915624 CPUtime=0.16
/proc/1486/task/1492/stat : 1492 (java) S 1484 1486 32733 0 -1 64 414 0 0 0 16 0 0 0 15 0 8 0 157107300 937598976 22358 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1486/tid=1493] ppid=1484 vsize=915628 CPUtime=0
/proc/1486/task/1493/stat : 1493 (java) S 1484 1486 32733 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 157107300 937603072 22358 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1486/tid=1494] ppid=1484 vsize=915628 CPUtime=0
/proc/1486/task/1494/stat : 1494 (java) S 1484 1486 32733 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 157107300 937603072 22358 18446744073709551615 134512640 134570532 4294956480 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) 915628

[startup+6.26787 s]
/proc/loadavg: 0.94 0.99 1.08 2/77 1494
/proc/meminfo: memFree=1613032/2055888 swapFree=4096420/4096564
[pid=1486] ppid=1484 vsize=915864 CPUtime=6.22
/proc/1486/stat : 1486 (java) R 1484 1486 32733 0 -1 0 30546 0 1 0 524 98 0 0 17 0 8 0 157107292 937844736 30216 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073807434 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1486/statm: 228966 30216 2539 14 0 215435 0
[pid=1486/tid=1488] ppid=1484 vsize=915864 CPUtime=0.6
/proc/1486/task/1488/stat : 1488 (java) S 1484 1486 32733 0 -1 64 13370 0 0 0 55 5 0 0 17 0 8 0 157107296 937844736 30216 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1486/tid=1489] ppid=1484 vsize=915864 CPUtime=0
/proc/1486/task/1489/stat : 1489 (java) S 1484 1486 32733 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 157107297 937844736 30216 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1486/tid=1490] ppid=1484 vsize=915864 CPUtime=0
/proc/1486/task/1490/stat : 1490 (java) S 1484 1486 32733 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 157107297 937844736 30216 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1486/tid=1491] ppid=1484 vsize=915864 CPUtime=0
/proc/1486/task/1491/stat : 1491 (java) S 1484 1486 32733 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 157107300 937844736 30216 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1486/tid=1492] ppid=1484 vsize=915864 CPUtime=0.31
/proc/1486/task/1492/stat : 1492 (java) S 1484 1486 32733 0 -1 64 519 0 0 0 31 0 0 0 15 0 8 0 157107300 937844736 30216 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1486/tid=1493] ppid=1484 vsize=915864 CPUtime=0
/proc/1486/task/1493/stat : 1493 (java) S 1484 1486 32733 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 157107300 937844736 30216 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1486/tid=1494] ppid=1484 vsize=915864 CPUtime=0
/proc/1486/task/1494/stat : 1494 (java) S 1484 1486 32733 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 157107300 937844736 30216 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 915864

[startup+12.7391 s]
/proc/loadavg: 0.94 0.99 1.08 2/77 1494
/proc/meminfo: memFree=1613032/2055888 swapFree=4096420/4096564
[pid=1486] ppid=1484 vsize=915864 CPUtime=12.68
/proc/1486/stat : 1486 (java) R 1484 1486 32733 0 -1 0 30557 0 1 0 1170 98 0 0 25 0 8 0 157107292 937844736 30224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073842840 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1486/statm: 228966 30224 2539 14 0 215435 0
[pid=1486/tid=1488] ppid=1484 vsize=915864 CPUtime=0.6
/proc/1486/task/1488/stat : 1488 (java) S 1484 1486 32733 0 -1 64 13370 0 0 0 55 5 0 0 16 0 8 0 157107296 937844736 30224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1486/tid=1489] ppid=1484 vsize=915864 CPUtime=0
/proc/1486/task/1489/stat : 1489 (java) S 1484 1486 32733 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 157107297 937844736 30224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1486/tid=1490] ppid=1484 vsize=915864 CPUtime=0
/proc/1486/task/1490/stat : 1490 (java) S 1484 1486 32733 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 157107297 937844736 30224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1486/tid=1491] ppid=1484 vsize=915864 CPUtime=0
/proc/1486/task/1491/stat : 1491 (java) S 1484 1486 32733 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 157107300 937844736 30224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1486/tid=1492] ppid=1484 vsize=915864 CPUtime=0.33
/proc/1486/task/1492/stat : 1492 (java) S 1484 1486 32733 0 -1 64 528 0 0 0 33 0 0 0 15 0 8 0 157107300 937844736 30224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1486/tid=1493] ppid=1484 vsize=915864 CPUtime=0
/proc/1486/task/1493/stat : 1493 (java) S 1484 1486 32733 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 157107300 937844736 30224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1486/tid=1494] ppid=1484 vsize=915864 CPUtime=0
/proc/1486/task/1494/stat : 1494 (java) S 1484 1486 32733 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 157107300 937844736 30224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 915864

[startup+25.5796 s]
/proc/loadavg: 0.95 0.99 1.08 2/77 1494
/proc/meminfo: memFree=1613160/2055888 swapFree=4096420/4096564
[pid=1486] ppid=1484 vsize=915864 CPUtime=25.51
/proc/1486/stat : 1486 (java) R 1484 1486 32733 0 -1 0 30557 0 1 0 2453 98 0 0 25 0 8 0 157107292 937844736 30224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073844108 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1486/statm: 228966 30224 2539 14 0 215435 0
[pid=1486/tid=1488] ppid=1484 vsize=915864 CPUtime=0.6
/proc/1486/task/1488/stat : 1488 (java) S 1484 1486 32733 0 -1 64 13370 0 0 0 55 5 0 0 16 0 8 0 157107296 937844736 30224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1486/tid=1489] ppid=1484 vsize=915864 CPUtime=0
/proc/1486/task/1489/stat : 1489 (java) S 1484 1486 32733 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 157107297 937844736 30224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1486/tid=1490] ppid=1484 vsize=915864 CPUtime=0
/proc/1486/task/1490/stat : 1490 (java) S 1484 1486 32733 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 157107297 937844736 30224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1486/tid=1491] ppid=1484 vsize=915864 CPUtime=0
/proc/1486/task/1491/stat : 1491 (java) S 1484 1486 32733 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 157107300 937844736 30224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1486/tid=1492] ppid=1484 vsize=915864 CPUtime=0.33
/proc/1486/task/1492/stat : 1492 (java) S 1484 1486 32733 0 -1 64 528 0 0 0 33 0 0 0 15 0 8 0 157107300 937844736 30224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1486/tid=1493] ppid=1484 vsize=915864 CPUtime=0
/proc/1486/task/1493/stat : 1493 (java) S 1484 1486 32733 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 157107300 937844736 30224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1486/tid=1494] ppid=1484 vsize=915864 CPUtime=0
/proc/1486/task/1494/stat : 1494 (java) S 1484 1486 32733 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 157107300 937844736 30224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.51
Current children cumulated vsize (KiB) 915864

[startup+51.2497 s]
/proc/loadavg: 0.97 0.99 1.08 2/77 1494
/proc/meminfo: memFree=1613224/2055888 swapFree=4096420/4096564
[pid=1486] ppid=1484 vsize=915864 CPUtime=51.17
/proc/1486/stat : 1486 (java) R 1484 1486 32733 0 -1 0 30557 0 1 0 5019 98 0 0 25 0 8 0 157107292 937844736 30224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073843303 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1486/statm: 228966 30224 2539 14 0 215435 0
[pid=1486/tid=1488] ppid=1484 vsize=915864 CPUtime=0.6
/proc/1486/task/1488/stat : 1488 (java) S 1484 1486 32733 0 -1 64 13370 0 0 0 55 5 0 0 16 0 8 0 157107296 937844736 30224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1486/tid=1489] ppid=1484 vsize=915864 CPUtime=0
/proc/1486/task/1489/stat : 1489 (java) S 1484 1486 32733 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 157107297 937844736 30224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1486/tid=1490] ppid=1484 vsize=915864 CPUtime=0
/proc/1486/task/1490/stat : 1490 (java) S 1484 1486 32733 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 157107297 937844736 30224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1486/tid=1491] ppid=1484 vsize=915864 CPUtime=0
/proc/1486/task/1491/stat : 1491 (java) S 1484 1486 32733 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 157107300 937844736 30224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1486/tid=1492] ppid=1484 vsize=915864 CPUtime=0.33
/proc/1486/task/1492/stat : 1492 (java) S 1484 1486 32733 0 -1 64 528 0 0 0 33 0 0 0 16 0 8 0 157107300 937844736 30224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1486/tid=1493] ppid=1484 vsize=915864 CPUtime=0
/proc/1486/task/1493/stat : 1493 (java) S 1484 1486 32733 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 157107300 937844736 30224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1486/tid=1494] ppid=1484 vsize=915864 CPUtime=0
/proc/1486/task/1494/stat : 1494 (java) S 1484 1486 32733 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 157107300 937844736 30224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.17
Current children cumulated vsize (KiB) 915864

[startup+102.486 s]
/proc/loadavg: 0.98 0.99 1.07 2/77 1494
/proc/meminfo: memFree=1613288/2055888 swapFree=4096420/4096564
[pid=1486] ppid=1484 vsize=915864 CPUtime=102.35
/proc/1486/stat : 1486 (java) R 1484 1486 32733 0 -1 0 30558 0 1 0 10137 98 0 0 25 0 8 0 157107292 937844736 30224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073842826 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1486/statm: 228966 30224 2539 14 0 215435 0
[pid=1486/tid=1488] ppid=1484 vsize=915864 CPUtime=0.6
/proc/1486/task/1488/stat : 1488 (java) S 1484 1486 32733 0 -1 64 13370 0 0 0 55 5 0 0 16 0 8 0 157107296 937844736 30224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1486/tid=1489] ppid=1484 vsize=915864 CPUtime=0
/proc/1486/task/1489/stat : 1489 (java) S 1484 1486 32733 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 157107297 937844736 30224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1486/tid=1490] ppid=1484 vsize=915864 CPUtime=0
/proc/1486/task/1490/stat : 1490 (java) S 1484 1486 32733 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 157107297 937844736 30224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1486/tid=1491] ppid=1484 vsize=915864 CPUtime=0
/proc/1486/task/1491/stat : 1491 (java) S 1484 1486 32733 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 157107300 937844736 30224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1486/tid=1492] ppid=1484 vsize=915864 CPUtime=0.33
/proc/1486/task/1492/stat : 1492 (java) S 1484 1486 32733 0 -1 64 528 0 0 0 33 0 0 0 16 0 8 0 157107300 937844736 30224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1486/tid=1493] ppid=1484 vsize=915864 CPUtime=0
/proc/1486/task/1493/stat : 1493 (java) S 1484 1486 32733 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 157107300 937844736 30224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1486/tid=1494] ppid=1484 vsize=915864 CPUtime=0
/proc/1486/task/1494/stat : 1494 (java) S 1484 1486 32733 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 157107300 937844736 30224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.35
Current children cumulated vsize (KiB) 915864

[startup+162.552 s]
/proc/loadavg: 0.99 0.99 1.07 2/77 1494
/proc/meminfo: memFree=1613224/2055888 swapFree=4096420/4096564
[pid=1486] ppid=1484 vsize=915864 CPUtime=162.38
/proc/1486/stat : 1486 (java) R 1484 1486 32733 0 -1 0 30558 0 1 0 16140 98 0 0 25 0 8 0 157107292 937844736 30224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073840610 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1486/statm: 228966 30224 2539 14 0 215435 0
[pid=1486/tid=1488] ppid=1484 vsize=915864 CPUtime=0.6
/proc/1486/task/1488/stat : 1488 (java) S 1484 1486 32733 0 -1 64 13370 0 0 0 55 5 0 0 16 0 8 0 157107296 937844736 30224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1486/tid=1489] ppid=1484 vsize=915864 CPUtime=0
/proc/1486/task/1489/stat : 1489 (java) S 1484 1486 32733 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 157107297 937844736 30224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1486/tid=1490] ppid=1484 vsize=915864 CPUtime=0
/proc/1486/task/1490/stat : 1490 (java) S 1484 1486 32733 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 157107297 937844736 30224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1486/tid=1491] ppid=1484 vsize=915864 CPUtime=0
/proc/1486/task/1491/stat : 1491 (java) S 1484 1486 32733 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 157107300 937844736 30224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1486/tid=1492] ppid=1484 vsize=915864 CPUtime=0.33
/proc/1486/task/1492/stat : 1492 (java) S 1484 1486 32733 0 -1 64 528 0 0 0 33 0 0 0 16 0 8 0 157107300 937844736 30224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1486/tid=1493] ppid=1484 vsize=915864 CPUtime=0
/proc/1486/task/1493/stat : 1493 (java) S 1484 1486 32733 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 157107300 937844736 30224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1486/tid=1494] ppid=1484 vsize=915864 CPUtime=0
/proc/1486/task/1494/stat : 1494 (java) S 1484 1486 32733 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 157107300 937844736 30224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 162.38
Current children cumulated vsize (KiB) 915864

[startup+222.621 s]
/proc/loadavg: 0.99 0.99 1.06 2/77 1494
/proc/meminfo: memFree=1605416/2055888 swapFree=4096420/4096564
[pid=1486] ppid=1484 vsize=915864 CPUtime=222.41
/proc/1486/stat : 1486 (java) R 1484 1486 32733 0 -1 0 32554 0 1 0 22142 99 0 0 25 0 8 0 157107292 937844736 32214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074260990 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1486/statm: 228966 32214 2539 14 0 215435 0
[pid=1486/tid=1488] ppid=1484 vsize=915864 CPUtime=0.66
/proc/1486/task/1488/stat : 1488 (java) S 1484 1486 32733 0 -1 64 15354 0 0 0 60 6 0 0 16 0 8 0 157107296 937844736 32214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1486/tid=1489] ppid=1484 vsize=915864 CPUtime=0
/proc/1486/task/1489/stat : 1489 (java) S 1484 1486 32733 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 157107297 937844736 32214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1486/tid=1490] ppid=1484 vsize=915864 CPUtime=0
/proc/1486/task/1490/stat : 1490 (java) S 1484 1486 32733 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 157107297 937844736 32214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1486/tid=1491] ppid=1484 vsize=915864 CPUtime=0
/proc/1486/task/1491/stat : 1491 (java) S 1484 1486 32733 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 157107300 937844736 32214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1486/tid=1492] ppid=1484 vsize=915864 CPUtime=0.35
/proc/1486/task/1492/stat : 1492 (java) S 1484 1486 32733 0 -1 64 535 0 0 0 34 1 0 0 16 0 8 0 157107300 937844736 32214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1486/tid=1493] ppid=1484 vsize=915864 CPUtime=0
/proc/1486/task/1493/stat : 1493 (java) S 1484 1486 32733 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 157107300 937844736 32214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1486/tid=1494] ppid=1484 vsize=915864 CPUtime=0
/proc/1486/task/1494/stat : 1494 (java) S 1484 1486 32733 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 157107300 937844736 32214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 222.41
Current children cumulated vsize (KiB) 915864

Child status: 0
Real time (s): 239.946
CPU time (s): 239.695
CPU user time (s): 238.677
CPU system time (s): 1.01784
CPU usage (%): 99.8954
Max. virtual memory (cumulated for all children) (KiB): 915988

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 238.677
system time used= 1.01784
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32566
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= 6203
involuntary context switches= 1746

runsolver used 0.315951 s user time and 0.543917 s system time

The end

Launcher Data (download as text)

Begin job on node76 on Sat Jan  6 12:38:21 UTC 2007


IDJOB= 252530
IDBENCH= 12951
FILE ID= node76/252530-1168087100

PBS_JOBID= 3476236

Free space on /tmp= 66638 MiB

BENCH NAME= HOME/pub/bench/CPAI06/socialGolfers/socialGolfer-6-4-8.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/252530-1168087100/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node76/watcher-252530-1168087100 -o ROOT/results/node76/solver-252530-1168087100 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/252530-1168087100/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  aaf8b5330dc32e7696d08f880e11996b

RANDOM SEED= 71395354

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.254
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	: 6006.17
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.254
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	: 5999.42
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055888 kB
MemFree:       1724672 kB
Buffers:         25400 kB
Cached:         233476 kB
SwapCached:          0 kB
Active:          72228 kB
Inactive:       202964 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055888 kB
LowFree:       1724672 kB
SwapTotal:     4096564 kB
SwapFree:      4096420 kB
Dirty:            5172 kB
Writeback:           0 kB
Mapped:          26700 kB
Slab:            42356 kB
Committed_AS:  5836704 kB
PageTables:       1424 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264388 kB
VmallocChunk: 536606243 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66638 MiB



End job on node76 on Sat Jan  6 12:42:22 UTC 2007