Trace number 40750

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.01 1800.49

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-pk1.opb
MD5SUM064c172c08e0726f78b89fe587697d96
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark73896
Best CPU time to get the best result obtained on this benchmark1800.67
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 50176
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 536870912
Number of bits for the biggest coefficient in the objective function 30
Sum of the numbers in the objective function 1073741823
Number of bits of the sum of numbers in the objective function 30
Biggest number in a constraint 536870912
Number of bits of the biggest number in a constraint 30
Biggest sum of numbers in a constraint 2150078462
Number of bits of the biggest sum of numbers32
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.01	c BIG Int formula...
0.03	c Initial problem consists of 985 variables and 60 constraints.
0.04	c No problem reductions applied in OPT. instance.
0.04	c	preprocess terminated. Elapsed time: 0.024
0.04	c After prepocess the problem consists of 985 variables and 60 constraints.
0.04	c Initial Lower Bound: 0
0.06	c Restart #1 #Var: 985 LB: 0 @ 0.045
0.10	c Restart #2 #Var: 985 LB: 0 @ 0.087
0.16	c Restart #3 #Var: 985 LB: 0 @ 0.149
0.23	c Restart #4 #Var: 985 LB: 0 @ 0.223
0.32	c Restart #5 #Var: 985 LB: 0 @ 0.308
0.42	c Restart #6 #Var: 985 LB: 0 @ 0.405
0.53	c Restart #7 #Var: 985 LB: 0 @ 0.517
0.65	c Restart #8 #Var: 985 LB: 0 @ 0.637
0.78	c Restart #9 #Var: 985 LB: 0 @ 0.766
0.91	c Restart #10 #Var: 985 LB: 0 @ 0.899
1.05	c Restart #11 #Var: 985 LB: 0 @ 1.04
1.20	c Restart #12 #Var: 985 LB: 0 @ 1.184
1.35	c Restart #13 #Var: 985 LB: 0 @ 1.336
1.51	c Restart #14 #Var: 985 LB: 0 @ 1.501
1.68	c Restart #15 #Var: 985 LB: 0 @ 1.668
1.87	c Restart #16 #Var: 985 LB: 0 @ 1.861
2.07	c Restart #17 #Var: 985 LB: 0 @ 2.052
2.28	c Restart #18 #Var: 985 LB: 0 @ 2.268
2.50	c Restart #19 #Var: 985 LB: 0 @ 2.483
2.74	c Restart #20 #Var: 985 LB: 0 @ 2.723
2.97	c Restart #21 #Var: 985 LB: 0 @ 2.959
3.23	c Restart #22 #Var: 985 LB: 0 @ 3.22
3.49	c Restart #23 #Var: 985 LB: 0 @ 3.478
3.78	c Restart #24 #Var: 985 LB: 0 @ 3.764
4.06	c Restart #25 #Var: 985 LB: 0 @ 4.046
4.39	c Restart #26 #Var: 985 LB: 0 @ 4.374
4.74	c Restart #27 #Var: 985 LB: 0 @ 4.722
5.13	c Restart #28 #Var: 985 LB: 0 @ 5.114
5.57	c Restart #29 #Var: 985 LB: 0 @ 5.558
6.06	c Restart #30 #Var: 985 LB: 0 @ 6.043
6.44	c Restart #31 #Var: 985 LB: 0 @ 6.417
6.84	c Restart #32 #Var: 985 LB: 0 @ 6.823
7.23	c Restart #33 #Var: 985 LB: 0 @ 7.214
7.66	c Restart #34 #Var: 985 LB: 0 @ 7.643
8.08	c Restart #35 #Var: 985 LB: 0 @ 8.056
8.53	c Restart #36 #Var: 985 LB: 0 @ 8.511
8.97	c Restart #37 #Var: 985 LB: 0 @ 8.949
9.45	c Restart #38 #Var: 985 LB: 0 @ 9.431
9.91	c Restart #39 #Var: 985 LB: 0 @ 9.893
10.42	c Restart #40 #Var: 985 LB: 0 @ 10.398
10.90	c Restart #41 #Var: 985 LB: 0 @ 10.881
11.43	c Restart #42 #Var: 985 LB: 0 @ 11.411
11.94	c Restart #43 #Var: 985 LB: 0 @ 11.919
12.50	c Restart #44 #Var: 985 LB: 0 @ 12.476
13.03	c Restart #45 #Var: 985 LB: 0 @ 13.011
13.61	c Restart #46 #Var: 985 LB: 0 @ 13.591
14.17	c Restart #47 #Var: 985 LB: 0 @ 14.149
14.78	c Restart #48 #Var: 985 LB: 0 @ 14.76
15.37	c Restart #49 #Var: 985 LB: 0 @ 15.346
16.01	c Restart #50 #Var: 985 LB: 0 @ 15.984
16.62	c Restart #51 #Var: 985 LB: 0 @ 16.594
17.28	c Restart #52 #Var: 985 LB: 0 @ 17.26
17.91	c Restart #53 #Var: 985 LB: 0 @ 17.89
18.60	c Restart #54 #Var: 985 LB: 0 @ 18.577
19.26	c Restart #55 #Var: 985 LB: 0 @ 19.235
19.97	c Restart #56 #Var: 985 LB: 0 @ 19.95
20.66	c Restart #57 #Var: 985 LB: 0 @ 20.632
21.40	c Restart #58 #Var: 985 LB: 0 @ 21.374
22.11	c Restart #59 #Var: 985 LB: 0 @ 22.082
22.88	c Restart #60 #Var: 985 LB: 0 @ 22.852
23.61	c Restart #61 #Var: 985 LB: 0 @ 23.582
24.40	c Restart #62 #Var: 985 LB: 0 @ 24.373
25.14	c Restart #63 #Var: 985 LB: 0 @ 25.117
25.95	c Restart #64 #Var: 985 LB: 0 @ 25.926
26.72	c Restart #65 #Var: 985 LB: 0 @ 26.7
27.56	c Restart #66 #Var: 985 LB: 0 @ 27.53
28.36	c Restart #67 #Var: 985 LB: 0 @ 28.334
29.21	c Restart #68 #Var: 985 LB: 0 @ 29.184
30.05	c Restart #69 #Var: 985 LB: 0 @ 30.02
30.92	c Restart #70 #Var: 985 LB: 0 @ 30.898
31.79	c Restart #71 #Var: 985 LB: 0 @ 31.761
32.69	c Restart #72 #Var: 985 LB: 0 @ 32.661
33.58	c Restart #73 #Var: 985 LB: 0 @ 33.557
34.51	c Restart #74 #Var: 985 LB: 0 @ 34.486
35.44	c Restart #75 #Var: 985 LB: 0 @ 35.414
36.40	c Restart #76 #Var: 985 LB: 0 @ 36.376
37.36	c Restart #77 #Var: 985 LB: 0 @ 37.334
38.35	c Restart #78 #Var: 985 LB: 0 @ 38.322
39.33	c Restart #79 #Var: 985 LB: 0 @ 39.301
40.35	c Restart #80 #Var: 985 LB: 0 @ 40.318
41.35	c Restart #81 #Var: 985 LB: 0 @ 41.324
42.40	c Restart #82 #Var: 985 LB: 0 @ 42.369
43.43	c Restart #83 #Var: 985 LB: 0 @ 43.398
44.50	c Restart #84 #Var: 985 LB: 0 @ 44.468
45.54	c Restart #85 #Var: 985 LB: 0 @ 45.515
46.64	c Restart #86 #Var: 985 LB: 0 @ 46.606
47.71	c Restart #87 #Var: 985 LB: 0 @ 47.678
48.83	c Restart #88 #Var: 985 LB: 0 @ 48.802
49.93	c Restart #89 #Var: 985 LB: 0 @ 49.896
51.08	c Restart #90 #Var: 985 LB: 0 @ 51.053
52.20	c Restart #91 #Var: 985 LB: 0 @ 52.174
53.38	c Restart #92 #Var: 985 LB: 0 @ 53.352
54.53	c Restart #93 #Var: 985 LB: 0 @ 54.503
55.75	c Restart #94 #Var: 985 LB: 0 @ 55.716
56.93	c Restart #95 #Var: 985 LB: 0 @ 56.896
58.16	c Restart #96 #Var: 985 LB: 0 @ 58.128
59.38	c Restart #97 #Var: 985 LB: 0 @ 59.35
60.64	c Restart #98 #Var: 985 LB: 0 @ 60.606
61.88	c Restart #99 #Var: 985 LB: 0 @ 61.847
63.15	c Restart #100 #Var: 985 LB: 0 @ 63.12
64.42	c Restart #101 #Var: 985 LB: 0 @ 64.388
65.71	c Restart #102 #Var: 985 LB: 0 @ 65.678
67.00	c Restart #103 #Var: 985 LB: 0 @ 66.967
68.32	c Restart #104 #Var: 985 LB: 0 @ 68.288
69.63	c Restart #105 #Var: 985 LB: 0 @ 69.598
70.98	c Restart #106 #Var: 985 LB: 0 @ 70.945
72.32	c Restart #107 #Var: 985 LB: 0 @ 72.284
73.69	c Restart #108 #Var: 985 LB: 0 @ 73.656
75.07	c Restart #109 #Var: 985 LB: 0 @ 75.028
76.48	c Restart #110 #Var: 985 LB: 0 @ 76.443
77.88	c Restart #111 #Var: 985 LB: 0 @ 77.844
79.32	c Restart #112 #Var: 985 LB: 0 @ 79.281
80.74	c Restart #113 #Var: 985 LB: 0 @ 80.704
82.22	c Restart #114 #Var: 985 LB: 0 @ 82.18
83.68	c Restart #115 #Var: 985 LB: 0 @ 83.636
85.17	c Restart #116 #Var: 985 LB: 0 @ 85.135
86.64	c Restart #117 #Var: 985 LB: 0 @ 86.601
88.15	c Restart #118 #Var: 985 LB: 0 @ 88.108
89.65	c Restart #119 #Var: 985 LB: 0 @ 89.608
91.17	c Restart #120 #Var: 985 LB: 0 @ 91.133
92.70	c Restart #121 #Var: 985 LB: 0 @ 92.663
94.26	c Restart #122 #Var: 985 LB: 0 @ 94.216
95.83	c Restart #123 #Var: 985 LB: 0 @ 95.784
97.42	c Restart #124 #Var: 985 LB: 0 @ 97.381
99.02	c Restart #125 #Var: 985 LB: 0 @ 98.978
100.63	c Restart #126 #Var: 985 LB: 0 @ 100.59
102.25	c Restart #127 #Var: 985 LB: 0 @ 102.2
103.86	c Restart #128 #Var: 985 LB: 0 @ 103.82
105.48	c Restart #129 #Var: 985 LB: 0 @ 105.44
107.10	c Restart #130 #Var: 985 LB: 0 @ 107.05
108.73	c Restart #131 #Var: 985 LB: 0 @ 108.68
110.39	c Restart #132 #Var: 985 LB: 0 @ 110.34
112.04	c Restart #133 #Var: 985 LB: 0 @ 112
113.72	c Restart #134 #Var: 985 LB: 0 @ 113.67
115.41	c Restart #135 #Var: 985 LB: 0 @ 115.37
117.14	c Restart #136 #Var: 985 LB: 0 @ 117.1
118.86	c Restart #137 #Var: 985 LB: 0 @ 118.82
120.61	c Restart #138 #Var: 985 LB: 0 @ 120.56
122.37	c Restart #139 #Var: 985 LB: 0 @ 122.32
124.14	c Restart #140 #Var: 985 LB: 0 @ 124.09
125.91	c Restart #141 #Var: 985 LB: 0 @ 125.86
127.69	c Restart #142 #Var: 985 LB: 0 @ 127.64
129.49	c Restart #143 #Var: 985 LB: 0 @ 129.44
131.31	c Restart #144 #Var: 985 LB: 0 @ 131.26
133.13	c Restart #145 #Var: 985 LB: 0 @ 133.08
134.98	c Restart #146 #Var: 985 LB: 0 @ 134.93
136.84	c Restart #147 #Var: 985 LB: 0 @ 136.79
138.75	c Restart #148 #Var: 985 LB: 0 @ 138.7
140.63	c Restart #149 #Var: 985 LB: 0 @ 140.57
142.58	c Restart #150 #Var: 985 LB: 0 @ 142.53
144.48	c Restart #151 #Var: 985 LB: 0 @ 144.43
146.43	c Restart #152 #Var: 985 LB: 0 @ 146.37
148.35	c Restart #153 #Var: 985 LB: 0 @ 148.29
150.33	c Restart #154 #Var: 985 LB: 0 @ 150.27
152.29	c Restart #155 #Var: 985 LB: 0 @ 152.24
154.29	c Restart #156 #Var: 985 LB: 0 @ 154.23
156.31	c Restart #157 #Var: 985 LB: 0 @ 156.25
158.33	c Restart #158 #Var: 985 LB: 0 @ 158.27
160.36	c Restart #159 #Var: 985 LB: 0 @ 160.3
162.43	c Restart #160 #Var: 985 LB: 0 @ 162.37
164.49	c Restart #161 #Var: 985 LB: 0 @ 164.43
166.56	c Restart #162 #Var: 985 LB: 0 @ 166.5
168.64	c Restart #163 #Var: 985 LB: 0 @ 168.58
170.73	c Restart #164 #Var: 985 LB: 0 @ 170.67
172.84	c Restart #165 #Var: 985 LB: 0 @ 172.78
174.97	c Restart #166 #Var: 985 LB: 0 @ 174.91
177.13	c Restart #167 #Var: 985 LB: 0 @ 177.06
179.31	c Restart #168 #Var: 985 LB: 0 @ 179.24
181.48	c Restart #169 #Var: 985 LB: 0 @ 181.41
183.69	c Restart #170 #Var: 985 LB: 0 @ 183.63
185.87	c Restart #171 #Var: 985 LB: 0 @ 185.8
188.09	c Restart #172 #Var: 985 LB: 0 @ 188.02
190.26	c Restart #173 #Var: 985 LB: 0 @ 190.19
192.48	c Restart #174 #Var: 985 LB: 0 @ 192.41
194.70	c Restart #175 #Var: 985 LB: 0 @ 194.63
196.94	c Restart #176 #Var: 985 LB: 0 @ 196.88
199.20	c Restart #177 #Var: 985 LB: 0 @ 199.13
201.50	c Restart #178 #Var: 985 LB: 0 @ 201.43
203.79	c Restart #179 #Var: 985 LB: 0 @ 203.72
206.08	c Restart #180 #Var: 985 LB: 0 @ 206.01
208.39	c Restart #181 #Var: 985 LB: 0 @ 208.32
210.69	c Restart #182 #Var: 985 LB: 0 @ 210.62
213.02	c Restart #183 #Var: 985 LB: 0 @ 212.95
215.37	c Restart #184 #Var: 985 LB: 0 @ 215.3
217.77	c Restart #185 #Var: 985 LB: 0 @ 217.69
220.12	c Restart #186 #Var: 985 LB: 0 @ 220.05
222.53	c Restart #187 #Var: 985 LB: 0 @ 222.46
224.90	c Restart #188 #Var: 985 LB: 0 @ 224.82
227.30	c Restart #189 #Var: 985 LB: 0 @ 227.23
229.68	c Restart #190 #Var: 985 LB: 0 @ 229.6
232.11	c Restart #191 #Var: 985 LB: 0 @ 232.03
234.51	c Restart #192 #Var: 985 LB: 0 @ 234.44
237.01	c Restart #193 #Var: 985 LB: 0 @ 236.93
239.46	c Restart #194 #Var: 985 LB: 0 @ 239.38
241.96	c Restart #195 #Var: 985 LB: 0 @ 241.88
244.45	c Restart #196 #Var: 985 LB: 0 @ 244.37
246.96	c Restart #197 #Var: 985 LB: 0 @ 246.88
249.47	c Restart #198 #Var: 985 LB: 0 @ 249.39
252.02	c Restart #199 #Var: 985 LB: 0 @ 251.94
254.57	c Restart #200 #Var: 985 LB: 0 @ 254.49
257.17	c Restart #201 #Var: 985 LB: 0 @ 257.08
259.75	c Restart #202 #Var: 985 LB: 0 @ 259.67
262.32	c Restart #203 #Var: 985 LB: 0 @ 262.24
264.93	c Restart #204 #Var: 985 LB: 0 @ 264.84
267.49	c Restart #205 #Var: 985 LB: 0 @ 267.41
270.12	c Restart #206 #Var: 985 LB: 0 @ 270.03
272.72	c Restart #207 #Var: 985 LB: 0 @ 272.63
275.40	c Restart #208 #Var: 985 LB: 0 @ 275.31
278.04	c Restart #209 #Var: 985 LB: 0 @ 277.95
280.73	c Restart #210 #Var: 985 LB: 0 @ 280.64
283.41	c Restart #211 #Var: 985 LB: 0 @ 283.32
286.12	c Restart #212 #Var: 985 LB: 0 @ 286.03
288.80	c Restart #213 #Var: 985 LB: 0 @ 288.71
291.54	c Restart #214 #Var: 985 LB: 0 @ 291.44
294.25	c Restart #215 #Var: 985 LB: 0 @ 294.16
297.04	c Restart #216 #Var: 985 LB: 0 @ 296.95
299.83	c Restart #217 #Var: 985 LB: 0 @ 299.74
302.65	c Restart #218 #Var: 985 LB: 0 @ 302.55
305.47	c Restart #219 #Var: 985 LB: 0 @ 305.37
308.28	c Restart #220 #Var: 985 LB: 0 @ 308.19
311.13	c Restart #221 #Var: 985 LB: 0 @ 311.03
313.98	c Restart #222 #Var: 985 LB: 0 @ 313.88
316.90	c Restart #223 #Var: 985 LB: 0 @ 316.8
319.83	c Restart #224 #Var: 985 LB: 0 @ 319.73
322.78	c Restart #225 #Var: 985 LB: 0 @ 322.68
325.72	c Restart #226 #Var: 985 LB: 0 @ 325.61
328.65	c Restart #227 #Var: 985 LB: 0 @ 328.55
331.60	c Restart #228 #Var: 985 LB: 0 @ 331.5
334.58	c Restart #229 #Var: 985 LB: 0 @ 334.48
337.58	c Restart #230 #Var: 985 LB: 0 @ 337.48
340.58	c Restart #231 #Var: 985 LB: 0 @ 340.48
343.58	c Restart #232 #Var: 985 LB: 0 @ 343.47
346.56	c Restart #233 #Var: 985 LB: 0 @ 346.45
349.52	c Restart #234 #Var: 985 LB: 0 @ 349.41
352.48	c Restart #235 #Var: 985 LB: 0 @ 352.37
355.45	c Restart #236 #Var: 985 LB: 0 @ 355.34
358.46	c Restart #237 #Var: 985 LB: 0 @ 358.35
361.48	c Restart #238 #Var: 985 LB: 0 @ 361.37
364.50	c Restart #239 #Var: 985 LB: 0 @ 364.39
367.49	c Restart #240 #Var: 985 LB: 0 @ 367.38
370.50	c Restart #241 #Var: 985 LB: 0 @ 370.39
373.52	c Restart #242 #Var: 985 LB: 0 @ 373.4
376.60	c Restart #243 #Var: 985 LB: 0 @ 376.49
379.67	c Restart #244 #Var: 985 LB: 0 @ 379.56
382.80	c Restart #245 #Var: 985 LB: 0 @ 382.68
385.89	c Restart #246 #Var: 985 LB: 0 @ 385.77
389.02	c Restart #247 #Var: 985 LB: 0 @ 388.9
392.14	c Restart #248 #Var: 985 LB: 0 @ 392.02
395.31	c Restart #249 #Var: 985 LB: 0 @ 395.19
398.49	c Restart #250 #Var: 985 LB: 0 @ 398.37
401.74	c Restart #251 #Var: 985 LB: 0 @ 401.62
404.94	c Restart #252 #Var: 985 LB: 0 @ 404.82
408.18	c Restart #253 #Var: 985 LB: 0 @ 408.06
411.38	c Restart #254 #Var: 985 LB: 0 @ 411.26
414.69	c Restart #255 #Var: 985 LB: 0 @ 414.56
417.95	c Restart #256 #Var: 985 LB: 0 @ 417.82
421.29	c Restart #257 #Var: 985 LB: 0 @ 421.16
424.58	c Restart #258 #Var: 985 LB: 0 @ 424.45
427.88	c Restart #259 #Var: 985 LB: 0 @ 427.75
431.16	c Restart #260 #Var: 985 LB: 0 @ 431.03
434.51	c Restart #261 #Var: 985 LB: 0 @ 434.38
437.84	c Restart #262 #Var: 985 LB: 0 @ 437.71
441.23	c Restart #263 #Var: 985 LB: 0 @ 441.1
444.57	c Restart #264 #Var: 985 LB: 0 @ 444.44
447.95	c Restart #265 #Var: 985 LB: 0 @ 447.82
451.26	c Restart #266 #Var: 985 LB: 0 @ 451.13
454.65	c Restart #267 #Var: 985 LB: 0 @ 454.52
458.07	c Restart #268 #Var: 985 LB: 0 @ 457.94
461.56	c Restart #269 #Var: 985 LB: 0 @ 461.43
464.98	c Restart #270 #Var: 985 LB: 0 @ 464.85
468.42	c Restart #271 #Var: 985 LB: 0 @ 468.29
471.84	c Restart #272 #Var: 985 LB: 0 @ 471.7
475.31	c Restart #273 #Var: 985 LB: 0 @ 475.17
478.76	c Restart #274 #Var: 985 LB: 0 @ 478.62
482.26	c Restart #275 #Var: 985 LB: 0 @ 482.12
485.71	c Restart #276 #Var: 985 LB: 0 @ 485.57
489.19	c Restart #277 #Var: 985 LB: 0 @ 489.04
492.65	c Restart #278 #Var: 985 LB: 0 @ 492.51
496.18	c Restart #279 #Var: 985 LB: 0 @ 496.04
499.68	c Restart #280 #Var: 985 LB: 0 @ 499.54
503.22	c Restart #281 #Var: 985 LB: 0 @ 503.07
506.73	c Restart #282 #Var: 985 LB: 0 @ 506.58
510.27	c Restart #283 #Var: 985 LB: 0 @ 510.12
513.79	c Restart #284 #Var: 985 LB: 0 @ 513.64
517.37	c Restart #285 #Var: 985 LB: 0 @ 517.22
520.97	c Restart #286 #Var: 985 LB: 0 @ 520.82
524.59	c Restart #287 #Var: 985 LB: 0 @ 524.43
528.20	c Restart #288 #Var: 985 LB: 0 @ 528.05
531.84	c Restart #289 #Var: 985 LB: 0 @ 531.68
535.51	c Restart #290 #Var: 985 LB: 0 @ 535.36
539.21	c Restart #291 #Var: 985 LB: 0 @ 539.05
542.89	c Restart #292 #Var: 985 LB: 0 @ 542.74
546.61	c Restart #293 #Var: 985 LB: 0 @ 546.46
550.29	c Restart #294 #Var: 985 LB: 0 @ 550.13
554.02	c Restart #295 #Var: 985 LB: 0 @ 553.87
557.75	c Restart #296 #Var: 985 LB: 0 @ 557.59
561.56	c Restart #297 #Var: 985 LB: 0 @ 561.39
565.32	c Restart #298 #Var: 985 LB: 0 @ 565.15
569.13	c Restart #299 #Var: 985 LB: 0 @ 568.97
572.91	c Restart #300 #Var: 985 LB: 0 @ 572.75
576.78	c Restart #301 #Var: 985 LB: 0 @ 576.61
580.62	c Restart #302 #Var: 985 LB: 0 @ 580.45
584.51	c Restart #303 #Var: 985 LB: 0 @ 584.34
588.33	c Restart #304 #Var: 985 LB: 0 @ 588.16
592.18	c Restart #305 #Var: 985 LB: 0 @ 592.01
596.04	c Restart #306 #Var: 985 LB: 0 @ 595.88
599.98	c Restart #307 #Var: 985 LB: 0 @ 599.81
603.93	c Restart #308 #Var: 985 LB: 0 @ 603.76
607.88	c Restart #309 #Var: 985 LB: 0 @ 607.71
611.81	c Restart #310 #Var: 985 LB: 0 @ 611.63
615.79	c Restart #311 #Var: 985 LB: 0 @ 615.62
619.79	c Restart #312 #Var: 985 LB: 0 @ 619.62
623.87	c Restart #313 #Var: 985 LB: 0 @ 623.7
627.86	c Restart #314 #Var: 985 LB: 0 @ 627.68
631.84	c Restart #315 #Var: 985 LB: 0 @ 631.67
635.84	c Restart #316 #Var: 985 LB: 0 @ 635.66
639.87	c Restart #317 #Var: 985 LB: 0 @ 639.69
643.90	c Restart #318 #Var: 985 LB: 0 @ 643.72
647.93	c Restart #319 #Var: 985 LB: 0 @ 647.74
651.95	c Restart #320 #Var: 985 LB: 0 @ 651.77
656.03	c Restart #321 #Var: 985 LB: 0 @ 655.84
660.13	c Restart #322 #Var: 985 LB: 0 @ 659.95
664.25	c Restart #323 #Var: 985 LB: 0 @ 664.07
668.39	c Restart #324 #Var: 985 LB: 0 @ 668.21
672.57	c Restart #325 #Var: 985 LB: 0 @ 672.38
676.74	c Restart #326 #Var: 985 LB: 0 @ 676.55
680.99	c Restart #327 #Var: 985 LB: 0 @ 680.8
685.21	c Restart #328 #Var: 985 LB: 0 @ 685.02
689.43	c Restart #329 #Var: 985 LB: 0 @ 689.24
693.61	c Restart #330 #Var: 985 LB: 0 @ 693.42
697.84	c Restart #331 #Var: 985 LB: 0 @ 697.64
702.07	c Restart #332 #Var: 985 LB: 0 @ 701.87
706.35	c Restart #333 #Var: 985 LB: 0 @ 706.15
710.57	c Restart #334 #Var: 985 LB: 0 @ 710.37
714.85	c Restart #335 #Var: 985 LB: 0 @ 714.65
719.14	c Restart #336 #Var: 985 LB: 0 @ 718.94
723.49	c Restart #337 #Var: 985 LB: 0 @ 723.29
727.78	c Restart #338 #Var: 985 LB: 0 @ 727.58
732.12	c Restart #339 #Var: 985 LB: 0 @ 731.91
736.45	c Restart #340 #Var: 985 LB: 0 @ 736.24
740.90	c Restart #341 #Var: 985 LB: 0 @ 740.69
745.27	c Restart #342 #Var: 985 LB: 0 @ 745.06
749.63	c Restart #343 #Var: 985 LB: 0 @ 749.42
753.98	c Restart #344 #Var: 985 LB: 0 @ 753.77
758.40	c Restart #345 #Var: 985 LB: 0 @ 758.19
762.84	c Restart #346 #Var: 985 LB: 0 @ 762.63
767.27	c Restart #347 #Var: 985 LB: 0 @ 767.06
771.69	c Restart #348 #Var: 985 LB: 0 @ 771.47
776.17	c Restart #349 #Var: 985 LB: 0 @ 775.96
780.68	c Restart #350 #Var: 985 LB: 0 @ 780.47
785.20	c Restart #351 #Var: 985 LB: 0 @ 784.98
789.72	c Restart #352 #Var: 985 LB: 0 @ 789.5
794.29	c Restart #353 #Var: 985 LB: 0 @ 794.07
798.84	c Restart #354 #Var: 985 LB: 0 @ 798.62
803.43	c Restart #355 #Var: 985 LB: 0 @ 803.21
807.94	c Restart #356 #Var: 985 LB: 0 @ 807.72
812.49	c Restart #357 #Var: 985 LB: 0 @ 812.27
817.01	c Restart #358 #Var: 985 LB: 0 @ 816.79
821.63	c Restart #359 #Var: 985 LB: 0 @ 821.4
826.18	c Restart #360 #Var: 985 LB: 0 @ 825.95
830.78	c Restart #361 #Var: 985 LB: 0 @ 830.56
835.37	c Restart #362 #Var: 985 LB: 0 @ 835.14
840.01	c Restart #363 #Var: 985 LB: 0 @ 839.78
844.65	c Restart #364 #Var: 985 LB: 0 @ 844.41
849.29	c Restart #365 #Var: 985 LB: 0 @ 849.06
853.97	c Restart #366 #Var: 985 LB: 0 @ 853.73
858.69	c Restart #367 #Var: 985 LB: 0 @ 858.46
863.47	c Restart #368 #Var: 985 LB: 0 @ 863.23
868.22	c Restart #369 #Var: 985 LB: 0 @ 867.98
872.97	c Restart #370 #Var: 985 LB: 0 @ 872.73
877.77	c Restart #371 #Var: 985 LB: 0 @ 877.53
882.57	c Restart #372 #Var: 985 LB: 0 @ 882.32
887.32	c Restart #373 #Var: 985 LB: 0 @ 887.07
892.13	c Restart #374 #Var: 985 LB: 0 @ 891.89
896.90	c Restart #375 #Var: 985 LB: 0 @ 896.65
901.67	c CHANGE Heuristic... 
901.67	c Restart #0 #Var: 985 LB: 0 @ 901.42
901.68	c Restart #1 #Var: 985 LB: 0 @ 901.43
901.73	c Restart #2 #Var: 985 LB: 0 @ 901.48
901.76	c Restart #3 #Var: 985 LB: 0 @ 901.52
901.82	c Restart #4 #Var: 985 LB: 0 @ 901.57
901.88	c Restart #5 #Var: 985 LB: 0 @ 901.63
901.96	c Restart #6 #Var: 985 LB: 0 @ 901.72
902.06	c Restart #7 #Var: 985 LB: 0 @ 901.81
902.17	c Restart #8 #Var: 985 LB: 0 @ 901.92
902.29	c Restart #9 #Var: 985 LB: 0 @ 902.04
902.44	c Restart #10 #Var: 985 LB: 0 @ 902.19
902.60	c Restart #11 #Var: 985 LB: 0 @ 902.35
902.79	c Restart #12 #Var: 985 LB: 0 @ 902.54
902.97	c Restart #13 #Var: 985 LB: 0 @ 902.73
903.20	c Restart #14 #Var: 985 LB: 0 @ 902.95
903.42	c Restart #15 #Var: 985 LB: 0 @ 903.17
903.67	c Restart #16 #Var: 985 LB: 0 @ 903.42
903.93	c Restart #17 #Var: 985 LB: 0 @ 903.68
904.22	c Restart #18 #Var: 985 LB: 0 @ 903.97
904.48	c Restart #19 #Var: 985 LB: 0 @ 904.23
904.79	c Restart #20 #Var: 985 LB: 0 @ 904.54
905.07	c Restart #21 #Var: 985 LB: 0 @ 904.82
905.37	c Restart #22 #Var: 985 LB: 0 @ 905.12
905.65	c Restart #23 #Var: 985 LB: 0 @ 905.4
905.99	c Restart #24 #Var: 985 LB: 0 @ 905.74
906.30	c Restart #25 #Var: 985 LB: 0 @ 906.05
906.75	c Restart #26 #Var: 985 LB: 0 @ 906.5
907.21	c Restart #27 #Var: 985 LB: 0 @ 906.96
907.70	c Restart #28 #Var: 985 LB: 0 @ 907.45
908.06	c Restart #29 #Var: 985 LB: 0 @ 907.81
908.46	c Restart #30 #Var: 985 LB: 0 @ 908.21
908.82	c Restart #31 #Var: 985 LB: 0 @ 908.57
909.23	c Restart #32 #Var: 985 LB: 0 @ 908.98
909.62	c Restart #33 #Var: 985 LB: 0 @ 909.37
910.06	c Restart #34 #Var: 985 LB: 0 @ 909.81
910.48	c Restart #35 #Var: 985 LB: 0 @ 910.23
910.95	c Restart #36 #Var: 985 LB: 0 @ 910.7
911.40	c Restart #37 #Var: 985 LB: 0 @ 911.15
911.90	c Restart #38 #Var: 985 LB: 0 @ 911.65
912.37	c Restart #39 #Var: 985 LB: 0 @ 912.12
912.90	c Restart #40 #Var: 985 LB: 0 @ 912.64
913.40	c Restart #41 #Var: 985 LB: 0 @ 913.15
913.96	c Restart #42 #Var: 985 LB: 0 @ 913.71
914.49	c Restart #43 #Var: 985 LB: 0 @ 914.24
915.08	c Restart #44 #Var: 985 LB: 0 @ 914.83
915.65	c Restart #45 #Var: 985 LB: 0 @ 915.39
916.27	c Restart #46 #Var: 985 LB: 0 @ 916.02
916.86	c Restart #47 #Var: 985 LB: 0 @ 916.61
917.51	c Restart #48 #Var: 985 LB: 0 @ 917.26
918.13	c Restart #49 #Var: 985 LB: 0 @ 917.88
918.81	c Restart #50 #Var: 985 LB: 0 @ 918.56
919.47	c Restart #51 #Var: 985 LB: 0 @ 919.22
920.19	c Restart #52 #Var: 985 LB: 0 @ 919.94
920.88	c Restart #53 #Var: 985 LB: 0 @ 920.63
921.64	c Restart #54 #Var: 985 LB: 0 @ 921.39
922.35	c Restart #55 #Var: 985 LB: 0 @ 922.1
923.15	c Restart #56 #Var: 985 LB: 0 @ 922.89
923.90	c Restart #57 #Var: 985 LB: 0 @ 923.65
924.74	c Restart #58 #Var: 985 LB: 0 @ 924.49
925.52	c Restart #59 #Var: 985 LB: 0 @ 925.27
926.40	c Restart #60 #Var: 985 LB: 0 @ 926.15
927.21	c Restart #61 #Var: 985 LB: 0 @ 926.96
928.12	c Restart #62 #Var: 985 LB: 0 @ 927.87
928.97	c Restart #63 #Var: 985 LB: 0 @ 928.72
929.92	c Restart #64 #Var: 985 LB: 0 @ 929.67
930.76	c Restart #65 #Var: 985 LB: 0 @ 930.5
931.63	c Restart #66 #Var: 985 LB: 0 @ 931.37
932.45	c Restart #67 #Var: 985 LB: 0 @ 932.19
933.34	c Restart #68 #Var: 985 LB: 0 @ 933.09
934.19	c Restart #69 #Var: 985 LB: 0 @ 933.93
935.12	c Restart #70 #Var: 985 LB: 0 @ 934.86
936.01	c Restart #71 #Var: 985 LB: 0 @ 935.75
936.97	c Restart #72 #Var: 985 LB: 0 @ 936.72
937.90	c Restart #73 #Var: 985 LB: 0 @ 937.64
938.88	c Restart #74 #Var: 985 LB: 0 @ 938.63
939.85	c Restart #75 #Var: 985 LB: 0 @ 939.59
940.87	c Restart #76 #Var: 985 LB: 0 @ 940.61
941.88	c Restart #77 #Var: 985 LB: 0 @ 941.62
942.95	c Restart #78 #Var: 985 LB: 0 @ 942.69
943.99	c Restart #79 #Var: 985 LB: 0 @ 943.73
945.10	c Restart #80 #Var: 985 LB: 0 @ 944.84
946.18	c Restart #81 #Var: 985 LB: 0 @ 945.92
947.32	c Restart #82 #Var: 985 LB: 0 @ 947.06
948.44	c Restart #83 #Var: 985 LB: 0 @ 948.18
949.61	c Restart #84 #Var: 985 LB: 0 @ 949.35
950.76	c Restart #85 #Var: 985 LB: 0 @ 950.5
951.93	c Restart #86 #Var: 985 LB: 0 @ 951.67
953.07	c Restart #87 #Var: 985 LB: 0 @ 952.81
954.26	c Restart #88 #Var: 985 LB: 0 @ 954
955.44	c Restart #89 #Var: 985 LB: 0 @ 955.18
956.67	c Restart #90 #Var: 985 LB: 0 @ 956.41
957.91	c Restart #91 #Var: 985 LB: 0 @ 957.65
959.21	c Restart #92 #Var: 985 LB: 0 @ 958.94
960.50	c Restart #93 #Var: 985 LB: 0 @ 960.24
961.86	c Restart #94 #Var: 985 LB: 0 @ 961.6
963.19	c Restart #95 #Var: 985 LB: 0 @ 962.93
964.56	c Restart #96 #Var: 985 LB: 0 @ 964.29
965.87	c Restart #97 #Var: 985 LB: 0 @ 965.61
967.14	c Restart #98 #Var: 985 LB: 0 @ 966.88
968.38	c Restart #99 #Var: 985 LB: 0 @ 968.11
969.66	c Restart #100 #Var: 985 LB: 0 @ 969.39
970.92	c Restart #101 #Var: 985 LB: 0 @ 970.66
972.23	c Restart #102 #Var: 985 LB: 0 @ 971.97
973.50	c Restart #103 #Var: 985 LB: 0 @ 973.24
974.79	c Restart #104 #Var: 985 LB: 0 @ 974.52
976.09	c Restart #105 #Var: 985 LB: 0 @ 975.83
977.44	c Restart #106 #Var: 985 LB: 0 @ 977.18
978.79	c Restart #107 #Var: 985 LB: 0 @ 978.52
980.17	c Restart #108 #Var: 985 LB: 0 @ 979.9
981.52	c Restart #109 #Var: 985 LB: 0 @ 981.25
982.94	c Restart #110 #Var: 985 LB: 0 @ 982.67
984.33	c Restart #111 #Var: 985 LB: 0 @ 984.06
985.79	c Restart #112 #Var: 985 LB: 0 @ 985.52
987.20	c Restart #113 #Var: 985 LB: 0 @ 986.93
988.70	c Restart #114 #Var: 985 LB: 0 @ 988.43
990.14	c Restart #115 #Var: 985 LB: 0 @ 989.87
991.65	c Restart #116 #Var: 985 LB: 0 @ 991.38
993.12	c Restart #117 #Var: 985 LB: 0 @ 992.85
994.67	c Restart #118 #Var: 985 LB: 0 @ 994.4
996.19	c Restart #119 #Var: 985 LB: 0 @ 995.92
997.76	c Restart #120 #Var: 985 LB: 0 @ 997.49
999.27	c Restart #121 #Var: 985 LB: 0 @ 999
1000.88	c Restart #122 #Var: 985 LB: 0 @ 1000.6
1002.42	c Restart #123 #Var: 985 LB: 0 @ 1002.1
1004.03	c Restart #124 #Var: 985 LB: 0 @ 1003.8
1005.59	c Restart #125 #Var: 985 LB: 0 @ 1005.3
1007.23	c Restart #126 #Var: 985 LB: 0 @ 1007
1008.81	c Restart #127 #Var: 985 LB: 0 @ 1008.5
1010.47	c Restart #128 #Var: 985 LB: 0 @ 1010.2
1012.10	c Restart #129 #Var: 985 LB: 0 @ 1011.8
1013.78	c Restart #130 #Var: 985 LB: 0 @ 1013.5
1015.43	c Restart #131 #Var: 985 LB: 0 @ 1015.2
1017.15	c Restart #132 #Var: 985 LB: 0 @ 1016.9
1018.85	c Restart #133 #Var: 985 LB: 0 @ 1018.6
1020.59	c Restart #134 #Var: 985 LB: 0 @ 1020.3
1022.31	c Restart #135 #Var: 985 LB: 0 @ 1022
1024.08	c Restart #136 #Var: 985 LB: 0 @ 1023.8
1025.83	c Restart #137 #Var: 985 LB: 0 @ 1025.5
1027.60	c Restart #138 #Var: 985 LB: 0 @ 1027.3
1029.39	c Restart #139 #Var: 985 LB: 0 @ 1029.1
1031.22	c Restart #140 #Var: 985 LB: 0 @ 1030.9
1033.04	c Restart #141 #Var: 985 LB: 0 @ 1032.8
1034.90	c Restart #142 #Var: 985 LB: 0 @ 1034.6
1036.78	c Restart #143 #Var: 985 LB: 0 @ 1036.5
1038.69	c Restart #144 #Var: 985 LB: 0 @ 1038.4
1040.60	c Restart #145 #Var: 985 LB: 0 @ 1040.3
1042.55	c Restart #146 #Var: 985 LB: 0 @ 1042.3
1044.50	c Restart #147 #Var: 985 LB: 0 @ 1044.2
1046.47	c Restart #148 #Var: 985 LB: 0 @ 1046.2
1048.43	c Restart #149 #Var: 985 LB: 0 @ 1048.1
1050.47	c Restart #150 #Var: 985 LB: 0 @ 1050.2
1052.50	c Restart #151 #Var: 985 LB: 0 @ 1052.2
1054.61	c Restart #152 #Var: 985 LB: 0 @ 1054.3
1056.70	c Restart #153 #Var: 985 LB: 0 @ 1056.4
1058.88	c Restart #154 #Var: 985 LB: 0 @ 1058.6
1061.04	c Restart #155 #Var: 985 LB: 0 @ 1060.8
1063.22	c Restart #156 #Var: 985 LB: 0 @ 1062.9
1065.43	c Restart #157 #Var: 985 LB: 0 @ 1065.1
1067.59	c Restart #158 #Var: 985 LB: 0 @ 1067.3
1069.81	c Restart #159 #Var: 985 LB: 0 @ 1069.5
1072.01	c Restart #160 #Var: 985 LB: 0 @ 1071.7
1074.27	c Restart #161 #Var: 985 LB: 0 @ 1074
1076.58	c Restart #162 #Var: 985 LB: 0 @ 1076.3
1079.02	c Restart #163 #Var: 985 LB: 0 @ 1078.7
1081.29	c Restart #164 #Var: 985 LB: 0 @ 1081
1083.61	c Restart #165 #Var: 985 LB: 0 @ 1083.3
1085.95	c Restart #166 #Var: 985 LB: 0 @ 1085.7
1088.30	c Restart #167 #Var: 985 LB: 0 @ 1088
1090.69	c Restart #168 #Var: 985 LB: 0 @ 1090.4
1093.07	c Restart #169 #Var: 985 LB: 0 @ 1092.8
1095.43	c Restart #170 #Var: 985 LB: 0 @ 1095.1
1097.84	c Restart #171 #Var: 985 LB: 0 @ 1097.5
1100.18	c Restart #172 #Var: 985 LB: 0 @ 1099.9
1102.56	c Restart #173 #Var: 985 LB: 0 @ 1102.3
1104.95	c Restart #174 #Var: 985 LB: 0 @ 1104.6
1107.37	c Restart #175 #Var: 985 LB: 0 @ 1107.1
1109.74	c Restart #176 #Var: 985 LB: 0 @ 1109.4
1112.16	c Restart #177 #Var: 985 LB: 0 @ 1111.9
1114.59	c Restart #178 #Var: 985 LB: 0 @ 1114.3
1117.06	c Restart #179 #Var: 985 LB: 0 @ 1116.8
1119.53	c Restart #180 #Var: 985 LB: 0 @ 1119.2
1122.03	c Restart #181 #Var: 985 LB: 0 @ 1121.7
1124.56	c Restart #182 #Var: 985 LB: 0 @ 1124.3
1127.09	c Restart #183 #Var: 985 LB: 0 @ 1126.8
1129.59	c Restart #184 #Var: 985 LB: 0 @ 1129.3
1132.15	c Restart #185 #Var: 985 LB: 0 @ 1131.8
1134.72	c Restart #186 #Var: 985 LB: 0 @ 1134.4
1137.39	c Restart #187 #Var: 985 LB: 0 @ 1137.1
1139.98	c Restart #188 #Var: 985 LB: 0 @ 1139.7
1142.78	c Restart #189 #Var: 985 LB: 0 @ 1142.5
1145.35	c Restart #190 #Var: 985 LB: 0 @ 1145
1148.01	c Restart #191 #Var: 985 LB: 0 @ 1147.7
1150.64	c Restart #192 #Var: 985 LB: 0 @ 1150.3
1153.33	c Restart #193 #Var: 985 LB: 0 @ 1153
1156.03	c Restart #194 #Var: 985 LB: 0 @ 1155.7
1158.82	c Restart #195 #Var: 985 LB: 0 @ 1158.5
1161.58	c Restart #196 #Var: 985 LB: 0 @ 1161.3
1164.42	c Restart #197 #Var: 985 LB: 0 @ 1164.1
1167.38	c Restart #198 #Var: 985 LB: 0 @ 1167.1
1170.23	c Restart #199 #Var: 985 LB: 0 @ 1169.9
1173.10	c Restart #200 #Var: 985 LB: 0 @ 1172.8
1176.08	c Restart #201 #Var: 985 LB: 0 @ 1175.8
1179.09	c Restart #202 #Var: 985 LB: 0 @ 1178.8
1181.99	c Restart #203 #Var: 985 LB: 0 @ 1181.7
1184.97	c Restart #204 #Var: 985 LB: 0 @ 1184.6
1187.92	c Restart #205 #Var: 985 LB: 0 @ 1187.6
1190.90	c Restart #206 #Var: 985 LB: 0 @ 1190.6
1193.89	c Restart #207 #Var: 985 LB: 0 @ 1193.6
1196.91	c Restart #208 #Var: 985 LB: 0 @ 1196.6
1199.96	c Restart #209 #Var: 985 LB: 0 @ 1199.6
1203.04	c Restart #210 #Var: 985 LB: 0 @ 1202.7
1206.14	c Restart #211 #Var: 985 LB: 0 @ 1205.8
1209.27	c Restart #212 #Var: 985 LB: 0 @ 1208.9
1212.41	c Restart #213 #Var: 985 LB: 0 @ 1212.1
1215.54	c Restart #214 #Var: 985 LB: 0 @ 1215.2
1218.68	c Restart #215 #Var: 985 LB: 0 @ 1218.4
1221.84	c Restart #216 #Var: 985 LB: 0 @ 1221.5
1225.03	c Restart #217 #Var: 985 LB: 0 @ 1224.7
1228.27	c Restart #218 #Var: 985 LB: 0 @ 1227.9
1231.56	c Restart #219 #Var: 985 LB: 0 @ 1231.2
1234.80	c Restart #220 #Var: 985 LB: 0 @ 1234.5
1238.18	c Restart #221 #Var: 985 LB: 0 @ 1237.8
1241.48	c Restart #222 #Var: 985 LB: 0 @ 1241.1
1244.87	c Restart #223 #Var: 985 LB: 0 @ 1244.5
1248.16	c Restart #224 #Var: 985 LB: 0 @ 1247.8
1251.50	c Restart #225 #Var: 985 LB: 0 @ 1251.2
1254.97	c Restart #226 #Var: 985 LB: 0 @ 1254.6
1258.37	c Restart #227 #Var: 985 LB: 0 @ 1258
1261.79	c Restart #228 #Var: 985 LB: 0 @ 1261.5
1265.19	c Restart #229 #Var: 985 LB: 0 @ 1264.8
1268.62	c Restart #230 #Var: 985 LB: 0 @ 1268.3
1271.96	c Restart #231 #Var: 985 LB: 0 @ 1271.6
1275.39	c Restart #232 #Var: 985 LB: 0 @ 1275
1279.01	c Restart #233 #Var: 985 LB: 0 @ 1278.7
1282.57	c Restart #234 #Var: 985 LB: 0 @ 1282.2
1286.16	c Restart #235 #Var: 985 LB: 0 @ 1285.8
1289.64	c Restart #236 #Var: 985 LB: 0 @ 1289.3
1293.26	c Restart #237 #Var: 985 LB: 0 @ 1292.9
1296.82	c Restart #238 #Var: 985 LB: 0 @ 1296.5
1300.40	c Restart #239 #Var: 985 LB: 0 @ 1300.1
1304.11	c Restart #240 #Var: 985 LB: 0 @ 1303.8
1307.67	c Restart #241 #Var: 985 LB: 0 @ 1307.3
1311.21	c Restart #242 #Var: 985 LB: 0 @ 1310.9
1314.63	c Restart #243 #Var: 985 LB: 0 @ 1314.3
1318.19	c Restart #244 #Var: 985 LB: 0 @ 1317.8
1321.70	c Restart #245 #Var: 985 LB: 0 @ 1321.3
1325.29	c Restart #246 #Var: 985 LB: 0 @ 1324.9
1328.86	c Restart #247 #Var: 985 LB: 0 @ 1328.5
1332.42	c Restart #248 #Var: 985 LB: 0 @ 1332.1
1336.10	c Restart #249 #Var: 985 LB: 0 @ 1335.7
1339.77	c Restart #250 #Var: 985 LB: 0 @ 1339.4
1343.58	c Restart #251 #Var: 985 LB: 0 @ 1343.2
1347.23	c Restart #252 #Var: 985 LB: 0 @ 1346.9
1351.05	c Restart #253 #Var: 985 LB: 0 @ 1350.7
1354.81	c Restart #254 #Var: 985 LB: 0 @ 1354.4
1358.63	c Restart #255 #Var: 985 LB: 0 @ 1358.3
1362.55	c Restart #256 #Var: 985 LB: 0 @ 1362.2
1366.48	c Restart #257 #Var: 985 LB: 0 @ 1366.1
1370.42	c Restart #258 #Var: 985 LB: 0 @ 1370.1
1374.07	c Restart #259 #Var: 985 LB: 0 @ 1373.7
1378.06	c Restart #260 #Var: 985 LB: 0 @ 1377.7
1381.89	c Restart #261 #Var: 985 LB: 0 @ 1381.5
1385.80	c Restart #262 #Var: 985 LB: 0 @ 1385.4
1389.66	c Restart #263 #Var: 985 LB: 0 @ 1389.3
1393.60	c Restart #264 #Var: 985 LB: 0 @ 1393.2
1397.63	c Restart #265 #Var: 985 LB: 0 @ 1397.3
1401.67	c Restart #266 #Var: 985 LB: 0 @ 1401.3
1405.75	c Restart #267 #Var: 985 LB: 0 @ 1405.4
1409.88	c Restart #268 #Var: 985 LB: 0 @ 1409.5
1414.00	c Restart #269 #Var: 985 LB: 0 @ 1413.6
1418.42	c Restart #270 #Var: 985 LB: 0 @ 1418
1422.55	c Restart #271 #Var: 985 LB: 0 @ 1422.2
1426.76	c Restart #272 #Var: 985 LB: 0 @ 1426.4
1430.87	c Restart #273 #Var: 985 LB: 0 @ 1430.5
1435.30	c Restart #274 #Var: 985 LB: 0 @ 1434.9
1439.70	c Restart #275 #Var: 985 LB: 0 @ 1439.3
1444.18	c Restart #276 #Var: 985 LB: 0 @ 1443.8
1448.60	c Restart #277 #Var: 985 LB: 0 @ 1448.2
1453.03	c Restart #278 #Var: 985 LB: 0 @ 1452.6
1457.55	c Restart #279 #Var: 985 LB: 0 @ 1457.2
1462.10	c Restart #280 #Var: 985 LB: 0 @ 1461.7
1466.67	c Restart #281 #Var: 985 LB: 0 @ 1466.3
1471.21	c Restart #282 #Var: 985 LB: 0 @ 1470.8
1475.83	c Restart #283 #Var: 985 LB: 0 @ 1475.4
1480.56	c Restart #284 #Var: 985 LB: 0 @ 1480.2
1485.33	c Restart #285 #Var: 985 LB: 0 @ 1484.9
1490.08	c Restart #286 #Var: 985 LB: 0 @ 1489.7
1494.74	c Restart #287 #Var: 985 LB: 0 @ 1494.3
1499.57	c Restart #288 #Var: 985 LB: 0 @ 1499.2
1504.30	c Restart #289 #Var: 985 LB: 0 @ 1503.9
1509.20	c Restart #290 #Var: 985 LB: 0 @ 1508.8
1513.88	c Restart #291 #Var: 985 LB: 0 @ 1513.5
1518.85	c Restart #292 #Var: 985 LB: 0 @ 1518.4
1523.63	c Restart #293 #Var: 985 LB: 0 @ 1523.2
1528.57	c Restart #294 #Var: 985 LB: 0 @ 1528.2
1533.44	c Restart #295 #Var: 985 LB: 0 @ 1533
1538.50	c Restart #296 #Var: 985 LB: 0 @ 1538.1
1543.41	c Restart #297 #Var: 985 LB: 0 @ 1543
1548.62	c Restart #298 #Var: 985 LB: 0 @ 1548.2
1553.46	c Restart #299 #Var: 985 LB: 0 @ 1553
1558.55	c Restart #300 #Var: 985 LB: 0 @ 1558.1
1563.47	c Restart #301 #Var: 985 LB: 0 @ 1563.1
1568.66	c Restart #302 #Var: 985 LB: 0 @ 1568.2
1573.50	c Restart #303 #Var: 985 LB: 0 @ 1573.1
1578.74	c Restart #304 #Var: 985 LB: 0 @ 1578.3
1583.72	c Restart #305 #Var: 985 LB: 0 @ 1583.3
1588.93	c Restart #306 #Var: 985 LB: 0 @ 1588.5
1594.09	c Restart #307 #Var: 985 LB: 0 @ 1593.7
1599.36	c Restart #308 #Var: 985 LB: 0 @ 1598.9
1604.55	c Restart #309 #Var: 985 LB: 0 @ 1604.1
1609.88	c Restart #310 #Var: 985 LB: 0 @ 1609.5
1614.96	c Restart #311 #Var: 985 LB: 0 @ 1614.5
1620.42	c Restart #312 #Var: 985 LB: 0 @ 1620
1625.68	c Restart #313 #Var: 985 LB: 0 @ 1625.2
1630.80	c Restart #314 #Var: 985 LB: 0 @ 1630.4
1635.35	c Restart #315 #Var: 985 LB: 0 @ 1634.9
1640.19	c Restart #316 #Var: 985 LB: 0 @ 1639.8
1644.84	c Restart #317 #Var: 985 LB: 0 @ 1644.4
1649.60	c Restart #318 #Var: 985 LB: 0 @ 1649.2
1653.88	c Restart #319 #Var: 985 LB: 0 @ 1653.4
1658.43	c Restart #320 #Var: 985 LB: 0 @ 1658
1662.93	c Restart #321 #Var: 985 LB: 0 @ 1662.5
1667.59	c Restart #322 #Var: 985 LB: 0 @ 1667.1
1672.19	c Restart #323 #Var: 985 LB: 0 @ 1671.8
1677.02	c Restart #324 #Var: 985 LB: 0 @ 1676.6
1681.88	c Restart #325 #Var: 985 LB: 0 @ 1681.4
1686.85	c Restart #326 #Var: 985 LB: 0 @ 1686.4
1691.66	c Restart #327 #Var: 985 LB: 0 @ 1691.2
1696.75	c Restart #328 #Var: 985 LB: 0 @ 1696.3
1701.69	c Restart #329 #Var: 985 LB: 0 @ 1701.2
1706.85	c Restart #330 #Var: 985 LB: 0 @ 1706.4
1711.79	c Restart #331 #Var: 985 LB: 0 @ 1711.3
1716.85	c Restart #332 #Var: 985 LB: 0 @ 1716.4
1721.81	c Restart #333 #Var: 985 LB: 0 @ 1721.4
1726.99	c Restart #334 #Var: 985 LB: 0 @ 1726.5
1731.97	c Restart #335 #Var: 985 LB: 0 @ 1731.5
1737.24	c Restart #336 #Var: 985 LB: 0 @ 1736.8
1742.41	c Restart #337 #Var: 985 LB: 0 @ 1741.9
1747.81	c Restart #338 #Var: 985 LB: 0 @ 1747.3
1753.12	c Restart #339 #Var: 985 LB: 0 @ 1752.7
1758.60	c Restart #340 #Var: 985 LB: 0 @ 1758.1
1763.91	c Restart #341 #Var: 985 LB: 0 @ 1763.4
1769.42	c Restart #342 #Var: 985 LB: 0 @ 1769
1774.78	c Restart #343 #Var: 985 LB: 0 @ 1774.3
1780.36	c Restart #344 #Var: 985 LB: 0 @ 1779.9
1785.83	c Restart #345 #Var: 985 LB: 0 @ 1785.4
1791.46	c Restart #346 #Var: 985 LB: 0 @ 1791
1796.96	c Restart #347 #Var: 985 LB: 0 @ 1796.5
1800.48	s UNKNOWN
1800.48	c Exit Code: 0
1800.48	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/node27/watcher-40750-1149315354 -o ROOT/results/node27/solver-40750-1149315354 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node27/40750-1149315354/instance-40750-1149315354.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.92 0.98 0.99 3/64 28735
/proc/meminfo: memFree=1712856/2055920 swapFree=4180900/4192956
[pid=28735] ppid=28733 vsize=4748 CPUtime=0
/proc/28735/stat : 28735 (bsolo) R 28733 28735 28689 0 -1 0 221 0 0 0 0 0 0 0 18 0 1 0 197198865 4861952 191 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 1902203 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28735/statm: 1187 201 150 55 0 79 0

