Trace number 3500544

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
pwbo 1.1SAT (TO)18 1800.22 900.143

General information on the benchmark

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

Verifier Data 

OK	18

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 /var/tmp/evaluation-result-3500544-1307996514/watcher-3500544-1307996514 -o /var/tmp/evaluation-result-3500544-1307996514/solver-3500544-1307996514 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500544-1307996514.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: 3.96 3.93 3.91 4/179 32744
/proc/meminfo: memFree=4288968/32951124 swapFree=67052292/67111528
[pid=32744] ppid=32742 vsize=3264 CPUtime=0 cores=0,2,4,6
/proc/32744/stat : 32744 (pwbo1.1) R 32742 32744 30934 0 -1 4202496 483 0 0 0 0 0 0 0 25 0 1 0 911252310 3342336 435 33554432000 4194304 5714118 140734570347344 18446744073709551615 4228135 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/32744/statm: 816 435 168 372 0 334 0

[startup+0.030982 s]
/proc/loadavg: 3.96 3.93 3.91 4/179 32744
/proc/meminfo: memFree=4288968/32951124 swapFree=67052292/67111528
[pid=32744] ppid=32742 vsize=6208 CPUtime=0.02 cores=0,2,4,6
/proc/32744/stat : 32744 (pwbo1.1) R 32742 32744 30934 0 -1 4202496 1264 0 0 0 2 0 0 0 25 0 1 0 911252310 6356992 1216 33554432000 4194304 5714118 140734570347344 18446744073709551615 4233524 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/32744/statm: 1552 1216 243 372 0 1070 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 6208

[startup+0.100993 s]
/proc/loadavg: 3.96 3.93 3.91 4/179 32744
/proc/meminfo: memFree=4288968/32951124 swapFree=67052292/67111528
[pid=32744] ppid=32742 vsize=140720 CPUtime=0.15 cores=0,2,4,6
/proc/32744/stat : 32744 (pwbo1.1) S 32742 32744 30934 0 -1 4202496 4813 0 0 0 13 2 0 0 25 0 3 0 911252310 144097280 4424 33554432000 4194304 5714118 140734570347344 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/32744/statm: 35180 4424 181 372 0 34805 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 140720

[startup+0.300967 s]
/proc/loadavg: 3.96 3.93 3.91 4/179 32744
/proc/meminfo: memFree=4288968/32951124 swapFree=67052292/67111528
[pid=32744] ppid=32742 vsize=140720 CPUtime=0.55 cores=0,2,4,6
/proc/32744/stat : 32744 (pwbo1.1) S 32742 32744 30934 0 -1 4202496 5360 0 0 0 52 3 0 0 25 0 3 0 911252310 144097280 4971 33554432000 4194304 5714118 140734570347344 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/32744/statm: 35180 4971 181 372 0 34805 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 140720

[startup+0.700865 s]
/proc/loadavg: 3.96 3.93 3.91 4/179 32744
/proc/meminfo: memFree=4288968/32951124 swapFree=67052292/67111528
[pid=32744] ppid=32742 vsize=140720 CPUtime=1.35 cores=0,2,4,6
/proc/32744/stat : 32744 (pwbo1.1) S 32742 32744 30934 0 -1 4202496 6413 0 0 0 129 6 0 0 25 0 3 0 911252310 144097280 6024 33554432000 4194304 5714118 140734570347344 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/32744/statm: 35180 6024 181 372 0 34805 0
Current children cumulated CPU time (s) 1.35
Current children cumulated vsize (KiB) 140720

[startup+1.50072 s]
/proc/loadavg: 3.96 3.93 3.91 5/182 32747
/proc/meminfo: memFree=4260696/32951124 swapFree=67052292/67111528
[pid=32744] ppid=32742 vsize=140720 CPUtime=2.95 cores=0,2,4,6
/proc/32744/stat : 32744 (pwbo1.1) S 32742 32744 30934 0 -1 4202496 9597 0 0 0 283 12 0 0 25 0 3 0 911252310 144097280 9208 33554432000 4194304 5714118 140734570347344 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/32744/statm: 35180 9208 181 372 0 34805 0
[pid=32744/tid=32746] ppid=32742 vsize=140720 CPUtime=1.46 cores=0,2,4,6
/proc/32744/task/32746/stat : 32746 (pwbo1.1) R 32742 32744 30934 0 -1 4202560 3242 0 0 0 144 2 0 0 25 0 3 0 911252314 144097280 9208 33554432000 4194304 5714118 140734570347344 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=32744/tid=32747] ppid=32742 vsize=140720 CPUtime=1.45 cores=0,2,4,6
/proc/32744/task/32747/stat : 32747 (pwbo1.1) R 32742 32744 30934 0 -1 4202560 4842 0 0 0 135 10 0 0 18 0 3 0 911252314 144097280 9208 33554432000 4194304 5714118 140734570347344 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 140720

