Trace number 4113859

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
minisatp 2012-10-02 git-d91742bSAT (TO)181 1800.02 1800.31

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-bench1.r.opb
MD5SUMcb09f183d3805e6536d629586026461f
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark158
Best CPU time to get the best result obtained on this benchmark1800.09
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 121
Optimality of the best value was proved YES
Number of variables4688
Total number of constraints403
Number of constraints which are clauses403
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint80
Number of terms in the objective function 4688
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 4688
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 4688
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c Parsing PB file...
0.00/0.04	c Converting 403 PB-constraints to clauses...
0.00/0.04	c   -- Unit propagations: (none)
0.00/0.04	c   -- Detecting intervals from adjacent constraints: (none)
0.00/0.04	c   -- Clauses(.)/Splits(s): ...................................................................................................................................................................................................................................................................................................................................................................................................................
0.00/0.05	============================[ Search Statistics ]==============================
0.00/0.05	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.05	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.00/0.05	===============================================================================
0.00/0.05	===============================================================================
0.00/0.05	c Found solution: 181
0.00/0.07	c ---[   0]---> Adder-cost: 9368   maxlim: 4507   bits: 13/13
1800.00/1800.30	|  Eliminated clauses:           0.00 Mb                                      |
1800.00/1800.30	============================[ Search Statistics ]==============================
1800.00/1800.30	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1800.00/1800.30	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1800.00/1800.30	===============================================================================
1800.00/1800.30	|       100 |   14036    65821   243169 |    24134      100      5 |  0.107 % |
1800.00/1800.30	|       250 |   14036    65821   243169 |    26547      250      5 |  0.107 % |
1800.00/1800.30	|       475 |   14036    65821   243169 |    29202      475      4 |  0.107 % |
1800.00/1800.30	|       812 |   14031    65821   243169 |    32122      809      4 |  0.142 % |
1800.00/1800.30	|      1318 |   14031    65821   243169 |    35335     1315      4 |  0.142 % |
1800.00/1800.30	|      2077 |   14021    65821   243169 |    38868     2062      4 |  0.213 % |
1800.00/1800.30	|      3216 |   14021    65821   243169 |    42755     3201      5 |  0.213 % |
1800.00/1800.30	|      4924 |   14021    65821   243169 |    47031     4909      5 |  0.213 % |
1800.00/1800.30	|      7486 |   14021    65821   243169 |    51734     7471      6 |  0.213 % |
1800.00/1800.30	|     11330 |   14013    65821   243169 |    56907    11308     16 |  0.270 % |
1800.00/1800.30	|     17096 |   14013    65821   243169 |    62598    17074     48 |  0.270 % |
1800.00/1800.30	|     25745 |   14013    65821   243169 |    68858    25723     56 |  0.270 % |
1800.00/1800.30	|     38719 |   14013    65821   243169 |    75743    38697     67 |  0.270 % |
1800.00/1800.30	|     58180 |   14013    65821   243169 |    83318    58158     67 |  0.270 % |
1800.00/1800.30	|     87372 |   14013    65821   243169 |    91650    27271     61 |  0.270 % |
1800.00/1800.30	|    131161 |   14013    65821   243169 |   100815    71060     80 |  0.270 % |
1800.00/1800.30	|    196845 |   14013    65821   243169 |   110896    60779    109 |  0.270 % |
1800.00/1800.30	|    295371 |   14004    65821   243169 |   121986    69941    134 |  0.334 % |
1800.00/1800.30	|    443160 |   14004    65821   243169 |   134185   121500    144 |  0.334 % |
1800.00/1800.30	|    664843 |   14004    65821   243169 |   147603   111917    138 |  0.334 % |
1800.00/1800.30	|    997368 |   14004    65821   243169 |   162363    54660    338 |  0.334 % |
1800.00/1800.30	|   1496156 |   14004    65821   243169 |   178600   132518    152 |  0.334 % |
1800.00/1800.30	|   2244338 |   14004    65821   243169 |   196460   108691    504 |  0.334 % |
1800.00/1800.30	|   3366612 |   14004    65821   243169 |   216106   180154    120 |  0.334 % |
1800.00/1800.30	|   5050023 |   14004    65821   243169 |   237717   121364     46 |  0.334 % |
1800.00/1800.30	|   7575139 |   14004    65821   243169 |   261488    56679    442 |  0.334 % |
1800.00/1800.30	c 
1800.00/1800.30	c *** TERMINATED ***
1800.00/1800.30	s SATISFIABLE
1800.00/1800.30	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 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688

