Trace number 40576

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.19 1800.77

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-mps-v2-20-10-neos7.opb
MD5SUMf5e09fc51fdb6e7c65b10c880b18ec53
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
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 2594748416
Optimality of the best value was proved NO
Number of variables33010
Total number of constraints2154
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)142
Number of constraints which are nor clauses,nor cardinality constraints2012
Minimum length of a constraint2
Maximum length of a constraint441
Number of terms in the objective function 4506
Biggest coefficient in the objective function 8053063680000
Number of bits for the biggest coefficient in the objective function 43
Sum of the numbers in the objective function 590484474471966
Number of bits of the sum of numbers in the objective function 50
Biggest number in a constraint 536870912000000
Number of bits of the biggest number in a constraint 49
Biggest sum of numbers in a constraint 1073741839777215
Number of bits of the biggest sum of numbers50
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.02	c INFO: OSL Context initialized.
0.02	c BIG Int formula...
0.69	c Initial problem consists of 33010 variables and 2624 constraints.
0.80	c No problem reductions applied in OPT. instance.
0.80	c	preprocess terminated. Elapsed time: 0.783
0.80	c After prepocess the problem consists of 16264 variables and 2479 constraints.
0.80	c Initial Lower Bound: 0
1.00	c Restart #1 #Var: 16264 LB: 0 @ 0.98
1.27	c Restart #2 #Var: 16264 LB: 0 @ 1.251
1.86	c Restart #3 #Var: 16264 LB: 0 @ 1.848
2.48	c Restart #4 #Var: 16264 LB: 0 @ 2.462
3.36	c Restart #5 #Var: 16264 LB: 0 @ 3.345
4.37	c Restart #6 #Var: 16264 LB: 0 @ 4.352
5.52	c Restart #7 #Var: 16264 LB: 0 @ 5.5
6.48	c Restart #8 #Var: 16264 LB: 0 @ 6.464
7.44	c Restart #9 #Var: 16264 LB: 0 @ 7.426
9.45	c Restart #10 #Var: 16264 LB: 0 @ 9.431
11.28	c Restart #11 #Var: 16264 LB: 0 @ 11.262
11.64	c Restart #12 #Var: 16264 LB: 0 @ 11.621
11.94	c Restart #13 #Var: 16264 LB: 0 @ 11.919
12.39	c Restart #14 #Var: 16264 LB: 0 @ 12.366
12.77	c Restart #15 #Var: 16264 LB: 0 @ 12.745
13.51	c Restart #16 #Var: 16264 LB: 0 @ 13.49
14.01	c Restart #17 #Var: 16264 LB: 0 @ 13.986
14.73	c Restart #18 #Var: 16264 LB: 0 @ 14.711
15.20	c Restart #19 #Var: 16264 LB: 0 @ 15.176
15.74	c Restart #20 #Var: 16264 LB: 0 @ 15.715
16.22	c Restart #21 #Var: 16264 LB: 0 @ 16.197
16.81	c Restart #22 #Var: 16264 LB: 0 @ 16.784
17.37	c Restart #23 #Var: 16264 LB: 0 @ 17.347
17.69	c Restart #24 #Var: 16264 LB: 0 @ 17.663
18.05	c Restart #25 #Var: 16264 LB: 0 @ 18.026
18.52	c Restart #26 #Var: 16264 LB: 0 @ 18.501
19.27	c Restart #27 #Var: 16264 LB: 0 @ 19.248
20.40	c Restart #28 #Var: 16264 LB: 0 @ 20.371
20.98	c Restart #29 #Var: 16264 LB: 0 @ 20.954
21.49	c Restart #30 #Var: 16264 LB: 0 @ 21.464
21.90	c Restart #31 #Var: 16264 LB: 0 @ 21.874
22.27	c Restart #32 #Var: 16264 LB: 0 @ 22.242
22.69	c Restart #33 #Var: 16264 LB: 0 @ 22.668
23.24	c Restart #34 #Var: 16264 LB: 0 @ 23.215
23.75	c Restart #35 #Var: 16264 LB: 0 @ 23.729
24.25	c Restart #36 #Var: 16264 LB: 0 @ 24.227
24.76	c Restart #37 #Var: 16264 LB: 0 @ 24.731
25.31	c Restart #38 #Var: 16264 LB: 0 @ 25.288
25.86	c Restart #39 #Var: 16264 LB: 0 @ 25.836
26.38	c Restart #40 #Var: 16264 LB: 0 @ 26.358
26.95	c Restart #41 #Var: 16264 LB: 0 @ 26.923
27.51	c Restart #42 #Var: 16264 LB: 0 @ 27.483
28.24	c Restart #43 #Var: 16264 LB: 0 @ 28.212
29.03	c Restart #44 #Var: 16264 LB: 0 @ 29.004
30.01	c Restart #45 #Var: 16264 LB: 0 @ 29.979
30.57	c Restart #46 #Var: 16264 LB: 0 @ 30.54
31.17	c Restart #47 #Var: 16264 LB: 0 @ 31.141
31.75	c Restart #48 #Var: 16264 LB: 0 @ 31.726
32.38	c Restart #49 #Var: 16264 LB: 0 @ 32.353
33.52	c Restart #50 #Var: 16262 LB: 0 @ 33.493
34.20	c Restart #51 #Var: 16262 LB: 0 @ 34.175
34.82	c Restart #52 #Var: 16262 LB: 0 @ 34.788
36.22	c Restart #53 #Var: 16260 LB: 0 @ 36.191
37.12	c Restart #54 #Var: 16260 LB: 0 @ 37.096
37.86	c Restart #55 #Var: 16260 LB: 0 @ 37.832
38.82	c Restart #56 #Var: 16260 LB: 0 @ 38.79
39.58	c Restart #57 #Var: 16260 LB: 0 @ 39.549
40.33	c Restart #58 #Var: 16260 LB: 0 @ 40.298
41.07	c Restart #59 #Var: 16260 LB: 0 @ 41.043
41.94	c Restart #60 #Var: 16260 LB: 0 @ 41.905
42.80	c Restart #61 #Var: 16260 LB: 0 @ 42.773
43.90	c Restart #62 #Var: 16260 LB: 0 @ 43.867
44.94	c Restart #63 #Var: 16260 LB: 0 @ 44.911
45.85	c Restart #64 #Var: 16260 LB: 0 @ 45.823
46.71	c Restart #65 #Var: 16260 LB: 0 @ 46.677
47.54	c Restart #66 #Var: 16260 LB: 0 @ 47.504
48.95	c Restart #67 #Var: 16260 LB: 0 @ 48.922
49.80	c Restart #68 #Var: 16260 LB: 0 @ 49.765
50.74	c Restart #69 #Var: 16260 LB: 0 @ 50.707
51.62	c Restart #70 #Var: 16260 LB: 0 @ 51.59
52.74	c Restart #71 #Var: 16260 LB: 0 @ 52.704
53.75	c Restart #72 #Var: 16260 LB: 0 @ 53.716
54.65	c Restart #73 #Var: 16260 LB: 0 @ 54.615
55.54	c Restart #74 #Var: 16260 LB: 0 @ 55.504
56.47	c Restart #75 #Var: 16260 LB: 0 @ 56.432
57.37	c Restart #76 #Var: 16260 LB: 0 @ 57.333
58.33	c Restart #77 #Var: 16260 LB: 0 @ 58.296
59.27	c Restart #78 #Var: 16260 LB: 0 @ 59.234
61.08	c Restart #79 #Var: 16258 LB: 0 @ 61.044
62.86	c Restart #80 #Var: 16256 LB: 0 @ 62.822
64.28	c Restart #81 #Var: 16256 LB: 0 @ 64.249
65.28	c Restart #82 #Var: 16256 LB: 0 @ 65.247
66.38	c Restart #83 #Var: 16256 LB: 0 @ 66.339
67.43	c Restart #84 #Var: 16256 LB: 0 @ 67.393
68.91	c Restart #85 #Var: 16256 LB: 0 @ 68.878
69.91	c Restart #86 #Var: 16256 LB: 0 @ 69.872
70.96	c Restart #87 #Var: 16256 LB: 0 @ 70.923
71.98	c Restart #88 #Var: 16256 LB: 0 @ 71.94
73.05	c Restart #89 #Var: 16256 LB: 0 @ 73.014
74.10	c Restart #90 #Var: 16256 LB: 0 @ 74.058
75.19	c Restart #91 #Var: 16256 LB: 0 @ 75.156
76.26	c Restart #92 #Var: 16256 LB: 0 @ 76.216
77.38	c Restart #93 #Var: 16256 LB: 0 @ 77.343
78.51	c Restart #94 #Var: 16256 LB: 0 @ 78.473
79.69	c Restart #95 #Var: 16256 LB: 0 @ 79.651
80.83	c Restart #96 #Var: 16256 LB: 0 @ 80.788
82.01	c Restart #97 #Var: 16256 LB: 0 @ 81.974
83.17	c Restart #98 #Var: 16256 LB: 0 @ 83.125
84.38	c Restart #99 #Var: 16256 LB: 0 @ 84.335
85.56	c Restart #100 #Var: 16256 LB: 0 @ 85.523
86.79	c Restart #101 #Var: 16256 LB: 0 @ 86.75
88.02	c Restart #102 #Var: 16256 LB: 0 @ 87.973
89.25	c Restart #103 #Var: 16256 LB: 0 @ 89.21
90.50	c Restart #104 #Var: 16256 LB: 0 @ 90.455
91.76	c Restart #105 #Var: 16256 LB: 0 @ 91.718
93.03	c Restart #106 #Var: 16256 LB: 0 @ 92.983
94.31	c Restart #107 #Var: 16256 LB: 0 @ 94.265
95.61	c Restart #108 #Var: 16256 LB: 0 @ 95.568
96.92	c Restart #109 #Var: 16256 LB: 0 @ 96.873
98.24	c Restart #110 #Var: 16256 LB: 0 @ 98.2
99.58	c Restart #111 #Var: 16256 LB: 0 @ 99.535
100.95	c Restart #112 #Var: 16256 LB: 0 @ 100.9
102.30	c Restart #113 #Var: 16256 LB: 0 @ 102.26
103.70	c Restart #114 #Var: 16256 LB: 0 @ 103.66
105.08	c Restart #115 #Var: 16256 LB: 0 @ 105.03
106.54	c Restart #116 #Var: 16256 LB: 0 @ 106.49
107.93	c Restart #117 #Var: 16256 LB: 0 @ 107.89
109.37	c Restart #118 #Var: 16256 LB: 0 @ 109.32
111.62	c Restart #119 #Var: 16256 LB: 0 @ 111.57
115.74	c Restart #120 #Var: 16255 LB: 0 @ 115.69
118.28	c Restart #121 #Var: 16255 LB: 0 @ 118.23
120.11	c Restart #122 #Var: 16255 LB: 0 @ 120.06
194.48	c Restart #123 #Var: 16253 LB: 0 @ 194.41
197.37	c Restart #124 #Var: 16253 LB: 0 @ 197.3
200.11	c Restart #125 #Var: 16253 LB: 0 @ 200.03
202.46	c Restart #126 #Var: 16253 LB: 0 @ 202.39
204.76	c Restart #127 #Var: 16253 LB: 0 @ 204.69
206.71	c Restart #128 #Var: 16253 LB: 0 @ 206.64
209.48	c Restart #129 #Var: 16253 LB: 0 @ 209.41
211.33	c Restart #130 #Var: 16253 LB: 0 @ 211.26
213.67	c Restart #131 #Var: 16253 LB: 0 @ 213.6
215.44	c Restart #132 #Var: 16253 LB: 0 @ 215.36
217.29	c Restart #133 #Var: 16253 LB: 0 @ 217.22
219.23	c Restart #134 #Var: 16253 LB: 0 @ 219.15
221.53	c Restart #135 #Var: 16253 LB: 0 @ 221.46
223.62	c Restart #136 #Var: 16253 LB: 0 @ 223.54
225.96	c Restart #137 #Var: 16253 LB: 0 @ 225.88
231.61	c Restart #138 #Var: 16253 LB: 0 @ 231.53
233.65	c Restart #139 #Var: 16253 LB: 0 @ 233.57
240.78	c Restart #140 #Var: 16253 LB: 0 @ 240.69
243.76	c Restart #141 #Var: 16252 LB: 0 @ 243.67
245.72	c Restart #142 #Var: 16252 LB: 0 @ 245.63
248.69	c Restart #143 #Var: 16252 LB: 0 @ 248.61
250.84	c Restart #144 #Var: 16252 LB: 0 @ 250.75
254.05	c Restart #145 #Var: 16252 LB: 0 @ 253.97
255.96	c Restart #146 #Var: 16252 LB: 0 @ 255.88
258.14	c Restart #147 #Var: 16252 LB: 0 @ 258.06
260.65	c Restart #148 #Var: 16252 LB: 0 @ 260.56
264.72	c Restart #149 #Var: 16252 LB: 0 @ 264.63
266.96	c Restart #150 #Var: 16252 LB: 0 @ 266.87
270.06	c Restart #151 #Var: 16252 LB: 0 @ 269.97
272.23	c Restart #152 #Var: 16252 LB: 0 @ 272.14
274.48	c Restart #153 #Var: 16252 LB: 0 @ 274.39
276.65	c Restart #154 #Var: 16252 LB: 0 @ 276.56
278.95	c Restart #155 #Var: 16252 LB: 0 @ 278.86
282.25	c Restart #156 #Var: 16252 LB: 0 @ 282.16
285.92	c Restart #157 #Var: 16252 LB: 0 @ 285.82
288.84	c Restart #158 #Var: 16252 LB: 0 @ 288.74
291.55	c Restart #159 #Var: 16252 LB: 0 @ 291.46
294.47	c Restart #160 #Var: 16252 LB: 0 @ 294.37
298.09	c Restart #161 #Var: 16252 LB: 0 @ 297.99
300.72	c Restart #162 #Var: 16252 LB: 0 @ 300.62
304.14	c Restart #163 #Var: 16252 LB: 0 @ 304.05
307.64	c Restart #164 #Var: 16252 LB: 0 @ 307.54
310.42	c Restart #165 #Var: 16251 LB: 0 @ 310.32
312.45	c Restart #166 #Var: 16251 LB: 0 @ 312.34
318.52	c Restart #167 #Var: 16250 LB: 0 @ 318.42
320.43	c Restart #168 #Var: 16250 LB: 0 @ 320.33
322.77	c Restart #169 #Var: 16250 LB: 0 @ 322.67
324.62	c Restart #170 #Var: 16250 LB: 0 @ 324.52
326.59	c Restart #171 #Var: 16250 LB: 0 @ 326.48
328.47	c Restart #172 #Var: 16250 LB: 0 @ 328.37
330.46	c Restart #173 #Var: 16250 LB: 0 @ 330.36
332.84	c Restart #174 #Var: 16248 LB: 0 @ 332.73
352.17	c Restart #175 #Var: 16247 LB: 0 @ 352.06
354.62	c Restart #176 #Var: 16247 LB: 0 @ 354.51
357.85	c Restart #177 #Var: 16247 LB: 0 @ 357.73
360.59	c Restart #178 #Var: 16247 LB: 0 @ 360.48
363.84	c Restart #179 #Var: 16246 LB: 0 @ 363.73
366.58	c Restart #180 #Var: 16246 LB: 0 @ 366.47
369.01	c Restart #181 #Var: 16246 LB: 0 @ 368.89
372.51	c Restart #182 #Var: 16246 LB: 0 @ 372.39
378.05	c Restart #183 #Var: 16245 LB: 0 @ 377.93
384.02	c Restart #184 #Var: 16244 LB: 0 @ 383.9
399.62	c Restart #185 #Var: 16244 LB: 0 @ 399.49
404.44	c Restart #186 #Var: 16244 LB: 0 @ 404.32
408.26	c Restart #187 #Var: 16244 LB: 0 @ 408.13
410.69	c Restart #188 #Var: 16244 LB: 0 @ 410.56
413.32	c Restart #189 #Var: 16244 LB: 0 @ 413.19
415.68	c Restart #190 #Var: 16244 LB: 0 @ 415.55
418.07	c Restart #191 #Var: 16244 LB: 0 @ 417.94
420.48	c Restart #192 #Var: 16244 LB: 0 @ 420.35
422.92	c Restart #193 #Var: 16244 LB: 0 @ 422.79
425.35	c Restart #194 #Var: 16244 LB: 0 @ 425.22
427.96	c Restart #195 #Var: 16244 LB: 0 @ 427.83
430.41	c Restart #196 #Var: 16244 LB: 0 @ 430.28
432.90	c Restart #197 #Var: 16244 LB: 0 @ 432.77
435.31	c Restart #198 #Var: 16244 LB: 0 @ 435.18
437.77	c Restart #199 #Var: 16244 LB: 0 @ 437.63
440.18	c Restart #200 #Var: 16244 LB: 0 @ 440.04
442.60	c Restart #201 #Var: 16244 LB: 0 @ 442.46
445.05	c Restart #202 #Var: 16244 LB: 0 @ 444.92
447.47	c Restart #203 #Var: 16244 LB: 0 @ 447.34
449.98	c Restart #204 #Var: 16244 LB: 0 @ 449.85
452.51	c Restart #205 #Var: 16244 LB: 0 @ 452.37
455.05	c Restart #206 #Var: 16244 LB: 0 @ 454.91
457.65	c Restart #207 #Var: 16244 LB: 0 @ 457.51
460.27	c Restart #208 #Var: 16244 LB: 0 @ 460.13
462.99	c Restart #209 #Var: 16244 LB: 0 @ 462.85
465.69	c Restart #210 #Var: 16244 LB: 0 @ 465.55
468.45	c Restart #211 #Var: 16244 LB: 0 @ 468.31
471.00	c Restart #212 #Var: 16244 LB: 0 @ 470.86
473.58	c Restart #213 #Var: 16244 LB: 0 @ 473.44
476.23	c Restart #214 #Var: 16244 LB: 0 @ 476.09
478.85	c Restart #215 #Var: 16244 LB: 0 @ 478.7
481.36	c Restart #216 #Var: 16244 LB: 0 @ 481.21
483.98	c Restart #217 #Var: 16244 LB: 0 @ 483.83
486.56	c Restart #218 #Var: 16244 LB: 0 @ 486.42
489.22	c Restart #219 #Var: 16244 LB: 0 @ 489.07
491.84	c Restart #220 #Var: 16244 LB: 0 @ 491.69
494.50	c Restart #221 #Var: 16244 LB: 0 @ 494.35
497.23	c Restart #222 #Var: 16244 LB: 0 @ 497.08
499.89	c Restart #223 #Var: 16244 LB: 0 @ 499.74
502.73	c Restart #224 #Var: 16244 LB: 0 @ 502.58
505.48	c Restart #225 #Var: 16244 LB: 0 @ 505.33
508.35	c Restart #226 #Var: 16244 LB: 0 @ 508.2
511.15	c Restart #227 #Var: 16244 LB: 0 @ 511
514.07	c Restart #228 #Var: 16244 LB: 0 @ 513.91
516.97	c Restart #229 #Var: 16244 LB: 0 @ 516.81
519.97	c Restart #230 #Var: 16244 LB: 0 @ 519.82
522.96	c Restart #231 #Var: 16244 LB: 0 @ 522.81
526.05	c Restart #232 #Var: 16244 LB: 0 @ 525.9
529.07	c Restart #233 #Var: 16244 LB: 0 @ 528.91
532.15	c Restart #234 #Var: 16244 LB: 0 @ 531.99
535.20	c Restart #235 #Var: 16244 LB: 0 @ 535.04
538.33	c Restart #236 #Var: 16244 LB: 0 @ 538.17
541.46	c Restart #237 #Var: 16244 LB: 0 @ 541.29
544.65	c Restart #238 #Var: 16244 LB: 0 @ 544.49
547.73	c Restart #239 #Var: 16244 LB: 0 @ 547.57
550.61	c Restart #240 #Var: 16244 LB: 0 @ 550.45
553.47	c Restart #241 #Var: 16244 LB: 0 @ 553.31
556.50	c Restart #242 #Var: 16244 LB: 0 @ 556.33
559.46	c Restart #243 #Var: 16244 LB: 0 @ 559.3
562.58	c Restart #244 #Var: 16244 LB: 0 @ 562.41
565.65	c Restart #245 #Var: 16244 LB: 0 @ 565.48
568.84	c Restart #246 #Var: 16244 LB: 0 @ 568.67
571.97	c Restart #247 #Var: 16244 LB: 0 @ 571.8
575.21	c Restart #248 #Var: 16244 LB: 0 @ 575.04
578.41	c Restart #249 #Var: 16244 LB: 0 @ 578.24
581.77	c Restart #250 #Var: 16244 LB: 0 @ 581.6
585.04	c Restart #251 #Var: 16244 LB: 0 @ 584.87
588.42	c Restart #252 #Var: 16244 LB: 0 @ 588.25
591.77	c Restart #253 #Var: 16244 LB: 0 @ 591.59
595.16	c Restart #254 #Var: 16244 LB: 0 @ 594.98
598.54	c Restart #255 #Var: 16244 LB: 0 @ 598.36
602.06	c Restart #256 #Var: 16244 LB: 0 @ 601.88
605.53	c Restart #257 #Var: 16244 LB: 0 @ 605.35
608.74	c Restart #258 #Var: 16244 LB: 0 @ 608.56
611.84	c Restart #259 #Var: 16244 LB: 0 @ 611.66
615.02	c Restart #260 #Var: 16244 LB: 0 @ 614.84
618.05	c Restart #261 #Var: 16244 LB: 0 @ 617.86
621.24	c Restart #262 #Var: 16244 LB: 0 @ 621.06
624.30	c Restart #263 #Var: 16244 LB: 0 @ 624.12
627.58	c Restart #264 #Var: 16244 LB: 0 @ 627.39
632.34	c Restart #265 #Var: 16243 LB: 0 @ 632.15
635.84	c Restart #266 #Var: 16243 LB: 0 @ 635.65
639.78	c Restart #267 #Var: 16243 LB: 0 @ 639.59
642.99	c Restart #268 #Var: 16243 LB: 0 @ 642.8
648.95	c Restart #269 #Var: 16243 LB: 0 @ 648.76
654.96	c Restart #270 #Var: 16241 LB: 0 @ 654.77
660.43	c Restart #271 #Var: 16241 LB: 0 @ 660.23
664.95	c Restart #272 #Var: 16241 LB: 0 @ 664.75
669.70	c Restart #273 #Var: 16241 LB: 0 @ 669.5
674.60	c Restart #274 #Var: 16241 LB: 0 @ 674.4
680.12	c Restart #275 #Var: 16241 LB: 0 @ 679.92
685.35	c Restart #276 #Var: 16241 LB: 0 @ 685.15
693.03	c Restart #277 #Var: 16240 LB: 0 @ 692.83
765.23	c Restart #278 #Var: 16240 LB: 0 @ 765.01
768.71	c Restart #279 #Var: 16240 LB: 0 @ 768.49
772.25	c Restart #280 #Var: 16240 LB: 0 @ 772.03
775.77	c Restart #281 #Var: 16240 LB: 0 @ 775.55
779.32	c Restart #282 #Var: 16240 LB: 0 @ 779.1
782.96	c Restart #283 #Var: 16240 LB: 0 @ 782.73
786.46	c Restart #284 #Var: 16240 LB: 0 @ 786.23
789.99	c Restart #285 #Var: 16240 LB: 0 @ 789.76
793.52	c Restart #286 #Var: 16240 LB: 0 @ 793.29
797.06	c Restart #287 #Var: 16240 LB: 0 @ 796.83
800.72	c Restart #288 #Var: 16240 LB: 0 @ 800.49
804.38	c Restart #289 #Var: 16240 LB: 0 @ 804.15
808.07	c Restart #290 #Var: 16240 LB: 0 @ 807.84
811.69	c Restart #291 #Var: 16240 LB: 0 @ 811.46
815.45	c Restart #292 #Var: 16240 LB: 0 @ 815.22
819.14	c Restart #293 #Var: 16240 LB: 0 @ 818.9
822.81	c Restart #294 #Var: 16240 LB: 0 @ 822.58
826.46	c Restart #295 #Var: 16240 LB: 0 @ 826.23
830.16	c Restart #296 #Var: 16240 LB: 0 @ 829.92
833.79	c Restart #297 #Var: 16240 LB: 0 @ 833.55
837.48	c Restart #298 #Var: 16240 LB: 0 @ 837.24
841.19	c Restart #299 #Var: 16240 LB: 0 @ 840.95
844.98	c Restart #300 #Var: 16240 LB: 0 @ 844.74
848.79	c Restart #301 #Var: 16240 LB: 0 @ 848.55
852.62	c Restart #302 #Var: 16240 LB: 0 @ 852.38
856.41	c Restart #303 #Var: 16240 LB: 0 @ 856.16
860.25	c Restart #304 #Var: 16240 LB: 0 @ 860.01
864.07	c Restart #305 #Var: 16240 LB: 0 @ 863.82
867.96	c Restart #306 #Var: 16240 LB: 0 @ 867.71
871.78	c Restart #307 #Var: 16240 LB: 0 @ 871.53
875.62	c Restart #308 #Var: 16240 LB: 0 @ 875.37
879.45	c Restart #309 #Var: 16240 LB: 0 @ 879.2
883.41	c Restart #310 #Var: 16240 LB: 0 @ 883.15
887.35	c Restart #311 #Var: 16240 LB: 0 @ 887.1
891.31	c Restart #312 #Var: 16240 LB: 0 @ 891.06
895.17	c Restart #313 #Var: 16240 LB: 0 @ 894.91
899.13	c Restart #314 #Var: 16240 LB: 0 @ 898.88
903.13	c CHANGE Heuristic... 
903.13	c Restart #0 #Var: 16240 LB: 0 @ 902.88
906.08	c Restart #1 #Var: 16240 LB: 0 @ 905.82
910.87	c Restart #2 #Var: 16239 LB: 0 @ 910.61
911.64	c Restart #3 #Var: 16239 LB: 0 @ 911.38
912.84	c Restart #4 #Var: 16239 LB: 0 @ 912.58
913.26	c Restart #5 #Var: 16239 LB: 0 @ 913
913.54	c Restart #6 #Var: 16239 LB: 0 @ 913.28
915.47	c Restart #7 #Var: 16238 LB: 0 @ 915.21
917.55	c Restart #8 #Var: 16238 LB: 0 @ 917.29
917.97	c Restart #9 #Var: 16238 LB: 0 @ 917.71
918.13	c Restart #10 #Var: 16238 LB: 0 @ 917.86
918.75	c Restart #11 #Var: 16238 LB: 0 @ 918.49
926.95	c Restart #12 #Var: 16238 LB: 0 @ 926.69
927.67	c Restart #13 #Var: 16238 LB: 0 @ 927.4
931.38	c Restart #14 #Var: 16238 LB: 0 @ 931.12
932.89	c Restart #15 #Var: 16238 LB: 0 @ 932.63
933.12	c Restart #16 #Var: 16238 LB: 0 @ 932.86
933.40	c Restart #17 #Var: 16238 LB: 0 @ 933.13
935.57	c Restart #18 #Var: 16238 LB: 0 @ 935.3
937.48	c Restart #19 #Var: 16237 LB: 0 @ 937.22
940.57	c Restart #20 #Var: 16234 LB: 0 @ 940.31
949.74	c Restart #21 #Var: 16234 LB: 0 @ 949.48
955.73	c Restart #22 #Var: 16233 LB: 0 @ 955.46
956.12	c Restart #23 #Var: 16233 LB: 0 @ 955.85
1023.21	c Restart #24 #Var: 16233 LB: 0 @ 1022.9
1023.96	c Restart #25 #Var: 16233 LB: 0 @ 1023.7
1026.60	c Restart #26 #Var: 16233 LB: 0 @ 1026.3
1034.01	c Restart #27 #Var: 16233 LB: 0 @ 1033.7
1034.43	c Restart #28 #Var: 16233 LB: 0 @ 1034.1
1034.83	c Restart #29 #Var: 16233 LB: 0 @ 1034.5
1036.05	c Restart #30 #Var: 16233 LB: 0 @ 1035.8
1045.13	c Restart #31 #Var: 16233 LB: 0 @ 1044.8
1046.74	c Restart #32 #Var: 16233 LB: 0 @ 1046.4
1049.06	c Restart #33 #Var: 16233 LB: 0 @ 1048.8
1132.34	c Restart #34 #Var: 16233 LB: 0 @ 1132
1136.14	c Restart #35 #Var: 16233 LB: 0 @ 1135.8
1137.16	c Restart #36 #Var: 16233 LB: 0 @ 1136.8
1137.73	c Restart #37 #Var: 16233 LB: 0 @ 1137.4
1138.76	c Restart #38 #Var: 16233 LB: 0 @ 1138.4
1140.86	c Restart #39 #Var: 16233 LB: 0 @ 1140.5
1142.68	c Restart #40 #Var: 16233 LB: 0 @ 1142.4
1143.57	c Restart #41 #Var: 16233 LB: 0 @ 1143.2
1144.19	c Restart #42 #Var: 16233 LB: 0 @ 1143.9
1145.84	c Restart #43 #Var: 16233 LB: 0 @ 1145.5
1147.57	c Restart #44 #Var: 16233 LB: 0 @ 1147.2
1149.17	c Restart #45 #Var: 16233 LB: 0 @ 1148.8
1150.94	c Restart #46 #Var: 16233 LB: 0 @ 1150.6
1151.63	c Restart #47 #Var: 16233 LB: 0 @ 1151.3
1157.48	c Restart #48 #Var: 16233 LB: 0 @ 1157.2
1162.73	c Restart #49 #Var: 16233 LB: 0 @ 1162.4
1164.25	c Restart #50 #Var: 16233 LB: 0 @ 1163.9
1165.90	c Restart #51 #Var: 16233 LB: 0 @ 1165.6
1166.76	c Restart #52 #Var: 16233 LB: 0 @ 1166.4
1175.14	c Restart #53 #Var: 16233 LB: 0 @ 1174.8
1176.28	c Restart #54 #Var: 16233 LB: 0 @ 1175.9
1177.52	c Restart #55 #Var: 16233 LB: 0 @ 1177.2
1178.30	c Restart #56 #Var: 16233 LB: 0 @ 1178
1183.23	c Restart #57 #Var: 16231 LB: 0 @ 1182.9
1697.37	c Restart #58 #Var: 16230 LB: 0 @ 1696.8
1699.96	c Restart #59 #Var: 16229 LB: 0 @ 1699.4
1704.38	c Restart #60 #Var: 16229 LB: 0 @ 1703.8
1705.29	c Restart #61 #Var: 16229 LB: 0 @ 1704.7
1706.28	c Restart #62 #Var: 16229 LB: 0 @ 1705.7
1711.45	c Restart #63 #Var: 16228 LB: 0 @ 1710.9
1713.89	c Restart #64 #Var: 16228 LB: 0 @ 1713.3
1719.57	c Restart #65 #Var: 16228 LB: 0 @ 1719
1723.08	c Restart #66 #Var: 16228 LB: 0 @ 1722.5
1730.81	c Restart #67 #Var: 16227 LB: 0 @ 1730.3
1738.98	c Restart #68 #Var: 16227 LB: 0 @ 1738.4
1740.02	c Restart #69 #Var: 16227 LB: 0 @ 1739.5
1777.33	c Restart #70 #Var: 16226 LB: 0 @ 1776.8
1779.62	c Restart #71 #Var: 16226 LB: 0 @ 1779
1784.06	c Restart #72 #Var: 16226 LB: 0 @ 1783.5
1785.47	c Restart #73 #Var: 16226 LB: 0 @ 1784.9
1789.07	c Restart #74 #Var: 16226 LB: 0 @ 1788.5
1790.55	c Restart #75 #Var: 16226 LB: 0 @ 1790
1794.12	c Restart #76 #Var: 16226 LB: 0 @ 1793.5
1795.74	c Restart #77 #Var: 16226 LB: 0 @ 1795.2
1799.44	c Restart #78 #Var: 16226 LB: 0 @ 1798.9
1800.58	s UNKNOWN
1800.58	c Exit Code: 0
1800.58	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/node23/watcher-40576-1149305677 -o ROOT/results/node23/solver-40576-1149305677 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node23/40576-1149305677/instance-40576-1149305677.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.92 0.97 0.91 2/64 21199
/proc/meminfo: memFree=1544528/2055920 swapFree=4180892/4192956
[pid=21199] ppid=21197 vsize=4664 CPUtime=0
/proc/21199/stat : 21199 (bsolo) R 21197 21199 21153 0 -1 0 156 0 0 0 0 0 0 0 18 0 1 0 196231373 4775936 136 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 2464632 0 0 4096 0 0 0 0 17 1 0 0
/proc/21199/statm: 1166 136 106 55 0 46 0

