Trace number 39847

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.15 1800.84

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-reduced-mps-v2-20-10-tr12-30.opb
MD5SUM012c11861136c422cb8bda81e1d7561a
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 variables21960
Total number of constraints750
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 constraints750
Minimum length of a constraint31
Maximum length of a constraint372
Number of terms in the objective function 11160
Biggest coefficient in the objective function 1295
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 533310
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 261781
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 533310
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.
0.40	c Initial problem consists of 21960 variables and 1110 constraints.
0.46	c No problem reductions applied in OPT. instance.
0.46	c	preprocess terminated. Elapsed time: 0.452
0.46	c After prepocess the problem consists of 18280 variables and 1110 constraints.
0.46	c Initial Lower Bound: 0
1.90	c Restart #1 #Var: 18280 LB: 0 @ 1.891
4.22	c Restart #2 #Var: 18280 LB: 0 @ 4.219
10.25	c Restart #3 #Var: 18280 LB: 0 @ 10.242
14.81	c Restart #4 #Var: 18280 LB: 0 @ 14.795
29.06	c Restart #5 #Var: 18280 LB: 0 @ 29.041
50.79	c Restart #6 #Var: 18280 LB: 0 @ 50.767
67.33	c Restart #7 #Var: 18280 LB: 0 @ 67.296
71.82	c Restart #8 #Var: 18280 LB: 0 @ 71.787
72.18	c Restart #9 #Var: 18280 LB: 0 @ 72.139
72.38	c Restart #10 #Var: 18279 LB: 0 @ 72.34
72.58	c Restart #11 #Var: 18277 LB: 0 @ 72.539
72.95	c Restart #12 #Var: 18272 LB: 0 @ 72.911
73.17	c Restart #13 #Var: 18272 LB: 0 @ 73.126
73.43	c Restart #14 #Var: 18267 LB: 0 @ 73.392
73.77	c Restart #15 #Var: 18264 LB: 0 @ 73.725
74.30	c Restart #16 #Var: 18261 LB: 0 @ 74.259
74.54	c Restart #17 #Var: 18261 LB: 0 @ 74.498
75.16	c Restart #18 #Var: 18261 LB: 0 @ 75.112
75.90	c Restart #19 #Var: 18235 LB: 0 @ 75.859
76.49	c Restart #20 #Var: 18224 LB: 0 @ 76.449
77.63	c Restart #21 #Var: 18213 LB: 0 @ 77.583
78.29	c Restart #22 #Var: 18212 LB: 0 @ 78.246
78.92	c Restart #23 #Var: 18211 LB: 0 @ 78.873
80.48	c Restart #24 #Var: 18210 LB: 0 @ 80.429
81.36	c Restart #25 #Var: 18210 LB: 0 @ 81.313
86.34	c Restart #26 #Var: 18209 LB: 0 @ 86.275
87.71	c Restart #27 #Var: 18204 LB: 0 @ 87.643
90.57	c Restart #28 #Var: 18203 LB: 0 @ 90.502
93.16	c Restart #29 #Var: 18200 LB: 0 @ 93.087
94.02	c Restart #30 #Var: 18200 LB: 0 @ 93.956
96.57	c Restart #31 #Var: 18189 LB: 0 @ 96.499
103.51	c Restart #32 #Var: 18186 LB: 0 @ 103.43
104.89	c Restart #33 #Var: 18177 LB: 0 @ 104.82
106.60	c Restart #34 #Var: 18177 LB: 0 @ 106.52
114.13	c Restart #35 #Var: 18177 LB: 0 @ 114.06
117.15	c Restart #36 #Var: 18177 LB: 0 @ 117.07
122.16	c Restart #37 #Var: 18176 LB: 0 @ 122.08
124.83	c Restart #38 #Var: 18176 LB: 0 @ 124.75
127.11	c Restart #39 #Var: 18176 LB: 0 @ 127.03
134.64	c Restart #40 #Var: 18176 LB: 0 @ 134.56
137.13	c Restart #41 #Var: 18176 LB: 0 @ 137.04
141.51	c Restart #42 #Var: 18175 LB: 0 @ 141.43
182.07	c Restart #43 #Var: 18175 LB: 0 @ 181.97
188.08	c Restart #44 #Var: 18174 LB: 0 @ 187.98
207.56	c Restart #45 #Var: 18174 LB: 0 @ 207.46
211.50	c Restart #46 #Var: 18172 LB: 0 @ 211.39
227.49	c Restart #47 #Var: 18172 LB: 0 @ 227.38
237.59	c Restart #48 #Var: 18172 LB: 0 @ 237.47
246.83	c Restart #49 #Var: 18172 LB: 0 @ 246.7
250.68	c Restart #50 #Var: 18172 LB: 0 @ 250.56
256.61	c Restart #51 #Var: 18168 LB: 3 @ 256.49
262.46	c Restart #52 #Var: 18167 LB: 3 @ 262.33
265.40	c Restart #53 #Var: 18167 LB: 3 @ 265.27
268.92	c Restart #54 #Var: 18167 LB: 3 @ 268.79
276.31	c Restart #55 #Var: 18166 LB: 3 @ 276.17
280.30	c Restart #56 #Var: 18163 LB: 6 @ 280.17
282.21	c Restart #57 #Var: 18163 LB: 6 @ 282.07
285.42	c Restart #58 #Var: 18163 LB: 6 @ 285.29
296.86	c Restart #59 #Var: 18153 LB: 6 @ 296.72
299.58	c Restart #60 #Var: 18153 LB: 6 @ 299.44
311.02	c Restart #61 #Var: 18151 LB: 8 @ 310.87
320.55	c Restart #62 #Var: 18151 LB: 8 @ 320.4
335.52	c Restart #63 #Var: 18151 LB: 8 @ 335.37
338.33	c Restart #64 #Var: 18151 LB: 8 @ 338.17
351.40	c Restart #65 #Var: 18151 LB: 8 @ 351.24
378.39	c Restart #66 #Var: 18151 LB: 8 @ 378.22
392.86	c Restart #67 #Var: 18151 LB: 8 @ 392.68
418.19	c Restart #68 #Var: 18151 LB: 8 @ 418
433.84	c Restart #69 #Var: 18151 LB: 8 @ 433.64
452.82	c Restart #70 #Var: 18151 LB: 8 @ 452.62
489.87	c Restart #71 #Var: 18151 LB: 8 @ 489.66
497.10	c Restart #72 #Var: 18151 LB: 8 @ 496.89
528.60	c Restart #73 #Var: 18151 LB: 8 @ 528.37
604.49	c Restart #74 #Var: 18151 LB: 8 @ 604.24
696.69	c Restart #75 #Var: 18151 LB: 8 @ 696.4
712.48	c Restart #76 #Var: 18151 LB: 8 @ 712.19
726.06	c Restart #77 #Var: 18151 LB: 8 @ 725.76
749.27	c Restart #78 #Var: 18151 LB: 8 @ 748.97
807.20	c Restart #79 #Var: 18151 LB: 8 @ 806.87
854.00	c Restart #80 #Var: 18151 LB: 8 @ 853.66
889.76	c Restart #81 #Var: 18151 LB: 8 @ 889.41
1021.42	c CHANGE Heuristic... 
1021.42	c Restart #0 #Var: 18151 LB: 8 @ 1021
1021.87	c Restart #1 #Var: 18151 LB: 8 @ 1021.5
1022.10	c Restart #2 #Var: 18146 LB: 8 @ 1021.7
1022.30	c Restart #3 #Var: 18145 LB: 8 @ 1021.9
1023.05	c Restart #4 #Var: 18131 LB: 8 @ 1022.6
1023.40	c Restart #5 #Var: 18131 LB: 8 @ 1023
1024.06	c Restart #6 #Var: 18131 LB: 8 @ 1023.7
1024.57	c Restart #7 #Var: 18117 LB: 8 @ 1024.2
1025.40	c Restart #8 #Var: 18117 LB: 8 @ 1025
1025.87	c Restart #9 #Var: 18111 LB: 8 @ 1025.5
1027.46	c Restart #10 #Var: 18111 LB: 8 @ 1027.1
1031.20	c Restart #11 #Var: 18104 LB: 8 @ 1030.8
1032.38	c Restart #12 #Var: 18103 LB: 8 @ 1032
1033.07	c Restart #13 #Var: 18103 LB: 8 @ 1032.7
1034.16	c Restart #14 #Var: 18099 LB: 8 @ 1033.8
1035.71	c Restart #15 #Var: 18099 LB: 8 @ 1035.3
1038.05	c Restart #16 #Var: 18099 LB: 8 @ 1037.6
1059.11	c Restart #17 #Var: 18096 LB: 8 @ 1058.7
1064.88	c Restart #18 #Var: 18096 LB: 8 @ 1064.5
1067.26	c Restart #19 #Var: 18095 LB: 8 @ 1066.8
1070.37	c Restart #20 #Var: 18095 LB: 8 @ 1069.9
1074.83	c Restart #21 #Var: 18095 LB: 8 @ 1074.4
1080.12	c Restart #22 #Var: 18095 LB: 8 @ 1079.7
1081.35	c Restart #23 #Var: 18095 LB: 8 @ 1080.9
1085.84	c Restart #24 #Var: 18094 LB: 8 @ 1085.4
1088.52	c Restart #25 #Var: 18083 LB: 8 @ 1088.1
1107.29	c Restart #26 #Var: 18083 LB: 8 @ 1106.9
1148.57	c Restart #27 #Var: 18083 LB: 8 @ 1148.1
1230.60	c Restart #28 #Var: 18083 LB: 8 @ 1230.1
1233.37	c Restart #29 #Var: 18083 LB: 8 @ 1232.9
1242.38	c Restart #30 #Var: 18064 LB: 8 @ 1241.9
1274.71	c Restart #31 #Var: 18064 LB: 8 @ 1274.2
1289.90	c Restart #32 #Var: 18064 LB: 8 @ 1289.4
1293.36	c Restart #33 #Var: 18054 LB: 8 @ 1292.9
1328.00	c Restart #34 #Var: 18054 LB: 8 @ 1327.5
1369.75	c Restart #35 #Var: 18054 LB: 8 @ 1369.2
1427.90	c Restart #36 #Var: 18054 LB: 8 @ 1427.4
1479.65	c Restart #37 #Var: 18054 LB: 8 @ 1479.1
1518.89	c Restart #38 #Var: 18054 LB: 8 @ 1518.3
1541.78	c Restart #39 #Var: 18054 LB: 8 @ 1541.2
1607.22	c Restart #40 #Var: 18054 LB: 8 @ 1606.6
1637.68	c Restart #41 #Var: 18054 LB: 8 @ 1637.1
1693.09	c Restart #42 #Var: 18054 LB: 8 @ 1692.5
1730.41	c Restart #43 #Var: 18054 LB: 8 @ 1729.8
1800.70	s UNKNOWN
1800.70	c Exit Code: 0
1800.70	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/node70/watcher-39847-1149260391 -o ROOT/results/node70/solver-39847-1149260391 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node70/39847-1149260391/instance-39847-1149260391.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.91 0.95 0.90 3/64 32366
/proc/meminfo: memFree=1860384/2055920 swapFree=4182232/4192956
[pid=32366] ppid=32364 vsize=4748 CPUtime=0
/proc/32366/stat : 32366 (bsolo) R 32364 32366 32320 0 -1 0 210 0 0 0 0 0 0 0 18 0 1 0 191708665 4861952 181 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 8850213 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32366/statm: 1187 190 144 55 0 79 0

