Trace number 4079890

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 NameAnswerobjective functionCPU timeWall clock time
toysat 2016-05-02OPT8 3.18651 3.19996

General information on the benchmark

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

Verifier Data 

OK	8

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-4079890-1465266193/watcher-4079890-1465266193 -o /tmp/evaluation-result-4079890-1465266193/solver-4079890-1465266193 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node119-1465252213-5799 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079890-1465266193.opb 

pid=8136
running on 4 cores: 0,2,4,6

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.24 2.21 2.19 3/179 8139
/proc/meminfo: memFree=29381236/32872528 swapFree=16252/1391864
[pid=8139] ppid=8136 vsize=475580 CPUtime=0 cores=0,2,4,6
/proc/8139/stat : 8139 (toysat) R 8136 8139 5783 0 -1 4202496 1729 0 0 0 0 0 0 0 20 0 4 0 108552481 486993920 2600 33554432000 4194304 16246674 140737301349648 140737301349072 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8139/statm: 119407 2610 441 2943 0 116301 0
[pid=8139/tid=8140] ppid=8136 vsize=492988 CPUtime=0 cores=0,2,4,6
/proc/8139/task/8140/stat : 8140 (toysat) S 8136 8139 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108552482 504819712 2668 33554432000 4194304 16246674 140737301349648 139917248146672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=8139/tid=8141] ppid=8136 vsize=497084 CPUtime=0 cores=0,2,4,6
/proc/8139/task/8141/stat : 8141 (toysat) S 8136 8139 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108552482 509014016 2685 33554432000 4194304 16246674 140737301349648 139917237656816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8139/tid=8142] ppid=8136 vsize=501180 CPUtime=0 cores=0,2,4,6
/proc/8139/task/8142/stat : 8142 (toysat) S 8136 8139 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108552482 513208320 2702 33554432000 4194304 16246674 140737301349648 139917149596848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.10022 s]
/proc/loadavg: 2.24 2.21 2.19 3/179 8139
/proc/meminfo: memFree=29381236/32872528 swapFree=16252/1391864
[pid=8139] ppid=8136 vsize=1302084 CPUtime=0.09 cores=0,2,4,6
/proc/8139/stat : 8139 (toysat) R 8136 8139 5783 0 -1 4202496 25163 0 0 0 6 3 0 0 20 0 4 0 108552481 1333334016 25973 33554432000 4194304 16246674 140737301349648 140737301348960 8056990 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8139/statm: 325521 25987 800 2943 0 322415 0
[pid=8139/tid=8140] ppid=8136 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/8139/task/8140/stat : 8140 (toysat) S 8136 8139 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108552482 1333334016 25998 33554432000 4194304 16246674 140737301349648 139917248146672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=8139/tid=8141] ppid=8136 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/8139/task/8141/stat : 8141 (toysat) S 8136 8139 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108552482 1333334016 26009 33554432000 4194304 16246674 140737301349648 139917237656816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8139/tid=8142] ppid=8136 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/8139/task/8142/stat : 8142 (toysat) S 8136 8139 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108552482 1333334016 26020 33554432000 4194304 16246674 140737301349648 139917149596848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.200454 s]
/proc/loadavg: 2.24 2.21 2.19 3/179 8139
/proc/meminfo: memFree=29381236/32872528 swapFree=16252/1391864
[pid=8139] ppid=8136 vsize=1314372 CPUtime=0.19 cores=0,2,4,6
/proc/8139/stat : 8139 (toysat) R 8136 8139 5783 0 -1 4202496 45696 0 0 0 13 6 0 0 20 0 4 0 108552481 1345916928 46505 33554432000 4194304 16246674 140737301349648 140737301348960 12477844 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8139/statm: 328593 46505 834 2943 0 325487 0
[pid=8139/tid=8140] ppid=8136 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/8139/task/8140/stat : 8140 (toysat) S 8136 8139 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108552482 1345916928 46505 33554432000 4194304 16246674 140737301349648 139917248146672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=8139/tid=8141] ppid=8136 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/8139/task/8141/stat : 8141 (toysat) S 8136 8139 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108552482 1345916928 46505 33554432000 4194304 16246674 140737301349648 139917237656816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8139/tid=8142] ppid=8136 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/8139/task/8142/stat : 8142 (toysat) S 8136 8139 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108552482 1345916928 46505 33554432000 4194304 16246674 140737301349648 139917149596848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1314372

