Trace number 40760

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/05UNSAT 268.839 268.927

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-qiu.opb
MD5SUM42437a98f8f475fdcbcf3676beea9d9f
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark268.839
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables23808
Total number of constraints1192
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 constraints1192
Minimum length of a constraint31
Maximum length of a constraint5940
Number of terms in the objective function 7968
Biggest coefficient in the objective function 9098351345664
Number of bits for the biggest coefficient in the objective function 44
Sum of the numbers in the objective function 4803935111035752
Number of bits of the sum of numbers in the objective function 53
Biggest number in a constraint 9098351345664
Number of bits of the biggest number in a constraint 44
Biggest sum of numbers in a constraint 4803935111035752
Number of bits of the biggest sum of numbers53
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

0.00	c Time Limit set via PBTIMEOUT to 1800
0.01	c INFO: OSL Context initialized.
0.01	c BIG Int formula...
0.95	c Initial problem consists of 23808 variables and 1324 constraints.
1.02	c No problem reductions applied in OPT. instance.
1.02	c	preprocess terminated. Elapsed time: 1.01
1.02	c After prepocess the problem consists of 8316 variables and 1324 constraints.
1.02	c Initial Lower Bound: -13566141288
1.26	c Restart #1 #Var: 8316 LB: -13566141288 @ 1.251
1.61	c Restart #2 #Var: 8316 LB: -13566141288 @ 1.598
2.17	c Restart #3 #Var: 8316 LB: -13566141288 @ 2.163
2.93	c Restart #4 #Var: 8316 LB: -13566141288 @ 2.922
3.83	c Restart #5 #Var: 8316 LB: -13566141288 @ 3.818
4.66	c Restart #6 #Var: 8316 LB: -13566141288 @ 4.653
5.21	c Restart #7 #Var: 8316 LB: -13566141288 @ 5.197
5.92	c Restart #8 #Var: 8316 LB: -13566141288 @ 5.905
6.69	c Restart #9 #Var: 8316 LB: -13566141288 @ 6.674
7.46	c Restart #10 #Var: 8316 LB: -13566141288 @ 7.448
8.35	c Restart #11 #Var: 8316 LB: -13566141288 @ 8.336
9.72	c Restart #12 #Var: 8316 LB: -13566141288 @ 9.702
10.06	c Restart #13 #Var: 8316 LB: -13566141288 @ 10.043
10.24	c Restart #14 #Var: 8312 LB: -13557464424 @ 10.231
10.44	c Restart #15 #Var: 8310 LB: -13553125992 @ 10.428
10.65	c Restart #16 #Var: 8310 LB: -13553125992 @ 10.637
10.88	c Restart #17 #Var: 8310 LB: -13553125992 @ 10.861
11.11	c Restart #18 #Var: 8308 LB: -13548787560 @ 11.096
11.36	c Restart #19 #Var: 8308 LB: -13548787560 @ 11.342
11.61	c Restart #20 #Var: 8308 LB: -13548787560 @ 11.6
11.88	c Restart #21 #Var: 8308 LB: -13548787560 @ 11.871
12.17	c Restart #22 #Var: 8308 LB: -13548787560 @ 12.156
12.47	c Restart #23 #Var: 8308 LB: -13548787560 @ 12.452
12.78	c Restart #24 #Var: 8308 LB: -13548787560 @ 12.763
13.11	c Restart #25 #Var: 8308 LB: -13548787560 @ 13.094
13.47	c Restart #26 #Var: 8308 LB: -13548787560 @ 13.46
13.90	c Restart #27 #Var: 8308 LB: -13548787560 @ 13.882
14.37	c Restart #28 #Var: 8308 LB: -13548787560 @ 14.355
15.21	c Restart #29 #Var: 8308 LB: -13548787560 @ 15.196
16.22	c Restart #30 #Var: 8308 LB: -13548787560 @ 16.201
16.87	c Restart #31 #Var: 8308 LB: -13548787560 @ 16.858
17.35	c Restart #32 #Var: 8308 LB: -13548787560 @ 17.332
17.76	c Restart #33 #Var: 8308 LB: -13548787560 @ 17.741
18.18	c Restart #34 #Var: 8308 LB: -13548787560 @ 18.161
18.62	c Restart #35 #Var: 8308 LB: -13548787560 @ 18.606
19.08	c Restart #36 #Var: 8308 LB: -13548787560 @ 19.06
19.66	c Restart #37 #Var: 8308 LB: -13548787560 @ 19.643
20.19	c Restart #38 #Var: 8308 LB: -13548787560 @ 20.171
20.67	c Restart #39 #Var: 8308 LB: -13548787560 @ 20.648
21.16	c Restart #40 #Var: 8308 LB: -13548787560 @ 21.147
21.67	c Restart #41 #Var: 8308 LB: -13548787560 @ 21.656
22.20	c Restart #42 #Var: 8308 LB: -13548787560 @ 22.186
22.73	c Restart #43 #Var: 8308 LB: -13548787560 @ 22.709
23.26	c Restart #44 #Var: 8308 LB: -13548787560 @ 23.245
23.82	c Restart #45 #Var: 8308 LB: -13548787560 @ 23.798
24.37	c Restart #46 #Var: 8308 LB: -13548787560 @ 24.358
24.95	c Restart #47 #Var: 8308 LB: -13548787560 @ 24.936
25.57	c Restart #48 #Var: 8308 LB: -13548787560 @ 25.552
26.17	c Restart #49 #Var: 8308 LB: -13548787560 @ 26.151
26.78	c Restart #50 #Var: 8308 LB: -13548787560 @ 26.765
27.42	c Restart #51 #Var: 8308 LB: -13548787560 @ 27.406
28.06	c Restart #52 #Var: 8308 LB: -13548787560 @ 28.04
28.70	c Restart #53 #Var: 8308 LB: -13548787560 @ 28.685
29.38	c Restart #54 #Var: 8308 LB: -13548787560 @ 29.36
30.06	c Restart #55 #Var: 8308 LB: -13548787560 @ 30.046
30.75	c Restart #56 #Var: 8308 LB: -13548787560 @ 30.733
31.47	c Restart #57 #Var: 8308 LB: -13548787560 @ 31.455
32.18	c Restart #58 #Var: 8308 LB: -13548787560 @ 32.158
32.89	c Restart #59 #Var: 8308 LB: -13548787560 @ 32.872
33.65	c Restart #60 #Var: 8308 LB: -13548787560 @ 33.633
34.39	c Restart #61 #Var: 8308 LB: -13548787560 @ 34.369
35.15	c Restart #62 #Var: 8308 LB: -13548787560 @ 35.13
35.91	c Restart #63 #Var: 8308 LB: -13548787560 @ 35.891
36.71	c Restart #64 #Var: 8308 LB: -13548787560 @ 36.693
37.50	c Restart #65 #Var: 8308 LB: -13548787560 @ 37.478
38.32	c Restart #66 #Var: 8308 LB: -13548787560 @ 38.296
39.13	c Restart #67 #Var: 8308 LB: -13548787560 @ 39.107
39.96	c Restart #68 #Var: 8308 LB: -13548787560 @ 39.935
40.79	c Restart #69 #Var: 8308 LB: -13548787560 @ 40.772
41.65	c Restart #70 #Var: 8308 LB: -13548787560 @ 41.628
42.52	c Restart #71 #Var: 8308 LB: -13548787560 @ 42.498
43.41	c Restart #72 #Var: 8308 LB: -13548787560 @ 43.387
44.30	c Restart #73 #Var: 8308 LB: -13548787560 @ 44.281
45.23	c Restart #74 #Var: 8308 LB: -13548787560 @ 45.206
46.15	c Restart #75 #Var: 8308 LB: -13548787560 @ 46.126
47.08	c Restart #76 #Var: 8308 LB: -13548787560 @ 47.06
48.04	c Restart #77 #Var: 8308 LB: -13548787560 @ 48.011
49.02	c Restart #78 #Var: 8308 LB: -13548787560 @ 48.995
49.99	c Restart #79 #Var: 8308 LB: -13548787560 @ 49.968
50.98	c Restart #80 #Var: 8308 LB: -13548787560 @ 50.96
51.98	c Restart #81 #Var: 8308 LB: -13548787560 @ 51.952
52.99	c Restart #82 #Var: 8308 LB: -13548787560 @ 52.968
54.02	c Restart #83 #Var: 8308 LB: -13548787560 @ 53.997
55.05	c Restart #84 #Var: 8308 LB: -13548787560 @ 55.02
56.08	c Restart #85 #Var: 8308 LB: -13548787560 @ 56.059
57.13	c Restart #86 #Var: 8308 LB: -13548787560 @ 57.109
58.20	c Restart #87 #Var: 8308 LB: -13548787560 @ 58.179
59.29	c Restart #88 #Var: 8308 LB: -13548787560 @ 59.266
60.38	c Restart #89 #Var: 8308 LB: -13548787560 @ 60.35
61.49	c Restart #90 #Var: 8308 LB: -13548787560 @ 61.461
62.60	c Restart #91 #Var: 8308 LB: -13548787560 @ 62.573
63.75	c Restart #92 #Var: 8308 LB: -13548787560 @ 63.721
64.89	c Restart #93 #Var: 8308 LB: -13548787560 @ 64.858
66.05	c Restart #94 #Var: 8308 LB: -13548787560 @ 66.018
67.22	c Restart #95 #Var: 8308 LB: -13548787560 @ 67.189
68.40	c Restart #96 #Var: 8308 LB: -13548787560 @ 68.374
69.60	c Restart #97 #Var: 8308 LB: -13548787560 @ 69.575
70.83	c Restart #98 #Var: 8308 LB: -13548787560 @ 70.799
72.04	c Restart #99 #Var: 8308 LB: -13548787560 @ 72.015
73.29	c Restart #100 #Var: 8308 LB: -13548787560 @ 73.259
74.51	c Restart #101 #Var: 8308 LB: -13548787560 @ 74.481
75.76	c Restart #102 #Var: 8308 LB: -13548787560 @ 75.725
77.00	c Restart #103 #Var: 8308 LB: -13548787560 @ 76.968
78.28	c Restart #104 #Var: 8308 LB: -13548787560 @ 78.244
79.56	c Restart #105 #Var: 8308 LB: -13548787560 @ 79.524
80.86	c Restart #106 #Var: 8308 LB: -13548787560 @ 80.827
82.18	c Restart #107 #Var: 8308 LB: -13548787560 @ 82.146
83.50	c Restart #108 #Var: 8308 LB: -13548787560 @ 83.47
84.85	c Restart #109 #Var: 8308 LB: -13548787560 @ 84.821
86.23	c Restart #110 #Var: 8308 LB: -13548787560 @ 86.199
87.58	c Restart #111 #Var: 8308 LB: -13548787560 @ 87.549
88.97	c Restart #112 #Var: 8308 LB: -13548787560 @ 88.934
90.34	c Restart #113 #Var: 8308 LB: -13548787560 @ 90.302
91.73	c Restart #114 #Var: 8308 LB: -13548787560 @ 91.692
93.11	c Restart #115 #Var: 8308 LB: -13548787560 @ 93.074
94.55	c Restart #116 #Var: 8308 LB: -13548787560 @ 94.511
95.98	c Restart #117 #Var: 8308 LB: -13548787560 @ 95.94
97.41	c Restart #118 #Var: 8308 LB: -13548787560 @ 97.372
98.87	c Restart #119 #Var: 8308 LB: -13548787560 @ 98.83
100.32	c Restart #120 #Var: 8308 LB: -13548787560 @ 100.29
101.80	c Restart #121 #Var: 8308 LB: -13548787560 @ 101.76
103.30	c Restart #122 #Var: 8308 LB: -13548787560 @ 103.26
104.83	c Restart #123 #Var: 8308 LB: -13548787560 @ 104.79
106.34	c Restart #124 #Var: 8308 LB: -13548787560 @ 106.3
107.87	c Restart #125 #Var: 8308 LB: -13548787560 @ 107.83
109.41	c Restart #126 #Var: 8308 LB: -13548787560 @ 109.37
110.97	c Restart #127 #Var: 8308 LB: -13548787560 @ 110.93
112.51	c Restart #128 #Var: 8308 LB: -13548787560 @ 112.47
114.10	c Restart #129 #Var: 8308 LB: -13548787560 @ 114.05
115.67	c Restart #130 #Var: 8308 LB: -13548787560 @ 115.63
117.24	c Restart #131 #Var: 8308 LB: -13548787560 @ 117.2
118.87	c Restart #132 #Var: 8308 LB: -13548787560 @ 118.82
120.51	c Restart #133 #Var: 8308 LB: -13548787560 @ 120.47
122.15	c Restart #134 #Var: 8308 LB: -13548787560 @ 122.1
123.82	c Restart #135 #Var: 8308 LB: -13548787560 @ 123.78
125.48	c Restart #136 #Var: 8308 LB: -13548787560 @ 125.44
127.16	c Restart #137 #Var: 8308 LB: -13548787560 @ 127.11
128.84	c Restart #138 #Var: 8308 LB: -13548787560 @ 128.8
130.55	c Restart #139 #Var: 8308 LB: -13548787560 @ 130.5
132.25	c Restart #140 #Var: 8308 LB: -13548787560 @ 132.21
133.98	c Restart #141 #Var: 8308 LB: -13548787560 @ 133.93
135.71	c Restart #142 #Var: 8308 LB: -13548787560 @ 135.66
137.46	c Restart #143 #Var: 8308 LB: -13548787560 @ 137.41
139.20	c Restart #144 #Var: 8308 LB: -13548787560 @ 139.15
140.98	c Restart #145 #Var: 8308 LB: -13548787560 @ 140.93
142.76	c Restart #146 #Var: 8308 LB: -13548787560 @ 142.71
144.60	c Restart #147 #Var: 8308 LB: -13548787560 @ 144.54
146.41	c Restart #148 #Var: 8308 LB: -13548787560 @ 146.35
148.23	c Restart #149 #Var: 8308 LB: -13548787560 @ 148.18
150.05	c Restart #150 #Var: 8308 LB: -13548787560 @ 149.99
151.89	c Restart #151 #Var: 8308 LB: -13548787560 @ 151.83
153.73	c Restart #152 #Var: 8308 LB: -13548787560 @ 153.68
155.56	c Restart #153 #Var: 8308 LB: -13548787560 @ 155.51
157.41	c Restart #154 #Var: 8308 LB: -13548787560 @ 157.36
159.28	c Restart #155 #Var: 8308 LB: -13548787560 @ 159.23
161.13	c Restart #156 #Var: 8308 LB: -13548787560 @ 161.07
163.00	c Restart #157 #Var: 8308 LB: -13548787560 @ 162.94
164.90	c Restart #158 #Var: 8308 LB: -13548787560 @ 164.84
166.81	c Restart #159 #Var: 8308 LB: -13548787560 @ 166.75
168.73	c Restart #160 #Var: 8308 LB: -13548787560 @ 168.68
170.68	c Restart #161 #Var: 8308 LB: -13548787560 @ 170.62
172.63	c Restart #162 #Var: 8308 LB: -13548787560 @ 172.57
174.58	c Restart #163 #Var: 8308 LB: -13548787560 @ 174.53
176.55	c Restart #164 #Var: 8308 LB: -13548787560 @ 176.49
178.54	c Restart #165 #Var: 8308 LB: -13548787560 @ 178.48
180.53	c Restart #166 #Var: 8308 LB: -13548787560 @ 180.47
182.56	c Restart #167 #Var: 8308 LB: -13548787560 @ 182.49
184.58	c Restart #168 #Var: 8308 LB: -13548787560 @ 184.52
186.65	c Restart #169 #Var: 8308 LB: -13548787560 @ 186.59
188.73	c Restart #170 #Var: 8308 LB: -13548787560 @ 188.66
190.79	c Restart #171 #Var: 8308 LB: -13548787560 @ 190.73
192.85	c Restart #172 #Var: 8308 LB: -13548787560 @ 192.79
194.91	c Restart #173 #Var: 8308 LB: -13548787560 @ 194.84
197.02	c Restart #174 #Var: 8308 LB: -13548787560 @ 196.96
199.14	c Restart #175 #Var: 8308 LB: -13548787560 @ 199.07
201.24	c Restart #176 #Var: 8308 LB: -13548787560 @ 201.18
203.37	c Restart #177 #Var: 8308 LB: -13548787560 @ 203.31
205.53	c Restart #178 #Var: 8308 LB: -13548787560 @ 205.47
207.72	c Restart #179 #Var: 8308 LB: -13548787560 @ 207.65
209.88	c Restart #180 #Var: 8308 LB: -13548787560 @ 209.82
212.05	c Restart #181 #Var: 8308 LB: -13548787560 @ 211.98
214.22	c Restart #182 #Var: 8308 LB: -13548787560 @ 214.15
216.40	c Restart #183 #Var: 8308 LB: -13548787560 @ 216.33
218.61	c Restart #184 #Var: 8308 LB: -13548787560 @ 218.54
220.85	c Restart #185 #Var: 8308 LB: -13548787560 @ 220.78
223.11	c Restart #186 #Var: 8308 LB: -13548787560 @ 223.04
225.38	c Restart #187 #Var: 8308 LB: -13548787560 @ 225.31
227.64	c Restart #188 #Var: 8307 LB: -13548787560 @ 227.56
229.90	c Restart #189 #Var: 8307 LB: -13548787560 @ 229.82
232.16	c Restart #190 #Var: 8307 LB: -13548787560 @ 232.08
234.41	c Restart #191 #Var: 8307 LB: -13548787560 @ 234.33
236.69	c Restart #192 #Var: 8307 LB: -13548787560 @ 236.62
238.97	c Restart #193 #Var: 8307 LB: -13548787560 @ 238.89
241.27	c Restart #194 #Var: 8307 LB: -13548787560 @ 241.19
243.62	c Restart #195 #Var: 8307 LB: -13548787560 @ 243.54
245.96	c Restart #196 #Var: 8307 LB: -13548787560 @ 245.88
248.32	c Restart #197 #Var: 8307 LB: -13548787560 @ 248.24
250.69	c Restart #198 #Var: 8307 LB: -13548787560 @ 250.61
253.03	c Restart #199 #Var: 8306 LB: -13548787560 @ 252.95
255.40	c Restart #200 #Var: 8306 LB: -13548787560 @ 255.32
257.77	c Restart #201 #Var: 8306 LB: -13548787560 @ 257.69
260.18	c Restart #202 #Var: 8305 LB: -13548787560 @ 260.09
262.57	c Restart #203 #Var: 8298 LB: -13542279912 @ 262.49
264.97	c Restart #204 #Var: 8296 LB: -13425509096 @ 264.88
267.36	c Restart #205 #Var: 8292 LB: -13422255272 @ 267.28
268.92	s UNSATISFIABLE
268.92	c Exit Code: 20
268.92	c Total time: 268.83 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/node9/watcher-40760-1149316400 -o ROOT/results/node9/solver-40760-1149316400 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node9/40760-1149316400/instance-40760-1149316400.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.92 0.98 0.97 2/64 18453
/proc/meminfo: memFree=1555128/2055920 swapFree=4180864/4192956
[pid=18453] ppid=18451 vsize=4664 CPUtime=0
/proc/18453/stat : 18453 (bsolo) R 18451 18453 18407 0 -1 0 142 0 0 0 0 0 0 0 19 0 1 0 197302300 4775936 123 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 8627392 0 0 4096 0 0 0 0 17 1 0 0
/proc/18453/statm: 1166 123 103 55 0 46 0