[startup+3.10047 s]
/proc/loadavg: 3.96 3.93 3.91 5/182 32747
/proc/meminfo: memFree=4245940/32951124 swapFree=67052292/67111528
[pid=32744] ppid=32742 vsize=140852 CPUtime=6.15 cores=0,2,4,6
/proc/32744/stat : 32744 (pwbo1.1) S 32742 32744 30934 0 -1 4202496 14259 0 0 0 595 20 0 0 25 0 3 0 911252310 144232448 13870 33554432000 4194304 5714118 140734570347344 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/32744/statm: 35213 13870 181 372 0 34838 0
[pid=32744/tid=32746] ppid=32742 vsize=140852 CPUtime=3.05 cores=0,2,4,6
/proc/32744/task/32746/stat : 32746 (pwbo1.1) R 32742 32744 30934 0 -1 4202560 5573 0 0 0 302 3 0 0 25 0 3 0 911252314 144232448 13870 33554432000 4194304 5714118 140734570347344 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=32744/tid=32747] ppid=32742 vsize=140852 CPUtime=3.05 cores=0,2,4,6
/proc/32744/task/32747/stat : 32747 (pwbo1.1) R 32742 32744 30934 0 -1 4202560 7173 0 0 0 288 17 0 0 18 0 3 0 911252314 144232448 13870 33554432000 4194304 5714118 140734570347344 18446744073709551615 4319293 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 140852

[startup+6.3009 s]
/proc/loadavg: 3.97 3.93 3.91 5/182 32747
/proc/meminfo: memFree=4218784/32951124 swapFree=67052292/67111528
[pid=32744] ppid=32742 vsize=141248 CPUtime=12.55 cores=0,2,4,6
/proc/32744/stat : 32744 (pwbo1.1) S 32742 32744 30934 0 -1 4202496 17856 0 0 0 1226 29 0 0 25 0 3 0 911252310 144637952 17467 33554432000 4194304 5714118 140734570347344 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/32744/statm: 35312 17467 181 372 0 34937 0
[pid=32744/tid=32746] ppid=32742 vsize=141248 CPUtime=6.25 cores=0,2,4,6
/proc/32744/task/32746/stat : 32746 (pwbo1.1) R 32742 32744 30934 0 -1 4202560 7691 0 0 0 619 6 0 0 25 0 3 0 911252314 144637952 17467 33554432000 4194304 5714118 140734570347344 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=32744/tid=32747] ppid=32742 vsize=141248 CPUtime=6.25 cores=0,2,4,6
/proc/32744/task/32747/stat : 32747 (pwbo1.1) R 32742 32744 30934 0 -1 4202560 8652 0 0 0 603 22 0 0 21 0 3 0 911252314 144637952 17467 33554432000 4194304 5714118 140734570347344 18446744073709551615 4319374 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 141248

[startup+12.7008 s]
/proc/loadavg: 3.97 3.93 3.91 5/182 32747
/proc/meminfo: memFree=4193756/32951124 swapFree=67052292/67111528
[pid=32744] ppid=32742 vsize=142140 CPUtime=25.35 cores=0,2,4,6
/proc/32744/stat : 32744 (pwbo1.1) S 32742 32744 30934 0 -1 4202496 24372 0 0 0 2491 44 0 0 25 0 3 0 911252310 145551360 23983 33554432000 4194304 5714118 140734570347344 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/32744/statm: 35535 23983 181 372 0 35160 0
[pid=32744/tid=32746] ppid=32742 vsize=142140 CPUtime=12.66 cores=0,2,4,6
/proc/32744/task/32746/stat : 32746 (pwbo1.1) R 32742 32744 30934 0 -1 4202560 7692 0 0 0 1257 9 0 0 25 0 3 0 911252314 145551360 23983 33554432000 4194304 5714118 140734570347344 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=32744/tid=32747] ppid=32742 vsize=142140 CPUtime=12.65 cores=0,2,4,6
/proc/32744/task/32747/stat : 32747 (pwbo1.1) R 32742 32744 30934 0 -1 4202560 15167 0 0 0 1230 35 0 0 25 0 3 0 911252314 145551360 23983 33554432000 4194304 5714118 140734570347344 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 142140