Verifier Data 

OK	181

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4113859-1466556474/watcher-4113859-1466556474 -o /tmp/evaluation-result-4113859-1466556474/solver-4113859-1466556474 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node123-1466551534-9961 --watchdog 1960 minisatp HOME/instance-4113859-1466556474.opb 

pid=21514
running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 1.62 2.05 2.12 3/176 21517
/proc/meminfo: memFree=29956944/32872528 swapFree=17888/1798212
[pid=21517] ppid=21514 vsize=7816 CPUtime=0 cores=0,2,4,6
/proc/21517/stat : 21517 (minisatp) R 21514 21517 9945 0 -1 4202496 646 0 0 0 0 0 0 0 20 0 1 0 57694531 8003584 523 33554432000 4194304 5646918 140735752143136 140735756261000 4817591 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/21517/statm: 1954 523 94 355 0 1595 0

[startup+0.100158 s]
/proc/loadavg: 1.62 2.05 2.12 3/176 21517
/proc/meminfo: memFree=29956944/32872528 swapFree=17888/1798212
[pid=21517] ppid=21514 vsize=12884 CPUtime=0.09 cores=0,2,4,6
/proc/21517/stat : 21517 (minisatp) R 21514 21517 9945 0 -1 4202496 2273 0 0 0 9 0 0 0 20 0 1 0 57694531 13193216 1784 33554432000 4194304 5646918 140735752143136 140735756261000 4817383 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/21517/statm: 3221 1784 125 355 0 2862 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12884

[startup+0.200208 s]
/proc/loadavg: 1.62 2.05 2.12 3/176 21517
/proc/meminfo: memFree=29956944/32872528 swapFree=17888/1798212
[pid=21517] ppid=21514 vsize=13032 CPUtime=0.19 cores=0,2,4,6
/proc/21517/stat : 21517 (minisatp) R 21514 21517 9945 0 -1 4202496 2292 0 0 0 19 0 0 0 20 0 1 0 57694531 13344768 1803 33554432000 4194304 5646918 140735752143136 140735756261000 4460932 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/21517/statm: 3258 1803 125 355 0 2899 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 13032

[startup+0.300247 s]
/proc/loadavg: 1.62 2.05 2.12 3/176 21517
/proc/meminfo: memFree=29956944/32872528 swapFree=17888/1798212
[pid=21517] ppid=21514 vsize=13168 CPUtime=0.29 cores=0,2,4,6
/proc/21517/stat : 21517 (minisatp) R 21514 21517 9945 0 -1 4202496 2320 0 0 0 29 0 0 0 20 0 1 0 57694531 13484032 1831 33554432000 4194304 5646918 140735752143136 140735756261000 4824631 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/21517/statm: 3292 1831 125 355 0 2933 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13168

[startup+0.700142 s]
/proc/loadavg: 1.62 2.05 2.12 3/176 21517
/proc/meminfo: memFree=29956944/32872528 swapFree=17888/1798212
[pid=21517] ppid=21514 vsize=13324 CPUtime=0.69 cores=0,2,4,6
/proc/21517/stat : 21517 (minisatp) R 21514 21517 9945 0 -1 4202496 2372 0 0 0 69 0 0 0 20 0 1 0 57694531 13643776 1883 33554432000 4194304 5646918 140735752143136 140735750785480 4460915 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/21517/statm: 3331 1883 125 355 0 2972 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13324

[startup+1.50023 s]
/proc/loadavg: 1.65 2.05 2.12 3/177 21518
/proc/meminfo: memFree=29949620/32872528 swapFree=17888/1798212
[pid=21517] ppid=21514 vsize=13468 CPUtime=1.49 cores=0,2,4,6
/proc/21517/stat : 21517 (minisatp) R 21514 21517 9945 0 -1 4202496 2386 0 0 0 149 0 0 0 20 0 1 0 57694531 13791232 1897 33554432000 4194304 5646918 140735752143136 140735751704888 4832119 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/21517/statm: 3367 1897 125 355 0 3008 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13468

