Trace number 4078759

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. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock 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 NameAnswerCPU timeWall clock time
toysat 2016-05-02SAT 44.0973 44.105

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/~walser/
benchmarks/ppp-problems/normalized-ppp:3-13,25,26.opb
MD5SUM28d827e98d8e81c3ff9d9e47a6238269
Bench CategoryDEC-SMALLINT (no optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark5.47217
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables4644
Total number of constraints31254
Number of constraints which are clauses30228
Number of constraints which are cardinality constraints (but not clauses)948
Number of constraints which are nor clauses,nor cardinality constraints78
Minimum length of a constraint3
Maximum length of a constraint29
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 10
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 104
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-06T16:10:39+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4078759-1465222239.opb"]
0.00/0.01	c use --random-gen="2780207931 2739849169 2880199990 1346249231 1961976154 3633871976 3570884288 2526707786 3599685972 1300909621 1471288548 2928291221 1352093003 4046768564 2288080444 2729235091 3749328897 1333558665 2996306701 1753096188 3045294951 4228691175 1788189351 963111707 2678864651 1437637275 3572673277 2770273528 1207420458 629213964 1162096436 1641198774 1949161826 72508671 3197646603 1761454167 574469891 2373092827 1345322556 243696637 1061182363 3024665752 982431653 4098783179 2588809905 514746396 635381445 3173743287 4123868355 1148850511 2917424258 3364080927 587815657 3204987608 436631401 4087603149 1142516256 2732289834 1716021617 1962120992 778079182 2692886576 3935047755 3981210296 1700410191 992143372 1573338222 2326551308 3660954987 1057644900 3277915574 2342896325 2400081644 3479929873 3556240287 1308827106 502202039 1725918601 1986590460 818734151 2300616270 2632732419 3721972977 4107206746 1286614147 124271743 2123111319 1396160941 3420338841 2220895714 2121677473 3795585438 1297666247 2793026315 3287428951 1196025567 3851933769 3744117248 39381300 785642122 1595939345 147679329 4093667971 1744523037 2244937704 2230184606 2935595549 2482775792 637638710 2961247007 3848141063 1558806610 2835409490 1586920295 3497184405 2323739915 1522661687 3893901977 874859336 1472888287 992700955 777551640 1585477587 3956308609 1303269220 3641551958 535130630 4099673892 1914852667 2741729163 425886684 96092944 2782835676 657447253 1835394024 2829169796 3854553465 2801659990 534155445 4044153751 3398864792 2884916172 2148877772 2620286512 4000600211 2860757075 3725600210 997263960 138484665 1611784372 2609002897 571435874 434099513 465732966 2004135568 1571657708 3874600883 4268512318 4216141544 3352137674 507945552 1846422839 3927468309 1088342161 1077580595 2117259898 1706164262 3147151508 3402287109 1761084362 3306290580 3200648667 2053691804 4077756495 2391140043 4233659965 3355283746 2671258083 2194477655 2109863770 2603897304 2091610150 100528739 254289340 738546735 2859407738 2034402425 372620886 691309158 2024997593 3491075578 4261937920 863642491 1384051374 1714608318 3324096457 2551477748 2800234156 3245816214 3291403112 4065610367 2000417769 2557739983 4046206501 2203110975 2693465770 1887908546 3703475128 1488212148 855980414 1815298424 3888332314 3062889983 1314858003 2153299166 3750602383 4130549944 3430285601 1495661973 2125858020 3626491057 2393576607 341225762 2171051443 2209901553 2490866977 2889439774 3964640999 3340922098 3687361220 2672576004 4181100562 3243656650 3896433661 2406039201 3784218260 215667602 3211749724 1676966572 2465563018 3925026202 1008998426 1401419668 2535056629 3889015106 2631628009 1456794634 2234900675 3676213429 2051552653 1977790203 1729676415 1448256006 2244323560 1165141419 3150226306 255 362436" option to reproduce the execution
0.19/0.23	c #vars 4644
0.19/0.23	c #constraints 31254
0.69/0.70	c Solving starts ...
0.69/0.70	c ============================[ Search Statistics ]============================
0.69/0.70	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.69/0.70	c       |         |          |          |    Limit     GC | Var      | Constra 
0.69/0.70	c =============================================================================
0.69/0.70	c  0.0s |       0 |        0 |        0 |    12024      0 |        0 |        0
0.69/0.76	c  0.1s |       1 |      586 |      100 |    12024      0 |        0 |        0
0.79/0.84	c  0.1s |       2 |     1341 |      250 |    13227      0 |        0 |        0
0.89/0.95	c  0.2s |       3 |     1904 |      475 |    14550      0 |        0 |        0
0.99/1.10	c  0.4s |       4 |     2375 |      813 |    16006      0 |        0 |        0
1.28/1.35	c  0.6s |       5 |     4120 |     1320 |    17607      0 |        0 |        0
1.78/1.82	c  1.1s |       6 |     6177 |     2081 |    21305      0 |        0 |        0
2.29/2.33	c  1.6s |       7 |     8715 |     3223 |    23436      0 |        0 |        0
3.18/3.25	c  2.6s |       8 |    11995 |     4936 |    25780      0 |        0 |        0
4.78/4.81	c  4.1s |       9 |    16657 |     7506 |    28359      0 |        0 |        0
6.78/6.82	c  6.1s |       9 |    22857 |    11306 |    31195      0 |        0 |        0
6.78/6.84	c  6.1s |      10 |    22927 |    11361 |    31195      0 |        0 |        0
8.80/8.89	c  8.2s |      10 |    28724 |    15361 |    31195      0 |        0 |        0
10.29/10.32	c  9.6s |      11 |    31425 |    17144 |    34315      0 |        0 |        0
12.29/12.35	c 11.6s |      11 |    36345 |    20044 |    34315      0 |        0 |        0
14.40/14.40	c 13.7s |      11 |    38557 |    22044 |    34315      0 |        0 |        0
16.50/16.52	c 15.8s |      11 |    40302 |    23644 |    34315      0 |        0 |        0
18.59/18.62	c 17.9s |      11 |    42117 |    25244 |    34315      0 |        0 |        0
19.29/19.35	c 18.6s |      12 |    42826 |    25819 |    37747      0 |        0 |        0
21.39/21.44	c 20.7s |      12 |    46570 |    27619 |    37747      0 |        0 |        0
23.39/23.47	c 22.8s |      12 |    48482 |    29319 |    37747      0 |        0 |        0
25.49/25.57	c 24.9s |      12 |    50387 |    31019 |    37747      0 |        0 |        0
27.69/27.71	c 27.0s |      12 |    51947 |    32419 |    37747      0 |        0 |        0
29.79/29.89	c 29.2s |      12 |    53555 |    33819 |    37747      0 |        0 |        0
31.89/31.94	c 31.2s |      12 |    55089 |    35219 |    37747      0 |        0 |        0
33.89/33.95	c 33.2s |      12 |    56407 |    36419 |    37747      0 |        0 |        0
35.89/35.98	c 35.3s |      12 |    57592 |    37519 |    37747      0 |        0 |        0
38.09/38.10	c 37.4s |      12 |    58826 |    38619 |    41522      0 |        0 |        0
38.39/38.40	c 37.7s |      13 |    59088 |    38832 |    41522      0 |        0 |        0
40.38/40.42	c 39.7s |      13 |    63060 |    40932 |    41522      0 |        0 |        0
42.38/42.45	c 41.7s |      13 |    65534 |    43132 |    41522      0 |        0 |        0
43.99/44.03	c 43.3s |      13 |    67938 |    44779 |    41522      0 |        0 |        0
43.99/44.03	c #cpu_time = 43.217s
43.99/44.03	c #wall_clock_time = 43.331s
43.99/44.03	c #decision = 67938
43.99/44.03	c #random_decision = 242
43.99/44.03	c #conflict = 44779
43.99/44.03	c #restart = 13
43.99/44.03	s SATISFIABLE
43.99/44.04	v -x1 -x2 -x3 -x4 x5 -x6 -x7 -x8 -x9 -x10
43.99/44.04	v -x11 x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20
43.99/44.04	v -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30
43.99/44.04	v -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40
43.99/44.04	v -x41 -x42 -x43 -x44 -x45 x46 -x47 -x48 -x49 -x50
43.99/44.04	v -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60
43.99/44.04	v -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 x69 -x70
43.99/44.04	v -x71 -x72 -x73 x74 -x75 -x76 -x77 -x78 -x79 -x80
43.99/44.04	v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90
43.99/44.04	v -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 x100
43.99/44.04	v -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110
43.99/44.04	v -x111 x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120
43.99/44.04	v x121 -x122 x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130
43.99/44.04	v -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140
43.99/44.04	v -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150
43.99/44.04	v -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 x160
43.99/44.04	v -x161 -x162 -x163 -x164 -x165 -x166 x167 -x168 -x169 -x170
43.99/44.04	v -x171 -x172 -x173 x174 -x175 -x176 -x177 -x178 -x179 -x180
43.99/44.04	v -x181 -x182 -x183 -x184 x185 x186 -x187 -x188 -x189 -x190
43.99/44.04	v -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200
43.99/44.04	v -x201 -x202 -x203 -x204 -x205 -x206 x207 -x208 -x209 -x210
43.99/44.04	v -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 x220
43.99/44.04	v -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230
43.99/44.04	v -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240
43.99/44.04	v -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250
43.99/44.04	v -x251 x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 x260
43.99/44.04	v -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270
43.99/44.04	v x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280
43.99/44.04	v -x281 -x282 -x283 -x284 -x285 x286 -x287 -x288 -x289 -x290
43.99/44.04	v -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300
43.99/44.04	v -x301 -x302 x303 x304 -x305 -x306 -x307 -x308 -x309 -x310
43.99/44.04	v -x311 -x312 -x313 -x314 -x315 -x316 x317 -x318 -x319 -x320
43.99/44.04	v -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330
43.99/44.04	v -x331 -x332 -x333 -x334 -x335 -x336 -x337 x338 -x339 -x340
43.99/44.04	v -x341 x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350
43.99/44.04	v -x351 -x352 -x353 x354 -x355 -x356 -x357 -x358 -x359 -x360
43.99/44.04	v -x361 -x362 -x363 x364 -x365 -x366 -x367 -x368 -x369 -x370
43.99/44.04	v -x371 x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380
43.99/44.04	v -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 x389 x390
43.99/44.04	v -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400
43.99/44.04	v -x401 -x402 x403 -x404 -x405 -x406 -x407 x408 -x409 -x410
43.99/44.04	v -x411 -x412 -x413 -x414 -x415 -x416 x417 -x418 -x419 -x420
43.99/44.04	v -x421 -x422 -x423 x424 -x425 -x426 -x427 -x428 -x429 -x430
43.99/44.04	v -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440
43.99/44.04	v -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450
43.99/44.04	v -x451 -x452 -x453 -x454 -x455 x456 -x457 -x458 -x459 -x460
43.99/44.04	v -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470
43.99/44.04	v -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480
43.99/44.04	v -x481 -x482 -x483 -x484 -x485 x486 -x487 -x488 -x489 -x490
43.99/44.04	v -x491 x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500
43.99/44.04	v -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 x510
43.99/44.04	v -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 x520
43.99/44.04	v -x521 -x522 x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530
43.99/44.04	v -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540
43.99/44.04	v -x541 x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550
43.99/44.04	v -x551 -x552 -x553 -x554 -x555 -x556 x557 -x558 -x559 -x560
43.99/44.04	v -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570
43.99/44.04	v -x571 -x572 x573 -x574 -x575 -x576 -x577 -x578 -x579 x580
43.99/44.04	v -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 x590
43.99/44.04	v -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600
43.99/44.04	v -x601 -x602 -x603 x604 -x605 -x606 -x607 -x608 -x609 -x610
43.99/44.04	v -x611 x612 -x613 -x614 -x615 x616 -x617 -x618 -x619 -x620
43.99/44.04	v -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630
43.99/44.04	v -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640
43.99/44.04	v -x641 -x642 -x643 -x644 -x645 x646 -x647 -x648 -x649 -x650
43.99/44.04	v -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660
43.99/44.04	v -x661 -x662 -x663 x664 -x665 -x666 -x667 -x668 -x669 -x670
43.99/44.04	v -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680
43.99/44.04	v -x681 -x682 -x683 -x684 -x685 -x686 -x687 x688 -x689 -x690
43.99/44.04	v -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 x700
43.99/44.04	v -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 x709 -x710
43.99/44.04	v -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 x719 -x720
43.99/44.04	v -x721 -x722 -x723 -x724 -x725 -x726 -x727 x728 -x729 -x730
43.99/44.04	v -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740
43.99/44.04	v -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750
43.99/44.04	v -x751 -x752 x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760
43.99/44.04	v -x761 -x762 -x763 -x764 -x765 -x766 -x767 x768 -x769 -x770
43.99/44.04	v x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780
43.99/44.04	v -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790
43.99/44.04	v -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800
43.99/44.04	v -x801 x802 x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810
43.99/44.04	v -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820
43.99/44.04	v x821 x822 -x823 -x824 -x825 -x826 x827 -x828 -x829 -x830
43.99/44.04	v -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840
43.99/44.04	v -x841 -x842 -x843 -x844 -x845 -x846 -x847 x848 -x849 -x850
43.99/44.04	v -x851 -x852 -x853 -x854 x855 -x856 -x857 -x858 -x859 -x860
43.99/44.04	v -x861 -x862 -x863 -x864 -x865 x866 -x867 -x868 -x869 -x870
43.99/44.04	v -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 x879 -x880
43.99/44.04	v -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 x889 -x890
43.99/44.04	v -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900
43.99/44.04	v -x901 -x902 -x903 x904 -x905 -x906 -x907 -x908 -x909 -x910
43.99/44.04	v -x911 -x912 -x913 x914 -x915 -x916 -x917 -x918 x919 -x920
43.99/44.04	v -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930
43.99/44.04	v -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940
43.99/44.04	v x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 x949 -x950
43.99/44.04	v -x951 -x952 -x953 -x954 -x955 -x956 x957 -x958 -x959 -x960
43.99/44.04	v -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970
43.99/44.04	v -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 x980
43.99/44.04	v -x981 -x982 -x983 x984 -x985 -x986 -x987 -x988 -x989 -x990
43.99/44.04	v -x991 x992 -x993 -x994 -x995 -x996 x997 -x998 -x999 -x1000
43.99/44.04	v -x1001 -x1002 x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010
43.99/44.04	v -x1011 -x1012 -x1013 -x1014 -x1015 x1016 -x1017 -x1018 x1019 -x1020
43.99/44.04	v x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030
43.99/44.04	v -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040
43.99/44.04	v -x1041 -x1042 -x1043 -x1044 -x1045 x1046 x1047 -x1048 -x1049 -x1050
43.99/44.04	v -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060
43.99/44.04	v -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070
43.99/44.04	v -x1071 -x1072 x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080
43.99/44.04	v -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 x1087 -x1088 -x1089 -x1090
43.99/44.04	v x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100
43.99/44.04	v -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 x1107 -x1108 -x1109 -x1110
43.99/44.04	v x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 x1118 -x1119 -x1120
43.99/44.04	v -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130
43.99/44.04	v -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140
43.99/44.04	v -x1141 x1142 -x1143 x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150
43.99/44.04	v -x1151 -x1152 -x1153 -x1154 x1155 -x1156 -x1157 -x1158 -x1159 -x1160
43.99/44.04	v -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170
43.99/44.04	v -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180
43.99/44.04	v x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190
43.99/44.04	v x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200
43.99/44.04	v -x1201 x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 x1209 -x1210
43.99/44.04	v -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220
43.99/44.04	v -x1221 -x1222 x1223 -x1224 -x1225 -x1226 -x1227 x1228 -x1229 -x1230
43.99/44.04	v -x1231 x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240
43.99/44.04	v -x1241 -x1242 -x1243 -x1244 -x1245 x1246 -x1247 -x1248 -x1249 -x1250
43.99/44.04	v -x1251 -x1252 -x1253 -x1254 -x1255 x1256 -x1257 -x1258 -x1259 -x1260
43.99/44.04	v -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 x1270
43.99/44.04	v -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280
43.99/44.04	v -x1281 x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290
43.99/44.04	v x1291 -x1292 -x1293 -x1294 x1295 -x1296 -x1297 -x1298 -x1299 -x1300
43.99/44.04	v -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310
43.99/44.04	v -x1311 -x1312 x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320
43.99/44.04	v -x1321 x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330
43.99/44.04	v -x1331 -x1332 -x1333 -x1334 x1335 -x1336 -x1337 -x1338 -x1339 -x1340
43.99/44.04	v -x1341 -x1342 -x1343 -x1344 -x1345 x1346 -x1347 -x1348 -x1349 x1350
43.99/44.04	v -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360
43.99/44.04	v -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370
43.99/44.04	v -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 x1379 -x1380
43.99/44.04	v -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 x1389 -x1390
43.99/44.04	v -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400
43.99/44.04	v -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410
43.99/44.04	v -x1411 -x1412 x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420
43.99/44.04	v -x1421 -x1422 x1423 -x1424 -x1425 -x1426 -x1427 x1428 -x1429 -x1430
43.99/44.04	v -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 x1440
43.99/44.04	v -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450
43.99/44.04	v -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 x1458 -x1459 -x1460
43.99/44.04	v -x1461 x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470
43.99/44.04	v -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 x1477 -x1478 -x1479 x1480
43.99/44.04	v -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490
43.99/44.04	v -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 x1497 -x1498 -x1499 -x1500
43.99/44.04	v -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510
43.99/44.04	v x1511 -x1512 x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520
43.99/44.04	v -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530
43.99/44.04	v -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540
43.99/44.04	v -x1541 -x1542 -x1543 -x1544 -x1545 x1546 -x1547 -x1548 -x1549 -x1550
43.99/44.04	v -x1551 -x1552 -x1553 -x1554 x1555 -x1556 -x1557 -x1558 -x1559 -x1560
43.99/44.04	v -x1561 -x1562 -x1563 -x1564 x1565 -x1566 -x1567 -x1568 -x1569 -x1570
43.99/44.04	v -x1571 -x1572 -x1573 x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580
43.99/44.04	v x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590
43.99/44.04	v x1591 -x1592 -x1593 -x1594 -x1595 x1596 -x1597 -x1598 -x1599 -x1600
43.99/44.04	v -x1601 -x1602 -x1603 -x1604 x1605 -x1606 -x1607 -x1608 -x1609 -x1610
43.99/44.04	v -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620
43.99/44.04	v -x1621 x1622 -x1623 -x1624 -x1625 -x1626 x1627 -x1628 -x1629 -x1630
43.99/44.04	v -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640
43.99/44.04	v -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 x1650
43.99/44.04	v -x1651 -x1652 -x1653 -x1654 x1655 -x1656 -x1657 -x1658 -x1659 -x1660
43.99/44.04	v -x1661 -x1662 -x1663 -x1664 x1665 -x1666 -x1667 -x1668 -x1669 -x1670
43.99/44.04	v -x1671 -x1672 -x1673 -x1674 x1675 -x1676 -x1677 -x1678 -x1679 -x1680
43.99/44.04	v -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 x1689 -x1690
43.99/44.04	v -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700
43.99/44.04	v -x1701 x1702 -x1703 -x1704 x1705 -x1706 -x1707 -x1708 -x1709 -x1710
43.99/44.04	v -x1711 -x1712 -x1713 x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720
43.99/44.04	v x1721 x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730
43.99/44.04	v -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740
43.99/44.04	v -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 x1747 -x1748 -x1749 -x1750
43.99/44.04	v -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760
43.99/44.04	v -x1761 x1762 -x1763 -x1764 -x1765 -x1766 x1767 -x1768 -x1769 -x1770
43.99/44.04	v -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 x1777 -x1778 -x1779 -x1780
43.99/44.04	v -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 x1790
43.99/44.04	v -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800
43.99/44.04	v -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810
43.99/44.04	v -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820
43.99/44.04	v x1821 -x1822 x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830
43.99/44.04	v -x1831 -x1832 -x1833 -x1834 -x1835 x1836 -x1837 -x1838 -x1839 -x1840
43.99/44.04	v x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850
43.99/44.04	v -x1851 -x1852 x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 x1860
43.99/44.04	v -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870
43.99/44.04	v -x1871 -x1872 -x1873 x1874 -x1875 -x1876 -x1877 -x1878 -x1879 x1880
43.99/44.04	v -x1881 -x1882 -x1883 -x1884 x1885 -x1886 -x1887 -x1888 -x1889 -x1890
43.99/44.04	v -x1891 x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900
43.99/44.04	v -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910
43.99/44.04	v -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920
43.99/44.04	v -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 x1929 -x1930
43.99/44.04	v -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940
43.99/44.04	v -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950
43.99/44.04	v -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960
43.99/44.04	v -x1961 x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970
43.99/44.04	v -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980
43.99/44.04	v -x1981 -x1982 -x1983 -x1984 -x1985 x1986 -x1987 -x1988 -x1989 -x1990
43.99/44.04	v -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000
43.99/44.04	v -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 x2007 -x2008 -x2009 -x2010
43.99/44.04	v -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 x2019 -x2020
43.99/44.04	v -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030
43.99/44.04	v -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 x2038 -x2039 -x2040
43.99/44.04	v -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050
43.99/44.04	v -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060
43.99/44.04	v -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 x2069 -x2070
43.99/44.04	v -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080
43.99/44.04	v -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 x2090
43.99/44.04	v -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100
43.99/44.04	v -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110
43.99/44.04	v x2111 -x2112 -x2113 -x2114 -x2115 x2116 -x2117 -x2118 -x2119 -x2120
43.99/44.04	v -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130
43.99/44.04	v x2131 -x2132 -x2133 x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140
43.99/44.04	v -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150
43.99/44.04	v -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 x2159 x2160
43.99/44.04	v -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170
43.99/44.04	v -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180
43.99/44.04	v -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190
43.99/44.04	v -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200
43.99/44.04	v -x2201 -x2202 -x2203 -x2204 x2205 -x2206 -x2207 -x2208 -x2209 -x2210
43.99/44.04	v x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 x2220
43.99/44.04	v -x2221 x2222 -x2223 -x2224 -x2225 -x2226 x2227 -x2228 -x2229 -x2230
43.99/44.04	v -x2231 -x2232 -x2233 -x2234 -x2235 x2236 -x2237 -x2238 -x2239 -x2240
43.99/44.04	v -x2241 x2242 -x2243 -x2244 x2245 -x2246 -x2247 -x2248 -x2249 -x2250
43.99/44.04	v -x2251 x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260
43.99/44.04	v x2261 -x2262 -x2263 x2264 -x2265 -x2266 -x2267 -x2268 x2269 -x2270
43.99/44.04	v -x2271 -x2272 -x2273 -x2274 x2275 -x2276 -x2277 -x2278 -x2279 -x2280
43.99/44.04	v -x2281 -x2282 x2283 -x2284 -x2285 -x2286 -x2287 x2288 -x2289 -x2290
43.99/44.04	v -x2291 -x2292 x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300
43.99/44.04	v -x2301 x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 x2310
43.99/44.04	v x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 x2318 -x2319 -x2320
43.99/44.04	v -x2321 -x2322 -x2323 x2324 -x2325 -x2326 -x2327 -x2328 x2329 -x2330
43.99/44.04	v -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 x2337 -x2338 -x2339 -x2340
43.99/44.04	v -x2341 x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350
43.99/44.04	v -x2351 x2352 -x2353 -x2354 x2355 -x2356 -x2357 -x2358 -x2359 -x2360
43.99/44.04	v -x2361 -x2362 x2363 -x2364 -x2365 x2366 -x2367 -x2368 -x2369 -x2370
43.99/44.04	v x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 x2379 -x2380
43.99/44.04	v -x2381 -x2382 -x2383 x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390
43.99/44.04	v x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 x2400
43.99/44.04	v -x2401 -x2402 -x2403 -x2404 -x2405 x2406 -x2407 -x2408 -x2409 x2410
43.99/44.04	v -x2411 -x2412 -x2413 -x2414 -x2415 x2416 -x2417 -x2418 -x2419 -x2420
43.99/44.04	v x2421 -x2422 -x2423 -x2424 -x2425 -x2426 x2427 -x2428 -x2429 -x2430
43.99/44.04	v -x2431 -x2432 -x2433 x2434 -x2435 -x2436 -x2437 x2438 -x2439 -x2440
43.99/44.04	v -x2441 -x2442 -x2443 -x2444 -x2445 x2446 -x2447 -x2448 -x2449 -x2450
43.99/44.04	v x2451 -x2452 -x2453 -x2454 -x2455 -x2456 x2457 -x2458 -x2459 -x2460
43.99/44.04	v -x2461 -x2462 -x2463 x2464 -x2465 -x2466 -x2467 -x2468 x2469 -x2470
43.99/44.04	v -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 x2477 -x2478 -x2479 -x2480
43.99/44.04	v -x2481 -x2482 -x2483 x2484 -x2485 -x2486 -x2487 -x2488 -x2489 x2490
43.99/44.04	v -x2491 -x2492 -x2493 -x2494 -x2495 x2496 -x2497 x2498 -x2499 -x2500
43.99/44.04	v -x2501 -x2502 x2503 -x2504 -x2505 -x2506 -x2507 -x2508 x2509 -x2510
43.99/44.04	v -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 x2520
43.99/44.04	v -x2521 -x2522 -x2523 -x2524 x2525 -x2526 -x2527 -x2528 x2529 -x2530
43.99/44.04	v -x2531 -x2532 -x2533 -x2534 x2535 -x2536 -x2537 -x2538 x2539 -x2540
43.99/44.04	v -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 x2548 -x2549 -x2550
43.99/44.04	v -x2551 -x2552 -x2553 -x2554 x2555 -x2556 -x2557 -x2558 -x2559 -x2560
43.99/44.04	v -x2561 x2562 -x2563 x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570
43.99/44.04	v -x2571 -x2572 x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 x2580
43.99/44.04	v -x2581 x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 x2590
43.99/44.04	v -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 x2598 x2599 -x2600
43.99/44.04	v -x2601 -x2602 -x2603 -x2604 x2605 -x2606 -x2607 -x2608 -x2609 -x2610
43.99/44.04	v -x2611 -x2612 x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 x2620
43.99/44.04	v -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 x2628 -x2629 x2630
43.99/44.04	v -x2631 -x2632 -x2633 -x2634 x2635 -x2636 -x2637 -x2638 -x2639 -x2640
43.99/44.04	v -x2641 -x2642 -x2643 x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650
43.99/44.04	v x2651 -x2652 -x2653 -x2654 -x2655 -x2656 x2657 -x2658 -x2659 -x2660
43.99/44.04	v -x2661 -x2662 x2663 -x2664 -x2665 -x2666 -x2667 x2668 -x2669 -x2670
43.99/44.04	v -x2671 -x2672 -x2673 x2674 -x2675 -x2676 -x2677 -x2678 x2679 -x2680
43.99/44.04	v -x2681 -x2682 -x2683 -x2684 x2685 -x2686 -x2687 -x2688 -x2689 x2690
43.99/44.04	v -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 x2697 -x2698 -x2699 -x2700
43.99/44.04	v -x2701 -x2702 -x2703 -x2704 -x2705 x2706 -x2707 -x2708 x2709 -x2710
43.99/44.04	v -x2711 -x2712 -x2713 x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720
43.99/44.04	v -x2721 x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 x2730
43.99/44.04	v x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 x2739 -x2740
43.99/44.04	v -x2741 -x2742 -x2743 -x2744 x2745 -x2746 -x2747 -x2748 -x2749 -x2750
43.99/44.04	v x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 x2759 -x2760
43.99/44.04	v -x2761 x2762 -x2763 -x2764 -x2765 -x2766 -x2767 x2768 -x2769 -x2770
43.99/44.04	v -x2771 -x2772 -x2773 -x2774 x2775 -x2776 -x2777 -x2778 -x2779 -x2780
43.99/44.04	v x2781 -x2782 -x2783 -x2784 -x2785 -x2786 x2787 -x2788 -x2789 -x2790
43.99/44.04	v -x2791 -x2792 x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800
43.99/44.04	v -x2801 x2802 x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810
43.99/44.04	v x2811 -x2812 -x2813 -x2814 -x2815 x2816 -x2817 -x2818 -x2819 -x2820
43.99/44.04	v -x2821 -x2822 -x2823 -x2824 x2825 -x2826 -x2827 -x2828 -x2829 x2830
43.99/44.04	v -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 x2837 -x2838 -x2839 -x2840
43.99/44.04	v -x2841 -x2842 x2843 -x2844 -x2845 -x2846 x2847 -x2848 -x2849 -x2850
43.99/44.04	v -x2851 -x2852 -x2853 x2854 -x2855 -x2856 -x2857 -x2858 x2859 -x2860
43.99/44.04	v -x2861 -x2862 -x2863 -x2864 x2865 -x2866 -x2867 -x2868 x2869 -x2870
43.99/44.04	v -x2871 -x2872 -x2873 -x2874 x2875 -x2876 -x2877 -x2878 -x2879 -x2880
43.99/44.04	v -x2881 -x2882 -x2883 -x2884 x2885 -x2886 -x2887 -x2888 x2889 -x2890
43.99/44.04	v -x2891 -x2892 x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900
43.99/44.04	v x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 x2910
43.99/44.04	v -x2911 -x2912 x2913 -x2914 -x2915 -x2916 -x2917 -x2918 x2919 -x2920
43.99/44.04	v -x2921 -x2922 -x2923 -x2924 x2925 -x2926 -x2927 -x2928 x2929 -x2930
43.99/44.04	v -x2931 -x2932 -x2933 -x2934 -x2935 x2936 -x2937 -x2938 -x2939 -x2940
43.99/44.04	v -x2941 -x2942 -x2943 -x2944 x2945 -x2946 -x2947 -x2948 x2949 -x2950
43.99/44.04	v -x2951 -x2952 -x2953 -x2954 x2955 -x2956 -x2957 -x2958 -x2959 -x2960
43.99/44.04	v -x2961 x2962 -x2963 -x2964 -x2965 -x2966 x2967 -x2968 -x2969 -x2970
43.99/44.04	v -x2971 -x2972 -x2973 x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980
43.99/44.04	v x2981 -x2982 -x2983 x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990
43.99/44.04	v x2991 -x2992 -x2993 -x2994 -x2995 x2996 -x2997 -x2998 -x2999 -x3000
43.99/44.04	v -x3001 -x3002 x3003 -x3004 -x3005 -x3006 -x3007 -x3008 x3009 -x3010
43.99/44.04	v -x3011 -x3012 -x3013 -x3014 -x3015 x3016 -x3017 -x3018 -x3019 x3020
43.99/44.04	v -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 x3027 -x3028 -x3029 -x3030
43.99/44.04	v -x3031 -x3032 x3033 -x3034 -x3035 -x3036 x3037 -x3038 -x3039 -x3040
43.99/44.04	v -x3041 -x3042 -x3043 -x3044 -x3045 x3046 -x3047 -x3048 -x3049 -x3050
43.99/44.04	v -x3051 x3052 -x3053 -x3054 -x3055 x3056 -x3057 -x3058 -x3059 -x3060
43.99/44.04	v -x3061 -x3062 x3063 -x3064 -x3065 -x3066 -x3067 -x3068 x3069 -x3070
43.99/44.04	v -x3071 -x3072 -x3073 x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080
43.99/44.04	v -x3081 x3082 -x3083 -x3084 -x3085 -x3086 x3087 -x3088 -x3089 -x3090
43.99/44.04	v x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 x3098 -x3099 -x3100
43.99/44.04	v -x3101 -x3102 -x3103 -x3104 -x3105 x3106 -x3107 -x3108 -x3109 -x3110
43.99/44.04	v x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 x3118 -x3119 -x3120
43.99/44.04	v -x3121 -x3122 -x3123 -x3124 -x3125 x3126 -x3127 -x3128 -x3129 x3130
43.99/44.04	v -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 x3137 -x3138 -x3139 -x3140
43.99/44.04	v x3141 -x3142 -x3143 -x3144 -x3145 x3146 -x3147 -x3148 -x3149 -x3150
43.99/44.04	v -x3151 -x3152 x3153 -x3154 -x3155 -x3156 -x3157 x3158 -x3159 -x3160
43.99/44.04	v -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 x3168 -x3169 -x3170
43.99/44.04	v x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 x3179 -x3180
43.99/44.04	v -x3181 -x3182 -x3183 x3184 -x3185 -x3186 -x3187 x3188 -x3189 -x3190
43.99/44.04	v -x3191 -x3192 -x3193 x3194 -x3195 -x3196 -x3197 -x3198 -x3199 x3200
43.99/44.04	v -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 x3208 -x3209 -x3210
43.99/44.04	v -x3211 -x3212 -x3213 -x3214 x3215 -x3216 -x3217 -x3218 -x3219 x3220
43.99/44.04	v -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 x3228 -x3229 -x3230
43.99/44.04	v -x3231 x3232 -x3233 -x3234 -x3235 x3236 -x3237 -x3238 -x3239 -x3240
43.99/44.04	v -x3241 -x3242 -x3243 -x3244 -x3245 x3246 -x3247 x3248 -x3249 -x3250
43.99/44.04	v -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 x3258 -x3259 -x3260
43.99/44.04	v -x3261 -x3262 -x3263 x3264 -x3265 -x3266 -x3267 -x3268 -x3269 x3270
43.99/44.04	v -x3271 x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 x3279 -x3280
43.99/44.04	v -x3281 -x3282 -x3283 -x3284 -x3285 x3286 -x3287 -x3288 -x3289 -x3290
43.99/44.04	v x3291 -x3292 -x3293 -x3294 -x3295 x3296 -x3297 -x3298 -x3299 -x3300
43.99/44.04	v -x3301 -x3302 x3303 -x3304 -x3305 -x3306 -x3307 -x3308 x3309 -x3310
43.99/44.04	v -x3311 -x3312 -x3313 -x3314 -x3315 x3316 -x3317 -x3318 -x3319 -x3320
43.99/44.04	v -x3321 -x3322 -x3323 x3324 -x3325 x3326 -x3327 -x3328 -x3329 -x3330
43.99/44.04	v -x3331 -x3332 x3333 -x3334 -x3335 -x3336 -x3337 x3338 -x3339 -x3340
43.99/44.04	v -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 x3347 -x3348 -x3349 -x3350
43.99/44.04	v x3351 -x3352 -x3353 -x3354 x3355 -x3356 -x3357 -x3358 -x3359 -x3360
43.99/44.04	v -x3361 -x3362 x3363 -x3364 -x3365 -x3366 -x3367 x3368 -x3369 -x3370
43.99/44.04	v -x3371 -x3372 -x3373 -x3374 x3375 -x3376 -x3377 -x3378 -x3379 -x3380
43.99/44.04	v -x3381 -x3382 x3383 -x3384 -x3385 -x3386 x3387 -x3388 -x3389 -x3390
43.99/44.04	v -x3391 -x3392 x3393 -x3394 -x3395 -x3396 -x3397 -x3398 x3399 -x3400
43.99/44.04	v -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 x3407 -x3408 x3409 -x3410
43.99/44.04	v -x3411 -x3412 -x3413 -x3414 -x3415 x3416 -x3417 -x3418 -x3419 -x3420
43.99/44.04	v x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 x3428 -x3429 -x3430
43.99/44.04	v -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 x3438 -x3439 -x3440
43.99/44.04	v -x3441 -x3442 -x3443 x3444 -x3445 x3446 -x3447 -x3448 -x3449 -x3450
43.99/44.04	v x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 x3460
43.99/44.04	v -x3461 -x3462 x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 x3470
43.99/44.04	v -x3471 -x3472 -x3473 -x3474 x3475 -x3476 -x3477 -x3478 -x3479 -x3480
43.99/44.04	v x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 x3490
43.99/44.04	v -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 x3497 -x3498 -x3499 -x3500
43.99/44.04	v -x3501 x3502 -x3503 -x3504 x3505 -x3506 -x3507 -x3508 -x3509 -x3510
43.99/44.04	v -x3511 x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520
43.99/44.04	v x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 x3528 -x3529 x3530
43.99/44.04	v -x3531 -x3532 -x3533 -x3534 x3535 -x3536 -x3537 -x3538 -x3539 -x3540
43.99/44.04	v -x3541 -x3542 x3543 -x3544 -x3545 -x3546 -x3547 -x3548 x3549 -x3550
43.99/44.04	v -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 x3557 -x3558 -x3559 -x3560
43.99/44.04	v -x3561 -x3562 -x3563 x3564 -x3565 -x3566 x3567 -x3568 -x3569 -x3570
43.99/44.04	v -x3571 -x3572 -x3573 -x3574 -x3575 x3576 -x3577 -x3578 -x3579 x3580
43.99/44.04	v -x3581 -x3582 -x3583 x3584 -x3585 -x3586 -x3587 -x3588 -x3589 x3590
43.99/44.04	v -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 x3600
43.99/44.04	v -x3601 -x3602 -x3603 x3604 -x3605 -x3606 -x3607 -x3608 x3609 -x3610
43.99/44.04	v -x3611 -x3612 -x3613 -x3614 -x3615 x3616 -x3617 -x3618 -x3619 x3620
43.99/44.04	v -x3621 -x3622 -x3623 -x3624 -x3625 x3626 -x3627 -x3628 -x3629 -x3630
43.99/44.04	v -x3631 -x3632 x3633 -x3634 -x3635 -x3636 -x3637 -x3638 x3639 -x3640
43.99/44.04	v -x3641 -x3642 -x3643 -x3644 -x3645 x3646 -x3647 -x3648 -x3649 -x3650
43.99/44.04	v -x3651 x3652 -x3653 -x3654 -x3655 -x3656 x3657 -x3658 -x3659 -x3660
43.99/44.04	v -x3661 -x3662 x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 x3670
43.99/44.04	v -x3671 -x3672 -x3673 -x3674 x3675 -x3676 -x3677 -x3678 x3679 -x3680
43.99/44.04	v -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 x3688 -x3689 -x3690
43.99/44.04	v -x3691 -x3692 -x3693 x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700
43.99/44.04	v -x3701 x3702 -x3703 -x3704 -x3705 -x3706 -x3707 x3708 -x3709 -x3710
43.99/44.04	v x3711 -x3712 -x3713 -x3714 -x3715 -x3716 x3717 -x3718 -x3719 -x3720
43.99/44.04	v -x3721 -x3722 -x3723 -x3724 x3725 -x3726 -x3727 -x3728 x3729 -x3730
43.99/44.04	v -x3731 -x3732 x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 x3740
43.99/44.04	v -x3741 -x3742 -x3743 -x3744 x3745 -x3746 -x3747 -x3748 -x3749 -x3750
43.99/44.04	v -x3751 -x3752 -x3753 x3754 -x3755 -x3756 -x3757 -x3758 x3759 -x3760
43.99/44.04	v -x3761 -x3762 x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 x3770
43.99/44.04	v -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 x3779 -x3780
43.99/44.04	v x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790
43.99/44.04	v x3791 -x3792 x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800
43.99/44.04	v -x3801 x3802 -x3803 -x3804 -x3805 x3806 -x3807 -x3808 -x3809 -x3810
43.99/44.04	v -x3811 -x3812 -x3813 -x3814 x3815 -x3816 -x3817 x3818 -x3819 -x3820
43.99/44.04	v -x3821 -x3822 -x3823 -x3824 -x3825 x3826 -x3827 -x3828 -x3829 -x3830
43.99/44.04	v -x3831 x3832 -x3833 -x3834 x3835 -x3836 -x3837 -x3838 -x3839 -x3840
43.99/44.04	v -x3841 -x3842 -x3843 x3844 -x3845 -x3846 -x3847 -x3848 -x3849 x3850
43.99/44.04	v -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 x3858 -x3859 -x3860
43.99/44.04	v x3861 -x3862 -x3863 -x3864 -x3865 x3866 -x3867 -x3868 -x3869 -x3870
43.99/44.04	v -x3871 -x3872 -x3873 -x3874 -x3875 x3876 x3877 -x3878 -x3879 -x3880
43.99/44.04	v -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 x3888 -x3889 -x3890
43.99/44.04	v x3891 -x3892 -x3893 -x3894 -x3895 -x3896 x3897 -x3898 -x3899 -x3900
43.99/44.04	v -x3901 x3902 -x3903 -x3904 -x3905 -x3906 -x3907 x3908 -x3909 -x3910
43.99/44.04	v -x3911 -x3912 x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 x3920
43.99/44.04	v -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 x3929 -x3930
43.99/44.04	v -x3931 x3932 -x3933 -x3934 -x3935 -x3936 -x3937 x3938 -x3939 -x3940
43.99/44.04	v -x3941 -x3942 -x3943 -x3944 -x3945 x3946 -x3947 -x3948 -x3949 -x3950
43.99/44.04	v -x3951 x3952 -x3953 -x3954 -x3955 -x3956 x3957 -x3958 -x3959 -x3960
43.99/44.04	v -x3961 -x3962 -x3963 x3964 -x3965 -x3966 -x3967 x3968 -x3969 -x3970
43.99/44.04	v -x3971 -x3972 -x3973 -x3974 x3975 -x3976 -x3977 -x3978 -x3979 -x3980
43.99/44.04	v x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 x3988 -x3989 -x3990
43.99/44.04	v -x3991 -x3992 -x3993 x3994 -x3995 -x3996 x3997 -x3998 -x3999 -x4000
43.99/44.04	v -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 x4008 -x4009 x4010
43.99/44.04	v -x4011 -x4012 -x4013 -x4014 x4015 -x4016 -x4017 -x4018 -x4019 -x4020
43.99/44.04	v x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030
43.99/44.04	v x4031 -x4032 -x4033 -x4034 x4035 -x4036 -x4037 -x4038 -x4039 -x4040
43.99/44.04	v -x4041 -x4042 x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 x4050
43.99/44.04	v -x4051 x4052 -x4053 -x4054 -x4055 -x4056 x4057 -x4058 -x4059 -x4060
43.99/44.04	v -x4061 -x4062 -x4063 x4064 -x4065 -x4066 -x4067 -x4068 x4069 -x4070
43.99/44.04	v -x4071 -x4072 -x4073 -x4074 x4075 -x4076 -x4077 -x4078 -x4079 -x4080
43.99/44.04	v x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090
43.99/44.04	v -x4091 x4092 -x4093 -x4094 -x4095 x4096 -x4097 -x4098 -x4099 -x4100
43.99/44.04	v x4101 -x4102 -x4103 -x4104 -x4105 -x4106 x4107 -x4108 -x4109 -x4110
43.99/44.04	v -x4111 -x4112 -x4113 x4114 -x4115 -x4116 -x4117 -x4118 x4119 -x4120
43.99/44.04	v -x4121 -x4122 -x4123 -x4124 x4125 -x4126 -x4127 -x4128 -x4129 -x4130
43.99/44.04	v x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 x4139 -x4140
43.99/44.04	v x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150
43.99/44.04	v x4151 -x4152 -x4153 -x4154 -x4155 -x4156 x4157 -x4158 -x4159 -x4160
43.99/44.04	v x4161 -x4162 -x4163 -x4164 -x4165 -x4166 x4167 -x4168 -x4169 -x4170
43.99/44.04	v -x4171 x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180
43.99/44.04	v x4181 -x4182 -x4183 -x4184 x4185 -x4186 -x4187 -x4188 x4189 -x4190
43.99/44.04	v -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 x4197 -x4198 -x4199 -x4200
43.99/44.04	v x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210
43.99/44.04	v x4211 -x4212 -x4213 -x4214 x4215 -x4216 -x4217 -x4218 -x4219 -x4220
43.99/44.04	v x4221 -x4222 -x4223 -x4224 -x4225 -x4226 x4227 -x4228 -x4229 -x4230
43.99/44.04	v -x4231 -x4232 x4233 -x4234 -x4235 -x4236 -x4237 x4238 -x4239 -x4240
43.99/44.04	v -x4241 -x4242 -x4243 -x4244 x4245 -x4246 -x4247 -x4248 -x4249 -x4250
43.99/44.04	v x4251 -x4252 -x4253 -x4254 -x4255 -x4256 x4257 -x4258 -x4259 -x4260
43.99/44.04	v x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270
43.99/44.04	v x4271 -x4272 -x4273 -x4274 x4275 -x4276 -x4277 -x4278 x4279 -x4280
43.99/44.04	v -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 x4290
43.99/44.04	v -x4291 -x4292 x4293 -x4294 -x4295 -x4296 x4297 -x4298 -x4299 -x4300
43.99/44.04	v -x4301 -x4302 -x4303 -x4304 x4305 -x4306 -x4307 -x4308 -x4309 x4310
43.99/44.04	v -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 x4317 -x4318 -x4319 -x4320
43.99/44.04	v -x4321 -x4322 x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 x4330
43.99/44.04	v -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 x4337 -x4338 x4339 -x4340
43.99/44.04	v -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 x4347 -x4348 -x4349 -x4350
43.99/44.04	v -x4351 -x4352 x4353 -x4354 -x4355 -x4356 -x4357 -x4358 x4359 -x4360
43.99/44.04	v -x4361 -x4362 -x4363 -x4364 -x4365 x4366 -x4367 -x4368 -x4369 -x4370
43.99/44.04	v -x4371 -x4372 x4373 -x4374 -x4375 -x4376 x4377 -x4378 -x4379 -x4380
43.99/44.04	v -x4381 -x4382 x4383 -x4384 -x4385 -x4386 -x4387 x4388 -x4389 -x4390
43.99/44.04	v -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 x4397 -x4398 -x4399 x4400
43.99/44.04	v -x4401 -x4402 -x4403 -x4404 -x4405 x4406 -x4407 -x4408 -x4409 -x4410
43.99/44.04	v -x4411 -x4412 x4413 -x4414 -x4415 -x4416 x4417 -x4418 -x4419 -x4420
43.99/44.04	v -x4421 -x4422 -x4423 -x4424 x4425 -x4426 -x4427 -x4428 -x4429 -x4430
43.99/44.04	v x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 x4438 -x4439 -x4440
43.99/44.04	v -x4441 -x4442 -x4443 x4444 -x4445 -x4446 -x4447 -x4448 x4449 -x4450
43.99/44.04	v -x4451 -x4452 -x4453 -x4454 x4455 -x4456 -x4457 -x4458 -x4459 -x4460
43.99/44.04	v -x4461 x4462 -x4463 -x4464 -x4465 -x4466 -x4467 x4468 -x4469 -x4470
43.99/44.04	v -x4471 x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480
43.99/44.04	v -x4481 x4482 -x4483 -x4484 -x4485 -x4486 x4487 -x4488 -x4489 -x4490
43.99/44.04	v x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 x4499 -x4500
43.99/44.04	v -x4501 -x4502 -x4503 -x4504 x4505 -x4506 -x4507 -x4508 -x4509 -x4510
43.99/44.04	v -x4511 x4512 -x4513 -x4514 x4515 -x4516 -x4517 -x4518 -x4519 -x4520
43.99/44.04	v x4521 -x4522 -x4523 -x4524 -x4525 -x4526 x4527 -x4528 -x4529 -x4530
43.99/44.04	v -x4531 x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 x4539 -x4540
43.99/44.04	v -x4541 -x4542 -x4543 -x4544 x4545 -x4546 -x4547 -x4548 -x4549 x4550
43.99/44.04	v -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 x4557 -x4558 -x4559 -x4560
43.99/44.04	v -x4561 -x4562 -x4563 -x4564 x4565 -x4566 x4567 -x4568 -x4569 -x4570
43.99/44.04	v -x4571 -x4572 -x4573 x4574 -x4575 -x4576 -x4577 -x4578 x4579 -x4580
43.99/44.04	v -x4581 -x4582 -x4583 -x4584 x4585 -x4586 -x4587 -x4588 -x4589 -x4590
43.99/44.04	v -x4591 -x4592 -x4593 x4594 -x4595 -x4596 -x4597 -x4598 x4599 -x4600
43.99/44.04	v -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 x4607 -x4608 -x4609 -x4610
43.99/44.04	v -x4611 -x4612 -x4613 x4614 -x4615 -x4616 -x4617 -x4618 -x4619 x4620
43.99/44.04	v -x4621 -x4622 x4623 -x4624 -x4625 -x4626 -x4627 x4628 -x4629 -x4630
43.99/44.04	v -x4631 -x4632 -x4633 x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640
43.99/44.04	v x4641 -x4642 -x4643 -x4644
43.99/44.04	c total CPU time = 43.926s
43.99/44.04	c total wall clock time = 44.042s

Verifier Data 

OK	0

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4078759-1465222239/watcher-4078759-1465222239 -o /tmp/evaluation-result-4078759-1465222239/solver-4078759-1465222239 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node140-1465216678-13092 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078759-1465222239.opb 

pid=14675
running on 4 cores: 1,3,5,7

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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.29 2.25 2.24 3/180 14678
/proc/meminfo: memFree=29400124/32872528 swapFree=16636/1570076
[pid=14678] ppid=14675 vsize=810428 CPUtime=0 cores=1,3,5,7
/proc/14678/stat : 14678 (toysat) R 14675 14678 13075 0 -1 4202496 3042 0 0 0 0 0 0 0 20 0 4 0 104156257 829878272 2892 33554432000 4194304 16246674 140735650054736 140735650054160 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14678/statm: 203119 2900 441 2943 0 200013 0
[pid=14678/tid=14679] ppid=14675 vsize=827836 CPUtime=0 cores=1,3,5,7
/proc/14678/task/14679/stat : 14679 (toysat) S 14675 14678 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104156257 847704064 2961 33554432000 4194304 16246674 140735650054736 140703261764848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14678/tid=14680] ppid=14675 vsize=832956 CPUtime=0 cores=1,3,5,7
/proc/14678/task/14680/stat : 14680 (toysat) S 14675 14678 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104156257 852946944 2980 33554432000 4194304 16246674 140735650054736 140703251274992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14678/tid=14681] ppid=14675 vsize=837052 CPUtime=0 cores=1,3,5,7
/proc/14678/task/14681/stat : 14681 (toysat) S 14675 14678 13075 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104156257 857141248 2996 33554432000 4194304 16246674 140735650054736 140703240801456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100177 s]
/proc/loadavg: 2.29 2.25 2.24 3/180 14678
/proc/meminfo: memFree=29400124/32872528 swapFree=16636/1570076
[pid=14678] ppid=14675 vsize=1301060 CPUtime=0.09 cores=1,3,5,7
/proc/14678/stat : 14678 (toysat) R 14675 14678 13075 0 -1 4202496 26399 0 0 0 6 3 0 0 20 0 4 0 104156257 1332285440 26187 33554432000 4194304 16246674 140735650054736 140735650054048 7376282 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14678/statm: 325265 26203 800 2943 0 322159 0
[pid=14678/tid=14679] ppid=14675 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/14678/task/14679/stat : 14679 (toysat) S 14675 14678 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104156257 1332285440 26214 33554432000 4194304 16246674 140735650054736 140703261764848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14678/tid=14680] ppid=14675 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/14678/task/14680/stat : 14680 (toysat) S 14675 14678 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104156257 1332285440 26225 33554432000 4194304 16246674 140735650054736 140703251274992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14678/tid=14681] ppid=14675 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/14678/task/14681/stat : 14681 (toysat) S 14675 14678 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104156257 1332285440 26236 33554432000 4194304 16246674 140735650054736 140703240801456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1301060

