Trace number 40776

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.26 1800.92

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/
MIPLIB/miplib2003/normalized-mps-v2-20-10-fixnet6.opb
MD5SUM10aa1c00308ded1f7e7eb2eaba9ffa44
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark57804647
Best CPU time to get the best result obtained on this benchmark1801.55
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 22035270
Optimality of the best value was proved NO
Number of variables14036
Total number of constraints600
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 constraints600
Minimum length of a constraint19
Maximum length of a constraint1523
Number of terms in the objective function 11714
Biggest coefficient in the objective function 1073741824
Number of bits for the biggest coefficient in the objective function 31
Sum of the numbers in the objective function 513431911800
Number of bits of the sum of numbers in the objective function 39
Biggest number in a constraint 1073741824
Number of bits of the biggest number in a constraint 31
Biggest sum of numbers in a constraint 513431911800
Number of bits of the biggest sum of numbers39
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.02	c BIG Int formula...
0.36	c Initial problem consists of 14036 variables and 700 constraints.
0.40	c No problem reductions applied in OPT. instance.
0.40	c	preprocess terminated. Elapsed time: 0.398
0.40	c After prepocess the problem consists of 7383 variables and 595 constraints.
0.40	c Initial Lower Bound: 0
0.55	c Restart #1 #Var: 7383 LB: 0 @ 0.548
0.79	c Restart #2 #Var: 7383 LB: 0 @ 0.779
1.10	c Restart #3 #Var: 7383 LB: 0 @ 1.094
1.50	c Restart #4 #Var: 7383 LB: 0 @ 1.495
1.99	c Restart #5 #Var: 7383 LB: 0 @ 1.979
2.55	c Restart #6 #Var: 7383 LB: 0 @ 2.545
3.21	c Restart #7 #Var: 7383 LB: 0 @ 3.199
3.94	c Restart #8 #Var: 7383 LB: 0 @ 3.933
4.76	c Restart #9 #Var: 7383 LB: 0 @ 4.756
5.79	c Restart #10 #Var: 7383 LB: 0 @ 5.787
6.23	c Restart #11 #Var: 7383 LB: 0 @ 6.219
6.49	c Restart #12 #Var: 7383 LB: 0 @ 6.481
6.66	c Restart #13 #Var: 7383 LB: 0 @ 6.655
6.87	c Restart #14 #Var: 7383 LB: 0 @ 6.864
7.10	c Restart #15 #Var: 7383 LB: 0 @ 7.093
7.32	c Restart #16 #Var: 7383 LB: 0 @ 7.309
7.52	c Restart #17 #Var: 7383 LB: 0 @ 7.508
7.73	c Restart #18 #Var: 7383 LB: 0 @ 7.718
8.11	c Restart #19 #Var: 7383 LB: 0 @ 8.099
8.47	c Restart #20 #Var: 7383 LB: 0 @ 8.466
8.85	c Restart #21 #Var: 7383 LB: 0 @ 8.846
9.17	c Restart #22 #Var: 7383 LB: 0 @ 9.16
9.42	c Restart #23 #Var: 7383 LB: 0 @ 9.416
9.70	c Restart #24 #Var: 7383 LB: 0 @ 9.686
9.98	c Restart #25 #Var: 7383 LB: 0 @ 9.975
10.32	c Restart #26 #Var: 7383 LB: 0 @ 10.303
10.68	c Restart #27 #Var: 7383 LB: 0 @ 10.668
11.12	c Restart #28 #Var: 7383 LB: 0 @ 11.11
11.61	c Restart #29 #Var: 7383 LB: 0 @ 11.599
12.05	c Restart #30 #Var: 7383 LB: 0 @ 12.039
12.45	c Restart #31 #Var: 7383 LB: 0 @ 12.433
12.85	c Restart #32 #Var: 7383 LB: 0 @ 12.842
13.30	c Restart #33 #Var: 7383 LB: 0 @ 13.291
13.85	c Restart #34 #Var: 7383 LB: 0 @ 13.841
14.50	c Restart #35 #Var: 7383 LB: 0 @ 14.486
14.99	c Restart #36 #Var: 7383 LB: 0 @ 14.977
15.48	c Restart #37 #Var: 7383 LB: 0 @ 15.463
15.96	c Restart #38 #Var: 7383 LB: 0 @ 15.941
16.44	c Restart #39 #Var: 7383 LB: 0 @ 16.428
16.90	c Restart #40 #Var: 7383 LB: 0 @ 16.885
17.40	c Restart #41 #Var: 7383 LB: 0 @ 17.389
17.92	c Restart #42 #Var: 7383 LB: 0 @ 17.906
18.46	c Restart #43 #Var: 7383 LB: 0 @ 18.449
19.03	c Restart #44 #Var: 7383 LB: 0 @ 19.01
19.61	c Restart #45 #Var: 7383 LB: 0 @ 19.598
20.20	c Restart #46 #Var: 7383 LB: 0 @ 20.186
20.81	c Restart #47 #Var: 7383 LB: 0 @ 20.795
21.45	c Restart #48 #Var: 7383 LB: 0 @ 21.432
22.10	c Restart #49 #Var: 7383 LB: 0 @ 22.078
22.77	c Restart #50 #Var: 7383 LB: 0 @ 22.749
23.44	c Restart #51 #Var: 7383 LB: 0 @ 23.427
24.15	c Restart #52 #Var: 7383 LB: 0 @ 24.13
24.87	c Restart #53 #Var: 7383 LB: 0 @ 24.851
25.62	c Restart #54 #Var: 7383 LB: 0 @ 25.601
26.37	c Restart #55 #Var: 7383 LB: 0 @ 26.353
27.15	c Restart #56 #Var: 7383 LB: 0 @ 27.128
27.95	c Restart #57 #Var: 7383 LB: 0 @ 27.927
28.76	c Restart #58 #Var: 7383 LB: 0 @ 28.745
29.58	c Restart #59 #Var: 7383 LB: 0 @ 29.564
30.42	c Restart #60 #Var: 7383 LB: 0 @ 30.4
31.28	c Restart #61 #Var: 7383 LB: 0 @ 31.26
32.15	c Restart #62 #Var: 7383 LB: 0 @ 32.129
33.01	c Restart #63 #Var: 7383 LB: 0 @ 32.995
33.90	c Restart #64 #Var: 7383 LB: 0 @ 33.876
34.80	c Restart #65 #Var: 7383 LB: 0 @ 34.776
35.71	c Restart #66 #Var: 7383 LB: 0 @ 35.686
36.64	c Restart #67 #Var: 7383 LB: 0 @ 36.62
37.60	c Restart #68 #Var: 7383 LB: 0 @ 37.579
38.56	c Restart #69 #Var: 7383 LB: 0 @ 38.536
39.55	c Restart #70 #Var: 7383 LB: 0 @ 39.531
40.54	c Restart #71 #Var: 7383 LB: 0 @ 40.511
41.56	c Restart #72 #Var: 7383 LB: 0 @ 41.54
42.58	c Restart #73 #Var: 7383 LB: 0 @ 42.557
43.65	c Restart #74 #Var: 7383 LB: 0 @ 43.63
44.70	c Restart #75 #Var: 7383 LB: 0 @ 44.674
45.79	c Restart #76 #Var: 7383 LB: 0 @ 45.769
46.88	c Restart #77 #Var: 7383 LB: 0 @ 46.85
47.98	c Restart #78 #Var: 7383 LB: 0 @ 47.949
49.10	c Restart #79 #Var: 7383 LB: 0 @ 49.075
50.23	c Restart #80 #Var: 7383 LB: 0 @ 50.206
51.37	c Restart #81 #Var: 7383 LB: 0 @ 51.347
52.51	c Restart #82 #Var: 7383 LB: 0 @ 52.485
53.65	c Restart #83 #Var: 7383 LB: 0 @ 53.625
54.83	c Restart #84 #Var: 7383 LB: 0 @ 54.799
56.00	c Restart #85 #Var: 7383 LB: 0 @ 55.973
57.21	c Restart #86 #Var: 7383 LB: 0 @ 57.184
58.43	c Restart #87 #Var: 7383 LB: 0 @ 58.403
59.68	c Restart #88 #Var: 7383 LB: 0 @ 59.651
60.93	c Restart #89 #Var: 7383 LB: 0 @ 60.897
62.18	c Restart #90 #Var: 7383 LB: 0 @ 62.153
63.47	c Restart #91 #Var: 7383 LB: 0 @ 63.44
64.79	c Restart #92 #Var: 7383 LB: 0 @ 64.758
66.09	c Restart #93 #Var: 7383 LB: 0 @ 66.061
67.43	c Restart #94 #Var: 7383 LB: 0 @ 67.396
68.74	c Restart #95 #Var: 7383 LB: 0 @ 68.711
70.09	c Restart #96 #Var: 7383 LB: 0 @ 70.054
71.43	c Restart #97 #Var: 7383 LB: 0 @ 71.4
72.80	c Restart #98 #Var: 7383 LB: 0 @ 72.769
74.19	c Restart #99 #Var: 7383 LB: 0 @ 74.151
75.61	c Restart #100 #Var: 7383 LB: 0 @ 75.576
77.02	c Restart #101 #Var: 7383 LB: 0 @ 76.986
78.44	c Restart #102 #Var: 7383 LB: 0 @ 78.403
79.90	c Restart #103 #Var: 7383 LB: 0 @ 79.863
81.40	c Restart #104 #Var: 7383 LB: 0 @ 81.359
82.90	c Restart #105 #Var: 7383 LB: 0 @ 82.86
84.44	c Restart #106 #Var: 7383 LB: 0 @ 84.401
85.97	c Restart #107 #Var: 7383 LB: 0 @ 85.936
87.55	c Restart #108 #Var: 7383 LB: 0 @ 87.51
89.11	c Restart #109 #Var: 7383 LB: 0 @ 89.073
90.69	c Restart #110 #Var: 7383 LB: 0 @ 90.652
92.27	c Restart #111 #Var: 7383 LB: 0 @ 92.226
93.87	c Restart #112 #Var: 7383 LB: 0 @ 93.831
95.45	c Restart #113 #Var: 7383 LB: 0 @ 95.409
97.07	c Restart #114 #Var: 7383 LB: 0 @ 97.027
98.67	c Restart #115 #Var: 7383 LB: 0 @ 98.628
100.36	c Restart #116 #Var: 7383 LB: 0 @ 100.32
102.02	c Restart #117 #Var: 7383 LB: 0 @ 101.98
103.77	c Restart #118 #Var: 7383 LB: 0 @ 103.72
105.45	c Restart #119 #Var: 7383 LB: 0 @ 105.41
107.21	c Restart #120 #Var: 7383 LB: 0 @ 107.16
108.90	c Restart #121 #Var: 7383 LB: 0 @ 108.85
110.66	c Restart #122 #Var: 7383 LB: 0 @ 110.61
112.39	c Restart #123 #Var: 7383 LB: 0 @ 112.34
114.18	c Restart #124 #Var: 7383 LB: 0 @ 114.13
115.94	c Restart #125 #Var: 7383 LB: 0 @ 115.89
117.73	c Restart #126 #Var: 7383 LB: 0 @ 117.68
119.48	c Restart #127 #Var: 7383 LB: 0 @ 119.43
121.32	c Restart #128 #Var: 7383 LB: 0 @ 121.27
123.13	c Restart #129 #Var: 7383 LB: 0 @ 123.08
125.02	c Restart #130 #Var: 7383 LB: 0 @ 124.97
126.85	c Restart #131 #Var: 7383 LB: 0 @ 126.8
128.79	c Restart #132 #Var: 7383 LB: 0 @ 128.74
130.66	c Restart #133 #Var: 7383 LB: 0 @ 130.6
132.63	c Restart #134 #Var: 7383 LB: 0 @ 132.58
134.53	c Restart #135 #Var: 7383 LB: 0 @ 134.47
136.51	c Restart #136 #Var: 7383 LB: 0 @ 136.45
138.43	c Restart #137 #Var: 7383 LB: 0 @ 138.37
140.48	c Restart #138 #Var: 7383 LB: 0 @ 140.42
142.45	c Restart #139 #Var: 7383 LB: 0 @ 142.39
144.55	c Restart #140 #Var: 7383 LB: 0 @ 144.49
146.56	c Restart #141 #Var: 7383 LB: 0 @ 146.5
148.68	c Restart #142 #Var: 7383 LB: 0 @ 148.62
150.71	c Restart #143 #Var: 7383 LB: 0 @ 150.65
152.87	c Restart #144 #Var: 7383 LB: 0 @ 152.81
154.94	c Restart #145 #Var: 7383 LB: 0 @ 154.88
157.11	c Restart #146 #Var: 7383 LB: 0 @ 157.04
159.20	c Restart #147 #Var: 7383 LB: 0 @ 159.13
161.41	c Restart #148 #Var: 7383 LB: 0 @ 161.34
163.59	c Restart #149 #Var: 7383 LB: 0 @ 163.52
165.89	c Restart #150 #Var: 7383 LB: 0 @ 165.82
168.11	c Restart #151 #Var: 7383 LB: 0 @ 168.04
170.48	c Restart #152 #Var: 7383 LB: 0 @ 170.41
172.72	c Restart #153 #Var: 7383 LB: 0 @ 172.65
175.09	c Restart #154 #Var: 7383 LB: 0 @ 175.02
177.33	c Restart #155 #Var: 7383 LB: 0 @ 177.26
179.74	c Restart #156 #Var: 7383 LB: 0 @ 179.67
182.04	c Restart #157 #Var: 7383 LB: 0 @ 181.97
184.50	c Restart #158 #Var: 7383 LB: 0 @ 184.42
186.84	c Restart #159 #Var: 7383 LB: 0 @ 186.77
189.37	c Restart #160 #Var: 7383 LB: 0 @ 189.3
191.78	c Restart #161 #Var: 7383 LB: 0 @ 191.7
194.31	c Restart #162 #Var: 7383 LB: 0 @ 194.24
196.72	c Restart #163 #Var: 7383 LB: 0 @ 196.64
199.29	c Restart #164 #Var: 7383 LB: 0 @ 199.22
201.71	c Restart #165 #Var: 7383 LB: 0 @ 201.63
204.31	c Restart #166 #Var: 7383 LB: 0 @ 204.23
206.77	c Restart #167 #Var: 7383 LB: 0 @ 206.69
209.36	c Restart #168 #Var: 7383 LB: 0 @ 209.28
211.82	c Restart #169 #Var: 7383 LB: 0 @ 211.74
214.41	c Restart #170 #Var: 7383 LB: 0 @ 214.32
216.88	c Restart #171 #Var: 7383 LB: 0 @ 216.79
219.49	c Restart #172 #Var: 7383 LB: 0 @ 219.4
221.98	c Restart #173 #Var: 7383 LB: 0 @ 221.89
224.65	c Restart #174 #Var: 7383 LB: 0 @ 224.56
227.21	c Restart #175 #Var: 7383 LB: 0 @ 227.13
229.94	c Restart #176 #Var: 7383 LB: 0 @ 229.85
232.51	c Restart #177 #Var: 7383 LB: 0 @ 232.42
235.25	c Restart #178 #Var: 7383 LB: 0 @ 235.16
237.85	c Restart #179 #Var: 7383 LB: 0 @ 237.76
240.64	c Restart #180 #Var: 7383 LB: 0 @ 240.55
243.30	c Restart #181 #Var: 7383 LB: 0 @ 243.21
246.00	c Restart #182 #Var: 7383 LB: 0 @ 245.9
248.53	c Restart #183 #Var: 7383 LB: 0 @ 248.43
250.91	c Restart #184 #Var: 7383 LB: 0 @ 250.81
253.37	c Restart #185 #Var: 7383 LB: 0 @ 253.27
256.00	c Restart #186 #Var: 7383 LB: 0 @ 255.9
258.59	c Restart #187 #Var: 7383 LB: 0 @ 258.5
261.31	c Restart #188 #Var: 7383 LB: 0 @ 261.21
263.97	c Restart #189 #Var: 7383 LB: 0 @ 263.87
266.79	c Restart #190 #Var: 7383 LB: 0 @ 266.68
269.53	c Restart #191 #Var: 7383 LB: 0 @ 269.43
272.53	c Restart #192 #Var: 7383 LB: 0 @ 272.43
275.28	c Restart #193 #Var: 7383 LB: 0 @ 275.18
278.14	c Restart #194 #Var: 7383 LB: 0 @ 278.03
280.84	c Restart #195 #Var: 7383 LB: 0 @ 280.74
283.77	c Restart #196 #Var: 7383 LB: 0 @ 283.67
286.70	c Restart #197 #Var: 7383 LB: 0 @ 286.59
289.66	c Restart #198 #Var: 7383 LB: 0 @ 289.55
292.44	c Restart #199 #Var: 7383 LB: 0 @ 292.33
295.51	c Restart #200 #Var: 7383 LB: 0 @ 295.4
298.22	c Restart #201 #Var: 7383 LB: 0 @ 298.11
301.26	c Restart #202 #Var: 7383 LB: 0 @ 301.15
304.07	c Restart #203 #Var: 7383 LB: 0 @ 303.96
307.11	c Restart #204 #Var: 7383 LB: 0 @ 306.99
310.10	c Restart #205 #Var: 7383 LB: 0 @ 309.99
313.08	c Restart #206 #Var: 7383 LB: 0 @ 312.96
316.16	c Restart #207 #Var: 7383 LB: 0 @ 316.04
319.16	c Restart #208 #Var: 7383 LB: 0 @ 319.04
322.25	c Restart #209 #Var: 7383 LB: 0 @ 322.12
325.33	c Restart #210 #Var: 7383 LB: 0 @ 325.2
328.49	c Restart #211 #Var: 7383 LB: 0 @ 328.36
331.58	c Restart #212 #Var: 7383 LB: 0 @ 331.46
334.73	c Restart #213 #Var: 7383 LB: 0 @ 334.61
337.84	c Restart #214 #Var: 7383 LB: 0 @ 337.72
341.08	c Restart #215 #Var: 7383 LB: 0 @ 340.95
344.31	c Restart #216 #Var: 7383 LB: 0 @ 344.18
347.54	c Restart #217 #Var: 7383 LB: 0 @ 347.41
350.86	c Restart #218 #Var: 7383 LB: 0 @ 350.73
354.11	c Restart #219 #Var: 7383 LB: 0 @ 353.98
357.42	c Restart #220 #Var: 7383 LB: 0 @ 357.28
360.72	c Restart #221 #Var: 7383 LB: 0 @ 360.59
364.26	c Restart #222 #Var: 7383 LB: 0 @ 364.12
367.58	c Restart #223 #Var: 7383 LB: 0 @ 367.44
371.26	c Restart #224 #Var: 7383 LB: 0 @ 371.12
374.56	c Restart #225 #Var: 7383 LB: 0 @ 374.42
378.36	c Restart #226 #Var: 7383 LB: 0 @ 378.22
381.66	c Restart #227 #Var: 7383 LB: 0 @ 381.52
385.11	c Restart #228 #Var: 7383 LB: 0 @ 384.97
388.49	c Restart #229 #Var: 7383 LB: 0 @ 388.35
391.98	c Restart #230 #Var: 7383 LB: 0 @ 391.83
395.37	c Restart #231 #Var: 7383 LB: 0 @ 395.22
398.85	c Restart #232 #Var: 7383 LB: 0 @ 398.7
402.25	c Restart #233 #Var: 7383 LB: 0 @ 402.1
405.71	c Restart #234 #Var: 7383 LB: 0 @ 405.56
409.22	c Restart #235 #Var: 7383 LB: 0 @ 409.07
412.75	c Restart #236 #Var: 7383 LB: 0 @ 412.6
416.28	c Restart #237 #Var: 7383 LB: 0 @ 416.13
419.74	c Restart #238 #Var: 7383 LB: 0 @ 419.59
423.27	c Restart #239 #Var: 7383 LB: 0 @ 423.12
426.74	c Restart #240 #Var: 7383 LB: 0 @ 426.58
430.18	c Restart #241 #Var: 7383 LB: 0 @ 430.02
433.48	c Restart #242 #Var: 7383 LB: 0 @ 433.32
436.66	c Restart #243 #Var: 7383 LB: 0 @ 436.5
440.29	c Restart #244 #Var: 7383 LB: 0 @ 440.12
443.68	c Restart #245 #Var: 7383 LB: 0 @ 443.51
447.51	c Restart #246 #Var: 7383 LB: 0 @ 447.34
450.93	c Restart #247 #Var: 7383 LB: 0 @ 450.76
454.74	c Restart #248 #Var: 7383 LB: 0 @ 454.57
458.14	c Restart #249 #Var: 7383 LB: 0 @ 457.97
461.96	c Restart #250 #Var: 7383 LB: 0 @ 461.79
465.49	c Restart #251 #Var: 7383 LB: 0 @ 465.32
469.36	c Restart #252 #Var: 7383 LB: 0 @ 469.19
472.93	c Restart #253 #Var: 7383 LB: 0 @ 472.76
476.79	c Restart #254 #Var: 7383 LB: 0 @ 476.62
480.52	c Restart #255 #Var: 7383 LB: 0 @ 480.35
483.94	c Restart #256 #Var: 7383 LB: 0 @ 483.77
487.63	c Restart #257 #Var: 7383 LB: 0 @ 487.45
491.29	c Restart #258 #Var: 7383 LB: 0 @ 491.11
495.01	c Restart #259 #Var: 7383 LB: 0 @ 494.83
498.75	c Restart #260 #Var: 7383 LB: 0 @ 498.57
502.50	c Restart #261 #Var: 7383 LB: 0 @ 502.32
506.17	c Restart #262 #Var: 7383 LB: 0 @ 505.99
510.02	c Restart #263 #Var: 7383 LB: 0 @ 509.84
513.85	c Restart #264 #Var: 7383 LB: 0 @ 513.67
517.69	c Restart #265 #Var: 7383 LB: 0 @ 517.5
521.48	c Restart #266 #Var: 7383 LB: 0 @ 521.29
525.34	c Restart #267 #Var: 7383 LB: 0 @ 525.15
529.17	c Restart #268 #Var: 7383 LB: 0 @ 528.98
533.13	c Restart #269 #Var: 7383 LB: 0 @ 532.94
536.95	c Restart #270 #Var: 7383 LB: 0 @ 536.75
540.84	c Restart #271 #Var: 7383 LB: 0 @ 540.64
544.80	c Restart #272 #Var: 7383 LB: 0 @ 544.6
548.74	c Restart #273 #Var: 7383 LB: 0 @ 548.54
552.73	c Restart #274 #Var: 7383 LB: 0 @ 552.53
556.60	c Restart #275 #Var: 7383 LB: 0 @ 556.4
560.65	c Restart #276 #Var: 7383 LB: 0 @ 560.45
564.58	c Restart #277 #Var: 7383 LB: 0 @ 564.37
568.74	c Restart #278 #Var: 7383 LB: 0 @ 568.53
572.61	c Restart #279 #Var: 7383 LB: 0 @ 572.41
576.77	c Restart #280 #Var: 7383 LB: 0 @ 576.56
580.72	c Restart #281 #Var: 7383 LB: 0 @ 580.51
584.96	c Restart #282 #Var: 7383 LB: 0 @ 584.75
589.01	c Restart #283 #Var: 7383 LB: 0 @ 588.8
593.30	c Restart #284 #Var: 7383 LB: 0 @ 593.08
597.32	c Restart #285 #Var: 7383 LB: 0 @ 597.1
601.60	c Restart #286 #Var: 7383 LB: 0 @ 601.38
605.70	c Restart #287 #Var: 7383 LB: 0 @ 605.48
609.87	c Restart #288 #Var: 7383 LB: 0 @ 609.65
614.05	c Restart #289 #Var: 7383 LB: 0 @ 613.83
618.19	c Restart #290 #Var: 7383 LB: 0 @ 617.97
622.37	c Restart #291 #Var: 7383 LB: 0 @ 622.15
626.58	c Restart #292 #Var: 7383 LB: 0 @ 626.36
630.86	c Restart #293 #Var: 7383 LB: 0 @ 630.64
635.14	c Restart #294 #Var: 7383 LB: 0 @ 634.91
639.42	c Restart #295 #Var: 7383 LB: 0 @ 639.19
643.66	c Restart #296 #Var: 7383 LB: 0 @ 643.43
648.00	c Restart #297 #Var: 7383 LB: 0 @ 647.76
652.18	c Restart #298 #Var: 7383 LB: 0 @ 651.94
656.58	c Restart #299 #Var: 7383 LB: 0 @ 656.35
660.75	c Restart #300 #Var: 7383 LB: 0 @ 660.51
665.17	c Restart #301 #Var: 7383 LB: 0 @ 664.93
669.54	c Restart #302 #Var: 7383 LB: 0 @ 669.3
673.92	c Restart #303 #Var: 7383 LB: 0 @ 673.68
678.28	c Restart #304 #Var: 7383 LB: 0 @ 678.03
682.73	c Restart #305 #Var: 7383 LB: 0 @ 682.49
687.16	c Restart #306 #Var: 7383 LB: 0 @ 686.91
691.71	c Restart #307 #Var: 7383 LB: 0 @ 691.46
696.10	c Restart #308 #Var: 7383 LB: 0 @ 695.85
700.61	c Restart #309 #Var: 7383 LB: 0 @ 700.36
705.04	c Restart #310 #Var: 7383 LB: 0 @ 704.79
709.71	c Restart #311 #Var: 7383 LB: 0 @ 709.46
714.23	c Restart #312 #Var: 7383 LB: 0 @ 713.97
718.90	c Restart #313 #Var: 7383 LB: 0 @ 718.64
723.44	c Restart #314 #Var: 7383 LB: 0 @ 723.18
728.18	c Restart #315 #Var: 7383 LB: 0 @ 727.92
732.79	c Restart #316 #Var: 7383 LB: 0 @ 732.52
737.50	c Restart #317 #Var: 7383 LB: 0 @ 737.23
742.14	c Restart #318 #Var: 7383 LB: 0 @ 741.87
746.81	c Restart #319 #Var: 7383 LB: 0 @ 746.54
751.54	c Restart #320 #Var: 7383 LB: 0 @ 751.27
866.08	c Restart #321 #Var: 7383 LB: 0 @ 865.77
885.68	c Restart #322 #Var: 7383 LB: 0 @ 885.37
1200.78	c CHANGE Heuristic... 
1200.78	c Restart #0 #Var: 7383 LB: 0 @ 1200.3
1201.05	c Restart #1 #Var: 7383 LB: 0 @ 1200.6
1201.32	c Restart #2 #Var: 7383 LB: 0 @ 1200.9
1201.60	c Restart #3 #Var: 7383 LB: 0 @ 1201.2
1201.86	c Restart #4 #Var: 7383 LB: 0 @ 1201.4
1202.11	c Restart #5 #Var: 7383 LB: 0 @ 1201.7
1202.37	c Restart #6 #Var: 7383 LB: 0 @ 1201.9
1202.64	c Restart #7 #Var: 7383 LB: 0 @ 1202.2
1202.93	c Restart #8 #Var: 7383 LB: 0 @ 1202.5
1203.23	c Restart #9 #Var: 7383 LB: 0 @ 1202.8
1203.55	c Restart #10 #Var: 7383 LB: 0 @ 1203.1
1203.89	c Restart #11 #Var: 7383 LB: 0 @ 1203.4
1204.24	c Restart #12 #Var: 7383 LB: 0 @ 1203.8
1204.59	c Restart #13 #Var: 7383 LB: 0 @ 1204.1
1204.98	c Restart #14 #Var: 7383 LB: 0 @ 1204.5
1205.41	c Restart #15 #Var: 7383 LB: 0 @ 1205
1205.82	c Restart #16 #Var: 7383 LB: 0 @ 1205.4
1206.29	c Restart #17 #Var: 7383 LB: 0 @ 1205.8
1206.84	c Restart #18 #Var: 7383 LB: 0 @ 1206.4
1207.67	c Restart #19 #Var: 7383 LB: 0 @ 1207.2
1207.96	c Restart #20 #Var: 7383 LB: 0 @ 1207.5
1208.78	c Restart #21 #Var: 7383 LB: 0 @ 1208.3
1209.53	c Restart #22 #Var: 7383 LB: 0 @ 1209.1
1210.30	c Restart #23 #Var: 7383 LB: 0 @ 1209.8
1210.59	c Restart #24 #Var: 7383 LB: 0 @ 1210.1
1210.92	c Restart #25 #Var: 7383 LB: 0 @ 1210.5
1211.34	c Restart #26 #Var: 7383 LB: 0 @ 1210.9
1211.76	c Restart #27 #Var: 7383 LB: 0 @ 1211.3
1212.19	c Restart #28 #Var: 7383 LB: 0 @ 1211.7
1212.59	c Restart #29 #Var: 7383 LB: 0 @ 1212.1
1212.95	c Restart #30 #Var: 7383 LB: 0 @ 1212.5
1214.76	c Restart #31 #Var: 7383 LB: 0 @ 1214.3
1223.73	c Restart #32 #Var: 7383 LB: 0 @ 1223.3
1225.09	c Restart #33 #Var: 7383 LB: 0 @ 1224.6
1225.53	c Restart #34 #Var: 7383 LB: 0 @ 1225.1
1227.24	c Restart #35 #Var: 7383 LB: 0 @ 1226.8
1230.58	c Restart #36 #Var: 7383 LB: 0 @ 1230.1
1237.45	c Restart #37 #Var: 7383 LB: 0 @ 1237
1244.38	c Restart #38 #Var: 7383 LB: 0 @ 1243.9
1252.88	c Restart #39 #Var: 7383 LB: 0 @ 1252.4
1306.12	c Restart #40 #Var: 7383 LB: 0 @ 1305.6
1306.83	c Restart #41 #Var: 7383 LB: 0 @ 1306.3
1307.97	c Restart #42 #Var: 7383 LB: 0 @ 1307.5
1309.29	c Restart #43 #Var: 7383 LB: 0 @ 1308.8
1310.19	c Restart #44 #Var: 7383 LB: 0 @ 1309.7
1311.29	c Restart #45 #Var: 7383 LB: 0 @ 1310.8
1312.29	c Restart #46 #Var: 7383 LB: 0 @ 1311.8
1313.42	c Restart #47 #Var: 7383 LB: 0 @ 1312.9
1314.52	c Restart #48 #Var: 7383 LB: 0 @ 1314
1315.75	c Restart #49 #Var: 7383 LB: 0 @ 1315.3
1316.92	c Restart #50 #Var: 7383 LB: 0 @ 1316.4
1318.02	c Restart #51 #Var: 7383 LB: 0 @ 1317.5
1319.04	c Restart #52 #Var: 7383 LB: 0 @ 1318.5
1320.20	c Restart #53 #Var: 7383 LB: 0 @ 1319.7
1321.36	c Restart #54 #Var: 7383 LB: 0 @ 1320.9
1322.47	c Restart #55 #Var: 7383 LB: 0 @ 1322
1323.58	c Restart #56 #Var: 7383 LB: 0 @ 1323.1
1324.71	c Restart #57 #Var: 7383 LB: 0 @ 1324.2
1325.78	c Restart #58 #Var: 7383 LB: 0 @ 1325.3
1326.98	c Restart #59 #Var: 7383 LB: 0 @ 1326.5
1328.19	c Restart #60 #Var: 7383 LB: 0 @ 1327.7
1329.41	c Restart #61 #Var: 7383 LB: 0 @ 1328.9
1330.64	c Restart #62 #Var: 7383 LB: 0 @ 1330.1
1331.88	c Restart #63 #Var: 7383 LB: 0 @ 1331.4
1333.14	c Restart #64 #Var: 7383 LB: 0 @ 1332.6
1334.40	c Restart #65 #Var: 7383 LB: 0 @ 1333.9
1335.77	c Restart #66 #Var: 7383 LB: 0 @ 1335.3
1337.23	c Restart #67 #Var: 7383 LB: 0 @ 1336.7
1338.65	c Restart #68 #Var: 7383 LB: 0 @ 1338.1
1340.21	c Restart #69 #Var: 7383 LB: 0 @ 1339.7
1341.63	c Restart #70 #Var: 7383 LB: 0 @ 1341.1
1343.57	c Restart #71 #Var: 7383 LB: 0 @ 1343.1
1345.29	c Restart #72 #Var: 7383 LB: 0 @ 1344.8
1346.82	c Restart #73 #Var: 7383 LB: 0 @ 1346.3
1348.50	c Restart #74 #Var: 7383 LB: 0 @ 1348
1350.13	c Restart #75 #Var: 7383 LB: 0 @ 1349.6
1351.83	c Restart #76 #Var: 7383 LB: 0 @ 1351.3
1353.61	c Restart #77 #Var: 7383 LB: 0 @ 1353.1
1355.50	c Restart #78 #Var: 7383 LB: 0 @ 1355
1357.38	c Restart #79 #Var: 7383 LB: 0 @ 1356.9
1359.29	c Restart #80 #Var: 7383 LB: 0 @ 1358.8
1361.17	c Restart #81 #Var: 7383 LB: 0 @ 1360.7
1363.18	c Restart #82 #Var: 7383 LB: 0 @ 1362.7
1364.95	c Restart #83 #Var: 7383 LB: 0 @ 1364.4
1367.14	c Restart #84 #Var: 7383 LB: 0 @ 1366.6
1369.06	c Restart #85 #Var: 7383 LB: 0 @ 1368.5
1371.40	c Restart #86 #Var: 7383 LB: 0 @ 1370.9
1373.52	c Restart #87 #Var: 7383 LB: 0 @ 1373
1375.58	c Restart #88 #Var: 7383 LB: 0 @ 1375.1
1377.73	c Restart #89 #Var: 7383 LB: 0 @ 1377.2
1380.02	c Restart #90 #Var: 7383 LB: 0 @ 1379.5
1382.33	c Restart #91 #Var: 7383 LB: 0 @ 1381.8
1384.85	c Restart #92 #Var: 7383 LB: 0 @ 1384.3
1387.31	c Restart #93 #Var: 7383 LB: 0 @ 1386.8
1389.64	c Restart #94 #Var: 7383 LB: 0 @ 1389.1
1391.85	c Restart #95 #Var: 7383 LB: 0 @ 1391.3
1394.06	c Restart #96 #Var: 7383 LB: 0 @ 1393.5
1396.17	c Restart #97 #Var: 7383 LB: 0 @ 1395.6
1398.61	c Restart #98 #Var: 7383 LB: 0 @ 1398.1
1401.16	c Restart #99 #Var: 7383 LB: 0 @ 1400.6
1403.57	c Restart #100 #Var: 7383 LB: 0 @ 1403
1405.99	c Restart #101 #Var: 7383 LB: 0 @ 1405.5
1408.31	c Restart #102 #Var: 7383 LB: 0 @ 1407.8
1410.64	c Restart #103 #Var: 7383 LB: 0 @ 1410.1
1413.26	c Restart #104 #Var: 7383 LB: 0 @ 1412.7
1415.86	c Restart #105 #Var: 7383 LB: 0 @ 1415.3
1418.50	c Restart #106 #Var: 7383 LB: 0 @ 1418
1421.00	c Restart #107 #Var: 7383 LB: 0 @ 1420.5
1423.65	c Restart #108 #Var: 7383 LB: 0 @ 1423.1
1426.24	c Restart #109 #Var: 7383 LB: 0 @ 1425.7
1429.13	c Restart #110 #Var: 7383 LB: 0 @ 1428.6
1432.02	c Restart #111 #Var: 7383 LB: 0 @ 1431.5
1434.69	c Restart #112 #Var: 7383 LB: 0 @ 1434.2
1437.64	c Restart #113 #Var: 7383 LB: 0 @ 1437.1
1440.46	c Restart #114 #Var: 7383 LB: 0 @ 1439.9
1444.09	c Restart #115 #Var: 7383 LB: 0 @ 1443.6
1447.32	c Restart #116 #Var: 7383 LB: 0 @ 1446.8
1456.13	c Restart #117 #Var: 7383 LB: 0 @ 1455.6
1686.10	c Restart #118 #Var: 7383 LB: 0 @ 1685.5
1704.52	c Restart #119 #Var: 7383 LB: 0 @ 1703.9
1749.96	c Restart #120 #Var: 7383 LB: 0 @ 1749.3
1792.53	c Restart #121 #Var: 7383 LB: 0 @ 1791.9
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/node34/watcher-40776-1149317090 -o ROOT/results/node34/solver-40776-1149317090 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node34/40776-1149317090/instance-40776-1149317090.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.95 1.00 0.99 2/64 26702
/proc/meminfo: memFree=1864600/2055920 swapFree=4181356/4192956
[pid=26702] ppid=26700 vsize=4664 CPUtime=0
/proc/26702/stat : 26702 (bsolo) R 26700 26702 26656 0 -1 0 155 0 0 0 0 0 0 0 19 0 1 0 197372807 4775936 135 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 7691540 0 0 4096 0 0 0 0 17 1 0 0
/proc/26702/statm: 1166 135 105 55 0 46 0