[startup+3.10023 s]
/proc/loadavg: 1.65 2.05 2.12 3/177 21518
/proc/meminfo: memFree=29949124/32872528 swapFree=17888/1798212
[pid=21517] ppid=21514 vsize=13468 CPUtime=3.09 cores=0,2,4,6
/proc/21517/stat : 21517 (minisatp) R 21514 21517 9945 0 -1 4202496 2387 0 0 0 309 0 0 0 20 0 1 0 57694531 13791232 1898 33554432000 4194304 5646918 140735752143136 140735751704888 4817372 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/21517/statm: 3367 1898 125 355 0 3008 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 13468

[startup+6.30022 s]
/proc/loadavg: 1.68 2.05 2.12 3/177 21518
/proc/meminfo: memFree=29947512/32872528 swapFree=17888/1798212
[pid=21517] ppid=21514 vsize=15580 CPUtime=6.29 cores=0,2,4,6
/proc/21517/stat : 21517 (minisatp) R 21514 21517 9945 0 -1 4202496 3005 0 0 0 629 0 0 0 20 0 1 0 57694531 15953920 2432 33554432000 4194304 5646918 140735752143136 140735751515704 4831344 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/21517/statm: 3895 2432 126 355 0 3536 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 15580

[startup+12.7002 s]
/proc/loadavg: 1.71 2.05 2.12 4/177 21518
/proc/meminfo: memFree=29906208/32872528 swapFree=17888/1798212
[pid=21517] ppid=21514 vsize=58816 CPUtime=12.69 cores=0,2,4,6
/proc/21517/stat : 21517 (minisatp) R 21514 21517 9945 0 -1 4202496 11115 0 0 0 1267 2 0 0 20 0 1 0 57694531 60227584 13442 33554432000 4194304 5646918 140735752143136 140735752141240 4397104 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/21517/statm: 14704 13442 184 355 0 14345 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 58816

[startup+25.5003 s]
/proc/loadavg: 1.84 2.06 2.12 3/177 21518
/proc/meminfo: memFree=29904272/32872528 swapFree=17888/1798212
[pid=21517] ppid=21514 vsize=56828 CPUtime=25.49 cores=0,2,4,6
/proc/21517/stat : 21517 (minisatp) R 21514 21517 9945 0 -1 4202496 16181 0 0 0 2545 4 0 0 20 0 1 0 57694531 58191872 13227 33554432000 4194304 5646918 140735752143136 140735752141848 4402853 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/21517/statm: 14207 13227 186 355 0 13848 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 56828

[startup+51.1004 s]
/proc/loadavg: 1.89 2.05 2.11 3/177 21518
/proc/meminfo: memFree=29868904/32872528 swapFree=17888/1798212
[pid=21517] ppid=21514 vsize=105896 CPUtime=51.08 cores=0,2,4,6
/proc/21517/stat : 21517 (minisatp) R 21514 21517 9945 0 -1 4202496 18695 0 0 0 5101 7 0 0 20 0 1 0 57694531 108437504 21440 33554432000 4194304 5646918 140735752143136 140735752141848 4403124 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/21517/statm: 26474 21440 186 355 0 26115 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 105896

[startup+102.3 s]
/proc/loadavg: 2.05 2.07 2.11 4/177 21519
/proc/meminfo: memFree=29847236/32872528 swapFree=17888/1798212
[pid=21517] ppid=21514 vsize=107004 CPUtime=102.28 cores=0,2,4,6
/proc/21517/stat : 21517 (minisatp) R 21514 21517 9945 0 -1 4202496 23147 0 0 0 10212 16 0 0 20 0 1 0 57694531 109572096 26149 33554432000 4194304 5646918 140735752143136 140735752141848 4402751 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/21517/statm: 26751 26149 186 355 0 26392 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 107004

[startup+162.3 s]
/proc/loadavg: 2.25 2.12 2.12 3/178 21523
/proc/meminfo: memFree=29682724/32872528 swapFree=17888/1798212
[pid=21517] ppid=21514 vsize=318620 CPUtime=162.26 cores=0,2,4,6
/proc/21517/stat : 21517 (minisatp) R 21514 21517 9945 0 -1 4202496 28366 0 0 0 16202 24 0 0 20 0 1 0 57694531 326266880 67586 33554432000 4194304 5646918 140735752143136 140735752141832 4402736 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/21517/statm: 79655 67586 186 355 0 79296 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 318620

