Trace number 2699029

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/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-71-70--soft-33-100-0.wbo
MD5SUM374ed8d346409439b64d782bc7a820e5
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard 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.156976
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 constraints94
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 5200
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 5199
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 24/46 clauses 23/48 units 0
0.00/0.01	c vars 4970
0.09/0.18	c 0.169974 38.7539 53 9067
0.09/0.18	o 1058
0.09/0.19	c 0.173973 39.6133 55 10657
0.09/0.19	o 1010
0.19/0.20	c 0.179972 39.6133 55 11837
0.19/0.20	o 745
0.19/0.21	c 0.181972 39.6133 55 12878
0.19/0.21	o 708
0.19/0.22	c 0.185971 39.6133 55 13981
0.19/0.22	o 691
0.19/0.22	c 0.19097 39.6133 55 15004
0.19/0.22	o 687
0.19/0.23	c 0.19597 39.6133 55 15909
0.19/0.23	o 664
0.19/0.24	c 0.200969 39.6133 55 16874
0.19/0.24	o 630
0.19/0.25	c 0.206968 39.6133 55 17831
0.19/0.25	o 626
0.19/0.26	c 0.213967 39.6133 55 18712
0.19/0.26	o 622
0.19/0.27	c 0.219966 39.6133 55 19530
0.19/0.27	o 617
0.19/0.28	c 0.225965 39.6133 55 20557
0.19/0.28	o 601
0.19/0.29	c 0.233964 39.6133 55 21453
0.19/0.29	o 598
0.29/0.30	c 0.237963 39.6133 55 22297
0.29/0.30	o 559
0.29/0.31	c 0.241963 39.6133 56 23644
0.29/0.31	o 549
0.29/0.32	c 0.244962 39.6133 56 24681
0.29/0.32	o 520
0.29/0.32	c 0.248962 39.6133 56 25510
0.29/0.32	o 495
0.29/0.33	c 0.255961 39.6133 56 26408
0.29/0.33	o 478
0.29/0.34	c 0.263959 39.6133 56 27003
0.29/0.34	o 466
0.29/0.35	c 0.269958 39.6133 56 27662
0.29/0.35	o 465
0.29/0.36	c 0.274958 39.6133 56 28496
0.29/0.36	o 286
0.29/0.37	c 0.281957 39.6133 56 29020
0.29/0.37	o 280
0.29/0.38	c 0.289955 39.6133 56 29487
0.29/0.38	o 255
0.29/0.39	c 0.297954 39.6133 56 29969
0.29/0.39	o 222
0.39/0.40	c 0.302953 39.6133 56 30483
0.39/0.40	o 220
0.39/0.41	c 0.306953 39.6133 56 30939
0.39/0.41	o 211
0.39/0.41	c 0.310952 39.6133 56 31315
0.39/0.41	o 209
0.39/0.42	c 0.313952 39.6133 56 31691
0.39/0.42	o 206
0.39/0.43	c 0.315951 39.6133 56 32218
0.39/0.43	o 203
0.39/0.44	c 0.32295 39.6133 56 32593
0.39/0.44	o 199
0.39/0.45	c 0.32795 39.6133 56 33126
0.39/0.45	o 177
0.39/0.46	c 0.332949 39.6133 56 33518
0.39/0.46	o 165
0.39/0.47	c 0.340948 39.6133 56 33831
0.39/0.47	o 160
0.39/0.48	c 0.347947 39.6133 56 34143
0.39/0.48	o 146
0.39/0.49	c 0.354946 39.6133 56 34384
0.39/0.49	o 143
0.39/0.50	c 0.360945 39.6133 56 34763
0.39/0.50	o 132
0.49/0.50	c 0.363944 39.6133 56 35200
0.49/0.50	o 125
0.49/0.51	c 0.365944 39.6133 56 35522
0.49/0.51	o 121
0.49/0.52	c 0.369943 39.6133 56 35763
0.49/0.52	o 114
0.49/0.53	c 0.374943 39.6133 56 36085
0.49/0.53	o 92
0.49/0.54	c 0.379942 39.6133 57 36258
0.49/0.54	o 54
0.49/0.55	c 0.385941 39.6133 57 36610
0.49/0.55	o 51
0.49/0.56	c 0.39194 39.6133 57 36912
0.49/0.56	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-2699029-1278459256/watcher-2699029-1278459256 -o /tmp/evaluation-result-2699029-1278459256/solver-2699029-1278459256 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2699029-1278459256.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.93 1.97 1.68 4/178 11864
/proc/meminfo: memFree=30413052/32950928 swapFree=4192956/4192956
[pid=11864] ppid=11862 vsize=2136 CPUtime=0
/proc/11864/stat : 11864 (pbct) R 11862 11864 11705 0 -1 4202496 245 0 0 0 0 0 0 0 24 0 1 0 14139006 2187264 165 4089446400 134512640 136422188 4289586448 18446744073709551615 135873822 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/11864/statm: 534 165 144 467 0 65 0

