Trace number 213949

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 107.188 107.812

DiagnosticValue
CHECKS35677415
NODES114463

General information on the benchmark

NamepseudoSeries/par/
par-16-5.xml
MD5SUMb2c1e60b5d6560b6adf6904a2b6ef697
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 benchmark2.12
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables2030
Number of constraints4297
Maximum constraint arity3
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension4297
Global constraints used (with number of constraints)

Solver Data (download as text)

0.34	   
0.34	Abscon 109 (November, 2006)
0.34	   
0.34	   configuration
0.34	     name=esac.xml
0.38	   
0.38	   instance
0.38	     name=/tmp/evaluation/213949-1168227495/unknown.xml
0.41	   
0.41	   domains being loaded...
0.42	   
0.42	   variables being loaded...
0.60	     nbVariables=2030  nbDomainTypes=3  minDomainSize=1  maxDomainSize=2
0.60	       =>  wckTime=0.258  cpuTime=0.17  mem=10M819
0.60	   
0.61	   predicates being loaded...
0.61	   
0.61	   constraints being loaded...
1.26	     nbConstraints=4297  nbSingletonDomainVariables=776  nbConvertedConstraints=1957  nbConvertConstraintsChecks=64
1.26	     nbExtensionStructures=7  nbSharedExtensionStructures=1950  nbConflictsStructures=22
1.26	     nbSharedConflictsStructures=4275  nbSharedBinaryRepresentations=16  nbEvaluationManagers=15
1.26	     nbSharedEvaluationManagers=2325  maxDegree=47  maxArity=3
1.26	       =>  wckTime=0.911  cpuTime=0.73  mem=36M174
1.34	   
1.34	   solver IterativeSystematicSolver being built... 
1.64	       =>  wckTime=1.293  cpuTime=0.97  mem=36M982
2.13	   
2.13	   preprocessing
2.13	     nbConstraintChecks=7026  nbValidityChecks=1638  nbPropagations=5843  nbRevisions=8742  nbUselessRevisions=6967
2.13	     nbSingletonTests=2047  nbEffectiveSingletonTests=0  nbESACBranches=3  nbRemovedValues=0  detectedInconsistency=no
2.13	       =>  wckTime=0.48  cpuTime=0.42  mem=37M956
2.21	   
2.21	   search
2.21	     run=0  nbConstraintChecks=12626  nbValidityChecks=5539  nbPropagations=9849  nbRevisions=22222
2.21	     nbUselessRevisions=16433  nbAssignments=42  nbFailedAssignments=4  nbBacktracks=14  nbVisitedNodes=51
2.21	     nbRestartNogoods=0  mapSize=7  nbInferences=0  nbTooLargeKeys=0
2.21	       =>  wckTime=0.563  cpuTime=0.49  mem=37M956
2.27	   
2.27	   search
2.27	     run=1  nbConstraintChecks=23913  nbValidityChecks=11210  nbPropagations=23608  nbRevisions=57188
2.27	     nbUselessRevisions=41694  nbAssignments=86  nbFailedAssignments=8  nbBacktracks=32  nbVisitedNodes=103
2.27	     nbRestartNogoods=1  mapSize=14  nbInferences=0  nbTooLargeKeys=0
2.27	       =>  wckTime=0.621  cpuTime=0.55  mem=37M956
2.34	   
2.34	   search
2.34	     run=2  nbConstraintChecks=40751  nbValidityChecks=19657  nbPropagations=43121  nbRevisions=111074
2.34	     nbUselessRevisions=80103  nbAssignments=142  nbFailedAssignments=14  nbBacktracks=55  nbVisitedNodes=171
2.34	     nbRestartNogoods=2  mapSize=24  nbInferences=0  nbTooLargeKeys=0
2.34	       =>  wckTime=0.695  cpuTime=0.62  mem=37M956
2.42	   
2.42	   search
2.42	     run=3  nbConstraintChecks=58034  nbValidityChecks=28241  nbPropagations=68527  nbRevisions=184295
2.42	     nbUselessRevisions=131939  nbAssignments=207  nbFailedAssignments=21  nbBacktracks=88  nbVisitedNodes=249
2.42	     nbRestartNogoods=4  mapSize=35  nbInferences=0  nbTooLargeKeys=0
2.42	       =>  wckTime=0.778  cpuTime=0.7  mem=37M956
2.54	   
2.54	   search
2.54	     run=4  nbConstraintChecks=83261  nbValidityChecks=40806  nbPropagations=102539  nbRevisions=285719
2.54	     nbUselessRevisions=203337  nbAssignments=300  nbFailedAssignments=30  nbBacktracks=138  nbVisitedNodes=360
2.55	     nbRestartNogoods=6  mapSize=50  nbInferences=0  nbTooLargeKeys=0
2.55	       =>  wckTime=0.9  cpuTime=0.82  mem=37M956
2.69	   
2.69	   search
2.69	     run=5  nbConstraintChecks=113693  nbValidityChecks=56739  nbPropagations=146952  nbRevisions=422505
2.69	     nbUselessRevisions=299653  nbAssignments=413  nbFailedAssignments=42  nbBacktracks=213  nbVisitedNodes=496
2.69	     nbRestartNogoods=9  mapSize=71  nbInferences=0  nbTooLargeKeys=0
2.70	       =>  wckTime=1.05  cpuTime=0.97  mem=37M956
2.89	   
2.89	   search
2.89	     run=6  nbConstraintChecks=146907  nbValidityChecks=74661  nbPropagations=202619  nbRevisions=598566
2.89	     nbUselessRevisions=423868  nbAssignments=568  nbFailedAssignments=58  nbBacktracks=326  nbVisitedNodes=687
2.89	     nbRestartNogoods=11  mapSize=105  nbInferences=0  nbTooLargeKeys=0
2.89	       =>  wckTime=1.246  cpuTime=1.17  mem=37M956
3.14	   
3.14	   search
3.14	     run=7  nbConstraintChecks=174781  nbValidityChecks=90718  nbPropagations=267802  nbRevisions=809101
3.14	     nbUselessRevisions=572868  nbAssignments=802  nbFailedAssignments=84  nbBacktracks=508  nbVisitedNodes=974
3.14	     nbRestartNogoods=13  mapSize=155  nbInferences=0  nbTooLargeKeys=0
3.14	       =>  wckTime=1.498  cpuTime=1.41  mem=37M956
3.52	   
3.52	   search
3.52	     run=8  nbConstraintChecks=235993  nbValidityChecks=126284  nbPropagations=353805  nbRevisions=1095561
3.52	     nbUselessRevisions=776614  nbAssignments=1118  nbFailedAssignments=121  nbBacktracks=769  nbVisitedNodes=1369
3.52	     nbRestartNogoods=16  mapSize=233  nbInferences=0  nbTooLargeKeys=0
3.52	       =>  wckTime=1.879  cpuTime=1.8  mem=37M956
4.10	   
4.10	   search
4.10	     run=9  nbConstraintChecks=323402  nbValidityChecks=179084  nbPropagations=469031  nbRevisions=1493475
4.10	     nbUselessRevisions=1061634  nbAssignments=1599  nbFailedAssignments=184  nbBacktracks=1156  nbVisitedNodes=1983
4.10	     nbRestartNogoods=17  mapSize=362  nbInferences=0  nbTooLargeKeys=0
4.10	       =>  wckTime=2.46  cpuTime=2.37  mem=38M930
5.02	   
5.02	   search
5.02	     run=10  nbConstraintChecks=514190  nbValidityChecks=297840  nbPropagations=648778  nbRevisions=2142220
5.02	     nbUselessRevisions=1530541  nbAssignments=2355  nbFailedAssignments=332  nbBacktracks=1735  nbVisitedNodes=3039
5.02	     nbRestartNogoods=21  mapSize=658  nbInferences=0  nbTooLargeKeys=0
5.02	       =>  wckTime=3.377  cpuTime=3.27  mem=38M930
6.15	   
6.15	   INFO : Stopping hyperNogood (mapSize=1002, nbTooLargekeys=0, mem=38M930)
6.21	   
6.21	   search
6.21	     run=11  nbConstraintChecks=746099  nbValidityChecks=455539  nbPropagations=910553  nbRevisions=3123479
6.21	     nbUselessRevisions=2245874  nbAssignments=3436  nbFailedAssignments=523  nbBacktracks=2602  nbVisitedNodes=4492
6.21	     nbRestartNogoods=25
6.21	       =>  wckTime=4.57  cpuTime=4.46  mem=38M930
7.50	   
7.50	   search
7.50	     run=12  nbConstraintChecks=1157267  nbValidityChecks=682019  nbPropagations=1311083  nbRevisions=4601416
7.50	     nbUselessRevisions=3314288  nbAssignments=4993  nbFailedAssignments=731  nbBacktracks=3900  nbVisitedNodes=6464
7.50	     nbRestartNogoods=28
7.50	       =>  wckTime=5.854  cpuTime=5.75  mem=38M930
9.76	   
9.76	   search
9.76	     run=13  nbConstraintChecks=2043039  nbValidityChecks=1136638  nbPropagations=2008194  nbRevisions=7108308
9.76	     nbUselessRevisions=5105359  nbAssignments=7387  nbFailedAssignments=1065  nbBacktracks=5847  nbVisitedNodes=9477
9.76	     nbRestartNogoods=36
9.76	       =>  wckTime=8.12  cpuTime=8.01  mem=38M930
12.71	   
12.71	   search
12.71	     run=14  nbConstraintChecks=3024917  nbValidityChecks=1735864  nbPropagations=3031586  nbRevisions=10888816
12.71	     nbUselessRevisions=7829502  nbAssignments=10825  nbFailedAssignments=1547  nbBacktracks=8771  nbVisitedNodes=13883
12.71	     nbRestartNogoods=41
12.71	       =>  wckTime=11.069  cpuTime=10.96  mem=38M930
17.90	   
17.90	   search
17.90	     run=15  nbConstraintChecks=4907835  nbValidityChecks=2796557  nbPropagations=4693265  nbRevisions=17003523
17.90	     nbUselessRevisions=12230146  nbAssignments=16088  nbFailedAssignments=2389  nbBacktracks=13159
17.90	     nbVisitedNodes=20708  nbRestartNogoods=46
17.90	       =>  wckTime=16.253  cpuTime=16.11  mem=38M930
25.37	   
25.37	   search
25.37	     run=16  nbConstraintChecks=7513714  nbValidityChecks=4349005  nbPropagations=7243048  nbRevisions=26522679
25.37	     nbUselessRevisions=19115725  nbAssignments=24158  nbFailedAssignments=3805  nbBacktracks=19747
25.37	     nbVisitedNodes=31505  nbRestartNogoods=53
25.37	       =>  wckTime=23.729  cpuTime=23.52  mem=38M930
36.87	   
36.87	   search
36.87	     run=17  nbConstraintChecks=11510951  nbValidityChecks=6829938  nbPropagations=11135522  nbRevisions=41308637
36.87	     nbUselessRevisions=29872094  nbAssignments=36088  nbFailedAssignments=5848  nbBacktracks=29606
36.87	     nbVisitedNodes=47465  nbRestartNogoods=62
36.87	       =>  wckTime=35.221  cpuTime=34.95  mem=38M930
51.87	   
51.87	   search
51.87	     run=18  nbConstraintChecks=16405050  nbValidityChecks=9821256  nbPropagations=16677880  nbRevisions=62541157
51.87	     nbUselessRevisions=45364954  nbAssignments=53220  nbFailedAssignments=8182  nbBacktracks=44387
51.87	     nbVisitedNodes=69344  nbRestartNogoods=70
51.87	       =>  wckTime=50.226  cpuTime=49.89  mem=38M930
74.66	   
74.66	   search
74.66	     run=19  nbConstraintChecks=23905487  nbValidityChecks=14278591  nbPropagations=24772230  nbRevisions=93467723
74.66	     nbUselessRevisions=67903742  nbAssignments=79386  nbFailedAssignments=12146  nbBacktracks=66556
74.66	     nbVisitedNodes=103266  nbRestartNogoods=78
74.66	       =>  wckTime=73.011  cpuTime=72.53  mem=38M930
107.74	   
107.74	   search
107.74	     run=20  nbConstraintChecks=35670389  nbValidityChecks=21217875  nbPropagations=36838200  nbRevisions=139538347
107.74	     nbUselessRevisions=101473349  nbAssignments=114463  nbFailedAssignments=17664  nbBacktracks=94032
107.74	     nbVisitedNodes=149396  nbRestartNogoods=89
107.74	       =>  wckTime=106.1  cpuTime=105.45  mem=38M930
107.75	   
107.75	   global
107.75	     nbConstraintChecks=35677415  nbValidityChecks=21219513  nbPropagations=36844043  nbRevisions=139547089
107.75	     nbUselessRevisions=101480316  nbRestartNogoods=89  solvingWckTime=106.101  solvingCpuTime=105.45  expiredTime=no
107.75	     totalExploration=no  nbFoundSolutions=1  globalCpuTime=106.47
107.75	       =>  wckTime=107.4  cpuTime=106.42  mem=38M930
107.75	   
107.75	s SATISFIABLE
107.75	v 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 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 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 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 1 0 1 0 0 1 0 1 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 0 1 0 1 0 1 1 0 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 0 1 0 1 1 0 1 0 1 0 0 1 1 0 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 1 0 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 1 0 1 0 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 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 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 0 1 0 1 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 0 1 0 1 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 0 1 1 0 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 1 0 1 0 0 1 1 0 1 0 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 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 0 1 1 0 1 0 1 0 0 1 1 0 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 1 0 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 0 1 0 1 1 0 1 0 0 1 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 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 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 0 1 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 0 1 0 1 0 1 1 0 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 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 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 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 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 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 0 1 0 1 0 1 0 1 0 1 1 0 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 1 0 0 1 0 1 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 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 1 0 1 0 0 1 1 0 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 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 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 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 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 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 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 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 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 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 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 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 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 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 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 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 1 0 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 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 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 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 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 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 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 
107.75	d NODES 114463
107.75	d CHECKS 35677415
107.75	   
107.75	   totalWckTime=107.482  totalCpuTime=106.49

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-213949-1168227495 -o ROOT/results/node7/solver-213949-1168227495 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/213949-1168227495/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.92 1.95 1.89 3/88 5118
/proc/meminfo: memFree=1727192/2055920 swapFree=4192812/4192956
[pid=5117] ppid=5115 vsize=18540 CPUtime=0
/proc/5117/stat : 5117 (runsolver) R 5115 5117 4828 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 171144986 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 244671114535 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/5117/statm: 4635 279 244 17 0 2626 0