[startup+10.0018 s]
/proc/loadavg: 0.93 0.98 0.99 2/64 28735
/proc/meminfo: memFree=1711016/2055920 swapFree=4180900/4192956
[pid=28735] ppid=28733 vsize=6300 CPUtime=9.97
/proc/28735/stat : 28735 (bsolo) R 28733 28735 28689 0 -1 0 833 0 0 0 989 8 0 0 25 0 1 0 197198865 6451200 748 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28735/statm: 1575 748 297 55 0 467 0
Current children cumulated CPU time (s) 9.97
Current children cumulated vsize (Kb) 6300

[startup+20.0078 s]
/proc/loadavg: 0.94 0.98 0.99 2/64 28735
/proc/meminfo: memFree=1711080/2055920 swapFree=4180900/4192956
[pid=28735] ppid=28733 vsize=6300 CPUtime=19.98
/proc/28735/stat : 28735 (bsolo) R 28733 28735 28689 0 -1 0 833 0 0 0 1985 13 0 0 25 0 1 0 197198865 6451200 748 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28735/statm: 1575 748 297 55 0 467 0
Current children cumulated CPU time (s) 19.98
Current children cumulated vsize (Kb) 6300

[startup+30.0138 s]
/proc/loadavg: 0.95 0.98 0.99 2/64 28735
/proc/meminfo: memFree=1711144/2055920 swapFree=4180900/4192956
[pid=28735] ppid=28733 vsize=6300 CPUtime=29.98
/proc/28735/stat : 28735 (bsolo) R 28733 28735 28689 0 -1 0 836 0 0 0 2980 18 0 0 25 0 1 0 197198865 6451200 751 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28735/statm: 1575 751 297 55 0 467 0
Current children cumulated CPU time (s) 29.98
Current children cumulated vsize (Kb) 6300

