Trace number 40022

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/05Signal 1043.25 1043.63

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-pk1.opb
MD5SUM2299da783c48196e7dbf5579e5089efd
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark42
Best CPU time to get the best result obtained on this benchmark1782.73
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 27
Optimality of the best value was proved NO
Number of variables985
Total number of constraints45
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 constraints45
Minimum length of a constraint60
Maximum length of a constraint115
Number of terms in the objective function 30
Biggest coefficient in the objective function 262145
Number of bits for the biggest coefficient in the objective function 19
Sum of the numbers in the objective function 524317
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262145
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 524347
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.01	c Time Limit set via PBTIMEOUT to 1800
0.07	c INFO: OSL Context initialized.
0.09	c Initial problem consists of 985 variables and 60 constraints.
0.09	c No problem reductions applied in OPT. instance.
0.09	c	preprocess terminated. Elapsed time: 0.023
0.09	c After prepocess the problem consists of 985 variables and 60 constraints.
0.09	c Initial Lower Bound: 0
0.11	c Restart #1 #Var: 985 LB: 0 @ 0.045
0.16	c Restart #2 #Var: 985 LB: 0 @ 0.09
0.22	c Restart #3 #Var: 985 LB: 0 @ 0.154
0.30	c Restart #4 #Var: 985 LB: 0 @ 0.229
0.39	c Restart #5 #Var: 985 LB: 0 @ 0.318
0.49	c Restart #6 #Var: 985 LB: 0 @ 0.419
0.61	c Restart #7 #Var: 985 LB: 0 @ 0.537
0.75	c Restart #8 #Var: 985 LB: 0 @ 0.674
0.87	c Restart #9 #Var: 985 LB: 0 @ 0.796
1.00	c Restart #10 #Var: 985 LB: 0 @ 0.929
1.15	c Restart #11 #Var: 985 LB: 0 @ 1.074
1.31	c Restart #12 #Var: 985 LB: 0 @ 1.233
1.48	c Restart #13 #Var: 985 LB: 0 @ 1.406
1.65	c Restart #14 #Var: 985 LB: 0 @ 1.58
1.84	c Restart #15 #Var: 985 LB: 0 @ 1.768
2.04	c Restart #16 #Var: 985 LB: 0 @ 1.967
2.25	c Restart #17 #Var: 985 LB: 0 @ 2.181
2.48	c Restart #18 #Var: 985 LB: 0 @ 2.404
2.71	c Restart #19 #Var: 985 LB: 0 @ 2.643
2.96	c Restart #20 #Var: 985 LB: 0 @ 2.89
3.23	c Restart #21 #Var: 985 LB: 0 @ 3.155
3.50	c Restart #22 #Var: 985 LB: 0 @ 3.427
3.79	c Restart #23 #Var: 985 LB: 0 @ 3.717
4.08	c Restart #24 #Var: 985 LB: 0 @ 4.012
4.40	c Restart #25 #Var: 985 LB: 0 @ 4.327
4.73	c Restart #26 #Var: 985 LB: 0 @ 4.662
5.11	c Restart #27 #Var: 985 LB: 0 @ 5.043
5.61	c Restart #28 #Var: 985 LB: 0 @ 5.541
6.12	c Restart #29 #Var: 985 LB: 0 @ 6.047
6.50	c Restart #30 #Var: 985 LB: 0 @ 6.427
6.89	c Restart #31 #Var: 985 LB: 0 @ 6.816
7.28	c Restart #32 #Var: 985 LB: 0 @ 7.21
7.70	c Restart #33 #Var: 985 LB: 0 @ 7.622
8.11	c Restart #34 #Var: 985 LB: 0 @ 8.039
8.55	c Restart #35 #Var: 985 LB: 0 @ 8.479
8.99	c Restart #36 #Var: 985 LB: 0 @ 8.921
9.46	c Restart #37 #Var: 985 LB: 0 @ 9.388
9.93	c Restart #38 #Var: 985 LB: 0 @ 9.854
10.42	c Restart #39 #Var: 985 LB: 0 @ 10.342
10.91	c Restart #40 #Var: 985 LB: 0 @ 10.831
11.42	c Restart #41 #Var: 985 LB: 0 @ 11.347
11.93	c Restart #42 #Var: 985 LB: 0 @ 11.861
12.48	c Restart #43 #Var: 985 LB: 0 @ 12.401
13.01	c Restart #44 #Var: 985 LB: 0 @ 12.94
13.58	c Restart #45 #Var: 985 LB: 0 @ 13.503
14.14	c Restart #46 #Var: 985 LB: 0 @ 14.066
14.73	c Restart #47 #Var: 985 LB: 0 @ 14.656
15.32	c Restart #48 #Var: 985 LB: 0 @ 15.242
15.93	c Restart #49 #Var: 985 LB: 0 @ 15.852
16.54	c Restart #50 #Var: 985 LB: 0 @ 16.46
17.17	c Restart #51 #Var: 985 LB: 0 @ 17.095
17.80	c Restart #52 #Var: 985 LB: 0 @ 17.727
18.46	c Restart #53 #Var: 985 LB: 0 @ 18.386
19.12	c Restart #54 #Var: 985 LB: 0 @ 19.043
19.80	c Restart #55 #Var: 985 LB: 0 @ 19.729
20.49	c Restart #56 #Var: 985 LB: 0 @ 20.412
21.20	c Restart #57 #Var: 985 LB: 0 @ 21.123
21.90	c Restart #58 #Var: 985 LB: 0 @ 21.827
22.64	c Restart #59 #Var: 985 LB: 0 @ 22.566
23.37	c Restart #60 #Var: 985 LB: 0 @ 23.296
24.14	c Restart #61 #Var: 985 LB: 0 @ 24.058
24.89	c Restart #62 #Var: 985 LB: 0 @ 24.817
25.69	c Restart #63 #Var: 985 LB: 0 @ 25.613
26.48	c Restart #64 #Var: 985 LB: 0 @ 26.4
27.31	c Restart #65 #Var: 985 LB: 0 @ 27.229
28.12	c Restart #66 #Var: 985 LB: 0 @ 28.039
28.98	c Restart #67 #Var: 985 LB: 0 @ 28.903
29.81	c Restart #68 #Var: 985 LB: 0 @ 29.733
30.70	c Restart #69 #Var: 985 LB: 0 @ 30.624
31.56	c Restart #70 #Var: 985 LB: 0 @ 31.481
32.48	c Restart #71 #Var: 985 LB: 0 @ 32.399
33.36	c Restart #72 #Var: 985 LB: 0 @ 33.277
34.31	c Restart #73 #Var: 985 LB: 0 @ 34.226
35.20	c Restart #74 #Var: 985 LB: 0 @ 35.12
36.17	c Restart #75 #Var: 985 LB: 0 @ 36.085
37.07	c Restart #76 #Var: 985 LB: 0 @ 36.991
38.07	c Restart #77 #Var: 985 LB: 0 @ 37.993
39.00	c Restart #78 #Var: 985 LB: 0 @ 38.924
40.03	c Restart #79 #Var: 985 LB: 0 @ 39.951
40.99	c Restart #80 #Var: 985 LB: 0 @ 40.911
42.05	c Restart #81 #Var: 985 LB: 0 @ 41.967
43.04	c Restart #82 #Var: 985 LB: 0 @ 42.957
44.12	c Restart #83 #Var: 985 LB: 0 @ 44.036
45.14	c Restart #84 #Var: 985 LB: 0 @ 45.057
46.25	c Restart #85 #Var: 985 LB: 0 @ 46.168
47.31	c Restart #86 #Var: 985 LB: 0 @ 47.222
48.45	c Restart #87 #Var: 985 LB: 0 @ 48.362
49.53	c Restart #88 #Var: 985 LB: 0 @ 49.445
50.69	c Restart #89 #Var: 985 LB: 0 @ 50.61
51.80	c Restart #90 #Var: 985 LB: 0 @ 51.715
52.99	c Restart #91 #Var: 985 LB: 0 @ 52.906
54.11	c Restart #92 #Var: 985 LB: 0 @ 54.027
55.33	c Restart #93 #Var: 985 LB: 0 @ 55.25
56.47	c Restart #94 #Var: 985 LB: 0 @ 56.385
57.71	c Restart #95 #Var: 985 LB: 0 @ 57.628
58.87	c Restart #96 #Var: 985 LB: 0 @ 58.785
60.14	c Restart #97 #Var: 985 LB: 0 @ 60.057
61.32	c Restart #98 #Var: 985 LB: 0 @ 61.233
62.62	c Restart #99 #Var: 985 LB: 0 @ 62.53
63.82	c Restart #100 #Var: 985 LB: 0 @ 63.732
65.14	c Restart #101 #Var: 985 LB: 0 @ 65.055
66.38	c Restart #102 #Var: 985 LB: 0 @ 66.293
67.75	c Restart #103 #Var: 985 LB: 0 @ 67.659
69.02	c Restart #104 #Var: 985 LB: 0 @ 68.933
70.41	c Restart #105 #Var: 985 LB: 0 @ 70.316
71.70	c Restart #106 #Var: 985 LB: 0 @ 71.612
73.12	c Restart #107 #Var: 985 LB: 0 @ 73.027
74.43	c Restart #108 #Var: 985 LB: 0 @ 74.342
75.87	c Restart #109 #Var: 985 LB: 0 @ 75.779
77.20	c Restart #110 #Var: 985 LB: 0 @ 77.114
78.65	c Restart #111 #Var: 985 LB: 0 @ 78.561
80.01	c Restart #112 #Var: 985 LB: 0 @ 79.918
81.48	c Restart #113 #Var: 985 LB: 0 @ 81.392
82.88	c Restart #114 #Var: 985 LB: 0 @ 82.785
84.37	c Restart #115 #Var: 985 LB: 0 @ 84.281
85.79	c Restart #116 #Var: 985 LB: 0 @ 85.7
87.33	c Restart #117 #Var: 985 LB: 0 @ 87.24
88.78	c Restart #118 #Var: 985 LB: 0 @ 88.683
90.35	c Restart #119 #Var: 985 LB: 0 @ 90.252
91.83	c Restart #120 #Var: 985 LB: 0 @ 91.732
93.43	c Restart #121 #Var: 985 LB: 0 @ 93.339
94.92	c Restart #122 #Var: 985 LB: 0 @ 94.827
96.55	c Restart #123 #Var: 985 LB: 0 @ 96.455
98.07	c Restart #124 #Var: 985 LB: 0 @ 97.973
99.71	c Restart #125 #Var: 985 LB: 0 @ 99.608
101.24	c Restart #126 #Var: 985 LB: 0 @ 101.14
102.91	c Restart #127 #Var: 985 LB: 0 @ 102.81
104.46	c Restart #128 #Var: 985 LB: 0 @ 104.37
106.16	c Restart #129 #Var: 985 LB: 0 @ 106.06
107.76	c Restart #130 #Var: 985 LB: 0 @ 107.66
109.48	c Restart #131 #Var: 985 LB: 0 @ 109.39
111.12	c Restart #132 #Var: 985 LB: 0 @ 111.02
112.87	c Restart #133 #Var: 985 LB: 0 @ 112.77
114.53	c Restart #134 #Var: 985 LB: 0 @ 114.42
116.30	c Restart #135 #Var: 985 LB: 0 @ 116.19
117.97	c Restart #136 #Var: 985 LB: 0 @ 117.86
119.75	c Restart #137 #Var: 985 LB: 0 @ 119.65
121.45	c Restart #138 #Var: 985 LB: 0 @ 121.34
123.27	c Restart #139 #Var: 985 LB: 0 @ 123.17
124.99	c Restart #140 #Var: 985 LB: 0 @ 124.88
126.85	c Restart #141 #Var: 985 LB: 0 @ 126.74
128.60	c Restart #142 #Var: 985 LB: 0 @ 128.5
130.48	c Restart #143 #Var: 985 LB: 0 @ 130.37
132.26	c Restart #144 #Var: 985 LB: 0 @ 132.15
134.17	c Restart #145 #Var: 985 LB: 0 @ 134.07
135.97	c Restart #146 #Var: 985 LB: 0 @ 135.86
137.89	c Restart #147 #Var: 985 LB: 0 @ 137.78
139.70	c Restart #148 #Var: 985 LB: 0 @ 139.6
141.65	c Restart #149 #Var: 985 LB: 0 @ 141.55
143.50	c Restart #150 #Var: 985 LB: 0 @ 143.39
145.48	c Restart #151 #Var: 985 LB: 0 @ 145.37
147.37	c Restart #152 #Var: 985 LB: 0 @ 147.26
149.40	c Restart #153 #Var: 985 LB: 0 @ 149.29
151.32	c Restart #154 #Var: 985 LB: 0 @ 151.21
153.37	c Restart #155 #Var: 985 LB: 0 @ 153.26
155.32	c Restart #156 #Var: 985 LB: 0 @ 155.21
157.38	c Restart #157 #Var: 985 LB: 0 @ 157.27
159.32	c Restart #158 #Var: 985 LB: 0 @ 159.21
161.42	c Restart #159 #Var: 985 LB: 0 @ 161.31
163.39	c Restart #160 #Var: 985 LB: 0 @ 163.28
165.52	c Restart #161 #Var: 985 LB: 0 @ 165.4
167.54	c Restart #162 #Var: 985 LB: 0 @ 167.42
169.71	c Restart #163 #Var: 985 LB: 0 @ 169.6
171.77	c Restart #164 #Var: 985 LB: 0 @ 171.66
173.97	c Restart #165 #Var: 985 LB: 0 @ 173.86
176.05	c Restart #166 #Var: 985 LB: 0 @ 175.94
178.25	c Restart #167 #Var: 985 LB: 0 @ 178.13
180.35	c Restart #168 #Var: 985 LB: 0 @ 180.23
182.59	c Restart #169 #Var: 985 LB: 0 @ 182.47
184.70	c Restart #170 #Var: 985 LB: 0 @ 184.58
186.98	c Restart #171 #Var: 985 LB: 0 @ 186.86
189.12	c Restart #172 #Var: 985 LB: 0 @ 189
191.42	c Restart #173 #Var: 985 LB: 0 @ 191.3
193.60	c Restart #174 #Var: 985 LB: 0 @ 193.48
195.94	c Restart #175 #Var: 985 LB: 0 @ 195.82
198.11	c Restart #176 #Var: 985 LB: 0 @ 197.99
200.47	c Restart #177 #Var: 985 LB: 0 @ 200.35
202.69	c Restart #178 #Var: 985 LB: 0 @ 202.56
205.08	c Restart #179 #Var: 985 LB: 0 @ 204.96
207.32	c Restart #180 #Var: 985 LB: 0 @ 207.19
209.76	c Restart #181 #Var: 985 LB: 0 @ 209.63
212.00	c Restart #182 #Var: 985 LB: 0 @ 211.88
214.42	c Restart #183 #Var: 985 LB: 0 @ 214.3
216.69	c Restart #184 #Var: 985 LB: 0 @ 216.56
219.11	c Restart #185 #Var: 985 LB: 0 @ 218.98
221.41	c Restart #186 #Var: 985 LB: 0 @ 221.28
223.87	c Restart #187 #Var: 985 LB: 0 @ 223.74
226.20	c Restart #188 #Var: 985 LB: 0 @ 226.07
228.71	c Restart #189 #Var: 985 LB: 0 @ 228.58
231.12	c Restart #190 #Var: 985 LB: 0 @ 230.99
233.66	c Restart #191 #Var: 985 LB: 0 @ 233.53
236.07	c Restart #192 #Var: 985 LB: 0 @ 235.94
238.61	c Restart #193 #Var: 985 LB: 0 @ 238.47
241.05	c Restart #194 #Var: 985 LB: 0 @ 240.91
243.60	c Restart #195 #Var: 985 LB: 0 @ 243.47
246.10	c Restart #196 #Var: 985 LB: 0 @ 245.96
248.68	c Restart #197 #Var: 985 LB: 0 @ 248.55
251.24	c Restart #198 #Var: 985 LB: 0 @ 251.1
253.85	c Restart #199 #Var: 985 LB: 0 @ 253.72
256.43	c Restart #200 #Var: 985 LB: 0 @ 256.3
259.03	c Restart #201 #Var: 985 LB: 0 @ 258.89
261.61	c Restart #202 #Var: 985 LB: 0 @ 261.47
264.21	c Restart #203 #Var: 985 LB: 0 @ 264.07
266.85	c Restart #204 #Var: 985 LB: 0 @ 266.71
269.49	c Restart #205 #Var: 985 LB: 0 @ 269.35
272.17	c Restart #206 #Var: 985 LB: 0 @ 272.03
274.84	c Restart #207 #Var: 985 LB: 0 @ 274.69
277.54	c Restart #208 #Var: 985 LB: 0 @ 277.4
280.19	c Restart #209 #Var: 985 LB: 0 @ 280.05
282.92	c Restart #210 #Var: 985 LB: 0 @ 282.78
285.89	c Restart #211 #Var: 985 LB: 0 @ 285.75
289.68	c Restart #212 #Var: 985 LB: 0 @ 289.54
292.67	c Restart #213 #Var: 985 LB: 0 @ 292.52
295.71	c Restart #214 #Var: 985 LB: 0 @ 295.56
298.60	c Restart #215 #Var: 985 LB: 0 @ 298.45
301.38	c Restart #216 #Var: 985 LB: 0 @ 301.24
304.27	c Restart #217 #Var: 985 LB: 0 @ 304.12
306.85	c Restart #218 #Var: 985 LB: 0 @ 306.69
309.81	c Restart #219 #Var: 985 LB: 0 @ 309.66
312.43	c Restart #220 #Var: 985 LB: 0 @ 312.27
315.41	c Restart #221 #Var: 985 LB: 0 @ 315.26
318.04	c Restart #222 #Var: 985 LB: 0 @ 317.89
321.02	c Restart #223 #Var: 985 LB: 0 @ 320.86
323.69	c Restart #224 #Var: 985 LB: 0 @ 323.54
326.75	c Restart #225 #Var: 985 LB: 0 @ 326.59
329.46	c Restart #226 #Var: 985 LB: 0 @ 329.31
332.61	c Restart #227 #Var: 985 LB: 0 @ 332.45
335.36	c Restart #228 #Var: 985 LB: 0 @ 335.21
338.51	c Restart #229 #Var: 985 LB: 0 @ 338.35
341.27	c Restart #230 #Var: 985 LB: 0 @ 341.11
344.45	c Restart #231 #Var: 985 LB: 0 @ 344.29
347.26	c Restart #232 #Var: 985 LB: 0 @ 347.1
350.51	c Restart #233 #Var: 985 LB: 0 @ 350.35
353.39	c Restart #234 #Var: 985 LB: 0 @ 353.22
356.66	c Restart #235 #Var: 985 LB: 0 @ 356.49
359.53	c Restart #236 #Var: 985 LB: 0 @ 359.36
362.85	c Restart #237 #Var: 985 LB: 0 @ 362.69
365.80	c Restart #238 #Var: 985 LB: 0 @ 365.63
369.17	c Restart #239 #Var: 985 LB: 0 @ 369.01
372.10	c Restart #240 #Var: 985 LB: 0 @ 371.93
375.51	c Restart #241 #Var: 985 LB: 0 @ 375.34
378.49	c Restart #242 #Var: 985 LB: 0 @ 378.32
381.86	c Restart #243 #Var: 985 LB: 0 @ 381.69
384.89	c Restart #244 #Var: 985 LB: 0 @ 384.71
388.32	c Restart #245 #Var: 985 LB: 0 @ 388.15
391.41	c Restart #246 #Var: 985 LB: 0 @ 391.24
394.90	c Restart #247 #Var: 985 LB: 0 @ 394.73
397.99	c Restart #248 #Var: 985 LB: 0 @ 397.82
401.43	c Restart #249 #Var: 985 LB: 0 @ 401.25
404.56	c Restart #250 #Var: 985 LB: 0 @ 404.38
408.06	c Restart #251 #Var: 985 LB: 0 @ 407.88
411.24	c Restart #252 #Var: 985 LB: 0 @ 411.06
414.76	c Restart #253 #Var: 985 LB: 0 @ 414.58
417.93	c Restart #254 #Var: 985 LB: 0 @ 417.75
421.45	c Restart #255 #Var: 985 LB: 0 @ 421.27
424.68	c Restart #256 #Var: 985 LB: 0 @ 424.5
428.27	c Restart #257 #Var: 985 LB: 0 @ 428.09
431.51	c Restart #258 #Var: 985 LB: 0 @ 431.33
435.13	c Restart #259 #Var: 985 LB: 0 @ 434.94
438.36	c Restart #260 #Var: 985 LB: 0 @ 438.18
441.97	c Restart #261 #Var: 985 LB: 0 @ 441.78
445.23	c Restart #262 #Var: 985 LB: 0 @ 445.04
448.86	c Restart #263 #Var: 985 LB: 0 @ 448.67
452.16	c Restart #264 #Var: 985 LB: 0 @ 451.97
455.85	c Restart #265 #Var: 985 LB: 0 @ 455.66
459.16	c Restart #266 #Var: 985 LB: 0 @ 458.96
462.81	c Restart #267 #Var: 985 LB: 0 @ 462.62
466.16	c Restart #268 #Var: 985 LB: 0 @ 465.97
469.95	c Restart #269 #Var: 985 LB: 0 @ 469.76
473.36	c Restart #270 #Var: 985 LB: 0 @ 473.17
477.11	c Restart #271 #Var: 985 LB: 0 @ 476.92
480.52	c Restart #272 #Var: 985 LB: 0 @ 480.32
484.26	c Restart #273 #Var: 985 LB: 0 @ 484.06
487.73	c Restart #274 #Var: 985 LB: 0 @ 487.54
491.55	c Restart #275 #Var: 985 LB: 0 @ 491.35
495.04	c Restart #276 #Var: 985 LB: 0 @ 494.84
498.82	c Restart #277 #Var: 985 LB: 0 @ 498.62
502.30	c Restart #278 #Var: 985 LB: 0 @ 502.1
506.09	c Restart #279 #Var: 985 LB: 0 @ 505.89
509.64	c Restart #280 #Var: 985 LB: 0 @ 509.43
513.46	c Restart #281 #Var: 985 LB: 0 @ 513.26
517.03	c Restart #282 #Var: 985 LB: 0 @ 516.83
520.85	c Restart #283 #Var: 985 LB: 0 @ 520.64
524.47	c Restart #284 #Var: 985 LB: 0 @ 524.26
528.36	c Restart #285 #Var: 985 LB: 0 @ 528.15
532.05	c Restart #286 #Var: 985 LB: 0 @ 531.84
535.97	c Restart #287 #Var: 985 LB: 0 @ 535.76
539.63	c Restart #288 #Var: 985 LB: 0 @ 539.42
543.50	c Restart #289 #Var: 985 LB: 0 @ 543.28
547.20	c Restart #290 #Var: 985 LB: 0 @ 546.99
551.17	c Restart #291 #Var: 985 LB: 0 @ 550.95
554.91	c Restart #292 #Var: 985 LB: 0 @ 554.7
558.85	c Restart #293 #Var: 985 LB: 0 @ 558.64
562.62	c Restart #294 #Var: 985 LB: 0 @ 562.4
566.62	c Restart #295 #Var: 985 LB: 0 @ 566.4
570.41	c Restart #296 #Var: 985 LB: 0 @ 570.18
574.44	c Restart #297 #Var: 985 LB: 0 @ 574.22
578.19	c Restart #298 #Var: 985 LB: 0 @ 577.97
582.23	c Restart #299 #Var: 985 LB: 0 @ 582.01
586.01	c Restart #300 #Var: 985 LB: 0 @ 585.78
590.10	c Restart #301 #Var: 985 LB: 0 @ 589.87
593.93	c Restart #302 #Var: 985 LB: 0 @ 593.7
598.05	c Restart #303 #Var: 985 LB: 0 @ 597.83
601.86	c Restart #304 #Var: 985 LB: 0 @ 601.63
605.96	c Restart #305 #Var: 985 LB: 0 @ 605.73
609.84	c Restart #306 #Var: 985 LB: 0 @ 609.61
614.02	c Restart #307 #Var: 985 LB: 0 @ 613.79
617.95	c Restart #308 #Var: 985 LB: 0 @ 617.72
622.12	c Restart #309 #Var: 985 LB: 0 @ 621.88
626.09	c Restart #310 #Var: 985 LB: 0 @ 625.86
630.32	c Restart #311 #Var: 985 LB: 0 @ 630.08
634.35	c Restart #312 #Var: 985 LB: 0 @ 634.12
638.60	c Restart #313 #Var: 985 LB: 0 @ 638.36
642.62	c Restart #314 #Var: 985 LB: 0 @ 642.38
646.88	c Restart #315 #Var: 985 LB: 0 @ 646.64
650.98	c Restart #316 #Var: 985 LB: 0 @ 650.74
655.29	c Restart #317 #Var: 985 LB: 0 @ 655.05
659.40	c Restart #318 #Var: 985 LB: 0 @ 659.16
663.76	c Restart #319 #Var: 985 LB: 0 @ 663.52
667.96	c Restart #320 #Var: 985 LB: 0 @ 667.72
672.40	c Restart #321 #Var: 985 LB: 0 @ 672.15
676.60	c Restart #322 #Var: 985 LB: 0 @ 676.35
680.99	c Restart #323 #Var: 985 LB: 0 @ 680.75
685.17	c Restart #324 #Var: 985 LB: 0 @ 684.92
689.59	c Restart #325 #Var: 985 LB: 0 @ 689.34
693.83	c Restart #326 #Var: 985 LB: 0 @ 693.58
698.28	c Restart #327 #Var: 985 LB: 0 @ 698.03
702.51	c Restart #328 #Var: 985 LB: 0 @ 702.26
706.99	c Restart #329 #Var: 985 LB: 0 @ 706.73
711.28	c Restart #330 #Var: 985 LB: 0 @ 711.03
715.82	c Restart #331 #Var: 985 LB: 0 @ 715.56
720.04	c Restart #332 #Var: 985 LB: 0 @ 719.79
724.53	c Restart #333 #Var: 985 LB: 0 @ 724.27
728.86	c Restart #334 #Var: 985 LB: 0 @ 728.6
733.41	c Restart #335 #Var: 985 LB: 0 @ 733.15
737.75	c Restart #336 #Var: 985 LB: 0 @ 737.49
742.29	c Restart #337 #Var: 985 LB: 0 @ 742.03
746.63	c Restart #338 #Var: 985 LB: 0 @ 746.37
751.25	c Restart #339 #Var: 985 LB: 0 @ 750.98
755.63	c Restart #340 #Var: 985 LB: 0 @ 755.36
760.19	c Restart #341 #Var: 985 LB: 0 @ 759.92
764.52	c Restart #342 #Var: 985 LB: 0 @ 764.25
769.11	c Restart #343 #Var: 985 LB: 0 @ 768.84
773.53	c Restart #344 #Var: 985 LB: 0 @ 773.25
778.12	c Restart #345 #Var: 985 LB: 0 @ 777.84
782.56	c Restart #346 #Var: 985 LB: 0 @ 782.29
787.23	c Restart #347 #Var: 985 LB: 0 @ 786.95
791.78	c Restart #348 #Var: 985 LB: 0 @ 791.5
796.52	c Restart #349 #Var: 985 LB: 0 @ 796.24
801.09	c Restart #350 #Var: 985 LB: 0 @ 800.81
805.79	c Restart #351 #Var: 985 LB: 0 @ 805.51
810.42	c Restart #352 #Var: 985 LB: 0 @ 810.13
815.15	c Restart #353 #Var: 985 LB: 0 @ 814.87
819.80	c Restart #354 #Var: 985 LB: 0 @ 819.51
824.60	c Restart #355 #Var: 985 LB: 0 @ 824.31
829.31	c Restart #356 #Var: 985 LB: 0 @ 829.02
834.11	c Restart #357 #Var: 985 LB: 0 @ 833.82
838.78	c Restart #358 #Var: 985 LB: 0 @ 838.49
843.53	c Restart #359 #Var: 985 LB: 0 @ 843.24
848.24	c Restart #360 #Var: 985 LB: 0 @ 847.95
853.09	c Restart #361 #Var: 985 LB: 0 @ 852.79
857.84	c Restart #362 #Var: 985 LB: 0 @ 857.54
862.60	c Restart #363 #Var: 985 LB: 0 @ 862.31
867.35	c Restart #364 #Var: 985 LB: 0 @ 867.06
872.18	c Restart #365 #Var: 985 LB: 0 @ 871.88
876.94	c Restart #366 #Var: 985 LB: 0 @ 876.64
881.75	c Restart #367 #Var: 985 LB: 0 @ 881.45
886.57	c Restart #368 #Var: 985 LB: 0 @ 886.27
891.46	c Restart #369 #Var: 985 LB: 0 @ 891.16
896.26	c Restart #370 #Var: 985 LB: 0 @ 895.96
901.13	c CHANGE Heuristic... 
901.13	c Restart #0 #Var: 985 LB: 0 @ 900.83
901.29	c Restart #1 #Var: 985 LB: 0 @ 900.98
901.39	c Restart #2 #Var: 985 LB: 0 @ 901.08
902.55	c Restart #3 #Var: 985 LB: 0 @ 902.25
902.62	c Restart #4 #Var: 985 LB: 0 @ 902.32
902.69	c Restart #5 #Var: 985 LB: 0 @ 902.39
902.77	c Restart #6 #Var: 985 LB: 0 @ 902.47
902.87	c Restart #7 #Var: 985 LB: 0 @ 902.56
902.98	c Restart #8 #Var: 985 LB: 0 @ 902.67
903.11	c Restart #9 #Var: 985 LB: 0 @ 902.8
903.25	c Restart #10 #Var: 985 LB: 0 @ 902.94
903.42	c Restart #11 #Var: 985 LB: 0 @ 903.11
903.61	c Restart #12 #Var: 985 LB: 0 @ 903.3
903.80	c Restart #13 #Var: 985 LB: 0 @ 903.49
904.03	c Restart #14 #Var: 985 LB: 0 @ 903.72
904.25	c Restart #15 #Var: 985 LB: 0 @ 903.94
904.53	c Restart #16 #Var: 985 LB: 0 @ 904.23
904.82	c Restart #17 #Var: 985 LB: 0 @ 904.52
905.14	c Restart #18 #Var: 985 LB: 0 @ 904.84
905.48	c Restart #19 #Var: 985 LB: 0 @ 905.17
905.82	c Restart #20 #Var: 985 LB: 0 @ 905.51
906.19	c Restart #21 #Var: 985 LB: 0 @ 905.89
906.59	c Restart #22 #Var: 985 LB: 0 @ 906.29
907.02	c Restart #23 #Var: 985 LB: 0 @ 906.71
907.46	c Restart #24 #Var: 985 LB: 0 @ 907.15
907.97	c Restart #25 #Var: 985 LB: 0 @ 907.66
908.53	c Restart #26 #Var: 985 LB: 0 @ 908.22
909.21	c Restart #27 #Var: 985 LB: 0 @ 908.91
909.98	c Restart #28 #Var: 985 LB: 0 @ 909.67
910.58	c Restart #29 #Var: 985 LB: 0 @ 910.27
911.20	c Restart #30 #Var: 985 LB: 0 @ 910.9
911.90	c Restart #31 #Var: 985 LB: 0 @ 911.59
912.53	c Restart #32 #Var: 985 LB: 0 @ 912.22
913.26	c Restart #33 #Var: 985 LB: 0 @ 912.95
914.03	c Restart #34 #Var: 985 LB: 0 @ 913.72
914.87	c Restart #35 #Var: 985 LB: 0 @ 914.56
915.69	c Restart #36 #Var: 985 LB: 0 @ 915.38
916.52	c Restart #37 #Var: 985 LB: 0 @ 916.21
917.49	c Restart #38 #Var: 985 LB: 0 @ 917.18
918.43	c Restart #39 #Var: 985 LB: 0 @ 918.12
919.46	c Restart #40 #Var: 985 LB: 0 @ 919.15
920.27	c Restart #41 #Var: 985 LB: 0 @ 919.96
921.48	c Restart #42 #Var: 985 LB: 0 @ 921.16
922.41	c Restart #43 #Var: 985 LB: 0 @ 922.1
923.56	c Restart #44 #Var: 985 LB: 0 @ 923.25
924.62	c Restart #45 #Var: 985 LB: 0 @ 924.3
925.87	c Restart #46 #Var: 985 LB: 0 @ 925.56
927.12	c Restart #47 #Var: 985 LB: 0 @ 926.8
928.27	c Restart #48 #Var: 985 LB: 0 @ 927.95
929.67	c Restart #49 #Var: 985 LB: 0 @ 929.36
931.00	c Restart #50 #Var: 985 LB: 0 @ 930.69
932.32	c Restart #51 #Var: 985 LB: 0 @ 932.01
933.91	c Restart #52 #Var: 985 LB: 0 @ 933.6
935.10	c Restart #53 #Var: 985 LB: 0 @ 934.78
936.83	c Restart #54 #Var: 985 LB: 0 @ 936.52
938.51	c Restart #55 #Var: 985 LB: 0 @ 938.2
940.31	c Restart #56 #Var: 985 LB: 0 @ 939.99
941.88	c Restart #57 #Var: 985 LB: 0 @ 941.56
943.89	c Restart #58 #Var: 985 LB: 0 @ 943.58
945.32	c Restart #59 #Var: 985 LB: 0 @ 945
947.42	c Restart #60 #Var: 985 LB: 0 @ 947.1
949.09	c Restart #61 #Var: 985 LB: 0 @ 948.77
951.08	c Restart #62 #Var: 985 LB: 0 @ 950.76
953.02	c Restart #63 #Var: 985 LB: 0 @ 952.7
954.96	c Restart #64 #Var: 985 LB: 0 @ 954.64
957.15	c Restart #65 #Var: 985 LB: 0 @ 956.83
959.42	c Restart #66 #Var: 985 LB: 0 @ 959.1
961.50	c Restart #67 #Var: 985 LB: 0 @ 961.18
964.28	c Restart #68 #Var: 985 LB: 0 @ 963.96
966.06	c Restart #69 #Var: 985 LB: 0 @ 965.74
968.78	c Restart #70 #Var: 985 LB: 0 @ 968.46
970.77	c Restart #71 #Var: 985 LB: 0 @ 970.44
973.21	c Restart #72 #Var: 985 LB: 0 @ 972.88
975.83	c Restart #73 #Var: 985 LB: 0 @ 975.51
978.10	c Restart #74 #Var: 985 LB: 0 @ 977.77
980.54	c Restart #75 #Var: 985 LB: 0 @ 980.21
983.04	c Restart #76 #Var: 985 LB: 0 @ 982.71
985.56	c Restart #77 #Var: 985 LB: 0 @ 985.24
987.98	c Restart #78 #Var: 985 LB: 0 @ 987.65
990.87	c Restart #79 #Var: 985 LB: 0 @ 990.55
993.58	c Restart #80 #Var: 985 LB: 0 @ 993.25
996.45	c Restart #81 #Var: 985 LB: 0 @ 996.12
999.20	c Restart #82 #Var: 985 LB: 0 @ 998.87
1001.59	c Restart #83 #Var: 985 LB: 0 @ 1001.3
1004.63	c Restart #84 #Var: 985 LB: 0 @ 1004.3
1007.36	c Restart #85 #Var: 985 LB: 0 @ 1007
1010.16	c Restart #86 #Var: 985 LB: 0 @ 1009.8
1013.00	c Restart #87 #Var: 985 LB: 0 @ 1012.6
1015.89	c Restart #88 #Var: 985 LB: 0 @ 1015.5
1018.58	c Restart #89 #Var: 985 LB: 0 @ 1018.2
1021.89	c Restart #90 #Var: 985 LB: 0 @ 1021.5
1024.82	c Restart #91 #Var: 985 LB: 0 @ 1024.5
1028.20	c Restart #92 #Var: 985 LB: 0 @ 1027.8
1031.51	c Restart #93 #Var: 985 LB: 0 @ 1031.1
1034.93	c Restart #94 #Var: 985 LB: 0 @ 1034.6
1038.52	c Restart #95 #Var: 985 LB: 0 @ 1038.2
1042.26	c Restart #96 #Var: 985 LB: 0 @ 1041.9

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/node19/watcher-40022-1149355745 -o ROOT/results/node19/solver-40022-1149355745 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node19/40022-1149355745/instance-40022-1149355745.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.92 1.01 0.99 2/64 12266
/proc/meminfo: memFree=1470264/2055920 swapFree=4181404/4192956
[pid=12266] ppid=12264 vsize=2948 CPUtime=0
/proc/12266/stat : 12266 (bsolo) D 12264 12266 12220 0 -1 0 50 0 0 0 0 0 0 0 18 0 1 0 201237525 3018752 34 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 7484196 0 0 4096 0 18446744071563608240 0 0 17 1 0 0
/proc/12266/statm: 737 34 26 55 0 38 0

