Trace number 39768

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.03 1800.5

General information on the benchmark

Namenormalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-aflow40b.opb
MD5SUMb1cb8dfc9613a6d80968091d3346a684
Bench CategoryOPT-MEDINT (optimisation, medium integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark5507
Best CPU time to get the best result obtained on this benchmark1782.8
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 5507
Optimality of the best value was proved NO
Number of variables23384
Total number of constraints2806
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)39
Number of constraints which are nor clauses,nor cardinality constraints2767
Minimum length of a constraint14
Maximum length of a constraint1202
Number of terms in the objective function 1364
Biggest coefficient in the objective function 500
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 230637
Number of bits of the sum of numbers in the objective function 18
Biggest number in a constraint 102400
Number of bits of the biggest number in a constraint 17
Biggest sum of numbers in a constraint 7037881
Number of bits of the biggest sum of numbers23
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.04	c INFO: OSL Context initialized.
0.71	c Initial problem consists of 23384 variables and 2884 constraints.
0.81	c No problem reductions applied in OPT. instance.
0.81	c	preprocess terminated. Elapsed time: 0.77
0.81	c After prepocess the problem consists of 23384 variables and 2884 constraints.
0.81	c Initial Lower Bound: 0
1.70	c Restart #1 #Var: 23384 LB: 0 @ 1.667
3.35	c Restart #2 #Var: 23384 LB: 0 @ 3.311
5.24	c Restart #3 #Var: 23384 LB: 0 @ 5.204
7.51	c Restart #4 #Var: 23384 LB: 0 @ 7.469
9.93	c Restart #5 #Var: 23384 LB: 0 @ 9.893
15.50	c Restart #6 #Var: 23384 LB: 0 @ 15.456
29.34	c Restart #7 #Var: 23384 LB: 0 @ 29.296
43.88	c Restart #8 #Var: 23384 LB: 0 @ 43.831
57.78	c Restart #9 #Var: 23384 LB: 0 @ 57.733
73.37	c Restart #10 #Var: 23384 LB: 0 @ 73.311
78.71	c Restart #11 #Var: 23384 LB: 0 @ 78.651
81.70	c Restart #12 #Var: 23384 LB: 0 @ 81.64
84.04	c Restart #13 #Var: 23384 LB: 0 @ 83.986
85.70	c Restart #14 #Var: 23384 LB: 0 @ 85.64
88.62	c Restart #15 #Var: 23384 LB: 0 @ 88.559
91.19	c Restart #16 #Var: 23384 LB: 0 @ 91.131
94.02	c Restart #17 #Var: 23384 LB: 0 @ 93.957
96.48	c Restart #18 #Var: 23384 LB: 0 @ 96.422
101.14	c Restart #19 #Var: 23384 LB: 0 @ 101.08
105.13	c Restart #20 #Var: 23384 LB: 0 @ 105.06
118.24	c Restart #21 #Var: 23384 LB: 0 @ 118.17
128.34	c Restart #22 #Var: 23384 LB: 0 @ 128.28
131.92	c Restart #23 #Var: 23384 LB: 0 @ 131.85
135.25	c Restart #24 #Var: 23384 LB: 0 @ 135.18
146.07	c Restart #25 #Var: 23384 LB: 0 @ 145.99
152.38	c Restart #26 #Var: 23384 LB: 0 @ 152.3
159.73	c Restart #27 #Var: 23384 LB: 0 @ 159.65
167.37	c Restart #28 #Var: 23384 LB: 0 @ 167.29
172.08	c Restart #29 #Var: 23384 LB: 0 @ 172
177.25	c Restart #30 #Var: 23384 LB: 0 @ 177.17
182.16	c Restart #31 #Var: 23384 LB: 0 @ 182.08
187.43	c Restart #32 #Var: 23384 LB: 0 @ 187.35
192.57	c Restart #33 #Var: 23384 LB: 0 @ 192.49
197.79	c Restart #34 #Var: 23384 LB: 0 @ 197.71
203.38	c Restart #35 #Var: 23384 LB: 0 @ 203.3
209.26	c Restart #36 #Var: 23384 LB: 0 @ 209.18
218.55	c Restart #37 #Var: 23384 LB: 0 @ 218.46
224.92	c Restart #38 #Var: 23384 LB: 0 @ 224.83
234.77	c Restart #39 #Var: 23384 LB: 0 @ 234.68
242.27	c Restart #40 #Var: 23384 LB: 0 @ 242.18
248.69	c Restart #41 #Var: 23384 LB: 0 @ 248.59
255.96	c Restart #42 #Var: 23384 LB: 0 @ 255.86
263.81	c Restart #43 #Var: 23384 LB: 0 @ 263.71
271.65	c Restart #44 #Var: 23384 LB: 0 @ 271.55
280.45	c Restart #45 #Var: 23384 LB: 0 @ 280.35
303.42	c Restart #46 #Var: 23384 LB: 0 @ 303.31
325.35	c Restart #47 #Var: 23384 LB: 0 @ 325.24
334.99	c Restart #48 #Var: 23384 LB: 0 @ 334.88
345.20	c Restart #49 #Var: 23384 LB: 0 @ 345.08
363.37	c Restart #50 #Var: 23384 LB: 0 @ 363.25
374.88	c Restart #51 #Var: 23384 LB: 0 @ 374.76
385.57	c Restart #52 #Var: 23384 LB: 0 @ 385.44
395.99	c Restart #53 #Var: 23384 LB: 0 @ 395.86
405.25	c Restart #54 #Var: 23384 LB: 0 @ 405.11
415.82	c Restart #55 #Var: 23384 LB: 0 @ 415.68
426.57	c Restart #56 #Var: 23384 LB: 0 @ 426.43
488.76	c Restart #57 #Var: 23384 LB: 0 @ 488.61
528.56	c Restart #58 #Var: 23384 LB: 0 @ 528.4
543.40	c Restart #59 #Var: 23384 LB: 0 @ 543.23
582.29	c Restart #60 #Var: 23384 LB: 0 @ 582.11
720.62	c Restart #61 #Var: 23384 LB: 0 @ 720.41
731.94	c Restart #62 #Var: 23384 LB: 0 @ 731.73
782.97	c Restart #63 #Var: 23384 LB: 0 @ 782.75
800.57	c Restart #64 #Var: 23384 LB: 0 @ 800.34
839.54	c Restart #65 #Var: 23384 LB: 0 @ 839.3
850.80	c Restart #66 #Var: 23384 LB: 0 @ 850.56
863.37	c Restart #67 #Var: 23384 LB: 0 @ 863.13
878.13	c Restart #68 #Var: 23384 LB: 0 @ 877.88
889.14	c Restart #69 #Var: 23384 LB: 0 @ 888.89
904.98	c CHANGE Heuristic... 
904.98	c Restart #0 #Var: 23384 LB: 0 @ 904.73
905.64	c Restart #1 #Var: 23384 LB: 0 @ 905.39
906.13	c Restart #2 #Var: 23384 LB: 0 @ 905.88
907.55	c Restart #3 #Var: 23384 LB: 0 @ 907.3
908.60	c Restart #4 #Var: 23384 LB: 0 @ 908.35
909.80	c Restart #5 #Var: 23384 LB: 0 @ 909.55
911.09	c Restart #6 #Var: 23384 LB: 0 @ 910.84
913.16	c Restart #7 #Var: 23384 LB: 0 @ 912.9
914.26	c Restart #8 #Var: 23384 LB: 0 @ 914
916.10	c Restart #9 #Var: 23384 LB: 0 @ 915.85
917.90	c Restart #10 #Var: 23384 LB: 0 @ 917.65
919.88	c Restart #11 #Var: 23384 LB: 0 @ 919.62
922.13	c Restart #12 #Var: 23384 LB: 0 @ 921.88
924.28	c Restart #13 #Var: 23384 LB: 0 @ 924.02
927.16	c Restart #14 #Var: 23384 LB: 0 @ 926.9
929.90	c Restart #15 #Var: 23384 LB: 0 @ 929.64
935.00	c Restart #16 #Var: 23384 LB: 0 @ 934.74
938.69	c Restart #17 #Var: 23384 LB: 0 @ 938.43
942.59	c Restart #18 #Var: 23384 LB: 0 @ 942.33
946.06	c Restart #19 #Var: 23384 LB: 0 @ 945.79
950.01	c Restart #20 #Var: 23384 LB: 0 @ 949.75
954.27	c Restart #21 #Var: 23384 LB: 0 @ 954.01
958.47	c Restart #22 #Var: 23384 LB: 0 @ 958.21
963.30	c Restart #23 #Var: 23384 LB: 0 @ 963.03
969.25	c Restart #24 #Var: 23384 LB: 0 @ 968.98
976.45	c Restart #25 #Var: 23384 LB: 0 @ 976.18
982.58	c Restart #26 #Var: 23384 LB: 0 @ 982.31
988.05	c Restart #27 #Var: 23384 LB: 0 @ 987.78
994.86	c Restart #28 #Var: 23384 LB: 0 @ 994.58
1001.20	c Restart #29 #Var: 23384 LB: 0 @ 1000.9
1008.31	c Restart #30 #Var: 23384 LB: 0 @ 1008
1018.07	c Restart #31 #Var: 23384 LB: 0 @ 1017.8
1023.66	c Restart #32 #Var: 23384 LB: 0 @ 1023.4
1032.49	c Restart #33 #Var: 23384 LB: 0 @ 1032.2
1038.57	c Restart #34 #Var: 23384 LB: 0 @ 1038.3
1046.24	c Restart #35 #Var: 23384 LB: 0 @ 1046
1054.83	c Restart #36 #Var: 23384 LB: 0 @ 1054.5
1066.47	c Restart #37 #Var: 23384 LB: 0 @ 1066.2
1073.25	c Restart #38 #Var: 23384 LB: 0 @ 1073
1080.42	c Restart #39 #Var: 23384 LB: 0 @ 1080.1
1107.56	c Restart #40 #Var: 23384 LB: 0 @ 1107.3
1114.31	c Restart #41 #Var: 23384 LB: 0 @ 1114
1121.38	c Restart #42 #Var: 23384 LB: 0 @ 1121.1
1128.85	c Restart #43 #Var: 23384 LB: 0 @ 1128.5
1140.18	c Restart #44 #Var: 23384 LB: 0 @ 1139.9
1147.59	c Restart #45 #Var: 23384 LB: 0 @ 1147.3
1157.85	c Restart #46 #Var: 23384 LB: 0 @ 1157.5
1169.99	c Restart #47 #Var: 23384 LB: 0 @ 1169.7
1181.19	c Restart #48 #Var: 23384 LB: 0 @ 1180.9
1194.61	c Restart #49 #Var: 23384 LB: 0 @ 1194.3
1203.60	c Restart #50 #Var: 23384 LB: 0 @ 1203.3
1214.27	c Restart #51 #Var: 23384 LB: 0 @ 1213.9
1224.43	c Restart #52 #Var: 23384 LB: 0 @ 1224.1
1236.36	c Restart #53 #Var: 23384 LB: 0 @ 1236
1249.49	c Restart #54 #Var: 23384 LB: 0 @ 1249.2
1260.14	c Restart #55 #Var: 23384 LB: 0 @ 1259.8
1272.99	c Restart #56 #Var: 23384 LB: 0 @ 1272.6
1283.78	c Restart #57 #Var: 23384 LB: 0 @ 1283.4
1293.98	c Restart #58 #Var: 23384 LB: 0 @ 1293.6
1338.37	c Restart #59 #Var: 23384 LB: 0 @ 1338
1355.53	c Restart #60 #Var: 23384 LB: 0 @ 1355.2
1367.55	c Restart #61 #Var: 23384 LB: 0 @ 1367.2
1380.53	c Restart #62 #Var: 23384 LB: 0 @ 1380.2
1393.46	c Restart #63 #Var: 23384 LB: 0 @ 1393.1
1406.95	c Restart #64 #Var: 23384 LB: 0 @ 1406.6
1420.81	c Restart #65 #Var: 23384 LB: 0 @ 1420.4
1437.13	c Restart #66 #Var: 23384 LB: 0 @ 1436.7
1469.00	c Restart #67 #Var: 23384 LB: 0 @ 1468.6
1484.90	c Restart #68 #Var: 23384 LB: 0 @ 1484.5
1525.22	c Restart #69 #Var: 23384 LB: 0 @ 1524.8
1534.90	c Restart #70 #Var: 23384 LB: 0 @ 1534.5
1569.42	c Restart #71 #Var: 23384 LB: 0 @ 1569
1594.86	c Restart #72 #Var: 23384 LB: 0 @ 1594.4
1611.02	c Restart #73 #Var: 23384 LB: 0 @ 1610.6
1629.38	c Restart #74 #Var: 23384 LB: 0 @ 1629
1648.41	c Restart #75 #Var: 23384 LB: 0 @ 1648
1665.62	c Restart #76 #Var: 23383 LB: 0 @ 1665.2
1679.48	c Restart #77 #Var: 23383 LB: 0 @ 1679
1697.33	c Restart #78 #Var: 23383 LB: 0 @ 1696.9
1716.56	c Restart #79 #Var: 23383 LB: 0 @ 1716.1
1736.27	c Restart #80 #Var: 23383 LB: 0 @ 1735.8
1754.92	c Restart #81 #Var: 23383 LB: 0 @ 1754.5
1779.53	c Restart #82 #Var: 23383 LB: 0 @ 1779.1
1800.47	s UNKNOWN
1800.47	c Exit Code: 0
1800.47	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/node43/watcher-39768-1149244218 -o ROOT/results/node43/solver-39768-1149244218 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node43/39768-1149244218/instance-39768-1149244218.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.78 0.96 0.92 2/64 31088
/proc/meminfo: memFree=1564368/2055920 swapFree=4180880/4192956
[pid=31088] ppid=31086 vsize=4924 CPUtime=0
/proc/31088/stat : 31088 (bsolo) R 31086 31088 31042 0 -1 0 272 0 0 0 0 0 0 0 19 0 1 0 190088535 5042176 242 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134696960 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31088/statm: 1231 248 159 55 0 123 0