[startup+10.0027 s]
/proc/loadavg: 0.93 0.95 0.90 2/64 32366
/proc/meminfo: memFree=1834344/2055920 swapFree=4182232/4192956
[pid=32366] ppid=32364 vsize=31324 CPUtime=9.99
/proc/32366/stat : 32366 (bsolo) R 32364 32366 32320 0 -1 0 7221 0 0 0 993 6 0 0 25 0 1 0 191708665 32075776 6829 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548372 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32366/statm: 7831 6829 297 55 0 6723 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 31324

[startup+20.0095 s]
/proc/loadavg: 0.94 0.96 0.91 2/64 32366
/proc/meminfo: memFree=1834088/2055920 swapFree=4182232/4192956
[pid=32366] ppid=32364 vsize=31580 CPUtime=19.98
/proc/32366/stat : 32366 (bsolo) R 32364 32366 32320 0 -1 0 7469 0 0 0 1989 9 0 0 25 0 1 0 191708665 32337920 6897 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32366/statm: 7895 6897 297 55 0 6787 0
Current children cumulated CPU time (s) 19.98
Current children cumulated vsize (Kb) 31580

[startup+30.0153 s]
/proc/loadavg: 0.95 0.96 0.91 2/64 32366
/proc/meminfo: memFree=1834600/2055920 swapFree=4182232/4192956
[pid=32366] ppid=32364 vsize=30840 CPUtime=29.99
/proc/32366/stat : 32366 (bsolo) R 32364 32366 32320 0 -1 0 7563 0 0 0 2989 10 0 0 25 0 1 0 191708665 31580160 6720 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548386 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32366/statm: 7710 6720 297 55 0 6602 0
Current children cumulated CPU time (s) 29.99
Current children cumulated vsize (Kb) 30840

