Trace number 198508

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 ESACUNSAT 127.891 128.608

DiagnosticValue
CHECKS180573567
NODES4727539

General information on the benchmark

Namepigeons/
pigeons-15.xml
MD5SUMc50ed34d99eca703057f80ac300e5077
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark74.8126
SatisfiableNO
(Un)Satisfiability was proved
Number of variables15
Number of constraints105
Maximum constraint arity2
Maximum domain size14
Number of constraints which are defined in extension0
Number of constraints which are defined in intension105
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.35	   
0.35	   instance
0.35	     name=/tmp/evaluation/198508-1168128973/unknown.xml
0.38	   
0.38	   domains being loaded...
0.38	   
0.38	   variables being loaded...
0.41	     nbVariables=15  nbDomainTypes=1  minDomainSize=14  maxDomainSize=14
0.41	       =>  wckTime=0.097  cpuTime=0.09  mem=6M951
0.41	   
0.42	   predicates being loaded...
0.42	   
0.42	   constraints being loaded...
0.51	     nbConstraints=105  nbConvertedConstraints=105  nbConvertConstraintsChecks=196  nbExtensionStructures=1
0.51	     nbSharedExtensionStructures=104  nbConflictsStructures=1  nbSharedConflictsStructures=104
0.51	     nbSharedBinaryRepresentations=14  maxDegree=14  maxArity=2
0.51	       =>  wckTime=0.188  cpuTime=0.16  mem=7M943
0.54	   
0.54	   solver IterativeSystematicSolver being built... 
0.70	       =>  wckTime=0.388  cpuTime=0.31  mem=13M324
0.73	   
0.73	   preprocessing
0.73	     nbConstraintChecks=2030  nbPropagations=247  nbRevisions=210  nbUselessRevisions=0  nbSingletonTests=26
0.73	     nbEffectiveSingletonTests=0  nbESACBranches=2  nbRemovedValues=0  detectedInconsistency=no
0.73	       =>  wckTime=0.024  cpuTime=0.01  mem=13M324
0.75	   
0.75	   search
0.75	     run=0  nbConstraintChecks=1294  nbPropagations=453  nbRevisions=446  nbUselessRevisions=24  nbAssignments=30
0.75	     nbFailedAssignments=10  nbBacktracks=10  nbVisitedNodes=51  nbRestartNogoods=0  mapSize=10  nbInferences=0
0.75	     nbTooLargeKeys=0
0.75	       =>  wckTime=0.04  cpuTime=0.02  mem=14M316
0.76	   
0.76	   search
0.76	     run=1  nbConstraintChecks=2713  nbPropagations=1154  nbRevisions=1180  nbUselessRevisions=79  nbAssignments=70
0.76	     nbFailedAssignments=24  nbBacktracks=25  nbVisitedNodes=119  nbRestartNogoods=4  mapSize=25  nbInferences=0
0.76	     nbTooLargeKeys=0
0.76	       =>  wckTime=0.049  cpuTime=0.03  mem=14M316
0.77	   
0.77	   search
0.77	     run=2  nbConstraintChecks=4299  nbPropagations=2167  nbRevisions=2275  nbUselessRevisions=170  nbAssignments=123
0.77	     nbFailedAssignments=44  nbBacktracks=47  nbVisitedNodes=212  nbRestartNogoods=7  mapSize=47  nbInferences=0
0.77	     nbTooLargeKeys=0
0.77	       =>  wckTime=0.063  cpuTime=0.04  mem=14M316
0.78	   
0.78	   search
0.78	     run=3  nbConstraintChecks=6089  nbPropagations=3572  nbRevisions=3811  nbUselessRevisions=299  nbAssignments=195
0.78	     nbFailedAssignments=71  nbBacktracks=80  nbVisitedNodes=339  nbRestartNogoods=12  mapSize=80  nbInferences=1
0.78	     nbTooLargeKeys=0
0.78	       =>  wckTime=0.074  cpuTime=0.04  mem=14M316
0.79	   
0.79	   search
0.79	     run=4  nbConstraintChecks=8186  nbPropagations=5499  nbRevisions=5907  nbUselessRevisions=460  nbAssignments=296
0.79	     nbFailedAssignments=109  nbBacktracks=131  nbVisitedNodes=518  nbRestartNogoods=16  mapSize=131  nbInferences=3
0.79	     nbTooLargeKeys=0
0.79	       =>  wckTime=0.086  cpuTime=0.05  mem=14M316
0.81	   
0.81	   search
0.81	     run=5  nbConstraintChecks=11014  nbPropagations=8174  nbRevisions=8846  nbUselessRevisions=690  nbAssignments=443
0.81	     nbFailedAssignments=162  nbBacktracks=207  nbVisitedNodes=779  nbRestartNogoods=21  mapSize=207  nbInferences=11
0.81	     nbTooLargeKeys=0
0.81	       =>  wckTime=0.103  cpuTime=0.07  mem=14M316
0.83	   
0.83	   search
0.83	     run=6  nbConstraintChecks=14353  nbPropagations=11893  nbRevisions=12776  nbUselessRevisions=924  nbAssignments=661
0.83	     nbFailedAssignments=233  nbBacktracks=320  nbVisitedNodes=1162  nbRestartNogoods=23  mapSize=320  nbInferences=34
0.83	     nbTooLargeKeys=0
0.83	       =>  wckTime=0.119  cpuTime=0.08  mem=14M316
0.84	   
0.84	   search
0.84	     run=7  nbConstraintChecks=19993  nbPropagations=17270  nbRevisions=18271  nbUselessRevisions=1172
0.84	     nbAssignments=1001  nbFailedAssignments=336  nbBacktracks=490  nbVisitedNodes=1740  nbRestartNogoods=29
0.84	     mapSize=490  nbInferences=78  nbTooLargeKeys=0
0.84	       =>  wckTime=0.138  cpuTime=0.09  mem=14M316
0.88	   
0.88	   search
0.88	     run=8  nbConstraintChecks=26871  nbPropagations=25064  nbRevisions=25974  nbUselessRevisions=1438
0.88	     nbAssignments=1517  nbFailedAssignments=476  nbBacktracks=746  nbVisitedNodes=2647  nbRestartNogoods=36
0.88	     mapSize=746  nbInferences=189  nbTooLargeKeys=0
0.88	       =>  wckTime=0.175  cpuTime=0.12  mem=14M316
0.91	   
0.91	   search
0.91	     run=9  nbConstraintChecks=37017  nbPropagations=36504  nbRevisions=36993  nbUselessRevisions=1715
0.91	     nbAssignments=2293  nbFailedAssignments=691  nbBacktracks=1132  nbVisitedNodes=4019  nbRestartNogoods=42
0.91	     mapSize=1132  nbInferences=355  nbTooLargeKeys=0
0.91	       =>  wckTime=0.206  cpuTime=0.14  mem=14M316
0.95	   
0.95	   search
0.95	     run=10  nbConstraintChecks=54302  nbPropagations=54109  nbRevisions=53368  nbUselessRevisions=2012
0.95	     nbAssignments=3569  nbFailedAssignments=972  nbBacktracks=1708  nbVisitedNodes=6267  nbRestartNogoods=46
0.95	     mapSize=1708  nbInferences=765  nbTooLargeKeys=0
0.95	       =>  wckTime=0.24  cpuTime=0.16  mem=14M316
0.99	   
0.99	   search
0.99	     run=11  nbConstraintChecks=84220  nbPropagations=81885  nbRevisions=78342  nbUselessRevisions=2343
0.99	     nbAssignments=5628  nbFailedAssignments=1349  nbBacktracks=2572  nbVisitedNodes=9848  nbRestartNogoods=56
0.99	     mapSize=2572  nbInferences=1553  nbTooLargeKeys=0
0.99	       =>  wckTime=0.28  cpuTime=0.2  mem=14M316
1.05	   
1.05	   search
1.05	     run=12  nbConstraintChecks=130614  nbPropagations=125907  nbRevisions=116743  nbUselessRevisions=2724
1.05	     nbAssignments=8883  nbFailedAssignments=1866  nbBacktracks=3871  nbVisitedNodes=15567  nbRestartNogoods=59
1.05	     mapSize=3871  nbInferences=2983  nbTooLargeKeys=0
1.05	       =>  wckTime=0.347  cpuTime=0.27  mem=14M316
1.16	   
1.16	   search
1.16	     run=13  nbConstraintChecks=207904  nbPropagations=196592  nbRevisions=176565  nbUselessRevisions=3119
1.16	     nbAssignments=14139  nbFailedAssignments=2534  nbBacktracks=5818  nbVisitedNodes=24755  nbRestartNogoods=65
1.16	     mapSize=5818  nbInferences=5598  nbTooLargeKeys=0
1.16	       =>  wckTime=0.454  cpuTime=0.37  mem=14M316
1.34	   
1.34	   search
1.34	     run=14  nbConstraintChecks=351530  nbPropagations=313741  nbRevisions=272937  nbUselessRevisions=3551
1.34	     nbAssignments=22851  nbFailedAssignments=3346  nbBacktracks=8738  nbVisitedNodes=40062  nbRestartNogoods=73
1.34	     mapSize=8738  nbInferences=10569  nbTooLargeKeys=0
1.34	       =>  wckTime=0.632  cpuTime=0.55  mem=15M291
1.63	   
1.63	   search
1.63	     run=15  nbConstraintChecks=583539  nbPropagations=505164  nbRevisions=426842  nbUselessRevisions=4065
1.63	     nbAssignments=36659  nbFailedAssignments=4336  nbBacktracks=13117  nbVisitedNodes=64187  nbRestartNogoods=86
1.63	     mapSize=13117  nbInferences=18953  nbTooLargeKeys=0
1.63	       =>  wckTime=0.921  cpuTime=0.84  mem=15M291
2.12	   
2.12	   search
2.12	     run=16  nbConstraintChecks=1043338  nbPropagations=831242  nbRevisions=684284  nbUselessRevisions=4581
2.12	     nbAssignments=59965  nbFailedAssignments=5506  nbBacktracks=19685  nbVisitedNodes=105376  nbRestartNogoods=95
2.12	     mapSize=19685  nbInferences=34505  nbTooLargeKeys=0
2.12	       =>  wckTime=1.414  cpuTime=1.33  mem=16M266
2.91	   
2.91	   search
2.91	     run=17  nbConstraintChecks=1778535  nbPropagations=1368662  nbRevisions=1103079  nbUselessRevisions=5210
2.91	     nbAssignments=96199  nbFailedAssignments=6829  nbBacktracks=29537  nbVisitedNodes=169291  nbRestartNogoods=105
2.91	     mapSize=29537  nbInferences=59548  nbTooLargeKeys=0
2.91	       =>  wckTime=2.205  cpuTime=2.11  mem=18M217
4.22	   
4.22	   search
4.22	     run=18  nbConstraintChecks=3042768  nbPropagations=2252567  nbRevisions=1786439  nbUselessRevisions=5839
4.22	     nbAssignments=153635  nbFailedAssignments=8504  nbBacktracks=44315  nbVisitedNodes=270975  nbRestartNogoods=117
4.22	     mapSize=44315  nbInferences=100485  nbTooLargeKeys=0
4.22	       =>  wckTime=3.513  cpuTime=3.41  mem=20M167
7.47	   
7.47	   search
7.47	     run=19  nbConstraintChecks=7293911  nbPropagations=3994623  nbRevisions=3145630  nbUselessRevisions=6468
7.47	     nbAssignments=268253  nbFailedAssignments=9764  nbBacktracks=66484  nbVisitedNodes=479191  nbRestartNogoods=136
7.47	     mapSize=66484  nbInferences=191616  nbTooLargeKeys=0
7.47	       =>  wckTime=6.769  cpuTime=6.66  mem=25M567
11.42	   
11.42	   search
11.42	     run=20  nbConstraintChecks=11904854  nbPropagations=6803841  nbRevisions=5329092  nbUselessRevisions=7097
11.42	     nbAssignments=424555  nbFailedAssignments=11354  nbBacktracks=99736  nbVisitedNodes=760082  nbRestartNogoods=148
11.42	     mapSize=99736  nbInferences=313047  nbTooLargeKeys=0
11.42	       =>  wckTime=10.717  cpuTime=10.58  mem=32M467
17.75	   
17.75	   search
17.75	     run=21  nbConstraintChecks=19552990  nbPropagations=11310453  nbRevisions=8829742  nbUselessRevisions=7726
17.75	     nbAssignments=666663  nbFailedAssignments=13463  nbBacktracks=149614  nbVisitedNodes=1196466  nbRestartNogoods=165
17.75	     mapSize=149614  nbInferences=503132  nbTooLargeKeys=0
17.75	       =>  wckTime=17.046  cpuTime=16.88  mem=42M219
28.97	   
28.97	   search
28.97	     run=22  nbConstraintChecks=34863326  nbPropagations=18850033  nbRevisions=14718336  nbUselessRevisions=8355
28.97	     nbAssignments=1066415  nbFailedAssignments=15857  nbBacktracks=224432  nbVisitedNodes=1923440  nbRestartNogoods=190
28.97	     mapSize=224432  nbInferences=825616  nbTooLargeKeys=0
28.97	       =>  wckTime=28.261  cpuTime=27.85  mem=27M762
46.05	   
46.05	   search
46.05	     run=23  nbConstraintChecks=60565499  nbPropagations=31335026  nbRevisions=24513698  nbUselessRevisions=9000
46.05	     nbAssignments=1699744  nbFailedAssignments=17601  nbBacktracks=336659  nbVisitedNodes=3079523  nbRestartNogoods=208
46.05	     mapSize=336659  nbInferences=1344927  nbTooLargeKeys=0
46.05	       =>  wckTime=45.345  cpuTime=44.87  mem=53M371
69.86	   
69.86	   search
69.86	     run=24  nbConstraintChecks=94545205  nbPropagations=50624100  nbRevisions=39676374  nbUselessRevisions=32757
69.86	     nbAssignments=2600613  nbFailedAssignments=20485  nbBacktracks=505001  nbVisitedNodes=4715723  nbRestartNogoods=221
69.86	     mapSize=505001  nbInferences=2074540  nbTooLargeKeys=0
69.86	       =>  wckTime=69.153  cpuTime=68.26  mem=62M115
108.21	   
108.21	   search
108.21	     run=25  nbConstraintChecks=150604621  nbPropagations=80817546  nbRevisions=63447579  nbUselessRevisions=66194
108.21	     nbAssignments=4008249  nbFailedAssignments=22906  nbBacktracks=757512  nbVisitedNodes=7280634  nbRestartNogoods=248
108.21	     mapSize=757507  nbInferences=3227146  nbTooLargeKeys=0
108.21	       =>  wckTime=107.505  cpuTime=106.14  mem=89M178
128.46	   
128.46	   search
128.46	     run=26  nbConstraintChecks=180571537  nbPropagations=116706156  nbRevisions=91730306  nbUselessRevisions=104335
128.46	     nbAssignments=4727539  nbFailedAssignments=23323  nbBacktracks=882336  nbVisitedNodes=8594620  nbRestartNogoods=273
128.46	     mapSize=882329  nbInferences=3821113  nbTooLargeKeys=0
128.46	       =>  wckTime=127.75  cpuTime=126.04  mem=95M542
128.46	   
128.46	   global
128.46	     nbConstraintChecks=180573567  nbPropagations=116706403  nbRevisions=91730516  nbUselessRevisions=104335
128.46	     nbRestartNogoods=273  solvingWckTime=127.751  solvingCpuTime=126.04  expiredTime=no  totalExploration=yes
128.46	     nbFoundSolutions=0  globalCpuTime=126.39
128.46	       =>  wckTime=128.141  cpuTime=126.35  mem=95M542
128.46	   
128.46	s UNSATISFIABLE
128.46	d NODES 4727539
128.46	d CHECKS 180573567
128.46	   
128.46	   totalWckTime=128.222  totalCpuTime=126.39