[startup+10.0023 s]
/proc/loadavg: 0.96 1.00 0.99 2/64 26702
/proc/meminfo: memFree=1831136/2055920 swapFree=4181356/4192956
[pid=26702] ppid=26700 vsize=38496 CPUtime=9.98
/proc/26702/stat : 26702 (bsolo) R 26700 26702 26656 0 -1 0 8770 0 0 0 960 38 0 0 25 0 1 0 197372807 39419904 8685 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26702/statm: 9624 8685 297 55 0 8516 0
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 38496

[startup+20.009 s]
/proc/loadavg: 0.96 1.00 0.99 2/64 26702
/proc/meminfo: memFree=1826592/2055920 swapFree=4181356/4192956
[pid=26702] ppid=26700 vsize=42980 CPUtime=19.98
/proc/26702/stat : 26702 (bsolo) R 26700 26702 26656 0 -1 0 9909 0 0 0 1953 45 0 0 25 0 1 0 197372807 44011520 9824 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26702/statm: 10745 9824 297 55 0 9637 0
Current children cumulated CPU time (s) 19.98
Current children cumulated vsize (Kb) 42980

[startup+30.0157 s]
/proc/loadavg: 0.97 1.00 0.99 2/64 26702
/proc/meminfo: memFree=1822048/2055920 swapFree=4181356/4192956
[pid=26702] ppid=26700 vsize=47588 CPUtime=29.99
/proc/26702/stat : 26702 (bsolo) R 26700 26702 26656 0 -1 0 11037 0 0 0 2947 52 0 0 25 0 1 0 197372807 48730112 10952 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26702/statm: 11897 10952 297 55 0 10789 0
Current children cumulated CPU time (s) 29.99
Current children cumulated vsize (Kb) 47588

