Trace number 39969

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.21 1800.86

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-dfl001.opb
MD5SUM7b9d3fef35f44b9f29a1eccedaaa362f
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables366703
Total number of constraints6084
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 constraints6084
Minimum length of a constraint13
Maximum length of a constraint6840
Number of terms in the objective function 187033
Biggest coefficient in the objective function 1278
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 704610
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 131072
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 704610
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.01	c INFO: OSL Context initialized.
212.41	c Initial problem consists of 366703 variables and 12155 constraints.
213.75	c No problem reductions applied in OPT. instance.
213.75	c	preprocess terminated. Elapsed time: 213.65
213.75	c After prepocess the problem consists of 266078 variables and 12155 constraints.
213.75	c Initial Lower Bound: 0
214.73	c Restart #1 #Var: 266078 LB: 0 @ 214.63
216.14	c Restart #2 #Var: 266078 LB: 0 @ 216.04
218.35	c Restart #3 #Var: 266078 LB: 0 @ 218.25
220.89	c Restart #4 #Var: 266078 LB: 0 @ 220.79
223.92	c Restart #5 #Var: 266078 LB: 0 @ 223.81
227.64	c Restart #6 #Var: 266078 LB: 0 @ 227.53
231.76	c Restart #7 #Var: 266078 LB: 0 @ 231.65
240.13	c Restart #8 #Var: 266078 LB: 0 @ 240.02
257.64	c Restart #9 #Var: 266078 LB: 0 @ 257.52
280.22	c Restart #10 #Var: 266078 LB: 0 @ 280.1
284.17	c Restart #11 #Var: 266078 LB: 0 @ 284.04
285.26	c Restart #12 #Var: 266078 LB: 0 @ 285.13
287.10	c Restart #13 #Var: 266078 LB: 0 @ 286.98
292.85	c Restart #14 #Var: 266078 LB: 0 @ 292.73
295.20	c Restart #15 #Var: 266078 LB: 0 @ 295.07
296.18	c Restart #16 #Var: 266078 LB: 0 @ 296.05
296.84	c Restart #17 #Var: 266072 LB: 0 @ 296.71
297.69	c Restart #18 #Var: 266072 LB: 0 @ 297.56
300.72	c Restart #19 #Var: 266064 LB: 0 @ 300.59
303.75	c Restart #20 #Var: 266064 LB: 0 @ 303.61
306.29	c Restart #21 #Var: 266062 LB: 0 @ 306.16
311.22	c Restart #22 #Var: 266062 LB: 0 @ 311.09
316.29	c Restart #23 #Var: 266062 LB: 0 @ 316.15
321.84	c Restart #24 #Var: 266062 LB: 0 @ 321.7
327.04	c Restart #25 #Var: 266062 LB: 0 @ 326.9
329.60	c Restart #26 #Var: 266062 LB: 0 @ 329.46
333.29	c Restart #27 #Var: 266029 LB: 0 @ 333.15
352.61	c Restart #28 #Var: 266029 LB: 0 @ 352.46
362.81	c Restart #29 #Var: 266029 LB: 0 @ 362.66
364.01	c Restart #30 #Var: 266014 LB: 0 @ 363.85
367.46	c Restart #31 #Var: 266014 LB: 0 @ 367.3
373.76	c Restart #32 #Var: 266014 LB: 0 @ 373.61
376.16	c Restart #33 #Var: 266014 LB: 0 @ 376
381.67	c Restart #34 #Var: 266009 LB: 0 @ 381.51
384.07	c Restart #35 #Var: 266009 LB: 0 @ 383.91
402.52	c Restart #36 #Var: 265945 LB: 0 @ 402.35
405.68	c Restart #37 #Var: 265945 LB: 0 @ 405.51
408.56	c Restart #38 #Var: 265944 LB: 0 @ 408.39
432.23	c Restart #39 #Var: 265904 LB: 0 @ 432.06
440.36	c Restart #40 #Var: 265904 LB: 0 @ 440.18
447.61	c Restart #41 #Var: 265881 LB: 0 @ 447.43
471.68	c Restart #42 #Var: 265881 LB: 0 @ 471.49
486.70	c Restart #43 #Var: 265858 LB: 0 @ 486.5
506.69	c Restart #44 #Var: 265851 LB: 0 @ 506.49
517.84	c Restart #45 #Var: 265835 LB: 0 @ 517.63
534.77	c Restart #46 #Var: 265832 LB: 0 @ 534.56
550.33	c Restart #47 #Var: 265830 LB: 0 @ 550.12
580.80	c Restart #48 #Var: 265746 LB: 0 @ 580.57
585.85	c Restart #49 #Var: 265687 LB: 0 @ 585.62
600.52	c Restart #50 #Var: 265686 LB: 0 @ 600.28
614.69	c Restart #51 #Var: 265685 LB: 0 @ 614.45
647.42	c Restart #52 #Var: 265685 LB: 0 @ 647.17
679.66	c Restart #53 #Var: 265635 LB: 0 @ 679.39
695.96	c Restart #54 #Var: 265563 LB: 0 @ 695.69
734.14	c Restart #55 #Var: 265547 LB: 0 @ 733.86
752.95	c Restart #56 #Var: 265545 LB: 0 @ 752.66
792.25	c Restart #57 #Var: 265472 LB: 0 @ 791.95
816.77	c Restart #58 #Var: 265376 LB: 0 @ 816.46
824.06	c Restart #59 #Var: 265376 LB: 0 @ 823.75
845.93	c Restart #60 #Var: 265338 LB: 0 @ 845.61
868.65	c Restart #61 #Var: 265338 LB: 0 @ 868.33
946.36	c CHANGE Heuristic... 
946.36	c Restart #0 #Var: 265328 LB: 0 @ 946.01
946.42	c Restart #1 #Var: 265315 LB: 0 @ 946.06
946.45	c Restart #2 #Var: 265315 LB: 0 @ 946.09
946.51	c Restart #3 #Var: 265315 LB: 0 @ 946.15
946.57	c Restart #4 #Var: 265315 LB: 0 @ 946.21
946.66	c Restart #5 #Var: 265315 LB: 0 @ 946.31
946.79	c Restart #6 #Var: 265314 LB: 0 @ 946.44
947.05	c Restart #7 #Var: 265314 LB: 0 @ 946.69
947.44	c Restart #8 #Var: 265303 LB: 0 @ 947.09
950.06	c Restart #9 #Var: 265144 LB: 0 @ 949.71
951.92	c Restart #10 #Var: 265113 LB: 0 @ 951.57
952.71	c Restart #11 #Var: 265107 LB: 0 @ 952.35
953.74	c Restart #12 #Var: 265105 LB: 0 @ 953.39
954.40	c Restart #13 #Var: 265105 LB: 0 @ 954.04
955.95	c Restart #14 #Var: 265101 LB: 0 @ 955.59
961.09	c Restart #15 #Var: 265099 LB: 0 @ 960.73
962.43	c Restart #16 #Var: 265096 LB: 0 @ 962.07
963.92	c Restart #17 #Var: 265087 LB: 0 @ 963.56
966.35	c Restart #18 #Var: 265087 LB: 0 @ 965.99
968.10	c Restart #19 #Var: 265087 LB: 0 @ 967.74
970.97	c Restart #20 #Var: 265087 LB: 0 @ 970.6
972.97	c Restart #21 #Var: 265067 LB: 0 @ 972.61
974.28	c Restart #22 #Var: 265067 LB: 0 @ 973.91
977.52	c Restart #23 #Var: 265067 LB: 0 @ 977.15
979.20	c Restart #24 #Var: 265067 LB: 0 @ 978.84
982.27	c Restart #25 #Var: 265067 LB: 0 @ 981.9
984.59	c Restart #26 #Var: 265053 LB: 0 @ 984.22
989.47	c Restart #27 #Var: 265046 LB: 0 @ 989.1
993.94	c Restart #28 #Var: 265046 LB: 0 @ 993.57
997.28	c Restart #29 #Var: 265045 LB: 0 @ 996.91
1001.00	c Restart #30 #Var: 265042 LB: 0 @ 1000.6
1006.13	c Restart #31 #Var: 265042 LB: 0 @ 1005.8
1009.44	c Restart #32 #Var: 265033 LB: 0 @ 1009.1
1011.66	c Restart #33 #Var: 265033 LB: 0 @ 1011.3
1015.58	c Restart #34 #Var: 265033 LB: 0 @ 1015.2
1018.90	c Restart #35 #Var: 265033 LB: 0 @ 1018.5
1020.28	c Restart #36 #Var: 265019 LB: 0 @ 1019.9
1025.95	c Restart #37 #Var: 265017 LB: 0 @ 1025.6
1031.06	c Restart #38 #Var: 265017 LB: 0 @ 1030.7
1039.50	c Restart #39 #Var: 265017 LB: 0 @ 1039.1
1043.86	c Restart #40 #Var: 265017 LB: 0 @ 1043.5
1052.74	c Restart #41 #Var: 265017 LB: 0 @ 1052.4
1058.98	c Restart #42 #Var: 265017 LB: 0 @ 1058.6
1065.09	c Restart #43 #Var: 264972 LB: 0 @ 1064.7
1068.10	c Restart #44 #Var: 264972 LB: 0 @ 1067.7
1071.23	c Restart #45 #Var: 264972 LB: 0 @ 1070.8
1078.55	c Restart #46 #Var: 264972 LB: 0 @ 1078.2
1082.20	c Restart #47 #Var: 264959 LB: 0 @ 1081.8
1089.81	c Restart #48 #Var: 264959 LB: 0 @ 1089.4
1100.43	c Restart #49 #Var: 264958 LB: 0 @ 1100
1107.81	c Restart #50 #Var: 264956 LB: 0 @ 1107.4
1110.04	c Restart #51 #Var: 264956 LB: 0 @ 1109.6
1121.45	c Restart #52 #Var: 264955 LB: 0 @ 1121
1127.12	c Restart #53 #Var: 264955 LB: 0 @ 1126.7
1138.53	c Restart #54 #Var: 264954 LB: 0 @ 1138.1
1152.41	c Restart #55 #Var: 264953 LB: 0 @ 1152
1161.45	c Restart #56 #Var: 264951 LB: 0 @ 1161
1174.83	c Restart #57 #Var: 264949 LB: 0 @ 1174.4
1183.48	c Restart #58 #Var: 264949 LB: 0 @ 1183
1192.93	c Restart #59 #Var: 264948 LB: 0 @ 1192.5
1232.73	c Restart #60 #Var: 264948 LB: 0 @ 1232.3
1240.63	c Restart #61 #Var: 264948 LB: 0 @ 1240.2
1250.28	c Restart #62 #Var: 264948 LB: 0 @ 1249.8
1263.42	c Restart #63 #Var: 264948 LB: 0 @ 1263
1270.09	c Restart #64 #Var: 264948 LB: 0 @ 1269.6
1281.69	c Restart #65 #Var: 264948 LB: 0 @ 1281.2
1306.15	c Restart #66 #Var: 264948 LB: 0 @ 1305.7
1313.59	c Restart #67 #Var: 264948 LB: 0 @ 1313.1
1321.17	c Restart #68 #Var: 264948 LB: 0 @ 1320.7
1332.55	c Restart #69 #Var: 264942 LB: 0 @ 1332.1
1342.35	c Restart #70 #Var: 264941 LB: 0 @ 1341.9
1348.43	c Restart #71 #Var: 264941 LB: 0 @ 1347.9
1406.66	c Restart #72 #Var: 264941 LB: 0 @ 1406.2
1409.38	c Restart #73 #Var: 264941 LB: 0 @ 1408.9
1483.98	c Restart #74 #Var: 264941 LB: 0 @ 1483.4
1584.32	c Restart #75 #Var: 264941 LB: 0 @ 1583.7
1599.64	c Restart #76 #Var: 264926 LB: 0 @ 1599.1
1604.04	c Restart #77 #Var: 264926 LB: 0 @ 1603.5
1623.00	c Restart #78 #Var: 264925 LB: 0 @ 1622.4
1726.45	c Restart #79 #Var: 264925 LB: 0 @ 1725.8
1734.46	c Restart #80 #Var: 264882 LB: 0 @ 1733.8
1800.66	s UNKNOWN
1800.66	c Exit Code: 0
1800.66	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/node65/watcher-39969-1149343535 -o ROOT/results/node65/solver-39969-1149343535 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node65/39969-1149343535/instance-39969-1149343535.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.92 1.00 0.99 2/64 6652
/proc/meminfo: memFree=1760432/2055920 swapFree=4181844/4192956
[pid=6652] ppid=6650 vsize=4928 CPUtime=0
/proc/6652/stat : 6652 (bsolo) R 6650 6652 6606 0 -1 0 336 0 0 0 0 0 0 0 18 0 1 0 200022980 5046272 301 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 6151895 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6652/statm: 1232 311 209 55 0 124 0