[startup+10.0018 s]
/proc/loadavg: 0.93 1.01 0.99 2/64 12266
/proc/meminfo: memFree=1468416/2055920 swapFree=4181404/4192956
[pid=12266] ppid=12264 vsize=6300 CPUtime=9.92
/proc/12266/stat : 12266 (bsolo) R 12264 12266 12220 0 -1 0 830 0 0 0 984 8 0 0 25 0 1 0 201237525 6451200 745 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12266/statm: 1575 745 297 55 0 467 0
Current children cumulated CPU time (s) 9.92
Current children cumulated vsize (Kb) 6300

[startup+20.0079 s]
/proc/loadavg: 0.94 1.01 0.99 2/64 12266
/proc/meminfo: memFree=1468480/2055920 swapFree=4181404/4192956
[pid=12266] ppid=12264 vsize=6300 CPUtime=19.92
/proc/12266/stat : 12266 (bsolo) R 12264 12266 12220 0 -1 0 831 0 0 0 1980 12 0 0 25 0 1 0 201237525 6451200 746 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12266/statm: 1575 746 297 55 0 467 0
Current children cumulated CPU time (s) 19.92
Current children cumulated vsize (Kb) 6300

[startup+30.0139 s]
/proc/loadavg: 0.95 1.00 0.99 2/64 12266
/proc/meminfo: memFree=1468416/2055920 swapFree=4181404/4192956
[pid=12266] ppid=12264 vsize=6300 CPUtime=29.92
/proc/12266/stat : 12266 (bsolo) R 12264 12266 12220 0 -1 0 836 0 0 0 2975 17 0 0 25 0 1 0 201237525 6451200 751 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603842 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12266/statm: 1575 751 297 55 0 467 0
Current children cumulated CPU time (s) 29.92
Current children cumulated vsize (Kb) 6300