[startup+40.0213 s]
/proc/loadavg: 0.97 1.00 0.99 2/64 26702
/proc/meminfo: memFree=1817568/2055920 swapFree=4181356/4192956
[pid=26702] ppid=26700 vsize=51944 CPUtime=39.99
/proc/26702/stat : 26702 (bsolo) R 26700 26702 26656 0 -1 0 12148 0 0 0 3943 56 0 0 25 0 1 0 197372807 53190656 12063 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26702/statm: 12986 12063 297 55 0 11878 0
Current children cumulated CPU time (s) 39.99
Current children cumulated vsize (Kb) 51944

[startup+50.027 s]
/proc/loadavg: 0.98 1.00 0.99 2/64 26702
/proc/meminfo: memFree=1813280/2055920 swapFree=4181356/4192956
[pid=26702] ppid=26700 vsize=56300 CPUtime=49.99
/proc/26702/stat : 26702 (bsolo) R 26700 26702 26656 0 -1 0 13234 0 0 0 4936 63 0 0 25 0 1 0 197372807 57651200 13149 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26702/statm: 14075 13149 297 55 0 12967 0
Current children cumulated CPU time (s) 49.99
Current children cumulated vsize (Kb) 56300

[startup+60.0327 s]
/proc/loadavg: 0.98 1.00 0.99 2/64 26702
/proc/meminfo: memFree=1808864/2055920 swapFree=4181356/4192956
[pid=26702] ppid=26700 vsize=60764 CPUtime=59.99
/proc/26702/stat : 26702 (bsolo) R 26700 26702 26656 0 -1 0 14331 0 0 0 5931 68 0 0 25 0 1 0 197372807 62222336 14246 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26702/statm: 15191 14246 297 55 0 14083 0
Current children cumulated CPU time (s) 59.99
Current children cumulated vsize (Kb) 60764

