Trace number 4078637

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 79.8559 79.8693

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/
dbst/normalized-dbst_v50_e1000_d25_mw10_3.opb.PB06.opb
MD5SUM16e382d24044cea3204cbf333685cccd
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 benchmark9.8855
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables4500
Total number of constraints2559501
Number of constraints which are clauses2554450
Number of constraints which are cardinality constraints (but not clauses)101
Number of constraints which are nor clauses,nor cardinality constraints4950
Minimum length of a constraint2
Maximum length of a constraint2000
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 450
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 2049
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

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

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

pid=2084
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: 1.77 1.89 1.94 3/179 2087
/proc/meminfo: memFree=30896532/32872528 swapFree=13600/559348
[pid=2087] ppid=2084 vsize=824900 CPUtime=0 cores=0,2,4,6
/proc/2087/stat : 2087 (toysat) R 2084 2087 1842 0 -1 4202496 3097 0 0 0 0 0 0 0 20 0 4 0 103925870 844697600 2948 33554432000 4194304 16246674 140736777937632 140736777937056 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2087/statm: 206737 2957 442 2943 0 203631 0
[pid=2087/tid=2088] ppid=2084 vsize=843332 CPUtime=0 cores=0,2,4,6
/proc/2087/task/2088/stat : 2088 (toysat) S 2084 2087 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103925870 863571968 3018 33554432000 4194304 16246674 140736777937632 139925704912112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2087/tid=2089] ppid=2084 vsize=847428 CPUtime=0 cores=0,2,4,6
/proc/2087/task/2089/stat : 2089 (toysat) S 2084 2087 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103925870 867766272 3035 33554432000 4194304 16246674 140736777937632 139925694422256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2087/tid=2090] ppid=2084 vsize=851524 CPUtime=0 cores=0,2,4,6
/proc/2087/task/2090/stat : 2090 (toysat) S 2084 2087 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103925870 871960576 3052 33554432000 4194304 16246674 140736777937632 139925683948720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100168 s]
/proc/loadavg: 1.77 1.89 1.94 3/179 2087
/proc/meminfo: memFree=30896532/32872528 swapFree=13600/559348
[pid=2087] ppid=2084 vsize=1221188 CPUtime=0.09 cores=0,2,4,6
/proc/2087/stat : 2087 (toysat) R 2084 2087 1842 0 -1 4202496 30232 0 0 0 5 4 0 0 20 0 4 0 103925870 1250496512 30020 33554432000 4194304 16246674 140736777937632 140736777936944 4223718 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2087/statm: 305297 30022 802 2943 0 302191 0
[pid=2087/tid=2088] ppid=2084 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/2087/task/2088/stat : 2088 (toysat) S 2084 2087 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103925870 1250496512 30026 33554432000 4194304 16246674 140736777937632 139925704912112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2087/tid=2089] ppid=2084 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/2087/task/2089/stat : 2089 (toysat) S 2084 2087 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103925870 1250496512 30028 33554432000 4194304 16246674 140736777937632 139925694422256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2087/tid=2090] ppid=2084 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/2087/task/2090/stat : 2090 (toysat) S 2084 2087 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103925870 1250496512 30030 33554432000 4194304 16246674 140736777937632 139925683948720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1221188

[startup+0.200524 s]
/proc/loadavg: 1.77 1.89 1.94 3/179 2087
/proc/meminfo: memFree=30896532/32872528 swapFree=13600/559348
[pid=2087] ppid=2084 vsize=1311300 CPUtime=0.19 cores=0,2,4,6
/proc/2087/stat : 2087 (toysat) R 2084 2087 1842 0 -1 4202496 52329 0 0 0 12 7 0 0 20 0 4 0 103925870 1342771200 52628 33554432000 4194304 16246674 140736777937632 140736777936944 4221105 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2087/statm: 327825 52635 802 2943 0 324719 0
[pid=2087/tid=2088] ppid=2084 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/2087/task/2088/stat : 2088 (toysat) S 2084 2087 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103925870 1342771200 52639 33554432000 4194304 16246674 140736777937632 139925704912112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2087/tid=2089] ppid=2084 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/2087/task/2089/stat : 2089 (toysat) S 2084 2087 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103925870 1342771200 52643 33554432000 4194304 16246674 140736777937632 139925694422256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2087/tid=2090] ppid=2084 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/2087/task/2090/stat : 2090 (toysat) S 2084 2087 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103925870 1342771200 52647 33554432000 4194304 16246674 140736777937632 139925683948720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1311300

