Trace number 214015

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 90.0093 90.1028

DiagnosticValue
CHECKS31015284
NODES104250

General information on the benchmark

NamepseudoSeries/par/
par-16-4.xml
MD5SUM774ad66b3800376e8e724d1f3372838e
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 benchmark1.7
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables2030
Number of constraints4263
Maximum constraint arity3
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension4263
Global constraints used (with number of constraints)

Solver Data (download as text)

0.29	   
0.30	Abscon 109 (November, 2006)
0.30	   
0.30	   configuration
0.30	     name=mac.xml
0.32	   
0.32	   instance
0.32	     name=/tmp/evaluation/214015-1168077568/unknown.xml
0.35	   
0.35	   domains being loaded...
0.36	   
0.36	   variables being loaded...
0.54	     nbVariables=2030  nbDomainTypes=3  minDomainSize=1  maxDomainSize=2
0.54	       =>  wckTime=0.249  cpuTime=0.17  mem=10M820
0.54	   
0.54	   predicates being loaded...
0.55	   
0.55	   constraints being loaded...
1.23	     nbConstraints=4263  nbSingletonDomainVariables=792  nbConvertedConstraints=1991  nbConvertConstraintsChecks=64
1.23	     nbExtensionStructures=7  nbSharedExtensionStructures=1984  nbConflictsStructures=22
1.23	     nbSharedConflictsStructures=4241  nbSharedBinaryRepresentations=16  nbEvaluationManagers=15
1.23	     nbSharedEvaluationManagers=2257  maxDegree=41  maxArity=3
1.23	       =>  wckTime=0.931  cpuTime=0.77  mem=36M174
1.31	   
1.31	   solver IterativeSystematicSolver being built... 
1.60	       =>  wckTime=1.306  cpuTime=1.02  mem=37M115
1.63	   
1.63	   preprocessing
1.63	     nbConstraintChecks=0  nbPropagations=2030  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
1.63	     detectedInconsistency=no
1.63	       =>  wckTime=0.025  cpuTime=0.01  mem=37M115
1.74	   
1.74	   search
1.74	     run=0  nbConstraintChecks=7527  nbValidityChecks=2161  nbPropagations=4361  nbRevisions=8163
1.74	     nbUselessRevisions=5810  nbAssignments=38  nbFailedAssignments=4  nbBacktracks=10  nbVisitedNodes=46
1.74	     nbRestartNogoods=0  mapSize=5  nbInferences=0  nbTooLargeKeys=0
1.74	       =>  wckTime=0.135  cpuTime=0.09  mem=37M115
1.80	   
1.80	   search
1.80	     run=1  nbConstraintChecks=16903  nbValidityChecks=6884  nbPropagations=11890  nbRevisions=27546
1.80	     nbUselessRevisions=19655  nbAssignments=82  nbFailedAssignments=8  nbBacktracks=26  nbVisitedNodes=98
1.80	     nbRestartNogoods=2  mapSize=11  nbInferences=0  nbTooLargeKeys=0
1.80	       =>  wckTime=0.199  cpuTime=0.15  mem=37M115
1.87	   
1.87	   search
1.87	     run=2  nbConstraintChecks=27890  nbValidityChecks=13007  nbPropagations=23190  nbRevisions=60704
1.87	     nbUselessRevisions=43481  nbAssignments=131  nbFailedAssignments=13  nbBacktracks=52  nbVisitedNodes=158
1.87	     nbRestartNogoods=4  mapSize=21  nbInferences=0  nbTooLargeKeys=0
1.87	       =>  wckTime=0.263  cpuTime=0.21  mem=37M115
1.96	   
1.96	   search
1.96	     run=3  nbConstraintChecks=44878  nbValidityChecks=21518  nbPropagations=40048  nbRevisions=113151
1.96	     nbUselessRevisions=80995  nbAssignments=198  nbFailedAssignments=21  nbBacktracks=87  nbVisitedNodes=243
1.96	     nbRestartNogoods=5  mapSize=37  nbInferences=0  nbTooLargeKeys=0
1.96	       =>  wckTime=0.354  cpuTime=0.3  mem=37M115
2.09	   
2.09	   search
2.09	     run=4  nbConstraintChecks=63289  nbValidityChecks=30802  nbPropagations=63051  nbRevisions=186778
2.09	     nbUselessRevisions=133497  nbAssignments=295  nbFailedAssignments=32  nbBacktracks=149  nbVisitedNodes=360
2.09	     nbRestartNogoods=7  mapSize=54  nbInferences=0  nbTooLargeKeys=0
2.09	       =>  wckTime=0.479  cpuTime=0.43  mem=37M115
2.25	   
2.25	   search
2.25	     run=5  nbConstraintChecks=84631  nbValidityChecks=41951  nbPropagations=93180  nbRevisions=285494
2.25	     nbUselessRevisions=203901  nbAssignments=420  nbFailedAssignments=44  nbBacktracks=238  nbVisitedNodes=507
2.25	     nbRestartNogoods=10  mapSize=74  nbInferences=0  nbTooLargeKeys=0
2.25	       =>  wckTime=0.64  cpuTime=0.59  mem=37M115
2.44	   
2.44	   search
2.44	     run=6  nbConstraintChecks=108542  nbValidityChecks=54330  nbPropagations=131166  nbRevisions=412045
2.44	     nbUselessRevisions=294196  nbAssignments=583  nbFailedAssignments=59  nbBacktracks=360  nbVisitedNodes=702
2.44	     nbRestartNogoods=12  mapSize=103  nbInferences=0  nbTooLargeKeys=0
2.44	       =>  wckTime=0.834  cpuTime=0.78  mem=37M115
2.68	   
2.68	   search
2.68	     run=7  nbConstraintChecks=135044  nbValidityChecks=68445  nbPropagations=177864  nbRevisions=570054
2.68	     nbUselessRevisions=407065  nbAssignments=803  nbFailedAssignments=79  nbBacktracks=537  nbVisitedNodes=967
2.69	     nbRestartNogoods=15  mapSize=145  nbInferences=0  nbTooLargeKeys=0
2.69	       =>  wckTime=1.079  cpuTime=1.02  mem=37M115
3.05	   
3.05	   search
3.05	     run=8  nbConstraintChecks=201448  nbValidityChecks=104333  nbPropagations=246520  nbRevisions=808099
3.05	     nbUselessRevisions=577395  nbAssignments=1129  nbFailedAssignments=124  nbBacktracks=794  nbVisitedNodes=1404
3.05	     nbRestartNogoods=18  mapSize=253  nbInferences=0  nbTooLargeKeys=0
3.05	       =>  wckTime=1.447  cpuTime=1.38  mem=38M89
3.65	   
3.65	   search
3.65	     run=9  nbConstraintChecks=367324  nbValidityChecks=190932  nbPropagations=370745  nbRevisions=1244372
3.65	     nbUselessRevisions=888737  nbAssignments=1624  nbFailedAssignments=208  nbBacktracks=1182  nbVisitedNodes=2073
3.65	     nbRestartNogoods=21  mapSize=425  nbInferences=0  nbTooLargeKeys=0
3.65	       =>  wckTime=2.047  cpuTime=1.97  mem=38M89
4.54	   
4.54	   search
4.54	     run=10  nbConstraintChecks=579642  nbValidityChecks=309657  nbPropagations=567458  nbRevisions=1949046
4.54	     nbUselessRevisions=1393384  nbAssignments=2338  nbFailedAssignments=311  nbBacktracks=1760  nbVisitedNodes=2996
4.54	     nbRestartNogoods=23  mapSize=630  nbInferences=0  nbTooLargeKeys=0
4.54	       =>  wckTime=2.935  cpuTime=2.84  mem=38M89
5.79	   
5.79	   search
5.79	     run=11  nbConstraintChecks=900241  nbValidityChecks=475774  nbPropagations=874459  nbRevisions=3036978
5.79	     nbUselessRevisions=2168072  nbAssignments=3392  nbFailedAssignments=462  nbBacktracks=2637  nbVisitedNodes=4362
5.79	     nbRestartNogoods=27  mapSize=938  nbInferences=0  nbTooLargeKeys=0
5.79	       =>  wckTime=4.189  cpuTime=4.09  mem=38M89
6.12	   
6.12	   INFO : Stopping hyperNogood (mapSize=1012, nbTooLargekeys=0, mem=38M89)
7.13	   
7.13	   search
7.13	     run=12  nbConstraintChecks=1317080  nbValidityChecks=701433  nbPropagations=1319697  nbRevisions=4635654
7.13	     nbUselessRevisions=3310444  nbAssignments=4934  nbFailedAssignments=668  nbBacktracks=3937  nbVisitedNodes=6312
7.13	     nbRestartNogoods=31
7.13	       =>  wckTime=5.527  cpuTime=5.43  mem=38M89
8.81	   
8.81	   search
8.81	     run=13  nbConstraintChecks=1871340  nbValidityChecks=990031  nbPropagations=1951343  nbRevisions=6896241
8.81	     nbUselessRevisions=4922829  nbAssignments=7136  nbFailedAssignments=898  nbBacktracks=5885  nbVisitedNodes=8978
8.81	     nbRestartNogoods=35
8.81	       =>  wckTime=7.209  cpuTime=7.1  mem=38M89
11.69	   
11.69	   search
11.69	     run=14  nbConstraintChecks=2949642  nbValidityChecks=1529686  nbPropagations=2942182  nbRevisions=10417684
11.69	     nbUselessRevisions=7425471  nbAssignments=10569  nbFailedAssignments=1378  nbBacktracks=8814  nbVisitedNodes=13350
11.69	     nbRestartNogoods=41
11.69	       =>  wckTime=10.081  cpuTime=9.97  mem=38M89
16.05	   
16.05	   search
16.05	     run=15  nbConstraintChecks=4530892  nbValidityChecks=2406381  nbPropagations=4472362  nbRevisions=15930742
16.05	     nbUselessRevisions=11362775  nbAssignments=15676  nbFailedAssignments=2070  nbBacktracks=13200
16.05	     nbVisitedNodes=19836  nbRestartNogoods=46
16.05	       =>  wckTime=14.442  cpuTime=14.33  mem=38M89
21.40	   
21.40	   search
21.40	     run=16  nbConstraintChecks=6202771  nbValidityChecks=3326050  nbPropagations=6574983  nbRevisions=23549971
21.40	     nbUselessRevisions=16816952  nbAssignments=23017  nbFailedAssignments=2818  nbBacktracks=19774
21.40	     nbVisitedNodes=28610  nbRestartNogoods=52
21.40	       =>  wckTime=19.796  cpuTime=19.68  mem=38M89
30.41	   
30.41	   search
30.41	     run=17  nbConstraintChecks=9169737  nbValidityChecks=5010064  nbPropagations=9678244  nbRevisions=34949755
30.41	     nbUselessRevisions=25017338  nbAssignments=34282  nbFailedAssignments=4204  nbBacktracks=29628
30.41	     nbVisitedNodes=42643  nbRestartNogoods=56
30.41	       =>  wckTime=28.807  cpuTime=28.68  mem=38M89
46.95	   
46.95	   search
46.95	     run=18  nbConstraintChecks=15571134  nbValidityChecks=8595228  nbPropagations=14915181  nbRevisions=54404858
46.95	     nbUselessRevisions=39064980  nbAssignments=51872  nbFailedAssignments=6973  nbBacktracks=44428
46.95	     nbVisitedNodes=65686  nbRestartNogoods=64
46.95	       =>  wckTime=45.341  cpuTime=45.2  mem=38M89
68.48	   
68.48	   search
68.48	     run=19  nbConstraintChecks=23170295  nbValidityChecks=12850106  nbPropagations=22700203  nbRevisions=83472344
68.48	     nbUselessRevisions=60101409  nbAssignments=77673  nbFailedAssignments=10579  nbBacktracks=66597
68.48	     nbVisitedNodes=98892  nbRestartNogoods=73
68.48	       =>  wckTime=66.876  cpuTime=66.72  mem=38M89
90.07	   
90.07	   search
90.07	     run=20  nbConstraintChecks=31015284  nbValidityChecks=17140270  nbPropagations=33086185  nbRevisions=122270482
90.07	     nbUselessRevisions=88187608  nbAssignments=104250  nbFailedAssignments=14369  nbBacktracks=87354
90.07	     nbVisitedNodes=133065  nbRestartNogoods=80
90.07	       =>  wckTime=88.466  cpuTime=88.29  mem=38M89
90.07	   
90.07	   global
90.07	     nbConstraintChecks=31015284  nbValidityChecks=17140270  nbPropagations=33088215  nbRevisions=122270482
90.07	     nbUselessRevisions=88187608  nbRestartNogoods=80  solvingWckTime=88.467  solvingCpuTime=88.29  expiredTime=no
90.07	     totalExploration=no  nbFoundSolutions=1  globalCpuTime=89.36
90.07	       =>  wckTime=89.779  cpuTime=89.31  mem=38M89
90.08	   
90.08	s SATISFIABLE
90.08	v 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 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 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 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 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 1 0 1 0 1 0 1 0 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 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 0 1 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 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 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 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 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 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 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 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 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 1 0 1 0 1 0 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 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 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 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 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 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 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 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 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 0 1 0 1 0 1 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 1 0 1 0 1 0 1 0 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 0 1 0 1 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 1 0 1 0 1 0 1 0 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 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 0 1 0 1 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 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 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 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 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 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 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 
90.08	d NODES 104250
90.08	d CHECKS 31015284
90.08	   
90.08	   totalWckTime=89.856  totalCpuTime=89.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/node33/watcher-214015-1168077568 -o ROOT/results/node33/solver-214015-1168077568 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/214015-1168077568/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.00 1.00 1.00 3/65 10752
/proc/meminfo: memFree=1156600/2055920 swapFree=4192224/4192956
[pid=10751] ppid=10749 vsize=1784 CPUtime=0
/proc/10751/stat : 10751 (java) R 10749 10751 9938 0 -1 0 150 0 0 0 0 0 0 0 19 0 1 0 156150672 1826816 123 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/10751/statm: 446 124 91 14 0 91 0

