Trace number 214898

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 43.5594 44.0381

DiagnosticValue
CHECKS32368506
NODES11854

General information on the benchmark

NamepseudoSeries/
ii/ii-16d2.xml
MD5SUM6cd206fd6984bedb61c47b817677307d
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 benchmark4.46
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables1672
Number of constraints13297
Maximum constraint arity16
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension13297
Global constraints used (with number of constraints)

Solver Data (download as text)

0.31	   
0.31	Abscon 109 (November, 2006)
0.31	   
0.31	   configuration
0.31	     name=esac.xml
0.34	   
0.34	   instance
0.34	     name=/tmp/evaluation/214898-1168232324/unknown.xml
0.38	   
0.38	   domains being loaded...
0.38	   
0.38	   variables being loaded...
0.55	     nbVariables=1672  nbDomainTypes=1  minDomainSize=2  maxDomainSize=2
0.55	       =>  wckTime=0.233  cpuTime=0.15  mem=9M844
0.55	   
0.55	   predicates being loaded...
0.55	   
0.55	   constraints being loaded...
2.62	     nbConstraints=13289  nbMergedConstraints=8  nbConvertedConstraints=12228  nbConvertConstraintsChecks=131096
2.62	     nbExtensionStructures=2  nbSharedExtensionStructures=12226  nbConflictsStructures=5
2.62	     nbSharedConflictsStructures=13284  nbSharedBinaryRepresentations=5  nbEvaluationManagers=3
2.62	     nbSharedEvaluationManagers=1058  maxDegree=166  maxArity=16
2.62	       =>  wckTime=2.301  cpuTime=1.93  mem=24M548
2.72	   
2.72	   solver IterativeSystematicSolver being built... 
3.08	       =>  wckTime=2.765  cpuTime=2.21  mem=63M445
8.97	   
8.97	   preprocessing
8.97	     nbConstraintChecks=182129  nbValidityChecks=5237  nbPropagations=11657  nbRevisions=113794
8.97	     nbUselessRevisions=105933  nbSingletonTests=2342  nbEffectiveSingletonTests=0  nbESACBranches=8  nbRemovedValues=0
8.97	     detectedInconsistency=no
8.97	       =>  wckTime=5.882  cpuTime=5.79  mem=64M447
9.61	   
9.61	   search
9.61	     run=0  nbConstraintChecks=294027  nbValidityChecks=5161  nbPropagations=24081  nbRevisions=299421
9.61	     nbUselessRevisions=278378  nbAssignments=137  nbFailedAssignments=31  nbBacktracks=18  nbVisitedNodes=172
9.62	     nbRestartNogoods=0  mapSize=9  nbInferences=0  nbTooLargeKeys=0
9.62	       =>  wckTime=6.53  cpuTime=6.38  mem=23M232
11.08	   
11.08	   search
11.08	     run=1  nbConstraintChecks=1062672  nbValidityChecks=16130  nbPropagations=82041  nbRevisions=1044587
11.08	     nbUselessRevisions=967509  nbAssignments=790  nbFailedAssignments=62  nbBacktracks=36  nbVisitedNodes=387
11.08	     nbRestartNogoods=25  mapSize=22  nbInferences=0  nbTooLargeKeys=0
11.08	       =>  wckTime=7.995  cpuTime=7.83  mem=23M232
12.27	   
12.27	   search
12.27	     run=2  nbConstraintChecks=1779293  nbValidityChecks=24507  nbPropagations=171988  nbRevisions=2211942
12.27	     nbUselessRevisions=2045915  nbAssignments=1380  nbFailedAssignments=95  nbBacktracks=60  nbVisitedNodes=582
12.27	     nbRestartNogoods=44  mapSize=31  nbInferences=0  nbTooLargeKeys=0
12.27	       =>  wckTime=9.188  cpuTime=9.01  mem=23M232
14.12	   
14.12	   search
14.12	     run=3  nbConstraintChecks=2784269  nbValidityChecks=44164  nbPropagations=305948  nbRevisions=3981029
14.12	     nbUselessRevisions=3680863  nbAssignments=2181  nbFailedAssignments=143  nbBacktracks=109  nbVisitedNodes=848
14.12	     nbRestartNogoods=73  mapSize=69  nbInferences=0  nbTooLargeKeys=0
14.12	       =>  wckTime=11.038  cpuTime=10.83  mem=23M232
15.51	   
15.51	   search
15.51	     run=4  nbConstraintChecks=3620312  nbValidityChecks=65789  nbPropagations=477287  nbRevisions=6279415
15.51	     nbUselessRevisions=5806139  nbAssignments=2627  nbFailedAssignments=191  nbBacktracks=162  nbVisitedNodes=1126
15.51	     nbRestartNogoods=87  mapSize=98  nbInferences=0  nbTooLargeKeys=0
15.51	       =>  wckTime=12.428  cpuTime=12.2  mem=23M232
17.60	   
17.60	   search
17.60	     run=5  nbConstraintChecks=4857081  nbValidityChecks=89217  nbPropagations=703551  nbRevisions=9326741
17.60	     nbUselessRevisions=8623793  nbAssignments=3529  nbFailedAssignments=255  nbBacktracks=261  nbVisitedNodes=1442
17.60	     nbRestartNogoods=116  mapSize=158  nbInferences=1  nbTooLargeKeys=0
17.60	       =>  wckTime=14.514  cpuTime=14.27  mem=24M234
19.07	   
19.07	   search
19.07	     run=6  nbConstraintChecks=5997640  nbValidityChecks=126235  nbPropagations=965422  nbRevisions=13084256
19.07	     nbUselessRevisions=12113270  nbAssignments=3840  nbFailedAssignments=347  nbBacktracks=382  nbVisitedNodes=1791
19.07	     nbRestartNogoods=122  mapSize=252  nbInferences=1  nbTooLargeKeys=0
19.07	       =>  wckTime=15.986  cpuTime=15.73  mem=24M234
21.40	   
21.40	   search
21.40	     run=7  nbConstraintChecks=7792626  nbValidityChecks=177545  nbPropagations=1284683  nbRevisions=17950217
21.40	     nbUselessRevisions=16649217  nbAssignments=4471  nbFailedAssignments=500  nbBacktracks=564  nbVisitedNodes=2309
21.40	     nbRestartNogoods=134  mapSize=409  nbInferences=1  nbTooLargeKeys=0
21.40	       =>  wckTime=18.314  cpuTime=18.03  mem=24M234
24.07	   
24.07	   search
24.07	     run=8  nbConstraintChecks=9916932  nbValidityChecks=223159  nbPropagations=1694932  nbRevisions=24229678
24.07	     nbUselessRevisions=22502983  nbAssignments=5004  nbFailedAssignments=711  nbBacktracks=820  nbVisitedNodes=3028
24.07	     nbRestartNogoods=136  mapSize=630  nbInferences=1  nbTooLargeKeys=0
24.07	       =>  wckTime=20.988  cpuTime=20.66  mem=24M234
28.07	   
28.07	   search
28.07	     run=9  nbConstraintChecks=12335271  nbValidityChecks=276930  nbPropagations=2210614  nbRevisions=32123267
28.07	     nbUselessRevisions=29860299  nbAssignments=5726  nbFailedAssignments=952  nbBacktracks=1215  nbVisitedNodes=3960
28.07	     nbRestartNogoods=140  mapSize=881  nbInferences=1  nbTooLargeKeys=0
28.07	       =>  wckTime=24.983  cpuTime=24.62  mem=25M236
30.03	   
30.03	   INFO : Stopping hyperNogood (mapSize=1043, nbTooLargekeys=0, mem=25M236)
32.59	   
32.59	   search
32.59	     run=10  nbConstraintChecks=17377167  nbValidityChecks=363598  nbPropagations=2931199  nbRevisions=43280788
32.59	     nbUselessRevisions=40265295  nbAssignments=6847  nbFailedAssignments=1485  nbBacktracks=1798  nbVisitedNodes=5645
32.59	     nbRestartNogoods=141
32.59	       =>  wckTime=29.508  cpuTime=29.1  mem=25M236
37.52	   
37.52	   search
37.52	     run=11  nbConstraintChecks=23877706  nbValidityChecks=496899  nbPropagations=3932879  nbRevisions=58780189
37.52	     nbUselessRevisions=54716974  nbAssignments=8419  nbFailedAssignments=2154  nbBacktracks=2682  nbVisitedNodes=7941
37.52	     nbRestartNogoods=142
37.52	       =>  wckTime=34.44  cpuTime=33.98  mem=25M236
43.98	   
43.98	   search
43.98	     run=12  nbConstraintChecks=32186377  nbValidityChecks=696814  nbPropagations=5257364  nbRevisions=79676550
43.98	     nbUselessRevisions=74223705  nbAssignments=11854  nbFailedAssignments=2977  nbBacktracks=3622  nbVisitedNodes=12275
43.98	     nbRestartNogoods=143
43.98	       =>  wckTime=40.899  cpuTime=40.37  mem=25M236
43.98	   
43.98	   global
43.98	     nbConstraintChecks=32368506  nbValidityChecks=702051  nbPropagations=5269021  nbRevisions=79790344
43.98	     nbUselessRevisions=74329638  nbRestartNogoods=143  solvingWckTime=40.9  solvingCpuTime=40.37  expiredTime=no
43.98	     totalExploration=no  nbFoundSolutions=1  globalCpuTime=42.65
43.98	       =>  wckTime=43.67  cpuTime=42.59  mem=25M236
43.99	   
43.99	s SATISFIABLE
43.99	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 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 1 0 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 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 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 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 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 1 0 0 1 0 1 0 1 1 0 0 1 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 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 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 1 0 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 0 1 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 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 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 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 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 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 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 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 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 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 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 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 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 1 0 0 1 1 0 0 1 0 1 0 1 0 1 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 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 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 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 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 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 1 0 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 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 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 1 0 0 1 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 1 0 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 
43.99	d NODES 11854
43.99	d CHECKS 32368506
43.99	   
43.99	   totalWckTime=43.751  totalCpuTime=42.65

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/node11/watcher-214898-1168232324 -o ROOT/results/node11/solver-214898-1168232324 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/214898-1168232324/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.96 2.00 1.96 5/94 20858
/proc/meminfo: memFree=1692432/2055920 swapFree=4192812/4192956
[pid=20857] ppid=20855 vsize=906644 CPUtime=0.02
/proc/20857/stat : 20857 (java) S 20855 20857 20790 0 -1 0 2068 0 1 0 1 1 0 0 18 0 2 0 171627467 928403456 1817 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/20857/statm: 226661 1817 1036 14 0 214244 0
[pid=20857/tid=20859] ppid=20855 vsize=906644 CPUtime=0
/proc/20857/task/20859/stat : 20859 (java) R 20855 20857 20790 0 -1 64 3 0 0 0 0 0 0 0 19 0 2 0 171627471 928403456 1817 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 7368 0 0 0 -1 1 0 0

