Trace number 3744599

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
PB10: SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solverOPT 43.5244 43.5324

General information on the benchmark

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

Verifier Data 

OK	5065770

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-3744599-1338807848/watcher-3744599-1338807848 -o /tmp/evaluation-result-3744599-1338807848/solver-3744599-1338807848 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3744599-1338807848.opb -t 1800 -m 15500 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 15540
/proc/meminfo: memFree=26400296/32873844 swapFree=7128/7128
[pid=15540] ppid=15538 vsize=8944 CPUtime=0 cores=1,3,5,7
/proc/15540/stat : 15540 (pbscip.linux.x8) R 15538 15540 13572 0 -1 4202496 1460 0 0 0 0 0 0 0 20 0 1 0 346851792 9158656 1407 33554432000 4194304 8395647 140735596662688 140735596661624 7382157 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15540/statm: 2236 1417 374 1026 0 1206 0

[startup+0.0081341 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 15540
/proc/meminfo: memFree=26400296/32873844 swapFree=7128/7128
[pid=15540] ppid=15538 vsize=10680 CPUtime=0 cores=1,3,5,7
/proc/15540/stat : 15540 (pbscip.linux.x8) R 15538 15540 13572 0 -1 4202496 1905 0 0 0 0 0 0 0 20 0 1 0 346851792 10936320 1852 33554432000 4194304 8395647 140735596662688 140735596661624 6347101 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15540/statm: 2670 1855 386 1026 0 1640 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 10680

[startup+0.100274 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 15540
/proc/meminfo: memFree=26400296/32873844 swapFree=7128/7128
[pid=15540] ppid=15538 vsize=30464 CPUtime=0.09 cores=1,3,5,7
/proc/15540/stat : 15540 (pbscip.linux.x8) R 15538 15540 13572 0 -1 4202496 6950 0 0 0 9 0 0 0 20 0 1 0 346851792 31195136 6543 33554432000 4194304 8395647 140735596662688 140735596661624 7355228 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15540/statm: 7616 6543 474 1026 0 6586 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 30464

[startup+0.300324 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 15540
/proc/meminfo: memFree=26400296/32873844 swapFree=7128/7128
[pid=15540] ppid=15538 vsize=48064 CPUtime=0.29 cores=1,3,5,7
/proc/15540/stat : 15540 (pbscip.linux.x8) R 15538 15540 13572 0 -1 4202496 11432 0 0 0 28 1 0 0 20 0 1 0 346851792 49217536 10870 33554432000 4194304 8395647 140735596662688 140735596661624 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15540/statm: 12016 10870 578 1026 0 10986 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 48064

[startup+0.700305 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 15540
/proc/meminfo: memFree=26400296/32873844 swapFree=7128/7128
[pid=15540] ppid=15538 vsize=49808 CPUtime=0.69 cores=1,3,5,7
/proc/15540/stat : 15540 (pbscip.linux.x8) R 15538 15540 13572 0 -1 4202496 12024 0 0 0 68 1 0 0 20 0 1 0 346851792 51003392 11392 33554432000 4194304 8395647 140735596662688 140735596661624 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15540/statm: 12452 11392 588 1026 0 11422 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 49808

[startup+1.50031 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15541
/proc/meminfo: memFree=26357120/32873844 swapFree=7128/7128
[pid=15540] ppid=15538 vsize=50440 CPUtime=1.49 cores=1,3,5,7
/proc/15540/stat : 15540 (pbscip.linux.x8) R 15538 15540 13572 0 -1 4202496 19467 0 0 0 146 3 0 0 20 0 1 0 346851792 51650560 11600 33554432000 4194304 8395647 140735596662688 140735596657256 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15540/statm: 12610 11600 634 1026 0 11580 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 50440

[startup+3.10026 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15541
/proc/meminfo: memFree=26354640/32873844 swapFree=7128/7128
[pid=15540] ppid=15538 vsize=67948 CPUtime=3.08 cores=1,3,5,7
/proc/15540/stat : 15540 (pbscip.linux.x8) R 15538 15540 13572 0 -1 4202496 22407 0 0 0 304 4 0 0 20 0 1 0 346851792 69578752 15956 33554432000 4194304 8395647 140735596662688 140735596657928 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15540/statm: 16987 15956 635 1026 0 15957 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 67948

[startup+6.30032 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15541
/proc/meminfo: memFree=26335600/32873844 swapFree=7128/7128
[pid=15540] ppid=15538 vsize=70404 CPUtime=6.29 cores=1,3,5,7
/proc/15540/stat : 15540 (pbscip.linux.x8) R 15538 15540 13572 0 -1 4202496 28375 0 0 0 622 7 0 0 20 0 1 0 346851792 72093696 16656 33554432000 4194304 8395647 140735596662688 140735596657976 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15540/statm: 17601 16656 636 1026 0 16571 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 70404

[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15541
/proc/meminfo: memFree=26329224/32873844 swapFree=7128/7128
[pid=15540] ppid=15538 vsize=71400 CPUtime=12.68 cores=1,3,5,7
/proc/15540/stat : 15540 (pbscip.linux.x8) R 15538 15540 13572 0 -1 4202496 28558 0 0 0 1258 10 0 0 20 0 1 0 346851792 73113600 16839 33554432000 4194304 8395647 140735596662688 140735596657560 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15540/statm: 17850 16839 637 1026 0 16820 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 71400

[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15541
/proc/meminfo: memFree=26328528/32873844 swapFree=7128/7128
[pid=15540] ppid=15538 vsize=72612 CPUtime=25.49 cores=1,3,5,7
/proc/15540/stat : 15540 (pbscip.linux.x8) R 15538 15540 13572 0 -1 4202496 28856 0 0 0 2532 17 0 0 20 0 1 0 346851792 74354688 17137 33554432000 4194304 8395647 140735596662688 140735596657896 6728539 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15540/statm: 18153 17137 642 1026 0 17123 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 72612

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

[startup+31.9069 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15541
/proc/meminfo: memFree=26327644/32873844 swapFree=7128/7128
[pid=15540] ppid=15538 vsize=73108 CPUtime=31.89 cores=1,3,5,7
/proc/15540/stat : 15540 (pbscip.linux.x8) R 15538 15540 13572 0 -1 4202496 29021 0 0 0 3170 19 0 0 20 0 1 0 346851792 74862592 17302 33554432000 4194304 8395647 140735596662688 140735596657896 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15540/statm: 18277 17302 642 1026 0 17247 0
Current children cumulated CPU time (s) 31.89
Current children cumulated vsize (KiB) 73108

[startup+38.3003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15541
/proc/meminfo: memFree=26325908/32873844 swapFree=7128/7128
[pid=15540] ppid=15538 vsize=75100 CPUtime=38.29 cores=1,3,5,7
/proc/15540/stat : 15540 (pbscip.linux.x8) R 15538 15540 13572 0 -1 4202496 32421 0 0 0 3806 23 0 0 20 0 1 0 346851792 76902400 17751 33554432000 4194304 8395647 140735596662688 140735596657560 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15540/statm: 18775 17751 643 1026 0 17745 0
Current children cumulated CPU time (s) 38.29
Current children cumulated vsize (KiB) 75100

[startup+41.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15541
/proc/meminfo: memFree=26323100/32873844 swapFree=7128/7128
[pid=15540] ppid=15538 vsize=75680 CPUtime=41.48 cores=1,3,5,7
/proc/15540/stat : 15540 (pbscip.linux.x8) R 15538 15540 13572 0 -1 4202496 32565 0 0 0 4124 24 0 0 20 0 1 0 346851792 77496320 17895 33554432000 4194304 8395647 140735596662688 140735596657240 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15540/statm: 18920 17895 643 1026 0 17890 0
Current children cumulated CPU time (s) 41.48
Current children cumulated vsize (KiB) 75680

[startup+42.3004 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15541
/proc/meminfo: memFree=26322976/32873844 swapFree=7128/7128
[pid=15540] ppid=15538 vsize=75680 CPUtime=42.28 cores=1,3,5,7
/proc/15540/stat : 15540 (pbscip.linux.x8) R 15538 15540 13572 0 -1 4202496 32567 0 0 0 4204 24 0 0 20 0 1 0 346851792 77496320 17897 33554432000 4194304 8395647 140735596662688 140735596657560 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15540/statm: 18920 17897 643 1026 0 17890 0
Current children cumulated CPU time (s) 42.28
Current children cumulated vsize (KiB) 75680

[startup+43.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15541
/proc/meminfo: memFree=26320680/32873844 swapFree=7128/7128
[pid=15540] ppid=15538 vsize=75680 CPUtime=43.08 cores=1,3,5,7
/proc/15540/stat : 15540 (pbscip.linux.x8) R 15538 15540 13572 0 -1 4202496 32616 0 0 0 4283 25 0 0 20 0 1 0 346851792 77496320 17946 33554432000 4194304 8395647 140735596662688 140735596658040 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15540/statm: 18920 17946 643 1026 0 17890 0
Current children cumulated CPU time (s) 43.08
Current children cumulated vsize (KiB) 75680

[startup+43.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15541
/proc/meminfo: memFree=26320680/32873844 swapFree=7128/7128
[pid=15540] ppid=15538 vsize=76136 CPUtime=43.48 cores=1,3,5,7
/proc/15540/stat : 15540 (pbscip.linux.x8) R 15538 15540 13572 0 -1 4202496 32696 0 0 0 4323 25 0 0 20 0 1 0 346851792 77963264 18026 33554432000 4194304 8395647 140735596662688 140735596658040 4601776 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15540/statm: 19034 18026 643 1026 0 18004 0
Current children cumulated CPU time (s) 43.48
Current children cumulated vsize (KiB) 76136

Child status: 0
Real time (s): 43.5324
CPU time (s): 43.5244
CPU user time (s): 43.2644
CPU system time (s): 0.25996
CPU usage (%): 99.9816
Max. virtual memory (cumulated for all children) (KiB): 79060

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 43.2644
system time used= 0.25996
maximum resident set size= 87512
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32701
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= 3
involuntary context switches= 46

runsolver used 0.058991 second user time and 0.220966 second system time

The end

Launcher Data 

Begin job on node105 at 2012-06-04 13:04:08
IDJOB=3744599
IDBENCH=92781
IDSOLVER=2326
FILE ID=node105/3744599-1338807848
RUNJOBID= node105-1338785386-13589
PBS_JOBID= 14636855
Free space on /tmp= 71256 MiB

SOLVER NAME= PB10: SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/IC/normalized-minisat15_5_3_8_ic.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3744599-1338807848/watcher-3744599-1338807848 -o /tmp/evaluation-result-3744599-1338807848/solver-3744599-1338807848 -C 1800 -W 1900 -M 15500  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3744599-1338807848.opb -t 1800 -m 15500

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

MD5SUM BENCH= db8b8cffd5752eef333f86e642ebfb0d
RANDOM SEED=545804649

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

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.882
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.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.882
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	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.882
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		: 2666.882
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	: 5438.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.882
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		: 2666.882
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		: 2666.882
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	: 5447.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        26400684 kB
Buffers:          579820 kB
Cached:          3845016 kB
SwapCached:         1700 kB
Active:          2295212 kB
Inactive:        3291752 kB
Active(anon):    1158296 kB
Inactive(anon):     4800 kB
Active(file):    1136916 kB
Inactive(file):  3286952 kB
Unevictable:        7128 kB
Mlocked:            7128 kB
SwapTotal:      67108856 kB
SwapFree:       67100456 kB
Dirty:             10544 kB
Writeback:             4 kB
AnonPages:       1166432 kB
Mapped:            11576 kB
Shmem:                 0 kB
Slab:             744788 kB
SReclaimable:     186412 kB
SUnreclaim:       558376 kB
KernelStack:        1464 kB
PageTables:         6456 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1306920 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    956416 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71244 MiB
End job on node105 at 2012-06-04 13:04:52