Trace number 2698890

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
PB/CT 0.1 fixedMSAT (TO) 1800.09 1800.01

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl50_51_pb.cnf.cr--soft-66-100-0.wbo
MD5SUM5648463b311d39ee56e08f95de13a148
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark12
Best CPU time to get the best result obtained on this benchmark0.44993
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables5100
Total number of constraints202
Number of soft constraints71
Number of constraints which are clauses102
Number of constraints which are cardinality constraints (but not clauses)100
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint50
Maximum length of a constraint51
Top cost 3850
Min constraint cost 1
Max constraint cost 98
Sum of constraints costs 3849
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 52
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c PB/CT 0.1.2 http://www.residual.se/pbct
0.00/0.00	c Based on OpenSMT/CT 20091015
0.00/0.01	c constraints 63/37 clauses 68/34 units 0
0.00/0.01	c vars 5100
0.19/0.20	c 0.188971 39.5742 34 7064
0.19/0.20	o 1695
0.19/0.23	c 0.207968 40.457 138 9143
0.19/0.23	o 1228
0.19/0.24	c 0.217966 40.457 139 10262
0.19/0.24	o 571
0.19/0.25	c 0.223965 40.457 140 11246
0.19/0.25	o 567
0.19/0.26	c 0.230964 40.457 140 12188
0.19/0.26	o 549
0.19/0.27	c 0.238963 40.457 140 13094
0.19/0.27	o 548
0.19/0.28	c 0.244962 40.457 140 13944
0.19/0.28	o 541
0.19/0.29	c 0.250961 40.457 140 14960
0.19/0.29	o 523
0.29/0.30	c 0.25696 40.457 140 15891
0.29/0.30	o 496
0.29/0.31	c 0.263959 40.457 140 16699
0.29/0.31	o 490
0.29/0.32	c 0.268959 40.457 140 17686
0.29/0.32	o 488
0.29/0.33	c 0.276957 40.457 141 18642
0.29/0.33	o 457
0.29/0.34	c 0.282956 40.457 141 19553
0.29/0.34	o 438
0.29/0.35	c 0.286956 40.457 141 20316
0.29/0.35	o 436
0.29/0.36	c 0.292955 40.457 141 21281
0.29/0.36	o 426
0.29/0.37	c 0.298954 40.457 144 22191
0.29/0.37	o 388
0.29/0.38	c 0.305953 40.457 144 23051
0.29/0.38	o 384
0.29/0.39	c 0.309952 40.457 144 23867
0.29/0.39	o 383
0.39/0.40	c 0.316951 40.457 144 24704
0.39/0.40	o 373
0.39/0.41	c 0.32295 40.457 144 25422
0.39/0.41	o 371
0.39/0.42	c 0.328949 40.457 145 26161
0.39/0.42	o 368
0.39/0.43	c 0.338948 40.457 145 26931
0.39/0.43	o 366
0.39/0.49	c 0.375942 40.5859 351 30776
0.39/0.49	o 342
0.49/0.50	c 0.383941 40.5859 354 32065
0.49/0.50	o 311
0.49/0.53	c 0.407937 40.7148 461 35923
0.49/0.53	o 305
0.49/0.54	c 0.412937 40.7148 462 37281
0.49/0.54	o 302
0.49/0.56	c 0.421935 40.7148 464 39075
0.49/0.56	o 289
0.49/0.57	c 0.428934 40.7148 464 40491
0.49/0.57	o 277
0.59/0.60	c 0.452931 40.8438 579 43798
0.59/0.60	o 272
0.59/0.61	c 0.45993 40.8438 594 45238
0.59/0.61	o 271
0.59/0.62	c 0.469928 40.8438 596 46870
0.59/0.62	o 258
0.59/0.63	c 0.474927 40.8438 597 48458
0.59/0.63	o 197
0.59/0.65	c 0.481926 40.8438 599 50446
0.59/0.65	o 188
0.59/0.66	c 0.488925 40.8438 602 52073
0.59/0.66	o 183
0.59/0.67	c 0.495924 40.8438 605 53708
0.59/0.67	o 172
0.59/0.68	c 0.505923 40.8438 607 55480
0.59/0.68	o 151
0.59/0.69	c 0.514921 40.8438 609 56970
0.59/0.69	o 130
0.69/0.73	c 0.538918 40.9727 711 60445
0.69/0.73	o 119
0.69/0.76	c 0.562914 41.1016 815 65152
0.69/0.76	o 87
0.79/0.86	c 0.638902 41.4883 1262 73869
0.79/0.86	o 59
0.89/0.91	c 0.676897 41.6172 1410 80999
0.89/0.91	o 52
0.89/0.94	c 0.702893 41.6172 1512 85269
0.89/0.94	o 49
0.89/0.95	c 0.712891 41.6172 1513 87441
0.89/0.95	o 36
1.00/1.01	c 0.757884 42.0039 1817 94142
1.00/1.01	o 23
1.99/2.08	c 1.67774 47.1641 2424 147997
1.99/2.08	o 15
2.79/2.84	c 2.31465 47.1641 2768 192193
2.79/2.84	o 12
1800.07/1800.00	s SATISFIABLE
1800.07/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 -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 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100

