Trace number 3498206

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
MinisatID 2.5.2-gmp (fixed)? (TO) 1800.07 1802.02

General information on the benchmark

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

Verifier Data 

OK	-9206

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3498206-1307938469/watcher-3498206-1307938469 -o /var/tmp/evaluation-result-3498206-1307938469/solver-3498206-1307938469 -C 1800 -W 1900 -M 15500 HOME/minisatid-gmp HOME/instance-3498206-1307938469.opb --verbosity=0 --format=opb --randomseed=1834052619 

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 1.97 1.86 2/177 27540
/proc/meminfo: memFree=2768732/32951124 swapFree=67052292/67111528
[pid=27540] ppid=27538 vsize=7896 CPUtime=0 cores=1,3,5,7
/proc/27540/stat : 27540 (minisatid-gmp) R 27538 27540 23311 0 -1 4202496 419 0 0 0 0 0 0 0 25 0 1 0 905447910 8085504 373 33554432000 4194304 6957856 140736279277200 18446744073709551615 4246759 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/27540/statm: 1974 373 227 675 0 1290 0

[startup+0.0331859 s]
/proc/loadavg: 2.00 1.97 1.86 2/177 27540
/proc/meminfo: memFree=2768732/32951124 swapFree=67052292/67111528
[pid=27540] ppid=27538 vsize=10476 CPUtime=0.03 cores=1,3,5,7
/proc/27540/stat : 27540 (minisatid-gmp) R 27538 27540 23311 0 -1 4202496 1102 0 0 0 3 0 0 0 25 0 1 0 905447910 10727424 988 33554432000 4194304 6957856 140736279277200 18446744073709551615 5923363 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/27540/statm: 2619 994 250 675 0 1935 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 10476

[startup+0.100175 s]
/proc/loadavg: 2.00 1.97 1.86 2/177 27540
/proc/meminfo: memFree=2768732/32951124 swapFree=67052292/67111528
[pid=27540] ppid=27538 vsize=12008 CPUtime=0.09 cores=1,3,5,7
/proc/27540/stat : 27540 (minisatid-gmp) R 27538 27540 23311 0 -1 4202496 1752 0 0 0 9 0 0 0 25 0 1 0 905447910 12296192 1415 33554432000 4194304 6957856 140736279277200 18446744073709551615 4777009 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/27540/statm: 3002 1415 251 675 0 2318 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12008

[startup+0.300156 s]
/proc/loadavg: 2.00 1.97 1.86 2/177 27540
/proc/meminfo: memFree=2768732/32951124 swapFree=67052292/67111528
[pid=27540] ppid=27538 vsize=29828 CPUtime=0.29 cores=1,3,5,7
/proc/27540/stat : 27540 (minisatid-gmp) R 27538 27540 23311 0 -1 4202496 6187 0 0 0 29 0 0 0 25 0 1 0 905447910 30543872 5850 33554432000 4194304 6957856 140736279277200 18446744073709551615 5925517 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/27540/statm: 7457 5851 251 675 0 6773 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 29828

[startup+0.701069 s]
/proc/loadavg: 2.00 1.97 1.86 2/177 27540
/proc/meminfo: memFree=2768732/32951124 swapFree=67052292/67111528
[pid=27540] ppid=27538 vsize=65336 CPUtime=0.69 cores=1,3,5,7
/proc/27540/stat : 27540 (minisatid-gmp) R 27538 27540 23311 0 -1 4202496 15065 0 0 0 68 1 0 0 25 0 1 0 905447910 66904064 14728 33554432000 4194304 6957856 140736279277200 18446744073709551615 5925517 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/27540/statm: 16334 14729 251 675 0 15650 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 65336

[startup+1.50093 s]
/proc/loadavg: 2.00 1.97 1.86 3/178 27541
/proc/meminfo: memFree=2682916/32951124 swapFree=67052292/67111528
[pid=27540] ppid=27538 vsize=142340 CPUtime=1.49 cores=1,3,5,7
/proc/27540/stat : 27540 (minisatid-gmp) R 27538 27540 23311 0 -1 4202496 38312 0 0 0 145 4 0 0 25 0 1 0 905447910 145756160 33751 33554432000 4194304 6957856 140736279277200 18446744073709551615 5925517 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/27540/statm: 35585 33752 266 675 0 34901 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 142340

