Trace number 352758

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
wildcat-rnp 2007-03-21SAT (TO)155 1800.07 1800.62

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/logic-synthesis/normalized-test4.pi.opb
MD5SUMcca57c347e264f92fb70010109aa24c5
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark108
Best CPU time to get the best result obtained on this benchmark1800.05
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 104
Optimality of the best value was proved NO
Number of variables6139
Total number of constraints1437
Number of constraints which are clauses1437
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint5
Maximum length of a constraint172
Number of terms in the objective function 6139
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 6139
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 6139
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

0.00/0.00	c 
0.00/0.00	c wildcat-rnp (VERSION 0.8.0-lite-rnp-devel)
0.00/0.00	c Developed by L. Liu  and M. Truszczynski 
0.00/0.00	c Last built on Sun 18 Mar 2007 03:03:40 PM EDT
0.00/0.00	c 
0.00/0.00	c /tmp/evaluation/352758-1176640803/wildcat-rnp /tmp/evaluation/352758-1176640803/instance-352758-1176640803.opb 773821458 
0.00/0.00	c =================================== BEGIN ===================================
0.00/0.00	c 
0.00/0.00	c Random Number Seed: 773821458
0.00/0.00	c Noise: 0.7 (70 : 100) 
0.39/0.47	c Starting searching:
0.39/0.47	c Phase 1 ...
0.49/0.51	c   trying 6139: vc 
0.49/0.51	o 3052
0.49/0.55	c   trying 2996: vc 
0.49/0.55	o 2996
0.59/0.60	c   trying 2941: vc 
0.59/0.60	o 2941
0.59/0.65	c   trying 2886: vc 
0.59/0.65	o 2886
0.69/0.70	c   trying 2832: vc 
0.69/0.70	o 2832
0.69/0.76	c   trying 2778: vc 
0.69/0.76	o 2778
0.79/0.81	c   trying 2725: vc 
0.79/0.81	o 2725
0.79/0.87	c   trying 2672: vc 
0.79/0.87	o 2672
0.89/0.93	c   trying 2620: vc 
0.89/0.93	o 2620
0.89/0.99	c   trying 2568: vc 
0.89/0.99	o 2568
1.00/1.05	c   trying 2517: vc 
1.00/1.05	o 2517
1.09/1.12	c   trying 2466: vc 
1.09/1.12	o 2466
1.09/1.18	c   trying 2416: vc 
1.09/1.18	o 2416
1.19/1.25	c   trying 2366: vc 
1.19/1.25	o 2366
1.29/1.32	c   trying 2317: vc 
1.29/1.32	o 2317
1.29/1.40	c   trying 2268: vc 
1.29/1.40	o 2268
1.39/1.47	c   trying 2220: vc 
1.39/1.47	o 2220
1.49/1.55	c   trying 2172: vc 
1.49/1.55	o 2172
1.59/1.63	c   trying 2125: vc 
1.59/1.63	o 2125
1.69/1.70	c   trying 2078: vc 
1.69/1.70	o 2078
1.69/1.78	c   trying 2032: vc 
1.69/1.78	o 2032
1.79/1.87	c   trying 1986: vc 
1.79/1.87	o 1986
1.89/1.95	c   trying 1941: vc 
1.89/1.95	o 1941
1.99/2.04	c   trying 1896: vc 
1.99/2.04	o 1896
2.09/2.12	c   trying 1852: vc 
2.09/2.12	o 1852
2.19/2.21	c   trying 1808: vc 
2.19/2.21	o 1808
2.29/2.30	c   trying 1765: vc 
2.29/2.30	o 1765
2.29/2.40	c   trying 1722: vc 
2.29/2.40	o 1722
2.39/2.49	c   trying 1680: vc 
2.39/2.49	o 1680
2.49/2.58	c   trying 1639: vc 
2.49/2.58	o 1639
2.59/2.68	c   trying 1598: vc 
2.59/2.68	o 1598
2.69/2.78	c   trying 1558: vc 
2.69/2.78	o 1558
2.79/2.88	c   trying 1518: vc 
2.79/2.88	o 1518
2.89/2.98	c   trying 1479: vc 
2.89/2.98	o 1479
2.99/3.08	c   trying 1440: vc 
2.99/3.08	o 1440
3.09/3.19	c   trying 1402: vc 
3.09/3.19	o 1402
3.19/3.29	c   trying 1364: vc 
3.19/3.29	o 1364
3.39/3.40	c   trying 1327: vc 
3.39/3.40	o 1327
3.49/3.51	c   trying 1290: vc 
3.49/3.51	o 1290
3.59/3.63	c   trying 1254: vc 
3.59/3.63	o 1254
3.69/3.74	c   trying 1218: vc 
3.69/3.74	o 1218
3.79/3.85	c   trying 1183: vc 
3.79/3.85	o 1183
3.89/3.97	c   trying 1148: vc 
3.89/3.97	o 1148
3.99/4.08	c   trying 1114: vc 
3.99/4.08	o 1114
4.19/4.21	c   trying 1080: vc 
4.19/4.21	o 1080
4.29/4.34	c   trying 1047: vc 
4.29/4.34	o 1047
4.39/4.46	c   trying 1014: vc 
4.39/4.46	o 1014
4.49/4.59	c   trying 982: vc 
4.49/4.59	o 982
4.69/4.72	c   trying 950: vc 
4.69/4.72	o 950
4.79/4.86	c   trying 919: vc 
4.79/4.86	o 919
4.99/5.00	c   trying 888: vc 
4.99/5.00	o 888
5.09/5.14	c   trying 858: vc 
5.09/5.14	o 858
5.19/5.28	c   trying 828: vc 
5.19/5.28	o 828
5.39/5.44	c   trying 799: vc 
5.39/5.44	o 799
5.49/5.59	c   trying 770: vc 
5.49/5.59	o 770
5.69/5.76	c   trying 742: vc 
5.69/5.76	o 742
5.89/5.92	c   trying 714: vc 
5.89/5.92	o 714
6.09/6.10	c   trying 687: vc 
6.09/6.10	o 687
6.19/6.29	c   trying 660: vc 
6.19/6.29	o 660
6.39/6.48	c   trying 634: vc 
6.39/6.48	o 634
6.59/6.68	c   trying 608: vc 
6.59/6.68	o 608
6.89/6.91	c   trying 583: vc 
6.89/6.91	o 583
7.09/7.13	c   trying 558: vc 
7.09/7.13	o 558
7.29/7.39	c   trying 534: vc 
7.29/7.39	o 534
7.59/7.66	c   trying 510: vc 
7.59/7.66	o 510
7.89/7.96	c   trying 487: vc 
7.89/7.96	o 487
8.19/8.28	c   trying 464: vc 
8.19/8.28	o 464
8.59/8.64	c   trying 442: vc 
8.59/8.64	o 442
8.99/9.05	c   trying 420: vc 
8.99/9.05	o 420
9.39/9.49	c   trying 399: vc 
9.39/9.49	o 399
9.99/10.01	c   trying 379: vc 
9.99/10.01	o 379
10.59/10.65	c   trying 359: vc 
10.59/10.65	o 359
11.29/11.39	c   trying 340: vc 
11.29/11.39	o 340
12.19/12.21	c   trying 321: vc 
12.19/12.21	o 321
13.29/13.30	c   trying 303: vc 
13.29/13.30	o 303
14.59/14.65	c   trying 285: vc 
14.59/14.65	o 285
16.29/16.32	c   trying 268: vc 
16.29/16.32	o 268
18.39/18.44	c   trying 251: vc 
18.39/18.44	o 251
21.38/21.50	c   trying 235: vc 
21.48/21.50	o 235
50.27/50.36	c   trying 219: xxxxxxxxxxc 
50.27/50.36	c Phase 2 ...
53.57/53.63	c   trying 234: vc 
53.57/53.63	o 234
56.87/56.98	c   trying 233: vc 
56.87/56.98	o 233
60.57/60.61	c   trying 232: vc 
60.57/60.61	o 232
63.97/64.09	c   trying 231: vc 
63.97/64.09	o 231
67.37/67.40	c   trying 230: vc 
67.37/67.40	o 230
70.67/70.75	c   trying 229: vc 
70.67/70.75	o 229
74.37/74.49	c   trying 228: vc 
74.37/74.49	o 228
77.98/78.00	c   trying 227: vc 
77.98/78.00	o 227
81.47/81.55	c   trying 226: vc 
81.47/81.55	o 226
85.07/85.12	c   trying 225: vc 
85.07/85.12	o 225
88.97/89.01	c   trying 224: vc 
88.97/89.01	o 224
93.67/93.72	c   trying 223: vc 
93.67/93.72	o 223
98.37/98.45	c   trying 222: vc 
98.37/98.45	o 222
102.77/102.82	c   trying 221: vc 
102.77/102.82	o 221
107.26/107.34	c   trying 220: vc 
107.26/107.34	o 220
111.46/111.54	c   trying 219: vc 
111.46/111.54	o 219
115.86/115.95	c   trying 218: vc 
115.86/115.95	o 218
120.16/120.23	c   trying 217: vc 
120.16/120.23	o 217
124.46/124.59	c   trying 216: vc 
124.46/124.59	o 216
129.36/129.49	c   trying 215: vc 
129.36/129.49	o 215
134.66/134.75	c   trying 214: vc 
134.66/134.75	o 214
140.25/140.38	c   trying 213: vc 
140.25/140.38	o 213
145.55/145.60	c   trying 212: vc 
145.55/145.60	o 212
151.05/151.14	c   trying 211: vc 
151.05/151.14	o 211
155.95/156.09	c   trying 210: vc 
155.95/156.09	o 210
161.55/161.62	c   trying 209: vc 
161.55/161.62	o 209
166.95/167.05	c   trying 208: vc 
166.95/167.05	o 208
172.44/172.58	c   trying 207: vc 
172.44/172.58	o 207
178.84/178.90	c   trying 206: vc 
178.84/178.90	o 206
184.44/184.56	c   trying 205: vc 
184.44/184.56	o 205
190.14/190.24	c   trying 204: vc 
190.14/190.24	o 204
197.44/197.54	c   trying 203: vc 
197.44/197.54	o 203
204.44/204.54	c   trying 202: vc 
204.44/204.54	o 202
211.04/211.15	c   trying 201: vc 
211.04/211.15	o 201
220.03/220.10	c   trying 200: vc 
220.03/220.10	o 200
228.44/228.59	c   trying 199: vc 
228.44/228.59	o 199
236.83/236.92	c   trying 198: vc 
236.83/236.92	o 198
246.83/246.93	c   trying 197: vc 
246.83/246.93	o 197
256.73/256.83	c   trying 196: vc 
256.73/256.83	o 196
266.42/266.51	c   trying 195: vc 
266.42/266.51	o 195
275.12/275.30	c   trying 194: vc 
275.12/275.30	o 194
284.62/284.72	c   trying 193: vc 
284.62/284.72	o 193
295.51/295.62	c   trying 192: vc 
295.51/295.62	o 192
306.11/306.25	c   trying 191: vc 
306.11/306.25	o 191
316.61/316.79	c   trying 190: vc 
316.61/316.79	o 190
329.20/329.35	c   trying 189: vc 
329.20/329.35	o 189
340.00/340.18	c   trying 188: vc 
340.00/340.18	o 188
352.30/352.40	c   trying 187: vc 
352.30/352.40	o 187
365.39/365.59	c   trying 186: vc 
365.39/365.59	o 186
378.50/378.67	c   trying 185: vc 
378.50/378.67	o 185
392.99/393.16	c   trying 184: vc 
392.99/393.16	o 184
408.59/408.73	c   trying 183: vc 
408.59/408.73	o 183
422.98/423.18	c   trying 182: vc 
422.98/423.18	o 182
438.38/438.54	c   trying 181: vc 
438.38/438.54	o 181
454.67/454.84	c   trying 180: vc 
454.67/454.84	o 180
473.17/473.38	c   trying 179: vc 
473.17/473.38	o 179
491.86/492.03	c   trying 178: vc 
491.86/492.03	o 178
510.06/510.27	c   trying 177: vc 
510.06/510.27	o 177
531.76/531.94	c   trying 176: vc 
531.76/531.94	o 176
548.66/548.84	c   trying 175: vc 
548.66/548.84	o 175
570.95/571.10	c   trying 174: vc 
570.95/571.10	o 174
592.34/592.54	c   trying 173: vc 
592.34/592.54	o 173
618.13/618.36	c   trying 172: vc 
618.13/618.36	o 172
642.03/642.27	c   trying 171: vc 
642.03/642.27	o 171
667.02/667.22	c   trying 170: vc 
667.02/667.22	o 170
690.12/690.38	c   trying 169: vc 
690.12/690.38	o 169
717.61/717.80	c   trying 168: vc 
717.61/717.80	o 168
744.80/745.01	c   trying 167: vc 
744.80/745.01	o 167
773.20/773.44	c   trying 166: vc 
773.20/773.44	o 166
982.95/983.20	c   trying 165: xxxxxxvc 
982.95/983.20	o 165
1280.70/1281.11	c   trying 164: xxxxxxxxxxc 
1280.70/1281.11	c Phase 3 ...
1313.97/1314.40	c   trying 164 again: vc 
1313.97/1314.40	o 164
1351.75/1352.22	c   trying 163 again: vc 
1351.75/1352.22	o 163
1389.14/1389.60	c   trying 162 again: vc 
1389.14/1389.60	o 162
1432.02/1432.57	c   trying 161 again: vc 
1432.02/1432.57	o 161
1474.92/1475.49	c   trying 160 again: vc 
1474.92/1475.49	o 160
1517.61/1518.11	c   trying 159 again: vc 
1517.61/1518.11	o 159
1568.29/1568.81	c   trying 158 again: vc 
1568.29/1568.81	o 158
1626.98/1627.52	c   trying 157 again: vc 
1626.98/1627.52	o 157
1682.56/1683.12	c   trying 156 again: vc 
1682.56/1683.12	o 156
1737.46/1738.09	c   trying 155 again: vc 
1737.46/1738.09	o 155
1800.04/1800.60	c   trying 154 again: xc 
1800.04/1800.60	s SATISFIABLE
1800.04/1800.61	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28
1800.04/1800.61	v -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54
1800.04/1800.61	v -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80
1800.04/1800.61	v x81 -x82 -x83 -x84 x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105
1800.04/1800.61	v -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126
1800.04/1800.61	v -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 x143 -x144 -x145 -x146 -x147
1800.04/1800.61	v -x148 x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168
1800.04/1800.61	v -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189
1800.04/1800.61	v -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210
1800.04/1800.61	v x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231
1800.04/1800.61	v -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252
1800.04/1800.61	v -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273
1800.04/1800.61	v -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294
1800.04/1800.61	v -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315
1800.04/1800.61	v -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336
1800.04/1800.61	v -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 x351 -x352 -x353 -x354 -x355 -x356 -x357
1800.04/1800.61	v -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378
1800.04/1800.61	v -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399
1800.04/1800.61	v -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 x420
1800.04/1800.61	v -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441
1800.04/1800.61	v -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462
1800.04/1800.61	v -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483
1800.04/1800.61	v -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504
1800.04/1800.61	v -x505 x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525
1800.04/1800.61	v -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546
1800.04/1800.61	v -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567
1800.04/1800.61	v -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588
1800.04/1800.61	v -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609
1800.04/1800.61	v -x610 -x611 -x612 -x613 x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630
1800.04/1800.61	v -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651
1800.04/1800.61	v -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672
1800.04/1800.61	v -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693
1800.04/1800.61	v -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714
1800.04/1800.61	v -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735
1800.04/1800.61	v x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756
1800.04/1800.61	v -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777
1800.04/1800.61	v -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 x795 -x796 -x797 -x798
1800.04/1800.61	v -x799 -x800 x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819
1800.04/1800.61	v -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840
1800.04/1800.61	v x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861
1800.04/1800.61	v -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882
1800.04/1800.61	v -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903
1800.04/1800.61	v -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 x916 x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924
1800.04/1800.61	v -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945
1800.04/1800.61	v -x946 x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966
1800.04/1800.61	v -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987
1800.04/1800.61	v -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006
1800.04/1800.61	v -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023
1800.04/1800.61	v -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040
1800.04/1800.61	v -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 x1056 -x1057
1800.04/1800.61	v -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 x1066 -x1067 -x1068 -x1069 -x1070 x1071 -x1072 -x1073 -x1074 -x1075
1800.04/1800.61	v -x1076 -x1077 -x1078 -x1079 -x1080 x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092
1800.04/1800.61	v -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109
1800.04/1800.61	v -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 x1120 x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127
1800.04/1800.61	v -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144
1800.04/1800.61	v -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161
1800.04/1800.61	v -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178
1800.04/1800.61	v -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195
1800.04/1800.61	v -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212
1800.04/1800.61	v -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229
1800.04/1800.61	v -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246
1800.04/1800.61	v -x1247 -x1248 -x1249 x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263
1800.04/1800.61	v -x1264 -x1265 x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280
1800.04/1800.61	v -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 x1297
1800.04/1800.61	v -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314
1800.04/1800.61	v -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331
1800.04/1800.61	v -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348
1800.04/1800.61	v -x1349 x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365
1800.04/1800.61	v -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382
1800.04/1800.61	v -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 x1399
1800.04/1800.61	v -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416
1800.04/1800.61	v x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 x1430 -x1431 -x1432 -x1433 -x1434
1800.04/1800.61	v -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451
1800.04/1800.61	v -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468
1800.04/1800.61	v -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485
1800.04/1800.61	v -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502
1800.04/1800.61	v x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519
1800.04/1800.61	v -x1520 -x1521 -x1522 x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536
1800.04/1800.61	v -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553
1800.04/1800.61	v -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570
1800.04/1800.61	v -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587
1800.04/1800.61	v -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604
1800.04/1800.61	v -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621
1800.04/1800.61	v -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638
1800.04/1800.61	v -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655
1800.04/1800.61	v -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 x1671 -x1672
1800.04/1800.61	v -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 x1688 -x1689
1800.04/1800.61	v -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706
1800.04/1800.61	v -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723
1800.04/1800.61	v -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740
1800.04/1800.61	v -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757
1800.04/1800.61	v -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774
1800.04/1800.61	v -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791
1800.04/1800.61	v -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808
1800.04/1800.61	v -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825
1800.04/1800.61	v -x1826 -x1827 -x1828 x1829 -x1830 -x1831 -x1832 -x1833 -x1834 x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843
1800.04/1800.61	v -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860
1800.04/1800.61	v -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877
1800.04/1800.61	v -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894
1800.04/1800.61	v -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911
1800.04/1800.61	v -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 x1927 -x1928
1800.04/1800.61	v -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945
1800.04/1800.61	v -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962
1800.04/1800.61	v -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979
1800.04/1800.61	v -x1980 -x1981 -x1982 x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 x1993 -x1994 -x1995 -x1996 -x1997
1800.04/1800.61	v -x1998 -x1999 -x2000 -x2001 -x2002 x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014
1800.04/1800.61	v -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031
1800.04/1800.61	v -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048
1800.04/1800.61	v -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065
1800.04/1800.61	v -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082
1800.04/1800.61	v -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099
1800.04/1800.61	v -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116
1800.04/1800.61	v -x2117 x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133
1800.04/1800.61	v -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150
1800.04/1800.61	v -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 x2163 -x2164 -x2165 -x2166 -x2167
1800.04/1800.61	v -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 x2180 -x2181 -x2182 -x2183 -x2184
1800.04/1800.61	v -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201
1800.04/1800.61	v -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218
1800.04/1800.61	v -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235
1800.04/1800.61	v -x2236 x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252
1800.04/1800.61	v -x2253 -x2254 -x2255 x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269
1800.04/1800.61	v -x2270 x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286
1800.04/1800.61	v -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303
1800.04/1800.61	v -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320
1800.04/1800.61	v -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337
1800.04/1800.61	v -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354
1800.04/1800.61	v -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371
1800.04/1800.61	v -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 x2385 -x2386 -x2387 -x2388
1800.04/1800.61	v -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405
1800.04/1800.61	v -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422
1800.04/1800.61	v -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 x2435 -x2436 -x2437 -x2438 -x2439
1800.04/1800.61	v -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456
1800.04/1800.61	v -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 x2471 -x2472 -x2473
1800.04/1800.61	v -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490
1800.04/1800.61	v -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507
1800.04/1800.61	v -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524
1800.04/1800.61	v -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541
1800.04/1800.61	v -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558
1800.04/1800.61	v -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575
1800.04/1800.61	v -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592
1800.04/1800.61	v -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609
1800.04/1800.61	v -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626
1800.04/1800.61	v -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643
1800.04/1800.61	v -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660
1800.04/1800.61	v -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 x2672 -x2673 -x2674 -x2675 -x2676 -x2677
1800.04/1800.61	v -x2678 -x2679 -x2680 -x2681 -x2682 x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694
1800.04/1800.61	v -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711
1800.04/1800.61	v -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 x2725 -x2726 -x2727 x2728 -x2729
1800.04/1800.61	v -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746
1800.04/1800.61	v -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763
1800.04/1800.61	v -x2764 x2765 -x2766 -x2767 -x2768 -x2769 x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781
1800.04/1800.61	v -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798
1800.04/1800.61	v -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815
1800.04/1800.61	v -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832
1800.04/1800.61	v -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849
1800.04/1800.61	v -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866
1800.04/1800.61	v -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 x2878 -x2879 -x2880 -x2881 -x2882 -x2883
1800.04/1800.61	v -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900
1800.04/1800.61	v -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917
1800.04/1800.61	v -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934
1800.04/1800.61	v -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951
1800.04/1800.61	v -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968
1800.04/1800.61	v -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985
1800.04/1800.61	v -x2986 -x2987 -x2988 -x2989 x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 x3001 -x3002 -x3003
1800.04/1800.61	v -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020
1800.04/1800.61	v -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037
1800.04/1800.61	v -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054
1800.04/1800.61	v -x3055 x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071
1800.04/1800.61	v -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088
1800.04/1800.61	v -x3089 -x3090 x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106
1800.04/1800.61	v -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123
1800.04/1800.61	v x3124 -x3125 -x3126 -x3127 -x3128 x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141
1800.04/1800.61	v -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158
1800.04/1800.61	v -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 x3173 -x3174 -x3175
1800.04/1800.61	v -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192
1800.04/1800.61	v -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 x3204 -x3205 -x3206 -x3207 -x3208 -x3209
1800.04/1800.61	v -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226
1800.04/1800.61	v -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243
1800.04/1800.61	v -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260
1800.04/1800.61	v -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277
1800.04/1800.61	v -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 x3284 x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 x3293 -x3294 -x3295
1800.04/1800.61	v -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312
1800.04/1800.61	v -x3313 -x3314 -x3315 -x3316 -x3317 x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329
1800.04/1800.61	v -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346
1800.04/1800.61	v -x3347 -x3348 -x3349 -x3350 -x3351 x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363
1800.04/1800.61	v -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380
1800.04/1800.61	v -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397
1800.04/1800.61	v -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414
1800.04/1800.61	v -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431
1800.04/1800.61	v -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448
1800.04/1800.61	v -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465
1800.04/1800.61	v -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482
1800.04/1800.61	v -x3483 -x3484 -x3485 -x3486 x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499
1800.04/1800.61	v -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516
1800.04/1800.61	v -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533
1800.04/1800.61	v -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 x3549 -x3550
1800.04/1800.61	v -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567
1800.04/1800.61	v -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584
1800.04/1800.61	v -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 x3601
1800.04/1800.61	v -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618
1800.04/1800.61	v -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635
1800.04/1800.61	v -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652
1800.04/1800.61	v -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669
1800.04/1800.61	v -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686
1800.04/1800.61	v -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703
1800.04/1800.61	v -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720
1800.04/1800.61	v -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737
1800.04/1800.61	v -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754
1800.04/1800.61	v -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 x3770 -x3771
1800.04/1800.61	v -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788
1800.04/1800.61	v -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805
1800.04/1800.61	v -x3806 -x3807 -x3808 -x3809 x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822
1800.04/1800.61	v -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839
1800.04/1800.61	v -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856
1800.04/1800.61	v -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873
1800.04/1800.61	v -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890
1800.04/1800.61	v -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907
1800.04/1800.61	v x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924
1800.04/1800.61	v -x3925 -x3926 x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941
1800.04/1800.61	v -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958
1800.04/1800.61	v -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975
1800.04/1800.61	v -x3976 -x3977 -x3978 -x3979 x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992
1800.04/1800.61	v -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009
1800.04/1800.61	v -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 x4023 -x4024 -x4025 -x4026
1800.04/1800.61	v -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043
1800.04/1800.61	v x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060
1800.04/1800.61	v -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077
1800.04/1800.61	v -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 x4090 -x4091 -x4092 -x4093 -x4094
1800.04/1800.61	v -x4095 x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111
1800.04/1800.61	v -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128
1800.04/1800.61	v -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145
1800.04/1800.61	v -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162
1800.04/1800.61	v -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179
1800.04/1800.61	v -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196
1800.04/1800.61	v -x4197 -x4198 -x4199 x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213
1800.04/1800.61	v -x4214 x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230
1800.04/1800.61	v -x4231 -x4232 -x4233 -x4234 -x4235 x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247
1800.04/1800.61	v -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264
1800.04/1800.61	v -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281
1800.04/1800.61	v -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 x4295 -x4296 -x4297 -x4298
1800.04/1800.61	v -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315
1800.04/1800.61	v -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 x4326 -x4327 -x4328 x4329 -x4330 -x4331 -x4332 -x4333
1800.04/1800.61	v -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350
1800.04/1800.61	v -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367
1800.04/1800.61	v -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384
1800.04/1800.61	v -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401
1800.04/1800.61	v -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418
1800.04/1800.61	v -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435
1800.04/1800.61	v x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452
1800.04/1800.61	v -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 x4464 -x4465 -x4466 -x4467 -x4468 -x4469
1800.04/1800.61	v -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 x4484 -x4485 -x4486
1800.04/1800.61	v -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503
1800.04/1800.61	v -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 x4520
1800.04/1800.61	v -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537
1800.04/1800.61	v -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554
1800.04/1800.61	v -x4555 -x4556 x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571
1800.04/1800.61	v -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588
1800.04/1800.61	v -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605
1800.04/1800.61	v -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622
1800.04/1800.61	v -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639
1800.04/1800.61	v -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656
1800.04/1800.61	v -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673
1800.04/1800.61	v -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690
1800.04/1800.61	v -x4691 -x4692 -x4693 -x4694 -x4695 x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 x4704 -x4705 -x4706 -x4707 -x4708
1800.04/1800.61	v -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725
1800.04/1800.61	v -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742
1800.04/1800.61	v -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759
1800.04/1800.61	v -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 x4775 -x4776
1800.04/1800.61	v -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793
1800.04/1800.61	v -x4794 -x4795 -x4796 -x4797 -x4798 x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810
1800.04/1800.61	v -x4811 -x4812 -x4813 -x4814 -x4815 x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827
1800.04/1800.61	v -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844
1800.04/1800.61	v -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861
1800.04/1800.61	v -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878
1800.04/1800.61	v -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895
1800.04/1800.61	v -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912
1800.04/1800.61	v -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929
1800.04/1800.61	v -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946
1800.04/1800.61	v -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963
1800.04/1800.61	v -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 x4979 -x4980
1800.04/1800.61	v -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997
1800.04/1800.61	v -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014
1800.04/1800.61	v -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031
1800.04/1800.61	v -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048
1800.04/1800.61	v -x5049 -x5050 -x5051 -x5052 -x5053 x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065
1800.04/1800.61	v -x5066 -x5067 -x5068 -x5069 x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082
1800.04/1800.61	v -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099
1800.04/1800.61	v -x5100 x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116
1800.04/1800.61	v -x5117 -x5118 -x5119 -x5120 x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133
1800.04/1800.61	v -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150
1800.04/1800.61	v -x5151 -x5152 -x5153 -x5154 x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167
1800.04/1800.61	v -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184
1800.04/1800.61	v x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201
1800.04/1800.61	v -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 x5217 -x5218
1800.04/1800.61	v -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235
1800.04/1800.61	v -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252
1800.04/1800.61	v -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269
1800.04/1800.61	v -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286
1800.04/1800.61	v -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303
1800.04/1800.61	v -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320
1800.04/1800.61	v -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337
1800.04/1800.61	v -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354
1800.04/1800.61	v -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371
1800.04/1800.61	v -x5372 -x5373 -x5374 x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388
1800.04/1800.61	v -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405
1800.04/1800.61	v -x5406 -x5407 -x5408 -x5409 -x5410 x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422
1800.04/1800.61	v -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439
1800.04/1800.61	v x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456
1800.04/1800.61	v -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473
1800.04/1800.61	v -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490
1800.04/1800.61	v -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507
1800.04/1800.61	v -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524
1800.04/1800.61	v -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 x5539 -x5540 -x5541
1800.04/1800.61	v -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558
1800.04/1800.61	v -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575
1800.04/1800.61	v -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 x5588 -x5589 -x5590 -x5591 -x5592
1800.04/1800.61	v -x5593 x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609
1800.04/1800.61	v -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626
1800.04/1800.61	v -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643
1800.04/1800.61	v -x5644 -x5645 x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660
1800.04/1800.61	v -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677
1800.04/1800.61	v -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694
1800.04/1800.61	v -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711
1800.04/1800.61	v -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728
1800.04/1800.61	v -x5729 -x5730 -x5731 -x5732 x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745
1800.04/1800.61	v -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762
1800.04/1800.61	v -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779
1800.04/1800.61	v -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796
1800.04/1800.61	v -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 x5808 -x5809 -x5810 -x5811 -x5812 -x5813
1800.04/1800.61	v -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 x5829 -x5830
1800.04/1800.61	v -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 x5842 -x5843 -x5844 -x5845 -x5846 -x5847
1800.04/1800.61	v -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864
1800.04/1800.61	v -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881
1800.04/1800.61	v -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898
1800.04/1800.61	v -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915
1800.04/1800.61	v -x5916 -x5917 -x5918 x5919 -x5920 x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933
1800.04/1800.61	v -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950
1800.04/1800.61	v -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967
1800.04/1800.61	v -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984
1800.04/1800.61	v -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001
1800.04/1800.61	v -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018
1800.04/1800.61	v -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035
1800.04/1800.61	v -x6036 -x6037 x6038 -x6039 -x6040 -x6041 -x6042 x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053
1800.04/1800.61	v -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 x6069 -x6070
1800.04/1800.61	v -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087
1800.04/1800.61	v -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104
1800.04/1800.61	v -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121
1800.04/1800.61	v -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138
1800.04/1800.61	v -x6139
1800.04/1800.62	c Total Number of Positive Atoms : 155
1800.04/1800.62	c 
1800.04/1800.62	c During searching:         1737.63 seconds elapsed.
1800.04/1800.62	c CPU time spent:           1737.24 seconds.
1800.04/1800.62	c 
1800.04/1800.62	c =================================== END =====================================
1800.04/1800.62	c

