Trace number 215405

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 132.43 132.653

DiagnosticValue
CHECKS74584082
NODES32841

General information on the benchmark

NamepseudoSeries/
ii/ii-16b1.xml
MD5SUM4163ccc10de5ab641614c8f6bd263422
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 benchmark6.45302
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables3456
Number of constraints26520
Maximum constraint arity16
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension26520
Global constraints used (with number of constraints)

Solver Data (download as text)

0.31	   
0.31	Abscon 109 (November, 2006)
0.31	   
0.31	   configuration
0.31	     name=esac.xml
0.34	   
0.34	   instance
0.34	     name=/tmp/evaluation/215405-1168234771/unknown.xml
0.37	   
0.37	   domains being loaded...
0.38	   
0.38	   variables being loaded...
0.56	     nbVariables=3456  nbDomainTypes=1  minDomainSize=2  maxDomainSize=2
0.56	       =>  wckTime=0.239  cpuTime=0.17  mem=11M778
0.56	   
0.56	   predicates being loaded...
0.56	   
0.56	   constraints being loaded...
3.67	     nbConstraints=26512  nbMergedConstraints=8  nbConvertedConstraints=25408  nbConvertConstraintsChecks=131336
3.67	     nbExtensionStructures=2  nbSharedExtensionStructures=25406  nbConflictsStructures=5
3.67	     nbSharedConflictsStructures=26507  nbSharedBinaryRepresentations=5  nbEvaluationManagers=3
3.67	     nbSharedEvaluationManagers=1101  maxDegree=121  maxArity=16
3.67	       =>  wckTime=3.358  cpuTime=2.97  mem=60M734
3.87	   
3.87	   solver IterativeSystematicSolver being built... 
4.30	       =>  wckTime=3.983  cpuTime=3.29  mem=51M34
21.22	   
21.22	   preprocessing
21.22	     nbConstraintChecks=330134  nbValidityChecks=1620  nbPropagations=21054  nbRevisions=183340
21.22	     nbUselessRevisions=169062  nbSingletonTests=3506  nbEffectiveSingletonTests=0  nbESACBranches=9  nbRemovedValues=0
21.22	     detectedInconsistency=no
21.22	       =>  wckTime=16.905  cpuTime=16.86  mem=52M42
24.71	   
24.71	   search
24.71	     run=0  nbConstraintChecks=52829  nbValidityChecks=292  nbPropagations=23784  nbRevisions=211063
24.71	     nbUselessRevisions=194275  nbAssignments=451  nbFailedAssignments=2  nbBacktracks=11  nbVisitedNodes=456
24.71	     nbRestartNogoods=0  mapSize=3  nbInferences=0  nbTooLargeKeys=0
24.71	       =>  wckTime=20.406  cpuTime=20.34  mem=53M51
28.31	   
28.31	   search
28.31	     run=1  nbConstraintChecks=111094  nbValidityChecks=1864  nbPropagations=51561  nbRevisions=454207
28.31	     nbUselessRevisions=416852  nbAssignments=913  nbFailedAssignments=6  nbBacktracks=36  nbVisitedNodes=925
28.31	     nbRestartNogoods=1  mapSize=9  nbInferences=0  nbTooLargeKeys=0
28.31	       =>  wckTime=24.009  cpuTime=23.94  mem=53M51
31.84	   
31.84	   search
31.84	     run=2  nbConstraintChecks=175022  nbValidityChecks=4471  nbPropagations=84365  nbRevisions=733475
31.84	     nbUselessRevisions=670728  nbAssignments=1371  nbFailedAssignments=12  nbBacktracks=60  nbVisitedNodes=1394
31.84	     nbRestartNogoods=2  mapSize=19  nbInferences=0  nbTooLargeKeys=0
31.84	       =>  wckTime=27.536  cpuTime=27.46  mem=53M51
35.41	   
35.41	   search
35.41	     run=3  nbConstraintChecks=246134  nbValidityChecks=6747  nbPropagations=123225  nbRevisions=1052393
35.41	     nbUselessRevisions=958375  nbAssignments=1826  nbFailedAssignments=19  nbBacktracks=101  nbVisitedNodes=1863
35.41	     nbRestartNogoods=3  mapSize=32  nbInferences=0  nbTooLargeKeys=0
35.41	       =>  wckTime=31.107  cpuTime=30.99  mem=54M59
39.15	   
39.15	   search
39.16	     run=4  nbConstraintChecks=345656  nbValidityChecks=11463  nbPropagations=172315  nbRevisions=1429568
39.16	     nbUselessRevisions=1294162  nbAssignments=2286  nbFailedAssignments=31  nbBacktracks=157  nbVisitedNodes=2348
39.16	     nbRestartNogoods=4  mapSize=55  nbInferences=0  nbTooLargeKeys=0
39.16	       =>  wckTime=34.851  cpuTime=34.73  mem=54M59
42.63	   
42.63	   search
42.63	     run=5  nbConstraintChecks=507244  nbValidityChecks=17689  nbPropagations=235996  nbRevisions=1903579
42.63	     nbUselessRevisions=1712080  nbAssignments=2714  nbFailedAssignments=48  nbBacktracks=234  nbVisitedNodes=2811
42.63	     nbRestartNogoods=6  mapSize=89  nbInferences=0  nbTooLargeKeys=0
42.63	       =>  wckTime=38.326  cpuTime=38.2  mem=54M59
45.96	   
45.96	   search
45.96	     run=6  nbConstraintChecks=798239  nbValidityChecks=35406  nbPropagations=320345  nbRevisions=2560978
45.96	     nbUselessRevisions=2292146  nbAssignments=3134  nbFailedAssignments=91  nbBacktracks=352  nbVisitedNodes=3296
45.96	     nbRestartNogoods=7  mapSize=153  nbInferences=0  nbTooLargeKeys=0
45.96	       =>  wckTime=41.658  cpuTime=41.54  mem=55M68
51.00	   
51.00	   search
51.00	     run=7  nbConstraintChecks=1252781  nbValidityChecks=47148  nbPropagations=433907  nbRevisions=3481125
51.00	     nbUselessRevisions=3104739  nbAssignments=3642  nbFailedAssignments=145  nbBacktracks=523  nbVisitedNodes=3901
51.00	     nbRestartNogoods=8  mapSize=243  nbInferences=0  nbTooLargeKeys=0
51.00	       =>  wckTime=46.697  cpuTime=46.57  mem=56M76
58.93	   
58.93	   search
58.93	     run=8  nbConstraintChecks=2330870  nbValidityChecks=127225  nbPropagations=621111  nbRevisions=5135990
58.93	     nbUselessRevisions=4574801  nbAssignments=4379  nbFailedAssignments=329  nbBacktracks=786  nbVisitedNodes=4851
58.93	     nbRestartNogoods=9  mapSize=453  nbInferences=0  nbTooLargeKeys=0
58.93	       =>  wckTime=54.623  cpuTime=54.48  mem=57M85
69.46	   
69.46	   search
69.46	     run=9  nbConstraintChecks=4485842  nbValidityChecks=186936  nbPropagations=934378  nbRevisions=8230506
69.46	     nbUselessRevisions=7353163  nbAssignments=5326  nbFailedAssignments=612  nbBacktracks=1185  nbVisitedNodes=6126
69.46	     nbRestartNogoods=10  mapSize=765  nbInferences=0  nbTooLargeKeys=0
69.46	       =>  wckTime=65.158  cpuTime=65.01  mem=60M110
80.83	   
80.83	   INFO : Stopping hyperNogood (mapSize=1011, nbTooLargekeys=0, mem=61M119)
82.19	   
82.19	   search
82.19	     run=10  nbConstraintChecks=9433281  nbValidityChecks=435431  nbPropagations=1464450  nbRevisions=14527678
82.19	     nbUselessRevisions=13110301  nbAssignments=8835  nbFailedAssignments=1061  nbBacktracks=1766  nbVisitedNodes=7887
82.19	     nbRestartNogoods=21
82.19	       =>  wckTime=77.889  cpuTime=77.7  mem=61M119
86.83	   
86.83	   search
86.83	     run=11  nbConstraintChecks=15623005  nbValidityChecks=562862  nbPropagations=2265015  nbRevisions=24922681
86.83	     nbUselessRevisions=22681668  nbAssignments=10662  nbFailedAssignments=1636  nbBacktracks=2652  nbVisitedNodes=10240
86.83	     nbRestartNogoods=24
86.83	       =>  wckTime=82.523  cpuTime=82.33  mem=61M119
89.33	   
89.33	   search
89.33	     run=12  nbConstraintChecks=17889425  nbValidityChecks=684529  nbPropagations=3164546  nbRevisions=36904348
89.33	     nbUselessRevisions=33735270  nbAssignments=12417  nbFailedAssignments=1823  nbBacktracks=3956  nbVisitedNodes=12222
89.33	     nbRestartNogoods=25
89.33	       =>  wckTime=85.026  cpuTime=84.83  mem=61M119
95.06	   
95.06	   search
95.06	     run=13  nbConstraintChecks=23730043  nbValidityChecks=773757  nbPropagations=4339166  nbRevisions=52566603
95.06	     nbUselessRevisions=48188635  nbAssignments=16782  nbFailedAssignments=2179  nbBacktracks=5914  nbVisitedNodes=15114
95.06	     nbRestartNogoods=56
95.06	       =>  wckTime=90.756  cpuTime=90.56  mem=61M119
109.34	   
109.34	   search
109.34	     run=14  nbConstraintChecks=42702619  nbValidityChecks=1496346  nbPropagations=6258575  nbRevisions=80527540
109.34	     nbUselessRevisions=74156830  nbAssignments=22490  nbFailedAssignments=4024  nbBacktracks=8837  nbVisitedNodes=21901
109.34	     nbRestartNogoods=67
109.34	       =>  wckTime=105.038  cpuTime=104.83  mem=61M119
132.57	   
132.57	   search
132.57	     run=15  nbConstraintChecks=74253948  nbValidityChecks=2233365  nbPropagations=9308878  nbRevisions=127602740
132.57	     nbUselessRevisions=118041755  nbAssignments=32841  nbFailedAssignments=6941  nbBacktracks=12203
132.57	     nbVisitedNodes=34971  nbRestartNogoods=83
132.57	       =>  wckTime=128.269  cpuTime=128.02  mem=62M127
132.57	   
132.57	   global
132.57	     nbConstraintChecks=74584082  nbValidityChecks=2234985  nbPropagations=9329932  nbRevisions=127786080
132.57	     nbUselessRevisions=118210817  nbRestartNogoods=83  solvingWckTime=128.27  solvingCpuTime=128.02  expiredTime=no
132.57	     totalExploration=no  nbFoundSolutions=1  globalCpuTime=131.35
132.57	       =>  wckTime=132.259  cpuTime=131.31  mem=62M127
132.58	   
132.58	s SATISFIABLE
132.58	v 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 0 1 1 0 1 0 0 1 0 1 1 0 1 0 1 0 0 1 1 0 1 0 0 1 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 1 0 0 1 1 0 0 1 0 1 1 0 1 0 1 0 1 0 0 1 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 1 0 0 1 0 1 1 0 1 0 1 0 1 0 0 1 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 1 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 
132.58	d NODES 32841
132.58	d CHECKS 74584082
132.58	   
132.58	   totalWckTime=132.337  totalCpuTime=131.36

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/node7/watcher-215405-1168234771 -o ROOT/results/node7/solver-215405-1168234771 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/215405-1168234771/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.79 1.95 1.98 4/94 9984
/proc/meminfo: memFree=1676944/2055920 swapFree=4192812/4192956
[pid=9983] ppid=9981 vsize=1784 CPUtime=0
/proc/9983/stat : 9983 (java) D 9981 9983 9494 0 -1 0 374 0 0 0 0 0 0 0 18 0 1 0 171872509 1826816 163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 10416932 0 2147483391 4096 0 18446744072099781622 0 0 17 0 0 0
/proc/9983/statm: 446 163 128 14 0 91 0