[startup+25.5005 s]
/proc/loadavg: 3.97 3.93 3.91 5/182 32748
/proc/meminfo: memFree=4169820/32951124 swapFree=67052292/67111528
[pid=32744] ppid=32742 vsize=208084 CPUtime=50.95 cores=0,2,4,6
/proc/32744/stat : 32744 (pwbo1.1) S 32742 32744 30934 0 -1 4202496 30331 0 0 0 5036 59 0 0 25 0 3 0 911252310 213078016 29906 33554432000 4194304 5714118 140734570347344 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/32744/statm: 52021 29907 182 372 0 51646 0
[pid=32744/tid=32746] ppid=32742 vsize=208084 CPUtime=25.46 cores=0,2,4,6
/proc/32744/task/32746/stat : 32746 (pwbo1.1) R 32742 32744 30934 0 -1 4202560 11237 0 0 0 2530 16 0 0 25 0 3 0 911252314 213078016 29907 33554432000 4194304 5714118 140734570347344 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=32744/tid=32747] ppid=32742 vsize=208084 CPUtime=25.45 cores=0,2,4,6
/proc/32744/task/32747/stat : 32747 (pwbo1.1) R 32742 32744 30934 0 -1 4202560 17582 0 0 0 2503 42 0 0 18 0 3 0 911252314 213078016 29907 33554432000 4194304 5714118 140734570347344 18446744073709551615 4319398 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 50.95
Current children cumulated vsize (KiB) 208084

[startup+51.101 s]
/proc/loadavg: 3.98 3.94 3.91 5/182 32748
/proc/meminfo: memFree=4059072/32951124 swapFree=67052292/67111528
[pid=32744] ppid=32742 vsize=274612 CPUtime=102.15 cores=0,2,4,6
/proc/32744/stat : 32744 (pwbo1.1) S 32742 32744 30934 0 -1 4202496 56114 0 0 0 10120 95 0 0 25 0 3 0 911252310 281202688 55689 33554432000 4194304 5714118 140734570347344 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/32744/statm: 68653 55689 182 372 0 68278 0
[pid=32744/tid=32746] ppid=32742 vsize=274612 CPUtime=51.05 cores=0,2,4,6
/proc/32744/task/32746/stat : 32746 (pwbo1.1) R 32742 32744 30934 0 -1 4202560 26592 0 0 0 5081 24 0 0 25 0 3 0 911252314 281202688 55689 33554432000 4194304 5714118 140734570347344 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=32744/tid=32747] ppid=32742 vsize=274612 CPUtime=51.05 cores=0,2,4,6
/proc/32744/task/32747/stat : 32747 (pwbo1.1) R 32742 32744 30934 0 -1 4202560 28009 0 0 0 5035 70 0 0 25 0 3 0 911252314 281202688 55689 33554432000 4194304 5714118 140734570347344 18446744073709551615 4319370 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 102.15
Current children cumulated vsize (KiB) 274612

[startup+102.307 s]
/proc/loadavg: 3.99 3.94 3.91 5/182 32750
/proc/meminfo: memFree=3987212/32951124 swapFree=67052292/67111528
[pid=32744] ppid=32742 vsize=341384 CPUtime=204.57 cores=0,2,4,6
/proc/32744/stat : 32744 (pwbo1.1) S 32742 32744 30934 0 -1 4202496 70878 0 0 0 20314 143 0 0 25 0 3 0 911252310 349577216 70453 33554432000 4194304 5714118 140734570347344 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/32744/statm: 85346 70453 182 372 0 84971 0
[pid=32744/tid=32746] ppid=32742 vsize=341384 CPUtime=102.26 cores=0,2,4,6
/proc/32744/task/32746/stat : 32746 (pwbo1.1) R 32742 32744 30934 0 -1 4202560 26604 0 0 0 10189 37 0 0 25 0 3 0 911252314 349577216 70453 33554432000 4194304 5714118 140734570347344 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=32744/tid=32747] ppid=32742 vsize=341384 CPUtime=102.26 cores=0,2,4,6
/proc/32744/task/32747/stat : 32747 (pwbo1.1) R 32742 32744 30934 0 -1 4202560 42761 0 0 0 10120 106 0 0 25 0 3 0 911252314 349577216 70453 33554432000 4194304 5714118 140734570347344 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 204.57
Current children cumulated vsize (KiB) 341384