[startup+0.107017 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 10752
/proc/meminfo: memFree=1156600/2055920 swapFree=4192224/4192956
[pid=10751] ppid=10749 vsize=914988 CPUtime=0.09
/proc/10751/stat : 10751 (java) R 10749 10751 9938 0 -1 0 3088 0 1 0 8 1 0 0 16 0 8 0 156150672 936947712 2834 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072916972 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10751/statm: 228747 2834 1457 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.5151 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 10752
/proc/meminfo: memFree=1156600/2055920 swapFree=4192224/4192956
[pid=10751] ppid=10749 vsize=915328 CPUtime=0.5
/proc/10751/stat : 10751 (java) S 10749 10751 9938 0 -1 0 6791 0 1 0 46 4 0 0 16 0 8 0 156150672 937295872 6530 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10751/statm: 228832 6530 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328

[startup+1.33727 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 10759
/proc/meminfo: memFree=1114496/2055920 swapFree=4192224/4192956
[pid=10751] ppid=10749 vsize=915732 CPUtime=1.32
/proc/10751/stat : 10751 (java) R 10749 10751 9938 0 -1 0 14534 0 1 0 104 28 0 0 16 0 8 0 156150672 937709568 14271 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155889793 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10751/statm: 228933 14271 2392 14 0 215403 0
[pid=10751/tid=10753] ppid=10749 vsize=915732 CPUtime=0.07
/proc/10751/task/10753/stat : 10753 (java) S 10749 10751 9938 0 -1 64 908 0 0 0 7 0 0 0 16 0 8 0 156150675 937709568 14271 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10751/tid=10754] ppid=10749 vsize=915732 CPUtime=0
/proc/10751/task/10754/stat : 10754 (java) S 10749 10751 9938 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156150676 937709568 14271 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10751/tid=10755] ppid=10749 vsize=915732 CPUtime=0
/proc/10751/task/10755/stat : 10755 (java) S 10749 10751 9938 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156150676 937709568 14271 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10751/tid=10756] ppid=10749 vsize=915732 CPUtime=0
/proc/10751/task/10756/stat : 10756 (java) S 10749 10751 9938 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156150679 937709568 14271 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10751/tid=10757] ppid=10749 vsize=915732 CPUtime=0.19
/proc/10751/task/10757/stat : 10757 (java) S 10749 10751 9938 0 -1 64 435 0 0 0 19 0 0 0 16 0 8 0 156150679 937709568 14271 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10751/tid=10758] ppid=10749 vsize=915732 CPUtime=0
/proc/10751/task/10758/stat : 10758 (java) S 10749 10751 9938 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156150679 937709568 14271 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10751/tid=10759] ppid=10749 vsize=915732 CPUtime=0
/proc/10751/task/10759/stat : 10759 (java) S 10749 10751 9938 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156150679 937709568 14271 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 915732