[startup+40.0198 s]
/proc/loadavg: 0.96 0.98 0.99 2/64 28735
/proc/meminfo: memFree=1711080/2055920 swapFree=4180900/4192956
[pid=28735] ppid=28733 vsize=6300 CPUtime=39.98
/proc/28735/stat : 28735 (bsolo) R 28733 28735 28689 0 -1 0 847 0 0 0 3975 23 0 0 25 0 1 0 197198865 6451200 762 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28735/statm: 1575 762 297 55 0 467 0
Current children cumulated CPU time (s) 39.98
Current children cumulated vsize (Kb) 6300

[startup+50.0259 s]
/proc/loadavg: 0.96 0.98 0.99 2/64 28735
/proc/meminfo: memFree=1711144/2055920 swapFree=4180900/4192956
[pid=28735] ppid=28733 vsize=6428 CPUtime=49.98
/proc/28735/stat : 28735 (bsolo) R 28733 28735 28689 0 -1 0 857 0 0 0 4969 29 0 0 25 0 1 0 197198865 6582272 772 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28735/statm: 1607 772 297 55 0 499 0
Current children cumulated CPU time (s) 49.98
Current children cumulated vsize (Kb) 6428

[startup+60.0319 s]
/proc/loadavg: 0.97 0.98 0.99 2/64 28735
/proc/meminfo: memFree=1711080/2055920 swapFree=4180900/4192956
[pid=28735] ppid=28733 vsize=6428 CPUtime=59.99
/proc/28735/stat : 28735 (bsolo) R 28733 28735 28689 0 -1 0 867 0 0 0 5965 34 0 0 25 0 1 0 197198865 6582272 782 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548392 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28735/statm: 1607 782 297 55 0 499 0
Current children cumulated CPU time (s) 59.99
Current children cumulated vsize (Kb) 6428

