Trace number 350937

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
sat4jPseudoCP 2007-03-23SAT (TO)524187 1800.25 1785.27

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-reduced-mps-v2-20-10-nsrand_ipx.opb
MD5SUM5afe2e688387cc46a3d150d955d27ab1
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark294914
Best CPU time to get the best result obtained on this benchmark1800.19
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 294914
Optimality of the best value was proved NO
Number of variables6651
Total number of constraints721
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)331
Number of constraints which are nor clauses,nor cardinality constraints390
Minimum length of a constraint20
Maximum length of a constraint6651
Number of terms in the objective function 31
Biggest coefficient in the objective function 262145
Number of bits for the biggest coefficient in the objective function 19
Sum of the numbers in the objective function 524318
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262145
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 527653
Number of bits of the biggest sum of numbers20
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.16/0.52	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.16/0.52	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.16/0.52	c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.16/0.53	c no version file found!!!
0.16/0.53	c sun.arch.data.model	32
0.16/0.53	c java.version	1.6.0
0.16/0.53	c os.name	Linux
0.16/0.53	c os.version	2.6.9-22.EL.rootsmp
0.16/0.53	c os.arch	i386
0.16/0.53	c Free memory 1651659224
0.16/0.53	c Max memory 1654456320
0.16/0.53	c Total memory 1654456320
0.16/0.53	c Number of processors 2
0.16/0.59	c Cutting planes based inference (org.sat4j.minisat.constraints.pb.PBSolver)
0.16/0.59	--- Begin Solver configuration ---
0.16/0.59	c Stops conflict analysis at the first Unique Implication Point
0.16/0.59	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@691f36
0.16/0.59	c Learn all clauses as in MiniSAT
0.16/0.59	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=10000.0 initConflictBound=100 
0.16/0.59	c VSIDS like heuristics from MiniSAT using a heap
0.16/0.59	c No reason simplification
0.16/0.59	c --- End Solver configuration ---
0.16/0.59	c solving /tmp/evaluation/350937-1176570004/instance-350937-1176570004.opb
0.16/0.59	c reading problem ... 
2.57/2.45	c ... done. Wall clock time 1.86s.
2.57/2.45	c CPU time (experimental) 1.77s.
2.57/2.45	c #vars     6651
2.57/2.45	c #constraints  721
11.75/10.78	c SATISFIABLE
11.75/10.78	c OPTIMIZING...
11.75/10.78	c Got one! Elapsed wall clock time (in seconds):10.192
11.75/10.79	o 524318
12.96/11.87	c Got one! Elapsed wall clock time (in seconds):11.281
12.96/11.87	o 524317
14.21/12.87	c Got one! Elapsed wall clock time (in seconds):12.275
14.21/12.87	o 524316
26.67/24.95	c Got one! Elapsed wall clock time (in seconds):24.356
26.67/24.95	o 524315
28.29/26.57	c Got one! Elapsed wall clock time (in seconds):25.98
28.29/26.57	o 524314
31.11/29.34	c Got one! Elapsed wall clock time (in seconds):28.745
31.11/29.34	o 524313
33.93/32.10	c Got one! Elapsed wall clock time (in seconds):31.51
33.93/32.10	o 524312
37.88/35.90	c Got one! Elapsed wall clock time (in seconds):35.306
37.88/35.90	o 524311
41.90/39.94	c Got one! Elapsed wall clock time (in seconds):39.351
41.90/39.94	o 524310
46.22/44.28	c Got one! Elapsed wall clock time (in seconds):43.689
46.22/44.28	o 524309
47.46/45.43	c Got one! Elapsed wall clock time (in seconds):44.837
47.46/45.43	o 524308
48.46/46.46	c Got one! Elapsed wall clock time (in seconds):45.874
48.46/46.46	o 524307
49.70/47.67	c Got one! Elapsed wall clock time (in seconds):47.084
49.70/47.67	o 524306
50.80/48.78	c Got one! Elapsed wall clock time (in seconds):48.189
50.80/48.78	o 524305
52.02/49.91	c Got one! Elapsed wall clock time (in seconds):49.316
52.02/49.91	o 524304
53.02/50.98	c Got one! Elapsed wall clock time (in seconds):50.385
53.02/50.98	o 524303
54.44/52.36	c Got one! Elapsed wall clock time (in seconds):51.771
54.44/52.36	o 524302
55.96/53.84	c Got one! Elapsed wall clock time (in seconds):53.246
55.96/53.84	o 524301
57.47/55.34	c Got one! Elapsed wall clock time (in seconds):54.753
57.47/55.34	o 524300
58.99/56.86	c Got one! Elapsed wall clock time (in seconds):56.266
58.99/56.86	o 524299
60.50/58.36	c Got one! Elapsed wall clock time (in seconds):57.774
60.50/58.37	o 524298
61.63/59.48	c Got one! Elapsed wall clock time (in seconds):58.887
61.63/59.48	o 524297
64.13/61.92	c Got one! Elapsed wall clock time (in seconds):61.331
64.13/61.92	o 524296
66.06/63.90	c Got one! Elapsed wall clock time (in seconds):63.307
66.06/63.90	o 524295
68.69/66.45	c Got one! Elapsed wall clock time (in seconds):65.863
68.69/66.45	o 524294
76.20/73.93	c Got one! Elapsed wall clock time (in seconds):73.342
76.20/73.93	o 524293
82.72/80.48	c Got one! Elapsed wall clock time (in seconds):79.893
82.72/80.48	o 524292
85.24/82.90	c Got one! Elapsed wall clock time (in seconds):82.31
85.24/82.90	o 524291
88.36/86.09	c Got one! Elapsed wall clock time (in seconds):85.5
88.36/86.09	o 524290
91.68/89.30	c Got one! Elapsed wall clock time (in seconds):88.711
91.68/89.30	o 524289
94.81/92.48	c Got one! Elapsed wall clock time (in seconds):91.894
94.81/92.48	o 524288
98.15/95.78	c Got one! Elapsed wall clock time (in seconds):95.19
98.15/95.78	o 524287
101.97/99.53	c Got one! Elapsed wall clock time (in seconds):98.935
101.97/99.53	o 524286
105.89/103.44	c Got one! Elapsed wall clock time (in seconds):102.85
105.89/103.44	o 524285
110.01/107.50	c Got one! Elapsed wall clock time (in seconds):106.91
110.01/107.50	o 524284
114.54/112.05	c Got one! Elapsed wall clock time (in seconds):111.456
114.54/112.05	o 524283
119.25/116.71	c Got one! Elapsed wall clock time (in seconds):116.117
119.25/116.71	o 524282
125.19/122.68	c Got one! Elapsed wall clock time (in seconds):122.091
125.19/122.68	o 524281
148.88/145.74	c Got one! Elapsed wall clock time (in seconds):145.146
148.88/145.74	o 524280
154.82/151.65	c Got one! Elapsed wall clock time (in seconds):151.057
154.82/151.65	o 524279
161.21/157.99	c Got one! Elapsed wall clock time (in seconds):157.4
161.21/157.99	o 524278
167.43/164.16	c Got one! Elapsed wall clock time (in seconds):163.566
167.43/164.16	o 524277
173.88/170.56	c Got one! Elapsed wall clock time (in seconds):169.965
173.88/170.56	o 524276
196.34/192.76	c Got one! Elapsed wall clock time (in seconds):192.173
196.34/192.76	o 524275
204.39/200.73	c Got one! Elapsed wall clock time (in seconds):200.142
204.39/200.73	o 524274
212.14/208.41	c Got one! Elapsed wall clock time (in seconds):207.816
212.14/208.41	o 524273
220.69/216.93	c Got one! Elapsed wall clock time (in seconds):216.335
220.69/216.93	o 524272
230.16/226.38	c Got one! Elapsed wall clock time (in seconds):225.788
230.16/226.38	o 524271
231.38/227.56	c Got one! Elapsed wall clock time (in seconds):226.971
231.38/227.56	o 524270
232.59/228.78	c Got one! Elapsed wall clock time (in seconds):228.188
232.59/228.78	o 524269
417.64/412.55	c Got one! Elapsed wall clock time (in seconds):411.959
417.64/412.55	o 524253
419.26/414.14	c Got one! Elapsed wall clock time (in seconds):413.549
419.26/414.14	o 524252
420.98/415.83	c Got one! Elapsed wall clock time (in seconds):415.237
420.98/415.83	o 524251
423.20/418.02	c Got one! Elapsed wall clock time (in seconds):417.43
423.20/418.02	o 524250
425.21/420.10	c Got one! Elapsed wall clock time (in seconds):419.505
425.21/420.10	o 524249
427.03/421.87	c Got one! Elapsed wall clock time (in seconds):421.28
427.03/421.87	o 524248
428.85/423.62	c Got one! Elapsed wall clock time (in seconds):423.027
428.85/423.62	o 524247
442.00/436.72	c Got one! Elapsed wall clock time (in seconds):436.127
442.00/436.72	o 524246
453.60/448.27	c Got one! Elapsed wall clock time (in seconds):447.68
453.60/448.27	o 524245
454.95/449.49	c Got one! Elapsed wall clock time (in seconds):448.9
454.95/449.49	o 524244
457.18/451.65	c Got one! Elapsed wall clock time (in seconds):451.061
457.18/451.65	o 524243
464.42/458.86	c Got one! Elapsed wall clock time (in seconds):458.265
464.42/458.86	o 524242
465.93/460.36	c Got one! Elapsed wall clock time (in seconds):459.773
465.93/460.36	o 524241
492.11/486.37	c Got one! Elapsed wall clock time (in seconds):485.784
492.11/486.37	o 524240
524.13/518.10	c Got one! Elapsed wall clock time (in seconds):517.514
524.13/518.10	o 524239
535.81/529.78	c Got one! Elapsed wall clock time (in seconds):529.193
535.81/529.78	o 524238
537.74/531.67	c Got one! Elapsed wall clock time (in seconds):531.082
537.74/531.67	o 524237
610.78/604.23	c Got one! Elapsed wall clock time (in seconds):603.636
610.78/604.23	o 524236
623.95/617.32	c Got one! Elapsed wall clock time (in seconds):616.733
623.95/617.32	o 524235
657.86/651.07	c Got one! Elapsed wall clock time (in seconds):650.474
657.86/651.07	o 524234
692.00/684.99	c Got one! Elapsed wall clock time (in seconds):684.399
692.00/684.99	o 524233
727.32/720.05	c Got one! Elapsed wall clock time (in seconds):719.461
727.32/720.05	o 524232
763.51/755.99	c Got one! Elapsed wall clock time (in seconds):755.4
763.51/755.99	o 524231
797.70/789.85	c Got one! Elapsed wall clock time (in seconds):789.259
797.70/789.85	o 524230
832.13/824.03	c Got one! Elapsed wall clock time (in seconds):823.439
832.13/824.03	o 524229
868.57/860.29	c Got one! Elapsed wall clock time (in seconds):859.704
868.57/860.29	o 524228
901.51/892.99	c Got one! Elapsed wall clock time (in seconds):892.402
901.51/892.99	o 524227
935.87/927.02	c Got one! Elapsed wall clock time (in seconds):926.431
935.87/927.02	o 524226
969.70/960.65	c Got one! Elapsed wall clock time (in seconds):960.064
969.70/960.65	o 524225
1005.91/996.60	c Got one! Elapsed wall clock time (in seconds):996.008
1005.91/996.60	o 524224
1040.37/1030.76	c Got one! Elapsed wall clock time (in seconds):1030.175
1040.37/1030.77	o 524223
1074.63/1064.73	c Got one! Elapsed wall clock time (in seconds):1064.138
1074.63/1064.73	o 524222
1112.91/1102.74	c Got one! Elapsed wall clock time (in seconds):1102.146
1112.91/1102.74	o 524221
1147.53/1137.19	c Got one! Elapsed wall clock time (in seconds):1136.595
1147.53/1137.19	o 524220
1181.88/1171.24	c Got one! Elapsed wall clock time (in seconds):1170.646
1181.88/1171.24	o 524219
1212.13/1201.30	c Got one! Elapsed wall clock time (in seconds):1200.706
1212.13/1201.30	o 524218
1214.35/1203.45	c Got one! Elapsed wall clock time (in seconds):1202.863
1214.35/1203.45	o 524217
1374.99/1363.04	c Got one! Elapsed wall clock time (in seconds):1362.449
1374.99/1363.04	o 524189
1536.27/1523.24	c Got one! Elapsed wall clock time (in seconds):1522.649
1536.27/1523.24	o 524188
1713.63/1699.39	c Got one! Elapsed wall clock time (in seconds):1698.802
1713.63/1699.39	o 524187
1800.03/1785.11	c starts		: 91
1800.03/1785.11	c conflicts		: 144
1800.03/1785.11	c decisions		: 559906
1800.03/1785.11	c propagations		: 1152396
1800.03/1785.11	c inspects		: 33658425
1800.03/1785.11	c learnt literals	: 0
1800.03/1785.11	c learnt binary clauses	: 0
1800.03/1785.11	c learnt ternary clauses	: 0
1800.03/1785.11	c learnt clauses	: 143
1800.03/1785.11	c root simplifications	: 0
1800.03/1785.11	c removed literals (reason simplification)	: 0
1800.03/1785.11	c reason swapping (by a shorter reason)	: 0
1800.03/1785.11	c Calls to reduceDB	: 0
1800.03/1785.11	c speed (decisions/second)	: 6531.87741340893
1800.03/1785.11	c non guided choices	1955
1800.03/1785.11	s SATISFIABLE
1800.03/1785.14	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.03/1785.14	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.03/1785.14	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.03/1785.14	v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104
1800.03/1785.14	v -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125
1800.03/1785.14	v -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146
1800.03/1785.14	v -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167
1800.03/1785.14	v -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188
1800.03/1785.14	v -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209
1800.03/1785.14	v -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230
1800.03/1785.14	v -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 x249 -x250 -x251
1800.03/1785.14	v -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272
1800.03/1785.14	v -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293
1800.03/1785.14	v -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314
1800.03/1785.14	v -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335
1800.03/1785.14	v -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356
1800.03/1785.14	v -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 x376 -x377
1800.03/1785.14	v -x378 -x379 -x380 -x381 -x382 -x383 x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398
1800.03/1785.14	v -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419
1800.03/1785.14	v -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440
1800.03/1785.14	v -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461
1800.03/1785.14	v -x462 -x463 -x464 -x465 -x466 -x467 -x468 x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482
1800.03/1785.14	v -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503
1800.03/1785.14	v -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524
1800.03/1785.14	v -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545
1800.03/1785.14	v -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566
1800.03/1785.14	v -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 x582 -x583 -x584 -x585 -x586 -x587
1800.03/1785.14	v -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608
1800.03/1785.14	v -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629
1800.03/1785.14	v -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650
1800.03/1785.14	v -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671
1800.03/1785.14	v -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692
1800.03/1785.14	v -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713
1800.03/1785.14	v -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734
1800.03/1785.14	v -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755
1800.03/1785.14	v -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776
1800.03/1785.14	v -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797
1800.03/1785.14	v -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818
1800.03/1785.14	v -x819 -x820 -x821 -x822 -x823 -x824 -x825 x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839
1800.03/1785.14	v -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860
1800.03/1785.14	v -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881
1800.03/1785.14	v -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902
1800.03/1785.14	v -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 x913 -x914 -x915 -x916 -x917 -x918 -x919 x920 -x921 -x922 -x923
1800.03/1785.14	v -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944
1800.03/1785.14	v -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965
1800.03/1785.14	v -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986
1800.03/1785.14	v -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005
1800.03/1785.14	v -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022
1800.03/1785.14	v -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039
1800.03/1785.14	v -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056
1800.03/1785.14	v -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073
1800.03/1785.14	v -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090
1800.03/1785.14	v -x1091 -x1092 -x1093 -x1094 x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107
1800.03/1785.14	v -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124
1800.03/1785.14	v -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141
1800.03/1785.14	v -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158
1800.03/1785.14	v -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175
1800.03/1785.14	v -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192
1800.03/1785.14	v -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 x1204 -x1205 -x1206 -x1207 -x1208 -x1209
1800.03/1785.14	v -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226
1800.03/1785.14	v x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243
1800.03/1785.14	v -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260
1800.03/1785.14	v -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277
1800.03/1785.14	v -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294
1800.03/1785.14	v -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311
1800.03/1785.14	v -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328
1800.03/1785.14	v -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345
1800.03/1785.14	v -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362
1800.03/1785.14	v -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379
1800.03/1785.14	v x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396
1800.03/1785.14	v -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413
1800.03/1785.14	v -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430
1800.03/1785.14	v -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447
1800.03/1785.14	v -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464
1800.03/1785.14	v -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481
1800.03/1785.14	v -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498
1800.03/1785.14	v -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515
1800.03/1785.14	v -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532
1800.03/1785.14	v -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549
1800.03/1785.14	v -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566
1800.03/1785.14	v -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583
1800.03/1785.14	v -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600
1800.03/1785.14	v -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617
1800.03/1785.14	v -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634
1800.03/1785.14	v -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651
1800.03/1785.14	v -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668
1800.03/1785.14	v -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685
1800.03/1785.14	v -x1686 -x1687 -x1688 x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702
1800.03/1785.14	v -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719
1800.03/1785.14	v -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736
1800.03/1785.14	v -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753
1800.03/1785.14	v -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 x1769 -x1770
1800.03/1785.14	v -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787
1800.03/1785.14	v -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804
1800.03/1785.14	v -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821
1800.03/1785.14	v -x1822 -x1823 x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838
1800.03/1785.14	v -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855
1800.03/1785.14	v -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872
1800.03/1785.14	v -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889
1800.03/1785.14	v -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906
1800.03/1785.14	v -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923
1800.03/1785.14	v -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940
1800.03/1785.14	v -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957
1800.03/1785.14	v -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974
1800.03/1785.14	v -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991
1800.03/1785.14	v -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008
1800.03/1785.14	v x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025
1800.03/1785.14	v -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042
1800.03/1785.14	v -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059
1800.03/1785.14	v -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076
1800.03/1785.14	v -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 x2092 -x2093
1800.03/1785.14	v -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110
1800.03/1785.14	v -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127
1800.03/1785.14	v -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144
1800.03/1785.14	v -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 x2159 -x2160 -x2161
1800.03/1785.14	v -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178
1800.03/1785.14	v -x2179 -x2180 x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195
1800.03/1785.14	v -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212
1800.03/1785.14	v -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 x2227 -x2228 -x2229
1800.03/1785.14	v -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246
1800.03/1785.14	v -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263
1800.03/1785.14	v -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280
1800.03/1785.14	v -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297
1800.03/1785.14	v -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314
1800.03/1785.14	v x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331
1800.03/1785.14	v -x2332 -x2333 -x2334 -x2335 -x2336 x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348
1800.03/1785.14	v -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365
1800.03/1785.14	v -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382
1800.03/1785.14	v -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399
1800.03/1785.14	v -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416
1800.03/1785.14	v -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433
1800.03/1785.14	v -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450
1800.03/1785.14	v -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467
1800.03/1785.14	v -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484
1800.03/1785.14	v -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501
1800.03/1785.14	v -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 x2515 -x2516 -x2517 -x2518
1800.03/1785.14	v -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535
1800.03/1785.14	v -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552
1800.03/1785.14	v -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569
1800.03/1785.14	v -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586
1800.03/1785.14	v -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603
1800.03/1785.14	v -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620
1800.03/1785.14	v -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637
1800.03/1785.14	v -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654
1800.03/1785.14	v -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 x2670 -x2671
1800.03/1785.14	v -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688
1800.03/1785.14	v -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705
1800.03/1785.14	v -x2706 -x2707 -x2708 x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722
1800.03/1785.14	v -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739
1800.03/1785.14	v -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756
1800.03/1785.14	v -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773
1800.03/1785.14	v -x2774 -x2775 -x2776 -x2777 -x2778 x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790
1800.03/1785.14	v -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807
1800.03/1785.14	v -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824
1800.03/1785.14	v -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841
1800.03/1785.14	v -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858
1800.03/1785.14	v -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875
1800.03/1785.14	v -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 x2892
1800.03/1785.14	v -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909
1800.03/1785.14	v -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926
1800.03/1785.14	v -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943
1800.03/1785.14	v -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960
1800.03/1785.14	v -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977
1800.03/1785.14	v -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994
1800.03/1785.14	v -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011
1800.03/1785.14	v -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028
1800.03/1785.14	v -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 x3042 -x3043 -x3044 -x3045
1800.03/1785.14	v -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062
1800.03/1785.14	v -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079
1800.03/1785.14	v -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096
1800.03/1785.14	v -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113
1800.03/1785.14	v x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 x3126 -x3127 -x3128 -x3129 -x3130 -x3131
1800.03/1785.14	v -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148
1800.03/1785.14	v -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165
1800.03/1785.14	v -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 x3181 -x3182
1800.03/1785.14	v -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199
1800.03/1785.14	v -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216
1800.03/1785.14	v -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233
1800.03/1785.14	v -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250
1800.03/1785.14	v -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267
1800.03/1785.14	v -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 x3279 -x3280 -x3281 -x3282 -x3283 -x3284
1800.03/1785.14	v -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301
1800.03/1785.14	v -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318
1800.03/1785.14	v -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335
1800.03/1785.14	v -x3336 x3337 x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353
1800.03/1785.14	v -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370
1800.03/1785.14	v -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387
1800.03/1785.14	v -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 x3404
1800.03/1785.14	v -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421
1800.03/1785.14	v -x3422 -x3423 -x3424 -x3425 x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438
1800.03/1785.14	v -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455
1800.03/1785.14	v -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472
1800.03/1785.14	v -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489
1800.03/1785.14	v -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506
1800.03/1785.14	v -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523
1800.03/1785.14	v -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540
1800.03/1785.14	v -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557
1800.03/1785.14	v -x3558 x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574
1800.03/1785.14	v -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591
1800.03/1785.14	v -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608
1800.03/1785.14	v -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625
1800.03/1785.14	v -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642
1800.03/1785.14	v -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659
1800.03/1785.14	v -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676
1800.03/1785.14	v -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693
1800.03/1785.14	v -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710
1800.03/1785.14	v -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727
1800.03/1785.14	v -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744
1800.03/1785.14	v -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761
1800.03/1785.14	v -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778
1800.03/1785.14	v -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795
1800.03/1785.14	v -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812
1800.03/1785.14	v -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829
1800.03/1785.14	v -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846
1800.03/1785.14	v -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863
1800.03/1785.14	v -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880
1800.03/1785.14	v -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897
1800.03/1785.14	v -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914
1800.03/1785.14	v -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931
1800.03/1785.14	v -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948
1800.03/1785.14	v -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965
1800.03/1785.14	v -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982
1800.03/1785.14	v -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999
1800.03/1785.14	v -x4000 -x4001 -x4002 x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016
1800.03/1785.14	v -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033
1800.03/1785.14	v -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050
1800.03/1785.14	v -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067
1800.03/1785.14	v -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084
1800.03/1785.14	v -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101
1800.03/1785.14	v -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118
1800.03/1785.14	v -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135
1800.03/1785.14	v -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152
1800.03/1785.14	v -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169
1800.03/1785.14	v -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186
1800.03/1785.14	v -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203
1800.03/1785.14	v -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220
1800.03/1785.14	v -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237
1800.03/1785.14	v -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254
1800.03/1785.14	v -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271
1800.03/1785.14	v -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288
1800.03/1785.14	v -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305
1800.03/1785.14	v -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322
1800.03/1785.14	v -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339
1800.03/1785.14	v -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356
1800.03/1785.14	v -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373
1800.03/1785.14	v -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390
1800.03/1785.14	v -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407
1800.03/1785.14	v -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424
1800.03/1785.14	v -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441
1800.03/1785.14	v -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458
1800.03/1785.14	v -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475
1800.03/1785.14	v -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492
1800.03/1785.14	v -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509
1800.03/1785.14	v -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526
1800.03/1785.14	v -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543
1800.03/1785.14	v -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560
1800.03/1785.14	v -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577
1800.03/1785.14	v -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594
1800.03/1785.14	v -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611
1800.03/1785.14	v -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628
1800.03/1785.14	v -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645
1800.03/1785.14	v -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662
1800.03/1785.14	v -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679
1800.03/1785.14	v -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696
1800.03/1785.14	v -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713
1800.03/1785.14	v -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730
1800.03/1785.14	v -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747
1800.03/1785.14	v -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764
1800.03/1785.14	v -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781
1800.03/1785.14	v -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798
1800.03/1785.14	v -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815
1800.03/1785.14	v -x4816 -x4817 -x4818 -x4819 x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832
1800.03/1785.14	v -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849
1800.03/1785.14	v -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866
1800.03/1785.14	v -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883
1800.03/1785.14	v -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900
1800.03/1785.14	v -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917
1800.03/1785.14	v -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934
1800.03/1785.14	v -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951
1800.03/1785.14	v -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968
1800.03/1785.14	v -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985
1800.03/1785.14	v -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002
1800.03/1785.14	v -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019
1800.03/1785.14	v -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036
1800.03/1785.14	v -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053
1800.03/1785.14	v -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070
1800.03/1785.14	v -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 x5086 -x5087
1800.03/1785.14	v -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104
1800.03/1785.14	v -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121
1800.03/1785.14	v -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138
1800.03/1785.14	v -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155
1800.03/1785.14	v -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172
1800.03/1785.14	v -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189
1800.03/1785.14	v -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206
1800.03/1785.14	v -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223
1800.03/1785.14	v -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240
1800.03/1785.14	v -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257
1800.03/1785.14	v -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274
1800.03/1785.14	v -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291
1800.03/1785.14	v -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308
1800.03/1785.14	v -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325
1800.03/1785.14	v -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342
1800.03/1785.14	v -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359
1800.03/1785.14	v -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376
1800.03/1785.14	v -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393
1800.03/1785.14	v -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410
1800.03/1785.14	v -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427
1800.03/1785.14	v -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444
1800.03/1785.14	v -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461
1800.03/1785.14	v -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478
1800.03/1785.14	v -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495
1800.03/1785.14	v -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512
1800.03/1785.14	v -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529
1800.03/1785.14	v -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546
1800.03/1785.14	v -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 x5559 -x5560 -x5561 -x5562 -x5563
1800.03/1785.14	v -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580
1800.03/1785.14	v -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597
1800.03/1785.14	v -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614
1800.03/1785.14	v -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631
1800.03/1785.14	v -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648
1800.03/1785.14	v -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665
1800.03/1785.14	v -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682
1800.03/1785.14	v -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699
1800.03/1785.14	v -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716
1800.03/1785.14	v -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733
1800.03/1785.14	v -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750
1800.03/1785.14	v -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767
1800.03/1785.14	v -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784
1800.03/1785.14	v -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801
1800.03/1785.14	v -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818
1800.03/1785.14	v -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835
1800.03/1785.14	v -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852
1800.03/1785.14	v -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869
1800.03/1785.14	v -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886
1800.03/1785.14	v -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903
1800.03/1785.14	v -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920
1800.03/1785.14	v -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937
1800.03/1785.14	v -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954
1800.03/1785.14	v -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971
1800.03/1785.14	v -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988
1800.03/1785.14	v -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 x6003 -x6004 -x6005
1800.03/1785.14	v -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022
1800.03/1785.14	v -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039
1800.03/1785.14	v -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056
1800.03/1785.14	v -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073
1800.03/1785.14	v -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 x6087 -x6088 -x6089 -x6090
1800.03/1785.14	v -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107
1800.03/1785.14	v x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124
1800.03/1785.14	v -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141
1800.03/1785.14	v -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158
1800.03/1785.14	v -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175
1800.03/1785.14	v -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192
1800.03/1785.14	v -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209
1800.03/1785.14	v -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 x6225 -x6226
1800.03/1785.14	v -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243
1800.03/1785.14	v -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260
1800.03/1785.14	v -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277
1800.03/1785.14	v -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294
1800.03/1785.14	v -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311
1800.03/1785.14	v -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328
1800.03/1785.14	v -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345
1800.03/1785.14	v -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362
1800.03/1785.14	v -x6363 -x6364 -x6365 -x6366 -x6367 x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379
1800.03/1785.14	v -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396
1800.03/1785.14	v -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413
1800.03/1785.14	v -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430
1800.03/1785.14	v -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447
1800.03/1785.14	v -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464
1800.03/1785.14	v -x6465 -x6466 x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481
1800.03/1785.14	v -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498
1800.03/1785.14	v -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515
1800.03/1785.14	v -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 x6529 -x6530 -x6531 -x6532 -x6533
1800.03/1785.14	v -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550
1800.03/1785.14	v -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567
1800.03/1785.14	v -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584
1800.03/1785.14	v -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601
1800.03/1785.14	v -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618
1800.03/1785.14	v -x6619 -x6620 x6621 -x6622 -x6623 x6624 x6625 x6626 x6627 x6628 x6629 x6630 x6631 x6632 x6633 x6634 x6635 x6636 x6637 x6638
1800.03/1785.14	v x6639 -x6640 x6641 x6642 x6643 x6644 x6645 x6646 x6647 x6648 x6649 x6650 x6651
1800.03/1785.16	c objective function=524187
1800.03/1785.16	c Total wall clock time (ms): 1784.575