[startup+0.200549 s]
/proc/loadavg: 2.29 2.25 2.24 3/180 14678
/proc/meminfo: memFree=29400124/32872528 swapFree=16636/1570076
[pid=14678] ppid=14675 vsize=1314372 CPUtime=0.19 cores=1,3,5,7
/proc/14678/stat : 14678 (toysat) R 14675 14678 13075 0 -1 4202496 46750 0 0 0 13 6 0 0 20 0 4 0 104156257 1345916928 47048 33554432000 4194304 16246674 140735650054736 140735650036608 8055372 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14678/statm: 328593 47048 801 2943 0 325487 0
[pid=14678/tid=14679] ppid=14675 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/14678/task/14679/stat : 14679 (toysat) S 14675 14678 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104156257 1345916928 47048 33554432000 4194304 16246674 140735650054736 140703261764848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14678/tid=14680] ppid=14675 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/14678/task/14680/stat : 14680 (toysat) S 14675 14678 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104156257 1345916928 47048 33554432000 4194304 16246674 140735650054736 140703251274992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14678/tid=14681] ppid=14675 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/14678/task/14681/stat : 14681 (toysat) S 14675 14678 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104156257 1345916928 47048 33554432000 4194304 16246674 140735650054736 140703240801456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1314372

[startup+0.300514 s]
/proc/loadavg: 2.29 2.25 2.24 3/180 14678
/proc/meminfo: memFree=29400124/32872528 swapFree=16636/1570076
[pid=14678] ppid=14675 vsize=1314372 CPUtime=0.28 cores=1,3,5,7
/proc/14678/stat : 14678 (toysat) R 14675 14678 13075 0 -1 4202496 49137 0 0 0 22 6 0 0 20 0 4 0 104156257 1345916928 49435 33554432000 4194304 16246674 140735650054736 140735650036608 5914832 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14678/statm: 328593 49435 844 2943 0 325487 0
[pid=14678/tid=14679] ppid=14675 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/14678/task/14679/stat : 14679 (toysat) S 14675 14678 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104156257 1345916928 49435 33554432000 4194304 16246674 140735650054736 140703261764848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14678/tid=14680] ppid=14675 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/14678/task/14680/stat : 14680 (toysat) S 14675 14678 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104156257 1345916928 49435 33554432000 4194304 16246674 140735650054736 140703251274992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14678/tid=14681] ppid=14675 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/14678/task/14681/stat : 14681 (toysat) S 14675 14678 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104156257 1345916928 49435 33554432000 4194304 16246674 140735650054736 140703240801456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1314372