[startup+10.0021 s]
/proc/loadavg: 0.81 0.96 0.92 2/64 31088
/proc/meminfo: memFree=1531024/2055920 swapFree=4180880/4192956
[pid=31088] ppid=31086 vsize=38544 CPUtime=9.95
/proc/31088/stat : 31088 (bsolo) R 31086 31088 31042 0 -1 0 9332 0 0 0 989 6 0 0 25 0 1 0 190088535 39469056 8622 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548386 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31088/statm: 9636 8622 297 55 0 8528 0
Current children cumulated CPU time (s) 9.95
Current children cumulated vsize (Kb) 38544

[startup+20.008 s]
/proc/loadavg: 0.84 0.96 0.92 2/64 31088
/proc/meminfo: memFree=1531152/2055920 swapFree=4180880/4192956
[pid=31088] ppid=31086 vsize=38544 CPUtime=19.96
/proc/31088/stat : 31088 (bsolo) R 31086 31088 31042 0 -1 0 9332 0 0 0 1989 7 0 0 25 0 1 0 190088535 39469056 8622 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31088/statm: 9636 8622 297 55 0 8528 0
Current children cumulated CPU time (s) 19.96
Current children cumulated vsize (Kb) 38544

[startup+30.0139 s]
/proc/loadavg: 0.86 0.96 0.92 2/64 31088
/proc/meminfo: memFree=1530576/2055920 swapFree=4180880/4192956
[pid=31088] ppid=31086 vsize=38908 CPUtime=29.96
/proc/31088/stat : 31088 (bsolo) R 31086 31088 31042 0 -1 0 10197 0 0 0 2988 8 0 0 25 0 1 0 190088535 39841792 8718 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31088/statm: 9727 8718 297 55 0 8619 0
Current children cumulated CPU time (s) 29.96
Current children cumulated vsize (Kb) 38908

