Trace number 36453

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, and are wall clock time (not CPU time).

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

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
Pueblo 1.4SAT-30 1782.73 1783.44

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-israel.opb
MD5SUM916719a95a95b5989e5d4b5f3d786df3
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-36
Best CPU time to get the best result obtained on this benchmark1800.57
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -36
Optimality of the best value was proved NO
Number of variables4260
Total number of constraints174
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints174
Minimum length of a constraint30
Maximum length of a constraint3540
Number of terms in the objective function 2670
Biggest coefficient in the objective function 42742
Number of bits for the biggest coefficient in the objective function 16
Sum of the numbers in the objective function 526467
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262137
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 527037
Number of bits of the biggest sum of numbers20
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 (download as text)

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

Verifier Data (download as text)

OK	-30

Watcher Data (download as text)

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGKILL): 1843200 Kb
Enforcing VSIZE limit: 1887436800 bytes
runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node67/watcher-36453-1149327520 -o ROOT/results/node67/solver-36453-1149327520 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node67/36453-1149327520/instance-36453-1149327520.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.99 0.98 0.97 2/64 27478
/proc/meminfo: memFree=1365608/2055920 swapFree=4181736/4192956
[pid=27478] ppid=27476 vsize=2328 CPUtime=0
/proc/27478/stat : 27478 (Pueblo) R 27476 27478 27432 0 -1 4194304 139 0 0 0 0 0 0 0 18 0 1 0 198421448 2383872 122 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 6893656 0 0 4096 0 0 0 0 17 1 0 0
/proc/27478/statm: 582 123 108 16 0 11 0

[startup+10.0017 s]
/proc/loadavg: 0.99 0.98 0.97 2/64 27478
/proc/meminfo: memFree=1360504/2055920 swapFree=4181736/4192956
[pid=27478] ppid=27476 vsize=7640 CPUtime=9.99
/proc/27478/stat : 27478 (Pueblo) R 27476 27478 27432 0 -1 4194304 1511 0 0 0 997 2 0 0 25 0 1 0 198421448 7823360 1482 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527726 0 0 4096 0 0 0 0 17 1 0 0
/proc/27478/statm: 1910 1482 205 16 0 1351 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 7640

[startup+20.0076 s]
/proc/loadavg: 0.99 0.98 0.97 2/64 27478
/proc/meminfo: memFree=1359032/2055920 swapFree=4181736/4192956
[pid=27478] ppid=27476 vsize=9176 CPUtime=19.99
/proc/27478/stat : 27478 (Pueblo) R 27476 27478 27432 0 -1 4194304 1867 0 0 0 1996 3 0 0 25 0 1 0 198421448 9396224 1838 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527956 0 0 4096 0 0 0 0 17 1 0 0
/proc/27478/statm: 2294 1838 205 16 0 1735 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 9176

[startup+30.0134 s]
/proc/loadavg: 0.99 0.98 0.97 2/64 27478
/proc/meminfo: memFree=1358648/2055920 swapFree=4181736/4192956
[pid=27478] ppid=27476 vsize=9432 CPUtime=29.99
/proc/27478/stat : 27478 (Pueblo) R 27476 27478 27432 0 -1 4194304 1960 0 0 0 2996 3 0 0 25 0 1 0 198421448 9658368 1931 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527759 0 0 4096 0 0 0 0 17 1 0 0
/proc/27478/statm: 2358 1931 205 16 0 1799 0
Current children cumulated CPU time (s) 29.99
Current children cumulated vsize (Kb) 9432

[startup+40.0193 s]
/proc/loadavg: 0.99 0.98 0.97 2/64 27478
/proc/meminfo: memFree=1358712/2055920 swapFree=4181736/4192956
[pid=27478] ppid=27476 vsize=9432 CPUtime=39.99
/proc/27478/stat : 27478 (Pueblo) R 27476 27478 27432 0 -1 4194304 1960 0 0 0 3996 3 0 0 25 0 1 0 198421448 9658368 1931 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527962 0 0 4096 0 0 0 0 17 1 0 0
/proc/27478/statm: 2358 1931 205 16 0 1799 0
Current children cumulated CPU time (s) 39.99
Current children cumulated vsize (Kb) 9432