[startup+2.98961 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 10759
/proc/meminfo: memFree=1108288/2055920 swapFree=4192224/4192956
[pid=10751] ppid=10749 vsize=915732 CPUtime=2.97
/proc/10751/stat : 10751 (java) R 10749 10751 9938 0 -1 0 14797 0 1 0 268 29 0 0 17 0 8 0 156150672 937709568 14532 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074088678 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10751/statm: 228933 14532 2533 14 0 215403 0
[pid=10751/tid=10753] ppid=10749 vsize=915732 CPUtime=0.07
/proc/10751/task/10753/stat : 10753 (java) S 10749 10751 9938 0 -1 64 909 0 0 0 7 0 0 0 16 0 8 0 156150675 937709568 14532 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10751/tid=10754] ppid=10749 vsize=915732 CPUtime=0
/proc/10751/task/10754/stat : 10754 (java) S 10749 10751 9938 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156150676 937709568 14532 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10751/tid=10755] ppid=10749 vsize=915732 CPUtime=0
/proc/10751/task/10755/stat : 10755 (java) S 10749 10751 9938 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156150676 937709568 14532 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10751/tid=10756] ppid=10749 vsize=915732 CPUtime=0
/proc/10751/task/10756/stat : 10756 (java) S 10749 10751 9938 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156150679 937709568 14532 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10751/tid=10757] ppid=10749 vsize=915732 CPUtime=0.3
/proc/10751/task/10757/stat : 10757 (java) S 10749 10751 9938 0 -1 64 507 0 0 0 29 1 0 0 15 0 8 0 156150679 937709568 14532 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10751/tid=10758] ppid=10749 vsize=915732 CPUtime=0
/proc/10751/task/10758/stat : 10758 (java) S 10749 10751 9938 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156150679 937709568 14532 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10751/tid=10759] ppid=10749 vsize=915732 CPUtime=0
/proc/10751/task/10759/stat : 10759 (java) S 10749 10751 9938 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156150679 937709568 14532 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 915732