[startup+70.0384 s]
/proc/loadavg: 0.98 1.00 0.99 2/64 26702
/proc/meminfo: memFree=1804448/2055920 swapFree=4181356/4192956
[pid=26702] ppid=26700 vsize=65120 CPUtime=69.99
/proc/26702/stat : 26702 (bsolo) R 26700 26702 26656 0 -1 0 15432 0 0 0 6927 72 0 0 25 0 1 0 197372807 66682880 15347 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26702/statm: 16280 15347 297 55 0 15172 0
Current children cumulated CPU time (s) 69.99
Current children cumulated vsize (Kb) 65120

[startup+80.0441 s]
/proc/loadavg: 0.98 1.00 0.99 2/64 26702
/proc/meminfo: memFree=1800032/2055920 swapFree=4181356/4192956
[pid=26702] ppid=26700 vsize=69464 CPUtime=80
/proc/26702/stat : 26702 (bsolo) R 26700 26702 26656 0 -1 0 16524 0 0 0 7922 78 0 0 25 0 1 0 197372807 71131136 16439 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26702/statm: 17366 16439 297 55 0 16258 0
Current children cumulated CPU time (s) 80
Current children cumulated vsize (Kb) 69464

[startup+90.0498 s]
/proc/loadavg: 0.99 1.00 0.99 2/64 26702
/proc/meminfo: memFree=1795808/2055920 swapFree=4181356/4192956
[pid=26702] ppid=26700 vsize=73816 CPUtime=90
/proc/26702/stat : 26702 (bsolo) R 26700 26702 26656 0 -1 0 17596 0 0 0 8917 83 0 0 25 0 1 0 197372807 75587584 17511 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134696491 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26702/statm: 18454 17511 297 55 0 17346 0
Current children cumulated CPU time (s) 90
Current children cumulated vsize (Kb) 73816