[startup+222.307 s]
/proc/loadavg: 2.24 2.14 2.13 4/177 21524
/proc/meminfo: memFree=29740504/32872528 swapFree=17888/1798212
[pid=21517] ppid=21514 vsize=237232 CPUtime=222.25 cores=0,2,4,6
/proc/21517/stat : 21517 (minisatp) R 21514 21517 9945 0 -1 4202496 31394 0 0 0 22194 31 0 0 20 0 1 0 57694531 242925568 51764 33554432000 4194304 5646918 140735752143136 140735752141832 4403420 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/21517/statm: 59308 51764 186 355 0 58949 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 237232

[startup+282.3 s]
/proc/loadavg: 2.16 2.14 2.13 3/177 21526
/proc/meminfo: memFree=29761176/32872528 swapFree=17888/1798212
[pid=21517] ppid=21514 vsize=187144 CPUtime=282.23 cores=0,2,4,6
/proc/21517/stat : 21517 (minisatp) R 21514 21517 9945 0 -1 4202496 35907 0 0 0 28184 39 0 0 20 0 1 0 57694531 191635456 46132 33554432000 4194304 5646918 140735752143136 140735752141832 4416598 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/21517/statm: 46786 46132 186 355 0 46427 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 187144

[startup+342.3 s]
/proc/loadavg: 2.30 2.17 2.14 3/177 21527
/proc/meminfo: memFree=29704932/32872528 swapFree=17888/1798212
[pid=21517] ppid=21514 vsize=268792 CPUtime=342.23 cores=0,2,4,6
/proc/21517/stat : 21517 (minisatp) R 21514 21517 9945 0 -1 4202496 40122 0 0 0 34175 48 0 0 20 0 1 0 57694531 275243008 59462 33554432000 4194304 5646918 140735752143136 140735752141832 4403138 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/21517/statm: 67198 59462 186 355 0 66839 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 268792

[startup+402.3 s]
/proc/loadavg: 2.28 2.19 2.14 4/177 21528
/proc/meminfo: memFree=29737428/32872528 swapFree=17888/1798212
[pid=21517] ppid=21514 vsize=218704 CPUtime=402.21 cores=0,2,4,6
/proc/21517/stat : 21517 (minisatp) R 21514 21517 9945 0 -1 4202496 42594 0 0 0 40164 57 0 0 20 0 1 0 57694531 223952896 51523 33554432000 4194304 5646918 140735752143136 140735752141832 4402832 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/21517/statm: 54676 51523 186 355 0 54317 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 218704

[startup+462.3 s]
/proc/loadavg: 2.20 2.18 2.14 3/177 21529
/proc/meminfo: memFree=29766520/32872528 swapFree=17888/1798212
[pid=21517] ppid=21514 vsize=187884 CPUtime=462.21 cores=0,2,4,6
/proc/21517/stat : 21517 (minisatp) R 21514 21517 9945 0 -1 4202496 45167 0 0 0 46156 65 0 0 20 0 1 0 57694531 192393216 42752 33554432000 4194304 5646918 140735752143136 140735752141432 4399417 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/21517/statm: 46971 42752 186 355 0 46612 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 187884

[startup+522.3 s]
/proc/loadavg: 2.17 2.17 2.14 3/177 21530
/proc/meminfo: memFree=29751972/32872528 swapFree=17888/1798212
[pid=21517] ppid=21514 vsize=218704 CPUtime=522.2 cores=0,2,4,6
/proc/21517/stat : 21517 (minisatp) R 21514 21517 9945 0 -1 4202496 49933 0 0 0 52148 72 0 0 20 0 1 0 57694531 223952896 46403 33554432000 4194304 5646918 140735752143136 140735752141832 4400607 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/21517/statm: 54676 46403 186 355 0 54317 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 218704

[startup+582.3 s]
/proc/loadavg: 2.26 2.20 2.15 3/177 21532
/proc/meminfo: memFree=29697776/32872528 swapFree=17888/1798212
[pid=21517] ppid=21514 vsize=240216 CPUtime=582.19 cores=0,2,4,6
/proc/21517/stat : 21517 (minisatp) R 21514 21517 9945 0 -1 4202496 54168 0 0 0 58139 80 0 0 20 0 1 0 57694531 245981184 57724 33554432000 4194304 5646918 140735752143136 140735752141832 4402853 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/21517/statm: 60054 57724 186 355 0 59695 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 240216


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