[startup+0.700411 s]
/proc/loadavg: 2.29 2.25 2.24 3/180 14678
/proc/meminfo: memFree=29400124/32872528 swapFree=16636/1570076
[pid=14678] ppid=14675 vsize=1314372 CPUtime=0.69 cores=1,3,5,7
/proc/14678/stat : 14678 (toysat) R 14675 14678 13075 0 -1 4202496 109756 0 0 0 53 16 0 0 20 0 4 0 104156257 1345916928 110054 33554432000 4194304 16246674 140735650054736 140735650036608 9616021 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14678/statm: 328593 110065 846 2943 0 325487 0
[pid=14678/tid=14679] ppid=14675 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/14678/task/14679/stat : 14679 (toysat) S 14675 14678 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104156257 1345916928 110071 33554432000 4194304 16246674 140735650054736 140703261764848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14678/tid=14680] ppid=14675 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/14678/task/14680/stat : 14680 (toysat) S 14675 14678 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104156257 1345916928 110078 33554432000 4194304 16246674 140735650054736 140703251274992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14678/tid=14681] ppid=14675 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/14678/task/14681/stat : 14681 (toysat) S 14675 14678 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104156257 1345916928 110083 33554432000 4194304 16246674 140735650054736 140703240801456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1314372

[startup+1.5004 s]
/proc/loadavg: 2.27 2.24 2.24 3/184 14682
/proc/meminfo: memFree=28638404/32872528 swapFree=16636/1570076
[pid=14678] ppid=14675 vsize=1314372 CPUtime=1.48 cores=1,3,5,7
/proc/14678/stat : 14678 (toysat) R 14675 14678 13075 0 -1 4202496 269261 0 0 0 111 37 0 0 20 0 4 0 104156257 1345916928 269559 33554432000 4194304 16246674 140735650054736 140735650036608 4225128 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14678/statm: 328593 269559 883 2943 0 325487 0
[pid=14678/tid=14679] ppid=14675 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/14678/task/14679/stat : 14679 (toysat) S 14675 14678 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104156257 1345916928 269559 33554432000 4194304 16246674 140735650054736 140703261764848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14678/tid=14680] ppid=14675 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/14678/task/14680/stat : 14680 (toysat) S 14675 14678 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104156257 1345916928 269559 33554432000 4194304 16246674 140735650054736 140703251274992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14678/tid=14681] ppid=14675 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/14678/task/14681/stat : 14681 (toysat) S 14675 14678 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104156257 1345916928 269559 33554432000 4194304 16246674 140735650054736 140703240801456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1314372