[startup+0.109531 s]
/proc/loadavg: 1.92 1.95 1.89 3/88 5118
/proc/meminfo: memFree=1727192/2055920 swapFree=4192812/4192956
[pid=5117] ppid=5115 vsize=912908 CPUtime=0.07
/proc/5117/stat : 5117 (java) S 5115 5117 4828 0 -1 0 2817 0 1 0 6 1 0 0 17 0 8 0 171144986 934817792 2563 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5117/statm: 228227 2563 1390 14 0 215128 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 912908

[startup+0.521574 s]
/proc/loadavg: 1.92 1.95 1.89 3/88 5118
/proc/meminfo: memFree=1727192/2055920 swapFree=4192812/4192956
[pid=5117] ppid=5115 vsize=915328 CPUtime=0.46
/proc/5117/stat : 5117 (java) R 5115 5117 4828 0 -1 0 6388 0 9 0 41 5 0 0 19 0 8 0 171144986 937295872 6135 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5117/statm: 228832 6135 2136 14 0 215302 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 915328

[startup+1.34366 s]
/proc/loadavg: 1.92 1.95 1.89 3/95 5125
/proc/meminfo: memFree=1683488/2055920 swapFree=4192812/4192956
[pid=5117] ppid=5115 vsize=915732 CPUtime=1.28
/proc/5117/stat : 5117 (java) R 5115 5117 4828 0 -1 0 14360 0 9 0 103 25 0 0 18 0 8 0 171144986 937709568 14105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5117/statm: 228933 14105 2185 14 0 215403 0
[pid=5117/tid=5119] ppid=5115 vsize=915732 CPUtime=0.07
/proc/5117/task/5119/stat : 5119 (java) S 5115 5117 4828 0 -1 64 913 0 0 0 7 0 0 0 17 0 8 0 171144992 937709568 14105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5117/tid=5120] ppid=5115 vsize=915732 CPUtime=0
/proc/5117/task/5120/stat : 5120 (java) S 5115 5117 4828 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171144992 937709568 14105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5117/tid=5121] ppid=5115 vsize=915732 CPUtime=0
/proc/5117/task/5121/stat : 5121 (java) S 5115 5117 4828 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171144992 937709568 14105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5117/tid=5122] ppid=5115 vsize=915732 CPUtime=0
/proc/5117/task/5122/stat : 5122 (java) S 5115 5117 4828 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 171144996 937709568 14105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5117/tid=5123] ppid=5115 vsize=915732 CPUtime=0.21
/proc/5117/task/5123/stat : 5123 (java) R 5115 5117 4828 0 -1 64 434 0 0 0 21 0 0 0 15 0 8 0 171144996 937709568 14105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5117/tid=5124] ppid=5115 vsize=915732 CPUtime=0
/proc/5117/task/5124/stat : 5124 (java) S 5115 5117 4828 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 171144996 937709568 14105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5117/tid=5125] ppid=5115 vsize=915732 CPUtime=0
/proc/5117/task/5125/stat : 5125 (java) S 5115 5117 4828 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171144996 937709568 14105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 915732