[startup+10.0028 s]
/proc/loadavg: 0.93 0.98 0.97 2/64 18453
/proc/meminfo: memFree=1525624/2055920 swapFree=4180864/4192956
[pid=18453] ppid=18451 vsize=34972 CPUtime=9.98
/proc/18453/stat : 18453 (bsolo) R 18451 18453 18407 0 -1 0 9225 0 0 0 950 48 0 0 25 0 1 0 197302300 35811328 7662 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718274 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18453/statm: 8743 7662 298 55 0 7635 0
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 34972

[startup+20.009 s]
/proc/loadavg: 0.94 0.98 0.97 2/64 18453
/proc/meminfo: memFree=1525496/2055920 swapFree=4180864/4192956
[pid=18453] ppid=18451 vsize=35216 CPUtime=19.99
/proc/18453/stat : 18453 (bsolo) R 18451 18453 18407 0 -1 0 9286 0 0 0 1946 53 0 0 25 0 1 0 197302300 36061184 7723 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18453/statm: 8804 7723 298 55 0 7696 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 35216

[startup+30.0161 s]
/proc/loadavg: 0.95 0.98 0.97 2/64 18453
/proc/meminfo: memFree=1525432/2055920 swapFree=4180864/4192956
[pid=18453] ppid=18451 vsize=35216 CPUtime=29.98
/proc/18453/stat : 18453 (bsolo) R 18451 18453 18407 0 -1 0 9306 0 0 0 2939 59 0 0 25 0 1 0 197302300 36061184 7743 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18453/statm: 8804 7743 298 55 0 7696 0
Current children cumulated CPU time (s) 29.98
Current children cumulated vsize (Kb) 35216