[startup+0.10435 s]
/proc/loadavg: 1.79 1.95 1.98 4/94 9984
/proc/meminfo: memFree=1676944/2055920 swapFree=4192812/4192956
[pid=9983] ppid=9981 vsize=912272 CPUtime=0.06
/proc/9983/stat : 9983 (java) R 9981 9983 9494 0 -1 0 2641 0 1 0 5 1 0 0 24 0 8 0 171872509 934166528 2388 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9983/statm: 228068 2389 1287 14 0 215051 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 912272

[startup+0.512391 s]
/proc/loadavg: 1.79 1.95 1.98 4/94 9984
/proc/meminfo: memFree=1676944/2055920 swapFree=4192812/4192956
[pid=9983] ppid=9981 vsize=915328 CPUtime=0.47
/proc/9983/stat : 9983 (java) R 9981 9983 9494 0 -1 0 6618 0 1 0 43 4 0 0 25 0 8 0 171872509 937295872 6357 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9983/statm: 228832 6357 2135 14 0 215302 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 915328

[startup+1.33348 s]
/proc/loadavg: 1.79 1.95 1.98 3/101 9991
/proc/meminfo: memFree=1616984/2055920 swapFree=4192812/4192956
[pid=9983] ppid=9981 vsize=915636 CPUtime=1.29
/proc/9983/stat : 9983 (java) R 9981 9983 9494 0 -1 0 19279 0 1 0 118 11 0 0 25 0 8 0 171872509 937611264 19016 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073456157 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9983/statm: 228909 19016 2157 14 0 215379 0
[pid=9983/tid=9985] ppid=9981 vsize=915636 CPUtime=0.1
/proc/9983/task/9985/stat : 9985 (java) S 9981 9983 9494 0 -1 64 2746 0 0 0 9 1 0 0 16 0 8 0 171872515 937611264 19016 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9983/tid=9986] ppid=9981 vsize=915636 CPUtime=0
/proc/9983/task/9986/stat : 9986 (java) S 9981 9983 9494 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171872515 937611264 19016 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9983/tid=9987] ppid=9981 vsize=915636 CPUtime=0
/proc/9983/task/9987/stat : 9987 (java) S 9981 9983 9494 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 171872515 937611264 19016 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9983/tid=9988] ppid=9981 vsize=915636 CPUtime=0
/proc/9983/task/9988/stat : 9988 (java) S 9981 9983 9494 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 171872518 937611264 19016 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9983/tid=9989] ppid=9981 vsize=915636 CPUtime=0.14
/proc/9983/task/9989/stat : 9989 (java) S 9981 9983 9494 0 -1 64 405 0 0 0 14 0 0 0 16 0 8 0 171872518 937611264 19016 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9983/tid=9990] ppid=9981 vsize=915636 CPUtime=0
/proc/9983/task/9990/stat : 9990 (java) S 9981 9983 9494 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 171872518 937611264 19016 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9983/tid=9991] ppid=9981 vsize=915636 CPUtime=0
/proc/9983/task/9991/stat : 9991 (java) S 9981 9983 9494 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 171872518 937611264 19016 18446744073709551615 134512640 134570532 4294956464 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) 915636