[startup+100.056 s]
/proc/loadavg: 0.99 1.00 0.99 2/64 26702
/proc/meminfo: memFree=1791456/2055920 swapFree=4181356/4192956
[pid=26702] ppid=26700 vsize=78168 CPUtime=100
/proc/26702/stat : 26702 (bsolo) R 26700 26702 26656 0 -1 0 18687 0 0 0 9913 87 0 0 25 0 1 0 197372807 80044032 18602 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26702/statm: 19542 18602 297 55 0 18434 0
Current children cumulated CPU time (s) 100
Current children cumulated vsize (Kb) 78168

[startup+110.061 s]
/proc/loadavg: 0.99 1.00 0.99 2/64 26702
/proc/meminfo: memFree=1787104/2055920 swapFree=4181356/4192956
[pid=26702] ppid=26700 vsize=82524 CPUtime=110.01
/proc/26702/stat : 26702 (bsolo) R 26700 26702 26656 0 -1 0 19769 0 0 0 10908 93 0 0 25 0 1 0 197372807 84504576 19684 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26702/statm: 20631 19684 297 55 0 19523 0
Current children cumulated CPU time (s) 110.01
Current children cumulated vsize (Kb) 82524

[startup+120.067 s]
/proc/loadavg: 0.99 1.00 0.99 2/64 26702
/proc/meminfo: memFree=1782752/2055920 swapFree=4181356/4192956
[pid=26702] ppid=26700 vsize=86876 CPUtime=120
/proc/26702/stat : 26702 (bsolo) R 26700 26702 26656 0 -1 0 20857 0 0 0 11903 97 0 0 25 0 1 0 197372807 88961024 20772 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26702/statm: 21719 20772 297 55 0 20611 0
Current children cumulated CPU time (s) 120
Current children cumulated vsize (Kb) 86876