Verifier Data (download as text)

OK	155

Watcher Data (download as text)

runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node4/watcher-352758-1176640803 -o ROOT/results/node4/solver-352758-1176640803 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/352758-1176640803/wildcat-rnp /tmp/evaluation/352758-1176640803/instance-352758-1176640803.opb 773821458 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.91 0.97 0.99 3/77 9062
/proc/meminfo: memFree=1827928/2055920 swapFree=4153972/4192956
[pid=9062] ppid=9060 vsize=5972 CPUtime=0
/proc/9062/stat : 9062 (wildcat-rnp) R 9060 9062 8304 0 -1 4194304 157 0 0 0 0 0 0 0 18 0 1 0 140118037 6115328 141 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 135014965 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9062/statm: 1493 141 105 226 0 1264 0

[startup+0.095804 s]
/proc/loadavg: 0.91 0.97 0.99 3/77 9062
/proc/meminfo: memFree=1827928/2055920 swapFree=4153972/4192956
[pid=9062] ppid=9060 vsize=6368 CPUtime=0.09
/proc/9062/stat : 9062 (wildcat-rnp) R 9060 9062 8304 0 -1 4194304 246 0 0 0 9 0 0 0 18 0 1 0 140118037 6520832 230 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 135014965 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9062/statm: 1592 230 105 226 0 1363 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6368

