Trace number 39898

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.02 1800.69

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-share2b.opb
MD5SUM3ec28475c9d1079169f926174383d0c1
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-52
Best CPU time to get the best result obtained on this benchmark4.28135
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -52
Optimality of the best value was proved YES
Number of variables2370
Total number of constraints96
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints96
Minimum length of a constraint30
Maximum length of a constraint360
Number of terms in the objective function 870
Biggest coefficient in the objective function 23589
Number of bits for the biggest coefficient in the objective function 15
Sum of the numbers in the objective function 524951
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262144
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 524951
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

0.00	c Time Limit set via PBTIMEOUT to 1800
0.01	c INFO: OSL Context initialized.
0.11	c Initial problem consists of 2370 variables and 109 constraints.
0.12	c No problem reductions applied in OPT. instance.
0.12	c	preprocess terminated. Elapsed time: 0.107
0.12	c After prepocess the problem consists of 1192 variables and 83 constraints.
0.12	c Initial Lower Bound: -523
0.17	c Restart #1 #Var: 1192 LB: -523 @ 0.16
0.28	c Restart #2 #Var: 1192 LB: -523 @ 0.267
0.45	c Restart #3 #Var: 1192 LB: -523 @ 0.44
0.69	c Restart #4 #Var: 1192 LB: -523 @ 0.678
0.98	c Restart #5 #Var: 1192 LB: -523 @ 0.967
1.23	c Restart #6 #Var: 1192 LB: -523 @ 1.218
1.58	c Restart #7 #Var: 1192 LB: -523 @ 1.568
2.01	c Restart #8 #Var: 1192 LB: -523 @ 2.004
2.37	c Restart #9 #Var: 1192 LB: -523 @ 2.36
2.77	c Restart #10 #Var: 1192 LB: -523 @ 2.758
3.14	c Restart #11 #Var: 1192 LB: -523 @ 3.127
3.59	c Restart #12 #Var: 1192 LB: -523 @ 3.582
4.06	c Restart #13 #Var: 1192 LB: -523 @ 4.047
4.62	c Restart #14 #Var: 1192 LB: -523 @ 4.612
5.20	c Restart #15 #Var: 1192 LB: -523 @ 5.187
5.74	c Restart #16 #Var: 1192 LB: -523 @ 5.732
6.25	c Restart #17 #Var: 1192 LB: -523 @ 6.241
6.92	c Restart #18 #Var: 1192 LB: -523 @ 6.91
7.49	c Restart #19 #Var: 1192 LB: -523 @ 7.481
8.25	c Restart #20 #Var: 1192 LB: -523 @ 8.233
8.95	c Restart #21 #Var: 1192 LB: -523 @ 8.933
9.82	c Restart #22 #Var: 1192 LB: -523 @ 9.806
10.69	c Restart #23 #Var: 1192 LB: -523 @ 10.676
11.65	c Restart #24 #Var: 1192 LB: -523 @ 11.63
12.57	c Restart #25 #Var: 1192 LB: -523 @ 12.552
13.36	c Restart #26 #Var: 1192 LB: -523 @ 13.346
14.37	c Restart #27 #Var: 1192 LB: -523 @ 14.349
15.86	c Restart #28 #Var: 1192 LB: -523 @ 15.837
16.95	c Restart #29 #Var: 1192 LB: -523 @ 16.934
18.09	c Restart #30 #Var: 1192 LB: -523 @ 18.07
19.04	c Restart #31 #Var: 1188 LB: -392 @ 19.022
20.16	c Restart #32 #Var: 1188 LB: -392 @ 20.141
21.31	c Restart #33 #Var: 1188 LB: -392 @ 21.286
22.46	c Restart #34 #Var: 1188 LB: -392 @ 22.44
23.71	c Restart #35 #Var: 1188 LB: -392 @ 23.687
24.85	c Restart #36 #Var: 1188 LB: -392 @ 24.832
26.30	c Restart #37 #Var: 1188 LB: -392 @ 26.279
27.78	c Restart #38 #Var: 1188 LB: -392 @ 27.754
29.26	c Restart #39 #Var: 1188 LB: -392 @ 29.237
30.68	c Restart #40 #Var: 1188 LB: -392 @ 30.659
32.28	c Restart #41 #Var: 1188 LB: -392 @ 32.254
33.92	c Restart #42 #Var: 1188 LB: -392 @ 33.891
35.49	c Restart #43 #Var: 1188 LB: -392 @ 35.46
37.16	c Restart #44 #Var: 1188 LB: -392 @ 37.137
38.94	c Restart #45 #Var: 1188 LB: -392 @ 38.913
40.62	c Restart #46 #Var: 1188 LB: -392 @ 40.586
42.39	c Restart #47 #Var: 1188 LB: -392 @ 42.36
44.07	c Restart #48 #Var: 1188 LB: -392 @ 44.037
45.85	c Restart #49 #Var: 1188 LB: -392 @ 45.821
47.78	c Restart #50 #Var: 1188 LB: -392 @ 47.752
49.56	c Restart #51 #Var: 1188 LB: -392 @ 49.526
51.39	c Restart #52 #Var: 1188 LB: -392 @ 51.361
53.40	c Restart #53 #Var: 1188 LB: -392 @ 53.363
55.30	c Restart #54 #Var: 1188 LB: -392 @ 55.264
56.89	c Restart #55 #Var: 1188 LB: -392 @ 56.86
58.68	c Restart #56 #Var: 1188 LB: -392 @ 58.641
60.83	c Restart #57 #Var: 1188 LB: -392 @ 60.795
63.08	c Restart #58 #Var: 1188 LB: -392 @ 63.045
65.01	c Restart #59 #Var: 1188 LB: -392 @ 64.976
67.22	c Restart #60 #Var: 1188 LB: -392 @ 67.183
69.13	c Restart #61 #Var: 1188 LB: -392 @ 69.091
71.04	c Restart #62 #Var: 1188 LB: -392 @ 70.997
73.03	c Restart #63 #Var: 1188 LB: -392 @ 72.985
75.15	c Restart #64 #Var: 1188 LB: -392 @ 75.109
77.41	c Restart #65 #Var: 1188 LB: -392 @ 77.372
79.50	c Restart #66 #Var: 1188 LB: -392 @ 79.461
82.05	c Restart #67 #Var: 1188 LB: -392 @ 82.007
84.23	c Restart #68 #Var: 1188 LB: -392 @ 84.185
86.64	c Restart #69 #Var: 1188 LB: -392 @ 86.598
89.28	c Restart #70 #Var: 1188 LB: -392 @ 89.234
91.95	c Restart #71 #Var: 1188 LB: -392 @ 91.904
94.31	c Restart #72 #Var: 1188 LB: -392 @ 94.262
97.70	c Restart #73 #Var: 1188 LB: -392 @ 97.652
100.38	c Restart #74 #Var: 1188 LB: -392 @ 100.33
103.12	c Restart #75 #Var: 1188 LB: -392 @ 103.07
106.13	c Restart #76 #Var: 1188 LB: -392 @ 106.07
109.18	c Restart #77 #Var: 1188 LB: -392 @ 109.13
112.11	c Restart #78 #Var: 1188 LB: -392 @ 112.05
114.80	c Restart #79 #Var: 1188 LB: -392 @ 114.74
117.71	c Restart #80 #Var: 1188 LB: -392 @ 117.65
120.13	c Restart #81 #Var: 1188 LB: -392 @ 120.07
123.01	c Restart #82 #Var: 1188 LB: -392 @ 122.96
127.67	c Restart #83 #Var: 1188 LB: -392 @ 127.61
130.46	c Restart #84 #Var: 1188 LB: -392 @ 130.4
133.18	c Restart #85 #Var: 1188 LB: -392 @ 133.11
136.03	c Restart #86 #Var: 1188 LB: -392 @ 135.97
138.97	c Restart #87 #Var: 1188 LB: -392 @ 138.91
142.34	c Restart #88 #Var: 1188 LB: -392 @ 142.27
145.19	c Restart #89 #Var: 1188 LB: -392 @ 145.12
148.26	c Restart #90 #Var: 1188 LB: -392 @ 148.2
151.49	c Restart #91 #Var: 1188 LB: -392 @ 151.42
155.12	c Restart #92 #Var: 1188 LB: -392 @ 155.05
158.70	c Restart #93 #Var: 1188 LB: -392 @ 158.63
161.83	c Restart #94 #Var: 1188 LB: -392 @ 161.76
165.30	c Restart #95 #Var: 1188 LB: -392 @ 165.23
168.80	c Restart #96 #Var: 1188 LB: -392 @ 168.72
172.21	c Restart #97 #Var: 1188 LB: -392 @ 172.13
175.39	c Restart #98 #Var: 1188 LB: -392 @ 175.32
178.61	c Restart #99 #Var: 1188 LB: -392 @ 178.53
182.09	c Restart #100 #Var: 1188 LB: -392 @ 182.01
185.47	c Restart #101 #Var: 1188 LB: -392 @ 185.39
189.32	c Restart #102 #Var: 1188 LB: -392 @ 189.24
192.94	c Restart #103 #Var: 1188 LB: -392 @ 192.86
196.33	c Restart #104 #Var: 1188 LB: -392 @ 196.24
200.01	c Restart #105 #Var: 1188 LB: -392 @ 199.93
203.57	c Restart #106 #Var: 1188 LB: -392 @ 203.48
207.84	c Restart #107 #Var: 1188 LB: -392 @ 207.75
211.82	c Restart #108 #Var: 1188 LB: -392 @ 211.73
216.08	c Restart #109 #Var: 1188 LB: -392 @ 215.99
219.46	c Restart #110 #Var: 1188 LB: -392 @ 219.37
223.46	c Restart #111 #Var: 1188 LB: -392 @ 223.36
227.67	c Restart #112 #Var: 1188 LB: -392 @ 227.58
231.99	c Restart #113 #Var: 1188 LB: -392 @ 231.89
236.01	c Restart #114 #Var: 1188 LB: -392 @ 235.91
240.50	c Restart #115 #Var: 1188 LB: -392 @ 240.4
244.14	c Restart #116 #Var: 1188 LB: -392 @ 244.04
248.12	c Restart #117 #Var: 1188 LB: -392 @ 248.02
252.37	c Restart #118 #Var: 1187 LB: -392 @ 252.26
256.75	c Restart #119 #Var: 1187 LB: -392 @ 256.64
260.69	c Restart #120 #Var: 1187 LB: -392 @ 260.59
264.00	c Restart #121 #Var: 1187 LB: -392 @ 263.89
268.70	c Restart #122 #Var: 1187 LB: -392 @ 268.59
272.01	c Restart #123 #Var: 1187 LB: -392 @ 271.9
276.07	c Restart #124 #Var: 1187 LB: -392 @ 275.96
280.91	c Restart #125 #Var: 1187 LB: -392 @ 280.8
289.24	c Restart #126 #Var: 1187 LB: -392 @ 289.12
298.64	c Restart #127 #Var: 1186 LB: -389 @ 298.52
303.61	c Restart #128 #Var: 1186 LB: -389 @ 303.48
307.53	c Restart #129 #Var: 1186 LB: -389 @ 307.41
312.38	c Restart #130 #Var: 1186 LB: -389 @ 312.25
316.16	c Restart #131 #Var: 1186 LB: -389 @ 316.04
321.08	c Restart #132 #Var: 1186 LB: -389 @ 320.95
326.06	c Restart #133 #Var: 1186 LB: -389 @ 325.93
330.49	c Restart #134 #Var: 1186 LB: -389 @ 330.36
335.99	c Restart #135 #Var: 1186 LB: -389 @ 335.85
340.40	c Restart #136 #Var: 1186 LB: -389 @ 340.27
347.43	c Restart #137 #Var: 1186 LB: -389 @ 347.29
352.25	c Restart #138 #Var: 1186 LB: -389 @ 352.11
357.75	c Restart #139 #Var: 1186 LB: -389 @ 357.61
362.06	c Restart #140 #Var: 1186 LB: -389 @ 361.92
367.17	c Restart #141 #Var: 1186 LB: -389 @ 367.02
372.53	c Restart #142 #Var: 1186 LB: -389 @ 372.38
376.93	c Restart #143 #Var: 1186 LB: -389 @ 376.78
382.13	c Restart #144 #Var: 1186 LB: -389 @ 381.98
388.78	c Restart #145 #Var: 1186 LB: -389 @ 388.62
394.69	c Restart #146 #Var: 1186 LB: -389 @ 394.54
399.35	c Restart #147 #Var: 1186 LB: -389 @ 399.2
404.33	c Restart #148 #Var: 1186 LB: -389 @ 404.17
410.05	c Restart #149 #Var: 1186 LB: -389 @ 409.89
415.88	c Restart #150 #Var: 1186 LB: -389 @ 415.71
420.81	c Restart #151 #Var: 1186 LB: -389 @ 420.65
426.24	c Restart #152 #Var: 1186 LB: -389 @ 426.08
430.84	c Restart #153 #Var: 1186 LB: -389 @ 430.67
436.94	c Restart #154 #Var: 1186 LB: -389 @ 436.77
444.02	c Restart #155 #Var: 1186 LB: -389 @ 443.85
449.72	c Restart #156 #Var: 1186 LB: -389 @ 449.55
456.55	c Restart #157 #Var: 1186 LB: -389 @ 456.37
462.22	c Restart #158 #Var: 1186 LB: -389 @ 462.04
468.01	c Restart #159 #Var: 1186 LB: -389 @ 467.83
473.89	c Restart #160 #Var: 1186 LB: -389 @ 473.7
479.13	c Restart #161 #Var: 1186 LB: -389 @ 478.95
486.04	c Restart #162 #Var: 1185 LB: -389 @ 485.85
493.46	c Restart #163 #Var: 1185 LB: -389 @ 493.27
498.41	c Restart #164 #Var: 1185 LB: -389 @ 498.22
504.31	c Restart #165 #Var: 1185 LB: -389 @ 504.11
510.51	c Restart #166 #Var: 1184 LB: -389 @ 510.31
516.15	c Restart #167 #Var: 1184 LB: -389 @ 515.95
522.14	c Restart #168 #Var: 1184 LB: -389 @ 521.94
528.53	c Restart #169 #Var: 1184 LB: -389 @ 528.33
533.76	c Restart #170 #Var: 1184 LB: -389 @ 533.55
539.12	c Restart #171 #Var: 1184 LB: -389 @ 538.91
546.16	c Restart #172 #Var: 1183 LB: -388 @ 545.95
553.07	c Restart #173 #Var: 1183 LB: -388 @ 552.86
558.21	c Restart #174 #Var: 1183 LB: -388 @ 558
564.40	c Restart #175 #Var: 1183 LB: -388 @ 564.18
569.73	c Restart #176 #Var: 1183 LB: -388 @ 569.51
575.61	c Restart #177 #Var: 1183 LB: -388 @ 575.39
582.33	c Restart #178 #Var: 1183 LB: -388 @ 582.1
589.39	c Restart #179 #Var: 1183 LB: -388 @ 589.17
597.22	c Restart #180 #Var: 1183 LB: -388 @ 596.99
602.38	c Restart #181 #Var: 1183 LB: -388 @ 602.15
608.40	c Restart #182 #Var: 1183 LB: -388 @ 608.16
614.83	c Restart #183 #Var: 1183 LB: -388 @ 614.6
622.16	c Restart #184 #Var: 1183 LB: -388 @ 621.92
627.58	c Restart #185 #Var: 1183 LB: -388 @ 627.34
634.41	c Restart #186 #Var: 1183 LB: -388 @ 634.17
640.28	c Restart #187 #Var: 1183 LB: -388 @ 640.03
646.85	c Restart #188 #Var: 1183 LB: -388 @ 646.6
652.88	c Restart #189 #Var: 1183 LB: -388 @ 652.63
658.70	c Restart #190 #Var: 1183 LB: -388 @ 658.45
666.67	c Restart #191 #Var: 1183 LB: -388 @ 666.42
673.06	c Restart #192 #Var: 1183 LB: -388 @ 672.8
681.11	c Restart #193 #Var: 1183 LB: -388 @ 680.86
702.26	c Restart #194 #Var: 1179 LB: -376 @ 701.99
707.73	c Restart #195 #Var: 1179 LB: -376 @ 707.46
718.73	c Restart #196 #Var: 1179 LB: -376 @ 718.46
727.56	c Restart #197 #Var: 1179 LB: -376 @ 727.29
734.72	c Restart #198 #Var: 1179 LB: -376 @ 734.44
740.57	c Restart #199 #Var: 1179 LB: -376 @ 740.29
746.84	c Restart #200 #Var: 1179 LB: -376 @ 746.56
757.55	c Restart #201 #Var: 1179 LB: -376 @ 757.27
764.63	c Restart #202 #Var: 1179 LB: -376 @ 764.34
770.01	c Restart #203 #Var: 1179 LB: -376 @ 769.72
776.69	c Restart #204 #Var: 1179 LB: -376 @ 776.39
783.72	c Restart #205 #Var: 1179 LB: -376 @ 783.43
795.29	c Restart #206 #Var: 1179 LB: -376 @ 794.99
801.66	c Restart #207 #Var: 1179 LB: -376 @ 801.35
809.52	c Restart #208 #Var: 1179 LB: -376 @ 809.22
816.35	c Restart #209 #Var: 1179 LB: -376 @ 816.04
823.75	c Restart #210 #Var: 1179 LB: -376 @ 823.44
830.95	c Restart #211 #Var: 1179 LB: -376 @ 830.63
838.36	c Restart #212 #Var: 1179 LB: -376 @ 838.04
846.49	c Restart #213 #Var: 1179 LB: -376 @ 846.17
853.30	c Restart #214 #Var: 1179 LB: -376 @ 852.98
861.24	c Restart #215 #Var: 1179 LB: -376 @ 860.91
869.95	c Restart #216 #Var: 1179 LB: -376 @ 869.63
877.48	c Restart #217 #Var: 1179 LB: -376 @ 877.16
885.99	c Restart #218 #Var: 1179 LB: -376 @ 885.65
893.78	c Restart #219 #Var: 1179 LB: -376 @ 893.45
901.18	c CHANGE Heuristic... 
901.18	c Restart #0 #Var: 1179 LB: -376 @ 900.85
901.28	c Restart #1 #Var: 1179 LB: -376 @ 900.94
903.57	c Restart #2 #Var: 1179 LB: -376 @ 903.23
903.89	c Restart #3 #Var: 1179 LB: -376 @ 903.55
904.50	c Restart #4 #Var: 1179 LB: -376 @ 904.16
907.39	c Restart #5 #Var: 1179 LB: -376 @ 907.05
907.62	c Restart #6 #Var: 1179 LB: -376 @ 907.28
907.85	c Restart #7 #Var: 1179 LB: -376 @ 907.51
908.14	c Restart #8 #Var: 1179 LB: -376 @ 907.8
908.45	c Restart #9 #Var: 1179 LB: -376 @ 908.11
908.80	c Restart #10 #Var: 1179 LB: -376 @ 908.46
919.40	c Restart #11 #Var: 1178 LB: -376 @ 919.05
922.27	c Restart #12 #Var: 1178 LB: -376 @ 921.93
922.72	c Restart #13 #Var: 1178 LB: -376 @ 922.38
923.20	c Restart #14 #Var: 1178 LB: -376 @ 922.85
925.64	c Restart #15 #Var: 1178 LB: -376 @ 925.3
926.18	c Restart #16 #Var: 1178 LB: -376 @ 925.83
926.80	c Restart #17 #Var: 1178 LB: -376 @ 926.46
927.52	c Restart #18 #Var: 1178 LB: -376 @ 927.18
928.23	c Restart #19 #Var: 1178 LB: -376 @ 927.89
928.97	c Restart #20 #Var: 1178 LB: -376 @ 928.62
929.71	c Restart #21 #Var: 1178 LB: -376 @ 929.36
930.46	c Restart #22 #Var: 1178 LB: -376 @ 930.11
931.28	c Restart #23 #Var: 1178 LB: -376 @ 930.93
932.23	c Restart #24 #Var: 1178 LB: -376 @ 931.88
933.07	c Restart #25 #Var: 1178 LB: -376 @ 932.73
934.09	c Restart #26 #Var: 1178 LB: -376 @ 933.75
935.00	c Restart #27 #Var: 1178 LB: -376 @ 934.65
936.07	c Restart #28 #Var: 1178 LB: -376 @ 935.72
937.08	c Restart #29 #Var: 1178 LB: -376 @ 936.73
938.17	c Restart #30 #Var: 1178 LB: -376 @ 937.82
939.36	c Restart #31 #Var: 1178 LB: -376 @ 939.01
940.48	c Restart #32 #Var: 1178 LB: -376 @ 940.13
941.59	c Restart #33 #Var: 1178 LB: -376 @ 941.24
942.85	c Restart #34 #Var: 1178 LB: -376 @ 942.5
944.21	c Restart #35 #Var: 1178 LB: -376 @ 943.85
945.44	c Restart #36 #Var: 1178 LB: -376 @ 945.08
946.83	c Restart #37 #Var: 1178 LB: -376 @ 946.47
948.32	c Restart #38 #Var: 1178 LB: -376 @ 947.97
949.61	c Restart #39 #Var: 1178 LB: -376 @ 949.26
950.90	c Restart #40 #Var: 1178 LB: -376 @ 950.55
952.36	c Restart #41 #Var: 1178 LB: -376 @ 952.01
953.79	c Restart #42 #Var: 1178 LB: -376 @ 953.44
955.38	c Restart #43 #Var: 1178 LB: -376 @ 955.02
956.83	c Restart #44 #Var: 1178 LB: -376 @ 956.47
958.53	c Restart #45 #Var: 1178 LB: -376 @ 958.17
960.12	c Restart #46 #Var: 1178 LB: -376 @ 959.76
961.81	c Restart #47 #Var: 1178 LB: -376 @ 961.46
963.39	c Restart #48 #Var: 1178 LB: -376 @ 963.03
965.24	c Restart #49 #Var: 1178 LB: -376 @ 964.88
967.11	c Restart #50 #Var: 1178 LB: -376 @ 966.75
969.04	c Restart #51 #Var: 1178 LB: -376 @ 968.68
970.78	c Restart #52 #Var: 1178 LB: -376 @ 970.41
972.77	c Restart #53 #Var: 1178 LB: -376 @ 972.41
974.60	c Restart #54 #Var: 1178 LB: -376 @ 974.24
976.69	c Restart #55 #Var: 1178 LB: -376 @ 976.33
978.60	c Restart #56 #Var: 1178 LB: -376 @ 978.24
980.81	c Restart #57 #Var: 1178 LB: -376 @ 980.44
983.09	c Restart #58 #Var: 1178 LB: -376 @ 982.73
985.21	c Restart #59 #Var: 1178 LB: -376 @ 984.84
987.44	c Restart #60 #Var: 1178 LB: -376 @ 987.07
989.70	c Restart #61 #Var: 1178 LB: -376 @ 989.33
991.86	c Restart #62 #Var: 1178 LB: -376 @ 991.49
994.30	c Restart #63 #Var: 1178 LB: -376 @ 993.93
996.28	c Restart #64 #Var: 1178 LB: -376 @ 995.91
998.58	c Restart #65 #Var: 1178 LB: -376 @ 998.21
1001.01	c Restart #66 #Var: 1178 LB: -376 @ 1000.6
1003.66	c Restart #67 #Var: 1178 LB: -376 @ 1003.3
1005.85	c Restart #68 #Var: 1178 LB: -376 @ 1005.5
1008.49	c Restart #69 #Var: 1178 LB: -376 @ 1008.1
1011.25	c Restart #70 #Var: 1178 LB: -376 @ 1010.9
1013.44	c Restart #71 #Var: 1178 LB: -376 @ 1013.1
1016.64	c Restart #72 #Var: 1178 LB: -376 @ 1016.3
1019.31	c Restart #73 #Var: 1178 LB: -376 @ 1018.9
1022.08	c Restart #74 #Var: 1178 LB: -376 @ 1021.7
1024.36	c Restart #75 #Var: 1178 LB: -376 @ 1024
1027.30	c Restart #76 #Var: 1178 LB: -376 @ 1026.9
1029.77	c Restart #77 #Var: 1178 LB: -376 @ 1029.4
1032.68	c Restart #78 #Var: 1178 LB: -376 @ 1032.3
1036.10	c Restart #79 #Var: 1178 LB: -376 @ 1035.7
1039.12	c Restart #80 #Var: 1178 LB: -376 @ 1038.7
1041.75	c Restart #81 #Var: 1178 LB: -376 @ 1041.4
1044.99	c Restart #82 #Var: 1178 LB: -376 @ 1044.6
1047.54	c Restart #83 #Var: 1178 LB: -376 @ 1047.1
1050.14	c Restart #84 #Var: 1178 LB: -376 @ 1049.8
1053.06	c Restart #85 #Var: 1178 LB: -376 @ 1052.7
1056.19	c Restart #86 #Var: 1178 LB: -376 @ 1055.8
1059.57	c Restart #87 #Var: 1178 LB: -376 @ 1059.2
1062.75	c Restart #88 #Var: 1178 LB: -376 @ 1062.4
1065.97	c Restart #89 #Var: 1178 LB: -376 @ 1065.6
1069.34	c Restart #90 #Var: 1178 LB: -376 @ 1068.9
1072.69	c Restart #91 #Var: 1178 LB: -376 @ 1072.3
1076.15	c Restart #92 #Var: 1178 LB: -376 @ 1075.8
1079.52	c Restart #93 #Var: 1178 LB: -376 @ 1079.1
1083.00	c Restart #94 #Var: 1178 LB: -376 @ 1082.6
1086.42	c Restart #95 #Var: 1178 LB: -376 @ 1086
1089.96	c Restart #96 #Var: 1178 LB: -376 @ 1089.6
1093.47	c Restart #97 #Var: 1178 LB: -376 @ 1093.1
1097.11	c Restart #98 #Var: 1178 LB: -376 @ 1096.7
1100.69	c Restart #99 #Var: 1178 LB: -376 @ 1100.3
1104.38	c Restart #100 #Var: 1178 LB: -376 @ 1104
1108.02	c Restart #101 #Var: 1178 LB: -376 @ 1107.6
1111.79	c Restart #102 #Var: 1178 LB: -376 @ 1111.4
1115.53	c Restart #103 #Var: 1178 LB: -376 @ 1115.1
1119.40	c Restart #104 #Var: 1178 LB: -376 @ 1119
1123.19	c Restart #105 #Var: 1178 LB: -376 @ 1122.8
1127.11	c Restart #106 #Var: 1178 LB: -376 @ 1126.7
1130.95	c Restart #107 #Var: 1178 LB: -376 @ 1130.5
1134.98	c Restart #108 #Var: 1178 LB: -376 @ 1134.6
1138.92	c Restart #109 #Var: 1178 LB: -376 @ 1138.5
1143.01	c Restart #110 #Var: 1178 LB: -376 @ 1142.6
1147.00	c Restart #111 #Var: 1178 LB: -376 @ 1146.6
1151.13	c Restart #112 #Var: 1178 LB: -376 @ 1150.7
1155.22	c Restart #113 #Var: 1178 LB: -376 @ 1154.8
1159.47	c Restart #114 #Var: 1178 LB: -376 @ 1159
1163.57	c Restart #115 #Var: 1178 LB: -376 @ 1163.1
1168.06	c Restart #116 #Var: 1178 LB: -376 @ 1167.6
1171.33	c Restart #117 #Var: 1178 LB: -376 @ 1170.9
1175.90	c Restart #118 #Var: 1178 LB: -376 @ 1175.5
1180.47	c Restart #119 #Var: 1178 LB: -376 @ 1180
1184.55	c Restart #120 #Var: 1178 LB: -376 @ 1184.1
1189.28	c Restart #121 #Var: 1178 LB: -376 @ 1188.8
1194.70	c Restart #122 #Var: 1178 LB: -376 @ 1194.3
1199.49	c Restart #123 #Var: 1178 LB: -376 @ 1199
1203.60	c Restart #124 #Var: 1178 LB: -376 @ 1203.2
1208.00	c Restart #125 #Var: 1178 LB: -376 @ 1207.6
1212.43	c Restart #126 #Var: 1178 LB: -376 @ 1212
1217.16	c Restart #127 #Var: 1178 LB: -376 @ 1216.7
1221.52	c Restart #128 #Var: 1178 LB: -376 @ 1221.1
1226.69	c Restart #129 #Var: 1178 LB: -376 @ 1226.2
1231.08	c Restart #130 #Var: 1178 LB: -376 @ 1230.6
1242.77	c Restart #131 #Var: 1178 LB: -376 @ 1242.3
1247.32	c Restart #132 #Var: 1178 LB: -376 @ 1246.9
1251.96	c Restart #133 #Var: 1178 LB: -376 @ 1251.5
1256.74	c Restart #134 #Var: 1178 LB: -376 @ 1256.3
1261.72	c Restart #135 #Var: 1178 LB: -376 @ 1261.3
1266.62	c Restart #136 #Var: 1178 LB: -376 @ 1266.2
1272.14	c Restart #137 #Var: 1178 LB: -376 @ 1271.7
1277.06	c Restart #138 #Var: 1178 LB: -376 @ 1276.6
1290.04	c Restart #139 #Var: 1178 LB: -376 @ 1289.6
1320.87	c Restart #140 #Var: 1178 LB: -376 @ 1320.4
1327.93	c Restart #141 #Var: 1178 LB: -376 @ 1327.4
1333.39	c Restart #142 #Var: 1178 LB: -376 @ 1332.9
1339.21	c Restart #143 #Var: 1178 LB: -376 @ 1338.7
1350.36	c Restart #144 #Var: 1178 LB: -376 @ 1349.9
1354.68	c Restart #145 #Var: 1178 LB: -376 @ 1354.2
1359.65	c Restart #146 #Var: 1178 LB: -376 @ 1359.1
1364.47	c Restart #147 #Var: 1178 LB: -376 @ 1364
1369.14	c Restart #148 #Var: 1178 LB: -376 @ 1368.6
1375.26	c Restart #149 #Var: 1178 LB: -376 @ 1374.8
1392.29	c Restart #150 #Var: 1178 LB: -376 @ 1391.8
1413.87	c Restart #151 #Var: 1178 LB: -376 @ 1413.3
1420.27	c Restart #152 #Var: 1178 LB: -376 @ 1419.7
1425.35	c Restart #153 #Var: 1178 LB: -376 @ 1424.8
1430.40	c Restart #154 #Var: 1178 LB: -376 @ 1429.9
1435.41	c Restart #155 #Var: 1178 LB: -376 @ 1434.9
1439.97	c Restart #156 #Var: 1178 LB: -376 @ 1439.4
1445.37	c Restart #157 #Var: 1178 LB: -376 @ 1444.8
1451.92	c Restart #158 #Var: 1178 LB: -376 @ 1451.4
1456.72	c Restart #159 #Var: 1178 LB: -376 @ 1456.2
1462.29	c Restart #160 #Var: 1178 LB: -376 @ 1461.8
1469.01	c Restart #161 #Var: 1178 LB: -376 @ 1468.5
1476.07	c Restart #162 #Var: 1178 LB: -376 @ 1475.5
1481.21	c Restart #163 #Var: 1178 LB: -376 @ 1480.7
1487.96	c Restart #164 #Var: 1178 LB: -376 @ 1487.4
1494.03	c Restart #165 #Var: 1178 LB: -376 @ 1493.5
1500.08	c Restart #166 #Var: 1178 LB: -376 @ 1499.5
1506.22	c Restart #167 #Var: 1178 LB: -376 @ 1505.7
1512.36	c Restart #168 #Var: 1178 LB: -376 @ 1511.8
1519.26	c Restart #169 #Var: 1178 LB: -376 @ 1518.7
1524.98	c Restart #170 #Var: 1178 LB: -376 @ 1524.4
1530.71	c Restart #171 #Var: 1178 LB: -376 @ 1530.1
1537.73	c Restart #172 #Var: 1178 LB: -376 @ 1537.2
1544.20	c Restart #173 #Var: 1178 LB: -376 @ 1543.6
1549.70	c Restart #174 #Var: 1178 LB: -376 @ 1549.1
1555.54	c Restart #175 #Var: 1178 LB: -376 @ 1555
1563.10	c Restart #176 #Var: 1178 LB: -376 @ 1562.5
1568.77	c Restart #177 #Var: 1178 LB: -376 @ 1568.2
1574.38	c Restart #178 #Var: 1176 LB: -310 @ 1573.8
1581.22	c Restart #179 #Var: 1175 LB: -310 @ 1580.6
1607.06	c Restart #180 #Var: 1174 LB: -310 @ 1606.5
1612.93	c Restart #181 #Var: 1174 LB: -310 @ 1612.3
1620.33	c Restart #182 #Var: 1174 LB: -310 @ 1619.7
1630.37	c Restart #183 #Var: 1174 LB: -310 @ 1629.8
1656.29	c Restart #184 #Var: 1174 LB: -310 @ 1655.7
1682.67	c Restart #185 #Var: 1174 LB: -310 @ 1682
1689.82	c Restart #186 #Var: 1174 LB: -310 @ 1689.2
1735.71	c Restart #187 #Var: 1174 LB: -310 @ 1735.1
1741.52	c Restart #188 #Var: 1174 LB: -310 @ 1740.9
1747.97	c Restart #189 #Var: 1174 LB: -310 @ 1747.3
1754.35	c Restart #190 #Var: 1174 LB: -310 @ 1753.7
1760.82	c Restart #191 #Var: 1174 LB: -310 @ 1760.2
1767.19	c Restart #192 #Var: 1174 LB: -310 @ 1766.5
1774.30	c Restart #193 #Var: 1174 LB: -310 @ 1773.6
1782.38	c Restart #194 #Var: 1174 LB: -310 @ 1781.7
1790.67	c Restart #195 #Var: 1174 LB: -310 @ 1790
1797.05	c Restart #196 #Var: 1174 LB: -310 @ 1796.4
1800.66	s UNKNOWN
1800.66	c Exit Code: 0
1800.66	c Total time: 1800 s

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGKILL): 1843200 Kb
Enforcing VSIZE limit: 1887436800 bytes
runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node80/watcher-39898-1149325967 -o ROOT/results/node80/solver-39898-1149325967 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node80/39898-1149325967/instance-39898-1149325967.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.92 0.95 0.96 2/67 6880
/proc/meminfo: memFree=1542928/2055888 swapFree=4085432/4096564
[pid=6880] ppid=6878 vsize=4928 CPUtime=0
/proc/6880/stat : 6880 (bsolo) R 6878 6880 6834 0 -1 0 278 0 0 0 0 0 0 0 18 0 1 0 198235291 5046272 248 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158046217 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6880/statm: 1233 254 164 55 0 124 0

