Trace number 40793

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.03 1800.53

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/
miplib3/normalized-mps-v2-20-10-gesa3_o.opb
MD5SUM65c2bbddd90efb87154e28c84e06f5c3
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables15504
Total number of constraints1416
Number of constraints which are clauses168
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1248
Minimum length of a constraint2
Maximum length of a constraint311
Number of terms in the objective function 8784
Biggest coefficient in the objective function 418848431931392
Number of bits for the biggest coefficient in the objective function 49
Sum of the numbers in the objective function 144203531006459664
Number of bits of the sum of numbers in the objective function 58
Biggest number in a constraint 536870912000000
Number of bits of the biggest number in a constraint 49
Biggest sum of numbers in a constraint 144203531006459664
Number of bits of the biggest sum of numbers58
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

0.00	c Time Limit set via PBTIMEOUT to 1800
0.01	c INFO: OSL Context initialized.
0.02	c BIG Int formula...
0.37	c Initial problem consists of 15504 variables and 1536 constraints.
0.41	c No problem reductions applied in OPT. instance.
0.41	c	preprocess terminated. Elapsed time: 0.398
0.41	c After prepocess the problem consists of 8856 variables and 1536 constraints.
0.41	c Initial Lower Bound: 0
0.58	c Restart #1 #Var: 8856 LB: 0 @ 0.568
0.86	c Restart #2 #Var: 8856 LB: 0 @ 0.853
1.29	c Restart #3 #Var: 8856 LB: 0 @ 1.279
1.92	c Restart #4 #Var: 8856 LB: 0 @ 1.911
2.71	c Restart #5 #Var: 8856 LB: 0 @ 2.699
3.66	c Restart #6 #Var: 8856 LB: 0 @ 3.65
4.80	c Restart #7 #Var: 8856 LB: 0 @ 4.785
6.06	c Restart #8 #Var: 8856 LB: 0 @ 6.047
7.64	c Restart #9 #Var: 8856 LB: 0 @ 7.63
8.75	c Restart #10 #Var: 8856 LB: 0 @ 8.74
9.34	c Restart #11 #Var: 8856 LB: 0 @ 9.322
10.61	c Restart #12 #Var: 8856 LB: 0 @ 10.594
10.93	c Restart #13 #Var: 8856 LB: 0 @ 10.917
11.19	c Restart #14 #Var: 8856 LB: 0 @ 11.17
11.45	c Restart #15 #Var: 8856 LB: 0 @ 11.436
11.74	c Restart #16 #Var: 8856 LB: 0 @ 11.726
12.03	c Restart #17 #Var: 8856 LB: 0 @ 12.017
12.38	c Restart #18 #Var: 8856 LB: 0 @ 12.36
12.72	c Restart #19 #Var: 8856 LB: 0 @ 12.707
13.10	c Restart #20 #Var: 8856 LB: 0 @ 13.086
13.50	c Restart #21 #Var: 8856 LB: 0 @ 13.482
13.88	c Restart #22 #Var: 8856 LB: 0 @ 13.865
14.31	c Restart #23 #Var: 8856 LB: 0 @ 14.297
14.76	c Restart #24 #Var: 8856 LB: 0 @ 14.746
15.27	c Restart #25 #Var: 8856 LB: 0 @ 15.248
15.76	c Restart #26 #Var: 8856 LB: 0 @ 15.747
16.36	c Restart #27 #Var: 8856 LB: 0 @ 16.347
16.94	c Restart #28 #Var: 8856 LB: 0 @ 16.926
17.59	c Restart #29 #Var: 8856 LB: 0 @ 17.572
18.17	c Restart #30 #Var: 8856 LB: 0 @ 18.155
18.76	c Restart #31 #Var: 8856 LB: 0 @ 18.741
19.36	c Restart #32 #Var: 8856 LB: 0 @ 19.341
20.09	c Restart #33 #Var: 8856 LB: 0 @ 20.07
21.28	c Restart #34 #Var: 8856 LB: 0 @ 21.264
22.13	c Restart #35 #Var: 8856 LB: 0 @ 22.115
22.76	c Restart #36 #Var: 8856 LB: 0 @ 22.745
23.44	c Restart #37 #Var: 8856 LB: 0 @ 23.423
24.19	c Restart #38 #Var: 8856 LB: 0 @ 24.173
24.92	c Restart #39 #Var: 8856 LB: 0 @ 24.897
25.69	c Restart #40 #Var: 8856 LB: 0 @ 25.666
26.47	c Restart #41 #Var: 8856 LB: 0 @ 26.446
27.34	c Restart #42 #Var: 8856 LB: 0 @ 27.32
28.28	c Restart #43 #Var: 8856 LB: 0 @ 28.258
29.06	c Restart #44 #Var: 8856 LB: 0 @ 29.04
29.88	c Restart #45 #Var: 8856 LB: 0 @ 29.859
30.73	c Restart #46 #Var: 8856 LB: 0 @ 30.711
31.60	c Restart #47 #Var: 8856 LB: 0 @ 31.575
32.44	c Restart #48 #Var: 8856 LB: 0 @ 32.414
33.33	c Restart #49 #Var: 8856 LB: 0 @ 33.304
34.25	c Restart #50 #Var: 8856 LB: 0 @ 34.229
35.19	c Restart #51 #Var: 8856 LB: 0 @ 35.17
36.10	c Restart #52 #Var: 8856 LB: 0 @ 36.078
37.07	c Restart #53 #Var: 8856 LB: 0 @ 37.042
37.95	c Restart #54 #Var: 8856 LB: 0 @ 37.93
38.91	c Restart #55 #Var: 8856 LB: 0 @ 38.889
39.93	c Restart #56 #Var: 8856 LB: 0 @ 39.909
41.01	c Restart #57 #Var: 8856 LB: 0 @ 40.987
42.26	c Restart #58 #Var: 8856 LB: 0 @ 42.232
43.36	c Restart #59 #Var: 8856 LB: 0 @ 43.333
44.46	c Restart #60 #Var: 8856 LB: 0 @ 44.433
45.59	c Restart #61 #Var: 8856 LB: 0 @ 45.568
46.70	c Restart #62 #Var: 8856 LB: 0 @ 46.672
47.82	c Restart #63 #Var: 8856 LB: 0 @ 47.791
49.00	c Restart #64 #Var: 8856 LB: 0 @ 48.974
50.27	c Restart #65 #Var: 8856 LB: 0 @ 50.243
51.45	c Restart #66 #Var: 8856 LB: 0 @ 51.425
52.60	c Restart #67 #Var: 8856 LB: 0 @ 52.571
53.75	c Restart #68 #Var: 8856 LB: 0 @ 53.726
54.94	c Restart #69 #Var: 8856 LB: 0 @ 54.912
56.12	c Restart #70 #Var: 8856 LB: 0 @ 56.09
57.30	c Restart #71 #Var: 8856 LB: 0 @ 57.276
58.44	c Restart #72 #Var: 8856 LB: 0 @ 58.414
59.67	c Restart #73 #Var: 8856 LB: 0 @ 59.639
60.90	c Restart #74 #Var: 8856 LB: 0 @ 60.87
62.18	c Restart #75 #Var: 8856 LB: 0 @ 62.154
63.48	c Restart #76 #Var: 8856 LB: 0 @ 63.454
64.79	c Restart #77 #Var: 8856 LB: 0 @ 64.762
66.09	c Restart #78 #Var: 8856 LB: 0 @ 66.064
67.42	c Restart #79 #Var: 8856 LB: 0 @ 67.387
68.77	c Restart #80 #Var: 8856 LB: 0 @ 68.742
70.42	c Restart #81 #Var: 8856 LB: 0 @ 70.394
71.80	c Restart #82 #Var: 8856 LB: 0 @ 71.766
73.23	c Restart #83 #Var: 8855 LB: 0 @ 73.201
74.68	c Restart #84 #Var: 8855 LB: 0 @ 74.648
76.35	c Restart #85 #Var: 8855 LB: 0 @ 76.313
78.06	c Restart #86 #Var: 8855 LB: 0 @ 78.022
80.33	c Restart #87 #Var: 8855 LB: 0 @ 80.297
82.07	c Restart #88 #Var: 8855 LB: 0 @ 82.035
83.89	c Restart #89 #Var: 8855 LB: 0 @ 83.858
85.43	c Restart #90 #Var: 8855 LB: 0 @ 85.393
87.18	c Restart #91 #Var: 8855 LB: 0 @ 87.143
88.45	c Restart #92 #Var: 8855 LB: 0 @ 88.411
90.16	c Restart #93 #Var: 8855 LB: 0 @ 90.127
91.86	c Restart #94 #Var: 8855 LB: 0 @ 91.821
93.89	c Restart #95 #Var: 8855 LB: 0 @ 93.853
96.39	c Restart #96 #Var: 8855 LB: 0 @ 96.35
98.28	c Restart #97 #Var: 8855 LB: 0 @ 98.246
100.25	c Restart #98 #Var: 8854 LB: 0 @ 100.21
102.01	c Restart #99 #Var: 8854 LB: 0 @ 101.97
103.68	c Restart #100 #Var: 8854 LB: 0 @ 103.64
105.89	c Restart #101 #Var: 8854 LB: 0 @ 105.85
107.91	c Restart #102 #Var: 8854 LB: 0 @ 107.87
110.23	c Restart #103 #Var: 8854 LB: 0 @ 110.19
111.80	c Restart #104 #Var: 8854 LB: 0 @ 111.76
113.86	c Restart #105 #Var: 8854 LB: 0 @ 113.82
115.85	c Restart #106 #Var: 8854 LB: 0 @ 115.8
117.80	c Restart #107 #Var: 8854 LB: 0 @ 117.75
120.08	c Restart #108 #Var: 8854 LB: 0 @ 120.03
122.06	c Restart #109 #Var: 8854 LB: 0 @ 122.02
124.22	c Restart #110 #Var: 8854 LB: 0 @ 124.17
126.17	c Restart #111 #Var: 8854 LB: 0 @ 126.12
128.14	c Restart #112 #Var: 8854 LB: 0 @ 128.1
130.30	c Restart #113 #Var: 8854 LB: 0 @ 130.26
132.47	c Restart #114 #Var: 8854 LB: 0 @ 132.42
134.61	c Restart #115 #Var: 8854 LB: 0 @ 134.56
136.74	c Restart #116 #Var: 8854 LB: 0 @ 136.69
139.20	c Restart #117 #Var: 8854 LB: 0 @ 139.15
141.36	c Restart #118 #Var: 8854 LB: 0 @ 141.31
143.61	c Restart #119 #Var: 8854 LB: 0 @ 143.56
145.92	c Restart #120 #Var: 8854 LB: 0 @ 145.87
148.00	c Restart #121 #Var: 8854 LB: 0 @ 147.95
150.13	c Restart #122 #Var: 8854 LB: 0 @ 150.07
152.25	c Restart #123 #Var: 8854 LB: 0 @ 152.2
154.43	c Restart #124 #Var: 8854 LB: 0 @ 154.38
156.34	c Restart #125 #Var: 8854 LB: 0 @ 156.29
158.36	c Restart #126 #Var: 8854 LB: 0 @ 158.31
160.52	c Restart #127 #Var: 8854 LB: 0 @ 160.46
162.95	c Restart #128 #Var: 8854 LB: 0 @ 162.89
165.31	c Restart #129 #Var: 8854 LB: 0 @ 165.26
167.26	c Restart #130 #Var: 8854 LB: 0 @ 167.21
169.36	c Restart #131 #Var: 8854 LB: 0 @ 169.3
171.33	c Restart #132 #Var: 8854 LB: 0 @ 171.27
173.44	c Restart #133 #Var: 8854 LB: 0 @ 173.38
175.43	c Restart #134 #Var: 8854 LB: 0 @ 175.37
177.57	c Restart #135 #Var: 8854 LB: 0 @ 177.51
179.60	c Restart #136 #Var: 8854 LB: 0 @ 179.53
181.79	c Restart #137 #Var: 8854 LB: 0 @ 181.72
183.85	c Restart #138 #Var: 8854 LB: 0 @ 183.79
186.07	c Restart #139 #Var: 8854 LB: 0 @ 186.01
188.17	c Restart #140 #Var: 8854 LB: 0 @ 188.11
190.43	c Restart #141 #Var: 8854 LB: 0 @ 190.36
192.53	c Restart #142 #Var: 8854 LB: 0 @ 192.47
194.80	c Restart #143 #Var: 8854 LB: 0 @ 194.74
196.95	c Restart #144 #Var: 8854 LB: 0 @ 196.88
199.29	c Restart #145 #Var: 8854 LB: 0 @ 199.23
201.90	c Restart #146 #Var: 8853 LB: 0 @ 201.83
204.43	c Restart #147 #Var: 8852 LB: 0 @ 204.37
206.99	c Restart #148 #Var: 8852 LB: 0 @ 206.92
209.76	c Restart #149 #Var: 8851 LB: 0 @ 209.7
212.29	c Restart #150 #Var: 8851 LB: 0 @ 212.22
215.04	c Restart #151 #Var: 8851 LB: 0 @ 214.97
217.81	c Restart #152 #Var: 8851 LB: 0 @ 217.74
220.54	c Restart #153 #Var: 8851 LB: 0 @ 220.47
223.29	c Restart #154 #Var: 8848 LB: 0 @ 223.22
226.12	c Restart #155 #Var: 8848 LB: 0 @ 226.04
229.40	c Restart #156 #Var: 8848 LB: 0 @ 229.33
232.04	c Restart #157 #Var: 8848 LB: 0 @ 231.97
234.86	c Restart #158 #Var: 8848 LB: 0 @ 234.78
237.66	c Restart #159 #Var: 8848 LB: 0 @ 237.59
240.52	c Restart #160 #Var: 8848 LB: 0 @ 240.44
243.26	c Restart #161 #Var: 8848 LB: 0 @ 243.18
246.21	c Restart #162 #Var: 8848 LB: 0 @ 246.13
248.99	c Restart #163 #Var: 8848 LB: 0 @ 248.91
251.80	c Restart #164 #Var: 8848 LB: 0 @ 251.72
254.48	c Restart #165 #Var: 8848 LB: 0 @ 254.4
257.67	c Restart #166 #Var: 8848 LB: 0 @ 257.59
260.29	c Restart #167 #Var: 8848 LB: 0 @ 260.21
263.61	c Restart #168 #Var: 8848 LB: 0 @ 263.53
266.56	c Restart #169 #Var: 8848 LB: 0 @ 266.47
269.51	c Restart #170 #Var: 8848 LB: 0 @ 269.43
272.40	c Restart #171 #Var: 8848 LB: 0 @ 272.31
275.38	c Restart #172 #Var: 8848 LB: 0 @ 275.29
278.30	c Restart #173 #Var: 8848 LB: 0 @ 278.21
281.25	c Restart #174 #Var: 8848 LB: 0 @ 281.16
284.18	c Restart #175 #Var: 8848 LB: 0 @ 284.09
287.16	c Restart #176 #Var: 8848 LB: 0 @ 287.07
290.16	c Restart #177 #Var: 8848 LB: 0 @ 290.07
293.15	c Restart #178 #Var: 8848 LB: 0 @ 293.06
296.11	c Restart #179 #Var: 8848 LB: 0 @ 296.02
299.02	c Restart #180 #Var: 8848 LB: 0 @ 298.92
302.20	c Restart #181 #Var: 8848 LB: 0 @ 302.11
305.32	c Restart #182 #Var: 8848 LB: 0 @ 305.22
308.54	c Restart #183 #Var: 8848 LB: 0 @ 308.45
311.72	c Restart #184 #Var: 8848 LB: 0 @ 311.63
314.78	c Restart #185 #Var: 8848 LB: 0 @ 314.68
317.98	c Restart #186 #Var: 8848 LB: 0 @ 317.88
321.29	c Restart #187 #Var: 8848 LB: 0 @ 321.19
324.64	c Restart #188 #Var: 8848 LB: 0 @ 324.54
328.19	c Restart #189 #Var: 8848 LB: 0 @ 328.09
331.49	c Restart #190 #Var: 8848 LB: 0 @ 331.39
334.62	c Restart #191 #Var: 8848 LB: 0 @ 334.52
337.91	c Restart #192 #Var: 8848 LB: 0 @ 337.81
341.14	c Restart #193 #Var: 8848 LB: 0 @ 341.03
344.47	c Restart #194 #Var: 8848 LB: 0 @ 344.37
347.90	c Restart #195 #Var: 8848 LB: 0 @ 347.8
351.30	c Restart #196 #Var: 8848 LB: 0 @ 351.2
354.72	c Restart #197 #Var: 8848 LB: 0 @ 354.61
358.18	c Restart #198 #Var: 8848 LB: 0 @ 358.07
361.56	c Restart #199 #Var: 8848 LB: 0 @ 361.45
365.20	c Restart #200 #Var: 8848 LB: 0 @ 365.08
368.63	c Restart #201 #Var: 8848 LB: 0 @ 368.51
372.06	c Restart #202 #Var: 8848 LB: 0 @ 371.95
375.56	c Restart #203 #Var: 8848 LB: 0 @ 375.44
379.18	c Restart #204 #Var: 8848 LB: 0 @ 379.07
382.79	c Restart #205 #Var: 8848 LB: 0 @ 382.68
386.47	c Restart #206 #Var: 8847 LB: 0 @ 386.36
390.58	c Restart #207 #Var: 8847 LB: 0 @ 390.46
394.46	c Restart #208 #Var: 8847 LB: 0 @ 394.34
398.58	c Restart #209 #Var: 8847 LB: 0 @ 398.46
402.26	c Restart #210 #Var: 8846 LB: 0 @ 402.14
406.41	c Restart #211 #Var: 8846 LB: 0 @ 406.29
410.05	c Restart #212 #Var: 8846 LB: 0 @ 409.93
413.65	c Restart #213 #Var: 8846 LB: 0 @ 413.53
417.26	c Restart #214 #Var: 8846 LB: 0 @ 417.13
420.90	c Restart #215 #Var: 8846 LB: 0 @ 420.78
424.69	c Restart #216 #Var: 8846 LB: 0 @ 424.56
428.26	c Restart #217 #Var: 8846 LB: 0 @ 428.13
431.96	c Restart #218 #Var: 8846 LB: 0 @ 431.83
435.57	c Restart #219 #Var: 8846 LB: 0 @ 435.44
439.30	c Restart #220 #Var: 8846 LB: 0 @ 439.17
443.02	c Restart #221 #Var: 8846 LB: 0 @ 442.89
446.84	c Restart #222 #Var: 8846 LB: 0 @ 446.7
450.61	c Restart #223 #Var: 8846 LB: 0 @ 450.48
454.38	c Restart #224 #Var: 8846 LB: 0 @ 454.25
458.16	c Restart #225 #Var: 8846 LB: 0 @ 458.03
461.99	c Restart #226 #Var: 8846 LB: 0 @ 461.85
465.81	c Restart #227 #Var: 8846 LB: 0 @ 465.68
469.63	c Restart #228 #Var: 8846 LB: 0 @ 469.49
473.45	c Restart #229 #Var: 8846 LB: 0 @ 473.31
477.25	c Restart #230 #Var: 8846 LB: 0 @ 477.11
481.15	c Restart #231 #Var: 8846 LB: 0 @ 481.01
485.02	c Restart #232 #Var: 8846 LB: 0 @ 484.88
488.94	c Restart #233 #Var: 8846 LB: 0 @ 488.8
492.89	c Restart #234 #Var: 8846 LB: 0 @ 492.75
496.80	c Restart #235 #Var: 8846 LB: 0 @ 496.66
500.75	c Restart #236 #Var: 8846 LB: 0 @ 500.6
504.78	c Restart #237 #Var: 8846 LB: 0 @ 504.63
508.79	c Restart #238 #Var: 8846 LB: 0 @ 508.64
512.80	c Restart #239 #Var: 8846 LB: 0 @ 512.65
516.70	c Restart #240 #Var: 8846 LB: 0 @ 516.54
520.77	c Restart #241 #Var: 8846 LB: 0 @ 520.62
524.88	c Restart #242 #Var: 8846 LB: 0 @ 524.73
529.01	c Restart #243 #Var: 8846 LB: 0 @ 528.85
533.12	c Restart #244 #Var: 8846 LB: 0 @ 532.96
537.13	c Restart #245 #Var: 8846 LB: 0 @ 536.98
541.64	c Restart #246 #Var: 8845 LB: 0 @ 541.48
546.12	c Restart #247 #Var: 8845 LB: 0 @ 545.96
550.85	c Restart #248 #Var: 8845 LB: 0 @ 550.69
555.45	c Restart #249 #Var: 8844 LB: 0 @ 555.28
559.66	c Restart #250 #Var: 8844 LB: 0 @ 559.49
564.13	c Restart #251 #Var: 8844 LB: 0 @ 563.97
568.53	c Restart #252 #Var: 8844 LB: 0 @ 568.36
572.88	c Restart #253 #Var: 8844 LB: 0 @ 572.71
577.30	c Restart #254 #Var: 8844 LB: 0 @ 577.14
581.77	c Restart #255 #Var: 8844 LB: 0 @ 581.6
586.26	c Restart #256 #Var: 8844 LB: 0 @ 586.09
590.73	c Restart #257 #Var: 8844 LB: 0 @ 590.56
595.27	c Restart #258 #Var: 8844 LB: 0 @ 595.1
599.75	c Restart #259 #Var: 8844 LB: 0 @ 599.57
604.28	c Restart #260 #Var: 8844 LB: 0 @ 604.1
608.81	c Restart #261 #Var: 8844 LB: 0 @ 608.63
613.35	c Restart #262 #Var: 8844 LB: 0 @ 613.17
617.92	c Restart #263 #Var: 8844 LB: 0 @ 617.74
622.50	c Restart #264 #Var: 8844 LB: 0 @ 622.32
627.14	c Restart #265 #Var: 8844 LB: 0 @ 626.96
631.78	c Restart #266 #Var: 8844 LB: 0 @ 631.6
636.40	c Restart #267 #Var: 8844 LB: 0 @ 636.21
641.02	c Restart #268 #Var: 8844 LB: 0 @ 640.84
645.69	c Restart #269 #Var: 8844 LB: 0 @ 645.5
650.39	c Restart #270 #Var: 8844 LB: 0 @ 650.21
655.12	c Restart #271 #Var: 8844 LB: 0 @ 654.93
659.75	c Restart #272 #Var: 8844 LB: 0 @ 659.56
664.40	c Restart #273 #Var: 8844 LB: 0 @ 664.21
668.97	c Restart #274 #Var: 8844 LB: 0 @ 668.78
673.62	c Restart #275 #Var: 8844 LB: 0 @ 673.42
678.44	c Restart #276 #Var: 8844 LB: 0 @ 678.24
683.91	c Restart #277 #Var: 8842 LB: 0 @ 683.71
689.72	c Restart #278 #Var: 8842 LB: 0 @ 689.52
695.05	c Restart #279 #Var: 8842 LB: 0 @ 694.86
699.93	c Restart #280 #Var: 8842 LB: 0 @ 699.73
704.85	c Restart #281 #Var: 8842 LB: 0 @ 704.65
711.13	c Restart #282 #Var: 8838 LB: 0 @ 710.93
716.57	c Restart #283 #Var: 8838 LB: 0 @ 716.36
721.58	c Restart #284 #Var: 8838 LB: 0 @ 721.38
726.84	c Restart #285 #Var: 8838 LB: 0 @ 726.64
731.84	c Restart #286 #Var: 8838 LB: 0 @ 731.63
736.88	c Restart #287 #Var: 8838 LB: 0 @ 736.67
741.90	c Restart #288 #Var: 8838 LB: 0 @ 741.68
746.96	c Restart #289 #Var: 8838 LB: 0 @ 746.75
752.24	c Restart #290 #Var: 8838 LB: 0 @ 752.02
757.21	c Restart #291 #Var: 8838 LB: 0 @ 757
762.35	c Restart #292 #Var: 8838 LB: 0 @ 762.13
767.50	c Restart #293 #Var: 8838 LB: 0 @ 767.28
772.97	c Restart #294 #Var: 8838 LB: 0 @ 772.75
778.80	c Restart #295 #Var: 8838 LB: 0 @ 778.58
784.27	c Restart #296 #Var: 8838 LB: 0 @ 784.05
789.64	c Restart #297 #Var: 8837 LB: 0 @ 789.41
794.80	c Restart #298 #Var: 8837 LB: 0 @ 794.57
800.10	c Restart #299 #Var: 8837 LB: 0 @ 799.87
805.15	c Restart #300 #Var: 8837 LB: 0 @ 804.93
810.58	c Restart #301 #Var: 8837 LB: 0 @ 810.35
816.69	c Restart #302 #Var: 8836 LB: 0 @ 816.46
822.88	c Restart #303 #Var: 8836 LB: 0 @ 822.64
828.23	c Restart #304 #Var: 8836 LB: 0 @ 828
833.95	c Restart #305 #Var: 8836 LB: 0 @ 833.71
839.73	c Restart #306 #Var: 8836 LB: 0 @ 839.49
845.48	c Restart #307 #Var: 8836 LB: 0 @ 845.24
851.62	c Restart #308 #Var: 8836 LB: 0 @ 851.38
857.79	c Restart #309 #Var: 8836 LB: 0 @ 857.54
863.36	c Restart #310 #Var: 8836 LB: 0 @ 863.11
868.94	c Restart #311 #Var: 8836 LB: 0 @ 868.69
874.38	c Restart #312 #Var: 8836 LB: 0 @ 874.13
879.85	c Restart #313 #Var: 8836 LB: 0 @ 879.6
885.32	c Restart #314 #Var: 8836 LB: 0 @ 885.07
890.91	c Restart #315 #Var: 8836 LB: 0 @ 890.66
896.52	c Restart #316 #Var: 8836 LB: 0 @ 896.27
901.76	c CHANGE Heuristic... 
901.76	c Restart #0 #Var: 8836 LB: 0 @ 901.51
901.88	c Restart #1 #Var: 8831 LB: 0 @ 901.63
901.92	c Restart #2 #Var: 8831 LB: 0 @ 901.66
902.11	c Restart #3 #Var: 8825 LB: 0 @ 901.86
902.21	c Restart #4 #Var: 8825 LB: 0 @ 901.96
902.31	c Restart #5 #Var: 8825 LB: 0 @ 902.05
902.41	c Restart #6 #Var: 8825 LB: 0 @ 902.15
902.55	c Restart #7 #Var: 8825 LB: 0 @ 902.3
902.70	c Restart #8 #Var: 8825 LB: 0 @ 902.45
902.86	c Restart #9 #Var: 8825 LB: 0 @ 902.61
903.03	c Restart #10 #Var: 8825 LB: 0 @ 902.78
903.34	c Restart #11 #Var: 8825 LB: 0 @ 903.08
903.64	c Restart #12 #Var: 8825 LB: 0 @ 903.38
903.96	c Restart #13 #Var: 8825 LB: 0 @ 903.7
904.37	c Restart #14 #Var: 8825 LB: 0 @ 904.12
904.83	c Restart #15 #Var: 8825 LB: 0 @ 904.57
905.26	c Restart #16 #Var: 8825 LB: 0 @ 905
905.73	c Restart #17 #Var: 8825 LB: 0 @ 905.48
906.28	c Restart #18 #Var: 8825 LB: 0 @ 906.02
906.80	c Restart #19 #Var: 8825 LB: 0 @ 906.54
907.31	c Restart #20 #Var: 8825 LB: 0 @ 907.06
907.92	c Restart #21 #Var: 8825 LB: 0 @ 907.67
908.44	c Restart #22 #Var: 8825 LB: 0 @ 908.19
909.06	c Restart #23 #Var: 8825 LB: 0 @ 908.8
909.70	c Restart #24 #Var: 8825 LB: 0 @ 909.44
910.36	c Restart #25 #Var: 8825 LB: 0 @ 910.1
911.15	c Restart #26 #Var: 8825 LB: 0 @ 910.89
911.90	c Restart #27 #Var: 8825 LB: 0 @ 911.64
912.40	c Restart #28 #Var: 8825 LB: 0 @ 912.14
912.91	c Restart #29 #Var: 8825 LB: 0 @ 912.66
913.39	c Restart #30 #Var: 8823 LB: 0 @ 913.13
913.92	c Restart #31 #Var: 8823 LB: 0 @ 913.66
914.44	c Restart #32 #Var: 8823 LB: 0 @ 914.18
914.96	c Restart #33 #Var: 8823 LB: 0 @ 914.71
915.76	c Restart #34 #Var: 8823 LB: 0 @ 915.5
916.44	c Restart #35 #Var: 8823 LB: 0 @ 916.18
917.15	c Restart #36 #Var: 8823 LB: 0 @ 916.89
918.14	c Restart #37 #Var: 8823 LB: 0 @ 917.88
919.16	c Restart #38 #Var: 8823 LB: 0 @ 918.9
920.18	c Restart #39 #Var: 8823 LB: 0 @ 919.92
921.47	c Restart #40 #Var: 8823 LB: 0 @ 921.21
922.78	c Restart #41 #Var: 8823 LB: 0 @ 922.52
923.81	c Restart #42 #Var: 8823 LB: 0 @ 923.55
924.96	c Restart #43 #Var: 8823 LB: 0 @ 924.7
926.25	c Restart #44 #Var: 8823 LB: 0 @ 925.99
927.88	c Restart #45 #Var: 8823 LB: 0 @ 927.62
929.49	c Restart #46 #Var: 8823 LB: 0 @ 929.23
930.75	c Restart #47 #Var: 8823 LB: 0 @ 930.49
932.08	c Restart #48 #Var: 8823 LB: 0 @ 931.81
933.32	c Restart #49 #Var: 8823 LB: 0 @ 933.06
934.55	c Restart #50 #Var: 8823 LB: 0 @ 934.28
935.90	c Restart #51 #Var: 8823 LB: 0 @ 935.64
937.26	c Restart #52 #Var: 8823 LB: 0 @ 937
938.69	c Restart #53 #Var: 8823 LB: 0 @ 938.43
940.05	c Restart #54 #Var: 8823 LB: 0 @ 939.79
941.49	c Restart #55 #Var: 8823 LB: 0 @ 941.23
942.96	c Restart #56 #Var: 8823 LB: 0 @ 942.7
944.73	c Restart #57 #Var: 8823 LB: 0 @ 944.47
946.38	c Restart #58 #Var: 8823 LB: 0 @ 946.11
947.91	c Restart #59 #Var: 8823 LB: 0 @ 947.65
949.63	c Restart #60 #Var: 8823 LB: 0 @ 949.36
951.45	c Restart #61 #Var: 8823 LB: 0 @ 951.19
953.04	c Restart #62 #Var: 8823 LB: 0 @ 952.77
954.63	c Restart #63 #Var: 8823 LB: 0 @ 954.37
956.40	c Restart #64 #Var: 8823 LB: 0 @ 956.13
958.23	c Restart #65 #Var: 8823 LB: 0 @ 957.96
960.01	c Restart #66 #Var: 8823 LB: 0 @ 959.74
961.75	c Restart #67 #Var: 8823 LB: 0 @ 961.48
963.52	c Restart #68 #Var: 8823 LB: 0 @ 963.25
965.41	c Restart #69 #Var: 8823 LB: 0 @ 965.14
967.16	c Restart #70 #Var: 8823 LB: 0 @ 966.89
968.93	c Restart #71 #Var: 8823 LB: 0 @ 968.66
970.74	c Restart #72 #Var: 8823 LB: 0 @ 970.46
972.55	c Restart #73 #Var: 8823 LB: 0 @ 972.28
974.41	c Restart #74 #Var: 8823 LB: 0 @ 974.13
976.36	c Restart #75 #Var: 8823 LB: 0 @ 976.09
978.25	c Restart #76 #Var: 8823 LB: 0 @ 977.98
980.21	c Restart #77 #Var: 8823 LB: 0 @ 979.94
982.19	c Restart #78 #Var: 8823 LB: 0 @ 981.92
984.26	c Restart #79 #Var: 8823 LB: 0 @ 983.98
986.34	c Restart #80 #Var: 8823 LB: 0 @ 986.06
988.44	c Restart #81 #Var: 8823 LB: 0 @ 988.16
990.54	c Restart #82 #Var: 8823 LB: 0 @ 990.26
992.59	c Restart #83 #Var: 8823 LB: 0 @ 992.32
995.22	c Restart #84 #Var: 8823 LB: 0 @ 994.94
997.67	c Restart #85 #Var: 8823 LB: 0 @ 997.39
1000.19	c Restart #86 #Var: 8823 LB: 0 @ 999.91
1002.67	c Restart #87 #Var: 8823 LB: 0 @ 1002.4
1005.06	c Restart #88 #Var: 8823 LB: 0 @ 1004.8
1007.66	c Restart #89 #Var: 8823 LB: 0 @ 1007.4
1010.49	c Restart #90 #Var: 8823 LB: 0 @ 1010.2
1012.87	c Restart #91 #Var: 8823 LB: 0 @ 1012.6
1015.89	c Restart #92 #Var: 8823 LB: 0 @ 1015.6
1018.50	c Restart #93 #Var: 8823 LB: 0 @ 1018.2
1021.20	c Restart #94 #Var: 8823 LB: 0 @ 1020.9
1024.36	c Restart #95 #Var: 8823 LB: 0 @ 1024.1
1027.25	c Restart #96 #Var: 8823 LB: 0 @ 1027
1030.07	c Restart #97 #Var: 8823 LB: 0 @ 1029.8
1032.76	c Restart #98 #Var: 8823 LB: 0 @ 1032.5
1035.54	c Restart #99 #Var: 8823 LB: 0 @ 1035.2
1038.20	c Restart #100 #Var: 8823 LB: 0 @ 1037.9
1041.01	c Restart #101 #Var: 8823 LB: 0 @ 1040.7
1043.77	c Restart #102 #Var: 8823 LB: 0 @ 1043.5
1046.58	c Restart #103 #Var: 8823 LB: 0 @ 1046.3
1049.46	c Restart #104 #Var: 8823 LB: 0 @ 1049.2
1051.53	c Restart #105 #Var: 8823 LB: 0 @ 1051.2
1053.39	c Restart #106 #Var: 8823 LB: 0 @ 1053.1
1055.44	c Restart #107 #Var: 8823 LB: 0 @ 1055.1
1058.22	c Restart #108 #Var: 8823 LB: 0 @ 1057.9
1060.24	c Restart #109 #Var: 8823 LB: 0 @ 1059.9
1062.33	c Restart #110 #Var: 8823 LB: 0 @ 1062
1064.26	c Restart #111 #Var: 8823 LB: 0 @ 1064
1066.19	c Restart #112 #Var: 8823 LB: 0 @ 1065.9
1068.09	c Restart #113 #Var: 8823 LB: 0 @ 1067.8
1070.17	c Restart #114 #Var: 8823 LB: 0 @ 1069.9
1072.08	c Restart #115 #Var: 8823 LB: 0 @ 1071.8
1074.12	c Restart #116 #Var: 8823 LB: 0 @ 1073.8
1076.04	c Restart #117 #Var: 8823 LB: 0 @ 1075.7
1078.05	c Restart #118 #Var: 8822 LB: 0 @ 1077.7
1080.08	c Restart #119 #Var: 8822 LB: 0 @ 1079.8
1082.27	c Restart #120 #Var: 8821 LB: 0 @ 1082
1084.59	c Restart #121 #Var: 8821 LB: 0 @ 1084.3
1087.04	c Restart #122 #Var: 8821 LB: 0 @ 1086.7
1089.38	c Restart #123 #Var: 8821 LB: 0 @ 1089.1
1091.80	c Restart #124 #Var: 8821 LB: 0 @ 1091.5
1094.33	c Restart #125 #Var: 8821 LB: 0 @ 1094
1096.64	c Restart #126 #Var: 8821 LB: 0 @ 1096.3
1099.25	c Restart #127 #Var: 8821 LB: 0 @ 1098.9
1101.97	c Restart #128 #Var: 8821 LB: 0 @ 1101.7
1104.28	c Restart #129 #Var: 8821 LB: 0 @ 1104
1106.59	c Restart #130 #Var: 8821 LB: 0 @ 1106.3
1109.01	c Restart #131 #Var: 8821 LB: 0 @ 1108.7
1111.27	c Restart #132 #Var: 8821 LB: 0 @ 1111
1113.54	c Restart #133 #Var: 8821 LB: 0 @ 1113.2
1116.21	c Restart #134 #Var: 8821 LB: 0 @ 1115.9
1118.70	c Restart #135 #Var: 8821 LB: 0 @ 1118.4
1121.04	c Restart #136 #Var: 8821 LB: 0 @ 1120.7
1123.83	c Restart #137 #Var: 8821 LB: 0 @ 1123.5
1126.31	c Restart #138 #Var: 8821 LB: 0 @ 1126
1128.95	c Restart #139 #Var: 8821 LB: 0 @ 1128.6
1131.57	c Restart #140 #Var: 8821 LB: 0 @ 1131.2
1134.38	c Restart #141 #Var: 8821 LB: 0 @ 1134.1
1137.21	c Restart #142 #Var: 8821 LB: 0 @ 1136.9
1140.00	c Restart #143 #Var: 8821 LB: 0 @ 1139.7
1142.70	c Restart #144 #Var: 8821 LB: 0 @ 1142.4
1145.57	c Restart #145 #Var: 8821 LB: 0 @ 1145.3
1148.55	c Restart #146 #Var: 8821 LB: 0 @ 1148.2
1151.27	c Restart #147 #Var: 8821 LB: 0 @ 1151
1153.90	c Restart #148 #Var: 8821 LB: 0 @ 1153.6
1156.55	c Restart #149 #Var: 8821 LB: 0 @ 1156.2
1159.56	c Restart #150 #Var: 8821 LB: 0 @ 1159.2
1162.59	c Restart #151 #Var: 8821 LB: 0 @ 1162.3
1165.51	c Restart #152 #Var: 8821 LB: 0 @ 1165.2
1168.73	c Restart #153 #Var: 8819 LB: 0 @ 1168.4
1171.54	c Restart #154 #Var: 8819 LB: 0 @ 1171.2
1174.83	c Restart #155 #Var: 8819 LB: 0 @ 1174.5
1177.86	c Restart #156 #Var: 8819 LB: 0 @ 1177.5
1181.13	c Restart #157 #Var: 8819 LB: 0 @ 1180.8
1183.91	c Restart #158 #Var: 8819 LB: 0 @ 1183.6
1186.99	c Restart #159 #Var: 8819 LB: 0 @ 1186.7
1190.02	c Restart #160 #Var: 8819 LB: 0 @ 1189.7
1192.79	c Restart #161 #Var: 8819 LB: 0 @ 1192.5
1196.43	c Restart #162 #Var: 8818 LB: 0 @ 1196.1
1199.65	c Restart #163 #Var: 8818 LB: 0 @ 1199.3
1202.75	c Restart #164 #Var: 8817 LB: 0 @ 1202.4
1206.11	c Restart #165 #Var: 8816 LB: 0 @ 1205.8
1209.31	c Restart #166 #Var: 8816 LB: 0 @ 1209
1212.92	c Restart #167 #Var: 8816 LB: 0 @ 1212.6
1215.91	c Restart #168 #Var: 8816 LB: 0 @ 1215.6
1218.97	c Restart #169 #Var: 8816 LB: 0 @ 1218.6
1222.53	c Restart #170 #Var: 8816 LB: 0 @ 1222.2
1225.75	c Restart #171 #Var: 8815 LB: 0 @ 1225.4
1228.98	c Restart #172 #Var: 8815 LB: 0 @ 1228.6
1233.21	c Restart #173 #Var: 8812 LB: 0 @ 1232.9
1238.38	c Restart #174 #Var: 8812 LB: 0 @ 1238
1244.12	c Restart #175 #Var: 8812 LB: 0 @ 1243.8
1249.05	c Restart #176 #Var: 8812 LB: 0 @ 1248.7
1253.75	c Restart #177 #Var: 8812 LB: 0 @ 1253.4
1258.42	c Restart #178 #Var: 8812 LB: 0 @ 1258.1
1263.09	c Restart #179 #Var: 8812 LB: 0 @ 1262.7
1267.76	c Restart #180 #Var: 8812 LB: 0 @ 1267.4
1272.52	c Restart #181 #Var: 8812 LB: 0 @ 1272.2
1277.26	c Restart #182 #Var: 8812 LB: 0 @ 1276.9
1282.04	c Restart #183 #Var: 8812 LB: 0 @ 1281.7
1286.86	c Restart #184 #Var: 8812 LB: 0 @ 1286.5
1291.82	c Restart #185 #Var: 8812 LB: 0 @ 1291.5
1296.83	c Restart #186 #Var: 8812 LB: 0 @ 1296.5
1301.85	c Restart #187 #Var: 8812 LB: 0 @ 1301.5
1306.98	c Restart #188 #Var: 8812 LB: 0 @ 1306.6
1312.21	c Restart #189 #Var: 8812 LB: 0 @ 1311.8
1317.20	c Restart #190 #Var: 8812 LB: 0 @ 1316.8
1322.25	c Restart #191 #Var: 8812 LB: 0 @ 1321.9
1327.33	c Restart #192 #Var: 8812 LB: 0 @ 1327
1332.26	c Restart #193 #Var: 8812 LB: 0 @ 1331.9
1337.31	c Restart #194 #Var: 8812 LB: 0 @ 1336.9
1342.40	c Restart #195 #Var: 8812 LB: 0 @ 1342
1347.49	c Restart #196 #Var: 8812 LB: 0 @ 1347.1
1352.60	c Restart #197 #Var: 8812 LB: 0 @ 1352.2
1357.87	c Restart #198 #Var: 8812 LB: 0 @ 1357.5
1363.37	c Restart #199 #Var: 8812 LB: 0 @ 1363
1368.61	c Restart #200 #Var: 8812 LB: 0 @ 1368.2
1373.95	c Restart #201 #Var: 8812 LB: 0 @ 1373.6
1379.25	c Restart #202 #Var: 8812 LB: 0 @ 1378.9
1384.95	c Restart #203 #Var: 8812 LB: 0 @ 1384.6
1390.18	c Restart #204 #Var: 8812 LB: 0 @ 1389.8
1396.12	c Restart #205 #Var: 8812 LB: 0 @ 1395.7
1401.53	c Restart #206 #Var: 8812 LB: 0 @ 1401.1
1406.96	c Restart #207 #Var: 8812 LB: 0 @ 1406.6
1412.58	c Restart #208 #Var: 8812 LB: 0 @ 1412.2
1418.62	c Restart #209 #Var: 8812 LB: 0 @ 1418.2
1424.21	c Restart #210 #Var: 8812 LB: 0 @ 1423.8
1429.94	c Restart #211 #Var: 8812 LB: 0 @ 1429.5
1435.86	c Restart #212 #Var: 8812 LB: 0 @ 1435.5
1441.82	c Restart #213 #Var: 8812 LB: 0 @ 1441.4
1447.51	c Restart #214 #Var: 8812 LB: 0 @ 1447.1
1453.29	c Restart #215 #Var: 8812 LB: 0 @ 1452.9
1458.95	c Restart #216 #Var: 8812 LB: 0 @ 1458.6
1464.81	c Restart #217 #Var: 8812 LB: 0 @ 1464.4
1470.64	c Restart #218 #Var: 8812 LB: 0 @ 1470.2
1476.52	c Restart #219 #Var: 8812 LB: 0 @ 1476.1
1482.29	c Restart #220 #Var: 8812 LB: 0 @ 1481.9
1488.32	c Restart #221 #Var: 8812 LB: 0 @ 1487.9
1494.21	c Restart #222 #Var: 8812 LB: 0 @ 1493.8
1500.27	c Restart #223 #Var: 8812 LB: 0 @ 1499.9
1506.19	c Restart #224 #Var: 8812 LB: 0 @ 1505.8
1512.32	c Restart #225 #Var: 8812 LB: 0 @ 1511.9
1518.25	c Restart #226 #Var: 8812 LB: 0 @ 1517.8
1524.34	c Restart #227 #Var: 8812 LB: 0 @ 1523.9
1530.43	c Restart #228 #Var: 8812 LB: 0 @ 1530
1536.51	c Restart #229 #Var: 8811 LB: 0 @ 1536.1
1542.84	c Restart #230 #Var: 8811 LB: 0 @ 1542.4
1549.73	c Restart #231 #Var: 8811 LB: 0 @ 1549.3
1555.82	c Restart #232 #Var: 8811 LB: 0 @ 1555.4
1562.16	c Restart #233 #Var: 8811 LB: 0 @ 1561.7
1568.14	c Restart #234 #Var: 8811 LB: 0 @ 1567.7
1574.28	c Restart #235 #Var: 8811 LB: 0 @ 1573.8
1580.22	c Restart #236 #Var: 8811 LB: 0 @ 1579.8
1586.68	c Restart #237 #Var: 8811 LB: 0 @ 1586.2
1592.81	c Restart #238 #Var: 8811 LB: 0 @ 1592.4
1599.32	c Restart #239 #Var: 8811 LB: 0 @ 1598.9
1605.65	c Restart #240 #Var: 8811 LB: 0 @ 1605.2
1611.87	c Restart #241 #Var: 8811 LB: 0 @ 1611.4
1618.19	c Restart #242 #Var: 8811 LB: 0 @ 1617.7
1624.52	c Restart #243 #Var: 8811 LB: 0 @ 1624.1
1630.85	c Restart #244 #Var: 8811 LB: 0 @ 1630.4
1637.19	c Restart #245 #Var: 8811 LB: 0 @ 1636.7
1643.64	c Restart #246 #Var: 8811 LB: 0 @ 1643.2
1650.11	c Restart #247 #Var: 8811 LB: 0 @ 1649.7
1656.65	c Restart #248 #Var: 8811 LB: 0 @ 1656.2
1663.07	c Restart #249 #Var: 8811 LB: 0 @ 1662.6
1669.65	c Restart #250 #Var: 8811 LB: 0 @ 1669.2
1676.19	c Restart #251 #Var: 8811 LB: 0 @ 1675.7
1684.44	c Restart #252 #Var: 8811 LB: 0 @ 1684
1691.11	c Restart #253 #Var: 8811 LB: 0 @ 1690.6
1698.33	c Restart #254 #Var: 8811 LB: 0 @ 1697.9
1705.44	c Restart #255 #Var: 8811 LB: 0 @ 1705
1712.55	c Restart #256 #Var: 8811 LB: 0 @ 1712.1
1720.59	c Restart #257 #Var: 8811 LB: 0 @ 1720.1
1727.93	c Restart #258 #Var: 8811 LB: 0 @ 1727.5
1735.01	c Restart #259 #Var: 8811 LB: 0 @ 1734.5
1741.53	c Restart #260 #Var: 8811 LB: 0 @ 1741.1
1748.59	c Restart #261 #Var: 8811 LB: 0 @ 1748.1
1755.16	c Restart #262 #Var: 8811 LB: 0 @ 1754.7
1761.75	c Restart #263 #Var: 8811 LB: 0 @ 1761.3
1768.89	c Restart #264 #Var: 8811 LB: 0 @ 1768.4
1776.03	c Restart #265 #Var: 8811 LB: 0 @ 1775.5
1782.90	c Restart #266 #Var: 8811 LB: 0 @ 1782.4
1789.98	c Restart #267 #Var: 8811 LB: 0 @ 1789.5
1796.90	c Restart #268 #Var: 8811 LB: 0 @ 1796.4
1800.50	s UNKNOWN
1800.50	c Exit Code: 0
1800.50	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/node72/watcher-40793-1149318368 -o ROOT/results/node72/solver-40793-1149318368 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node72/40793-1149318368/instance-40793-1149318368.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.90 0.97 0.92 2/64 27092
/proc/meminfo: memFree=1764272/2055920 swapFree=4182268/4192956
[pid=27092] ppid=27090 vsize=4664 CPUtime=0
/proc/27092/stat : 27092 (bsolo) R 27090 27092 27046 0 -1 0 135 0 0 0 0 0 0 0 19 0 1 0 197501196 4775936 117 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 2499776 0 0 4096 0 0 0 0 17 1 0 0
/proc/27092/statm: 1166 120 100 55 0 46 0