[startup+40.0197 s]
/proc/loadavg: 0.89 0.96 0.92 2/64 31088
/proc/meminfo: memFree=1530576/2055920 swapFree=4180880/4192956
[pid=31088] ppid=31086 vsize=38908 CPUtime=39.97
/proc/31088/stat : 31088 (bsolo) R 31086 31088 31042 0 -1 0 10197 0 0 0 3988 9 0 0 25 0 1 0 190088535 39841792 8718 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548375 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31088/statm: 9727 8718 297 55 0 8619 0
Current children cumulated CPU time (s) 39.97
Current children cumulated vsize (Kb) 38908

[startup+50.0256 s]
/proc/loadavg: 0.90 0.96 0.92 2/64 31088
/proc/meminfo: memFree=1530576/2055920 swapFree=4180880/4192956
[pid=31088] ppid=31086 vsize=38908 CPUtime=49.97
/proc/31088/stat : 31088 (bsolo) R 31086 31088 31042 0 -1 0 10197 0 0 0 4988 9 0 0 25 0 1 0 190088535 39841792 8718 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548375 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31088/statm: 9727 8718 297 55 0 8619 0
Current children cumulated CPU time (s) 49.97
Current children cumulated vsize (Kb) 38908

[startup+60.0315 s]
/proc/loadavg: 0.92 0.96 0.92 2/64 31088
/proc/meminfo: memFree=1530576/2055920 swapFree=4180880/4192956
[pid=31088] ppid=31086 vsize=38908 CPUtime=59.97
/proc/31088/stat : 31088 (bsolo) R 31086 31088 31042 0 -1 0 10197 0 0 0 5988 9 0 0 25 0 1 0 190088535 39841792 8718 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548393 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31088/statm: 9727 8718 297 55 0 8619 0
Current children cumulated CPU time (s) 59.97
Current children cumulated vsize (Kb) 38908