[startup+70.0379 s]
/proc/loadavg: 0.97 0.98 0.99 2/64 28735
/proc/meminfo: memFree=1711080/2055920 swapFree=4180900/4192956
[pid=28735] ppid=28733 vsize=6428 CPUtime=69.99
/proc/28735/stat : 28735 (bsolo) R 28733 28735 28689 0 -1 0 875 0 0 0 6960 39 0 0 25 0 1 0 197198865 6582272 790 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28735/statm: 1607 790 297 55 0 499 0
Current children cumulated CPU time (s) 69.99
Current children cumulated vsize (Kb) 6428

[startup+80.044 s]
/proc/loadavg: 0.98 0.98 0.99 2/64 28735
/proc/meminfo: memFree=1711016/2055920 swapFree=4180900/4192956
[pid=28735] ppid=28733 vsize=6560 CPUtime=80
/proc/28735/stat : 28735 (bsolo) R 28733 28735 28689 0 -1 0 885 0 0 0 7955 45 0 0 25 0 1 0 197198865 6717440 800 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557852 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28735/statm: 1640 800 297 55 0 532 0
Current children cumulated CPU time (s) 80
Current children cumulated vsize (Kb) 6560

[startup+90.05 s]
/proc/loadavg: 0.98 0.98 0.99 2/64 28735
/proc/meminfo: memFree=1711016/2055920 swapFree=4180900/4192956
[pid=28735] ppid=28733 vsize=6560 CPUtime=90
/proc/28735/stat : 28735 (bsolo) R 28733 28735 28689 0 -1 0 891 0 0 0 8949 51 0 0 25 0 1 0 197198865 6717440 806 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28735/statm: 1640 806 297 55 0 532 0
Current children cumulated CPU time (s) 90
Current children cumulated vsize (Kb) 6560