[startup+10.0028 s]
/proc/loadavg: 0.93 0.97 0.91 2/64 21199
/proc/meminfo: memFree=1503584/2055920 swapFree=4180892/4192956
[pid=21199] ppid=21197 vsize=46904 CPUtime=9.98
/proc/21199/stat : 21199 (bsolo) R 21197 21199 21153 0 -1 0 16570 0 0 0 955 43 0 0 25 0 1 0 196231373 48029696 10524 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718470 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21199/statm: 11726 10524 299 55 0 10618 0
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 46904

[startup+20.0099 s]
/proc/loadavg: 0.94 0.97 0.91 2/64 21199
/proc/meminfo: memFree=1490728/2055920 swapFree=4180892/4192956
[pid=21199] ppid=21197 vsize=59840 CPUtime=19.97
/proc/21199/stat : 21199 (bsolo) R 21197 21199 21153 0 -1 0 19798 0 0 0 1942 55 0 0 25 0 1 0 196231373 61276160 13752 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548225 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21199/statm: 14960 13752 299 55 0 13852 0
Current children cumulated CPU time (s) 19.97
Current children cumulated vsize (Kb) 59840

[startup+30.016 s]
/proc/loadavg: 0.95 0.97 0.91 2/64 21199
/proc/meminfo: memFree=1482024/2055920 swapFree=4180892/4192956
[pid=21199] ppid=21197 vsize=68532 CPUtime=29.98
/proc/21199/stat : 21199 (bsolo) R 21197 21199 21153 0 -1 0 21957 0 0 0 2936 62 0 0 25 0 1 0 196231373 70176768 15911 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21199/statm: 17133 15911 299 55 0 16025 0
Current children cumulated CPU time (s) 29.98
Current children cumulated vsize (Kb) 68532