[startup+40.0213 s]
/proc/loadavg: 0.96 0.98 0.97 2/64 18453
/proc/meminfo: memFree=1525368/2055920 swapFree=4180864/4192956
[pid=18453] ppid=18451 vsize=35332 CPUtime=40
/proc/18453/stat : 18453 (bsolo) R 18451 18453 18407 0 -1 0 9330 0 0 0 3935 65 0 0 25 0 1 0 197302300 36179968 7767 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18453/statm: 8833 7767 298 55 0 7725 0
Current children cumulated CPU time (s) 40
Current children cumulated vsize (Kb) 35332

[startup+50.0274 s]
/proc/loadavg: 0.96 0.98 0.97 2/64 18453
/proc/meminfo: memFree=1525240/2055920 swapFree=4180864/4192956
[pid=18453] ppid=18451 vsize=35456 CPUtime=50
/proc/18453/stat : 18453 (bsolo) R 18451 18453 18407 0 -1 0 9361 0 0 0 4929 71 0 0 25 0 1 0 197302300 36306944 7798 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18453/statm: 8864 7798 298 55 0 7756 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 35456

[startup+60.0336 s]
/proc/loadavg: 0.97 0.98 0.97 2/64 18453
/proc/meminfo: memFree=1525240/2055920 swapFree=4180864/4192956
[pid=18453] ppid=18451 vsize=35584 CPUtime=60
/proc/18453/stat : 18453 (bsolo) R 18451 18453 18407 0 -1 0 9384 0 0 0 5923 77 0 0 25 0 1 0 197302300 36438016 7821 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18453/statm: 8896 7821 298 55 0 7788 0
Current children cumulated CPU time (s) 60
Current children cumulated vsize (Kb) 35584