Verifier Data (download as text)

No possible verification on an UNSAT instance

Watcher Data (download as text)

runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node61/watcher-198508-1168128973 -o ROOT/results/node61/solver-198508-1168128973 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/198508-1168128973/unknown.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB

/proc/loadavg: 1.92 1.98 1.85 2/82 25345
/proc/meminfo: memFree=1292840/2055920 swapFree=4192812/4192956
[pid=25344] ppid=25342 vsize=18540 CPUtime=0
/proc/25344/stat : 25344 (runsolver) R 25342 25344 24678 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 161295152 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 246406507815 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/25344/statm: 4635 279 244 17 0 2626 0

[startup+0.102467 s]
/proc/loadavg: 1.92 1.98 1.85 2/82 25345
/proc/meminfo: memFree=1292840/2055920 swapFree=4192812/4192956
[pid=25344] ppid=25342 vsize=914852 CPUtime=0.07
/proc/25344/stat : 25344 (java) R 25342 25344 24678 0 -1 0 2939 0 1 0 6 1 0 0 19 0 8 0 161295152 936808448 2685 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4151973145 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25344/statm: 228713 2685 1411 14 0 215208 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 914852

[startup+0.510534 s]
/proc/loadavg: 1.92 1.98 1.85 2/82 25345
/proc/meminfo: memFree=1292840/2055920 swapFree=4192812/4192956
[pid=25344] ppid=25342 vsize=915456 CPUtime=0.48
/proc/25344/stat : 25344 (java) R 25342 25344 24678 0 -1 0 6426 0 1 0 44 4 0 0 18 0 8 0 161295152 937426944 6165 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072926602 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25344/statm: 228864 6165 2175 14 0 215334 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915456