[startup+0.300488 s]
/proc/loadavg: 1.77 1.89 1.94 3/179 2087
/proc/meminfo: memFree=30896532/32872528 swapFree=13600/559348
[pid=2087] ppid=2084 vsize=1314372 CPUtime=0.29 cores=0,2,4,6
/proc/2087/stat : 2087 (toysat) R 2084 2087 1842 0 -1 4202496 64081 0 0 0 20 9 0 0 20 0 4 0 103925870 1345916928 64380 33554432000 4194304 16246674 140736777937632 140736777936944 4220536 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2087/statm: 328593 64380 802 2943 0 325487 0
[pid=2087/tid=2088] ppid=2084 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/2087/task/2088/stat : 2088 (toysat) S 2084 2087 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103925870 1345916928 64380 33554432000 4194304 16246674 140736777937632 139925704912112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2087/tid=2089] ppid=2084 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/2087/task/2089/stat : 2089 (toysat) S 2084 2087 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103925870 1345916928 64380 33554432000 4194304 16246674 140736777937632 139925694422256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2087/tid=2090] ppid=2084 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/2087/task/2090/stat : 2090 (toysat) S 2084 2087 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103925870 1345916928 64380 33554432000 4194304 16246674 140736777937632 139925683948720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1314372

[startup+0.700414 s]
/proc/loadavg: 1.77 1.89 1.94 3/179 2087
/proc/meminfo: memFree=30896532/32872528 swapFree=13600/559348
[pid=2087] ppid=2084 vsize=1314372 CPUtime=0.69 cores=0,2,4,6
/proc/2087/stat : 2087 (toysat) R 2084 2087 1842 0 -1 4202496 74205 0 0 0 59 10 0 0 20 0 4 0 103925870 1345916928 74504 33554432000 4194304 16246674 140736777937632 140736777936944 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2087/statm: 328593 74504 802 2943 0 325487 0
[pid=2087/tid=2088] ppid=2084 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/2087/task/2088/stat : 2088 (toysat) S 2084 2087 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103925870 1345916928 74504 33554432000 4194304 16246674 140736777937632 139925704912112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2087/tid=2089] ppid=2084 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/2087/task/2089/stat : 2089 (toysat) S 2084 2087 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103925870 1345916928 74504 33554432000 4194304 16246674 140736777937632 139925694422256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2087/tid=2090] ppid=2084 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/2087/task/2090/stat : 2090 (toysat) S 2084 2087 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103925870 1345916928 74504 33554432000 4194304 16246674 140736777937632 139925683948720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1314372

[startup+1.50042 s]
/proc/loadavg: 1.77 1.89 1.94 3/183 2091
/proc/meminfo: memFree=30329980/32872528 swapFree=13600/559348
[pid=2087] ppid=2084 vsize=1326660 CPUtime=1.49 cores=0,2,4,6
/proc/2087/stat : 2087 (toysat) R 2084 2087 1842 0 -1 4202496 108321 0 0 0 134 15 0 0 20 0 4 0 103925870 1358499840 110664 33554432000 4194304 16246674 140736777937632 140736777920624 8055451 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2087/statm: 331665 110664 803 2943 0 328559 0
[pid=2087/tid=2088] ppid=2084 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/2087/task/2088/stat : 2088 (toysat) S 2084 2087 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103925870 1358499840 110664 33554432000 4194304 16246674 140736777937632 139925704912112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2087/tid=2089] ppid=2084 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/2087/task/2089/stat : 2089 (toysat) S 2084 2087 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103925870 1358499840 110664 33554432000 4194304 16246674 140736777937632 139925694422256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2087/tid=2090] ppid=2084 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/2087/task/2090/stat : 2090 (toysat) S 2084 2087 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103925870 1358499840 110664 33554432000 4194304 16246674 140736777937632 139925683948720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1326660