[startup+2.98083 s]
/proc/loadavg: 1.92 1.95 1.89 3/95 5125
/proc/meminfo: memFree=1676512/2055920 swapFree=4192812/4192956
[pid=5117] ppid=5115 vsize=915732 CPUtime=2.91
/proc/5117/stat : 5117 (java) R 5115 5117 4828 0 -1 0 14872 0 10 0 265 26 0 0 25 0 8 0 171144986 937709568 14617 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074189502 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5117/statm: 228933 14617 2544 14 0 215403 0
[pid=5117/tid=5119] ppid=5115 vsize=915732 CPUtime=0.07
/proc/5117/task/5119/stat : 5119 (java) S 5115 5117 4828 0 -1 64 913 0 0 0 7 0 0 0 17 0 8 0 171144992 937709568 14617 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5117/tid=5120] ppid=5115 vsize=915732 CPUtime=0
/proc/5117/task/5120/stat : 5120 (java) S 5115 5117 4828 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171144992 937709568 14617 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5117/tid=5121] ppid=5115 vsize=915732 CPUtime=0
/proc/5117/task/5121/stat : 5121 (java) S 5115 5117 4828 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171144992 937709568 14617 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5117/tid=5122] ppid=5115 vsize=915732 CPUtime=0
/proc/5117/task/5122/stat : 5122 (java) S 5115 5117 4828 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 171144996 937709568 14617 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5117/tid=5123] ppid=5115 vsize=915732 CPUtime=0.35
/proc/5117/task/5123/stat : 5123 (java) S 5115 5117 4828 0 -1 64 513 0 0 0 34 1 0 0 15 0 8 0 171144996 937709568 14617 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5117/tid=5124] ppid=5115 vsize=915732 CPUtime=0
/proc/5117/task/5124/stat : 5124 (java) S 5115 5117 4828 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 171144996 937709568 14617 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5117/tid=5125] ppid=5115 vsize=915732 CPUtime=0
/proc/5117/task/5125/stat : 5125 (java) S 5115 5117 4828 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171144996 937709568 14617 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 915732