[startup+6.27029 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 10759
/proc/meminfo: memFree=1108096/2055920 swapFree=4192224/4192956
[pid=10751] ppid=10749 vsize=915732 CPUtime=6.24
/proc/10751/stat : 10751 (java) R 10749 10751 9938 0 -1 0 14819 0 1 0 595 29 0 0 17 0 8 0 156150672 937709568 14550 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074104120 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10751/statm: 228933 14550 2533 14 0 215403 0
[pid=10751/tid=10753] ppid=10749 vsize=915732 CPUtime=0.07
/proc/10751/task/10753/stat : 10753 (java) S 10749 10751 9938 0 -1 64 909 0 0 0 7 0 0 0 16 0 8 0 156150675 937709568 14550 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10751/tid=10754] ppid=10749 vsize=915732 CPUtime=0
/proc/10751/task/10754/stat : 10754 (java) S 10749 10751 9938 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156150676 937709568 14550 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10751/tid=10755] ppid=10749 vsize=915732 CPUtime=0
/proc/10751/task/10755/stat : 10755 (java) S 10749 10751 9938 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156150676 937709568 14550 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10751/tid=10756] ppid=10749 vsize=915732 CPUtime=0
/proc/10751/task/10756/stat : 10756 (java) S 10749 10751 9938 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156150679 937709568 14550 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10751/tid=10757] ppid=10749 vsize=915732 CPUtime=0.33
/proc/10751/task/10757/stat : 10757 (java) S 10749 10751 9938 0 -1 64 525 0 0 0 32 1 0 0 16 0 8 0 156150679 937709568 14550 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10751/tid=10758] ppid=10749 vsize=915732 CPUtime=0
/proc/10751/task/10758/stat : 10758 (java) S 10749 10751 9938 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156150679 937709568 14550 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10751/tid=10759] ppid=10749 vsize=915732 CPUtime=0
/proc/10751/task/10759/stat : 10759 (java) S 10749 10751 9938 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156150679 937709568 14550 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 915732