[startup+942.3 s]
/proc/loadavg: 2.15 2.19 2.16 3/178 21565
/proc/meminfo: memFree=29746952/32872528 swapFree=17888/1798212
[pid=21517] ppid=21514 vsize=160076 CPUtime=942.13 cores=0,2,4,6
/proc/21517/stat : 21517 (minisatp) R 21514 21517 9945 0 -1 4202496 74809 0 0 0 94089 124 0 0 20 0 1 0 57694531 163917824 39629 33554432000 4194304 5646918 140735752143136 140735752141848 4403118 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/21517/statm: 40019 39629 186 355 0 39660 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 160076

[startup+1002.3 s]
/proc/loadavg: 2.18 2.18 2.16 3/178 21566
/proc/meminfo: memFree=29596860/32872528 swapFree=17888/1798212
[pid=21517] ppid=21514 vsize=320936 CPUtime=1002.13 cores=0,2,4,6
/proc/21517/stat : 21517 (minisatp) R 21514 21517 9945 0 -1 4202496 77585 0 0 0 100083 130 0 0 20 0 1 0 57694531 328638464 75908 33554432000 4194304 5646918 140735752143136 140735752141832 4403176 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/21517/statm: 80234 75908 186 355 0 79875 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 320936

[startup+1062.3 s]
/proc/loadavg: 2.22 2.19 2.16 3/178 21567
/proc/meminfo: memFree=29607136/32872528 swapFree=17888/1798212
[pid=21517] ppid=21514 vsize=320936 CPUtime=1062.12 cores=0,2,4,6
/proc/21517/stat : 21517 (minisatp) R 21514 21517 9945 0 -1 4202496 81300 0 0 0 106075 137 0 0 20 0 1 0 57694531 328638464 73902 33554432000 4194304 5646918 140735752143136 140735752141832 4397622 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/21517/statm: 80234 73902 186 355 0 79875 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 320936

[startup+1122.3 s]
/proc/loadavg: 2.29 2.22 2.17 3/178 21568
/proc/meminfo: memFree=29563880/32872528 swapFree=17888/1798212
[pid=21517] ppid=21514 vsize=402324 CPUtime=1122.11 cores=0,2,4,6
/proc/21517/stat : 21517 (minisatp) R 21514 21517 9945 0 -1 4202496 83957 0 0 0 112069 142 0 0 20 0 1 0 57694531 411979776 84100 33554432000 4194304 5646918 140735752143136 140735752141832 4402657 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/21517/statm: 100581 84100 186 355 0 100222 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 402324

[startup+1182.3 s]
/proc/loadavg: 2.23 2.21 2.17 4/178 21680
/proc/meminfo: memFree=29616904/32872528 swapFree=17888/1798212
[pid=21517] ppid=21514 vsize=749508 CPUtime=1182.09 cores=0,2,4,6
/proc/21517/stat : 21517 (minisatp) R 21514 21517 9945 0 -1 4202496 87132 0 0 0 118060 149 0 0 20 0 1 0 57694531 767496192 140373 33554432000 4194304 5646918 140735752143136 140735752141832 4397856 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/21517/statm: 187377 140373 186 355 0 187018 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 749508

[startup+1242.3 s]
/proc/loadavg: 2.26 2.21 2.18 4/178 21682
/proc/meminfo: memFree=29899492/32872528 swapFree=17888/1798212
[pid=21517] ppid=21514 vsize=320936 CPUtime=1242.09 cores=0,2,4,6
/proc/21517/stat : 21517 (minisatp) R 21514 21517 9945 0 -1 4202496 90793 0 0 0 124052 157 0 0 20 0 1 0 57694531 328638464 69252 33554432000 4194304 5646918 140735752143136 140735752141832 4400586 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/21517/statm: 80234 69252 186 355 0 79875 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 320936

[startup+1302.3 s]
/proc/loadavg: 2.15 2.19 2.17 3/178 21683
/proc/meminfo: memFree=29907264/32872528 swapFree=17888/1798212
[pid=21517] ppid=21514 vsize=240028 CPUtime=1302.08 cores=0,2,4,6
/proc/21517/stat : 21517 (minisatp) R 21514 21517 9945 0 -1 4202496 93582 0 0 0 130044 164 0 0 20 0 1 0 57694531 245788672 58644 33554432000 4194304 5646918 140735752143136 140735752141432 4403495 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/21517/statm: 60007 58644 186 355 0 59648 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 240028