[startup+0.090299 s]
/proc/loadavg: 1.93 1.97 1.68 4/178 11864
/proc/meminfo: memFree=30413052/32950928 swapFree=4192956/4192956
[pid=11864] ppid=11862 vsize=24504 CPUtime=0.08
/proc/11864/stat : 11864 (pbct) R 11862 11864 11705 0 -1 4202496 5828 0 0 0 8 0 0 0 24 0 1 0 14139006 25092096 5682 4089446400 134512640 136422188 4289586448 18446744073709551615 135811945 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/11864/statm: 6126 5685 193 467 0 5657 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 24504

[startup+0.100234 s]
/proc/loadavg: 1.93 1.97 1.68 4/178 11864
/proc/meminfo: memFree=30413052/32950928 swapFree=4192956/4192956
[pid=11864] ppid=11862 vsize=26652 CPUtime=0.09
/proc/11864/stat : 11864 (pbct) R 11862 11864 11705 0 -1 4202496 6422 0 0 0 9 0 0 0 24 0 1 0 14139006 27291648 6234 4089446400 134512640 136422188 4289586448 18446744073709551615 135811945 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/11864/statm: 6663 6235 193 467 0 6194 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 26652

[startup+0.300286 s]
/proc/loadavg: 1.93 1.97 1.68 4/178 11864
/proc/meminfo: memFree=30413052/32950928 swapFree=4192956/4192956
[pid=11864] ppid=11862 vsize=40560 CPUtime=0.29
/proc/11864/stat : 11864 (pbct) R 11862 11864 11705 0 -1 4202496 10013 0 0 0 23 6 0 0 25 0 1 0 14139006 41533440 9328 4089446400 134512640 136422188 4289586448 18446744073709551615 135006320 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/11864/statm: 10140 9328 236 467 0 9671 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 40560

[startup+0.700186 s]
/proc/loadavg: 1.93 1.97 1.68 4/178 11864
/proc/meminfo: memFree=30413052/32950928 swapFree=4192956/4192956
[pid=11864] ppid=11862 vsize=41616 CPUtime=0.69
/proc/11864/stat : 11864 (pbct) R 11862 11864 11705 0 -1 4202496 10312 0 0 0 47 22 0 0 25 0 1 0 14139006 42614784 9597 4089446400 134512640 136422188 4289586448 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/11864/statm: 10404 9597 237 467 0 9935 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 41616

[startup+1.50104 s]
/proc/loadavg: 1.93 1.97 1.68 3/179 11865
/proc/meminfo: memFree=30369768/32950928 swapFree=4192956/4192956
[pid=11864] ppid=11862 vsize=46896 CPUtime=1.49
/proc/11864/stat : 11864 (pbct) R 11862 11864 11705 0 -1 4202496 11639 0 0 0 110 39 0 0 25 0 1 0 14139006 48021504 10924 4089446400 134512640 136422188 4289586448 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/11864/statm: 11724 10924 237 467 0 11255 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 46896