[startup+2.97065 s]
/proc/loadavg: 1.79 1.95 1.98 4/101 9991
/proc/meminfo: memFree=1599832/2055920 swapFree=4192812/4192956
[pid=9983] ppid=9981 vsize=915640 CPUtime=2.93
/proc/9983/stat : 9983 (java) R 9981 9983 9494 0 -1 0 24239 0 1 0 219 74 0 0 25 0 8 0 171872509 937615360 23975 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9983/statm: 228909 23975 2178 14 0 215379 0
[pid=9983/tid=9985] ppid=9981 vsize=915640 CPUtime=0.2
/proc/9983/task/9985/stat : 9985 (java) S 9981 9983 9494 0 -1 64 7610 0 0 0 18 2 0 0 18 0 8 0 171872515 937615360 23975 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9983/tid=9986] ppid=9981 vsize=915636 CPUtime=0
/proc/9983/task/9986/stat : 9986 (java) S 9981 9983 9494 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171872515 937611264 23975 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9983/tid=9987] ppid=9981 vsize=915636 CPUtime=0
/proc/9983/task/9987/stat : 9987 (java) S 9981 9983 9494 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 171872515 937611264 23975 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9983/tid=9988] ppid=9981 vsize=915640 CPUtime=0
/proc/9983/task/9988/stat : 9988 (java) S 9981 9983 9494 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 171872518 937615360 23975 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9983/tid=9989] ppid=9981 vsize=915640 CPUtime=0.2
/proc/9983/task/9989/stat : 9989 (java) S 9981 9983 9494 0 -1 64 436 0 0 0 20 0 0 0 16 0 8 0 171872518 937615360 23975 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9983/tid=9990] ppid=9981 vsize=915636 CPUtime=0
/proc/9983/task/9990/stat : 9990 (java) S 9981 9983 9494 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 171872518 937611264 23975 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9983/tid=9991] ppid=9981 vsize=915636 CPUtime=0
/proc/9983/task/9991/stat : 9991 (java) S 9981 9983 9494 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 171872518 937611264 23975 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915640

