Trace number 4095026

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
NaPS 1.02MSAT (TO) 1800.07 1800.4

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl40_50_pb.cnf.cr--soft-0-100-0.wbo
MD5SUM4abf964a0a4662f4172f30dfa55a3bc2
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark6
Best CPU time to get the best result obtained on this benchmark3.2625
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables4000
Total number of constraints180
Number of soft constraints180
Number of constraints which are clauses100
Number of constraints which are cardinality constraints (but not clauses)80
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint40
Maximum length of a constraint50
Top cost 9197
Min constraint cost 1
Max constraint cost 99
Sum of constraints costs 9196
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 51
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

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

Verifier Data 

OK	7

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4095026-1466089004/watcher-4095026-1466089004 -o /tmp/evaluation-result-4095026-1466089004/solver-4095026-1466089004 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node121-1466075469-10014 --watchdog 1960 naps-1.02 HOME/instance-4095026-1466089004.wbo 

pid=13740
running on 4 cores: 0,2,4,6

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

[startup+0 s]
/proc/loadavg: 2.10 2.12 2.14 3/174 13743
/proc/meminfo: memFree=30502912/32872528 swapFree=1315980/1463148
[pid=13743] ppid=13740 vsize=24328 CPUtime=0 cores=0,2,4,6
/proc/13743/stat : 13743 (runsolver) R 13740 6833 6833 0 -1 4202560 34 0 0 0 0 0 0 0 20 0 1 0 10947347 24911872 70 33554432000 4194304 4338465 140734268488704 140734268486240 227503280571 0 0 4096 24578 0 0 0 17 6 0 0 0 0 0
/proc/13743/statm: 6082 70 24 36 0 2655 0
Current StackSize limit: 10240 KiB


[startup+0.10011 s]
/proc/loadavg: 2.10 2.12 2.14 3/174 13743
/proc/meminfo: memFree=30502912/32872528 swapFree=1315980/1463148
[pid=13743] ppid=13740 vsize=8708 CPUtime=0.09 cores=0,2,4,6
/proc/13743/stat : 13743 (naps-1.02) R 13740 13743 6833 0 -1 4202496 950 0 0 0 9 0 0 0 20 0 1 0 10947347 8916992 759 33554432000 4194304 5796924 140736621547824 140734268485896 5087516 0 0 4096 17954 0 0 0 17 0 0 0 0 0 0
/proc/13743/statm: 2177 759 142 392 0 1776 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 8708

[startup+0.20024 s]
/proc/loadavg: 2.10 2.12 2.14 3/174 13743
/proc/meminfo: memFree=30502912/32872528 swapFree=1315980/1463148
[pid=13743] ppid=13740 vsize=15696 CPUtime=0.18 cores=0,2,4,6
/proc/13743/stat : 13743 (naps-1.02) R 13740 13743 6833 0 -1 4202496 3987 0 0 0 18 0 0 0 20 0 1 0 10947347 16072704 3282 33554432000 4194304 5796924 140736621547824 140734268485896 4564240 0 0 4096 17954 0 0 0 17 0 0 0 0 0 0
/proc/13743/statm: 3924 3282 169 392 0 3523 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 15696

[startup+0.300283 s]
/proc/loadavg: 2.10 2.12 2.14 3/174 13743
/proc/meminfo: memFree=30502912/32872528 swapFree=1315980/1463148
[pid=13743] ppid=13740 vsize=27656 CPUtime=0.28 cores=0,2,4,6
/proc/13743/stat : 13743 (naps-1.02) R 13740 13743 6833 0 -1 4202496 6399 0 0 0 28 0 0 0 20 0 1 0 10947347 28319744 6052 33554432000 4194304 5796924 140736621547824 140736621545144 4637616 0 0 4096 17954 0 0 0 17 0 0 0 0 0 0
/proc/13743/statm: 6914 6052 169 392 0 6513 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 27656