[startup+3.10076 s]
/proc/loadavg: 1.93 1.97 1.68 3/179 11865
/proc/meminfo: memFree=30358112/32950928 swapFree=4192956/4192956
[pid=11864] ppid=11862 vsize=49536 CPUtime=3.09
/proc/11864/stat : 11864 (pbct) R 11862 11864 11705 0 -1 4202496 12295 0 0 0 247 62 0 0 25 0 1 0 14139006 50724864 11580 4089446400 134512640 136422188 4289586448 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/11864/statm: 12384 11580 237 467 0 11915 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 49536

[startup+6.30014 s]
/proc/loadavg: 1.93 1.97 1.68 3/179 11865
/proc/meminfo: memFree=30347948/32950928 swapFree=4192956/4192956
[pid=11864] ppid=11862 vsize=59836 CPUtime=6.29
/proc/11864/stat : 11864 (pbct) R 11862 11864 11705 0 -1 4202496 14863 0 0 0 525 104 0 0 25 0 1 0 14139006 61272064 14148 4089446400 134512640 136422188 4289586448 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/11864/statm: 14959 14148 237 467 0 14490 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 59836

[startup+12.701 s]
/proc/loadavg: 1.94 1.97 1.68 3/179 11866
/proc/meminfo: memFree=30340820/32950928 swapFree=4192956/4192956
[pid=11864] ppid=11862 vsize=61420 CPUtime=12.69
/proc/11864/stat : 11864 (pbct) R 11862 11864 11705 0 -1 4202496 15268 0 0 0 1083 186 0 0 25 0 1 0 14139006 62894080 14553 4089446400 134512640 136422188 4289586448 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/11864/statm: 15355 14553 237 467 0 14886 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 61420

[startup+25.5007 s]
/proc/loadavg: 1.95 1.97 1.68 3/179 11867
/proc/meminfo: memFree=30317368/32950928 swapFree=4192956/4192956
[pid=11864] ppid=11862 vsize=74764 CPUtime=25.49
/proc/11864/stat : 11864 (pbct) R 11862 11864 11705 0 -1 4202496 18596 0 0 0 2231 318 0 0 25 0 1 0 14139006 76558336 17881 4089446400 134512640 136422188 4289586448 18446744073709551615 135805544 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/11864/statm: 18691 17881 237 467 0 18222 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 74764

[startup+51.1003 s]
/proc/loadavg: 1.97 1.97 1.69 3/179 11867
/proc/meminfo: memFree=30293776/32950928 swapFree=4192956/4192956
[pid=11864] ppid=11862 vsize=86776 CPUtime=51.09
/proc/11864/stat : 11864 (pbct) R 11862 11864 11705 0 -1 4202496 21592 0 0 0 4571 538 0 0 25 0 1 0 14139006 88858624 20877 4089446400 134512640 136422188 4289586448 18446744073709551615 135821165 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/11864/statm: 21694 20877 237 467 0 21225 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 86776

[startup+102.306 s]
/proc/loadavg: 1.98 1.97 1.70 3/179 11869
/proc/meminfo: memFree=30261892/32950928 swapFree=4192956/4192956
[pid=11864] ppid=11862 vsize=97508 CPUtime=102.3
/proc/11864/stat : 11864 (pbct) R 11862 11864 11705 0 -1 4202496 24269 0 0 0 9276 954 0 0 25 0 1 0 14139006 99848192 23554 4089446400 134512640 136422188 4289586448 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/11864/statm: 24377 23554 237 467 0 23908 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 97508

[startup+162.301 s]
/proc/loadavg: 1.99 1.97 1.72 3/179 11870
/proc/meminfo: memFree=30257528/32950928 swapFree=4192956/4192956
[pid=11864] ppid=11862 vsize=99904 CPUtime=162.29
/proc/11864/stat : 11864 (pbct) R 11862 11864 11705 0 -1 4202496 25091 0 0 0 14774 1455 0 0 25 0 1 0 14139006 102301696 24143 4089446400 134512640 136422188 4289586448 18446744073709551615 134862343 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/11864/statm: 24976 24143 237 467 0 24507 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 99904