[startup+10.0025 s]
/proc/loadavg: 0.93 0.96 0.96 2/67 6880
/proc/meminfo: memFree=1536152/2055888 swapFree=4085432/4096564
[pid=6880] ppid=6878 vsize=11236 CPUtime=9.97
/proc/6880/stat : 6880 (bsolo) R 6878 6880 6834 0 -1 0 2062 0 0 0 990 7 0 0 25 0 1 0 198235291 11505664 1978 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718240 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6880/statm: 2809 1978 294 55 0 1700 0
Current children cumulated CPU time (s) 9.97
Current children cumulated vsize (Kb) 11236

[startup+20.0086 s]
/proc/loadavg: 0.94 0.96 0.96 2/67 6880
/proc/meminfo: memFree=1536152/2055888 swapFree=4085432/4096564
[pid=6880] ppid=6878 vsize=11368 CPUtime=19.98
/proc/6880/stat : 6880 (bsolo) R 6878 6880 6834 0 -1 0 2080 0 0 0 1989 9 0 0 25 0 1 0 198235291 11640832 1996 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6880/statm: 2842 1996 294 55 0 1733 0
Current children cumulated CPU time (s) 19.98
Current children cumulated vsize (Kb) 11368

[startup+30.0147 s]
/proc/loadavg: 0.95 0.96 0.96 2/67 6880
/proc/meminfo: memFree=1536216/2055888 swapFree=4085432/4096564
[pid=6880] ppid=6878 vsize=11368 CPUtime=29.98
/proc/6880/stat : 6880 (bsolo) R 6878 6880 6834 0 -1 0 2080 0 0 0 2988 10 0 0 25 0 1 0 198235291 11640832 1996 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6880/statm: 2842 1996 294 55 0 1733 0
Current children cumulated CPU time (s) 29.98
Current children cumulated vsize (Kb) 11368

