Trace number 214170

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 246.22 246.33

DiagnosticValue
CHECKS75808602
NODES277244

General information on the benchmark

NamepseudoSeries/par/
par-16-3.xml
MD5SUM3b8fc65b25c670efdfb93e76af6cd06b
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.13
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables2030
Number of constraints4283
Maximum constraint arity3
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension4283
Global constraints used (with number of constraints)

Solver Data (download as text)

0.30	   
0.30	Abscon 109 (November, 2006)
0.30	   
0.30	   configuration
0.30	     name=esac.xml
0.33	   
0.33	   instance
0.33	     name=/tmp/evaluation/214170-1168228548/unknown.xml
0.36	   
0.36	   domains being loaded...
0.36	   
0.36	   variables being loaded...
0.55	     nbVariables=2030  nbDomainTypes=3  minDomainSize=1  maxDomainSize=2
0.55	       =>  wckTime=0.251  cpuTime=0.17  mem=10M820
0.55	   
0.55	   predicates being loaded...
0.55	   
0.55	   constraints being loaded...
1.23	     nbConstraints=4283  nbSingletonDomainVariables=790  nbConvertedConstraints=1971  nbConvertConstraintsChecks=64
1.23	     nbExtensionStructures=7  nbSharedExtensionStructures=1964  nbConflictsStructures=22
1.23	     nbSharedConflictsStructures=4261  nbSharedBinaryRepresentations=16  nbEvaluationManagers=15
1.23	     nbSharedEvaluationManagers=2297  maxDegree=43  maxArity=3
1.23	       =>  wckTime=0.929  cpuTime=0.77  mem=36M174
1.31	   
1.31	   solver IterativeSystematicSolver being built... 
1.61	       =>  wckTime=1.313  cpuTime=1.02  mem=37M6
2.12	   
2.12	   preprocessing
2.12	     nbConstraintChecks=7890  nbValidityChecks=1866  nbPropagations=6097  nbRevisions=9580  nbUselessRevisions=7523
2.12	     nbSingletonTests=2045  nbEffectiveSingletonTests=0  nbESACBranches=3  nbRemovedValues=0  detectedInconsistency=no
2.12	       =>  wckTime=0.5  cpuTime=0.46  mem=37M6
2.20	   
2.20	   search
2.20	     run=0  nbConstraintChecks=14311  nbValidityChecks=5972  nbPropagations=10667  nbRevisions=24272
2.20	     nbUselessRevisions=17637  nbAssignments=42  nbFailedAssignments=4  nbBacktracks=14  nbVisitedNodes=51
2.20	     nbRestartNogoods=0  mapSize=7  nbInferences=0  nbTooLargeKeys=0
2.20	       =>  wckTime=0.583  cpuTime=0.53  mem=37M996
2.26	   
2.26	   search
2.26	     run=1  nbConstraintChecks=27967  nbValidityChecks=12261  nbPropagations=25940  nbRevisions=63136
2.26	     nbUselessRevisions=45253  nbAssignments=84  nbFailedAssignments=8  nbBacktracks=30  nbVisitedNodes=101
2.26	     nbRestartNogoods=1  mapSize=14  nbInferences=0  nbTooLargeKeys=0
2.26	       =>  wckTime=0.642  cpuTime=0.58  mem=37M996
2.34	   
2.34	   search
2.34	     run=2  nbConstraintChecks=50726  nbValidityChecks=22677  nbPropagations=48829  nbRevisions=126113
2.34	     nbUselessRevisions=89341  nbAssignments=141  nbFailedAssignments=15  nbBacktracks=52  nbVisitedNodes=172
2.34	     nbRestartNogoods=2  mapSize=25  nbInferences=0  nbTooLargeKeys=0
2.34	       =>  wckTime=0.726  cpuTime=0.67  mem=37M996
2.44	   
2.44	   search
2.44	     run=3  nbConstraintChecks=74093  nbValidityChecks=33474  nbPropagations=79544  nbRevisions=214021
2.44	     nbUselessRevisions=150514  nbAssignments=211  nbFailedAssignments=22  nbBacktracks=88  nbVisitedNodes=256
2.44	     nbRestartNogoods=5  mapSize=36  nbInferences=0  nbTooLargeKeys=0
2.44	       =>  wckTime=0.823  cpuTime=0.77  mem=37M996
2.56	   
2.56	   search
2.56	     run=4  nbConstraintChecks=100138  nbValidityChecks=45437  nbPropagations=119010  nbRevisions=329616
2.56	     nbUselessRevisions=230596  nbAssignments=298  nbFailedAssignments=31  nbBacktracks=139  nbVisitedNodes=360
2.56	     nbRestartNogoods=8  mapSize=50  nbInferences=0  nbTooLargeKeys=0
2.56	       =>  wckTime=0.94  cpuTime=0.89  mem=37M996
2.72	   
2.72	   search
2.72	     run=5  nbConstraintChecks=132619  nbValidityChecks=60562  nbPropagations=169347  nbRevisions=480069
2.72	     nbUselessRevisions=334635  nbAssignments=420  nbFailedAssignments=42  nbBacktracks=227  nbVisitedNodes=503
2.72	     nbRestartNogoods=11  mapSize=69  nbInferences=0  nbTooLargeKeys=0
2.72	       =>  wckTime=1.097  cpuTime=1.04  mem=37M996
2.96	   
2.96	   search
2.96	     run=6  nbConstraintChecks=198586  nbValidityChecks=90735  nbPropagations=241638  nbRevisions=700234
2.96	     nbUselessRevisions=486341  nbAssignments=591  nbFailedAssignments=63  nbBacktracks=340  nbVisitedNodes=716
2.96	     nbRestartNogoods=13  mapSize=107  nbInferences=0  nbTooLargeKeys=0
2.96	       =>  wckTime=1.341  cpuTime=1.29  mem=37M996
3.23	   
3.23	   search
3.23	     run=7  nbConstraintChecks=240519  nbValidityChecks=112235  nbPropagations=327959  nbRevisions=968264
3.23	     nbUselessRevisions=671709  nbAssignments=822  nbFailedAssignments=92  nbBacktracks=514  nbVisitedNodes=1009
3.23	     nbRestartNogoods=17  mapSize=166  nbInferences=0  nbTooLargeKeys=0
3.23	       =>  wckTime=1.612  cpuTime=1.56  mem=37M996
3.64	   
3.64	   search
3.64	     run=8  nbConstraintChecks=312875  nbValidityChecks=148500  nbPropagations=438404  nbRevisions=1317543
3.64	     nbUselessRevisions=913931  nbAssignments=1153  nbFailedAssignments=133  nbBacktracks=770  nbVisitedNodes=1431
3.64	     nbRestartNogoods=20  mapSize=255  nbInferences=0  nbTooLargeKeys=0
3.64	       =>  wckTime=2.017  cpuTime=1.96  mem=37M996
4.21	   
4.21	   search
4.21	     run=9  nbConstraintChecks=409989  nbValidityChecks=201055  nbPropagations=581284  nbRevisions=1781999
4.21	     nbUselessRevisions=1238244  nbAssignments=1632  nbFailedAssignments=190  nbBacktracks=1161  nbVisitedNodes=2042
4.21	     nbRestartNogoods=22  mapSize=384  nbInferences=0  nbTooLargeKeys=0
4.21	       =>  wckTime=2.597  cpuTime=2.53  mem=37M996
4.96	   
4.96	   search
4.96	     run=10  nbConstraintChecks=497547  nbValidityChecks=255784  nbPropagations=753292  nbRevisions=2362262
4.96	     nbUselessRevisions=1648099  nbAssignments=2324  nbFailedAssignments=274  nbBacktracks=1738  nbVisitedNodes=2908
4.96	     nbRestartNogoods=25  mapSize=554  nbInferences=0  nbTooLargeKeys=0
4.96	       =>  wckTime=3.343  cpuTime=3.26  mem=38M970
6.06	   
6.06	   search
6.06	     run=11  nbConstraintChecks=650533  nbValidityChecks=355494  nbPropagations=976360  nbRevisions=3152558
6.06	     nbUselessRevisions=2214296  nbAssignments=3368  nbFailedAssignments=410  nbBacktracks=2605  nbVisitedNodes=4225
6.06	     nbRestartNogoods=29  mapSize=824  nbInferences=0  nbTooLargeKeys=0
6.06	       =>  wckTime=4.445  cpuTime=4.36  mem=38M970
6.86	   
6.86	   INFO : Stopping hyperNogood (mapSize=1005, nbTooLargekeys=0, mem=38M970)
7.62	   
7.62	   search
7.62	     run=12  nbConstraintChecks=1024737  nbValidityChecks=570029  nbPropagations=1324961  nbRevisions=4418946
7.62	     nbUselessRevisions=3125865  nbAssignments=4925  nbFailedAssignments=625  nbBacktracks=3916  nbVisitedNodes=6232
7.62	     nbRestartNogoods=32
7.62	       =>  wckTime=5.998  cpuTime=5.91  mem=38M970
9.82	   
9.82	   search
9.82	     run=13  nbConstraintChecks=1757325  nbValidityChecks=999686  nbPropagations=1923577  nbRevisions=6628235
9.82	     nbUselessRevisions=4721016  nbAssignments=7270  nbFailedAssignments=990  nbBacktracks=5869  nbVisitedNodes=9258
9.82	     nbRestartNogoods=36
9.82	       =>  wckTime=8.201  cpuTime=8.11  mem=38M970
12.56	   
12.56	   search
12.56	     run=14  nbConstraintChecks=2563563  nbValidityChecks=1475154  nbPropagations=2799931  nbRevisions=9886681
12.56	     nbUselessRevisions=7076701  nbAssignments=10653  nbFailedAssignments=1436  nbBacktracks=8788  nbVisitedNodes=13567
12.56	     nbRestartNogoods=39
12.56	       =>  wckTime=10.94  cpuTime=10.85  mem=38M970
17.23	   
17.23	   search
17.23	     run=15  nbConstraintChecks=4082467  nbValidityChecks=2351634  nbPropagations=4180247  nbRevisions=15042397
17.23	     nbUselessRevisions=10806435  nbAssignments=15867  nbFailedAssignments=2222  nbBacktracks=13174
17.23	     nbVisitedNodes=20338  nbRestartNogoods=40
17.23	       =>  wckTime=15.608  cpuTime=15.51  mem=38M970
23.67	   
23.67	   search
23.67	     run=16  nbConstraintChecks=6023408  nbValidityChecks=3531955  nbPropagations=6209968  nbRevisions=22758191
23.67	     nbUselessRevisions=16421233  nbAssignments=23554  nbFailedAssignments=3306  nbBacktracks=19750
23.67	     nbVisitedNodes=30299  nbRestartNogoods=44
23.67	       =>  wckTime=22.056  cpuTime=21.96  mem=38M970
33.66	   
33.66	   search
33.66	     run=17  nbConstraintChecks=9119781  nbValidityChecks=5453228  nbPropagations=9289466  nbRevisions=34620567
33.66	     nbUselessRevisions=25087911  nbAssignments=34948  nbFailedAssignments=4817  nbBacktracks=29609
33.66	     nbVisitedNodes=44770  nbRestartNogoods=48
33.66	       =>  wckTime=32.046  cpuTime=31.94  mem=38M970
46.51	   
46.51	   search
46.51	     run=18  nbConstraintChecks=12602153  nbValidityChecks=7540929  nbPropagations=13541538  nbRevisions=51019717
46.51	     nbUselessRevisions=37077180  nbAssignments=51603  nbFailedAssignments=6659  nbBacktracks=44400
46.51	     nbVisitedNodes=65050  nbRestartNogoods=53
46.51	       =>  wckTime=44.89  cpuTime=44.79  mem=38M970
67.95	   
67.95	   search
67.95	     run=19  nbConstraintChecks=19248292  nbValidityChecks=11365606  nbPropagations=20021573  nbRevisions=75820095
67.95	     nbUselessRevisions=55171315  nbAssignments=76558  nbFailedAssignments=9407  nbBacktracks=66573
67.95	     nbVisitedNodes=95587  nbRestartNogoods=56
67.95	       =>  wckTime=66.329  cpuTime=66.22  mem=38M970
103.54	   
103.54	   search
103.54	     run=20  nbConstraintChecks=30385022  nbValidityChecks=18228847  nbPropagations=30292130  nbRevisions=115449627
103.54	     nbUselessRevisions=84163787  nbAssignments=115784  nbFailedAssignments=15333  nbBacktracks=99844
103.54	     nbVisitedNodes=145774  nbRestartNogoods=64
103.54	       =>  wckTime=101.92  cpuTime=101.8  mem=38M970
160.53	   
160.53	   search
160.53	     run=21  nbConstraintChecks=49944540  nbValidityChecks=29667046  nbPropagations=47144905  nbRevisions=180323389
160.53	     nbUselessRevisions=131587894  nbAssignments=174971  nbFailedAssignments=24564  nbBacktracks=149730
160.53	     nbVisitedNodes=223072  nbRestartNogoods=73
160.53	       =>  wckTime=158.91  cpuTime=158.77  mem=38M970
233.24	   
233.24	   search
233.24	     run=22  nbConstraintChecks=71416873  nbValidityChecks=42529950  nbPropagations=71233720  nbRevisions=273380645
233.24	     nbUselessRevisions=199688220  nbAssignments=262323  nbFailedAssignments=37050  nbBacktracks=224573
233.24	     nbVisitedNodes=334616  nbRestartNogoods=83
233.24	       =>  wckTime=231.626  cpuTime=231.48  mem=38M970
246.28	   
246.28	   search
246.28	     run=23  nbConstraintChecks=75800712  nbValidityChecks=45059106  nbPropagations=96788637  nbRevisions=371996331
246.28	     nbUselessRevisions=271833087  nbAssignments=277244  nbFailedAssignments=39168  nbBacktracks=235346
246.28	     nbVisitedNodes=353770  nbRestartNogoods=88
246.28	       =>  wckTime=244.666  cpuTime=244.51  mem=38M970
246.29	   
246.29	   global
246.29	     nbConstraintChecks=75808602  nbValidityChecks=45060972  nbPropagations=96794734  nbRevisions=372005911
246.29	     nbUselessRevisions=271840610  nbRestartNogoods=88  solvingWckTime=244.667  solvingCpuTime=244.52  expiredTime=no
246.29	     totalExploration=no  nbFoundSolutions=1  globalCpuTime=245.59
246.29	       =>  wckTime=245.987  cpuTime=245.54  mem=38M970
246.29	   
246.29	s SATISFIABLE
246.29	v 1 0 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 1 0 0 1 0 1 1 0 1 0 1 0 0 1 1 0 1 0 1 0 0 1 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 0 1 0 1 1 0 1 0 1 0 0 1 0 1 1 0 1 0 1 0 1 0 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 1 0 1 0 1 0 1 0 0 1 0 1 1 0 1 0 0 1 1 0 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 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 1 0 1 0 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 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 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 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 0 1 0 1 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 1 0 1 0 1 0 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 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 0 1 1 0 1 0 1 0 0 1 1 0 0 1 0 1 0 1 0 1 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 0 1 0 1 1 0 1 0 1 0 1 0 0 1 1 0 1 0 0 1 1 0 1 0 1 0 0 1 0 1 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 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 1 0 1 0 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 1 0 0 1 1 0 1 0 0 1 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 1 0 1 0 0 1 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 1 0 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 1 0 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 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 0 1 1 0 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 0 1 0 1 0 1 0 1 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 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 0 1 0 1 1 0 1 0 1 0 0 1 0 1 1 0 1 0 1 0 0 1 0 1 0 1 0 1 1 0 1 0 1 0 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 1 0 1 0 1 0 0 1 0 1 1 0 1 0 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 1 0 1 0 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 1 0 1 0 1 0 0 1 0 1 1 0 1 0 1 0 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 0 1 1 0 1 0 1 0 0 1 1 0 1 0 1 0 0 1 0 1 0 1 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 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 1 0 0 1 1 0 1 0 1 0 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 1 0 1 0 0 1 0 1 1 0 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 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 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 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 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 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 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 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 
246.29	d NODES 277244
246.29	d CHECKS 75808602
246.29	   
246.29	   totalWckTime=246.063  totalCpuTime=245.59

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/node34/watcher-214170-1168228548 -o ROOT/results/node34/solver-214170-1168228548 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/214170-1168228548/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 13811
/proc/meminfo: memFree=1844688/2055920 swapFree=4192812/4192956
[pid=13810] ppid=13808 vsize=1452 CPUtime=0
/proc/13810/stat : 13810 (java) R 13808 13810 13296 0 -1 0 101 0 0 0 0 0 0 0 19 0 1 0 171248671 1486848 73 18446744073709551615 134512640 134570532 4294956640 18446744073709551615 8621995 0 0 4096 0 0 0 0 17 1 0 0
/proc/13810/statm: 363 83 65 14 0 8 0