[startup+222.301 s]
/proc/loadavg: 1.99 1.97 1.74 3/179 11871
/proc/meminfo: memFree=30232088/32950928 swapFree=4192956/4192956
[pid=11864] ppid=11862 vsize=119388 CPUtime=222.3
/proc/11864/stat : 11864 (pbct) R 11862 11864 11705 0 -1 4202496 30042 0 0 0 20277 1953 0 0 25 0 1 0 14139006 122253312 29023 4089446400 134512640 136422188 4289586448 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/11864/statm: 29847 29023 237 467 0 29378 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 119388

[startup+282.3 s]
/proc/loadavg: 1.99 1.97 1.75 3/179 11873
/proc/meminfo: memFree=30215704/32950928 swapFree=4192956/4192956
[pid=11864] ppid=11862 vsize=126556 CPUtime=282.3
/proc/11864/stat : 11864 (pbct) R 11862 11864 11705 0 -1 4202496 31812 0 0 0 25989 2241 0 0 25 0 1 0 14139006 129593344 30793 4089446400 134512640 136422188 4289586448 18446744073709551615 134862323 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/11864/statm: 31639 30793 237 467 0 31170 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 126556

[startup+342.301 s]
/proc/loadavg: 1.99 1.97 1.76 3/179 11875
/proc/meminfo: memFree=30215560/32950928 swapFree=4192956/4192956
[pid=11864] ppid=11862 vsize=126556 CPUtime=342.29
/proc/11864/stat : 11864 (pbct) R 11862 11864 11705 0 -1 4202496 31814 0 0 0 31504 2725 0 0 25 0 1 0 14139006 129593344 30795 4089446400 134512640 136422188 4289586448 18446744073709551615 134862338 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/11864/statm: 31639 30795 237 467 0 31170 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 126556

[startup+402.301 s]
/proc/loadavg: 1.99 1.97 1.77 3/179 11877
/proc/meminfo: memFree=30185032/32950928 swapFree=4192956/4192956
[pid=11864] ppid=11862 vsize=126556 CPUtime=402.3
/proc/11864/stat : 11864 (pbct) R 11862 11864 11705 0 -1 4202496 31815 0 0 0 36995 3235 0 0 25 0 1 0 14139006 129593344 30796 4089446400 134512640 136422188 4289586448 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/11864/statm: 31639 30796 237 467 0 31170 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 126556

[startup+462.3 s]
/proc/loadavg: 1.99 1.97 1.78 3/179 11878
/proc/meminfo: memFree=30174972/32950928 swapFree=4192956/4192956
[pid=11864] ppid=11862 vsize=136828 CPUtime=462.3
/proc/11864/stat : 11864 (pbct) R 11862 11864 11705 0 -1 4202496 34385 0 0 0 42551 3679 0 0 25 0 1 0 14139006 140111872 33366 4089446400 134512640 136422188 4289586448 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/11864/statm: 34207 33366 237 467 0 33738 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 136828

[startup+522.301 s]
/proc/loadavg: 1.99 1.97 1.79 3/179 11879
/proc/meminfo: memFree=30174704/32950928 swapFree=4192956/4192956
[pid=11864] ppid=11862 vsize=136828 CPUtime=522.3
/proc/11864/stat : 11864 (pbct) R 11862 11864 11705 0 -1 4202496 34385 0 0 0 48004 4226 0 0 25 0 1 0 14139006 140111872 33366 4089446400 134512640 136422188 4289586448 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/11864/statm: 34207 33366 237 467 0 33738 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 136828

[startup+582.301 s]
/proc/loadavg: 2.10 2.00 1.82 3/179 11881
/proc/meminfo: memFree=30174688/32950928 swapFree=4192956/4192956
[pid=11864] ppid=11862 vsize=136828 CPUtime=582.3
/proc/11864/stat : 11864 (pbct) R 11862 11864 11705 0 -1 4202496 34385 0 0 0 53700 4530 0 0 25 0 1 0 14139006 140111872 33366 4089446400 134512640 136422188 4289586448 18446744073709551615 134862323 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/11864/statm: 34207 33366 237 467 0 33738 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 136828

