Trace number 2699311

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.06 1800.02

General information on the benchmark

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

Verifier Data 

OK	1

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2699311-1278463820/watcher-2699311-1278463820 -o /tmp/evaluation-result-2699311-1278463820/solver-2699311-1278463820 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2699311-1278463820.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: 1.92 1.99 1.95 3/178 15130
/proc/meminfo: memFree=30121556/32951124 swapFree=67111528/67111528
[pid=15130] ppid=15128 vsize=2136 CPUtime=0
/proc/15130/stat : 15130 (pbct) R 15128 15130 14669 0 -1 4202496 244 0 0 0 0 0 0 0 21 0 1 0 14594948 2187264 164 4089446400 134512640 136422188 4290275968 18446744073709551615 135873822 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/15130/statm: 534 164 143 467 0 65 0

[startup+0.0557539 s]
/proc/loadavg: 1.92 1.99 1.95 3/178 15130
/proc/meminfo: memFree=30121556/32951124 swapFree=67111528/67111528
[pid=15130] ppid=15128 vsize=17204 CPUtime=0.04
/proc/15130/stat : 15130 (pbct) R 15128 15130 14669 0 -1 4202496 3985 0 0 0 4 0 0 0 21 0 1 0 14594948 17616896 3905 4089446400 134512640 136422188 4290275968 18446744073709551615 135811945 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/15130/statm: 4301 3910 193 467 0 3832 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 17204

[startup+0.100743 s]
/proc/loadavg: 1.92 1.99 1.95 3/178 15130
/proc/meminfo: memFree=30121556/32951124 swapFree=67111528/67111528
[pid=15130] ppid=15128 vsize=27068 CPUtime=0.09
/proc/15130/stat : 15130 (pbct) R 15128 15130 14669 0 -1 4202496 6503 0 0 0 9 0 0 0 21 0 1 0 14594948 27717632 6357 4089446400 134512640 136422188 4290275968 18446744073709551615 135811945 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/15130/statm: 6767 6359 193 467 0 6298 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27068

[startup+0.300718 s]
/proc/loadavg: 1.92 1.99 1.95 3/178 15130
/proc/meminfo: memFree=30121556/32951124 swapFree=67111528/67111528
[pid=15130] ppid=15128 vsize=40824 CPUtime=0.29
/proc/15130/stat : 15130 (pbct) R 15128 15130 14669 0 -1 4202496 10071 0 0 0 17 12 0 0 21 0 1 0 14594948 41803776 9370 4089446400 134512640 136422188 4290275968 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/15130/statm: 10206 9370 236 467 0 9737 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 40824

[startup+0.700652 s]
/proc/loadavg: 1.92 1.99 1.95 3/178 15130
/proc/meminfo: memFree=30121556/32951124 swapFree=67111528/67111528
[pid=15130] ppid=15128 vsize=42276 CPUtime=0.69
/proc/15130/stat : 15130 (pbct) R 15128 15130 14669 0 -1 4202496 10456 0 0 0 29 40 0 0 22 0 1 0 14594948 43290624 9727 4089446400 134512640 136422188 4290275968 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/15130/statm: 10569 9728 237 467 0 10100 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 42276

[startup+1.50051 s]
/proc/loadavg: 1.92 1.99 1.95 3/179 15131
/proc/meminfo: memFree=30080256/32951124 swapFree=67111528/67111528
[pid=15130] ppid=15128 vsize=47820 CPUtime=1.49
/proc/15130/stat : 15130 (pbct) R 15128 15130 14669 0 -1 4202496 11857 0 0 0 81 68 0 0 25 0 1 0 14594948 48967680 11127 4089446400 134512640 136422188 4290275968 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/15130/statm: 11955 11127 237 467 0 11486 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 47820

