Trace number 252978

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 149.631 149.781

DiagnosticValue
CHECKS267976826
NODES3752791

General information on the benchmark

Namecoloring/
myciel-5g-5-ext.xml
MD5SUM6350e3a68b258bb6cda8764f11403dc3
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark27.08
SatisfiableNO
(Un)Satisfiability was proved
Number of variables47
Number of constraints236
Maximum constraint arity2
Maximum domain size5
Number of constraints which are defined in extension236
Number of constraints which are defined in intension0
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/252978-1168409707/unknown.xml
0.36	   
0.36	   domains being loaded...
0.36	   
0.36	   variables being loaded...
0.40	     nbVariables=47  nbDomainTypes=1  minDomainSize=5  maxDomainSize=5
0.40	       =>  wckTime=0.098  cpuTime=0.08  mem=6M951
0.40	   
0.40	   relations being loaded...
0.40	   
0.40	   constraints being loaded...
0.47	     nbConstraints=236  nbRelationTypes=1  nbExtensionStructures=1  nbSharedExtensionStructures=235
0.47	     nbConflictsStructures=1  nbSharedConflictsStructures=235  nbSharedBinaryRepresentations=5  maxDegree=23  maxArity=2
0.47	       =>  wckTime=0.169  cpuTime=0.14  mem=8M918
0.50	   
0.50	   solver IterativeSystematicSolver being built... 
0.66	       =>  wckTime=0.363  cpuTime=0.27  mem=14M492
0.70	   
0.70	   preprocessing
0.70	     nbConstraintChecks=1514  nbPropagations=294  nbRevisions=435  nbUselessRevisions=200  nbSingletonTests=49
0.70	     nbEffectiveSingletonTests=0  nbESACBranches=2  nbRemovedValues=0  detectedInconsistency=no
0.70	       =>  wckTime=0.029  cpuTime=0.01  mem=14M492
0.71	   
0.71	   search
0.71	     run=0  nbConstraintChecks=1494  nbPropagations=529  nbRevisions=979  nbUselessRevisions=466  nbAssignments=26
0.71	     nbFailedAssignments=4  nbBacktracks=12  nbVisitedNodes=38  nbRestartNogoods=0  mapSize=10  nbInferences=0
0.71	     nbTooLargeKeys=0
0.71	       =>  wckTime=0.044  cpuTime=0.02  mem=14M492
0.73	   
0.73	   search
0.73	     run=1  nbConstraintChecks=3466  nbPropagations=1350  nbRevisions=2714  nbUselessRevisions=1297  nbAssignments=62
0.73	     nbFailedAssignments=11  nbBacktracks=28  nbVisitedNodes=89  nbRestartNogoods=1  mapSize=22  nbInferences=0
0.73	     nbTooLargeKeys=0
0.73	       =>  wckTime=0.06  cpuTime=0.03  mem=14M492
0.74	   
0.74	   search
0.74	     run=2  nbConstraintChecks=7051  nbPropagations=2616  nbRevisions=5912  nbUselessRevisions=2876  nbAssignments=107
0.74	     nbFailedAssignments=25  nbBacktracks=50  nbVisitedNodes=159  nbRestartNogoods=4  mapSize=38  nbInferences=0
0.74	     nbTooLargeKeys=0
0.74	       =>  wckTime=0.074  cpuTime=0.04  mem=14M492
0.75	   
0.75	   search
0.75	     run=3  nbConstraintChecks=11606  nbPropagations=4449  nbRevisions=10971  nbUselessRevisions=5448  nbAssignments=165
0.75	     nbFailedAssignments=39  nbBacktracks=83  nbVisitedNodes=247  nbRestartNogoods=6  mapSize=64  nbInferences=0
0.75	     nbTooLargeKeys=0
0.75	       =>  wckTime=0.083  cpuTime=0.05  mem=14M492
0.76	   
0.76	   search
0.76	     run=4  nbConstraintChecks=16763  nbPropagations=7052  nbRevisions=18213  nbUselessRevisions=9122  nbAssignments=248
0.76	     nbFailedAssignments=62  nbBacktracks=134  nbVisitedNodes=378  nbRestartNogoods=9  mapSize=106  nbInferences=0
0.76	     nbTooLargeKeys=0
0.76	       =>  wckTime=0.092  cpuTime=0.05  mem=14M492
0.77	   
0.77	   search
0.77	     run=5  nbConstraintChecks=28574  nbPropagations=10912  nbRevisions=30529  nbUselessRevisions=15616
0.77	     nbAssignments=385  nbFailedAssignments=112  nbBacktracks=209  nbVisitedNodes=607  nbRestartNogoods=11  mapSize=169
0.77	     nbInferences=0  nbTooLargeKeys=0
0.77	       =>  wckTime=0.108  cpuTime=0.06  mem=14M492
0.79	   
0.79	   search
0.79	     run=6  nbConstraintChecks=42331  nbPropagations=16454  nbRevisions=49005  nbUselessRevisions=25524
0.79	     nbAssignments=562  nbFailedAssignments=163  nbBacktracks=322  nbVisitedNodes=884  nbRestartNogoods=15  mapSize=249
0.79	     nbInferences=0  nbTooLargeKeys=0
0.79	       =>  wckTime=0.124  cpuTime=0.08  mem=14M492
0.81	   
0.81	   search
0.81	     run=7  nbConstraintChecks=65280  nbPropagations=24397  nbRevisions=76831  nbUselessRevisions=40207
0.81	     nbAssignments=824  nbFailedAssignments=245  nbBacktracks=493  nbVisitedNodes=1313  nbRestartNogoods=20  mapSize=381
0.81	     nbInferences=0  nbTooLargeKeys=0
0.81	       =>  wckTime=0.147  cpuTime=0.1  mem=14M492
0.85	   
0.85	   search
0.85	     run=8  nbConstraintChecks=96199  nbPropagations=36052  nbRevisions=117806  nbUselessRevisions=61448
0.85	     nbAssignments=1222  nbFailedAssignments=379  nbBacktracks=749  nbVisitedNodes=1955  nbRestartNogoods=24
0.85	     mapSize=582  nbInferences=0  nbTooLargeKeys=0
0.85	       =>  wckTime=0.185  cpuTime=0.13  mem=14M492
0.91	   
0.91	   search
0.91	     run=9  nbConstraintChecks=143562  nbPropagations=52731  nbRevisions=179939  nbUselessRevisions=95060
0.91	     nbAssignments=1794  nbFailedAssignments=558  nbBacktracks=1133  nbVisitedNodes=2872  nbRestartNogoods=26
0.91	     mapSize=887  nbInferences=0  nbTooLargeKeys=0
0.91	       =>  wckTime=0.239  cpuTime=0.17  mem=14M492
0.93	   
0.93	   INFO : Stopping hyperNogood (mapSize=1038, nbTooLargekeys=0, mem=14M492)
0.96	   
0.96	   search
0.96	     run=10  nbConstraintChecks=216531  nbPropagations=76995  nbRevisions=274411  nbUselessRevisions=147527
0.96	     nbAssignments=2673  nbFailedAssignments=849  nbBacktracks=1711  nbVisitedNodes=4315  nbRestartNogoods=29
0.96	       =>  wckTime=0.296  cpuTime=0.22  mem=14M492
1.03	   
1.03	   search
1.03	     run=11  nbConstraintChecks=336127  nbPropagations=113425  nbRevisions=419977  nbUselessRevisions=228851
1.03	     nbAssignments=4009  nbFailedAssignments=1310  nbBacktracks=2576  nbVisitedNodes=6494  nbRestartNogoods=32
1.03	       =>  wckTime=0.364  cpuTime=0.29  mem=14M492
1.11	   
1.11	   search
1.11	     run=12  nbConstraintChecks=462546  nbPropagations=163505  nbRevisions=621339  nbUselessRevisions=342394
1.11	     nbAssignments=5831  nbFailedAssignments=1825  nbBacktracks=3875  nbVisitedNodes=9395  nbRestartNogoods=38
1.11	       =>  wckTime=0.441  cpuTime=0.36  mem=14M492
1.23	   
1.23	   search
1.23	     run=13  nbConstraintChecks=677696  nbPropagations=236940  nbRevisions=918996  nbUselessRevisions=512546
1.23	     nbAssignments=8652  nbFailedAssignments=2686  nbBacktracks=5822  nbVisitedNodes=13923  nbRestartNogoods=42
1.23	       =>  wckTime=0.564  cpuTime=0.48  mem=14M492
1.40	   
1.40	   search
1.40	     run=14  nbConstraintChecks=984634  nbPropagations=343181  nbRevisions=1350530  nbUselessRevisions=759291
1.40	     nbAssignments=12890  nbFailedAssignments=3992  nbBacktracks=8741  nbVisitedNodes=20650  nbRestartNogoods=51
1.40	       =>  wckTime=0.733  cpuTime=0.65  mem=14M492
1.66	   
1.66	   search
1.66	     run=15  nbConstraintChecks=1472893  nbPropagations=499771  nbRevisions=1994274  nbUselessRevisions=1128477
1.66	     nbAssignments=19409  nbFailedAssignments=6120  nbBacktracks=13123  nbVisitedNodes=31155  nbRestartNogoods=60
1.66	       =>  wckTime=0.997  cpuTime=0.92  mem=14M492
2.06	   
2.06	   search
2.06	     run=16  nbConstraintChecks=2193133  nbPropagations=735040  nbRevisions=2951525  nbUselessRevisions=1672548
2.06	     nbAssignments=28968  nbFailedAssignments=9097  nbBacktracks=19692  nbVisitedNodes=46526  nbRestartNogoods=66
2.06	       =>  wckTime=1.392  cpuTime=1.31  mem=14M492
2.64	   
2.64	   search
2.64	     run=17  nbConstraintChecks=3289364  nbPropagations=1084761  nbRevisions=4388484  nbUselessRevisions=2494756
2.64	     nbAssignments=43061  nbFailedAssignments=13325  nbBacktracks=29544  nbVisitedNodes=69154  nbRestartNogoods=74
2.64	       =>  wckTime=1.978  cpuTime=1.9  mem=14M492
3.54	   
3.54	   search
3.54	     run=18  nbConstraintChecks=4957104  nbPropagations=1606605  nbRevisions=6552689  nbUselessRevisions=3741196
3.54	     nbAssignments=64233  nbFailedAssignments=19708  nbBacktracks=44323  nbVisitedNodes=102469  nbRestartNogoods=80
3.54	       =>  wckTime=2.87  cpuTime=2.79  mem=14M492
4.95	   
4.95	   search
4.95	     run=19  nbConstraintChecks=7541754  nbPropagations=2399259  nbRevisions=9860568  nbUselessRevisions=5655871
4.95	     nbAssignments=97317  nbFailedAssignments=30611  nbBacktracks=66492  nbVisitedNodes=155070  nbRestartNogoods=91
4.95	       =>  wckTime=4.282  cpuTime=4.2  mem=14M492
6.97	   
6.97	   search
6.97	     run=20  nbConstraintChecks=11198020  nbPropagations=3572432  nbRevisions=14789761  nbUselessRevisions=8524624
6.97	     nbAssignments=145863  nbFailedAssignments=45895  nbBacktracks=99744  nbVisitedNodes=233019  nbRestartNogoods=106
6.97	       =>  wckTime=6.302  cpuTime=6.21  mem=14M492
10.11	   
10.11	   search
10.11	     run=21  nbConstraintChecks=16828565  nbPropagations=5350663  nbRevisions=22224330  nbUselessRevisions=12859513
10.11	     nbAssignments=218822  nbFailedAssignments=68964  nbBacktracks=149623  nbVisitedNodes=349200  nbRestartNogoods=113
10.11	       =>  wckTime=9.443  cpuTime=9.35  mem=14M492
14.69	   
14.69	   search
14.69	     run=22  nbConstraintChecks=25325132  nbPropagations=8018920  nbRevisions=33462102  nbUselessRevisions=19451434
14.69	     nbAssignments=328662  nbFailedAssignments=103976  nbBacktracks=224442  nbVisitedNodes=526838  nbRestartNogoods=125
14.69	       =>  wckTime=14.024  cpuTime=13.93  mem=14M492
21.44	   
21.44	   search
21.44	     run=23  nbConstraintChecks=37560339  nbPropagations=12014939  nbRevisions=50163634  nbUselessRevisions=29244929
21.44	     nbAssignments=492915  nbFailedAssignments=155987  nbBacktracks=336677  nbVisitedNodes=787327  nbRestartNogoods=135
21.44	       =>  wckTime=20.779  cpuTime=20.68  mem=14M492
31.63	   
31.63	   search
31.63	     run=24  nbConstraintChecks=56262893  nbPropagations=17963854  nbRevisions=75243357  nbUselessRevisions=44022851
31.63	     nbAssignments=742066  nbFailedAssignments=236773  nbBacktracks=505020  nbVisitedNodes=1187233  nbRestartNogoods=145
31.63	       =>  wckTime=30.963  cpuTime=30.87  mem=14M492
46.37	   
46.38	   search
46.38	     run=25  nbConstraintChecks=82305886  nbPropagations=26756178  nbRevisions=111974172  nbUselessRevisions=65648259
46.38	     nbAssignments=1104796  nbFailedAssignments=346945  nbBacktracks=757531  nbVisitedNodes=1761674
46.38	     nbRestartNogoods=158
46.38	       =>  wckTime=45.709  cpuTime=45.6  mem=14M492
68.04	   
68.04	   search
68.04	     run=26  nbConstraintChecks=120912079  nbPropagations=39732540  nbRevisions=166039353  nbUselessRevisions=97501324
68.04	     nbAssignments=1653815  nbFailedAssignments=517191  nbBacktracks=1136299  nbVisitedNodes=2630461
68.04	     nbRestartNogoods=172
68.04	       =>  wckTime=67.374  cpuTime=67.24  mem=14M492
99.77	   
99.77	   search
99.77	     run=27  nbConstraintChecks=177666306  nbPropagations=58900114  nbRevisions=245501266  nbUselessRevisions=144328029
99.77	     nbAssignments=2468521  nbFailedAssignments=763731  nbBacktracks=1704452  nbVisitedNodes=3919112
99.77	     nbRestartNogoods=179
99.77	       =>  wckTime=99.106  cpuTime=98.95  mem=15M467
147.13	   
147.13	   search
147.13	     run=28  nbConstraintChecks=263419325  nbPropagations=87242711  nbRevisions=363075874  nbUselessRevisions=213691389
147.13	     nbAssignments=3681275  nbFailedAssignments=1124246  nbBacktracks=2556680  nbVisitedNodes=5823816
147.13	     nbRestartNogoods=191
147.13	       =>  wckTime=146.46  cpuTime=146.27  mem=15M467
149.74	   
149.74	   search
149.74	     run=29  nbConstraintChecks=267975312  nbPropagations=116107287  nbRevisions=482636649  nbUselessRevisions=284170951
149.74	     nbAssignments=3752791  nbFailedAssignments=1145708  nbBacktracks=2606735  nbVisitedNodes=5936290
149.74	     nbRestartNogoods=206
149.74	       =>  wckTime=149.074  cpuTime=148.89  mem=15M467
149.74	   
149.74	   global
149.74	     nbConstraintChecks=267976826  nbPropagations=116107581  nbRevisions=482637084  nbUselessRevisions=284171151
149.74	     nbRestartNogoods=206  solvingWckTime=149.075  solvingCpuTime=148.89  expiredTime=no  totalExploration=yes
149.74	     nbFoundSolutions=0  globalCpuTime=149.22
149.74	       =>  wckTime=149.441  cpuTime=149.17  mem=15M467
149.75	   
149.75	s UNSATISFIABLE
149.75	d NODES 3752791
149.75	d CHECKS 267976826
149.75	   
149.75	   totalWckTime=149.517  totalCpuTime=149.22

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/node59/watcher-252978-1168409707 -o ROOT/results/node59/solver-252978-1168409707 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/252978-1168409707/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: 0.85 0.97 0.99 3/65 1142
/proc/meminfo: memFree=1506768/2055920 swapFree=4192812/4192956
[pid=1141] ppid=1139 vsize=1784 CPUtime=0
/proc/1141/stat : 1141 (java) D 1139 1141 399 0 -1 0 165 0 0 0 0 0 0 0 20 0 1 0 189368991 1826816 136 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/1141/statm: 446 136 102 14 0 91 0