[startup+0.103099 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 13811
/proc/meminfo: memFree=1844688/2055920 swapFree=4192812/4192956
[pid=13810] ppid=13808 vsize=914988 CPUtime=0.07
/proc/13810/stat : 13810 (java) R 13808 13810 13296 0 -1 0 3000 0 1 0 6 1 0 0 22 0 8 0 171248671 936947712 2746 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072927136 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13810/statm: 228747 2746 1428 14 0 215242 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 914988

[startup+0.51113 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 13811
/proc/meminfo: memFree=1844688/2055920 swapFree=4192812/4192956
[pid=13810] ppid=13808 vsize=915328 CPUtime=0.48
/proc/13810/stat : 13810 (java) R 13808 13810 13296 0 -1 0 6761 0 1 0 44 4 0 0 16 0 8 0 171248671 937295872 6500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073648337 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13810/statm: 228832 6501 2136 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328

[startup+1.33319 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 13818
/proc/meminfo: memFree=1802712/2055920 swapFree=4192812/4192956
[pid=13810] ppid=13808 vsize=915732 CPUtime=1.29
/proc/13810/stat : 13810 (java) R 13808 13810 13296 0 -1 0 14573 0 1 0 103 26 0 0 16 0 8 0 171248671 937709568 14310 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4151974723 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13810/statm: 228933 14311 2395 14 0 215403 0
[pid=13810/tid=13812] ppid=13808 vsize=915732 CPUtime=0.07
/proc/13810/task/13812/stat : 13812 (java) S 13808 13810 13296 0 -1 64 913 0 0 0 7 0 0 0 16 0 8 0 171248675 937709568 14311 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13810/tid=13813] ppid=13808 vsize=915732 CPUtime=0
/proc/13810/task/13813/stat : 13813 (java) S 13808 13810 13296 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171248675 937709568 14311 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13810/tid=13814] ppid=13808 vsize=915732 CPUtime=0
/proc/13810/task/13814/stat : 13814 (java) S 13808 13810 13296 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171248675 937709568 14311 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13810/tid=13815] ppid=13808 vsize=915732 CPUtime=0
/proc/13810/task/13815/stat : 13815 (java) S 13808 13810 13296 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 171248679 937709568 14311 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13810/tid=13816] ppid=13808 vsize=915732 CPUtime=0.19
/proc/13810/task/13816/stat : 13816 (java) S 13808 13810 13296 0 -1 64 435 0 0 0 17 2 0 0 16 0 8 0 171248679 937709568 14311 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13810/tid=13817] ppid=13808 vsize=915732 CPUtime=0
/proc/13810/task/13817/stat : 13817 (java) S 13808 13810 13296 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 171248679 937709568 14312 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13810/tid=13818] ppid=13808 vsize=915732 CPUtime=0
/proc/13810/task/13818/stat : 13818 (java) S 13808 13810 13296 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171248679 937709568 14312 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915732