[startup+0.101804 s]
/proc/loadavg: 0.91 0.97 0.99 3/77 9062
/proc/meminfo: memFree=1827928/2055920 swapFree=4153972/4192956
[pid=9062] ppid=9060 vsize=6368 CPUtime=0.09
/proc/9062/stat : 9062 (wildcat-rnp) R 9060 9062 8304 0 -1 4194304 251 0 0 0 9 0 0 0 18 0 1 0 140118037 6520832 235 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 135015006 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9062/statm: 1592 236 105 226 0 1363 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6368

[startup+0.301825 s]
/proc/loadavg: 0.91 0.97 0.99 3/77 9062
/proc/meminfo: memFree=1827928/2055920 swapFree=4153972/4192956
[pid=9062] ppid=9060 vsize=7160 CPUtime=0.29
/proc/9062/stat : 9062 (wildcat-rnp) R 9060 9062 8304 0 -1 4194304 448 0 0 0 29 0 0 0 19 0 1 0 140118037 7331840 432 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 135014965 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9062/statm: 1790 432 105 226 0 1561 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7160

[startup+0.701862 s]
/proc/loadavg: 0.91 0.97 0.99 3/77 9062
/proc/meminfo: memFree=1827928/2055920 swapFree=4153972/4192956
[pid=9062] ppid=9060 vsize=9280 CPUtime=0.69
/proc/9062/stat : 9062 (wildcat-rnp) R 9060 9062 8304 0 -1 4194304 1007 0 0 0 69 0 0 0 23 0 1 0 140118037 9502720 990 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134566243 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9062/statm: 2320 990 115 226 0 2091 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 9280