[startup+0.104721 s]
/proc/loadavg: 1.96 2.00 1.96 5/94 20858
/proc/meminfo: memFree=1692432/2055920 swapFree=4192812/4192956
[pid=20857] ppid=20855 vsize=914988 CPUtime=0.08
/proc/20857/stat : 20857 (java) R 20855 20857 20790 0 -1 0 2982 0 1 0 7 1 0 0 20 0 8 0 171627467 936947712 2728 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155582796 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20857/statm: 228747 2728 1425 14 0 215242 0
[pid=20857/tid=20859] ppid=20855 vsize=914988 CPUtime=0
/proc/20857/task/20859/stat : 20859 (java) S 20855 20857 20790 0 -1 64 5 0 0 0 0 0 0 0 18 0 8 0 171627471 936947712 2728 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.5128 s]
/proc/loadavg: 1.96 2.00 1.96 5/94 20858
/proc/meminfo: memFree=1692432/2055920 swapFree=4192812/4192956
[pid=20857] ppid=20855 vsize=915328 CPUtime=0.49
/proc/20857/stat : 20857 (java) R 20855 20857 20790 0 -1 0 6585 0 1 0 45 4 0 0 22 0 8 0 171627467 937295872 6324 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20857/statm: 228832 6324 2135 14 0 215302 0
[pid=20857/tid=20859] ppid=20855 vsize=915328 CPUtime=0
/proc/20857/task/20859/stat : 20859 (java) S 20855 20857 20790 0 -1 64 5 0 0 0 0 0 0 0 18 0 8 0 171627471 937295872 6324 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.33416 s]
/proc/loadavg: 1.96 2.00 1.96 4/101 20865
/proc/meminfo: memFree=1632600/2055920 swapFree=4192812/4192956
[pid=20857] ppid=20855 vsize=915636 CPUtime=1.3
/proc/20857/stat : 20857 (java) R 20855 20857 20790 0 -1 0 17336 0 1 0 119 11 0 0 25 0 8 0 171627467 937611264 17074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20857/statm: 228909 17074 2178 14 0 215379 0
[pid=20857/tid=20859] ppid=20855 vsize=915636 CPUtime=0.03
/proc/20857/task/20859/stat : 20859 (java) S 20855 20857 20790 0 -1 64 724 0 0 0 3 0 0 0 16 0 8 0 171627471 937611264 17074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20857/tid=20860] ppid=20855 vsize=915636 CPUtime=0
/proc/20857/task/20860/stat : 20860 (java) S 20855 20857 20790 0 -1 64 10 0 0 0 0 0 0 0 17 0 8 0 171627472 937611264 17074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20857/tid=20861] ppid=20855 vsize=915636 CPUtime=0
/proc/20857/task/20861/stat : 20861 (java) S 20855 20857 20790 0 -1 64 5 0 0 0 0 0 0 0 17 0 8 0 171627472 937611264 17074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20857/tid=20862] ppid=20855 vsize=915636 CPUtime=0
/proc/20857/task/20862/stat : 20862 (java) S 20855 20857 20790 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 171627475 937611264 17074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20857/tid=20863] ppid=20855 vsize=915636 CPUtime=0.18
/proc/20857/task/20863/stat : 20863 (java) S 20855 20857 20790 0 -1 64 423 0 0 0 18 0 0 0 15 0 8 0 171627476 937611264 17074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20857/tid=20864] ppid=20855 vsize=915636 CPUtime=0
/proc/20857/task/20864/stat : 20864 (java) S 20855 20857 20790 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 171627476 937611264 17074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20857/tid=20865] ppid=20855 vsize=915636 CPUtime=0
/proc/20857/task/20865/stat : 20865 (java) S 20855 20857 20790 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171627476 937611264 17074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915636