[startup+2.98233 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 13818
/proc/meminfo: memFree=1796120/2055920 swapFree=4192812/4192956
[pid=13810] ppid=13808 vsize=915732 CPUtime=2.94
/proc/13810/stat : 13810 (java) R 13808 13810 13296 0 -1 0 14856 0 1 0 267 27 0 0 16 0 8 0 171248671 937709568 14592 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074187464 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13810/statm: 228933 14592 2543 14 0 215403 0
[pid=13810/tid=13812] ppid=13808 vsize=915732 CPUtime=0.07
/proc/13810/task/13812/stat : 13812 (java) S 13808 13810 13296 0 -1 64 913 0 0 0 7 0 0 0 16 0 8 0 171248675 937709568 14592 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13810/tid=13813] ppid=13808 vsize=915732 CPUtime=0
/proc/13810/task/13813/stat : 13813 (java) S 13808 13810 13296 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171248675 937709568 14592 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13810/tid=13814] ppid=13808 vsize=915732 CPUtime=0
/proc/13810/task/13814/stat : 13814 (java) S 13808 13810 13296 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171248675 937709568 14592 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13810/tid=13815] ppid=13808 vsize=915732 CPUtime=0
/proc/13810/task/13815/stat : 13815 (java) S 13808 13810 13296 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 171248679 937709568 14592 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13810/tid=13816] ppid=13808 vsize=915732 CPUtime=0.31
/proc/13810/task/13816/stat : 13816 (java) S 13808 13810 13296 0 -1 64 513 0 0 0 29 2 0 0 15 0 8 0 171248679 937709568 14592 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13810/tid=13817] ppid=13808 vsize=915732 CPUtime=0
/proc/13810/task/13817/stat : 13817 (java) S 13808 13810 13296 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 171248679 937709568 14592 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13810/tid=13818] ppid=13808 vsize=915732 CPUtime=0
/proc/13810/task/13818/stat : 13818 (java) S 13808 13810 13296 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171248679 937709568 14592 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915732