Verifier Data (download as text)

OK	524187

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node30/watcher-350937-1176570004 -o ROOT/results/node30/solver-350937-1176570004 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/350937-1176570004/sat4jPseudoCP.jar /tmp/evaluation/350937-1176570004/instance-350937-1176570004.opb 

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.96 0.98 0.99 2/77 6126
/proc/meminfo: memFree=1802488/2055920 swapFree=4186972/4192956
[pid=6126] ppid=6124 vsize=18568 CPUtime=0
/proc/6126/stat : 6126 (runsolver) D 6124 6126 5590 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 104916108 19013632 292 18446744073709551615 4194304 4296420 548682068880 18446744073709551615 264907582759 0 0 4096 24578 18446744071563479169 0 0 17 1 0 0
/proc/6126/statm: 4642 292 257 24 0 2626 0

[startup+0.0512491 s]
/proc/loadavg: 0.96 0.98 0.99 2/77 6126
/proc/meminfo: memFree=1802488/2055920 swapFree=4186972/4192956
[pid=6126] ppid=6124 vsize=152 CPUtime=0
/proc/6126/stat : 6126 (java) D 6124 6126 5590 0 -1 0 204 0 1 0 0 0 0 0 18 0 1 0 104916108 155648 26 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 7017252 0 2147483391 4096 0 18446744072099781622 0 0 17 0 0 0
/proc/6126/statm: 38 26 19 9 0 4 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 152