[startup+6.27318 s]
/proc/loadavg: 1.93 1.95 1.89 3/95 5125
/proc/meminfo: memFree=1676320/2055920 swapFree=4192812/4192956
[pid=5117] ppid=5115 vsize=915732 CPUtime=6.21
/proc/5117/stat : 5117 (java) R 5115 5117 4828 0 -1 0 14892 0 10 0 594 27 0 0 25 0 8 0 171144986 937709568 14634 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074131853 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5117/statm: 228933 14634 2544 14 0 215403 0
[pid=5117/tid=5119] ppid=5115 vsize=915732 CPUtime=0.07
/proc/5117/task/5119/stat : 5119 (java) S 5115 5117 4828 0 -1 64 913 0 0 0 7 0 0 0 17 0 8 0 171144992 937709568 14634 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5117/tid=5120] ppid=5115 vsize=915732 CPUtime=0
/proc/5117/task/5120/stat : 5120 (java) S 5115 5117 4828 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171144992 937709568 14634 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5117/tid=5121] ppid=5115 vsize=915732 CPUtime=0
/proc/5117/task/5121/stat : 5121 (java) S 5115 5117 4828 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171144992 937709568 14634 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5117/tid=5122] ppid=5115 vsize=915732 CPUtime=0
/proc/5117/task/5122/stat : 5122 (java) S 5115 5117 4828 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 171144996 937709568 14634 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5117/tid=5123] ppid=5115 vsize=915732 CPUtime=0.38
/proc/5117/task/5123/stat : 5123 (java) S 5115 5117 4828 0 -1 64 530 0 0 0 37 1 0 0 16 0 8 0 171144996 937709568 14634 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5117/tid=5124] ppid=5115 vsize=915732 CPUtime=0
/proc/5117/task/5124/stat : 5124 (java) S 5115 5117 4828 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 171144996 937709568 14634 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5117/tid=5125] ppid=5115 vsize=915732 CPUtime=0
/proc/5117/task/5125/stat : 5125 (java) S 5115 5117 4828 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171144996 937709568 14634 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 915732