[startup+10.0029 s]
/proc/loadavg: 0.92 0.97 0.92 2/64 27092
/proc/meminfo: memFree=1744640/2055920 swapFree=4182268/4192956
[pid=27092] ppid=27090 vsize=24592 CPUtime=9.98
/proc/27092/stat : 27092 (bsolo) R 27090 27092 27046 0 -1 0 5305 0 0 0 946 52 0 0 25 0 1 0 197501196 25182208 5220 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541333 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27092/statm: 6148 5220 297 55 0 5040 0
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 24592

[startup+20.0088 s]
/proc/loadavg: 0.93 0.97 0.92 2/64 27092
/proc/meminfo: memFree=1743872/2055920 swapFree=4182268/4192956
[pid=27092] ppid=27090 vsize=25464 CPUtime=19.98
/proc/27092/stat : 27092 (bsolo) R 27090 27092 27046 0 -1 0 5518 0 0 0 1941 57 0 0 25 0 1 0 197501196 26075136 5433 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27092/statm: 6366 5433 297 55 0 5258 0
Current children cumulated CPU time (s) 19.98
Current children cumulated vsize (Kb) 25464

[startup+30.0147 s]
/proc/loadavg: 0.94 0.97 0.92 2/64 27092
/proc/meminfo: memFree=1743680/2055920 swapFree=4182268/4192956
[pid=27092] ppid=27090 vsize=25692 CPUtime=29.98
/proc/27092/stat : 27092 (bsolo) R 27090 27092 27046 0 -1 0 5579 0 0 0 2937 61 0 0 25 0 1 0 197501196 26308608 5494 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27092/statm: 6423 5494 297 55 0 5315 0
Current children cumulated CPU time (s) 29.98
Current children cumulated vsize (Kb) 25692