[startup+0.106642 s]
/proc/loadavg: 0.85 0.97 0.99 3/65 1142
/proc/meminfo: memFree=1506768/2055920 swapFree=4192812/4192956
[pid=1141] ppid=1139 vsize=914988 CPUtime=0.08
/proc/1141/stat : 1141 (java) R 1139 1141 399 0 -1 0 3036 0 1 0 7 1 0 0 16 0 8 0 189368991 936947712 2782 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155184942 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1141/statm: 228747 2782 1441 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.514688 s]
/proc/loadavg: 0.85 0.97 0.99 3/65 1142
/proc/meminfo: memFree=1506768/2055920 swapFree=4192812/4192956
[pid=1141] ppid=1139 vsize=915328 CPUtime=0.49
/proc/1141/stat : 1141 (java) R 1139 1141 399 0 -1 0 6846 0 1 0 46 3 0 0 16 0 8 0 189368991 937295872 6584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4151975985 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1141/statm: 228832 6584 2361 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.33577 s]
/proc/loadavg: 0.85 0.97 0.99 2/72 1149
/proc/meminfo: memFree=1483544/2055920 swapFree=4192812/4192956
[pid=1141] ppid=1139 vsize=915464 CPUtime=1.3
/proc/1141/stat : 1141 (java) R 1139 1141 399 0 -1 0 8573 0 1 0 124 6 0 0 17 0 8 0 189368991 937435136 8311 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073725995 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1141/statm: 228866 8311 2524 14 0 215336 0
[pid=1141/tid=1143] ppid=1139 vsize=915464 CPUtime=0.02
/proc/1141/task/1143/stat : 1143 (java) S 1139 1141 399 0 -1 64 148 0 0 0 2 0 0 0 16 0 8 0 189368995 937435136 8311 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1141/tid=1144] ppid=1139 vsize=915464 CPUtime=0
/proc/1141/task/1144/stat : 1144 (java) S 1139 1141 399 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 189368995 937435136 8311 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1141/tid=1145] ppid=1139 vsize=915464 CPUtime=0
/proc/1141/task/1145/stat : 1145 (java) S 1139 1141 399 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 189368995 937435136 8311 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1141/tid=1146] ppid=1139 vsize=915464 CPUtime=0
/proc/1141/task/1146/stat : 1146 (java) S 1139 1141 399 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 189368998 937435136 8311 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1141/tid=1147] ppid=1139 vsize=915464 CPUtime=0.16
/proc/1141/task/1147/stat : 1147 (java) S 1139 1141 399 0 -1 64 361 0 0 0 15 1 0 0 16 0 8 0 189368998 937435136 8311 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1141/tid=1148] ppid=1139 vsize=915464 CPUtime=0
/proc/1141/task/1148/stat : 1148 (java) S 1139 1141 399 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 189368998 937435136 8311 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1141/tid=1149] ppid=1139 vsize=915464 CPUtime=0
/proc/1141/task/1149/stat : 1149 (java) S 1139 1141 399 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 189368998 937435136 8311 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915464