[startup+6.17499 s]
/proc/loadavg: 1.81 1.95 1.98 3/101 9991
/proc/meminfo: memFree=1572184/2055920 swapFree=4192812/4192956
[pid=9983] ppid=9981 vsize=915872 CPUtime=6.13
/proc/9983/stat : 9983 (java) R 9981 9983 9494 0 -1 0 28962 0 1 0 499 114 0 0 25 0 8 0 171872509 937852928 28633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074207664 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9983/statm: 228968 28633 2546 14 0 215438 0
[pid=9983/tid=9985] ppid=9981 vsize=915872 CPUtime=0.41
/proc/9983/task/9985/stat : 9985 (java) S 9981 9983 9494 0 -1 64 11785 0 0 0 37 4 0 0 17 0 8 0 171872515 937852928 28633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9983/tid=9986] ppid=9981 vsize=915872 CPUtime=0
/proc/9983/task/9986/stat : 9986 (java) S 9981 9983 9494 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171872515 937852928 28633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9983/tid=9987] ppid=9981 vsize=915872 CPUtime=0
/proc/9983/task/9987/stat : 9987 (java) S 9981 9983 9494 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171872515 937852928 28633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9983/tid=9988] ppid=9981 vsize=915872 CPUtime=0
/proc/9983/task/9988/stat : 9988 (java) S 9981 9983 9494 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 171872518 937852928 28633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9983/tid=9989] ppid=9981 vsize=915872 CPUtime=0.33
/proc/9983/task/9989/stat : 9989 (java) S 9981 9983 9494 0 -1 64 516 0 0 0 32 1 0 0 16 0 8 0 171872518 937852928 28633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9983/tid=9990] ppid=9981 vsize=915872 CPUtime=0
/proc/9983/task/9990/stat : 9990 (java) S 9981 9983 9494 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 171872518 937852928 28633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9983/tid=9991] ppid=9981 vsize=915872 CPUtime=0
/proc/9983/task/9991/stat : 9991 (java) S 9981 9983 9494 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 171872518 937852928 28633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.13
Current children cumulated vsize (KiB) 915872