[startup+0.700192 s]
/proc/loadavg: 2.10 2.12 2.14 3/174 13743
/proc/meminfo: memFree=30502912/32872528 swapFree=1315980/1463148
[pid=13743] ppid=13740 vsize=37436 CPUtime=0.68 cores=0,2,4,6
/proc/13743/stat : 13743 (naps-1.02) R 13740 13743 6833 0 -1 4202496 7733 0 0 0 68 0 0 0 20 0 1 0 10947347 38334464 8404 33554432000 4194304 5796924 140736621547824 140736621545144 4592160 0 0 4096 17954 0 0 0 17 0 0 0 0 0 0
/proc/13743/statm: 9359 8404 171 392 0 8958 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 37436

[startup+1.5002 s]
/proc/loadavg: 2.10 2.12 2.14 3/175 13744
/proc/meminfo: memFree=30466564/32872528 swapFree=1315980/1463148
[pid=13743] ppid=13740 vsize=37432 CPUtime=1.48 cores=0,2,4,6
/proc/13743/stat : 13743 (naps-1.02) R 13740 13743 6833 0 -1 4202496 8237 0 0 0 148 0 0 0 20 0 1 0 10947347 38330368 7598 33554432000 4194304 5796924 140736621547824 140736621545464 4583348 0 0 4096 17954 0 0 0 17 0 0 0 0 0 0
/proc/13743/statm: 9358 7598 171 392 0 8957 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 37432

[startup+3.10023 s]
/proc/loadavg: 2.10 2.12 2.14 3/175 13744
/proc/meminfo: memFree=30468544/32872528 swapFree=1315980/1463148
[pid=13743] ppid=13740 vsize=56108 CPUtime=3.09 cores=0,2,4,6
/proc/13743/stat : 13743 (naps-1.02) R 13740 13743 6833 0 -1 4202496 8618 0 0 0 308 1 0 0 20 0 1 0 10947347 57454592 13089 33554432000 4194304 5796924 140736621547824 140736621545064 4606799 0 0 4096 17954 0 0 0 17 0 0 0 0 0 0
/proc/13743/statm: 14027 13089 171 392 0 13626 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 56108

[startup+6.30025 s]
/proc/loadavg: 2.09 2.12 2.13 3/175 13744
/proc/meminfo: memFree=30444016/32872528 swapFree=1315980/1463148
[pid=13743] ppid=13740 vsize=63820 CPUtime=6.29 cores=0,2,4,6
/proc/13743/stat : 13743 (naps-1.02) R 13740 13743 6833 0 -1 4202496 12680 0 0 0 627 2 0 0 20 0 1 0 10947347 65351680 14745 33554432000 4194304 5796924 140736621547824 140736621546216 4606771 0 0 4096 17954 0 0 0 17 0 0 0 0 0 0
/proc/13743/statm: 15955 14745 183 392 0 15554 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 63820

[startup+13.8015 s]
/proc/loadavg: 2.08 2.12 2.13 6/175 13744
/proc/meminfo: memFree=30417404/32872528 swapFree=1315980/1463148
[pid=13743] ppid=13740 vsize=101352 CPUtime=13.78 cores=0,2,4,6
/proc/13743/stat : 13743 (naps-1.02) R 13740 13743 6833 0 -1 4202496 13965 0 0 0 1375 3 0 0 20 0 1 0 10947347 103784448 24187 33554432000 4194304 5796924 140736621547824 140736621545064 5151828 0 0 4096 17954 0 0 0 17 0 0 0 0 0 0
/proc/13743/statm: 25338 24187 183 392 0 24937 0
Current children cumulated CPU time (s) 13.78
Current children cumulated vsize (KiB) 101352

[startup+26.0712 s]
/proc/loadavg: 2.07 2.11 2.13 3/175 13744
/proc/meminfo: memFree=30406240/32872528 swapFree=1315980/1463148
[pid=13743] ppid=13740 vsize=131700 CPUtime=26.05 cores=0,2,4,6
/proc/13743/stat : 13743 (naps-1.02) R 13740 13743 6833 0 -1 4202496 14211 0 0 0 2602 3 0 0 20 0 1 0 10947347 134860800 26477 33554432000 4194304 5796924 140736621547824 140736621545064 4607192 0 0 4096 17954 0 0 0 17 0 0 0 0 0 0
/proc/13743/statm: 32925 26477 183 392 0 32524 0
Current children cumulated CPU time (s) 26.05
Current children cumulated vsize (KiB) 131700