[startup+2.97795 s]
/proc/loadavg: 0.86 0.97 0.99 2/72 1149
/proc/meminfo: memFree=1483480/2055920 swapFree=4192812/4192956
[pid=1141] ppid=1139 vsize=915464 CPUtime=2.94
/proc/1141/stat : 1141 (java) R 1139 1141 399 0 -1 0 8584 0 1 0 288 6 0 0 18 0 8 0 189368991 937435136 8321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073734775 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1141/statm: 228866 8321 2524 14 0 215336 0
[pid=1141/tid=1143] ppid=1139 vsize=915464 CPUtime=0.02
/proc/1141/task/1143/stat : 1143 (java) S 1139 1141 399 0 -1 64 148 0 0 0 2 0 0 0 16 0 8 0 189368995 937435136 8321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1141/tid=1144] ppid=1139 vsize=915464 CPUtime=0
/proc/1141/task/1144/stat : 1144 (java) S 1139 1141 399 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 189368995 937435136 8321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1141/tid=1145] ppid=1139 vsize=915464 CPUtime=0
/proc/1141/task/1145/stat : 1145 (java) S 1139 1141 399 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 189368995 937435136 8321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1141/tid=1146] ppid=1139 vsize=915464 CPUtime=0
/proc/1141/task/1146/stat : 1146 (java) S 1139 1141 399 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 189368998 937435136 8321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1141/tid=1147] ppid=1139 vsize=915464 CPUtime=0.16
/proc/1141/task/1147/stat : 1147 (java) S 1139 1141 399 0 -1 64 361 0 0 0 15 1 0 0 16 0 8 0 189368998 937435136 8321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1141/tid=1148] ppid=1139 vsize=915464 CPUtime=0
/proc/1141/task/1148/stat : 1148 (java) S 1139 1141 399 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 189368998 937435136 8321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1141/tid=1149] ppid=1139 vsize=915464 CPUtime=0
/proc/1141/task/1149/stat : 1149 (java) S 1139 1141 399 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 189368998 937435136 8321 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) 915464