[startup+1.33168 s]
/proc/loadavg: 1.92 1.98 1.85 3/89 25352
/proc/meminfo: memFree=1269488/2055920 swapFree=4192812/4192956
[pid=25344] ppid=25342 vsize=915456 CPUtime=1.3
/proc/25344/stat : 25344 (java) R 25342 25344 24678 0 -1 0 8666 0 1 0 124 6 0 0 25 0 8 0 161295152 937426944 8404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073715860 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25344/statm: 228864 8404 2541 14 0 215334 0
[pid=25344/tid=25346] ppid=25342 vsize=915456 CPUtime=0.02
/proc/25344/task/25346/stat : 25346 (java) S 25342 25344 24678 0 -1 64 125 0 0 0 2 0 0 0 16 0 8 0 161295156 937426944 8404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25344/tid=25347] ppid=25342 vsize=915456 CPUtime=0
/proc/25344/task/25347/stat : 25347 (java) S 25342 25344 24678 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161295157 937426944 8404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25344/tid=25348] ppid=25342 vsize=915456 CPUtime=0
/proc/25344/task/25348/stat : 25348 (java) S 25342 25344 24678 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 161295157 937426944 8404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25344/tid=25349] ppid=25342 vsize=915456 CPUtime=0
/proc/25344/task/25349/stat : 25349 (java) S 25342 25344 24678 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 161295160 937426944 8404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25344/tid=25350] ppid=25342 vsize=915456 CPUtime=0.17
/proc/25344/task/25350/stat : 25350 (java) S 25342 25344 24678 0 -1 64 362 0 0 0 17 0 0 0 15 0 8 0 161295160 937426944 8404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25344/tid=25351] ppid=25342 vsize=915456 CPUtime=0
/proc/25344/task/25351/stat : 25351 (java) S 25342 25344 24678 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 161295160 937426944 8404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25344/tid=25352] ppid=25342 vsize=915456 CPUtime=0
/proc/25344/task/25352/stat : 25352 (java) S 25342 25344 24678 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 161295160 937426944 8404 18446744073709551615 134512640 134570532 4294956480 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) 915456