[startup+50.0252 s]
/proc/loadavg: 0.99 0.98 0.97 2/64 27478
/proc/meminfo: memFree=1358008/2055920 swapFree=4181736/4192956
[pid=27478] ppid=27476 vsize=10176 CPUtime=50
/proc/27478/stat : 27478 (Pueblo) R 27476 27478 27432 0 -1 4194304 2144 0 0 0 4997 3 0 0 25 0 1 0 198421448 10420224 2115 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528609 0 0 4096 0 0 0 0 17 1 0 0
/proc/27478/statm: 2544 2115 205 16 0 1985 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 10176

[startup+60.031 s]
/proc/loadavg: 0.99 0.98 0.97 2/64 27478
/proc/meminfo: memFree=1357752/2055920 swapFree=4181736/4192956
[pid=27478] ppid=27476 vsize=10424 CPUtime=60
/proc/27478/stat : 27478 (Pueblo) R 27476 27478 27432 0 -1 4194304 2194 0 0 0 5997 3 0 0 25 0 1 0 198421448 10674176 2165 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528346 0 0 4096 0 0 0 0 17 1 0 0
/proc/27478/statm: 2606 2165 205 16 0 2047 0
Current children cumulated CPU time (s) 60
Current children cumulated vsize (Kb) 10424

[startup+70.0369 s]
/proc/loadavg: 0.99 0.98 0.97 2/64 27478
/proc/meminfo: memFree=1357688/2055920 swapFree=4181736/4192956
[pid=27478] ppid=27476 vsize=10552 CPUtime=70
/proc/27478/stat : 27478 (Pueblo) R 27476 27478 27432 0 -1 4194304 2221 0 0 0 6997 3 0 0 25 0 1 0 198421448 10805248 2192 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527956 0 0 4096 0 0 0 0 17 1 0 0
/proc/27478/statm: 2638 2192 205 16 0 2079 0
Current children cumulated CPU time (s) 70
Current children cumulated vsize (Kb) 10552

[startup+80.0428 s]
/proc/loadavg: 0.99 0.98 0.97 2/64 27478
/proc/meminfo: memFree=1356920/2055920 swapFree=4181736/4192956
[pid=27478] ppid=27476 vsize=11320 CPUtime=80.01
/proc/27478/stat : 27478 (Pueblo) R 27476 27478 27432 0 -1 4194304 2405 0 0 0 7997 4 0 0 25 0 1 0 198421448 11591680 2376 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0
/proc/27478/statm: 2830 2376 205 16 0 2271 0
Current children cumulated CPU time (s) 80.01
Current children cumulated vsize (Kb) 11320

[startup+90.0486 s]
/proc/loadavg: 0.99 0.98 0.97 2/64 27478
/proc/meminfo: memFree=1356920/2055920 swapFree=4181736/4192956
[pid=27478] ppid=27476 vsize=11320 CPUtime=90.01
/proc/27478/stat : 27478 (Pueblo) R 27476 27478 27432 0 -1 4194304 2405 0 0 0 8997 4 0 0 25 0 1 0 198421448 11591680 2376 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520442 0 0 4096 0 0 0 0 17 1 0 0
/proc/27478/statm: 2830 2376 205 16 0 2271 0
Current children cumulated CPU time (s) 90.01
Current children cumulated vsize (Kb) 11320

[startup+100.055 s]
/proc/loadavg: 0.99 0.98 0.97 2/64 27478
/proc/meminfo: memFree=1356920/2055920 swapFree=4181736/4192956
[pid=27478] ppid=27476 vsize=11320 CPUtime=100.01
/proc/27478/stat : 27478 (Pueblo) R 27476 27478 27432 0 -1 4194304 2405 0 0 0 9997 4 0 0 25 0 1 0 198421448 11591680 2376 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527762 0 0 4096 0 0 0 0 17 1 0 0
/proc/27478/statm: 2830 2376 205 16 0 2271 0
Current children cumulated CPU time (s) 100.01
Current children cumulated vsize (Kb) 11320

[startup+110.06 s]
/proc/loadavg: 0.99 0.98 0.97 2/64 27478
/proc/meminfo: memFree=1356920/2055920 swapFree=4181736/4192956
[pid=27478] ppid=27476 vsize=11320 CPUtime=110.01
/proc/27478/stat : 27478 (Pueblo) R 27476 27478 27432 0 -1 4194304 2405 0 0 0 10997 4 0 0 25 0 1 0 198421448 11591680 2376 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527978 0 0 4096 0 0 0 0 17 1 0 0
/proc/27478/statm: 2830 2376 205 16 0 2271 0
Current children cumulated CPU time (s) 110.01
Current children cumulated vsize (Kb) 11320