[startup+1.50194 s]
/proc/loadavg: 0.91 0.97 0.99 2/78 9063
/proc/meminfo: memFree=1824272/2055920 swapFree=4153972/4192956
[pid=9062] ppid=9060 vsize=9280 CPUtime=1.49
/proc/9062/stat : 9062 (wildcat-rnp) R 9060 9062 8304 0 -1 4194304 1007 0 0 0 149 0 0 0 25 0 1 0 140118037 9502720 990 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134605415 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9062/statm: 2320 990 115 226 0 2091 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 9280

[startup+3.10109 s]
/proc/loadavg: 0.91 0.97 0.99 2/78 9063
/proc/meminfo: memFree=1824144/2055920 swapFree=4153972/4192956
[pid=9062] ppid=9060 vsize=9280 CPUtime=3.09
/proc/9062/stat : 9062 (wildcat-rnp) R 9060 9062 8304 0 -1 4194304 1007 0 0 0 309 0 0 0 25 0 1 0 140118037 9502720 990 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134606306 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9062/statm: 2320 990 115 226 0 2091 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 9280

[startup+6.3014 s]
/proc/loadavg: 0.92 0.97 0.99 2/78 9063
/proc/meminfo: memFree=1824144/2055920 swapFree=4153972/4192956
[pid=9062] ppid=9060 vsize=9280 CPUtime=6.29
/proc/9062/stat : 9062 (wildcat-rnp) R 9060 9062 8304 0 -1 4194304 1007 0 0 0 629 0 0 0 25 0 1 0 140118037 9502720 990 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134606306 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9062/statm: 2320 990 115 226 0 2091 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 9280