[startup+40.0207 s]
/proc/loadavg: 0.96 0.96 0.96 2/67 6880
/proc/meminfo: memFree=1536216/2055888 swapFree=4085432/4096564
[pid=6880] ppid=6878 vsize=11368 CPUtime=39.98
/proc/6880/stat : 6880 (bsolo) R 6878 6880 6834 0 -1 0 2080 0 0 0 3987 11 0 0 25 0 1 0 198235291 11640832 1996 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718642 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6880/statm: 2842 1996 294 55 0 1733 0
Current children cumulated CPU time (s) 39.98
Current children cumulated vsize (Kb) 11368

[startup+50.0268 s]
/proc/loadavg: 0.96 0.96 0.96 2/67 6880
/proc/meminfo: memFree=1536216/2055888 swapFree=4085432/4096564
[pid=6880] ppid=6878 vsize=11368 CPUtime=49.98
/proc/6880/stat : 6880 (bsolo) R 6878 6880 6834 0 -1 0 2080 0 0 0 4985 13 0 0 25 0 1 0 198235291 11640832 1996 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6880/statm: 2842 1996 294 55 0 1733 0
Current children cumulated CPU time (s) 49.98
Current children cumulated vsize (Kb) 11368

[startup+60.0329 s]
/proc/loadavg: 0.97 0.96 0.96 2/67 6880
/proc/meminfo: memFree=1536216/2055888 swapFree=4085432/4096564
[pid=6880] ppid=6878 vsize=11368 CPUtime=59.99
/proc/6880/stat : 6880 (bsolo) R 6878 6880 6834 0 -1 0 2080 0 0 0 5983 16 0 0 25 0 1 0 198235291 11640832 1996 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134604186 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6880/statm: 2842 1996 294 55 0 1733 0
Current children cumulated CPU time (s) 59.99
Current children cumulated vsize (Kb) 11368