[startup+40.02 s]
/proc/loadavg: 0.96 1.00 0.99 2/64 12266
/proc/meminfo: memFree=1468480/2055920 swapFree=4181404/4192956
[pid=12266] ppid=12264 vsize=6300 CPUtime=39.93
/proc/12266/stat : 12266 (bsolo) R 12264 12266 12220 0 -1 0 847 0 0 0 3970 23 0 0 25 0 1 0 201237525 6451200 762 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548239 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12266/statm: 1575 762 297 55 0 467 0
Current children cumulated CPU time (s) 39.93
Current children cumulated vsize (Kb) 6300

[startup+50.0261 s]
/proc/loadavg: 0.96 1.00 0.99 2/64 12266
/proc/meminfo: memFree=1468416/2055920 swapFree=4181404/4192956
[pid=12266] ppid=12264 vsize=6428 CPUtime=49.94
/proc/12266/stat : 12266 (bsolo) R 12264 12266 12220 0 -1 0 856 0 0 0 4966 28 0 0 25 0 1 0 201237525 6582272 771 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12266/statm: 1607 771 297 55 0 499 0
Current children cumulated CPU time (s) 49.94
Current children cumulated vsize (Kb) 6428

[startup+60.0322 s]
/proc/loadavg: 0.97 1.00 0.99 2/64 12266
/proc/meminfo: memFree=1468352/2055920 swapFree=4181404/4192956
[pid=12266] ppid=12264 vsize=6428 CPUtime=59.94
/proc/12266/stat : 12266 (bsolo) R 12264 12266 12220 0 -1 0 867 0 0 0 5961 33 0 0 25 0 1 0 201237525 6582272 782 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12266/statm: 1607 782 297 55 0 499 0
Current children cumulated CPU time (s) 59.94
Current children cumulated vsize (Kb) 6428