[startup+3.10043 s]
/proc/loadavg: 1.77 1.89 1.94 3/183 2091
/proc/meminfo: memFree=30234064/32872528 swapFree=13600/559348
[pid=2087] ppid=2084 vsize=1351236 CPUtime=3.09 cores=0,2,4,6
/proc/2087/stat : 2087 (toysat) R 2084 2087 1842 0 -1 4202496 163623 0 0 0 286 23 0 0 20 0 4 0 103925870 1383665664 170565 33554432000 4194304 16246674 140736777937632 140736777920624 4220936 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2087/statm: 337809 170565 803 2943 0 334703 0
[pid=2087/tid=2088] ppid=2084 vsize=1351236 CPUtime=0 cores=0,2,4,6
/proc/2087/task/2088/stat : 2088 (toysat) S 2084 2087 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103925870 1383665664 170565 33554432000 4194304 16246674 140736777937632 139925704912112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2087/tid=2089] ppid=2084 vsize=1351236 CPUtime=0 cores=0,2,4,6
/proc/2087/task/2089/stat : 2089 (toysat) S 2084 2087 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103925870 1383665664 170565 33554432000 4194304 16246674 140736777937632 139925694422256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2087/tid=2090] ppid=2084 vsize=1351236 CPUtime=0 cores=0,2,4,6
/proc/2087/task/2090/stat : 2090 (toysat) S 2084 2087 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103925870 1383665664 170565 33554432000 4194304 16246674 140736777937632 139925683948720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1351236

[startup+6.30039 s]
/proc/loadavg: 1.79 1.90 1.94 3/183 2091
/proc/meminfo: memFree=29251172/32872528 swapFree=13600/559348
[pid=2087] ppid=2084 vsize=1400388 CPUtime=6.29 cores=0,2,4,6
/proc/2087/stat : 2087 (toysat) R 2084 2087 1842 0 -1 4202496 266564 0 0 0 590 39 0 0 20 0 4 0 103925870 1433997312 283726 33554432000 4194304 16246674 140736777937632 140736777920624 7371534 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2087/statm: 350097 283726 803 2943 0 346991 0
[pid=2087/tid=2088] ppid=2084 vsize=1400388 CPUtime=0 cores=0,2,4,6
/proc/2087/task/2088/stat : 2088 (toysat) S 2084 2087 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103925870 1433997312 283726 33554432000 4194304 16246674 140736777937632 139925704912112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2087/tid=2089] ppid=2084 vsize=1400388 CPUtime=0 cores=0,2,4,6
/proc/2087/task/2089/stat : 2089 (toysat) S 2084 2087 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103925870 1433997312 283726 33554432000 4194304 16246674 140736777937632 139925694422256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2087/tid=2090] ppid=2084 vsize=1400388 CPUtime=0 cores=0,2,4,6
/proc/2087/task/2090/stat : 2090 (toysat) S 2084 2087 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103925870 1433997312 283726 33554432000 4194304 16246674 140736777937632 139925683948720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1400388

[startup+12.7004 s]
/proc/loadavg: 1.81 1.90 1.94 3/183 2091
/proc/meminfo: memFree=28294888/32872528 swapFree=13600/559348
[pid=2087] ppid=2084 vsize=1873476 CPUtime=12.68 cores=0,2,4,6
/proc/2087/stat : 2087 (toysat) R 2084 2087 1842 0 -1 4202496 362946 0 0 0 1214 54 0 0 20 0 4 0 103925870 1918439424 400548 33554432000 4194304 16246674 140736777937632 140736777936728 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2087/statm: 468369 400548 803 2943 0 465263 0
[pid=2087/tid=2088] ppid=2084 vsize=1873476 CPUtime=0 cores=0,2,4,6
/proc/2087/task/2088/stat : 2088 (toysat) S 2084 2087 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103925870 1918439424 400548 33554432000 4194304 16246674 140736777937632 139925704912112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2087/tid=2089] ppid=2084 vsize=1873476 CPUtime=0 cores=0,2,4,6
/proc/2087/task/2089/stat : 2089 (toysat) S 2084 2087 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103925870 1918439424 400548 33554432000 4194304 16246674 140736777937632 139925694422256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2087/tid=2090] ppid=2084 vsize=1873476 CPUtime=0 cores=0,2,4,6
/proc/2087/task/2090/stat : 2090 (toysat) S 2084 2087 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103925870 1918439424 400548 33554432000 4194304 16246674 140736777937632 139925683948720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1873476