[startup+0.102251 s]
/proc/loadavg: 0.96 0.98 0.99 2/77 6126
/proc/meminfo: memFree=1802488/2055920 swapFree=4186972/4192956
[pid=6126] ppid=6124 vsize=152 CPUtime=0
/proc/6126/stat : 6126 (java) D 6124 6126 5590 0 -1 0 204 0 1 0 0 0 0 0 18 0 1 0 104916108 155648 26 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 7017252 0 2147483391 4096 0 18446744072099781622 0 0 17 0 0 0
/proc/6126/statm: 38 26 19 9 0 4 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 152

[startup+0.301273 s]
/proc/loadavg: 0.96 0.98 0.99 2/77 6126
/proc/meminfo: memFree=1802488/2055920 swapFree=4186972/4192956
[pid=6126] ppid=6124 vsize=1776376 CPUtime=0.06
/proc/6126/stat : 6126 (java) S 6124 6126 5590 0 -1 0 3419 0 34 0 1 5 0 0 18 0 4 0 104916108 1819009024 3197 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 0 0 0
/proc/6126/statm: 444094 3197 1020 9 0 441730 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 1776376

[startup+0.701295 s]
/proc/loadavg: 0.96 0.98 0.99 2/77 6126
/proc/meminfo: memFree=1802488/2055920 swapFree=4186972/4192956
[pid=6126] ppid=6124 vsize=1781448 CPUtime=0.39
/proc/6126/stat : 6126 (java) S 6124 6126 5590 0 -1 0 5113 0 34 0 32 7 0 0 18 0 12 0 104916108 1824202752 4882 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6126/statm: 445362 4882 1267 9 0 442974 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 1781448