[startup+70.0397 s]
/proc/loadavg: 0.97 0.98 0.97 2/64 18453
/proc/meminfo: memFree=1525112/2055920 swapFree=4180864/4192956
[pid=18453] ppid=18451 vsize=35708 CPUtime=70
/proc/18453/stat : 18453 (bsolo) R 18451 18453 18407 0 -1 0 9414 0 0 0 6919 81 0 0 25 0 1 0 197302300 36564992 7851 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540560 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18453/statm: 8927 7851 298 55 0 7819 0
Current children cumulated CPU time (s) 70
Current children cumulated vsize (Kb) 35708

[startup+80.0469 s]
/proc/loadavg: 0.98 0.98 0.97 2/64 18453
/proc/meminfo: memFree=1524920/2055920 swapFree=4180864/4192956
[pid=18453] ppid=18451 vsize=35840 CPUtime=80.01
/proc/18453/stat : 18453 (bsolo) R 18451 18453 18407 0 -1 0 9449 0 0 0 7913 88 0 0 25 0 1 0 197302300 36700160 7886 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18453/statm: 8960 7886 298 55 0 7852 0
Current children cumulated CPU time (s) 80.01
Current children cumulated vsize (Kb) 35840

[startup+90.053 s]
/proc/loadavg: 0.98 0.98 0.97 2/64 18453
/proc/meminfo: memFree=1524856/2055920 swapFree=4180864/4192956
[pid=18453] ppid=18451 vsize=35964 CPUtime=90.01
/proc/18453/stat : 18453 (bsolo) R 18451 18453 18407 0 -1 0 9476 0 0 0 8908 93 0 0 25 0 1 0 197302300 36827136 7913 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18453/statm: 8991 7913 298 55 0 7883 0
Current children cumulated CPU time (s) 90.01
Current children cumulated vsize (Kb) 35964