[startup+25.5073 s]
/proc/loadavg: 1.92 1.92 1.95 4/183 2091
/proc/meminfo: memFree=25621484/32872528 swapFree=13600/559348
[pid=2087] ppid=2084 vsize=3283524 CPUtime=25.49 cores=0,2,4,6
/proc/2087/stat : 2087 (toysat) R 2084 2087 1842 0 -1 4202496 715508 0 0 0 2444 105 0 0 20 0 4 0 103925870 3362328576 759753 33554432000 4194304 16246674 140736777937632 140736777936808 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2087/statm: 820881 759753 838 2943 0 817775 0
[pid=2087/tid=2088] ppid=2084 vsize=3283524 CPUtime=0 cores=0,2,4,6
/proc/2087/task/2088/stat : 2088 (toysat) S 2084 2087 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103925870 3362328576 759753 33554432000 4194304 16246674 140736777937632 139925704912112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2087/tid=2089] ppid=2084 vsize=3283524 CPUtime=0 cores=0,2,4,6
/proc/2087/task/2089/stat : 2089 (toysat) S 2084 2087 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103925870 3362328576 759753 33554432000 4194304 16246674 140736777937632 139925694422256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2087/tid=2090] ppid=2084 vsize=3283524 CPUtime=0 cores=0,2,4,6
/proc/2087/task/2090/stat : 2090 (toysat) S 2084 2087 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103925870 3362328576 759753 33554432000 4194304 16246674 140736777937632 139925683948720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 3283524

[startup+51.1004 s]
/proc/loadavg: 2.14 1.97 1.96 3/183 2091
/proc/meminfo: memFree=22499584/32872528 swapFree=13600/559348
[pid=2087] ppid=2084 vsize=4721220 CPUtime=51.08 cores=0,2,4,6
/proc/2087/stat : 2087 (toysat) R 2084 2087 1842 0 -1 4202496 1074940 0 0 0 4945 163 0 0 20 0 4 0 103925870 4834529280 1121229 33554432000 4194304 16246674 140736777937632 140736777936808 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2087/statm: 1180305 1121229 839 2943 0 1177199 0
[pid=2087/tid=2088] ppid=2084 vsize=4721220 CPUtime=0 cores=0,2,4,6
/proc/2087/task/2088/stat : 2088 (toysat) S 2084 2087 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103925870 4834529280 1121229 33554432000 4194304 16246674 140736777937632 139925704912112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2087/tid=2089] ppid=2084 vsize=4721220 CPUtime=0 cores=0,2,4,6
/proc/2087/task/2089/stat : 2089 (toysat) S 2084 2087 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103925870 4834529280 1121229 33554432000 4194304 16246674 140736777937632 139925694422256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2087/tid=2090] ppid=2084 vsize=4721220 CPUtime=0 cores=0,2,4,6
/proc/2087/task/2090/stat : 2090 (toysat) S 2084 2087 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103925870 4834529280 1121229 33554432000 4194304 16246674 140736777937632 139925683948720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 4721220

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

[startup+51.3004 s]
/proc/loadavg: 2.14 1.97 1.96 3/183 2091
/proc/meminfo: memFree=22499584/32872528 swapFree=13600/559348
[pid=2087] ppid=2084 vsize=4721220 CPUtime=51.28 cores=0,2,4,6
/proc/2087/stat : 2087 (toysat) R 2084 2087 1842 0 -1 4202496 1074940 0 0 0 4965 163 0 0 20 0 4 0 103925870 4834529280 1121229 33554432000 4194304 16246674 140736777937632 140736777936808 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2087/statm: 1180305 1121229 839 2943 0 1177199 0
[pid=2087/tid=2088] ppid=2084 vsize=4721220 CPUtime=0 cores=0,2,4,6
/proc/2087/task/2088/stat : 2088 (toysat) S 2084 2087 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103925870 4834529280 1121229 33554432000 4194304 16246674 140736777937632 139925704912112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2087/tid=2089] ppid=2084 vsize=4721220 CPUtime=0 cores=0,2,4,6
/proc/2087/task/2089/stat : 2089 (toysat) S 2084 2087 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103925870 4834529280 1121229 33554432000 4194304 16246674 140736777937632 139925694422256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2087/tid=2090] ppid=2084 vsize=4721220 CPUtime=0 cores=0,2,4,6
/proc/2087/task/2090/stat : 2090 (toysat) S 2084 2087 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103925870 4834529280 1121229 33554432000 4194304 16246674 140736777937632 139925683948720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.28
Current children cumulated vsize (KiB) 4721220