[startup+642.3 s]
/proc/loadavg: 2.03 2.00 1.82 3/179 11883
/proc/meminfo: memFree=30163012/32950928 swapFree=4192956/4192956
[pid=11864] ppid=11862 vsize=147060 CPUtime=642.32
/proc/11864/stat : 11864 (pbct) R 11862 11864 11705 0 -1 4202496 36899 0 0 0 59352 4880 0 0 25 0 1 0 14139006 150589440 35880 4089446400 134512640 136422188 4289586448 18446744073709551615 134862338 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/11864/statm: 36765 35880 237 467 0 36296 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 147060

[startup+702.301 s]

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

[startup+822.301 s]
/proc/loadavg: 2.00 2.00 1.84 3/179 11887
/proc/meminfo: memFree=30158740/32950928 swapFree=4192956/4192956
[pid=11864] ppid=11862 vsize=150472 CPUtime=822.31
/proc/11864/stat : 11864 (pbct) R 11862 11864 11705 0 -1 4202496 37983 0 0 0 75997 6234 0 0 25 0 1 0 14139006 154083328 36763 4089446400 134512640 136422188 4289586448 18446744073709551615 134863989 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/11864/statm: 37618 36763 237 467 0 37149 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 150472

[startup+882.301 s]
/proc/loadavg: 2.00 2.00 1.85 3/179 11889
/proc/meminfo: memFree=30158836/32950928 swapFree=4192956/4192956
[pid=11864] ppid=11862 vsize=150472 CPUtime=882.31
/proc/11864/stat : 11864 (pbct) R 11862 11864 11705 0 -1 4202496 37983 0 0 0 81642 6589 0 0 25 0 1 0 14139006 154083328 36763 4089446400 134512640 136422188 4289586448 18446744073709551615 134864018 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/11864/statm: 37618 36763 237 467 0 37149 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 150472

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 1.85 3/179 11891
/proc/meminfo: memFree=30157812/32950928 swapFree=4192956/4192956
[pid=11864] ppid=11862 vsize=150472 CPUtime=942.31
/proc/11864/stat : 11864 (pbct) R 11862 11864 11705 0 -1 4202496 37983 0 0 0 87162 7069 0 0 25 0 1 0 14139006 154083328 36763 4089446400 134512640 136422188 4289586448 18446744073709551615 134862325 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/11864/statm: 37618 36763 237 467 0 37149 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 150472

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.86 3/179 11893
/proc/meminfo: memFree=30144772/32950928 swapFree=4192956/4192956
[pid=11864] ppid=11862 vsize=162096 CPUtime=1002.31
/proc/11864/stat : 11864 (pbct) R 11862 11864 11705 0 -1 4202496 40850 0 0 0 92816 7415 0 0 25 0 1 0 14139006 165986304 39630 4089446400 134512640 136422188 4289586448 18446744073709551615 134862222 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/11864/statm: 40524 39630 237 467 0 40055 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 162096

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.86 3/179 11894
/proc/meminfo: memFree=30144632/32950928 swapFree=4192956/4192956
[pid=11864] ppid=11862 vsize=162096 CPUtime=1062.32
/proc/11864/stat : 11864 (pbct) R 11862 11864 11705 0 -1 4202496 40850 0 0 0 98545 7687 0 0 25 0 1 0 14139006 165986304 39630 4089446400 134512640 136422188 4289586448 18446744073709551615 134862325 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/11864/statm: 40524 39630 237 467 0 40055 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 162096