[startup+40.0206 s]
/proc/loadavg: 0.95 0.97 0.92 2/64 27092
/proc/meminfo: memFree=1743488/2055920 swapFree=4182268/4192956
[pid=27092] ppid=27090 vsize=25920 CPUtime=39.99
/proc/27092/stat : 27092 (bsolo) R 27090 27092 27046 0 -1 0 5624 0 0 0 3933 66 0 0 25 0 1 0 197501196 26542080 5539 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 2970179 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27092/statm: 6480 5539 297 55 0 5372 0
Current children cumulated CPU time (s) 39.99
Current children cumulated vsize (Kb) 25920

[startup+50.0265 s]
/proc/loadavg: 0.96 0.97 0.92 2/64 27092
/proc/meminfo: memFree=1743168/2055920 swapFree=4182268/4192956
[pid=27092] ppid=27090 vsize=26300 CPUtime=49.99
/proc/27092/stat : 27092 (bsolo) R 27090 27092 27046 0 -1 0 5702 0 0 0 4930 69 0 0 25 0 1 0 197501196 26931200 5617 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27092/statm: 6575 5617 297 55 0 5467 0
Current children cumulated CPU time (s) 49.99
Current children cumulated vsize (Kb) 26300

[startup+60.0324 s]
/proc/loadavg: 0.96 0.97 0.92 2/64 27092
/proc/meminfo: memFree=1743168/2055920 swapFree=4182268/4192956
[pid=27092] ppid=27090 vsize=26300 CPUtime=59.99
/proc/27092/stat : 27092 (bsolo) R 27090 27092 27046 0 -1 0 5705 0 0 0 5926 73 0 0 25 0 1 0 197501196 26931200 5620 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27092/statm: 6575 5620 297 55 0 5467 0
Current children cumulated CPU time (s) 59.99
Current children cumulated vsize (Kb) 26300