[startup+120.066 s]
/proc/loadavg: 0.99 0.98 0.97 2/64 27478
/proc/meminfo: memFree=1356664/2055920 swapFree=4181736/4192956
[pid=27478] ppid=27476 vsize=11568 CPUtime=120.01
/proc/27478/stat : 27478 (Pueblo) R 27476 27478 27432 0 -1 4194304 2480 0 0 0 11997 4 0 0 25 0 1 0 198421448 11845632 2451 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527818 0 0 4096 0 0 0 0 17 1 0 0
/proc/27478/statm: 2892 2451 205 16 0 2333 0
Current children cumulated CPU time (s) 120.01
Current children cumulated vsize (Kb) 11568

[startup+130.072 s]
/proc/loadavg: 0.99 0.98 0.97 2/64 27478
/proc/meminfo: memFree=1356408/2055920 swapFree=4181736/4192956
[pid=27478] ppid=27476 vsize=11816 CPUtime=130.02
/proc/27478/stat : 27478 (Pueblo) R 27476 27478 27432 0 -1 4194304 2536 0 0 0 12997 5 0 0 25 0 1 0 198421448 12099584 2507 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0
/proc/27478/statm: 2954 2507 205 16 0 2395 0
Current children cumulated CPU time (s) 130.02
Current children cumulated vsize (Kb) 11816

[startup+140.079 s]
/proc/loadavg: 0.99 0.98 0.97 2/64 27478
/proc/meminfo: memFree=1356408/2055920 swapFree=4181736/4192956
[pid=27478] ppid=27476 vsize=11816 CPUtime=140.01
/proc/27478/stat : 27478 (Pueblo) R 27476 27478 27432 0 -1 4194304 2536 0 0 0 13996 5 0 0 25 0 1 0 198421448 12099584 2507 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527944 0 0 4096 0 0 0 0 17 1 0 0
/proc/27478/statm: 2954 2507 205 16 0 2395 0
Current children cumulated CPU time (s) 140.01
Current children cumulated vsize (Kb) 11816

[startup+150.086 s]
/proc/loadavg: 0.99 0.98 0.97 2/64 27478
/proc/meminfo: memFree=1356408/2055920 swapFree=4181736/4192956
[pid=27478] ppid=27476 vsize=11816 CPUtime=150.02
/proc/27478/stat : 27478 (Pueblo) R 27476 27478 27432 0 -1 4194304 2536 0 0 0 14994 8 0 0 25 0 1 0 198421448 12099584 2507 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527944 0 0 4096 0 0 0 0 17 1 0 0
/proc/27478/statm: 2954 2507 205 16 0 2395 0
Current children cumulated CPU time (s) 150.02
Current children cumulated vsize (Kb) 11816

[startup+160.092 s]
/proc/loadavg: 0.99 0.98 0.97 2/64 27478
/proc/meminfo: memFree=1356408/2055920 swapFree=4181736/4192956
[pid=27478] ppid=27476 vsize=11808 CPUtime=160.03
/proc/27478/stat : 27478 (Pueblo) R 27476 27478 27432 0 -1 4194304 2536 0 0 0 15994 9 0 0 25 0 1 0 198421448 12091392 2507 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/27478/statm: 2952 2507 205 16 0 2393 0
Current children cumulated CPU time (s) 160.03
Current children cumulated vsize (Kb) 11808

[startup+170.098 s]
/proc/loadavg: 0.99 0.98 0.97 2/64 27478
/proc/meminfo: memFree=1356408/2055920 swapFree=4181736/4192956
[pid=27478] ppid=27476 vsize=11808 CPUtime=170.03
/proc/27478/stat : 27478 (Pueblo) R 27476 27478 27432 0 -1 4194304 2536 0 0 0 16994 9 0 0 25 0 1 0 198421448 12091392 2507 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/27478/statm: 2952 2507 205 16 0 2393 0
Current children cumulated CPU time (s) 170.03
Current children cumulated vsize (Kb) 11808