Verifier Data 

OK	12

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2698890-1278457450/watcher-2698890-1278457450 -o /tmp/evaluation-result-2698890-1278457450/solver-2698890-1278457450 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2698890-1278457450.wbo 

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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.00 0.00 0.00 2/172 10723
/proc/meminfo: memFree=30883312/32950928 swapFree=67111528/67111528
[pid=10723] ppid=10721 vsize=2136 CPUtime=0
/proc/10723/stat : 10723 (pbct) R 10721 10723 10696 0 -1 4202496 247 0 0 0 0 0 0 0 21 0 1 0 13892211 2187264 166 4089446400 134512640 136422188 4288044448 18446744073709551615 135154848 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/10723/statm: 534 167 144 467 0 65 0

[startup+0.036985 s]
/proc/loadavg: 0.00 0.00 0.00 2/172 10723
/proc/meminfo: memFree=30883312/32950928 swapFree=67111528/67111528
[pid=10723] ppid=10721 vsize=10616 CPUtime=0.03
/proc/10723/stat : 10723 (pbct) R 10721 10723 10696 0 -1 4202496 2321 0 0 0 3 0 0 0 21 0 1 0 13892211 10870784 2240 4089446400 134512640 136422188 4288044448 18446744073709551615 135812218 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/10723/statm: 2654 2252 187 467 0 2185 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 10616

[startup+0.100979 s]
/proc/loadavg: 0.00 0.00 0.00 2/172 10723
/proc/meminfo: memFree=30883312/32950928 swapFree=67111528/67111528
[pid=10723] ppid=10721 vsize=24588 CPUtime=0.09
/proc/10723/stat : 10723 (pbct) R 10721 10723 10696 0 -1 4202496 5835 0 0 0 9 0 0 0 21 0 1 0 13892211 25178112 5683 4089446400 134512640 136422188 4288044448 18446744073709551615 135811945 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/10723/statm: 6147 5687 193 467 0 5678 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 24588

[startup+0.300933 s]
/proc/loadavg: 0.00 0.00 0.00 2/172 10723
/proc/meminfo: memFree=30883312/32950928 swapFree=67111528/67111528
[pid=10723] ppid=10721 vsize=41424 CPUtime=0.29
/proc/10723/stat : 10723 (pbct) R 10721 10723 10696 0 -1 4202496 10228 0 0 0 25 4 0 0 21 0 1 0 13892211 42418176 9578 4089446400 134512640 136422188 4288044448 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/10723/statm: 10356 9578 237 467 0 9887 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 41424