[startup+40.0212 s]
/proc/loadavg: 0.95 0.96 0.91 2/64 32366
/proc/meminfo: memFree=1834216/2055920 swapFree=4182232/4192956
[pid=32366] ppid=32364 vsize=31512 CPUtime=39.99
/proc/32366/stat : 32366 (bsolo) R 32364 32366 32320 0 -1 0 7708 0 0 0 3987 12 0 0 25 0 1 0 191708665 32268288 6865 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548375 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32366/statm: 7878 6865 297 55 0 6770 0
Current children cumulated CPU time (s) 39.99
Current children cumulated vsize (Kb) 31512

[startup+50.027 s]
/proc/loadavg: 0.96 0.96 0.91 2/64 32366
/proc/meminfo: memFree=1834024/2055920 swapFree=4182232/4192956
[pid=32366] ppid=32364 vsize=31660 CPUtime=49.99
/proc/32366/stat : 32366 (bsolo) R 32364 32366 32320 0 -1 0 7751 0 0 0 4986 13 0 0 25 0 1 0 191708665 32419840 6908 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548372 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32366/statm: 7915 6908 297 55 0 6807 0
Current children cumulated CPU time (s) 49.99
Current children cumulated vsize (Kb) 31660

[startup+60.0328 s]
/proc/loadavg: 0.97 0.96 0.91 2/64 32366
/proc/meminfo: memFree=1834472/2055920 swapFree=4182232/4192956
[pid=32366] ppid=32364 vsize=31244 CPUtime=60
/proc/32366/stat : 32366 (bsolo) R 32364 32366 32320 0 -1 0 7849 0 0 0 5984 16 0 0 25 0 1 0 191708665 31993856 6788 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32366/statm: 7811 6788 297 55 0 6703 0
Current children cumulated CPU time (s) 60
Current children cumulated vsize (Kb) 31244