[startup+3.10065 s]
/proc/loadavg: 2.00 1.97 1.86 3/178 27541
/proc/meminfo: memFree=2563004/32951124 swapFree=67052292/67111528
[pid=27540] ppid=27538 vsize=269284 CPUtime=3.09 cores=1,3,5,7
/proc/27540/stat : 27540 (minisatid-gmp) R 27538 27540 23311 0 -1 4202496 69977 0 0 0 301 8 0 0 25 0 1 0 905447910 275746816 65416 33554432000 4194304 6957856 140736279277200 18446744073709551615 4847373 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/27540/statm: 67321 65416 275 675 0 66637 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 269284

[startup+6.30108 s]
/proc/loadavg: 2.00 1.97 1.86 3/178 27541
/proc/meminfo: memFree=2507212/32951124 swapFree=67052292/67111528
[pid=27540] ppid=27538 vsize=269284 CPUtime=6.29 cores=1,3,5,7
/proc/27540/stat : 27540 (minisatid-gmp) R 27538 27540 23311 0 -1 4202496 69998 0 0 0 621 8 0 0 25 0 1 0 905447910 275746816 65437 33554432000 4194304 6957856 140736279277200 18446744073709551615 5922026 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/27540/statm: 67321 65437 275 675 0 66637 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 269284

[startup+12.701 s]
/proc/loadavg: 2.00 1.97 1.86 3/178 27542
/proc/meminfo: memFree=2507000/32951124 swapFree=67052292/67111528
[pid=27540] ppid=27538 vsize=269284 CPUtime=12.69 cores=1,3,5,7
/proc/27540/stat : 27540 (minisatid-gmp) R 27538 27540 23311 0 -1 4202496 70038 0 0 0 1261 8 0 0 25 0 1 0 905447910 275746816 65477 33554432000 4194304 6957856 140736279277200 18446744073709551615 5311774 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/27540/statm: 67321 65477 276 675 0 66637 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 269284

[startup+25.5007 s]
/proc/loadavg: 2.00 1.97 1.86 3/178 27542
/proc/meminfo: memFree=2507016/32951124 swapFree=67052292/67111528
[pid=27540] ppid=27538 vsize=269284 CPUtime=25.49 cores=1,3,5,7
/proc/27540/stat : 27540 (minisatid-gmp) R 27538 27540 23311 0 -1 4202496 70085 0 0 0 2541 8 0 0 25 0 1 0 905447910 275746816 65524 33554432000 4194304 6957856 140736279277200 18446744073709551615 4838132 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/27540/statm: 67321 65524 276 675 0 66637 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 269284

[startup+51.1002 s]
/proc/loadavg: 2.00 1.97 1.87 3/178 27543
/proc/meminfo: memFree=2506748/32951124 swapFree=67052292/67111528
[pid=27540] ppid=27538 vsize=269284 CPUtime=51.09 cores=1,3,5,7
/proc/27540/stat : 27540 (minisatid-gmp) R 27538 27540 23311 0 -1 4202496 70164 0 0 0 5101 8 0 0 25 0 1 0 905447910 275746816 65603 33554432000 4194304 6957856 140736279277200 18446744073709551615 5311728 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/27540/statm: 67321 65603 276 675 0 66637 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 269284

[startup+102.306 s]
/proc/loadavg: 2.04 1.99 1.88 3/178 27544
/proc/meminfo: memFree=2505732/32951124 swapFree=67052292/67111528
[pid=27540] ppid=27538 vsize=269284 CPUtime=102.3 cores=1,3,5,7
/proc/27540/stat : 27540 (minisatid-gmp) R 27538 27540 23311 0 -1 4202496 70278 0 0 0 10222 8 0 0 25 0 1 0 905447910 275746816 65717 33554432000 4194304 6957856 140736279277200 18446744073709551615 5932608 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/27540/statm: 67321 65717 276 675 0 66637 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 269284

[startup+162.3 s]
/proc/loadavg: 2.02 1.99 1.88 3/178 27545
/proc/meminfo: memFree=2505468/32951124 swapFree=67052292/67111528
[pid=27540] ppid=27538 vsize=269284 CPUtime=162.3 cores=1,3,5,7
/proc/27540/stat : 27540 (minisatid-gmp) R 27538 27540 23311 0 -1 4202496 70326 0 0 0 16222 8 0 0 25 0 1 0 905447910 275746816 65764 33554432000 4194304 6957856 140736279277200 18446744073709551615 5315750 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/27540/statm: 67321 65764 276 675 0 66637 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 269284