[startup+0.700854 s]
/proc/loadavg: 0.00 0.00 0.00 2/172 10723
/proc/meminfo: memFree=30883312/32950928 swapFree=67111528/67111528
[pid=10723] ppid=10721 vsize=41820 CPUtime=0.69
/proc/10723/stat : 10723 (pbct) R 10721 10723 10696 0 -1 4202496 10355 0 0 0 51 18 0 0 22 0 1 0 13892211 42823680 9676 4089446400 134512640 136422188 4288044448 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/10723/statm: 10455 9676 237 467 0 9986 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 41820

[startup+1.5007 s]
/proc/loadavg: 0.00 0.00 0.00 2/173 10724
/proc/meminfo: memFree=30844368/32950928 swapFree=67111528/67111528
[pid=10723] ppid=10721 vsize=46572 CPUtime=1.49
/proc/10723/stat : 10723 (pbct) R 10721 10723 10696 0 -1 4202496 11552 0 0 0 117 32 0 0 25 0 1 0 13892211 47689728 10866 4089446400 134512640 136422188 4288044448 18446744073709551615 134860194 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/10723/statm: 11643 10866 237 467 0 11174 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 46572

[startup+3.10039 s]
/proc/loadavg: 0.16 0.03 0.01 3/178 10734
/proc/meminfo: memFree=30828740/32950928 swapFree=67111528/67111528
[pid=10723] ppid=10721 vsize=48292 CPUtime=3.09
/proc/10723/stat : 10723 (pbct) R 10721 10723 10696 0 -1 4202496 11983 0 0 0 252 57 0 0 25 0 1 0 13892211 49451008 11295 4089446400 134512640 136422188 4288044448 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/10723/statm: 12073 11295 237 467 0 11604 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 48292

[startup+6.30078 s]
/proc/loadavg: 0.16 0.03 0.01 3/178 10734
/proc/meminfo: memFree=30821176/32950928 swapFree=67111528/67111528
[pid=10723] ppid=10721 vsize=54632 CPUtime=6.29
/proc/10723/stat : 10723 (pbct) R 10721 10723 10696 0 -1 4202496 13546 0 0 0 528 101 0 0 25 0 1 0 13892211 55943168 12858 4089446400 134512640 136422188 4288044448 18446744073709551615 135006973 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/10723/statm: 13658 12858 237 467 0 13189 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 54632

[startup+12.7006 s]
/proc/loadavg: 0.44 0.10 0.03 3/178 10735
/proc/meminfo: memFree=30815964/32950928 swapFree=67111528/67111528
[pid=10723] ppid=10721 vsize=62956 CPUtime=12.69
/proc/10723/stat : 10723 (pbct) R 10721 10723 10696 0 -1 4202496 15623 0 0 0 1090 179 0 0 25 0 1 0 13892211 64466944 14935 4089446400 134512640 136422188 4288044448 18446744073709551615 134862222 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/10723/statm: 15739 14935 237 467 0 15270 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 62956

[startup+25.5011 s]
/proc/loadavg: 0.68 0.16 0.05 3/178 10736
/proc/meminfo: memFree=30809180/32950928 swapFree=67111528/67111528
[pid=10723] ppid=10721 vsize=65748 CPUtime=25.49
/proc/10723/stat : 10723 (pbct) R 10721 10723 10696 0 -1 4202496 16331 0 0 0 2196 353 0 0 25 0 1 0 13892211 67325952 15643 4089446400 134512640 136422188 4288044448 18446744073709551615 134862222 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/10723/statm: 16437 15643 237 467 0 15968 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 65748

[startup+51.1002 s]
/proc/loadavg: 1.13 0.31 0.10 3/178 10736
/proc/meminfo: memFree=30799920/32950928 swapFree=67111528/67111528
[pid=10723] ppid=10721 vsize=74640 CPUtime=51.09
/proc/10723/stat : 10723 (pbct) R 10721 10723 10696 0 -1 4202496 18558 0 0 0 4505 604 0 0 25 0 1 0 13892211 76431360 17870 4089446400 134512640 136422188 4288044448 18446744073709551615 134862338 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/10723/statm: 18660 17870 237 467 0 18191 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 74640

