Trace number 354647

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)257 1800.04 1800.62

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-saucier.r.opb
MD5SUMaa80468537d69826ea16800f352007ec
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark7
Best CPU time to get the best result obtained on this benchmark1800.3
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 7
Optimality of the best value was proved NO
Number of variables6207
Total number of constraints171
Number of constraints which are clauses171
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 constraint2
Maximum length of a constraint5184
Number of terms in the objective function 6207
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 6207
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 6207
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/354647-1176721197/wildcat-skc /tmp/evaluation/354647-1176721197/instance-354647-1176721197.opb 688822279 
0.00/0.00	c =================================== BEGIN ===================================
0.00/0.00	c 
0.00/0.00	c Random Number Seed: 688822279
0.00/0.00	c Noise: 0.1 (10 : 100) 
13.09/13.13	c Starting searching:
13.09/13.13	c Phase 1 ...
13.69/13.76	c   trying 6207: vc 
13.69/13.76	o 3047
14.39/14.44	c   trying 2991: vc 
14.39/14.44	o 2991
15.09/15.11	c   trying 2936: vc 
15.09/15.11	o 2936
15.79/15.81	c   trying 2881: vc 
15.79/15.81	o 2881
16.49/16.53	c   trying 2827: vc 
16.49/16.53	o 2827
17.19/17.27	c   trying 2773: vc 
17.19/17.27	o 2773
17.99/18.00	c   trying 2720: vc 
17.99/18.00	o 2720
18.69/18.73	c   trying 2667: vc 
18.69/18.73	o 2667
19.49/19.51	c   trying 2615: vc 
19.49/19.51	o 2615
20.19/20.28	c   trying 2563: vc 
20.19/20.28	o 2563
20.99/21.06	c   trying 2512: vc 
20.99/21.06	o 2512
21.79/21.84	c   trying 2461: vc 
21.79/21.84	o 2461
22.59/22.64	c   trying 2411: vc 
22.59/22.64	o 2411
23.39/23.47	c   trying 2361: vc 
23.39/23.47	o 2361
24.29/24.30	c   trying 2312: vc 
24.29/24.30	o 2312
25.09/25.13	c   trying 2263: vc 
25.09/25.13	o 2263
25.99/26.00	c   trying 2215: vc 
25.99/26.00	o 2215
26.78/26.80	c   trying 2167: vc 
26.78/26.80	o 2167
27.58/27.66	c   trying 2120: vc 
27.58/27.66	o 2120
28.49/28.54	c   trying 2073: vc 
28.49/28.54	o 2073
29.38/29.41	c   trying 2027: vc 
29.38/29.41	o 2027
30.18/30.28	c   trying 1981: vc 
30.18/30.28	o 1981
31.08/31.18	c   trying 1936: vc 
31.08/31.18	o 1936
32.08/32.12	c   trying 1892: vc 
32.08/32.12	o 1892
32.98/33.03	c   trying 1848: vc 
32.98/33.03	o 1848
33.98/34.00	c   trying 1805: vc 
33.98/34.00	o 1805
34.88/34.97	c   trying 1762: vc 
34.88/34.97	o 1762
35.88/35.94	c   trying 1720: vc 
35.88/35.94	o 1720
36.88/36.96	c   trying 1678: vc 
36.88/36.96	o 1678
37.88/37.99	c   trying 1637: vc 
37.88/37.99	o 1637
38.98/39.03	c   trying 1596: vc 
38.98/39.03	o 1596
40.08/40.11	c   trying 1556: vc 
40.08/40.11	o 1556
41.08/41.20	c   trying 1516: vc 
41.08/41.20	o 1516
42.18/42.29	c   trying 1477: vc 
42.18/42.29	o 1477
43.38/43.43	c   trying 1438: vc 
43.38/43.43	o 1438
44.48/44.54	c   trying 1400: vc 
44.48/44.54	o 1400
45.58/45.68	c   trying 1362: vc 
45.58/45.68	o 1362
46.78/46.89	c   trying 1325: vc 
46.78/46.89	o 1325
48.08/48.11	c   trying 1288: vc 
48.08/48.11	o 1288
49.28/49.38	c   trying 1252: vc 
49.28/49.38	o 1252
50.58/50.64	c   trying 1216: vc 
50.58/50.64	o 1216
51.88/51.97	c   trying 1181: vc 
51.88/51.97	o 1181
53.27/53.38	c   trying 1146: vc 
53.27/53.38	o 1146
54.77/54.83	c   trying 1112: vc 
54.77/54.83	o 1112
56.17/56.25	c   trying 1078: vc 
56.17/56.25	o 1078
57.67/57.77	c   trying 1045: vc 
57.67/57.77	o 1045
59.28/59.37	c   trying 1012: vc 
59.28/59.37	o 1012
60.97/61.07	c   trying 980: vc 
60.97/61.07	o 980
62.58/62.69	c   trying 948: vc 
62.58/62.69	o 948
64.36/64.44	c   trying 917: vc 
64.36/64.44	o 917
66.25/66.34	c   trying 886: vc 
66.25/66.34	o 886
68.23/68.30	c   trying 856: vc 
68.23/68.30	o 856
70.13/70.22	c   trying 826: vc 
70.13/70.22	o 826
72.23/72.39	c   trying 797: vc 
72.23/72.39	o 797
74.43/74.55	c   trying 768: vc 
74.43/74.55	o 768
76.83/76.90	c   trying 740: vc 
76.83/76.90	o 740
79.22/79.31	c   trying 712: vc 
79.22/79.31	o 712
81.81/81.94	c   trying 685: vc 
81.81/81.94	o 685
84.40/84.59	c   trying 658: vc 
84.40/84.59	o 658
87.50/87.62	c   trying 632: vc 
87.50/87.62	o 632
90.69/90.84	c   trying 606: vc 
90.69/90.84	o 606
94.08/94.28	c   trying 581: vc 
94.08/94.28	o 581
98.17/98.36	c   trying 556: vc 
98.17/98.37	o 556
102.37/102.55	c   trying 532: vc 
102.37/102.55	o 532
106.87/107.07	c   trying 508: vc 
106.87/107.07	o 508
111.66/111.85	c   trying 485: vc 
111.66/111.85	o 485
117.56/117.75	c   trying 462: vc 
117.56/117.75	o 462
123.55/123.70	c   trying 440: vc 
123.55/123.70	o 440
130.85/131.03	c   trying 419: vc 
130.85/131.03	o 419
139.25/139.44	c   trying 398: vc 
139.25/139.44	o 398
147.95/148.17	c   trying 378: vc 
147.95/148.17	o 378
159.74/159.93	c   trying 358: vc 
159.74/159.93	o 358
173.44/173.64	c   trying 339: vc 
173.44/173.64	o 339
189.14/189.33	c   trying 320: vc 
189.14/189.33	o 320
210.73/210.91	c   trying 302: vc 
210.73/210.91	o 302
444.07/444.35	c   trying 284: xxxxxxxxxxc 
444.07/444.35	c Phase 2 ...
466.26/466.54	c   trying 301: vc 
466.26/466.54	o 301
487.86/488.17	c   trying 300: vc 
487.86/488.17	o 300
508.85/509.15	c   trying 299: vc 
508.85/509.15	o 299
531.15/531.45	c   trying 298: vc 
531.15/531.45	o 298
551.64/551.95	c   trying 297: vc 
551.64/551.95	o 297
572.84/573.18	c   trying 296: vc 
572.84/573.18	o 296
593.63/593.98	c   trying 295: vc 
593.63/593.98	o 295
616.73/617.03	c   trying 294: vc 
616.73/617.03	o 294
639.11/639.44	c   trying 293: vc 
639.11/639.44	o 293
664.31/664.63	c   trying 292: vc 
664.31/664.63	o 292
688.10/688.46	c   trying 291: vc 
688.10/688.46	o 291
712.10/712.48	c   trying 290: vc 
712.10/712.48	o 290
737.69/738.03	c   trying 289: vc 
737.69/738.03	o 289
761.28/761.64	c   trying 288: vc 
761.28/761.64	o 288
783.88/784.28	c   trying 287: vc 
783.88/784.28	o 287
809.67/810.02	c   trying 286: vc 
809.67/810.02	o 286
835.86/836.28	c   trying 285: vc 
835.86/836.28	o 285
861.86/862.25	c   trying 284: vc 
861.86/862.25	o 284
885.05/885.47	c   trying 283: vc 
885.05/885.47	o 283
912.34/912.74	c   trying 282: vc 
912.34/912.74	o 282
940.04/940.50	c   trying 281: vc 
940.04/940.50	o 281
969.83/970.26	c   trying 280: vc 
969.83/970.26	o 280
995.62/996.04	c   trying 279: vc 
995.62/996.04	o 279
1024.82/1025.27	c   trying 278: vc 
1024.82/1025.27	o 278
1054.70/1055.10	c   trying 277: vc 
1054.70/1055.10	o 277
1089.39/1089.89	c   trying 276: vc 
1089.39/1089.89	o 276
1117.79/1118.28	c   trying 275: vc 
1117.79/1118.28	o 275
1149.68/1150.17	c   trying 274: vc 
1149.68/1150.17	o 274
1180.37/1180.81	c   trying 273: vc 
1180.37/1180.81	o 273
1211.96/1212.44	c   trying 272: vc 
1211.96/1212.44	o 272
1240.85/1241.36	c   trying 271: vc 
1240.85/1241.36	o 271
1274.04/1274.59	c   trying 270: vc 
1274.04/1274.59	o 270
1306.43/1306.98	c   trying 269: vc 
1306.43/1306.98	o 269
1345.03/1345.51	c   trying 268: vc 
1345.03/1345.51	o 268
1378.32/1378.89	c   trying 267: vc 
1378.32/1378.89	o 267
1414.21/1414.73	c   trying 266: vc 
1414.21/1414.73	o 266
1449.80/1450.39	c   trying 265: vc 
1449.80/1450.39	o 265
1485.79/1486.39	c   trying 264: vc 
1485.79/1486.39	o 264
1521.88/1522.47	c   trying 263: vc 
1521.88/1522.47	o 263
1556.97/1557.53	c   trying 262: vc 
1556.97/1557.54	o 262
1597.86/1598.43	c   trying 261: vc 
1597.86/1598.43	o 261
1638.85/1639.40	c   trying 260: vc 
1638.85/1639.40	o 260
1679.73/1680.31	c   trying 259: vc 
1679.73/1680.31	o 259
1724.13/1724.76	c   trying 258: vc 
1724.13/1724.76	o 258
1767.41/1768.05	c   trying 257: vc 
1767.41/1768.05	o 257
1800.01/1800.60	c   trying 256: xc 
1800.01/1800.60	c Phase 3 ...
1800.01/1800.60	c   trying 256 again: c 
1800.01/1800.60	s SATISFIABLE
1800.01/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.01/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.01/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.01/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.01/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.01/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.01/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.01/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.01/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.01/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.01/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.01/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.01/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.01/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.01/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.01/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.01/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.01/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.01/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.01/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.01/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.01/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.01/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.01/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.01/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.01/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.01/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.01/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.01/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.01/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.01/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.01/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.01/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.01/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.01/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.01/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.01/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.01/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.01/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.01/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.01/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.01/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.01/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.01/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.01/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.01/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.01/1800.61	v -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 x1001 x1002 -x1003 -x1004 -x1005 -x1006 -x1007
1800.01/1800.61	v -x1008 x1009 -x1010 -x1011 x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 x1024 -x1025
1800.01/1800.61	v -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042
1800.01/1800.61	v -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059
1800.01/1800.61	v -x1060 x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076
1800.01/1800.61	v -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093
1800.01/1800.61	v -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110
1800.01/1800.61	v -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 x1121 -x1122 x1123 -x1124 -x1125 -x1126 -x1127 x1128
1800.01/1800.61	v -x1129 -x1130 -x1131 x1132 -x1133 x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146
1800.01/1800.61	v -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 x1159 -x1160 -x1161 -x1162 -x1163
1800.01/1800.61	v -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 x1175 -x1176 -x1177 -x1178 -x1179 -x1180
1800.01/1800.61	v -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197
1800.01/1800.61	v -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214
1800.01/1800.61	v -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 x1230 -x1231 -x1232
1800.01/1800.61	v -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249
1800.01/1800.61	v -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 x1266
1800.01/1800.61	v -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283
1800.01/1800.61	v -x1284 x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 x1297 -x1298 -x1299 -x1300 -x1301
1800.01/1800.61	v -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318
1800.01/1800.61	v -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335
1800.01/1800.61	v -x1336 -x1337 -x1338 x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 x1350 -x1351 -x1352 -x1353
1800.01/1800.61	v -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 x1367 -x1368 -x1369 -x1370
1800.01/1800.61	v -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387
1800.01/1800.61	v -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 x1404
1800.01/1800.61	v -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421
1800.01/1800.61	v -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438
1800.01/1800.61	v -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455
1800.01/1800.61	v -x1456 -x1457 -x1458 -x1459 -x1460 x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472
1800.01/1800.61	v -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 x1489
1800.01/1800.61	v -x1490 x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507
1800.01/1800.61	v -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524
1800.01/1800.61	v -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541
1800.01/1800.61	v -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 x1558
1800.01/1800.61	v -x1559 -x1560 -x1561 x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575
1800.01/1800.61	v -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592
1800.01/1800.61	v -x1593 -x1594 x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609
1800.01/1800.61	v -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626
1800.01/1800.61	v -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643
1800.01/1800.61	v -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660
1800.01/1800.61	v -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677
1800.01/1800.61	v -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694
1800.01/1800.61	v -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711
1800.01/1800.61	v -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728
1800.01/1800.61	v -x1729 -x1730 -x1731 -x1732 -x1733 x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745
1800.01/1800.61	v -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762
1800.01/1800.61	v -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779
1800.01/1800.61	v -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796
1800.01/1800.61	v -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 x1812 -x1813
1800.01/1800.61	v -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830
1800.01/1800.61	v -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 x1842 -x1843 -x1844 -x1845 -x1846 -x1847
1800.01/1800.61	v -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864
1800.01/1800.61	v -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881
1800.01/1800.61	v -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898
1800.01/1800.61	v -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 x1912 -x1913 -x1914 -x1915
1800.01/1800.61	v -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 x1932
1800.01/1800.61	v -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 x1947 -x1948 -x1949
1800.01/1800.61	v -x1950 -x1951 x1952 -x1953 x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967
1800.01/1800.61	v -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984
1800.01/1800.61	v -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001
1800.01/1800.61	v -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018
1800.01/1800.61	v -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035
1800.01/1800.61	v -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052
1800.01/1800.61	v -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 x2066 -x2067 -x2068 -x2069
1800.01/1800.61	v -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 x2082 -x2083 -x2084 -x2085 -x2086
1800.01/1800.61	v -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103
1800.01/1800.61	v -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120
1800.01/1800.61	v -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 x2133 -x2134 -x2135 -x2136 -x2137
1800.01/1800.61	v -x2138 x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154
1800.01/1800.61	v -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171
1800.01/1800.61	v -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188
1800.01/1800.61	v -x2189 -x2190 -x2191 x2192 -x2193 -x2194 -x2195 -x2196 -x2197 x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206
1800.01/1800.61	v -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 x2219 -x2220 -x2221 -x2222 -x2223
1800.01/1800.61	v x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241
1800.01/1800.61	v -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258
1800.01/1800.61	v -x2259 -x2260 -x2261 -x2262 -x2263 x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275
1800.01/1800.61	v -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292
1800.01/1800.61	v -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309
1800.01/1800.61	v -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326
1800.01/1800.61	v -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343
1800.01/1800.61	v -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360
1800.01/1800.61	v -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377
1800.01/1800.61	v -x2378 -x2379 -x2380 -x2381 -x2382 x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394
1800.01/1800.61	v -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411
1800.01/1800.61	v -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428
1800.01/1800.61	v -x2429 -x2430 -x2431 -x2432 x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445
1800.01/1800.61	v -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462
1800.01/1800.61	v -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 x2478 -x2479
1800.01/1800.61	v -x2480 x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496
1800.01/1800.61	v -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513
1800.01/1800.61	v -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530
1800.01/1800.61	v -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547
1800.01/1800.61	v -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564
1800.01/1800.61	v -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 x2579 -x2580 -x2581
1800.01/1800.61	v -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 x2595 -x2596 -x2597 x2598 -x2599
1800.01/1800.61	v -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616
1800.01/1800.61	v -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633
1800.01/1800.61	v -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650
1800.01/1800.61	v -x2651 -x2652 -x2653 -x2654 x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667
1800.01/1800.61	v -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684
1800.01/1800.61	v -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701
1800.01/1800.61	v -x2702 -x2703 -x2704 -x2705 -x2706 x2707 -x2708 -x2709 -x2710 -x2711 -x2712 x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719
1800.01/1800.61	v -x2720 -x2721 x2722 x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737
1800.01/1800.61	v -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754
1800.01/1800.61	v -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771
1800.01/1800.61	v -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788
1800.01/1800.61	v -x2789 -x2790 -x2791 x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805
1800.01/1800.61	v -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 x2821 -x2822
1800.01/1800.61	v -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 x2830 -x2831 -x2832 -x2833 -x2834 x2835 -x2836 -x2837 -x2838 -x2839 -x2840
1800.01/1800.61	v -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 x2856 x2857 -x2858
1800.01/1800.61	v -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875
1800.01/1800.61	v -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892
1800.01/1800.61	v -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909
1800.01/1800.61	v -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926
1800.01/1800.61	v -x2927 -x2928 -x2929 -x2930 -x2931 x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943
1800.01/1800.61	v -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960
1800.01/1800.61	v -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977
1800.01/1800.61	v -x2978 -x2979 -x2980 -x2981 x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994
1800.01/1800.61	v -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011
1800.01/1800.61	v -x3012 -x3013 -x3014 -x3015 -x3016 x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028
1800.01/1800.61	v -x3029 x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045
1800.01/1800.61	v -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062
1800.01/1800.61	v -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 x3070 -x3071 -x3072 x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080
1800.01/1800.61	v -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097
1800.01/1800.61	v -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114
1800.01/1800.61	v -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 x3126 -x3127 -x3128 -x3129 -x3130 -x3131
1800.01/1800.61	v -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 x3147 -x3148
1800.01/1800.61	v -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165
1800.01/1800.61	v -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182
1800.01/1800.61	v -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199
1800.01/1800.61	v -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216
1800.01/1800.61	v -x3217 -x3218 -x3219 -x3220 -x3221 x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 x3232 -x3233 -x3234
1800.01/1800.61	v -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251
1800.01/1800.61	v -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268
1800.01/1800.61	v -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285
1800.01/1800.61	v -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 x3302
1800.01/1800.61	v -x3303 -x3304 -x3305 x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319
1800.01/1800.61	v -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336
1800.01/1800.61	v x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354
1800.01/1800.61	v -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371
1800.01/1800.61	v -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388
1800.01/1800.61	v -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405
1800.01/1800.61	v -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422
1800.01/1800.61	v -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439
1800.01/1800.61	v -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456
1800.01/1800.61	v -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473
1800.01/1800.61	v -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 x3488 -x3489 -x3490
1800.01/1800.61	v -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507
1800.01/1800.61	v -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524
1800.01/1800.61	v -x3525 -x3526 x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541
1800.01/1800.61	v -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558
1800.01/1800.61	v -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 x3572 -x3573 -x3574 -x3575
1800.01/1800.61	v -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592
1800.01/1800.61	v -x3593 -x3594 -x3595 -x3596 x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 x3608 -x3609 -x3610
1800.01/1800.61	v -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627
1800.01/1800.61	v -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644
1800.01/1800.61	v -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661
1800.01/1800.61	v -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678
1800.01/1800.61	v -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695
1800.01/1800.61	v -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 x3709 -x3710 -x3711 -x3712
1800.01/1800.61	v -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729
1800.01/1800.61	v -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 x3746
1800.01/1800.61	v -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763
1800.01/1800.61	v -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780
1800.01/1800.61	v -x3781 -x3782 -x3783 -x3784 x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797
1800.01/1800.61	v -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814
1800.01/1800.61	v -x3815 -x3816 -x3817 -x3818 -x3819 x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831
1800.01/1800.61	v -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848
1800.01/1800.61	v -x3849 -x3850 -x3851 -x3852 -x3853 x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865
1800.01/1800.61	v -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882
1800.01/1800.61	v -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899
1800.01/1800.61	v -x3900 -x3901 -x3902 -x3903 -x3904 x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916
1800.01/1800.61	v -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933
1800.01/1800.61	v -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950
1800.01/1800.61	v -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 x3966 -x3967
1800.01/1800.61	v -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 x3981 -x3982 -x3983 -x3984
1800.01/1800.61	v -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 x3998 -x3999 -x4000 -x4001
1800.01/1800.61	v -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018
1800.01/1800.61	v -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035
1800.01/1800.61	v -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 x4048 -x4049 -x4050 -x4051 -x4052
1800.01/1800.61	v -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069
1800.01/1800.61	v -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 x4081 -x4082 -x4083 -x4084 -x4085 -x4086
1800.01/1800.61	v -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103
1800.01/1800.61	v -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 x4119 -x4120 -x4121
1800.01/1800.61	v -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138
1800.01/1800.61	v -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 x4154 -x4155
1800.01/1800.61	v -x4156 -x4157 x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172
1800.01/1800.61	v -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189
1800.01/1800.61	v -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 x4196 -x4197 x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207
1800.01/1800.61	v -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224
1800.01/1800.61	v -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 x4237 -x4238 -x4239 -x4240 -x4241
1800.01/1800.61	v -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 x4257 -x4258
1800.01/1800.61	v -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275
1800.01/1800.61	v -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292
1800.01/1800.61	v -x4293 -x4294 -x4295 -x4296 -x4297 x4298 -x4299 -x4300 -x4301 x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310
1800.01/1800.61	v -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327
1800.01/1800.61	v -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 x4343 -x4344 -x4345
1800.01/1800.61	v -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362
1800.01/1800.61	v -x4363 -x4364 -x4365 -x4366 -x4367 x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379
1800.01/1800.61	v -x4380 x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 x4393 -x4394 -x4395 -x4396 -x4397
1800.01/1800.61	v -x4398 -x4399 -x4400 x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414
1800.01/1800.61	v -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 x4431
1800.01/1800.61	v -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448
1800.01/1800.61	v -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465
1800.01/1800.61	v -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482
1800.01/1800.61	v -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499
1800.01/1800.61	v -x4500 -x4501 -x4502 -x4503 x4504 -x4505 -x4506 -x4507 x4508 -x4509 -x4510 -x4511 -x4512 x4513 -x4514 -x4515 -x4516 -x4517
1800.01/1800.61	v -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 x4530 -x4531 -x4532 -x4533 -x4534
1800.01/1800.61	v -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 x4547 -x4548 -x4549 -x4550 -x4551
1800.01/1800.61	v -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568
1800.01/1800.61	v -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 x4577 -x4578 -x4579 -x4580 x4581 -x4582 -x4583 -x4584 -x4585 -x4586
1800.01/1800.61	v -x4587 -x4588 x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603
1800.01/1800.61	v -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620
1800.01/1800.61	v -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637
1800.01/1800.61	v -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 x4650 -x4651 -x4652 -x4653 -x4654
1800.01/1800.61	v -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671
1800.01/1800.61	v -x4672 -x4673 -x4674 -x4675 x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688
1800.01/1800.61	v -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705
1800.01/1800.61	v -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722
1800.01/1800.61	v -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739
1800.01/1800.61	v x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756
1800.01/1800.61	v -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773
1800.01/1800.61	v -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 x4790
1800.01/1800.61	v -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807
1800.01/1800.61	v -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824
1800.01/1800.61	v -x4825 -x4826 -x4827 x4828 -x4829 x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842
1800.01/1800.61	v -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859
1800.01/1800.61	v -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876
1800.01/1800.61	v -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893
1800.01/1800.61	v -x4894 x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910
1800.01/1800.61	v -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927
1800.01/1800.61	v -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944
1800.01/1800.61	v -x4945 x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961
1800.01/1800.61	v -x4962 -x4963 -x4964 x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978
1800.01/1800.61	v -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995
1800.01/1800.61	v -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 x5002 -x5003 -x5004 x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013
1800.01/1800.61	v -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030
1800.01/1800.61	v -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047
1800.01/1800.61	v -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064
1800.01/1800.61	v -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081
1800.01/1800.61	v -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098
1800.01/1800.61	v -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115
1800.01/1800.61	v -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 x5132
1800.01/1800.61	v -x5133 -x5134 -x5135 x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149
1800.01/1800.61	v -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166
1800.01/1800.61	v -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183
1800.01/1800.61	v -x5184 -x5185 x5186 -x5187 -x5188 -x5189 x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201
1800.01/1800.61	v -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218
1800.01/1800.61	v -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235
1800.01/1800.61	v -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 x5251 -x5252
1800.01/1800.61	v -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 x5262 -x5263 -x5264 -x5265 -x5266 x5267 -x5268 -x5269 -x5270
1800.01/1800.61	v -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 x5283 -x5284 -x5285 -x5286 -x5287
1800.01/1800.61	v x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304
1800.01/1800.61	v -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321
1800.01/1800.61	v -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 x5336 -x5337 -x5338
1800.01/1800.61	v -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355
1800.01/1800.61	v -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372
1800.01/1800.61	v -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389
1800.01/1800.61	v -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406
1800.01/1800.61	v -x5407 -x5408 -x5409 -x5410 -x5411 x5412 -x5413 -x5414 -x5415 -x5416 x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424
1800.01/1800.61	v -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 x5437 -x5438 -x5439 -x5440 -x5441
1800.01/1800.61	v -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458
1800.01/1800.61	v -x5459 -x5460 x5461 -x5462 -x5463 -x5464 x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476
1800.01/1800.61	v -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493
1800.01/1800.61	v -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510
1800.01/1800.61	v -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527
1800.01/1800.61	v -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544
1800.01/1800.61	v -x5545 x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561
1800.01/1800.61	v -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 x5576 -x5577 -x5578
1800.01/1800.61	v -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595
1800.01/1800.61	v -x5596 -x5597 x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612
1800.01/1800.61	v -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629
1800.01/1800.61	v -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646
1800.01/1800.61	v -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663
1800.01/1800.61	v -x5664 -x5665 -x5666 -x5667 x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680
1800.01/1800.61	v -x5681 -x5682 -x5683 x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697
1800.01/1800.61	v -x5698 -x5699 -x5700 -x5701 -x5702 x5703 x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715
1800.01/1800.61	v -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732
1800.01/1800.61	v -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 x5744 -x5745 -x5746 -x5747 -x5748 -x5749
1800.01/1800.61	v -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766
1800.01/1800.61	v -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783
1800.01/1800.61	v -x5784 x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 x5794 -x5795 x5796 -x5797 -x5798 -x5799 -x5800 -x5801
1800.01/1800.61	v -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 x5818
1800.01/1800.61	v -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835
1800.01/1800.61	v -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852
1800.01/1800.61	v x5853 -x5854 -x5855 x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 x5869 -x5870
1800.01/1800.61	v -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 x5886 -x5887 -x5888
1800.01/1800.61	v -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905
1800.01/1800.61	v -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922
1800.01/1800.61	v -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939
1800.01/1800.61	v -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956
1800.01/1800.61	v -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 x5972 -x5973 -x5974
1800.01/1800.61	v -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 x5986 -x5987 -x5988 -x5989 -x5990 -x5991
1800.01/1800.61	v -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 x6006 -x6007 -x6008
1800.01/1800.61	v -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025
1800.01/1800.61	v -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042
1800.01/1800.61	v x6043 -x6044 -x6045 -x6046 x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060
1800.01/1800.61	v -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077
1800.01/1800.61	v -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094
1800.01/1800.61	v -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111
1800.01/1800.61	v -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128
1800.01/1800.61	v -x6129 -x6130 x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 x6145 -x6146
1800.01/1800.61	v -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 x6158 -x6159 -x6160 -x6161 -x6162 -x6163
1800.01/1800.61	v -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180
1800.01/1800.61	v -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197
1800.01/1800.61	v -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207
1800.01/1800.62	c Total Number of Positive Atoms : 257
1800.01/1800.62	c 
1800.01/1800.62	c During searching:         1754.92 seconds elapsed.
1800.01/1800.62	c CPU time spent:           1754.59 seconds.
1800.01/1800.62	c 
1800.01/1800.62	c =================================== END =====================================
1800.01/1800.62	c