[startup+6.1793 s]
/proc/loadavg: 0.86 0.97 0.99 2/72 1149
/proc/meminfo: memFree=1483352/2055920 swapFree=4192812/4192956
[pid=1141] ppid=1139 vsize=915464 CPUtime=6.14
/proc/1141/stat : 1141 (java) R 1139 1141 399 0 -1 0 8589 0 1 0 608 6 0 0 18 0 8 0 189368991 937435136 8326 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073690864 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1141/statm: 228866 8326 2524 14 0 215336 0
[pid=1141/tid=1143] ppid=1139 vsize=915464 CPUtime=0.02
/proc/1141/task/1143/stat : 1143 (java) S 1139 1141 399 0 -1 64 148 0 0 0 2 0 0 0 17 0 8 0 189368995 937435136 8326 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1141/tid=1144] ppid=1139 vsize=915464 CPUtime=0
/proc/1141/task/1144/stat : 1144 (java) S 1139 1141 399 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 189368995 937435136 8326 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1141/tid=1145] ppid=1139 vsize=915464 CPUtime=0
/proc/1141/task/1145/stat : 1145 (java) S 1139 1141 399 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 189368995 937435136 8326 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1141/tid=1146] ppid=1139 vsize=915464 CPUtime=0
/proc/1141/task/1146/stat : 1146 (java) S 1139 1141 399 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 189368998 937435136 8326 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1141/tid=1147] ppid=1139 vsize=915464 CPUtime=0.16
/proc/1141/task/1147/stat : 1147 (java) S 1139 1141 399 0 -1 64 361 0 0 0 15 1 0 0 16 0 8 0 189368998 937435136 8326 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1141/tid=1148] ppid=1139 vsize=915464 CPUtime=0
/proc/1141/task/1148/stat : 1148 (java) S 1139 1141 399 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 189368998 937435136 8326 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1141/tid=1149] ppid=1139 vsize=915464 CPUtime=0
/proc/1141/task/1149/stat : 1149 (java) S 1139 1141 399 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 189368998 937435136 8326 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 915464