[startup+2.97729 s]
/proc/loadavg: 1.96 2.00 1.96 4/101 20865
/proc/meminfo: memFree=1622680/2055920 swapFree=4192812/4192956
[pid=20857] ppid=20855 vsize=915740 CPUtime=2.91
/proc/20857/stat : 20857 (java) R 20855 20857 20790 0 -1 0 23257 0 1 0 224 67 0 0 25 0 8 0 171627467 937717760 22979 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072940115 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20857/statm: 228935 22979 2533 14 0 215405 0
[pid=20857/tid=20859] ppid=20855 vsize=915740 CPUtime=0.23
/proc/20857/task/20859/stat : 20859 (java) S 20855 20857 20790 0 -1 64 6185 0 0 0 20 3 0 0 16 0 8 0 171627471 937717760 22979 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20857/tid=20860] ppid=20855 vsize=915740 CPUtime=0
/proc/20857/task/20860/stat : 20860 (java) S 20855 20857 20790 0 -1 64 10 0 0 0 0 0 0 0 17 0 8 0 171627472 937717760 22979 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20857/tid=20861] ppid=20855 vsize=915740 CPUtime=0
/proc/20857/task/20861/stat : 20861 (java) S 20855 20857 20790 0 -1 64 5 0 0 0 0 0 0 0 17 0 8 0 171627472 937717760 22979 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20857/tid=20862] ppid=20855 vsize=915740 CPUtime=0
/proc/20857/task/20862/stat : 20862 (java) S 20855 20857 20790 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 171627475 937717760 22979 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20857/tid=20863] ppid=20855 vsize=915740 CPUtime=0.27
/proc/20857/task/20863/stat : 20863 (java) S 20855 20857 20790 0 -1 64 469 0 0 0 26 1 0 0 15 0 8 0 171627476 937717760 22979 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20857/tid=20864] ppid=20855 vsize=915740 CPUtime=0
/proc/20857/task/20864/stat : 20864 (java) S 20855 20857 20790 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 171627476 937717760 22979 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20857/tid=20865] ppid=20855 vsize=915740 CPUtime=0
/proc/20857/task/20865/stat : 20865 (java) S 20855 20857 20790 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171627476 937717760 22979 18446744073709551615 134512640 134570532 4294956464 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) 915740