[startup+130.073 s]
/proc/loadavg: 0.99 1.00 0.99 2/64 26702
/proc/meminfo: memFree=1778400/2055920 swapFree=4181356/4192956
[pid=26702] ppid=26700 vsize=91220 CPUtime=130
/proc/26702/stat : 26702 (bsolo) R 26700 26702 26656 0 -1 0 21941 0 0 0 12896 104 0 0 25 0 1 0 197372807 93409280 21856 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26702/statm: 22805 21856 297 55 0 21697 0
Current children cumulated CPU time (s) 130
Current children cumulated vsize (Kb) 91220

[startup+140.078 s]
/proc/loadavg: 0.99 1.00 0.99 2/64 26702
/proc/meminfo: memFree=1774048/2055920 swapFree=4181356/4192956
[pid=26702] ppid=26700 vsize=95424 CPUtime=140.01
/proc/26702/stat : 26702 (bsolo) R 26700 26702 26656 0 -1 0 23010 0 0 0 13890 111 0 0 25 0 1 0 197372807 97714176 22924 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26702/statm: 23856 22924 297 55 0 22748 0
Current children cumulated CPU time (s) 140.01
Current children cumulated vsize (Kb) 95424

[startup+150.084 s]
/proc/loadavg: 0.99 1.00 0.99 2/64 26702
/proc/meminfo: memFree=1769824/2055920 swapFree=4181356/4192956
[pid=26702] ppid=26700 vsize=99644 CPUtime=150.02
/proc/26702/stat : 26702 (bsolo) R 26700 26702 26656 0 -1 0 24063 0 0 0 14886 116 0 0 25 0 1 0 197372807 102035456 23976 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26702/statm: 24911 23976 297 55 0 23803 0
Current children cumulated CPU time (s) 150.02
Current children cumulated vsize (Kb) 99644

[startup+160.09 s]
/proc/loadavg: 0.99 1.00 0.99 2/64 26702
/proc/meminfo: memFree=1765600/2055920 swapFree=4181356/4192956
[pid=26702] ppid=26700 vsize=103856 CPUtime=160.01
/proc/26702/stat : 26702 (bsolo) R 26700 26702 26656 0 -1 0 25115 0 0 0 15880 121 0 0 25 0 1 0 197372807 106348544 25028 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26702/statm: 25964 25028 297 55 0 24856 0
Current children cumulated CPU time (s) 160.01
Current children cumulated vsize (Kb) 103856

[startup+170.095 s]
/proc/loadavg: 0.99 1.00 0.99 2/64 26702
/proc/meminfo: memFree=1761504/2055920 swapFree=4181356/4192956
[pid=26702] ppid=26700 vsize=108080 CPUtime=170.02
/proc/26702/stat : 26702 (bsolo) R 26700 26702 26656 0 -1 0 26146 0 0 0 16876 126 0 0 25 0 1 0 197372807 110673920 26059 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26702/statm: 27020 26059 297 55 0 25912 0
Current children cumulated CPU time (s) 170.02
Current children cumulated vsize (Kb) 108080

[startup+180.101 s]
/proc/loadavg: 0.99 1.00 0.99 2/64 26702
/proc/meminfo: memFree=1757472/2055920 swapFree=4181356/4192956
[pid=26702] ppid=26700 vsize=112176 CPUtime=180.02
/proc/26702/stat : 26702 (bsolo) R 26700 26702 26656 0 -1 0 27172 0 0 0 17872 130 0 0 25 0 1 0 197372807 114868224 27085 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26702/statm: 28044 27085 297 55 0 26936 0
Current children cumulated CPU time (s) 180.02
Current children cumulated vsize (Kb) 112176