[startup+12.645 s]
/proc/loadavg: 0.88 0.97 0.99 2/72 1149
/proc/meminfo: memFree=1483352/2055920 swapFree=4192812/4192956
[pid=1141] ppid=1139 vsize=915464 CPUtime=12.6
/proc/1141/stat : 1141 (java) R 1139 1141 399 0 -1 0 8595 0 1 0 1254 6 0 0 25 0 8 0 189368991 937435136 8331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918504 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1141/statm: 228866 8331 2524 14 0 215336 0
[pid=1141/tid=1143] ppid=1139 vsize=915464 CPUtime=0.02
/proc/1141/task/1143/stat : 1143 (java) S 1139 1141 399 0 -1 64 148 0 0 0 2 0 0 0 16 0 8 0 189368995 937435136 8331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1141/tid=1144] ppid=1139 vsize=915464 CPUtime=0
/proc/1141/task/1144/stat : 1144 (java) S 1139 1141 399 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 189368995 937435136 8331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1141/tid=1145] ppid=1139 vsize=915464 CPUtime=0
/proc/1141/task/1145/stat : 1145 (java) S 1139 1141 399 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 189368995 937435136 8331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1141/tid=1146] ppid=1139 vsize=915464 CPUtime=0
/proc/1141/task/1146/stat : 1146 (java) S 1139 1141 399 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 189368998 937435136 8331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1141/tid=1147] ppid=1139 vsize=915464 CPUtime=0.16
/proc/1141/task/1147/stat : 1147 (java) S 1139 1141 399 0 -1 64 361 0 0 0 15 1 0 0 16 0 8 0 189368998 937435136 8331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1141/tid=1148] ppid=1139 vsize=915464 CPUtime=0
/proc/1141/task/1148/stat : 1148 (java) S 1139 1141 399 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 189368998 937435136 8331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1141/tid=1149] ppid=1139 vsize=915464 CPUtime=0
/proc/1141/task/1149/stat : 1149 (java) S 1139 1141 399 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 189368998 937435136 8331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 915464