[startup+6.25859 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 13818
/proc/meminfo: memFree=1796064/2055920 swapFree=4192812/4192956
[pid=13810] ppid=13808 vsize=915732 CPUtime=6.22
/proc/13810/stat : 13810 (java) R 13808 13810 13296 0 -1 0 14877 0 1 0 594 28 0 0 17 0 8 0 171248671 937709568 14609 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074190152 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13810/statm: 228933 14609 2543 14 0 215403 0
[pid=13810/tid=13812] ppid=13808 vsize=915732 CPUtime=0.07
/proc/13810/task/13812/stat : 13812 (java) S 13808 13810 13296 0 -1 64 913 0 0 0 7 0 0 0 16 0 8 0 171248675 937709568 14609 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13810/tid=13813] ppid=13808 vsize=915732 CPUtime=0
/proc/13810/task/13813/stat : 13813 (java) S 13808 13810 13296 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171248675 937709568 14609 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13810/tid=13814] ppid=13808 vsize=915732 CPUtime=0
/proc/13810/task/13814/stat : 13814 (java) S 13808 13810 13296 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171248675 937709568 14609 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13810/tid=13815] ppid=13808 vsize=915732 CPUtime=0
/proc/13810/task/13815/stat : 13815 (java) S 13808 13810 13296 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 171248679 937709568 14609 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13810/tid=13816] ppid=13808 vsize=915732 CPUtime=0.34
/proc/13810/task/13816/stat : 13816 (java) S 13808 13810 13296 0 -1 64 531 0 0 0 31 3 0 0 15 0 8 0 171248679 937709568 14609 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13810/tid=13817] ppid=13808 vsize=915732 CPUtime=0
/proc/13810/task/13817/stat : 13817 (java) S 13808 13810 13296 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 171248679 937709568 14609 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13810/tid=13818] ppid=13808 vsize=915732 CPUtime=0
/proc/13810/task/13818/stat : 13818 (java) S 13808 13810 13296 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171248679 937709568 14609 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 915732