[startup+12.6417 s]
/proc/loadavg: 1.82 1.95 1.98 3/101 9991
/proc/meminfo: memFree=1572184/2055920 swapFree=4192812/4192956
[pid=9983] ppid=9981 vsize=915872 CPUtime=12.58
/proc/9983/stat : 9983 (java) R 9981 9983 9494 0 -1 0 28964 0 1 0 1144 114 0 0 25 0 8 0 171872509 937852928 28634 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074207664 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9983/statm: 228968 28634 2546 14 0 215438 0
[pid=9983/tid=9985] ppid=9981 vsize=915872 CPUtime=0.41
/proc/9983/task/9985/stat : 9985 (java) S 9981 9983 9494 0 -1 64 11785 0 0 0 37 4 0 0 16 0 8 0 171872515 937852928 28634 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9983/tid=9986] ppid=9981 vsize=915872 CPUtime=0
/proc/9983/task/9986/stat : 9986 (java) S 9981 9983 9494 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171872515 937852928 28634 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9983/tid=9987] ppid=9981 vsize=915872 CPUtime=0
/proc/9983/task/9987/stat : 9987 (java) S 9981 9983 9494 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171872515 937852928 28634 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9983/tid=9988] ppid=9981 vsize=915872 CPUtime=0
/proc/9983/task/9988/stat : 9988 (java) S 9981 9983 9494 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 171872518 937852928 28634 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9983/tid=9989] ppid=9981 vsize=915872 CPUtime=0.33
/proc/9983/task/9989/stat : 9989 (java) S 9981 9983 9494 0 -1 64 518 0 0 0 32 1 0 0 16 0 8 0 171872518 937852928 28634 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9983/tid=9990] ppid=9981 vsize=915872 CPUtime=0
/proc/9983/task/9990/stat : 9990 (java) S 9981 9983 9494 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 171872518 937852928 28634 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9983/tid=9991] ppid=9981 vsize=915872 CPUtime=0
/proc/9983/task/9991/stat : 9991 (java) S 9981 9983 9494 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 171872518 937852928 28634 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 915872