[startup+53.0047 s]
/proc/loadavg: 2.13 2.12 2.13 4/175 13744
/proc/meminfo: memFree=30391412/32872528 swapFree=1315980/1463148
[pid=13743] ppid=13740 vsize=165248 CPUtime=52.98 cores=0,2,4,6
/proc/13743/stat : 13743 (naps-1.02) R 13740 13743 6833 0 -1 4202496 15928 0 0 0 5292 6 0 0 20 0 1 0 10947347 169213952 37950 33554432000 4194304 5796924 140736621547824 140736621545112 4577544 0 0 4096 17954 0 0 0 17 0 0 0 0 0 0
/proc/13743/statm: 41312 37950 183 392 0 40911 0
Current children cumulated CPU time (s) 52.98
Current children cumulated vsize (KiB) 165248

[startup+103.59 s]
/proc/loadavg: 2.11 2.11 2.13 4/175 13745
/proc/meminfo: memFree=30338672/32872528 swapFree=1315980/1463148
[pid=13743] ppid=13740 vsize=177424 CPUtime=103.55 cores=0,2,4,6
/proc/13743/stat : 13743 (naps-1.02) R 13740 13743 6833 0 -1 4202496 18609 0 0 0 10345 10 0 0 20 0 1 0 10947347 181682176 40994 33554432000 4194304 5796924 140736621547824 140736621545112 4623169 0 0 4096 17954 0 0 0 17 0 0 0 0 0 0
/proc/13743/statm: 44356 40994 183 392 0 43955 0
Current children cumulated CPU time (s) 103.55
Current children cumulated vsize (KiB) 177424

[startup+169.269 s]
/proc/loadavg: 2.09 2.11 2.12 3/175 13746
/proc/meminfo: memFree=30376220/32872528 swapFree=1315980/1463148
[pid=13743] ppid=13740 vsize=177424 CPUtime=169.21 cores=0,2,4,6
/proc/13743/stat : 13743 (naps-1.02) R 13740 13743 6833 0 -1 4202496 21189 0 0 0 16906 15 0 0 20 0 1 0 10947347 181682176 41506 33554432000 4194304 5796924 140736621547824 140736621545112 4606555 0 0 4096 17954 0 0 0 17 0 0 0 0 0 0
/proc/13743/statm: 44356 41506 183 392 0 43955 0
Current children cumulated CPU time (s) 169.21
Current children cumulated vsize (KiB) 177424

[startup+235.314 s]
/proc/loadavg: 2.14 2.11 2.12 4/175 13746
/proc/meminfo: memFree=30360908/32872528 swapFree=1315980/1463148
[pid=13743] ppid=13740 vsize=208244 CPUtime=235.24 cores=0,2,4,6
/proc/13743/stat : 13743 (naps-1.02) R 13740 13743 6833 0 -1 4202496 26311 0 0 0 23500 24 0 0 20 0 1 0 10947347 213241856 43388 33554432000 4194304 5796924 140736621547824 140736621545112 4606779 0 0 4096 17954 0 0 0 17 0 0 0 0 0 0
/proc/13743/statm: 52061 43388 183 392 0 51660 0
Current children cumulated CPU time (s) 235.24
Current children cumulated vsize (KiB) 208244

[startup+295.589 s]
/proc/loadavg: 2.19 2.12 2.12 4/176 13797
/proc/meminfo: memFree=30318744/32872528 swapFree=1315980/1463148
[pid=13743] ppid=13740 vsize=208244 CPUtime=295.5 cores=0,2,4,6
/proc/13743/stat : 13743 (naps-1.02) R 13740 13743 6833 0 -1 4202496 29423 0 0 0 29521 29 0 0 20 0 1 0 10947347 213241856 46693 33554432000 4194304 5796924 140736621547824 140736621545464 4581718 0 0 4096 17954 0 0 0 17 0 0 0 0 0 0
/proc/13743/statm: 52061 46693 183 392 0 51660 0
Current children cumulated CPU time (s) 295.5
Current children cumulated vsize (KiB) 208244