[startup+70.0396 s]
/proc/loadavg: 0.97 0.96 0.91 2/64 32366
/proc/meminfo: memFree=1834600/2055920 swapFree=4182232/4192956
[pid=32366] ppid=32364 vsize=30840 CPUtime=70
/proc/32366/stat : 32366 (bsolo) R 32364 32366 32320 0 -1 0 7899 0 0 0 6977 23 0 0 25 0 1 0 191708665 31580160 6720 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32366/statm: 7710 6720 297 55 0 6602 0
Current children cumulated CPU time (s) 70
Current children cumulated vsize (Kb) 30840

[startup+80.0464 s]
/proc/loadavg: 0.98 0.96 0.91 2/70 32479
/proc/meminfo: memFree=1783992/2055920 swapFree=4182232/4192956
[pid=32366] ppid=32364 vsize=80404 CPUtime=79.99
/proc/32366/stat : 32366 (bsolo) R 32364 32366 32320 0 -1 0 20305 0 0 0 7960 39 0 0 25 0 1 0 191708665 82333696 19103 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 8849019 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32366/statm: 20101 19103 297 55 0 18993 0
Current children cumulated CPU time (s) 79.99
Current children cumulated vsize (Kb) 80404

[startup+90.0533 s]
/proc/loadavg: 0.98 0.96 0.91 2/64 32561
/proc/meminfo: memFree=1762336/2055920 swapFree=4182232/4192956
[pid=32366] ppid=32364 vsize=102840 CPUtime=89.98
/proc/32366/stat : 32366 (bsolo) R 32364 32366 32320 0 -1 0 25923 0 0 0 8953 45 0 0 25 0 1 0 191708665 105308160 24720 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529180 0 0 4096 16384 0 0 0 17 0 0 0
/proc/32366/statm: 25710 24720 297 55 0 24602 0
Current children cumulated CPU time (s) 89.98
Current children cumulated vsize (Kb) 102840

[startup+100.059 s]
/proc/loadavg: 0.98 0.96 0.91 2/64 32561
/proc/meminfo: memFree=1737704/2055920 swapFree=4182232/4192956
[pid=32366] ppid=32364 vsize=127656 CPUtime=99.98
/proc/32366/stat : 32366 (bsolo) R 32364 32366 32320 0 -1 0 32104 0 0 0 9946 52 0 0 25 0 1 0 191708665 130719744 30901 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551604 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32366/statm: 31914 30901 297 55 0 30806 0
Current children cumulated CPU time (s) 99.98
Current children cumulated vsize (Kb) 127656