[startup+12.7391 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 13818
/proc/meminfo: memFree=1796072/2055920 swapFree=4192812/4192956
[pid=13810] ppid=13808 vsize=915732 CPUtime=12.7
/proc/13810/stat : 13810 (java) R 13808 13810 13296 0 -1 0 14881 0 1 0 1242 28 0 0 25 0 8 0 171248671 937709568 14610 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074097952 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13810/statm: 228933 14610 2543 14 0 215403 0
[pid=13810/tid=13812] ppid=13808 vsize=915732 CPUtime=0.07
/proc/13810/task/13812/stat : 13812 (java) S 13808 13810 13296 0 -1 64 913 0 0 0 7 0 0 0 16 0 8 0 171248675 937709568 14610 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13810/tid=13813] ppid=13808 vsize=915732 CPUtime=0
/proc/13810/task/13813/stat : 13813 (java) S 13808 13810 13296 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171248675 937709568 14610 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13810/tid=13814] ppid=13808 vsize=915732 CPUtime=0
/proc/13810/task/13814/stat : 13814 (java) S 13808 13810 13296 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171248675 937709568 14610 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13810/tid=13815] ppid=13808 vsize=915732 CPUtime=0
/proc/13810/task/13815/stat : 13815 (java) S 13808 13810 13296 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 171248679 937709568 14610 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13810/tid=13816] ppid=13808 vsize=915732 CPUtime=0.34
/proc/13810/task/13816/stat : 13816 (java) S 13808 13810 13296 0 -1 64 532 0 0 0 31 3 0 0 16 0 8 0 171248679 937709568 14610 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13810/tid=13817] ppid=13808 vsize=915732 CPUtime=0
/proc/13810/task/13817/stat : 13817 (java) S 13808 13810 13296 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 171248679 937709568 14610 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13810/tid=13818] ppid=13808 vsize=915732 CPUtime=0
/proc/13810/task/13818/stat : 13818 (java) S 13808 13810 13296 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171248679 937709568 14610 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 915732

