Trace number 39958

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 NameAnswerObjective functionCPU timeWall clock time
bsolo 2006/05? 1800.11 1800.69

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-stocfor1.opb
MD5SUMf5fea9f9b3e2808f219e4e92af96aba2
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-71
Best CPU time to get the best result obtained on this benchmark1800.26
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -71
Optimality of the best value was proved NO
Number of variables3330
Total number of constraints117
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints117
Minimum length of a constraint30
Maximum length of a constraint240
Number of terms in the objective function 810
Biggest coefficient in the objective function 21201
Number of bits for the biggest coefficient in the objective function 15
Sum of the numbers in the objective function 524901
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262144
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 524901
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

0.00	c Time Limit set via PBTIMEOUT to 1800
0.07	c INFO: OSL Context initialized.
0.14	c Initial problem consists of 3330 variables and 180 constraints.
0.15	c No problem reductions applied in OPT. instance.
0.15	c	preprocess terminated. Elapsed time: 0.084
0.15	c After prepocess the problem consists of 2331 variables and 180 constraints.
0.15	c Initial Lower Bound: -4813
0.17	c Restart #1 #Var: 2331 LB: -4813 @ 0.106
0.21	c Restart #2 #Var: 2331 LB: -4813 @ 0.145
0.30	c Restart #3 #Var: 2331 LB: -4813 @ 0.23
0.60	c Restart #4 #Var: 2331 LB: -4813 @ 0.532
0.86	c Restart #5 #Var: 2331 LB: -4813 @ 0.791
1.19	c Restart #6 #Var: 2331 LB: -4813 @ 1.122
1.64	c Restart #7 #Var: 2331 LB: -4813 @ 1.568
2.25	c Restart #8 #Var: 2331 LB: -4813 @ 2.176
3.19	c Restart #9 #Var: 2331 LB: -4813 @ 3.117
3.57	c Restart #10 #Var: 2331 LB: -4813 @ 3.498
3.81	c Restart #11 #Var: 2329 LB: -4813 @ 3.74
4.18	c Restart #12 #Var: 2329 LB: -4813 @ 4.111
4.79	c Restart #13 #Var: 2329 LB: -4813 @ 4.723
5.65	c Restart #14 #Var: 2328 LB: -4813 @ 5.577
6.10	c Restart #15 #Var: 2319 LB: -4813 @ 6.025
6.55	c Restart #16 #Var: 2318 LB: -4813 @ 6.475
8.59	c Restart #17 #Var: 2316 LB: -4813 @ 8.519
9.28	c Restart #18 #Var: 2316 LB: -4813 @ 9.203
11.24	c Restart #19 #Var: 2316 LB: -4813 @ 11.16
11.84	c Restart #20 #Var: 2316 LB: -4813 @ 11.761
12.70	c Restart #21 #Var: 2316 LB: -4813 @ 12.619
13.52	c Restart #22 #Var: 2316 LB: -4813 @ 13.442
13.98	c Restart #23 #Var: 2316 LB: -4813 @ 13.905
15.64	c Restart #24 #Var: 2313 LB: -4813 @ 15.565
17.21	c Restart #25 #Var: 2313 LB: -4813 @ 17.134
18.77	c Restart #26 #Var: 2303 LB: -4813 @ 18.688
20.29	c Restart #27 #Var: 2302 LB: -4754 @ 20.206
27.50	c Restart #28 #Var: 2302 LB: -4754 @ 27.418
28.86	c Restart #29 #Var: 2302 LB: -4754 @ 28.776
31.22	c Restart #30 #Var: 2299 LB: -4754 @ 31.14
34.32	c Restart #31 #Var: 2299 LB: -4754 @ 34.238
37.05	c Restart #32 #Var: 2299 LB: -4754 @ 36.969
38.48	c Restart #33 #Var: 2298 LB: -4754 @ 38.4
40.63	c Restart #34 #Var: 2298 LB: -4754 @ 40.543
43.87	c Restart #35 #Var: 2297 LB: -4754 @ 43.782
49.29	c Restart #36 #Var: 2297 LB: -4754 @ 49.2
51.15	c Restart #37 #Var: 2297 LB: -4754 @ 51.066
52.57	c Restart #38 #Var: 2296 LB: -4754 @ 52.479
55.89	c Restart #39 #Var: 2285 LB: -4713 @ 55.799
59.66	c Restart #40 #Var: 2284 LB: -4713 @ 59.569
62.50	c Restart #41 #Var: 2283 LB: -4713 @ 62.41
64.41	c Restart #42 #Var: 2283 LB: -4713 @ 64.316
66.29	c Restart #43 #Var: 2283 LB: -4713 @ 66.195
84.36	c Restart #44 #Var: 2283 LB: -4713 @ 84.263
87.90	c Restart #45 #Var: 2283 LB: -4713 @ 87.806
94.05	c Restart #46 #Var: 2277 LB: -4713 @ 93.95
97.12	c Restart #47 #Var: 2276 LB: -4713 @ 97.017
99.82	c Restart #48 #Var: 2276 LB: -4713 @ 99.722
102.77	c Restart #49 #Var: 2275 LB: -4713 @ 102.67
106.19	c Restart #50 #Var: 2275 LB: -4713 @ 106.08
109.92	c Restart #51 #Var: 2273 LB: -4713 @ 109.82
113.97	c Restart #52 #Var: 2273 LB: -4713 @ 113.86
119.16	c Restart #53 #Var: 2261 LB: -3533 @ 119.05
131.36	c Restart #54 #Var: 2258 LB: -3533 @ 131.25
136.84	c Restart #55 #Var: 2258 LB: -3533 @ 136.73
139.19	c Restart #56 #Var: 2258 LB: -3533 @ 139.07
144.17	c Restart #57 #Var: 2258 LB: -3533 @ 144.05
151.62	c Restart #58 #Var: 2253 LB: -3533 @ 151.51
158.79	c Restart #59 #Var: 2251 LB: -3533 @ 158.67
164.95	c Restart #60 #Var: 2250 LB: -3533 @ 164.83
171.00	c Restart #61 #Var: 2231 LB: -2854 @ 170.87
182.46	c Restart #62 #Var: 2231 LB: -2854 @ 182.34
185.47	c Restart #63 #Var: 2231 LB: -2854 @ 185.34
190.50	c Restart #64 #Var: 2231 LB: -2854 @ 190.37
207.47	c Restart #65 #Var: 2228 LB: -2854 @ 207.34
215.81	c Restart #66 #Var: 2228 LB: -2854 @ 215.67
229.82	c Restart #67 #Var: 2228 LB: -2854 @ 229.68
239.51	c Restart #68 #Var: 2228 LB: -2854 @ 239.37
298.88	c Restart #69 #Var: 2228 LB: -2854 @ 298.73
309.77	c Restart #70 #Var: 2228 LB: -2854 @ 309.6
315.16	c Restart #71 #Var: 2228 LB: -2854 @ 315
336.59	c Restart #72 #Var: 2227 LB: -2854 @ 336.42
349.29	c Restart #73 #Var: 2227 LB: -2854 @ 349.12
385.78	c Restart #74 #Var: 2226 LB: -2854 @ 385.59
465.92	c Restart #75 #Var: 2226 LB: -2854 @ 465.71
480.21	c Restart #76 #Var: 2225 LB: -2854 @ 480
505.51	c Restart #77 #Var: 2225 LB: -2854 @ 505.29
512.10	c Restart #78 #Var: 2225 LB: -2854 @ 511.88
523.63	c Restart #79 #Var: 2224 LB: -2854 @ 523.41
542.37	c Restart #80 #Var: 2224 LB: -2854 @ 542.14
561.59	c Restart #81 #Var: 2219 LB: -2854 @ 561.36
569.37	c Restart #82 #Var: 2219 LB: -2854 @ 569.14
619.14	c Restart #83 #Var: 2219 LB: -2854 @ 618.89
632.01	c Restart #84 #Var: 2219 LB: -2854 @ 631.75
728.57	c Restart #85 #Var: 2218 LB: -2854 @ 728.29
747.17	c Restart #86 #Var: 2218 LB: -2854 @ 746.88
784.38	c Restart #87 #Var: 2218 LB: -2854 @ 784.08
814.52	c Restart #88 #Var: 2218 LB: -2854 @ 814.21
825.47	c Restart #89 #Var: 2218 LB: -2854 @ 825.16
857.96	c Restart #90 #Var: 2217 LB: -2854 @ 857.64
868.74	c Restart #91 #Var: 2217 LB: -2854 @ 868.42
921.77	c CHANGE Heuristic... 
921.77	c Restart #0 #Var: 2217 LB: -2854 @ 921.43
921.87	c Restart #1 #Var: 2216 LB: -2854 @ 921.53
922.20	c Restart #2 #Var: 2212 LB: -2833 @ 921.86
923.25	c Restart #3 #Var: 2212 LB: -2833 @ 922.91
924.38	c Restart #4 #Var: 2206 LB: -2667 @ 924.04
929.10	c Restart #5 #Var: 2206 LB: -2667 @ 928.76
931.26	c Restart #6 #Var: 2206 LB: -2667 @ 930.92
934.25	c Restart #7 #Var: 2205 LB: -2667 @ 933.91
951.76	c Restart #8 #Var: 2205 LB: -2667 @ 951.42
952.71	c Restart #9 #Var: 2205 LB: -2667 @ 952.37
964.94	c Restart #10 #Var: 2204 LB: -2667 @ 964.6
968.89	c Restart #11 #Var: 2204 LB: -2667 @ 968.54
983.56	c Restart #12 #Var: 2203 LB: -2667 @ 983.21
988.01	c Restart #13 #Var: 2203 LB: -2667 @ 987.65
993.41	c Restart #14 #Var: 2203 LB: -2667 @ 993.05
1002.42	c Restart #15 #Var: 2203 LB: -2667 @ 1002.1
1004.41	c Restart #16 #Var: 2203 LB: -2667 @ 1004.1
1010.43	c Restart #17 #Var: 2203 LB: -2667 @ 1010.1
1016.77	c Restart #18 #Var: 2203 LB: -2667 @ 1016.4
1028.36	c Restart #19 #Var: 2203 LB: -2667 @ 1028
1034.19	c Restart #20 #Var: 2203 LB: -2667 @ 1033.8
1053.56	c Restart #21 #Var: 2203 LB: -2667 @ 1053.2
1089.85	c Restart #22 #Var: 2203 LB: -2667 @ 1089.5
1096.08	c Restart #23 #Var: 2203 LB: -2667 @ 1095.7
1106.04	c Restart #24 #Var: 2203 LB: -2667 @ 1105.7
1133.21	c Restart #25 #Var: 2203 LB: -2667 @ 1132.8
1136.03	c Restart #26 #Var: 2203 LB: -2667 @ 1135.6
1192.87	c Restart #27 #Var: 2202 LB: -2667 @ 1192.5
1200.06	c Restart #28 #Var: 2202 LB: -2667 @ 1199.6
1233.59	c Restart #29 #Var: 2202 LB: -2667 @ 1233.2
1257.78	c Restart #30 #Var: 2201 LB: -2667 @ 1257.3
1264.16	c Restart #31 #Var: 2201 LB: -2667 @ 1263.7
1266.13	c Restart #32 #Var: 2201 LB: -2667 @ 1265.7
1300.29	c Restart #33 #Var: 2198 LB: -2667 @ 1299.9
1320.03	c Restart #34 #Var: 2198 LB: -2667 @ 1319.6
1358.16	c Restart #35 #Var: 2198 LB: -2667 @ 1357.7
1393.10	c Restart #36 #Var: 2198 LB: -2667 @ 1392.6
1414.84	c Restart #37 #Var: 2198 LB: -2667 @ 1414.4
1441.45	c Restart #38 #Var: 2198 LB: -2667 @ 1441
1445.77	c Restart #39 #Var: 2198 LB: -2667 @ 1445.3
1469.34	c Restart #40 #Var: 2198 LB: -2667 @ 1468.8
1496.38	c Restart #41 #Var: 2198 LB: -2667 @ 1495.9
1529.13	c Restart #42 #Var: 2198 LB: -2667 @ 1528.6
1556.49	c Restart #43 #Var: 2198 LB: -2667 @ 1556
1572.35	c Restart #44 #Var: 2198 LB: -2667 @ 1571.8
1576.94	c Restart #45 #Var: 2198 LB: -2667 @ 1576.4
1581.35	c Restart #46 #Var: 2198 LB: -2667 @ 1580.8
1603.62	c Restart #47 #Var: 2197 LB: -2667 @ 1603.1
1635.10	c Restart #48 #Var: 2196 LB: -2667 @ 1634.6
1675.24	c Restart #49 #Var: 2196 LB: -2667 @ 1674.7
1754.79	c Restart #50 #Var: 2196 LB: -2667 @ 1754.2
1778.42	c Restart #51 #Var: 2196 LB: -2667 @ 1777.8
1800.59	s UNKNOWN
1800.59	c Exit Code: 0
1800.59	c Total time: 1800 s

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGKILL): 1843200 Kb
Enforcing VSIZE limit: 1887436800 bytes
runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node30/watcher-39958-1149340555 -o ROOT/results/node30/solver-39958-1149340555 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node30/39958-1149340555/instance-39958-1149340555.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.91 0.97 0.97 2/64 30953
/proc/meminfo: memFree=1820144/2055920 swapFree=4180904/4192956
[pid=30953] ppid=30951 vsize=4924 CPUtime=0
/proc/30953/stat : 30953 (bsolo) R 30951 30953 30907 0 -1 0 278 0 0 0 0 0 0 0 19 0 1 0 199719150 5042176 247 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 7228434 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30953/statm: 1231 255 166 55 0 123 0