[startup+2.97297 s]
/proc/loadavg: 1.92 1.98 1.85 3/89 25352
/proc/meminfo: memFree=1267184/2055920 swapFree=4192812/4192956
[pid=25344] ppid=25342 vsize=915456 CPUtime=2.94
/proc/25344/stat : 25344 (java) R 25342 25344 24678 0 -1 0 9473 0 1 0 287 7 0 0 25 0 8 0 161295152 937426944 9210 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073697025 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25344/statm: 228864 9210 2541 14 0 215334 0
[pid=25344/tid=25346] ppid=25342 vsize=915456 CPUtime=0.02
/proc/25344/task/25346/stat : 25346 (java) S 25342 25344 24678 0 -1 64 125 0 0 0 2 0 0 0 16 0 8 0 161295156 937426944 9210 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25344/tid=25347] ppid=25342 vsize=915456 CPUtime=0
/proc/25344/task/25347/stat : 25347 (java) S 25342 25344 24678 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161295157 937426944 9210 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25344/tid=25348] ppid=25342 vsize=915456 CPUtime=0
/proc/25344/task/25348/stat : 25348 (java) S 25342 25344 24678 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 161295157 937426944 9210 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25344/tid=25349] ppid=25342 vsize=915456 CPUtime=0
/proc/25344/task/25349/stat : 25349 (java) S 25342 25344 24678 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 161295160 937426944 9210 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25344/tid=25350] ppid=25342 vsize=915456 CPUtime=0.17
/proc/25344/task/25350/stat : 25350 (java) S 25342 25344 24678 0 -1 64 363 0 0 0 17 0 0 0 15 0 8 0 161295160 937426944 9210 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25344/tid=25351] ppid=25342 vsize=915456 CPUtime=0
/proc/25344/task/25351/stat : 25351 (java) S 25342 25344 24678 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 161295160 937426944 9210 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25344/tid=25352] ppid=25342 vsize=915456 CPUtime=0
/proc/25344/task/25352/stat : 25352 (java) S 25342 25344 24678 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 161295160 937426944 9210 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915456