[startup+1.50135 s]
/proc/loadavg: 0.96 0.98 0.99 2/89 6138
/proc/meminfo: memFree=1772568/2055920 swapFree=4186972/4192956
[pid=6126] ppid=6124 vsize=1783036 CPUtime=1.64
/proc/6126/stat : 6126 (java) S 6124 6126 5590 0 -1 0 14803 0 34 0 153 11 0 0 18 0 12 0 104916108 1825828864 13492 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6126/statm: 445759 13494 1303 9 0 443371 0
[pid=6126/tid=6128] ppid=6124 vsize=1783036 CPUtime=0.82
/proc/6126/task/6128/stat : 6128 (java) R 6124 6126 5590 0 -1 64 12135 0 9 0 74 8 0 0 18 0 12 0 104916125 1825828864 13495 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4109597124 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6126/tid=6129] ppid=6124 vsize=1783036 CPUtime=0
/proc/6126/task/6129/stat : 6129 (java) S 6124 6126 5590 0 -1 64 3 0 0 0 0 0 0 0 19 0 12 0 104916134 1825828864 13496 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6126/tid=6130] ppid=6124 vsize=1783036 CPUtime=0
/proc/6126/task/6130/stat : 6130 (java) S 6124 6126 5590 0 -1 64 1 0 0 0 0 0 0 0 20 0 12 0 104916134 1825828864 13497 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6126/tid=6131] ppid=6124 vsize=1783036 CPUtime=0
/proc/6126/task/6131/stat : 6131 (java) S 6124 6126 5590 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 104916139 1825828864 13498 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6126/tid=6132] ppid=6124 vsize=1783036 CPUtime=0
/proc/6126/task/6132/stat : 6132 (java) S 6124 6126 5590 0 -1 64 10 0 0 0 0 0 0 0 21 0 12 0 104916139 1825828864 13499 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6126/tid=6133] ppid=6124 vsize=1783036 CPUtime=0
/proc/6126/task/6133/stat : 6133 (java) S 6124 6126 5590 0 -1 64 4 0 0 0 0 0 0 0 22 0 12 0 104916139 1825828864 13500 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6126/tid=6134] ppid=6124 vsize=1783036 CPUtime=0
/proc/6126/task/6134/stat : 6134 (java) S 6124 6126 5590 0 -1 64 1 0 0 0 0 0 0 0 19 0 12 0 104916146 1825828864 13501 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6126/tid=6135] ppid=6124 vsize=1783036 CPUtime=0.31
/proc/6126/task/6135/stat : 6135 (java) S 6124 6126 5590 0 -1 64 591 0 0 0 31 0 0 0 16 0 12 0 104916146 1825828864 13502 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6126/tid=6136] ppid=6124 vsize=1783036 CPUtime=0.46
/proc/6126/task/6136/stat : 6136 (java) S 6124 6126 5590 0 -1 64 1382 0 0 0 46 0 0 0 17 0 12 0 104916146 1825828864 13503 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6126/tid=6137] ppid=6124 vsize=1783036 CPUtime=0
/proc/6126/task/6137/stat : 6137 (java) S 6124 6126 5590 0 -1 64 2 0 0 0 0 0 0 0 21 0 12 0 104916146 1825828864 13504 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6126/tid=6138] ppid=6124 vsize=1783036 CPUtime=0
/proc/6126/task/6138/stat : 6138 (java) S 6124 6126 5590 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 104916146 1825828864 13505 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.64
Current children cumulated vsize (KiB) 1783036