[startup+70.039 s]
/proc/loadavg: 0.97 0.96 0.96 2/67 6880
/proc/meminfo: memFree=1536216/2055888 swapFree=4085432/4096564
[pid=6880] ppid=6878 vsize=11368 CPUtime=69.99
/proc/6880/stat : 6880 (bsolo) R 6878 6880 6834 0 -1 0 2084 0 0 0 6981 18 0 0 25 0 1 0 198235291 11640832 2000 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6880/statm: 2842 2000 294 55 0 1733 0
Current children cumulated CPU time (s) 69.99
Current children cumulated vsize (Kb) 11368

[startup+80.045 s]
/proc/loadavg: 0.98 0.96 0.96 2/67 6880
/proc/meminfo: memFree=1536216/2055888 swapFree=4085432/4096564
[pid=6880] ppid=6878 vsize=11368 CPUtime=79.99
/proc/6880/stat : 6880 (bsolo) R 6878 6880 6834 0 -1 0 2084 0 0 0 7979 20 0 0 25 0 1 0 198235291 11640832 2000 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134604172 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6880/statm: 2842 2000 294 55 0 1733 0
Current children cumulated CPU time (s) 79.99
Current children cumulated vsize (Kb) 11368

[startup+90.0511 s]
/proc/loadavg: 0.98 0.96 0.96 2/67 6880
/proc/meminfo: memFree=1536152/2055888 swapFree=4085432/4096564
[pid=6880] ppid=6878 vsize=11376 CPUtime=89.99
/proc/6880/stat : 6880 (bsolo) R 6878 6880 6834 0 -1 0 2101 0 0 0 8978 21 0 0 25 0 1 0 198235291 11649024 2015 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6880/statm: 2844 2015 294 55 0 1735 0
Current children cumulated CPU time (s) 89.99
Current children cumulated vsize (Kb) 11376