[startup+12.702 s]
/proc/loadavg: 0.93 0.97 0.99 2/78 9063
/proc/meminfo: memFree=1824144/2055920 swapFree=4153972/4192956
[pid=9062] ppid=9060 vsize=9280 CPUtime=12.69
/proc/9062/stat : 9062 (wildcat-rnp) R 9060 9062 8304 0 -1 4194304 1007 0 0 0 1269 0 0 0 25 0 1 0 140118037 9502720 990 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134605394 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9062/statm: 2320 990 115 226 0 2091 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 9280

[startup+25.5012 s]
/proc/loadavg: 0.94 0.97 0.99 2/78 9063
/proc/meminfo: memFree=1824144/2055920 swapFree=4153972/4192956
[pid=9062] ppid=9060 vsize=9280 CPUtime=25.48
/proc/9062/stat : 9062 (wildcat-rnp) R 9060 9062 8304 0 -1 4194304 1007 0 0 0 2548 0 0 0 25 0 1 0 140118037 9502720 990 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134603939 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9062/statm: 2320 990 115 226 0 2091 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 9280

[startup+51.1017 s]
/proc/loadavg: 0.96 0.97 0.99 2/78 9063
/proc/meminfo: memFree=1824208/2055920 swapFree=4153972/4192956
[pid=9062] ppid=9060 vsize=9280 CPUtime=51.07
/proc/9062/stat : 9062 (wildcat-rnp) R 9060 9062 8304 0 -1 4194304 1007 0 0 0 5107 0 0 0 25 0 1 0 140118037 9502720 990 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134877560 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9062/statm: 2320 990 115 226 0 2091 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 9280