[startup+70.0383 s]
/proc/loadavg: 0.97 1.00 0.99 2/64 12266
/proc/meminfo: memFree=1468352/2055920 swapFree=4181404/4192956
[pid=12266] ppid=12264 vsize=6428 CPUtime=69.94
/proc/12266/stat : 12266 (bsolo) R 12264 12266 12220 0 -1 0 875 0 0 0 6956 38 0 0 25 0 1 0 201237525 6582272 790 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12266/statm: 1607 790 297 55 0 499 0
Current children cumulated CPU time (s) 69.94
Current children cumulated vsize (Kb) 6428

[startup+80.0464 s]
/proc/loadavg: 0.98 1.00 0.99 2/64 12266
/proc/meminfo: memFree=1468288/2055920 swapFree=4181404/4192956
[pid=12266] ppid=12264 vsize=6428 CPUtime=79.94
/proc/12266/stat : 12266 (bsolo) R 12264 12266 12220 0 -1 0 883 0 0 0 7951 43 0 0 25 0 1 0 201237525 6582272 798 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12266/statm: 1607 798 297 55 0 499 0
Current children cumulated CPU time (s) 79.94
Current children cumulated vsize (Kb) 6428

[startup+90.0525 s]
/proc/loadavg: 0.98 1.00 0.99 2/64 12266
/proc/meminfo: memFree=1468288/2055920 swapFree=4181404/4192956
[pid=12266] ppid=12264 vsize=6560 CPUtime=89.95
/proc/12266/stat : 12266 (bsolo) R 12264 12266 12220 0 -1 0 890 0 0 0 8947 48 0 0 25 0 1 0 201237525 6717440 805 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12266/statm: 1640 805 297 55 0 532 0
Current children cumulated CPU time (s) 89.95
Current children cumulated vsize (Kb) 6560