[startup+10.0019 s]
/proc/loadavg: 0.93 1.00 0.99 2/64 6652
/proc/meminfo: memFree=1744760/2055920 swapFree=4181844/4192956
[pid=6652] ppid=6650 vsize=20828 CPUtime=9.98
/proc/6652/stat : 6652 (bsolo) R 6650 6652 6606 0 -1 0 2030872 0 0 0 457 541 0 0 25 0 1 0 200022980 21327872 4237 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6652/statm: 5207 4246 277 55 0 4099 0
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 20828

[startup+20.0086 s]
/proc/loadavg: 0.94 1.00 0.99 2/64 6652
/proc/meminfo: memFree=1739000/2055920 swapFree=4181844/4192956
[pid=6652] ppid=6650 vsize=27548 CPUtime=19.98
/proc/6652/stat : 6652 (bsolo) R 6650 6652 6606 0 -1 0 4127254 0 0 0 875 1123 0 0 25 0 1 0 200022980 28209152 5732 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6652/statm: 6887 5741 277 55 0 5779 0
Current children cumulated CPU time (s) 19.98
Current children cumulated vsize (Kb) 27548

[startup+30.0152 s]
/proc/loadavg: 0.95 1.00 0.99 2/64 6652
/proc/meminfo: memFree=1734456/2055920 swapFree=4181844/4192956
[pid=6652] ppid=6650 vsize=31740 CPUtime=29.98
/proc/6652/stat : 6652 (bsolo) R 6650 6652 6606 0 -1 0 6128240 0 0 0 1306 1692 0 0 25 0 1 0 200022980 32501760 6908 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6652/statm: 7935 6914 287 55 0 6827 0
Current children cumulated CPU time (s) 29.98
Current children cumulated vsize (Kb) 31740