[startup+102.306 s]
/proc/loadavg: 0.98 0.97 0.99 2/78 9063
/proc/meminfo: memFree=1824208/2055920 swapFree=4153972/4192956
[pid=9062] ppid=9060 vsize=9280 CPUtime=102.27
/proc/9062/stat : 9062 (wildcat-rnp) R 9060 9062 8304 0 -1 4194304 1007 0 0 0 10226 1 0 0 25 0 1 0 140118037 9502720 990 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134566243 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9062/statm: 2320 990 115 226 0 2091 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 9280

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 9063
/proc/meminfo: memFree=1824144/2055920 swapFree=4153972/4192956
[pid=9062] ppid=9060 vsize=9280 CPUtime=162.25
/proc/9062/stat : 9062 (wildcat-rnp) R 9060 9062 8304 0 -1 4194304 1007 0 0 0 16224 1 0 0 25 0 1 0 140118037 9502720 990 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134598433 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9062/statm: 2320 990 115 226 0 2091 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 9280

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 9063
/proc/meminfo: memFree=1824080/2055920 swapFree=4153972/4192956
[pid=9062] ppid=9060 vsize=9280 CPUtime=222.23
/proc/9062/stat : 9062 (wildcat-rnp) R 9060 9062 8304 0 -1 4194304 1007 0 0 0 22222 1 0 0 25 0 1 0 140118037 9502720 990 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134566270 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9062/statm: 2320 990 115 226 0 2091 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 9280

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 9063
/proc/meminfo: memFree=1824016/2055920 swapFree=4153972/4192956
[pid=9062] ppid=9060 vsize=9280 CPUtime=282.22
/proc/9062/stat : 9062 (wildcat-rnp) R 9060 9062 8304 0 -1 4194304 1007 0 0 0 28220 2 0 0 25 0 1 0 140118037 9502720 990 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134603939 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9062/statm: 2320 990 115 226 0 2091 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 9280

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 9063
/proc/meminfo: memFree=1824016/2055920 swapFree=4153972/4192956
[pid=9062] ppid=9060 vsize=9280 CPUtime=342.2
/proc/9062/stat : 9062 (wildcat-rnp) R 9060 9062 8304 0 -1 4194304 1007 0 0 0 34218 2 0 0 25 0 1 0 140118037 9502720 990 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134549924 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9062/statm: 2320 990 115 226 0 2091 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 9280

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 9063
/proc/meminfo: memFree=1823952/2055920 swapFree=4153972/4192956
[pid=9062] ppid=9060 vsize=9280 CPUtime=402.19
/proc/9062/stat : 9062 (wildcat-rnp) R 9060 9062 8304 0 -1 4194304 1007 0 0 0 40216 3 0 0 25 0 1 0 140118037 9502720 990 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134877560 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9062/statm: 2320 990 115 226 0 2091 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 9280