[startup+100.057 s]
/proc/loadavg: 0.98 0.96 0.96 2/67 6880
/proc/meminfo: memFree=1536152/2055888 swapFree=4085432/4096564
[pid=6880] ppid=6878 vsize=11376 CPUtime=100
/proc/6880/stat : 6880 (bsolo) R 6878 6880 6834 0 -1 0 2101 0 0 0 9977 23 0 0 25 0 1 0 198235291 11649024 2015 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6880/statm: 2844 2015 294 55 0 1735 0
Current children cumulated CPU time (s) 100
Current children cumulated vsize (Kb) 11376

[startup+110.062 s]
/proc/loadavg: 0.98 0.97 0.96 2/67 6880
/proc/meminfo: memFree=1536152/2055888 swapFree=4085432/4096564
[pid=6880] ppid=6878 vsize=11376 CPUtime=110
/proc/6880/stat : 6880 (bsolo) R 6878 6880 6834 0 -1 0 2101 0 0 0 10976 24 0 0 25 0 1 0 198235291 11649024 2015 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548375 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6880/statm: 2844 2015 294 55 0 1735 0
Current children cumulated CPU time (s) 110
Current children cumulated vsize (Kb) 11376

[startup+120.068 s]
/proc/loadavg: 0.99 0.97 0.96 2/67 6880
/proc/meminfo: memFree=1536152/2055888 swapFree=4085432/4096564
[pid=6880] ppid=6878 vsize=11376 CPUtime=120
/proc/6880/stat : 6880 (bsolo) R 6878 6880 6834 0 -1 0 2101 0 0 0 11975 25 0 0 25 0 1 0 198235291 11649024 2015 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6880/statm: 2844 2015 294 55 0 1735 0
Current children cumulated CPU time (s) 120
Current children cumulated vsize (Kb) 11376