[startup+12.7589 s]
/proc/loadavg: 1.93 1.95 1.89 3/95 5125
/proc/meminfo: memFree=1676320/2055920 swapFree=4192812/4192956
[pid=5117] ppid=5115 vsize=915732 CPUtime=12.69
/proc/5117/stat : 5117 (java) R 5115 5117 4828 0 -1 0 14895 0 10 0 1242 27 0 0 25 0 8 0 171144986 937709568 14635 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074123991 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5117/statm: 228933 14635 2544 14 0 215403 0
[pid=5117/tid=5119] ppid=5115 vsize=915732 CPUtime=0.07
/proc/5117/task/5119/stat : 5119 (java) S 5115 5117 4828 0 -1 64 913 0 0 0 7 0 0 0 16 0 8 0 171144992 937709568 14635 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5117/tid=5120] ppid=5115 vsize=915732 CPUtime=0
/proc/5117/task/5120/stat : 5120 (java) S 5115 5117 4828 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171144992 937709568 14635 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5117/tid=5121] ppid=5115 vsize=915732 CPUtime=0
/proc/5117/task/5121/stat : 5121 (java) S 5115 5117 4828 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171144992 937709568 14635 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5117/tid=5122] ppid=5115 vsize=915732 CPUtime=0
/proc/5117/task/5122/stat : 5122 (java) S 5115 5117 4828 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 171144996 937709568 14635 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5117/tid=5123] ppid=5115 vsize=915732 CPUtime=0.38
/proc/5117/task/5123/stat : 5123 (java) S 5115 5117 4828 0 -1 64 531 0 0 0 37 1 0 0 17 0 8 0 171144996 937709568 14635 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5117/tid=5124] ppid=5115 vsize=915732 CPUtime=0
/proc/5117/task/5124/stat : 5124 (java) S 5115 5117 4828 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 171144996 937709568 14635 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5117/tid=5125] ppid=5115 vsize=915732 CPUtime=0
/proc/5117/task/5125/stat : 5125 (java) S 5115 5117 4828 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171144996 937709568 14635 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 915732