[startup+10.0026 s]
/proc/loadavg: 0.93 0.97 0.97 2/64 30953
/proc/meminfo: memFree=1795568/2055920 swapFree=4180904/4192956
[pid=30953] ppid=30951 vsize=29168 CPUtime=9.92
/proc/30953/stat : 30953 (bsolo) R 30951 30953 30907 0 -1 0 6525 0 0 0 974 18 0 0 25 0 1 0 199719150 29868032 6440 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134595889 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30953/statm: 7292 6440 297 55 0 6184 0
Current children cumulated CPU time (s) 9.92
Current children cumulated vsize (Kb) 29168

[startup+20.0086 s]
/proc/loadavg: 0.94 0.97 0.97 2/64 30953
/proc/meminfo: memFree=1768368/2055920 swapFree=4180904/4192956
[pid=30953] ppid=30951 vsize=56336 CPUtime=19.92
/proc/30953/stat : 30953 (bsolo) R 30951 30953 30907 0 -1 0 13324 0 0 0 1964 28 0 0 25 0 1 0 199719150 57688064 13239 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30953/statm: 14084 13239 297 55 0 12976 0
Current children cumulated CPU time (s) 19.92
Current children cumulated vsize (Kb) 56336

[startup+30.0147 s]
/proc/loadavg: 0.95 0.97 0.97 2/64 30953
/proc/meminfo: memFree=1758064/2055920 swapFree=4180904/4192956
[pid=30953] ppid=30951 vsize=66632 CPUtime=29.93
/proc/30953/stat : 30953 (bsolo) R 30951 30953 30907 0 -1 0 15895 0 0 0 2961 32 0 0 25 0 1 0 199719150 68231168 15810 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30953/statm: 16658 15810 297 55 0 15550 0
Current children cumulated CPU time (s) 29.93
Current children cumulated vsize (Kb) 66632