[startup+64.1004 s]
/proc/loadavg: 2.12 1.97 1.96 3/183 2092
/proc/meminfo: memFree=20524384/32872528 swapFree=13600/559348
[pid=2087] ppid=2084 vsize=5645892 CPUtime=64.08 cores=0,2,4,6
/proc/2087/stat : 2087 (toysat) R 2084 2087 1842 0 -1 4202496 1306089 0 0 0 6210 198 0 0 20 0 4 0 103925870 5781393408 1352378 33554432000 4194304 16246674 140736777937632 140736777936296 4221418 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2087/statm: 1411473 1352382 839 2943 0 1408367 0
[pid=2087/tid=2088] ppid=2084 vsize=5645892 CPUtime=0 cores=0,2,4,6
/proc/2087/task/2088/stat : 2088 (toysat) S 2084 2087 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103925870 5781393408 1352384 33554432000 4194304 16246674 140736777937632 139925704912112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2087/tid=2089] ppid=2084 vsize=5645892 CPUtime=0 cores=0,2,4,6
/proc/2087/task/2089/stat : 2089 (toysat) S 2084 2087 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103925870 5781393408 1352385 33554432000 4194304 16246674 140736777937632 139925694422032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2087/tid=2090] ppid=2084 vsize=5645892 CPUtime=0 cores=0,2,4,6
/proc/2087/task/2090/stat : 2090 (toysat) S 2084 2087 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103925870 5781393408 1352387 33554432000 4194304 16246674 140736777937632 139925683948720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 64.08
Current children cumulated vsize (KiB) 5645892

[startup+70.5004 s]
/proc/loadavg: 2.10 1.97 1.96 3/183 2092
/proc/meminfo: memFree=20837908/32872528 swapFree=13600/559348
[pid=2087] ppid=2084 vsize=5951044 CPUtime=70.48 cores=0,2,4,6
/proc/2087/stat : 2087 (toysat) R 2084 2087 1842 0 -1 4202496 1382431 0 0 0 6837 211 0 0 20 0 4 0 103925870 6093869056 1428720 33554432000 4194304 16246674 140736777937632 140736777936808 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2087/statm: 1487761 1428720 868 2943 0 1484655 0
[pid=2087/tid=2088] ppid=2084 vsize=5951044 CPUtime=0 cores=0,2,4,6
/proc/2087/task/2088/stat : 2088 (toysat) S 2084 2087 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103925870 6093869056 1428720 33554432000 4194304 16246674 140736777937632 139925704912112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2087/tid=2089] ppid=2084 vsize=5951044 CPUtime=0 cores=0,2,4,6
/proc/2087/task/2089/stat : 2089 (toysat) S 2084 2087 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103925870 6093869056 1428720 33554432000 4194304 16246674 140736777937632 139925694422256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2087/tid=2090] ppid=2084 vsize=5951044 CPUtime=0 cores=0,2,4,6
/proc/2087/task/2090/stat : 2090 (toysat) S 2084 2087 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103925870 6093869056 1428720 33554432000 4194304 16246674 140736777937632 139925683948720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 70.48
Current children cumulated vsize (KiB) 5951044

[startup+73.7004 s]
/proc/loadavg: 2.10 1.97 1.96 3/178 2106
/proc/meminfo: memFree=25593156/32872528 swapFree=13600/559348
[pid=2087] ppid=2084 vsize=5951044 CPUtime=73.68 cores=0,2,4,6
/proc/2087/stat : 2087 (toysat) R 2084 2087 1842 0 -1 4202496 1382446 0 0 0 7156 212 0 0 20 0 4 0 103925870 6093869056 1428735 33554432000 4194304 16246674 140736777937632 140736777936808 5842976 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2087/statm: 1487761 1428735 883 2943 0 1484655 0
[pid=2087/tid=2088] ppid=2084 vsize=5951044 CPUtime=0 cores=0,2,4,6
/proc/2087/task/2088/stat : 2088 (toysat) S 2084 2087 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103925870 6093869056 1428735 33554432000 4194304 16246674 140736777937632 139925704912112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2087/tid=2089] ppid=2084 vsize=5951044 CPUtime=0 cores=0,2,4,6
/proc/2087/task/2089/stat : 2089 (toysat) S 2084 2087 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103925870 6093869056 1428735 33554432000 4194304 16246674 140736777937632 139925694422256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2087/tid=2090] ppid=2084 vsize=5951044 CPUtime=0 cores=0,2,4,6
/proc/2087/task/2090/stat : 2090 (toysat) S 2084 2087 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103925870 6093869056 1428735 33554432000 4194304 16246674 140736777937632 139925683948720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 73.68
Current children cumulated vsize (KiB) 5951044

