Trace number 3708571

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
clasp 2.0.6-R5325 (dec)SAT 131.784 131.87

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/
dbst/normalized-dbst_v50_e1000_d25_mw10_6.opb.PB06.opb
MD5SUMab4957c8b8761f975030868126e78f02
Bench CategoryDEC-SMALLINT (no optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark2.72358
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables4500
Total number of constraints2559501
Number of constraints which are clauses2554450
Number of constraints which are cardinality constraints (but not clauses)101
Number of constraints which are nor clauses,nor cardinality constraints4950
Minimum length of a constraint2
Maximum length of a constraint2000
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 480
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 2049
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

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

Verifier Data 

OK	0

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3708571-1338155138/watcher-3708571-1338155138 -o /tmp/evaluation-result-3708571-1338155138/solver-3708571-1338155138 -C 1800 -W 1900 -M 15500 HOME/clasp-dec.sh HOME/instance-3708571-1338155138.opb 

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.09 2.02 2.01 3/177 28647
/proc/meminfo: memFree=30977440/32873844 swapFree=7620/7620
[pid=28647] ppid=28645 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/28647/stat : 28647 (clasp-dec.sh) S 28645 28647 23064 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281638385 9371648 275 33554432000 4194304 5064252 140735734046544 140735734045456 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28647/statm: 2288 275 232 213 0 73 0

[startup+0.029696 s]
/proc/loadavg: 2.09 2.02 2.01 3/177 28647
/proc/meminfo: memFree=30977440/32873844 swapFree=7620/7620
[pid=28647] ppid=28645 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/28647/stat : 28647 (clasp-dec.sh) S 28645 28647 23064 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281638385 9371648 275 33554432000 4194304 5064252 140735734046544 140735734045456 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28647/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152

[startup+0.100297 s]
/proc/loadavg: 2.09 2.02 2.01 3/177 28647
/proc/meminfo: memFree=30977440/32873844 swapFree=7620/7620
[pid=28647] ppid=28645 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/28647/stat : 28647 (clasp-dec.sh) S 28645 28647 23064 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281638385 9371648 275 33554432000 4194304 5064252 140735734046544 140735734045456 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28647/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152

[startup+0.300284 s]
/proc/loadavg: 2.09 2.02 2.01 3/177 28647
/proc/meminfo: memFree=30977440/32873844 swapFree=7620/7620
[pid=28647] ppid=28645 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/28647/stat : 28647 (clasp-dec.sh) S 28645 28647 23064 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281638385 9371648 275 33554432000 4194304 5064252 140735734046544 140735734045456 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28647/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152

[startup+0.70029 s]
/proc/loadavg: 2.09 2.02 2.01 3/177 28647
/proc/meminfo: memFree=30977440/32873844 swapFree=7620/7620
[pid=28647] ppid=28645 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/28647/stat : 28647 (clasp-dec.sh) S 28645 28647 23064 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281638385 9371648 275 33554432000 4194304 5064252 140735734046544 140735734045456 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28647/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152

[startup+1.50036 s]
/proc/loadavg: 2.09 2.02 2.01 3/179 28649
/proc/meminfo: memFree=30878892/32873844 swapFree=7620/7620
[pid=28647] ppid=28645 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/28647/stat : 28647 (clasp-dec.sh) S 28645 28647 23064 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281638385 9371648 275 33554432000 4194304 5064252 140735734046544 140735734045456 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28647/statm: 2288 275 232 213 0 73 0
[pid=28648] ppid=28647 vsize=171816 CPUtime=1.49 cores=1,3,5,7
/proc/28648/stat : 28648 (clasp-R5325) R 28647 28647 23064 0 -1 4202496 39806 0 0 0 139 10 0 0 20 0 1 0 281638385 175939584 40731 33554432000 4194304 6212839 140736276315248 140736276311656 4609156 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/28648/statm: 42954 40731 204 493 0 42459 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 180968

[startup+3.10036 s]
/proc/loadavg: 2.09 2.02 2.01 3/179 28649
/proc/meminfo: memFree=30759336/32873844 swapFree=7620/7620
[pid=28647] ppid=28645 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/28647/stat : 28647 (clasp-dec.sh) S 28645 28647 23064 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281638385 9371648 275 33554432000 4194304 5064252 140735734046544 140735734045456 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28647/statm: 2288 275 232 213 0 73 0
[pid=28648] ppid=28647 vsize=234096 CPUtime=3.09 cores=1,3,5,7
/proc/28648/stat : 28648 (clasp-R5325) R 28647 28647 23064 0 -1 4202496 48821 0 0 0 296 13 0 0 20 0 1 0 281638385 239714304 55367 33554432000 4194304 6212839 140736276315248 140736276313896 4601501 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/28648/statm: 58524 55367 206 493 0 58029 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 243248

[startup+6.30036 s]
/proc/loadavg: 2.09 2.02 2.00 3/179 28649
/proc/meminfo: memFree=30759956/32873844 swapFree=7620/7620
[pid=28647] ppid=28645 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/28647/stat : 28647 (clasp-dec.sh) S 28645 28647 23064 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281638385 9371648 275 33554432000 4194304 5064252 140735734046544 140735734045456 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28647/statm: 2288 275 232 213 0 73 0
[pid=28648] ppid=28647 vsize=234096 CPUtime=6.29 cores=1,3,5,7
/proc/28648/stat : 28648 (clasp-R5325) R 28647 28647 23064 0 -1 4202496 48821 0 0 0 616 13 0 0 20 0 1 0 281638385 239714304 55367 33554432000 4194304 6212839 140736276315248 140736276313896 4601554 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/28648/statm: 58524 55367 206 493 0 58029 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 243248

[startup+12.7004 s]
/proc/loadavg: 2.08 2.02 2.00 3/179 28649
/proc/meminfo: memFree=30759996/32873844 swapFree=7620/7620
[pid=28647] ppid=28645 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/28647/stat : 28647 (clasp-dec.sh) S 28645 28647 23064 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281638385 9371648 275 33554432000 4194304 5064252 140735734046544 140735734045456 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28647/statm: 2288 275 232 213 0 73 0
[pid=28648] ppid=28647 vsize=234096 CPUtime=12.69 cores=1,3,5,7
/proc/28648/stat : 28648 (clasp-R5325) R 28647 28647 23064 0 -1 4202496 48821 0 0 0 1256 13 0 0 20 0 1 0 281638385 239714304 55367 33554432000 4194304 6212839 140736276315248 140736276313896 4601501 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/28648/statm: 58524 55367 206 493 0 58029 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 243248

[startup+25.5004 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 28649
/proc/meminfo: memFree=30760616/32873844 swapFree=7620/7620
[pid=28647] ppid=28645 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/28647/stat : 28647 (clasp-dec.sh) S 28645 28647 23064 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281638385 9371648 275 33554432000 4194304 5064252 140735734046544 140735734045456 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28647/statm: 2288 275 232 213 0 73 0
[pid=28648] ppid=28647 vsize=234096 CPUtime=25.49 cores=1,3,5,7
/proc/28648/stat : 28648 (clasp-R5325) R 28647 28647 23064 0 -1 4202496 48821 0 0 0 2536 13 0 0 20 0 1 0 281638385 239714304 55367 33554432000 4194304 6212839 140736276315248 140736276313896 4601501 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/28648/statm: 58524 55367 206 493 0 58029 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 243248

[startup+51.1004 s]
/proc/loadavg: 2.04 2.02 2.00 3/179 28649
/proc/meminfo: memFree=30760760/32873844 swapFree=7620/7620
[pid=28647] ppid=28645 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/28647/stat : 28647 (clasp-dec.sh) S 28645 28647 23064 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281638385 9371648 275 33554432000 4194304 5064252 140735734046544 140735734045456 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28647/statm: 2288 275 232 213 0 73 0
[pid=28648] ppid=28647 vsize=234096 CPUtime=51.06 cores=1,3,5,7
/proc/28648/stat : 28648 (clasp-R5325) R 28647 28647 23064 0 -1 4202496 48841 0 0 0 5093 13 0 0 20 0 1 0 281638385 239714304 55367 33554432000 4194304 6212839 140736276315248 140736276313896 4601501 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/28648/statm: 58524 55367 206 493 0 58029 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 243248

[startup+102.307 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 28650
/proc/meminfo: memFree=30759944/32873844 swapFree=7620/7620
[pid=28647] ppid=28645 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/28647/stat : 28647 (clasp-dec.sh) S 28645 28647 23064 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281638385 9371648 275 33554432000 4194304 5064252 140735734046544 140735734045456 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28647/statm: 2288 275 232 213 0 73 0
[pid=28648] ppid=28647 vsize=234096 CPUtime=102.22 cores=1,3,5,7
/proc/28648/stat : 28648 (clasp-R5325) R 28647 28647 23064 0 -1 4202496 48881 0 0 0 10209 13 0 0 20 0 1 0 281638385 239714304 55368 33554432000 4194304 6212839 140736276315248 140736276313896 4601501 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/28648/statm: 58524 55368 206 493 0 58029 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 243248

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

[startup+115.1 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 28650
/proc/meminfo: memFree=30758432/32873844 swapFree=7620/7620
[pid=28647] ppid=28645 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/28647/stat : 28647 (clasp-dec.sh) S 28645 28647 23064 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281638385 9371648 275 33554432000 4194304 5064252 140735734046544 140735734045456 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28647/statm: 2288 275 232 213 0 73 0
[pid=28648] ppid=28647 vsize=234096 CPUtime=115.01 cores=1,3,5,7
/proc/28648/stat : 28648 (clasp-R5325) R 28647 28647 23064 0 -1 4202496 48885 0 0 0 11488 13 0 0 20 0 1 0 281638385 239714304 55370 33554432000 4194304 6212839 140736276315248 140736276313896 4601336 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/28648/statm: 58524 55370 206 493 0 58029 0
Current children cumulated CPU time (s) 115.01
Current children cumulated vsize (KiB) 243248

[startup+121.5 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 28650
/proc/meminfo: memFree=30757240/32873844 swapFree=7620/7620
[pid=28647] ppid=28645 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/28647/stat : 28647 (clasp-dec.sh) S 28645 28647 23064 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281638385 9371648 275 33554432000 4194304 5064252 140735734046544 140735734045456 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28647/statm: 2288 275 232 213 0 73 0
[pid=28648] ppid=28647 vsize=234096 CPUtime=121.41 cores=1,3,5,7
/proc/28648/stat : 28648 (clasp-R5325) R 28647 28647 23064 0 -1 4202496 48887 0 0 0 12128 13 0 0 20 0 1 0 281638385 239714304 55370 33554432000 4194304 6212839 140736276315248 140736276313896 4601398 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/28648/statm: 58524 55370 206 493 0 58029 0
Current children cumulated CPU time (s) 121.41
Current children cumulated vsize (KiB) 243248

[startup+127.9 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 28650
/proc/meminfo: memFree=30756920/32873844 swapFree=7620/7620
[pid=28647] ppid=28645 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/28647/stat : 28647 (clasp-dec.sh) S 28645 28647 23064 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281638385 9371648 275 33554432000 4194304 5064252 140735734046544 140735734045456 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28647/statm: 2288 275 232 213 0 73 0
[pid=28648] ppid=28647 vsize=234096 CPUtime=127.81 cores=1,3,5,7
/proc/28648/stat : 28648 (clasp-R5325) R 28647 28647 23064 0 -1 4202496 48888 0 0 0 12768 13 0 0 20 0 1 0 281638385 239714304 55370 33554432000 4194304 6212839 140736276315248 140736276313896 4601495 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/28648/statm: 58524 55370 206 493 0 58029 0
Current children cumulated CPU time (s) 127.81
Current children cumulated vsize (KiB) 243248

[startup+129.5 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 28650
/proc/meminfo: memFree=30756920/32873844 swapFree=7620/7620
[pid=28647] ppid=28645 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/28647/stat : 28647 (clasp-dec.sh) S 28645 28647 23064 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281638385 9371648 275 33554432000 4194304 5064252 140735734046544 140735734045456 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28647/statm: 2288 275 232 213 0 73 0
[pid=28648] ppid=28647 vsize=234096 CPUtime=129.41 cores=1,3,5,7
/proc/28648/stat : 28648 (clasp-R5325) R 28647 28647 23064 0 -1 4202496 48888 0 0 0 12928 13 0 0 20 0 1 0 281638385 239714304 55370 33554432000 4194304 6212839 140736276315248 140736276313896 4601501 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/28648/statm: 58524 55370 206 493 0 58029 0
Current children cumulated CPU time (s) 129.41
Current children cumulated vsize (KiB) 243248

[startup+131.1 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 28650
/proc/meminfo: memFree=30756920/32873844 swapFree=7620/7620
[pid=28647] ppid=28645 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/28647/stat : 28647 (clasp-dec.sh) S 28645 28647 23064 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281638385 9371648 275 33554432000 4194304 5064252 140735734046544 140735734045456 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28647/statm: 2288 275 232 213 0 73 0
[pid=28648] ppid=28647 vsize=234096 CPUtime=131.01 cores=1,3,5,7
/proc/28648/stat : 28648 (clasp-R5325) R 28647 28647 23064 0 -1 4202496 48888 0 0 0 13088 13 0 0 20 0 1 0 281638385 239714304 55370 33554432000 4194304 6212839 140736276315248 140736276313896 4601312 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/28648/statm: 58524 55370 206 493 0 58029 0
Current children cumulated CPU time (s) 131.01
Current children cumulated vsize (KiB) 243248

[startup+131.5 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 28650
/proc/meminfo: memFree=30756920/32873844 swapFree=7620/7620
[pid=28647] ppid=28645 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/28647/stat : 28647 (clasp-dec.sh) S 28645 28647 23064 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281638385 9371648 275 33554432000 4194304 5064252 140735734046544 140735734045456 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28647/statm: 2288 275 232 213 0 73 0
[pid=28648] ppid=28647 vsize=234096 CPUtime=131.41 cores=1,3,5,7
/proc/28648/stat : 28648 (clasp-R5325) R 28647 28647 23064 0 -1 4202496 48888 0 0 0 13128 13 0 0 20 0 1 0 281638385 239714304 55370 33554432000 4194304 6212839 140736276315248 140736276313896 4626002 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/28648/statm: 58524 55370 206 493 0 58029 0
Current children cumulated CPU time (s) 131.41
Current children cumulated vsize (KiB) 243248

[startup+131.7 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 28650
/proc/meminfo: memFree=30756920/32873844 swapFree=7620/7620
[pid=28647] ppid=28645 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/28647/stat : 28647 (clasp-dec.sh) S 28645 28647 23064 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281638385 9371648 275 33554432000 4194304 5064252 140735734046544 140735734045456 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28647/statm: 2288 275 232 213 0 73 0
[pid=28648] ppid=28647 vsize=234096 CPUtime=131.61 cores=1,3,5,7
/proc/28648/stat : 28648 (clasp-R5325) R 28647 28647 23064 0 -1 4202496 48888 0 0 0 13148 13 0 0 20 0 1 0 281638385 239714304 55370 33554432000 4194304 6212839 140736276315248 140736276313896 4317872 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/28648/statm: 58524 55370 206 493 0 58029 0
Current children cumulated CPU time (s) 131.61
Current children cumulated vsize (KiB) 243248

[startup+131.8 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 28650
/proc/meminfo: memFree=30756920/32873844 swapFree=7620/7620
[pid=28647] ppid=28645 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/28647/stat : 28647 (clasp-dec.sh) S 28645 28647 23064 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281638385 9371648 275 33554432000 4194304 5064252 140735734046544 140735734045456 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28647/statm: 2288 275 232 213 0 73 0
[pid=28648] ppid=28647 vsize=234096 CPUtime=131.71 cores=1,3,5,7
/proc/28648/stat : 28648 (clasp-R5325) R 28647 28647 23064 0 -1 4202496 48888 0 0 0 13158 13 0 0 20 0 1 0 281638385 239714304 55370 33554432000 4194304 6212839 140736276315248 140736276313896 4303328 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/28648/statm: 58524 55370 206 493 0 58029 0
Current children cumulated CPU time (s) 131.71
Current children cumulated vsize (KiB) 243248

Child status: 10
Real time (s): 131.87
CPU time (s): 131.784
CPU user time (s): 131.65
CPU system time (s): 0.133979
CPU usage (%): 99.9344
Max. virtual memory (cumulated for all children) (KiB): 243248

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 131.65
system time used= 0.133979
maximum resident set size= 221488
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49286
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= 72
involuntary context switches= 135

runsolver used 0.204968 second user time and 0.642902 second system time

The end

Launcher Data 

Begin job on node143 at 2012-05-27 23:45:40
IDJOB=3708571
IDBENCH=1375
IDSOLVER=2287
FILE ID=node143/3708571-1338155138
RUNJOBID= node143-1338150224-25430
PBS_JOBID= 14624509
Free space on /tmp= 71580 MiB

SOLVER NAME= clasp 2.0.6-R5325
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/dbst/normalized-dbst_v50_e1000_d25_mw10_6.opb.PB06.opb
COMMAND LINE= HOME/clasp-dec.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3708571-1338155138/watcher-3708571-1338155138 -o /tmp/evaluation-result-3708571-1338155138/solver-3708571-1338155138 -C 1800 -W 1900 -M 15500  HOME/clasp-dec.sh HOME/instance-3708571-1338155138.opb

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

MD5SUM BENCH= ab4957c8b8761f975030868126e78f02
RANDOM SEED=315009256

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        30977704 kB
Buffers:          364832 kB
Cached:           603688 kB
SwapCached:            0 kB
Active:           747272 kB
Inactive:         310416 kB
Active(anon):      79556 kB
Inactive(anon):    12040 kB
Active(file):     667716 kB
Inactive(file):   298376 kB
Unevictable:        7620 kB
Mlocked:            7620 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             91132 kB
Writeback:             0 kB
AnonPages:         96644 kB
Mapped:            15096 kB
Shmem:               200 kB
Slab:             697596 kB
SReclaimable:     137104 kB
SUnreclaim:       560492 kB
KernelStack:        1448 kB
PageTables:         4124 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     204716 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     71680 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71576 MiB
End job on node143 at 2012-05-27 23:47:52