[startup+25.5652 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 13818
/proc/meminfo: memFree=1796136/2055920 swapFree=4192812/4192956
[pid=13810] ppid=13808 vsize=915732 CPUtime=25.52
/proc/13810/stat : 13810 (java) R 13808 13810 13296 0 -1 0 14882 0 1 0 2524 28 0 0 19 0 8 0 171248671 937709568 14611 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074081993 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13810/statm: 228933 14611 2543 14 0 215403 0
[pid=13810/tid=13812] ppid=13808 vsize=915732 CPUtime=0.07
/proc/13810/task/13812/stat : 13812 (java) S 13808 13810 13296 0 -1 64 913 0 0 0 7 0 0 0 16 0 8 0 171248675 937709568 14611 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13810/tid=13813] ppid=13808 vsize=915732 CPUtime=0
/proc/13810/task/13813/stat : 13813 (java) S 13808 13810 13296 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171248675 937709568 14611 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13810/tid=13814] ppid=13808 vsize=915732 CPUtime=0
/proc/13810/task/13814/stat : 13814 (java) S 13808 13810 13296 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171248675 937709568 14611 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13810/tid=13815] ppid=13808 vsize=915732 CPUtime=0
/proc/13810/task/13815/stat : 13815 (java) S 13808 13810 13296 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 171248679 937709568 14611 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13810/tid=13816] ppid=13808 vsize=915732 CPUtime=0.35
/proc/13810/task/13816/stat : 13816 (java) S 13808 13810 13296 0 -1 64 533 0 0 0 32 3 0 0 16 0 8 0 171248679 937709568 14611 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13810/tid=13817] ppid=13808 vsize=915732 CPUtime=0
/proc/13810/task/13817/stat : 13817 (java) S 13808 13810 13296 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 171248679 937709568 14611 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13810/tid=13818] ppid=13808 vsize=915732 CPUtime=0
/proc/13810/task/13818/stat : 13818 (java) S 13808 13810 13296 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171248679 937709568 14611 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.52
Current children cumulated vsize (KiB) 915732