[startup+76.9004 s]
/proc/loadavg: 2.09 1.97 1.96 3/178 2106
/proc/meminfo: memFree=25593164/32872528 swapFree=13600/559348
[pid=2087] ppid=2084 vsize=5951044 CPUtime=76.88 cores=0,2,4,6
/proc/2087/stat : 2087 (toysat) R 2084 2087 1842 0 -1 4202496 1382446 0 0 0 7475 213 0 0 20 0 4 0 103925870 6093869056 1428735 33554432000 4194304 16246674 140736777937632 140736777936808 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2087/statm: 1487761 1428735 883 2943 0 1484655 0
[pid=2087/tid=2088] ppid=2084 vsize=5951044 CPUtime=0 cores=0,2,4,6
/proc/2087/task/2088/stat : 2088 (toysat) S 2084 2087 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103925870 6093869056 1428735 33554432000 4194304 16246674 140736777937632 139925704912112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2087/tid=2089] ppid=2084 vsize=5951044 CPUtime=0 cores=0,2,4,6
/proc/2087/task/2089/stat : 2089 (toysat) S 2084 2087 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103925870 6093869056 1428735 33554432000 4194304 16246674 140736777937632 139925694422256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2087/tid=2090] ppid=2084 vsize=5951044 CPUtime=0 cores=0,2,4,6
/proc/2087/task/2090/stat : 2090 (toysat) S 2084 2087 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103925870 6093869056 1428735 33554432000 4194304 16246674 140736777937632 139925683948720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 76.88
Current children cumulated vsize (KiB) 5951044

[startup+78.5004 s]
/proc/loadavg: 2.09 1.97 1.96 4/178 2106
/proc/meminfo: memFree=25593164/32872528 swapFree=13600/559348
[pid=2087] ppid=2084 vsize=5951044 CPUtime=78.48 cores=0,2,4,6
/proc/2087/stat : 2087 (toysat) R 2084 2087 1842 0 -1 4202496 1382446 0 0 0 7635 213 0 0 20 0 4 0 103925870 6093869056 1428735 33554432000 4194304 16246674 140736777937632 140736777936808 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2087/statm: 1487761 1428735 883 2943 0 1484655 0
[pid=2087/tid=2088] ppid=2084 vsize=5951044 CPUtime=0 cores=0,2,4,6
/proc/2087/task/2088/stat : 2088 (toysat) S 2084 2087 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103925870 6093869056 1428735 33554432000 4194304 16246674 140736777937632 139925704912112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2087/tid=2089] ppid=2084 vsize=5951044 CPUtime=0 cores=0,2,4,6
/proc/2087/task/2089/stat : 2089 (toysat) S 2084 2087 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103925870 6093869056 1428735 33554432000 4194304 16246674 140736777937632 139925694422256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2087/tid=2090] ppid=2084 vsize=5951044 CPUtime=0 cores=0,2,4,6
/proc/2087/task/2090/stat : 2090 (toysat) S 2084 2087 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103925870 6093869056 1428735 33554432000 4194304 16246674 140736777937632 139925683948720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 78.48
Current children cumulated vsize (KiB) 5951044