[startup+162.3 s]
/proc/loadavg: 4.07 3.97 3.91 5/182 32751
/proc/meminfo: memFree=3878416/32951124 swapFree=67052292/67111528
[pid=32744] ppid=32742 vsize=473916 CPUtime=324.54 cores=0,2,4,6
/proc/32744/stat : 32744 (pwbo1.1) S 32742 32744 30934 0 -1 4202496 97684 0 0 0 32245 209 0 0 25 0 3 0 911252310 485289984 97259 33554432000 4194304 5714118 140734570347344 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/32744/statm: 118479 97261 182 372 0 118104 0
[pid=32744/tid=32746] ppid=32742 vsize=473916 CPUtime=162.24 cores=0,2,4,6
/proc/32744/task/32746/stat : 32746 (pwbo1.1) R 32742 32744 30934 0 -1 4202560 51839 0 0 0 16133 91 0 0 25 0 3 0 911252314 485289984 97261 33554432000 4194304 5714118 140734570347344 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=32744/tid=32747] ppid=32742 vsize=473916 CPUtime=162.25 cores=0,2,4,6
/proc/32744/task/32747/stat : 32747 (pwbo1.1) R 32742 32744 30934 0 -1 4202560 44334 0 0 0 16108 117 0 0 25 0 3 0 911252314 485289984 97261 33554432000 4194304 5714118 140734570347344 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 324.54
Current children cumulated vsize (KiB) 473916

[startup+222.301 s]
/proc/loadavg: 4.03 3.97 3.91 5/182 32753
/proc/meminfo: memFree=3802000/32951124 swapFree=67052292/67111528
[pid=32744] ppid=32742 vsize=540064 CPUtime=444.55 cores=0,2,4,6
/proc/32744/stat : 32744 (pwbo1.1) S 32742 32744 30934 0 -1 4202496 115313 0 0 0 44190 265 0 0 25 0 3 0 911252310 553025536 114794 33554432000 4194304 5714118 140734570347344 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/32744/statm: 135016 114794 182 372 0 134641 0
[pid=32744/tid=32746] ppid=32742 vsize=540064 CPUtime=222.25 cores=0,2,4,6
/proc/32744/task/32746/stat : 32746 (pwbo1.1) R 32742 32744 30934 0 -1 4202560 54218 0 0 0 22114 111 0 0 25 0 3 0 911252314 553025536 114794 33554432000 4194304 5714118 140734570347344 18446744073709551615 4319374 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=32744/tid=32747] ppid=32742 vsize=540064 CPUtime=222.25 cores=0,2,4,6
/proc/32744/task/32747/stat : 32747 (pwbo1.1) R 32742 32744 30934 0 -1 4202560 59582 0 0 0 22072 153 0 0 25 0 3 0 911252314 553025536 114794 33554432000 4194304 5714118 140734570347344 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 444.55
Current children cumulated vsize (KiB) 540064

[startup+282.301 s]
/proc/loadavg: 4.01 3.97 3.91 5/182 32755
/proc/meminfo: memFree=3727576/32951124 swapFree=67052292/67111528
[pid=32744] ppid=32742 vsize=605840 CPUtime=564.54 cores=0,2,4,6
/proc/32744/stat : 32744 (pwbo1.1) S 32742 32744 30934 0 -1 4202496 133086 0 0 0 56137 317 0 0 25 0 3 0 911252310 620380160 132567 33554432000 4194304 5714118 140734570347344 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/32744/statm: 151460 132567 182 372 0 151085 0
[pid=32744/tid=32746] ppid=32742 vsize=605840 CPUtime=282.25 cores=0,2,4,6
/proc/32744/task/32746/stat : 32746 (pwbo1.1) R 32742 32744 30934 0 -1 4202560 54218 0 0 0 28097 128 0 0 25 0 3 0 911252314 620380160 132567 33554432000 4194304 5714118 140734570347344 18446744073709551615 4198963 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=32744/tid=32747] ppid=32742 vsize=605840 CPUtime=282.26 cores=0,2,4,6
/proc/32744/task/32747/stat : 32747 (pwbo1.1) R 32742 32744 30934 0 -1 4202560 77355 0 0 0 28037 189 0 0 25 0 3 0 911252314 620380160 132567 33554432000 4194304 5714118 140734570347344 18446744073709551615 4319218 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 564.54
Current children cumulated vsize (KiB) 605840

[startup+342.3 s]
/proc/loadavg: 3.91 3.94 3.91 5/182 338
/proc/meminfo: memFree=3811660/32951124 swapFree=67052292/67111528
[pid=32744] ppid=32742 vsize=606784 CPUtime=684.54 cores=0,2,4,6
/proc/32744/stat : 32744 (pwbo1.1) S 32742 32744 30934 0 -1 4202496 133287 0 0 0 68113 341 0 0 25 0 3 0 911252310 621346816 132768 33554432000 4194304 5714118 140734570347344 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/32744/statm: 151696 132768 182 372 0 151321 0
[pid=32744/tid=32746] ppid=32742 vsize=606784 CPUtime=342.23 cores=0,2,4,6
/proc/32744/task/32746/stat : 32746 (pwbo1.1) R 32742 32744 30934 0 -1 4202560 54219 0 0 0 34077 146 0 0 25 0 3 0 911252314 621346816 132768 33554432000 4194304 5714118 140734570347344 18446744073709551615 4200720 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=32744/tid=32747] ppid=32742 vsize=606784 CPUtime=342.26 cores=0,2,4,6
/proc/32744/task/32747/stat : 32747 (pwbo1.1) R 32742 32744 30934 0 -1 4202560 77555 0 0 0 34032 194 0 0 25 0 3 0 911252314 621346816 132768 33554432000 4194304 5714118 140734570347344 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 684.54
Current children cumulated vsize (KiB) 606784

