Trace number 351057

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, and are wall clock time (not CPU 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
bsolo 3.0.16SAT (TO)8 1800.06 1800.53

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-israel.opb
MD5SUM916719a95a95b5989e5d4b5f3d786df3
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-35
Best CPU time to get the best result obtained on this benchmark1800.28
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -36
Optimality of the best value was proved NO
Number of variables4260
Total number of constraints174
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints174
Minimum length of a constraint30
Maximum length of a constraint3540
Number of terms in the objective function 2670
Biggest coefficient in the objective function 42742
Number of bits for the biggest coefficient in the objective function 16
Sum of the numbers in the objective function 526467
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262137
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 527037
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

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

Verifier Data (download as text)

OK	8

Watcher Data (download as text)

runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node48/watcher-351057-1176577422 -o ROOT/results/node48/solver-351057-1176577422 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/351057-1176577422/instance-351057-1176577422.opb 

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): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.99 1.01 1.00 3/64 31691
/proc/meminfo: memFree=1847864/2055920 swapFree=4192036/4192956
[pid=31691] ppid=31689 vsize=12340 CPUtime=0
/proc/31691/stat : 31691 (bsolo3.0.16) R 31689 31691 30426 0 -1 4194304 367 0 0 0 0 0 0 0 18 0 1 0 12587518 12636160 335 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31691/statm: 3085 335 281 324 0 2003 0

[startup+0.071681 s]
/proc/loadavg: 0.99 1.01 1.00 3/64 31691
/proc/meminfo: memFree=1847864/2055920 swapFree=4192036/4192956
[pid=31691] ppid=31689 vsize=5364 CPUtime=0.06
/proc/31691/stat : 31691 (bsolo3.0.16) R 31689 31691 30426 0 -1 4194304 667 0 0 0 6 0 0 0 18 0 1 0 12587518 5492736 635 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134525198 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31691/statm: 1341 635 375 324 0 259 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 5364

[startup+0.101683 s]
/proc/loadavg: 0.99 1.01 1.00 3/64 31691
/proc/meminfo: memFree=1847864/2055920 swapFree=4192036/4192956
[pid=31691] ppid=31689 vsize=5620 CPUtime=0.09
/proc/31691/stat : 31691 (bsolo3.0.16) R 31689 31691 30426 0 -1 4194304 764 0 0 0 9 0 0 0 18 0 1 0 12587518 5754880 732 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134525046 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31691/statm: 1405 732 417 324 0 323 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5620

[startup+0.301704 s]
/proc/loadavg: 0.99 1.01 1.00 3/64 31691
/proc/meminfo: memFree=1847864/2055920 swapFree=4192036/4192956
[pid=31691] ppid=31689 vsize=6636 CPUtime=0.27
/proc/31691/stat : 31691 (bsolo3.0.16) R 31689 31691 30426 0 -1 4194304 1201 0 1 0 27 0 0 0 18 0 1 0 12587518 6795264 1019 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551257 0 0 4096 16384 0 0 0 17 0 0 0
/proc/31691/statm: 1659 1019 306 324 0 728 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 6636

[startup+0.701743 s]
/proc/loadavg: 0.99 1.01 1.00 3/64 31691
/proc/meminfo: memFree=1847864/2055920 swapFree=4192036/4192956
[pid=31691] ppid=31689 vsize=7616 CPUtime=0.67
/proc/31691/stat : 31691 (bsolo3.0.16) R 31689 31691 30426 0 -1 4194304 1608 0 1 0 67 0 0 0 22 0 1 0 12587518 7798784 1265 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134540945 0 0 4096 16384 0 0 0 17 0 0 0
/proc/31691/statm: 1904 1265 308 324 0 973 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 7616

[startup+1.50182 s]
/proc/loadavg: 0.99 1.01 1.00 2/65 31692
/proc/meminfo: memFree=1843696/2055920 swapFree=4192036/4192956
[pid=31691] ppid=31689 vsize=7616 CPUtime=1.48
/proc/31691/stat : 31691 (bsolo3.0.16) R 31689 31691 30426 0 -1 4194304 1616 0 1 0 147 1 0 0 25 0 1 0 12587518 7798784 1273 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551545 0 0 4096 16384 0 0 0 17 0 0 0
/proc/31691/statm: 1904 1273 312 324 0 973 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 7616