Verifier Data (download as text)

OK	257

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node68/watcher-354647-1176721197 -o ROOT/results/node68/solver-354647-1176721197 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/354647-1176721197/wildcat-skc /tmp/evaluation/354647-1176721197/instance-354647-1176721197.opb 688822279 

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.79 0.95 0.98 3/64 30293
/proc/meminfo: memFree=1798336/2055920 swapFree=4183852/4192956
[pid=30293] ppid=30291 vsize=5972 CPUtime=0
/proc/30293/stat : 30293 (wildcat-skc) R 30291 30293 30233 0 -1 4194304 156 0 0 0 0 0 0 0 18 0 1 0 148109289 6115328 140 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 135015020 0 0 4096 16386 0 0 0 17 1 0 0
/proc/30293/statm: 1493 140 105 226 0 1264 0

[startup+0.0292859 s]
/proc/loadavg: 0.79 0.95 0.98 3/64 30293
/proc/meminfo: memFree=1798336/2055920 swapFree=4183852/4192956
[pid=30293] ppid=30291 vsize=6104 CPUtime=0.02
/proc/30293/stat : 30293 (wildcat-skc) R 30291 30293 30233 0 -1 4194304 180 0 0 0 2 0 0 0 18 0 1 0 148109289 6250496 164 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 135015031 0 0 4096 16386 0 0 0 17 1 0 0
/proc/30293/statm: 1526 164 105 226 0 1297 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 6104