[startup+1362.3 s]
/proc/loadavg: 2.10 2.16 2.16 4/179 21687
/proc/meminfo: memFree=29747416/32872528 swapFree=17888/1798212
[pid=21517] ppid=21514 vsize=402324 CPUtime=1362.07 cores=0,2,4,6
/proc/21517/stat : 21517 (minisatp) R 21514 21517 9945 0 -1 4202496 97651 0 0 0 136036 171 0 0 20 0 1 0 57694531 411979776 91268 33554432000 4194304 5646918 140735752143136 140735752141832 4398888 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/21517/statm: 100581 91268 186 355 0 100222 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 402324

[startup+1422.3 s]
/proc/loadavg: 2.21 2.18 2.17 3/178 21688
/proc/meminfo: memFree=29763880/32872528 swapFree=17888/1798212
[pid=21517] ppid=21514 vsize=402324 CPUtime=1422.07 cores=0,2,4,6
/proc/21517/stat : 21517 (minisatp) R 21514 21517 9945 0 -1 4202496 100250 0 0 0 142027 180 0 0 20 0 1 0 57694531 411979776 89732 33554432000 4194304 5646918 140735752143136 140735752141832 4403159 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/21517/statm: 100581 89732 186 355 0 100222 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 402324

[startup+1482.3 s]
/proc/loadavg: 2.21 2.18 2.17 3/178 21689
/proc/meminfo: memFree=29754828/32872528 swapFree=17888/1798212
[pid=21517] ppid=21514 vsize=402324 CPUtime=1482.05 cores=0,2,4,6
/proc/21517/stat : 21517 (minisatp) R 21514 21517 9945 0 -1 4202496 102374 0 0 0 148020 185 0 0 20 0 1 0 57694531 411979776 91795 33554432000 4194304 5646918 140735752143136 140735752141832 4403136 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/21517/statm: 100581 91795 186 355 0 100222 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 402324

[startup+1542.31 s]
/proc/loadavg: 2.19 2.17 2.17 4/178 21691
/proc/meminfo: memFree=29830608/32872528 swapFree=17888/1798212
[pid=21517] ppid=21514 vsize=320936 CPUtime=1542.05 cores=0,2,4,6
/proc/21517/stat : 21517 (minisatp) R 21514 21517 9945 0 -1 4202496 105561 0 0 0 154014 191 0 0 20 0 1 0 57694531 328638464 71315 33554432000 4194304 5646918 140735752143136 140735752141832 4402776 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/21517/statm: 80234 71315 186 355 0 79875 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 320936

[startup+1602.3 s]
/proc/loadavg: 2.24 2.19 2.17 3/178 21692
/proc/meminfo: memFree=29808180/32872528 swapFree=17888/1798212
[pid=21517] ppid=21514 vsize=320936 CPUtime=1602.03 cores=0,2,4,6
/proc/21517/stat : 21517 (minisatp) R 21514 21517 9945 0 -1 4202496 107950 0 0 0 160007 196 0 0 20 0 1 0 57694531 328638464 79756 33554432000 4194304 5646918 140735752143136 140735752141832 4402853 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/21517/statm: 80234 79756 186 355 0 79875 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 320936

[startup+1662.3 s]
/proc/loadavg: 2.24 2.19 2.18 3/178 21693
/proc/meminfo: memFree=29707572/32872528 swapFree=17888/1798212
[pid=21517] ppid=21514 vsize=534584 CPUtime=1662.02 cores=0,2,4,6
/proc/21517/stat : 21517 (minisatp) R 21514 21517 9945 0 -1 4202496 110841 0 0 0 165999 203 0 0 20 0 1 0 57694531 547414016 104036 33554432000 4194304 5646918 140735752143136 140735752141832 4403431 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/21517/statm: 133646 104036 186 355 0 133287 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 534584

[startup+1722.3 s]
/proc/loadavg: 2.27 2.20 2.18 3/178 21694
/proc/meminfo: memFree=29882428/32872528 swapFree=17888/1798212
[pid=21517] ppid=21514 vsize=304752 CPUtime=1722.02 cores=0,2,4,6
/proc/21517/stat : 21517 (minisatp) R 21514 21517 9945 0 -1 4202496 114994 0 0 0 171991 211 0 0 20 0 1 0 57694531 312066048 70274 33554432000 4194304 5646918 140735752143136 140735752141832 4403178 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/21517/statm: 76188 70274 186 355 0 75829 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 304752