[startup+0.300466 s]
/proc/loadavg: 2.24 2.21 2.19 3/179 8139
/proc/meminfo: memFree=29381236/32872528 swapFree=16252/1391864
[pid=8139] ppid=8136 vsize=1314372 CPUtime=0.29 cores=0,2,4,6
/proc/8139/stat : 8139 (toysat) R 8136 8139 5783 0 -1 4202496 46749 0 0 0 23 6 0 0 20 0 4 0 108552481 1345916928 47559 33554432000 4194304 16246674 140737301349648 140737301348960 12369833 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8139/statm: 328593 47575 843 2943 0 325487 0
[pid=8139/tid=8140] ppid=8136 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/8139/task/8140/stat : 8140 (toysat) S 8136 8139 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108552482 1345916928 47579 33554432000 4194304 16246674 140737301349648 139917248146672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=8139/tid=8141] ppid=8136 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/8139/task/8141/stat : 8141 (toysat) S 8136 8139 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108552482 1345916928 47587 33554432000 4194304 16246674 140737301349648 139917237656816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8139/tid=8142] ppid=8136 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/8139/task/8142/stat : 8142 (toysat) S 8136 8139 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108552482 1345916928 47595 33554432000 4194304 16246674 140737301349648 139917149596848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1314372

[startup+0.700388 s]
/proc/loadavg: 2.24 2.21 2.19 3/179 8139
/proc/meminfo: memFree=29381236/32872528 swapFree=16252/1391864
[pid=8139] ppid=8136 vsize=1314372 CPUtime=0.68 cores=0,2,4,6
/proc/8139/stat : 8139 (toysat) R 8136 8139 5783 0 -1 4202496 85365 0 0 0 58 10 0 0 20 0 4 0 108552481 1345916928 86174 33554432000 4194304 16246674 140737301349648 140737301348960 5602147 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8139/statm: 328593 86175 893 2943 0 325487 0
[pid=8139/tid=8140] ppid=8136 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/8139/task/8140/stat : 8140 (toysat) S 8136 8139 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108552482 1345916928 86179 33554432000 4194304 16246674 140737301349648 139917248146672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=8139/tid=8141] ppid=8136 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/8139/task/8141/stat : 8141 (toysat) S 8136 8139 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108552482 1345916928 86181 33554432000 4194304 16246674 140737301349648 139917237656816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8139/tid=8142] ppid=8136 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/8139/task/8142/stat : 8142 (toysat) S 8136 8139 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108552482 1345916928 86182 33554432000 4194304 16246674 140737301349648 139917149596848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1314372

[startup+1.50038 s]
/proc/loadavg: 2.24 2.21 2.19 3/183 8143
/proc/meminfo: memFree=28882596/32872528 swapFree=16252/1391864
[pid=8139] ppid=8136 vsize=1314372 CPUtime=1.48 cores=0,2,4,6
/proc/8139/stat : 8139 (toysat) R 8136 8139 5783 0 -1 4202496 154847 0 0 0 127 21 0 0 20 0 4 0 108552481 1345916928 155656 33554432000 4194304 16246674 140737301349648 140737301331520 5600539 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8139/statm: 328593 155656 893 2943 0 325487 0
[pid=8139/tid=8140] ppid=8136 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/8139/task/8140/stat : 8140 (toysat) S 8136 8139 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108552482 1345916928 155657 33554432000 4194304 16246674 140737301349648 139917248146672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=8139/tid=8141] ppid=8136 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/8139/task/8141/stat : 8141 (toysat) S 8136 8139 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108552482 1345916928 155657 33554432000 4194304 16246674 140737301349648 139917237656816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8139/tid=8142] ppid=8136 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/8139/task/8142/stat : 8142 (toysat) S 8136 8139 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108552482 1345916928 155658 33554432000 4194304 16246674 140737301349648 139917149596848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1314372