[startup+0.101293 s]
/proc/loadavg: 0.79 0.95 0.98 3/64 30293
/proc/meminfo: memFree=1798336/2055920 swapFree=4183852/4192956
[pid=30293] ppid=30291 vsize=6368 CPUtime=0.1
/proc/30293/stat : 30293 (wildcat-skc) R 30291 30293 30233 0 -1 4194304 250 0 0 0 10 0 0 0 18 0 1 0 148109289 6520832 234 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 135002146 0 0 4096 16386 0 0 0 17 1 0 0
/proc/30293/statm: 1592 234 105 226 0 1363 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 6368

[startup+0.30131 s]
/proc/loadavg: 0.79 0.95 0.98 3/64 30293
/proc/meminfo: memFree=1798336/2055920 swapFree=4183852/4192956
[pid=30293] ppid=30291 vsize=7160 CPUtime=0.29
/proc/30293/stat : 30293 (wildcat-skc) R 30291 30293 30233 0 -1 4194304 444 0 0 0 29 0 0 0 19 0 1 0 148109289 7331840 428 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 135002146 0 0 4096 16386 0 0 0 17 1 0 0
/proc/30293/statm: 1790 428 105 226 0 1561 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7160

[startup+0.701347 s]
/proc/loadavg: 0.79 0.95 0.98 3/64 30293
/proc/meminfo: memFree=1798336/2055920 swapFree=4183852/4192956
[pid=30293] ppid=30291 vsize=7428 CPUtime=0.69
/proc/30293/stat : 30293 (wildcat-skc) R 30291 30293 30233 0 -1 4194304 520 0 0 0 69 0 0 0 22 0 1 0 148109289 7606272 504 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 135014965 0 0 4096 16386 0 0 0 17 1 0 0
/proc/30293/statm: 1857 504 107 226 0 1628 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7428