[startup+3.10042 s]
/proc/loadavg: 2.27 2.24 2.24 3/184 14682
/proc/meminfo: memFree=28322560/32872528 swapFree=16636/1570076
[pid=14678] ppid=14675 vsize=1314372 CPUtime=3.08 cores=1,3,5,7
/proc/14678/stat : 14678 (toysat) R 14675 14678 13075 0 -1 4202496 269272 0 0 0 271 37 0 0 20 0 4 0 104156257 1345916928 269570 33554432000 4194304 16246674 140735650054736 140735650054048 5677376 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14678/statm: 328593 269570 890 2943 0 325487 0
[pid=14678/tid=14679] ppid=14675 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/14678/task/14679/stat : 14679 (toysat) S 14675 14678 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104156257 1345916928 269570 33554432000 4194304 16246674 140735650054736 140703261764848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14678/tid=14680] ppid=14675 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/14678/task/14680/stat : 14680 (toysat) S 14675 14678 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104156257 1345916928 269570 33554432000 4194304 16246674 140735650054736 140703251274992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14678/tid=14681] ppid=14675 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/14678/task/14681/stat : 14681 (toysat) S 14675 14678 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104156257 1345916928 269570 33554432000 4194304 16246674 140735650054736 140703240801456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1314372

[startup+6.30038 s]
/proc/loadavg: 2.27 2.24 2.24 3/184 14682
/proc/meminfo: memFree=28322776/32872528 swapFree=16636/1570076
[pid=14678] ppid=14675 vsize=1314372 CPUtime=6.28 cores=1,3,5,7
/proc/14678/stat : 14678 (toysat) R 14675 14678 13075 0 -1 4202496 269272 0 0 0 591 37 0 0 20 0 4 0 104156257 1345916928 269570 33554432000 4194304 16246674 140735650054736 140735650036608 5523464 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14678/statm: 328593 269570 890 2943 0 325487 0
[pid=14678/tid=14679] ppid=14675 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/14678/task/14679/stat : 14679 (toysat) S 14675 14678 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104156257 1345916928 269570 33554432000 4194304 16246674 140735650054736 140703261764848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14678/tid=14680] ppid=14675 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/14678/task/14680/stat : 14680 (toysat) S 14675 14678 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104156257 1345916928 269570 33554432000 4194304 16246674 140735650054736 140703251274992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14678/tid=14681] ppid=14675 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/14678/task/14681/stat : 14681 (toysat) S 14675 14678 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104156257 1345916928 269570 33554432000 4194304 16246674 140735650054736 140703240801456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1314372