[startup+130.074 s]
/proc/loadavg: 0.99 0.97 0.96 2/67 6880
/proc/meminfo: memFree=1536152/2055888 swapFree=4085432/4096564
[pid=6880] ppid=6878 vsize=11376 CPUtime=130.01
/proc/6880/stat : 6880 (bsolo) R 6878 6880 6834 0 -1 0 2101 0 0 0 12973 28 0 0 25 0 1 0 198235291 11649024 2015 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6880/statm: 2844 2015 294 55 0 1735 0
Current children cumulated CPU time (s) 130.01
Current children cumulated vsize (Kb) 11376

[startup+140.08 s]
/proc/loadavg: 0.99 0.97 0.96 2/67 6880
/proc/meminfo: memFree=1536152/2055888 swapFree=4085432/4096564
[pid=6880] ppid=6878 vsize=11376 CPUtime=140.01
/proc/6880/stat : 6880 (bsolo) R 6878 6880 6834 0 -1 0 2101 0 0 0 13971 30 0 0 25 0 1 0 198235291 11649024 2015 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6880/statm: 2844 2015 294 55 0 1735 0
Current children cumulated CPU time (s) 140.01
Current children cumulated vsize (Kb) 11376

[startup+150.088 s]
/proc/loadavg: 0.99 0.97 0.96 2/67 6880
/proc/meminfo: memFree=1536152/2055888 swapFree=4085432/4096564
[pid=6880] ppid=6878 vsize=11376 CPUtime=150.01
/proc/6880/stat : 6880 (bsolo) R 6878 6880 6834 0 -1 0 2101 0 0 0 14970 31 0 0 25 0 1 0 198235291 11649024 2015 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6880/statm: 2844 2015 294 55 0 1735 0
Current children cumulated CPU time (s) 150.01
Current children cumulated vsize (Kb) 11376

[startup+160.094 s]
/proc/loadavg: 0.99 0.97 0.96 2/67 6880
/proc/meminfo: memFree=1536152/2055888 swapFree=4085432/4096564
[pid=6880] ppid=6878 vsize=11376 CPUtime=160.01
/proc/6880/stat : 6880 (bsolo) R 6878 6880 6834 0 -1 0 2101 0 0 0 15968 33 0 0 25 0 1 0 198235291 11649024 2015 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6880/statm: 2844 2015 294 55 0 1735 0
Current children cumulated CPU time (s) 160.01
Current children cumulated vsize (Kb) 11376

[startup+170.1 s]
/proc/loadavg: 0.99 0.97 0.96 2/67 6880
/proc/meminfo: memFree=1536152/2055888 swapFree=4085432/4096564
[pid=6880] ppid=6878 vsize=11376 CPUtime=170.02
/proc/6880/stat : 6880 (bsolo) R 6878 6880 6834 0 -1 0 2101 0 0 0 16967 35 0 0 25 0 1 0 198235291 11649024 2015 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6880/statm: 2844 2015 294 55 0 1735 0
Current children cumulated CPU time (s) 170.02
Current children cumulated vsize (Kb) 11376

[startup+180.106 s]
/proc/loadavg: 0.99 0.97 0.96 2/67 6880
/proc/meminfo: memFree=1536152/2055888 swapFree=4085432/4096564
[pid=6880] ppid=6878 vsize=11376 CPUtime=180.02
/proc/6880/stat : 6880 (bsolo) R 6878 6880 6834 0 -1 0 2101 0 0 0 17964 38 0 0 25 0 1 0 198235291 11649024 2015 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134696488 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6880/statm: 2844 2015 294 55 0 1735 0
Current children cumulated CPU time (s) 180.02
Current children cumulated vsize (Kb) 11376