[startup+1.50142 s]
/proc/loadavg: 0.79 0.95 0.98 2/65 30294
/proc/meminfo: memFree=1796408/2055920 swapFree=4183852/4192956
[pid=30293] ppid=30291 vsize=8096 CPUtime=1.49
/proc/30293/stat : 30293 (wildcat-skc) R 30291 30293 30233 0 -1 4194304 697 0 0 0 149 0 0 0 25 0 1 0 148109289 8290304 681 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 135014965 0 0 4096 16386 0 0 0 17 1 0 0
/proc/30293/statm: 2024 681 107 226 0 1795 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8096

[startup+3.10156 s]
/proc/loadavg: 0.79 0.95 0.98 2/65 30294
/proc/meminfo: memFree=1795448/2055920 swapFree=4183852/4192956
[pid=30293] ppid=30291 vsize=9180 CPUtime=3.09
/proc/30293/stat : 30293 (wildcat-skc) R 30291 30293 30233 0 -1 4194304 964 0 0 0 309 0 0 0 25 0 1 0 148109289 9400320 948 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 135015043 0 0 4096 16386 0 0 0 17 1 0 0
/proc/30293/statm: 2295 948 107 226 0 2066 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 9180

[startup+6.30185 s]
/proc/loadavg: 0.81 0.95 0.98 2/65 30294
/proc/meminfo: memFree=1793088/2055920 swapFree=4183852/4192956
[pid=30293] ppid=30291 vsize=11360 CPUtime=6.29
/proc/30293/stat : 30293 (wildcat-skc) R 30291 30293 30233 0 -1 4194304 1482 0 0 0 628 1 0 0 25 0 1 0 148109289 11632640 1466 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 135014965 0 0 4096 16386 0 0 0 17 1 0 0
/proc/30293/statm: 2840 1466 107 226 0 2611 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 11360