[startup+40.0222 s]
/proc/loadavg: 0.96 0.97 0.91 2/64 21199
/proc/meminfo: memFree=1474344/2055920 swapFree=4180892/4192956
[pid=21199] ppid=21197 vsize=76316 CPUtime=39.98
/proc/21199/stat : 21199 (bsolo) R 21197 21199 21153 0 -1 0 23895 0 0 0 3931 67 0 0 25 0 1 0 196231373 78147584 17849 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21199/statm: 19079 17849 299 55 0 17971 0
Current children cumulated CPU time (s) 39.98
Current children cumulated vsize (Kb) 76316

[startup+50.0283 s]
/proc/loadavg: 0.96 0.97 0.91 2/64 21200
/proc/meminfo: memFree=1407336/2055920 swapFree=4180892/4192956
[pid=21199] ppid=21197 vsize=143332 CPUtime=49.98
/proc/21199/stat : 21199 (bsolo) R 21197 21199 21153 0 -1 0 40633 0 0 0 4917 81 0 0 25 0 1 0 196231373 146771968 34586 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21199/statm: 35833 34586 299 55 0 34725 0
Current children cumulated CPU time (s) 49.98
Current children cumulated vsize (Kb) 143332

[startup+60.0344 s]
/proc/loadavg: 0.97 0.97 0.91 2/64 21201
/proc/meminfo: memFree=1406888/2055920 swapFree=4180892/4192956
[pid=21199] ppid=21197 vsize=143740 CPUtime=59.99
/proc/21199/stat : 21199 (bsolo) R 21197 21199 21153 0 -1 0 40737 0 0 0 5912 87 0 0 25 0 1 0 196231373 147189760 34689 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21199/statm: 35935 34689 299 55 0 34827 0
Current children cumulated CPU time (s) 59.99
Current children cumulated vsize (Kb) 143740