[startup+180.104 s]
/proc/loadavg: 0.99 0.98 0.97 2/64 27478
/proc/meminfo: memFree=1356408/2055920 swapFree=4181736/4192956
[pid=27478] ppid=27476 vsize=11808 CPUtime=180.03
/proc/27478/stat : 27478 (Pueblo) R 27476 27478 27432 0 -1 4194304 2536 0 0 0 17994 9 0 0 25 0 1 0 198421448 12091392 2507 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527944 0 0 4096 0 0 0 0 17 1 0 0
/proc/27478/statm: 2952 2507 205 16 0 2393 0
Current children cumulated CPU time (s) 180.03
Current children cumulated vsize (Kb) 11808

[startup+190.11 s]
/proc/loadavg: 0.99 0.98 0.97 2/64 27478
/proc/meminfo: memFree=1356344/2055920 swapFree=4181736/4192956
[pid=27478] ppid=27476 vsize=11808 CPUtime=190.03
/proc/27478/stat : 27478 (Pueblo) R 27476 27478 27432 0 -1 4194304 2536 0 0 0 18994 9 0 0 25 0 1 0 198421448 12091392 2507 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527833 0 0 4096 0 0 0 0 17 1 0 0
/proc/27478/statm: 2952 2507 205 16 0 2393 0
Current children cumulated CPU time (s) 190.03
Current children cumulated vsize (Kb) 11808

[startup+200.116 s]
/proc/loadavg: 0.99 0.98 0.97 2/64 27478
/proc/meminfo: memFree=1356344/2055920 swapFree=4181736/4192956
[pid=27478] ppid=27476 vsize=11808 CPUtime=200.04
/proc/27478/stat : 27478 (Pueblo) R 27476 27478 27432 0 -1 4194304 2536 0 0 0 19994 10 0 0 25 0 1 0 198421448 12091392 2507 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527815 0 0 4096 0 0 0 0 17 1 0 0
/proc/27478/statm: 2952 2507 205 16 0 2393 0
Current children cumulated CPU time (s) 200.04
Current children cumulated vsize (Kb) 11808

[startup+210.123 s]
/proc/loadavg: 0.99 0.98 0.97 2/64 27478
/proc/meminfo: memFree=1356344/2055920 swapFree=4181736/4192956

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

/proc/27478/statm: 3158 2712 205 16 0 2599 0
Current children cumulated CPU time (s) 1590.39
Current children cumulated vsize (Kb) 12632