[startup+40.0219 s]
/proc/loadavg: 0.96 1.00 0.99 2/64 6652
/proc/meminfo: memFree=1731632/2055920 swapFree=4181844/4192956
[pid=6652] ppid=6650 vsize=35092 CPUtime=39.98
/proc/6652/stat : 6652 (bsolo) R 6650 6652 6606 0 -1 0 7973785 0 0 0 1734 2264 0 0 25 0 1 0 200022980 35934208 7737 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6652/statm: 8773 7744 277 55 0 7665 0
Current children cumulated CPU time (s) 39.98
Current children cumulated vsize (Kb) 35092

[startup+50.0285 s]
/proc/loadavg: 0.96 1.00 0.99 2/64 6652
/proc/meminfo: memFree=1728248/2055920 swapFree=4181844/4192956
[pid=6652] ppid=6650 vsize=38048 CPUtime=49.98
/proc/6652/stat : 6652 (bsolo) R 6650 6652 6606 0 -1 0 9809796 0 0 0 2168 2830 0 0 24 0 1 0 200022980 38961152 8458 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6652/statm: 9512 8462 277 55 0 8404 0
Current children cumulated CPU time (s) 49.98
Current children cumulated vsize (Kb) 38048

[startup+60.0352 s]
/proc/loadavg: 0.97 1.00 0.99 2/64 6652
/proc/meminfo: memFree=1726136/2055920 swapFree=4181844/4192956
[pid=6652] ppid=6650 vsize=40584 CPUtime=59.99
/proc/6652/stat : 6652 (bsolo) R 6650 6652 6606 0 -1 0 11595381 0 0 0 2598 3401 0 0 25 0 1 0 200022980 41558016 9219 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6652/statm: 10146 9219 500 55 0 9038 0
Current children cumulated CPU time (s) 59.99
Current children cumulated vsize (Kb) 40584