[startup+70.0383 s]
/proc/loadavg: 0.97 0.97 0.92 2/64 27092
/proc/meminfo: memFree=1743104/2055920 swapFree=4182268/4192956
[pid=27092] ppid=27090 vsize=26300 CPUtime=70
/proc/27092/stat : 27092 (bsolo) R 27090 27092 27046 0 -1 0 5708 0 0 0 6924 76 0 0 25 0 1 0 197501196 26931200 5623 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134633165 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27092/statm: 6575 5623 297 55 0 5467 0
Current children cumulated CPU time (s) 70
Current children cumulated vsize (Kb) 26300

[startup+80.0442 s]
/proc/loadavg: 0.97 0.97 0.92 2/64 27092
/proc/meminfo: memFree=1743168/2055920 swapFree=4182268/4192956
[pid=27092] ppid=27090 vsize=26300 CPUtime=80
/proc/27092/stat : 27092 (bsolo) R 27090 27092 27046 0 -1 0 5721 0 0 0 7921 79 0 0 25 0 1 0 197501196 26931200 5636 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27092/statm: 6575 5636 297 55 0 5467 0
Current children cumulated CPU time (s) 80
Current children cumulated vsize (Kb) 26300

[startup+90.0501 s]
/proc/loadavg: 0.98 0.97 0.92 2/64 27092
/proc/meminfo: memFree=1716224/2055920 swapFree=4182268/4192956
[pid=27092] ppid=27090 vsize=53208 CPUtime=90.01
/proc/27092/stat : 27092 (bsolo) R 27090 27092 27046 0 -1 0 12434 0 0 0 8915 86 0 0 25 0 1 0 197501196 54484992 12346 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27092/statm: 13302 12346 297 55 0 12194 0
Current children cumulated CPU time (s) 90.01
Current children cumulated vsize (Kb) 53208