[startup+3.10245 s]
/proc/loadavg: 0.96 0.98 0.99 3/89 6138
/proc/meminfo: memFree=1679128/2055920 swapFree=4186972/4192956
[pid=6126] ppid=6124 vsize=1785776 CPUtime=3.64
/proc/6126/stat : 6126 (java) S 6124 6126 5590 0 -1 0 44303 0 34 0 339 25 0 0 18 0 13 0 104916108 1828634624 42277 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6126/statm: 446444 42277 1321 9 0 444056 0
[pid=6126/tid=6128] ppid=6124 vsize=1785776 CPUtime=2.23
/proc/6126/task/6128/stat : 6128 (java) R 6124 6126 5590 0 -1 64 37730 0 9 0 204 19 0 0 22 0 13 0 104916125 1828634624 42277 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4109544810 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6126/tid=6129] ppid=6124 vsize=1785776 CPUtime=0.04
/proc/6126/task/6129/stat : 6129 (java) S 6124 6126 5590 0 -1 64 1490 0 0 0 4 0 0 0 16 0 13 0 104916134 1828634624 42277 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6126/tid=6130] ppid=6124 vsize=1785776 CPUtime=0.05
/proc/6126/task/6130/stat : 6130 (java) S 6124 6126 5590 0 -1 64 1353 0 0 0 5 0 0 0 16 0 13 0 104916134 1828634624 42277 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6126/tid=6131] ppid=6124 vsize=1785776 CPUtime=0
/proc/6126/task/6131/stat : 6131 (java) S 6124 6126 5590 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 104916139 1828634624 42277 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6126/tid=6132] ppid=6124 vsize=1785776 CPUtime=0
/proc/6126/task/6132/stat : 6132 (java) S 6124 6126 5590 0 -1 64 11 0 0 0 0 0 0 0 17 0 13 0 104916139 1828634624 42277 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6126/tid=6133] ppid=6124 vsize=1785776 CPUtime=0
/proc/6126/task/6133/stat : 6133 (java) S 6124 6126 5590 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 104916139 1828634624 42277 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6126/tid=6134] ppid=6124 vsize=1785776 CPUtime=0
/proc/6126/task/6134/stat : 6134 (java) S 6124 6126 5590 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 104916146 1828634624 42277 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6126/tid=6135] ppid=6124 vsize=1785776 CPUtime=0.51
/proc/6126/task/6135/stat : 6135 (java) R 6124 6126 5590 0 -1 64 1301 0 0 0 51 0 0 0 16 0 13 0 104916146 1828634624 42277 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 105244502 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6126/tid=6136] ppid=6124 vsize=1785776 CPUtime=0.73
/proc/6126/task/6136/stat : 6136 (java) S 6124 6126 5590 0 -1 64 1723 0 0 0 73 0 0 0 16 0 13 0 104916146 1828634624 42277 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6126/tid=6137] ppid=6124 vsize=1785776 CPUtime=0
/proc/6126/task/6137/stat : 6137 (java) S 6124 6126 5590 0 -1 64 2 0 0 0 0 0 0 0 21 0 13 0 104916146 1828634624 42277 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6126/tid=6138] ppid=6124 vsize=1785776 CPUtime=0
/proc/6126/task/6138/stat : 6138 (java) S 6124 6126 5590 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 104916146 1828634624 42277 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.64
Current children cumulated vsize (KiB) 1785776

[startup+6.30264 s]
/proc/loadavg: 0.97 0.98 0.99 2/90 6139
/proc/meminfo: memFree=1620248/2055920 swapFree=4186972/4192956
[pid=6126] ppid=6124 vsize=1785608 CPUtime=7.19
/proc/6126/stat : 6126 (java) S 6124 6126 5590 0 -1 0 54470 0 34 0 691 28 0 0 18 0 13 0 104916108 1828462592 49730 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6126/statm: 446402 49730 1321 9 0 444014 0
[pid=6126/tid=6128] ppid=6124 vsize=1785608 CPUtime=5.09
/proc/6126/task/6128/stat : 6128 (java) R 6124 6126 5590 0 -1 64 37737 0 9 0 490 19 0 0 19 0 13 0 104916125 1828462592 49730 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4109769443 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6126/tid=6129] ppid=6124 vsize=1785608 CPUtime=0.35
/proc/6126/task/6129/stat : 6129 (java) S 6124 6126 5590 0 -1 64 6816 0 0 0 33 2 0 0 16 0 13 0 104916134 1828462592 49730 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6126/tid=6130] ppid=6124 vsize=1785608 CPUtime=0.35
/proc/6126/task/6130/stat : 6130 (java) S 6124 6126 5590 0 -1 64 6148 0 0 0 34 1 0 0 17 0 13 0 104916134 1828462592 49730 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6126/tid=6131] ppid=6124 vsize=1785608 CPUtime=0
/proc/6126/task/6131/stat : 6131 (java) S 6124 6126 5590 0 -1 64 24 0 0 0 0 0 0 0 17 0 13 0 104916139 1828462592 49730 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6126/tid=6132] ppid=6124 vsize=1785608 CPUtime=0
/proc/6126/task/6132/stat : 6132 (java) S 6124 6126 5590 0 -1 64 11 0 0 0 0 0 0 0 17 0 13 0 104916139 1828462592 49730 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6126/tid=6133] ppid=6124 vsize=1785608 CPUtime=0
/proc/6126/task/6133/stat : 6133 (java) S 6124 6126 5590 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 104916139 1828462592 49730 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6126/tid=6134] ppid=6124 vsize=1785608 CPUtime=0
/proc/6126/task/6134/stat : 6134 (java) S 6124 6126 5590 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 104916146 1828462592 49730 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6126/tid=6135] ppid=6124 vsize=1785608 CPUtime=0.55
/proc/6126/task/6135/stat : 6135 (java) S 6124 6126 5590 0 -1 64 1304 0 0 0 55 0 0 0 16 0 13 0 104916146 1828462592 49730 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6126/tid=6136] ppid=6124 vsize=1785608 CPUtime=0.76
/proc/6126/task/6136/stat : 6136 (java) S 6124 6126 5590 0 -1 64 1742 0 0 0 76 0 0 0 16 0 13 0 104916146 1828462592 49730 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6126/tid=6137] ppid=6124 vsize=1785608 CPUtime=0
/proc/6126/task/6137/stat : 6137 (java) S 6124 6126 5590 0 -1 64 2 0 0 0 0 0 0 0 21 0 13 0 104916146 1828462592 49730 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6126/tid=6138] ppid=6124 vsize=1785608 CPUtime=0
/proc/6126/task/6138/stat : 6138 (java) S 6124 6126 5590 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 104916146 1828462592 49730 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6126/tid=6139] ppid=6124 vsize=1785608 CPUtime=0
/proc/6126/task/6139/stat : 6139 (java) S 6124 6126 5590 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 104916355 1828462592 49730 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 7.19
Current children cumulated vsize (KiB) 1785608

