Trace number 40292

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
bsolo 2006/05OPT63 905.426 905.739

General information on the benchmark

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

Verifier Data (download as text)

OK	63

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/node11/watcher-40292-1149405945 -o ROOT/results/node11/solver-40292-1149405945 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node11/40292-1149405945/instance-40292-1149405945.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.99 0.98 0.99 2/64 15404
/proc/meminfo: memFree=1864160/2055920 swapFree=4181336/4192956
[pid=15404] ppid=15402 vsize=2900 CPUtime=0
/proc/15404/stat : 15404 (bsolo) R 15402 15404 15358 0 -1 0 43 0 0 0 0 0 0 0 19 0 1 0 206257077 2969600 27 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 7979812 0 0 4096 0 0 0 0 17 1 0 0
/proc/15404/statm: 725 27 19 55 0 38 0

[startup+10.0019 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 15404
/proc/meminfo: memFree=1847136/2055920 swapFree=4181336/4192956
[pid=15404] ppid=15402 vsize=20604 CPUtime=9.93
/proc/15404/stat : 15404 (bsolo) R 15402 15404 15358 0 -1 0 22695 0 3 0 983 10 0 0 25 0 1 0 206257077 21098496 4402 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160347511 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15404/statm: 5151 4402 438 55 0 4043 0
Current children cumulated CPU time (s) 9.93
Current children cumulated vsize (Kb) 20604

[startup+20.008 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 15404
/proc/meminfo: memFree=1847136/2055920 swapFree=4181336/4192956
[pid=15404] ppid=15402 vsize=20604 CPUtime=19.93
/proc/15404/stat : 15404 (bsolo) R 15402 15404 15358 0 -1 0 24942 0 3 0 1980 13 0 0 25 0 1 0 206257077 21098496 4402 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 8445565 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15404/statm: 5151 4402 438 55 0 4043 0
Current children cumulated CPU time (s) 19.93
Current children cumulated vsize (Kb) 20604

[startup+30.0142 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 15404
/proc/meminfo: memFree=1847200/2055920 swapFree=4181336/4192956
[pid=15404] ppid=15402 vsize=20452 CPUtime=29.93
/proc/15404/stat : 15404 (bsolo) R 15402 15404 15358 0 -1 0 27537 0 3 0 2979 14 0 0 25 0 1 0 206257077 20942848 4395 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160018146 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15404/statm: 5113 4395 438 55 0 4005 0
Current children cumulated CPU time (s) 29.93
Current children cumulated vsize (Kb) 20452

[startup+40.0204 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 15404
/proc/meminfo: memFree=1847264/2055920 swapFree=4181336/4192956
[pid=15404] ppid=15402 vsize=20452 CPUtime=39.94
/proc/15404/stat : 15404 (bsolo) R 15402 15404 15358 0 -1 0 30134 0 3 0 3978 16 0 0 25 0 1 0 206257077 20942848 4395 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535974 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15404/statm: 5113 4395 438 55 0 4005 0
Current children cumulated CPU time (s) 39.94
Current children cumulated vsize (Kb) 20452

[startup+50.0266 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 15404
/proc/meminfo: memFree=1847264/2055920 swapFree=4181336/4192956
[pid=15404] ppid=15402 vsize=20452 CPUtime=49.94
/proc/15404/stat : 15404 (bsolo) R 15402 15404 15358 0 -1 0 32433 0 3 0 4977 17 0 0 25 0 1 0 206257077 20942848 4395 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535978 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15404/statm: 5113 4395 438 55 0 4005 0
Current children cumulated CPU time (s) 49.94
Current children cumulated vsize (Kb) 20452

[startup+60.0328 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 15404
/proc/meminfo: memFree=1847264/2055920 swapFree=4181336/4192956
[pid=15404] ppid=15402 vsize=20604 CPUtime=59.95
/proc/15404/stat : 15404 (bsolo) R 15402 15404 15358 0 -1 0 34192 0 3 0 5977 18 0 0 25 0 1 0 206257077 21098496 4402 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159176762 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15404/statm: 5151 4402 439 55 0 4043 0
Current children cumulated CPU time (s) 59.95
Current children cumulated vsize (Kb) 20604

[startup+70.039 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 15404
/proc/meminfo: memFree=1847264/2055920 swapFree=4181336/4192956
[pid=15404] ppid=15402 vsize=20604 CPUtime=69.95
/proc/15404/stat : 15404 (bsolo) R 15402 15404 15358 0 -1 0 36411 0 3 0 6975 20 0 0 25 0 1 0 206257077 21098496 4409 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159476058 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15404/statm: 5151 4409 439 55 0 4043 0
Current children cumulated CPU time (s) 69.95
Current children cumulated vsize (Kb) 20604

[startup+80.0452 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 15404
/proc/meminfo: memFree=1847264/2055920 swapFree=4181336/4192956
[pid=15404] ppid=15402 vsize=20604 CPUtime=79.96
/proc/15404/stat : 15404 (bsolo) R 15402 15404 15358 0 -1 0 38178 0 3 0 7975 21 0 0 25 0 1 0 206257077 21098496 4406 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159264838 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15404/statm: 5151 4406 439 55 0 4043 0
Current children cumulated CPU time (s) 79.96
Current children cumulated vsize (Kb) 20604

[startup+90.0514 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 15404
/proc/meminfo: memFree=1847264/2055920 swapFree=4181336/4192956
[pid=15404] ppid=15402 vsize=20452 CPUtime=89.95
/proc/15404/stat : 15404 (bsolo) R 15402 15404 15358 0 -1 0 40043 0 3 0 8973 22 0 0 25 0 1 0 206257077 20942848 4396 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158536023 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15404/statm: 5113 4396 439 55 0 4005 0
Current children cumulated CPU time (s) 89.95
Current children cumulated vsize (Kb) 20452

[startup+100.058 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 15404
/proc/meminfo: memFree=1847200/2055920 swapFree=4181336/4192956
[pid=15404] ppid=15402 vsize=20452 CPUtime=99.96
/proc/15404/stat : 15404 (bsolo) R 15402 15404 15358 0 -1 0 42548 0 3 0 9972 24 0 0 25 0 1 0 206257077 20942848 4396 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158536008 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15404/statm: 5113 4396 439 55 0 4005 0
Current children cumulated CPU time (s) 99.96
Current children cumulated vsize (Kb) 20452

[startup+110.064 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 15404
/proc/meminfo: memFree=1847200/2055920 swapFree=4181336/4192956
[pid=15404] ppid=15402 vsize=20604 CPUtime=109.96
/proc/15404/stat : 15404 (bsolo) R 15402 15404 15358 0 -1 0 45330 0 3 0 10971 25 0 0 25 0 1 0 206257077 21098496 4407 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159477089 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15404/statm: 5151 4407 439 55 0 4043 0
Current children cumulated CPU time (s) 109.96
Current children cumulated vsize (Kb) 20604

[startup+120.07 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 15404
/proc/meminfo: memFree=1847264/2055920 swapFree=4181336/4192956
[pid=15404] ppid=15402 vsize=20604 CPUtime=119.96
/proc/15404/stat : 15404 (bsolo) R 15402 15404 15358 0 -1 0 47020 0 3 0 11970 26 0 0 25 0 1 0 206257077 21098496 4402 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 8445565 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15404/statm: 5151 4402 439 55 0 4043 0
Current children cumulated CPU time (s) 119.96
Current children cumulated vsize (Kb) 20604

[startup+130.076 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 15404
/proc/meminfo: memFree=1847264/2055920 swapFree=4181336/4192956
[pid=15404] ppid=15402 vsize=20452 CPUtime=129.97
/proc/15404/stat : 15404 (bsolo) R 15402 15404 15358 0 -1 0 49022 0 3 0 12969 28 0 0 25 0 1 0 206257077 20942848 4396 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535951 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15404/statm: 5113 4396 439 55 0 4005 0
Current children cumulated CPU time (s) 129.97
Current children cumulated vsize (Kb) 20452

[startup+140.082 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 15404
/proc/meminfo: memFree=1847264/2055920 swapFree=4181336/4192956
[pid=15404] ppid=15402 vsize=20896 CPUtime=139.98
/proc/15404/stat : 15404 (bsolo) R 15402 15404 15358 0 -1 0 51331 0 3 0 13967 31 0 0 25 0 1 0 206257077 21397504 4434 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159476533 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15404/statm: 5224 4434 439 55 0 4116 0
Current children cumulated CPU time (s) 139.98
Current children cumulated vsize (Kb) 20896

[startup+150.089 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 15404
/proc/meminfo: memFree=1847264/2055920 swapFree=4181336/4192956
[pid=15404] ppid=15402 vsize=20760 CPUtime=149.98
/proc/15404/stat : 15404 (bsolo) R 15402 15404 15358 0 -1 0 53677 0 3 0 14965 33 0 0 25 0 1 0 206257077 21258240 4415 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160276766 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15404/statm: 5190 4415 439 55 0 4082 0
Current children cumulated CPU time (s) 149.98
Current children cumulated vsize (Kb) 20760

[startup+160.095 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 15404
/proc/meminfo: memFree=1847264/2055920 swapFree=4181336/4192956
[pid=15404] ppid=15402 vsize=20604 CPUtime=159.98
/proc/15404/stat : 15404 (bsolo) R 15402 15404 15358 0 -1 0 55401 0 3 0 15964 34 0 0 25 0 1 0 206257077 21098496 4406 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160351376 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15404/statm: 5151 4406 439 55 0 4043 0
Current children cumulated CPU time (s) 159.98
Current children cumulated vsize (Kb) 20604

[startup+170.101 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 15404
/proc/meminfo: memFree=1847264/2055920 swapFree=4181336/4192956
[pid=15404] ppid=15402 vsize=20756 CPUtime=169.99
/proc/15404/stat : 15404 (bsolo) R 15402 15404 15358 0 -1 0 57212 0 3 0 16963 36 0 0 25 0 1 0 206257077 21254144 4414 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159343172 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15404/statm: 5189 4414 439 55 0 4081 0
Current children cumulated CPU time (s) 169.99
Current children cumulated vsize (Kb) 20756

[startup+180.107 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 15404
/proc/meminfo: memFree=1847200/2055920 swapFree=4181336/4192956
[pid=15404] ppid=15402 vsize=20604 CPUtime=179.98
/proc/15404/stat : 15404 (bsolo) R 15402 15404 15358 0 -1 0 59290 0 3 0 17960 38 0 0 25 0 1 0 206257077 21098496 4405 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159176869 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15404/statm: 5151 4405 439 55 0 4043 0
Current children cumulated CPU time (s) 179.98
Current children cumulated vsize (Kb) 20604

[startup+190.113 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 15404
/proc/meminfo: memFree=1847200/2055920 swapFree=4181336/4192956
[pid=15404] ppid=15402 vsize=20452 CPUtime=189.99
/proc/15404/stat : 15404 (bsolo) R 15402 15404 15358 0 -1 0 61345 0 3 0 18960 39 0 0 25 0 1 0 206257077 20942848 4396 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15404/statm: 5113 4396 439 55 0 4005 0
Current children cumulated CPU time (s) 189.99
Current children cumulated vsize (Kb) 20452

[startup+200.12 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 15404
/proc/meminfo: memFree=1846880/2055920 swapFree=4181336/4192956
[pid=15404] ppid=15402 vsize=20948 CPUtime=200
/proc/15404/stat : 15404 (bsolo) R 15402 15404 15358 0 -1 0 65519 0 3 0 19958 42 0 0 25 0 1 0 206257077 21450752 4490 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160045726 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15404/statm: 5237 4490 439 55 0 4129 0
Current children cumulated CPU time (s) 200
Current children cumulated vsize (Kb) 20948

[startup+210.126 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 15404
/proc/meminfo: memFree=1846944/2055920 swapFree=4181336/4192956

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

/proc/15404/statm: 6541 5824 439 55 0 5433 0
Current children cumulated CPU time (s) 690.16
Current children cumulated vsize (Kb) 26164

[startup+700.425 s]
/proc/loadavg: 1.06 1.00 1.00 2/64 15406
/proc/meminfo: memFree=1841384/2055920 swapFree=4181336/4192956
[pid=15404] ppid=15402 vsize=26164 CPUtime=700.17
/proc/15404/stat : 15404 (bsolo) R 15402 15404 15358 0 -1 0 192734 0 3 0 69894 123 0 0 25 0 1 0 206257077 26791936 5824 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535961 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15404/statm: 6541 5824 439 55 0 5433 0
Current children cumulated CPU time (s) 700.17
Current children cumulated vsize (Kb) 26164

[startup+710.431 s]
/proc/loadavg: 1.05 1.00 1.00 2/64 15406
/proc/meminfo: memFree=1841384/2055920 swapFree=4181336/4192956
[pid=15404] ppid=15402 vsize=26164 CPUtime=710.16
/proc/15404/stat : 15404 (bsolo) R 15402 15404 15358 0 -1 0 194338 0 3 0 70893 123 0 0 25 0 1 0 206257077 26791936 5824 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535961 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15404/statm: 6541 5824 439 55 0 5433 0
Current children cumulated CPU time (s) 710.16
Current children cumulated vsize (Kb) 26164

[startup+720.438 s]
/proc/loadavg: 1.04 1.00 1.00 2/64 15406
/proc/meminfo: memFree=1841384/2055920 swapFree=4181336/4192956
[pid=15404] ppid=15402 vsize=26164 CPUtime=720.17
/proc/15404/stat : 15404 (bsolo) R 15402 15404 15358 0 -1 0 195922 0 3 0 71893 124 0 0 25 0 1 0 206257077 26791936 5824 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15404/statm: 6541 5824 439 55 0 5433 0
Current children cumulated CPU time (s) 720.17
Current children cumulated vsize (Kb) 26164

[startup+730.444 s]
/proc/loadavg: 1.03 1.00 1.00 2/64 15406
/proc/meminfo: memFree=1841384/2055920 swapFree=4181336/4192956
[pid=15404] ppid=15402 vsize=26316 CPUtime=730.17
/proc/15404/stat : 15404 (bsolo) R 15402 15404 15358 0 -1 0 197569 0 3 0 72893 124 0 0 25 0 1 0 206257077 26947584 5835 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159552483 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15404/statm: 6579 5835 439 55 0 5471 0
Current children cumulated CPU time (s) 730.17
Current children cumulated vsize (Kb) 26316

[startup+740.45 s]
/proc/loadavg: 1.03 1.00 1.00 2/64 15406
/proc/meminfo: memFree=1841384/2055920 swapFree=4181336/4192956
[pid=15404] ppid=15402 vsize=26316 CPUtime=740.18
/proc/15404/stat : 15404 (bsolo) R 15402 15404 15358 0 -1 0 199230 0 3 0 73892 126 0 0 25 0 1 0 206257077 26947584 5832 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159497156 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15404/statm: 6579 5832 439 55 0 5471 0
Current children cumulated CPU time (s) 740.18
Current children cumulated vsize (Kb) 26316

[startup+750.456 s]
/proc/loadavg: 1.02 1.00 1.00 2/64 15406
/proc/meminfo: memFree=1841384/2055920 swapFree=4181336/4192956
[pid=15404] ppid=15402 vsize=26316 CPUtime=750.19
/proc/15404/stat : 15404 (bsolo) R 15402 15404 15358 0 -1 0 200772 0 3 0 74891 128 0 0 25 0 1 0 206257077 26947584 5837 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160426185 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15404/statm: 6579 5837 439 55 0 5471 0
Current children cumulated CPU time (s) 750.19
Current children cumulated vsize (Kb) 26316

[startup+760.461 s]
/proc/loadavg: 1.02 1.00 1.00 2/64 15406
/proc/meminfo: memFree=1841384/2055920 swapFree=4181336/4192956
[pid=15404] ppid=15402 vsize=26316 CPUtime=760.18
/proc/15404/stat : 15404 (bsolo) R 15402 15404 15358 0 -1 0 202340 0 3 0 75890 128 0 0 25 0 1 0 206257077 26947584 5834 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160277971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15404/statm: 6579 5834 439 55 0 5471 0
Current children cumulated CPU time (s) 760.18
Current children cumulated vsize (Kb) 26316

[startup+770.467 s]
/proc/loadavg: 1.02 1.00 1.00 2/64 15406
/proc/meminfo: memFree=1841384/2055920 swapFree=4181336/4192956
[pid=15404] ppid=15402 vsize=26316 CPUtime=770.19
/proc/15404/stat : 15404 (bsolo) R 15402 15404 15358 0 -1 0 203900 0 3 0 76889 130 0 0 25 0 1 0 206257077 26947584 5834 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159946517 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15404/statm: 6579 5834 439 55 0 5471 0
Current children cumulated CPU time (s) 770.19
Current children cumulated vsize (Kb) 26316

[startup+780.474 s]
/proc/loadavg: 1.01 1.00 1.00 2/64 15406
/proc/meminfo: memFree=1841448/2055920 swapFree=4181336/4192956
[pid=15404] ppid=15402 vsize=26164 CPUtime=780.2
/proc/15404/stat : 15404 (bsolo) R 15402 15404 15358 0 -1 0 205454 0 3 0 77888 132 0 0 25 0 1 0 206257077 26791936 5824 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134535099 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15404/statm: 6541 5824 439 55 0 5433 0
Current children cumulated CPU time (s) 780.2
Current children cumulated vsize (Kb) 26164

[startup+790.48 s]
/proc/loadavg: 1.01 1.00 1.00 2/64 15406
/proc/meminfo: memFree=1841448/2055920 swapFree=4181336/4192956
[pid=15404] ppid=15402 vsize=26316 CPUtime=790.19
/proc/15404/stat : 15404 (bsolo) R 15402 15404 15358 0 -1 0 206956 0 3 0 78887 132 0 0 25 0 1 0 206257077 26947584 5833 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159253096 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15404/statm: 6579 5833 439 55 0 5471 0
Current children cumulated CPU time (s) 790.19
Current children cumulated vsize (Kb) 26316

[startup+800.486 s]
/proc/loadavg: 1.01 1.00 1.00 2/64 15406
/proc/meminfo: memFree=1841448/2055920 swapFree=4181336/4192956
[pid=15404] ppid=15402 vsize=26164 CPUtime=800.2
/proc/15404/stat : 15404 (bsolo) R 15402 15404 15358 0 -1 0 208478 0 3 0 79886 134 0 0 25 0 1 0 206257077 26791936 5824 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158588473 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15404/statm: 6541 5824 439 55 0 5433 0
Current children cumulated CPU time (s) 800.2
Current children cumulated vsize (Kb) 26164

[startup+810.493 s]
/proc/loadavg: 1.01 1.00 1.00 2/64 15406
/proc/meminfo: memFree=1841448/2055920 swapFree=4181336/4192956
[pid=15404] ppid=15402 vsize=26164 CPUtime=810.2
/proc/15404/stat : 15404 (bsolo) R 15402 15404 15358 0 -1 0 210083 0 3 0 80885 135 0 0 25 0 1 0 206257077 26791936 5824 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134620077 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15404/statm: 6541 5824 439 55 0 5433 0
Current children cumulated CPU time (s) 810.2
Current children cumulated vsize (Kb) 26164

[startup+820.498 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 15406
/proc/meminfo: memFree=1841448/2055920 swapFree=4181336/4192956
[pid=15404] ppid=15402 vsize=26164 CPUtime=820.21
/proc/15404/stat : 15404 (bsolo) R 15402 15404 15358 0 -1 0 211703 0 3 0 81884 137 0 0 25 0 1 0 206257077 26791936 5824 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649827 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15404/statm: 6541 5824 439 55 0 5433 0
Current children cumulated CPU time (s) 820.21
Current children cumulated vsize (Kb) 26164

[startup+830.505 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 15406
/proc/meminfo: memFree=1841448/2055920 swapFree=4181336/4192956
[pid=15404] ppid=15402 vsize=26316 CPUtime=830.21
/proc/15404/stat : 15404 (bsolo) R 15402 15404 15358 0 -1 0 213416 0 3 0 82883 138 0 0 25 0 1 0 206257077 26947584 5833 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159497914 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15404/statm: 6579 5833 439 55 0 5471 0
Current children cumulated CPU time (s) 830.21
Current children cumulated vsize (Kb) 26316

[startup+840.511 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 15406
/proc/meminfo: memFree=1841448/2055920 swapFree=4181336/4192956
[pid=15404] ppid=15402 vsize=26316 CPUtime=840.21
/proc/15404/stat : 15404 (bsolo) R 15402 15404 15358 0 -1 0 215120 0 3 0 83882 139 0 0 25 0 1 0 206257077 26947584 5833 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159497222 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15404/statm: 6579 5833 439 55 0 5471 0
Current children cumulated CPU time (s) 840.21
Current children cumulated vsize (Kb) 26316

[startup+850.517 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 15406
/proc/meminfo: memFree=1841384/2055920 swapFree=4181336/4192956
[pid=15404] ppid=15402 vsize=26316 CPUtime=850.21
/proc/15404/stat : 15404 (bsolo) R 15402 15404 15358 0 -1 0 216769 0 3 0 84881 140 0 0 25 0 1 0 206257077 26947584 5834 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159255151 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15404/statm: 6579 5834 439 55 0 5471 0
Current children cumulated CPU time (s) 850.21
Current children cumulated vsize (Kb) 26316

[startup+860.523 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 15406
/proc/meminfo: memFree=1841384/2055920 swapFree=4181336/4192956
[pid=15404] ppid=15402 vsize=26316 CPUtime=860.22
/proc/15404/stat : 15404 (bsolo) R 15402 15404 15358 0 -1 0 218292 0 3 0 85881 141 0 0 25 0 1 0 206257077 26947584 5832 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159779419 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15404/statm: 6579 5832 439 55 0 5471 0
Current children cumulated CPU time (s) 860.22
Current children cumulated vsize (Kb) 26316

[startup+870.529 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 15406
/proc/meminfo: memFree=1841384/2055920 swapFree=4181336/4192956
[pid=15404] ppid=15402 vsize=26164 CPUtime=870.22
/proc/15404/stat : 15404 (bsolo) R 15402 15404 15358 0 -1 0 219804 0 3 0 86880 142 0 0 25 0 1 0 206257077 26791936 5824 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535951 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15404/statm: 6541 5824 439 55 0 5433 0
Current children cumulated CPU time (s) 870.22
Current children cumulated vsize (Kb) 26164

[startup+880.536 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 15406
/proc/meminfo: memFree=1841256/2055920 swapFree=4181336/4192956
[pid=15404] ppid=15402 vsize=26164 CPUtime=880.23
/proc/15404/stat : 15404 (bsolo) R 15402 15404 15358 0 -1 0 222096 0 3 0 87878 145 0 0 25 0 1 0 206257077 26791936 5824 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535974 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15404/statm: 6541 5824 439 55 0 5433 0
Current children cumulated CPU time (s) 880.23
Current children cumulated vsize (Kb) 26164

[startup+890.542 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 15406
/proc/meminfo: memFree=1841256/2055920 swapFree=4181336/4192956
[pid=15404] ppid=15402 vsize=26164 CPUtime=890.23
/proc/15404/stat : 15404 (bsolo) R 15402 15404 15358 0 -1 0 222634 0 3 0 88878 145 0 0 25 0 1 0 206257077 26791936 5824 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535994 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15404/statm: 6541 5824 439 55 0 5433 0
Current children cumulated CPU time (s) 890.23
Current children cumulated vsize (Kb) 26164

[startup+900.548 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 15406
/proc/meminfo: memFree=1841256/2055920 swapFree=4181336/4192956
[pid=15404] ppid=15402 vsize=26316 CPUtime=900.24
/proc/15404/stat : 15404 (bsolo) R 15402 15404 15358 0 -1 0 223260 0 3 0 89878 146 0 0 25 0 1 0 206257077 26947584 5834 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159343055 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15404/statm: 6579 5834 439 55 0 5471 0
Current children cumulated CPU time (s) 900.24
Current children cumulated vsize (Kb) 26316

Child status: 30
Real time (s): 905.739
CPU time (s): 905.426
CPU user time (s): 903.954
CPU system time (s): 1.47278
CPU usage (%): 99.9655
Max. virtual memory (cumulated for all children) (Kb): 26516

Launcher Data (download as text)

Begin job on node11 on Sun Jun  4 07:25:45 UTC 2006


FILE ID= 40292-1149405945

PBS_JOBID= 314408

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-exam.pi.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node11/40292-1149405945/instance-40292-1149405945.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node11/watcher-40292-1149405945 -o ROOT/results/node11/solver-40292-1149405945 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node11/40292-1149405945/instance-40292-1149405945.opb

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  c7b7ba2fb8a9fff5b9677d5bbd1edc0f

RANDOM SEED= 838233528


/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.222
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.222
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:       1864368 kB
Buffers:         13092 kB
Cached:         107400 kB
SwapCached:       3200 kB
Active:          34112 kB
Inactive:        94940 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1864368 kB
SwapTotal:     4192956 kB
SwapFree:      4181336 kB
Dirty:             184 kB
Writeback:           0 kB
Mapped:          14676 kB
Slab:            48500 kB
Committed_AS:   417348 kB
PageTables:       1484 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node11 on Sun Jun  4 07:40:51 UTC 2006