[startup+222.301 s]
/proc/loadavg: 2.00 1.99 1.89 3/178 27547
/proc/meminfo: memFree=2505448/32951124 swapFree=67052292/67111528
[pid=27540] ppid=27538 vsize=269284 CPUtime=222.3 cores=1,3,5,7
/proc/27540/stat : 27540 (minisatid-gmp) R 27538 27540 23311 0 -1 4202496 70344 0 0 0 22222 8 0 0 25 0 1 0 905447910 275746816 65781 33554432000 4194304 6957856 140736279277200 18446744073709551615 5922026 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/27540/statm: 67321 65781 276 675 0 66637 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 269284

[startup+282.3 s]
/proc/loadavg: 2.00 1.99 1.89 3/178 27549
/proc/meminfo: memFree=2505296/32951124 swapFree=67052292/67111528
[pid=27540] ppid=27538 vsize=269284 CPUtime=282.3 cores=1,3,5,7
/proc/27540/stat : 27540 (minisatid-gmp) R 27538 27540 23311 0 -1 4202496 70366 0 0 0 28222 8 0 0 25 0 1 0 905447910 275746816 65803 33554432000 4194304 6957856 140736279277200 18446744073709551615 5922021 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/27540/statm: 67321 65803 276 675 0 66637 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 269284

[startup+342.301 s]
/proc/loadavg: 2.00 1.99 1.90 3/178 27550
/proc/meminfo: memFree=2505152/32951124 swapFree=67052292/67111528
[pid=27540] ppid=27538 vsize=269284 CPUtime=342.3 cores=1,3,5,7
/proc/27540/stat : 27540 (minisatid-gmp) R 27538 27540 23311 0 -1 4202496 70382 0 0 0 34222 8 0 0 25 0 1 0 905447910 275746816 65819 33554432000 4194304 6957856 140736279277200 18446744073709551615 5932625 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/27540/statm: 67321 65819 276 675 0 66637 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 269284

[startup+402.301 s]
/proc/loadavg: 2.00 1.99 1.91 3/178 27552
/proc/meminfo: memFree=2504884/32951124 swapFree=67052292/67111528
[pid=27540] ppid=27538 vsize=269284 CPUtime=402.3 cores=1,3,5,7
/proc/27540/stat : 27540 (minisatid-gmp) R 27538 27540 23311 0 -1 4202496 70390 0 0 0 40222 8 0 0 25 0 1 0 905447910 275746816 65827 33554432000 4194304 6957856 140736279277200 18446744073709551615 5932649 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/27540/statm: 67321 65827 276 675 0 66637 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 269284