[startup+462.301 s]
/proc/loadavg: 1.03 0.99 0.99 2/78 9063
/proc/meminfo: memFree=1823888/2055920 swapFree=4153972/4192956
[pid=9062] ppid=9060 vsize=9280 CPUtime=462.17
/proc/9062/stat : 9062 (wildcat-rnp) R 9060 9062 8304 0 -1 4194304 1007 0 0 0 46214 3 0 0 25 0 1 0 140118037 9502720 990 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134605409 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9062/statm: 2320 990 115 226 0 2091 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 9280

[startup+522.302 s]
/proc/loadavg: 1.01 0.99 0.99 2/78 9063
/proc/meminfo: memFree=1823824/2055920 swapFree=4153972/4192956
[pid=9062] ppid=9060 vsize=9280 CPUtime=522.15
/proc/9062/stat : 9062 (wildcat-rnp) R 9060 9062 8304 0 -1 4194304 1007 0 0 0 52212 3 0 0 25 0 1 0 140118037 9502720 990 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134605409 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9062/statm: 2320 990 115 226 0 2091 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 9280

[startup+582.302 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 9063
/proc/meminfo: memFree=1823760/2055920 swapFree=4153972/4192956
[pid=9062] ppid=9060 vsize=9280 CPUtime=582.14
/proc/9062/stat : 9062 (wildcat-rnp) R 9060 9062 8304 0 -1 4194304 1007 0 0 0 58210 4 0 0 25 0 1 0 140118037 9502720 990 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134605400 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9062/statm: 2320 990 115 226 0 2091 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 9280

[startup+642.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 9063
/proc/meminfo: memFree=1823696/2055920 swapFree=4153972/4192956
[pid=9062] ppid=9060 vsize=9280 CPUtime=642.13
/proc/9062/stat : 9062 (wildcat-rnp) R 9060 9062 8304 0 -1 4194304 1007 0 0 0 64209 4 0 0 25 0 1 0 140118037 9502720 990 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134605394 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9062/statm: 2320 990 115 226 0 2091 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 9280


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

[startup+822.302 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 9063
/proc/meminfo: memFree=1823504/2055920 swapFree=4153972/4192956
[pid=9062] ppid=9060 vsize=9280 CPUtime=822.08
/proc/9062/stat : 9062 (wildcat-rnp) R 9060 9062 8304 0 -1 4194304 1007 0 0 0 82203 5 0 0 25 0 1 0 140118037 9502720 990 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134605422 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9062/statm: 2320 990 115 226 0 2091 0
Current children cumulated CPU time (s) 822.08
Current children cumulated vsize (KiB) 9280

[startup+882.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 9063
/proc/meminfo: memFree=1823440/2055920 swapFree=4153972/4192956
[pid=9062] ppid=9060 vsize=9280 CPUtime=882.07
/proc/9062/stat : 9062 (wildcat-rnp) R 9060 9062 8304 0 -1 4194304 1007 0 0 0 88201 6 0 0 25 0 1 0 140118037 9502720 990 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134603939 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9062/statm: 2320 990 115 226 0 2091 0
Current children cumulated CPU time (s) 882.07
Current children cumulated vsize (KiB) 9280

[startup+942.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 9063
/proc/meminfo: memFree=1823440/2055920 swapFree=4153972/4192956
[pid=9062] ppid=9060 vsize=9280 CPUtime=942.05
/proc/9062/stat : 9062 (wildcat-rnp) R 9060 9062 8304 0 -1 4194304 1007 0 0 0 94199 6 0 0 25 0 1 0 140118037 9502720 990 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134605409 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9062/statm: 2320 990 115 226 0 2091 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 9280

[startup+1002.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 9063
/proc/meminfo: memFree=1823376/2055920 swapFree=4153972/4192956
[pid=9062] ppid=9060 vsize=9280 CPUtime=1002.04
/proc/9062/stat : 9062 (wildcat-rnp) R 9060 9062 8304 0 -1 4194304 1007 0 0 0 100197 7 0 0 25 0 1 0 140118037 9502720 990 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134605415 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9062/statm: 2320 990 115 226 0 2091 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 9280

[startup+1062.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 9063
/proc/meminfo: memFree=1823312/2055920 swapFree=4153972/4192956
[pid=9062] ppid=9060 vsize=9280 CPUtime=1062.02
/proc/9062/stat : 9062 (wildcat-rnp) R 9060 9062 8304 0 -1 4194304 1007 0 0 0 106195 7 0 0 25 0 1 0 140118037 9502720 990 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134605394 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9062/statm: 2320 990 115 226 0 2091 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 9280

[startup+1122.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 9063
/proc/meminfo: memFree=1823248/2055920 swapFree=4153972/4192956
[pid=9062] ppid=9060 vsize=9280 CPUtime=1122.01
/proc/9062/stat : 9062 (wildcat-rnp) R 9060 9062 8304 0 -1 4194304 1007 0 0 0 112194 7 0 0 25 0 1 0 140118037 9502720 990 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134566243 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9062/statm: 2320 990 115 226 0 2091 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 9280

[startup+1182.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 9063
/proc/meminfo: memFree=1823248/2055920 swapFree=4153972/4192956
[pid=9062] ppid=9060 vsize=9280 CPUtime=1182
/proc/9062/stat : 9062 (wildcat-rnp) R 9060 9062 8304 0 -1 4194304 1007 0 0 0 118192 8 0 0 25 0 1 0 140118037 9502720 990 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134516899 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9062/statm: 2320 990 115 226 0 2091 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 9280

[startup+1242.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 9063
/proc/meminfo: memFree=1823184/2055920 swapFree=4153972/4192956
[pid=9062] ppid=9060 vsize=9280 CPUtime=1241.98
/proc/9062/stat : 9062 (wildcat-rnp) R 9060 9062 8304 0 -1 4194304 1007 0 0 0 124190 8 0 0 25 0 1 0 140118037 9502720 990 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134603939 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9062/statm: 2320 990 115 226 0 2091 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 9280

[startup+1302.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/84 9233
/proc/meminfo: memFree=1821664/2055920 swapFree=4153972/4192956
[pid=9062] ppid=9060 vsize=9280 CPUtime=1301.88
/proc/9062/stat : 9062 (wildcat-rnp) R 9060 9062 8304 0 -1 4194304 1007 0 0 0 130179 9 0 0 25 0 1 0 140118037 9502720 990 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134566270 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9062/statm: 2320 990 115 226 0 2091 0
Current children cumulated CPU time (s) 1301.88
Current children cumulated vsize (KiB) 9280

[startup+1362.3 s]
/proc/loadavg: 1.04 1.00 1.00 2/78 9261
/proc/meminfo: memFree=1822864/2055920 swapFree=4153972/4192956
[pid=9062] ppid=9060 vsize=9280 CPUtime=1361.84
/proc/9062/stat : 9062 (wildcat-rnp) R 9060 9062 8304 0 -1 4194304 1007 0 0 0 136175 9 0 0 25 0 1 0 140118037 9502720 990 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134605422 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9062/statm: 2320 990 115 226 0 2091 0
Current children cumulated CPU time (s) 1361.84
Current children cumulated vsize (KiB) 9280

[startup+1422.31 s]
/proc/loadavg: 1.01 1.00 1.00 2/78 9261
/proc/meminfo: memFree=1822864/2055920 swapFree=4153972/4192956
[pid=9062] ppid=9060 vsize=9280 CPUtime=1421.83
/proc/9062/stat : 9062 (wildcat-rnp) R 9060 9062 8304 0 -1 4194304 1007 0 0 0 142174 9 0 0 25 0 1 0 140118037 9502720 990 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134605400 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9062/statm: 2320 990 115 226 0 2091 0
Current children cumulated CPU time (s) 1421.83
Current children cumulated vsize (KiB) 9280

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 9261
/proc/meminfo: memFree=1822864/2055920 swapFree=4153972/4192956
[pid=9062] ppid=9060 vsize=9280 CPUtime=1481.82
/proc/9062/stat : 9062 (wildcat-rnp) R 9060 9062 8304 0 -1 4194304 1007 0 0 0 148172 10 0 0 25 0 1 0 140118037 9502720 990 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134603939 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9062/statm: 2320 990 115 226 0 2091 0
Current children cumulated CPU time (s) 1481.82
Current children cumulated vsize (KiB) 9280

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 9261
/proc/meminfo: memFree=1822800/2055920 swapFree=4153972/4192956
[pid=9062] ppid=9060 vsize=9280 CPUtime=1541.8
/proc/9062/stat : 9062 (wildcat-rnp) R 9060 9062 8304 0 -1 4194304 1007 0 0 0 154170 10 0 0 25 0 1 0 140118037 9502720 990 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134549910 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9062/statm: 2320 990 115 226 0 2091 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 9280

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 9261
/proc/meminfo: memFree=1822800/2055920 swapFree=4153972/4192956
[pid=9062] ppid=9060 vsize=9280 CPUtime=1601.79
/proc/9062/stat : 9062 (wildcat-rnp) R 9060 9062 8304 0 -1 4194304 1007 0 0 0 160168 11 0 0 25 0 1 0 140118037 9502720 990 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134566816 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9062/statm: 2320 990 115 226 0 2091 0
Current children cumulated CPU time (s) 1601.79
Current children cumulated vsize (KiB) 9280

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 9261
/proc/meminfo: memFree=1822736/2055920 swapFree=4153972/4192956
[pid=9062] ppid=9060 vsize=9280 CPUtime=1661.77
/proc/9062/stat : 9062 (wildcat-rnp) R 9060 9062 8304 0 -1 4194304 1007 0 0 0 166166 11 0 0 25 0 1 0 140118037 9502720 990 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134605409 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9062/statm: 2320 990 115 226 0 2091 0
Current children cumulated CPU time (s) 1661.77
Current children cumulated vsize (KiB) 9280

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 9261
/proc/meminfo: memFree=1822736/2055920 swapFree=4153972/4192956
[pid=9062] ppid=9060 vsize=9280 CPUtime=1721.75
/proc/9062/stat : 9062 (wildcat-rnp) R 9060 9062 8304 0 -1 4194304 1007 0 0 0 172164 11 0 0 25 0 1 0 140118037 9502720 990 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134566270 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9062/statm: 2320 990 115 226 0 2091 0
Current children cumulated CPU time (s) 1721.75
Current children cumulated vsize (KiB) 9280

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 9261
/proc/meminfo: memFree=1822672/2055920 swapFree=4153972/4192956
[pid=9062] ppid=9060 vsize=9280 CPUtime=1781.74
/proc/9062/stat : 9062 (wildcat-rnp) R 9060 9062 8304 0 -1 4194304 1007 0 0 0 178162 12 0 0 25 0 1 0 140118037 9502720 990 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134605422 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9062/statm: 2320 990 115 226 0 2091 0
Current children cumulated CPU time (s) 1781.74
Current children cumulated vsize (KiB) 9280



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 9261
/proc/meminfo: memFree=1822608/2055920 swapFree=4153972/4192956
[pid=9062] ppid=9060 vsize=9280 CPUtime=1800.04
/proc/9062/stat : 9062 (wildcat-rnp) R 9060 9062 8304 0 -1 4194304 1007 0 0 0 179992 12 0 0 25 0 1 0 140118037 9502720 990 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134605409 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9062/statm: 2320 990 115 226 0 2091 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 9280

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

Child status: 0
Real time (s): 1800.62
CPU time (s): 1800.07
CPU user time (s): 1799.94
CPU system time (s): 0.12898
CPU usage (%): 99.9691
Max. virtual memory (cumulated for all children) (KiB): 9280

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.94
system time used= 0.12898
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1007
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9
involuntary context switches= 13608

runsolver used 2.14867 second user time and 4.12137 second system time

The end

Launcher Data (download as text)

Begin job on node4 on Sun Apr 15 12:40:03 UTC 2007

IDJOB= 352758
IDBENCH= 2042
IDSOLVER= 161
FILE ID= node4/352758-1176640803

PBS_JOBID= 4556855

Free space on /tmp= 66557 MiB

SOLVER NAME= wildcat-rnp 2007-03-21
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-test4.pi.opb
COMMAND LINE= /tmp/evaluation/352758-1176640803/wildcat-rnp /tmp/evaluation/352758-1176640803/instance-352758-1176640803.opb 773821458
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node4/watcher-352758-1176640803 -o ROOT/results/node4/solver-352758-1176640803 -C 1800 -W 3600 -M 1800 --output-limit 1,15  /tmp/evaluation/352758-1176640803/wildcat-rnp /tmp/evaluation/352758-1176640803/instance-352758-1176640803.opb 773821458

META MD5SUM SOLVER= 05d21ee76b90579709a9929b8e99937a
MD5SUM BENCH=  cca57c347e264f92fb70010109aa24c5

RANDOM SEED= 773821458

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node4.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/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.218
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.218
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:       1828400 kB
Buffers:         25296 kB
Cached:         126312 kB
SwapCached:       2140 kB
Active:          76876 kB
Inactive:        98048 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1828400 kB
SwapTotal:     4192956 kB
SwapFree:      4153972 kB
Dirty:            3388 kB
Writeback:           0 kB
Mapped:          31428 kB
Slab:            38056 kB
Committed_AS:  4649176 kB
PageTables:       1816 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66557 MiB

End job on node4 on Sun Apr 15 13:10:06 UTC 2007