Trace number 3724853

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 2012-06-01OPT 131.771 131.796

General information on the benchmark

Name/OPT-BIGINT-LIN/zahidi/IC/
normalized-minisat15_5_3_9_ic.opb
MD5SUM6e6423d95c6457aac671f6ff150ae932
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark7836062
Best CPU time to get the best result obtained on this benchmark2.91456
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3435
Total number of constraints6802
Number of constraints which are clauses2970
Number of constraints which are cardinality constraints (but not clauses)7
Number of constraints which are nor clauses,nor cardinality constraints3825
Minimum length of a constraint2
Maximum length of a constraint105
Number of terms in the objective function 645
Biggest coefficient in the objective function 105154048
Number of bits for the biggest coefficient in the objective function 27
Sum of the numbers in the objective function 4264487337
Number of bits of the sum of numbers in the objective function 32
Biggest number in a constraint 105154048
Number of bits of the biggest number in a constraint 27
Biggest sum of numbers in a constraint 4264487337
Number of bits of the biggest sum of numbers32
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.19/0.22	c 2012-06-02T17:06:38+0200
0.19/0.22	c arch = x86_64
0.19/0.22	c os = linux
0.19/0.22	c compiler = ghc 7.4
0.19/0.22	c packages:
0.19/0.22	c   OptDir-0.0.1
0.19/0.22	c   array-0.4.0.0
0.19/0.22	c   base-4.5.0.0
0.19/0.22	c   bytestring-0.9.2.1
0.19/0.22	c   containers-0.4.2.1
0.19/0.22	c   deepseq-1.3.0.0
0.19/0.22	c   mtl-2.1.1
0.19/0.22	c   old_locale-1.0.0.4
0.19/0.22	c   parse_dimacs-1.2
0.19/0.22	c   parsec-3.1.2
0.19/0.22	c   queue-0.1.2
0.19/0.22	c   stm-2.3
0.19/0.22	c   time-1.4
0.19/0.22	c command line = ["+RTS","-K1G","-RTS","--pb","HOME/instance-3724853-1338649598.opb"]
0.19/0.22	c #vars 3435
0.19/0.22	c #constraints 6802
0.19/0.22	c Solving starts ...
0.19/0.24	c solving time = 0.015s
0.19/0.24	c #decision = 198
0.19/0.24	c #conflict = 6
0.19/0.24	c #restart = 0
0.19/0.24	o 9743008
0.19/0.24	c Solving starts ...
0.19/0.29	c solving time = 0.044s
0.19/0.29	c #decision = 318
0.19/0.29	c #conflict = 18
0.19/0.29	c #restart = 0
0.19/0.29	o 9728306
0.19/0.29	c Solving starts ...
64.97/65.04	c solving time = 64.734s
64.97/65.04	c #decision = 7118
64.97/65.04	c #conflict = 4936
64.97/65.04	c #restart = 7
64.97/65.04	o 9622586
64.97/65.04	c Solving starts ...
64.97/65.04	c learnt constraints deletion: 4929 -> 2465
67.08/67.14	c solving time = 2.102s
67.08/67.14	c #decision = 7429
67.08/67.14	c #conflict = 5151
67.08/67.14	c #restart = 8
67.08/67.14	o 9593012
67.08/67.14	c Solving starts ...
67.08/67.19	c solving time = 0.046s
67.08/67.19	c #decision = 7453
67.08/67.19	c #conflict = 5159
67.08/67.19	c #restart = 8
67.08/67.19	o 9173156
67.08/67.19	c Solving starts ...
67.17/67.23	c solving time = 0.042s
67.17/67.23	c #decision = 7473
67.17/67.23	c #conflict = 5166
67.17/67.23	c #restart = 8
67.17/67.23	o 9129734
67.17/67.23	c Solving starts ...
67.17/67.28	c solving time = 0.038s
67.17/67.28	c #decision = 7487
67.17/67.28	c #conflict = 5167
67.17/67.28	c #restart = 8
67.17/67.28	o 8980022
67.17/67.28	c Solving starts ...
67.27/67.31	c solving time = 0.032s
67.27/67.31	c #decision = 7505
67.27/67.31	c #conflict = 5169
67.27/67.31	c #restart = 8
67.27/67.31	o 8651142
67.27/67.31	c Solving starts ...
67.27/67.38	c solving time = 0.070s
67.27/67.38	c #decision = 7531
67.27/67.38	c #conflict = 5176
67.27/67.38	c #restart = 8
67.27/67.38	o 8632946
67.27/67.38	c Solving starts ...
67.37/67.41	c solving time = 0.028s
67.37/67.41	c #decision = 7547
67.37/67.41	c #conflict = 5177
67.37/67.41	c #restart = 8
67.37/67.41	o 8503370
67.37/67.41	c Solving starts ...
72.37/72.47	c solving time = 5.051s
72.37/72.47	c #decision = 9067
72.37/72.47	c #conflict = 6124
72.37/72.47	c #restart = 12
72.37/72.47	o 8371296
72.37/72.47	c Solving starts ...
73.47/73.57	c solving time = 1.099s
73.47/73.57	c #decision = 9290
73.47/73.57	c #conflict = 6270
73.47/73.57	c #restart = 13
73.47/73.57	o 8266338
73.47/73.57	c Solving starts ...
73.98/74.05	c learnt constraints deletion: 3886 -> 1943
76.27/76.39	c solving time = 2.811s
76.27/76.39	c #decision = 9999
76.27/76.39	c #conflict = 6728
76.27/76.39	c #restart = 15
76.27/76.39	o 8214800
76.27/76.39	c Solving starts ...
76.37/76.43	c solving time = 0.042s
76.37/76.43	c #decision = 10017
76.37/76.43	c #conflict = 6729
76.37/76.43	c #restart = 15
76.37/76.43	o 8127832
76.37/76.43	c Solving starts ...
101.07/101.18	c solving time = 24.739s
101.07/101.18	c #decision = 17228
101.07/101.18	c #conflict = 11796
101.07/101.18	c #restart = 23
101.07/101.18	o 8124544
101.07/101.18	c Solving starts ...
101.07/101.19	c learnt constraints deletion: 7352 -> 3676
104.06/104.18	c solving time = 2.999s
104.06/104.18	c #decision = 18196
104.06/104.18	c #conflict = 12477
104.06/104.18	c #restart = 26
104.06/104.18	o 8047528
104.06/104.18	c Solving starts ...
104.06/104.18	c learnt constraints deletion: 4354 -> 2177
106.37/106.42	c solving time = 2.237s
106.37/106.42	c #decision = 18697
106.37/106.42	c #conflict = 12838
106.37/106.42	c #restart = 28
106.37/106.42	o 7919092
106.37/106.42	c Solving starts ...
106.37/106.47	c solving time = 0.045s
106.37/106.47	c #decision = 18714
106.37/106.47	c #conflict = 12841
106.37/106.47	c #restart = 28
106.37/106.47	o 7885252
106.37/106.47	c Solving starts ...
110.37/110.44	c solving time = 3.972s
110.37/110.44	c #decision = 19781
110.37/110.44	c #conflict = 13603
110.37/110.44	c #restart = 31
110.37/110.44	o 7836062
110.37/110.44	c Solving starts ...
131.67/131.79	c solving time = 21.341s
131.67/131.79	c #decision = 25807
131.67/131.79	c #conflict = 17948
131.67/131.79	c #restart = 38
131.67/131.79	s OPTIMUM FOUND
131.67/131.79	v -x1 -x2 -x3 -x4 -x5 x6 -x7 -x8 -x9 -x10
131.67/131.79	v -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20
131.67/131.79	v -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30
131.67/131.79	v -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40
131.67/131.79	v -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50
131.67/131.79	v -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60
131.67/131.79	v -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70
131.67/131.79	v -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80
131.67/131.79	v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90
131.67/131.79	v -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100
131.67/131.79	v -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110
131.67/131.79	v -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120
131.67/131.79	v -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130
131.67/131.79	v -x131 -x132 -x133 -x134 -x135 x136 -x137 -x138 -x139 -x140
131.67/131.79	v -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150
131.67/131.79	v -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160
131.67/131.79	v -x161 x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170
131.67/131.79	v -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180
131.67/131.79	v -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190
131.67/131.79	v -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200
131.67/131.79	v -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210
131.67/131.79	v -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220
131.67/131.79	v -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230
131.67/131.79	v -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240
131.67/131.79	v -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250
131.67/131.79	v -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260
131.67/131.79	v -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270
131.67/131.79	v -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280
131.67/131.79	v -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290
131.67/131.79	v -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300
131.67/131.79	v -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310
131.67/131.79	v -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320
131.67/131.79	v -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330
131.67/131.79	v -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340
131.67/131.79	v -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350
131.67/131.79	v -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360
131.67/131.79	v -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370
131.67/131.79	v -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380
131.67/131.79	v -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390
131.67/131.79	v -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400
131.67/131.79	v -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410
131.67/131.79	v -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420
131.67/131.79	v -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430
131.67/131.79	v -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440
131.67/131.79	v -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450
131.67/131.79	v -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460
131.67/131.79	v -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470
131.67/131.79	v -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480
131.67/131.79	v -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490
131.67/131.79	v -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500
131.67/131.79	v -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510
131.67/131.79	v -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520
131.67/131.79	v -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530
131.67/131.79	v -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540
131.67/131.79	v -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550
131.67/131.79	v -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560
131.67/131.79	v -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570
131.67/131.79	v -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580
131.67/131.79	v -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590
131.67/131.79	v -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600
131.67/131.79	v -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610
131.67/131.79	v -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620
131.67/131.79	v -x621 -x622 -x623 x624 -x625 -x626 -x627 -x628 -x629 -x630
131.67/131.79	v -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640
131.67/131.79	v -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650
131.67/131.79	v -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660
131.67/131.79	v -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670
131.67/131.79	v -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680
131.67/131.79	v -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690
131.67/131.79	v -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700
131.67/131.79	v -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710
131.67/131.79	v -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720
131.67/131.79	v -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730
131.67/131.79	v -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 x740
131.67/131.79	v -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750
131.67/131.79	v -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760
131.67/131.79	v -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770
131.67/131.79	v -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780
131.67/131.79	v -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790
131.67/131.79	v -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800
131.67/131.79	v -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810
131.67/131.79	v -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820
131.67/131.79	v -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830
131.67/131.79	v -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840
131.67/131.79	v -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850
131.67/131.79	v -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860
131.67/131.79	v -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870
131.67/131.79	v -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880
131.67/131.79	v -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890
131.67/131.79	v -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900
131.67/131.79	v -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910
131.67/131.79	v -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920
131.67/131.79	v -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930
131.67/131.79	v -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940
131.67/131.79	v -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950
131.67/131.79	v -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960
131.67/131.79	v -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970
131.67/131.79	v -x971 -x972 -x973 -x974 x975 -x976 -x977 -x978 -x979 -x980
131.67/131.79	v -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990
131.67/131.79	v -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000
131.67/131.79	v -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010
131.67/131.79	v -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020
131.67/131.79	v -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030
131.67/131.79	v -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040
131.67/131.79	v -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050
131.67/131.79	v -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060
131.67/131.79	v -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070
131.67/131.79	v -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080
131.67/131.79	v -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090
131.67/131.79	v -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100
131.67/131.79	v -x1101 -x1102 -x1103 x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110
131.67/131.79	v -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120
131.67/131.79	v -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130
131.67/131.79	v -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140
131.67/131.79	v -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150
131.67/131.79	v -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160
131.67/131.79	v -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170
131.67/131.79	v -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180
131.67/131.79	v -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190
131.67/131.79	v -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 x1199 -x1200
131.67/131.79	v -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210
131.67/131.79	v -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220
131.67/131.79	v -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230
131.67/131.79	v -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240
131.67/131.79	v -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250
131.67/131.79	v -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260
131.67/131.79	v -x1261 -x1262 -x1263 x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270
131.67/131.79	v -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280
131.67/131.79	v -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290
131.67/131.79	v -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300
131.67/131.79	v -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310
131.67/131.79	v -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320
131.67/131.79	v -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330
131.67/131.79	v -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340
131.67/131.79	v -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350
131.67/131.79	v -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360
131.67/131.79	v -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370
131.67/131.79	v -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380
131.67/131.79	v -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390
131.67/131.79	v -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400
131.67/131.79	v -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410
131.67/131.79	v -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420
131.67/131.79	v -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430
131.67/131.79	v -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440
131.67/131.79	v -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450
131.67/131.79	v -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460
131.67/131.79	v -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470
131.67/131.79	v -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480
131.67/131.79	v -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490
131.67/131.79	v -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500
131.67/131.79	v -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510
131.67/131.79	v -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520
131.67/131.79	v -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530
131.67/131.79	v -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540
131.67/131.79	v -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 x1550
131.67/131.79	v -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560
131.67/131.79	v -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570
131.67/131.79	v -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580
131.67/131.79	v -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590
131.67/131.79	v -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600
131.67/131.79	v -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610
131.67/131.79	v -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620
131.67/131.79	v -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 x1629 -x1630
131.67/131.79	v -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640
131.67/131.79	v -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650
131.67/131.79	v -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660
131.67/131.79	v -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670
131.67/131.79	v -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680
131.67/131.79	v -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690
131.67/131.79	v -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700
131.67/131.79	v -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710
131.67/131.79	v -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720
131.67/131.79	v -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730
131.67/131.79	v -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740
131.67/131.79	v -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750
131.67/131.79	v -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760
131.67/131.79	v -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770
131.67/131.79	v -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780
131.67/131.79	v -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790
131.67/131.79	v -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800
131.67/131.79	v -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810
131.67/131.79	v -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820
131.67/131.79	v -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830
131.67/131.79	v -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 x1839 -x1840
131.67/131.79	v -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850
131.67/131.79	v -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860
131.67/131.79	v -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870
131.67/131.79	v -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880
131.67/131.79	v -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890
131.67/131.79	v -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900
131.67/131.79	v -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910
131.67/131.79	v -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920
131.67/131.79	v -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930
131.67/131.79	v -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940
131.67/131.79	v -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950
131.67/131.79	v -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960
131.67/131.79	v -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970
131.67/131.79	v -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980
131.67/131.79	v -x1981 x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990
131.67/131.79	v -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000
131.67/131.79	v -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010
131.67/131.79	v -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020
131.67/131.79	v -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030
131.67/131.79	v -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040
131.67/131.79	v -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050
131.67/131.79	v -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060
131.67/131.79	v -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070
131.67/131.79	v -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080
131.67/131.79	v -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090
131.67/131.79	v -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100
131.67/131.79	v -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110
131.67/131.79	v -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120
131.67/131.79	v -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130
131.67/131.79	v -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140
131.67/131.79	v -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150
131.67/131.79	v -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160
131.67/131.79	v -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170
131.67/131.79	v -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180
131.67/131.79	v -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190
131.67/131.79	v -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200
131.67/131.79	v -x2201 -x2202 x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210
131.67/131.79	v -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220
131.67/131.79	v -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230
131.67/131.79	v -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240
131.67/131.79	v -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250
131.67/131.79	v -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260
131.67/131.79	v -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270
131.67/131.79	v -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280
131.67/131.79	v -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290
131.67/131.79	v -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300
131.67/131.79	v -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310
131.67/131.79	v -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320
131.67/131.79	v -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330
131.67/131.79	v -x2331 -x2332 x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340
131.67/131.79	v -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350
131.67/131.79	v -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360
131.67/131.79	v -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370
131.67/131.79	v -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380
131.67/131.79	v -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390
131.67/131.79	v -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400
131.67/131.79	v -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410
131.67/131.79	v -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420
131.67/131.79	v -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430
131.67/131.79	v -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440
131.67/131.79	v -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450
131.67/131.79	v -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 x2460
131.67/131.79	v -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470
131.67/131.79	v -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480
131.67/131.79	v -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 x2487 -x2488 -x2489 -x2490
131.67/131.79	v -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500
131.67/131.79	v -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510
131.67/131.79	v -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520
131.67/131.79	v -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530
131.67/131.79	v -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540
131.67/131.79	v -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550
131.67/131.79	v -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560
131.67/131.79	v -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570
131.67/131.79	v -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580
131.67/131.79	v -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590
131.67/131.79	v -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600
131.67/131.79	v -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610
131.67/131.79	v -x2611 x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620
131.67/131.79	v -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630
131.67/131.79	v -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 x2638 -x2639 -x2640
131.67/131.79	v -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650
131.67/131.79	v -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660
131.67/131.79	v -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670
131.67/131.79	v -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680
131.67/131.79	v -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690
131.67/131.79	v -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700
131.67/131.79	v -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710
131.67/131.79	v -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720
131.67/131.79	v -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730
131.67/131.79	v -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740
131.67/131.79	v -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 x2750
131.67/131.79	v -x2751 x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760
131.67/131.79	v -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770
131.67/131.79	v -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780
131.67/131.79	v -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790
131.67/131.79	v -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 x2799 -x2800
131.67/131.79	v -x2801 -x2802 -x2803 -x2804 x2805 -x2806 -x2807 -x2808 -x2809 -x2810
131.67/131.79	v -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820
131.67/131.79	v -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 x2829 -x2830
131.67/131.79	v -x2831 -x2832 x2833 -x2834 -x2835 -x2836 -x2837 x2838 -x2839 -x2840
131.67/131.79	v -x2841 -x2842 x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850
131.67/131.79	v -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860
131.67/131.79	v -x2861 -x2862 -x2863 -x2864 -x2865 x2866 -x2867 -x2868 -x2869 -x2870
131.67/131.79	v -x2871 -x2872 x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880
131.67/131.79	v -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890
131.67/131.79	v -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900
131.67/131.79	v -x2901 x2902 -x2903 -x2904 x2905 -x2906 -x2907 -x2908 -x2909 -x2910
131.67/131.79	v -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920
131.67/131.79	v -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 x2930
131.67/131.79	v -x2931 -x2932 -x2933 -x2934 x2935 -x2936 -x2937 -x2938 -x2939 -x2940
131.67/131.79	v x2941 -x2942 x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950
131.67/131.79	v -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960
131.67/131.79	v -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 x2968 -x2969 x2970
131.67/131.79	v -x2971 -x2972 -x2973 x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980
131.67/131.79	v -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990
131.67/131.79	v -x2991 -x2992 -x2993 x2994 -x2995 -x2996 -x2997 x2998 -x2999 x3000
131.67/131.79	v -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010
131.67/131.79	v -x3011 -x3012 -x3013 x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020
131.67/131.79	v -x3021 -x3022 -x3023 -x3024 -x3025 x3026 -x3027 -x3028 -x3029 -x3030
131.67/131.79	v -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040
131.67/131.79	v -x3041 x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050
131.67/131.79	v -x3051 -x3052 -x3053 -x3054 -x3055 x3056 -x3057 -x3058 -x3059 -x3060
131.67/131.79	v -x3061 x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070
131.67/131.79	v -x3071 -x3072 -x3073 -x3074 -x3075 x3076 -x3077 x3078 -x3079 -x3080
131.67/131.79	v -x3081 -x3082 x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090
131.67/131.79	v -x3091 x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100
131.67/131.79	v -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 x3110
131.67/131.79	v -x3111 x3112 -x3113 -x3114 x3115 -x3116 -x3117 -x3118 -x3119 -x3120
131.67/131.79	v -x3121 -x3122 -x3123 x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130
131.67/131.79	v -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140
131.67/131.79	v -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150
131.67/131.79	v -x3151 -x3152 -x3153 x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160
131.67/131.79	v -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 x3167 -x3168 -x3169 -x3170
131.67/131.79	v -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180
131.67/131.79	v -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190
131.67/131.79	v x3191 -x3192 -x3193 -x3194 -x3195 -x3196 x3197 -x3198 x3199 -x3200
131.67/131.79	v -x3201 -x3202 -x3203 -x3204 -x3205 x3206 x3207 -x3208 -x3209 -x3210
131.67/131.79	v -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220
131.67/131.79	v -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 x3227 -x3228 x3229 -x3230
131.67/131.79	v x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240
131.67/131.79	v -x3241 -x3242 -x3243 x3244 -x3245 x3246 -x3247 -x3248 -x3249 -x3250
131.67/131.79	v -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260
131.67/131.79	v -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270
131.67/131.79	v -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280
131.67/131.79	v -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290
131.67/131.79	v -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300
131.67/131.79	v -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310
131.67/131.79	v -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320
131.67/131.79	v x3321 -x3322 -x3323 -x3324 -x3325 x3326 -x3327 -x3328 -x3329 -x3330
131.67/131.79	v -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340
131.67/131.79	v -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350
131.67/131.79	v x3351 -x3352 -x3353 -x3354 -x3355 x3356 x3357 -x3358 -x3359 -x3360
131.67/131.79	v -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370
131.67/131.79	v -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 x3377 -x3378 x3379 -x3380
131.67/131.79	v -x3381 -x3382 -x3383 -x3384 -x3385 x3386 x3387 -x3388 -x3389 -x3390
131.67/131.79	v -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400
131.67/131.79	v -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410
131.67/131.79	v -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420
131.67/131.79	v -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430
131.67/131.79	v -x3431 -x3432 -x3433 -x3434 -x3435
131.67/131.79	c total time = 131.770s