[startup+342.3 s]
/proc/loadavg: 3.02 2.70 2.35 4/175 13822
/proc/meminfo: memFree=30268752/32872528 swapFree=1315980/1463148
[pid=13743] ppid=13740 vsize=208244 CPUtime=342.19 cores=0,2,4,6
/proc/13743/stat : 13743 (naps-1.02) R 13740 13743 6833 0 -1 4202496 31342 0 0 0 34187 32 0 0 20 0 1 0 10947347 213241856 47205 33554432000 4194304 5796924 140736621547824 140736621545464 4592031 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/13743/statm: 52061 47205 183 392 0 51660 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 208244

[startup+402.3 s]
/proc/loadavg: 2.50 2.62 2.34 3/175 13823
/proc/meminfo: memFree=30307828/32872528 swapFree=1315980/1463148
[pid=13743] ppid=13740 vsize=208244 CPUtime=402.19 cores=0,2,4,6
/proc/13743/stat : 13743 (naps-1.02) R 13740 13743 6833 0 -1 4202496 33265 0 0 0 40183 36 0 0 20 0 1 0 10947347 213241856 46693 33554432000 4194304 5796924 140736621547824 140736621545464 4606555 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/13743/statm: 52061 46693 183 392 0 51660 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 208244

[startup+462.3 s]
/proc/loadavg: 2.24 2.52 2.33 3/175 13824
/proc/meminfo: memFree=30316048/32872528 swapFree=1315980/1463148
[pid=13743] ppid=13740 vsize=209560 CPUtime=462.18 cores=0,2,4,6
/proc/13743/stat : 13743 (naps-1.02) R 13740 13743 6833 0 -1 4202496 35522 0 0 0 46178 40 0 0 20 0 1 0 10947347 214589440 44462 33554432000 4194304 5796924 140736621547824 140736621545464 4611024 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/13743/statm: 52390 44462 183 392 0 51989 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 209560

[startup+522.3 s]
/proc/loadavg: 2.13 2.43 2.31 4/175 13826
/proc/meminfo: memFree=30246296/32872528 swapFree=1315980/1463148
[pid=13743] ppid=13740 vsize=161700 CPUtime=522.16 cores=0,2,4,6
/proc/13743/stat : 13743 (naps-1.02) R 13740 13743 6833 0 -1 4202496 37431 0 0 0 52173 43 0 0 20 0 1 0 10947347 165580800 38802 33554432000 4194304 5796924 140736621547824 140736621545464 4607232 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/13743/statm: 40425 38802 183 392 0 40024 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 161700

[startup+582.3 s]
/proc/loadavg: 2.14 2.38 2.30 3/175 13827
/proc/meminfo: memFree=30198752/32872528 swapFree=1315980/1463148
[pid=13743] ppid=13740 vsize=241840 CPUtime=582.16 cores=0,2,4,6
/proc/13743/stat : 13743 (naps-1.02) R 13740 13743 6833 0 -1 4202496 39353 0 0 0 58169 47 0 0 20 0 1 0 10947347 247644160 54064 33554432000 4194304 5796924 140736621547824 140736621545464 4606721 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/13743/statm: 60460 54064 183 392 0 60059 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 241840


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


[startup+882.3 s]
/proc/loadavg: 2.23 2.29 2.27 3/175 13836
/proc/meminfo: memFree=30173356/32872528 swapFree=1315980/1463148
[pid=13743] ppid=13740 vsize=241840 CPUtime=882.09 cores=0,2,4,6
/proc/13743/stat : 13743 (naps-1.02) R 13740 13743 6833 0 -1 4202496 47004 0 0 0 88145 64 0 0 20 0 1 0 10947347 247644160 59812 33554432000 4194304 5796924 140736621547824 140736621545464 4606771 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/13743/statm: 60460 59812 183 392 0 60059 0
Current children cumulated CPU time (s) 882.09
Current children cumulated vsize (KiB) 241840

[startup+942.3 s]
/proc/loadavg: 2.23 2.28 2.27 3/175 13837
/proc/meminfo: memFree=30170944/32872528 swapFree=1315980/1463148
[pid=13743] ppid=13740 vsize=291928 CPUtime=942.09 cores=0,2,4,6
/proc/13743/stat : 13743 (naps-1.02) R 13740 13743 6833 0 -1 4202496 48581 0 0 0 94141 68 0 0 20 0 1 0 10947347 298934272 61649 33554432000 4194304 5796924 140736621547824 140736621545464 4606704 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/13743/statm: 72982 61649 183 392 0 72581 0
Current children cumulated CPU time (s) 942.09
Current children cumulated vsize (KiB) 291928