[startup+12.7004 s]
/proc/loadavg: 2.23 2.23 2.24 4/184 14682
/proc/meminfo: memFree=28322404/32872528 swapFree=16636/1570076
[pid=14678] ppid=14675 vsize=1314372 CPUtime=12.69 cores=1,3,5,7
/proc/14678/stat : 14678 (toysat) R 14675 14678 13075 0 -1 4202496 269274 0 0 0 1231 38 0 0 20 0 4 0 104156257 1345916928 269572 33554432000 4194304 16246674 140735650054736 140735650036608 13906983 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14678/statm: 328593 269572 890 2943 0 325487 0
[pid=14678/tid=14679] ppid=14675 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/14678/task/14679/stat : 14679 (toysat) S 14675 14678 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104156257 1345916928 269572 33554432000 4194304 16246674 140735650054736 140703261764848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14678/tid=14680] ppid=14675 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/14678/task/14680/stat : 14680 (toysat) S 14675 14678 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104156257 1345916928 269572 33554432000 4194304 16246674 140735650054736 140703251274992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14678/tid=14681] ppid=14675 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/14678/task/14681/stat : 14681 (toysat) S 14675 14678 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104156257 1345916928 269572 33554432000 4194304 16246674 140735650054736 140703240801456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1314372

[startup+25.5005 s]
/proc/loadavg: 2.19 2.22 2.23 3/183 14682
/proc/meminfo: memFree=28322916/32872528 swapFree=16636/1570076
[pid=14678] ppid=14675 vsize=1314372 CPUtime=25.49 cores=1,3,5,7
/proc/14678/stat : 14678 (toysat) R 14675 14678 13075 0 -1 4202496 269274 0 0 0 2511 38 0 0 20 0 4 0 104156257 1345916928 269572 33554432000 4194304 16246674 140735650054736 140735650036608 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14678/statm: 328593 269572 890 2943 0 325487 0
[pid=14678/tid=14679] ppid=14675 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/14678/task/14679/stat : 14679 (toysat) S 14675 14678 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104156257 1345916928 269572 33554432000 4194304 16246674 140735650054736 140703261764848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14678/tid=14680] ppid=14675 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/14678/task/14680/stat : 14680 (toysat) S 14675 14678 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104156257 1345916928 269572 33554432000 4194304 16246674 140735650054736 140703251274992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14678/tid=14681] ppid=14675 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/14678/task/14681/stat : 14681 (toysat) S 14675 14678 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104156257 1345916928 269572 33554432000 4194304 16246674 140735650054736 140703240801456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1314372

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 14678 sig 9
??? kill -14678 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+25.6005 s]
/proc/loadavg: 2.19 2.22 2.23 3/183 14682
/proc/meminfo: memFree=28322916/32872528 swapFree=16636/1570076
[pid=14678] ppid=14675 vsize=1314372 CPUtime=25.59 cores=1,3,5,7
/proc/14678/stat : 14678 (toysat) R 14675 14678 13075 0 -1 4202496 269274 0 0 0 2521 38 0 0 20 0 4 0 104156257 1345916928 269572 33554432000 4194304 16246674 140735650054736 140735650036608 13950218 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14678/statm: 328593 269572 890 2943 0 325487 0
[pid=14678/tid=14679] ppid=14675 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/14678/task/14679/stat : 14679 (toysat) S 14675 14678 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104156257 1345916928 269572 33554432000 4194304 16246674 140735650054736 140703261764848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14678/tid=14680] ppid=14675 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/14678/task/14680/stat : 14680 (toysat) S 14675 14678 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104156257 1345916928 269572 33554432000 4194304 16246674 140735650054736 140703251274992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14678/tid=14681] ppid=14675 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/14678/task/14681/stat : 14681 (toysat) S 14675 14678 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104156257 1345916928 269572 33554432000 4194304 16246674 140735650054736 140703240801456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.59
Current children cumulated vsize (KiB) 1314372