[startup+100.056 s]
/proc/loadavg: 0.98 0.98 0.99 2/64 28735
/proc/meminfo: memFree=1710952/2055920 swapFree=4180900/4192956
[pid=28735] ppid=28733 vsize=6560 CPUtime=100.01
/proc/28735/stat : 28735 (bsolo) R 28733 28735 28689 0 -1 0 902 0 0 0 9944 57 0 0 25 0 1 0 197198865 6717440 817 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28735/statm: 1640 817 297 55 0 532 0
Current children cumulated CPU time (s) 100.01
Current children cumulated vsize (Kb) 6560

[startup+110.062 s]
/proc/loadavg: 0.98 0.98 0.99 2/64 28735
/proc/meminfo: memFree=1710824/2055920 swapFree=4180900/4192956
[pid=28735] ppid=28733 vsize=6688 CPUtime=110
/proc/28735/stat : 28735 (bsolo) R 28733 28735 28689 0 -1 0 927 0 0 0 10939 61 0 0 25 0 1 0 197198865 6848512 842 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28735/statm: 1672 842 297 55 0 564 0
Current children cumulated CPU time (s) 110
Current children cumulated vsize (Kb) 6688

[startup+120.068 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 28735
/proc/meminfo: memFree=1710824/2055920 swapFree=4180900/4192956
[pid=28735] ppid=28733 vsize=6688 CPUtime=120.01
/proc/28735/stat : 28735 (bsolo) R 28733 28735 28689 0 -1 0 938 0 0 0 11933 68 0 0 25 0 1 0 197198865 6848512 853 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28735/statm: 1672 853 297 55 0 564 0
Current children cumulated CPU time (s) 120.01
Current children cumulated vsize (Kb) 6688

[startup+130.074 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 28735
/proc/meminfo: memFree=1710760/2055920 swapFree=4180900/4192956
[pid=28735] ppid=28733 vsize=6820 CPUtime=130.01
/proc/28735/stat : 28735 (bsolo) R 28733 28735 28689 0 -1 0 951 0 0 0 12927 74 0 0 25 0 1 0 197198865 6983680 866 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28735/statm: 1705 866 297 55 0 597 0
Current children cumulated CPU time (s) 130.01
Current children cumulated vsize (Kb) 6820

[startup+140.08 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 28735
/proc/meminfo: memFree=1710696/2055920 swapFree=4180900/4192956
[pid=28735] ppid=28733 vsize=6820 CPUtime=140.01
/proc/28735/stat : 28735 (bsolo) R 28733 28735 28689 0 -1 0 962 0 0 0 13921 80 0 0 25 0 1 0 197198865 6983680 877 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28735/statm: 1705 877 297 55 0 597 0
Current children cumulated CPU time (s) 140.01
Current children cumulated vsize (Kb) 6820

[startup+150.086 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 28735
/proc/meminfo: memFree=1710696/2055920 swapFree=4180900/4192956
[pid=28735] ppid=28733 vsize=6820 CPUtime=150.02
/proc/28735/stat : 28735 (bsolo) R 28733 28735 28689 0 -1 0 972 0 0 0 14916 86 0 0 25 0 1 0 197198865 6983680 887 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28735/statm: 1705 887 297 55 0 597 0
Current children cumulated CPU time (s) 150.02
Current children cumulated vsize (Kb) 6820

[startup+160.092 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 28735
/proc/meminfo: memFree=1710632/2055920 swapFree=4180900/4192956
[pid=28735] ppid=28733 vsize=6948 CPUtime=160.03
/proc/28735/stat : 28735 (bsolo) R 28733 28735 28689 0 -1 0 982 0 0 0 15911 92 0 0 25 0 1 0 197198865 7114752 897 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28735/statm: 1737 897 297 55 0 629 0
Current children cumulated CPU time (s) 160.03
Current children cumulated vsize (Kb) 6948

[startup+170.098 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 28735
/proc/meminfo: memFree=1710568/2055920 swapFree=4180900/4192956
[pid=28735] ppid=28733 vsize=6948 CPUtime=170.03
/proc/28735/stat : 28735 (bsolo) R 28733 28735 28689 0 -1 0 992 0 0 0 16906 97 0 0 25 0 1 0 197198865 7114752 907 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28735/statm: 1737 907 297 55 0 629 0
Current children cumulated CPU time (s) 170.03
Current children cumulated vsize (Kb) 6948

[startup+180.104 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 28735
/proc/meminfo: memFree=1710568/2055920 swapFree=4180900/4192956
[pid=28735] ppid=28733 vsize=6948 CPUtime=180.03
/proc/28735/stat : 28735 (bsolo) R 28733 28735 28689 0 -1 0 1002 0 0 0 17900 103 0 0 25 0 1 0 197198865 7114752 917 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28735/statm: 1737 917 297 55 0 629 0
Current children cumulated CPU time (s) 180.03
Current children cumulated vsize (Kb) 6948

[startup+190.11 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 28735
/proc/meminfo: memFree=1710504/2055920 swapFree=4180900/4192956
[pid=28735] ppid=28733 vsize=6948 CPUtime=190.04
/proc/28735/stat : 28735 (bsolo) R 28733 28735 28689 0 -1 0 1012 0 0 0 18896 108 0 0 25 0 1 0 197198865 7114752 927 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28735/statm: 1737 927 297 55 0 629 0
Current children cumulated CPU time (s) 190.04
Current children cumulated vsize (Kb) 6948

[startup+200.116 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 28735
/proc/meminfo: memFree=1710440/2055920 swapFree=4180900/4192956
[pid=28735] ppid=28733 vsize=7076 CPUtime=200.03
/proc/28735/stat : 28735 (bsolo) R 28733 28735 28689 0 -1 0 1021 0 0 0 19891 112 0 0 25 0 1 0 197198865 7245824 936 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28735/statm: 1769 936 297 55 0 661 0
Current children cumulated CPU time (s) 200.03
Current children cumulated vsize (Kb) 7076

[startup+210.122 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 28735
/proc/meminfo: memFree=1710440/2055920 swapFree=4180900/4192956

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

/proc/28735/statm: 7228 6404 297 55 0 6120 0
Current children cumulated CPU time (s) 1760.57
Current children cumulated vsize (Kb) 28912

[startup+1771.05 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 28737
/proc/meminfo: memFree=1688048/2055920 swapFree=4180900/4192956
[pid=28735] ppid=28733 vsize=29044 CPUtime=1770.58
/proc/28735/stat : 28735 (bsolo) R 28733 28735 28689 0 -1 0 6537 0 0 0 176183 875 0 0 25 0 1 0 197198865 29741056 6452 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28735/statm: 7261 6452 297 55 0 6153 0
Current children cumulated CPU time (s) 1770.58
Current children cumulated vsize (Kb) 29044

[startup+1781.06 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 28737
/proc/meminfo: memFree=1687856/2055920 swapFree=4180900/4192956
[pid=28735] ppid=28733 vsize=29308 CPUtime=1780.58
/proc/28735/stat : 28735 (bsolo) R 28733 28735 28689 0 -1 0 6587 0 0 0 177178 880 0 0 25 0 1 0 197198865 30011392 6502 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557726 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28735/statm: 7327 6502 297 55 0 6219 0
Current children cumulated CPU time (s) 1780.58
Current children cumulated vsize (Kb) 29308

[startup+1782.07 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 28737
/proc/meminfo: memFree=1687856/2055920 swapFree=4180900/4192956
[pid=28735] ppid=28733 vsize=29308 CPUtime=1781.58
/proc/28735/stat : 28735 (bsolo) R 28733 28735 28689 0 -1 0 6592 0 0 0 177278 880 0 0 25 0 1 0 197198865 30011392 6507 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28735/statm: 7327 6507 297 55 0 6219 0
Current children cumulated CPU time (s) 1781.58
Current children cumulated vsize (Kb) 29308

[startup+1783.07 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 28737
/proc/meminfo: memFree=1687856/2055920 swapFree=4180900/4192956
[pid=28735] ppid=28733 vsize=29308 CPUtime=1782.59
/proc/28735/stat : 28735 (bsolo) R 28733 28735 28689 0 -1 0 6597 0 0 0 177378 881 0 0 25 0 1 0 197198865 30011392 6512 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28735/statm: 7327 6512 297 55 0 6219 0
Current children cumulated CPU time (s) 1782.59
Current children cumulated vsize (Kb) 29308

[startup+1784.08 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 28737
/proc/meminfo: memFree=1687792/2055920 swapFree=4180900/4192956
[pid=28735] ppid=28733 vsize=29308 CPUtime=1783.59
/proc/28735/stat : 28735 (bsolo) R 28733 28735 28689 0 -1 0 6601 0 0 0 177478 881 0 0 25 0 1 0 197198865 30011392 6516 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28735/statm: 7327 6516 297 55 0 6219 0
Current children cumulated CPU time (s) 1783.59
Current children cumulated vsize (Kb) 29308

[startup+1785.08 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 28737
/proc/meminfo: memFree=1687792/2055920 swapFree=4180900/4192956
[pid=28735] ppid=28733 vsize=29440 CPUtime=1784.6
/proc/28735/stat : 28735 (bsolo) R 28733 28735 28689 0 -1 0 6607 0 0 0 177578 882 0 0 25 0 1 0 197198865 30146560 6522 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28735/statm: 7360 6522 297 55 0 6252 0
Current children cumulated CPU time (s) 1784.6
Current children cumulated vsize (Kb) 29440

[startup+1786.09 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 28737
/proc/meminfo: memFree=1687792/2055920 swapFree=4180900/4192956
[pid=28735] ppid=28733 vsize=29440 CPUtime=1785.61
/proc/28735/stat : 28735 (bsolo) R 28733 28735 28689 0 -1 0 6611 0 0 0 177679 882 0 0 25 0 1 0 197198865 30146560 6526 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28735/statm: 7360 6526 297 55 0 6252 0
Current children cumulated CPU time (s) 1785.61
Current children cumulated vsize (Kb) 29440

[startup+1787.09 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 28737
/proc/meminfo: memFree=1687728/2055920 swapFree=4180900/4192956
[pid=28735] ppid=28733 vsize=29440 CPUtime=1786.61
/proc/28735/stat : 28735 (bsolo) R 28733 28735 28689 0 -1 0 6617 0 0 0 177779 882 0 0 25 0 1 0 197198865 30146560 6532 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28735/statm: 7360 6532 297 55 0 6252 0
Current children cumulated CPU time (s) 1786.61
Current children cumulated vsize (Kb) 29440

[startup+1788.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 28737
/proc/meminfo: memFree=1687728/2055920 swapFree=4180900/4192956
[pid=28735] ppid=28733 vsize=29440 CPUtime=1787.62
/proc/28735/stat : 28735 (bsolo) R 28733 28735 28689 0 -1 0 6623 0 0 0 177879 883 0 0 25 0 1 0 197198865 30146560 6538 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28735/statm: 7360 6538 297 55 0 6252 0
Current children cumulated CPU time (s) 1787.62
Current children cumulated vsize (Kb) 29440

[startup+1789.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 28737
/proc/meminfo: memFree=1687728/2055920 swapFree=4180900/4192956
[pid=28735] ppid=28733 vsize=29440 CPUtime=1788.62
/proc/28735/stat : 28735 (bsolo) R 28733 28735 28689 0 -1 0 6629 0 0 0 177979 883 0 0 25 0 1 0 197198865 30146560 6544 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28735/statm: 7360 6544 297 55 0 6252 0
Current children cumulated CPU time (s) 1788.62
Current children cumulated vsize (Kb) 29440

[startup+1790.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 28737
/proc/meminfo: memFree=1687664/2055920 swapFree=4180900/4192956
[pid=28735] ppid=28733 vsize=29440 CPUtime=1789.62
/proc/28735/stat : 28735 (bsolo) R 28733 28735 28689 0 -1 0 6634 0 0 0 178079 883 0 0 25 0 1 0 197198865 30146560 6549 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28735/statm: 7360 6549 297 55 0 6252 0
Current children cumulated CPU time (s) 1789.62
Current children cumulated vsize (Kb) 29440

[startup+1791.11 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 28737
/proc/meminfo: memFree=1687664/2055920 swapFree=4180900/4192956
[pid=28735] ppid=28733 vsize=29572 CPUtime=1790.63
/proc/28735/stat : 28735 (bsolo) R 28733 28735 28689 0 -1 0 6639 0 0 0 178179 884 0 0 25 0 1 0 197198865 30281728 6554 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28735/statm: 7393 6554 297 55 0 6285 0
Current children cumulated CPU time (s) 1790.63
Current children cumulated vsize (Kb) 29572

[startup+1792.11 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 28737
/proc/meminfo: memFree=1687664/2055920 swapFree=4180900/4192956
[pid=28735] ppid=28733 vsize=29572 CPUtime=1791.63
/proc/28735/stat : 28735 (bsolo) R 28733 28735 28689 0 -1 0 6644 0 0 0 178279 884 0 0 25 0 1 0 197198865 30281728 6559 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28735/statm: 7393 6559 297 55 0 6285 0
Current children cumulated CPU time (s) 1791.63
Current children cumulated vsize (Kb) 29572

[startup+1793.12 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 28737
/proc/meminfo: memFree=1687600/2055920 swapFree=4180900/4192956
[pid=28735] ppid=28733 vsize=29572 CPUtime=1792.64
/proc/28735/stat : 28735 (bsolo) R 28733 28735 28689 0 -1 0 6649 0 0 0 178379 885 0 0 25 0 1 0 197198865 30281728 6564 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28735/statm: 7393 6564 297 55 0 6285 0
Current children cumulated CPU time (s) 1792.64
Current children cumulated vsize (Kb) 29572

[startup+1794.12 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 28737
/proc/meminfo: memFree=1687600/2055920 swapFree=4180900/4192956
[pid=28735] ppid=28733 vsize=29572 CPUtime=1793.64
/proc/28735/stat : 28735 (bsolo) R 28733 28735 28689 0 -1 0 6654 0 0 0 178479 885 0 0 25 0 1 0 197198865 30281728 6569 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28735/statm: 7393 6569 297 55 0 6285 0
Current children cumulated CPU time (s) 1793.64
Current children cumulated vsize (Kb) 29572

[startup+1795.13 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 28737
/proc/meminfo: memFree=1687600/2055920 swapFree=4180900/4192956
[pid=28735] ppid=28733 vsize=29572 CPUtime=1794.65
/proc/28735/stat : 28735 (bsolo) R 28733 28735 28689 0 -1 0 6658 0 0 0 178579 886 0 0 25 0 1 0 197198865 30281728 6573 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28735/statm: 7393 6573 297 55 0 6285 0
Current children cumulated CPU time (s) 1794.65
Current children cumulated vsize (Kb) 29572

[startup+1796.13 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 28737
/proc/meminfo: memFree=1687536/2055920 swapFree=4180900/4192956
[pid=28735] ppid=28733 vsize=29572 CPUtime=1795.65
/proc/28735/stat : 28735 (bsolo) R 28733 28735 28689 0 -1 0 6663 0 0 0 178679 886 0 0 25 0 1 0 197198865 30281728 6578 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28735/statm: 7393 6578 297 55 0 6285 0
Current children cumulated CPU time (s) 1795.65
Current children cumulated vsize (Kb) 29572

[startup+1797.14 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 28737
/proc/meminfo: memFree=1687536/2055920 swapFree=4180900/4192956
[pid=28735] ppid=28733 vsize=29572 CPUtime=1796.66
/proc/28735/stat : 28735 (bsolo) R 28733 28735 28689 0 -1 0 6668 0 0 0 178779 887 0 0 25 0 1 0 197198865 30281728 6583 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28735/statm: 7393 6583 297 55 0 6285 0
Current children cumulated CPU time (s) 1796.66
Current children cumulated vsize (Kb) 29572

[startup+1798.14 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 28737
/proc/meminfo: memFree=1687536/2055920 swapFree=4180900/4192956
[pid=28735] ppid=28733 vsize=29704 CPUtime=1797.66
/proc/28735/stat : 28735 (bsolo) R 28733 28735 28689 0 -1 0 6672 0 0 0 178879 887 0 0 25 0 1 0 197198865 30416896 6587 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28735/statm: 7426 6587 297 55 0 6318 0
Current children cumulated CPU time (s) 1797.66
Current children cumulated vsize (Kb) 29704

[startup+1799.15 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 28737
/proc/meminfo: memFree=1687536/2055920 swapFree=4180900/4192956
[pid=28735] ppid=28733 vsize=29704 CPUtime=1798.66
/proc/28735/stat : 28735 (bsolo) R 28733 28735 28689 0 -1 0 6677 0 0 0 178979 887 0 0 25 0 1 0 197198865 30416896 6592 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541247 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28735/statm: 7426 6592 297 55 0 6318 0
Current children cumulated CPU time (s) 1798.66
Current children cumulated vsize (Kb) 29704

[startup+1800.15 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 28737
/proc/meminfo: memFree=1687472/2055920 swapFree=4180900/4192956
[pid=28735] ppid=28733 vsize=29704 CPUtime=1799.67
/proc/28735/stat : 28735 (bsolo) R 28733 28735 28689 0 -1 0 6684 0 0 0 179079 888 0 0 25 0 1 0 197198865 30416896 6599 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28735/statm: 7426 6599 297 55 0 6318 0
Current children cumulated CPU time (s) 1799.67
Current children cumulated vsize (Kb) 29704

Child status: 0
Real time (s): 1800.49
CPU time (s): 1800.01
CPU user time (s): 1791.12
CPU system time (s): 8.88765
CPU usage (%): 99.9733
Max. virtual memory (cumulated for all children) (Kb): 29704

Launcher Data (download as text)

Begin job on node27 on Sat Jun  3 06:15:54 UTC 2006


FILE ID= 40750-1149315354

PBS_JOBID= 308312

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

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  064c172c08e0726f78b89fe587697d96

RANDOM SEED= 546049430


/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.234
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.234
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:       1713064 kB
Buffers:         22116 kB
Cached:         251064 kB
SwapCached:       3784 kB
Active:          82860 kB
Inactive:       199068 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1713064 kB
SwapTotal:     4192956 kB
SwapFree:      4180900 kB
Dirty:             160 kB
Writeback:           0 kB
Mapped:          14776 kB
Slab:            46964 kB
Committed_AS:   341660 kB
PageTables:       1412 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node27 on Sat Jun  3 06:45:54 UTC 2006