[startup+25.635 s]
/proc/loadavg: 1.95 1.96 1.89 3/95 5125
/proc/meminfo: memFree=1676384/2055920 swapFree=4192812/4192956
[pid=5117] ppid=5115 vsize=915732 CPUtime=25.47
/proc/5117/stat : 5117 (java) R 5115 5117 4828 0 -1 0 14896 0 10 0 2520 27 0 0 25 0 8 0 171144986 937709568 14636 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073480264 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5117/statm: 228933 14636 2544 14 0 215403 0
[pid=5117/tid=5119] ppid=5115 vsize=915732 CPUtime=0.07
/proc/5117/task/5119/stat : 5119 (java) S 5115 5117 4828 0 -1 64 913 0 0 0 7 0 0 0 16 0 8 0 171144992 937709568 14636 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5117/tid=5120] ppid=5115 vsize=915732 CPUtime=0
/proc/5117/task/5120/stat : 5120 (java) S 5115 5117 4828 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171144992 937709568 14636 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5117/tid=5121] ppid=5115 vsize=915732 CPUtime=0
/proc/5117/task/5121/stat : 5121 (java) S 5115 5117 4828 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171144992 937709568 14636 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5117/tid=5122] ppid=5115 vsize=915732 CPUtime=0
/proc/5117/task/5122/stat : 5122 (java) S 5115 5117 4828 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 171144996 937709568 14636 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5117/tid=5123] ppid=5115 vsize=915732 CPUtime=0.39
/proc/5117/task/5123/stat : 5123 (java) S 5115 5117 4828 0 -1 64 532 0 0 0 38 1 0 0 16 0 8 0 171144996 937709568 14636 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5117/tid=5124] ppid=5115 vsize=915732 CPUtime=0
/proc/5117/task/5124/stat : 5124 (java) S 5115 5117 4828 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 171144996 937709568 14636 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5117/tid=5125] ppid=5115 vsize=915732 CPUtime=0
/proc/5117/task/5125/stat : 5125 (java) S 5115 5117 4828 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171144996 937709568 14636 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 915732