[startup+6.27494 s]
/proc/loadavg: 1.96 2.00 1.96 3/101 20865
/proc/meminfo: memFree=1609888/2055920 swapFree=4192812/4192956
[pid=20857] ppid=20855 vsize=915740 CPUtime=6.17
/proc/20857/stat : 20857 (java) R 20855 20857 20790 0 -1 0 23325 0 1 0 549 68 0 0 25 0 8 0 171627467 937717760 23045 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074159865 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20857/statm: 228935 23045 2546 14 0 215405 0
[pid=20857/tid=20859] ppid=20855 vsize=915740 CPUtime=0.23
/proc/20857/task/20859/stat : 20859 (java) S 20855 20857 20790 0 -1 64 6185 0 0 0 20 3 0 0 16 0 8 0 171627471 937717760 23045 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20857/tid=20860] ppid=20855 vsize=915740 CPUtime=0
/proc/20857/task/20860/stat : 20860 (java) S 20855 20857 20790 0 -1 64 10 0 0 0 0 0 0 0 17 0 8 0 171627472 937717760 23045 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20857/tid=20861] ppid=20855 vsize=915740 CPUtime=0
/proc/20857/task/20861/stat : 20861 (java) S 20855 20857 20790 0 -1 64 5 0 0 0 0 0 0 0 17 0 8 0 171627472 937717760 23045 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20857/tid=20862] ppid=20855 vsize=915740 CPUtime=0
/proc/20857/task/20862/stat : 20862 (java) S 20855 20857 20790 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 171627475 937717760 23045 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20857/tid=20863] ppid=20855 vsize=915740 CPUtime=0.32
/proc/20857/task/20863/stat : 20863 (java) S 20855 20857 20790 0 -1 64 506 0 0 0 31 1 0 0 16 0 8 0 171627476 937717760 23045 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20857/tid=20864] ppid=20855 vsize=915740 CPUtime=0
/proc/20857/task/20864/stat : 20864 (java) S 20855 20857 20790 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 171627476 937717760 23045 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20857/tid=20865] ppid=20855 vsize=915740 CPUtime=0
/proc/20857/task/20865/stat : 20865 (java) S 20855 20857 20790 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171627476 937717760 23045 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 915740