[startup+32.0074 s]
/proc/loadavg: 2.23 2.23 2.24 3/183 14682
/proc/meminfo: memFree=28323024/32872528 swapFree=16636/1570076
[pid=14678] ppid=14675 vsize=1314372 CPUtime=31.99 cores=1,3,5,7
/proc/14678/stat : 14678 (toysat) R 14675 14678 13075 0 -1 4202496 269274 0 0 0 3161 38 0 0 20 0 4 0 104156257 1345916928 269572 33554432000 4194304 16246674 140735650054736 140735650036608 5677884 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14678/statm: 328593 269572 890 2943 0 325487 0
[pid=14678/tid=14679] ppid=14675 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/14678/task/14679/stat : 14679 (toysat) S 14675 14678 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104156257 1345916928 269572 33554432000 4194304 16246674 140735650054736 140703261764848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14678/tid=14680] ppid=14675 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/14678/task/14680/stat : 14680 (toysat) S 14675 14678 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104156257 1345916928 269572 33554432000 4194304 16246674 140735650054736 140703251274992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14678/tid=14681] ppid=14675 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/14678/task/14681/stat : 14681 (toysat) S 14675 14678 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104156257 1345916928 269572 33554432000 4194304 16246674 140735650054736 140703240801456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 31.99
Current children cumulated vsize (KiB) 1314372