[startup+402.301 s]
/proc/loadavg: 3.97 3.95 3.91 5/182 340
/proc/meminfo: memFree=3741664/32951124 swapFree=67052292/67111528
[pid=32744] ppid=32742 vsize=607392 CPUtime=804.55 cores=0,2,4,6
/proc/32744/stat : 32744 (pwbo1.1) S 32742 32744 30934 0 -1 4202496 133409 0 0 0 80093 362 0 0 25 0 3 0 911252310 621969408 132890 33554432000 4194304 5714118 140734570347344 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/32744/statm: 151848 132890 182 372 0 151473 0
[pid=32744/tid=32746] ppid=32742 vsize=607392 CPUtime=402.24 cores=0,2,4,6
/proc/32744/task/32746/stat : 32746 (pwbo1.1) R 32742 32744 30934 0 -1 4202560 54219 0 0 0 40063 161 0 0 25 0 3 0 911252314 621969408 132890 33554432000 4194304 5714118 140734570347344 18446744073709551615 4319293 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=32744/tid=32747] ppid=32742 vsize=607392 CPUtime=402.26 cores=0,2,4,6
/proc/32744/task/32747/stat : 32747 (pwbo1.1) R 32742 32744 30934 0 -1 4202560 77677 0 0 0 40026 200 0 0 25 0 3 0 911252314 621969408 132890 33554432000 4194304 5714118 140734570347344 18446744073709551615 4319347 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 804.55
Current children cumulated vsize (KiB) 607392

[startup+462.301 s]
/proc/loadavg: 3.99 3.95 3.91 5/182 341
/proc/meminfo: memFree=3673520/32951124 swapFree=67052292/67111528
[pid=32744] ppid=32742 vsize=673260 CPUtime=924.55 cores=0,2,4,6
/proc/32744/stat : 32744 (pwbo1.1) S 32742 32744 30934 0 -1 4202496 145851 0 0 0 92055 400 0 0 25 0 3 0 911252310 689418240 145332 33554432000 4194304 5714118 140734570347344 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/32744/statm: 168315 145332 182 372 0 167940 0
[pid=32744/tid=32746] ppid=32742 vsize=673260 CPUtime=462.24 cores=0,2,4,6
/proc/32744/task/32746/stat : 32746 (pwbo1.1) R 32742 32744 30934 0 -1 4202560 54219 0 0 0 46052 172 0 0 25 0 3 0 911252314 689418240 145332 33554432000 4194304 5714118 140734570347344 18446744073709551615 4319347 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=32744/tid=32747] ppid=32742 vsize=673260 CPUtime=462.26 cores=0,2,4,6
/proc/32744/task/32747/stat : 32747 (pwbo1.1) R 32742 32744 30934 0 -1 4202560 90119 0 0 0 45999 227 0 0 25 0 3 0 911252314 689418240 145332 33554432000 4194304 5714118 140734570347344 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 924.55
Current children cumulated vsize (KiB) 673260

[startup+522.301 s]
/proc/loadavg: 3.30 3.77 3.85 3/175 577
/proc/meminfo: memFree=3881348/32951124 swapFree=67052292/67111528
[pid=32744] ppid=32742 vsize=673936 CPUtime=1044.55 cores=0,2,4,6
/proc/32744/stat : 32744 (pwbo1.1) S 32742 32744 30934 0 -1 4202496 151665 0 0 0 104013 442 0 0 25 0 3 0 911252310 690110464 151146 33554432000 4194304 5714118 140734570347344 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/32744/statm: 168484 151146 182 372 0 168109 0
[pid=32744/tid=32746] ppid=32742 vsize=673936 CPUtime=522.24 cores=0,2,4,6
/proc/32744/task/32746/stat : 32746 (pwbo1.1) R 32742 32744 30934 0 -1 4202560 59883 0 0 0 52015 209 0 0 25 0 3 0 911252314 690110464 151146 33554432000 4194304 5714118 140734570347344 18446744073709551615 4319195 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=32744/tid=32747] ppid=32742 vsize=673936 CPUtime=522.27 cores=0,2,4,6
/proc/32744/task/32747/stat : 32747 (pwbo1.1) R 32742 32744 30934 0 -1 4202560 90269 0 0 0 51994 233 0 0 25 0 3 0 911252314 690110464 151146 33554432000 4194304 5714118 140734570347344 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1044.55
Current children cumulated vsize (KiB) 673936