[startup+100.058 s]
/proc/loadavg: 0.98 0.98 0.97 2/64 18453
/proc/meminfo: memFree=1524728/2055920 swapFree=4180864/4192956
[pid=18453] ppid=18451 vsize=36088 CPUtime=100.01
/proc/18453/stat : 18453 (bsolo) R 18451 18453 18407 0 -1 0 9497 0 0 0 9901 100 0 0 25 0 1 0 197302300 36954112 7934 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18453/statm: 9022 7934 298 55 0 7914 0
Current children cumulated CPU time (s) 100.01
Current children cumulated vsize (Kb) 36088

[startup+110.064 s]
/proc/loadavg: 0.98 0.98 0.97 2/64 18453
/proc/meminfo: memFree=1524664/2055920 swapFree=4180864/4192956
[pid=18453] ppid=18451 vsize=36088 CPUtime=110.01
/proc/18453/stat : 18453 (bsolo) R 18451 18453 18407 0 -1 0 9523 0 0 0 10896 105 0 0 25 0 1 0 197302300 36954112 7960 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18453/statm: 9022 7960 298 55 0 7914 0
Current children cumulated CPU time (s) 110.01
Current children cumulated vsize (Kb) 36088

[startup+120.07 s]
/proc/loadavg: 0.99 0.98 0.97 2/64 18453
/proc/meminfo: memFree=1524536/2055920 swapFree=4180864/4192956
[pid=18453] ppid=18451 vsize=36216 CPUtime=120.02
/proc/18453/stat : 18453 (bsolo) R 18451 18453 18407 0 -1 0 9544 0 0 0 11891 111 0 0 25 0 1 0 197302300 37085184 7981 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18453/statm: 9054 7981 298 55 0 7946 0
Current children cumulated CPU time (s) 120.02
Current children cumulated vsize (Kb) 36216