[startup+79.3004 s]
/proc/loadavg: 2.08 1.97 1.96 3/178 2106
/proc/meminfo: memFree=25593164/32872528 swapFree=13600/559348
[pid=2087] ppid=2084 vsize=5951044 CPUtime=79.28 cores=0,2,4,6
/proc/2087/stat : 2087 (toysat) R 2084 2087 1842 0 -1 4202496 1382446 0 0 0 7715 213 0 0 20 0 4 0 103925870 6093869056 1428735 33554432000 4194304 16246674 140736777937632 140736777936728 5991539 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2087/statm: 1487761 1428735 883 2943 0 1484655 0
[pid=2087/tid=2088] ppid=2084 vsize=5951044 CPUtime=0 cores=0,2,4,6
/proc/2087/task/2088/stat : 2088 (toysat) S 2084 2087 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103925870 6093869056 1428735 33554432000 4194304 16246674 140736777937632 139925704912112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2087/tid=2089] ppid=2084 vsize=5951044 CPUtime=0 cores=0,2,4,6
/proc/2087/task/2089/stat : 2089 (toysat) S 2084 2087 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103925870 6093869056 1428735 33554432000 4194304 16246674 140736777937632 139925694422256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2087/tid=2090] ppid=2084 vsize=5951044 CPUtime=0 cores=0,2,4,6
/proc/2087/task/2090/stat : 2090 (toysat) S 2084 2087 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103925870 6093869056 1428735 33554432000 4194304 16246674 140736777937632 139925683948720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 79.28
Current children cumulated vsize (KiB) 5951044

[startup+79.7004 s]
/proc/loadavg: 2.08 1.97 1.96 3/178 2106
/proc/meminfo: memFree=25593164/32872528 swapFree=13600/559348
[pid=2087] ppid=2084 vsize=0 CPUtime=79.68 cores=0,2,4,6
/proc/2087/stat : 2087 (toysat) R 2084 2087 1842 0 -1 4202500 1382453 0 0 0 7741 227 0 0 20 0 1 0 103925870 0 0 33554432000 0 0 0 0 0 0 0 33554432 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2087/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 79.68
Current children cumulated vsize (KiB) 0

[startup+79.8003 s]
/proc/loadavg: 2.08 1.97 1.96 3/178 2106
/proc/meminfo: memFree=25593164/32872528 swapFree=13600/559348
[pid=2087] ppid=2084 vsize=0 CPUtime=79.78 cores=0,2,4,6
/proc/2087/stat : 2087 (toysat) R 2084 2087 1842 0 -1 4202500 1382453 0 0 0 7741 237 0 0 20 0 1 0 103925870 0 0 33554432000 0 0 0 0 0 0 0 33554432 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2087/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 79.78
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 79.8693
CPU time (s): 79.8559
CPU user time (s): 77.4162
CPU system time (s): 2.43963
CPU usage (%): 99.9832
Max. virtual memory (cumulated for all children) (KiB): 5951044

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 77.4162
system time used= 2.43963
maximum resident set size= 5714960
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1382453
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= 35
involuntary context switches= 81

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.19397 second user time and 0.346947 second system time

The end

Launcher Data 

Begin job on node106 at 2016-06-06 15:31:49
IDJOB=4078637
IDBENCH=1381
IDSOLVER=2542
FILE ID=node106/4078637-1465219907
RUNJOBID= node106-1465219870-1858
PBS_JOBID= 19843217
Free space on /tmp= 71552 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/dbst/normalized-dbst_v50_e1000_d25_mw10_3.opb.PB06.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4078637-1465219907/watcher-4078637-1465219907 -o /tmp/evaluation-result-4078637-1465219907/solver-4078637-1465219907 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1465219870-1858 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078637-1465219907.opb

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

MD5SUM BENCH= 16e382d24044cea3204cbf333685cccd
RANDOM SEED=61847851

node106.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.775
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.55
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.775
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.775
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.56
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.775
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.775
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.64
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.775
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.56
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.775
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.775
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:        30896796 kB
Buffers:            5752 kB
Cached:           284824 kB
SwapCached:         1840 kB
Active:           666392 kB
Inactive:          39836 kB
Active(anon):     416548 kB
Inactive(anon):     1244 kB
Active(file):     249844 kB
Inactive(file):    38592 kB
Unevictable:      559348 kB
Mlocked:           13600 kB
SwapTotal:      67108856 kB
SwapFree:       67098504 kB
Dirty:            210376 kB
Writeback:            24 kB
AnonPages:        976512 kB
Mapped:            10344 kB
Shmem:                 0 kB
Slab:             577840 kB
SReclaimable:      21384 kB
SUnreclaim:       556456 kB
KernelStack:        1456 kB
PageTables:         7408 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1785676 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    550912 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= 71536 MiB
End job on node106 at 2016-06-06 15:33:09