[startup+40.0207 s]
/proc/loadavg: 0.95 0.97 0.97 2/64 30953
/proc/meminfo: memFree=1749936/2055920 swapFree=4180904/4192956
[pid=30953] ppid=30951 vsize=74672 CPUtime=39.92
/proc/30953/stat : 30953 (bsolo) R 30951 30953 30907 0 -1 0 17909 0 0 0 3956 36 0 0 25 0 1 0 199719150 76464128 17824 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30953/statm: 18668 17824 297 55 0 17560 0
Current children cumulated CPU time (s) 39.92
Current children cumulated vsize (Kb) 74672

[startup+50.0278 s]
/proc/loadavg: 0.96 0.97 0.97 2/64 30953
/proc/meminfo: memFree=1739952/2055920 swapFree=4180904/4192956
[pid=30953] ppid=30951 vsize=84692 CPUtime=49.93
/proc/30953/stat : 30953 (bsolo) R 30951 30953 30907 0 -1 0 20406 0 0 0 4953 40 0 0 25 0 1 0 199719150 86724608 20321 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30953/statm: 21173 20321 297 55 0 20065 0
Current children cumulated CPU time (s) 49.93
Current children cumulated vsize (Kb) 84692

[startup+60.0328 s]
/proc/loadavg: 0.97 0.97 0.97 2/64 30953
/proc/meminfo: memFree=1718512/2055920 swapFree=4180904/4192956
[pid=30953] ppid=30951 vsize=106064 CPUtime=59.93
/proc/30953/stat : 30953 (bsolo) R 30951 30953 30907 0 -1 0 25752 0 0 0 5948 45 0 0 25 0 1 0 199719150 108609536 25667 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134607308 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30953/statm: 26516 25667 297 55 0 25408 0
Current children cumulated CPU time (s) 59.93
Current children cumulated vsize (Kb) 106064