[startup+12.7592 s]
/proc/loadavg: 1.97 2.00 1.96 3/101 20865
/proc/meminfo: memFree=1607584/2055920 swapFree=4192812/4192956
[pid=20857] ppid=20855 vsize=915740 CPUtime=12.58
/proc/20857/stat : 20857 (java) R 20855 20857 20790 0 -1 0 23917 0 1 0 1190 68 0 0 25 0 8 0 171627467 937717760 23632 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074157400 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20857/statm: 228935 23632 2547 14 0 215405 0
[pid=20857/tid=20859] ppid=20855 vsize=915740 CPUtime=0.26
/proc/20857/task/20859/stat : 20859 (java) S 20855 20857 20790 0 -1 64 6751 0 0 0 23 3 0 0 17 0 8 0 171627471 937717760 23632 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20857/tid=20860] ppid=20855 vsize=915740 CPUtime=0
/proc/20857/task/20860/stat : 20860 (java) S 20855 20857 20790 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 171627472 937717760 23632 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20857/tid=20861] ppid=20855 vsize=915740 CPUtime=0
/proc/20857/task/20861/stat : 20861 (java) S 20855 20857 20790 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171627472 937717760 23632 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20857/tid=20862] ppid=20855 vsize=915740 CPUtime=0
/proc/20857/task/20862/stat : 20862 (java) S 20855 20857 20790 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 171627475 937717760 23632 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20857/tid=20863] ppid=20855 vsize=915740 CPUtime=0.37
/proc/20857/task/20863/stat : 20863 (java) S 20855 20857 20790 0 -1 64 525 0 0 0 36 1 0 0 16 0 8 0 171627476 937717760 23632 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20857/tid=20864] ppid=20855 vsize=915740 CPUtime=0
/proc/20857/task/20864/stat : 20864 (java) S 20855 20857 20790 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 171627476 937717760 23632 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20857/tid=20865] ppid=20855 vsize=915740 CPUtime=0
/proc/20857/task/20865/stat : 20865 (java) S 20855 20857 20790 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171627476 937717760 23632 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 915740