[startup+25.4874 s]
/proc/loadavg: 0.90 0.97 0.99 2/72 1149
/proc/meminfo: memFree=1483352/2055920 swapFree=4192812/4192956
[pid=1141] ppid=1139 vsize=915464 CPUtime=25.44
/proc/1141/stat : 1141 (java) R 1139 1141 399 0 -1 0 8600 0 1 0 2538 6 0 0 25 0 8 0 189368991 937435136 8336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073675234 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1141/statm: 228866 8336 2524 14 0 215336 0
[pid=1141/tid=1143] ppid=1139 vsize=915464 CPUtime=0.02
/proc/1141/task/1143/stat : 1143 (java) S 1139 1141 399 0 -1 64 148 0 0 0 2 0 0 0 16 0 8 0 189368995 937435136 8336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1141/tid=1144] ppid=1139 vsize=915464 CPUtime=0
/proc/1141/task/1144/stat : 1144 (java) S 1139 1141 399 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 189368995 937435136 8336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1141/tid=1145] ppid=1139 vsize=915464 CPUtime=0
/proc/1141/task/1145/stat : 1145 (java) S 1139 1141 399 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 189368995 937435136 8336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1141/tid=1146] ppid=1139 vsize=915464 CPUtime=0
/proc/1141/task/1146/stat : 1146 (java) S 1139 1141 399 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 189368998 937435136 8336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1141/tid=1147] ppid=1139 vsize=915464 CPUtime=0.16
/proc/1141/task/1147/stat : 1147 (java) S 1139 1141 399 0 -1 64 361 0 0 0 15 1 0 0 16 0 8 0 189368998 937435136 8336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1141/tid=1148] ppid=1139 vsize=915464 CPUtime=0
/proc/1141/task/1148/stat : 1148 (java) S 1139 1141 399 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 189368998 937435136 8336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1141/tid=1149] ppid=1139 vsize=915464 CPUtime=0
/proc/1141/task/1149/stat : 1149 (java) S 1139 1141 399 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 189368998 937435136 8336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 915464