Verifier Data 

OK	7836062

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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-3724853-1338649598/watcher-3724853-1338649598 -o /tmp/evaluation-result-3724853-1338649598/solver-3724853-1338649598 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3724853-1338649598.opb 

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.00 2.00 2.00 3/176 9233
/proc/meminfo: memFree=26789612/32873648 swapFree=6864/6864
[pid=9233] ppid=9231 vsize=6224 CPUtime=0 cores=0,2,4,6
/proc/9233/stat : 9233 (toysat) R 9231 9233 7878 0 -1 4202496 828 0 0 0 0 0 0 0 20 0 1 0 331086606 6373376 747 33554432000 4194304 8989770 140735408427280 140733948901352 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/9233/statm: 1556 747 429 1171 0 333 0

[startup+0.0599621 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 9233
/proc/meminfo: memFree=26789612/32873648 swapFree=6864/6864
[pid=9233] ppid=9231 vsize=10320 CPUtime=0.05 cores=0,2,4,6
/proc/9233/stat : 9233 (toysat) R 9231 9233 7878 0 -1 4202496 1759 0 0 0 5 0 0 0 20 0 1 0 331086606 10567680 1678 33554432000 4194304 8989770 140735408427280 140733948901352 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/9233/statm: 2580 1678 431 1171 0 1357 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10320

[startup+0.100324 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 9233
/proc/meminfo: memFree=26789612/32873648 swapFree=6864/6864
[pid=9233] ppid=9231 vsize=12368 CPUtime=0.09 cores=0,2,4,6
/proc/9233/stat : 9233 (toysat) R 9231 9233 7878 0 -1 4202496 2370 0 0 0 9 0 0 0 20 0 1 0 331086606 12664832 2289 33554432000 4194304 8989770 140735408427280 140733948901352 4213900 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/9233/statm: 3092 2289 431 1171 0 1869 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12368

[startup+0.3003 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 9233
/proc/meminfo: memFree=26789612/32873648 swapFree=6864/6864
[pid=9233] ppid=9231 vsize=20560 CPUtime=0.29 cores=0,2,4,6
/proc/9233/stat : 9233 (toysat) R 9231 9233 7878 0 -1 4202496 4263 0 0 0 29 0 0 0 20 0 1 0 331086606 21053440 4182 33554432000 4194304 8989770 140735408427280 140733948901352 7415894 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/9233/statm: 5140 4182 473 1171 0 3917 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20560

[startup+0.700305 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 9233
/proc/meminfo: memFree=26789612/32873648 swapFree=6864/6864
[pid=9233] ppid=9231 vsize=22608 CPUtime=0.69 cores=0,2,4,6
/proc/9233/stat : 9233 (toysat) R 9231 9233 7878 0 -1 4202496 4978 0 0 0 69 0 0 0 20 0 1 0 331086606 23150592 4897 33554432000 4194304 8989770 140735408427280 140735408426776 4469708 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/9233/statm: 5652 4897 473 1171 0 4429 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 22608

[startup+1.50022 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9234
/proc/meminfo: memFree=26771708/32873648 swapFree=6864/6864
[pid=9233] ppid=9231 vsize=22608 CPUtime=1.48 cores=0,2,4,6
/proc/9233/stat : 9233 (toysat) R 9231 9233 7878 0 -1 4202496 4978 0 0 0 148 0 0 0 20 0 1 0 331086606 23150592 4897 33554432000 4194304 8989770 140735408427280 140735408426776 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/9233/statm: 5652 4897 473 1171 0 4429 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 22608

[startup+3.10022 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9234
/proc/meminfo: memFree=26771336/32873648 swapFree=6864/6864
[pid=9233] ppid=9231 vsize=22608 CPUtime=3.08 cores=0,2,4,6
/proc/9233/stat : 9233 (toysat) R 9231 9233 7878 0 -1 4202496 4978 0 0 0 307 1 0 0 20 0 1 0 331086606 23150592 4897 33554432000 4194304 8989770 140735408427280 140735408426776 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/9233/statm: 5652 4897 473 1171 0 4429 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 22608

[startup+6.30023 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9234
/proc/meminfo: memFree=26770204/32873648 swapFree=6864/6864
[pid=9233] ppid=9231 vsize=22608 CPUtime=6.29 cores=0,2,4,6
/proc/9233/stat : 9233 (toysat) R 9231 9233 7878 0 -1 4202496 4978 0 0 0 626 3 0 0 20 0 1 0 331086606 23150592 4897 33554432000 4194304 8989770 140735408427280 140735408426776 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/9233/statm: 5652 4897 473 1171 0 4429 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 22608

[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9234
/proc/meminfo: memFree=26770624/32873648 swapFree=6864/6864
[pid=9233] ppid=9231 vsize=23632 CPUtime=12.69 cores=0,2,4,6
/proc/9233/stat : 9233 (toysat) R 9231 9233 7878 0 -1 4202496 5017 0 0 0 1263 6 0 0 20 0 1 0 331086606 24199168 4936 33554432000 4194304 8989770 140735408427280 140735408426776 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/9233/statm: 5908 4936 473 1171 0 4685 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 23632

[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9234
/proc/meminfo: memFree=26769740/32873648 swapFree=6864/6864
[pid=9233] ppid=9231 vsize=23632 CPUtime=25.49 cores=0,2,4,6
/proc/9233/stat : 9233 (toysat) R 9231 9233 7878 0 -1 4202496 5234 0 0 0 2535 14 0 0 20 0 1 0 331086606 24199168 5153 33554432000 4194304 8989770 140735408427280 140735408426776 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/9233/statm: 5908 5153 473 1171 0 4685 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 23632

[startup+51.1002 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 9273
/proc/meminfo: memFree=27695112/32873648 swapFree=6864/6864
[pid=9233] ppid=9231 vsize=27728 CPUtime=51.08 cores=0,2,4,6
/proc/9233/stat : 9233 (toysat) R 9231 9233 7878 0 -1 4202496 6263 0 0 0 5080 28 0 0 20 0 1 0 331086606 28393472 6182 33554432000 4194304 8989770 140735408427280 140735408426776 7857787 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/9233/statm: 6932 6182 473 1171 0 5709 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 27728

[startup+102.307 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 9273
/proc/meminfo: memFree=27639612/32873648 swapFree=6864/6864
[pid=9233] ppid=9231 vsize=35920 CPUtime=102.27 cores=0,2,4,6
/proc/9233/stat : 9233 (toysat) R 9231 9233 7878 0 -1 4202496 8313 0 0 0 10175 52 0 0 20 0 1 0 331086606 36782080 8232 33554432000 4194304 8989770 140735408427280 140735408426776 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/9233/statm: 8980 8232 475 1171 0 7757 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 35920

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

[startup+115.1 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 9273
/proc/meminfo: memFree=27639472/32873648 swapFree=6864/6864
[pid=9233] ppid=9231 vsize=35920 CPUtime=115.06 cores=0,2,4,6
/proc/9233/stat : 9233 (toysat) R 9231 9233 7878 0 -1 4202496 8313 0 0 0 11448 58 0 0 20 0 1 0 331086606 36782080 8232 33554432000 4194304 8989770 140735408427280 140735408426776 7953280 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/9233/statm: 8980 8232 475 1171 0 7757 0
Current children cumulated CPU time (s) 115.06
Current children cumulated vsize (KiB) 35920

[startup+121.5 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 9273
/proc/meminfo: memFree=27639332/32873648 swapFree=6864/6864
[pid=9233] ppid=9231 vsize=35920 CPUtime=121.46 cores=0,2,4,6
/proc/9233/stat : 9233 (toysat) R 9231 9233 7878 0 -1 4202496 8313 0 0 0 12085 61 0 0 20 0 1 0 331086606 36782080 8232 33554432000 4194304 8989770 140735408427280 140735408426776 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/9233/statm: 8980 8232 475 1171 0 7757 0
Current children cumulated CPU time (s) 121.46
Current children cumulated vsize (KiB) 35920

[startup+127.9 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 9273
/proc/meminfo: memFree=27639192/32873648 swapFree=6864/6864
[pid=9233] ppid=9231 vsize=35920 CPUtime=127.87 cores=0,2,4,6
/proc/9233/stat : 9233 (toysat) R 9231 9233 7878 0 -1 4202496 8313 0 0 0 12722 65 0 0 20 0 1 0 331086606 36782080 8232 33554432000 4194304 8989770 140735408427280 140735408426776 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/9233/statm: 8980 8232 475 1171 0 7757 0
Current children cumulated CPU time (s) 127.87
Current children cumulated vsize (KiB) 35920

[startup+129.5 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 9273
/proc/meminfo: memFree=27639192/32873648 swapFree=6864/6864
[pid=9233] ppid=9231 vsize=35920 CPUtime=129.46 cores=0,2,4,6
/proc/9233/stat : 9233 (toysat) R 9231 9233 7878 0 -1 4202496 8313 0 0 0 12881 65 0 0 20 0 1 0 331086606 36782080 8232 33554432000 4194304 8989770 140735408427280 140735408426776 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/9233/statm: 8980 8232 475 1171 0 7757 0
Current children cumulated CPU time (s) 129.46
Current children cumulated vsize (KiB) 35920

[startup+131.1 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 9273
/proc/meminfo: memFree=27639316/32873648 swapFree=6864/6864
[pid=9233] ppid=9231 vsize=35920 CPUtime=131.06 cores=0,2,4,6
/proc/9233/stat : 9233 (toysat) R 9231 9233 7878 0 -1 4202496 8313 0 0 0 13040 66 0 0 20 0 1 0 331086606 36782080 8232 33554432000 4194304 8989770 140735408427280 140735408426776 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/9233/statm: 8980 8232 475 1171 0 7757 0
Current children cumulated CPU time (s) 131.06
Current children cumulated vsize (KiB) 35920

[startup+131.5 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 9273
/proc/meminfo: memFree=27639316/32873648 swapFree=6864/6864
[pid=9233] ppid=9231 vsize=35920 CPUtime=131.46 cores=0,2,4,6
/proc/9233/stat : 9233 (toysat) R 9231 9233 7878 0 -1 4202496 8313 0 0 0 13080 66 0 0 20 0 1 0 331086606 36782080 8232 33554432000 4194304 8989770 140735408427280 140735408426776 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/9233/statm: 8980 8232 475 1171 0 7757 0
Current children cumulated CPU time (s) 131.46
Current children cumulated vsize (KiB) 35920

[startup+131.7 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 9273
/proc/meminfo: memFree=27639316/32873648 swapFree=6864/6864
[pid=9233] ppid=9231 vsize=35920 CPUtime=131.67 cores=0,2,4,6
/proc/9233/stat : 9233 (toysat) R 9231 9233 7878 0 -1 4202496 8313 0 0 0 13100 67 0 0 20 0 1 0 331086606 36782080 8232 33554432000 4194304 8989770 140735408427280 140735408426776 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/9233/statm: 8980 8232 475 1171 0 7757 0
Current children cumulated CPU time (s) 131.67
Current children cumulated vsize (KiB) 35920

Child status: 0
Real time (s): 131.796
CPU time (s): 131.771
CPU user time (s): 131.098
CPU system time (s): 0.672897
CPU usage (%): 99.9812
Max. virtual memory (cumulated for all children) (KiB): 35920

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 131.098
system time used= 0.672897
maximum resident set size= 32944
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8317
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= 8
involuntary context switches= 143

runsolver used 0.384941 second user time and 0.813876 second system time

The end

Launcher Data 

Begin job on node113 at 2012-06-02 17:06:38
IDJOB=3724853
IDBENCH=92765
IDSOLVER=2308
FILE ID=node113/3724853-1338649598
RUNJOBID= node113-1338631506-7894
PBS_JOBID= 14636467
Free space on /tmp= 71004 MiB

SOLVER NAME= toysat 2012-06-01
BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/IC/normalized-minisat15_5_3_9_ic.opb
COMMAND LINE= HOME/toysat +RTS -K1G -RTS --pb BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3724853-1338649598/watcher-3724853-1338649598 -o /tmp/evaluation-result-3724853-1338649598/solver-3724853-1338649598 -C 1800 -W 1900 -M 15500  HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3724853-1338649598.opb

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

MD5SUM BENCH= 6e6423d95c6457aac671f6ff150ae932
RANDOM SEED=1784822684

node113.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		: 2667.026
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	: 5334.05
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		: 2667.026
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	: 5331.90
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		: 2667.026
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	: 5438.54
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		: 2667.026
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	: 5331.91
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		: 2667.026
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	: 5331.91
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		: 2667.026
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	: 5331.91
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		: 2667.026
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	: 5331.92
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		: 2667.026
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	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        26789240 kB
Buffers:          493436 kB
Cached:          3266068 kB
SwapCached:         2020 kB
Active:          3058940 kB
Inactive:        2138348 kB
Active(anon):    1436784 kB
Inactive(anon):     1800 kB
Active(file):    1622156 kB
Inactive(file):  2136548 kB
Unevictable:        6864 kB
Mlocked:            6864 kB
SwapTotal:      67108856 kB
SwapFree:       67099596 kB
Dirty:              7772 kB
Writeback:             0 kB
AnonPages:       1441032 kB
Mapped:            12880 kB
Shmem:                 0 kB
Slab:             748512 kB
SReclaimable:     192920 kB
SUnreclaim:       555592 kB
KernelStack:        1480 kB
PageTables:         6492 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:    1557100 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71020 MiB
End job on node113 at 2012-06-02 17:08:49