[startup+3.10196 s]
/proc/loadavg: 0.99 1.01 1.00 2/65 31692
/proc/meminfo: memFree=1843632/2055920 swapFree=4192036/4192956
[pid=31691] ppid=31689 vsize=7616 CPUtime=3.06
/proc/31691/stat : 31691 (bsolo3.0.16) R 31689 31691 30426 0 -1 4194304 1616 0 1 0 305 1 0 0 25 0 1 0 12587518 7798784 1273 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551554 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31691/statm: 1904 1273 312 324 0 973 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 7616

[startup+6.30126 s]
/proc/loadavg: 0.99 1.01 1.00 2/65 31692
/proc/meminfo: memFree=1843632/2055920 swapFree=4192036/4192956
[pid=31691] ppid=31689 vsize=7620 CPUtime=6.26
/proc/31691/stat : 31691 (bsolo3.0.16) R 31689 31691 30426 0 -1 4194304 1619 0 1 0 624 2 0 0 25 0 1 0 12587518 7802880 1276 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551504 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31691/statm: 1905 1276 312 324 0 974 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 7620

[startup+12.7019 s]
/proc/loadavg: 0.99 1.01 1.00 2/65 31692
/proc/meminfo: memFree=1842872/2055920 swapFree=4192036/4192956
[pid=31691] ppid=31689 vsize=8668 CPUtime=12.66
/proc/31691/stat : 31691 (bsolo3.0.16) R 31689 31691 30426 0 -1 4194304 1869 0 1 0 1264 2 0 0 25 0 1 0 12587518 8876032 1526 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551569 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31691/statm: 2167 1526 312 324 0 1236 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 8668

[startup+25.501 s]
/proc/loadavg: 0.99 1.01 1.00 2/65 31692
/proc/meminfo: memFree=1840824/2055920 swapFree=4192036/4192956
[pid=31691] ppid=31689 vsize=10636 CPUtime=25.46
/proc/31691/stat : 31691 (bsolo3.0.16) R 31689 31691 30426 0 -1 4194304 2384 0 1 0 2543 3 0 0 25 0 1 0 12587518 10891264 2041 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551554 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31691/statm: 2659 2041 312 324 0 1728 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 10636

[startup+51.1014 s]
/proc/loadavg: 0.99 1.00 1.00 2/65 31692
/proc/meminfo: memFree=1836728/2055920 swapFree=4192036/4192956
[pid=31691] ppid=31689 vsize=14836 CPUtime=51.05
/proc/31691/stat : 31691 (bsolo3.0.16) R 31689 31691 30426 0 -1 4194304 3418 0 1 0 5100 5 0 0 25 0 1 0 12587518 15192064 3075 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31691/statm: 3709 3075 312 324 0 2778 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 14836

[startup+102.305 s]
/proc/loadavg: 0.99 1.00 1.00 2/65 31692
/proc/meminfo: memFree=1827896/2055920 swapFree=4192036/4192956
[pid=31691] ppid=31689 vsize=23644 CPUtime=102.24
/proc/31691/stat : 31691 (bsolo3.0.16) R 31689 31691 30426 0 -1 4194304 5629 0 1 0 10209 15 0 0 25 0 1 0 12587518 24211456 5286 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31691/statm: 5911 5286 312 324 0 4980 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 23644