[startup+190.112 s]
/proc/loadavg: 0.99 0.97 0.96 2/67 6880
/proc/meminfo: memFree=1536024/2055888 swapFree=4085432/4096564
[pid=6880] ppid=6878 vsize=11508 CPUtime=190.02
/proc/6880/stat : 6880 (bsolo) R 6878 6880 6834 0 -1 0 2130 0 0 0 18962 40 0 0 25 0 1 0 198235291 11784192 2044 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6880/statm: 2877 2044 294 55 0 1768 0
Current children cumulated CPU time (s) 190.02
Current children cumulated vsize (Kb) 11508

[startup+200.118 s]
/proc/loadavg: 0.99 0.97 0.96 2/67 6880
/proc/meminfo: memFree=1536024/2055888 swapFree=4085432/4096564
[pid=6880] ppid=6878 vsize=11508 CPUtime=200.02
/proc/6880/stat : 6880 (bsolo) R 6878 6880 6834 0 -1 0 2130 0 0 0 19960 42 0 0 25 0 1 0 198235291 11784192 2044 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6880/statm: 2877 2044 294 55 0 1768 0
Current children cumulated CPU time (s) 200.02
Current children cumulated vsize (Kb) 11508

[startup+210.124 s]
/proc/loadavg: 0.99 0.97 0.96 2/67 6880
/proc/meminfo: memFree=1536024/2055888 swapFree=4085432/4096564

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

/proc/6880/statm: 29256 28390 294 55 0 28147 0
Current children cumulated CPU time (s) 1760.41
Current children cumulated vsize (Kb) 117024

[startup+1771.07 s]
/proc/loadavg: 0.99 0.97 0.96 2/67 6882
/proc/meminfo: memFree=1429784/2055888 swapFree=4085432/4096564
[pid=6880] ppid=6878 vsize=117024 CPUtime=1770.41
/proc/6880/stat : 6880 (bsolo) R 6878 6880 6834 0 -1 0 29639 0 0 0 176713 328 0 0 25 0 1 0 198235291 119832576 28390 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6880/statm: 29256 28390 294 55 0 28147 0
Current children cumulated CPU time (s) 1770.41
Current children cumulated vsize (Kb) 117024

[startup+1781.08 s]
/proc/loadavg: 0.99 0.97 0.96 2/67 6882
/proc/meminfo: memFree=1429784/2055888 swapFree=4085432/4096564
[pid=6880] ppid=6878 vsize=117024 CPUtime=1780.41
/proc/6880/stat : 6880 (bsolo) R 6878 6880 6834 0 -1 0 29639 0 0 0 177711 330 0 0 25 0 1 0 198235291 119832576 28390 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6880/statm: 29256 28390 294 55 0 28147 0
Current children cumulated CPU time (s) 1780.41
Current children cumulated vsize (Kb) 117024

[startup+1782.08 s]
/proc/loadavg: 0.99 0.97 0.96 2/67 6882
/proc/meminfo: memFree=1429784/2055888 swapFree=4085432/4096564
[pid=6880] ppid=6878 vsize=117024 CPUtime=1781.42
/proc/6880/stat : 6880 (bsolo) R 6878 6880 6834 0 -1 0 29639 0 0 0 177811 331 0 0 25 0 1 0 198235291 119832576 28390 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6880/statm: 29256 28390 294 55 0 28147 0
Current children cumulated CPU time (s) 1781.42
Current children cumulated vsize (Kb) 117024

[startup+1783.09 s]
/proc/loadavg: 0.99 0.97 0.96 2/67 6882
/proc/meminfo: memFree=1429784/2055888 swapFree=4085432/4096564
[pid=6880] ppid=6878 vsize=117024 CPUtime=1782.42
/proc/6880/stat : 6880 (bsolo) R 6878 6880 6834 0 -1 0 29639 0 0 0 177911 331 0 0 25 0 1 0 198235291 119832576 28390 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6880/statm: 29256 28390 294 55 0 28147 0
Current children cumulated CPU time (s) 1782.42
Current children cumulated vsize (Kb) 117024

[startup+1784.09 s]
/proc/loadavg: 0.99 0.97 0.96 2/67 6882
/proc/meminfo: memFree=1429784/2055888 swapFree=4085432/4096564
[pid=6880] ppid=6878 vsize=117024 CPUtime=1783.42
/proc/6880/stat : 6880 (bsolo) R 6878 6880 6834 0 -1 0 29639 0 0 0 178011 331 0 0 25 0 1 0 198235291 119832576 28390 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6880/statm: 29256 28390 294 55 0 28147 0
Current children cumulated CPU time (s) 1783.42
Current children cumulated vsize (Kb) 117024

[startup+1785.1 s]
/proc/loadavg: 0.99 0.97 0.96 2/67 6882
/proc/meminfo: memFree=1429784/2055888 swapFree=4085432/4096564
[pid=6880] ppid=6878 vsize=117024 CPUtime=1784.44
/proc/6880/stat : 6880 (bsolo) R 6878 6880 6834 0 -1 0 29639 0 0 0 178112 332 0 0 25 0 1 0 198235291 119832576 28390 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6880/statm: 29256 28390 294 55 0 28147 0
Current children cumulated CPU time (s) 1784.44
Current children cumulated vsize (Kb) 117024

[startup+1786.1 s]
/proc/loadavg: 0.99 0.97 0.96 2/67 6882
/proc/meminfo: memFree=1429784/2055888 swapFree=4085432/4096564
[pid=6880] ppid=6878 vsize=117024 CPUtime=1785.44
/proc/6880/stat : 6880 (bsolo) R 6878 6880 6834 0 -1 0 29639 0 0 0 178212 332 0 0 25 0 1 0 198235291 119832576 28390 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718209 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6880/statm: 29256 28390 294 55 0 28147 0
Current children cumulated CPU time (s) 1785.44
Current children cumulated vsize (Kb) 117024

[startup+1787.1 s]
/proc/loadavg: 0.99 0.97 0.96 2/67 6882
/proc/meminfo: memFree=1429784/2055888 swapFree=4085432/4096564
[pid=6880] ppid=6878 vsize=117024 CPUtime=1786.44
/proc/6880/stat : 6880 (bsolo) R 6878 6880 6834 0 -1 0 29639 0 0 0 178312 332 0 0 25 0 1 0 198235291 119832576 28390 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6880/statm: 29256 28390 294 55 0 28147 0
Current children cumulated CPU time (s) 1786.44
Current children cumulated vsize (Kb) 117024

[startup+1788.11 s]
/proc/loadavg: 0.99 0.97 0.96 2/67 6882
/proc/meminfo: memFree=1429784/2055888 swapFree=4085432/4096564
[pid=6880] ppid=6878 vsize=117024 CPUtime=1787.44
/proc/6880/stat : 6880 (bsolo) R 6878 6880 6834 0 -1 0 29639 0 0 0 178412 332 0 0 25 0 1 0 198235291 119832576 28390 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6880/statm: 29256 28390 294 55 0 28147 0
Current children cumulated CPU time (s) 1787.44
Current children cumulated vsize (Kb) 117024

[startup+1789.11 s]
/proc/loadavg: 0.99 0.97 0.96 2/67 6882
/proc/meminfo: memFree=1429784/2055888 swapFree=4085432/4096564
[pid=6880] ppid=6878 vsize=117024 CPUtime=1788.44
/proc/6880/stat : 6880 (bsolo) R 6878 6880 6834 0 -1 0 29639 0 0 0 178512 332 0 0 25 0 1 0 198235291 119832576 28390 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6880/statm: 29256 28390 294 55 0 28147 0
Current children cumulated CPU time (s) 1788.44
Current children cumulated vsize (Kb) 117024

[startup+1790.12 s]
/proc/loadavg: 0.99 0.97 0.96 2/67 6882
/proc/meminfo: memFree=1429784/2055888 swapFree=4085432/4096564
[pid=6880] ppid=6878 vsize=117024 CPUtime=1789.46
/proc/6880/stat : 6880 (bsolo) R 6878 6880 6834 0 -1 0 29639 0 0 0 178613 333 0 0 25 0 1 0 198235291 119832576 28390 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551570 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6880/statm: 29256 28390 294 55 0 28147 0
Current children cumulated CPU time (s) 1789.46
Current children cumulated vsize (Kb) 117024