[startup+51.2432 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 13818
/proc/meminfo: memFree=1796072/2055920 swapFree=4192812/4192956
[pid=13810] ppid=13808 vsize=915732 CPUtime=51.2
/proc/13810/stat : 13810 (java) R 13808 13810 13296 0 -1 0 14882 0 1 0 5091 29 0 0 25 0 8 0 171248671 937709568 14611 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074133479 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13810/statm: 228933 14611 2543 14 0 215403 0
[pid=13810/tid=13812] ppid=13808 vsize=915732 CPUtime=0.07
/proc/13810/task/13812/stat : 13812 (java) S 13808 13810 13296 0 -1 64 913 0 0 0 7 0 0 0 16 0 8 0 171248675 937709568 14611 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13810/tid=13813] ppid=13808 vsize=915732 CPUtime=0
/proc/13810/task/13813/stat : 13813 (java) S 13808 13810 13296 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171248675 937709568 14611 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13810/tid=13814] ppid=13808 vsize=915732 CPUtime=0
/proc/13810/task/13814/stat : 13814 (java) S 13808 13810 13296 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171248675 937709568 14611 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13810/tid=13815] ppid=13808 vsize=915732 CPUtime=0
/proc/13810/task/13815/stat : 13815 (java) S 13808 13810 13296 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 171248679 937709568 14611 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13810/tid=13816] ppid=13808 vsize=915732 CPUtime=0.35
/proc/13810/task/13816/stat : 13816 (java) S 13808 13810 13296 0 -1 64 533 0 0 0 32 3 0 0 16 0 8 0 171248679 937709568 14611 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13810/tid=13817] ppid=13808 vsize=915732 CPUtime=0
/proc/13810/task/13817/stat : 13817 (java) S 13808 13810 13296 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 171248679 937709568 14611 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13810/tid=13818] ppid=13808 vsize=915732 CPUtime=0
/proc/13810/task/13818/stat : 13818 (java) S 13808 13810 13296 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171248679 937709568 14611 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.2
Current children cumulated vsize (KiB) 915732

[startup+102.49 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 13818
/proc/meminfo: memFree=1796136/2055920 swapFree=4192812/4192956
[pid=13810] ppid=13808 vsize=915732 CPUtime=102.43
/proc/13810/stat : 13810 (java) R 13808 13810 13296 0 -1 0 14883 0 1 0 10214 29 0 0 25 0 8 0 171248671 937709568 14612 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074189499 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13810/statm: 228933 14612 2543 14 0 215403 0
[pid=13810/tid=13812] ppid=13808 vsize=915732 CPUtime=0.07
/proc/13810/task/13812/stat : 13812 (java) S 13808 13810 13296 0 -1 64 913 0 0 0 7 0 0 0 16 0 8 0 171248675 937709568 14612 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13810/tid=13813] ppid=13808 vsize=915732 CPUtime=0
/proc/13810/task/13813/stat : 13813 (java) S 13808 13810 13296 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171248675 937709568 14612 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13810/tid=13814] ppid=13808 vsize=915732 CPUtime=0
/proc/13810/task/13814/stat : 13814 (java) S 13808 13810 13296 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171248675 937709568 14612 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13810/tid=13815] ppid=13808 vsize=915732 CPUtime=0
/proc/13810/task/13815/stat : 13815 (java) S 13808 13810 13296 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 171248679 937709568 14612 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13810/tid=13816] ppid=13808 vsize=915732 CPUtime=0.35
/proc/13810/task/13816/stat : 13816 (java) S 13808 13810 13296 0 -1 64 534 0 0 0 32 3 0 0 16 0 8 0 171248679 937709568 14612 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13810/tid=13817] ppid=13808 vsize=915732 CPUtime=0
/proc/13810/task/13817/stat : 13817 (java) S 13808 13810 13296 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 171248679 937709568 14612 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13810/tid=13818] ppid=13808 vsize=915732 CPUtime=0
/proc/13810/task/13818/stat : 13818 (java) S 13808 13810 13296 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171248679 937709568 14612 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.43
Current children cumulated vsize (KiB) 915732