[startup+130.077 s]
/proc/loadavg: 0.99 0.98 0.97 2/64 18453
/proc/meminfo: memFree=1524472/2055920 swapFree=4180864/4192956
[pid=18453] ppid=18451 vsize=36340 CPUtime=130.02
/proc/18453/stat : 18453 (bsolo) R 18451 18453 18407 0 -1 0 9568 0 0 0 12886 116 0 0 25 0 1 0 197302300 37212160 8005 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18453/statm: 9085 8005 298 55 0 7977 0
Current children cumulated CPU time (s) 130.02
Current children cumulated vsize (Kb) 36340

[startup+140.084 s]
/proc/loadavg: 0.99 0.98 0.97 2/64 18455
/proc/meminfo: memFree=1524216/2055920 swapFree=4180864/4192956
[pid=18453] ppid=18451 vsize=36464 CPUtime=140.03
/proc/18453/stat : 18453 (bsolo) R 18451 18453 18407 0 -1 0 9592 0 0 0 13880 123 0 0 25 0 1 0 197302300 37339136 8029 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134604161 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18453/statm: 9116 8029 298 55 0 8008 0
Current children cumulated CPU time (s) 140.03
Current children cumulated vsize (Kb) 36464

[startup+150.091 s]
/proc/loadavg: 0.99 0.98 0.97 2/64 18455
/proc/meminfo: memFree=1524216/2055920 swapFree=4180864/4192956
[pid=18453] ppid=18451 vsize=36464 CPUtime=150.03
/proc/18453/stat : 18453 (bsolo) R 18451 18453 18407 0 -1 0 9612 0 0 0 14875 128 0 0 25 0 1 0 197302300 37339136 8049 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18453/statm: 9116 8049 298 55 0 8008 0
Current children cumulated CPU time (s) 150.03
Current children cumulated vsize (Kb) 36464

