Trace number 352759

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-skc 2007-03-21SAT (TO)208 1800.1 1800.82

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

Verifier Data (download as text)

OK	208

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node59/watcher-352759-1176640821 -o ROOT/results/node59/solver-352759-1176640821 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/352759-1176640821/wildcat-skc /tmp/evaluation/352759-1176640821/instance-352759-1176640821.opb 19691706 

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.99 0.97 0.98 3/64 24381
/proc/meminfo: memFree=1695992/2055920 swapFree=4184740/4192956
[pid=24381] ppid=24379 vsize=5972 CPUtime=0
/proc/24381/stat : 24381 (wildcat-skc) R 24379 24381 24023 0 -1 4194304 157 0 0 0 0 0 0 0 18 0 1 0 111991725 6115328 141 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 135002146 0 0 4096 16386 0 0 0 17 1 0 0
/proc/24381/statm: 1493 141 105 226 0 1264 0

[startup+0.092797 s]
/proc/loadavg: 0.99 0.97 0.98 3/64 24381
/proc/meminfo: memFree=1695992/2055920 swapFree=4184740/4192956
[pid=24381] ppid=24379 vsize=6236 CPUtime=0.09
/proc/24381/stat : 24381 (wildcat-skc) R 24379 24381 24023 0 -1 4194304 243 0 0 0 9 0 0 0 18 0 1 0 111991725 6385664 227 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 135015020 0 0 4096 16386 0 0 0 17 1 0 0
/proc/24381/statm: 1559 227 105 226 0 1330 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6236

[startup+0.101798 s]
/proc/loadavg: 0.99 0.97 0.98 3/64 24381
/proc/meminfo: memFree=1695992/2055920 swapFree=4184740/4192956
[pid=24381] ppid=24379 vsize=6368 CPUtime=0.1
/proc/24381/stat : 24381 (wildcat-skc) R 24379 24381 24023 0 -1 4194304 251 0 0 0 10 0 0 0 18 0 1 0 111991725 6520832 235 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 135014983 0 0 4096 16386 0 0 0 17 1 0 0
/proc/24381/statm: 1592 235 105 226 0 1363 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 6368

[startup+0.301834 s]
/proc/loadavg: 0.99 0.97 0.98 3/64 24381
/proc/meminfo: memFree=1695992/2055920 swapFree=4184740/4192956
[pid=24381] ppid=24379 vsize=7160 CPUtime=0.3
/proc/24381/stat : 24381 (wildcat-skc) R 24379 24381 24023 0 -1 4194304 448 0 0 0 30 0 0 0 19 0 1 0 111991725 7331840 432 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 135014993 0 0 4096 16386 0 0 0 17 1 0 0
/proc/24381/statm: 1790 432 105 226 0 1561 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 7160

[startup+0.701911 s]
/proc/loadavg: 0.99 0.97 0.98 3/64 24381
/proc/meminfo: memFree=1695992/2055920 swapFree=4184740/4192956
[pid=24381] ppid=24379 vsize=9280 CPUtime=0.69
/proc/24381/stat : 24381 (wildcat-skc) R 24379 24381 24023 0 -1 4194304 1007 0 0 0 69 0 0 0 23 0 1 0 111991725 9502720 990 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134572068 0 0 4096 16386 0 0 0 17 1 0 0
/proc/24381/statm: 2320 990 115 226 0 2091 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 9280