[startup+25.502 s]
/proc/loadavg: 1.86 1.95 1.98 3/101 9991
/proc/meminfo: memFree=1572248/2055920 swapFree=4192812/4192956
[pid=9983] ppid=9981 vsize=915872 CPUtime=25.44
/proc/9983/stat : 9983 (java) R 9981 9983 9494 0 -1 0 28989 0 1 0 2429 115 0 0 25 0 8 0 171872509 937852928 28653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074272269 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9983/statm: 228968 28653 2547 14 0 215438 0
[pid=9983/tid=9985] ppid=9981 vsize=915872 CPUtime=0.41
/proc/9983/task/9985/stat : 9985 (java) S 9981 9983 9494 0 -1 64 11785 0 0 0 37 4 0 0 17 0 8 0 171872515 937852928 28653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9983/tid=9986] ppid=9981 vsize=915872 CPUtime=0
/proc/9983/task/9986/stat : 9986 (java) S 9981 9983 9494 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171872515 937852928 28653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9983/tid=9987] ppid=9981 vsize=915872 CPUtime=0
/proc/9983/task/9987/stat : 9987 (java) S 9981 9983 9494 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171872515 937852928 28653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9983/tid=9988] ppid=9981 vsize=915872 CPUtime=0
/proc/9983/task/9988/stat : 9988 (java) S 9981 9983 9494 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 171872518 937852928 28653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9983/tid=9989] ppid=9981 vsize=915872 CPUtime=0.36
/proc/9983/task/9989/stat : 9989 (java) S 9981 9983 9494 0 -1 64 537 0 0 0 35 1 0 0 15 0 8 0 171872518 937852928 28653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9983/tid=9990] ppid=9981 vsize=915872 CPUtime=0
/proc/9983/task/9990/stat : 9990 (java) S 9981 9983 9494 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 171872518 937852928 28653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9983/tid=9991] ppid=9981 vsize=915872 CPUtime=0
/proc/9983/task/9991/stat : 9991 (java) S 9981 9983 9494 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 171872518 937852928 28653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 915872

[startup+51.1097 s]
/proc/loadavg: 1.91 1.96 1.98 3/101 9991
/proc/meminfo: memFree=1572312/2055920 swapFree=4192812/4192956
[pid=9983] ppid=9981 vsize=915872 CPUtime=51.02
/proc/9983/stat : 9983 (java) R 9981 9983 9494 0 -1 0 29004 0 1 0 4987 115 0 0 25 0 8 0 171872509 937852928 28663 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074180407 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9983/statm: 228968 28663 2547 14 0 215438 0
[pid=9983/tid=9985] ppid=9981 vsize=915872 CPUtime=0.41
/proc/9983/task/9985/stat : 9985 (java) S 9981 9983 9494 0 -1 64 11785 0 0 0 37 4 0 0 16 0 8 0 171872515 937852928 28663 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9983/tid=9986] ppid=9981 vsize=915872 CPUtime=0
/proc/9983/task/9986/stat : 9986 (java) S 9981 9983 9494 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171872515 937852928 28663 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9983/tid=9987] ppid=9981 vsize=915872 CPUtime=0
/proc/9983/task/9987/stat : 9987 (java) S 9981 9983 9494 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171872515 937852928 28663 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9983/tid=9988] ppid=9981 vsize=915872 CPUtime=0
/proc/9983/task/9988/stat : 9988 (java) S 9981 9983 9494 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 171872518 937852928 28663 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9983/tid=9989] ppid=9981 vsize=915872 CPUtime=0.39
/proc/9983/task/9989/stat : 9989 (java) S 9981 9983 9494 0 -1 64 549 0 0 0 38 1 0 0 15 0 8 0 171872518 937852928 28663 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9983/tid=9990] ppid=9981 vsize=915872 CPUtime=0
/proc/9983/task/9990/stat : 9990 (java) S 9981 9983 9494 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 171872518 937852928 28663 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9983/tid=9991] ppid=9981 vsize=915872 CPUtime=0
/proc/9983/task/9991/stat : 9991 (java) S 9981 9983 9494 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 171872518 937852928 28663 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 915872