[startup+70.0418 s]
/proc/loadavg: 0.97 1.00 0.99 2/64 6652
/proc/meminfo: memFree=1723128/2055920 swapFree=4181844/4192956
[pid=6652] ppid=6650 vsize=42832 CPUtime=69.98
/proc/6652/stat : 6652 (bsolo) R 6650 6652 6606 0 -1 0 13334502 0 0 0 3034 3964 0 0 25 0 1 0 200022980 43859968 9702 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6652/statm: 10708 9709 277 55 0 9600 0
Current children cumulated CPU time (s) 69.98
Current children cumulated vsize (Kb) 42832

[startup+80.0485 s]
/proc/loadavg: 0.98 1.00 0.99 2/64 6652
/proc/meminfo: memFree=1721400/2055920 swapFree=4181844/4192956
[pid=6652] ppid=6650 vsize=44932 CPUtime=79.99
/proc/6652/stat : 6652 (bsolo) R 6650 6652 6606 0 -1 0 15043420 0 0 0 3464 4535 0 0 25 0 1 0 200022980 46010368 10343 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6652/statm: 11233 10349 277 55 0 10125 0
Current children cumulated CPU time (s) 79.99
Current children cumulated vsize (Kb) 44932

[startup+90.0541 s]
/proc/loadavg: 0.98 1.00 0.99 2/64 6652
/proc/meminfo: memFree=1719608/2055920 swapFree=4181844/4192956
[pid=6652] ppid=6650 vsize=48868 CPUtime=89.99
/proc/6652/stat : 6652 (bsolo) R 6650 6652 6606 0 -1 0 16734917 0 0 0 3876 5123 0 0 25 0 1 0 200022980 50040832 10711 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6652/statm: 12217 10719 277 55 0 11109 0
Current children cumulated CPU time (s) 89.99
Current children cumulated vsize (Kb) 48868

[startup+100.06 s]
/proc/loadavg: 0.98 1.00 0.99 2/64 6652
/proc/meminfo: memFree=1716856/2055920 swapFree=4181844/4192956
[pid=6652] ppid=6650 vsize=50796 CPUtime=99.99
/proc/6652/stat : 6652 (bsolo) R 6650 6652 6606 0 -1 0 18398398 0 0 0 4298 5701 0 0 25 0 1 0 200022980 52015104 11087 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6652/statm: 12699 11095 277 55 0 11591 0
Current children cumulated CPU time (s) 99.99
Current children cumulated vsize (Kb) 50796