[startup+582.301 s]
/proc/loadavg: 2.78 3.54 3.76 3/175 749
/proc/meminfo: memFree=3864068/32951124 swapFree=67052292/67111528
[pid=32744] ppid=32742 vsize=673936 CPUtime=1164.56 cores=0,2,4,6
/proc/32744/stat : 32744 (pwbo1.1) S 32742 32744 30934 0 -1 4202496 156319 0 0 0 115968 488 0 0 25 0 3 0 911252310 690110464 155447 33554432000 4194304 5714118 140734570347344 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/32744/statm: 168484 155447 182 372 0 168109 0
[pid=32744/tid=32746] ppid=32742 vsize=673936 CPUtime=582.24 cores=0,2,4,6
/proc/32744/task/32746/stat : 32746 (pwbo1.1) R 32742 32744 30934 0 -1 4202560 64535 0 0 0 57976 248 0 0 25 0 3 0 911252314 690110464 155447 33554432000 4194304 5714118 140734570347344 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=32744/tid=32747] ppid=32742 vsize=673936 CPUtime=582.26 cores=0,2,4,6
/proc/32744/task/32747/stat : 32747 (pwbo1.1) R 32742 32744 30934 0 -1 4202560 90271 0 0 0 57987 239 0 0 25 0 3 0 911252314 690110464 155447 33554432000 4194304 5714118 140734570347344 18446744073709551615 4319816 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1164.56
Current children cumulated vsize (KiB) 673936

[startup+642.3 s]
/proc/loadavg: 2.37 3.28 3.66 5/182 1066
/proc/meminfo: memFree=3723224/32951124 swapFree=67052292/67111528
[pid=32744] ppid=32742 vsize=739660 CPUtime=1284.56 cores=0,2,4,6
/proc/32744/stat : 32744 (pwbo1.1) S 32742 32744 30934 0 -1 4202496 170053 0 0 0 127930 526 0 0 25 0 3 0 911252310 757411840 169142 33554432000 4194304 5714118 140734570347344 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/32744/statm: 184915 169142 182 372 0 184540 0
[pid=32744/tid=32746] ppid=32742 vsize=739660 CPUtime=642.24 cores=0,2,4,6
/proc/32744/task/32746/stat : 32746 (pwbo1.1) R 32742 32744 30934 0 -1 4202560 78193 0 0 0 63944 280 0 0 25 0 3 0 911252314 757411840 169142 33554432000 4194304 5714118 140734570347344 18446744073709551615 4300160 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=32744/tid=32747] ppid=32742 vsize=739660 CPUtime=642.27 cores=0,2,4,6
/proc/32744/task/32747/stat : 32747 (pwbo1.1) R 32742 32744 30934 0 -1 4202560 90347 0 0 0 63981 246 0 0 25 0 3 0 911252314 757411840 169142 33554432000 4194304 5714118 140734570347344 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1284.56
Current children cumulated vsize (KiB) 739660

[startup+702.301 s]
/proc/loadavg: 3.33 3.38 3.67 5/182 1108
/proc/meminfo: memFree=3525580/32951124 swapFree=67052292/67111528
[pid=32744] ppid=32742 vsize=739968 CPUtime=1404.55 cores=0,2,4,6
/proc/32744/stat : 32744 (pwbo1.1) S 32742 32744 30934 0 -1 4202496 170107 0 0 0 139899 556 0 0 25 0 3 0 911252310 757727232 169196 33554432000 4194304 5714118 140734570347344 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/32744/statm: 184992 169196 182 372 0 184617 0
[pid=32744/tid=32746] ppid=32742 vsize=739968 CPUtime=702.24 cores=0,2,4,6
/proc/32744/task/32746/stat : 32746 (pwbo1.1) R 32742 32744 30934 0 -1 4202560 78196 0 0 0 69922 302 0 0 25 0 3 0 911252314 757727232 169196 33554432000 4194304 5714118 140734570347344 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=32744/tid=32747] ppid=32742 vsize=739968 CPUtime=702.27 cores=0,2,4,6
/proc/32744/task/32747/stat : 32747 (pwbo1.1) R 32742 32744 30934 0 -1 4202560 90398 0 0 0 69974 253 0 0 25 0 3 0 911252314 757727232 169196 33554432000 4194304 5714118 140734570347344 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1404.55
Current children cumulated vsize (KiB) 739968