[startup+12.702 s]
/proc/loadavg: 0.97 0.98 0.99 2/90 6141
/proc/meminfo: memFree=1598856/2055920 swapFree=4186972/4192956
[pid=6126] ppid=6124 vsize=1790016 CPUtime=14.11
/proc/6126/stat : 6126 (java) S 6124 6126 5590 0 -1 0 56397 0 34 0 1382 29 0 0 18 0 13 0 104916108 1832976384 50749 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6126/statm: 447504 50749 1328 9 0 445116 0
[pid=6126/tid=6128] ppid=6124 vsize=1790016 CPUtime=11.3
/proc/6126/task/6128/stat : 6128 (java) R 6124 6126 5590 0 -1 64 37753 0 9 0 1111 19 0 0 25 0 13 0 104916125 1832976384 50749 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4109497511 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6126/tid=6129] ppid=6124 vsize=1790016 CPUtime=0.35
/proc/6126/task/6129/stat : 6129 (java) S 6124 6126 5590 0 -1 64 6816 0 0 0 33 2 0 0 16 0 13 0 104916134 1832976384 50749 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6126/tid=6130] ppid=6124 vsize=1790016 CPUtime=0.36
/proc/6126/task/6130/stat : 6130 (java) S 6124 6126 5590 0 -1 64 6148 0 0 0 35 1 0 0 16 0 13 0 104916134 1832976384 50749 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6126/tid=6131] ppid=6124 vsize=1790016 CPUtime=0
/proc/6126/task/6131/stat : 6131 (java) S 6124 6126 5590 0 -1 64 24 0 0 0 0 0 0 0 16 0 13 0 104916139 1832976384 50749 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6126/tid=6132] ppid=6124 vsize=1790016 CPUtime=0
/proc/6126/task/6132/stat : 6132 (java) S 6124 6126 5590 0 -1 64 11 0 0 0 0 0 0 0 17 0 13 0 104916139 1832976384 50749 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6126/tid=6133] ppid=6124 vsize=1790016 CPUtime=0
/proc/6126/task/6133/stat : 6133 (java) S 6124 6126 5590 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 104916139 1832976384 50749 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6126/tid=6134] ppid=6124 vsize=1790016 CPUtime=0
/proc/6126/task/6134/stat : 6134 (java) S 6124 6126 5590 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 104916146 1832976384 50749 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6126/tid=6135] ppid=6124 vsize=1790016 CPUtime=0.84
/proc/6126/task/6135/stat : 6135 (java) S 6124 6126 5590 0 -1 64 1336 0 0 0 84 0 0 0 16 0 13 0 104916146 1832976384 50749 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6126/tid=6136] ppid=6124 vsize=1790016 CPUtime=1.16
/proc/6126/task/6136/stat : 6136 (java) S 6124 6126 5590 0 -1 64 3618 0 0 0 115 1 0 0 16 0 13 0 104916146 1832976384 50749 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6126/tid=6137] ppid=6124 vsize=1790016 CPUtime=0
/proc/6126/task/6137/stat : 6137 (java) S 6124 6126 5590 0 -1 64 2 0 0 0 0 0 0 0 21 0 13 0 104916146 1832976384 50749 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6126/tid=6138] ppid=6124 vsize=1790016 CPUtime=0
/proc/6126/task/6138/stat : 6138 (java) S 6124 6126 5590 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 104916146 1832976384 50749 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6126/tid=6141] ppid=6124 vsize=1790016 CPUtime=0
/proc/6126/task/6141/stat : 6141 (java) S 6124 6126 5590 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 104917298 1832976384 50749 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 14.11
Current children cumulated vsize (KiB) 1790016

[startup+25.5028 s]
/proc/loadavg: 1.04 1.00 1.00 2/90 6143
/proc/meminfo: memFree=1671800/2055920 swapFree=4186972/4192956
[pid=6126] ppid=6124 vsize=1789880 CPUtime=27.29
/proc/6126/stat : 6126 (java) S 6124 6126 5590 0 -1 0 58163 0 34 0 2697 32 0 0 18 0 13 0 104916108 1832837120 31553 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6126/statm: 447470 31553 1328 9 0 445082 0
[pid=6126/tid=6128] ppid=6124 vsize=1789880 CPUtime=23.93
/proc/6126/task/6128/stat : 6128 (java) R 6124 6126 5590 0 -1 64 37786 0 9 0 2374 19 0 0 21 0 13 0 104916125 1832837120 31553 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4109812101 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6126/tid=6129] ppid=6124 vsize=1789880 CPUtime=0.44
/proc/6126/task/6129/stat : 6129 (java) S 6124 6126 5590 0 -1 64 7670 0 0 0 41 3 0 0 16 0 13 0 104916134 1832837120 31553 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6126/tid=6130] ppid=6124 vsize=1789880 CPUtime=0.44
/proc/6126/task/6130/stat : 6130 (java) S 6124 6126 5590 0 -1 64 6963 0 0 0 42 2 0 0 16 0 13 0 104916134 1832837120 31553 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6126/tid=6131] ppid=6124 vsize=1789880 CPUtime=0.02
/proc/6126/task/6131/stat : 6131 (java) S 6124 6126 5590 0 -1 64 30 0 0 0 1 1 0 0 16 0 13 0 104916139 1832837120 31553 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6126/tid=6132] ppid=6124 vsize=1789880 CPUtime=0
/proc/6126/task/6132/stat : 6132 (java) S 6124 6126 5590 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 104916139 1832837120 31553 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0

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

[pid=6126/tid=6131] ppid=6124 vsize=1790204 CPUtime=1.1
/proc/6126/task/6131/stat : 6131 (java) S 6124 6126 5590 0 -1 64 417 0 0 0 60 50 0 0 16 0 13 0 104916139 1833168896 93834 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6126/tid=6132] ppid=6124 vsize=1790204 CPUtime=0
/proc/6126/task/6132/stat : 6132 (java) S 6124 6126 5590 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 104916139 1833168896 93834 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6126/tid=6133] ppid=6124 vsize=1790204 CPUtime=0
/proc/6126/task/6133/stat : 6133 (java) S 6124 6126 5590 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 104916139 1833168896 93834 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6126/tid=6134] ppid=6124 vsize=1790204 CPUtime=0
/proc/6126/task/6134/stat : 6134 (java) S 6124 6126 5590 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 104916146 1833168896 93834 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6126/tid=6135] ppid=6124 vsize=1790204 CPUtime=1.47
/proc/6126/task/6135/stat : 6135 (java) S 6124 6126 5590 0 -1 64 1371 0 0 0 147 0 0 0 17 0 13 0 104916146 1833168896 93834 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6126/tid=6136] ppid=6124 vsize=1790204 CPUtime=1.95
/proc/6126/task/6136/stat : 6136 (java) S 6124 6126 5590 0 -1 64 3710 0 0 0 194 1 0 0 17 0 13 0 104916146 1833168896 93834 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6126/tid=6137] ppid=6124 vsize=1790204 CPUtime=0
/proc/6126/task/6137/stat : 6137 (java) S 6124 6126 5590 0 -1 64 2 0 0 0 0 0 0 0 21 0 13 0 104916146 1833168896 93834 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6126/tid=6138] ppid=6124 vsize=1790204 CPUtime=0
/proc/6126/task/6138/stat : 6138 (java) S 6124 6126 5590 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 104916146 1833168896 93834 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6126/tid=6426] ppid=6124 vsize=1790204 CPUtime=0
/proc/6126/task/6426/stat : 6426 (java) S 6124 6126 5590 0 -1 64 1 0 0 0 0 0 0 0 17 0 13 0 105068432 1833168896 93834 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1615.93
Current children cumulated vsize (KiB) 1790204