[startup+110.066 s]
/proc/loadavg: 0.98 1.00 0.99 2/64 6652
/proc/meminfo: memFree=1715064/2055920 swapFree=4181844/4192956
[pid=6652] ppid=6650 vsize=52584 CPUtime=110
/proc/6652/stat : 6652 (bsolo) R 6650 6652 6606 0 -1 0 20120435 0 0 0 4723 6277 0 0 25 0 1 0 200022980 53846016 11831 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6652/statm: 13146 11838 277 55 0 12038 0
Current children cumulated CPU time (s) 110
Current children cumulated vsize (Kb) 52584

[startup+120.073 s]
/proc/loadavg: 0.99 1.00 0.99 2/64 6652
/proc/meminfo: memFree=1714040/2055920 swapFree=4181844/4192956
[pid=6652] ppid=6650 vsize=54232 CPUtime=119.99
/proc/6652/stat : 6652 (bsolo) R 6650 6652 6606 0 -1 0 21762498 0 0 0 5139 6860 0 0 25 0 1 0 200022980 55533568 12053 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6652/statm: 13558 12060 277 55 0 12450 0
Current children cumulated CPU time (s) 119.99
Current children cumulated vsize (Kb) 54232

[startup+130.079 s]
/proc/loadavg: 0.99 1.00 0.99 2/64 6652
/proc/meminfo: memFree=1712056/2055920 swapFree=4181844/4192956
[pid=6652] ppid=6650 vsize=55880 CPUtime=130
/proc/6652/stat : 6652 (bsolo) R 6650 6652 6606 0 -1 0 23402646 0 0 0 5566 7434 0 0 25 0 1 0 200022980 57221120 12552 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6652/statm: 13970 12559 277 55 0 12862 0
Current children cumulated CPU time (s) 130
Current children cumulated vsize (Kb) 55880

[startup+140.084 s]
/proc/loadavg: 0.99 1.00 0.99 2/64 6652
/proc/meminfo: memFree=1710648/2055920 swapFree=4181844/4192956
[pid=6652] ppid=6650 vsize=57524 CPUtime=140
/proc/6652/stat : 6652 (bsolo) R 6650 6652 6606 0 -1 0 25028666 0 0 0 5981 8019 0 0 25 0 1 0 200022980 58904576 12874 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6652/statm: 14381 12881 277 55 0 13273 0
Current children cumulated CPU time (s) 140
Current children cumulated vsize (Kb) 57524

[startup+150.09 s]
/proc/loadavg: 0.99 1.00 0.99 2/64 6652
/proc/meminfo: memFree=1708536/2055920 swapFree=4181844/4192956
[pid=6652] ppid=6650 vsize=59048 CPUtime=150
/proc/6652/stat : 6652 (bsolo) R 6650 6652 6606 0 -1 0 26648307 0 0 0 6388 8612 0 0 25 0 1 0 200022980 60465152 13389 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6652/statm: 14762 13396 277 55 0 13654 0
Current children cumulated CPU time (s) 150
Current children cumulated vsize (Kb) 59048

[startup+160.096 s]
/proc/loadavg: 0.99 1.00 0.99 2/64 6652
/proc/meminfo: memFree=1706936/2055920 swapFree=4181844/4192956
[pid=6652] ppid=6650 vsize=60556 CPUtime=160
/proc/6652/stat : 6652 (bsolo) R 6650 6652 6606 0 -1 0 28252741 0 0 0 6800 9200 0 0 25 0 1 0 200022980 62009344 13751 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6652/statm: 15139 13758 277 55 0 14031 0
Current children cumulated CPU time (s) 160
Current children cumulated vsize (Kb) 60556

[startup+170.101 s]
/proc/loadavg: 0.99 1.00 0.99 2/64 6652
/proc/meminfo: memFree=1705016/2055920 swapFree=4181844/4192956
[pid=6652] ppid=6650 vsize=62064 CPUtime=170.01
/proc/6652/stat : 6652 (bsolo) R 6650 6652 6606 0 -1 0 29893407 0 0 0 7207 9794 0 0 25 0 1 0 200022980 63553536 14286 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6652/statm: 15516 14293 277 55 0 14408 0
Current children cumulated CPU time (s) 170.01
Current children cumulated vsize (Kb) 62064

[startup+180.108 s]
/proc/loadavg: 0.99 1.00 0.99 2/64 6652
/proc/meminfo: memFree=1704120/2055920 swapFree=4181844/4192956
[pid=6652] ppid=6650 vsize=63572 CPUtime=180.01
/proc/6652/stat : 6652 (bsolo) R 6650 6652 6606 0 -1 0 31480226 0 0 0 7625 10376 0 0 25 0 1 0 200022980 65097728 14390 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6652/statm: 15893 14397 277 55 0 14785 0
Current children cumulated CPU time (s) 180.01
Current children cumulated vsize (Kb) 63572