[startup+1122.3 s]
/proc/loadavg: 2.06 2.02 1.88 3/179 11895
/proc/meminfo: memFree=30140524/32950928 swapFree=4192956/4192956
[pid=11864] ppid=11862 vsize=161244 CPUtime=1122.32
/proc/11864/stat : 11864 (pbct) R 11862 11864 11705 0 -1 4202496 40850 0 0 0 104052 8180 0 0 25 0 1 0 14139006 165113856 39449 4089446400 134512640 136422188 4289586448 18446744073709551615 134862338 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/11864/statm: 40311 39449 237 467 0 39842 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 161244

[startup+1182.3 s]
/proc/loadavg: 2.02 2.01 1.88 3/179 11897
/proc/meminfo: memFree=30138768/32950928 swapFree=4192956/4192956
[pid=11864] ppid=11862 vsize=161244 CPUtime=1182.31
/proc/11864/stat : 11864 (pbct) R 11862 11864 11705 0 -1 4202496 40850 0 0 0 109570 8661 0 0 25 0 1 0 14139006 165113856 39449 4089446400 134512640 136422188 4289586448 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/11864/statm: 40311 39449 237 467 0 39842 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 161244

[startup+1242.3 s]
/proc/loadavg: 2.01 2.00 1.89 3/179 11899
/proc/meminfo: memFree=30128820/32950928 swapFree=4192956/4192956
[pid=11864] ppid=11862 vsize=161244 CPUtime=1242.32
/proc/11864/stat : 11864 (pbct) R 11862 11864 11705 0 -1 4202496 40850 0 0 0 115125 9107 0 0 25 0 1 0 14139006 165113856 39449 4089446400 134512640 136422188 4289586448 18446744073709551615 134862197 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/11864/statm: 40311 39449 237 467 0 39842 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 161244

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.89 3/179 11901
/proc/meminfo: memFree=30128660/32950928 swapFree=4192956/4192956
[pid=11864] ppid=11862 vsize=161244 CPUtime=1302.33
/proc/11864/stat : 11864 (pbct) R 11862 11864 11705 0 -1 4202496 40850 0 0 0 120568 9665 0 0 25 0 1 0 14139006 165113856 39449 4089446400 134512640 136422188 4289586448 18446744073709551615 134862325 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/11864/statm: 40311 39449 237 467 0 39842 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 161244

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.90 3/179 11902
/proc/meminfo: memFree=30102456/32950928 swapFree=4192956/4192956
[pid=11864] ppid=11862 vsize=171208 CPUtime=1362.32
/proc/11864/stat : 11864 (pbct) R 11862 11864 11705 0 -1 4202496 43417 0 0 0 126227 10005 0 0 25 0 1 0 14139006 175316992 41922 4089446400 134512640 136422188 4289586448 18446744073709551615 134862312 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/11864/statm: 42802 41922 237 467 0 42333 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 171208

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 11903
/proc/meminfo: memFree=30086172/32950928 swapFree=4192956/4192956
[pid=11864] ppid=11862 vsize=177964 CPUtime=1422.33
/proc/11864/stat : 11864 (pbct) R 11862 11864 11705 0 -1 4202496 45088 0 0 0 131982 10251 0 0 25 0 1 0 14139006 182235136 43593 4089446400 134512640 136422188 4289586448 18446744073709551615 134862312 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/11864/statm: 44491 43593 237 467 0 44022 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 177964

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 11905
/proc/meminfo: memFree=30086136/32950928 swapFree=4192956/4192956
[pid=11864] ppid=11862 vsize=177964 CPUtime=1482.32
/proc/11864/stat : 11864 (pbct) R 11862 11864 11705 0 -1 4202496 45089 0 0 0 137721 10511 0 0 25 0 1 0 14139006 182235136 43594 4089446400 134512640 136422188 4289586448 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/11864/statm: 44491 43594 237 467 0 44022 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 177964

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 11907
/proc/meminfo: memFree=30083372/32950928 swapFree=4192956/4192956
[pid=11864] ppid=11862 vsize=181000 CPUtime=1542.33
/proc/11864/stat : 11864 (pbct) R 11862 11864 11705 0 -1 4202496 45853 0 0 0 143433 10800 0 0 25 0 1 0 14139006 185344000 44358 4089446400 134512640 136422188 4289586448 18446744073709551615 134862338 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/11864/statm: 45250 44358 237 467 0 44781 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 181000

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 11909
/proc/meminfo: memFree=30052464/32950928 swapFree=4192956/4192956
[pid=11864] ppid=11862 vsize=211400 CPUtime=1602.33
/proc/11864/stat : 11864 (pbct) R 11862 11864 11705 0 -1 4202496 53430 0 0 0 149195 11038 0 0 25 0 1 0 14139006 216473600 51935 4089446400 134512640 136422188 4289586448 18446744073709551615 134862312 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/11864/statm: 52850 51935 237 467 0 52381 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 211400