[startup+162.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/65 31692
/proc/meminfo: memFree=1814328/2055920 swapFree=4192036/4192956
[pid=31691] ppid=31689 vsize=37248 CPUtime=162.23
/proc/31691/stat : 31691 (bsolo3.0.16) R 31689 31691 30426 0 -1 4194304 9023 0 1 0 16198 25 0 0 25 0 1 0 12587518 38141952 8680 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31691/statm: 9312 8680 312 324 0 8381 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 37248

[startup+222.301 s]
/proc/loadavg: 1.05 1.01 1.00 2/65 31694
/proc/meminfo: memFree=1803712/2055920 swapFree=4192036/4192956
[pid=31691] ppid=31689 vsize=47364 CPUtime=222.21
/proc/31691/stat : 31691 (bsolo3.0.16) R 31689 31691 30426 0 -1 4194304 11547 0 1 0 22186 35 0 0 25 0 1 0 12587518 48500736 11204 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551545 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31691/statm: 11841 11204 313 324 0 10910 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 47364

[startup+282.302 s]
/proc/loadavg: 1.07 1.03 1.00 2/65 31694
/proc/meminfo: memFree=1802176/2055920 swapFree=4192036/4192956
[pid=31691] ppid=31689 vsize=48856 CPUtime=282.2
/proc/31691/stat : 31691 (bsolo3.0.16) R 31689 31691 30426 0 -1 4194304 11932 0 1 0 28180 40 0 0 25 0 1 0 12587518 50028544 11589 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551257 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31691/statm: 12214 11589 313 324 0 11283 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 48856

[startup+342.301 s]
/proc/loadavg: 1.12 1.05 1.01 2/65 31694
/proc/meminfo: memFree=1800320/2055920 swapFree=4192036/4192956
[pid=31691] ppid=31689 vsize=50648 CPUtime=342.18
/proc/31691/stat : 31691 (bsolo3.0.16) R 31689 31691 30426 0 -1 4194304 12393 0 1 0 34173 45 0 0 25 0 1 0 12587518 51863552 12050 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551288 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31691/statm: 12662 12050 313 324 0 11731 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 50648

[startup+402.302 s]
/proc/loadavg: 1.09 1.05 1.01 2/65 31694
/proc/meminfo: memFree=1798144/2055920 swapFree=4192036/4192956
[pid=31691] ppid=31689 vsize=52944 CPUtime=402.17
/proc/31691/stat : 31691 (bsolo3.0.16) R 31689 31691 30426 0 -1 4194304 12951 0 1 0 40170 47 0 0 25 0 1 0 12587518 54214656 12608 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551292 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31691/statm: 13236 12608 313 324 0 12305 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 52944

[startup+462.302 s]
/proc/loadavg: 1.03 1.04 1.00 2/65 31694
/proc/meminfo: memFree=1790848/2055920 swapFree=4192036/4192956
[pid=31691] ppid=31689 vsize=60156 CPUtime=462.15
/proc/31691/stat : 31691 (bsolo3.0.16) R 31689 31691 30426 0 -1 4194304 14770 0 1 0 46166 49 0 0 25 0 1 0 12587518 61599744 14427 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551070 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31691/statm: 15039 14427 313 324 0 14108 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 60156

[startup+522.301 s]
/proc/loadavg: 1.01 1.03 1.00 2/65 31694
/proc/meminfo: memFree=1787648/2055920 swapFree=4192036/4192956
[pid=31691] ppid=31689 vsize=63420 CPUtime=522.14
/proc/31691/stat : 31691 (bsolo3.0.16) R 31689 31691 30426 0 -1 4194304 15573 0 1 0 52163 51 0 0 25 0 1 0 12587518 64942080 15230 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551545 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31691/statm: 15855 15230 313 324 0 14924 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 63420

[startup+582.302 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 31694
/proc/meminfo: memFree=1781376/2055920 swapFree=4192036/4192956
[pid=31691] ppid=31689 vsize=69852 CPUtime=582.13
/proc/31691/stat : 31691 (bsolo3.0.16) R 31689 31691 30426 0 -1 4194304 17177 0 1 0 58159 54 0 0 25 0 1 0 12587518 71528448 16834 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31691/statm: 17463 16834 313 324 0 16532 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 69852

[startup+642.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 31694
/proc/meminfo: memFree=1774080/2055920 swapFree=4192036/4192956
[pid=31691] ppid=31689 vsize=76912 CPUtime=642.11
/proc/31691/stat : 31691 (bsolo3.0.16) R 31689 31691 30426 0 -1 4194304 18938 0 1 0 64156 55 0 0 25 0 1 0 12587518 78757888 18595 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31691/statm: 19228 18595 313 324 0 18297 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 76912


################
# More data... #
################

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31694
/proc/meminfo: memFree=1742720/2055920 swapFree=4192036/4192956
[pid=31691] ppid=31689 vsize=108104 CPUtime=882.05
/proc/31691/stat : 31691 (bsolo3.0.16) R 31689 31691 30426 0 -1 4194304 26747 0 1 0 88139 66 0 0 25 0 1 0 12587518 110698496 26404 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551055 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31691/statm: 27026 26404 313 324 0 26095 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 108104

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31694
/proc/meminfo: memFree=1736000/2055920 swapFree=4192036/4192956
[pid=31691] ppid=31689 vsize=115000 CPUtime=942.03
/proc/31691/stat : 31691 (bsolo3.0.16) R 31689 31691 30426 0 -1 4194304 28462 0 1 0 94135 68 0 0 25 0 1 0 12587518 117760000 28119 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551378 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31691/statm: 28750 28119 313 324 0 27819 0
Current children cumulated CPU time (s) 942.03
Current children cumulated vsize (KiB) 115000

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31694
/proc/meminfo: memFree=1723072/2055920 swapFree=4192036/4192956
[pid=31691] ppid=31689 vsize=127760 CPUtime=1002.02
/proc/31691/stat : 31691 (bsolo3.0.16) R 31689 31691 30426 0 -1 4194304 31650 0 1 0 100131 71 0 0 25 0 1 0 12587518 130826240 31307 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551285 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31691/statm: 31940 31307 313 324 0 31009 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 127760

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31694
/proc/meminfo: memFree=1716928/2055920 swapFree=4192036/4192956
[pid=31691] ppid=31689 vsize=134104 CPUtime=1062.01
/proc/31691/stat : 31691 (bsolo3.0.16) R 31689 31691 30426 0 -1 4194304 33254 0 1 0 106127 74 0 0 25 0 1 0 12587518 137322496 32911 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31691/statm: 33526 32911 313 324 0 32595 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 134104

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31694
/proc/meminfo: memFree=1710464/2055920 swapFree=4192036/4192956
[pid=31691] ppid=31689 vsize=140288 CPUtime=1121.99
/proc/31691/stat : 31691 (bsolo3.0.16) R 31689 31691 30426 0 -1 4194304 34797 0 1 0 112122 77 0 0 25 0 1 0 12587518 143654912 34454 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551569 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31691/statm: 35072 34454 313 324 0 34141 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 140288

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31694
/proc/meminfo: memFree=1700672/2055920 swapFree=4192036/4192956
[pid=31691] ppid=31689 vsize=150156 CPUtime=1181.98
/proc/31691/stat : 31691 (bsolo3.0.16) R 31689 31691 30426 0 -1 4194304 37267 0 1 0 118116 82 0 0 25 0 1 0 12587518 153759744 36924 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31691/statm: 37539 36924 313 324 0 36608 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 150156

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31694
/proc/meminfo: memFree=1692480/2055920 swapFree=4192036/4192956
[pid=31691] ppid=31689 vsize=158164 CPUtime=1241.96
/proc/31691/stat : 31691 (bsolo3.0.16) R 31689 31691 30426 0 -1 4194304 39249 0 1 0 124111 85 0 0 25 0 1 0 12587518 161959936 38906 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551522 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31691/statm: 39541 38906 313 324 0 38610 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 158164

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31694
/proc/meminfo: memFree=1687232/2055920 swapFree=4192036/4192956
[pid=31691] ppid=31689 vsize=163308 CPUtime=1301.95
/proc/31691/stat : 31691 (bsolo3.0.16) R 31689 31691 30426 0 -1 4194304 40552 0 1 0 130109 86 0 0 25 0 1 0 12587518 167227392 40209 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551079 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31691/statm: 40827 40209 313 324 0 39896 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 163308

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31694
/proc/meminfo: memFree=1679808/2055920 swapFree=4192036/4192956
[pid=31691] ppid=31689 vsize=170768 CPUtime=1361.93
/proc/31691/stat : 31691 (bsolo3.0.16) R 31689 31691 30426 0 -1 4194304 42412 0 1 0 136105 88 0 0 25 0 1 0 12587518 174866432 42069 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551548 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31691/statm: 42692 42069 313 324 0 41761 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 170768

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31694
/proc/meminfo: memFree=1671040/2055920 swapFree=4192036/4192956
[pid=31691] ppid=31689 vsize=179396 CPUtime=1421.92
/proc/31691/stat : 31691 (bsolo3.0.16) R 31689 31691 30426 0 -1 4194304 44575 0 1 0 142102 90 0 0 25 0 1 0 12587518 183701504 44232 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551545 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31691/statm: 44849 44232 313 324 0 43918 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 179396

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31694
/proc/meminfo: memFree=1663936/2055920 swapFree=4192036/4192956
[pid=31691] ppid=31689 vsize=186728 CPUtime=1481.9
/proc/31691/stat : 31691 (bsolo3.0.16) R 31689 31691 30426 0 -1 4194304 46395 0 1 0 148097 93 0 0 25 0 1 0 12587518 191209472 46052 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551290 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31691/statm: 46682 46052 313 324 0 45751 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 186728

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31694
/proc/meminfo: memFree=1655744/2055920 swapFree=4192036/4192956
[pid=31691] ppid=31689 vsize=194680 CPUtime=1541.88
/proc/31691/stat : 31691 (bsolo3.0.16) R 31689 31691 30426 0 -1 4194304 48385 0 1 0 154093 95 0 0 25 0 1 0 12587518 199352320 48042 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551021 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31691/statm: 48670 48042 313 324 0 47739 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 194680

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31694
/proc/meminfo: memFree=1647808/2055920 swapFree=4192036/4192956
[pid=31691] ppid=31689 vsize=202668 CPUtime=1601.87
/proc/31691/stat : 31691 (bsolo3.0.16) R 31689 31691 30426 0 -1 4194304 50393 0 1 0 160089 98 0 0 25 0 1 0 12587518 207532032 50050 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31691/statm: 50667 50050 313 324 0 49736 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 202668

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31694
/proc/meminfo: memFree=1639360/2055920 swapFree=4192036/4192956
[pid=31691] ppid=31689 vsize=211016 CPUtime=1661.86
/proc/31691/stat : 31691 (bsolo3.0.16) R 31689 31691 30426 0 -1 4194304 52464 0 1 0 166085 101 0 0 25 0 1 0 12587518 216080384 52121 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551257 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31691/statm: 52754 52121 313 324 0 51823 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 211016

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31694
/proc/meminfo: memFree=1631168/2055920 swapFree=4192036/4192956
[pid=31691] ppid=31689 vsize=219192 CPUtime=1721.84
/proc/31691/stat : 31691 (bsolo3.0.16) R 31689 31691 30426 0 -1 4194304 54524 0 1 0 172080 104 0 0 25 0 1 0 12587518 224452608 54181 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551288 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31691/statm: 54798 54181 313 324 0 53867 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 219192

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31694
/proc/meminfo: memFree=1624000/2055920 swapFree=4192036/4192956
[pid=31691] ppid=31689 vsize=226412 CPUtime=1781.83
/proc/31691/stat : 31691 (bsolo3.0.16) R 31689 31691 30426 0 -1 4194304 56315 0 1 0 178077 106 0 0 25 0 1 0 12587518 231845888 55972 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551257 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31691/statm: 56603 55972 313 324 0 55672 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 226412



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31694
/proc/meminfo: memFree=1692544/2055920 swapFree=4192036/4192956
[pid=31691] ppid=31689 vsize=0 CPUtime=1800.03
/proc/31691/stat : 31691 (bsolo3.0.16) R 31689 31691 30426 0 -1 4194308 57056 0 1 0 179894 109 0 0 17 0 1 0 12587518 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31691/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 0

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

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

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31694
/proc/meminfo: memFree=1692544/2055920 swapFree=4192036/4192956
[pid=31691] ppid=31689 vsize=0 CPUtime=1800.03
/proc/31691/stat : 31691 (bsolo3.0.16) R 31689 31691 30426 0 -1 4194308 57056 0 1 0 179894 109 0 0 17 0 1 0 12587518 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31691/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1800.53
CPU time (s): 1800.06
CPU user time (s): 1798.94
CPU system time (s): 1.11683
CPU usage (%): 99.9738
Max. virtual memory (cumulated for all children) (KiB): 229372

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.94
system time used= 1.11683
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57056
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 16
involuntary context switches= 1232

runsolver used 1.2788 second user time and 3.64844 second system time

The end

Launcher Data (download as text)

Begin job on node48 on Sat Apr 14 19:03:42 UTC 2007

IDJOB= 351057
IDBENCH= 1655
IDSOLVER= 163
FILE ID= node48/351057-1176577422

PBS_JOBID= 4556892

Free space on /tmp= 66560 MiB

SOLVER NAME= bsolo 3.0.16
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-israel.opb
COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/351057-1176577422/instance-351057-1176577422.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node48/watcher-351057-1176577422 -o ROOT/results/node48/solver-351057-1176577422 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/351057-1176577422/instance-351057-1176577422.opb            

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  916719a95a95b5989e5d4b5f3d786df3

RANDOM SEED= 887524508

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node48.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.238
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.238
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1848336 kB
Buffers:          2952 kB
Cached:         107380 kB
SwapCached:         32 kB
Active:          30076 kB
Inactive:        97012 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1848336 kB
SwapTotal:     4192956 kB
SwapFree:      4192036 kB
Dirty:            4980 kB
Writeback:           0 kB
Mapped:          26600 kB
Slab:            66536 kB
Committed_AS:    64764 kB
PageTables:       1396 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66560 MiB

End job on node48 on Sat Apr 14 19:33:45 UTC 2007