[startup+3.10023 s]
/proc/loadavg: 1.92 1.99 1.95 3/179 15131
/proc/meminfo: memFree=30077280/32951124 swapFree=67111528/67111528
[pid=15130] ppid=15128 vsize=48612 CPUtime=3.09
/proc/15130/stat : 15130 (pbct) R 15128 15130 14669 0 -1 4202496 12039 0 0 0 175 134 0 0 25 0 1 0 14594948 49778688 11309 4089446400 134512640 136422188 4290275968 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/15130/statm: 12153 11309 237 467 0 11684 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 48612

[startup+6.30067 s]
/proc/loadavg: 1.93 1.99 1.95 3/179 15131
/proc/meminfo: memFree=30066616/32951124 swapFree=67111528/67111528
[pid=15130] ppid=15128 vsize=58652 CPUtime=6.3
/proc/15130/stat : 15130 (pbct) R 15128 15130 14669 0 -1 4202496 14574 0 0 0 408 222 0 0 25 0 1 0 14594948 60059648 13844 4089446400 134512640 136422188 4290275968 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/15130/statm: 14663 13844 237 467 0 14194 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 58652

[startup+12.7005 s]
/proc/loadavg: 1.93 1.99 1.95 3/179 15131
/proc/meminfo: memFree=30064284/32951124 swapFree=67111528/67111528
[pid=15130] ppid=15128 vsize=63940 CPUtime=12.69
/proc/15130/stat : 15130 (pbct) R 15128 15130 14669 0 -1 4202496 15893 0 0 0 863 406 0 0 25 0 1 0 14594948 65474560 15163 4089446400 134512640 136422188 4290275968 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/15130/statm: 15985 15163 237 467 0 15516 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 63940

[startup+25.5003 s]
/proc/loadavg: 1.95 1.99 1.95 3/179 15131
/proc/meminfo: memFree=30054436/32951124 swapFree=67111528/67111528
[pid=15130] ppid=15128 vsize=72840 CPUtime=25.49
/proc/15130/stat : 15130 (pbct) R 15128 15130 14669 0 -1 4202496 18113 0 0 0 1758 791 0 0 25 0 1 0 14594948 74588160 17383 4089446400 134512640 136422188 4290275968 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/15130/statm: 18210 17383 237 467 0 17741 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 72840

[startup+51.1008 s]
/proc/loadavg: 1.96 1.99 1.95 3/179 15133
/proc/meminfo: memFree=30039632/32951124 swapFree=67111528/67111528
[pid=15130] ppid=15128 vsize=87260 CPUtime=51.09
/proc/15130/stat : 15130 (pbct) R 15128 15130 14669 0 -1 4202496 21710 0 0 0 3745 1364 0 0 25 0 1 0 14594948 89354240 20980 4089446400 134512640 136422188 4290275968 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/15130/statm: 21815 20980 237 467 0 21346 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 87260

[startup+102.307 s]
/proc/loadavg: 1.98 1.99 1.95 3/179 15133
/proc/meminfo: memFree=30030516/32951124 swapFree=67111528/67111528
[pid=15130] ppid=15128 vsize=96384 CPUtime=102.3
/proc/15130/stat : 15130 (pbct) R 15128 15130 14669 0 -1 4202496 23983 0 0 0 7910 2320 0 0 25 0 1 0 14594948 98697216 23253 4089446400 134512640 136422188 4290275968 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/15130/statm: 24096 23253 237 467 0 23627 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 96384

[startup+162.3 s]
/proc/loadavg: 1.99 1.99 1.95 3/179 15135
/proc/meminfo: memFree=30022496/32951124 swapFree=67111528/67111528
[pid=15130] ppid=15128 vsize=99888 CPUtime=162.3
/proc/15130/stat : 15130 (pbct) R 15128 15130 14669 0 -1 4202496 24841 0 0 0 12531 3699 0 0 25 0 1 0 14594948 102285312 24111 4089446400 134512640 136422188 4290275968 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/15130/statm: 24972 24111 237 467 0 24503 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 99888