[startup+1662.3 s]
/proc/loadavg: 2.03 2.01 1.91 3/179 11919
/proc/meminfo: memFree=30039572/32950928 swapFree=4192956/4192956
[pid=11864] ppid=11862 vsize=222708 CPUtime=1662.33
/proc/11864/stat : 11864 (pbct) R 11862 11864 11705 0 -1 4202496 56490 0 0 0 155047 11186 0 0 25 0 1 0 14139006 228052992 54753 4089446400 134512640 136422188 4289586448 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/11864/statm: 55677 54753 237 467 0 55208 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 222708

[startup+1722.3 s]
/proc/loadavg: 2.01 2.01 1.91 3/179 11920
/proc/meminfo: memFree=30027024/32950928 swapFree=4192956/4192956
[pid=11864] ppid=11862 vsize=234512 CPUtime=1722.33
/proc/11864/stat : 11864 (pbct) R 11862 11864 11705 0 -1 4202496 59457 0 0 0 160909 11324 0 0 25 0 1 0 14139006 240140288 57720 4089446400 134512640 136422188 4289586448 18446744073709551615 134862338 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/11864/statm: 58628 57720 237 467 0 58159 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 234512

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 11922
/proc/meminfo: memFree=30026384/32950928 swapFree=4192956/4192956
[pid=11864] ppid=11862 vsize=234512 CPUtime=1782.33
/proc/11864/stat : 11864 (pbct) R 11862 11864 11705 0 -1 4202496 59459 0 0 0 166707 11526 0 0 25 0 1 0 14139006 240140288 57722 4089446400 134512640 136422188 4289586448 18446744073709551615 134862323 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/11864/statm: 58628 57722 237 467 0 58159 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 234512



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 1.92 1.98 1.91 2/177 11923
/proc/meminfo: memFree=30213624/32950928 swapFree=4192956/4192956
[pid=11864] ppid=11862 vsize=234512 CPUtime=1800.04
/proc/11864/stat : 11864 (pbct) R 11862 11864 11705 0 -1 4202496 59459 0 0 0 168412 11592 0 0 25 0 1 0 14139006 240140288 57722 4089446400 134512640 136422188 4289586448 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/11864/statm: 58628 57722 237 467 0 58159 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 234512

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): 1684.13
CPU system time (s): 115.928
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 234512

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

runsolver used 3.2585 second user time and 6.35603 second system time

The end

Launcher Data 

Begin job on node124 at 2010-07-07 01:34:16
IDJOB=2699029
IDBENCH=78732
IDSOLVER=1212
FILE ID=node124/2699029-1278459256
PBS_JOBID= 11233744
Free space on /tmp= 130268 MiB

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

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

MD5SUM BENCH= 374ed8d346409439b64d782bc7a820e5
RANDOM SEED=1578258531

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      30413696 kB
Buffers:        101920 kB
Cached:        2234920 kB
SwapCached:          0 kB
Active:         787796 kB
Inactive:      1644960 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      30413696 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            3992 kB
Writeback:           0 kB
AnonPages:       95744 kB
Mapped:          15320 kB
Slab:            72196 kB
PageTables:       4704 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  20668420 kB
Committed_AS:   237452 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    265212 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 130268 MiB
End job on node124 at 2010-07-07 02:04:18