[startup+12.7014 s]
/proc/loadavg: 0.82 0.95 0.98 2/65 30294
/proc/meminfo: memFree=1788688/2055920 swapFree=4183852/4192956
[pid=30293] ppid=30291 vsize=15736 CPUtime=12.69
/proc/30293/stat : 30293 (wildcat-skc) R 30291 30293 30233 0 -1 4194304 2554 0 0 0 1267 2 0 0 25 0 1 0 148109289 16113664 2538 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 135014972 0 0 4096 16386 0 0 0 17 1 0 0
/proc/30293/statm: 3934 2538 107 226 0 3705 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 15736

[startup+25.5016 s]
/proc/loadavg: 0.86 0.95 0.98 2/65 30294
/proc/meminfo: memFree=1788176/2055920 swapFree=4183852/4192956
[pid=30293] ppid=30291 vsize=15876 CPUtime=25.49
/proc/30293/stat : 30293 (wildcat-skc) R 30291 30293 30233 0 -1 4194304 2608 0 0 0 2547 2 0 0 25 0 1 0 148109289 16257024 2591 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134603942 0 0 4096 16386 0 0 0 17 1 0 0
/proc/30293/statm: 3969 2591 115 226 0 3740 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 15876

[startup+51.1019 s]
/proc/loadavg: 0.91 0.96 0.98 2/65 30294
/proc/meminfo: memFree=1788240/2055920 swapFree=4183852/4192956
[pid=30293] ppid=30291 vsize=15876 CPUtime=51.08
/proc/30293/stat : 30293 (wildcat-skc) R 30291 30293 30233 0 -1 4194304 2608 0 0 0 5106 2 0 0 25 0 1 0 148109289 16257024 2591 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134603939 0 0 4096 16386 0 0 0 17 1 0 0
/proc/30293/statm: 3969 2591 115 226 0 3740 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 15876