[startup+6.26854 s]
/proc/loadavg: 1.93 1.98 1.85 3/89 25352
/proc/meminfo: memFree=1261104/2055920 swapFree=4192812/4192956
[pid=25344] ppid=25342 vsize=915456 CPUtime=6.22
/proc/25344/stat : 25344 (java) R 25342 25344 24678 0 -1 0 10822 0 1 0 614 8 0 0 25 0 8 0 161295152 937426944 10558 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073744677 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25344/statm: 228864 10558 2541 14 0 215334 0
[pid=25344/tid=25346] ppid=25342 vsize=915456 CPUtime=0.02
/proc/25344/task/25346/stat : 25346 (java) S 25342 25344 24678 0 -1 64 125 0 0 0 2 0 0 0 16 0 8 0 161295156 937426944 10558 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25344/tid=25347] ppid=25342 vsize=915456 CPUtime=0
/proc/25344/task/25347/stat : 25347 (java) S 25342 25344 24678 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161295157 937426944 10558 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25344/tid=25348] ppid=25342 vsize=915456 CPUtime=0
/proc/25344/task/25348/stat : 25348 (java) S 25342 25344 24678 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 161295157 937426944 10558 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25344/tid=25349] ppid=25342 vsize=915456 CPUtime=0
/proc/25344/task/25349/stat : 25349 (java) S 25342 25344 24678 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 161295160 937426944 10558 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25344/tid=25350] ppid=25342 vsize=915456 CPUtime=0.17
/proc/25344/task/25350/stat : 25350 (java) S 25342 25344 24678 0 -1 64 364 0 0 0 17 0 0 0 16 0 8 0 161295160 937426944 10558 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25344/tid=25351] ppid=25342 vsize=915456 CPUtime=0
/proc/25344/task/25351/stat : 25351 (java) S 25342 25344 24678 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 161295160 937426944 10558 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25344/tid=25352] ppid=25342 vsize=915456 CPUtime=0
/proc/25344/task/25352/stat : 25352 (java) S 25342 25344 24678 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 161295160 937426944 10558 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 915456