[startup+190.114 s]
/proc/loadavg: 0.99 1.00 0.99 2/64 6652
/proc/meminfo: memFree=1702776/2055920 swapFree=4181844/4192956
[pid=6652] ppid=6650 vsize=64948 CPUtime=190.01
/proc/6652/stat : 6652 (bsolo) R 6650 6652 6606 0 -1 0 33061022 0 0 0 8037 10964 0 0 25 0 1 0 200022980 66506752 14744 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6652/statm: 16237 14744 277 55 0 15129 0
Current children cumulated CPU time (s) 190.01
Current children cumulated vsize (Kb) 64948

[startup+200.119 s]
/proc/loadavg: 0.99 1.00 0.99 2/64 6652
/proc/meminfo: memFree=1701624/2055920 swapFree=4181844/4192956
[pid=6652] ppid=6650 vsize=66324 CPUtime=200.02
/proc/6652/stat : 6652 (bsolo) R 6650 6652 6606 0 -1 0 34631765 0 0 0 8441 11561 0 0 25 0 1 0 200022980 67915776 15407 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6652/statm: 16581 15413 277 55 0 15473 0
Current children cumulated CPU time (s) 200.02
Current children cumulated vsize (Kb) 66324

[startup+210.125 s]
/proc/loadavg: 0.99 1.00 0.99 2/64 6652
/proc/meminfo: memFree=1526840/2055920 swapFree=4181844/4192956

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

/proc/6652/statm: 314185 309341 297 55 0 313077 0
Current children cumulated CPU time (s) 1760.38
Current children cumulated vsize (Kb) 1256740

