Trace number 4434217

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 NameAnswerobjective functionCPU timeWall clock time
NaPS 1.03SAT (TO)166 3600.07 3610.2

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/logic_synthesis/normalized-bench1.r.opb
MD5SUMf38762496267db1df9beeeeb0c56175f
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark121
Best CPU time to get the best result obtained on this benchmark0.393057
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4688
Total number of constraints403
Number of constraints which are clauses403
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 constraint2
Maximum length of a constraint80
Number of terms in the objective function 4688
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 4688
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 4688
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 

0.00/0.00	c NaPS 1.03.
0.00/0.00	c Input file name: HOME/instance-4434217-1721102569.opb
0.00/0.04	c single stage optimization mode
0.00/0.10	o 263
37.28/37.48	o 166
3600.05/3610.20	c 
3600.05/3610.20	c *** TERMINATED *** by signal 15
3600.05/3610.20	s SATISFIABLE
3600.05/3610.20	c _____________________________________________________________________________
3600.05/3610.20	c std/band forms        : 2,0
3600.05/3610.20	c 2cl/3cl ITE-codings   : 0,0
3600.05/3610.20	c BDD/srt/adr Max costs : 0,365354,0
3600.05/3610.20	c BDDraw/bin/mul/srt/adr: 0,0,0,2,0
3600.05/3610.20	c BDD nodes             : 0
3600.05/3610.20	c Es1/CC detections     : 0,0
3600.05/3610.20	c CC sort               : 2
3600.05/3610.20	c SAT/UNSAT calls       : 2,0
3600.05/3610.20	c regenrated variables  : 11
3600.05/3610.20	c eliminated fixed lits : 0
3600.05/3610.20	c goal lit flips        : 4425
3600.05/3610.20	c goal stages           : 1
3600.05/3610.20	c goal shrink           : 0
3600.05/3610.20	c goal coeff separations: 0
3600.05/3610.20	c restarts              : 3136
3600.05/3610.20	c conflicts             : 35597          (10 /sec)
3600.05/3610.20	c decisions             : 2182460        (606 /sec)
3600.05/3610.20	c propagations          : 382149682      (106164 /sec)
3600.05/3610.20	c inspects              : 0              (0 /sec)
3600.05/3610.20	c CPU time (solving tm) : 3600 s        (3599 s, SAT 36.98 s, UNSAT 0 s)
3600.05/3610.20	c Time for Opt-base     : 0.00283 s
3600.05/3610.20	c Steps for Opt-base    : 0
3600.05/3610.20	c Time for BDD coding   : 0 s
3600.05/3610.20	c Time for srt coding   : 0.07743 s
3600.05/3610.20	c _____________________________________________________________________________
3600.05/3610.20	v -x1 -x2 -x3 -x4 -x5 x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -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 -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
3600.05/3610.20	v -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 -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
3600.05/3610.20	v -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 x4544 -x4545 -x4546 x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688

Verifier Data 

OK	166

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

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.