[startup+70.0373 s]
/proc/loadavg: 0.93 0.97 0.92 2/64 31088
/proc/meminfo: memFree=1530576/2055920 swapFree=4180880/4192956
[pid=31088] ppid=31086 vsize=38908 CPUtime=69.97
/proc/31088/stat : 31088 (bsolo) R 31086 31088 31042 0 -1 0 10197 0 0 0 6988 9 0 0 25 0 1 0 190088535 39841792 8718 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548211 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31088/statm: 9727 8718 297 55 0 8619 0
Current children cumulated CPU time (s) 69.97
Current children cumulated vsize (Kb) 38908

[startup+80.0432 s]
/proc/loadavg: 0.94 0.97 0.92 2/64 31088
/proc/meminfo: memFree=1530576/2055920 swapFree=4180880/4192956
[pid=31088] ppid=31086 vsize=38908 CPUtime=79.98
/proc/31088/stat : 31088 (bsolo) R 31086 31088 31042 0 -1 0 10197 0 0 0 7988 10 0 0 25 0 1 0 190088535 39841792 8718 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534834 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31088/statm: 9727 8718 297 55 0 8619 0
Current children cumulated CPU time (s) 79.98
Current children cumulated vsize (Kb) 38908

[startup+90.049 s]
/proc/loadavg: 0.95 0.97 0.92 2/64 31088
/proc/meminfo: memFree=1527696/2055920 swapFree=4180880/4192956
[pid=31088] ppid=31086 vsize=41740 CPUtime=89.99
/proc/31088/stat : 31088 (bsolo) R 31086 31088 31042 0 -1 0 11064 0 0 0 8986 13 0 0 25 0 1 0 190088535 42741760 9426 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134719284 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31088/statm: 10435 9426 297 55 0 9327 0
Current children cumulated CPU time (s) 89.99
Current children cumulated vsize (Kb) 41740

