Trace number 351059

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.74 1783.21

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

Verifier Data (download as text)

OK	-30

Conversion Script Data (download as text)

/tmp/evaluation/351059-1176577469/instance-351059-1176577469.opb is already a linear file

Watcher Data (download as text)

runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node19/watcher-351059-1176577469 -o ROOT/results/node19/solver-351059-1176577469 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/351059-1176577469/instance-351059-1176577469.opb 

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): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.07 1.06 1.01 3/77 1299
/proc/meminfo: memFree=1650584/2055920 swapFree=4159528/4192956
[pid=1299] ppid=1297 vsize=2552 CPUtime=0
/proc/1299/stat : 1299 (Pueblo) R 1297 1299 959 0 -1 4194304 262 0 0 0 0 0 0 0 18 0 1 0 105664315 2613248 232 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 7950039 0 0 4096 0 0 0 0 17 1 0 0
/proc/1299/statm: 638 232 193 16 0 77 0

[startup+0.0487099 s]
/proc/loadavg: 1.07 1.06 1.01 3/77 1299
/proc/meminfo: memFree=1650584/2055920 swapFree=4159528/4192956
[pid=1299] ppid=1297 vsize=3084 CPUtime=0.04
/proc/1299/stat : 1299 (Pueblo) R 1297 1299 959 0 -1 4194304 412 0 0 0 4 0 0 0 18 0 1 0 105664315 3158016 382 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 7919227 0 0 4096 0 0 0 0 17 1 0 0
/proc/1299/statm: 771 382 199 16 0 210 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 3084

[startup+0.101715 s]
/proc/loadavg: 1.07 1.06 1.01 3/77 1299
/proc/meminfo: memFree=1650584/2055920 swapFree=4159528/4192956
[pid=1299] ppid=1297 vsize=3352 CPUtime=0.09
/proc/1299/stat : 1299 (Pueblo) R 1297 1299 959 0 -1 4194304 479 0 0 0 9 0 0 0 18 0 1 0 105664315 3432448 449 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/1299/statm: 838 449 199 16 0 277 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3352

[startup+0.301738 s]
/proc/loadavg: 1.07 1.06 1.01 3/77 1299
/proc/meminfo: memFree=1650584/2055920 swapFree=4159528/4192956
[pid=1299] ppid=1297 vsize=6732 CPUtime=0.29
/proc/1299/stat : 1299 (Pueblo) R 1297 1299 959 0 -1 4194304 1260 0 0 0 29 0 0 0 19 0 1 0 105664315 6893568 1230 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0
/proc/1299/statm: 1683 1230 205 16 0 1122 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6732

[startup+0.701781 s]
/proc/loadavg: 1.07 1.06 1.01 3/77 1299
/proc/meminfo: memFree=1650584/2055920 swapFree=4159528/4192956
[pid=1299] ppid=1297 vsize=6732 CPUtime=0.69
/proc/1299/stat : 1299 (Pueblo) R 1297 1299 959 0 -1 4194304 1260 0 0 0 69 0 0 0 23 0 1 0 105664315 6893568 1230 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527726 0 0 4096 0 0 0 0 17 1 0 0
/proc/1299/statm: 1683 1230 205 16 0 1122 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6732

[startup+1.50287 s]
/proc/loadavg: 1.07 1.06 1.01 2/78 1300
/proc/meminfo: memFree=1646416/2055920 swapFree=4159528/4192956
[pid=1299] ppid=1297 vsize=6732 CPUtime=1.49
/proc/1299/stat : 1299 (Pueblo) R 1297 1299 959 0 -1 4194304 1260 0 0 0 148 1 0 0 25 0 1 0 105664315 6893568 1230 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134528066 0 0 4096 0 0 0 0 17 1 0 0
/proc/1299/statm: 1683 1230 205 16 0 1122 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 6732