[startup+51.2577 s]
/proc/loadavg: 1.96 1.96 1.89 3/95 5125
/proc/meminfo: memFree=1676448/2055920 swapFree=4192812/4192956
[pid=5117] ppid=5115 vsize=915732 CPUtime=50.97
/proc/5117/stat : 5117 (java) R 5115 5117 4828 0 -1 0 14898 0 10 0 5070 27 0 0 25 0 8 0 171144986 937709568 14637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074092472 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5117/statm: 228933 14637 2544 14 0 215403 0
[pid=5117/tid=5119] ppid=5115 vsize=915732 CPUtime=0.07
/proc/5117/task/5119/stat : 5119 (java) S 5115 5117 4828 0 -1 64 913 0 0 0 7 0 0 0 16 0 8 0 171144992 937709568 14637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5117/tid=5120] ppid=5115 vsize=915732 CPUtime=0
/proc/5117/task/5120/stat : 5120 (java) S 5115 5117 4828 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171144992 937709568 14637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5117/tid=5121] ppid=5115 vsize=915732 CPUtime=0
/proc/5117/task/5121/stat : 5121 (java) S 5115 5117 4828 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171144992 937709568 14637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5117/tid=5122] ppid=5115 vsize=915732 CPUtime=0
/proc/5117/task/5122/stat : 5122 (java) S 5115 5117 4828 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 171144996 937709568 14637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5117/tid=5123] ppid=5115 vsize=915732 CPUtime=0.39
/proc/5117/task/5123/stat : 5123 (java) S 5115 5117 4828 0 -1 64 533 0 0 0 38 1 0 0 16 0 8 0 171144996 937709568 14637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5117/tid=5124] ppid=5115 vsize=915732 CPUtime=0
/proc/5117/task/5124/stat : 5124 (java) S 5115 5117 4828 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 171144996 937709568 14637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5117/tid=5125] ppid=5115 vsize=915732 CPUtime=0
/proc/5117/task/5125/stat : 5125 (java) S 5115 5117 4828 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171144996 937709568 14637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.97
Current children cumulated vsize (KiB) 915732