[startup+762.307 s]
/proc/loadavg: 3.75 3.49 3.68 5/182 1109
/proc/meminfo: memFree=3491568/32951124 swapFree=67052292/67111528
[pid=32744] ppid=32742 vsize=805504 CPUtime=1524.57 cores=0,2,4,6
/proc/32744/stat : 32744 (pwbo1.1) S 32742 32744 30934 0 -1 4202496 175752 0 0 0 151854 603 0 0 25 0 3 0 911252310 824836096 174841 33554432000 4194304 5714118 140734570347344 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/32744/statm: 201376 174841 182 372 0 201001 0
[pid=32744/tid=32746] ppid=32742 vsize=805504 CPUtime=762.24 cores=0,2,4,6
/proc/32744/task/32746/stat : 32746 (pwbo1.1) R 32742 32744 30934 0 -1 4202560 83818 0 0 0 75883 341 0 0 25 0 3 0 911252314 824836096 174841 33554432000 4194304 5714118 140734570347344 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=32744/tid=32747] ppid=32742 vsize=805504 CPUtime=762.27 cores=0,2,4,6
/proc/32744/task/32747/stat : 32747 (pwbo1.1) R 32742 32744 30934 0 -1 4202560 90421 0 0 0 75967 260 0 0 25 0 3 0 911252314 824836096 174841 33554432000 4194304 5714118 140734570347344 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1524.57
Current children cumulated vsize (KiB) 805504

[startup+822.3 s]
/proc/loadavg: 3.95 3.60 3.71 5/182 1111
/proc/meminfo: memFree=3428516/32951124 swapFree=67052292/67111528
[pid=32744] ppid=32742 vsize=806076 CPUtime=1644.55 cores=0,2,4,6
/proc/32744/stat : 32744 (pwbo1.1) S 32742 32744 30934 0 -1 4202496 183994 0 0 0 163802 653 0 0 25 0 3 0 911252310 825421824 183083 33554432000 4194304 5714118 140734570347344 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/32744/statm: 201519 183083 182 372 0 201144 0
[pid=32744/tid=32746] ppid=32742 vsize=806076 CPUtime=822.24 cores=0,2,4,6
/proc/32744/task/32746/stat : 32746 (pwbo1.1) R 32742 32744 30934 0 -1 4202560 91940 0 0 0 81839 385 0 0 25 0 3 0 911252314 825421824 183083 33554432000 4194304 5714118 140734570347344 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=32744/tid=32747] ppid=32742 vsize=806076 CPUtime=822.27 cores=0,2,4,6
/proc/32744/task/32747/stat : 32747 (pwbo1.1) R 32742 32744 30934 0 -1 4202560 90541 0 0 0 81959 268 0 0 25 0 3 0 911252314 825421824 183083 33554432000 4194304 5714118 140734570347344 18446744073709551615 4319380 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1644.55
Current children cumulated vsize (KiB) 806076

[startup+882.301 s]
/proc/loadavg: 3.98 3.67 3.72 5/182 1113
/proc/meminfo: memFree=3361632/32951124 swapFree=67052292/67111528
[pid=32744] ppid=32742 vsize=806244 CPUtime=1764.56 cores=0,2,4,6
/proc/32744/stat : 32744 (pwbo1.1) S 32742 32744 30934 0 -1 4202496 186339 0 0 0 175762 694 0 0 25 0 3 0 911252310 825593856 185428 33554432000 4194304 5714118 140734570347344 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/32744/statm: 201561 185428 182 372 0 201186 0
[pid=32744/tid=32746] ppid=32742 vsize=806244 CPUtime=882.24 cores=0,2,4,6
/proc/32744/task/32746/stat : 32746 (pwbo1.1) R 32742 32744 30934 0 -1 4202560 94240 0 0 0 87804 420 0 0 25 0 3 0 911252314 825593856 185428 33554432000 4194304 5714118 140734570347344 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=32744/tid=32747] ppid=32742 vsize=806244 CPUtime=882.27 cores=0,2,4,6
/proc/32744/task/32747/stat : 32747 (pwbo1.1) R 32742 32744 30934 0 -1 4202560 90586 0 0 0 87954 273 0 0 25 0 3 0 911252314 825593856 185428 33554432000 4194304 5714118 140734570347344 18446744073709551615 4319830 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1764.56
Current children cumulated vsize (KiB) 806244



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+900.101 s]
/proc/loadavg: 3.98 3.69 3.73 5/182 1113
/proc/meminfo: memFree=3340296/32951124 swapFree=67052292/67111528
[pid=32744] ppid=32742 vsize=806728 CPUtime=1800.17 cores=0,2,4,6
/proc/32744/stat : 32744 (pwbo1.1) S 32742 32744 30934 0 -1 4202496 188035 0 0 0 179308 709 0 0 25 0 3 0 911252310 826089472 187124 33554432000 4194304 5714118 140734570347344 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/32744/statm: 201682 187124 182 372 0 201307 0
[pid=32744/tid=32746] ppid=32742 vsize=806728 CPUtime=900.05 cores=0,2,4,6
/proc/32744/task/32746/stat : 32746 (pwbo1.1) R 32742 32744 30934 0 -1 4202560 95936 0 0 0 89573 432 0 0 25 0 3 0 911252314 826089472 187124 33554432000 4194304 5714118 140734570347344 18446744073709551615 4311428 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=32744/tid=32747] ppid=32742 vsize=806728 CPUtime=900.08 cores=0,2,4,6
/proc/32744/task/32747/stat : 32747 (pwbo1.1) R 32742 32744 30934 0 -1 4202560 90586 0 0 0 89731 277 0 0 25 0 3 0 911252314 826089472 187124 33554432000 4194304 5714118 140734570347344 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 806728

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

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