[startup+1601.03 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 27673
/proc/meminfo: memFree=1354944/2055920 swapFree=4181736/4192956
[pid=27478] ppid=27476 vsize=12632 CPUtime=1600.39
/proc/27478/stat : 27478 (Pueblo) R 27476 27478 27432 0 -1 4194304 2869 0 0 0 159995 44 0 0 25 0 1 0 198421448 12935168 2713 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528702 0 0 4096 0 0 0 0 17 1 0 0
/proc/27478/statm: 3158 2713 205 16 0 2599 0
Current children cumulated CPU time (s) 1600.39
Current children cumulated vsize (Kb) 12632

[startup+1611.04 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 27673
/proc/meminfo: memFree=1354944/2055920 swapFree=4181736/4192956
[pid=27478] ppid=27476 vsize=12632 CPUtime=1610.39
/proc/27478/stat : 27478 (Pueblo) R 27476 27478 27432 0 -1 4194304 2869 0 0 0 160995 44 0 0 25 0 1 0 198421448 12935168 2713 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527931 0 0 4096 0 0 0 0 17 1 0 0
/proc/27478/statm: 3158 2713 205 16 0 2599 0
Current children cumulated CPU time (s) 1610.39
Current children cumulated vsize (Kb) 12632

[startup+1621.04 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 27673
/proc/meminfo: memFree=1354944/2055920 swapFree=4181736/4192956
[pid=27478] ppid=27476 vsize=12632 CPUtime=1620.39
/proc/27478/stat : 27478 (Pueblo) R 27476 27478 27432 0 -1 4194304 2869 0 0 0 161995 44 0 0 25 0 1 0 198421448 12935168 2713 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527989 0 0 4096 0 0 0 0 17 1 0 0
/proc/27478/statm: 3158 2713 205 16 0 2599 0
Current children cumulated CPU time (s) 1620.39
Current children cumulated vsize (Kb) 12632

[startup+1631.05 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 27673
/proc/meminfo: memFree=1354944/2055920 swapFree=4181736/4192956
[pid=27478] ppid=27476 vsize=12632 CPUtime=1630.39
/proc/27478/stat : 27478 (Pueblo) R 27476 27478 27432 0 -1 4194304 2869 0 0 0 162995 44 0 0 25 0 1 0 198421448 12935168 2713 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527661 0 0 4096 0 0 0 0 17 1 0 0
/proc/27478/statm: 3158 2713 205 16 0 2599 0
Current children cumulated CPU time (s) 1630.39
Current children cumulated vsize (Kb) 12632

[startup+1641.05 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 27673
/proc/meminfo: memFree=1354944/2055920 swapFree=4181736/4192956
[pid=27478] ppid=27476 vsize=12632 CPUtime=1640.4
/proc/27478/stat : 27478 (Pueblo) R 27476 27478 27432 0 -1 4194304 2869 0 0 0 163995 45 0 0 25 0 1 0 198421448 12935168 2713 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527989 0 0 4096 0 0 0 0 17 1 0 0
/proc/27478/statm: 3158 2713 205 16 0 2599 0
Current children cumulated CPU time (s) 1640.4
Current children cumulated vsize (Kb) 12632

[startup+1651.06 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 27673
/proc/meminfo: memFree=1354944/2055920 swapFree=4181736/4192956
[pid=27478] ppid=27476 vsize=12632 CPUtime=1650.4
/proc/27478/stat : 27478 (Pueblo) R 27476 27478 27432 0 -1 4194304 2869 0 0 0 164995 45 0 0 25 0 1 0 198421448 12935168 2713 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527665 0 0 4096 0 0 0 0 17 1 0 0
/proc/27478/statm: 3158 2713 205 16 0 2599 0
Current children cumulated CPU time (s) 1650.4
Current children cumulated vsize (Kb) 12632

[startup+1661.07 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 27673
/proc/meminfo: memFree=1354944/2055920 swapFree=4181736/4192956
[pid=27478] ppid=27476 vsize=12632 CPUtime=1660.4
/proc/27478/stat : 27478 (Pueblo) R 27476 27478 27432 0 -1 4194304 2869 0 0 0 165995 45 0 0 25 0 1 0 198421448 12935168 2713 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527737 0 0 4096 0 0 0 0 17 1 0 0
/proc/27478/statm: 3158 2713 205 16 0 2599 0
Current children cumulated CPU time (s) 1660.4
Current children cumulated vsize (Kb) 12632

[startup+1671.07 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 27673
/proc/meminfo: memFree=1355072/2055920 swapFree=4181736/4192956
[pid=27478] ppid=27476 vsize=12632 CPUtime=1670.41
/proc/27478/stat : 27478 (Pueblo) R 27476 27478 27432 0 -1 4194304 2869 0 0 0 166995 46 0 0 25 0 1 0 198421448 12935168 2713 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528360 0 0 4096 0 0 0 0 17 1 0 0
/proc/27478/statm: 3158 2713 205 16 0 2599 0
Current children cumulated CPU time (s) 1670.41
Current children cumulated vsize (Kb) 12632

[startup+1681.08 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 27673
/proc/meminfo: memFree=1355008/2055920 swapFree=4181736/4192956
[pid=27478] ppid=27476 vsize=12632 CPUtime=1680.41
/proc/27478/stat : 27478 (Pueblo) R 27476 27478 27432 0 -1 4194304 2869 0 0 0 167995 46 0 0 25 0 1 0 198421448 12935168 2713 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528249 0 0 4096 0 0 0 0 17 1 0 0
/proc/27478/statm: 3158 2713 205 16 0 2599 0
Current children cumulated CPU time (s) 1680.41
Current children cumulated vsize (Kb) 12632

[startup+1691.08 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 27673
/proc/meminfo: memFree=1355008/2055920 swapFree=4181736/4192956
[pid=27478] ppid=27476 vsize=12600 CPUtime=1690.41
/proc/27478/stat : 27478 (Pueblo) R 27476 27478 27432 0 -1 4194304 2869 0 0 0 168995 46 0 0 25 0 1 0 198421448 12902400 2713 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527767 0 0 4096 0 0 0 0 17 1 0 0
/proc/27478/statm: 3150 2713 205 16 0 2591 0
Current children cumulated CPU time (s) 1690.41
Current children cumulated vsize (Kb) 12600

[startup+1701.09 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 27673
/proc/meminfo: memFree=1355008/2055920 swapFree=4181736/4192956
[pid=27478] ppid=27476 vsize=12600 CPUtime=1700.41
/proc/27478/stat : 27478 (Pueblo) R 27476 27478 27432 0 -1 4194304 2869 0 0 0 169995 46 0 0 25 0 1 0 198421448 12902400 2713 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528702 0 0 4096 0 0 0 0 17 1 0 0
/proc/27478/statm: 3150 2713 205 16 0 2591 0
Current children cumulated CPU time (s) 1700.41
Current children cumulated vsize (Kb) 12600

[startup+1711.09 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 27673
/proc/meminfo: memFree=1355008/2055920 swapFree=4181736/4192956
[pid=27478] ppid=27476 vsize=12596 CPUtime=1710.41
/proc/27478/stat : 27478 (Pueblo) R 27476 27478 27432 0 -1 4194304 2869 0 0 0 170995 46 0 0 25 0 1 0 198421448 12898304 2713 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527740 0 0 4096 0 0 0 0 17 1 0 0
/proc/27478/statm: 3149 2713 205 16 0 2590 0
Current children cumulated CPU time (s) 1710.41
Current children cumulated vsize (Kb) 12596

[startup+1721.1 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 27673
/proc/meminfo: memFree=1355008/2055920 swapFree=4181736/4192956
[pid=27478] ppid=27476 vsize=12596 CPUtime=1720.41
/proc/27478/stat : 27478 (Pueblo) R 27476 27478 27432 0 -1 4194304 2869 0 0 0 171995 46 0 0 25 0 1 0 198421448 12898304 2713 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527841 0 0 4096 0 0 0 0 17 1 0 0
/proc/27478/statm: 3149 2713 205 16 0 2590 0
Current children cumulated CPU time (s) 1720.41
Current children cumulated vsize (Kb) 12596

[startup+1731.11 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 27673
/proc/meminfo: memFree=1355072/2055920 swapFree=4181736/4192956
[pid=27478] ppid=27476 vsize=12596 CPUtime=1730.42
/proc/27478/stat : 27478 (Pueblo) R 27476 27478 27432 0 -1 4194304 2869 0 0 0 172995 47 0 0 25 0 1 0 198421448 12898304 2713 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527740 0 0 4096 0 0 0 0 17 1 0 0
/proc/27478/statm: 3149 2713 205 16 0 2590 0
Current children cumulated CPU time (s) 1730.42
Current children cumulated vsize (Kb) 12596

[startup+1741.11 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 27673
/proc/meminfo: memFree=1355072/2055920 swapFree=4181736/4192956
[pid=27478] ppid=27476 vsize=12596 CPUtime=1740.42
/proc/27478/stat : 27478 (Pueblo) R 27476 27478 27432 0 -1 4194304 2869 0 0 0 173995 47 0 0 25 0 1 0 198421448 12898304 2713 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528346 0 0 4096 0 0 0 0 17 1 0 0
/proc/27478/statm: 3149 2713 205 16 0 2590 0
Current children cumulated CPU time (s) 1740.42
Current children cumulated vsize (Kb) 12596

[startup+1751.12 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 27673
/proc/meminfo: memFree=1355072/2055920 swapFree=4181736/4192956
[pid=27478] ppid=27476 vsize=12596 CPUtime=1750.42
/proc/27478/stat : 27478 (Pueblo) R 27476 27478 27432 0 -1 4194304 2869 0 0 0 174995 47 0 0 25 0 1 0 198421448 12898304 2713 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559228 0 0 4096 0 0 0 0 17 1 0 0
/proc/27478/statm: 3149 2713 205 16 0 2590 0
Current children cumulated CPU time (s) 1750.42
Current children cumulated vsize (Kb) 12596

[startup+1761.12 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 27673
/proc/meminfo: memFree=1355072/2055920 swapFree=4181736/4192956
[pid=27478] ppid=27476 vsize=12596 CPUtime=1760.42
/proc/27478/stat : 27478 (Pueblo) R 27476 27478 27432 0 -1 4194304 2869 0 0 0 175995 47 0 0 25 0 1 0 198421448 12898304 2713 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527726 0 0 4096 0 0 0 0 17 1 0 0
/proc/27478/statm: 3149 2713 205 16 0 2590 0
Current children cumulated CPU time (s) 1760.42
Current children cumulated vsize (Kb) 12596

[startup+1771.13 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 27673
/proc/meminfo: memFree=1355072/2055920 swapFree=4181736/4192956
[pid=27478] ppid=27476 vsize=12596 CPUtime=1770.42
/proc/27478/stat : 27478 (Pueblo) R 27476 27478 27432 0 -1 4194304 2869 0 0 0 176995 47 0 0 25 0 1 0 198421448 12898304 2713 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0
/proc/27478/statm: 3149 2713 205 16 0 2590 0
Current children cumulated CPU time (s) 1770.42
Current children cumulated vsize (Kb) 12596

[startup+1781.14 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 27673
/proc/meminfo: memFree=1355072/2055920 swapFree=4181736/4192956
[pid=27478] ppid=27476 vsize=12596 CPUtime=1780.44
/proc/27478/stat : 27478 (Pueblo) R 27476 27478 27432 0 -1 4194304 2869 0 0 0 177996 48 0 0 25 0 1 0 198421448 12898304 2713 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527836 0 0 4096 0 0 0 0 17 1 0 0
/proc/27478/statm: 3149 2713 205 16 0 2590 0
Current children cumulated CPU time (s) 1780.44
Current children cumulated vsize (Kb) 12596

[startup+1782.14 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 27673
/proc/meminfo: memFree=1355072/2055920 swapFree=4181736/4192956
[pid=27478] ppid=27476 vsize=12596 CPUtime=1781.44
/proc/27478/stat : 27478 (Pueblo) R 27476 27478 27432 0 -1 4194304 2869 0 0 0 178096 48 0 0 25 0 1 0 198421448 12898304 2713 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527740 0 0 4096 0 0 0 0 17 1 0 0
/proc/27478/statm: 3149 2713 205 16 0 2590 0
Current children cumulated CPU time (s) 1781.44
Current children cumulated vsize (Kb) 12596

[startup+1783.15 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 27673
/proc/meminfo: memFree=1355072/2055920 swapFree=4181736/4192956
[pid=27478] ppid=27476 vsize=12596 CPUtime=1782.44
/proc/27478/stat : 27478 (Pueblo) R 27476 27478 27432 0 -1 4194304 2869 0 0 0 178196 48 0 0 25 0 1 0 198421448 12898304 2713 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527767 0 0 4096 0 0 0 0 17 1 0 0
/proc/27478/statm: 3149 2713 205 16 0 2590 0
Current children cumulated CPU time (s) 1782.44
Current children cumulated vsize (Kb) 12596

Child status: 10
Real time (s): 1783.44
CPU time (s): 1782.73
CPU user time (s): 1782.25
CPU system time (s): 0.484926
CPU usage (%): 99.9607
Max. virtual memory (cumulated for all children) (Kb): 12632

Launcher Data (download as text)

Begin job on node67 on Sat Jun  3 09:38:40 UTC 2006


FILE ID= 36453-1149327520

PBS_JOBID= 309694

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-israel.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node67/36453-1149327520/instance-36453-1149327520.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node67/watcher-36453-1149327520 -o ROOT/results/node67/solver-36453-1149327520 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node67/36453-1149327520/instance-36453-1149327520.opb

MD5SUM SOLVER= 80c24de60e85bc4a9ec18ca4764e7dff
MD5SUM BENCH=  916719a95a95b5989e5d4b5f3d786df3

RANDOM SEED= 641573702


/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.264
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5931.00
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.264
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1365816 kB
Buffers:         12212 kB
Cached:         611592 kB
SwapCached:       2748 kB
Active:          37316 kB
Inactive:       595112 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1365816 kB
SwapTotal:     4192956 kB
SwapFree:      4181736 kB
Dirty:             184 kB
Writeback:           0 kB
Mapped:          14724 kB
Slab:            43616 kB
Committed_AS:   311524 kB
PageTables:       1472 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node67 on Sat Jun  3 10:08:24 UTC 2006