[startup+190.107 s]
/proc/loadavg: 0.99 1.00 0.99 2/64 26702
/proc/meminfo: memFree=1753376/2055920 swapFree=4181356/4192956
[pid=26702] ppid=26700 vsize=116244 CPUtime=190.03
/proc/26702/stat : 26702 (bsolo) R 26700 26702 26656 0 -1 0 28190 0 0 0 18868 135 0 0 25 0 1 0 197372807 119033856 28103 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 8151192 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26702/statm: 29061 28103 297 55 0 27953 0
Current children cumulated CPU time (s) 190.03
Current children cumulated vsize (Kb) 116244

[startup+200.112 s]
/proc/loadavg: 0.99 1.00 0.99 2/64 26702
/proc/meminfo: memFree=1749280/2055920 swapFree=4181356/4192956
[pid=26702] ppid=26700 vsize=120344 CPUtime=200.03
/proc/26702/stat : 26702 (bsolo) R 26700 26702 26656 0 -1 0 29204 0 0 0 19862 141 0 0 25 0 1 0 197372807 123232256 29117 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26702/statm: 30086 29117 297 55 0 28978 0
Current children cumulated CPU time (s) 200.03
Current children cumulated vsize (Kb) 120344

[startup+210.118 s]
/proc/loadavg: 0.99 1.00 0.99 2/64 26702
/proc/meminfo: memFree=1745184/2055920 swapFree=4181356/4192956

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

/proc/26702/statm: 414668 412677 297 55 0 413560 0
Current children cumulated CPU time (s) 1760.36
Current children cumulated vsize (Kb) 1658672

[startup+1771.03 s]
/proc/loadavg: 0.99 1.00 0.99 2/64 26897
/proc/meminfo: memFree=211616/2055920 swapFree=4181356/4192956
[pid=26702] ppid=26700 vsize=1658672 CPUtime=1770.37
/proc/26702/stat : 26702 (bsolo) R 26700 26702 26656 0 -1 0 416033 0 0 0 176365 672 0 0 25 0 1 0 197372807 1698480128 412677 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548375 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26702/statm: 414668 412677 297 55 0 413560 0
Current children cumulated CPU time (s) 1770.37
Current children cumulated vsize (Kb) 1658672

[startup+1781.03 s]
/proc/loadavg: 0.99 1.00 0.99 2/64 26897
/proc/meminfo: memFree=211616/2055920 swapFree=4181356/4192956
[pid=26702] ppid=26700 vsize=1658672 CPUtime=1780.36
/proc/26702/stat : 26702 (bsolo) R 26700 26702 26656 0 -1 0 416037 0 0 0 177363 673 0 0 25 0 1 0 197372807 1698480128 412677 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26702/statm: 414668 412677 297 55 0 413560 0
Current children cumulated CPU time (s) 1780.36
Current children cumulated vsize (Kb) 1658672

[startup+1782.04 s]
/proc/loadavg: 0.99 1.00 0.99 2/64 26897
/proc/meminfo: memFree=211616/2055920 swapFree=4181356/4192956
[pid=26702] ppid=26700 vsize=1658672 CPUtime=1781.37
/proc/26702/stat : 26702 (bsolo) R 26700 26702 26656 0 -1 0 416037 0 0 0 177464 673 0 0 25 0 1 0 197372807 1698480128 412677 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134595787 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26702/statm: 414668 412677 297 55 0 413560 0
Current children cumulated CPU time (s) 1781.37
Current children cumulated vsize (Kb) 1658672

[startup+1783.04 s]
/proc/loadavg: 0.99 1.00 0.99 2/64 26897
/proc/meminfo: memFree=211616/2055920 swapFree=4181356/4192956
[pid=26702] ppid=26700 vsize=1658672 CPUtime=1782.37
/proc/26702/stat : 26702 (bsolo) R 26700 26702 26656 0 -1 0 416037 0 0 0 177564 673 0 0 25 0 1 0 197372807 1698480128 412677 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548386 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26702/statm: 414668 412677 297 55 0 413560 0
Current children cumulated CPU time (s) 1782.37
Current children cumulated vsize (Kb) 1658672

[startup+1784.05 s]
/proc/loadavg: 0.99 1.00 0.99 2/64 26897
/proc/meminfo: memFree=211616/2055920 swapFree=4181356/4192956
[pid=26702] ppid=26700 vsize=1658672 CPUtime=1783.38
/proc/26702/stat : 26702 (bsolo) R 26700 26702 26656 0 -1 0 416037 0 0 0 177664 674 0 0 25 0 1 0 197372807 1698480128 412677 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26702/statm: 414668 412677 297 55 0 413560 0
Current children cumulated CPU time (s) 1783.38
Current children cumulated vsize (Kb) 1658672

[startup+1785.05 s]
/proc/loadavg: 0.99 1.00 0.99 2/64 26897
/proc/meminfo: memFree=211616/2055920 swapFree=4181356/4192956
[pid=26702] ppid=26700 vsize=1658672 CPUtime=1784.39
/proc/26702/stat : 26702 (bsolo) R 26700 26702 26656 0 -1 0 416037 0 0 0 177765 674 0 0 25 0 1 0 197372807 1698480128 412677 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548375 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26702/statm: 414668 412677 297 55 0 413560 0
Current children cumulated CPU time (s) 1784.39
Current children cumulated vsize (Kb) 1658672

[startup+1786.06 s]
/proc/loadavg: 0.99 1.00 0.99 2/64 26897
/proc/meminfo: memFree=211616/2055920 swapFree=4181356/4192956
[pid=26702] ppid=26700 vsize=1658672 CPUtime=1785.39
/proc/26702/stat : 26702 (bsolo) R 26700 26702 26656 0 -1 0 416037 0 0 0 177865 674 0 0 25 0 1 0 197372807 1698480128 412677 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541593 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26702/statm: 414668 412677 297 55 0 413560 0
Current children cumulated CPU time (s) 1785.39
Current children cumulated vsize (Kb) 1658672

[startup+1787.06 s]
/proc/loadavg: 0.99 1.00 0.99 2/64 26897
/proc/meminfo: memFree=211616/2055920 swapFree=4181356/4192956
[pid=26702] ppid=26700 vsize=1658672 CPUtime=1786.39
/proc/26702/stat : 26702 (bsolo) R 26700 26702 26656 0 -1 0 416037 0 0 0 177965 674 0 0 25 0 1 0 197372807 1698480128 412677 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134696512 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26702/statm: 414668 412677 297 55 0 413560 0
Current children cumulated CPU time (s) 1786.39
Current children cumulated vsize (Kb) 1658672

[startup+1788.07 s]
/proc/loadavg: 0.99 1.00 0.99 2/64 26897
/proc/meminfo: memFree=211616/2055920 swapFree=4181356/4192956
[pid=26702] ppid=26700 vsize=1658672 CPUtime=1787.4
/proc/26702/stat : 26702 (bsolo) R 26700 26702 26656 0 -1 0 416037 0 0 0 178066 674 0 0 25 0 1 0 197372807 1698480128 412677 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548233 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26702/statm: 414668 412677 297 55 0 413560 0
Current children cumulated CPU time (s) 1787.4
Current children cumulated vsize (Kb) 1658672

[startup+1789.07 s]
/proc/loadavg: 0.99 1.00 0.99 2/64 26897
/proc/meminfo: memFree=211616/2055920 swapFree=4181356/4192956
[pid=26702] ppid=26700 vsize=1658672 CPUtime=1788.4
/proc/26702/stat : 26702 (bsolo) R 26700 26702 26656 0 -1 0 416037 0 0 0 178166 674 0 0 25 0 1 0 197372807 1698480128 412677 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26702/statm: 414668 412677 297 55 0 413560 0
Current children cumulated CPU time (s) 1788.4
Current children cumulated vsize (Kb) 1658672