[startup+51.1773 s]
/proc/loadavg: 0.93 0.97 0.99 2/72 1149
/proc/meminfo: memFree=1483288/2055920 swapFree=4192812/4192956
[pid=1141] ppid=1139 vsize=915464 CPUtime=51.11
/proc/1141/stat : 1141 (java) R 1139 1141 399 0 -1 0 8606 0 1 0 5104 7 0 0 25 0 8 0 189368991 937435136 8342 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073675030 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1141/statm: 228866 8342 2524 14 0 215336 0
[pid=1141/tid=1143] ppid=1139 vsize=915464 CPUtime=0.02
/proc/1141/task/1143/stat : 1143 (java) S 1139 1141 399 0 -1 64 148 0 0 0 2 0 0 0 16 0 8 0 189368995 937435136 8342 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1141/tid=1144] ppid=1139 vsize=915464 CPUtime=0
/proc/1141/task/1144/stat : 1144 (java) S 1139 1141 399 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 189368995 937435136 8342 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1141/tid=1145] ppid=1139 vsize=915464 CPUtime=0
/proc/1141/task/1145/stat : 1145 (java) S 1139 1141 399 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 189368995 937435136 8342 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1141/tid=1146] ppid=1139 vsize=915464 CPUtime=0
/proc/1141/task/1146/stat : 1146 (java) S 1139 1141 399 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 189368998 937435136 8342 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1141/tid=1147] ppid=1139 vsize=915464 CPUtime=0.16
/proc/1141/task/1147/stat : 1147 (java) S 1139 1141 399 0 -1 64 362 0 0 0 15 1 0 0 16 0 8 0 189368998 937435136 8342 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1141/tid=1148] ppid=1139 vsize=915464 CPUtime=0
/proc/1141/task/1148/stat : 1148 (java) S 1139 1141 399 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 189368998 937435136 8342 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1141/tid=1149] ppid=1139 vsize=915464 CPUtime=0
/proc/1141/task/1149/stat : 1149 (java) S 1139 1141 399 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 189368998 937435136 8342 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.11
Current children cumulated vsize (KiB) 915464