[startup+100.059 s]
/proc/loadavg: 0.98 1.00 0.99 2/64 12266
/proc/meminfo: memFree=1468224/2055920 swapFree=4181404/4192956
[pid=12266] ppid=12264 vsize=6560 CPUtime=99.95
/proc/12266/stat : 12266 (bsolo) R 12264 12266 12220 0 -1 0 899 0 0 0 9942 53 0 0 25 0 1 0 201237525 6717440 814 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 7918147 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12266/statm: 1640 814 297 55 0 532 0
Current children cumulated CPU time (s) 99.95
Current children cumulated vsize (Kb) 6560

[startup+110.065 s]
/proc/loadavg: 0.98 1.00 0.99 2/64 12266
/proc/meminfo: memFree=1468160/2055920 swapFree=4181404/4192956
[pid=12266] ppid=12264 vsize=6692 CPUtime=109.96
/proc/12266/stat : 12266 (bsolo) R 12264 12266 12220 0 -1 0 918 0 0 0 10938 58 0 0 25 0 1 0 201237525 6852608 833 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12266/statm: 1673 833 297 55 0 565 0
Current children cumulated CPU time (s) 109.96
Current children cumulated vsize (Kb) 6692

[startup+120.072 s]
/proc/loadavg: 0.99 1.00 0.99 2/64 12266
/proc/meminfo: memFree=1468096/2055920 swapFree=4181404/4192956
[pid=12266] ppid=12264 vsize=6692 CPUtime=119.96
/proc/12266/stat : 12266 (bsolo) R 12264 12266 12220 0 -1 0 933 0 0 0 11935 61 0 0 25 0 1 0 201237525 6852608 848 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12266/statm: 1673 848 297 55 0 565 0
Current children cumulated CPU time (s) 119.96
Current children cumulated vsize (Kb) 6692