[startup+462.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/178 27554
/proc/meminfo: memFree=2504248/32951124 swapFree=67052292/67111528
[pid=27540] ppid=27538 vsize=269284 CPUtime=462.3 cores=1,3,5,7
/proc/27540/stat : 27540 (minisatid-gmp) R 27538 27540 23311 0 -1 4202496 70620 0 0 0 46222 8 0 0 25 0 1 0 905447910 275746816 66057 33554432000 4194304 6957856 140736279277200 18446744073709551615 4630476 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/27540/statm: 67321 66058 285 675 0 66637 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 269284

[startup+522.301 s]
/proc/loadavg: 2.00 1.99 1.91 3/178 27555
/proc/meminfo: memFree=2496412/32951124 swapFree=67052292/67111528
[pid=27540] ppid=27538 vsize=276424 CPUtime=522.31 cores=1,3,5,7
/proc/27540/stat : 27540 (minisatid-gmp) R 27538 27540 23311 0 -1 4202496 76909 0 0 0 52222 9 0 0 25 0 1 0 905447910 283058176 68229 33554432000 4194304 6957856 140736279277200 18446744073709551615 5922650 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/27540/statm: 69106 68229 288 675 0 68422 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 276424

[startup+582.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/178 27557
/proc/meminfo: memFree=2486224/32951124 swapFree=67052292/67111528
[pid=27540] ppid=27538 vsize=313168 CPUtime=582.3 cores=1,3,5,7
/proc/27540/stat : 27540 (minisatid-gmp) R 27538 27540 23311 0 -1 4202496 86252 0 0 0 58220 10 0 0 25 0 1 0 905447910 320684032 70645 33554432000 4194304 6957856 140736279277200 18446744073709551615 5932528 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/27540/statm: 78292 70645 288 675 0 77608 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 313168

[startup+642.301 s]

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

/proc/27540/stat : 27540 (minisatid-gmp) R 27538 27540 23311 0 -1 4202496 186402 0 0 0 100208 24 0 0 25 0 1 0 905447910 371187712 86310 33554432000 4194304 6957856 140736279277200 18446744073709551615 5313019 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/27540/statm: 90622 86310 288 675 0 89938 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 362488

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 27569
/proc/meminfo: memFree=2456888/32951124 swapFree=67052292/67111528
[pid=27540] ppid=27538 vsize=313168 CPUtime=1062.32 cores=1,3,5,7
/proc/27540/stat : 27540 (minisatid-gmp) R 27538 27540 23311 0 -1 4202496 201054 0 0 0 106206 26 0 0 25 0 1 0 905447910 320684032 77583 33554432000 4194304 6957856 140736279277200 18446744073709551615 5933982 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/27540/statm: 78292 77583 288 675 0 77608 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 313168

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 27571
/proc/meminfo: memFree=2417188/32951124 swapFree=67052292/67111528
[pid=27540] ppid=27538 vsize=362488 CPUtime=1122.32 cores=1,3,5,7
/proc/27540/stat : 27540 (minisatid-gmp) R 27538 27540 23311 0 -1 4202496 222380 0 0 0 112203 29 0 0 25 0 1 0 905447910 371187712 87128 33554432000 4194304 6957856 140736279277200 18446744073709551615 5387552 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/27540/statm: 90622 87128 288 675 0 89938 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 362488

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 27573
/proc/meminfo: memFree=2404520/32951124 swapFree=67052292/67111528
[pid=27540] ppid=27538 vsize=313168 CPUtime=1182.32 cores=1,3,5,7
/proc/27540/stat : 27540 (minisatid-gmp) R 27538 27540 23311 0 -1 4202496 239233 0 0 0 118200 32 0 0 25 0 1 0 905447910 320684032 77631 33554432000 4194304 6957856 140736279277200 18446744073709551615 5922121 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/27540/statm: 78292 77631 288 675 0 77608 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 313168

[startup+1242.3 s]
/proc/loadavg: 2.03 2.01 1.93 3/178 27574
/proc/meminfo: memFree=2419008/32951124 swapFree=67052292/67111528
[pid=27540] ppid=27538 vsize=362488 CPUtime=1242.32 cores=1,3,5,7
/proc/27540/stat : 27540 (minisatid-gmp) R 27538 27540 23311 0 -1 4202496 261287 0 0 0 124197 35 0 0 25 0 1 0 905447910 371187712 86641 33554432000 4194304 6957856 140736279277200 18446744073709551615 5922598 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/27540/statm: 90622 86641 288 675 0 89938 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 362488

[startup+1302.3 s]
/proc/loadavg: 1.44 1.85 1.87 2/172 27601
/proc/meminfo: memFree=3084696/32951124 swapFree=67052292/67111528
[pid=27540] ppid=27538 vsize=374300 CPUtime=1302.33 cores=1,3,5,7
/proc/27540/stat : 27540 (minisatid-gmp) R 27538 27540 23311 0 -1 4202496 281129 0 0 0 130194 39 0 0 25 0 1 0 905447910 383283200 92847 33554432000 4194304 6957856 140736279277200 18446744073709551615 5314074 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/27540/statm: 93575 92847 288 675 0 92891 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 374300

[startup+1362.3 s]
/proc/loadavg: 1.17 1.71 1.82 2/172 27602
/proc/meminfo: memFree=3072888/32951124 swapFree=67052292/67111528
[pid=27540] ppid=27538 vsize=405120 CPUtime=1362.32 cores=1,3,5,7
/proc/27540/stat : 27540 (minisatid-gmp) R 27538 27540 23311 0 -1 4202496 298709 0 0 0 136191 41 0 0 25 0 1 0 905447910 414842880 95978 33554432000 4194304 6957856 140736279277200 18446744073709551615 5387648 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/27540/statm: 101280 95978 288 675 0 100596 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 405120

[startup+1422.31 s]
/proc/loadavg: 1.06 1.56 1.76 2/172 27604
/proc/meminfo: memFree=3100644/32951124 swapFree=67052292/67111528
[pid=27540] ppid=27538 vsize=374300 CPUtime=1422.33 cores=1,3,5,7
/proc/27540/stat : 27540 (minisatid-gmp) R 27538 27540 23311 0 -1 4202496 323049 0 0 0 142188 45 0 0 25 0 1 0 905447910 383283200 88903 33554432000 4194304 6957856 140736279277200 18446744073709551615 5933982 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/27540/statm: 93575 88903 288 675 0 92891 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 374300

[startup+1482.3 s]
/proc/loadavg: 1.02 1.47 1.72 2/172 27606
/proc/meminfo: memFree=3090828/32951124 swapFree=67052292/67111528
[pid=27540] ppid=27538 vsize=374300 CPUtime=1482.32 cores=1,3,5,7
/proc/27540/stat : 27540 (minisatid-gmp) R 27538 27540 23311 0 -1 4202496 341746 0 0 0 148184 48 0 0 25 0 1 0 905447910 383283200 91529 33554432000 4194304 6957856 140736279277200 18446744073709551615 5934526 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/27540/statm: 93575 91529 288 675 0 92891 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 374300

[startup+1542.3 s]
/proc/loadavg: 1.00 1.37 1.66 2/172 27607
/proc/meminfo: memFree=3079892/32951124 swapFree=67052292/67111528
[pid=27540] ppid=27538 vsize=405120 CPUtime=1542.33 cores=1,3,5,7
/proc/27540/stat : 27540 (minisatid-gmp) R 27538 27540 23311 0 -1 4202496 359365 0 0 0 154182 51 0 0 25 0 1 0 905447910 414842880 94166 33554432000 4194304 6957856 140736279277200 18446744073709551615 4870064 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/27540/statm: 101280 94166 288 675 0 100596 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 405120

[startup+1602.3 s]
/proc/loadavg: 1.00 1.31 1.62 2/172 27609
/proc/meminfo: memFree=3133552/32951124 swapFree=67052292/67111528
[pid=27540] ppid=27538 vsize=324980 CPUtime=1602.33 cores=1,3,5,7
/proc/27540/stat : 27540 (minisatid-gmp) R 27538 27540 23311 0 -1 4202496 375888 0 0 0 160178 55 0 0 25 0 1 0 905447910 332779520 80598 33554432000 4194304 6957856 140736279277200 18446744073709551615 5312973 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/27540/statm: 81245 80598 288 675 0 80561 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 324980

[startup+1662.3 s]
/proc/loadavg: 1.00 1.24 1.58 2/172 27611
/proc/meminfo: memFree=3088264/32951124 swapFree=67052292/67111528
[pid=27540] ppid=27538 vsize=374300 CPUtime=1662.33 cores=1,3,5,7
/proc/27540/stat : 27540 (minisatid-gmp) R 27538 27540 23311 0 -1 4202496 402104 0 0 0 166175 58 0 0 25 0 1 0 905447910 383283200 92172 33554432000 4194304 6957856 140736279277200 18446744073709551615 5918075 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/27540/statm: 93575 92172 288 675 0 92891 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 374300

[startup+1722.3 s]
/proc/loadavg: 1.00 1.20 1.54 2/172 27612
/proc/meminfo: memFree=3072864/32951124 swapFree=67052292/67111528
[pid=27540] ppid=27538 vsize=405120 CPUtime=1722.34 cores=1,3,5,7
/proc/27540/stat : 27540 (minisatid-gmp) R 27538 27540 23311 0 -1 4202496 421739 0 0 0 172172 62 0 0 25 0 1 0 905447910 414842880 96163 33554432000 4194304 6957856 140736279277200 18446744073709551615 5385223 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/27540/statm: 101280 96163 288 675 0 100596 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 405120

[startup+1782.3 s]
/proc/loadavg: 1.04 1.17 1.51 2/172 27614
/proc/meminfo: memFree=3103092/32951124 swapFree=67052292/67111528
[pid=27540] ppid=27538 vsize=374300 CPUtime=1782.34 cores=1,3,5,7
/proc/27540/stat : 27540 (minisatid-gmp) R 27538 27540 23311 0 -1 4202496 448087 0 0 0 178168 66 0 0 25 0 1 0 905447910 383283200 88535 33554432000 4194304 6957856 140736279277200 18446744073709551615 4638775 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/27540/statm: 93575 88535 288 675 0 92891 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 374300



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 1.03 1.16 1.50 2/172 27614
/proc/meminfo: memFree=3086340/32951124 swapFree=67052292/67111528
[pid=27540] ppid=27538 vsize=374300 CPUtime=1800.04 cores=1,3,5,7
/proc/27540/stat : 27540 (minisatid-gmp) R 27538 27540 23311 0 -1 4202496 452168 0 0 0 179937 67 0 0 25 0 1 0 905447910 383283200 92609 33554432000 4194304 6957856 140736279277200 18446744073709551615 4638769 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/27540/statm: 93575 92609 288 675 0 92891 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 374300

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -27540

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

[startup+1801.4 s]
/proc/loadavg: 1.03 1.16 1.50 1/173 27615
/proc/meminfo: memFree=3086332/32951124 swapFree=67052292/67111528
[pid=27540] ppid=27538 vsize=374300 CPUtime=1800.04 cores=1,3,5,7
/proc/27540/stat : 27540 (minisatid-gmp) S 27538 27540 23311 0 -1 4202496 452169 0 0 0 179937 67 0 0 25 0 1 0 905447910 383283200 92610 33554432000 4194304 6957856 140736279277200 18446744073709551615 6100974 0 16384 4096 17571 18446604454251361408 0 0 17 3 0 0 0
/proc/27540/statm: 93575 92610 289 675 0 92891 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 374300

[startup+1801.81 s]
/proc/loadavg: 0.95 1.14 1.49 1/173 27615
/proc/meminfo: memFree=3086332/32951124 swapFree=67052292/67111528
[pid=27540] ppid=27538 vsize=374300 CPUtime=1800.04 cores=1,3,5,7
/proc/27540/stat : 27540 (minisatid-gmp) S 27538 27540 23311 0 -1 4202496 452169 0 0 0 179937 67 0 0 25 0 1 0 905447910 383283200 92610 33554432000 4194304 6957856 140736279277200 18446744073709551615 6100974 0 16384 4096 17571 18446604454251361408 0 0 17 3 0 0 0
/proc/27540/statm: 93575 92610 289 675 0 92891 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 374300

[startup+1802 s]
/proc/loadavg: 0.95 1.14 1.49 1/173 27615
/proc/meminfo: memFree=3086332/32951124 swapFree=67052292/67111528
[pid=27540] ppid=27538 vsize=374300 CPUtime=1800.04 cores=1,3,5,7
/proc/27540/stat : 27540 (minisatid-gmp) S 27538 27540 23311 0 -1 4202496 452169 0 0 0 179937 67 0 0 25 0 1 0 905447910 383283200 92610 33554432000 4194304 6957856 140736279277200 18446744073709551615 6100974 0 16384 4096 17571 18446604454251361408 0 0 17 3 0 0 0
/proc/27540/statm: 93575 92610 289 675 0 92891 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 374300

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.02
CPU time (s): 1800.07
CPU user time (s): 1799.37
CPU system time (s): 0.690894
CPU usage (%): 99.8914
Max. virtual memory (cumulated for all children) (KiB): 405120

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.37
system time used= 0.690894
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 452169
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= 19621

runsolver used 2.30565 second user time and 5.8981 second system time

The end

Launcher Data 

Begin job on node108 at 2011-06-13 06:14:30
IDJOB=3498206
IDBENCH=89901
IDSOLVER=1990
FILE ID=node108/3498206-1307938469
RUNJOBID= node108-1307936667-27148
PBS_JOBID= 13559671
Free space on /var/tmp= 2872 MiB

SOLVER NAME= MinisatID 2.5.2-gmp
BENCH NAME= PB11/normalized-PB11/OPT-BIGINT-LIN/heinz/normalized-opm2-z9-s14.opb
COMMAND LINE= HOME/minisatid-gmp BENCHNAME --verbosity=0 --format=opb --randomseed=RANDOMSEED
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3498206-1307938469/watcher-3498206-1307938469 -o /var/tmp/evaluation-result-3498206-1307938469/solver-3498206-1307938469 -C 1800 -W 1900 -M 15500  HOME/minisatid-gmp HOME/instance-3498206-1307938469.opb --verbosity=0 --format=opb --randomseed=1834052619

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

MD5SUM BENCH= 0eca8803cfc037d0cffd374298c6d6d9
RANDOM SEED=1834052619

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.64
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.15
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.77
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:       2769260 kB
Buffers:        107500 kB
Cached:       28444740 kB
SwapCached:      23260 kB
Active:       13952380 kB
Inactive:     15304336 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:       2769260 kB
SwapTotal:    67111528 kB
SwapFree:     67052292 kB
Dirty:            5892 kB
Writeback:           0 kB
AnonPages:      701768 kB
Mapped:          10488 kB
Slab:           859096 kB
PageTables:       5872 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   882736 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /var/tmp at the end= 2880 MiB
End job on node108 at 2011-06-13 06:44:32