[startup+102.452 s]
/proc/loadavg: 0.97 0.97 0.99 2/72 1149
/proc/meminfo: memFree=1483288/2055920 swapFree=4192812/4192956
[pid=1141] ppid=1139 vsize=915464 CPUtime=102.34
/proc/1141/stat : 1141 (java) R 1139 1141 399 0 -1 0 8611 0 1 0 10227 7 0 0 25 0 8 0 189368991 937435136 8347 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073678095 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1141/statm: 228866 8347 2524 14 0 215336 0
[pid=1141/tid=1143] ppid=1139 vsize=915464 CPUtime=0.02
/proc/1141/task/1143/stat : 1143 (java) S 1139 1141 399 0 -1 64 148 0 0 0 2 0 0 0 16 0 8 0 189368995 937435136 8347 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1141/tid=1144] ppid=1139 vsize=915464 CPUtime=0
/proc/1141/task/1144/stat : 1144 (java) S 1139 1141 399 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 189368995 937435136 8347 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1141/tid=1145] ppid=1139 vsize=915464 CPUtime=0
/proc/1141/task/1145/stat : 1145 (java) S 1139 1141 399 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 189368995 937435136 8347 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1141/tid=1146] ppid=1139 vsize=915464 CPUtime=0
/proc/1141/task/1146/stat : 1146 (java) S 1139 1141 399 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 189368998 937435136 8347 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1141/tid=1147] ppid=1139 vsize=915464 CPUtime=0.16
/proc/1141/task/1147/stat : 1147 (java) S 1139 1141 399 0 -1 64 362 0 0 0 15 1 0 0 16 0 8 0 189368998 937435136 8347 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1141/tid=1148] ppid=1139 vsize=915464 CPUtime=0
/proc/1141/task/1148/stat : 1148 (java) S 1139 1141 399 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 189368998 937435136 8347 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1141/tid=1149] ppid=1139 vsize=915464 CPUtime=0
/proc/1141/task/1149/stat : 1149 (java) S 1139 1141 399 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 189368998 937435136 8347 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.34
Current children cumulated vsize (KiB) 915464

Child status: 0
Real time (s): 149.781
CPU time (s): 149.631
CPU user time (s): 149.547
CPU system time (s): 0.083987
CPU usage (%): 99.8997
Max. virtual memory (cumulated for all children) (KiB): 915464

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 149.547
system time used= 0.083987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8707
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= 3766
involuntary context switches= 3468

runsolver used 0.160975 s user time and 0.378942 s system time

The end

Launcher Data (download as text)

Begin job on node59 on Wed Jan 10 06:15:08 UTC 2007


IDJOB= 252978
IDBENCH= 12974
FILE ID= node59/252978-1168409707

PBS_JOBID= 3523402

Free space on /tmp= 66561 MiB

BENCH NAME= HOME/pub/bench/CPAI06/coloring/myciel-5g-5-ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/252978-1168409707/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node59/watcher-252978-1168409707 -o ROOT/results/node59/solver-252978-1168409707 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/252978-1168409707/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  6350e3a68b258bb6cda8764f11403dc3

RANDOM SEED= 616031180

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.239
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.239
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:       1507376 kB
Buffers:         46892 kB
Cached:         435296 kB
SwapCached:          0 kB
Active:         136260 kB
Inactive:       361824 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1507376 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1780 kB
Writeback:           0 kB
Mapped:          26036 kB
Slab:            36436 kB
Committed_AS:  4134356 kB
PageTables:       1472 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= 66561 MiB



End job on node59 on Wed Jan 10 06:17:42 UTC 2007