[startup+12.7447 s]
/proc/loadavg: 1.93 1.98 1.85 4/89 25352
/proc/meminfo: memFree=1249968/2055920 swapFree=4192812/4192956
[pid=25344] ppid=25342 vsize=915456 CPUtime=12.66
/proc/25344/stat : 25344 (java) R 25342 25344 24678 0 -1 0 13515 0 1 0 1257 9 0 0 25 0 8 0 161295152 937426944 13251 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073765797 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25344/statm: 228864 13251 2541 14 0 215334 0
[pid=25344/tid=25346] ppid=25342 vsize=915456 CPUtime=0.02
/proc/25344/task/25346/stat : 25346 (java) S 25342 25344 24678 0 -1 64 125 0 0 0 2 0 0 0 16 0 8 0 161295156 937426944 13251 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25344/tid=25347] ppid=25342 vsize=915456 CPUtime=0
/proc/25344/task/25347/stat : 25347 (java) S 25342 25344 24678 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161295157 937426944 13251 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25344/tid=25348] ppid=25342 vsize=915456 CPUtime=0
/proc/25344/task/25348/stat : 25348 (java) S 25342 25344 24678 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 161295157 937426944 13251 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25344/tid=25349] ppid=25342 vsize=915456 CPUtime=0
/proc/25344/task/25349/stat : 25349 (java) S 25342 25344 24678 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 161295160 937426944 13251 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25344/tid=25350] ppid=25342 vsize=915456 CPUtime=0.17
/proc/25344/task/25350/stat : 25350 (java) S 25342 25344 24678 0 -1 64 364 0 0 0 17 0 0 0 16 0 8 0 161295160 937426944 13251 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25344/tid=25351] ppid=25342 vsize=915456 CPUtime=0
/proc/25344/task/25351/stat : 25351 (java) S 25342 25344 24678 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 161295160 937426944 13251 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25344/tid=25352] ppid=25342 vsize=915456 CPUtime=0
/proc/25344/task/25352/stat : 25352 (java) S 25342 25344 24678 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 161295160 937426944 13251 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 915456