[startup+102.314 s]
/proc/loadavg: 2.00 1.97 1.99 3/101 9991
/proc/meminfo: memFree=1572248/2055920 swapFree=4192812/4192956
[pid=9983] ppid=9981 vsize=915872 CPUtime=102.16
/proc/9983/stat : 9983 (java) R 9981 9983 9494 0 -1 0 29016 0 1 0 10101 115 0 0 25 0 8 0 171872509 937852928 28671 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073865546 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9983/statm: 228968 28671 2547 14 0 215438 0
[pid=9983/tid=9985] ppid=9981 vsize=915872 CPUtime=0.41
/proc/9983/task/9985/stat : 9985 (java) S 9981 9983 9494 0 -1 64 11785 0 0 0 37 4 0 0 16 0 8 0 171872515 937852928 28671 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9983/tid=9986] ppid=9981 vsize=915872 CPUtime=0
/proc/9983/task/9986/stat : 9986 (java) S 9981 9983 9494 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171872515 937852928 28671 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9983/tid=9987] ppid=9981 vsize=915872 CPUtime=0
/proc/9983/task/9987/stat : 9987 (java) S 9981 9983 9494 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171872515 937852928 28671 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9983/tid=9988] ppid=9981 vsize=915872 CPUtime=0
/proc/9983/task/9988/stat : 9988 (java) S 9981 9983 9494 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 171872518 937852928 28671 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9983/tid=9989] ppid=9981 vsize=915872 CPUtime=0.41
/proc/9983/task/9989/stat : 9989 (java) S 9981 9983 9494 0 -1 64 558 0 0 0 40 1 0 0 15 0 8 0 171872518 937852928 28671 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9983/tid=9990] ppid=9981 vsize=915872 CPUtime=0
/proc/9983/task/9990/stat : 9990 (java) S 9981 9983 9494 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 171872518 937852928 28671 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9983/tid=9991] ppid=9981 vsize=915872 CPUtime=0
/proc/9983/task/9991/stat : 9991 (java) S 9981 9983 9494 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 171872518 937852928 28671 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.16
Current children cumulated vsize (KiB) 915872

Child status: 0
Real time (s): 132.653
CPU time (s): 132.43
CPU user time (s): 131.252
CPU system time (s): 1.17782
CPU usage (%): 99.8321
Max. virtual memory (cumulated for all children) (KiB): 915992

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 131.252
system time used= 1.17782
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29028
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= 4555
involuntary context switches= 7999

runsolver used 0.152976 s user time and 0.445932 s system time

The end

Launcher Data (download as text)

Begin job on node7 on Mon Jan  8 05:39:31 UTC 2007


IDJOB= 215405
IDBENCH= 4999
FILE ID= node7/215405-1168234771

PBS_JOBID= 3481227

Free space on /tmp= 66555 MiB

BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/ii/ii-16b1.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/215405-1168234771/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node7/watcher-215405-1168234771 -o ROOT/results/node7/solver-215405-1168234771 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/215405-1168234771/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  4163ccc10de5ab641614c8f6bd263422

RANDOM SEED= 149341145

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.220
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.220
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:       1677360 kB
Buffers:         56396 kB
Cached:         169092 kB
SwapCached:          0 kB
Active:         198108 kB
Inactive:       127620 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1677360 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            5532 kB
Writeback:           0 kB
Mapped:         127956 kB
Slab:            37268 kB
Committed_AS:  5748188 kB
PageTables:       2540 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= 66555 MiB



End job on node7 on Mon Jan  8 05:41:43 UTC 2007