[startup+3.10041 s]
/proc/loadavg: 2.24 2.21 2.19 3/183 8143
/proc/meminfo: memFree=28509852/32872528 swapFree=16252/1391864
[pid=8139] ppid=8136 vsize=1316420 CPUtime=3.09 cores=0,2,4,6
/proc/8139/stat : 8139 (toysat) R 8136 8139 5783 0 -1 4202496 270279 0 0 0 271 38 0 0 20 0 4 0 108552481 1348014080 271088 33554432000 4194304 16246674 140737301349648 140737301331520 5711506 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8139/statm: 329105 271088 896 2943 0 325999 0
[pid=8139/tid=8140] ppid=8136 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/8139/task/8140/stat : 8140 (toysat) S 8136 8139 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108552482 1348014080 271088 33554432000 4194304 16246674 140737301349648 139917248146672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=8139/tid=8141] ppid=8136 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/8139/task/8141/stat : 8141 (toysat) S 8136 8139 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108552482 1348014080 271088 33554432000 4194304 16246674 140737301349648 139917237656816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8139/tid=8142] ppid=8136 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/8139/task/8142/stat : 8142 (toysat) S 8136 8139 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108552482 1348014080 271088 33554432000 4194304 16246674 140737301349648 139917149596848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1316420

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

[startup+3.10041 s]
/proc/loadavg: 2.24 2.21 2.19 3/183 8143
/proc/meminfo: memFree=28509852/32872528 swapFree=16252/1391864
[pid=8139] ppid=8136 vsize=1316420 CPUtime=3.09 cores=0,2,4,6
/proc/8139/stat : 8139 (toysat) R 8136 8139 5783 0 -1 4202496 270279 0 0 0 271 38 0 0 20 0 4 0 108552481 1348014080 271088 33554432000 4194304 16246674 140737301349648 140737301331520 5711506 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8139/statm: 329105 271088 896 2943 0 325999 0
[pid=8139/tid=8140] ppid=8136 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/8139/task/8140/stat : 8140 (toysat) S 8136 8139 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108552482 1348014080 271088 33554432000 4194304 16246674 140737301349648 139917248146672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=8139/tid=8141] ppid=8136 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/8139/task/8141/stat : 8141 (toysat) S 8136 8139 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108552482 1348014080 271088 33554432000 4194304 16246674 140737301349648 139917237656816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8139/tid=8142] ppid=8136 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/8139/task/8142/stat : 8142 (toysat) S 8136 8139 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108552482 1348014080 271088 33554432000 4194304 16246674 140737301349648 139917149596848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1316420

Child status: 0
Real time (s): 3.19996
CPU time (s): 3.18651
CPU user time (s): 2.75258
CPU system time (s): 0.433934
CPU usage (%): 99.5799
Max. virtual memory (cumulated for all children) (KiB): 1316420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.75258
system time used= 0.433934
maximum resident set size= 1084396
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 270290
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= 26
involuntary context switches= 8

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.008998 second user time and 0.014997 second system time

The end

Launcher Data 

Begin job on node119 at 2016-06-07 04:23:13
IDJOB=4079890
IDBENCH=71845
IDSOLVER=2542
FILE ID=node119/4079890-1465266193
RUNJOBID= node119-1465252213-5799
PBS_JOBID= 19843259
Free space on /tmp= 71720 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB09/normalized-PB09/OPT-SMALLINT-LIN/flexray/normalized-fx84.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079890-1465266193/watcher-4079890-1465266193 -o /tmp/evaluation-result-4079890-1465266193/solver-4079890-1465266193 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node119-1465252213-5799 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079890-1465266193.opb

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

MD5SUM BENCH= 13a1c43c96eef592ca49f745f65e3ff1
RANDOM SEED=1543326330

node119.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.410
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	: 5332.82
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.410
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.410
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.410
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.55
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.410
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.410
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.410
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.56
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.410
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	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29381392 kB
Buffers:          117248 kB
Cached:           162788 kB
SwapCached:          888 kB
Active:          1210888 kB
Inactive:         154388 kB
Active(anon):    1085812 kB
Inactive(anon):     1712 kB
Active(file):     125076 kB
Inactive(file):   152676 kB
Unevictable:     1391864 kB
Mlocked:           16252 kB
SwapTotal:      67108856 kB
SwapFree:       67100176 kB
Dirty:             33752 kB
Writeback:             0 kB
AnonPages:       2480100 kB
Mapped:            10932 kB
Shmem:                 0 kB
Slab:             599464 kB
SReclaimable:      43292 kB
SUnreclaim:       556172 kB
KernelStack:        1472 kB
PageTables:         8776 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2617296 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1386496 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= 71704 MiB
End job on node119 at 2016-06-07 04:23:17