[startup+1771.03 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 6654
/proc/meminfo: memFree=519864/2055920 swapFree=4181844/4192956
[pid=6652] ppid=6650 vsize=1258984 CPUtime=1770.38
/proc/6652/stat : 6652 (bsolo) R 6650 6652 6606 0 -1 0 35396910 0 0 0 164663 12375 0 0 25 0 1 0 200022980 1289199616 309891 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6652/statm: 314746 309891 297 55 0 313638 0
Current children cumulated CPU time (s) 1770.38
Current children cumulated vsize (Kb) 1258984

[startup+1781.04 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 6654
/proc/meminfo: memFree=517880/2055920 swapFree=4181844/4192956
[pid=6652] ppid=6650 vsize=1260964 CPUtime=1780.39
/proc/6652/stat : 6652 (bsolo) R 6650 6652 6606 0 -1 0 35397414 0 0 0 165663 12376 0 0 25 0 1 0 200022980 1291227136 310395 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6652/statm: 315241 310395 297 55 0 314133 0
Current children cumulated CPU time (s) 1780.39
Current children cumulated vsize (Kb) 1260964

[startup+1782.05 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 6654
/proc/meminfo: memFree=517496/2055920 swapFree=4181844/4192956
[pid=6652] ppid=6650 vsize=1261228 CPUtime=1781.4
/proc/6652/stat : 6652 (bsolo) R 6650 6652 6606 0 -1 0 35397499 0 0 0 165764 12376 0 0 25 0 1 0 200022980 1291497472 310480 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6652/statm: 315307 310480 297 55 0 314199 0
Current children cumulated CPU time (s) 1781.4
Current children cumulated vsize (Kb) 1261228

[startup+1783.05 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 6654
/proc/meminfo: memFree=517368/2055920 swapFree=4181844/4192956
[pid=6652] ppid=6650 vsize=1261492 CPUtime=1782.4
/proc/6652/stat : 6652 (bsolo) R 6650 6652 6606 0 -1 0 35397538 0 0 0 165864 12376 0 0 25 0 1 0 200022980 1291767808 310519 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6652/statm: 315373 310519 297 55 0 314265 0
Current children cumulated CPU time (s) 1782.4
Current children cumulated vsize (Kb) 1261492

[startup+1784.05 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 6654
/proc/meminfo: memFree=517176/2055920 swapFree=4181844/4192956
[pid=6652] ppid=6650 vsize=1261624 CPUtime=1783.4
/proc/6652/stat : 6652 (bsolo) R 6650 6652 6606 0 -1 0 35397581 0 0 0 165964 12376 0 0 25 0 1 0 200022980 1291902976 310562 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524348 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6652/statm: 315406 310562 297 55 0 314298 0
Current children cumulated CPU time (s) 1783.4
Current children cumulated vsize (Kb) 1261624

[startup+1785.06 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 6654
/proc/meminfo: memFree=516984/2055920 swapFree=4181844/4192956
[pid=6652] ppid=6650 vsize=1261756 CPUtime=1784.41
/proc/6652/stat : 6652 (bsolo) R 6650 6652 6606 0 -1 0 35397628 0 0 0 166065 12376 0 0 25 0 1 0 200022980 1292038144 310609 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529363 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6652/statm: 315439 310609 297 55 0 314331 0
Current children cumulated CPU time (s) 1784.41
Current children cumulated vsize (Kb) 1261756

[startup+1786.06 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 6654
/proc/meminfo: memFree=516856/2055920 swapFree=4181844/4192956
[pid=6652] ppid=6650 vsize=1262020 CPUtime=1785.41
/proc/6652/stat : 6652 (bsolo) R 6650 6652 6606 0 -1 0 35397668 0 0 0 166165 12376 0 0 25 0 1 0 200022980 1292308480 310649 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542332 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6652/statm: 315505 310649 297 55 0 314397 0
Current children cumulated CPU time (s) 1785.41
Current children cumulated vsize (Kb) 1262020

[startup+1787.07 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 6654
/proc/meminfo: memFree=516664/2055920 swapFree=4181844/4192956
[pid=6652] ppid=6650 vsize=1262152 CPUtime=1786.42
/proc/6652/stat : 6652 (bsolo) R 6650 6652 6606 0 -1 0 35397712 0 0 0 166266 12376 0 0 25 0 1 0 200022980 1292443648 310693 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529464 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6652/statm: 315538 310693 297 55 0 314430 0
Current children cumulated CPU time (s) 1786.42
Current children cumulated vsize (Kb) 1262152

[startup+1788.07 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 6654
/proc/meminfo: memFree=516472/2055920 swapFree=4181844/4192956
[pid=6652] ppid=6650 vsize=1262284 CPUtime=1787.42
/proc/6652/stat : 6652 (bsolo) R 6650 6652 6606 0 -1 0 35397752 0 0 0 166366 12376 0 0 25 0 1 0 200022980 1292578816 310733 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6652/statm: 315571 310733 297 55 0 314463 0
Current children cumulated CPU time (s) 1787.42
Current children cumulated vsize (Kb) 1262284

[startup+1789.08 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 6654
/proc/meminfo: memFree=516280/2055920 swapFree=4181844/4192956
[pid=6652] ppid=6650 vsize=1262548 CPUtime=1788.42
/proc/6652/stat : 6652 (bsolo) R 6650 6652 6606 0 -1 0 35397799 0 0 0 166466 12376 0 0 25 0 1 0 200022980 1292849152 310780 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6652/statm: 315637 310780 297 55 0 314529 0
Current children cumulated CPU time (s) 1788.42
Current children cumulated vsize (Kb) 1262548

[startup+1790.08 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 6654
/proc/meminfo: memFree=516152/2055920 swapFree=4181844/4192956
[pid=6652] ppid=6650 vsize=1262680 CPUtime=1789.43
/proc/6652/stat : 6652 (bsolo) R 6650 6652 6606 0 -1 0 35397837 0 0 0 166567 12376 0 0 25 0 1 0 200022980 1292984320 310818 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548439 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6652/statm: 315670 310818 297 55 0 314562 0
Current children cumulated CPU time (s) 1789.43
Current children cumulated vsize (Kb) 1262680

[startup+1791.09 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 6654
/proc/meminfo: memFree=515960/2055920 swapFree=4181844/4192956
[pid=6652] ppid=6650 vsize=1262812 CPUtime=1790.43
/proc/6652/stat : 6652 (bsolo) R 6650 6652 6606 0 -1 0 35397883 0 0 0 166667 12376 0 0 25 0 1 0 200022980 1293119488 310864 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 6121083 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6652/statm: 315703 310864 297 55 0 314595 0
Current children cumulated CPU time (s) 1790.43
Current children cumulated vsize (Kb) 1262812

[startup+1792.09 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 6654
/proc/meminfo: memFree=515832/2055920 swapFree=4181844/4192956
[pid=6652] ppid=6650 vsize=1262944 CPUtime=1791.44
/proc/6652/stat : 6652 (bsolo) R 6650 6652 6606 0 -1 0 35397926 0 0 0 166768 12376 0 0 25 0 1 0 200022980 1293254656 310907 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6652/statm: 315736 310907 297 55 0 314628 0
Current children cumulated CPU time (s) 1791.44
Current children cumulated vsize (Kb) 1262944

[startup+1793.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 6654
/proc/meminfo: memFree=515576/2055920 swapFree=4181844/4192956
[pid=6652] ppid=6650 vsize=1263208 CPUtime=1792.44
/proc/6652/stat : 6652 (bsolo) R 6650 6652 6606 0 -1 0 35397975 0 0 0 166868 12376 0 0 25 0 1 0 200022980 1293524992 310956 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528666 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6652/statm: 315802 310956 297 55 0 314694 0
Current children cumulated CPU time (s) 1792.44
Current children cumulated vsize (Kb) 1263208

[startup+1794.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 6654
/proc/meminfo: memFree=515448/2055920 swapFree=4181844/4192956
[pid=6652] ppid=6650 vsize=1263340 CPUtime=1793.44
/proc/6652/stat : 6652 (bsolo) R 6650 6652 6606 0 -1 0 35398011 0 0 0 166968 12376 0 0 25 0 1 0 200022980 1293660160 310992 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524531 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6652/statm: 315835 310992 297 55 0 314727 0
Current children cumulated CPU time (s) 1793.44
Current children cumulated vsize (Kb) 1263340

[startup+1795.11 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 6654
/proc/meminfo: memFree=515256/2055920 swapFree=4181844/4192956
[pid=6652] ppid=6650 vsize=1263472 CPUtime=1794.45
/proc/6652/stat : 6652 (bsolo) R 6650 6652 6606 0 -1 0 35398058 0 0 0 167069 12376 0 0 25 0 1 0 200022980 1293795328 311039 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6652/statm: 315868 311039 297 55 0 314760 0
Current children cumulated CPU time (s) 1794.45
Current children cumulated vsize (Kb) 1263472

[startup+1796.11 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 6654
/proc/meminfo: memFree=515128/2055920 swapFree=4181844/4192956
[pid=6652] ppid=6650 vsize=1263736 CPUtime=1795.46
/proc/6652/stat : 6652 (bsolo) R 6650 6652 6606 0 -1 0 35398099 0 0 0 167169 12377 0 0 25 0 1 0 200022980 1294065664 311080 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528665 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6652/statm: 315934 311080 297 55 0 314826 0
Current children cumulated CPU time (s) 1795.46
Current children cumulated vsize (Kb) 1263736

[startup+1797.12 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 6654
/proc/meminfo: memFree=514936/2055920 swapFree=4181844/4192956
[pid=6652] ppid=6650 vsize=1263868 CPUtime=1796.46
/proc/6652/stat : 6652 (bsolo) R 6650 6652 6606 0 -1 0 35398144 0 0 0 167269 12377 0 0 25 0 1 0 200022980 1294200832 311125 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6652/statm: 315967 311125 297 55 0 314859 0
Current children cumulated CPU time (s) 1796.46
Current children cumulated vsize (Kb) 1263868

[startup+1798.12 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 6654
/proc/meminfo: memFree=514680/2055920 swapFree=4181844/4192956
[pid=6652] ppid=6650 vsize=1264132 CPUtime=1797.47
/proc/6652/stat : 6652 (bsolo) R 6650 6652 6606 0 -1 0 35398198 0 0 0 167370 12377 0 0 25 0 1 0 200022980 1294471168 311179 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6652/statm: 316033 311179 297 55 0 314925 0
Current children cumulated CPU time (s) 1797.47
Current children cumulated vsize (Kb) 1264132

[startup+1799.13 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 6654
/proc/meminfo: memFree=514360/2055920 swapFree=4181844/4192956
[pid=6652] ppid=6650 vsize=1264396 CPUtime=1798.47
/proc/6652/stat : 6652 (bsolo) R 6650 6652 6606 0 -1 0 35398283 0 0 0 167470 12377 0 0 25 0 1 0 200022980 1294741504 311264 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6652/statm: 316099 311264 297 55 0 314991 0
Current children cumulated CPU time (s) 1798.47
Current children cumulated vsize (Kb) 1264396

[startup+1800.13 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 6654
/proc/meminfo: memFree=514168/2055920 swapFree=4181844/4192956
[pid=6652] ppid=6650 vsize=1264660 CPUtime=1799.47
/proc/6652/stat : 6652 (bsolo) R 6650 6652 6606 0 -1 0 35398331 0 0 0 167570 12377 0 0 25 0 1 0 200022980 1295011840 311312 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6652/statm: 316165 311312 297 55 0 315057 0
Current children cumulated CPU time (s) 1799.47
Current children cumulated vsize (Kb) 1264660

Child status: 0
Real time (s): 1800.86
CPU time (s): 1800.21
CPU user time (s): 1676.24
CPU system time (s): 123.967
CPU usage (%): 99.9637
Max. virtual memory (cumulated for all children) (Kb): 1264660

Launcher Data (download as text)

Begin job on node65 on Sat Jun  3 14:05:36 UTC 2006


FILE ID= 39969-1149343535

PBS_JOBID= 310542

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-dfl001.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node65/39969-1149343535/instance-39969-1149343535.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node65/watcher-39969-1149343535 -o ROOT/results/node65/solver-39969-1149343535 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node65/39969-1149343535/instance-39969-1149343535.opb

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  7b9d3fef35f44b9f29a1eccedaaa362f

RANDOM SEED= 400391810


/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.283
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.283
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:       1760832 kB
Buffers:         16296 kB
Cached:         214780 kB
SwapCached:       2776 kB
Active:          65900 kB
Inactive:       173896 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1760832 kB
SwapTotal:     4192956 kB
SwapFree:      4181844 kB
Dirty:             148 kB
Writeback:           0 kB
Mapped:          14748 kB
Slab:            41312 kB
Committed_AS:   332344 kB
PageTables:       1480 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node65 on Sat Jun  3 14:35:37 UTC 2006