[startup+38.4004 s]
/proc/loadavg: 2.22 2.23 2.24 3/183 14682
/proc/meminfo: memFree=28323028/32872528 swapFree=16636/1570076
[pid=14678] ppid=14675 vsize=1314372 CPUtime=38.39 cores=1,3,5,7
/proc/14678/stat : 14678 (toysat) R 14675 14678 13075 0 -1 4202496 269274 0 0 0 3801 38 0 0 20 0 4 0 104156257 1345916928 269572 33554432000 4194304 16246674 140735650054736 140735650036608 5675619 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14678/statm: 328593 269572 890 2943 0 325487 0
[pid=14678/tid=14679] ppid=14675 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/14678/task/14679/stat : 14679 (toysat) S 14675 14678 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104156257 1345916928 269572 33554432000 4194304 16246674 140735650054736 140703261764848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14678/tid=14680] ppid=14675 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/14678/task/14680/stat : 14680 (toysat) S 14675 14678 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104156257 1345916928 269572 33554432000 4194304 16246674 140735650054736 140703251274992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14678/tid=14681] ppid=14675 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/14678/task/14681/stat : 14681 (toysat) S 14675 14678 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104156257 1345916928 269572 33554432000 4194304 16246674 140735650054736 140703240801456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 38.39
Current children cumulated vsize (KiB) 1314372