[startup+70.0406 s]
/proc/loadavg: 0.97 0.97 0.91 2/64 21201
/proc/meminfo: memFree=1399976/2055920 swapFree=4180892/4192956
[pid=21199] ppid=21197 vsize=150612 CPUtime=69.99
/proc/21199/stat : 21199 (bsolo) R 21197 21199 21153 0 -1 0 42462 0 0 0 6905 94 0 0 25 0 1 0 196231373 154226688 36414 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21199/statm: 37653 36414 299 55 0 36545 0
Current children cumulated CPU time (s) 69.99
Current children cumulated vsize (Kb) 150612

[startup+80.0467 s]
/proc/loadavg: 0.98 0.97 0.91 2/64 21201
/proc/meminfo: memFree=1399848/2055920 swapFree=4180892/4192956
[pid=21199] ppid=21197 vsize=150744 CPUtime=80
/proc/21199/stat : 21199 (bsolo) R 21197 21199 21153 0 -1 0 42499 0 0 0 7900 100 0 0 25 0 1 0 196231373 154361856 36451 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21199/statm: 37686 36451 299 55 0 36578 0
Current children cumulated CPU time (s) 80
Current children cumulated vsize (Kb) 150744

[startup+90.0518 s]
/proc/loadavg: 0.98 0.97 0.91 2/64 21201
/proc/meminfo: memFree=1399784/2055920 swapFree=4180892/4192956
[pid=21199] ppid=21197 vsize=150884 CPUtime=90
/proc/21199/stat : 21199 (bsolo) R 21197 21199 21153 0 -1 0 42516 0 0 0 8893 107 0 0 25 0 1 0 196231373 154505216 36468 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21199/statm: 37721 36468 299 55 0 36613 0
Current children cumulated CPU time (s) 90
Current children cumulated vsize (Kb) 150884