NUMA information:
  number of nodes: 2
  memory of node 0: 63931 MiB (48563 MiB free)
  memory of node 1: 64510 MiB (53061 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4434217-1721102569/watcher-4434217-1721102569 -o /tmp/evaluation-result-4434217-1721102569/solver-4434217-1721102569 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1721095335-849560 --watchdog 3760 HOME/naps-1.03.sh HOME/instance-4434217-1721102569.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=854141, runsolver pid=854138

[startup+0.100102 s]*
/proc/loadavg: 4.20 4.15 4.10 5/259 854146
/proc/meminfo: memFree=104060160/131524600 swapFree=131071996/131071996
[pid=854141] ppid=854138 vsize=9932 memory=2804 CPUtime=0 cores=5,7
/proc/854141/stat : 854141 (naps-1.03.sh) S 854138 854141 849547 0 -1 4194304 222 245 0 0 0 0 0 0 20 0 1 0 162424288 10170368 701 134679101440 94671374233600 94671375312920 140721645210912 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94671377411376 94671377458564 94671408443392 140721645216740 140721645216865 140721645216865 140721645223880 0
/proc/854141/statm: 2483 701 625 264 0 134 0
[pid=854146] ppid=854141 vsize=7756 memory=6420 CPUtime=0.1 cores=5,7
/proc/854146/stat : 854146 (naps-1.03) R 854141 854141 849547 0 -1 4194304 1163 0 0 0 10 0 0 0 20 0 1 0 162424288 7942144 1605 134679101440 4194304 6891213 140721403906608 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 21880832 140721403909109 140721403909221 140721403909221 140721403916235 0
/proc/854146/statm: 1939 1605 596 659 0 1143 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 17688 KiB
Current children cumulated memory: 9224 KiB

[startup+0.205892 s]*
/proc/loadavg: 4.20 4.15 4.10 5/259 854146
/proc/meminfo: memFree=104024440/131524600 swapFree=131071996/131071996
[pid=854141] ppid=854138 vsize=9932 memory=2804 CPUtime=0 cores=5,7
/proc/854141/stat : 854141 (naps-1.03.sh) S 854138 854141 849547 0 -1 4194304 222 245 0 0 0 0 0 0 20 0 1 0 162424288 10170368 701 134679101440 94671374233600 94671375312920 140721645210912 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94671377411376 94671377458564 94671408443392 140721645216740 140721645216865 140721645216865 140721645223880 0
/proc/854141/statm: 2483 701 625 264 0 134 0
[pid=854146] ppid=854141 vsize=51268 memory=47444 CPUtime=0.2 cores=5,7
/proc/854146/stat : 854146 (naps-1.03) R 854141 854141 849547 0 -1 4194304 11618 0 0 0 18 2 0 0 20 0 1 0 162424288 52498432 11861 134679101440 4194304 6891213 140721403906608 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 21880832 140721403909109 140721403909221 140721403909221 140721403916235 0
/proc/854146/statm: 12817 11861 612 659 0 12021 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 61200 KiB
Current children cumulated memory: 50248 KiB

[startup+0.305897 s]*
/proc/loadavg: 4.20 4.15 4.10 5/259 854146
/proc/meminfo: memFree=103963336/131524600 swapFree=131071996/131071996
[pid=854141] ppid=854138 vsize=9932 memory=2804 CPUtime=0 cores=5,7
/proc/854141/stat : 854141 (naps-1.03.sh) S 854138 854141 849547 0 -1 4194304 222 245 0 0 0 0 0 0 20 0 1 0 162424288 10170368 701 134679101440 94671374233600 94671375312920 140721645210912 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94671377411376 94671377458564 94671408443392 140721645216740 140721645216865 140721645216865 140721645223880 0
/proc/854141/statm: 2483 701 625 264 0 134 0
[pid=854146] ppid=854141 vsize=108080 memory=103800 CPUtime=0.29 cores=5,7
/proc/854146/stat : 854146 (naps-1.03) R 854141 854141 849547 0 -1 4194304 21618 0 0 0 25 4 0 0 20 0 1 0 162424288 110673920 25950 134679101440 4194304 6891213 140721403906608 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 21880832 140721403909109 140721403909221 140721403909221 140721403916235 0
/proc/854146/statm: 27020 25950 612 659 0 26224 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 118012 KiB
Current children cumulated memory: 106604 KiB

[startup+0.700292 s]
/proc/loadavg: 4.20 4.15 4.10 5/259 854146
/proc/meminfo: memFree=103892640/131524600 swapFree=131071996/131071996
[pid=854141] ppid=854138 vsize=9932 memory=2804 CPUtime=0 cores=5,7
/proc/854141/stat : 854141 (naps-1.03.sh) S 854138 854141 849547 0 -1 4194304 222 245 0 0 0 0 0 0 20 0 1 0 162424288 10170368 701 134679101440 94671374233600 94671375312920 140721645210912 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94671377411376 94671377458564 94671408443392 140721645216740 140721645216865 140721645216865 140721645223880 0
/proc/854141/statm: 2483 701 625 264 0 134 0
[pid=854146] ppid=854141 vsize=178624 memory=172920 CPUtime=0.68 cores=5,7
/proc/854146/stat : 854146 (naps-1.03) R 854141 854141 849547 0 -1 4194304 29191 0 0 0 62 6 0 0 20 0 1 0 162424288 182910976 43230 134679101440 4194304 6891213 140721403906608 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 21880832 140721403909109 140721403909221 140721403909221 140721403916235 0
/proc/854146/statm: 44656 43230 612 659 0 43860 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 188556 KiB
Current children cumulated memory: 175724 KiB

[startup+1.5003 s]
/proc/loadavg: 4.20 4.15 4.10 5/259 854146
/proc/meminfo: memFree=103884212/131524600 swapFree=131071996/131071996
[pid=854141] ppid=854138 vsize=9932 memory=2804 CPUtime=0 cores=5,7
/proc/854141/stat : 854141 (naps-1.03.sh) S 854138 854141 849547 0 -1 4194304 222 245 0 0 0 0 0 0 20 0 1 0 162424288 10170368 701 134679101440 94671374233600 94671375312920 140721645210912 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94671377411376 94671377458564 94671408443392 140721645216740 140721645216865 140721645216865 140721645223880 0
/proc/854141/statm: 2483 701 625 264 0 134 0
[pid=854146] ppid=854141 vsize=189204 memory=181024 CPUtime=1.48 cores=5,7
/proc/854146/stat : 854146 (naps-1.03) R 854141 854141 849547 0 -1 4194304 29646 0 0 0 142 6 0 0 20 0 1 0 162424288 193744896 45256 134679101440 4194304 6891213 140721403906608 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 21880832 140721403909109 140721403909221 140721403909221 140721403916235 0
/proc/854146/statm: 47301 45256 644 659 0 46505 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 199136 KiB
Current children cumulated memory: 183828 KiB

[startup+3.10569 s]
/proc/loadavg: 4.18 4.14 4.10 5/259 854198
/proc/meminfo: memFree=112755392/131524600 swapFree=131071996/131071996
[pid=854141] ppid=854138 vsize=9932 memory=2804 CPUtime=0 cores=5,7
/proc/854141/stat : 854141 (naps-1.03.sh) S 854138 854141 849547 0 -1 4194304 222 245 0 0 0 0 0 0 20 0 1 0 162424288 10170368 701 134679101440 94671374233600 94671375312920 140721645210912 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94671377411376 94671377458564 94671408443392 140721645216740 140721645216865 140721645216865 140721645223880 0
/proc/854141/statm: 2483 701 625 264 0 134 0
[pid=854146] ppid=854141 vsize=207288 memory=199020 CPUtime=3.09 cores=5,7
/proc/854146/stat : 854146 (naps-1.03) R 854141 854141 849547 0 -1 4194304 31118 0 0 0 302 7 0 0 20 0 1 0 162424288 212262912 49755 134679101440 4194304 6891213 140721403906608 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 21880832 140721403909109 140721403909221 140721403909221 140721403916235 0
/proc/854146/statm: 51822 49755 644 659 0 51026 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 217220 KiB
Current children cumulated memory: 201824 KiB

[startup+6.30028 s]
/proc/loadavg: 4.18 4.14 4.10 5/259 854199
/proc/meminfo: memFree=112278872/131524600 swapFree=131071996/131071996
[pid=854141] ppid=854138 vsize=9932 memory=2804 CPUtime=0 cores=5,7
/proc/854141/stat : 854141 (naps-1.03.sh) S 854138 854141 849547 0 -1 4194304 222 245 0 0 0 0 0 0 20 0 1 0 162424288 10170368 701 134679101440 94671374233600 94671375312920 140721645210912 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94671377411376 94671377458564 94671408443392 140721645216740 140721645216865 140721645216865 140721645223880 0
/proc/854141/statm: 2483 701 625 264 0 134 0
[pid=854146] ppid=854141 vsize=254744 memory=236032 CPUtime=6.27 cores=5,7
/proc/854146/stat : 854146 (naps-1.03) R 854141 854141 849547 0 -1 4194304 35846 0 0 0 617 10 0 0 20 0 1 0 162424288 260857856 59008 134679101440 4194304 6891213 140721403906608 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 21880832 140721403909109 140721403909221 140721403909221 140721403916235 0
/proc/854146/statm: 63686 59008 660 659 0 62890 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 264676 KiB
Current children cumulated memory: 238836 KiB

[startup+12.7003 s]
/proc/loadavg: 4.15 4.14 4.10 5/259 854299
/proc/meminfo: memFree=121696704/131524600 swapFree=131071996/131071996
[pid=854141] ppid=854138 vsize=9932 memory=2804 CPUtime=0 cores=5,7
/proc/854141/stat : 854141 (naps-1.03.sh) S 854138 854141 849547 0 -1 4194304 222 245 0 0 0 0 0 0 20 0 1 0 162424288 10170368 701 134679101440 94671374233600 94671375312920 140721645210912 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94671377411376 94671377458564 94671408443392 140721645216740 140721645216865 140721645216865 140721645223880 0
/proc/854141/statm: 2483 701 625 264 0 134 0
[pid=854146] ppid=854141 vsize=284792 memory=268788 CPUtime=12.65 cores=5,7
/proc/854146/stat : 854146 (naps-1.03) R 854141 854141 849547 0 -1 4194304 36442 0 0 0 1255 10 0 0 20 0 1 0 162424288 291627008 67197 134679101440 4194304 6891213 140721403906608 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 21880832 140721403909109 140721403909221 140721403909221 140721403916235 0
/proc/854146/statm: 71198 67197 660 659 0 70402 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 294724 KiB
Current children cumulated memory: 271592 KiB

[startup+25.5003 s]
/proc/loadavg: 4.13 4.13 4.09 5/259 854302
/proc/meminfo: memFree=121615492/131524600 swapFree=131071996/131071996
[pid=854141] ppid=854138 vsize=9932 memory=2804 CPUtime=0 cores=5,7
/proc/854141/stat : 854141 (naps-1.03.sh) S 854138 854141 849547 0 -1 4194304 222 245 0 0 0 0 0 0 20 0 1 0 162424288 10170368 701 134679101440 94671374233600 94671375312920 140721645210912 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94671377411376 94671377458564 94671408443392 140721645216740 140721645216865 140721645216865 140721645223880 0
/proc/854141/statm: 2483 701 625 264 0 134 0
[pid=854146] ppid=854141 vsize=284792 memory=268788 CPUtime=25.41 cores=5,7
/proc/854146/stat : 854146 (naps-1.03) R 854141 854141 849547 0 -1 4194304 36468 0 0 0 2531 10 0 0 20 0 1 0 162424288 291627008 67197 134679101440 4194304 6891213 140721403906608 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 21880832 140721403909109 140721403909221 140721403909221 140721403916235 0
/proc/854146/statm: 71198 67197 660 659 0 70402 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 294724 KiB
Current children cumulated memory: 271592 KiB

[startup+51.1057 s]
/proc/loadavg: 4.15 4.14 4.09 5/259 854305
/proc/meminfo: memFree=121089264/131524600 swapFree=131071996/131071996
[pid=854141] ppid=854138 vsize=9932 memory=2804 CPUtime=0 cores=5,7
/proc/854141/stat : 854141 (naps-1.03.sh) S 854138 854141 849547 0 -1 4194304 222 245 0 0 0 0 0 0 20 0 1 0 162424288 10170368 701 134679101440 94671374233600 94671375312920 140721645210912 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94671377411376 94671377458564 94671408443392 140721645216740 140721645216865 140721645216865 140721645223880 0
/proc/854141/statm: 2483 701 625 264 0 134 0
[pid=854146] ppid=854141 vsize=265024 memory=259620 CPUtime=50.95 cores=5,7
/proc/854146/stat : 854146 (naps-1.03) R 854141 854141 849547 0 -1 4194304 36761 0 0 0 5084 11 0 0 20 0 1 0 162424288 271384576 64905 134679101440 4194304 6891213 140721403906608 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 21880832 140721403909109 140721403909221 140721403909221 140721403916235 0
/proc/854146/statm: 66256 64905 660 659 0 65460 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 274956 KiB
Current children cumulated memory: 262424 KiB

[startup+102.3 s]
/proc/loadavg: 4.11 4.13 4.09 5/259 854314
/proc/meminfo: memFree=118587588/131524600 swapFree=131071996/131071996
[pid=854141] ppid=854138 vsize=9932 memory=2804 CPUtime=0 cores=5,7
/proc/854141/stat : 854141 (naps-1.03.sh) S 854138 854141 849547 0 -1 4194304 222 245 0 0 0 0 0 0 20 0 1 0 162424288 10170368 701 134679101440 94671374233600 94671375312920 140721645210912 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94671377411376 94671377458564 94671408443392 140721645216740 140721645216865 140721645216865 140721645223880 0
/proc/854141/statm: 2483 701 625 264 0 134 0
[pid=854146] ppid=854141 vsize=270232 memory=264900 CPUtime=101.99 cores=5,7
/proc/854146/stat : 854146 (naps-1.03) R 854141 854141 849547 0 -1 4194304 37650 0 0 0 10188 11 0 0 20 0 1 0 162424288 276717568 66225 134679101440 4194304 6891213 140721403906608 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 21880832 140721403909109 140721403909221 140721403909221 140721403916235 0
/proc/854146/statm: 67558 66225 660 659 0 66762 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 280164 KiB
Current children cumulated memory: 267704 KiB

[startup+162.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/258 854324
/proc/meminfo: memFree=118552900/131524600 swapFree=131071996/131071996
[pid=854141] ppid=854138 vsize=9932 memory=2804 CPUtime=0 cores=5,7
/proc/854141/stat : 854141 (naps-1.03.sh) S 854138 854141 849547 0 -1 4194304 222 245 0 0 0 0 0 0 20 0 1 0 162424288 10170368 701 134679101440 94671374233600 94671375312920 140721645210912 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94671377411376 94671377458564 94671408443392 140721645216740 140721645216865 140721645216865 140721645223880 0
/proc/854141/statm: 2483 701 625 264 0 134 0
[pid=854146] ppid=854141 vsize=273112 memory=267780 CPUtime=161.81 cores=5,7
/proc/854146/stat : 854146 (naps-1.03) R 854141 854141 849547 0 -1 4194304 37946 0 0 0 16170 11 0 0 20 0 1 0 162424288 279666688 66945 134679101440 4194304 6891213 140721403906608 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 21880832 140721403909109 140721403909221 140721403909221 140721403916235 0
/proc/854146/statm: 68278 66945 660 659 0 67482 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 283044 KiB
Current children cumulated memory: 270584 KiB

[startup+222.3 s]
/proc/loadavg: 4.15 4.14 4.09 5/258 854334
/proc/meminfo: memFree=117700892/131524600 swapFree=131071996/131071996
[pid=854141] ppid=854138 vsize=9932 memory=2804 CPUtime=0 cores=5,7
/proc/854141/stat : 854141 (naps-1.03.sh) S 854138 854141 849547 0 -1 4194304 222 245 0 0 0 0 0 0 20 0 1 0 162424288 10170368 701 134679101440 94671374233600 94671375312920 140721645210912 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94671377411376 94671377458564 94671408443392 140721645216740 140721645216865 140721645216865 140721645223880 0
/proc/854141/statm: 2483 701 625 264 0 134 0
[pid=854146] ppid=854141 vsize=273384 memory=268052 CPUtime=221.63 cores=5,7
/proc/854146/stat : 854146 (naps-1.03) R 854141 854141 849547 0 -1 4194304 38070 0 0 0 22152 11 0 0 20 0 1 0 162424288 279945216 67013 134679101440 4194304 6891213 140721403906608 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 21880832 140721403909109 140721403909221 140721403909221 140721403916235 0
/proc/854146/statm: 68346 67013 660 659 0 67550 0
Current children cumulated CPU time: 221.63 s

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

/proc/loadavg: 4.12 4.12 4.09 5/258 855458
/proc/meminfo: memFree=117908584/131524600 swapFree=131071996/131071996
[pid=854141] ppid=854138 vsize=9932 memory=2804 CPUtime=0 cores=5,7
/proc/854141/stat : 854141 (naps-1.03.sh) S 854138 854141 849547 0 -1 4194304 222 245 0 0 0 0 0 0 20 0 1 0 162424288 10170368 701 134679101440 94671374233600 94671375312920 140721645210912 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94671377411376 94671377458564 94671408443392 140721645216740 140721645216865 140721645216865 140721645223880 0
/proc/854141/statm: 2483 701 625 264 0 134 0
[pid=854146] ppid=854141 vsize=281236 memory=277032 CPUtime=3033.71 cores=5,7
/proc/854146/stat : 854146 (naps-1.03) R 854141 854141 849547 0 -1 4194304 60960 0 0 0 303328 43 0 0 20 0 1 0 162424288 287985664 69258 134679101440 4194304 6891213 140721403906608 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 21880832 140721403909109 140721403909221 140721403909221 140721403916235 0
/proc/854146/statm: 70309 69258 660 659 0 69513 0
Current children cumulated CPU time: 3033.71 s
Current children cumulated vsize: 291168 KiB
Current children cumulated memory: 279836 KiB

[startup+3102.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/258 855469
/proc/meminfo: memFree=117905308/131524600 swapFree=131071996/131071996
[pid=854141] ppid=854138 vsize=9932 memory=2804 CPUtime=0 cores=5,7
/proc/854141/stat : 854141 (naps-1.03.sh) S 854138 854141 849547 0 -1 4194304 222 245 0 0 0 0 0 0 20 0 1 0 162424288 10170368 701 134679101440 94671374233600 94671375312920 140721645210912 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94671377411376 94671377458564 94671408443392 140721645216740 140721645216865 140721645216865 140721645223880 0
/proc/854141/statm: 2483 701 625 264 0 134 0
[pid=854146] ppid=854141 vsize=281888 memory=277684 CPUtime=3093.55 cores=5,7
/proc/854146/stat : 854146 (naps-1.03) R 854141 854141 849547 0 -1 4194304 61293 0 0 0 309312 43 0 0 20 0 1 0 162424288 288653312 69421 134679101440 4194304 6891213 140721403906608 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 21880832 140721403909109 140721403909221 140721403909221 140721403916235 0
/proc/854146/statm: 70472 69421 660 659 0 69676 0
Current children cumulated CPU time: 3093.55 s
Current children cumulated vsize: 291820 KiB
Current children cumulated memory: 280488 KiB

[startup+3162.3 s]
/proc/loadavg: 4.18 4.13 4.10 5/258 855479
/proc/meminfo: memFree=117904704/131524600 swapFree=131071996/131071996
[pid=854141] ppid=854138 vsize=9932 memory=2804 CPUtime=0 cores=5,7
/proc/854141/stat : 854141 (naps-1.03.sh) S 854138 854141 849547 0 -1 4194304 222 245 0 0 0 0 0 0 20 0 1 0 162424288 10170368 701 134679101440 94671374233600 94671375312920 140721645210912 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94671377411376 94671377458564 94671408443392 140721645216740 140721645216865 140721645216865 140721645223880 0
/proc/854141/statm: 2483 701 625 264 0 134 0
[pid=854146] ppid=854141 vsize=281888 memory=277684 CPUtime=3153.38 cores=5,7
/proc/854146/stat : 854146 (naps-1.03) R 854141 854141 849547 0 -1 4194304 61376 0 0 0 315295 43 0 0 20 0 1 0 162424288 288653312 69421 134679101440 4194304 6891213 140721403906608 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 21880832 140721403909109 140721403909221 140721403909221 140721403916235 0
/proc/854146/statm: 70472 69421 660 659 0 69676 0
Current children cumulated CPU time: 3153.38 s
Current children cumulated vsize: 291820 KiB
Current children cumulated memory: 280488 KiB

[startup+3222.3 s]
/proc/loadavg: 4.14 4.13 4.10 5/260 855876
/proc/meminfo: memFree=118002884/131524600 swapFree=131071996/131071996
[pid=854141] ppid=854138 vsize=9932 memory=2804 CPUtime=0 cores=5,7
/proc/854141/stat : 854141 (naps-1.03.sh) S 854138 854141 849547 0 -1 4194304 222 245 0 0 0 0 0 0 20 0 1 0 162424288 10170368 701 134679101440 94671374233600 94671375312920 140721645210912 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94671377411376 94671377458564 94671408443392 140721645216740 140721645216865 140721645216865 140721645223880 0
/proc/854141/statm: 2483 701 625 264 0 134 0
[pid=854146] ppid=854141 vsize=281888 memory=277684 CPUtime=3213.22 cores=5,7
/proc/854146/stat : 854146 (naps-1.03) R 854141 854141 849547 0 -1 4194304 61461 0 0 0 321279 43 0 0 20 0 1 0 162424288 288653312 69421 134679101440 4194304 6891213 140721403906608 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 21880832 140721403909109 140721403909221 140721403909221 140721403916235 0
/proc/854146/statm: 70472 69421 660 659 0 69676 0
Current children cumulated CPU time: 3213.22 s
Current children cumulated vsize: 291820 KiB
Current children cumulated memory: 280488 KiB

[startup+3282.3 s]
/proc/loadavg: 4.15 4.14 4.10 5/260 855887
/proc/meminfo: memFree=118001832/131524600 swapFree=131071996/131071996
[pid=854141] ppid=854138 vsize=9932 memory=2804 CPUtime=0 cores=5,7
/proc/854141/stat : 854141 (naps-1.03.sh) S 854138 854141 849547 0 -1 4194304 222 245 0 0 0 0 0 0 20 0 1 0 162424288 10170368 701 134679101440 94671374233600 94671375312920 140721645210912 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94671377411376 94671377458564 94671408443392 140721645216740 140721645216865 140721645216865 140721645223880 0
/proc/854141/statm: 2483 701 625 264 0 134 0
[pid=854146] ppid=854141 vsize=281888 memory=277684 CPUtime=3273.05 cores=5,7
/proc/854146/stat : 854146 (naps-1.03) R 854141 854141 849547 0 -1 4194304 61559 0 0 0 327262 43 0 0 20 0 1 0 162424288 288653312 69421 134679101440 4194304 6891213 140721403906608 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 21880832 140721403909109 140721403909221 140721403909221 140721403916235 0
/proc/854146/statm: 70472 69421 660 659 0 69676 0
Current children cumulated CPU time: 3273.05 s
Current children cumulated vsize: 291820 KiB
Current children cumulated memory: 280488 KiB

[startup+3342.3 s]
/proc/loadavg: 4.10 4.13 4.09 5/261 856066
/proc/meminfo: memFree=117969392/131524600 swapFree=131071996/131071996
[pid=854141] ppid=854138 vsize=9932 memory=2804 CPUtime=0 cores=5,7
/proc/854141/stat : 854141 (naps-1.03.sh) S 854138 854141 849547 0 -1 4194304 222 245 0 0 0 0 0 0 20 0 1 0 162424288 10170368 701 134679101440 94671374233600 94671375312920 140721645210912 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94671377411376 94671377458564 94671408443392 140721645216740 140721645216865 140721645216865 140721645223880 0
/proc/854141/statm: 2483 701 625 264 0 134 0
[pid=854146] ppid=854141 vsize=314000 memory=309748 CPUtime=3332.88 cores=5,7
/proc/854146/stat : 854146 (naps-1.03) R 854141 854141 849547 0 -1 4194304 61994 0 0 0 333245 43 0 0 20 0 1 0 162424288 321536000 77437 134679101440 4194304 6891213 140721403906608 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 21880832 140721403909109 140721403909221 140721403909221 140721403916235 0
/proc/854146/statm: 78500 77437 660 659 0 77704 0
Current children cumulated CPU time: 3332.88 s
Current children cumulated vsize: 323932 KiB
Current children cumulated memory: 312552 KiB

[startup+3402.3 s]
/proc/loadavg: 4.14 4.13 4.09 5/261 856076
/proc/meminfo: memFree=117998360/131524600 swapFree=131071996/131071996
[pid=854141] ppid=854138 vsize=9932 memory=2804 CPUtime=0 cores=5,7
/proc/854141/stat : 854141 (naps-1.03.sh) S 854138 854141 849547 0 -1 4194304 222 245 0 0 0 0 0 0 20 0 1 0 162424288 10170368 701 134679101440 94671374233600 94671375312920 140721645210912 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94671377411376 94671377458564 94671408443392 140721645216740 140721645216865 140721645216865 140721645223880 0
/proc/854141/statm: 2483 701 625 264 0 134 0
[pid=854146] ppid=854141 vsize=281888 memory=277684 CPUtime=3392.72 cores=5,7
/proc/854146/stat : 854146 (naps-1.03) R 854141 854141 849547 0 -1 4194304 62092 0 0 0 339229 43 0 0 20 0 1 0 162424288 288653312 69421 134679101440 4194304 6891213 140721403906608 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 21880832 140721403909109 140721403909221 140721403909221 140721403916235 0
/proc/854146/statm: 70472 69421 660 659 0 69676 0
Current children cumulated CPU time: 3392.72 s
Current children cumulated vsize: 291820 KiB
Current children cumulated memory: 280488 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/262 856089
/proc/meminfo: memFree=117997212/131524600 swapFree=131071996/131071996
[pid=854141] ppid=854138 vsize=9932 memory=2804 CPUtime=0 cores=5,7
/proc/854141/stat : 854141 (naps-1.03.sh) S 854138 854141 849547 0 -1 4194304 222 245 0 0 0 0 0 0 20 0 1 0 162424288 10170368 701 134679101440 94671374233600 94671375312920 140721645210912 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94671377411376 94671377458564 94671408443392 140721645216740 140721645216865 140721645216865 140721645223880 0
/proc/854141/statm: 2483 701 625 264 0 134 0
[pid=854146] ppid=854141 vsize=282720 memory=278516 CPUtime=3452.55 cores=5,7
/proc/854146/stat : 854146 (naps-1.03) R 854141 854141 849547 0 -1 4194304 62401 0 0 0 345212 43 0 0 20 0 1 0 162424288 289505280 69629 134679101440 4194304 6891213 140721403906608 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 21880832 140721403909109 140721403909221 140721403909221 140721403916235 0
/proc/854146/statm: 70680 69629 660 659 0 69884 0
Current children cumulated CPU time: 3452.55 s
Current children cumulated vsize: 292652 KiB
Current children cumulated memory: 281320 KiB

[startup+3522.3 s]
/proc/loadavg: 4.21 4.14 4.10 5/260 856111
/proc/meminfo: memFree=118054400/131524600 swapFree=131071996/131071996
[pid=854141] ppid=854138 vsize=9932 memory=2804 CPUtime=0 cores=5,7
/proc/854141/stat : 854141 (naps-1.03.sh) S 854138 854141 849547 0 -1 4194304 222 245 0 0 0 0 0 0 20 0 1 0 162424288 10170368 701 134679101440 94671374233600 94671375312920 140721645210912 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94671377411376 94671377458564 94671408443392 140721645216740 140721645216865 140721645216865 140721645223880 0
/proc/854141/statm: 2483 701 625 264 0 134 0
[pid=854146] ppid=854141 vsize=282720 memory=278516 CPUtime=3512.39 cores=5,7
/proc/854146/stat : 854146 (naps-1.03) R 854141 854141 849547 0 -1 4194304 62468 0 0 0 351196 43 0 0 20 0 1 0 162424288 289505280 69629 134679101440 4194304 6891213 140721403906608 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 21880832 140721403909109 140721403909221 140721403909221 140721403916235 0
/proc/854146/statm: 70680 69629 660 659 0 69884 0
Current children cumulated CPU time: 3512.39 s
Current children cumulated vsize: 292652 KiB
Current children cumulated memory: 281320 KiB

[startup+3582.3 s]
/proc/loadavg: 4.14 4.13 4.09 5/260 856121
/proc/meminfo: memFree=118054928/131524600 swapFree=131071996/131071996
[pid=854141] ppid=854138 vsize=9932 memory=2804 CPUtime=0 cores=5,7
/proc/854141/stat : 854141 (naps-1.03.sh) S 854138 854141 849547 0 -1 4194304 222 245 0 0 0 0 0 0 20 0 1 0 162424288 10170368 701 134679101440 94671374233600 94671375312920 140721645210912 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94671377411376 94671377458564 94671408443392 140721645216740 140721645216865 140721645216865 140721645223880 0
/proc/854141/statm: 2483 701 625 264 0 134 0
[pid=854146] ppid=854141 vsize=282720 memory=278516 CPUtime=3572.22 cores=5,7
/proc/854146/stat : 854146 (naps-1.03) R 854141 854141 849547 0 -1 4194304 62566 0 0 0 357179 43 0 0 20 0 1 0 162424288 289505280 69629 134679101440 4194304 6891213 140721403906608 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 21880832 140721403909109 140721403909221 140721403909221 140721403916235 0
/proc/854146/statm: 70680 69629 660 659 0 69884 0
Current children cumulated CPU time: 3572.22 s
Current children cumulated vsize: 292652 KiB
Current children cumulated memory: 281320 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.2 s]
/proc/loadavg: 4.01 4.10 4.08 4/252 856157
/proc/meminfo: memFree=119687732/131524600 swapFree=131071996/131071996
[pid=854141] ppid=854138 vsize=9932 memory=2804 CPUtime=0 cores=5,7
/proc/854141/stat : 854141 (naps-1.03.sh) S 854138 854141 849547 0 -1 4194304 222 245 0 0 0 0 0 0 20 0 1 0 162424288 10170368 701 134679101440 94671374233600 94671375312920 140721645210912 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94671377411376 94671377458564 94671408443392 140721645216740 140721645216865 140721645216865 140721645223880 0
/proc/854141/statm: 2483 701 625 264 0 134 0
[pid=854146] ppid=854141 vsize=315320 memory=310972 CPUtime=3600.05 cores=5,7
/proc/854146/stat : 854146 (naps-1.03) R 854141 854141 849547 0 -1 4194304 63051 0 0 0 359961 44 0 0 20 0 1 0 162424288 322887680 77743 134679101440 4194304 6891213 140721403906608 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 21880832 140721403909109 140721403909221 140721403909221 140721403916235 0
/proc/854146/statm: 78830 77743 660 659 0 78034 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 325252 KiB
Current children cumulated memory: 313776 KiB

Sending SIGTERM to process tree (bottom up)

[startup+3610.2 s]
# the end of solver process 854141 was just reported to runsolver
# Child status: 10

# cumulated CPU time of all completed processes:  user=3599.62 s, system=0.451605 s

Solver just ended.
Sleeping 2 seconds
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 10

Real time (s): 3610.2
CPU time (s): 3600.07
CPU user time (s): 3599.62
CPU system time (s): 0.451605
CPU usage (%): 99.7193
Max. virtual memory (cumulated for all children) (KiB): 396040
Max. memory (cumulated for all children) (KiB): 377192

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.62
system time used= 0.451605
maximum resident set size= 381800
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 63556
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= 55
involuntary context switches= 3213


# summary of solver processes directly reported to runsolver:
#   pid: 854141
#   total CPU time (s): 3600.07
#   total CPU user time (s): 3599.62
#   total CPU system time (s): 0.451605

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.84766 second user time and 18.0017 second system time

The end

Launcher Data 

Begin job on nodeC029 at 2024-07-16 06:03:02
IDJOB=4434217
IDBENCH=147662
IDSOLVER=3063
FILE ID=nodeC029/4434217-1721102569
RUNJOBID= nodeC029-1721095335-849560
SLURM_JOB_ID= 7505604
Free space on /tmp= 890040 MiB

SOLVER NAME= NaPS 1.03
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/logic_synthesis/normalized-bench1.r.opb
COMMAND LINE= HOME/naps-1.03.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4434217-1721102569/watcher-4434217-1721102569 -o /tmp/evaluation-result-4434217-1721102569/solver-4434217-1721102569 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1721095335-849560 --watchdog 3760  HOME/naps-1.03.sh HOME/instance-4434217-1721102569.opb

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= f38762496267db1df9beeeeb0c56175f
RANDOM SEED=273965285

nodeC029.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3669.270
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7000.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3666.724
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.98
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.175
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7000.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3643.759
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.98
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3669.252
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7000.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3659.243
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.98
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.353
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7000.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3662.819
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.98
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        104064484 kB
MemAvailable:   110093240 kB
Buffers:          390612 kB
Cached:          6401832 kB
SwapCached:            0 kB
Active:           712424 kB
Inactive:       25955036 kB
Active(anon):       1504 kB
Inactive(anon): 19911224 kB
Active(file):     710920 kB
Inactive(file):  6043812 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             12100 kB
Writeback:             0 kB
AnonPages:      19873164 kB
Mapped:           111884 kB
Shmem:             37720 kB
KReclaimable:     227344 kB
Slab:             348776 kB
SReclaimable:     227344 kB
SUnreclaim:       121432 kB
KernelStack:        4108 kB
PageTables:        48324 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:   21870536 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            60992 kB
HardwareCorrupted:     0 kB
AnonHugePages:  14090240 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      279252 kB
DirectMap2M:    36194304 kB
DirectMap1G:    99614720 kB

Free space on /tmp at the end= 890048 MiB
End job on nodeC029 at 2024-07-16 07:03:12