[startup+12.7536 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 10759
/proc/meminfo: memFree=1108096/2055920 swapFree=4192224/4192956
[pid=10751] ppid=10749 vsize=915732 CPUtime=12.72
/proc/10751/stat : 10751 (java) R 10749 10751 9938 0 -1 0 14823 0 1 0 1243 29 0 0 25 0 8 0 156150672 937709568 14552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074081289 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10751/statm: 228933 14552 2533 14 0 215403 0
[pid=10751/tid=10753] ppid=10749 vsize=915732 CPUtime=0.07
/proc/10751/task/10753/stat : 10753 (java) S 10749 10751 9938 0 -1 64 909 0 0 0 7 0 0 0 16 0 8 0 156150675 937709568 14552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10751/tid=10754] ppid=10749 vsize=915732 CPUtime=0
/proc/10751/task/10754/stat : 10754 (java) S 10749 10751 9938 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156150676 937709568 14552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10751/tid=10755] ppid=10749 vsize=915732 CPUtime=0
/proc/10751/task/10755/stat : 10755 (java) S 10749 10751 9938 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156150676 937709568 14552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10751/tid=10756] ppid=10749 vsize=915732 CPUtime=0
/proc/10751/task/10756/stat : 10756 (java) S 10749 10751 9938 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156150679 937709568 14552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10751/tid=10757] ppid=10749 vsize=915732 CPUtime=0.33
/proc/10751/task/10757/stat : 10757 (java) S 10749 10751 9938 0 -1 64 528 0 0 0 32 1 0 0 17 0 8 0 156150679 937709568 14552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10751/tid=10758] ppid=10749 vsize=915732 CPUtime=0
/proc/10751/task/10758/stat : 10758 (java) S 10749 10751 9938 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156150679 937709568 14552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10751/tid=10759] ppid=10749 vsize=915732 CPUtime=0
/proc/10751/task/10759/stat : 10759 (java) S 10749 10751 9938 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156150679 937709568 14552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 915732