[startup+100.058 s]
/proc/loadavg: 0.98 0.97 0.91 2/64 21201
/proc/meminfo: memFree=1399720/2055920 swapFree=4180892/4192956
[pid=21199] ppid=21197 vsize=150884 CPUtime=100
/proc/21199/stat : 21199 (bsolo) R 21197 21199 21153 0 -1 0 42525 0 0 0 9887 113 0 0 25 0 1 0 196231373 154505216 36477 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21199/statm: 37721 36477 299 55 0 36613 0
Current children cumulated CPU time (s) 100
Current children cumulated vsize (Kb) 150884

[startup+110.064 s]
/proc/loadavg: 0.98 0.97 0.91 2/64 21201
/proc/meminfo: memFree=1399080/2055920 swapFree=4180892/4192956
[pid=21199] ppid=21197 vsize=151540 CPUtime=110.01
/proc/21199/stat : 21199 (bsolo) R 21197 21199 21153 0 -1 0 42688 0 0 0 10883 118 0 0 25 0 1 0 196231373 155176960 36640 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21199/statm: 37885 36640 299 55 0 36777 0
Current children cumulated CPU time (s) 110.01
Current children cumulated vsize (Kb) 151540

[startup+120.07 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 21201
/proc/meminfo: memFree=1328616/2055920 swapFree=4180892/4192956
[pid=21199] ppid=21197 vsize=221904 CPUtime=120.01
/proc/21199/stat : 21199 (bsolo) R 21197 21199 21153 0 -1 0 60275 0 0 0 11872 129 0 0 25 0 1 0 196231373 227229696 54224 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540657 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21199/statm: 55476 54224 299 55 0 54368 0
Current children cumulated CPU time (s) 120.01
Current children cumulated vsize (Kb) 221904

[startup+130.076 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 21201
/proc/meminfo: memFree=1324840/2055920 swapFree=4180892/4192956
[pid=21199] ppid=21197 vsize=225732 CPUtime=130.01
/proc/21199/stat : 21199 (bsolo) R 21197 21199 21153 0 -1 0 61219 0 0 0 12871 130 0 0 25 0 1 0 196231373 231149568 55168 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21199/statm: 56433 55168 299 55 0 55325 0
Current children cumulated CPU time (s) 130.01
Current children cumulated vsize (Kb) 225732

[startup+140.083 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 21201
/proc/meminfo: memFree=1321064/2055920 swapFree=4180892/4192956
[pid=21199] ppid=21197 vsize=229428 CPUtime=140.02
/proc/21199/stat : 21199 (bsolo) R 21197 21199 21153 0 -1 0 62155 0 0 0 13871 131 0 0 25 0 1 0 196231373 234934272 56104 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534001 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21199/statm: 57357 56104 299 55 0 56249 0
Current children cumulated CPU time (s) 140.02
Current children cumulated vsize (Kb) 229428

[startup+150.089 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 21201
/proc/meminfo: memFree=1317288/2055920 swapFree=4180892/4192956
[pid=21199] ppid=21197 vsize=233256 CPUtime=150.02
/proc/21199/stat : 21199 (bsolo) R 21197 21199 21153 0 -1 0 63095 0 0 0 14870 132 0 0 25 0 1 0 196231373 238854144 57044 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534834 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21199/statm: 58314 57044 299 55 0 57206 0
Current children cumulated CPU time (s) 150.02
Current children cumulated vsize (Kb) 233256

[startup+160.095 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 21201
/proc/meminfo: memFree=1313512/2055920 swapFree=4180892/4192956
[pid=21199] ppid=21197 vsize=236952 CPUtime=160.02
/proc/21199/stat : 21199 (bsolo) R 21197 21199 21153 0 -1 0 64035 0 0 0 15868 134 0 0 25 0 1 0 196231373 242638848 57984 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529176 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21199/statm: 59238 57984 299 55 0 58130 0
Current children cumulated CPU time (s) 160.02
Current children cumulated vsize (Kb) 236952

[startup+170.101 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 21201
/proc/meminfo: memFree=1309672/2055920 swapFree=4180892/4192956
[pid=21199] ppid=21197 vsize=240780 CPUtime=170.03
/proc/21199/stat : 21199 (bsolo) R 21197 21199 21153 0 -1 0 64982 0 0 0 16868 135 0 0 25 0 1 0 196231373 246558720 58931 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534991 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21199/statm: 60195 58931 299 55 0 59087 0
Current children cumulated CPU time (s) 170.03
Current children cumulated vsize (Kb) 240780

[startup+180.107 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 21201
/proc/meminfo: memFree=1305896/2055920 swapFree=4180892/4192956
[pid=21199] ppid=21197 vsize=244620 CPUtime=180.03
/proc/21199/stat : 21199 (bsolo) R 21197 21199 21153 0 -1 0 65930 0 0 0 17868 135 0 0 25 0 1 0 196231373 250490880 59879 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551605 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21199/statm: 61155 59879 299 55 0 60047 0
Current children cumulated CPU time (s) 180.03
Current children cumulated vsize (Kb) 244620

[startup+190.113 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 21201
/proc/meminfo: memFree=1302184/2055920 swapFree=4180892/4192956
[pid=21199] ppid=21197 vsize=248332 CPUtime=190.04
/proc/21199/stat : 21199 (bsolo) R 21197 21199 21153 0 -1 0 66852 0 0 0 18867 137 0 0 25 0 1 0 196231373 254291968 60801 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 2930299 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21199/statm: 62083 60801 299 55 0 60975 0
Current children cumulated CPU time (s) 190.04
Current children cumulated vsize (Kb) 248332

[startup+200.119 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 21201
/proc/meminfo: memFree=1285928/2055920 swapFree=4180892/4192956
[pid=21199] ppid=21197 vsize=264572 CPUtime=200.04
/proc/21199/stat : 21199 (bsolo) R 21197 21199 21153 0 -1 0 70903 0 0 0 19861 143 0 0 25 0 1 0 196231373 270921728 64852 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528665 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21199/statm: 66143 64852 299 55 0 65035 0
Current children cumulated CPU time (s) 200.04
Current children cumulated vsize (Kb) 264572

[startup+210.125 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 21201
/proc/meminfo: memFree=1207784/2055920 swapFree=4180892/4192956

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

/proc/21199/statm: 304234 301980 299 55 0 303126 0
Current children cumulated CPU time (s) 1760.56
Current children cumulated vsize (Kb) 1216936

[startup+1771.14 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 21396
/proc/meminfo: memFree=335080/2055920 swapFree=4180892/4192956
[pid=21199] ppid=21197 vsize=1216936 CPUtime=1770.56
/proc/21199/stat : 21199 (bsolo) R 21197 21199 21153 0 -1 0 309047 0 0 0 176432 624 0 0 25 0 1 0 196231373 1246142464 301981 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21199/statm: 304234 301981 299 55 0 303126 0
Current children cumulated CPU time (s) 1770.56
Current children cumulated vsize (Kb) 1216936

[startup+1781.15 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 21396
/proc/meminfo: memFree=334056/2055920 swapFree=4180892/4192956
[pid=21199] ppid=21197 vsize=1217988 CPUtime=1780.57
/proc/21199/stat : 21199 (bsolo) R 21197 21199 21153 0 -1 0 309295 0 0 0 177431 626 0 0 25 0 1 0 196231373 1247219712 302229 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21199/statm: 304497 302229 299 55 0 303389 0
Current children cumulated CPU time (s) 1780.57
Current children cumulated vsize (Kb) 1217988

[startup+1782.16 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 21396
/proc/meminfo: memFree=334056/2055920 swapFree=4180892/4192956
[pid=21199] ppid=21197 vsize=1217988 CPUtime=1781.57
/proc/21199/stat : 21199 (bsolo) R 21197 21199 21153 0 -1 0 309301 0 0 0 177531 626 0 0 25 0 1 0 196231373 1247219712 302235 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21199/statm: 304497 302235 299 55 0 303389 0
Current children cumulated CPU time (s) 1781.57
Current children cumulated vsize (Kb) 1217988

[startup+1783.16 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 21396
/proc/meminfo: memFree=334056/2055920 swapFree=4180892/4192956
[pid=21199] ppid=21197 vsize=1217988 CPUtime=1782.58
/proc/21199/stat : 21199 (bsolo) R 21197 21199 21153 0 -1 0 309304 0 0 0 177631 627 0 0 25 0 1 0 196231373 1247219712 302238 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21199/statm: 304497 302238 299 55 0 303389 0
Current children cumulated CPU time (s) 1782.58
Current children cumulated vsize (Kb) 1217988

[startup+1784.17 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 21396
/proc/meminfo: memFree=334056/2055920 swapFree=4180892/4192956
[pid=21199] ppid=21197 vsize=1217988 CPUtime=1783.58
/proc/21199/stat : 21199 (bsolo) R 21197 21199 21153 0 -1 0 309304 0 0 0 177731 627 0 0 25 0 1 0 196231373 1247219712 302238 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21199/statm: 304497 302238 299 55 0 303389 0
Current children cumulated CPU time (s) 1783.58
Current children cumulated vsize (Kb) 1217988

[startup+1785.17 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 21396
/proc/meminfo: memFree=334056/2055920 swapFree=4180892/4192956
[pid=21199] ppid=21197 vsize=1217988 CPUtime=1784.58
/proc/21199/stat : 21199 (bsolo) R 21197 21199 21153 0 -1 0 309304 0 0 0 177831 627 0 0 25 0 1 0 196231373 1247219712 302238 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21199/statm: 304497 302238 299 55 0 303389 0
Current children cumulated CPU time (s) 1784.58
Current children cumulated vsize (Kb) 1217988

[startup+1786.17 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 21396
/proc/meminfo: memFree=334056/2055920 swapFree=4180892/4192956
[pid=21199] ppid=21197 vsize=1217988 CPUtime=1785.59
/proc/21199/stat : 21199 (bsolo) R 21197 21199 21153 0 -1 0 309304 0 0 0 177932 627 0 0 25 0 1 0 196231373 1247219712 302238 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540691 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21199/statm: 304497 302238 299 55 0 303389 0
Current children cumulated CPU time (s) 1785.59
Current children cumulated vsize (Kb) 1217988

[startup+1787.18 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 21396
/proc/meminfo: memFree=333992/2055920 swapFree=4180892/4192956
[pid=21199] ppid=21197 vsize=1217988 CPUtime=1786.59
/proc/21199/stat : 21199 (bsolo) R 21197 21199 21153 0 -1 0 309305 0 0 0 178032 627 0 0 25 0 1 0 196231373 1247219712 302239 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551605 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21199/statm: 304497 302239 299 55 0 303389 0
Current children cumulated CPU time (s) 1786.59
Current children cumulated vsize (Kb) 1217988

[startup+1788.18 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 21396
/proc/meminfo: memFree=333992/2055920 swapFree=4180892/4192956
[pid=21199] ppid=21197 vsize=1217988 CPUtime=1787.6
/proc/21199/stat : 21199 (bsolo) R 21197 21199 21153 0 -1 0 309306 0 0 0 178133 627 0 0 25 0 1 0 196231373 1247219712 302240 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21199/statm: 304497 302240 299 55 0 303389 0
Current children cumulated CPU time (s) 1787.6
Current children cumulated vsize (Kb) 1217988

[startup+1789.19 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 21396
/proc/meminfo: memFree=333992/2055920 swapFree=4180892/4192956
[pid=21199] ppid=21197 vsize=1217988 CPUtime=1788.61
/proc/21199/stat : 21199 (bsolo) R 21197 21199 21153 0 -1 0 309306 0 0 0 178233 628 0 0 25 0 1 0 196231373 1247219712 302240 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21199/statm: 304497 302240 299 55 0 303389 0
Current children cumulated CPU time (s) 1788.61
Current children cumulated vsize (Kb) 1217988

[startup+1790.2 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 21396
/proc/meminfo: memFree=333992/2055920 swapFree=4180892/4192956
[pid=21199] ppid=21197 vsize=1217988 CPUtime=1789.61
/proc/21199/stat : 21199 (bsolo) R 21197 21199 21153 0 -1 0 309307 0 0 0 178333 628 0 0 25 0 1 0 196231373 1247219712 302241 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134632785 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21199/statm: 304497 302241 299 55 0 303389 0
Current children cumulated CPU time (s) 1789.61
Current children cumulated vsize (Kb) 1217988

[startup+1791.2 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 21396
/proc/meminfo: memFree=333992/2055920 swapFree=4180892/4192956
[pid=21199] ppid=21197 vsize=1217988 CPUtime=1790.61
/proc/21199/stat : 21199 (bsolo) R 21197 21199 21153 0 -1 0 309309 0 0 0 178433 628 0 0 25 0 1 0 196231373 1247219712 302243 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537786 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21199/statm: 304497 302243 299 55 0 303389 0
Current children cumulated CPU time (s) 1790.61
Current children cumulated vsize (Kb) 1217988

[startup+1792.21 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 21396
/proc/meminfo: memFree=333992/2055920 swapFree=4180892/4192956
[pid=21199] ppid=21197 vsize=1217988 CPUtime=1791.62
/proc/21199/stat : 21199 (bsolo) R 21197 21199 21153 0 -1 0 309309 0 0 0 178533 629 0 0 25 0 1 0 196231373 1247219712 302243 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21199/statm: 304497 302243 299 55 0 303389 0
Current children cumulated CPU time (s) 1791.62
Current children cumulated vsize (Kb) 1217988

[startup+1793.21 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 21396
/proc/meminfo: memFree=333992/2055920 swapFree=4180892/4192956
[pid=21199] ppid=21197 vsize=1217988 CPUtime=1792.63
/proc/21199/stat : 21199 (bsolo) R 21197 21199 21153 0 -1 0 309311 0 0 0 178634 629 0 0 25 0 1 0 196231373 1247219712 302245 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21199/statm: 304497 302245 299 55 0 303389 0
Current children cumulated CPU time (s) 1792.63
Current children cumulated vsize (Kb) 1217988

[startup+1794.21 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 21396
/proc/meminfo: memFree=333992/2055920 swapFree=4180892/4192956
[pid=21199] ppid=21197 vsize=1217988 CPUtime=1793.63
/proc/21199/stat : 21199 (bsolo) R 21197 21199 21153 0 -1 0 309311 0 0 0 178734 629 0 0 25 0 1 0 196231373 1247219712 302245 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21199/statm: 304497 302245 299 55 0 303389 0
Current children cumulated CPU time (s) 1793.63
Current children cumulated vsize (Kb) 1217988

[startup+1795.22 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 21396
/proc/meminfo: memFree=333992/2055920 swapFree=4180892/4192956
[pid=21199] ppid=21197 vsize=1217988 CPUtime=1794.63
/proc/21199/stat : 21199 (bsolo) R 21197 21199 21153 0 -1 0 309311 0 0 0 178834 629 0 0 25 0 1 0 196231373 1247219712 302245 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134632785 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21199/statm: 304497 302245 299 55 0 303389 0
Current children cumulated CPU time (s) 1794.63
Current children cumulated vsize (Kb) 1217988

[startup+1796.22 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 21396
/proc/meminfo: memFree=333992/2055920 swapFree=4180892/4192956
[pid=21199] ppid=21197 vsize=1218120 CPUtime=1795.63
/proc/21199/stat : 21199 (bsolo) R 21197 21199 21153 0 -1 0 309313 0 0 0 178934 629 0 0 25 0 1 0 196231373 1247354880 302247 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21199/statm: 304530 302247 299 55 0 303422 0
Current children cumulated CPU time (s) 1795.63
Current children cumulated vsize (Kb) 1218120

[startup+1797.23 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 21396
/proc/meminfo: memFree=333992/2055920 swapFree=4180892/4192956
[pid=21199] ppid=21197 vsize=1218120 CPUtime=1796.65
/proc/21199/stat : 21199 (bsolo) R 21197 21199 21153 0 -1 0 309313 0 0 0 179035 630 0 0 25 0 1 0 196231373 1247354880 302247 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540691 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21199/statm: 304530 302247 299 55 0 303422 0
Current children cumulated CPU time (s) 1796.65
Current children cumulated vsize (Kb) 1218120

[startup+1798.24 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 21396
/proc/meminfo: memFree=333992/2055920 swapFree=4180892/4192956
[pid=21199] ppid=21197 vsize=1218120 CPUtime=1797.65
/proc/21199/stat : 21199 (bsolo) R 21197 21199 21153 0 -1 0 309314 0 0 0 179135 630 0 0 25 0 1 0 196231373 1247354880 302248 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21199/statm: 304530 302248 299 55 0 303422 0
Current children cumulated CPU time (s) 1797.65
Current children cumulated vsize (Kb) 1218120

[startup+1799.24 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 21396
/proc/meminfo: memFree=333992/2055920 swapFree=4180892/4192956
[pid=21199] ppid=21197 vsize=1218120 CPUtime=1798.65
/proc/21199/stat : 21199 (bsolo) R 21197 21199 21153 0 -1 0 309315 0 0 0 179235 630 0 0 25 0 1 0 196231373 1247354880 302249 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718456 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21199/statm: 304530 302249 299 55 0 303422 0
Current children cumulated CPU time (s) 1798.65
Current children cumulated vsize (Kb) 1218120

[startup+1800.25 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 21396
/proc/meminfo: memFree=333992/2055920 swapFree=4180892/4192956
[pid=21199] ppid=21197 vsize=1218120 CPUtime=1799.65
/proc/21199/stat : 21199 (bsolo) R 21197 21199 21153 0 -1 0 309317 0 0 0 179335 630 0 0 25 0 1 0 196231373 1247354880 302251 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21199/statm: 304530 302251 299 55 0 303422 0
Current children cumulated CPU time (s) 1799.65
Current children cumulated vsize (Kb) 1218120

Child status: 0
Real time (s): 1800.77
CPU time (s): 1800.19
CPU user time (s): 1793.69
CPU system time (s): 6.49901
CPU usage (%): 99.9676
Max. virtual memory (cumulated for all children) (Kb): 1218120

Launcher Data (download as text)

Begin job on node23 on Sat Jun  3 03:34:37 UTC 2006


FILE ID= 40576-1149305677

PBS_JOBID= 307618

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos7.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node23/40576-1149305677/instance-40576-1149305677.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node23/watcher-40576-1149305677 -o ROOT/results/node23/solver-40576-1149305677 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node23/40576-1149305677/instance-40576-1149305677.opb

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  f5e09fc51fdb6e7c65b10c880b18ec53

RANDOM SEED= 967824942


/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.213
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	: 5931.00
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.213
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:       1544736 kB
Buffers:         28220 kB
Cached:         409668 kB
SwapCached:       3704 kB
Active:          62972 kB
Inactive:       383552 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1544736 kB
SwapTotal:     4192956 kB
SwapFree:      4180892 kB
Dirty:             184 kB
Writeback:           0 kB
Mapped:          14708 kB
Slab:            50768 kB
Committed_AS:   304092 kB
PageTables:       1424 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node23 on Sat Jun  3 04:04:38 UTC 2006