[startup+130.077 s]
/proc/loadavg: 0.99 1.00 0.99 2/64 12266
/proc/meminfo: memFree=1468032/2055920 swapFree=4181404/4192956
[pid=12266] ppid=12264 vsize=6692 CPUtime=129.96
/proc/12266/stat : 12266 (bsolo) R 12264 12266 12220 0 -1 0 948 0 0 0 12929 67 0 0 25 0 1 0 201237525 6852608 863 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12266/statm: 1673 863 297 55 0 565 0
Current children cumulated CPU time (s) 129.96
Current children cumulated vsize (Kb) 6692

[startup+140.083 s]
/proc/loadavg: 0.99 1.00 0.99 2/64 12266
/proc/meminfo: memFree=1468096/2055920 swapFree=4181404/4192956
[pid=12266] ppid=12264 vsize=6824 CPUtime=139.97
/proc/12266/stat : 12266 (bsolo) R 12264 12266 12220 0 -1 0 960 0 0 0 13924 73 0 0 25 0 1 0 201237525 6987776 875 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12266/statm: 1706 875 297 55 0 598 0
Current children cumulated CPU time (s) 139.97
Current children cumulated vsize (Kb) 6824

[startup+150.089 s]
/proc/loadavg: 0.99 1.00 0.99 2/64 12266
/proc/meminfo: memFree=1468032/2055920 swapFree=4181404/4192956
[pid=12266] ppid=12264 vsize=6824 CPUtime=149.97
/proc/12266/stat : 12266 (bsolo) R 12264 12266 12220 0 -1 0 968 0 0 0 14919 78 0 0 25 0 1 0 201237525 6987776 883 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12266/statm: 1706 883 297 55 0 598 0
Current children cumulated CPU time (s) 149.97
Current children cumulated vsize (Kb) 6824

[startup+160.095 s]
/proc/loadavg: 0.99 1.00 0.99 2/64 12266
/proc/meminfo: memFree=1467968/2055920 swapFree=4181404/4192956
[pid=12266] ppid=12264 vsize=6824 CPUtime=159.98
/proc/12266/stat : 12266 (bsolo) R 12264 12266 12220 0 -1 0 980 0 0 0 15915 83 0 0 25 0 1 0 201237525 6987776 895 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12266/statm: 1706 895 297 55 0 598 0
Current children cumulated CPU time (s) 159.98
Current children cumulated vsize (Kb) 6824