[startup+102.305 s]
/proc/loadavg: 1.65 0.59 0.21 3/178 10738
/proc/meminfo: memFree=30779924/32950928 swapFree=67111528/67111528
[pid=10723] ppid=10721 vsize=92928 CPUtime=102.3
/proc/10723/stat : 10723 (pbct) R 10721 10723 10696 0 -1 4202496 23111 0 0 0 9275 955 0 0 25 0 1 0 13892211 95158272 22423 4089446400 134512640 136422188 4288044448 18446744073709551615 134862338 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/10723/statm: 23232 22423 237 467 0 22763 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 92928

[startup+162.301 s]
/proc/loadavg: 1.91 0.86 0.32 3/178 10739
/proc/meminfo: memFree=30779144/32950928 swapFree=67111528/67111528
[pid=10723] ppid=10721 vsize=92336 CPUtime=162.3
/proc/10723/stat : 10723 (pbct) R 10721 10723 10696 0 -1 4202496 23229 0 0 0 14589 1641 0 0 25 0 1 0 13892211 94552064 22284 4089446400 134512640 136422188 4288044448 18446744073709551615 135022173 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/10723/statm: 23084 22284 237 467 0 22615 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 92336

[startup+222.3 s]
/proc/loadavg: 1.97 1.06 0.43 3/178 10740
/proc/meminfo: memFree=30769044/32950928 swapFree=67111528/67111528
[pid=10723] ppid=10721 vsize=102280 CPUtime=222.3
/proc/10723/stat : 10723 (pbct) R 10721 10723 10696 0 -1 4202496 25715 0 0 0 20119 2111 0 0 25 0 1 0 13892211 104734720 24770 4089446400 134512640 136422188 4288044448 18446744073709551615 134862325 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/10723/statm: 25570 24770 237 467 0 25101 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 102280

[startup+282.301 s]
/proc/loadavg: 1.99 1.23 0.52 3/178 10742
/proc/meminfo: memFree=30770256/32950928 swapFree=67111528/67111528
[pid=10723] ppid=10721 vsize=99904 CPUtime=282.3
/proc/10723/stat : 10723 (pbct) R 10721 10723 10696 0 -1 4202496 25717 0 0 0 25479 2751 0 0 25 0 1 0 13892211 102301696 24189 4089446400 134512640 136422188 4288044448 18446744073709551615 135809636 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/10723/statm: 24976 24189 237 467 0 24507 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 99904

[startup+342.3 s]
/proc/loadavg: 1.99 1.37 0.61 3/178 10744
/proc/meminfo: memFree=30765096/32950928 swapFree=67111528/67111528
[pid=10723] ppid=10721 vsize=105628 CPUtime=342.3
/proc/10723/stat : 10723 (pbct) R 10721 10723 10696 0 -1 4202496 27131 0 0 0 30922 3308 0 0 25 0 1 0 13892211 108163072 25603 4089446400 134512640 136422188 4288044448 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/10723/statm: 26407 25603 237 467 0 25938 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 105628

[startup+402.301 s]
/proc/loadavg: 1.99 1.48 0.69 3/178 10746
/proc/meminfo: memFree=30763948/32950928 swapFree=67111528/67111528
[pid=10723] ppid=10721 vsize=106288 CPUtime=402.31
/proc/10723/stat : 10723 (pbct) R 10721 10723 10696 0 -1 4202496 27297 0 0 0 36266 3965 0 0 25 0 1 0 13892211 108838912 25769 4089446400 134512640 136422188 4288044448 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/10723/statm: 26572 25769 237 467 0 26103 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 106288