[startup+222.301 s]
/proc/loadavg: 1.99 1.99 1.95 3/179 15137
/proc/meminfo: memFree=30015476/32951124 swapFree=67111528/67111528
[pid=15130] ppid=15128 vsize=106776 CPUtime=222.29
/proc/15130/stat : 15130 (pbct) R 15128 15130 14669 0 -1 4202496 26576 0 0 0 17289 4940 0 0 25 0 1 0 14594948 109338624 25846 4089446400 134512640 136422188 4290275968 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/15130/statm: 26694 25846 237 467 0 26225 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 106776

[startup+282.3 s]
/proc/loadavg: 1.99 1.99 1.95 3/179 15139
/proc/meminfo: memFree=30003252/32951124 swapFree=67111528/67111528
[pid=15130] ppid=15128 vsize=118708 CPUtime=282.3
/proc/15130/stat : 15130 (pbct) R 15128 15130 14669 0 -1 4202496 29688 0 0 0 22208 6022 0 0 25 0 1 0 14594948 121556992 28828 4089446400 134512640 136422188 4290275968 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/15130/statm: 29677 28828 237 467 0 29208 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 118708

[startup+342.301 s]
/proc/loadavg: 2.04 2.00 1.95 3/179 15140
/proc/meminfo: memFree=29993264/32951124 swapFree=67111528/67111528
[pid=15130] ppid=15128 vsize=118708 CPUtime=342.3
/proc/15130/stat : 15130 (pbct) R 15128 15130 14669 0 -1 4202496 29688 0 0 0 26734 7496 0 0 25 0 1 0 14594948 121556992 28828 4089446400 134512640 136422188 4290275968 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/15130/statm: 29677 28828 237 467 0 29208 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 118708

[startup+402.3 s]
/proc/loadavg: 2.01 2.00 1.95 3/179 15141
/proc/meminfo: memFree=29992700/32951124 swapFree=67111528/67111528
[pid=15130] ppid=15128 vsize=120160 CPUtime=402.3
/proc/15130/stat : 15130 (pbct) R 15128 15130 14669 0 -1 4202496 30027 0 0 0 31649 8581 0 0 25 0 1 0 14594948 123043840 29167 4089446400 134512640 136422188 4290275968 18446744073709551615 135685874 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/15130/statm: 30040 29167 237 467 0 29571 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 120160

[startup+462.301 s]
/proc/loadavg: 2.07 2.02 1.96 3/179 15143
/proc/meminfo: memFree=29975528/32951124 swapFree=67111528/67111528
[pid=15130] ppid=15128 vsize=125256 CPUtime=462.3
/proc/15130/stat : 15130 (pbct) R 15128 15130 14669 0 -1 4202496 31586 0 0 0 36167 10063 0 0 25 0 1 0 14594948 128262144 30462 4089446400 134512640 136422188 4290275968 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/15130/statm: 31314 30462 237 467 0 30845 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 125256

[startup+522.301 s]
/proc/loadavg: 2.02 2.01 1.96 3/179 15145
/proc/meminfo: memFree=29938372/32951124 swapFree=67111528/67111528
[pid=15130] ppid=15128 vsize=134272 CPUtime=522.31
/proc/15130/stat : 15130 (pbct) R 15128 15130 14669 0 -1 4202496 33804 0 0 0 41229 11002 0 0 25 0 1 0 14594948 137494528 32680 4089446400 134512640 136422188 4290275968 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/15130/statm: 33568 32680 237 467 0 33099 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 134272

[startup+582.301 s]
/proc/loadavg: 2.01 2.00 1.96 3/179 15147
/proc/meminfo: memFree=29933844/32951124 swapFree=67111528/67111528
[pid=15130] ppid=15128 vsize=139512 CPUtime=582.3
/proc/15130/stat : 15130 (pbct) R 15128 15130 14669 0 -1 4202496 35118 0 0 0 46348 11882 0 0 25 0 1 0 14594948 142860288 33994 4089446400 134512640 136422188 4290275968 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/15130/statm: 34878 33994 237 467 0 34409 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 139512