[startup+160.096 s]
/proc/loadavg: 0.99 0.98 0.97 2/64 18455
/proc/meminfo: memFree=1524088/2055920 swapFree=4180864/4192956
[pid=18453] ppid=18451 vsize=36592 CPUtime=160.03
/proc/18453/stat : 18453 (bsolo) R 18451 18453 18407 0 -1 0 9643 0 0 0 15870 133 0 0 25 0 1 0 197302300 37470208 8080 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18453/statm: 9148 8080 298 55 0 8040 0
Current children cumulated CPU time (s) 160.03
Current children cumulated vsize (Kb) 36592

[startup+170.102 s]
/proc/loadavg: 0.99 0.98 0.97 2/64 18455
/proc/meminfo: memFree=1523960/2055920 swapFree=4180864/4192956
[pid=18453] ppid=18451 vsize=36716 CPUtime=170.03
/proc/18453/stat : 18453 (bsolo) R 18451 18453 18407 0 -1 0 9670 0 0 0 16864 139 0 0 25 0 1 0 197302300 37597184 8107 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18453/statm: 9179 8107 298 55 0 8071 0
Current children cumulated CPU time (s) 170.03
Current children cumulated vsize (Kb) 36716

[startup+180.108 s]
/proc/loadavg: 0.99 0.98 0.97 2/64 18455
/proc/meminfo: memFree=1523832/2055920 swapFree=4180864/4192956
[pid=18453] ppid=18451 vsize=36844 CPUtime=180.03
/proc/18453/stat : 18453 (bsolo) R 18451 18453 18407 0 -1 0 9701 0 0 0 17857 146 0 0 25 0 1 0 197302300 37728256 8138 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18453/statm: 9211 8138 298 55 0 8103 0
Current children cumulated CPU time (s) 180.03
Current children cumulated vsize (Kb) 36844

[startup+190.114 s]
/proc/loadavg: 0.99 0.98 0.97 2/64 18455
/proc/meminfo: memFree=1523768/2055920 swapFree=4180864/4192956
[pid=18453] ppid=18451 vsize=36968 CPUtime=190.04
/proc/18453/stat : 18453 (bsolo) R 18451 18453 18407 0 -1 0 9724 0 0 0 18853 151 0 0 25 0 1 0 197302300 37855232 8161 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18453/statm: 9242 8161 298 55 0 8134 0
Current children cumulated CPU time (s) 190.04
Current children cumulated vsize (Kb) 36968

[startup+200.121 s]
/proc/loadavg: 0.99 0.98 0.97 2/64 18455
/proc/meminfo: memFree=1523640/2055920 swapFree=4180864/4192956
[pid=18453] ppid=18451 vsize=37080 CPUtime=200.04
/proc/18453/stat : 18453 (bsolo) R 18451 18453 18407 0 -1 0 9752 0 0 0 19847 157 0 0 25 0 1 0 197302300 37969920 8189 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18453/statm: 9270 8189 298 55 0 8162 0
Current children cumulated CPU time (s) 200.04
Current children cumulated vsize (Kb) 37080