[startup+25.5943 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 10759
/proc/meminfo: memFree=1108096/2055920 swapFree=4192224/4192956
[pid=10751] ppid=10749 vsize=915732 CPUtime=25.55
/proc/10751/stat : 10751 (java) R 10749 10751 9938 0 -1 0 14824 0 1 0 2526 29 0 0 25 0 8 0 156150672 937709568 14553 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074158386 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10751/statm: 228933 14553 2533 14 0 215403 0
[pid=10751/tid=10753] ppid=10749 vsize=915732 CPUtime=0.07
/proc/10751/task/10753/stat : 10753 (java) S 10749 10751 9938 0 -1 64 909 0 0 0 7 0 0 0 16 0 8 0 156150675 937709568 14553 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10751/tid=10754] ppid=10749 vsize=915732 CPUtime=0
/proc/10751/task/10754/stat : 10754 (java) S 10749 10751 9938 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156150676 937709568 14553 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10751/tid=10755] ppid=10749 vsize=915732 CPUtime=0
/proc/10751/task/10755/stat : 10755 (java) S 10749 10751 9938 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156150676 937709568 14553 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10751/tid=10756] ppid=10749 vsize=915732 CPUtime=0
/proc/10751/task/10756/stat : 10756 (java) S 10749 10751 9938 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156150679 937709568 14553 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10751/tid=10757] ppid=10749 vsize=915732 CPUtime=0.33
/proc/10751/task/10757/stat : 10757 (java) S 10749 10751 9938 0 -1 64 529 0 0 0 32 1 0 0 16 0 8 0 156150679 937709568 14553 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10751/tid=10758] ppid=10749 vsize=915732 CPUtime=0
/proc/10751/task/10758/stat : 10758 (java) S 10749 10751 9938 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156150679 937709568 14553 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10751/tid=10759] ppid=10749 vsize=915732 CPUtime=0
/proc/10751/task/10759/stat : 10759 (java) S 10749 10751 9938 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156150679 937709568 14553 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.55
Current children cumulated vsize (KiB) 915732