[startup+170.101 s]
/proc/loadavg: 0.99 1.00 0.99 2/64 12266
/proc/meminfo: memFree=1467968/2055920 swapFree=4181404/4192956
[pid=12266] ppid=12264 vsize=6956 CPUtime=169.98
/proc/12266/stat : 12266 (bsolo) R 12264 12266 12220 0 -1 0 990 0 0 0 16910 88 0 0 25 0 1 0 201237525 7122944 905 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12266/statm: 1739 905 297 55 0 631 0
Current children cumulated CPU time (s) 169.98
Current children cumulated vsize (Kb) 6956

[startup+180.108 s]
/proc/loadavg: 0.99 1.00 0.99 2/64 12266
/proc/meminfo: memFree=1467904/2055920 swapFree=4181404/4192956
[pid=12266] ppid=12264 vsize=6956 CPUtime=179.98
/proc/12266/stat : 12266 (bsolo) R 12264 12266 12220 0 -1 0 1000 0 0 0 17906 92 0 0 25 0 1 0 201237525 7122944 915 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12266/statm: 1739 915 297 55 0 631 0
Current children cumulated CPU time (s) 179.98
Current children cumulated vsize (Kb) 6956

[startup+190.114 s]
/proc/loadavg: 0.99 1.00 0.99 2/64 12266
/proc/meminfo: memFree=1467840/2055920 swapFree=4181404/4192956
[pid=12266] ppid=12264 vsize=6956 CPUtime=189.98
/proc/12266/stat : 12266 (bsolo) R 12264 12266 12220 0 -1 0 1010 0 0 0 18902 96 0 0 25 0 1 0 201237525 7122944 925 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603875 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12266/statm: 1739 925 297 55 0 631 0
Current children cumulated CPU time (s) 189.98
Current children cumulated vsize (Kb) 6956

[startup+200.121 s]
/proc/loadavg: 0.99 1.00 0.99 2/64 12266
/proc/meminfo: memFree=1467840/2055920 swapFree=4181404/4192956
[pid=12266] ppid=12264 vsize=7088 CPUtime=199.99
/proc/12266/stat : 12266 (bsolo) R 12264 12266 12220 0 -1 0 1017 0 0 0 19898 101 0 0 25 0 1 0 201237525 7258112 932 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12266/statm: 1772 932 297 55 0 664 0
Current children cumulated CPU time (s) 199.99
Current children cumulated vsize (Kb) 7088

[startup+210.127 s]
/proc/loadavg: 0.99 1.00 0.99 2/64 12266
/proc/meminfo: memFree=1467776/2055920 swapFree=4181404/4192956

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

Current children cumulated CPU time (s) 830.21
Current children cumulated vsize (Kb) 214816