[startup+462.3 s]
/proc/loadavg: 2.03 1.59 0.78 3/178 10747
/proc/meminfo: memFree=30757068/32950928 swapFree=67111528/67111528
[pid=10723] ppid=10721 vsize=112348 CPUtime=462.3
/proc/10723/stat : 10723 (pbct) R 10721 10723 10696 0 -1 4202496 28902 0 0 0 41878 4352 0 0 25 0 1 0 13892211 115044352 27289 4089446400 134512640 136422188 4288044448 18446744073709551615 135006320 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/10723/statm: 28087 27289 237 467 0 27618 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 112348

[startup+522.301 s]
/proc/loadavg: 2.01 1.65 0.85 3/178 10748
/proc/meminfo: memFree=30736952/32950928 swapFree=67111528/67111528
[pid=10723] ppid=10721 vsize=132748 CPUtime=522.31
/proc/10723/stat : 10723 (pbct) R 10721 10723 10696 0 -1 4202496 33962 0 0 0 47590 4641 0 0 25 0 1 0 13892211 135933952 32349 4089446400 134512640 136422188 4288044448 18446744073709551615 134862325 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/10723/statm: 33187 32349 237 467 0 32718 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 132748

[startup+582.3 s]
/proc/loadavg: 2.00 1.72 0.92 3/178 10750
/proc/meminfo: memFree=30734424/32950928 swapFree=67111528/67111528
[pid=10723] ppid=10721 vsize=133852 CPUtime=582.31
/proc/10723/stat : 10723 (pbct) R 10721 10723 10696 0 -1 4202496 34452 0 0 0 53323 4908 0 0 25 0 1 0 13892211 137064448 32655 4089446400 134512640 136422188 4288044448 18446744073709551615 134862338 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/10723/statm: 33463 32655 237 467 0 32994 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 133852

[startup+642.301 s]
/proc/loadavg: 2.07 1.78 0.99 3/178 10752
/proc/meminfo: memFree=30734724/32950928 swapFree=67111528/67111528
[pid=10723] ppid=10721 vsize=133852 CPUtime=642.32
/proc/10723/stat : 10723 (pbct) R 10721 10723 10696 0 -1 4202496 34452 0 0 0 58719 5513 0 0 25 0 1 0 13892211 137064448 32655 4089446400 134512640 136422188 4288044448 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/10723/statm: 33463 32655 237 467 0 32994 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 133852