[startup+51.2876 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 10759
/proc/meminfo: memFree=1108160/2055920 swapFree=4192224/4192956
[pid=10751] ppid=10749 vsize=915732 CPUtime=51.22
/proc/10751/stat : 10751 (java) R 10749 10751 9938 0 -1 0 14824 0 1 0 5092 30 0 0 25 0 8 0 156150672 937709568 14553 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074084323 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10751/statm: 228933 14553 2533 14 0 215403 0
[pid=10751/tid=10753] ppid=10749 vsize=915732 CPUtime=0.07
/proc/10751/task/10753/stat : 10753 (java) S 10749 10751 9938 0 -1 64 909 0 0 0 7 0 0 0 16 0 8 0 156150675 937709568 14553 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10751/tid=10754] ppid=10749 vsize=915732 CPUtime=0
/proc/10751/task/10754/stat : 10754 (java) S 10749 10751 9938 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156150676 937709568 14553 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10751/tid=10755] ppid=10749 vsize=915732 CPUtime=0
/proc/10751/task/10755/stat : 10755 (java) S 10749 10751 9938 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156150676 937709568 14553 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10751/tid=10756] ppid=10749 vsize=915732 CPUtime=0
/proc/10751/task/10756/stat : 10756 (java) S 10749 10751 9938 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156150679 937709568 14553 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10751/tid=10757] ppid=10749 vsize=915732 CPUtime=0.33
/proc/10751/task/10757/stat : 10757 (java) S 10749 10751 9938 0 -1 64 529 0 0 0 32 1 0 0 16 0 8 0 156150679 937709568 14553 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10751/tid=10758] ppid=10749 vsize=915732 CPUtime=0
/proc/10751/task/10758/stat : 10758 (java) S 10749 10751 9938 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156150679 937709568 14553 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10751/tid=10759] ppid=10749 vsize=915732 CPUtime=0
/proc/10751/task/10759/stat : 10759 (java) S 10749 10751 9938 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156150679 937709568 14553 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.22
Current children cumulated vsize (KiB) 915732

Child status: 0
Real time (s): 90.1028
CPU time (s): 90.0093
CPU user time (s): 89.6924
CPU system time (s): 0.316951
CPU usage (%): 99.8962
Max. virtual memory (cumulated for all children) (KiB): 915732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 89.6924
system time used= 0.316951
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14834
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= 3063
involuntary context switches= 2291

runsolver used 0.106983 s user time and 0.221966 s system time

The end

Launcher Data (download as text)

Begin job on node33 on Sat Jan  6 09:59:28 UTC 2007


IDJOB= 214015
IDBENCH= 4892
FILE ID= node33/214015-1168077568

PBS_JOBID= 3475966

Free space on /tmp= 66554 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  774ad66b3800376e8e724d1f3372838e

RANDOM SEED= 304294478

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.281
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.281
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:       1157080 kB
Buffers:         43348 kB
Cached:         757176 kB
SwapCached:        448 kB
Active:         101828 kB
Inactive:       714580 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1157080 kB
SwapTotal:     4192956 kB
SwapFree:      4192224 kB
Dirty:            2320 kB
Writeback:           0 kB
Mapped:          25344 kB
Slab:            68504 kB
Committed_AS:  2631080 kB
PageTables:       1412 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= 66554 MiB



End job on node33 on Sat Jan  6 10:00:59 UTC 2007