[startup+100.056 s]
/proc/loadavg: 0.98 0.97 0.92 2/64 27092
/proc/meminfo: memFree=1715008/2055920 swapFree=4182268/4192956
[pid=27092] ppid=27090 vsize=54396 CPUtime=100.01
/proc/27092/stat : 27092 (bsolo) R 27090 27092 27046 0 -1 0 12736 0 0 0 9912 89 0 0 25 0 1 0 197501196 55701504 12648 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27092/statm: 13599 12648 297 55 0 12491 0
Current children cumulated CPU time (s) 100.01
Current children cumulated vsize (Kb) 54396

[startup+110.062 s]
/proc/loadavg: 0.98 0.97 0.92 2/64 27092
/proc/meminfo: memFree=1715008/2055920 swapFree=4182268/4192956
[pid=27092] ppid=27090 vsize=54396 CPUtime=110.01
/proc/27092/stat : 27092 (bsolo) R 27090 27092 27046 0 -1 0 12742 0 0 0 10909 92 0 0 25 0 1 0 197501196 55701504 12654 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27092/statm: 13599 12654 297 55 0 12491 0
Current children cumulated CPU time (s) 110.01
Current children cumulated vsize (Kb) 54396

[startup+120.068 s]
/proc/loadavg: 0.98 0.97 0.92 2/64 27092
/proc/meminfo: memFree=1714624/2055920 swapFree=4182268/4192956
[pid=27092] ppid=27090 vsize=54760 CPUtime=120.02
/proc/27092/stat : 27092 (bsolo) R 27090 27092 27046 0 -1 0 12831 0 0 0 11907 95 0 0 25 0 1 0 197501196 56074240 12743 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27092/statm: 13690 12743 297 55 0 12582 0
Current children cumulated CPU time (s) 120.02
Current children cumulated vsize (Kb) 54760