[startup+102.502 s]
/proc/loadavg: 2.05 1.98 1.90 3/95 5125
/proc/meminfo: memFree=1676256/2055920 swapFree=4192812/4192956
[pid=5117] ppid=5115 vsize=915732 CPUtime=101.94
/proc/5117/stat : 5117 (java) R 5115 5117 4828 0 -1 0 14898 0 10 0 10167 27 0 0 25 0 8 0 171144986 937709568 14637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074084961 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5117/statm: 228933 14637 2544 14 0 215403 0
[pid=5117/tid=5119] ppid=5115 vsize=915732 CPUtime=0.07
/proc/5117/task/5119/stat : 5119 (java) S 5115 5117 4828 0 -1 64 913 0 0 0 7 0 0 0 16 0 8 0 171144992 937709568 14637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5117/tid=5120] ppid=5115 vsize=915732 CPUtime=0
/proc/5117/task/5120/stat : 5120 (java) S 5115 5117 4828 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171144992 937709568 14637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5117/tid=5121] ppid=5115 vsize=915732 CPUtime=0
/proc/5117/task/5121/stat : 5121 (java) S 5115 5117 4828 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171144992 937709568 14637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5117/tid=5122] ppid=5115 vsize=915732 CPUtime=0
/proc/5117/task/5122/stat : 5122 (java) S 5115 5117 4828 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 171144996 937709568 14637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5117/tid=5123] ppid=5115 vsize=915732 CPUtime=0.39
/proc/5117/task/5123/stat : 5123 (java) S 5115 5117 4828 0 -1 64 533 0 0 0 38 1 0 0 16 0 8 0 171144996 937709568 14637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5117/tid=5124] ppid=5115 vsize=915732 CPUtime=0
/proc/5117/task/5124/stat : 5124 (java) S 5115 5117 4828 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 171144996 937709568 14637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5117/tid=5125] ppid=5115 vsize=915732 CPUtime=0
/proc/5117/task/5125/stat : 5125 (java) S 5115 5117 4828 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171144996 937709568 14637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.94
Current children cumulated vsize (KiB) 915732

Child status: 0
Real time (s): 107.812
CPU time (s): 107.188
CPU user time (s): 106.898
CPU system time (s): 0.289955
CPU usage (%): 99.4208
Max. virtual memory (cumulated for all children) (KiB): 915732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 106.898
system time used= 0.289955
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14909
page faults= 10
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3971
involuntary context switches= 3861

runsolver used 0.136979 s user time and 0.353946 s system time

The end

Launcher Data (download as text)

Begin job on node7 on Mon Jan  8 03:38:16 UTC 2007


IDJOB= 213949
IDBENCH= 4887
FILE ID= node7/213949-1168227495

PBS_JOBID= 3481052

Free space on /tmp= 66557 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  b2c1e60b5d6560b6adf6904a2b6ef697

RANDOM SEED= 550285182

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:       1727672 kB
Buffers:         49652 kB
Cached:         152716 kB
SwapCached:          0 kB
Active:         158316 kB
Inactive:       117752 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1727672 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2512 kB
Writeback:           0 kB
Mapped:          93468 kB
Slab:            36748 kB
Committed_AS:  4921756 kB
PageTables:       2400 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= 66557 MiB



End job on node7 on Mon Jan  8 03:40:03 UTC 2007