[startup+1.50106 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 24382
/proc/meminfo: memFree=1692464/2055920 swapFree=4184740/4192956
[pid=24381] ppid=24379 vsize=9280 CPUtime=1.49
/proc/24381/stat : 24381 (wildcat-skc) R 24379 24381 24023 0 -1 4194304 1007 0 0 0 149 0 0 0 25 0 1 0 111991725 9502720 990 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134551549 0 0 4096 16386 0 0 0 17 1 0 0
/proc/24381/statm: 2320 990 115 226 0 2091 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 9280

[startup+3.10137 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 24382
/proc/meminfo: memFree=1692336/2055920 swapFree=4184740/4192956
[pid=24381] ppid=24379 vsize=9280 CPUtime=3.09
/proc/24381/stat : 24381 (wildcat-skc) R 24379 24381 24023 0 -1 4194304 1007 0 0 0 309 0 0 0 25 0 1 0 111991725 9502720 990 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134603944 0 0 4096 16386 0 0 0 17 1 0 0
/proc/24381/statm: 2320 990 115 226 0 2091 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 9280

[startup+6.30198 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 24382
/proc/meminfo: memFree=1692152/2055920 swapFree=4184740/4192956
[pid=24381] ppid=24379 vsize=9280 CPUtime=6.29
/proc/24381/stat : 24381 (wildcat-skc) R 24379 24381 24023 0 -1 4194304 1007 0 0 0 629 0 0 0 25 0 1 0 111991725 9502720 990 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134565708 0 0 4096 16386 0 0 0 17 1 0 0
/proc/24381/statm: 2320 990 115 226 0 2091 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 9280

[startup+12.7012 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 24382
/proc/meminfo: memFree=1692216/2055920 swapFree=4184740/4192956
[pid=24381] ppid=24379 vsize=9280 CPUtime=12.68
/proc/24381/stat : 24381 (wildcat-skc) R 24379 24381 24023 0 -1 4194304 1007 0 0 0 1268 0 0 0 25 0 1 0 111991725 9502720 990 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134603956 0 0 4096 16386 0 0 0 17 1 0 0
/proc/24381/statm: 2320 990 115 226 0 2091 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 9280

[startup+25.5016 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 24382
/proc/meminfo: memFree=1692280/2055920 swapFree=4184740/4192956
[pid=24381] ppid=24379 vsize=9280 CPUtime=25.48
/proc/24381/stat : 24381 (wildcat-skc) R 24379 24381 24023 0 -1 4194304 1007 0 0 0 2548 0 0 0 25 0 1 0 111991725 9502720 990 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134565764 0 0 4096 16386 0 0 0 17 1 0 0
/proc/24381/statm: 2320 990 115 226 0 2091 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 9280

[startup+51.1015 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 24382
/proc/meminfo: memFree=1692344/2055920 swapFree=4184740/4192956
[pid=24381] ppid=24379 vsize=9280 CPUtime=51.07
/proc/24381/stat : 24381 (wildcat-skc) R 24379 24381 24023 0 -1 4194304 1007 0 0 0 5107 0 0 0 25 0 1 0 111991725 9502720 990 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134565731 0 0 4096 16386 0 0 0 17 1 0 0
/proc/24381/statm: 2320 990 115 226 0 2091 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 9280

[startup+102.304 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 24382
/proc/meminfo: memFree=1692344/2055920 swapFree=4184740/4192956
[pid=24381] ppid=24379 vsize=9280 CPUtime=102.25
/proc/24381/stat : 24381 (wildcat-skc) R 24379 24381 24023 0 -1 4194304 1007 0 0 0 10225 0 0 0 25 0 1 0 111991725 9502720 990 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134607752 0 0 4096 16386 0 0 0 17 1 0 0
/proc/24381/statm: 2320 990 115 226 0 2091 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 9280

[startup+162.303 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 24382
/proc/meminfo: memFree=1692344/2055920 swapFree=4184740/4192956
[pid=24381] ppid=24379 vsize=9280 CPUtime=162.23
/proc/24381/stat : 24381 (wildcat-skc) R 24379 24381 24023 0 -1 4194304 1007 0 0 0 16223 0 0 0 25 0 1 0 111991725 9502720 990 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134565764 0 0 4096 16386 0 0 0 17 1 0 0
/proc/24381/statm: 2320 990 115 226 0 2091 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 9280

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 24382
/proc/meminfo: memFree=1692280/2055920 swapFree=4184740/4192956
[pid=24381] ppid=24379 vsize=9280 CPUtime=222.21
/proc/24381/stat : 24381 (wildcat-skc) R 24379 24381 24023 0 -1 4194304 1007 0 0 0 22221 0 0 0 25 0 1 0 111991725 9502720 990 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134603956 0 0 4096 16386 0 0 0 17 1 0 0
/proc/24381/statm: 2320 990 115 226 0 2091 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 9280

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 24382
/proc/meminfo: memFree=1692280/2055920 swapFree=4184740/4192956
[pid=24381] ppid=24379 vsize=9280 CPUtime=282.19
/proc/24381/stat : 24381 (wildcat-skc) R 24379 24381 24023 0 -1 4194304 1007 0 0 0 28219 0 0 0 25 0 1 0 111991725 9502720 990 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134565708 0 0 4096 16386 0 0 0 17 1 0 0
/proc/24381/statm: 2320 990 115 226 0 2091 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 9280

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 24382
/proc/meminfo: memFree=1692216/2055920 swapFree=4184740/4192956
[pid=24381] ppid=24379 vsize=9280 CPUtime=342.17
/proc/24381/stat : 24381 (wildcat-skc) R 24379 24381 24023 0 -1 4194304 1007 0 0 0 34217 0 0 0 25 0 1 0 111991725 9502720 990 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134598382 0 0 4096 16386 0 0 0 17 1 0 0
/proc/24381/statm: 2320 990 115 226 0 2091 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 9280

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 24382
/proc/meminfo: memFree=1692216/2055920 swapFree=4184740/4192956
[pid=24381] ppid=24379 vsize=9280 CPUtime=402.15
/proc/24381/stat : 24381 (wildcat-skc) R 24379 24381 24023 0 -1 4194304 1007 0 0 0 40215 0 0 0 25 0 1 0 111991725 9502720 990 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134607308 0 0 4096 16386 0 0 0 17 1 0 0
/proc/24381/statm: 2320 990 115 226 0 2091 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 9280

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 24382
/proc/meminfo: memFree=1692216/2055920 swapFree=4184740/4192956
[pid=24381] ppid=24379 vsize=9280 CPUtime=462.13
/proc/24381/stat : 24381 (wildcat-skc) R 24379 24381 24023 0 -1 4194304 1007 0 0 0 46213 0 0 0 25 0 1 0 111991725 9502720 990 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134611584 0 0 4096 16386 0 0 0 17 1 0 0
/proc/24381/statm: 2320 990 115 226 0 2091 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 9280

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 24382
/proc/meminfo: memFree=1692280/2055920 swapFree=4184740/4192956
[pid=24381] ppid=24379 vsize=9280 CPUtime=522.11
/proc/24381/stat : 24381 (wildcat-skc) R 24379 24381 24023 0 -1 4194304 1007 0 0 0 52211 0 0 0 25 0 1 0 111991725 9502720 990 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134603944 0 0 4096 16386 0 0 0 17 1 0 0
/proc/24381/statm: 2320 990 115 226 0 2091 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 9280

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 24382
/proc/meminfo: memFree=1692216/2055920 swapFree=4184740/4192956
[pid=24381] ppid=24379 vsize=9280 CPUtime=582.09
/proc/24381/stat : 24381 (wildcat-skc) R 24379 24381 24023 0 -1 4194304 1007 0 0 0 58209 0 0 0 25 0 1 0 111991725 9502720 990 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134607768 0 0 4096 16386 0 0 0 17 1 0 0
/proc/24381/statm: 2320 990 115 226 0 2091 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 9280

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 24382
/proc/meminfo: memFree=1692216/2055920 swapFree=4184740/4192956
[pid=24381] ppid=24379 vsize=9280 CPUtime=642.07
/proc/24381/stat : 24381 (wildcat-skc) R 24379 24381 24023 0 -1 4194304 1007 0 0 0 64207 0 0 0 25 0 1 0 111991725 9502720 990 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134565708 0 0 4096 16386 0 0 0 17 1 0 0
/proc/24381/statm: 2320 990 115 226 0 2091 0
Current children cumulated CPU time (s) 642.07
Current children cumulated vsize (KiB) 9280


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

[startup+822.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 24382
/proc/meminfo: memFree=1692152/2055920 swapFree=4184740/4192956
[pid=24381] ppid=24379 vsize=9280 CPUtime=822
/proc/24381/stat : 24381 (wildcat-skc) R 24379 24381 24023 0 -1 4194304 1007 0 0 0 82200 0 0 0 25 0 1 0 111991725 9502720 990 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134599009 0 0 4096 16386 0 0 0 17 1 0 0
/proc/24381/statm: 2320 990 115 226 0 2091 0
Current children cumulated CPU time (s) 822
Current children cumulated vsize (KiB) 9280

[startup+882.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 24382
/proc/meminfo: memFree=1692152/2055920 swapFree=4184740/4192956
[pid=24381] ppid=24379 vsize=9280 CPUtime=881.98
/proc/24381/stat : 24381 (wildcat-skc) R 24379 24381 24023 0 -1 4194304 1007 0 0 0 88198 0 0 0 25 0 1 0 111991725 9502720 990 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134603939 0 0 4096 16386 0 0 0 17 1 0 0
/proc/24381/statm: 2320 990 115 226 0 2091 0
Current children cumulated CPU time (s) 881.98
Current children cumulated vsize (KiB) 9280

[startup+942.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 24382
/proc/meminfo: memFree=1692152/2055920 swapFree=4184740/4192956
[pid=24381] ppid=24379 vsize=9280 CPUtime=941.96
/proc/24381/stat : 24381 (wildcat-skc) R 24379 24381 24023 0 -1 4194304 1007 0 0 0 94196 0 0 0 25 0 1 0 111991725 9502720 990 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134565764 0 0 4096 16386 0 0 0 17 1 0 0
/proc/24381/statm: 2320 990 115 226 0 2091 0
Current children cumulated CPU time (s) 941.96
Current children cumulated vsize (KiB) 9280

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 24382
/proc/meminfo: memFree=1692152/2055920 swapFree=4184740/4192956
[pid=24381] ppid=24379 vsize=9280 CPUtime=1001.94
/proc/24381/stat : 24381 (wildcat-skc) R 24379 24381 24023 0 -1 4194304 1007 0 0 0 100194 0 0 0 25 0 1 0 111991725 9502720 990 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134603939 0 0 4096 16386 0 0 0 17 1 0 0
/proc/24381/statm: 2320 990 115 226 0 2091 0
Current children cumulated CPU time (s) 1001.94
Current children cumulated vsize (KiB) 9280

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 24382
/proc/meminfo: memFree=1692088/2055920 swapFree=4184740/4192956
[pid=24381] ppid=24379 vsize=9280 CPUtime=1061.93
/proc/24381/stat : 24381 (wildcat-skc) R 24379 24381 24023 0 -1 4194304 1007 0 0 0 106192 1 0 0 25 0 1 0 111991725 9502720 990 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134599046 0 0 4096 16386 0 0 0 17 1 0 0
/proc/24381/statm: 2320 990 115 226 0 2091 0
Current children cumulated CPU time (s) 1061.93
Current children cumulated vsize (KiB) 9280

[startup+1122.3 s]
/proc/loadavg: 1.07 0.99 0.99 2/65 24382
/proc/meminfo: memFree=1692088/2055920 swapFree=4184740/4192956
[pid=24381] ppid=24379 vsize=9280 CPUtime=1121.91
/proc/24381/stat : 24381 (wildcat-skc) R 24379 24381 24023 0 -1 4194304 1007 0 0 0 112190 1 0 0 25 0 1 0 111991725 9502720 990 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134607845 0 0 4096 16386 0 0 0 17 1 0 0
/proc/24381/statm: 2320 990 115 226 0 2091 0
Current children cumulated CPU time (s) 1121.91
Current children cumulated vsize (KiB) 9280

[startup+1182.3 s]
/proc/loadavg: 1.02 0.99 0.99 2/65 24382
/proc/meminfo: memFree=1692088/2055920 swapFree=4184740/4192956
[pid=24381] ppid=24379 vsize=9280 CPUtime=1181.89
/proc/24381/stat : 24381 (wildcat-skc) R 24379 24381 24023 0 -1 4194304 1007 0 0 0 118188 1 0 0 25 0 1 0 111991725 9502720 990 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134565708 0 0 4096 16386 0 0 0 17 1 0 0
/proc/24381/statm: 2320 990 115 226 0 2091 0
Current children cumulated CPU time (s) 1181.89
Current children cumulated vsize (KiB) 9280

[startup+1242.3 s]
/proc/loadavg: 1.01 0.99 0.99 2/71 24408
/proc/meminfo: memFree=1690688/2055920 swapFree=4184740/4192956
[pid=24381] ppid=24379 vsize=9280 CPUtime=1241.85
/proc/24381/stat : 24381 (wildcat-skc) R 24379 24381 24023 0 -1 4194304 1007 0 0 0 124184 1 0 0 25 0 1 0 111991725 9502720 990 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134603939 0 0 4096 16386 0 0 0 17 1 0 0
/proc/24381/statm: 2320 990 115 226 0 2091 0
Current children cumulated CPU time (s) 1241.85
Current children cumulated vsize (KiB) 9280

[startup+1302.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 24580
/proc/meminfo: memFree=1691496/2055920 swapFree=4184740/4192956
[pid=24381] ppid=24379 vsize=9280 CPUtime=1301.75
/proc/24381/stat : 24381 (wildcat-skc) R 24379 24381 24023 0 -1 4194304 1007 0 0 0 130174 1 0 0 25 0 1 0 111991725 9502720 990 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134603939 0 0 4096 16386 0 0 0 17 1 0 0
/proc/24381/statm: 2320 990 115 226 0 2091 0
Current children cumulated CPU time (s) 1301.75
Current children cumulated vsize (KiB) 9280

[startup+1362.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 24580
/proc/meminfo: memFree=1691704/2055920 swapFree=4184740/4192956
[pid=24381] ppid=24379 vsize=9280 CPUtime=1361.73
/proc/24381/stat : 24381 (wildcat-skc) R 24379 24381 24023 0 -1 4194304 1007 0 0 0 136172 1 0 0 25 0 1 0 111991725 9502720 990 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134603941 0 0 4096 16386 0 0 0 17 1 0 0
/proc/24381/statm: 2320 990 115 226 0 2091 0
Current children cumulated CPU time (s) 1361.73
Current children cumulated vsize (KiB) 9280

[startup+1422.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 24580
/proc/meminfo: memFree=1691704/2055920 swapFree=4184740/4192956
[pid=24381] ppid=24379 vsize=9280 CPUtime=1421.71
/proc/24381/stat : 24381 (wildcat-skc) R 24379 24381 24023 0 -1 4194304 1007 0 0 0 142170 1 0 0 25 0 1 0 111991725 9502720 990 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134603939 0 0 4096 16386 0 0 0 17 1 0 0
/proc/24381/statm: 2320 990 115 226 0 2091 0
Current children cumulated CPU time (s) 1421.71
Current children cumulated vsize (KiB) 9280

[startup+1482.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 24580
/proc/meminfo: memFree=1691704/2055920 swapFree=4184740/4192956
[pid=24381] ppid=24379 vsize=9280 CPUtime=1481.68
/proc/24381/stat : 24381 (wildcat-skc) R 24379 24381 24023 0 -1 4194304 1007 0 0 0 148167 1 0 0 25 0 1 0 111991725 9502720 990 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134565731 0 0 4096 16386 0 0 0 17 1 0 0
/proc/24381/statm: 2320 990 115 226 0 2091 0
Current children cumulated CPU time (s) 1481.68
Current children cumulated vsize (KiB) 9280

[startup+1542.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 24580
/proc/meminfo: memFree=1691704/2055920 swapFree=4184740/4192956
[pid=24381] ppid=24379 vsize=9280 CPUtime=1541.66
/proc/24381/stat : 24381 (wildcat-skc) R 24379 24381 24023 0 -1 4194304 1007 0 0 0 154165 1 0 0 25 0 1 0 111991725 9502720 990 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134550207 0 0 4096 16386 0 0 0 17 1 0 0
/proc/24381/statm: 2320 990 115 226 0 2091 0
Current children cumulated CPU time (s) 1541.66
Current children cumulated vsize (KiB) 9280

[startup+1602.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 24580
/proc/meminfo: memFree=1691704/2055920 swapFree=4184740/4192956
[pid=24381] ppid=24379 vsize=9280 CPUtime=1601.64
/proc/24381/stat : 24381 (wildcat-skc) R 24379 24381 24023 0 -1 4194304 1007 0 0 0 160163 1 0 0 25 0 1 0 111991725 9502720 990 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134565708 0 0 4096 16386 0 0 0 17 1 0 0
/proc/24381/statm: 2320 990 115 226 0 2091 0
Current children cumulated CPU time (s) 1601.64
Current children cumulated vsize (KiB) 9280

[startup+1662.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 24580
/proc/meminfo: memFree=1691704/2055920 swapFree=4184740/4192956
[pid=24381] ppid=24379 vsize=9280 CPUtime=1661.62
/proc/24381/stat : 24381 (wildcat-skc) R 24379 24381 24023 0 -1 4194304 1007 0 0 0 166161 1 0 0 25 0 1 0 111991725 9502720 990 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134607774 0 0 4096 16386 0 0 0 17 1 0 0
/proc/24381/statm: 2320 990 115 226 0 2091 0
Current children cumulated CPU time (s) 1661.62
Current children cumulated vsize (KiB) 9280

[startup+1722.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 24580
/proc/meminfo: memFree=1691704/2055920 swapFree=4184740/4192956
[pid=24381] ppid=24379 vsize=9280 CPUtime=1721.6
/proc/24381/stat : 24381 (wildcat-skc) R 24379 24381 24023 0 -1 4194304 1007 0 0 0 172159 1 0 0 25 0 1 0 111991725 9502720 990 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134550019 0 0 4096 16386 0 0 0 17 1 0 0
/proc/24381/statm: 2320 990 115 226 0 2091 0
Current children cumulated CPU time (s) 1721.6
Current children cumulated vsize (KiB) 9280

[startup+1782.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 24580
/proc/meminfo: memFree=1691704/2055920 swapFree=4184740/4192956
[pid=24381] ppid=24379 vsize=9280 CPUtime=1781.58
/proc/24381/stat : 24381 (wildcat-skc) R 24379 24381 24023 0 -1 4194304 1007 0 0 0 178157 1 0 0 25 0 1 0 111991725 9502720 990 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134603948 0 0 4096 16386 0 0 0 17 1 0 0
/proc/24381/statm: 2320 990 115 226 0 2091 0
Current children cumulated CPU time (s) 1781.58
Current children cumulated vsize (KiB) 9280



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.8 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 24580
/proc/meminfo: memFree=1691704/2055920 swapFree=4184740/4192956
[pid=24381] ppid=24379 vsize=9280 CPUtime=1800.08
/proc/24381/stat : 24381 (wildcat-skc) R 24379 24381 24023 0 -1 4194304 1007 0 0 0 180007 1 0 0 25 0 1 0 111991725 9502720 990 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134598418 0 0 4096 16386 0 0 0 17 1 0 0
/proc/24381/statm: 2320 990 115 226 0 2091 0
Current children cumulated CPU time (s) 1800.08
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.82
CPU time (s): 1800.1
CPU user time (s): 1800.09
CPU system time (s): 0.014997
CPU usage (%): 99.9601
Max. virtual memory (cumulated for all children) (KiB): 9280

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.09
system time used= 0.014997
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= 2536

runsolver used 1.23081 second user time and 3.75443 second system time

The end

Launcher Data (download as text)

Begin job on node59 on Sun Apr 15 12:40:21 UTC 2007

IDJOB= 352759
IDBENCH= 2042
IDSOLVER= 162
FILE ID= node59/352759-1176640821

PBS_JOBID= 4559851

Free space on /tmp= 66561 MiB

SOLVER NAME= wildcat-skc 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/352759-1176640821/wildcat-skc /tmp/evaluation/352759-1176640821/instance-352759-1176640821.opb 19691706
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node59/watcher-352759-1176640821 -o ROOT/results/node59/solver-352759-1176640821 -C 1800 -W 3600 -M 1800 --output-limit 1,15  /tmp/evaluation/352759-1176640821/wildcat-skc /tmp/evaluation/352759-1176640821/instance-352759-1176640821.opb 19691706

META MD5SUM SOLVER= 05d21ee76b90579709a9929b8e99937a
MD5SUM BENCH=  cca57c347e264f92fb70010109aa24c5

RANDOM SEED= 19691706

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node59.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.268
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.268
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:       1696400 kB
Buffers:         41836 kB
Cached:         216980 kB
SwapCached:       2712 kB
Active:          79296 kB
Inactive:       191352 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1696400 kB
SwapTotal:     4192956 kB
SwapFree:      4184740 kB
Dirty:            3288 kB
Writeback:           0 kB
Mapped:          18096 kB
Slab:            74832 kB
Committed_AS:  1063968 kB
PageTables:       1472 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= 66561 MiB

End job on node59 on Sun Apr 15 13:10:24 UTC 2007