[startup+100.054 s]
/proc/loadavg: 0.96 0.97 0.92 2/64 31088
/proc/meminfo: memFree=1527696/2055920 swapFree=4180880/4192956
[pid=31088] ppid=31086 vsize=41740 CPUtime=99.98
/proc/31088/stat : 31088 (bsolo) R 31086 31088 31042 0 -1 0 11064 0 0 0 9984 14 0 0 25 0 1 0 190088535 42741760 9426 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548375 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31088/statm: 10435 9426 297 55 0 9327 0
Current children cumulated CPU time (s) 99.98
Current children cumulated vsize (Kb) 41740

[startup+110.06 s]
/proc/loadavg: 0.96 0.97 0.92 2/64 31088
/proc/meminfo: memFree=1526160/2055920 swapFree=4180880/4192956
[pid=31088] ppid=31086 vsize=43596 CPUtime=109.99
/proc/31088/stat : 31088 (bsolo) R 31086 31088 31042 0 -1 0 11575 0 0 0 10983 16 0 0 25 0 1 0 190088535 44642304 9860 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548379 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31088/statm: 10899 9860 297 55 0 9791 0
Current children cumulated CPU time (s) 109.99
Current children cumulated vsize (Kb) 43596

[startup+120.066 s]
/proc/loadavg: 0.97 0.97 0.92 2/64 31088
/proc/meminfo: memFree=1522640/2055920 swapFree=4180880/4192956
[pid=31088] ppid=31086 vsize=46820 CPUtime=119.99
/proc/31088/stat : 31088 (bsolo) R 31086 31088 31042 0 -1 0 12488 0 0 0 11982 17 0 0 25 0 1 0 190088535 47943680 10694 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557737 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31088/statm: 11705 10694 297 55 0 10597 0
Current children cumulated CPU time (s) 119.99
Current children cumulated vsize (Kb) 46820

[startup+130.072 s]
/proc/loadavg: 0.97 0.97 0.92 2/64 31088
/proc/meminfo: memFree=1522640/2055920 swapFree=4180880/4192956
[pid=31088] ppid=31086 vsize=46820 CPUtime=129.99
/proc/31088/stat : 31088 (bsolo) R 31086 31088 31042 0 -1 0 12488 0 0 0 12981 18 0 0 25 0 1 0 190088535 47943680 10694 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542256 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31088/statm: 11705 10694 297 55 0 10597 0
Current children cumulated CPU time (s) 129.99
Current children cumulated vsize (Kb) 46820

[startup+140.077 s]
/proc/loadavg: 0.98 0.97 0.92 2/64 31088
/proc/meminfo: memFree=1522640/2055920 swapFree=4180880/4192956
[pid=31088] ppid=31086 vsize=46820 CPUtime=140
/proc/31088/stat : 31088 (bsolo) R 31086 31088 31042 0 -1 0 12489 0 0 0 13977 23 0 0 25 0 1 0 190088535 47943680 10695 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534063 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31088/statm: 11705 10695 297 55 0 10597 0
Current children cumulated CPU time (s) 140
Current children cumulated vsize (Kb) 46820

[startup+150.083 s]
/proc/loadavg: 0.98 0.97 0.92 2/64 31088
/proc/meminfo: memFree=1522640/2055920 swapFree=4180880/4192956
[pid=31088] ppid=31086 vsize=46820 CPUtime=150.01
/proc/31088/stat : 31088 (bsolo) R 31086 31088 31042 0 -1 0 12489 0 0 0 14977 24 0 0 25 0 1 0 190088535 47943680 10695 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548392 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31088/statm: 11705 10695 297 55 0 10597 0
Current children cumulated CPU time (s) 150.01
Current children cumulated vsize (Kb) 46820

[startup+160.088 s]
/proc/loadavg: 0.98 0.97 0.92 2/64 31088
/proc/meminfo: memFree=1522640/2055920 swapFree=4180880/4192956
[pid=31088] ppid=31086 vsize=46820 CPUtime=160
/proc/31088/stat : 31088 (bsolo) R 31086 31088 31042 0 -1 0 12489 0 0 0 15975 25 0 0 25 0 1 0 190088535 47943680 10695 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31088/statm: 11705 10695 297 55 0 10597 0
Current children cumulated CPU time (s) 160
Current children cumulated vsize (Kb) 46820

[startup+170.093 s]
/proc/loadavg: 0.98 0.97 0.92 2/64 31088
/proc/meminfo: memFree=1522640/2055920 swapFree=4180880/4192956
[pid=31088] ppid=31086 vsize=46820 CPUtime=170
/proc/31088/stat : 31088 (bsolo) R 31086 31088 31042 0 -1 0 12489 0 0 0 16974 26 0 0 25 0 1 0 190088535 47943680 10695 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31088/statm: 11705 10695 297 55 0 10597 0
Current children cumulated CPU time (s) 170
Current children cumulated vsize (Kb) 46820

