Trace number 373337

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)115 1800.02 1800.62

General information on the benchmark

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

Verifier Data (download as text)

OK	115

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node12/watcher-373337-1177184634 -o ROOT/results/node12/solver-373337-1177184634 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/373337-1177184634/wildcat-skc /tmp/evaluation/373337-1177184634/instance-373337-1177184634.opb 621043536 

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.92 0.98 0.99 3/77 15788
/proc/meminfo: memFree=1785456/2055920 swapFree=4159980/4192956
[pid=15788] ppid=15786 vsize=5972 CPUtime=0
/proc/15788/stat : 15788 (wildcat-skc) R 15786 15788 15053 0 -1 4194304 155 0 0 0 0 0 0 0 18 0 1 0 194500830 6115328 139 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 135002146 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15788/statm: 1493 139 105 226 0 1264 0

[startup+0.0668899 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 15788
/proc/meminfo: memFree=1785456/2055920 swapFree=4159980/4192956
[pid=15788] ppid=15786 vsize=6500 CPUtime=0.06
/proc/15788/stat : 15788 (wildcat-skc) R 15786 15788 15053 0 -1 4194304 272 0 0 0 6 0 0 0 18 0 1 0 194500830 6656000 256 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 135002146 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15788/statm: 1625 256 105 226 0 1396 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 6500

[startup+0.101892 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 15788
/proc/meminfo: memFree=1785456/2055920 swapFree=4159980/4192956
[pid=15788] ppid=15786 vsize=7688 CPUtime=0.09
/proc/15788/stat : 15788 (wildcat-skc) R 15786 15788 15053 0 -1 4194304 572 0 0 0 9 0 0 0 18 0 1 0 194500830 7872512 556 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 135002146 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15788/statm: 1922 557 107 226 0 1693 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7688

[startup+0.301912 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 15788
/proc/meminfo: memFree=1785456/2055920 swapFree=4159980/4192956
[pid=15788] ppid=15786 vsize=9532 CPUtime=0.29
/proc/15788/stat : 15788 (wildcat-skc) R 15786 15788 15053 0 -1 4194304 1057 0 0 0 29 0 0 0 19 0 1 0 194500830 9760768 1040 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134565708 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15788/statm: 2383 1040 115 226 0 2154 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9532

[startup+0.701952 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 15788
/proc/meminfo: memFree=1785456/2055920 swapFree=4159980/4192956
[pid=15788] ppid=15786 vsize=9532 CPUtime=0.69
/proc/15788/stat : 15788 (wildcat-skc) R 15786 15788 15053 0 -1 4194304 1057 0 0 0 69 0 0 0 23 0 1 0 194500830 9760768 1040 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134599008 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15788/statm: 2383 1040 115 226 0 2154 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 9532

[startup+1.50103 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 15789
/proc/meminfo: memFree=1781736/2055920 swapFree=4159980/4192956
[pid=15788] ppid=15786 vsize=9532 CPUtime=1.49
/proc/15788/stat : 15788 (wildcat-skc) R 15786 15788 15053 0 -1 4194304 1057 0 0 0 149 0 0 0 25 0 1 0 194500830 9760768 1040 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134611584 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15788/statm: 2383 1040 115 226 0 2154 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 9532

[startup+3.10119 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 15789
/proc/meminfo: memFree=1781544/2055920 swapFree=4159980/4192956
[pid=15788] ppid=15786 vsize=9532 CPUtime=3.09
/proc/15788/stat : 15788 (wildcat-skc) R 15786 15788 15053 0 -1 4194304 1057 0 0 0 309 0 0 0 25 0 1 0 194500830 9760768 1040 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134598421 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15788/statm: 2383 1040 115 226 0 2154 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 9532

[startup+6.30151 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 15789
/proc/meminfo: memFree=1781480/2055920 swapFree=4159980/4192956
[pid=15788] ppid=15786 vsize=9532 CPUtime=6.29
/proc/15788/stat : 15788 (wildcat-skc) R 15786 15788 15053 0 -1 4194304 1057 0 0 0 629 0 0 0 25 0 1 0 194500830 9760768 1040 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134598427 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15788/statm: 2383 1040 115 226 0 2154 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 9532

[startup+12.7012 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 15789
/proc/meminfo: memFree=1781416/2055920 swapFree=4159980/4192956
[pid=15788] ppid=15786 vsize=9532 CPUtime=12.69
/proc/15788/stat : 15788 (wildcat-skc) R 15786 15788 15053 0 -1 4194304 1057 0 0 0 1269 0 0 0 25 0 1 0 194500830 9760768 1040 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134565708 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15788/statm: 2383 1040 115 226 0 2154 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 9532

[startup+25.5014 s]
/proc/loadavg: 0.95 0.98 0.99 2/78 15789
/proc/meminfo: memFree=1781416/2055920 swapFree=4159980/4192956
[pid=15788] ppid=15786 vsize=9532 CPUtime=25.49
/proc/15788/stat : 15788 (wildcat-skc) R 15786 15788 15053 0 -1 4194304 1057 0 0 0 2549 0 0 0 25 0 1 0 194500830 9760768 1040 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134565775 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15788/statm: 2383 1040 115 226 0 2154 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 9532

[startup+51.102 s]
/proc/loadavg: 0.96 0.98 0.99 2/78 15789
/proc/meminfo: memFree=1781416/2055920 swapFree=4159980/4192956
[pid=15788] ppid=15786 vsize=9532 CPUtime=51.08
/proc/15788/stat : 15788 (wildcat-skc) R 15786 15788 15053 0 -1 4194304 1057 0 0 0 5108 0 0 0 25 0 1 0 194500830 9760768 1040 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134603918 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15788/statm: 2383 1040 115 226 0 2154 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 9532

[startup+102.305 s]
/proc/loadavg: 0.98 0.98 0.99 2/78 15789
/proc/meminfo: memFree=1781416/2055920 swapFree=4159980/4192956
[pid=15788] ppid=15786 vsize=9532 CPUtime=102.26
/proc/15788/stat : 15788 (wildcat-skc) R 15786 15788 15053 0 -1 4194304 1057 0 0 0 10226 0 0 0 25 0 1 0 194500830 9760768 1040 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134565708 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15788/statm: 2383 1040 115 226 0 2154 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 9532

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 15789
/proc/meminfo: memFree=1781416/2055920 swapFree=4159980/4192956
[pid=15788] ppid=15786 vsize=9532 CPUtime=162.24
/proc/15788/stat : 15788 (wildcat-skc) R 15786 15788 15053 0 -1 4194304 1057 0 0 0 16223 1 0 0 25 0 1 0 194500830 9760768 1040 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134599046 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15788/statm: 2383 1040 115 226 0 2154 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 9532

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 15789
/proc/meminfo: memFree=1781352/2055920 swapFree=4159980/4192956
[pid=15788] ppid=15786 vsize=9532 CPUtime=222.23
/proc/15788/stat : 15788 (wildcat-skc) R 15786 15788 15053 0 -1 4194304 1057 0 0 0 22221 2 0 0 25 0 1 0 194500830 9760768 1040 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134565708 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15788/statm: 2383 1040 115 226 0 2154 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 9532

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 15789
/proc/meminfo: memFree=1781288/2055920 swapFree=4159980/4192956
[pid=15788] ppid=15786 vsize=9532 CPUtime=282.21
/proc/15788/stat : 15788 (wildcat-skc) R 15786 15788 15053 0 -1 4194304 1057 0 0 0 28219 2 0 0 25 0 1 0 194500830 9760768 1040 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134598368 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15788/statm: 2383 1040 115 226 0 2154 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 9532

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 15789
/proc/meminfo: memFree=1781288/2055920 swapFree=4159980/4192956
[pid=15788] ppid=15786 vsize=9532 CPUtime=342.19
/proc/15788/stat : 15788 (wildcat-skc) R 15786 15788 15053 0 -1 4194304 1057 0 0 0 34217 2 0 0 25 0 1 0 194500830 9760768 1040 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134599050 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15788/statm: 2383 1040 115 226 0 2154 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 9532

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 15789
/proc/meminfo: memFree=1781288/2055920 swapFree=4159980/4192956
[pid=15788] ppid=15786 vsize=9532 CPUtime=402.18
/proc/15788/stat : 15788 (wildcat-skc) R 15786 15788 15053 0 -1 4194304 1057 0 0 0 40215 3 0 0 25 0 1 0 194500830 9760768 1040 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134607781 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15788/statm: 2383 1040 115 226 0 2154 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 9532

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 15789
/proc/meminfo: memFree=1781288/2055920 swapFree=4159980/4192956
[pid=15788] ppid=15786 vsize=9532 CPUtime=462.16
/proc/15788/stat : 15788 (wildcat-skc) R 15786 15788 15053 0 -1 4194304 1057 0 0 0 46213 3 0 0 25 0 1 0 194500830 9760768 1040 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134565708 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15788/statm: 2383 1040 115 226 0 2154 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 9532

[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 15789
/proc/meminfo: memFree=1781416/2055920 swapFree=4159980/4192956
[pid=15788] ppid=15786 vsize=9532 CPUtime=522.15
/proc/15788/stat : 15788 (wildcat-skc) R 15786 15788 15053 0 -1 4194304 1057 0 0 0 52211 4 0 0 25 0 1 0 194500830 9760768 1040 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134565708 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15788/statm: 2383 1040 115 226 0 2154 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 9532

[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 15789
/proc/meminfo: memFree=1781352/2055920 swapFree=4159980/4192956
[pid=15788] ppid=15786 vsize=9532 CPUtime=582.13
/proc/15788/stat : 15788 (wildcat-skc) R 15786 15788 15053 0 -1 4194304 1057 0 0 0 58208 5 0 0 25 0 1 0 194500830 9760768 1040 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134599048 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15788/statm: 2383 1040 115 226 0 2154 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 9532

[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 15789
/proc/meminfo: memFree=1781352/2055920 swapFree=4159980/4192956
[pid=15788] ppid=15786 vsize=9532 CPUtime=642.11
/proc/15788/stat : 15788 (wildcat-skc) R 15786 15788 15053 0 -1 4194304 1057 0 0 0 64206 5 0 0 25 0 1 0 194500830 9760768 1040 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134565708 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15788/statm: 2383 1040 115 226 0 2154 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 9532


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

[startup+822.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 15789
/proc/meminfo: memFree=1781352/2055920 swapFree=4159980/4192956
[pid=15788] ppid=15786 vsize=9532 CPUtime=822.06
/proc/15788/stat : 15788 (wildcat-skc) R 15786 15788 15053 0 -1 4194304 1057 0 0 0 82200 6 0 0 25 0 1 0 194500830 9760768 1040 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134565764 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15788/statm: 2383 1040 115 226 0 2154 0
Current children cumulated CPU time (s) 822.06
Current children cumulated vsize (KiB) 9532

[startup+882.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 15789
/proc/meminfo: memFree=1781416/2055920 swapFree=4159980/4192956
[pid=15788] ppid=15786 vsize=9532 CPUtime=882.05
/proc/15788/stat : 15788 (wildcat-skc) R 15786 15788 15053 0 -1 4194304 1057 0 0 0 88198 7 0 0 25 0 1 0 194500830 9760768 1040 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134565708 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15788/statm: 2383 1040 115 226 0 2154 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 9532

[startup+942.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 15789
/proc/meminfo: memFree=1781352/2055920 swapFree=4159980/4192956
[pid=15788] ppid=15786 vsize=9532 CPUtime=942.03
/proc/15788/stat : 15788 (wildcat-skc) R 15786 15788 15053 0 -1 4194304 1057 0 0 0 94196 7 0 0 25 0 1 0 194500830 9760768 1040 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134565708 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15788/statm: 2383 1040 115 226 0 2154 0
Current children cumulated CPU time (s) 942.03
Current children cumulated vsize (KiB) 9532

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 15789
/proc/meminfo: memFree=1781352/2055920 swapFree=4159980/4192956
[pid=15788] ppid=15786 vsize=9532 CPUtime=1002.01
/proc/15788/stat : 15788 (wildcat-skc) R 15786 15788 15053 0 -1 4194304 1057 0 0 0 100193 8 0 0 25 0 1 0 194500830 9760768 1040 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134565808 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15788/statm: 2383 1040 115 226 0 2154 0
Current children cumulated CPU time (s) 1002.01
Current children cumulated vsize (KiB) 9532

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/84 15955
/proc/meminfo: memFree=1780080/2055920 swapFree=4159980/4192956
[pid=15788] ppid=15786 vsize=9532 CPUtime=1061.92
/proc/15788/stat : 15788 (wildcat-skc) R 15786 15788 15053 0 -1 4194304 1057 0 0 0 106183 9 0 0 25 0 1 0 194500830 9760768 1040 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134599013 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15788/statm: 2383 1040 115 226 0 2154 0
Current children cumulated CPU time (s) 1061.92
Current children cumulated vsize (KiB) 9532

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 15987
/proc/meminfo: memFree=1781224/2055920 swapFree=4159980/4192956
[pid=15788] ppid=15786 vsize=9532 CPUtime=1121.88
/proc/15788/stat : 15788 (wildcat-skc) R 15786 15788 15053 0 -1 4194304 1057 0 0 0 112179 9 0 0 25 0 1 0 194500830 9760768 1040 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134565708 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15788/statm: 2383 1040 115 226 0 2154 0
Current children cumulated CPU time (s) 1121.88
Current children cumulated vsize (KiB) 9532

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 15987
/proc/meminfo: memFree=1781224/2055920 swapFree=4159980/4192956
[pid=15788] ppid=15786 vsize=9532 CPUtime=1181.87
/proc/15788/stat : 15788 (wildcat-skc) R 15786 15788 15053 0 -1 4194304 1057 0 0 0 118177 10 0 0 25 0 1 0 194500830 9760768 1040 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134565841 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15788/statm: 2383 1040 115 226 0 2154 0
Current children cumulated CPU time (s) 1181.87
Current children cumulated vsize (KiB) 9532

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 15987
/proc/meminfo: memFree=1781288/2055920 swapFree=4159980/4192956
[pid=15788] ppid=15786 vsize=9532 CPUtime=1241.85
/proc/15788/stat : 15788 (wildcat-skc) R 15786 15788 15053 0 -1 4194304 1057 0 0 0 124175 10 0 0 25 0 1 0 194500830 9760768 1040 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134607698 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15788/statm: 2383 1040 115 226 0 2154 0
Current children cumulated CPU time (s) 1241.85
Current children cumulated vsize (KiB) 9532

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 15987
/proc/meminfo: memFree=1781288/2055920 swapFree=4159980/4192956
[pid=15788] ppid=15786 vsize=9532 CPUtime=1301.84
/proc/15788/stat : 15788 (wildcat-skc) R 15786 15788 15053 0 -1 4194304 1057 0 0 0 130173 11 0 0 25 0 1 0 194500830 9760768 1040 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134565708 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15788/statm: 2383 1040 115 226 0 2154 0
Current children cumulated CPU time (s) 1301.84
Current children cumulated vsize (KiB) 9532

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 15987
/proc/meminfo: memFree=1781288/2055920 swapFree=4159980/4192956
[pid=15788] ppid=15786 vsize=9532 CPUtime=1361.82
/proc/15788/stat : 15788 (wildcat-skc) R 15786 15788 15053 0 -1 4194304 1057 0 0 0 136170 12 0 0 25 0 1 0 194500830 9760768 1040 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134565724 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15788/statm: 2383 1040 115 226 0 2154 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 9532

[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 15987
/proc/meminfo: memFree=1781224/2055920 swapFree=4159980/4192956
[pid=15788] ppid=15786 vsize=9532 CPUtime=1421.81
/proc/15788/stat : 15788 (wildcat-skc) R 15786 15788 15053 0 -1 4194304 1057 0 0 0 142169 12 0 0 25 0 1 0 194500830 9760768 1040 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134565708 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15788/statm: 2383 1040 115 226 0 2154 0
Current children cumulated CPU time (s) 1421.81
Current children cumulated vsize (KiB) 9532

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 15987
/proc/meminfo: memFree=1781288/2055920 swapFree=4159980/4192956
[pid=15788] ppid=15786 vsize=9532 CPUtime=1481.78
/proc/15788/stat : 15788 (wildcat-skc) R 15786 15788 15053 0 -1 4194304 1057 0 0 0 148166 12 0 0 25 0 1 0 194500830 9760768 1040 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134598454 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15788/statm: 2383 1040 115 226 0 2154 0
Current children cumulated CPU time (s) 1481.78
Current children cumulated vsize (KiB) 9532

[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 15987
/proc/meminfo: memFree=1781288/2055920 swapFree=4159980/4192956
[pid=15788] ppid=15786 vsize=9532 CPUtime=1541.77
/proc/15788/stat : 15788 (wildcat-skc) R 15786 15788 15053 0 -1 4194304 1057 0 0 0 154164 13 0 0 25 0 1 0 194500830 9760768 1040 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134565708 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15788/statm: 2383 1040 115 226 0 2154 0
Current children cumulated CPU time (s) 1541.77
Current children cumulated vsize (KiB) 9532

[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 15987
/proc/meminfo: memFree=1781288/2055920 swapFree=4159980/4192956
[pid=15788] ppid=15786 vsize=9532 CPUtime=1601.75
/proc/15788/stat : 15788 (wildcat-skc) R 15786 15788 15053 0 -1 4194304 1057 0 0 0 160162 13 0 0 25 0 1 0 194500830 9760768 1040 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134565708 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15788/statm: 2383 1040 115 226 0 2154 0
Current children cumulated CPU time (s) 1601.75
Current children cumulated vsize (KiB) 9532

[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 15987
/proc/meminfo: memFree=1781352/2055920 swapFree=4159980/4192956
[pid=15788] ppid=15786 vsize=9532 CPUtime=1661.74
/proc/15788/stat : 15788 (wildcat-skc) R 15786 15788 15053 0 -1 4194304 1057 0 0 0 166160 14 0 0 25 0 1 0 194500830 9760768 1040 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134565708 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15788/statm: 2383 1040 115 226 0 2154 0
Current children cumulated CPU time (s) 1661.74
Current children cumulated vsize (KiB) 9532

[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 15987
/proc/meminfo: memFree=1781352/2055920 swapFree=4159980/4192956
[pid=15788] ppid=15786 vsize=9532 CPUtime=1721.71
/proc/15788/stat : 15788 (wildcat-skc) R 15786 15788 15053 0 -1 4194304 1057 0 0 0 172157 14 0 0 25 0 1 0 194500830 9760768 1040 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134598388 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15788/statm: 2383 1040 115 226 0 2154 0
Current children cumulated CPU time (s) 1721.71
Current children cumulated vsize (KiB) 9532

[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 15987
/proc/meminfo: memFree=1781288/2055920 swapFree=4159980/4192956
[pid=15788] ppid=15786 vsize=9532 CPUtime=1781.7
/proc/15788/stat : 15788 (wildcat-skc) R 15786 15788 15053 0 -1 4194304 1057 0 0 0 178155 15 0 0 25 0 1 0 194500830 9760768 1040 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134565708 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15788/statm: 2383 1040 115 226 0 2154 0
Current children cumulated CPU time (s) 1781.7
Current children cumulated vsize (KiB) 9532



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 15987
/proc/meminfo: memFree=1781288/2055920 swapFree=4159980/4192956
[pid=15788] ppid=15786 vsize=9532 CPUtime=1800
/proc/15788/stat : 15788 (wildcat-skc) R 15786 15788 15053 0 -1 4194304 1057 0 0 0 179985 15 0 0 25 0 1 0 194500830 9760768 1040 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134599046 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15788/statm: 2383 1040 115 226 0 2154 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 9532

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.02
CPU user time (s): 1799.87
CPU system time (s): 0.154976
CPU usage (%): 99.9666
Max. virtual memory (cumulated for all children) (KiB): 9532

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.87
system time used= 0.154976
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1057
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= 10
involuntary context switches= 36585

runsolver used 2.14867 second user time and 4.16837 second system time

The end

Launcher Data (download as text)

Begin job on node12 on Sat Apr 21 19:43:55 UTC 2007

IDJOB= 373337
IDBENCH= 25036
IDSOLVER= 162
FILE ID= node12/373337-1177184634

PBS_JOBID= 4649011

Free space on /tmp= 66380 MiB

SOLVER NAME= wildcat-skc 2007-03-21
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_opers/normalized-fir05_area_opers.opb
COMMAND LINE= /tmp/evaluation/373337-1177184634/wildcat-skc /tmp/evaluation/373337-1177184634/instance-373337-1177184634.opb 621043536
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node12/watcher-373337-1177184634 -o ROOT/results/node12/solver-373337-1177184634 -C 1800 -W 3600 -M 1800 --output-limit 1,15  /tmp/evaluation/373337-1177184634/wildcat-skc /tmp/evaluation/373337-1177184634/instance-373337-1177184634.opb 621043536

META MD5SUM SOLVER= 05d21ee76b90579709a9929b8e99937a
MD5SUM BENCH=  fb30dc68ef00299e3d850b79fb8a2728

RANDOM SEED= 621043536

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node12.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.239
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.239
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:       1785928 kB
Buffers:         71088 kB
Cached:         120884 kB
SwapCached:      11484 kB
Active:         127680 kB
Inactive:        88072 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1785928 kB
SwapTotal:     4192956 kB
SwapFree:      4159980 kB
Dirty:            2680 kB
Writeback:           0 kB
Mapped:          29972 kB
Slab:            39804 kB
Committed_AS:  6055376 kB
PageTables:       1792 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= 66380 MiB

End job on node12 on Sat Apr 21 20:13:57 UTC 2007