[startup+3.10104 s]
/proc/loadavg: 1.07 1.06 1.01 2/78 1300
/proc/meminfo: memFree=1646160/2055920 swapFree=4159528/4192956
[pid=1299] ppid=1297 vsize=6732 CPUtime=3.09
/proc/1299/stat : 1299 (Pueblo) R 1297 1299 959 0 -1 4194304 1271 0 0 0 308 1 0 0 25 0 1 0 105664315 6893568 1241 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134528346 0 0 4096 0 0 0 0 17 1 0 0
/proc/1299/statm: 1683 1241 205 16 0 1122 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 6732

[startup+6.30139 s]
/proc/loadavg: 1.06 1.06 1.01 2/78 1300
/proc/meminfo: memFree=1645840/2055920 swapFree=4159528/4192956
[pid=1299] ppid=1297 vsize=7112 CPUtime=6.29
/proc/1299/stat : 1299 (Pueblo) R 1297 1299 959 0 -1 4194304 1367 0 0 0 627 2 0 0 25 0 1 0 105664315 7282688 1337 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527818 0 0 4096 0 0 0 0 17 1 0 0
/proc/1299/statm: 1778 1337 205 16 0 1217 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 7112

[startup+12.7011 s]
/proc/loadavg: 1.06 1.06 1.01 2/78 1300
/proc/meminfo: memFree=1644944/2055920 swapFree=4159528/4192956
[pid=1299] ppid=1297 vsize=8004 CPUtime=12.68
/proc/1299/stat : 1299 (Pueblo) R 1297 1299 959 0 -1 4194304 1588 0 0 0 1266 2 0 0 25 0 1 0 105664315 8196096 1558 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527726 0 0 4096 0 0 0 0 17 1 0 0
/proc/1299/statm: 2001 1558 205 16 0 1440 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 8004

[startup+25.5015 s]
/proc/loadavg: 1.04 1.05 1.01 2/78 1300
/proc/meminfo: memFree=1643664/2055920 swapFree=4159528/4192956
[pid=1299] ppid=1297 vsize=9156 CPUtime=25.49
/proc/1299/stat : 1299 (Pueblo) R 1297 1299 959 0 -1 4194304 1888 0 0 0 2545 4 0 0 25 0 1 0 105664315 9375744 1858 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134528360 0 0 4096 0 0 0 0 17 1 0 0
/proc/1299/statm: 2289 1858 205 16 0 1728 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 9156

[startup+51.1013 s]
/proc/loadavg: 1.03 1.05 1.01 2/78 1300
/proc/meminfo: memFree=1642576/2055920 swapFree=4159528/4192956
[pid=1299] ppid=1297 vsize=10404 CPUtime=51.08
/proc/1299/stat : 1299 (Pueblo) R 1297 1299 959 0 -1 4194304 2174 0 0 0 5104 4 0 0 25 0 1 0 105664315 10653696 2144 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527750 0 0 4096 0 0 0 0 17 1 0 0
/proc/1299/statm: 2601 2144 205 16 0 2040 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 10404

[startup+102.306 s]
/proc/loadavg: 1.01 1.04 1.00 2/78 1300
/proc/meminfo: memFree=1641616/2055920 swapFree=4159528/4192956
[pid=1299] ppid=1297 vsize=11300 CPUtime=102.27
/proc/1299/stat : 1299 (Pueblo) R 1297 1299 959 0 -1 4194304 2399 0 0 0 10222 5 0 0 25 0 1 0 105664315 11571200 2369 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527973 0 0 4096 0 0 0 0 17 1 0 0
/proc/1299/statm: 2825 2369 205 16 0 2264 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 11300

[startup+162.301 s]
/proc/loadavg: 1.00 1.03 1.00 2/78 1300
/proc/meminfo: memFree=1641232/2055920 swapFree=4159528/4192956
[pid=1299] ppid=1297 vsize=11788 CPUtime=162.25
/proc/1299/stat : 1299 (Pueblo) R 1297 1299 959 0 -1 4194304 2530 0 0 0 16213 12 0 0 25 0 1 0 105664315 12070912 2500 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527944 0 0 4096 0 0 0 0 17 1 0 0
/proc/1299/statm: 2947 2500 205 16 0 2386 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 11788