[startup+180.099 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 31088
/proc/meminfo: memFree=1522640/2055920 swapFree=4180880/4192956
[pid=31088] ppid=31086 vsize=46820 CPUtime=180.01
/proc/31088/stat : 31088 (bsolo) R 31086 31088 31042 0 -1 0 12489 0 0 0 17972 29 0 0 25 0 1 0 190088535 47943680 10695 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134595816 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31088/statm: 11705 10695 297 55 0 10597 0
Current children cumulated CPU time (s) 180.01
Current children cumulated vsize (Kb) 46820

[startup+190.105 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 31088
/proc/meminfo: memFree=1522640/2055920 swapFree=4180880/4192956
[pid=31088] ppid=31086 vsize=46820 CPUtime=190.02
/proc/31088/stat : 31088 (bsolo) R 31086 31088 31042 0 -1 0 12490 0 0 0 18971 31 0 0 25 0 1 0 190088535 47943680 10696 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31088/statm: 11705 10696 297 55 0 10597 0
Current children cumulated CPU time (s) 190.02
Current children cumulated vsize (Kb) 46820

[startup+200.111 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 31088
/proc/meminfo: memFree=1522576/2055920 swapFree=4180880/4192956
[pid=31088] ppid=31086 vsize=46832 CPUtime=200.01
/proc/31088/stat : 31088 (bsolo) R 31086 31088 31042 0 -1 0 12780 0 0 0 19969 32 0 0 25 0 1 0 190088535 47955968 10699 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31088/statm: 11708 10699 297 55 0 10600 0
Current children cumulated CPU time (s) 200.01
Current children cumulated vsize (Kb) 46832

[startup+210.117 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 31090
/proc/meminfo: memFree=1517776/2055920 swapFree=4180880/4192956

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

/proc/31088/statm: 30168 29177 297 55 0 29060 0
Current children cumulated CPU time (s) 1760.55
Current children cumulated vsize (Kb) 120672

[startup+1771.03 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 31090
/proc/meminfo: memFree=1447760/2055920 swapFree=4180880/4192956
[pid=31088] ppid=31086 vsize=121068 CPUtime=1770.56
/proc/31088/stat : 31088 (bsolo) R 31086 31088 31042 0 -1 0 38432 0 0 0 176836 220 0 0 25 0 1 0 190088535 123973632 29304 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31088/statm: 30267 29304 297 55 0 29159 0
Current children cumulated CPU time (s) 1770.56
Current children cumulated vsize (Kb) 121068

[startup+1781.04 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 31090
/proc/meminfo: memFree=1443856/2055920 swapFree=4180880/4192956
[pid=31088] ppid=31086 vsize=124788 CPUtime=1780.56
/proc/31088/stat : 31088 (bsolo) R 31086 31088 31042 0 -1 0 39617 0 0 0 177835 221 0 0 25 0 1 0 190088535 127782912 30234 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541298 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31088/statm: 31197 30234 297 55 0 30089 0
Current children cumulated CPU time (s) 1780.56
Current children cumulated vsize (Kb) 124788

[startup+1782.04 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 31090
/proc/meminfo: memFree=1443856/2055920 swapFree=4180880/4192956
[pid=31088] ppid=31086 vsize=124788 CPUtime=1781.57
/proc/31088/stat : 31088 (bsolo) R 31086 31088 31042 0 -1 0 39617 0 0 0 177935 222 0 0 25 0 1 0 190088535 127782912 30234 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134535099 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31088/statm: 31197 30234 297 55 0 30089 0
Current children cumulated CPU time (s) 1781.57
Current children cumulated vsize (Kb) 124788

[startup+1783.05 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 31090
/proc/meminfo: memFree=1443856/2055920 swapFree=4180880/4192956
[pid=31088] ppid=31086 vsize=124788 CPUtime=1782.58
/proc/31088/stat : 31088 (bsolo) R 31086 31088 31042 0 -1 0 39617 0 0 0 178036 222 0 0 25 0 1 0 190088535 127782912 30234 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31088/statm: 31197 30234 297 55 0 30089 0
Current children cumulated CPU time (s) 1782.58
Current children cumulated vsize (Kb) 124788

[startup+1784.05 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 31090
/proc/meminfo: memFree=1443856/2055920 swapFree=4180880/4192956
[pid=31088] ppid=31086 vsize=124788 CPUtime=1783.58
/proc/31088/stat : 31088 (bsolo) R 31086 31088 31042 0 -1 0 39617 0 0 0 178136 222 0 0 25 0 1 0 190088535 127782912 30234 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31088/statm: 31197 30234 297 55 0 30089 0
Current children cumulated CPU time (s) 1783.58
Current children cumulated vsize (Kb) 124788

[startup+1785.06 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 31090
/proc/meminfo: memFree=1443856/2055920 swapFree=4180880/4192956
[pid=31088] ppid=31086 vsize=124788 CPUtime=1784.59
/proc/31088/stat : 31088 (bsolo) R 31086 31088 31042 0 -1 0 39617 0 0 0 178237 222 0 0 25 0 1 0 190088535 127782912 30234 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542332 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31088/statm: 31197 30234 297 55 0 30089 0
Current children cumulated CPU time (s) 1784.59
Current children cumulated vsize (Kb) 124788

[startup+1786.06 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 31090
/proc/meminfo: memFree=1443856/2055920 swapFree=4180880/4192956
[pid=31088] ppid=31086 vsize=124788 CPUtime=1785.59
/proc/31088/stat : 31088 (bsolo) R 31086 31088 31042 0 -1 0 39617 0 0 0 178337 222 0 0 25 0 1 0 190088535 127782912 30234 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718203 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31088/statm: 31197 30234 297 55 0 30089 0
Current children cumulated CPU time (s) 1785.59
Current children cumulated vsize (Kb) 124788

[startup+1787.06 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 31090
/proc/meminfo: memFree=1443856/2055920 swapFree=4180880/4192956
[pid=31088] ppid=31086 vsize=124788 CPUtime=1786.59
/proc/31088/stat : 31088 (bsolo) R 31086 31088 31042 0 -1 0 39617 0 0 0 178437 222 0 0 25 0 1 0 190088535 127782912 30234 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134632953 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31088/statm: 31197 30234 297 55 0 30089 0
Current children cumulated CPU time (s) 1786.59
Current children cumulated vsize (Kb) 124788

[startup+1788.07 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 31090
/proc/meminfo: memFree=1443856/2055920 swapFree=4180880/4192956
[pid=31088] ppid=31086 vsize=124788 CPUtime=1787.6
/proc/31088/stat : 31088 (bsolo) R 31086 31088 31042 0 -1 0 39617 0 0 0 178537 223 0 0 25 0 1 0 190088535 127782912 30234 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134535099 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31088/statm: 31197 30234 297 55 0 30089 0
Current children cumulated CPU time (s) 1787.6
Current children cumulated vsize (Kb) 124788

[startup+1789.07 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 31090
/proc/meminfo: memFree=1443856/2055920 swapFree=4180880/4192956
[pid=31088] ppid=31086 vsize=124788 CPUtime=1788.61
/proc/31088/stat : 31088 (bsolo) R 31086 31088 31042 0 -1 0 39617 0 0 0 178638 223 0 0 25 0 1 0 190088535 127782912 30234 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603824 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31088/statm: 31197 30234 297 55 0 30089 0
Current children cumulated CPU time (s) 1788.61
Current children cumulated vsize (Kb) 124788

[startup+1790.08 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 31090
/proc/meminfo: memFree=1443856/2055920 swapFree=4180880/4192956
[pid=31088] ppid=31086 vsize=124788 CPUtime=1789.61
/proc/31088/stat : 31088 (bsolo) R 31086 31088 31042 0 -1 0 39617 0 0 0 178738 223 0 0 25 0 1 0 190088535 127782912 30234 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31088/statm: 31197 30234 297 55 0 30089 0
Current children cumulated CPU time (s) 1789.61
Current children cumulated vsize (Kb) 124788

[startup+1791.09 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 31090
/proc/meminfo: memFree=1443856/2055920 swapFree=4180880/4192956
[pid=31088] ppid=31086 vsize=124788 CPUtime=1790.61
/proc/31088/stat : 31088 (bsolo) R 31086 31088 31042 0 -1 0 39617 0 0 0 178838 223 0 0 25 0 1 0 190088535 127782912 30234 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540726 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31088/statm: 31197 30234 297 55 0 30089 0
Current children cumulated CPU time (s) 1790.61
Current children cumulated vsize (Kb) 124788

[startup+1792.09 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 31090
/proc/meminfo: memFree=1443856/2055920 swapFree=4180880/4192956
[pid=31088] ppid=31086 vsize=124788 CPUtime=1791.62
/proc/31088/stat : 31088 (bsolo) R 31086 31088 31042 0 -1 0 39617 0 0 0 178939 223 0 0 25 0 1 0 190088535 127782912 30234 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537565 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31088/statm: 31197 30234 297 55 0 30089 0
Current children cumulated CPU time (s) 1791.62
Current children cumulated vsize (Kb) 124788

[startup+1793.1 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 31090
/proc/meminfo: memFree=1443856/2055920 swapFree=4180880/4192956
[pid=31088] ppid=31086 vsize=124788 CPUtime=1792.62
/proc/31088/stat : 31088 (bsolo) R 31086 31088 31042 0 -1 0 39617 0 0 0 179039 223 0 0 25 0 1 0 190088535 127782912 30234 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542135 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31088/statm: 31197 30234 297 55 0 30089 0
Current children cumulated CPU time (s) 1792.62
Current children cumulated vsize (Kb) 124788

[startup+1794.1 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 31090
/proc/meminfo: memFree=1443856/2055920 swapFree=4180880/4192956
[pid=31088] ppid=31086 vsize=124788 CPUtime=1793.62
/proc/31088/stat : 31088 (bsolo) R 31086 31088 31042 0 -1 0 39617 0 0 0 179139 223 0 0 25 0 1 0 190088535 127782912 30234 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529458 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31088/statm: 31197 30234 297 55 0 30089 0
Current children cumulated CPU time (s) 1793.62
Current children cumulated vsize (Kb) 124788

[startup+1795.1 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 31090
/proc/meminfo: memFree=1443856/2055920 swapFree=4180880/4192956
[pid=31088] ppid=31086 vsize=124788 CPUtime=1794.63
/proc/31088/stat : 31088 (bsolo) R 31086 31088 31042 0 -1 0 39617 0 0 0 179240 223 0 0 25 0 1 0 190088535 127782912 30234 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31088/statm: 31197 30234 297 55 0 30089 0
Current children cumulated CPU time (s) 1794.63
Current children cumulated vsize (Kb) 124788

[startup+1796.11 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 31090
/proc/meminfo: memFree=1443856/2055920 swapFree=4180880/4192956
[pid=31088] ppid=31086 vsize=124788 CPUtime=1795.63
/proc/31088/stat : 31088 (bsolo) R 31086 31088 31042 0 -1 0 39617 0 0 0 179340 223 0 0 25 0 1 0 190088535 127782912 30234 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534063 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31088/statm: 31197 30234 297 55 0 30089 0
Current children cumulated CPU time (s) 1795.63
Current children cumulated vsize (Kb) 124788

[startup+1797.11 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 31090
/proc/meminfo: memFree=1443856/2055920 swapFree=4180880/4192956
[pid=31088] ppid=31086 vsize=124788 CPUtime=1796.64
/proc/31088/stat : 31088 (bsolo) R 31086 31088 31042 0 -1 0 39617 0 0 0 179440 224 0 0 25 0 1 0 190088535 127782912 30234 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551512 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31088/statm: 31197 30234 297 55 0 30089 0
Current children cumulated CPU time (s) 1796.64
Current children cumulated vsize (Kb) 124788

[startup+1798.12 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 31090
/proc/meminfo: memFree=1442192/2055920 swapFree=4180880/4192956
[pid=31088] ppid=31086 vsize=126648 CPUtime=1797.64
/proc/31088/stat : 31088 (bsolo) R 31086 31088 31042 0 -1 0 40109 0 0 0 179540 224 0 0 25 0 1 0 190088535 129687552 30691 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31088/statm: 31662 30691 297 55 0 30554 0
Current children cumulated CPU time (s) 1797.64
Current children cumulated vsize (Kb) 126648

[startup+1799.12 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 31090
/proc/meminfo: memFree=1442384/2055920 swapFree=4180880/4192956
[pid=31088] ppid=31086 vsize=126252 CPUtime=1798.65
/proc/31088/stat : 31088 (bsolo) R 31086 31088 31042 0 -1 0 40112 0 0 0 179641 224 0 0 25 0 1 0 190088535 129282048 30600 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718456 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31088/statm: 31563 30600 297 55 0 30455 0
Current children cumulated CPU time (s) 1798.65
Current children cumulated vsize (Kb) 126252

[startup+1800.13 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 31090
/proc/meminfo: memFree=1442384/2055920 swapFree=4180880/4192956
[pid=31088] ppid=31086 vsize=126252 CPUtime=1799.65
/proc/31088/stat : 31088 (bsolo) R 31086 31088 31042 0 -1 0 40112 0 0 0 179741 224 0 0 25 0 1 0 190088535 129282048 30600 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31088/statm: 31563 30600 297 55 0 30455 0
Current children cumulated CPU time (s) 1799.65
Current children cumulated vsize (Kb) 126252

Child status: 0
Real time (s): 1800.5
CPU time (s): 1800.03
CPU user time (s): 1797.76
CPU system time (s): 2.27065
CPU usage (%): 99.9739
Max. virtual memory (cumulated for all children) (Kb): 126648

Launcher Data (download as text)

Begin job on node43 on Fri Jun  2 10:30:18 UTC 2006


FILE ID= 39768-1149244218

PBS_JOBID= 297659

BENCH NAME= ROOT/tmp/node43/39768-1149244218/instance-39768-1149244218.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node43/39768-1149244218/instance-39768-1149244218.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node43/watcher-39768-1149244218 -o ROOT/results/node43/solver-39768-1149244218 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node43/39768-1149244218/instance-39768-1149244218.opb

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  b1cb8dfc9613a6d80968091d3346a684

RANDOM SEED= 710666962


/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:       1564576 kB
Buffers:         10232 kB
Cached:         410848 kB
SwapCached:       3716 kB
Active:          47548 kB
Inactive:       382172 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1564576 kB
SwapTotal:     4192956 kB
SwapFree:      4180880 kB
Dirty:             284 kB
Writeback:           0 kB
Mapped:          14816 kB
Slab:            47656 kB
Committed_AS:   250568 kB
PageTables:       1408 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node43 on Fri Jun  2 11:00:18 UTC 2006