[startup+642.301 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 15157
/proc/meminfo: memFree=29915560/32951124 swapFree=67111528/67111528
[pid=15130] ppid=15128 vsize=156052 CPUtime=642.32
/proc/15130/stat : 15130 (pbct) R 15128 15130 14669 0 -1 4202496 39230 0 0 0 51607 12625 0 0 25 0 1 0 14594948 159797248 38106 4089446400 134512640 136422188 4290275968 18446744073709551615 134862334 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/15130/statm: 39013 38106 237 467 0 38544 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 156052

[startup+702.301 s]

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

[startup+822.301 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 15162
/proc/meminfo: memFree=29916172/32951124 swapFree=67111528/67111528
[pid=15130] ppid=15128 vsize=155652 CPUtime=822.31
/proc/15130/stat : 15130 (pbct) R 15128 15130 14669 0 -1 4202496 39232 0 0 0 65827 16404 0 0 25 0 1 0 14594948 159387648 38029 4089446400 134512640 136422188 4290275968 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/15130/statm: 38913 38029 237 467 0 38444 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 155652

[startup+882.301 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 15164
/proc/meminfo: memFree=29913512/32951124 swapFree=67111528/67111528
[pid=15130] ppid=15128 vsize=158688 CPUtime=882.31
/proc/15130/stat : 15130 (pbct) R 15128 15130 14669 0 -1 4202496 39965 0 0 0 70613 17618 0 0 25 0 1 0 14594948 162496512 38762 4089446400 134512640 136422188 4290275968 18446744073709551615 134862312 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/15130/statm: 39672 38762 237 467 0 39203 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 158688

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 15165
/proc/meminfo: memFree=29914208/32951124 swapFree=67111528/67111528
[pid=15130] ppid=15128 vsize=157900 CPUtime=942.32
/proc/15130/stat : 15130 (pbct) R 15128 15130 14669 0 -1 4202496 40070 0 0 0 75793 18439 0 0 25 0 1 0 14594948 161689600 38564 4089446400 134512640 136422188 4290275968 18446744073709551615 134862222 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/15130/statm: 39475 38564 237 467 0 39006 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 157900

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 15166
/proc/meminfo: memFree=29914396/32951124 swapFree=67111528/67111528
[pid=15130] ppid=15128 vsize=157356 CPUtime=1002.32
/proc/15130/stat : 15130 (pbct) R 15128 15130 14669 0 -1 4202496 40070 0 0 0 80418 19814 0 0 25 0 1 0 14594948 161132544 38456 4089446400 134512640 136422188 4290275968 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/15130/statm: 39339 38456 237 467 0 38870 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 157356

[startup+1062.3 s]
/proc/loadavg: 2.03 2.01 1.96 3/179 15168
/proc/meminfo: memFree=29914476/32951124 swapFree=67111528/67111528
[pid=15130] ppid=15128 vsize=157356 CPUtime=1062.32
/proc/15130/stat : 15130 (pbct) R 15128 15130 14669 0 -1 4202496 40070 0 0 0 85294 20938 0 0 25 0 1 0 14594948 161132544 38456 4089446400 134512640 136422188 4290275968 18446744073709551615 134862312 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/15130/statm: 39339 38456 237 467 0 38870 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 157356

[startup+1122.3 s]
/proc/loadavg: 2.01 2.01 1.96 3/179 15198
/proc/meminfo: memFree=30095348/32951124 swapFree=67111528/67111528
[pid=15130] ppid=15128 vsize=157356 CPUtime=1122.32
/proc/15130/stat : 15130 (pbct) R 15128 15130 14669 0 -1 4202496 40070 0 0 0 90121 22111 0 0 25 0 1 0 14594948 161132544 38456 4089446400 134512640 136422188 4290275968 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/15130/statm: 39339 38456 237 467 0 38870 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 157356

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 15200
/proc/meminfo: memFree=30080892/32951124 swapFree=67111528/67111528
[pid=15130] ppid=15128 vsize=172224 CPUtime=1182.32
/proc/15130/stat : 15130 (pbct) R 15128 15130 14669 0 -1 4202496 43775 0 0 0 95099 23133 0 0 25 0 1 0 14594948 176357376 42161 4089446400 134512640 136422188 4290275968 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/15130/statm: 43056 42161 237 467 0 42587 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 172224

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 15201
/proc/meminfo: memFree=30073140/32951124 swapFree=67111528/67111528
[pid=15130] ppid=15128 vsize=179512 CPUtime=1242.32
/proc/15130/stat : 15130 (pbct) R 15128 15130 14669 0 -1 4202496 45582 0 0 0 100552 23680 0 0 25 0 1 0 14594948 183820288 43968 4089446400 134512640 136422188 4290275968 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/15130/statm: 44878 43968 237 467 0 44409 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 179512

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 15202
/proc/meminfo: memFree=30073196/32951124 swapFree=67111528/67111528
[pid=15130] ppid=15128 vsize=179512 CPUtime=1302.32
/proc/15130/stat : 15130 (pbct) R 15128 15130 14669 0 -1 4202496 45583 0 0 0 105818 24414 0 0 25 0 1 0 14594948 183820288 43969 4089446400 134512640 136422188 4290275968 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/15130/statm: 44878 43969 237 467 0 44409 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 179512

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 15204
/proc/meminfo: memFree=30073012/32951124 swapFree=67111528/67111528
[pid=15130] ppid=15128 vsize=179644 CPUtime=1362.32
/proc/15130/stat : 15130 (pbct) R 15128 15130 14669 0 -1 4202496 45611 0 0 0 111166 25066 0 0 25 0 1 0 14594948 183955456 43997 4089446400 134512640 136422188 4290275968 18446744073709551615 134862323 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/15130/statm: 44911 43997 237 467 0 44442 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 179644

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 15206
/proc/meminfo: memFree=30053472/32951124 swapFree=67111528/67111528
[pid=15130] ppid=15128 vsize=198768 CPUtime=1422.33
/proc/15130/stat : 15130 (pbct) R 15128 15130 14669 0 -1 4202496 50412 0 0 0 116686 25547 0 0 25 0 1 0 14594948 203538432 48798 4089446400 134512640 136422188 4290275968 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/15130/statm: 49692 48798 237 467 0 49223 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 198768

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 15208
/proc/meminfo: memFree=30053040/32951124 swapFree=67111528/67111528
[pid=15130] ppid=15128 vsize=198768 CPUtime=1482.32
/proc/15130/stat : 15130 (pbct) R 15128 15130 14669 0 -1 4202496 50415 0 0 0 122089 26143 0 0 25 0 1 0 14594948 203538432 48801 4089446400 134512640 136422188 4290275968 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/15130/statm: 49692 48801 237 467 0 49223 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 198768

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 15209
/proc/meminfo: memFree=30016388/32951124 swapFree=67111528/67111528
[pid=15130] ppid=15128 vsize=235300 CPUtime=1542.33
/proc/15130/stat : 15130 (pbct) R 15128 15130 14669 0 -1 4202496 59528 0 0 0 127732 26501 0 0 25 0 1 0 14594948 240947200 57914 4089446400 134512640 136422188 4290275968 18446744073709551615 134862323 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/15130/statm: 58825 57914 237 467 0 58356 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 235300

[startup+1602.3 s]
/proc/loadavg: 2.05 2.01 1.97 3/179 15210
/proc/meminfo: memFree=30016436/32951124 swapFree=67111528/67111528
[pid=15130] ppid=15128 vsize=235300 CPUtime=1602.33
/proc/15130/stat : 15130 (pbct) R 15128 15130 14669 0 -1 4202496 59531 0 0 0 133440 26793 0 0 25 0 1 0 14594948 240947200 57917 4089446400 134512640 136422188 4290275968 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/15130/statm: 58825 57917 237 467 0 58356 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 235300

[startup+1662.3 s]
/proc/loadavg: 2.02 2.01 1.97 3/179 15212
/proc/meminfo: memFree=30017236/32951124 swapFree=67111528/67111528
[pid=15130] ppid=15128 vsize=233424 CPUtime=1662.33
/proc/15130/stat : 15130 (pbct) R 15128 15130 14669 0 -1 4202496 59531 0 0 0 138401 27832 0 0 25 0 1 0 14594948 239026176 57456 4089446400 134512640 136422188 4290275968 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/15130/statm: 58356 57456 237 467 0 57887 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 233424

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 15217
/proc/meminfo: memFree=30015792/32951124 swapFree=67111528/67111528
[pid=15130] ppid=15128 vsize=233424 CPUtime=1722.33
/proc/15130/stat : 15130 (pbct) R 15128 15130 14669 0 -1 4202496 59532 0 0 0 143400 28833 0 0 25 0 1 0 14594948 239026176 57457 4089446400 134512640 136422188 4290275968 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/15130/statm: 58356 57457 237 467 0 57887 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 233424

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 15219
/proc/meminfo: memFree=30015380/32951124 swapFree=67111528/67111528
[pid=15130] ppid=15128 vsize=233424 CPUtime=1782.34
/proc/15130/stat : 15130 (pbct) R 15128 15130 14669 0 -1 4202496 59532 0 0 0 148411 29823 0 0 25 0 1 0 14594948 239026176 57457 4089446400 134512640 136422188 4290275968 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/15130/statm: 58356 57457 237 467 0 57887 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 233424



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 15219
/proc/meminfo: memFree=30015620/32951124 swapFree=67111528/67111528
[pid=15130] ppid=15128 vsize=233424 CPUtime=1800.04
/proc/15130/stat : 15130 (pbct) R 15128 15130 14669 0 -1 4202496 59532 0 0 0 149852 30152 0 0 25 0 1 0 14594948 239026176 57457 4089446400 134512640 136422188 4290275968 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/15130/statm: 58356 57457 237 467 0 57887 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 233424

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.02
CPU time (s): 1800.06
CPU user time (s): 1498.52
CPU system time (s): 301.534
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 235300

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1498.52
system time used= 301.534
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 59533
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= 1
involuntary context switches= 2623

runsolver used 3.2585 second user time and 6.51401 second system time

The end

Launcher Data 

Begin job on node144 at 2010-07-07 02:50:20
IDJOB=2699311
IDBENCH=79171
IDSOLVER=1212
FILE ID=node144/2699311-1278463820
PBS_JOBID= 11233704
Free space on /tmp= 73948 MiB

SOLVER NAME= PB/CT 0.1 fixed
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-71-70--soft-0-100-0.wbo
COMMAND LINE= HOME/pbct --model BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2699311-1278463820/watcher-2699311-1278463820 -o /tmp/evaluation-result-2699311-1278463820/solver-2699311-1278463820 -C 1800 -W 2000 -M 3800  HOME/pbct --model HOME/instance-2699311-1278463820.wbo

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

MD5SUM BENCH= 60c1b790b835b31f32d3b92e41ae62ac
RANDOM SEED=1925261566

node144.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.825
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.65
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.825
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.75
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.825
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.74
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.825
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.825
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.75
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.825
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.78
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.825
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30122200 kB
Buffers:        115660 kB
Cached:        2354880 kB
SwapCached:          0 kB
Active:         646412 kB
Inactive:      2034940 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30122200 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            2112 kB
Writeback:           0 kB
AnonPages:      210924 kB
Mapped:          15544 kB
Slab:            83436 kB
PageTables:       4608 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   355628 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= 73948 MiB
End job on node144 at 2010-07-07 03:20:22