[startup+162.573 s]
/proc/loadavg: 1.07 1.02 1.00 2/72 13818
/proc/meminfo: memFree=1796072/2055920 swapFree=4192812/4192956
[pid=13810] ppid=13808 vsize=915732 CPUtime=162.5
/proc/13810/stat : 13810 (java) R 13808 13810 13296 0 -1 0 14883 0 1 0 16221 29 0 0 25 0 8 0 171248671 937709568 14612 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074127364 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13810/statm: 228933 14612 2543 14 0 215403 0
[pid=13810/tid=13812] ppid=13808 vsize=915732 CPUtime=0.07
/proc/13810/task/13812/stat : 13812 (java) S 13808 13810 13296 0 -1 64 913 0 0 0 7 0 0 0 16 0 8 0 171248675 937709568 14612 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13810/tid=13813] ppid=13808 vsize=915732 CPUtime=0
/proc/13810/task/13813/stat : 13813 (java) S 13808 13810 13296 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171248675 937709568 14612 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13810/tid=13814] ppid=13808 vsize=915732 CPUtime=0
/proc/13810/task/13814/stat : 13814 (java) S 13808 13810 13296 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171248675 937709568 14612 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13810/tid=13815] ppid=13808 vsize=915732 CPUtime=0
/proc/13810/task/13815/stat : 13815 (java) S 13808 13810 13296 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 171248679 937709568 14612 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13810/tid=13816] ppid=13808 vsize=915732 CPUtime=0.35
/proc/13810/task/13816/stat : 13816 (java) S 13808 13810 13296 0 -1 64 534 0 0 0 32 3 0 0 16 0 8 0 171248679 937709568 14612 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13810/tid=13817] ppid=13808 vsize=915732 CPUtime=0
/proc/13810/task/13817/stat : 13817 (java) S 13808 13810 13296 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 171248679 937709568 14612 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13810/tid=13818] ppid=13808 vsize=915732 CPUtime=0
/proc/13810/task/13818/stat : 13818 (java) S 13808 13810 13296 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171248679 937709568 14612 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 162.5
Current children cumulated vsize (KiB) 915732

[startup+222.658 s]
/proc/loadavg: 1.02 1.01 1.00 2/72 13818
/proc/meminfo: memFree=1796072/2055920 swapFree=4192812/4192956
[pid=13810] ppid=13808 vsize=915732 CPUtime=222.57
/proc/13810/stat : 13810 (java) R 13808 13810 13296 0 -1 0 14883 0 1 0 22228 29 0 0 25 0 8 0 171248671 937709568 14612 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074189549 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13810/statm: 228933 14612 2543 14 0 215403 0
[pid=13810/tid=13812] ppid=13808 vsize=915732 CPUtime=0.07
/proc/13810/task/13812/stat : 13812 (java) S 13808 13810 13296 0 -1 64 913 0 0 0 7 0 0 0 16 0 8 0 171248675 937709568 14612 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13810/tid=13813] ppid=13808 vsize=915732 CPUtime=0
/proc/13810/task/13813/stat : 13813 (java) S 13808 13810 13296 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171248675 937709568 14612 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13810/tid=13814] ppid=13808 vsize=915732 CPUtime=0
/proc/13810/task/13814/stat : 13814 (java) S 13808 13810 13296 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171248675 937709568 14612 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13810/tid=13815] ppid=13808 vsize=915732 CPUtime=0
/proc/13810/task/13815/stat : 13815 (java) S 13808 13810 13296 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 171248679 937709568 14612 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13810/tid=13816] ppid=13808 vsize=915732 CPUtime=0.35
/proc/13810/task/13816/stat : 13816 (java) S 13808 13810 13296 0 -1 64 534 0 0 0 32 3 0 0 16 0 8 0 171248679 937709568 14612 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13810/tid=13817] ppid=13808 vsize=915732 CPUtime=0
/proc/13810/task/13817/stat : 13817 (java) S 13808 13810 13296 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 171248679 937709568 14612 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13810/tid=13818] ppid=13808 vsize=915732 CPUtime=0
/proc/13810/task/13818/stat : 13818 (java) S 13808 13810 13296 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171248679 937709568 14612 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 222.57
Current children cumulated vsize (KiB) 915732

Child status: 0
Real time (s): 246.33
CPU time (s): 246.22
CPU user time (s): 245.914
CPU system time (s): 0.305953
CPU usage (%): 99.9553
Max. virtual memory (cumulated for all children) (KiB): 915732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 245.914
system time used= 0.305953
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14891
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= 6261
involuntary context switches= 227

runsolver used 0.223965 s user time and 0.659899 s system time

The end

Launcher Data (download as text)

Begin job on node34 on Mon Jan  8 03:55:49 UTC 2007


IDJOB= 214170
IDBENCH= 4904
FILE ID= node34/214170-1168228548

PBS_JOBID= 3481290

Free space on /tmp= 66553 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  3b8fc65b25c670efdfb93e76af6cd06b

RANDOM SEED= 255201391

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.227
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.227
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:       1845168 kB
Buffers:         36452 kB
Cached:         103764 kB
SwapCached:          0 kB
Active:          79136 kB
Inactive:        76412 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1845168 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2292 kB
Writeback:           0 kB
Mapped:          25568 kB
Slab:            41264 kB
Committed_AS:  2974328 kB
PageTables:       1396 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= 66553 MiB



End job on node34 on Mon Jan  8 03:59:56 UTC 2007