[startup+1002.3 s]
/proc/loadavg: 2.21 2.27 2.27 3/175 13838
/proc/meminfo: memFree=30143768/32872528 swapFree=1315980/1463148
[pid=13743] ppid=13740 vsize=291928 CPUtime=1002.08 cores=0,2,4,6
/proc/13743/stat : 13743 (naps-1.02) R 13740 13743 6833 0 -1 4202496 49858 0 0 0 100137 71 0 0 20 0 1 0 10947347 298934272 63185 33554432000 4194304 5796924 140736621547824 140736621545464 4606789 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/13743/statm: 72982 63185 183 392 0 72581 0
Current children cumulated CPU time (s) 1002.08
Current children cumulated vsize (KiB) 291928

[startup+1062.3 s]
/proc/loadavg: 2.26 2.28 2.27 3/175 13839
/proc/meminfo: memFree=30220912/32872528 swapFree=1315980/1463148
[pid=13743] ppid=13740 vsize=211020 CPUtime=1062.08 cores=0,2,4,6
/proc/13743/stat : 13743 (naps-1.02) R 13740 13743 6833 0 -1 4202496 51531 0 0 0 106133 75 0 0 20 0 1 0 10947347 216084480 48481 33554432000 4194304 5796924 140736621547824 140736621545288 4606771 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/13743/statm: 52755 48481 183 392 0 52354 0
Current children cumulated CPU time (s) 1062.08
Current children cumulated vsize (KiB) 211020

[startup+1122.3 s]
/proc/loadavg: 2.29 2.28 2.27 3/175 13841
/proc/meminfo: memFree=30187728/32872528 swapFree=1315980/1463148
[pid=13743] ppid=13740 vsize=211020 CPUtime=1122.06 cores=0,2,4,6
/proc/13743/stat : 13743 (naps-1.02) R 13740 13743 6833 0 -1 4202496 52827 0 0 0 112129 77 0 0 20 0 1 0 10947347 216084480 51553 33554432000 4194304 5796924 140736621547824 140736621545288 4592097 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/13743/statm: 52755 51553 183 392 0 52354 0
Current children cumulated CPU time (s) 1122.06
Current children cumulated vsize (KiB) 211020

[startup+1182.3 s]
/proc/loadavg: 2.25 2.27 2.27 3/175 13842
/proc/meminfo: memFree=30184056/32872528 swapFree=1315980/1463148
[pid=13743] ppid=13740 vsize=241840 CPUtime=1182.05 cores=0,2,4,6
/proc/13743/stat : 13743 (naps-1.02) R 13740 13743 6833 0 -1 4202496 54404 0 0 0 118125 80 0 0 20 0 1 0 10947347 247644160 58788 33554432000 4194304 5796924 140736621547824 140736621545464 4606555 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/13743/statm: 60460 58788 183 392 0 60059 0
Current children cumulated CPU time (s) 1182.05
Current children cumulated vsize (KiB) 241840

[startup+1242.3 s]
/proc/loadavg: 2.25 2.27 2.27 3/175 13843
/proc/meminfo: memFree=30167496/32872528 swapFree=1315980/1463148
[pid=13743] ppid=13740 vsize=241840 CPUtime=1242.04 cores=0,2,4,6
/proc/13743/stat : 13743 (naps-1.02) R 13740 13743 6833 0 -1 4202496 55698 0 0 0 124121 83 0 0 20 0 1 0 10947347 247644160 59300 33554432000 4194304 5796924 140736621547824 140736621545464 4606799 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/13743/statm: 60460 59300 183 392 0 60059 0
Current children cumulated CPU time (s) 1242.04
Current children cumulated vsize (KiB) 241840