[startup+130.074 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 27092
/proc/meminfo: memFree=1713792/2055920 swapFree=4182268/4192956
[pid=27092] ppid=27090 vsize=55640 CPUtime=130.02
/proc/27092/stat : 27092 (bsolo) R 27090 27092 27046 0 -1 0 13033 0 0 0 12903 99 0 0 25 0 1 0 197501196 56975360 12945 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27092/statm: 13910 12945 297 55 0 12802 0
Current children cumulated CPU time (s) 130.02
Current children cumulated vsize (Kb) 55640

[startup+140.079 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 27092
/proc/meminfo: memFree=1712896/2055920 swapFree=4182268/4192956
[pid=27092] ppid=27090 vsize=56424 CPUtime=140.02
/proc/27092/stat : 27092 (bsolo) R 27090 27092 27046 0 -1 0 13255 0 0 0 13899 103 0 0 25 0 1 0 197501196 57778176 13167 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27092/statm: 14106 13167 297 55 0 12998 0
Current children cumulated CPU time (s) 140.02
Current children cumulated vsize (Kb) 56424

[startup+150.085 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 27092
/proc/meminfo: memFree=1712896/2055920 swapFree=4182268/4192956
[pid=27092] ppid=27090 vsize=56532 CPUtime=150.03
/proc/27092/stat : 27092 (bsolo) R 27090 27092 27046 0 -1 0 13267 0 0 0 14896 107 0 0 25 0 1 0 197501196 57888768 13179 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548386 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27092/statm: 14133 13179 297 55 0 13025 0
Current children cumulated CPU time (s) 150.03
Current children cumulated vsize (Kb) 56532

[startup+160.091 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 27092
/proc/meminfo: memFree=1712768/2055920 swapFree=4182268/4192956
[pid=27092] ppid=27090 vsize=56636 CPUtime=160.02
/proc/27092/stat : 27092 (bsolo) R 27090 27092 27046 0 -1 0 13295 0 0 0 15890 112 0 0 25 0 1 0 197501196 57995264 13207 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27092/statm: 14159 13207 297 55 0 13051 0
Current children cumulated CPU time (s) 160.02
Current children cumulated vsize (Kb) 56636

[startup+170.096 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 27092
/proc/meminfo: memFree=1712768/2055920 swapFree=4182268/4192956
[pid=27092] ppid=27090 vsize=56636 CPUtime=170.03
/proc/27092/stat : 27092 (bsolo) R 27090 27092 27046 0 -1 0 13295 0 0 0 16886 117 0 0 25 0 1 0 197501196 57995264 13207 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27092/statm: 14159 13207 297 55 0 13051 0
Current children cumulated CPU time (s) 170.03
Current children cumulated vsize (Kb) 56636

[startup+180.102 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 27092
/proc/meminfo: memFree=1712768/2055920 swapFree=4182268/4192956
[pid=27092] ppid=27090 vsize=56636 CPUtime=180.04
/proc/27092/stat : 27092 (bsolo) R 27090 27092 27046 0 -1 0 13295 0 0 0 17882 122 0 0 25 0 1 0 197501196 57995264 13207 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27092/statm: 14159 13207 297 55 0 13051 0
Current children cumulated CPU time (s) 180.04
Current children cumulated vsize (Kb) 56636

[startup+190.109 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 27092
/proc/meminfo: memFree=1712768/2055920 swapFree=4182268/4192956
[pid=27092] ppid=27090 vsize=56636 CPUtime=190.04
/proc/27092/stat : 27092 (bsolo) R 27090 27092 27046 0 -1 0 13295 0 0 0 18878 126 0 0 25 0 1 0 197501196 57995264 13207 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27092/statm: 14159 13207 297 55 0 13051 0
Current children cumulated CPU time (s) 190.04
Current children cumulated vsize (Kb) 56636

[startup+200.114 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 27092
/proc/meminfo: memFree=1712768/2055920 swapFree=4182268/4192956
[pid=27092] ppid=27090 vsize=56636 CPUtime=200.04
/proc/27092/stat : 27092 (bsolo) R 27090 27092 27046 0 -1 0 13295 0 0 0 19873 131 0 0 25 0 1 0 197501196 57995264 13207 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27092/statm: 14159 13207 297 55 0 13051 0
Current children cumulated CPU time (s) 200.04
Current children cumulated vsize (Kb) 56636

[startup+210.12 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 27092
/proc/meminfo: memFree=1712768/2055920 swapFree=4182268/4192956

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

/proc/27092/statm: 33881 32929 297 55 0 32773 0
Current children cumulated CPU time (s) 1760.53
Current children cumulated vsize (Kb) 135524

[startup+1771.03 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 27094
/proc/meminfo: memFree=1633472/2055920 swapFree=4182268/4192956
[pid=27092] ppid=27090 vsize=135524 CPUtime=1770.53
/proc/27092/stat : 27092 (bsolo) R 27090 27092 27046 0 -1 0 33054 0 0 0 176374 679 0 0 25 0 1 0 197501196 138776576 32941 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27092/statm: 33881 32941 297 55 0 32773 0
Current children cumulated CPU time (s) 1770.53
Current children cumulated vsize (Kb) 135524

[startup+1781.04 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 27094
/proc/meminfo: memFree=1633408/2055920 swapFree=4182268/4192956
[pid=27092] ppid=27090 vsize=135636 CPUtime=1780.53
/proc/27092/stat : 27092 (bsolo) R 27090 27092 27046 0 -1 0 33066 0 0 0 177371 682 0 0 25 0 1 0 197501196 138891264 32953 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27092/statm: 33909 32953 297 55 0 32801 0
Current children cumulated CPU time (s) 1780.53
Current children cumulated vsize (Kb) 135636

[startup+1782.04 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 27094
/proc/meminfo: memFree=1633408/2055920 swapFree=4182268/4192956
[pid=27092] ppid=27090 vsize=135636 CPUtime=1781.55
/proc/27092/stat : 27092 (bsolo) R 27090 27092 27046 0 -1 0 33066 0 0 0 177472 683 0 0 25 0 1 0 197501196 138891264 32953 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27092/statm: 33909 32953 297 55 0 32801 0
Current children cumulated CPU time (s) 1781.55
Current children cumulated vsize (Kb) 135636

[startup+1783.05 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 27094
/proc/meminfo: memFree=1633408/2055920 swapFree=4182268/4192956
[pid=27092] ppid=27090 vsize=135636 CPUtime=1782.55
/proc/27092/stat : 27092 (bsolo) R 27090 27092 27046 0 -1 0 33066 0 0 0 177572 683 0 0 25 0 1 0 197501196 138891264 32953 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27092/statm: 33909 32953 297 55 0 32801 0
Current children cumulated CPU time (s) 1782.55
Current children cumulated vsize (Kb) 135636

[startup+1784.05 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 27094
/proc/meminfo: memFree=1633408/2055920 swapFree=4182268/4192956
[pid=27092] ppid=27090 vsize=135636 CPUtime=1783.55
/proc/27092/stat : 27092 (bsolo) R 27090 27092 27046 0 -1 0 33066 0 0 0 177672 683 0 0 25 0 1 0 197501196 138891264 32953 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548392 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27092/statm: 33909 32953 297 55 0 32801 0
Current children cumulated CPU time (s) 1783.55
Current children cumulated vsize (Kb) 135636

[startup+1785.06 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 27094
/proc/meminfo: memFree=1633408/2055920 swapFree=4182268/4192956
[pid=27092] ppid=27090 vsize=135636 CPUtime=1784.56
/proc/27092/stat : 27092 (bsolo) R 27090 27092 27046 0 -1 0 33066 0 0 0 177772 684 0 0 25 0 1 0 197501196 138891264 32953 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27092/statm: 33909 32953 297 55 0 32801 0
Current children cumulated CPU time (s) 1784.56
Current children cumulated vsize (Kb) 135636

[startup+1786.06 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 27094
/proc/meminfo: memFree=1633408/2055920 swapFree=4182268/4192956
[pid=27092] ppid=27090 vsize=135636 CPUtime=1785.56
/proc/27092/stat : 27092 (bsolo) R 27090 27092 27046 0 -1 0 33066 0 0 0 177872 684 0 0 25 0 1 0 197501196 138891264 32953 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 2969154 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27092/statm: 33909 32953 297 55 0 32801 0
Current children cumulated CPU time (s) 1785.56
Current children cumulated vsize (Kb) 135636

[startup+1787.07 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 27094
/proc/meminfo: memFree=1633408/2055920 swapFree=4182268/4192956
[pid=27092] ppid=27090 vsize=135636 CPUtime=1786.57
/proc/27092/stat : 27092 (bsolo) R 27090 27092 27046 0 -1 0 33066 0 0 0 177973 684 0 0 25 0 1 0 197501196 138891264 32953 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27092/statm: 33909 32953 297 55 0 32801 0
Current children cumulated CPU time (s) 1786.57
Current children cumulated vsize (Kb) 135636

[startup+1788.07 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 27094
/proc/meminfo: memFree=1633408/2055920 swapFree=4182268/4192956
[pid=27092] ppid=27090 vsize=135636 CPUtime=1787.57
/proc/27092/stat : 27092 (bsolo) R 27090 27092 27046 0 -1 0 33066 0 0 0 178073 684 0 0 25 0 1 0 197501196 138891264 32953 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27092/statm: 33909 32953 297 55 0 32801 0
Current children cumulated CPU time (s) 1787.57
Current children cumulated vsize (Kb) 135636

[startup+1789.08 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 27094
/proc/meminfo: memFree=1633408/2055920 swapFree=4182268/4192956
[pid=27092] ppid=27090 vsize=135636 CPUtime=1788.57
/proc/27092/stat : 27092 (bsolo) R 27090 27092 27046 0 -1 0 33066 0 0 0 178173 684 0 0 25 0 1 0 197501196 138891264 32953 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548379 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27092/statm: 33909 32953 297 55 0 32801 0
Current children cumulated CPU time (s) 1788.57
Current children cumulated vsize (Kb) 135636

[startup+1790.08 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 27094
/proc/meminfo: memFree=1633408/2055920 swapFree=4182268/4192956
[pid=27092] ppid=27090 vsize=135636 CPUtime=1789.58
/proc/27092/stat : 27092 (bsolo) R 27090 27092 27046 0 -1 0 33066 0 0 0 178273 685 0 0 25 0 1 0 197501196 138891264 32953 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27092/statm: 33909 32953 297 55 0 32801 0
Current children cumulated CPU time (s) 1789.58
Current children cumulated vsize (Kb) 135636

[startup+1791.09 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 27094
/proc/meminfo: memFree=1633408/2055920 swapFree=4182268/4192956
[pid=27092] ppid=27090 vsize=135636 CPUtime=1790.58
/proc/27092/stat : 27092 (bsolo) R 27090 27092 27046 0 -1 0 33066 0 0 0 178373 685 0 0 25 0 1 0 197501196 138891264 32953 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 2970610 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27092/statm: 33909 32953 297 55 0 32801 0
Current children cumulated CPU time (s) 1790.58
Current children cumulated vsize (Kb) 135636

[startup+1792.09 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 27094
/proc/meminfo: memFree=1633408/2055920 swapFree=4182268/4192956
[pid=27092] ppid=27090 vsize=135636 CPUtime=1791.59
/proc/27092/stat : 27092 (bsolo) R 27090 27092 27046 0 -1 0 33066 0 0 0 178473 686 0 0 25 0 1 0 197501196 138891264 32953 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 2969588 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27092/statm: 33909 32953 297 55 0 32801 0
Current children cumulated CPU time (s) 1791.59
Current children cumulated vsize (Kb) 135636

[startup+1793.09 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 27094
/proc/meminfo: memFree=1633408/2055920 swapFree=4182268/4192956
[pid=27092] ppid=27090 vsize=135636 CPUtime=1792.59
/proc/27092/stat : 27092 (bsolo) R 27090 27092 27046 0 -1 0 33066 0 0 0 178573 686 0 0 25 0 1 0 197501196 138891264 32953 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548392 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27092/statm: 33909 32953 297 55 0 32801 0
Current children cumulated CPU time (s) 1792.59
Current children cumulated vsize (Kb) 135636

[startup+1794.1 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 27094
/proc/meminfo: memFree=1633408/2055920 swapFree=4182268/4192956
[pid=27092] ppid=27090 vsize=135636 CPUtime=1793.6
/proc/27092/stat : 27092 (bsolo) R 27090 27092 27046 0 -1 0 33066 0 0 0 178674 686 0 0 25 0 1 0 197501196 138891264 32953 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27092/statm: 33909 32953 297 55 0 32801 0
Current children cumulated CPU time (s) 1793.6
Current children cumulated vsize (Kb) 135636

[startup+1795.1 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 27094
/proc/meminfo: memFree=1633408/2055920 swapFree=4182268/4192956
[pid=27092] ppid=27090 vsize=135636 CPUtime=1794.6
/proc/27092/stat : 27092 (bsolo) R 27090 27092 27046 0 -1 0 33066 0 0 0 178774 686 0 0 25 0 1 0 197501196 138891264 32953 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27092/statm: 33909 32953 297 55 0 32801 0
Current children cumulated CPU time (s) 1794.6
Current children cumulated vsize (Kb) 135636

[startup+1796.11 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 27094
/proc/meminfo: memFree=1633408/2055920 swapFree=4182268/4192956
[pid=27092] ppid=27090 vsize=135636 CPUtime=1795.61
/proc/27092/stat : 27092 (bsolo) R 27090 27092 27046 0 -1 0 33066 0 0 0 178874 687 0 0 25 0 1 0 197501196 138891264 32953 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27092/statm: 33909 32953 297 55 0 32801 0
Current children cumulated CPU time (s) 1795.61
Current children cumulated vsize (Kb) 135636

[startup+1797.11 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 27094
/proc/meminfo: memFree=1633408/2055920 swapFree=4182268/4192956
[pid=27092] ppid=27090 vsize=135636 CPUtime=1796.61
/proc/27092/stat : 27092 (bsolo) R 27090 27092 27046 0 -1 0 33066 0 0 0 178974 687 0 0 25 0 1 0 197501196 138891264 32953 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27092/statm: 33909 32953 297 55 0 32801 0
Current children cumulated CPU time (s) 1796.61
Current children cumulated vsize (Kb) 135636

[startup+1798.12 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 27094
/proc/meminfo: memFree=1633408/2055920 swapFree=4182268/4192956
[pid=27092] ppid=27090 vsize=135636 CPUtime=1797.61
/proc/27092/stat : 27092 (bsolo) R 27090 27092 27046 0 -1 0 33066 0 0 0 179074 687 0 0 25 0 1 0 197501196 138891264 32953 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27092/statm: 33909 32953 297 55 0 32801 0
Current children cumulated CPU time (s) 1797.61
Current children cumulated vsize (Kb) 135636

[startup+1799.12 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 27094
/proc/meminfo: memFree=1633408/2055920 swapFree=4182268/4192956
[pid=27092] ppid=27090 vsize=135636 CPUtime=1798.62
/proc/27092/stat : 27092 (bsolo) R 27090 27092 27046 0 -1 0 33066 0 0 0 179175 687 0 0 25 0 1 0 197501196 138891264 32953 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27092/statm: 33909 32953 297 55 0 32801 0
Current children cumulated CPU time (s) 1798.62
Current children cumulated vsize (Kb) 135636

[startup+1800.13 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 27094
/proc/meminfo: memFree=1633408/2055920 swapFree=4182268/4192956
[pid=27092] ppid=27090 vsize=135636 CPUtime=1799.62
/proc/27092/stat : 27092 (bsolo) R 27090 27092 27046 0 -1 0 33066 0 0 0 179275 687 0 0 25 0 1 0 197501196 138891264 32953 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548382 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27092/statm: 33909 32953 297 55 0 32801 0
Current children cumulated CPU time (s) 1799.62
Current children cumulated vsize (Kb) 135636

Child status: 0
Real time (s): 1800.53
CPU time (s): 1800.03
CPU user time (s): 1793.12
CPU system time (s): 6.90295
CPU usage (%): 99.9723
Max. virtual memory (cumulated for all children) (Kb): 135636

Launcher Data (download as text)

Begin job on node72 on Sat Jun  3 07:06:08 UTC 2006


FILE ID= 40793-1149318368

PBS_JOBID= 308486

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

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  65c2bbddd90efb87154e28c84e06f5c3

RANDOM SEED= 633757798


/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.227
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.227
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:       1764544 kB
Buffers:         26032 kB
Cached:         192236 kB
SwapCached:       2460 kB
Active:          33556 kB
Inactive:       193480 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1764544 kB
SwapTotal:     4192956 kB
SwapFree:      4182268 kB
Dirty:             192 kB
Writeback:           0 kB
Mapped:          15620 kB
Slab:            50380 kB
Committed_AS:   290620 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 node72 on Sat Jun  3 07:36:08 UTC 2006