[startup+102.307 s]
/proc/loadavg: 0.96 0.96 0.98 2/71 30464
/proc/meminfo: memFree=1786760/2055920 swapFree=4183852/4192956
[pid=30293] ppid=30291 vsize=15876 CPUtime=102.18
/proc/30293/stat : 30293 (wildcat-skc) R 30291 30293 30233 0 -1 4194304 2608 0 0 0 10213 5 0 0 25 0 1 0 148109289 16257024 2591 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134603942 0 0 4096 16386 0 0 0 17 1 0 0
/proc/30293/statm: 3969 2591 115 226 0 3740 0
Current children cumulated CPU time (s) 102.18
Current children cumulated vsize (KiB) 15876

[startup+162.302 s]
/proc/loadavg: 0.98 0.97 0.98 2/65 30492
/proc/meminfo: memFree=1787856/2055920 swapFree=4183852/4192956
[pid=30293] ppid=30291 vsize=15876 CPUtime=162.14
/proc/30293/stat : 30293 (wildcat-skc) R 30291 30293 30233 0 -1 4194304 2608 0 0 0 16209 5 0 0 25 0 1 0 148109289 16257024 2591 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134603944 0 0 4096 16386 0 0 0 17 1 0 0
/proc/30293/statm: 3969 2591 115 226 0 3740 0
Current children cumulated CPU time (s) 162.14
Current children cumulated vsize (KiB) 15876

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 30492
/proc/meminfo: memFree=1787856/2055920 swapFree=4183852/4192956
[pid=30293] ppid=30291 vsize=15876 CPUtime=222.13
/proc/30293/stat : 30293 (wildcat-skc) R 30291 30293 30233 0 -1 4194304 2608 0 0 0 22208 5 0 0 25 0 1 0 148109289 16257024 2591 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134603936 0 0 4096 16386 0 0 0 17 1 0 0
/proc/30293/statm: 3969 2591 115 226 0 3740 0
Current children cumulated CPU time (s) 222.13
Current children cumulated vsize (KiB) 15876

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 30492
/proc/meminfo: memFree=1787920/2055920 swapFree=4183852/4192956
[pid=30293] ppid=30291 vsize=15876 CPUtime=282.11
/proc/30293/stat : 30293 (wildcat-skc) R 30291 30293 30233 0 -1 4194304 2608 0 0 0 28206 5 0 0 25 0 1 0 148109289 16257024 2591 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134603944 0 0 4096 16386 0 0 0 17 1 0 0
/proc/30293/statm: 3969 2591 115 226 0 3740 0
Current children cumulated CPU time (s) 282.11
Current children cumulated vsize (KiB) 15876

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 30492
/proc/meminfo: memFree=1788048/2055920 swapFree=4183852/4192956
[pid=30293] ppid=30291 vsize=15876 CPUtime=342.1
/proc/30293/stat : 30293 (wildcat-skc) R 30291 30293 30233 0 -1 4194304 2608 0 0 0 34205 5 0 0 25 0 1 0 148109289 16257024 2591 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134603939 0 0 4096 16386 0 0 0 17 1 0 0
/proc/30293/statm: 3969 2591 115 226 0 3740 0
Current children cumulated CPU time (s) 342.1
Current children cumulated vsize (KiB) 15876

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 30492
/proc/meminfo: memFree=1788112/2055920 swapFree=4183852/4192956
[pid=30293] ppid=30291 vsize=15876 CPUtime=402.08
/proc/30293/stat : 30293 (wildcat-skc) R 30291 30293 30233 0 -1 4194304 2608 0 0 0 40203 5 0 0 25 0 1 0 148109289 16257024 2591 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134603942 0 0 4096 16386 0 0 0 17 1 0 0
/proc/30293/statm: 3969 2591 115 226 0 3740 0
Current children cumulated CPU time (s) 402.08
Current children cumulated vsize (KiB) 15876

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 30492
/proc/meminfo: memFree=1788120/2055920 swapFree=4183852/4192956
[pid=30293] ppid=30291 vsize=15876 CPUtime=462.06
/proc/30293/stat : 30293 (wildcat-skc) R 30291 30293 30233 0 -1 4194304 2608 0 0 0 46201 5 0 0 25 0 1 0 148109289 16257024 2591 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134603939 0 0 4096 16386 0 0 0 17 1 0 0
/proc/30293/statm: 3969 2591 115 226 0 3740 0
Current children cumulated CPU time (s) 462.06
Current children cumulated vsize (KiB) 15876

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 30492
/proc/meminfo: memFree=1788120/2055920 swapFree=4183852/4192956
[pid=30293] ppid=30291 vsize=15876 CPUtime=522.05
/proc/30293/stat : 30293 (wildcat-skc) R 30291 30293 30233 0 -1 4194304 2608 0 0 0 52200 5 0 0 25 0 1 0 148109289 16257024 2591 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134599046 0 0 4096 16386 0 0 0 17 1 0 0
/proc/30293/statm: 3969 2591 115 226 0 3740 0
Current children cumulated CPU time (s) 522.05
Current children cumulated vsize (KiB) 15876

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 30492
/proc/meminfo: memFree=1788056/2055920 swapFree=4183852/4192956
[pid=30293] ppid=30291 vsize=15876 CPUtime=582.03
/proc/30293/stat : 30293 (wildcat-skc) R 30291 30293 30233 0 -1 4194304 2608 0 0 0 58198 5 0 0 25 0 1 0 148109289 16257024 2591 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134603939 0 0 4096 16386 0 0 0 17 1 0 0
/proc/30293/statm: 3969 2591 115 226 0 3740 0
Current children cumulated CPU time (s) 582.03
Current children cumulated vsize (KiB) 15876

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 30492
/proc/meminfo: memFree=1788056/2055920 swapFree=4183852/4192956
[pid=30293] ppid=30291 vsize=15876 CPUtime=642.02
/proc/30293/stat : 30293 (wildcat-skc) R 30291 30293 30233 0 -1 4194304 2608 0 0 0 64197 5 0 0 25 0 1 0 148109289 16257024 2591 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134603942 0 0 4096 16386 0 0 0 17 1 0 0
/proc/30293/statm: 3969 2591 115 226 0 3740 0
Current children cumulated CPU time (s) 642.02
Current children cumulated vsize (KiB) 15876


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