[startup+222.302 s]
/proc/loadavg: 1.00 1.02 1.00 2/78 1300
/proc/meminfo: memFree=1640912/2055920 swapFree=4159528/4192956
[pid=1299] ppid=1297 vsize=12036 CPUtime=222.23
/proc/1299/stat : 1299 (Pueblo) R 1297 1299 959 0 -1 4194304 2599 0 0 0 22209 14 0 0 25 0 1 0 105664315 12324864 2569 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527759 0 0 4096 0 0 0 0 17 1 0 0
/proc/1299/statm: 3009 2569 205 16 0 2448 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 12036

[startup+282.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/78 1300
/proc/meminfo: memFree=1640720/2055920 swapFree=4159528/4192956
[pid=1299] ppid=1297 vsize=12284 CPUtime=282.22
/proc/1299/stat : 1299 (Pueblo) R 1297 1299 959 0 -1 4194304 2652 0 0 0 28205 17 0 0 25 0 1 0 105664315 12578816 2622 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527740 0 0 4096 0 0 0 0 17 1 0 0
/proc/1299/statm: 3071 2622 205 16 0 2510 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 12284

[startup+342.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 1300
/proc/meminfo: memFree=1640720/2055920 swapFree=4159528/4192956
[pid=1299] ppid=1297 vsize=12208 CPUtime=342.2
/proc/1299/stat : 1299 (Pueblo) R 1297 1299 959 0 -1 4194304 2657 0 0 0 34200 20 0 0 25 0 1 0 105664315 12500992 2623 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527658 0 0 4096 0 0 0 0 17 1 0 0
/proc/1299/statm: 3052 2623 205 16 0 2491 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 12208

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 1300
/proc/meminfo: memFree=1640656/2055920 swapFree=4159528/4192956
[pid=1299] ppid=1297 vsize=12204 CPUtime=402.19
/proc/1299/stat : 1299 (Pueblo) R 1297 1299 959 0 -1 4194304 2657 0 0 0 40196 23 0 0 25 0 1 0 105664315 12496896 2622 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134528346 0 0 4096 0 0 0 0 17 1 0 0
/proc/1299/statm: 3051 2622 205 16 0 2490 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 12204

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 1300
/proc/meminfo: memFree=1640720/2055920 swapFree=4159528/4192956
[pid=1299] ppid=1297 vsize=11992 CPUtime=462.17
/proc/1299/stat : 1299 (Pueblo) R 1297 1299 959 0 -1 4194304 2657 0 0 0 46192 25 0 0 25 0 1 0 105664315 12279808 2569 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 7917542 0 0 4096 0 0 0 0 17 1 0 0
/proc/1299/statm: 2998 2569 205 16 0 2437 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 11992

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 1300
/proc/meminfo: memFree=1640720/2055920 swapFree=4159528/4192956
[pid=1299] ppid=1297 vsize=12240 CPUtime=522.15
/proc/1299/stat : 1299 (Pueblo) R 1297 1299 959 0 -1 4194304 2713 0 0 0 52189 26 0 0 25 0 1 0 105664315 12533760 2625 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527731 0 0 4096 0 0 0 0 17 1 0 0
/proc/1299/statm: 3060 2625 205 16 0 2499 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 12240

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 1300
/proc/meminfo: memFree=1640720/2055920 swapFree=4159528/4192956
[pid=1299] ppid=1297 vsize=12240 CPUtime=582.14
/proc/1299/stat : 1299 (Pueblo) R 1297 1299 959 0 -1 4194304 2713 0 0 0 58187 27 0 0 25 0 1 0 105664315 12533760 2625 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527726 0 0 4096 0 0 0 0 17 1 0 0
/proc/1299/statm: 3060 2625 205 16 0 2499 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 12240

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 1300
/proc/meminfo: memFree=1640656/2055920 swapFree=4159528/4192956
[pid=1299] ppid=1297 vsize=12364 CPUtime=642.12
/proc/1299/stat : 1299 (Pueblo) R 1297 1299 959 0 -1 4194304 2722 0 0 0 64184 28 0 0 25 0 1 0 105664315 12660736 2634 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527989 0 0 4096 0 0 0 0 17 1 0 0
/proc/1299/statm: 3091 2634 205 16 0 2530 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 12364


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

/proc/meminfo: memFree=1640784/2055920 swapFree=4159528/4192956
[pid=1299] ppid=1297 vsize=11992 CPUtime=882.06
/proc/1299/stat : 1299 (Pueblo) R 1297 1299 959 0 -1 4194304 2726 0 0 0 88171 35 0 0 25 0 1 0 105664315 12279808 2569 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134528259 0 0 4096 0 0 0 0 17 1 0 0
/proc/1299/statm: 2998 2569 205 16 0 2437 0
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (KiB) 11992

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 1300
/proc/meminfo: memFree=1640848/2055920 swapFree=4159528/4192956
[pid=1299] ppid=1297 vsize=11992 CPUtime=942.05
/proc/1299/stat : 1299 (Pueblo) R 1297 1299 959 0 -1 4194304 2726 0 0 0 94168 37 0 0 25 0 1 0 105664315 12279808 2569 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527726 0 0 4096 0 0 0 0 17 1 0 0
/proc/1299/statm: 2998 2569 205 16 0 2437 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 11992

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 1300
/proc/meminfo: memFree=1640848/2055920 swapFree=4159528/4192956
[pid=1299] ppid=1297 vsize=11992 CPUtime=1002.03
/proc/1299/stat : 1299 (Pueblo) R 1297 1299 959 0 -1 4194304 2726 0 0 0 100165 38 0 0 25 0 1 0 105664315 12279808 2569 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527664 0 0 4096 0 0 0 0 17 1 0 0
/proc/1299/statm: 2998 2569 205 16 0 2437 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 11992

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 1300
/proc/meminfo: memFree=1640720/2055920 swapFree=4159528/4192956
[pid=1299] ppid=1297 vsize=12240 CPUtime=1062.01
/proc/1299/stat : 1299 (Pueblo) R 1297 1299 959 0 -1 4194304 2770 0 0 0 106162 39 0 0 25 0 1 0 105664315 12533760 2613 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/1299/statm: 3060 2613 205 16 0 2499 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 12240

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 1300
/proc/meminfo: memFree=1640528/2055920 swapFree=4159528/4192956
[pid=1299] ppid=1297 vsize=12488 CPUtime=1122
/proc/1299/stat : 1299 (Pueblo) R 1297 1299 959 0 -1 4194304 2832 0 0 0 112159 41 0 0 25 0 1 0 105664315 12787712 2675 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134528360 0 0 4096 0 0 0 0 17 1 0 0
/proc/1299/statm: 3122 2675 205 16 0 2561 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 12488

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 1300
/proc/meminfo: memFree=1640528/2055920 swapFree=4159528/4192956
[pid=1299] ppid=1297 vsize=12488 CPUtime=1181.98
/proc/1299/stat : 1299 (Pueblo) R 1297 1299 959 0 -1 4194304 2832 0 0 0 118156 42 0 0 25 0 1 0 105664315 12787712 2675 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134528346 0 0 4096 0 0 0 0 17 1 0 0
/proc/1299/statm: 3122 2675 205 16 0 2561 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 12488

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 1300
/proc/meminfo: memFree=1640464/2055920 swapFree=4159528/4192956
[pid=1299] ppid=1297 vsize=12488 CPUtime=1241.97
/proc/1299/stat : 1299 (Pueblo) R 1297 1299 959 0 -1 4194304 2840 0 0 0 124153 44 0 0 25 0 1 0 105664315 12787712 2683 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527956 0 0 4096 0 0 0 0 17 1 0 0
/proc/1299/statm: 3122 2683 205 16 0 2561 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 12488

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 1300
/proc/meminfo: memFree=1640400/2055920 swapFree=4159528/4192956
[pid=1299] ppid=1297 vsize=12488 CPUtime=1301.95
/proc/1299/stat : 1299 (Pueblo) R 1297 1299 959 0 -1 4194304 2844 0 0 0 130150 45 0 0 25 0 1 0 105664315 12787712 2687 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527748 0 0 4096 0 0 0 0 17 1 0 0
/proc/1299/statm: 3122 2687 205 16 0 2561 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 12488

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 1300
/proc/meminfo: memFree=1640400/2055920 swapFree=4159528/4192956
[pid=1299] ppid=1297 vsize=12488 CPUtime=1361.94
/proc/1299/stat : 1299 (Pueblo) R 1297 1299 959 0 -1 4194304 2849 0 0 0 136147 47 0 0 25 0 1 0 105664315 12787712 2692 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527740 0 0 4096 0 0 0 0 17 1 0 0
/proc/1299/statm: 3122 2692 205 16 0 2561 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 12488

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 1300
/proc/meminfo: memFree=1640400/2055920 swapFree=4159528/4192956
[pid=1299] ppid=1297 vsize=12488 CPUtime=1421.92
/proc/1299/stat : 1299 (Pueblo) R 1297 1299 959 0 -1 4194304 2850 0 0 0 142144 48 0 0 25 0 1 0 105664315 12787712 2693 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527956 0 0 4096 0 0 0 0 17 1 0 0
/proc/1299/statm: 3122 2693 205 16 0 2561 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 12488

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 3/78 1300
/proc/meminfo: memFree=1640400/2055920 swapFree=4159528/4192956
[pid=1299] ppid=1297 vsize=12612 CPUtime=1481.9
/proc/1299/stat : 1299 (Pueblo) R 1297 1299 959 0 -1 4194304 2854 0 0 0 148141 49 0 0 25 0 1 0 105664315 12914688 2697 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527726 0 0 4096 0 0 0 0 17 1 0 0
/proc/1299/statm: 3153 2697 205 16 0 2592 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 12612

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 1300
/proc/meminfo: memFree=1640464/2055920 swapFree=4159528/4192956
[pid=1299] ppid=1297 vsize=12612 CPUtime=1541.89
/proc/1299/stat : 1299 (Pueblo) R 1297 1299 959 0 -1 4194304 2862 0 0 0 154138 51 0 0 25 0 1 0 105664315 12914688 2705 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134528346 0 0 4096 0 0 0 0 17 1 0 0
/proc/1299/statm: 3153 2705 205 16 0 2592 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 12612

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 1300
/proc/meminfo: memFree=1640464/2055920 swapFree=4159528/4192956
[pid=1299] ppid=1297 vsize=12612 CPUtime=1601.87
/proc/1299/stat : 1299 (Pueblo) R 1297 1299 959 0 -1 4194304 2863 0 0 0 160135 52 0 0 25 0 1 0 105664315 12914688 2706 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527750 0 0 4096 0 0 0 0 17 1 0 0
/proc/1299/statm: 3153 2706 205 16 0 2592 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 12612

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 1300
/proc/meminfo: memFree=1640464/2055920 swapFree=4159528/4192956
[pid=1299] ppid=1297 vsize=12612 CPUtime=1661.86
/proc/1299/stat : 1299 (Pueblo) R 1297 1299 959 0 -1 4194304 2863 0 0 0 166132 54 0 0 25 0 1 0 105664315 12914688 2706 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527726 0 0 4096 0 0 0 0 17 1 0 0
/proc/1299/statm: 3153 2706 205 16 0 2592 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 12612

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 1300
/proc/meminfo: memFree=1640400/2055920 swapFree=4159528/4192956
[pid=1299] ppid=1297 vsize=12576 CPUtime=1721.84
/proc/1299/stat : 1299 (Pueblo) R 1297 1299 959 0 -1 4194304 2863 0 0 0 172129 55 0 0 25 0 1 0 105664315 12877824 2706 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/1299/statm: 3144 2706 205 16 0 2583 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 12576

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 1300
/proc/meminfo: memFree=1640400/2055920 swapFree=4159528/4192956
[pid=1299] ppid=1297 vsize=12576 CPUtime=1781.83
/proc/1299/stat : 1299 (Pueblo) R 1297 1299 959 0 -1 4194304 2863 0 0 0 178125 58 0 0 25 0 1 0 105664315 12877824 2706 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527987 0 0 4096 0 0 0 0 17 1 0 0
/proc/1299/statm: 3144 2706 205 16 0 2583 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 12576

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

[startup+1782.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 1300
/proc/meminfo: memFree=1640400/2055920 swapFree=4159528/4192956
[pid=1299] ppid=1297 vsize=12576 CPUtime=1782.23
/proc/1299/stat : 1299 (Pueblo) R 1297 1299 959 0 -1 4194304 2863 0 0 0 178165 58 0 0 25 0 1 0 105664315 12877824 2706 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527740 0 0 4096 0 0 0 0 17 1 0 0
/proc/1299/statm: 3144 2706 205 16 0 2583 0
Current children cumulated CPU time (s) 1782.23
Current children cumulated vsize (KiB) 12576

[startup+1783.11 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 1300
/proc/meminfo: memFree=1640400/2055920 swapFree=4159528/4192956
[pid=1299] ppid=1297 vsize=12576 CPUtime=1782.63
/proc/1299/stat : 1299 (Pueblo) R 1297 1299 959 0 -1 4194304 2863 0 0 0 178205 58 0 0 25 0 1 0 105664315 12877824 2706 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527841 0 0 4096 0 0 0 0 17 1 0 0
/proc/1299/statm: 3144 2706 205 16 0 2583 0
Current children cumulated CPU time (s) 1782.63
Current children cumulated vsize (KiB) 12576

[startup+1783.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 1300
/proc/meminfo: memFree=1640400/2055920 swapFree=4159528/4192956
[pid=1299] ppid=1297 vsize=12576 CPUtime=1782.73
/proc/1299/stat : 1299 (Pueblo) R 1297 1299 959 0 -1 4194304 2869 0 0 0 178215 58 0 0 25 0 1 0 105664315 12877824 2712 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/1299/statm: 3144 2712 211 16 0 2583 0
Current children cumulated CPU time (s) 1782.73
Current children cumulated vsize (KiB) 12576

Child status: 10
Real time (s): 1783.21
CPU time (s): 1782.74
CPU user time (s): 1782.15
CPU system time (s): 0.58591
CPU usage (%): 99.9738
Max. virtual memory (cumulated for all children) (KiB): 12612

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1782.15
system time used= 0.58591
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2870
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= 16
involuntary context switches= 35393

runsolver used 2.13368 second user time and 4.01639 second system time

The end

Launcher Data (download as text)

Begin job on node19 on Sat Apr 14 19:04:29 UTC 2007

IDJOB= 351059
IDBENCH= 1655
IDSOLVER= 165
FILE ID= node19/351059-1176577469

PBS_JOBID= 4556783

Free space on /tmp= 66543 MiB

SOLVER NAME= Pueblo 1.4
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= Pueblo /tmp/evaluation/351059-1176577469/instance-351059-1176577469.opb
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node19/convwatcher-351059-1176577469 -o ROOT/results/node19/conversion-351059-1176577469 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/351059-1176577469/instance-351059-1176577469.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node19/watcher-351059-1176577469 -o ROOT/results/node19/solver-351059-1176577469 -C 1800 -W 3600 -M 1800 --output-limit 1,15  Pueblo /tmp/evaluation/351059-1176577469/instance-351059-1176577469.opb

META MD5SUM SOLVER= 9ebec3e8d890fdeefad01654ad9b68b7
MD5SUM BENCH=  916719a95a95b5989e5d4b5f3d786df3

RANDOM SEED= 722917357

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node19.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/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.213
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	: 5914.62
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.213
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:       1650992 kB
Buffers:         36764 kB
Cached:         289784 kB
SwapCached:       2640 kB
Active:         121256 kB
Inactive:       228920 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1650992 kB
SwapTotal:     4192956 kB
SwapFree:      4159528 kB
Dirty:            2996 kB
Writeback:           0 kB
Mapped:          31152 kB
Slab:            40296 kB
Committed_AS:  2761432 kB
PageTables:       1784 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66543 MiB

End job on node19 on Sat Apr 14 19:34:13 UTC 2007