[startup+1302.3 s]
/proc/loadavg: 2.33 2.28 2.27 3/175 13844
/proc/meminfo: memFree=30134552/32872528 swapFree=1315980/1463148
[pid=13743] ppid=13740 vsize=291928 CPUtime=1302.04 cores=0,2,4,6
/proc/13743/stat : 13743 (naps-1.02) R 13740 13743 6833 0 -1 4202496 57296 0 0 0 130118 86 0 0 20 0 1 0 10947347 298934272 61649 33554432000 4194304 5796924 140736621547824 140736621545464 4606768 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/13743/statm: 72982 61649 183 392 0 72581 0
Current children cumulated CPU time (s) 1302.04
Current children cumulated vsize (KiB) 291928

[startup+1362.3 s]
/proc/loadavg: 2.25 2.27 2.27 4/175 13845
/proc/meminfo: memFree=30159588/32872528 swapFree=1315980/1463148
[pid=13743] ppid=13740 vsize=291928 CPUtime=1362.03 cores=0,2,4,6
/proc/13743/stat : 13743 (naps-1.02) R 13740 13743 6833 0 -1 4202496 58591 0 0 0 136114 89 0 0 20 0 1 0 10947347 298934272 62161 33554432000 4194304 5796924 140736621547824 140736621545464 4606779 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/13743/statm: 72982 62161 183 392 0 72581 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 291928

[startup+1422.3 s]
/proc/loadavg: 2.17 2.25 2.26 3/176 13850
/proc/meminfo: memFree=30151784/32872528 swapFree=1315980/1463148
[pid=13743] ppid=13740 vsize=241840 CPUtime=1422.02 cores=0,2,4,6
/proc/13743/stat : 13743 (naps-1.02) R 13740 13743 6833 0 -1 4202496 59583 0 0 0 142110 92 0 0 20 0 1 0 10947347 247644160 59812 33554432000 4194304 5796924 140736621547824 140736621545464 4606555 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/13743/statm: 60460 59812 183 392 0 60059 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 241840

[startup+1482.31 s]
/proc/loadavg: 2.23 2.24 2.26 3/175 13851
/proc/meminfo: memFree=30183344/32872528 swapFree=1315980/1463148
[pid=13743] ppid=13740 vsize=241840 CPUtime=1482.01 cores=0,2,4,6
/proc/13743/stat : 13743 (naps-1.02) R 13740 13743 6833 0 -1 4202496 60868 0 0 0 148106 95 0 0 20 0 1 0 10947347 247644160 55716 33554432000 4194304 5796924 140736621547824 140736621545464 4607232 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/13743/statm: 60460 55716 183 392 0 60059 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 241840

[startup+1542.3 s]
/proc/loadavg: 2.14 2.21 2.25 3/175 13852
/proc/meminfo: memFree=30205484/32872528 swapFree=1315980/1463148
[pid=13743] ppid=13740 vsize=211020 CPUtime=1542 cores=0,2,4,6
/proc/13743/stat : 13743 (naps-1.02) R 13740 13743 6833 0 -1 4202496 61573 0 0 0 154103 97 0 0 20 0 1 0 10947347 216084480 49505 33554432000 4194304 5796924 140736621547824 140736621545288 4606555 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/13743/statm: 52755 49505 183 392 0 52354 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 211020

[startup+1602.3 s]
/proc/loadavg: 2.33 2.25 2.26 4/175 13853
/proc/meminfo: memFree=30132924/32872528 swapFree=1315980/1463148
[pid=13743] ppid=13740 vsize=291928 CPUtime=1601.99 cores=0,2,4,6
/proc/13743/stat : 13743 (naps-1.02) R 13740 13743 6833 0 -1 4202496 62487 0 0 0 160100 99 0 0 20 0 1 0 10947347 298934272 66257 33554432000 4194304 5796924 140736621547824 140736621545464 4606777 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/13743/statm: 72982 66257 183 392 0 72581 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 291928

[startup+1662.3 s]
/proc/loadavg: 2.41 2.28 2.26 3/175 13854
/proc/meminfo: memFree=30145064/32872528 swapFree=1315980/1463148
[pid=13743] ppid=13740 vsize=291928 CPUtime=1661.98 cores=0,2,4,6
/proc/13743/stat : 13743 (naps-1.02) R 13740 13743 6833 0 -1 4202496 63777 0 0 0 166096 102 0 0 20 0 1 0 10947347 298934272 63185 33554432000 4194304 5796924 140736621547824 140736621545464 4606779 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/13743/statm: 72982 63185 183 392 0 72581 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 291928