[startup+900.101 s]
/proc/loadavg: 3.98 3.69 3.73 5/182 1113
/proc/meminfo: memFree=3340296/32951124 swapFree=67052292/67111528
[pid=32744] ppid=32742 vsize=806728 CPUtime=1800.17 cores=0,2,4,6
/proc/32744/stat : 32744 (pwbo1.1) S 32742 32744 30934 0 -1 4202496 188035 0 0 0 179308 709 0 0 25 0 3 0 911252310 826089472 187124 33554432000 4194304 5714118 140734570347344 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/32744/statm: 201682 187124 182 372 0 201307 0
[pid=32744/tid=32746] ppid=32742 vsize=806728 CPUtime=900.05 cores=0,2,4,6
/proc/32744/task/32746/stat : 32746 (pwbo1.1) R 32742 32744 30934 0 -1 4202560 95936 0 0 0 89573 432 0 0 25 0 3 0 911252314 826089472 187124 33554432000 4194304 5714118 140734570347344 18446744073709551615 4311428 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=32744/tid=32747] ppid=32742 vsize=806728 CPUtime=900.08 cores=0,2,4,6
/proc/32744/task/32747/stat : 32747 (pwbo1.1) R 32742 32744 30934 0 -1 4202560 90586 0 0 0 89731 277 0 0 25 0 3 0 911252314 826089472 187124 33554432000 4194304 5714118 140734570347344 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 806728

Child status: 0
Real time (s): 900.143
CPU time (s): 1800.22
CPU user time (s): 1793.09
CPU system time (s): 7.12792
CPU usage (%): 199.993
Max. virtual memory (cumulated for all children) (KiB): 806728

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.09
system time used= 7.12792
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 188058
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= 334
involuntary context switches= 4763

runsolver used 1.67774 second user time and 3.07353 second system time

The end

Launcher Data 

Begin job on node108 at 2011-06-13 22:21:54
IDJOB=3500544
IDBENCH=25017
IDSOLVER=1954
FILE ID=node108/3500544-1307996514
RUNJOBID= node108-1307991378-31183
PBS_JOBID= 13559746
Free space on /var/tmp= 2880 MiB

SOLVER NAME= pwbo 1.1
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_8.opb
COMMAND LINE= pwbo1.1 -file-format=opb BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3500544-1307996514/watcher-3500544-1307996514 -o /var/tmp/evaluation-result-3500544-1307996514/solver-3500544-1307996514 -C 1800 -W 1900 -M 15500  pwbo1.1 -file-format=opb HOME/instance-3500544-1307996514.opb

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

MD5SUM BENCH= a6271c60ac3da107dd19024b50d39967
RANDOM SEED=1255789370

node108.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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.820
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.64
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.820
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.15
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.820
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.820
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.77
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.820
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.820
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.820
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.820
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:       4289148 kB
Buffers:        136216 kB
Cached:       27407572 kB
SwapCached:      23260 kB
Active:       12069772 kB
Inactive:     15697396 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:       4289148 kB
SwapTotal:    67111528 kB
SwapFree:     67052292 kB
Dirty:            4716 kB
Writeback:           0 kB
AnonPages:      220808 kB
Mapped:           9896 kB
Slab:           830036 kB
PageTables:       4764 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   406272 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /var/tmp at the end= 2868 MiB
End job on node108 at 2011-06-13 22:36:56