[startup+822.303 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 30492
/proc/meminfo: memFree=1787992/2055920 swapFree=4183852/4192956
[pid=30293] ppid=30291 vsize=15876 CPUtime=821.97
/proc/30293/stat : 30293 (wildcat-skc) R 30291 30293 30233 0 -1 4194304 2608 0 0 0 82192 5 0 0 25 0 1 0 148109289 16257024 2591 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134603942 0 0 4096 16386 0 0 0 17 1 0 0
/proc/30293/statm: 3969 2591 115 226 0 3740 0
Current children cumulated CPU time (s) 821.97
Current children cumulated vsize (KiB) 15876

[startup+882.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 30492
/proc/meminfo: memFree=1787992/2055920 swapFree=4183852/4192956
[pid=30293] ppid=30291 vsize=15876 CPUtime=881.95
/proc/30293/stat : 30293 (wildcat-skc) R 30291 30293 30233 0 -1 4194304 2608 0 0 0 88190 5 0 0 25 0 1 0 148109289 16257024 2591 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134603941 0 0 4096 16386 0 0 0 17 1 0 0
/proc/30293/statm: 3969 2591 115 226 0 3740 0
Current children cumulated CPU time (s) 881.95
Current children cumulated vsize (KiB) 15876

[startup+942.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 30492
/proc/meminfo: memFree=1787992/2055920 swapFree=4183852/4192956
[pid=30293] ppid=30291 vsize=15876 CPUtime=941.93
/proc/30293/stat : 30293 (wildcat-skc) R 30291 30293 30233 0 -1 4194304 2608 0 0 0 94188 5 0 0 25 0 1 0 148109289 16257024 2591 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134603942 0 0 4096 16386 0 0 0 17 1 0 0
/proc/30293/statm: 3969 2591 115 226 0 3740 0
Current children cumulated CPU time (s) 941.93
Current children cumulated vsize (KiB) 15876

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 30492
/proc/meminfo: memFree=1787928/2055920 swapFree=4183852/4192956
[pid=30293] ppid=30291 vsize=15876 CPUtime=1001.92
/proc/30293/stat : 30293 (wildcat-skc) R 30291 30293 30233 0 -1 4194304 2608 0 0 0 100187 5 0 0 25 0 1 0 148109289 16257024 2591 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134603942 0 0 4096 16386 0 0 0 17 1 0 0
/proc/30293/statm: 3969 2591 115 226 0 3740 0
Current children cumulated CPU time (s) 1001.92
Current children cumulated vsize (KiB) 15876

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 30492
/proc/meminfo: memFree=1787928/2055920 swapFree=4183852/4192956
[pid=30293] ppid=30291 vsize=15876 CPUtime=1061.9
/proc/30293/stat : 30293 (wildcat-skc) R 30291 30293 30233 0 -1 4194304 2608 0 0 0 106185 5 0 0 25 0 1 0 148109289 16257024 2591 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134603944 0 0 4096 16386 0 0 0 17 1 0 0
/proc/30293/statm: 3969 2591 115 226 0 3740 0
Current children cumulated CPU time (s) 1061.9
Current children cumulated vsize (KiB) 15876

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 30492
/proc/meminfo: memFree=1787928/2055920 swapFree=4183852/4192956
[pid=30293] ppid=30291 vsize=15876 CPUtime=1121.88
/proc/30293/stat : 30293 (wildcat-skc) R 30291 30293 30233 0 -1 4194304 2608 0 0 0 112183 5 0 0 25 0 1 0 148109289 16257024 2591 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134603939 0 0 4096 16386 0 0 0 17 1 0 0
/proc/30293/statm: 3969 2591 115 226 0 3740 0
Current children cumulated CPU time (s) 1121.88
Current children cumulated vsize (KiB) 15876

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 30492
/proc/meminfo: memFree=1787928/2055920 swapFree=4183852/4192956
[pid=30293] ppid=30291 vsize=15876 CPUtime=1181.87
/proc/30293/stat : 30293 (wildcat-skc) R 30291 30293 30233 0 -1 4194304 2608 0 0 0 118182 5 0 0 25 0 1 0 148109289 16257024 2591 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134603942 0 0 4096 16386 0 0 0 17 1 0 0
/proc/30293/statm: 3969 2591 115 226 0 3740 0
Current children cumulated CPU time (s) 1181.87
Current children cumulated vsize (KiB) 15876

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 30492
/proc/meminfo: memFree=1787864/2055920 swapFree=4183852/4192956
[pid=30293] ppid=30291 vsize=15876 CPUtime=1241.85
/proc/30293/stat : 30293 (wildcat-skc) R 30291 30293 30233 0 -1 4194304 2608 0 0 0 124180 5 0 0 25 0 1 0 148109289 16257024 2591 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134603941 0 0 4096 16386 0 0 0 17 1 0 0
/proc/30293/statm: 3969 2591 115 226 0 3740 0
Current children cumulated CPU time (s) 1241.85
Current children cumulated vsize (KiB) 15876

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 30492
/proc/meminfo: memFree=1787864/2055920 swapFree=4183852/4192956
[pid=30293] ppid=30291 vsize=15876 CPUtime=1301.84
/proc/30293/stat : 30293 (wildcat-skc) R 30291 30293 30233 0 -1 4194304 2608 0 0 0 130179 5 0 0 25 0 1 0 148109289 16257024 2591 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134603942 0 0 4096 16386 0 0 0 17 1 0 0
/proc/30293/statm: 3969 2591 115 226 0 3740 0
Current children cumulated CPU time (s) 1301.84
Current children cumulated vsize (KiB) 15876

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 30492
/proc/meminfo: memFree=1787800/2055920 swapFree=4183852/4192956
[pid=30293] ppid=30291 vsize=15876 CPUtime=1361.82
/proc/30293/stat : 30293 (wildcat-skc) R 30291 30293 30233 0 -1 4194304 2608 0 0 0 136177 5 0 0 25 0 1 0 148109289 16257024 2591 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134603939 0 0 4096 16386 0 0 0 17 1 0 0
/proc/30293/statm: 3969 2591 115 226 0 3740 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 15876

[startup+1422.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 30492
/proc/meminfo: memFree=1787800/2055920 swapFree=4183852/4192956
[pid=30293] ppid=30291 vsize=15876 CPUtime=1421.81
/proc/30293/stat : 30293 (wildcat-skc) R 30291 30293 30233 0 -1 4194304 2608 0 0 0 142176 5 0 0 25 0 1 0 148109289 16257024 2591 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134549924 0 0 4096 16386 0 0 0 17 1 0 0
/proc/30293/statm: 3969 2591 115 226 0 3740 0
Current children cumulated CPU time (s) 1421.81
Current children cumulated vsize (KiB) 15876

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 30492
/proc/meminfo: memFree=1787736/2055920 swapFree=4183852/4192956
[pid=30293] ppid=30291 vsize=15876 CPUtime=1481.79
/proc/30293/stat : 30293 (wildcat-skc) R 30291 30293 30233 0 -1 4194304 2608 0 0 0 148174 5 0 0 25 0 1 0 148109289 16257024 2591 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134603939 0 0 4096 16386 0 0 0 17 1 0 0
/proc/30293/statm: 3969 2591 115 226 0 3740 0
Current children cumulated CPU time (s) 1481.79
Current children cumulated vsize (KiB) 15876

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 30492
/proc/meminfo: memFree=1787736/2055920 swapFree=4183852/4192956
[pid=30293] ppid=30291 vsize=15876 CPUtime=1541.77
/proc/30293/stat : 30293 (wildcat-skc) R 30291 30293 30233 0 -1 4194304 2608 0 0 0 154172 5 0 0 25 0 1 0 148109289 16257024 2591 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134603939 0 0 4096 16386 0 0 0 17 1 0 0
/proc/30293/statm: 3969 2591 115 226 0 3740 0
Current children cumulated CPU time (s) 1541.77
Current children cumulated vsize (KiB) 15876

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 30492
/proc/meminfo: memFree=1787672/2055920 swapFree=4183852/4192956
[pid=30293] ppid=30291 vsize=15876 CPUtime=1601.76
/proc/30293/stat : 30293 (wildcat-skc) R 30291 30293 30233 0 -1 4194304 2608 0 0 0 160171 5 0 0 25 0 1 0 148109289 16257024 2591 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134603939 0 0 4096 16386 0 0 0 17 1 0 0
/proc/30293/statm: 3969 2591 115 226 0 3740 0
Current children cumulated CPU time (s) 1601.76
Current children cumulated vsize (KiB) 15876

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 30492
/proc/meminfo: memFree=1787672/2055920 swapFree=4183852/4192956
[pid=30293] ppid=30291 vsize=15876 CPUtime=1661.74
/proc/30293/stat : 30293 (wildcat-skc) R 30291 30293 30233 0 -1 4194304 2608 0 0 0 166169 5 0 0 25 0 1 0 148109289 16257024 2591 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134603944 0 0 4096 16386 0 0 0 17 1 0 0
/proc/30293/statm: 3969 2591 115 226 0 3740 0
Current children cumulated CPU time (s) 1661.74
Current children cumulated vsize (KiB) 15876

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 30492
/proc/meminfo: memFree=1787608/2055920 swapFree=4183852/4192956
[pid=30293] ppid=30291 vsize=15876 CPUtime=1721.72
/proc/30293/stat : 30293 (wildcat-skc) R 30291 30293 30233 0 -1 4194304 2608 0 0 0 172167 5 0 0 25 0 1 0 148109289 16257024 2591 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134603939 0 0 4096 16386 0 0 0 17 1 0 0
/proc/30293/statm: 3969 2591 115 226 0 3740 0
Current children cumulated CPU time (s) 1721.72
Current children cumulated vsize (KiB) 15876

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 30492
/proc/meminfo: memFree=1787608/2055920 swapFree=4183852/4192956
[pid=30293] ppid=30291 vsize=15876 CPUtime=1781.71
/proc/30293/stat : 30293 (wildcat-skc) R 30291 30293 30233 0 -1 4194304 2608 0 0 0 178166 5 0 0 25 0 1 0 148109289 16257024 2591 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134603939 0 0 4096 16386 0 0 0 17 1 0 0
/proc/30293/statm: 3969 2591 115 226 0 3740 0
Current children cumulated CPU time (s) 1781.71
Current children cumulated vsize (KiB) 15876



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 0.99 0.97 0.98 3/65 30492
/proc/meminfo: memFree=1787608/2055920 swapFree=4183852/4192956
[pid=30293] ppid=30291 vsize=15876 CPUtime=1800.01
/proc/30293/stat : 30293 (wildcat-skc) R 30291 30293 30233 0 -1 4194304 2608 0 0 0 179996 5 0 0 25 0 1 0 148109289 16257024 2591 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134603939 0 0 4096 16386 0 0 0 17 1 0 0
/proc/30293/statm: 3969 2591 115 226 0 3740 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 15876

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.04
CPU user time (s): 1799.98
CPU system time (s): 0.058991
CPU usage (%): 99.9673
Max. virtual memory (cumulated for all children) (KiB): 15880

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.98
system time used= 0.058991
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2608
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= 3015

runsolver used 1.16482 second user time and 3.81942 second system time

The end

Launcher Data (download as text)

Begin job on node68 on Mon Apr 16 10:59:58 UTC 2007

IDJOB= 354647
IDBENCH= 2850
IDSOLVER= 162
FILE ID= node68/354647-1176721197

PBS_JOBID= 4559500

Free space on /tmp= 66404 MiB

SOLVER NAME= wildcat-skc 2007-03-21
BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-saucier.r.opb
COMMAND LINE= /tmp/evaluation/354647-1176721197/wildcat-skc /tmp/evaluation/354647-1176721197/instance-354647-1176721197.opb 688822279
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node68/watcher-354647-1176721197 -o ROOT/results/node68/solver-354647-1176721197 -C 1800 -W 3600 -M 1800 --output-limit 1,15  /tmp/evaluation/354647-1176721197/wildcat-skc /tmp/evaluation/354647-1176721197/instance-354647-1176721197.opb 688822279

META MD5SUM SOLVER= 05d21ee76b90579709a9929b8e99937a
MD5SUM BENCH=  aa80468537d69826ea16800f352007ec

RANDOM SEED= 688822279

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node68.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.216
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.216
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:       1798808 kB
Buffers:          6484 kB
Cached:         203752 kB
SwapCached:       3760 kB
Active:          42216 kB
Inactive:       178104 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1798808 kB
SwapTotal:     4192956 kB
SwapFree:      4183852 kB
Dirty:            6832 kB
Writeback:           0 kB
Mapped:          15328 kB
Slab:            22988 kB
Committed_AS:  2641276 kB
PageTables:       1380 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= 66404 MiB

End job on node68 on Mon Apr 16 11:30:00 UTC 2007