[startup+25.6358 s]
/proc/loadavg: 1.97 2.00 1.96 3/101 20865
/proc/meminfo: memFree=1607712/2055920 swapFree=4192812/4192956
[pid=20857] ppid=20855 vsize=915740 CPUtime=25.34
/proc/20857/stat : 20857 (java) R 20855 20857 20790 0 -1 0 23932 0 1 0 2466 68 0 0 25 0 8 0 171627467 937717760 23642 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074224163 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20857/statm: 228935 23642 2547 14 0 215405 0
[pid=20857/tid=20859] ppid=20855 vsize=915740 CPUtime=0.26
/proc/20857/task/20859/stat : 20859 (java) S 20855 20857 20790 0 -1 64 6751 0 0 0 23 3 0 0 16 0 8 0 171627471 937717760 23642 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20857/tid=20860] ppid=20855 vsize=915740 CPUtime=0
/proc/20857/task/20860/stat : 20860 (java) S 20855 20857 20790 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 171627472 937717760 23642 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20857/tid=20861] ppid=20855 vsize=915740 CPUtime=0
/proc/20857/task/20861/stat : 20861 (java) S 20855 20857 20790 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171627472 937717760 23642 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20857/tid=20862] ppid=20855 vsize=915740 CPUtime=0
/proc/20857/task/20862/stat : 20862 (java) S 20855 20857 20790 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 171627475 937717760 23642 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20857/tid=20863] ppid=20855 vsize=915740 CPUtime=0.39
/proc/20857/task/20863/stat : 20863 (java) S 20855 20857 20790 0 -1 64 536 0 0 0 38 1 0 0 16 0 8 0 171627476 937717760 23642 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20857/tid=20864] ppid=20855 vsize=915740 CPUtime=0
/proc/20857/task/20864/stat : 20864 (java) S 20855 20857 20790 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 171627476 937717760 23642 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20857/tid=20865] ppid=20855 vsize=915740 CPUtime=0
/proc/20857/task/20865/stat : 20865 (java) S 20855 20857 20790 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171627476 937717760 23642 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 915740

Child status: 0
Real time (s): 44.0381
CPU time (s): 43.5594
CPU user time (s): 42.8535
CPU system time (s): 0.705892
CPU usage (%): 98.9129
Max. virtual memory (cumulated for all children) (KiB): 915964

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 42.8535
system time used= 0.705892
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23948
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= 2716
involuntary context switches= 3840

runsolver used 0.069989 s user time and 0.137979 s system time

The end

Launcher Data (download as text)

Begin job on node11 on Mon Jan  8 04:58:44 UTC 2007


IDJOB= 214898
IDBENCH= 4960
FILE ID= node11/214898-1168232324

PBS_JOBID= 3481194

Free space on /tmp= 66338 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  6cd206fd6984bedb61c47b817677307d

RANDOM SEED= 807563679

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.261
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	: 5931.00
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.261
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:       1692848 kB
Buffers:         51040 kB
Cached:         143916 kB
SwapCached:          0 kB
Active:         205692 kB
Inactive:       101008 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1692848 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            3644 kB
Writeback:           0 kB
Mapped:         139636 kB
Slab:            40636 kB
Committed_AS:  5939128 kB
PageTables:       2592 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= 66338 MiB



End job on node11 on Mon Jan  8 04:59:29 UTC 2007