[startup+840.506 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 12268
/proc/meminfo: memFree=1259968/2055920 swapFree=4181404/4192956
[pid=12266] ppid=12264 vsize=214816 CPUtime=840.21
/proc/12266/stat : 12266 (bsolo) R 12264 12266 12220 0 -1 0 52883 0 0 0 83571 450 0 0 25 0 1 0 201237525 219971584 52778 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12266/statm: 53704 52778 297 55 0 52596 0
Current children cumulated CPU time (s) 840.21
Current children cumulated vsize (Kb) 214816

[startup+850.513 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 12268
/proc/meminfo: memFree=1259904/2055920 swapFree=4181404/4192956
[pid=12266] ppid=12264 vsize=214940 CPUtime=850.21
/proc/12266/stat : 12266 (bsolo) R 12264 12266 12220 0 -1 0 52895 0 0 0 84566 455 0 0 25 0 1 0 201237525 220098560 52790 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529206 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12266/statm: 53735 52790 297 55 0 52627 0
Current children cumulated CPU time (s) 850.21
Current children cumulated vsize (Kb) 214940

[startup+860.519 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 12268
/proc/meminfo: memFree=1259840/2055920 swapFree=4181404/4192956
[pid=12266] ppid=12264 vsize=214940 CPUtime=860.21
/proc/12266/stat : 12266 (bsolo) R 12264 12266 12220 0 -1 0 52907 0 0 0 85561 460 0 0 25 0 1 0 201237525 220098560 52802 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12266/statm: 53735 52802 297 55 0 52627 0
Current children cumulated CPU time (s) 860.21
Current children cumulated vsize (Kb) 214940

[startup+870.525 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 12268
/proc/meminfo: memFree=1259776/2055920 swapFree=4181404/4192956
[pid=12266] ppid=12264 vsize=214940 CPUtime=870.22
/proc/12266/stat : 12266 (bsolo) R 12264 12266 12220 0 -1 0 52920 0 0 0 86557 465 0 0 25 0 1 0 201237525 220098560 52815 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12266/statm: 53735 52815 297 55 0 52627 0
Current children cumulated CPU time (s) 870.22
Current children cumulated vsize (Kb) 214940

[startup+880.531 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 12268
/proc/meminfo: memFree=1259776/2055920 swapFree=4181404/4192956
[pid=12266] ppid=12264 vsize=215068 CPUtime=880.22
/proc/12266/stat : 12266 (bsolo) R 12264 12266 12220 0 -1 0 52932 0 0 0 87552 470 0 0 25 0 1 0 201237525 220229632 52827 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12266/statm: 53767 52827 297 55 0 52659 0
Current children cumulated CPU time (s) 880.22
Current children cumulated vsize (Kb) 215068

[startup+890.538 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 12268
/proc/meminfo: memFree=1259712/2055920 swapFree=4181404/4192956
[pid=12266] ppid=12264 vsize=215068 CPUtime=890.22
/proc/12266/stat : 12266 (bsolo) R 12264 12266 12220 0 -1 0 52945 0 0 0 88547 475 0 0 25 0 1 0 201237525 220229632 52840 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12266/statm: 53767 52840 297 55 0 52659 0
Current children cumulated CPU time (s) 890.22
Current children cumulated vsize (Kb) 215068

[startup+900.543 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 12268
/proc/meminfo: memFree=1259648/2055920 swapFree=4181404/4192956
[pid=12266] ppid=12264 vsize=215068 CPUtime=900.23
/proc/12266/stat : 12266 (bsolo) R 12264 12266 12220 0 -1 0 52957 0 0 0 89542 481 0 0 25 0 1 0 201237525 220229632 52852 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12266/statm: 53767 52852 297 55 0 52659 0
Current children cumulated CPU time (s) 900.23
Current children cumulated vsize (Kb) 215068

[startup+910.549 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 12268
/proc/meminfo: memFree=1108480/2055920 swapFree=4181404/4192956
[pid=12266] ppid=12264 vsize=366568 CPUtime=910.23
/proc/12266/stat : 12266 (bsolo) R 12264 12266 12220 0 -1 0 90702 0 0 0 90524 499 0 0 25 0 1 0 201237525 375365632 90562 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12266/statm: 91642 90562 297 55 0 90534 0
Current children cumulated CPU time (s) 910.23
Current children cumulated vsize (Kb) 366568

[startup+920.555 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 12268
/proc/meminfo: memFree=958016/2055920 swapFree=4181404/4192956
[pid=12266] ppid=12264 vsize=517592 CPUtime=920.23
/proc/12266/stat : 12266 (bsolo) R 12264 12266 12220 0 -1 0 128382 0 0 0 91503 520 0 0 25 0 1 0 201237525 530014208 128125 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12266/statm: 129398 128126 297 55 0 128290 0
Current children cumulated CPU time (s) 920.23
Current children cumulated vsize (Kb) 517592

[startup+930.561 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 12268
/proc/meminfo: memFree=820864/2055920 swapFree=4181404/4192956
[pid=12266] ppid=12264 vsize=654560 CPUtime=930.24
/proc/12266/stat : 12266 (bsolo) R 12264 12266 12220 0 -1 0 162603 0 0 0 92486 538 0 0 25 0 1 0 201237525 670269440 162332 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 7919227 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12266/statm: 163640 162332 297 55 0 162532 0
Current children cumulated CPU time (s) 930.24
Current children cumulated vsize (Kb) 654560

[startup+940.567 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 12268
/proc/meminfo: memFree=704256/2055920 swapFree=4181404/4192956
[pid=12266] ppid=12264 vsize=771616 CPUtime=940.24
/proc/12266/stat : 12266 (bsolo) R 12264 12266 12220 0 -1 0 191973 0 0 0 93471 553 0 0 25 0 1 0 201237525 790134784 191442 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 7919227 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12266/statm: 192904 191443 297 55 0 191796 0
Current children cumulated CPU time (s) 940.24
Current children cumulated vsize (Kb) 771616

[startup+950.573 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 12268
/proc/meminfo: memFree=584256/2055920 swapFree=4181404/4192956
[pid=12266] ppid=12264 vsize=892008 CPUtime=950.25
/proc/12266/stat : 12266 (bsolo) R 12264 12266 12220 0 -1 0 222167 0 0 0 94455 570 0 0 25 0 1 0 201237525 913416192 221363 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551613 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12266/statm: 223002 221363 297 55 0 221894 0
Current children cumulated CPU time (s) 950.25
Current children cumulated vsize (Kb) 892008

[startup+960.58 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 12268
/proc/meminfo: memFree=477184/2055920 swapFree=4181404/4192956
[pid=12266] ppid=12264 vsize=999328 CPUtime=960.25
/proc/12266/stat : 12266 (bsolo) R 12264 12266 12220 0 -1 0 249207 0 0 0 95440 585 0 0 25 0 1 0 201237525 1023311872 248075 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548598 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12266/statm: 249832 248075 297 55 0 248724 0
Current children cumulated CPU time (s) 960.25
Current children cumulated vsize (Kb) 999328

[startup+970.586 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 12268
/proc/meminfo: memFree=369664/2055920 swapFree=4181404/4192956
[pid=12266] ppid=12264 vsize=1106700 CPUtime=970.26
/proc/12266/stat : 12266 (bsolo) R 12264 12266 12220 0 -1 0 276224 0 0 0 96427 599 0 0 25 0 1 0 201237525 1133260800 274913 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534988 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12266/statm: 276675 274913 297 55 0 275567 0
Current children cumulated CPU time (s) 970.26
Current children cumulated vsize (Kb) 1106700

[startup+980.592 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 12268
/proc/meminfo: memFree=267392/2055920 swapFree=4181404/4192956
[pid=12266] ppid=12264 vsize=1208856 CPUtime=980.26
/proc/12266/stat : 12266 (bsolo) R 12264 12266 12220 0 -1 0 301906 0 0 0 97414 612 0 0 25 0 1 0 201237525 1237868544 300428 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528659 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12266/statm: 302214 300428 297 55 0 301106 0
Current children cumulated CPU time (s) 980.26
Current children cumulated vsize (Kb) 1208856

[startup+990.598 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 12268
/proc/meminfo: memFree=159616/2055920 swapFree=4181404/4192956
[pid=12266] ppid=12264 vsize=1316168 CPUtime=990.26
/proc/12266/stat : 12266 (bsolo) R 12264 12266 12220 0 -1 0 328795 0 0 0 98400 626 0 0 25 0 1 0 201237525 1347756032 327314 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12266/statm: 329042 327314 297 55 0 327934 0
Current children cumulated CPU time (s) 990.26
Current children cumulated vsize (Kb) 1316168

[startup+1000.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 12268
/proc/meminfo: memFree=56384/2055920 swapFree=4181404/4192956
[pid=12266] ppid=12264 vsize=1421856 CPUtime=1000.26
/proc/12266/stat : 12266 (bsolo) R 12264 12266 12220 0 -1 0 355486 0 0 0 99387 639 0 0 25 0 1 0 201237525 1455980544 353098 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12266/statm: 355464 353099 297 55 0 354356 0
Current children cumulated CPU time (s) 1000.26
Current children cumulated vsize (Kb) 1421856

[startup+1010.61 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 12268
/proc/meminfo: memFree=14848/2055920 swapFree=4181404/4192956
[pid=12266] ppid=12264 vsize=1520816 CPUtime=1010.26
/proc/12266/stat : 12266 (bsolo) R 12264 12266 12220 0 -1 0 380287 0 0 0 100375 651 0 0 25 0 1 0 201237525 1557315584 377887 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12266/statm: 380204 377887 297 55 0 379096 0
Current children cumulated CPU time (s) 1010.26
Current children cumulated vsize (Kb) 1520816

[startup+1020.62 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 12268
/proc/meminfo: memFree=15744/2055920 swapFree=4181404/4192956
[pid=12266] ppid=12264 vsize=1633680 CPUtime=1020.25
/proc/12266/stat : 12266 (bsolo) R 12264 12266 12220 0 -1 0 408521 0 0 0 101360 665 0 0 25 0 1 0 201237525 1672888320 405943 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 7919227 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12266/statm: 408420 405943 297 55 0 407312 0
Current children cumulated CPU time (s) 1020.25
Current children cumulated vsize (Kb) 1633680

[startup+1030.62 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 12268
/proc/meminfo: memFree=15616/2055920 swapFree=4181404/4192956
[pid=12266] ppid=12264 vsize=1735796 CPUtime=1030.25
/proc/12266/stat : 12266 (bsolo) R 12264 12266 12220 0 -1 0 434125 0 0 0 102347 678 0 0 25 0 1 0 201237525 1777455104 431446 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12266/statm: 433949 431446 297 55 0 432841 0
Current children cumulated CPU time (s) 1030.25
Current children cumulated vsize (Kb) 1735796

[startup+1040.63 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 12268
/proc/meminfo: memFree=15488/2055920 swapFree=4181416/4192956
[pid=12266] ppid=12264 vsize=1826532 CPUtime=1040.25
/proc/12266/stat : 12266 (bsolo) R 12264 12266 12220 0 -1 0 456936 0 0 0 103334 691 0 0 25 0 1 0 201237525 1870368768 454089 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12266/statm: 456633 454089 297 55 0 455525 0
Current children cumulated CPU time (s) 1040.25
Current children cumulated vsize (Kb) 1826532

Child ended because it received signal 6 (SIGABRT)
Real time (s): 1043.63
CPU time (s): 1043.25
CPU user time (s): 1036.02
CPU system time (s): 7.2299
CPU usage (%): 99.9639
Max. virtual memory (cumulated for all children) (Kb): 1826532
The end

Launcher Data (download as text)

Begin job on node19 on Sat Jun  3 17:29:05 UTC 2006


FILE ID= 40022-1149355745

PBS_JOBID= 311233

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-pk1.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node19/40022-1149355745/instance-40022-1149355745.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node19/watcher-40022-1149355745 -o ROOT/results/node19/solver-40022-1149355745 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node19/40022-1149355745/instance-40022-1149355745.opb

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  2299da783c48196e7dbf5579e5089efd

RANDOM SEED= 643491620


/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.236
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.236
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:       1470408 kB
Buffers:         21012 kB
Cached:         494484 kB
SwapCached:       3208 kB
Active:          43160 kB
Inactive:       481092 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1470408 kB
SwapTotal:     4192956 kB
SwapFree:      4181404 kB
Dirty:             196 kB
Writeback:           0 kB
Mapped:          14732 kB
Slab:            47216 kB
Committed_AS:   394340 kB
PageTables:       1488 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node19 on Sat Jun  3 17:46:29 UTC 2006