[startup+1790.08 s]
/proc/loadavg: 0.99 1.00 0.99 2/64 26897
/proc/meminfo: memFree=211616/2055920 swapFree=4181356/4192956
[pid=26702] ppid=26700 vsize=1658672 CPUtime=1789.4
/proc/26702/stat : 26702 (bsolo) R 26700 26702 26656 0 -1 0 416037 0 0 0 178266 674 0 0 25 0 1 0 197372807 1698480128 412677 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26702/statm: 414668 412677 297 55 0 413560 0
Current children cumulated CPU time (s) 1789.4
Current children cumulated vsize (Kb) 1658672

[startup+1791.08 s]
/proc/loadavg: 0.99 1.00 0.99 2/64 26897
/proc/meminfo: memFree=211616/2055920 swapFree=4181356/4192956
[pid=26702] ppid=26700 vsize=1658672 CPUtime=1790.41
/proc/26702/stat : 26702 (bsolo) R 26700 26702 26656 0 -1 0 416037 0 0 0 178366 675 0 0 25 0 1 0 197372807 1698480128 412677 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537751 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26702/statm: 414668 412677 297 55 0 413560 0
Current children cumulated CPU time (s) 1790.41
Current children cumulated vsize (Kb) 1658672

[startup+1792.09 s]
/proc/loadavg: 0.99 1.00 0.99 2/64 26897
/proc/meminfo: memFree=211616/2055920 swapFree=4181356/4192956
[pid=26702] ppid=26700 vsize=1658672 CPUtime=1791.42
/proc/26702/stat : 26702 (bsolo) R 26700 26702 26656 0 -1 0 416037 0 0 0 178467 675 0 0 25 0 1 0 197372807 1698480128 412677 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529176 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26702/statm: 414668 412677 297 55 0 413560 0
Current children cumulated CPU time (s) 1791.42
Current children cumulated vsize (Kb) 1658672

[startup+1793.09 s]
/proc/loadavg: 0.99 1.00 0.99 2/64 26897
/proc/meminfo: memFree=211616/2055920 swapFree=4181356/4192956
[pid=26702] ppid=26700 vsize=1658672 CPUtime=1792.42
/proc/26702/stat : 26702 (bsolo) R 26700 26702 26656 0 -1 0 416037 0 0 0 178567 675 0 0 25 0 1 0 197372807 1698480128 412677 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26702/statm: 414668 412677 297 55 0 413560 0
Current children cumulated CPU time (s) 1792.42
Current children cumulated vsize (Kb) 1658672

[startup+1794.1 s]
/proc/loadavg: 0.99 1.00 0.99 2/64 26897
/proc/meminfo: memFree=210912/2055920 swapFree=4181356/4192956
[pid=26702] ppid=26700 vsize=1659968 CPUtime=1793.43
/proc/26702/stat : 26702 (bsolo) R 26700 26702 26656 0 -1 0 416346 0 0 0 178667 676 0 0 25 0 1 0 197372807 1699807232 412812 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718286 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26702/statm: 414992 412812 297 55 0 413884 0
Current children cumulated CPU time (s) 1793.43
Current children cumulated vsize (Kb) 1659968

[startup+1795.1 s]
/proc/loadavg: 0.99 1.00 0.99 2/64 26897
/proc/meminfo: memFree=210912/2055920 swapFree=4181356/4192956
[pid=26702] ppid=26700 vsize=1659968 CPUtime=1794.43
/proc/26702/stat : 26702 (bsolo) R 26700 26702 26656 0 -1 0 416346 0 0 0 178767 676 0 0 25 0 1 0 197372807 1699807232 412812 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 8155283 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26702/statm: 414992 412812 297 55 0 413884 0
Current children cumulated CPU time (s) 1794.43
Current children cumulated vsize (Kb) 1659968

[startup+1796.11 s]
/proc/loadavg: 0.99 1.00 0.99 2/64 26897
/proc/meminfo: memFree=210912/2055920 swapFree=4181356/4192956
[pid=26702] ppid=26700 vsize=1659968 CPUtime=1795.43
/proc/26702/stat : 26702 (bsolo) R 26700 26702 26656 0 -1 0 416346 0 0 0 178867 676 0 0 25 0 1 0 197372807 1699807232 412812 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557739 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26702/statm: 414992 412812 297 55 0 413884 0
Current children cumulated CPU time (s) 1795.43
Current children cumulated vsize (Kb) 1659968

[startup+1797.11 s]
/proc/loadavg: 0.99 1.00 0.99 2/64 26897
/proc/meminfo: memFree=210912/2055920 swapFree=4181356/4192956
[pid=26702] ppid=26700 vsize=1659968 CPUtime=1796.44
/proc/26702/stat : 26702 (bsolo) R 26700 26702 26656 0 -1 0 416346 0 0 0 178968 676 0 0 25 0 1 0 197372807 1699807232 412812 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541170 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26702/statm: 414992 412812 297 55 0 413884 0
Current children cumulated CPU time (s) 1796.44
Current children cumulated vsize (Kb) 1659968

[startup+1798.12 s]
/proc/loadavg: 0.99 1.00 0.99 2/64 26897
/proc/meminfo: memFree=210912/2055920 swapFree=4181356/4192956
[pid=26702] ppid=26700 vsize=1659968 CPUtime=1797.45
/proc/26702/stat : 26702 (bsolo) R 26700 26702 26656 0 -1 0 416346 0 0 0 179068 677 0 0 25 0 1 0 197372807 1699807232 412812 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26702/statm: 414992 412812 297 55 0 413884 0
Current children cumulated CPU time (s) 1797.45
Current children cumulated vsize (Kb) 1659968

[startup+1799.12 s]
/proc/loadavg: 0.99 1.00 0.99 2/64 26897
/proc/meminfo: memFree=210912/2055920 swapFree=4181356/4192956
[pid=26702] ppid=26700 vsize=1659968 CPUtime=1798.45
/proc/26702/stat : 26702 (bsolo) R 26700 26702 26656 0 -1 0 416346 0 0 0 179168 677 0 0 25 0 1 0 197372807 1699807232 412812 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540659 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26702/statm: 414992 412812 297 55 0 413884 0
Current children cumulated CPU time (s) 1798.45
Current children cumulated vsize (Kb) 1659968

[startup+1800.13 s]
/proc/loadavg: 0.99 1.00 0.99 2/64 26897
/proc/meminfo: memFree=210912/2055920 swapFree=4181356/4192956
[pid=26702] ppid=26700 vsize=1659968 CPUtime=1799.46
/proc/26702/stat : 26702 (bsolo) R 26700 26702 26656 0 -1 0 416346 0 0 0 179268 678 0 0 25 0 1 0 197372807 1699807232 412812 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534917 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26702/statm: 414992 412812 297 55 0 413884 0
Current children cumulated CPU time (s) 1799.46
Current children cumulated vsize (Kb) 1659968

Child status: 0
Real time (s): 1800.92
CPU time (s): 1800.26
CPU user time (s): 1793.22
CPU system time (s): 7.03993
CPU usage (%): 99.963
Max. virtual memory (cumulated for all children) (Kb): 1659968

Launcher Data (download as text)

Begin job on node34 on Sat Jun  3 06:44:50 UTC 2006


FILE ID= 40776-1149317090

PBS_JOBID= 308416

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-fixnet6.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node34/40776-1149317090/instance-40776-1149317090.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node34/watcher-40776-1149317090 -o ROOT/results/node34/solver-40776-1149317090 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node34/40776-1149317090/instance-40776-1149317090.opb

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  10aa1c00308ded1f7e7eb2eaba9ffa44

RANDOM SEED= 91676011


/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.277
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.277
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:       1864808 kB
Buffers:         18040 kB
Cached:         111500 kB
SwapCached:       3400 kB
Active:          28840 kB
Inactive:       109536 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1864808 kB
SwapTotal:     4192956 kB
SwapFree:      4181356 kB
Dirty:             200 kB
Writeback:           0 kB
Mapped:          14900 kB
Slab:            38768 kB
Committed_AS:   333540 kB
PageTables:       1416 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node34 on Sat Jun  3 07:14:51 UTC 2006