[startup+25.6089 s]
/proc/loadavg: 1.95 1.98 1.85 2/75 25365
/proc/meminfo: memFree=1293344/2055920 swapFree=4192812/4192956
[pid=25344] ppid=25342 vsize=915456 CPUtime=25.46
/proc/25344/stat : 25344 (java) R 25342 25344 24678 0 -1 0 20644 0 1 0 2534 12 0 0 25 0 8 0 161295152 937426944 20378 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073680952 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25344/statm: 228864 20378 2545 14 0 215334 0
[pid=25344/tid=25346] ppid=25342 vsize=915456 CPUtime=0.21
/proc/25344/task/25346/stat : 25346 (java) S 25342 25344 24678 0 -1 64 3645 0 0 0 20 1 0 0 16 0 8 0 161295156 937426944 20378 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25344/tid=25347] ppid=25342 vsize=915456 CPUtime=0
/proc/25344/task/25347/stat : 25347 (java) S 25342 25344 24678 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161295157 937426944 20378 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25344/tid=25348] ppid=25342 vsize=915456 CPUtime=0
/proc/25344/task/25348/stat : 25348 (java) S 25342 25344 24678 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 161295157 937426944 20378 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25344/tid=25349] ppid=25342 vsize=915456 CPUtime=0
/proc/25344/task/25349/stat : 25349 (java) S 25342 25344 24678 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 161295160 937426944 20378 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25344/tid=25350] ppid=25342 vsize=915456 CPUtime=0.18
/proc/25344/task/25350/stat : 25350 (java) S 25342 25344 24678 0 -1 64 365 0 0 0 18 0 0 0 16 0 8 0 161295160 937426944 20378 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25344/tid=25351] ppid=25342 vsize=915456 CPUtime=0
/proc/25344/task/25351/stat : 25351 (java) S 25342 25344 24678 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 161295160 937426944 20378 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25344/tid=25352] ppid=25342 vsize=915456 CPUtime=0
/proc/25344/task/25352/stat : 25352 (java) S 25342 25344 24678 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 161295160 937426944 20378 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 915456

[startup+51.3103 s]
/proc/loadavg: 1.96 1.98 1.85 3/80 25580
/proc/meminfo: memFree=1289528/2055920 swapFree=4192812/4192956
[pid=25344] ppid=25342 vsize=915456 CPUtime=51.05
/proc/25344/stat : 25344 (java) R 25342 25344 24678 0 -1 0 20648 0 1 0 5092 13 0 0 25 0 8 0 161295152 937426944 20382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336182 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25344/statm: 228864 20382 2545 14 0 215334 0
[pid=25344/tid=25346] ppid=25342 vsize=915456 CPUtime=0.21
/proc/25344/task/25346/stat : 25346 (java) S 25342 25344 24678 0 -1 64 3645 0 0 0 20 1 0 0 16 0 8 0 161295156 937426944 20382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25344/tid=25347] ppid=25342 vsize=915456 CPUtime=0
/proc/25344/task/25347/stat : 25347 (java) S 25342 25344 24678 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161295157 937426944 20382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25344/tid=25348] ppid=25342 vsize=915456 CPUtime=0
/proc/25344/task/25348/stat : 25348 (java) S 25342 25344 24678 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 161295157 937426944 20382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25344/tid=25349] ppid=25342 vsize=915456 CPUtime=0
/proc/25344/task/25349/stat : 25349 (java) S 25342 25344 24678 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 161295160 937426944 20382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25344/tid=25350] ppid=25342 vsize=915456 CPUtime=0.18
/proc/25344/task/25350/stat : 25350 (java) S 25342 25344 24678 0 -1 64 366 0 0 0 18 0 0 0 16 0 8 0 161295160 937426944 20382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25344/tid=25351] ppid=25342 vsize=915456 CPUtime=0
/proc/25344/task/25351/stat : 25351 (java) S 25342 25344 24678 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 161295160 937426944 20382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25344/tid=25352] ppid=25342 vsize=915456 CPUtime=0
/proc/25344/task/25352/stat : 25352 (java) S 25342 25344 24678 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 161295160 937426944 20382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 915456