[startup+110.065 s]
/proc/loadavg: 0.98 0.96 0.91 2/64 32561
/proc/meminfo: memFree=1715176/2055920 swapFree=4182232/4192956
[pid=32366] ppid=32364 vsize=150228 CPUtime=109.98
/proc/32366/stat : 32366 (bsolo) R 32364 32366 32320 0 -1 0 37735 0 0 0 10942 56 0 0 25 0 1 0 191708665 153833472 36532 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524334 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32366/statm: 37557 36532 297 55 0 36449 0
Current children cumulated CPU time (s) 109.98
Current children cumulated vsize (Kb) 150228

[startup+120.071 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 32561
/proc/meminfo: memFree=1701224/2055920 swapFree=4182232/4192956
[pid=32366] ppid=32364 vsize=164096 CPUtime=119.98
/proc/32366/stat : 32366 (bsolo) R 32364 32366 32320 0 -1 0 41203 0 0 0 11938 60 0 0 25 0 1 0 191708665 168034304 39999 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32366/statm: 41024 39999 297 55 0 39916 0
Current children cumulated CPU time (s) 119.98
Current children cumulated vsize (Kb) 164096

[startup+130.077 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 32561
/proc/meminfo: memFree=1676264/2055920 swapFree=4182232/4192956
[pid=32366] ppid=32364 vsize=189032 CPUtime=129.98
/proc/32366/stat : 32366 (bsolo) R 32364 32366 32320 0 -1 0 47433 0 0 0 12931 67 0 0 25 0 1 0 191708665 193568768 46229 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540699 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32366/statm: 47258 46229 297 55 0 46150 0
Current children cumulated CPU time (s) 129.98
Current children cumulated vsize (Kb) 189032

[startup+140.082 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 32561
/proc/meminfo: memFree=1658408/2055920 swapFree=4182232/4192956
[pid=32366] ppid=32364 vsize=206876 CPUtime=139.98
/proc/32366/stat : 32366 (bsolo) R 32364 32366 32320 0 -1 0 51891 0 0 0 13927 71 0 0 25 0 1 0 191708665 211841024 50687 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32366/statm: 51719 50687 297 55 0 50611 0
Current children cumulated CPU time (s) 139.98
Current children cumulated vsize (Kb) 206876

[startup+150.088 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 32561
/proc/meminfo: memFree=1649000/2055920 swapFree=4182232/4192956
[pid=32366] ppid=32364 vsize=216252 CPUtime=149.99
/proc/32366/stat : 32366 (bsolo) R 32364 32366 32320 0 -1 0 54243 0 0 0 14926 73 0 0 25 0 1 0 191708665 221442048 53039 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134719654 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32366/statm: 54063 53039 297 55 0 52955 0
Current children cumulated CPU time (s) 149.99
Current children cumulated vsize (Kb) 216252

[startup+160.094 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 32561
/proc/meminfo: memFree=1647144/2055920 swapFree=4182232/4192956
[pid=32366] ppid=32364 vsize=218100 CPUtime=159.99
/proc/32366/stat : 32366 (bsolo) R 32364 32366 32320 0 -1 0 54700 0 0 0 15925 74 0 0 25 0 1 0 191708665 223334400 53496 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32366/statm: 54525 53496 297 55 0 53417 0
Current children cumulated CPU time (s) 159.99
Current children cumulated vsize (Kb) 218100

[startup+170.1 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 32561
/proc/meminfo: memFree=1645224/2055920 swapFree=4182232/4192956
[pid=32366] ppid=32364 vsize=220080 CPUtime=169.99
/proc/32366/stat : 32366 (bsolo) R 32364 32366 32320 0 -1 0 55186 0 0 0 16925 74 0 0 25 0 1 0 191708665 225361920 53982 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32366/statm: 55020 53982 297 55 0 53912 0
Current children cumulated CPU time (s) 169.99
Current children cumulated vsize (Kb) 220080

[startup+180.106 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 32561
/proc/meminfo: memFree=1641832/2055920 swapFree=4182232/4192956
[pid=32366] ppid=32364 vsize=223380 CPUtime=180
/proc/32366/stat : 32366 (bsolo) R 32364 32366 32320 0 -1 0 56024 0 0 0 17924 76 0 0 25 0 1 0 191708665 228741120 54820 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32366/statm: 55845 54820 297 55 0 54737 0
Current children cumulated CPU time (s) 180
Current children cumulated vsize (Kb) 223380

[startup+190.111 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 32561
/proc/meminfo: memFree=1631656/2055920 swapFree=4182232/4192956
[pid=32366] ppid=32364 vsize=233568 CPUtime=190
/proc/32366/stat : 32366 (bsolo) R 32364 32366 32320 0 -1 0 58564 0 0 0 18921 79 0 0 25 0 1 0 191708665 239173632 57360 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134607308 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32366/statm: 58392 57360 297 55 0 57284 0
Current children cumulated CPU time (s) 190
Current children cumulated vsize (Kb) 233568

[startup+200.117 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 32561
/proc/meminfo: memFree=1625960/2055920 swapFree=4182232/4192956
[pid=32366] ppid=32364 vsize=239248 CPUtime=200.07
/proc/32366/stat : 32366 (bsolo) R 32364 32366 32320 0 -1 0 59984 0 0 0 19926 81 0 0 25 0 1 0 191708665 244989952 58780 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548503 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32366/statm: 59812 58780 297 55 0 58704 0
Current children cumulated CPU time (s) 200.07
Current children cumulated vsize (Kb) 239248

[startup+210.195 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 32561
/proc/meminfo: memFree=1619752/2055920 swapFree=4182232/4192956

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

/proc/32366/statm: 205250 203847 297 55 0 204142 0
Current children cumulated CPU time (s) 1760.45
Current children cumulated vsize (Kb) 821000

[startup+1771.13 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 32561
/proc/meminfo: memFree=1043432/2055920 swapFree=4182232/4192956
[pid=32366] ppid=32364 vsize=821660 CPUtime=1770.45
/proc/32366/stat : 32366 (bsolo) R 32364 32366 32320 0 -1 0 205372 0 0 0 176751 294 0 0 25 0 1 0 191708665 841379840 204027 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528720 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32366/statm: 205415 204027 297 55 0 204307 0
Current children cumulated CPU time (s) 1770.45
Current children cumulated vsize (Kb) 821660

[startup+1781.13 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 32561
/proc/meminfo: memFree=1042792/2055920 swapFree=4182232/4192956
[pid=32366] ppid=32364 vsize=822320 CPUtime=1780.45
/proc/32366/stat : 32366 (bsolo) R 32364 32366 32320 0 -1 0 205536 0 0 0 177751 294 0 0 25 0 1 0 191708665 842055680 204191 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32366/statm: 205580 204191 297 55 0 204472 0
Current children cumulated CPU time (s) 1780.45
Current children cumulated vsize (Kb) 822320

[startup+1782.14 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 32561
/proc/meminfo: memFree=1042664/2055920 swapFree=4182232/4192956
[pid=32366] ppid=32364 vsize=822452 CPUtime=1781.45
/proc/32366/stat : 32366 (bsolo) R 32364 32366 32320 0 -1 0 205564 0 0 0 177851 294 0 0 25 0 1 0 191708665 842190848 204219 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32366/statm: 205613 204219 297 55 0 204505 0
Current children cumulated CPU time (s) 1781.45
Current children cumulated vsize (Kb) 822452

[startup+1783.14 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 32561
/proc/meminfo: memFree=1042536/2055920 swapFree=4182232/4192956
[pid=32366] ppid=32364 vsize=822584 CPUtime=1782.46
/proc/32366/stat : 32366 (bsolo) R 32364 32366 32320 0 -1 0 205598 0 0 0 177952 294 0 0 25 0 1 0 191708665 842326016 204253 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32366/statm: 205646 204253 297 55 0 204538 0
Current children cumulated CPU time (s) 1782.46
Current children cumulated vsize (Kb) 822584

[startup+1784.15 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 32561
/proc/meminfo: memFree=1042408/2055920 swapFree=4182232/4192956
[pid=32366] ppid=32364 vsize=822716 CPUtime=1783.47
/proc/32366/stat : 32366 (bsolo) R 32364 32366 32320 0 -1 0 205628 0 0 0 178052 295 0 0 25 0 1 0 191708665 842461184 204283 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534926 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32366/statm: 205679 204283 297 55 0 204571 0
Current children cumulated CPU time (s) 1783.47
Current children cumulated vsize (Kb) 822716

[startup+1785.15 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 32561
/proc/meminfo: memFree=1042344/2055920 swapFree=4182232/4192956
[pid=32366] ppid=32364 vsize=822848 CPUtime=1784.47
/proc/32366/stat : 32366 (bsolo) R 32364 32366 32320 0 -1 0 205655 0 0 0 178152 295 0 0 25 0 1 0 191708665 842596352 204310 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32366/statm: 205712 204310 297 55 0 204604 0
Current children cumulated CPU time (s) 1784.47
Current children cumulated vsize (Kb) 822848

[startup+1786.16 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 32561
/proc/meminfo: memFree=1042216/2055920 swapFree=4182232/4192956
[pid=32366] ppid=32364 vsize=822848 CPUtime=1785.48
/proc/32366/stat : 32366 (bsolo) R 32364 32366 32320 0 -1 0 205685 0 0 0 178253 295 0 0 25 0 1 0 191708665 842596352 204340 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32366/statm: 205712 204340 297 55 0 204604 0
Current children cumulated CPU time (s) 1785.48
Current children cumulated vsize (Kb) 822848

[startup+1787.16 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 32561
/proc/meminfo: memFree=1042088/2055920 swapFree=4182232/4192956
[pid=32366] ppid=32364 vsize=822980 CPUtime=1786.48
/proc/32366/stat : 32366 (bsolo) R 32364 32366 32320 0 -1 0 205714 0 0 0 178353 295 0 0 25 0 1 0 191708665 842731520 204369 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32366/statm: 205745 204369 297 55 0 204637 0
Current children cumulated CPU time (s) 1786.48
Current children cumulated vsize (Kb) 822980

[startup+1788.17 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 32561
/proc/meminfo: memFree=1041960/2055920 swapFree=4182232/4192956
[pid=32366] ppid=32364 vsize=823112 CPUtime=1787.48
/proc/32366/stat : 32366 (bsolo) R 32364 32366 32320 0 -1 0 205741 0 0 0 178453 295 0 0 25 0 1 0 191708665 842866688 204396 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534130 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32366/statm: 205778 204396 297 55 0 204670 0
Current children cumulated CPU time (s) 1787.48
Current children cumulated vsize (Kb) 823112

[startup+1789.17 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 32561
/proc/meminfo: memFree=1041896/2055920 swapFree=4182232/4192956
[pid=32366] ppid=32364 vsize=823244 CPUtime=1788.49
/proc/32366/stat : 32366 (bsolo) R 32364 32366 32320 0 -1 0 205761 0 0 0 178554 295 0 0 25 0 1 0 191708665 843001856 204416 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32366/statm: 205811 204416 297 55 0 204703 0
Current children cumulated CPU time (s) 1788.49
Current children cumulated vsize (Kb) 823244

[startup+1790.18 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 32561
/proc/meminfo: memFree=1041832/2055920 swapFree=4182232/4192956
[pid=32366] ppid=32364 vsize=823244 CPUtime=1789.49
/proc/32366/stat : 32366 (bsolo) R 32364 32366 32320 0 -1 0 205773 0 0 0 178654 295 0 0 25 0 1 0 191708665 843001856 204428 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528665 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32366/statm: 205811 204428 297 55 0 204703 0
Current children cumulated CPU time (s) 1789.49
Current children cumulated vsize (Kb) 823244

[startup+1791.18 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 32561
/proc/meminfo: memFree=1041768/2055920 swapFree=4182232/4192956
[pid=32366] ppid=32364 vsize=823376 CPUtime=1790.5
/proc/32366/stat : 32366 (bsolo) R 32364 32366 32320 0 -1 0 205789 0 0 0 178755 295 0 0 25 0 1 0 191708665 843137024 204444 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32366/statm: 205844 204444 297 55 0 204736 0
Current children cumulated CPU time (s) 1790.5
Current children cumulated vsize (Kb) 823376

[startup+1792.19 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 32561
/proc/meminfo: memFree=1041704/2055920 swapFree=4182232/4192956
[pid=32366] ppid=32364 vsize=823376 CPUtime=1791.5
/proc/32366/stat : 32366 (bsolo) R 32364 32366 32320 0 -1 0 205810 0 0 0 178855 295 0 0 25 0 1 0 191708665 843137024 204465 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32366/statm: 205844 204465 297 55 0 204736 0
Current children cumulated CPU time (s) 1791.5
Current children cumulated vsize (Kb) 823376

[startup+1793.19 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 32561
/proc/meminfo: memFree=1041640/2055920 swapFree=4182232/4192956
[pid=32366] ppid=32364 vsize=823508 CPUtime=1792.5
/proc/32366/stat : 32366 (bsolo) R 32364 32366 32320 0 -1 0 205820 0 0 0 178955 295 0 0 25 0 1 0 191708665 843272192 204475 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529176 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32366/statm: 205877 204475 297 55 0 204769 0
Current children cumulated CPU time (s) 1792.5
Current children cumulated vsize (Kb) 823508

[startup+1794.2 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 32561
/proc/meminfo: memFree=1041576/2055920 swapFree=4182232/4192956
[pid=32366] ppid=32364 vsize=823508 CPUtime=1793.51
/proc/32366/stat : 32366 (bsolo) R 32364 32366 32320 0 -1 0 205832 0 0 0 179056 295 0 0 25 0 1 0 191708665 843272192 204487 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32366/statm: 205877 204487 297 55 0 204769 0
Current children cumulated CPU time (s) 1793.51
Current children cumulated vsize (Kb) 823508

[startup+1795.2 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 32561
/proc/meminfo: memFree=1041576/2055920 swapFree=4182232/4192956
[pid=32366] ppid=32364 vsize=823508 CPUtime=1794.51
/proc/32366/stat : 32366 (bsolo) R 32364 32366 32320 0 -1 0 205845 0 0 0 179156 295 0 0 25 0 1 0 191708665 843272192 204500 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718642 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32366/statm: 205877 204500 297 55 0 204769 0
Current children cumulated CPU time (s) 1794.51
Current children cumulated vsize (Kb) 823508

[startup+1796.2 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 32561
/proc/meminfo: memFree=1041512/2055920 swapFree=4182232/4192956
[pid=32366] ppid=32364 vsize=823640 CPUtime=1795.52
/proc/32366/stat : 32366 (bsolo) R 32364 32366 32320 0 -1 0 205860 0 0 0 179257 295 0 0 25 0 1 0 191708665 843407360 204515 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534933 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32366/statm: 205910 204515 297 55 0 204802 0
Current children cumulated CPU time (s) 1795.52
Current children cumulated vsize (Kb) 823640

[startup+1797.21 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 32561
/proc/meminfo: memFree=1041448/2055920 swapFree=4182232/4192956
[pid=32366] ppid=32364 vsize=823640 CPUtime=1796.52
/proc/32366/stat : 32366 (bsolo) R 32364 32366 32320 0 -1 0 205877 0 0 0 179357 295 0 0 25 0 1 0 191708665 843407360 204532 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32366/statm: 205910 204532 297 55 0 204802 0
Current children cumulated CPU time (s) 1796.52
Current children cumulated vsize (Kb) 823640

[startup+1798.22 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 32561
/proc/meminfo: memFree=1041320/2055920 swapFree=4182232/4192956
[pid=32366] ppid=32364 vsize=823772 CPUtime=1797.53
/proc/32366/stat : 32366 (bsolo) R 32364 32366 32320 0 -1 0 205894 0 0 0 179458 295 0 0 25 0 1 0 191708665 843542528 204549 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32366/statm: 205943 204549 297 55 0 204835 0
Current children cumulated CPU time (s) 1797.53
Current children cumulated vsize (Kb) 823772

[startup+1799.22 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 32561
/proc/meminfo: memFree=1041256/2055920 swapFree=4182232/4192956
[pid=32366] ppid=32364 vsize=823772 CPUtime=1798.53
/proc/32366/stat : 32366 (bsolo) R 32364 32366 32320 0 -1 0 205911 0 0 0 179558 295 0 0 25 0 1 0 191708665 843542528 204566 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32366/statm: 205943 204566 297 55 0 204835 0
Current children cumulated CPU time (s) 1798.53
Current children cumulated vsize (Kb) 823772

[startup+1800.22 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 32561
/proc/meminfo: memFree=1041192/2055920 swapFree=4182232/4192956
[pid=32366] ppid=32364 vsize=823904 CPUtime=1799.53
/proc/32366/stat : 32366 (bsolo) R 32364 32366 32320 0 -1 0 205926 0 0 0 179658 295 0 0 25 0 1 0 191708665 843677696 204581 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32366/statm: 205976 204581 297 55 0 204868 0
Current children cumulated CPU time (s) 1799.53
Current children cumulated vsize (Kb) 823904

Child status: 0
Real time (s): 1800.84
CPU time (s): 1800.15
CPU user time (s): 1797.07
CPU system time (s): 3.08153
CPU usage (%): 99.9619
Max. virtual memory (cumulated for all children) (Kb): 823904

Launcher Data (download as text)

Begin job on node70 on Fri Jun  2 14:59:51 UTC 2006


FILE ID= 39847-1149260391

PBS_JOBID= 298621

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

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  012c11861136c422cb8bda81e1d7561a

RANDOM SEED= 792514275


/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.265
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.265
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:       1860656 kB
Buffers:         17812 kB
Cached:         106168 kB
SwapCached:       2364 kB
Active:          41388 kB
Inactive:        91228 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1860656 kB
SwapTotal:     4192956 kB
SwapFree:      4182232 kB
Dirty:             160 kB
Writeback:           0 kB
Mapped:          15404 kB
Slab:            48700 kB
Committed_AS:   198704 kB
PageTables:       1412 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node70 on Fri Jun  2 15:29:52 UTC 2006