[startup+41.6004 s]
/proc/loadavg: 2.22 2.23 2.24 3/183 14682
/proc/meminfo: memFree=28323012/32872528 swapFree=16636/1570076
[pid=14678] ppid=14675 vsize=1314372 CPUtime=41.58 cores=1,3,5,7
/proc/14678/stat : 14678 (toysat) R 14675 14678 13075 0 -1 4202496 269274 0 0 0 4120 38 0 0 20 0 4 0 104156257 1345916928 269572 33554432000 4194304 16246674 140735650054736 140735650036608 5673135 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14678/statm: 328593 269572 890 2943 0 325487 0
[pid=14678/tid=14679] ppid=14675 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/14678/task/14679/stat : 14679 (toysat) S 14675 14678 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104156257 1345916928 269572 33554432000 4194304 16246674 140735650054736 140703261764848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14678/tid=14680] ppid=14675 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/14678/task/14680/stat : 14680 (toysat) S 14675 14678 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104156257 1345916928 269572 33554432000 4194304 16246674 140735650054736 140703251274992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14678/tid=14681] ppid=14675 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/14678/task/14681/stat : 14681 (toysat) S 14675 14678 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104156257 1345916928 269572 33554432000 4194304 16246674 140735650054736 140703240801456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 41.58
Current children cumulated vsize (KiB) 1314372

[startup+43.2004 s]
/proc/loadavg: 2.20 2.22 2.23 3/183 14682
/proc/meminfo: memFree=28323016/32872528 swapFree=16636/1570076
[pid=14678] ppid=14675 vsize=1314372 CPUtime=43.18 cores=1,3,5,7
/proc/14678/stat : 14678 (toysat) R 14675 14678 13075 0 -1 4202496 269274 0 0 0 4280 38 0 0 20 0 4 0 104156257 1345916928 269572 33554432000 4194304 16246674 140735650054736 140735650036608 5827678 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14678/statm: 328593 269572 890 2943 0 325487 0
[pid=14678/tid=14679] ppid=14675 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/14678/task/14679/stat : 14679 (toysat) S 14675 14678 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104156257 1345916928 269572 33554432000 4194304 16246674 140735650054736 140703261764848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14678/tid=14680] ppid=14675 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/14678/task/14680/stat : 14680 (toysat) S 14675 14678 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104156257 1345916928 269572 33554432000 4194304 16246674 140735650054736 140703251274992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14678/tid=14681] ppid=14675 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/14678/task/14681/stat : 14681 (toysat) S 14675 14678 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104156257 1345916928 269572 33554432000 4194304 16246674 140735650054736 140703240801456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 43.18
Current children cumulated vsize (KiB) 1314372

[startup+43.6004 s]
/proc/loadavg: 2.20 2.22 2.23 3/183 14682
/proc/meminfo: memFree=28323016/32872528 swapFree=16636/1570076
[pid=14678] ppid=14675 vsize=1314372 CPUtime=43.58 cores=1,3,5,7
/proc/14678/stat : 14678 (toysat) R 14675 14678 13075 0 -1 4202496 269274 0 0 0 4320 38 0 0 20 0 4 0 104156257 1345916928 269572 33554432000 4194304 16246674 140735650054736 140735650036608 15015658 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14678/statm: 328593 269572 890 2943 0 325487 0
[pid=14678/tid=14679] ppid=14675 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/14678/task/14679/stat : 14679 (toysat) S 14675 14678 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104156257 1345916928 269572 33554432000 4194304 16246674 140735650054736 140703261764848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14678/tid=14680] ppid=14675 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/14678/task/14680/stat : 14680 (toysat) S 14675 14678 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104156257 1345916928 269572 33554432000 4194304 16246674 140735650054736 140703251274992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14678/tid=14681] ppid=14675 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/14678/task/14681/stat : 14681 (toysat) S 14675 14678 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104156257 1345916928 269572 33554432000 4194304 16246674 140735650054736 140703240801456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 43.58
Current children cumulated vsize (KiB) 1314372

[startup+44.0004 s]
/proc/loadavg: 2.20 2.22 2.23 3/183 14682
/proc/meminfo: memFree=28323016/32872528 swapFree=16636/1570076
[pid=14678] ppid=14675 vsize=1314372 CPUtime=43.99 cores=1,3,5,7
/proc/14678/stat : 14678 (toysat) R 14675 14678 13075 0 -1 4202496 269274 0 0 0 4361 38 0 0 20 0 4 0 104156257 1345916928 269572 33554432000 4194304 16246674 140735650054736 140735650036608 5721373 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14678/statm: 328593 269572 890 2943 0 325487 0
[pid=14678/tid=14679] ppid=14675 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/14678/task/14679/stat : 14679 (toysat) S 14675 14678 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104156257 1345916928 269572 33554432000 4194304 16246674 140735650054736 140703261764848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14678/tid=14680] ppid=14675 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/14678/task/14680/stat : 14680 (toysat) S 14675 14678 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104156257 1345916928 269572 33554432000 4194304 16246674 140735650054736 140703251274992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14678/tid=14681] ppid=14675 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/14678/task/14681/stat : 14681 (toysat) S 14675 14678 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104156257 1345916928 269572 33554432000 4194304 16246674 140735650054736 140703240801456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 43.99
Current children cumulated vsize (KiB) 1314372

Child status: 0
Real time (s): 44.105
CPU time (s): 44.0973
CPU user time (s): 43.6544
CPU system time (s): 0.442932
CPU usage (%): 99.9826
Max. virtual memory (cumulated for all children) (KiB): 1314372

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 43.6544
system time used= 0.442932
maximum resident set size= 1078316
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 269281
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 20
involuntary context switches= 49

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.109983 second user time and 0.181972 second system time

The end

Launcher Data 

Begin job on node140 at 2016-06-06 16:10:39
IDJOB=4078759
IDBENCH=1496
IDSOLVER=2542
FILE ID=node140/4078759-1465222239
RUNJOBID= node140-1465216678-13092
PBS_JOBID= 19843199
Free space on /tmp= 71716 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:3-13,25,26.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4078759-1465222239/watcher-4078759-1465222239 -o /tmp/evaluation-result-4078759-1465222239/solver-4078759-1465222239 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node140-1465216678-13092 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078759-1465222239.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 28d827e98d8e81c3ff9d9e47a6238269
RANDOM SEED=718788828

node140.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.768
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.53
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.768
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.768
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.768
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.768
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.768
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.768
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.768
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.18
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29400016 kB
Buffers:           11564 kB
Cached:            85364 kB
SwapCached:         1736 kB
Active:          1166020 kB
Inactive:          31704 kB
Active(anon):    1100156 kB
Inactive(anon):     2644 kB
Active(file):      65864 kB
Inactive(file):    29060 kB
Unevictable:     1570076 kB
Mlocked:           16636 kB
SwapTotal:      67108856 kB
SwapFree:       67097924 kB
Dirty:             17488 kB
Writeback:             0 kB
AnonPages:       2660048 kB
Mapped:            10708 kB
Shmem:                 0 kB
Slab:             567128 kB
SReclaimable:      11244 kB
SUnreclaim:       555884 kB
KernelStack:        1528 kB
PageTables:         9324 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2816116 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2127872 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71700 MiB
End job on node140 at 2016-06-06 16:11:23