[startup+102.606 s]
/proc/loadavg: 1.98 1.98 1.86 3/80 25580
/proc/meminfo: memFree=1250616/2055920 swapFree=4192812/4192956
[pid=25344] ppid=25342 vsize=915456 CPUtime=102.11
/proc/25344/stat : 25344 (java) R 25342 25344 24678 0 -1 0 30414 0 1 0 10195 16 0 0 25 0 8 0 161295152 937426944 30146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336169 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25344/statm: 228864 30146 2545 14 0 215334 0
[pid=25344/tid=25346] ppid=25342 vsize=915456 CPUtime=0.8
/proc/25344/task/25346/stat : 25346 (java) S 25342 25344 24678 0 -1 64 13409 0 0 0 75 5 0 0 16 0 8 0 161295156 937426944 30146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25344/tid=25347] ppid=25342 vsize=915456 CPUtime=0
/proc/25344/task/25347/stat : 25347 (java) S 25342 25344 24678 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161295157 937426944 30146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25344/tid=25348] ppid=25342 vsize=915456 CPUtime=0
/proc/25344/task/25348/stat : 25348 (java) S 25342 25344 24678 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 161295157 937426944 30146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25344/tid=25349] ppid=25342 vsize=915456 CPUtime=0
/proc/25344/task/25349/stat : 25349 (java) S 25342 25344 24678 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 161295160 937426944 30146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25344/tid=25350] ppid=25342 vsize=915456 CPUtime=0.18
/proc/25344/task/25350/stat : 25350 (java) S 25342 25344 24678 0 -1 64 366 0 0 0 18 0 0 0 16 0 8 0 161295160 937426944 30146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25344/tid=25351] ppid=25342 vsize=915456 CPUtime=0
/proc/25344/task/25351/stat : 25351 (java) S 25342 25344 24678 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 161295160 937426944 30146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25344/tid=25352] ppid=25342 vsize=915456 CPUtime=0
/proc/25344/task/25352/stat : 25352 (java) S 25342 25344 24678 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 161295160 937426944 30146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.11
Current children cumulated vsize (KiB) 915456

Child status: 0
Real time (s): 128.608
CPU time (s): 127.891
CPU user time (s): 127.675
CPU system time (s): 0.215967
CPU usage (%): 99.4425
Max. virtual memory (cumulated for all children) (KiB): 915456

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 127.675
system time used= 0.215967
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34152
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= 3610
involuntary context switches= 3881

runsolver used 0.136979 s user time and 0.351946 s system time

The end

Launcher Data (download as text)

Begin job on node61 on Sun Jan  7 00:16:13 UTC 2007


IDJOB= 198508
IDBENCH= 3560
FILE ID= node61/198508-1168128973

PBS_JOBID= 3477939

Free space on /tmp= 66507 MiB

BENCH NAME= HOME/pub/bench/CPAI06/pigeons/pigeons-15.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/198508-1168128973/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node61/watcher-198508-1168128973 -o ROOT/results/node61/solver-198508-1168128973 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/198508-1168128973/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  c50ed34d99eca703057f80ac300e5077

RANDOM SEED= 480945937

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.259
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.259
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:       1293320 kB
Buffers:         37388 kB
Cached:         557272 kB
SwapCached:          0 kB
Active:         143860 kB
Inactive:       540628 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1293320 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1660 kB
Writeback:           0 kB
Mapped:         108964 kB
Slab:            63424 kB
Committed_AS:  4058260 kB
PageTables:       1988 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= 66507 MiB



End job on node61 on Sun Jan  7 00:18:22 UTC 2007