[startup+70.0389 s]
/proc/loadavg: 0.97 0.97 0.97 2/64 30953
/proc/meminfo: memFree=1714544/2055920 swapFree=4180904/4192956
[pid=30953] ppid=30951 vsize=109996 CPUtime=69.94
/proc/30953/stat : 30953 (bsolo) R 30951 30953 30907 0 -1 0 26744 0 0 0 6946 48 0 0 25 0 1 0 199719150 112635904 26659 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30953/statm: 27499 26659 297 55 0 26391 0
Current children cumulated CPU time (s) 69.94
Current children cumulated vsize (Kb) 109996

[startup+80.0449 s]
/proc/loadavg: 0.98 0.97 0.97 2/64 30953
/proc/meminfo: memFree=1714160/2055920 swapFree=4180904/4192956
[pid=30953] ppid=30951 vsize=110384 CPUtime=79.94
/proc/30953/stat : 30953 (bsolo) R 30951 30953 30907 0 -1 0 26839 0 0 0 7946 48 0 0 25 0 1 0 199719150 113033216 26754 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30953/statm: 27596 26754 297 55 0 26488 0
Current children cumulated CPU time (s) 79.94
Current children cumulated vsize (Kb) 110384

[startup+90.051 s]
/proc/loadavg: 0.98 0.97 0.97 2/64 30953
/proc/meminfo: memFree=1698480/2055920 swapFree=4180904/4192956
[pid=30953] ppid=30951 vsize=126096 CPUtime=89.94
/proc/30953/stat : 30953 (bsolo) R 30951 30953 30907 0 -1 0 30741 0 0 0 8943 51 0 0 25 0 1 0 199719150 129122304 30656 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528665 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30953/statm: 31524 30656 297 55 0 30416 0
Current children cumulated CPU time (s) 89.94
Current children cumulated vsize (Kb) 126096