[startup+1662.3 s]
/proc/loadavg: 1.06 1.08 1.03 2/90 6426
/proc/meminfo: memFree=1418384/2055920 swapFree=4186972/4192956
[pid=6126] ppid=6124 vsize=1790204 CPUtime=1676.35
/proc/6126/stat : 6126 (java) S 6124 6126 5590 0 -1 0 210756 0 34 0 167424 211 0 0 18 0 13 0 104916108 1833168896 93935 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6126/statm: 447551 93935 1329 9 0 445163 0
[pid=6126/tid=6128] ppid=6124 vsize=1790204 CPUtime=1645.37
/proc/6126/task/6128/stat : 6128 (java) R 6124 6126 5590 0 -1 64 137407 0 9 0 164449 88 0 0 25 0 13 0 104916125 1833168896 93935 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4109545077 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6126/tid=6129] ppid=6124 vsize=1790204 CPUtime=13.2
/proc/6126/task/6129/stat : 6129 (java) S 6124 6126 5590 0 -1 64 34005 0 0 0 1288 32 0 0 16 0 13 0 104916134 1833168896 93935 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6126/tid=6130] ppid=6124 vsize=1790204 CPUtime=13.13
/proc/6126/task/6130/stat : 6130 (java) S 6124 6126 5590 0 -1 64 33009 0 0 0 1281 32 0 0 16 0 13 0 104916134 1833168896 93935 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6126/tid=6131] ppid=6124 vsize=1790204 CPUtime=1.13
/proc/6126/task/6131/stat : 6131 (java) S 6124 6126 5590 0 -1 64 417 0 0 0 62 51 0 0 15 0 13 0 104916139 1833168896 93935 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6126/tid=6132] ppid=6124 vsize=1790204 CPUtime=0
/proc/6126/task/6132/stat : 6132 (java) S 6124 6126 5590 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 104916139 1833168896 93935 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6126/tid=6133] ppid=6124 vsize=1790204 CPUtime=0
/proc/6126/task/6133/stat : 6133 (java) S 6124 6126 5590 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 104916139 1833168896 93935 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6126/tid=6134] ppid=6124 vsize=1790204 CPUtime=0
/proc/6126/task/6134/stat : 6134 (java) S 6124 6126 5590 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 104916146 1833168896 93935 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6126/tid=6135] ppid=6124 vsize=1790204 CPUtime=1.47
/proc/6126/task/6135/stat : 6135 (java) S 6124 6126 5590 0 -1 64 1371 0 0 0 147 0 0 0 17 0 13 0 104916146 1833168896 93935 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6126/tid=6136] ppid=6124 vsize=1790204 CPUtime=1.95
/proc/6126/task/6136/stat : 6136 (java) S 6124 6126 5590 0 -1 64 3710 0 0 0 194 1 0 0 17 0 13 0 104916146 1833168896 93935 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6126/tid=6137] ppid=6124 vsize=1790204 CPUtime=0
/proc/6126/task/6137/stat : 6137 (java) S 6124 6126 5590 0 -1 64 2 0 0 0 0 0 0 0 21 0 13 0 104916146 1833168896 93935 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6126/tid=6138] ppid=6124 vsize=1790204 CPUtime=0
/proc/6126/task/6138/stat : 6138 (java) S 6124 6126 5590 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 104916146 1833168896 93935 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6126/tid=6426] ppid=6124 vsize=1790204 CPUtime=0
/proc/6126/task/6426/stat : 6426 (java) S 6124 6126 5590 0 -1 64 1 0 0 0 0 0 0 0 17 0 13 0 105068432 1833168896 93935 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1676.35
Current children cumulated vsize (KiB) 1790204

[startup+1722.3 s]
/proc/loadavg: 1.02 1.06 1.02 2/90 6427
/proc/meminfo: memFree=1416904/2055920 swapFree=4186972/4192956
[pid=6126] ppid=6124 vsize=1790204 CPUtime=1736.8
/proc/6126/stat : 6126 (java) S 6124 6126 5590 0 -1 0 211910 0 34 0 173465 215 0 0 18 0 13 0 104916108 1833168896 94272 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6126/statm: 447551 94272 1329 9 0 445163 0
[pid=6126/tid=6128] ppid=6124 vsize=1790204 CPUtime=1704.78
/proc/6126/task/6128/stat : 6128 (java) R 6124 6126 5590 0 -1 64 137560 0 9 0 170389 89 0 0 25 0 13 0 104916125 1833168896 94272 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4109545228 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6126/tid=6129] ppid=6124 vsize=1790204 CPUtime=13.7
/proc/6126/task/6129/stat : 6129 (java) S 6124 6126 5590 0 -1 64 34360 0 0 0 1337 33 0 0 16 0 13 0 104916134 1833168896 94272 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6126/tid=6130] ppid=6124 vsize=1790204 CPUtime=13.63
/proc/6126/task/6130/stat : 6130 (java) S 6124 6126 5590 0 -1 64 33647 0 0 0 1330 33 0 0 16 0 13 0 104916134 1833168896 94272 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6126/tid=6131] ppid=6124 vsize=1790204 CPUtime=1.16
/proc/6126/task/6131/stat : 6131 (java) S 6124 6126 5590 0 -1 64 423 0 0 0 64 52 0 0 16 0 13 0 104916139 1833168896 94272 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6126/tid=6132] ppid=6124 vsize=1790204 CPUtime=0
/proc/6126/task/6132/stat : 6132 (java) S 6124 6126 5590 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 104916139 1833168896 94272 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6126/tid=6133] ppid=6124 vsize=1790204 CPUtime=0
/proc/6126/task/6133/stat : 6133 (java) S 6124 6126 5590 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 104916139 1833168896 94272 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6126/tid=6134] ppid=6124 vsize=1790204 CPUtime=0
/proc/6126/task/6134/stat : 6134 (java) S 6124 6126 5590 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 104916146 1833168896 94272 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6126/tid=6135] ppid=6124 vsize=1790204 CPUtime=1.47
/proc/6126/task/6135/stat : 6135 (java) S 6124 6126 5590 0 -1 64 1371 0 0 0 147 0 0 0 17 0 13 0 104916146 1833168896 94272 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6126/tid=6136] ppid=6124 vsize=1790204 CPUtime=1.95
/proc/6126/task/6136/stat : 6136 (java) S 6124 6126 5590 0 -1 64 3710 0 0 0 194 1 0 0 17 0 13 0 104916146 1833168896 94272 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6126/tid=6137] ppid=6124 vsize=1790204 CPUtime=0
/proc/6126/task/6137/stat : 6137 (java) S 6124 6126 5590 0 -1 64 2 0 0 0 0 0 0 0 21 0 13 0 104916146 1833168896 94272 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6126/tid=6138] ppid=6124 vsize=1790204 CPUtime=0
/proc/6126/task/6138/stat : 6138 (java) S 6124 6126 5590 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 104916146 1833168896 94272 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6126/tid=6427] ppid=6124 vsize=1790204 CPUtime=0
/proc/6126/task/6427/stat : 6427 (java) S 6124 6126 5590 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 105086048 1833168896 94272 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1736.8
Current children cumulated vsize (KiB) 1790204