[startup+702.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.00 1.87 1.16 3/178 10756
/proc/meminfo: memFree=30717216/32950928 swapFree=67111528/67111528
[pid=10723] ppid=10721 vsize=151492 CPUtime=822.33
/proc/10723/stat : 10723 (pbct) R 10721 10723 10696 0 -1 4202496 38830 0 0 0 75323 6910 0 0 25 0 1 0 13892211 155127808 37033 4089446400 134512640 136422188 4288044448 18446744073709551615 134862325 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/10723/statm: 37873 37033 237 467 0 37404 0
Current children cumulated CPU time (s) 822.33
Current children cumulated vsize (KiB) 151492

[startup+882.301 s]
/proc/loadavg: 2.00 1.89 1.21 3/178 10758
/proc/meminfo: memFree=30718516/32950928 swapFree=67111528/67111528
[pid=10723] ppid=10721 vsize=149120 CPUtime=882.32
/proc/10723/stat : 10723 (pbct) R 10721 10723 10696 0 -1 4202496 38831 0 0 0 80694 7538 0 0 25 0 1 0 13892211 152698880 36466 4089446400 134512640 136422188 4288044448 18446744073709551615 134862233 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/10723/statm: 37280 36466 237 467 0 36811 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 149120

[startup+942.3 s]
/proc/loadavg: 2.00 1.91 1.26 3/178 10760
/proc/meminfo: memFree=30718092/32950928 swapFree=67111528/67111528
[pid=10723] ppid=10721 vsize=149120 CPUtime=942.32
/proc/10723/stat : 10723 (pbct) R 10721 10723 10696 0 -1 4202496 38831 0 0 0 86221 8011 0 0 25 0 1 0 13892211 152698880 36466 4089446400 134512640 136422188 4288044448 18446744073709551615 134862338 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/10723/statm: 37280 36466 237 467 0 36811 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 149120

[startup+1002.3 s]
/proc/loadavg: 2.00 1.92 1.30 3/178 10762
/proc/meminfo: memFree=30718036/32950928 swapFree=67111528/67111528
[pid=10723] ppid=10721 vsize=149120 CPUtime=1002.33
/proc/10723/stat : 10723 (pbct) R 10721 10723 10696 0 -1 4202496 38831 0 0 0 91584 8649 0 0 25 0 1 0 13892211 152698880 36466 4089446400 134512640 136422188 4288044448 18446744073709551615 134862632 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/10723/statm: 37280 36466 237 467 0 36811 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 149120

[startup+1062.3 s]
/proc/loadavg: 2.00 1.94 1.34 3/178 10763
/proc/meminfo: memFree=30717636/32950928 swapFree=67111528/67111528
[pid=10723] ppid=10721 vsize=149120 CPUtime=1062.34
/proc/10723/stat : 10723 (pbct) R 10721 10723 10696 0 -1 4202496 38831 0 0 0 97283 8951 0 0 25 0 1 0 13892211 152698880 36466 4089446400 134512640 136422188 4288044448 18446744073709551615 135007014 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/10723/statm: 37280 36466 237 467 0 36811 0
Current children cumulated CPU time (s) 1062.34
Current children cumulated vsize (KiB) 149120

[startup+1122.3 s]
/proc/loadavg: 2.00 1.94 1.38 3/178 10764
/proc/meminfo: memFree=30717816/32950928 swapFree=67111528/67111528
[pid=10723] ppid=10721 vsize=149120 CPUtime=1122.34
/proc/10723/stat : 10723 (pbct) R 10721 10723 10696 0 -1 4202496 38832 0 0 0 102985 9249 0 0 25 0 1 0 13892211 152698880 36467 4089446400 134512640 136422188 4288044448 18446744073709551615 134862325 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/10723/statm: 37280 36467 237 467 0 36811 0
Current children cumulated CPU time (s) 1122.34
Current children cumulated vsize (KiB) 149120

[startup+1182.3 s]
/proc/loadavg: 2.00 1.95 1.41 3/178 10766
/proc/meminfo: memFree=30717160/32950928 swapFree=67111528/67111528
[pid=10723] ppid=10721 vsize=149780 CPUtime=1182.33
/proc/10723/stat : 10723 (pbct) R 10721 10723 10696 0 -1 4202496 38993 0 0 0 108688 9545 0 0 25 0 1 0 13892211 153374720 36628 4089446400 134512640 136422188 4288044448 18446744073709551615 134862312 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/10723/statm: 37445 36628 237 467 0 36976 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 149780

[startup+1242.3 s]
/proc/loadavg: 2.00 1.96 1.45 3/178 10768
/proc/meminfo: memFree=30706940/32950928 swapFree=67111528/67111528
[pid=10723] ppid=10721 vsize=159728 CPUtime=1242.34
/proc/10723/stat : 10723 (pbct) R 10721 10723 10696 0 -1 4202496 41461 0 0 0 114393 9841 0 0 25 0 1 0 13892211 163561472 39096 4089446400 134512640 136422188 4288044448 18446744073709551615 134862334 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/10723/statm: 39932 39096 237 467 0 39463 0
Current children cumulated CPU time (s) 1242.34
Current children cumulated vsize (KiB) 159728

[startup+1302.3 s]
/proc/loadavg: 2.00 1.96 1.48 3/178 10770
/proc/meminfo: memFree=30703168/32950928 swapFree=67111528/67111528
[pid=10723] ppid=10721 vsize=162928 CPUtime=1302.34
/proc/10723/stat : 10723 (pbct) R 10721 10723 10696 0 -1 4202496 42250 0 0 0 120078 10156 0 0 25 0 1 0 13892211 166838272 39885 4089446400 134512640 136422188 4288044448 18446744073709551615 135822004 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/10723/statm: 40732 39885 237 467 0 40263 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 162928

[startup+1362.3 s]
/proc/loadavg: 2.00 1.97 1.51 3/178 10771
/proc/meminfo: memFree=30703740/32950928 swapFree=67111528/67111528
[pid=10723] ppid=10721 vsize=161996 CPUtime=1362.35
/proc/10723/stat : 10723 (pbct) R 10721 10723 10696 0 -1 4202496 42250 0 0 0 125577 10658 0 0 25 0 1 0 13892211 165883904 39674 4089446400 134512640 136422188 4288044448 18446744073709551615 135032704 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/10723/statm: 40499 39674 237 467 0 40030 0
Current children cumulated CPU time (s) 1362.35
Current children cumulated vsize (KiB) 161996

[startup+1422.31 s]
/proc/loadavg: 2.00 1.97 1.54 3/178 10772
/proc/meminfo: memFree=30703944/32950928 swapFree=67111528/67111528
[pid=10723] ppid=10721 vsize=161996 CPUtime=1422.35
/proc/10723/stat : 10723 (pbct) R 10721 10723 10696 0 -1 4202496 42250 0 0 0 131020 11215 0 0 25 0 1 0 13892211 165883904 39674 4089446400 134512640 136422188 4288044448 18446744073709551615 134862338 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/10723/statm: 40499 39674 237 467 0 40030 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 161996

[startup+1482.3 s]
/proc/loadavg: 2.00 1.97 1.56 3/178 10774
/proc/meminfo: memFree=30703656/32950928 swapFree=67111528/67111528
[pid=10723] ppid=10721 vsize=161996 CPUtime=1482.35
/proc/10723/stat : 10723 (pbct) R 10721 10723 10696 0 -1 4202496 42250 0 0 0 136505 11730 0 0 25 0 1 0 13892211 165883904 39674 4089446400 134512640 136422188 4288044448 18446744073709551615 134862418 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/10723/statm: 40499 39674 237 467 0 40030 0
Current children cumulated CPU time (s) 1482.35
Current children cumulated vsize (KiB) 161996

[startup+1542.3 s]
/proc/loadavg: 2.00 1.97 1.59 3/178 10779
/proc/meminfo: memFree=30702712/32950928 swapFree=67111528/67111528
[pid=10723] ppid=10721 vsize=161996 CPUtime=1542.35
/proc/10723/stat : 10723 (pbct) R 10721 10723 10696 0 -1 4202496 42250 0 0 0 141948 12287 0 0 25 0 1 0 13892211 165883904 39674 4089446400 134512640 136422188 4288044448 18446744073709551615 134869719 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/10723/statm: 40499 39674 237 467 0 40030 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 161996

[startup+1602.3 s]
/proc/loadavg: 2.00 1.97 1.61 3/178 10781
/proc/meminfo: memFree=30702624/32950928 swapFree=67111528/67111528
[pid=10723] ppid=10721 vsize=161996 CPUtime=1602.35
/proc/10723/stat : 10723 (pbct) R 10721 10723 10696 0 -1 4202496 42250 0 0 0 147650 12585 0 0 25 0 1 0 13892211 165883904 39674 4089446400 134512640 136422188 4288044448 18446744073709551615 134862325 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/10723/statm: 40499 39674 237 467 0 40030 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 161996

[startup+1662.3 s]
/proc/loadavg: 2.00 1.97 1.63 3/178 10782
/proc/meminfo: memFree=30703076/32950928 swapFree=67111528/67111528
[pid=10723] ppid=10721 vsize=161996 CPUtime=1662.35
/proc/10723/stat : 10723 (pbct) R 10721 10723 10696 0 -1 4202496 42250 0 0 0 153042 13193 0 0 25 0 1 0 13892211 165883904 39674 4089446400 134512640 136422188 4288044448 18446744073709551615 134862381 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/10723/statm: 40499 39674 237 467 0 40030 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 161996

[startup+1722.3 s]
/proc/loadavg: 2.00 1.97 1.65 3/178 10783
/proc/meminfo: memFree=30695980/32950928 swapFree=67111528/67111528
[pid=10723] ppid=10721 vsize=169124 CPUtime=1722.36
/proc/10723/stat : 10723 (pbct) R 10721 10723 10696 0 -1 4202496 44030 0 0 0 158646 13590 0 0 25 0 1 0 13892211 173182976 41454 4089446400 134512640 136422188 4288044448 18446744073709551615 135029193 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/10723/statm: 42281 41454 237 467 0 41812 0
Current children cumulated CPU time (s) 1722.36
Current children cumulated vsize (KiB) 169124

[startup+1782.3 s]
/proc/loadavg: 2.00 1.97 1.67 3/178 10785
/proc/meminfo: memFree=30695556/32950928 swapFree=67111528/67111528
[pid=10723] ppid=10721 vsize=168452 CPUtime=1782.36
/proc/10723/stat : 10723 (pbct) R 10721 10723 10696 0 -1 4202496 44030 0 0 0 164049 14187 0 0 25 0 1 0 13892211 172494848 41286 4089446400 134512640 136422188 4288044448 18446744073709551615 135006725 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/10723/statm: 42113 41286 237 467 0 41644 0
Current children cumulated CPU time (s) 1782.36
Current children cumulated vsize (KiB) 168452



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 1.97 1.67 3/178 10785
/proc/meminfo: memFree=30696048/32950928 swapFree=67111528/67111528
[pid=10723] ppid=10721 vsize=168452 CPUtime=1800.07
/proc/10723/stat : 10723 (pbct) R 10721 10723 10696 0 -1 4202496 44030 0 0 0 165660 14347 0 0 25 0 1 0 13892211 172494848 41286 4089446400 134512640 136422188 4288044448 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/10723/statm: 42113 41286 237 467 0 41644 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 168452

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

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

Child status: 0
Real time (s): 1800.01
CPU time (s): 1800.09
CPU user time (s): 1656.61
CPU system time (s): 143.477
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 169124

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1656.61
system time used= 143.477
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44031
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= 2
involuntary context switches= 3953

runsolver used 2.6276 second user time and 5.57015 second system time

The end

Launcher Data 

Begin job on node115 at 2010-07-07 01:04:10
IDJOB=2698890
IDBENCH=78664
IDSOLVER=1212
FILE ID=node115/2698890-1278457450
PBS_JOBID= 11233763
Free space on /tmp= 73752 MiB

SOLVER NAME= PB/CT 0.1 fixed
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl50_51_pb.cnf.cr--soft-66-100-0.wbo
COMMAND LINE= HOME/pbct --model BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2698890-1278457450/watcher-2698890-1278457450 -o /tmp/evaluation-result-2698890-1278457450/solver-2698890-1278457450 -C 1800 -W 2000 -M 3800  HOME/pbct --model HOME/instance-2698890-1278457450.wbo

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 5648463b311d39ee56e08f95de13a148
RANDOM SEED=2062037662

node115.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.812
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.62
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.812
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	: 5332.76
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.812
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.75
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.812
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.75
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.812
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.74
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.812
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.812
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.82
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.812
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      30884320 kB
Buffers:         94644 kB
Cached:        1777740 kB
SwapCached:          0 kB
Active:         641616 kB
Inactive:      1291736 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      30884320 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            1952 kB
Writeback:           0 kB
AnonPages:       60860 kB
Mapped:          14408 kB
Slab:            70748 kB
PageTables:       4516 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   180908 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 /tmp at the end= 73752 MiB
End job on node115 at 2010-07-07 01:34:12