[startup+210.128 s]
/proc/loadavg: 0.99 0.98 0.97 2/64 18455
/proc/meminfo: memFree=1523512/2055920 swapFree=4180864/4192956
[pid=18453] ppid=18451 vsize=37196 CPUtime=210.05
/proc/18453/stat : 18453 (bsolo) R 18451 18453 18407 0 -1 0 9785 0 0 0 20841 164 0 0 25 0 1 0 197302300 38088704 8222 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18453/statm: 9299 8222 298 55 0 8191 0
Current children cumulated CPU time (s) 210.05
Current children cumulated vsize (Kb) 37196

[startup+220.134 s]
/proc/loadavg: 0.99 0.98 0.97 2/64 18455
/proc/meminfo: memFree=1523384/2055920 swapFree=4180864/4192956
[pid=18453] ppid=18451 vsize=37316 CPUtime=220.05
/proc/18453/stat : 18453 (bsolo) R 18451 18453 18407 0 -1 0 9823 0 0 0 21833 172 0 0 25 0 1 0 197302300 38211584 8260 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18453/statm: 9329 8260 298 55 0 8221 0
Current children cumulated CPU time (s) 220.05
Current children cumulated vsize (Kb) 37316

[startup+230.14 s]
/proc/loadavg: 0.99 0.98 0.97 2/64 18455
/proc/meminfo: memFree=1523192/2055920 swapFree=4180864/4192956
[pid=18453] ppid=18451 vsize=37556 CPUtime=230.05
/proc/18453/stat : 18453 (bsolo) R 18451 18453 18407 0 -1 0 9867 0 0 0 22828 177 0 0 25 0 1 0 197302300 38457344 8304 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134604050 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18453/statm: 9389 8304 298 55 0 8281 0
Current children cumulated CPU time (s) 230.05
Current children cumulated vsize (Kb) 37556

[startup+240.146 s]
/proc/loadavg: 0.99 0.98 0.97 2/64 18455
/proc/meminfo: memFree=1523000/2055920 swapFree=4180864/4192956
[pid=18453] ppid=18451 vsize=37676 CPUtime=240.06
/proc/18453/stat : 18453 (bsolo) R 18451 18453 18407 0 -1 0 9907 0 0 0 23823 183 0 0 25 0 1 0 197302300 38580224 8344 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18453/statm: 9419 8344 298 55 0 8311 0
Current children cumulated CPU time (s) 240.06
Current children cumulated vsize (Kb) 37676

[startup+250.153 s]
/proc/loadavg: 0.99 0.98 0.97 2/64 18455
/proc/meminfo: memFree=1522872/2055920 swapFree=4180864/4192956
[pid=18453] ppid=18451 vsize=37800 CPUtime=250.06
/proc/18453/stat : 18453 (bsolo) R 18451 18453 18407 0 -1 0 9951 0 0 0 24816 190 0 0 25 0 1 0 197302300 38707200 8388 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18453/statm: 9450 8388 298 55 0 8342 0
Current children cumulated CPU time (s) 250.06
Current children cumulated vsize (Kb) 37800

[startup+260.159 s]
/proc/loadavg: 0.99 0.98 0.97 2/64 18455
/proc/meminfo: memFree=1522680/2055920 swapFree=4180864/4192956
[pid=18453] ppid=18451 vsize=38048 CPUtime=260.07
/proc/18453/stat : 18453 (bsolo) R 18451 18453 18407 0 -1 0 9993 0 0 0 25810 197 0 0 25 0 1 0 197302300 38961152 8430 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18453/statm: 9512 8430 298 55 0 8404 0
Current children cumulated CPU time (s) 260.07
Current children cumulated vsize (Kb) 38048

Child status: 20
Real time (s): 268.927
CPU time (s): 268.839
CPU user time (s): 266.804
CPU system time (s): 2.03469
CPU usage (%): 99.9674
Max. virtual memory (cumulated for all children) (Kb): 38048

Launcher Data (download as text)

Begin job on node9 on Sat Jun  3 06:33:20 UTC 2006


FILE ID= 40760-1149316400

PBS_JOBID= 308352

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

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  42437a98f8f475fdcbcf3676beea9d9f

RANDOM SEED= 364787294


/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.234
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.234
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1555400 kB
Buffers:         23412 kB
Cached:         415388 kB
SwapCached:       3744 kB
Active:          46972 kB
Inactive:       400524 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1555400 kB
SwapTotal:     4192956 kB
SwapFree:      4180864 kB
Dirty:             184 kB
Writeback:           0 kB
Mapped:          14720 kB
Slab:            39076 kB
Committed_AS:   311900 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 node9 on Sat Jun  3 06:37:52 UTC 2006