[startup+1722.3 s]
/proc/loadavg: 2.32 2.27 2.26 3/174 13855
/proc/meminfo: memFree=30135548/32872528 swapFree=1315980/1463148
[pid=13743] ppid=13740 vsize=291928 CPUtime=1721.97 cores=0,2,4,6
/proc/13743/stat : 13743 (naps-1.02) R 13740 13743 6833 0 -1 4202496 65074 0 0 0 172092 105 0 0 20 0 1 0 10947347 298934272 62673 33554432000 4194304 5796924 140736621547824 140736621545464 4591861 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/13743/statm: 72982 62673 183 392 0 72581 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 291928

[startup+1782.3 s]
/proc/loadavg: 2.19 2.25 2.26 3/175 13857
/proc/meminfo: memFree=30133228/32872528 swapFree=1315980/1463148
[pid=13743] ppid=13740 vsize=291928 CPUtime=1781.96 cores=0,2,4,6
/proc/13743/stat : 13743 (naps-1.02) R 13740 13743 6833 0 -1 4202496 66370 0 0 0 178088 108 0 0 20 0 1 0 10947347 298934272 63697 33554432000 4194304 5796924 140736621547824 140736621545464 4606779 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/13743/statm: 72982 63697 183 392 0 72581 0
Current children cumulated CPU time (s) 1781.96
Current children cumulated vsize (KiB) 291928



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.21 2.25 2.26 3/175 13857
/proc/meminfo: memFree=30137064/32872528 swapFree=1315980/1463148
[pid=13743] ppid=13740 vsize=241840 CPUtime=1800.06 cores=0,2,4,6
/proc/13743/stat : 13743 (naps-1.02) R 13740 13743 6833 0 -1 4202496 67349 0 0 0 179896 110 0 0 20 0 1 0 10947347 247644160 55204 33554432000 4194304 5796924 140736621547824 140736621545464 4606768 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/13743/statm: 60460 55204 183 392 0 60059 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 241840

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 13743 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 10
Real time (s): 1800.4
CPU time (s): 1800.07
CPU user time (s): 1798.96
CPU system time (s): 1.11083
CPU usage (%): 99.9816
Max. virtual memory (cumulated for all children) (KiB): 341248

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.96
system time used= 1.11083
maximum resident set size= 303280
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 67359
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= 27
involuntary context switches= 2016

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.9344 second user time and 6.51401 second system time

The end

Launcher Data 

Begin job on node121 at 2016-06-16 16:56:44
IDJOB=4095026
IDBENCH=79159
IDSOLVER=2554
FILE ID=node121/4095026-1466089004
RUNJOBID= node121-1466075469-10014
PBS_JOBID= 19904017
Free space on /tmp= 71728 MiB

SOLVER NAME= NaPS 1.02
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl40_50_pb.cnf.cr--soft-0-100-0.wbo
COMMAND LINE= naps-1.02 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4095026-1466089004/watcher-4095026-1466089004 -o /tmp/evaluation-result-4095026-1466089004/solver-4095026-1466089004 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node121-1466075469-10014 --watchdog 1960  naps-1.02 HOME/instance-4095026-1466089004.wbo

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

MD5SUM BENCH= 4abf964a0a4662f4172f30dfa55a3bc2
RANDOM SEED=873104204

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30503068 kB
Buffers:           27296 kB
Cached:            73448 kB
SwapCached:         2496 kB
Active:           146260 kB
Inactive:          57604 kB
Active(anon):     103728 kB
Inactive(anon):     1756 kB
Active(file):      42532 kB
Inactive(file):    55848 kB
Unevictable:     1463148 kB
Mlocked:         1315980 kB
SwapTotal:      67108856 kB
SwapFree:       67099740 kB
Dirty:              3912 kB
Writeback:             0 kB
AnonPages:       1650128 kB
Mapped:             7712 kB
Shmem:                 0 kB
Slab:             565736 kB
SReclaimable:      10204 kB
SUnreclaim:       555532 kB
KernelStack:        1456 kB
PageTables:         7044 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1688392 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    323584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71724 MiB
End job on node121 at 2016-06-16 17:26:45