[startup+1791.12 s]
/proc/loadavg: 0.99 0.97 0.96 2/67 6882
/proc/meminfo: memFree=1429784/2055888 swapFree=4085432/4096564
[pid=6880] ppid=6878 vsize=117024 CPUtime=1790.46
/proc/6880/stat : 6880 (bsolo) R 6878 6880 6834 0 -1 0 29639 0 0 0 178713 333 0 0 25 0 1 0 198235291 119832576 28390 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6880/statm: 29256 28390 294 55 0 28147 0
Current children cumulated CPU time (s) 1790.46
Current children cumulated vsize (Kb) 117024

[startup+1792.13 s]
/proc/loadavg: 0.99 0.97 0.96 2/67 6882
/proc/meminfo: memFree=1429784/2055888 swapFree=4085432/4096564
[pid=6880] ppid=6878 vsize=117024 CPUtime=1791.46
/proc/6880/stat : 6880 (bsolo) R 6878 6880 6834 0 -1 0 29639 0 0 0 178813 333 0 0 25 0 1 0 198235291 119832576 28390 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6880/statm: 29256 28390 294 55 0 28147 0
Current children cumulated CPU time (s) 1791.46
Current children cumulated vsize (Kb) 117024

[startup+1793.13 s]
/proc/loadavg: 0.99 0.97 0.96 2/67 6882
/proc/meminfo: memFree=1429784/2055888 swapFree=4085432/4096564
[pid=6880] ppid=6878 vsize=117024 CPUtime=1792.46
/proc/6880/stat : 6880 (bsolo) R 6878 6880 6834 0 -1 0 29639 0 0 0 178913 333 0 0 25 0 1 0 198235291 119832576 28390 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540691 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6880/statm: 29256 28390 294 55 0 28147 0
Current children cumulated CPU time (s) 1792.46
Current children cumulated vsize (Kb) 117024

[startup+1794.14 s]
/proc/loadavg: 0.99 0.97 0.96 2/67 6882
/proc/meminfo: memFree=1429784/2055888 swapFree=4085432/4096564
[pid=6880] ppid=6878 vsize=117024 CPUtime=1793.47
/proc/6880/stat : 6880 (bsolo) R 6878 6880 6834 0 -1 0 29639 0 0 0 179014 333 0 0 25 0 1 0 198235291 119832576 28390 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6880/statm: 29256 28390 294 55 0 28147 0
Current children cumulated CPU time (s) 1793.47
Current children cumulated vsize (Kb) 117024

[startup+1795.14 s]
/proc/loadavg: 0.99 0.97 0.96 2/67 6882
/proc/meminfo: memFree=1429784/2055888 swapFree=4085432/4096564
[pid=6880] ppid=6878 vsize=117024 CPUtime=1794.47
/proc/6880/stat : 6880 (bsolo) R 6878 6880 6834 0 -1 0 29639 0 0 0 179114 333 0 0 25 0 1 0 198235291 119832576 28390 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6880/statm: 29256 28390 294 55 0 28147 0
Current children cumulated CPU time (s) 1794.47
Current children cumulated vsize (Kb) 117024

[startup+1796.15 s]
/proc/loadavg: 0.99 0.97 0.96 2/67 6882
/proc/meminfo: memFree=1429784/2055888 swapFree=4085432/4096564
[pid=6880] ppid=6878 vsize=117024 CPUtime=1795.48
/proc/6880/stat : 6880 (bsolo) R 6878 6880 6834 0 -1 0 29639 0 0 0 179214 334 0 0 25 0 1 0 198235291 119832576 28390 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6880/statm: 29256 28390 294 55 0 28147 0
Current children cumulated CPU time (s) 1795.48
Current children cumulated vsize (Kb) 117024

[startup+1797.15 s]
/proc/loadavg: 0.99 0.97 0.96 2/67 6882
/proc/meminfo: memFree=1429784/2055888 swapFree=4085432/4096564
[pid=6880] ppid=6878 vsize=117024 CPUtime=1796.49
/proc/6880/stat : 6880 (bsolo) R 6878 6880 6834 0 -1 0 29639 0 0 0 179315 334 0 0 25 0 1 0 198235291 119832576 28390 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6880/statm: 29256 28390 294 55 0 28147 0
Current children cumulated CPU time (s) 1796.49
Current children cumulated vsize (Kb) 117024

[startup+1798.15 s]
/proc/loadavg: 0.99 0.97 0.96 2/67 6882
/proc/meminfo: memFree=1429784/2055888 swapFree=4085432/4096564
[pid=6880] ppid=6878 vsize=117024 CPUtime=1797.49
/proc/6880/stat : 6880 (bsolo) R 6878 6880 6834 0 -1 0 29639 0 0 0 179415 334 0 0 25 0 1 0 198235291 119832576 28390 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134695626 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6880/statm: 29256 28390 294 55 0 28147 0
Current children cumulated CPU time (s) 1797.49
Current children cumulated vsize (Kb) 117024

[startup+1799.16 s]
/proc/loadavg: 0.99 0.97 0.96 2/67 6882
/proc/meminfo: memFree=1429784/2055888 swapFree=4085432/4096564
[pid=6880] ppid=6878 vsize=117024 CPUtime=1798.49
/proc/6880/stat : 6880 (bsolo) R 6878 6880 6834 0 -1 0 29639 0 0 0 179515 334 0 0 25 0 1 0 198235291 119832576 28390 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603842 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6880/statm: 29256 28390 294 55 0 28147 0
Current children cumulated CPU time (s) 1798.49
Current children cumulated vsize (Kb) 117024

[startup+1800.16 s]
/proc/loadavg: 0.99 0.97 0.96 2/67 6882
/proc/meminfo: memFree=1429784/2055888 swapFree=4085432/4096564
[pid=6880] ppid=6878 vsize=117156 CPUtime=1799.49
/proc/6880/stat : 6880 (bsolo) R 6878 6880 6834 0 -1 0 29642 0 0 0 179615 334 0 0 25 0 1 0 198235291 119967744 28393 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6880/statm: 29289 28393 294 55 0 28180 0
Current children cumulated CPU time (s) 1799.49
Current children cumulated vsize (Kb) 117156

Child status: 0
Real time (s): 1800.69
CPU time (s): 1800.02
CPU user time (s): 1796.65
CPU system time (s): 3.36949
CPU usage (%): 99.963
Max. virtual memory (cumulated for all children) (Kb): 117156

Launcher Data (download as text)

Begin job on node80 on Sat Jun  3 09:12:47 UTC 2006


FILE ID= 39898-1149325967

PBS_JOBID= 309629

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-share2b.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node80/39898-1149325967/instance-39898-1149325967.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node80/watcher-39898-1149325967 -o ROOT/results/node80/solver-39898-1149325967 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node80/39898-1149325967/instance-39898-1149325967.opb

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  3ec28475c9d1079169f926174383d0c1

RANDOM SEED= 822996654


/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.264
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	: 6006.16
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.264
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	: 5999.42
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055888 kB
MemFree:       1543136 kB
Buffers:         13828 kB
Cached:         435528 kB
SwapCached:       2436 kB
Active:          35472 kB
Inactive:       422640 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055888 kB
LowFree:       1543136 kB
SwapTotal:     4096564 kB
SwapFree:      4085432 kB
Dirty:             160 kB
Writeback:           0 kB
Mapped:          16648 kB
Slab:            41316 kB
Committed_AS:   358788 kB
PageTables:       1276 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264388 kB
VmallocChunk: 536606243 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node80 on Sat Jun  3 09:42:48 UTC 2006