[startup+1782.3 s]
/proc/loadavg: 1.01 1.05 1.01 2/90 6427
/proc/meminfo: memFree=1413256/2055920 swapFree=4186972/4192956
[pid=6126] ppid=6124 vsize=1790204 CPUtime=1797.2
/proc/6126/stat : 6126 (java) S 6124 6126 5590 0 -1 0 212979 0 34 0 179501 219 0 0 18 0 13 0 104916108 1833168896 95171 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6126/statm: 447551 95171 1329 9 0 445163 0
[pid=6126/tid=6128] ppid=6124 vsize=1790204 CPUtime=1764.2
/proc/6126/task/6128/stat : 6128 (java) R 6124 6126 5590 0 -1 64 138441 0 9 0 176330 90 0 0 25 0 13 0 104916125 1833168896 95171 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4110025605 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6126/tid=6129] ppid=6124 vsize=1790204 CPUtime=14.18
/proc/6126/task/6129/stat : 6129 (java) S 6124 6126 5590 0 -1 64 34474 0 0 0 1384 34 0 0 16 0 13 0 104916134 1833168896 95171 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6126/tid=6130] ppid=6124 vsize=1790204 CPUtime=14.11
/proc/6126/task/6130/stat : 6130 (java) S 6124 6126 5590 0 -1 64 33721 0 0 0 1377 34 0 0 16 0 13 0 104916134 1833168896 95171 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6126/tid=6131] ppid=6124 vsize=1790204 CPUtime=1.19
/proc/6126/task/6131/stat : 6131 (java) S 6124 6126 5590 0 -1 64 423 0 0 0 66 53 0 0 15 0 13 0 104916139 1833168896 95171 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6126/tid=6132] ppid=6124 vsize=1790204 CPUtime=0
/proc/6126/task/6132/stat : 6132 (java) S 6124 6126 5590 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 104916139 1833168896 95171 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6126/tid=6133] ppid=6124 vsize=1790204 CPUtime=0
/proc/6126/task/6133/stat : 6133 (java) S 6124 6126 5590 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 104916139 1833168896 95171 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6126/tid=6134] ppid=6124 vsize=1790204 CPUtime=0
/proc/6126/task/6134/stat : 6134 (java) S 6124 6126 5590 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 104916146 1833168896 95171 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6126/tid=6135] ppid=6124 vsize=1790204 CPUtime=1.47
/proc/6126/task/6135/stat : 6135 (java) S 6124 6126 5590 0 -1 64 1371 0 0 0 147 0 0 0 17 0 13 0 104916146 1833168896 95171 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6126/tid=6136] ppid=6124 vsize=1790204 CPUtime=1.95
/proc/6126/task/6136/stat : 6136 (java) S 6124 6126 5590 0 -1 64 3710 0 0 0 194 1 0 0 17 0 13 0 104916146 1833168896 95171 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6126/tid=6137] ppid=6124 vsize=1790204 CPUtime=0
/proc/6126/task/6137/stat : 6137 (java) S 6124 6126 5590 0 -1 64 2 0 0 0 0 0 0 0 21 0 13 0 104916146 1833168896 95171 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6126/tid=6138] ppid=6124 vsize=1790204 CPUtime=0
/proc/6126/task/6138/stat : 6138 (java) S 6124 6126 5590 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 104916146 1833168896 95171 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6126/tid=6427] ppid=6124 vsize=1790204 CPUtime=0
/proc/6126/task/6427/stat : 6427 (java) S 6124 6126 5590 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 105086048 1833168896 95171 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1797.2
Current children cumulated vsize (KiB) 1790204



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1785.1 s]
/proc/loadavg: 1.00 1.05 1.01 2/90 6427
/proc/meminfo: memFree=1413192/2055920 swapFree=4186972/4192956
[pid=6126] ppid=6124 vsize=1790204 CPUtime=1800.03
/proc/6126/stat : 6126 (java) S 6124 6126 5590 0 -1 0 212986 0 34 0 179784 219 0 0 18 0 13 0 104916108 1833168896 95156 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6126/statm: 447551 95156 1329 9 0 445163 0
[pid=6126/tid=6128] ppid=6124 vsize=1790204 CPUtime=1766.98
/proc/6126/task/6128/stat : 6128 (java) R 6124 6126 5590 0 -1 64 138447 0 9 0 176608 90 0 0 25 0 13 0 104916125 1833168896 95156 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4109545228 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6126/tid=6129] ppid=6124 vsize=1790204 CPUtime=14.2
/proc/6126/task/6129/stat : 6129 (java) S 6124 6126 5590 0 -1 64 34475 0 0 0 1386 34 0 0 15 0 13 0 104916134 1833168896 95156 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6126/tid=6130] ppid=6124 vsize=1790204 CPUtime=14.13
/proc/6126/task/6130/stat : 6130 (java) S 6124 6126 5590 0 -1 64 33721 0 0 0 1379 34 0 0 16 0 13 0 104916134 1833168896 95156 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6126/tid=6131] ppid=6124 vsize=1790204 CPUtime=1.19
/proc/6126/task/6131/stat : 6131 (java) S 6124 6126 5590 0 -1 64 423 0 0 0 66 53 0 0 16 0 13 0 104916139 1833168896 95156 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6126/tid=6132] ppid=6124 vsize=1790204 CPUtime=0
/proc/6126/task/6132/stat : 6132 (java) S 6124 6126 5590 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 104916139 1833168896 95156 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6126/tid=6133] ppid=6124 vsize=1790204 CPUtime=0
/proc/6126/task/6133/stat : 6133 (java) S 6124 6126 5590 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 104916139 1833168896 95156 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6126/tid=6134] ppid=6124 vsize=1790204 CPUtime=0
/proc/6126/task/6134/stat : 6134 (java) S 6124 6126 5590 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 104916146 1833168896 95156 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6126/tid=6135] ppid=6124 vsize=1790204 CPUtime=1.47
/proc/6126/task/6135/stat : 6135 (java) S 6124 6126 5590 0 -1 64 1371 0 0 0 147 0 0 0 17 0 13 0 104916146 1833168896 95156 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6126/tid=6136] ppid=6124 vsize=1790204 CPUtime=1.95
/proc/6126/task/6136/stat : 6136 (java) S 6124 6126 5590 0 -1 64 3710 0 0 0 194 1 0 0 17 0 13 0 104916146 1833168896 95156 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6126/tid=6137] ppid=6124 vsize=1790204 CPUtime=0
/proc/6126/task/6137/stat : 6137 (java) S 6124 6126 5590 0 -1 64 2 0 0 0 0 0 0 0 21 0 13 0 104916146 1833168896 95156 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6126/tid=6138] ppid=6124 vsize=1790204 CPUtime=0
/proc/6126/task/6138/stat : 6138 (java) S 6124 6126 5590 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 104916146 1833168896 95156 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6126/tid=6427] ppid=6124 vsize=1790204 CPUtime=0
/proc/6126/task/6427/stat : 6427 (java) S 6124 6126 5590 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 105086048 1833168896 95156 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1790204

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

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

[startup+1785.21 s]
/proc/loadavg: 1.00 1.05 1.01 2/80 6430
/proc/meminfo: memFree=1487360/2055920 swapFree=4186972/4192956
[pid=6126] ppid=6124 vsize=0 CPUtime=1800.19
/proc/6126/stat : 6126 (java) Z 6124 6126 5590 0 -1 1036 213000 0 34 0 179798 221 0 0 15 0 2 0 104916108 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6126/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.19
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 1785.27
CPU time (s): 1800.25
CPU user time (s): 1797.99
CPU system time (s): 2.25966
CPU usage (%): 100.839
Max. virtual memory (cumulated for all children) (KiB): 1790204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.99
system time used= 2.25966
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 213000
page faults= 34
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 91246
involuntary context switches= 60127

runsolver used 2.08068 second user time and 5.54316 second system time

The end

Launcher Data (download as text)

Begin job on node30 on Sat Apr 14 17:00:04 UTC 2007

IDJOB= 350937
IDBENCH= 1622
IDSOLVER= 160
FILE ID= node30/350937-1176570004

PBS_JOBID= 4556887

Free space on /tmp= 66559 MiB

SOLVER NAME= sat4jPseudoCP 2007-03-23
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-nsrand_ipx.opb
COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/350937-1176570004/sat4jPseudoCP.jar /tmp/evaluation/350937-1176570004/instance-350937-1176570004.opb       
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node30/watcher-350937-1176570004 -o ROOT/results/node30/solver-350937-1176570004 -C 1800 -W 3600 -M 1800 --output-limit 1,15  java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/350937-1176570004/sat4jPseudoCP.jar /tmp/evaluation/350937-1176570004/instance-350937-1176570004.opb       

META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30
MD5SUM BENCH=  5afe2e688387cc46a3d150d955d27ab1

RANDOM SEED= 368717858

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1802960 kB
Buffers:          5612 kB
Cached:          97448 kB
SwapCached:       2204 kB
Active:          46900 kB
Inactive:        95960 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1802960 kB
SwapTotal:     4192956 kB
SwapFree:      4186972 kB
Dirty:            5688 kB
Writeback:           0 kB
Mapped:          56428 kB
Slab:            95648 kB
Committed_AS:   202028 kB
PageTables:       1776 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= 66559 MiB

End job on node30 on Sat Apr 14 17:29:51 UTC 2007