[startup+100.057 s]
/proc/loadavg: 0.98 0.97 0.97 2/64 30953
/proc/meminfo: memFree=1689072/2055920 swapFree=4180904/4192956
[pid=30953] ppid=30951 vsize=135472 CPUtime=99.95
/proc/30953/stat : 30953 (bsolo) R 30951 30953 30907 0 -1 0 33091 0 0 0 9941 54 0 0 25 0 1 0 199719150 138723328 33006 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134607308 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30953/statm: 33868 33006 297 55 0 32760 0
Current children cumulated CPU time (s) 99.95
Current children cumulated vsize (Kb) 135472

[startup+110.064 s]
/proc/loadavg: 0.98 0.97 0.97 2/64 30953
/proc/meminfo: memFree=1685296/2055920 swapFree=4180904/4192956
[pid=30953] ppid=30951 vsize=139164 CPUtime=109.95
/proc/30953/stat : 30953 (bsolo) R 30951 30953 30907 0 -1 0 34023 0 0 0 10938 57 0 0 25 0 1 0 199719150 142503936 33937 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30953/statm: 34791 33937 297 55 0 33683 0
Current children cumulated CPU time (s) 109.95
Current children cumulated vsize (Kb) 139164

[startup+120.07 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 30953
/proc/meminfo: memFree=1674928/2055920 swapFree=4180904/4192956
[pid=30953] ppid=30951 vsize=149548 CPUtime=119.96
/proc/30953/stat : 30953 (bsolo) R 30951 30953 30907 0 -1 0 36621 0 0 0 11935 61 0 0 25 0 1 0 199719150 153137152 36535 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30953/statm: 37387 36535 297 55 0 36279 0
Current children cumulated CPU time (s) 119.96
Current children cumulated vsize (Kb) 149548

[startup+130.076 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 30953
/proc/meminfo: memFree=1671536/2055920 swapFree=4180904/4192956
[pid=30953] ppid=30951 vsize=152984 CPUtime=129.95
/proc/30953/stat : 30953 (bsolo) R 30951 30953 30907 0 -1 0 37463 0 0 0 12932 63 0 0 25 0 1 0 199719150 156655616 37377 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 7458498 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30953/statm: 38246 37377 297 55 0 37138 0
Current children cumulated CPU time (s) 129.95
Current children cumulated vsize (Kb) 152984

[startup+140.082 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 30953
/proc/meminfo: memFree=1660528/2055920 swapFree=4180904/4192956
[pid=30953] ppid=30951 vsize=163892 CPUtime=139.96
/proc/30953/stat : 30953 (bsolo) R 30951 30953 30907 0 -1 0 40205 0 0 0 13927 69 0 0 25 0 1 0 199719150 167825408 40119 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30953/statm: 40973 40119 297 55 0 39865 0
Current children cumulated CPU time (s) 139.96
Current children cumulated vsize (Kb) 163892

[startup+150.088 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 30953
/proc/meminfo: memFree=1649136/2055920 swapFree=4180904/4192956
[pid=30953] ppid=30951 vsize=175364 CPUtime=149.96
/proc/30953/stat : 30953 (bsolo) R 30951 30953 30907 0 -1 0 43054 0 0 0 14923 73 0 0 25 0 1 0 199719150 179572736 42968 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30953/statm: 43841 42968 297 55 0 42733 0
Current children cumulated CPU time (s) 149.96
Current children cumulated vsize (Kb) 175364

[startup+160.094 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 30953
/proc/meminfo: memFree=1645872/2055920 swapFree=4180904/4192956
[pid=30953] ppid=30951 vsize=178656 CPUtime=159.97
/proc/30953/stat : 30953 (bsolo) R 30951 30953 30907 0 -1 0 43877 0 0 0 15920 77 0 0 25 0 1 0 199719150 182943744 43791 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528665 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30953/statm: 44664 43791 297 55 0 43556 0
Current children cumulated CPU time (s) 159.97
Current children cumulated vsize (Kb) 178656

[startup+170.1 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 30953
/proc/meminfo: memFree=1642160/2055920 swapFree=4180904/4192956
[pid=30953] ppid=30951 vsize=182396 CPUtime=169.97
/proc/30953/stat : 30953 (bsolo) R 30951 30953 30907 0 -1 0 44800 0 0 0 16917 80 0 0 25 0 1 0 199719150 186773504 44714 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30953/statm: 45599 44714 297 55 0 44491 0
Current children cumulated CPU time (s) 169.97
Current children cumulated vsize (Kb) 182396

[startup+180.106 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 30953
/proc/meminfo: memFree=1640560/2055920 swapFree=4180904/4192956
[pid=30953] ppid=30951 vsize=183848 CPUtime=179.97
/proc/30953/stat : 30953 (bsolo) R 30951 30953 30907 0 -1 0 45190 0 0 0 17915 82 0 0 25 0 1 0 199719150 188260352 45104 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30953/statm: 45962 45104 297 55 0 44854 0
Current children cumulated CPU time (s) 179.97
Current children cumulated vsize (Kb) 183848

[startup+190.112 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 30953
/proc/meminfo: memFree=1626288/2055920 swapFree=4180904/4192956
[pid=30953] ppid=30951 vsize=198212 CPUtime=189.98
/proc/30953/stat : 30953 (bsolo) R 30951 30953 30907 0 -1 0 48757 0 0 0 18910 88 0 0 25 0 1 0 199719150 202969088 48671 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 7452283 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30953/statm: 49553 48671 297 55 0 48445 0
Current children cumulated CPU time (s) 189.98
Current children cumulated vsize (Kb) 198212

[startup+200.119 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 30953
/proc/meminfo: memFree=1617968/2055920 swapFree=4180904/4192956
[pid=30953] ppid=30951 vsize=206512 CPUtime=199.98
/proc/30953/stat : 30953 (bsolo) R 30951 30953 30907 0 -1 0 50828 0 0 0 19908 90 0 0 25 0 1 0 199719150 211468288 50742 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30953/statm: 51628 50742 297 55 0 50520 0
Current children cumulated CPU time (s) 199.98
Current children cumulated vsize (Kb) 206512

[startup+210.125 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 30953
/proc/meminfo: memFree=1610480/2055920 swapFree=4180904/4192956

################
# More data... #
################

/proc/30953/statm: 160013 158758 297 55 0 158905 0
Current children cumulated CPU time (s) 1760.48
Current children cumulated vsize (Kb) 640052

[startup+1771.07 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 30955
/proc/meminfo: memFree=1182776/2055920 swapFree=4180904/4192956
[pid=30953] ppid=30951 vsize=641888 CPUtime=1770.48
/proc/30953/stat : 30953 (bsolo) R 30951 30953 30907 0 -1 0 159353 0 0 0 176770 278 0 0 25 0 1 0 199719150 657293312 159235 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30953/statm: 160472 159235 297 55 0 159364 0
Current children cumulated CPU time (s) 1770.48
Current children cumulated vsize (Kb) 641888

[startup+1781.07 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 30955
/proc/meminfo: memFree=1180216/2055920 swapFree=4180904/4192956
[pid=30953] ppid=30951 vsize=644524 CPUtime=1780.48
/proc/30953/stat : 30953 (bsolo) R 30951 30953 30907 0 -1 0 159993 0 0 0 177769 279 0 0 25 0 1 0 199719150 659992576 159875 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134607308 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30953/statm: 161131 159875 297 55 0 160023 0
Current children cumulated CPU time (s) 1780.48
Current children cumulated vsize (Kb) 644524

[startup+1782.08 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 30955
/proc/meminfo: memFree=1180152/2055920 swapFree=4180904/4192956
[pid=30953] ppid=30951 vsize=644524 CPUtime=1781.49
/proc/30953/stat : 30953 (bsolo) R 30951 30953 30907 0 -1 0 160008 0 0 0 177870 279 0 0 25 0 1 0 199719150 659992576 159890 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30953/statm: 161131 159890 297 55 0 160023 0
Current children cumulated CPU time (s) 1781.49
Current children cumulated vsize (Kb) 644524

[startup+1783.08 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 30955
/proc/meminfo: memFree=1180024/2055920 swapFree=4180904/4192956
[pid=30953] ppid=30951 vsize=644656 CPUtime=1782.49
/proc/30953/stat : 30953 (bsolo) R 30951 30953 30907 0 -1 0 160030 0 0 0 177970 279 0 0 25 0 1 0 199719150 660127744 159912 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534983 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30953/statm: 161164 159912 297 55 0 160056 0
Current children cumulated CPU time (s) 1782.49
Current children cumulated vsize (Kb) 644656

[startup+1784.09 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 30955
/proc/meminfo: memFree=1179960/2055920 swapFree=4180904/4192956
[pid=30953] ppid=30951 vsize=644656 CPUtime=1783.49
/proc/30953/stat : 30953 (bsolo) R 30951 30953 30907 0 -1 0 160055 0 0 0 178070 279 0 0 25 0 1 0 199719150 660127744 159937 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30953/statm: 161164 159937 297 55 0 160056 0
Current children cumulated CPU time (s) 1783.49
Current children cumulated vsize (Kb) 644656

[startup+1785.09 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 30955
/proc/meminfo: memFree=1179896/2055920 swapFree=4180904/4192956
[pid=30953] ppid=30951 vsize=644788 CPUtime=1784.5
/proc/30953/stat : 30953 (bsolo) R 30951 30953 30907 0 -1 0 160070 0 0 0 178171 279 0 0 25 0 1 0 199719150 660262912 159952 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524387 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30953/statm: 161197 159952 297 55 0 160089 0
Current children cumulated CPU time (s) 1784.5
Current children cumulated vsize (Kb) 644788

[startup+1786.1 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 30955
/proc/meminfo: memFree=1179768/2055920 swapFree=4180904/4192956
[pid=30953] ppid=30951 vsize=644920 CPUtime=1785.5
/proc/30953/stat : 30953 (bsolo) R 30951 30953 30907 0 -1 0 160104 0 0 0 178271 279 0 0 25 0 1 0 199719150 660398080 159986 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30953/statm: 161230 159986 297 55 0 160122 0
Current children cumulated CPU time (s) 1785.5
Current children cumulated vsize (Kb) 644920

[startup+1787.1 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 30955
/proc/meminfo: memFree=1179640/2055920 swapFree=4180904/4192956
[pid=30953] ppid=30951 vsize=645052 CPUtime=1786.52
/proc/30953/stat : 30953 (bsolo) R 30951 30953 30907 0 -1 0 160127 0 0 0 178372 280 0 0 25 0 1 0 199719150 660533248 160009 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30953/statm: 161263 160009 297 55 0 160155 0
Current children cumulated CPU time (s) 1786.52
Current children cumulated vsize (Kb) 645052

[startup+1788.11 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 30955
/proc/meminfo: memFree=1179576/2055920 swapFree=4180904/4192956
[pid=30953] ppid=30951 vsize=645052 CPUtime=1787.52
/proc/30953/stat : 30953 (bsolo) R 30951 30953 30907 0 -1 0 160153 0 0 0 178472 280 0 0 25 0 1 0 199719150 660533248 160035 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534119 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30953/statm: 161263 160035 297 55 0 160155 0
Current children cumulated CPU time (s) 1787.52
Current children cumulated vsize (Kb) 645052

[startup+1789.11 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 30955
/proc/meminfo: memFree=1179384/2055920 swapFree=4180904/4192956
[pid=30953] ppid=30951 vsize=645312 CPUtime=1788.53
/proc/30953/stat : 30953 (bsolo) R 30951 30953 30907 0 -1 0 160197 0 0 0 178573 280 0 0 25 0 1 0 199719150 660799488 160079 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551625 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30953/statm: 161328 160079 297 55 0 160220 0
Current children cumulated CPU time (s) 1788.53
Current children cumulated vsize (Kb) 645312

[startup+1790.12 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 30955
/proc/meminfo: memFree=1179256/2055920 swapFree=4180904/4192956
[pid=30953] ppid=30951 vsize=645444 CPUtime=1789.53
/proc/30953/stat : 30953 (bsolo) R 30951 30953 30907 0 -1 0 160227 0 0 0 178673 280 0 0 25 0 1 0 199719150 660934656 160109 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551582 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30953/statm: 161361 160109 297 55 0 160253 0
Current children cumulated CPU time (s) 1789.53
Current children cumulated vsize (Kb) 645444

[startup+1791.12 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 30955
/proc/meminfo: memFree=1179192/2055920 swapFree=4180904/4192956
[pid=30953] ppid=30951 vsize=645444 CPUtime=1790.53
/proc/30953/stat : 30953 (bsolo) R 30951 30953 30907 0 -1 0 160240 0 0 0 178773 280 0 0 25 0 1 0 199719150 660934656 160122 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534977 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30953/statm: 161361 160122 297 55 0 160253 0
Current children cumulated CPU time (s) 1790.53
Current children cumulated vsize (Kb) 645444

[startup+1792.13 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 30955
/proc/meminfo: memFree=1178936/2055920 swapFree=4180904/4192956
[pid=30953] ppid=30951 vsize=645708 CPUtime=1791.54
/proc/30953/stat : 30953 (bsolo) R 30951 30953 30907 0 -1 0 160304 0 0 0 178874 280 0 0 25 0 1 0 199719150 661204992 160186 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30953/statm: 161427 160186 297 55 0 160319 0
Current children cumulated CPU time (s) 1791.54
Current children cumulated vsize (Kb) 645708

[startup+1793.13 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 30955
/proc/meminfo: memFree=1178744/2055920 swapFree=4180904/4192956
[pid=30953] ppid=30951 vsize=645972 CPUtime=1792.54
/proc/30953/stat : 30953 (bsolo) R 30951 30953 30907 0 -1 0 160354 0 0 0 178974 280 0 0 25 0 1 0 199719150 661475328 160236 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30953/statm: 161493 160236 297 55 0 160385 0
Current children cumulated CPU time (s) 1792.54
Current children cumulated vsize (Kb) 645972

[startup+1794.14 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 30955
/proc/meminfo: memFree=1178552/2055920 swapFree=4180904/4192956
[pid=30953] ppid=30951 vsize=646104 CPUtime=1793.54
/proc/30953/stat : 30953 (bsolo) R 30951 30953 30907 0 -1 0 160394 0 0 0 179074 280 0 0 25 0 1 0 199719150 661610496 160276 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30953/statm: 161526 160276 297 55 0 160418 0
Current children cumulated CPU time (s) 1793.54
Current children cumulated vsize (Kb) 646104

[startup+1795.14 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 30955
/proc/meminfo: memFree=1178424/2055920 swapFree=4180904/4192956
[pid=30953] ppid=30951 vsize=646236 CPUtime=1794.55
/proc/30953/stat : 30953 (bsolo) R 30951 30953 30907 0 -1 0 160425 0 0 0 179175 280 0 0 25 0 1 0 199719150 661745664 160307 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534036 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30953/statm: 161559 160307 297 55 0 160451 0
Current children cumulated CPU time (s) 1794.55
Current children cumulated vsize (Kb) 646236

[startup+1796.15 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 30955
/proc/meminfo: memFree=1178296/2055920 swapFree=4180904/4192956
[pid=30953] ppid=30951 vsize=646368 CPUtime=1795.55
/proc/30953/stat : 30953 (bsolo) R 30951 30953 30907 0 -1 0 160470 0 0 0 179275 280 0 0 25 0 1 0 199719150 661880832 160352 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30953/statm: 161592 160352 297 55 0 160484 0
Current children cumulated CPU time (s) 1795.55
Current children cumulated vsize (Kb) 646368

[startup+1797.15 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 30955
/proc/meminfo: memFree=1177912/2055920 swapFree=4180904/4192956
[pid=30953] ppid=30951 vsize=646764 CPUtime=1796.55
/proc/30953/stat : 30953 (bsolo) R 30951 30953 30907 0 -1 0 160564 0 0 0 179375 280 0 0 25 0 1 0 199719150 662286336 160446 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529497 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30953/statm: 161691 160446 297 55 0 160583 0
Current children cumulated CPU time (s) 1796.55
Current children cumulated vsize (Kb) 646764

[startup+1798.16 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 30955
/proc/meminfo: memFree=1177656/2055920 swapFree=4180904/4192956
[pid=30953] ppid=30951 vsize=647028 CPUtime=1797.57
/proc/30953/stat : 30953 (bsolo) R 30951 30953 30907 0 -1 0 160626 0 0 0 179476 281 0 0 25 0 1 0 199719150 662556672 160508 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524334 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30953/statm: 161757 160508 297 55 0 160649 0
Current children cumulated CPU time (s) 1797.57
Current children cumulated vsize (Kb) 647028

[startup+1799.16 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 30955
/proc/meminfo: memFree=1177464/2055920 swapFree=4180904/4192956
[pid=30953] ppid=30951 vsize=647160 CPUtime=1798.57
/proc/30953/stat : 30953 (bsolo) R 30951 30953 30907 0 -1 0 160669 0 0 0 179576 281 0 0 25 0 1 0 199719150 662691840 160551 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30953/statm: 161790 160551 297 55 0 160682 0
Current children cumulated CPU time (s) 1798.57
Current children cumulated vsize (Kb) 647160

[startup+1800.17 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 30955
/proc/meminfo: memFree=1177144/2055920 swapFree=4180904/4192956
[pid=30953] ppid=30951 vsize=647552 CPUtime=1799.57
/proc/30953/stat : 30953 (bsolo) R 30951 30953 30907 0 -1 0 160751 0 0 0 179676 281 0 0 25 0 1 0 199719150 663093248 160633 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30953/statm: 161888 160633 297 55 0 160780 0
Current children cumulated CPU time (s) 1799.57
Current children cumulated vsize (Kb) 647552

Child status: 0
Real time (s): 1800.69
CPU time (s): 1800.11
CPU user time (s): 1797.19
CPU system time (s): 2.91856
CPU usage (%): 99.9674
Max. virtual memory (cumulated for all children) (Kb): 647552

Launcher Data (download as text)

Begin job on node30 on Sat Jun  3 13:15:55 UTC 2006


FILE ID= 39958-1149340555

PBS_JOBID= 310401

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-stocfor1.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node30/39958-1149340555/instance-39958-1149340555.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node30/watcher-39958-1149340555 -o ROOT/results/node30/solver-39958-1149340555 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node30/39958-1149340555/instance-39958-1149340555.opb

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  f5fea9f9b3e2808f219e4e92af96aba2

RANDOM SEED= 484332051


/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.216
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.216
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:       1820352 kB
Buffers:         21532 kB
Cached:         148544 kB
SwapCached:       3664 kB
Active:          37556 kB
Inactive:       141244 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1820352 kB
SwapTotal:     4192956 kB
SwapFree:      4180904 kB
Dirty:             188 kB
Writeback:           0 kB
Mapped:          14720 kB
Slab:            42836 kB
Committed_AS:   317696 kB
PageTables:       1396 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node30 on Sat Jun  3 13:45:56 UTC 2006