[startup+1782.3 s]
/proc/loadavg: 2.34 2.24 2.19 3/178 21695
/proc/meminfo: memFree=29792760/32872528 swapFree=17888/1798212
[pid=21517] ppid=21514 vsize=436228 CPUtime=1782 cores=0,2,4,6
/proc/21517/stat : 21517 (minisatp) R 21514 21517 9945 0 -1 4202496 118477 0 0 0 177985 215 0 0 20 0 1 0 57694531 446697472 92079 33554432000 4194304 5646918 140735752143136 140735752141832 4403495 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/21517/statm: 109057 92079 186 355 0 108698 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 436228



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.26 2.23 2.18 3/177 21695
/proc/meminfo: memFree=29818692/32872528 swapFree=17888/1798212
[pid=21517] ppid=21514 vsize=304752 CPUtime=1800 cores=0,2,4,6
/proc/21517/stat : 21517 (minisatp) R 21514 21517 9945 0 -1 4202496 119208 0 0 0 179782 218 0 0 20 0 1 0 57694531 312066048 75394 33554432000 4194304 5646918 140735752143136 140735752141832 4402954 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/21517/statm: 76188 75394 186 355 0 75829 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 304752

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 21517 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1800.3 s]
/proc/loadavg: 2.26 2.23 2.18 3/177 21695
/proc/meminfo: memFree=29818692/32872528 swapFree=17888/1798212
[pid=21517] ppid=21514 vsize=304752 CPUtime=1800 cores=0,2,4,6
/proc/21517/stat : 21517 (minisatp) R 21514 21517 9945 0 -1 4202496 119208 0 0 0 179782 218 0 0 20 0 1 0 57694531 312066048 75394 33554432000 4194304 5646918 140735752143136 140735752141832 4402954 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/21517/statm: 76188 75394 186 355 0 75829 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 304752

Child status: 0
Real time (s): 1800.31
CPU time (s): 1800.02
CPU user time (s): 1797.82
CPU system time (s): 2.19167
CPU usage (%): 99.9839
Max. virtual memory (cumulated for all children) (KiB): 749508

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.82
system time used= 2.19167
maximum resident set size= 579924
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 119208
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= 19
involuntary context switches= 2036

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.45117 second user time and 8.18675 second system time

The end

Launcher Data 

Begin job on node123 at 2016-06-22 02:47:54
IDJOB=4113859
IDBENCH=2837
IDSOLVER=2555
FILE ID=node123/4113859-1466556474
RUNJOBID= node123-1466551534-9961
PBS_JOBID= 19943335
Free space on /tmp= 71728 MiB

SOLVER NAME= minisatp 2012-10-02 git-d91742b
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-bench1.r.opb
COMMAND LINE= minisatp BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4113859-1466556474/watcher-4113859-1466556474 -o /tmp/evaluation-result-4113859-1466556474/solver-4113859-1466556474 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node123-1466551534-9961 --watchdog 1960  minisatp HOME/instance-4113859-1466556474.opb

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

MD5SUM BENCH= cb09f183d3805e6536d629586026461f
RANDOM SEED=1112030748

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29957828 kB
Buffers:           30300 kB
Cached:            67764 kB
SwapCached:         1640 kB
Active:           352380 kB
Inactive:          50308 kB
Active(anon):     305652 kB
Inactive(anon):     1324 kB
Active(file):      46728 kB
Inactive(file):    48984 kB
Unevictable:     1798212 kB
Mlocked:           17888 kB
SwapTotal:      67108856 kB
SwapFree:       67099124 kB
Dirty:              4560 kB
Writeback:             0 kB
AnonPages:       2106468 kB
Mapped:             7704 kB
Shmem:                 0 kB
Slab:             577032 kB
SReclaimable:      18688 kB
SUnreclaim:       558344 kB
KernelStack:        1456 kB
PageTables:         8232 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2242308 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1906688 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-4113859-1466556474.opb

Free space on /tmp at the end= 71724 MiB
End job on node123 at 2016-06-22 03:17:54