Trace number 4434450

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)377 3600.1 3609.9

General information on the benchmark

NamePB24/normalized-PB11/OPT-LIN/
kullmann/normalized-mul_8_3_shg.opb
MD5SUM9f3f50f555350d326304759fc873d478
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 benchmark36
Best CPU time to get the best result obtained on this benchmark74.5212
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5048
Total number of constraints65280
Number of constraints which are clauses65280
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 constraint18
Maximum length of a constraint45
Number of terms in the objective function 5048
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 5048
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 5048
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-4434450-1721131149.opb
4.77/4.87	c single stage optimization mode
4.98/5.00	o 1004
33.58/33.74	o 377
3600.09/3609.90	c 
3600.09/3609.90	c *** TERMINATED *** by signal 15
3600.09/3609.90	s SATISFIABLE
3600.09/3609.90	c _____________________________________________________________________________
3600.09/3609.90	c std/band forms        : 2,0
3600.09/3609.90	c 2cl/3cl ITE-codings   : 0,0
3600.09/3609.90	c BDD/srt/adr Max costs : 0,395198,0
3600.09/3609.90	c BDDraw/bin/mul/srt/adr: 0,0,0,2,0
3600.09/3609.90	c BDD nodes             : 0
3600.09/3609.90	c Es1/CC detections     : 0,0
3600.09/3609.90	c CC sort               : 2
3600.09/3609.90	c SAT/UNSAT calls       : 2,0
3600.09/3609.90	c regenrated variables  : 0
3600.09/3609.90	c eliminated fixed lits : 0
3600.09/3609.90	c goal lit flips        : 4044
3600.09/3609.90	c goal stages           : 1
3600.09/3609.90	c goal shrink           : 0
3600.09/3609.90	c goal coeff separations: 0
3600.09/3609.90	c restarts              : 1409
3600.09/3609.90	c conflicts             : 22278          (6 /sec)
3600.09/3609.90	c decisions             : 3043709        (846 /sec)
3600.09/3609.90	c propagations          : 199810048      (55529 /sec)
3600.09/3609.90	c inspects              : 0              (0 /sec)
3600.09/3609.90	c CPU time (solving tm) : 3598 s        (3593 s, SAT 28.42 s, UNSAT 0 s)
3600.09/3609.90	c Time for Opt-base     : 0.002927 s
3600.09/3609.90	c Steps for Opt-base    : 0
3600.09/3609.90	c Time for BDD coding   : 0 s
3600.09/3609.90	c Time for srt coding   : 0.07375 s
3600.09/3609.90	c _____________________________________________________________________________
3600.09/3609.90	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.09/3609.90	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.09/3609.90	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 -x4689 -x4690 -x4691 -x4692 x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 x4715 x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 x4749 x4750 -x4751 x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 x5040 -x5041 -x5042 -x5043 -x5044 -x5045 x5046 -x5047 x5048

Verifier Data 

OK	377

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: 63968 MiB (47387 MiB free)
  memory of node 1: 64473 MiB (60882 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4434450-1721131149/watcher-4434450-1721131149 -o /tmp/evaluation-result-4434450-1721131149/solver-4434450-1721131149 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1721127550-856285 --watchdog 3760 HOME/naps-1.03.sh HOME/instance-4434450-1721131149.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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=858356, runsolver pid=858353

[startup+0.100084 s]*
/proc/loadavg: 4.12 4.10 4.04 5/262 858361
/proc/meminfo: memFree=110864512/131524596 swapFree=131071996/131071996
[pid=858356] ppid=858353 vsize=9932 memory=2636 CPUtime=0 cores=1,3
/proc/858356/stat : 858356 (naps-1.03.sh) S 858353 858356 856273 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 165285453 10170368 659 134679101440 94741644824576 94741645903896 140729517992656 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94741648002352 94741648049540 94741669363712 140729517999076 140729517999201 140729517999201 140729518006216 0
/proc/858356/statm: 2483 659 581 264 0 134 0
[pid=858361] ppid=858356 vsize=7084 memory=5604 CPUtime=0.1 cores=1,3
/proc/858361/stat : 858361 (naps-1.03) R 858356 858356 856273 0 -1 4194304 967 0 0 0 10 0 0 0 20 0 1 0 165285453 7254016 1401 134679101440 4194304 6891213 140729148584944 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 29220864 140729148589045 140729148589157 140729148589157 140729148596171 0
/proc/858361/statm: 1771 1401 580 659 0 975 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 17016 KiB
Current children cumulated memory: 8240 KiB

[startup+0.204923 s]*
/proc/loadavg: 4.12 4.10 4.04 5/262 858361
/proc/meminfo: memFree=110863700/131524596 swapFree=131071996/131071996
[pid=858356] ppid=858353 vsize=9932 memory=2636 CPUtime=0 cores=1,3
/proc/858356/stat : 858356 (naps-1.03.sh) S 858353 858356 856273 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 165285453 10170368 659 134679101440 94741644824576 94741645903896 140729517992656 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94741648002352 94741648049540 94741669363712 140729517999076 140729517999201 140729517999201 140729518006216 0
/proc/858356/statm: 2483 659 581 264 0 134 0
[pid=858361] ppid=858356 vsize=7348 memory=5868 CPUtime=0.2 cores=1,3
/proc/858361/stat : 858361 (naps-1.03) R 858356 858356 856273 0 -1 4194304 1052 0 0 0 20 0 0 0 20 0 1 0 165285453 7524352 1467 134679101440 4194304 6891213 140729148584944 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 29220864 140729148589045 140729148589157 140729148589157 140729148596171 0
/proc/858361/statm: 1837 1467 580 659 0 1041 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 17280 KiB
Current children cumulated memory: 8504 KiB

[startup+0.305026 s]*
/proc/loadavg: 4.12 4.10 4.04 5/262 858361
/proc/meminfo: memFree=110863084/131524596 swapFree=131071996/131071996
[pid=858356] ppid=858353 vsize=9932 memory=2636 CPUtime=0 cores=1,3
/proc/858356/stat : 858356 (naps-1.03.sh) S 858353 858356 856273 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 165285453 10170368 659 134679101440 94741644824576 94741645903896 140729517992656 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94741648002352 94741648049540 94741669363712 140729517999076 140729517999201 140729517999201 140729518006216 0
/proc/858356/statm: 2483 659 581 264 0 134 0
[pid=858361] ppid=858356 vsize=7612 memory=6132 CPUtime=0.3 cores=1,3
/proc/858361/stat : 858361 (naps-1.03) R 858356 858356 856273 0 -1 4194304 1130 0 0 0 30 0 0 0 20 0 1 0 165285453 7794688 1533 134679101440 4194304 6891213 140729148584944 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 29220864 140729148589045 140729148589157 140729148589157 140729148596171 0
/proc/858361/statm: 1903 1533 580 659 0 1107 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 17544 KiB
Current children cumulated memory: 8768 KiB

[startup+0.700167 s]
/proc/loadavg: 4.12 4.10 4.04 5/262 858361
/proc/meminfo: memFree=110861572/131524596 swapFree=131071996/131071996
[pid=858356] ppid=858353 vsize=9932 memory=2636 CPUtime=0 cores=1,3
/proc/858356/stat : 858356 (naps-1.03.sh) S 858353 858356 856273 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 165285453 10170368 659 134679101440 94741644824576 94741645903896 140729517992656 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94741648002352 94741648049540 94741669363712 140729517999076 140729517999201 140729517999201 140729518006216 0
/proc/858356/statm: 2483 659 581 264 0 134 0
[pid=858361] ppid=858356 vsize=8964 memory=7452 CPUtime=0.68 cores=1,3
/proc/858361/stat : 858361 (naps-1.03) R 858356 858356 856273 0 -1 4194304 1454 0 0 0 68 0 0 0 20 0 1 0 165285453 9179136 1863 134679101440 4194304 6891213 140729148584944 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 29220864 140729148589045 140729148589157 140729148589157 140729148596171 0
/proc/858361/statm: 2241 1863 580 659 0 1445 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 18896 KiB
Current children cumulated memory: 10088 KiB

[startup+1.50017 s]
/proc/loadavg: 4.11 4.10 4.04 5/262 858361
/proc/meminfo: memFree=111483440/131524596 swapFree=131071996/131071996
[pid=858356] ppid=858353 vsize=9932 memory=2636 CPUtime=0 cores=1,3
/proc/858356/stat : 858356 (naps-1.03.sh) S 858353 858356 856273 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 165285453 10170368 659 134679101440 94741644824576 94741645903896 140729517992656 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94741648002352 94741648049540 94741669363712 140729517999076 140729517999201 140729517999201 140729518006216 0
/proc/858356/statm: 2483 659 581 264 0 134 0
[pid=858361] ppid=858356 vsize=11580 memory=10092 CPUtime=1.48 cores=1,3
/proc/858361/stat : 858361 (naps-1.03) R 858356 858356 856273 0 -1 4194304 2088 0 0 0 148 0 0 0 20 0 1 0 165285453 11857920 2523 134679101440 4194304 6891213 140729148584944 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 29220864 140729148589045 140729148589157 140729148589157 140729148596171 0
/proc/858361/statm: 2895 2523 580 659 0 2099 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 21512 KiB
Current children cumulated memory: 12728 KiB

[startup+3.10521 s]
/proc/loadavg: 4.11 4.10 4.04 5/259 858375
/proc/meminfo: memFree=122752784/131524596 swapFree=131071996/131071996
[pid=858356] ppid=858353 vsize=9932 memory=2636 CPUtime=0 cores=1,3
/proc/858356/stat : 858356 (naps-1.03.sh) S 858353 858356 856273 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 165285453 10170368 659 134679101440 94741644824576 94741645903896 140729517992656 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94741648002352 94741648049540 94741669363712 140729517999076 140729517999201 140729517999201 140729518006216 0
/proc/858356/statm: 2483 659 581 264 0 134 0
[pid=858361] ppid=858356 vsize=16708 memory=14900 CPUtime=3.08 cores=1,3
/proc/858361/stat : 858361 (naps-1.03) R 858356 858356 856273 0 -1 4194304 3388 0 0 0 307 1 0 0 20 0 1 0 165285453 17108992 3725 134679101440 4194304 6891213 140729148584944 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 29220864 140729148589045 140729148589157 140729148589157 140729148596171 0
/proc/858361/statm: 4177 3725 580 659 0 3381 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 26640 KiB
Current children cumulated memory: 17536 KiB

[startup+6.30028 s]
/proc/loadavg: 4.10 4.10 4.03 5/262 858411
/proc/meminfo: memFree=122471592/131524596 swapFree=131071996/131071996
[pid=858356] ppid=858353 vsize=9932 memory=2636 CPUtime=0 cores=1,3
/proc/858356/stat : 858356 (naps-1.03.sh) S 858353 858356 856273 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 165285453 10170368 659 134679101440 94741644824576 94741645903896 140729517992656 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94741648002352 94741648049540 94741669363712 140729517999076 140729517999201 140729517999201 140729518006216 0
/proc/858356/statm: 2483 659 581 264 0 134 0
[pid=858361] ppid=858356 vsize=252724 memory=246232 CPUtime=6.27 cores=1,3
/proc/858361/stat : 858361 (naps-1.03) R 858356 858356 856273 0 -1 4194304 41063 0 0 0 619 8 0 0 20 0 1 0 165285453 258789376 61558 134679101440 4194304 6891213 140729148584944 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 29220864 140729148589045 140729148589157 140729148589157 140729148596171 0
/proc/858361/statm: 63181 61558 644 659 0 62385 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 262656 KiB
Current children cumulated memory: 248868 KiB

[startup+12.7003 s]
/proc/loadavg: 4.09 4.09 4.03 5/262 858413
/proc/meminfo: memFree=122423596/131524596 swapFree=131071996/131071996
[pid=858356] ppid=858353 vsize=9932 memory=2636 CPUtime=0 cores=1,3
/proc/858356/stat : 858356 (naps-1.03.sh) S 858353 858356 856273 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 165285453 10170368 659 134679101440 94741644824576 94741645903896 140729517992656 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94741648002352 94741648049540 94741669363712 140729517999076 140729517999201 140729517999201 140729518006216 0
/proc/858356/statm: 2483 659 581 264 0 134 0
[pid=858361] ppid=858356 vsize=282388 memory=276040 CPUtime=12.65 cores=1,3
/proc/858361/stat : 858361 (naps-1.03) R 858356 858356 856273 0 -1 4194304 42345 0 0 0 1256 9 0 0 20 0 1 0 165285453 289165312 69010 134679101440 4194304 6891213 140729148584944 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 29220864 140729148589045 140729148589157 140729148589157 140729148596171 0
/proc/858361/statm: 70597 69010 644 659 0 69801 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 292320 KiB
Current children cumulated memory: 278676 KiB

[startup+25.5003 s]
/proc/loadavg: 4.16 4.11 4.04 5/262 858415
/proc/meminfo: memFree=120863344/131524596 swapFree=131071996/131071996
[pid=858356] ppid=858353 vsize=9932 memory=2636 CPUtime=0 cores=1,3
/proc/858356/stat : 858356 (naps-1.03.sh) S 858353 858356 856273 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 165285453 10170368 659 134679101440 94741644824576 94741645903896 140729517992656 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94741648002352 94741648049540 94741669363712 140729517999076 140729517999201 140729517999201 140729518006216 0
/proc/858356/statm: 2483 659 581 264 0 134 0
[pid=858361] ppid=858356 vsize=343776 memory=332116 CPUtime=25.41 cores=1,3
/proc/858361/stat : 858361 (naps-1.03) R 858356 858356 856273 0 -1 4194304 46996 0 0 0 2529 12 0 0 20 0 1 0 165285453 352026624 83029 134679101440 4194304 6891213 140729148584944 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 29220864 140729148589045 140729148589157 140729148589157 140729148596171 0
/proc/858361/statm: 85944 83029 660 659 0 85148 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 353708 KiB
Current children cumulated memory: 334752 KiB

[startup+51.106 s]
/proc/loadavg: 4.09 4.09 4.04 5/262 858419
/proc/meminfo: memFree=120566032/131524596 swapFree=131071996/131071996
[pid=858356] ppid=858353 vsize=9932 memory=2636 CPUtime=0 cores=1,3
/proc/858356/stat : 858356 (naps-1.03.sh) S 858353 858356 856273 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 165285453 10170368 659 134679101440 94741644824576 94741645903896 140729517992656 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94741648002352 94741648049540 94741669363712 140729517999076 140729517999201 140729517999201 140729518006216 0
/proc/858356/statm: 2483 659 581 264 0 134 0
[pid=858361] ppid=858356 vsize=343580 memory=320476 CPUtime=50.94 cores=1,3
/proc/858361/stat : 858361 (naps-1.03) R 858356 858356 856273 0 -1 4194304 48925 0 0 0 5080 14 0 0 20 0 1 0 165285453 351825920 80119 134679101440 4194304 6891213 140729148584944 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 29220864 140729148589045 140729148589157 140729148589157 140729148596171 0
/proc/858361/statm: 85895 80119 660 659 0 85099 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 353512 KiB
Current children cumulated memory: 323112 KiB

[startup+102.3 s]
/proc/loadavg: 4.08 4.09 4.04 5/261 858443
/proc/meminfo: memFree=120753632/131524596 swapFree=131071996/131071996
[pid=858356] ppid=858353 vsize=9932 memory=2636 CPUtime=0 cores=1,3
/proc/858356/stat : 858356 (naps-1.03.sh) S 858353 858356 856273 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 165285453 10170368 659 134679101440 94741644824576 94741645903896 140729517992656 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94741648002352 94741648049540 94741669363712 140729517999076 140729517999201 140729517999201 140729518006216 0
/proc/858356/statm: 2483 659 581 264 0 134 0
[pid=858361] ppid=858356 vsize=350800 memory=331692 CPUtime=101.96 cores=1,3
/proc/858361/stat : 858361 (naps-1.03) R 858356 858356 856273 0 -1 4194304 55254 0 0 0 10176 20 0 0 20 0 1 0 165285453 359219200 82923 134679101440 4194304 6891213 140729148584944 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 29220864 140729148589045 140729148589157 140729148589157 140729148596171 0
/proc/858361/statm: 87700 82923 660 659 0 86904 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 360732 KiB
Current children cumulated memory: 334328 KiB

[startup+162.3 s]
/proc/loadavg: 4.42 4.17 4.07 5/261 858453
/proc/meminfo: memFree=120870572/131524596 swapFree=131071996/131071996
[pid=858356] ppid=858353 vsize=9932 memory=2636 CPUtime=0 cores=1,3
/proc/858356/stat : 858356 (naps-1.03.sh) S 858353 858356 856273 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 165285453 10170368 659 134679101440 94741644824576 94741645903896 140729517992656 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94741648002352 94741648049540 94741669363712 140729517999076 140729517999201 140729517999201 140729518006216 0
/proc/858356/statm: 2483 659 581 264 0 134 0
[pid=858361] ppid=858356 vsize=317668 memory=304984 CPUtime=161.76 cores=1,3
/proc/858361/stat : 858361 (naps-1.03) R 858356 858356 856273 0 -1 4194304 58289 0 0 0 16153 23 0 0 20 0 1 0 165285453 325292032 76246 134679101440 4194304 6891213 140729148584944 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 29220864 140729148589045 140729148589157 140729148589157 140729148596171 0
/proc/858361/statm: 79417 76246 660 659 0 78621 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 327600 KiB
Current children cumulated memory: 307620 KiB

[startup+222.3 s]
/proc/loadavg: 4.27 4.18 4.08 5/261 858464
/proc/meminfo: memFree=120829904/131524596 swapFree=131071996/131071996
[pid=858356] ppid=858353 vsize=9932 memory=2636 CPUtime=0 cores=1,3
/proc/858356/stat : 858356 (naps-1.03.sh) S 858353 858356 856273 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 165285453 10170368 659 134679101440 94741644824576 94741645903896 140729517992656 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94741648002352 94741648049540 94741669363712 140729517999076 140729517999201 140729517999201 140729518006216 0
/proc/858356/statm: 2483 659 581 264 0 134 0
[pid=858361] ppid=858356 vsize=357912 memory=345204 CPUtime=221.57 cores=1,3
/proc/858361/stat : 858361 (naps-1.03) R 858356 858356 856273 0 -1 4194304 61526 0 0 0 22130 27 0 0 20 0 1 0 165285453 366501888 86301 134679101440 4194304 6891213 140729148584944 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 29220864 140729148589045 140729148589157 140729148589157 140729148596171 0
/proc/858361/statm: 89478 86301 660 659 0 88682 0
Current children cumulated CPU time: 221.57 s

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

/proc/loadavg: 4.09 4.09 4.09 6/261 859658
/proc/meminfo: memFree=113730884/131524596 swapFree=131071996/131071996
[pid=858356] ppid=858353 vsize=9932 memory=2636 CPUtime=0 cores=1,3
/proc/858356/stat : 858356 (naps-1.03.sh) S 858353 858356 856273 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 165285453 10170368 659 134679101440 94741644824576 94741645903896 140729517992656 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94741648002352 94741648049540 94741669363712 140729517999076 140729517999201 140729517999201 140729518006216 0
/proc/858356/statm: 2483 659 581 264 0 134 0
[pid=858361] ppid=858356 vsize=384780 memory=381008 CPUtime=3093.78 cores=1,3
/proc/858361/stat : 858361 (naps-1.03) R 858356 858356 856273 0 -1 4194304 125574 0 0 0 309209 169 0 0 20 0 1 0 165285453 394014720 95252 134679101440 4194304 6891213 140729148584944 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 29220864 140729148589045 140729148589157 140729148589157 140729148596171 0
/proc/858361/statm: 96195 95252 660 659 0 95399 0
Current children cumulated CPU time: 3093.78 s
Current children cumulated vsize: 394712 KiB
Current children cumulated memory: 383644 KiB

[startup+3162.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/261 859668
/proc/meminfo: memFree=113759420/131524596 swapFree=131071996/131071996
[pid=858356] ppid=858353 vsize=9932 memory=2636 CPUtime=0 cores=1,3
/proc/858356/stat : 858356 (naps-1.03.sh) S 858353 858356 856273 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 165285453 10170368 659 134679101440 94741644824576 94741645903896 140729517992656 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94741648002352 94741648049540 94741669363712 140729517999076 140729517999201 140729517999201 140729518006216 0
/proc/858356/statm: 2483 659 581 264 0 134 0
[pid=858361] ppid=858356 vsize=385624 memory=381852 CPUtime=3153.63 cores=1,3
/proc/858361/stat : 858361 (naps-1.03) R 858356 858356 856273 0 -1 4194304 126296 0 0 0 315192 171 0 0 20 0 1 0 165285453 394878976 95463 134679101440 4194304 6891213 140729148584944 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 29220864 140729148589045 140729148589157 140729148589157 140729148596171 0
/proc/858361/statm: 96406 95463 660 659 0 95610 0
Current children cumulated CPU time: 3153.63 s
Current children cumulated vsize: 395556 KiB
Current children cumulated memory: 384488 KiB

[startup+3222.3 s]
/proc/loadavg: 4.15 4.11 4.09 5/261 859679
/proc/meminfo: memFree=113802944/131524596 swapFree=131071996/131071996
[pid=858356] ppid=858353 vsize=9932 memory=2636 CPUtime=0 cores=1,3
/proc/858356/stat : 858356 (naps-1.03.sh) S 858353 858356 856273 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 165285453 10170368 659 134679101440 94741644824576 94741645903896 140729517992656 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94741648002352 94741648049540 94741669363712 140729517999076 140729517999201 140729517999201 140729518006216 0
/proc/858356/statm: 2483 659 581 264 0 134 0
[pid=858361] ppid=858356 vsize=385988 memory=382216 CPUtime=3213.48 cores=1,3
/proc/858361/stat : 858361 (naps-1.03) R 858356 858356 856273 0 -1 4194304 126610 0 0 0 321176 172 0 0 20 0 1 0 165285453 395251712 95554 134679101440 4194304 6891213 140729148584944 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 29220864 140729148589045 140729148589157 140729148589157 140729148596171 0
/proc/858361/statm: 96497 95554 660 659 0 95701 0
Current children cumulated CPU time: 3213.48 s
Current children cumulated vsize: 395920 KiB
Current children cumulated memory: 384852 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/261 859689
/proc/meminfo: memFree=113827220/131524596 swapFree=131071996/131071996
[pid=858356] ppid=858353 vsize=9932 memory=2636 CPUtime=0 cores=1,3
/proc/858356/stat : 858356 (naps-1.03.sh) S 858353 858356 856273 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 165285453 10170368 659 134679101440 94741644824576 94741645903896 140729517992656 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94741648002352 94741648049540 94741669363712 140729517999076 140729517999201 140729517999201 140729518006216 0
/proc/858356/statm: 2483 659 581 264 0 134 0
[pid=858361] ppid=858356 vsize=386544 memory=382772 CPUtime=3273.33 cores=1,3
/proc/858361/stat : 858361 (naps-1.03) R 858356 858356 856273 0 -1 4194304 127564 0 0 0 327160 173 0 0 20 0 1 0 165285453 395821056 95693 134679101440 4194304 6891213 140729148584944 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 29220864 140729148589045 140729148589157 140729148589157 140729148596171 0
/proc/858361/statm: 96636 95693 660 659 0 95840 0
Current children cumulated CPU time: 3273.33 s
Current children cumulated vsize: 396476 KiB
Current children cumulated memory: 385408 KiB

[startup+3342.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/261 859700
/proc/meminfo: memFree=113763832/131524596 swapFree=131071996/131071996
[pid=858356] ppid=858353 vsize=9932 memory=2636 CPUtime=0 cores=1,3
/proc/858356/stat : 858356 (naps-1.03.sh) S 858353 858356 856273 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 165285453 10170368 659 134679101440 94741644824576 94741645903896 140729517992656 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94741648002352 94741648049540 94741669363712 140729517999076 140729517999201 140729517999201 140729518006216 0
/proc/858356/statm: 2483 659 581 264 0 134 0
[pid=858361] ppid=858356 vsize=385768 memory=381996 CPUtime=3333.17 cores=1,3
/proc/858361/stat : 858361 (naps-1.03) R 858356 858356 856273 0 -1 4194304 128618 0 0 0 333142 175 0 0 20 0 1 0 165285453 395026432 95499 134679101440 4194304 6891213 140729148584944 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 29220864 140729148589045 140729148589157 140729148589157 140729148596171 0
/proc/858361/statm: 96442 95499 660 659 0 95646 0
Current children cumulated CPU time: 3333.17 s
Current children cumulated vsize: 395700 KiB
Current children cumulated memory: 384632 KiB

[startup+3402.3 s]
/proc/loadavg: 4.26 4.14 4.10 5/259 860092
/proc/meminfo: memFree=113381264/131524596 swapFree=131071996/131071996
[pid=858356] ppid=858353 vsize=9932 memory=2636 CPUtime=0 cores=1,3
/proc/858356/stat : 858356 (naps-1.03.sh) S 858353 858356 856273 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 165285453 10170368 659 134679101440 94741644824576 94741645903896 140729517992656 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94741648002352 94741648049540 94741669363712 140729517999076 140729517999201 140729517999201 140729518006216 0
/proc/858356/statm: 2483 659 581 264 0 134 0
[pid=858361] ppid=858356 vsize=386984 memory=383212 CPUtime=3393.02 cores=1,3
/proc/858361/stat : 858361 (naps-1.03) R 858356 858356 856273 0 -1 4194304 129168 0 0 0 339125 177 0 0 20 0 1 0 165285453 396271616 95803 134679101440 4194304 6891213 140729148584944 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 29220864 140729148589045 140729148589157 140729148589157 140729148596171 0
/proc/858361/statm: 96746 95803 660 659 0 95950 0
Current children cumulated CPU time: 3393.02 s
Current children cumulated vsize: 396916 KiB
Current children cumulated memory: 385848 KiB

[startup+3462.3 s]
/proc/loadavg: 4.37 4.21 4.12 5/259 860102
/proc/meminfo: memFree=113685596/131524596 swapFree=131071996/131071996
[pid=858356] ppid=858353 vsize=9932 memory=2636 CPUtime=0 cores=1,3
/proc/858356/stat : 858356 (naps-1.03.sh) S 858353 858356 856273 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 165285453 10170368 659 134679101440 94741644824576 94741645903896 140729517992656 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94741648002352 94741648049540 94741669363712 140729517999076 140729517999201 140729517999201 140729518006216 0
/proc/858356/statm: 2483 659 581 264 0 134 0
[pid=858361] ppid=858356 vsize=386412 memory=382640 CPUtime=3452.86 cores=1,3
/proc/858361/stat : 858361 (naps-1.03) R 858356 858356 856273 0 -1 4194304 130095 0 0 0 345108 178 0 0 20 0 1 0 165285453 395685888 95660 134679101440 4194304 6891213 140729148584944 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 29220864 140729148589045 140729148589157 140729148589157 140729148596171 0
/proc/858361/statm: 96603 95660 660 659 0 95807 0
Current children cumulated CPU time: 3452.86 s
Current children cumulated vsize: 396344 KiB
Current children cumulated memory: 385276 KiB

[startup+3522.3 s]
/proc/loadavg: 4.20 4.18 4.12 5/259 860114
/proc/meminfo: memFree=113672640/131524596 swapFree=131071996/131071996
[pid=858356] ppid=858353 vsize=9932 memory=2636 CPUtime=0 cores=1,3
/proc/858356/stat : 858356 (naps-1.03.sh) S 858353 858356 856273 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 165285453 10170368 659 134679101440 94741644824576 94741645903896 140729517992656 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94741648002352 94741648049540 94741669363712 140729517999076 140729517999201 140729517999201 140729518006216 0
/proc/858356/statm: 2483 659 581 264 0 134 0
[pid=858361] ppid=858356 vsize=386568 memory=382796 CPUtime=3512.71 cores=1,3
/proc/858361/stat : 858361 (naps-1.03) R 858356 858356 856273 0 -1 4194304 131063 0 0 0 351092 179 0 0 20 0 1 0 165285453 395845632 95699 134679101440 4194304 6891213 140729148584944 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 29220864 140729148589045 140729148589157 140729148589157 140729148596171 0
/proc/858361/statm: 96642 95699 660 659 0 95846 0
Current children cumulated CPU time: 3512.71 s
Current children cumulated vsize: 396500 KiB
Current children cumulated memory: 385432 KiB

[startup+3582.3 s]
/proc/loadavg: 4.18 4.18 4.12 5/262 860296
/proc/meminfo: memFree=113798156/131524596 swapFree=131071996/131071996
[pid=858356] ppid=858353 vsize=9932 memory=2636 CPUtime=0 cores=1,3
/proc/858356/stat : 858356 (naps-1.03.sh) S 858353 858356 856273 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 165285453 10170368 659 134679101440 94741644824576 94741645903896 140729517992656 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94741648002352 94741648049540 94741669363712 140729517999076 140729517999201 140729517999201 140729518006216 0
/proc/858356/statm: 2483 659 581 264 0 134 0
[pid=858361] ppid=858356 vsize=385784 memory=382012 CPUtime=3572.56 cores=1,3
/proc/858361/stat : 858361 (naps-1.03) R 858356 858356 856273 0 -1 4194304 132358 0 0 0 357074 182 0 0 20 0 1 0 165285453 395042816 95503 134679101440 4194304 6891213 140729148584944 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 29220864 140729148589045 140729148589157 140729148589157 140729148596171 0
/proc/858361/statm: 96446 95503 660 659 0 95650 0
Current children cumulated CPU time: 3572.56 s
Current children cumulated vsize: 395716 KiB
Current children cumulated memory: 384648 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.9 s]
/proc/loadavg: 4.26 4.19 4.13 5/262 860299
/proc/meminfo: memFree=113787548/131524596 swapFree=131071996/131071996
[pid=858356] ppid=858353 vsize=9932 memory=2636 CPUtime=0 cores=1,3
/proc/858356/stat : 858356 (naps-1.03.sh) S 858353 858356 856273 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 165285453 10170368 659 134679101440 94741644824576 94741645903896 140729517992656 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94741648002352 94741648049540 94741669363712 140729517999076 140729517999201 140729517999201 140729518006216 0
/proc/858356/statm: 2483 659 581 264 0 134 0
[pid=858361] ppid=858356 vsize=385784 memory=382012 CPUtime=3600.09 cores=1,3
/proc/858361/stat : 858361 (naps-1.03) R 858356 858356 856273 0 -1 4194304 132386 0 0 0 359827 182 0 0 20 0 1 0 165285453 395042816 95503 134679101440 4194304 6891213 140729148584944 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 29220864 140729148589045 140729148589157 140729148589157 140729148596171 0
/proc/858361/statm: 96446 95503 660 659 0 95650 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 395716 KiB
Current children cumulated memory: 384648 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3598.27 s, system=1.8314 s

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

[startup+3609.9 s]
/proc/loadavg: 4.26 4.19 4.13 5/262 860299
/proc/meminfo: memFree=113787548/131524596 swapFree=131071996/131071996
[pid=858356] ppid=858353 vsize=9932 memory=2636 CPUtime=0 cores=1,3
/proc/858356/stat : 858356 (naps-1.03.sh) S 858353 858356 856273 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 165285453 10170368 659 134679101440 94741644824576 94741645903896 140729517992656 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94741648002352 94741648049540 94741669363712 140729517999076 140729517999201 140729517999201 140729518006216 0
/proc/858356/statm: 2483 659 581 264 0 134 0
[pid=858361] ppid=858356 vsize=385784 memory=382012 CPUtime=3600.09 cores=1,3
/proc/858361/stat : 858361 (naps-1.03) R 858356 858356 856273 0 -1 4194304 132386 0 0 0 359827 182 0 0 20 0 1 0 165285453 395042816 95503 134679101440 4194304 6891213 140729148584944 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 29220864 140729148589045 140729148589157 140729148589157 140729148596171 0
/proc/858361/statm: 96446 95503 660 659 0 95650 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 395716 KiB
Current children cumulated memory: 384648 KiB

Child status: 10

Real time (s): 3609.9
CPU time (s): 3600.1
CPU user time (s): 3598.27
CPU system time (s): 1.8314
CPU usage (%): 99.7286
Max. virtual memory (cumulated for all children) (KiB): 679164
Max. memory (cumulated for all children) (KiB): 667844

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.27
system time used= 1.8314
maximum resident set size= 669628
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 132863
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= 69
involuntary context switches= 1487


# summary of solver processes directly reported to runsolver:
#   pid: 858356
#   total CPU time (s): 3600.1
#   total CPU user time (s): 3598.27
#   total CPU system time (s): 1.8314

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.55952 second user time and 19.056 second system time

The end

Launcher Data 

Begin job on nodeC034 at 2024-07-16 13:59:22
IDJOB=4434450
IDBENCH=155403
IDSOLVER=3063
FILE ID=nodeC034/4434450-1721131149
RUNJOBID= nodeC034-1721127550-856285
SLURM_JOB_ID= 7505684
Free space on /tmp= 889984 MiB

SOLVER NAME= NaPS 1.03
BENCH NAME= PB24/normalized-PB11/OPT-LIN/kullmann/normalized-mul_8_3_shg.opb
COMMAND LINE= HOME/naps-1.03.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4434450-1721131149/watcher-4434450-1721131149 -o /tmp/evaluation-result-4434450-1721131149/solver-4434450-1721131149 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1721127550-856285 --watchdog 3760  HOME/naps-1.03.sh HOME/instance-4434450-1721131149.opb

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

MD5SUM BENCH= 9f3f50f555350d326304759fc873d478
RANDOM SEED=873679844

nodeC034.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		: 3681.445
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	: 6999.99
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		: 3679.543
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	: 7005.58
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.045
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	: 6999.99
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		: 3658.460
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	: 7005.58
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		: 3681.433
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	: 6999.99
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		: 3679.914
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	: 7005.58
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.271
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	: 6999.99
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		: 3671.499
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	: 7005.58
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524596 kB
MemFree:        110869100 kB
MemAvailable:   116089948 kB
Buffers:          399036 kB
Cached:          5597720 kB
SwapCached:            0 kB
Active:           746884 kB
Inactive:       19147688 kB
Active(anon):       1532 kB
Inactive(anon): 13934364 kB
Active(file):     745352 kB
Inactive(file):  5213324 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             77396 kB
Writeback:             0 kB
AnonPages:      13898232 kB
Mapped:           111756 kB
Shmem:             37720 kB
KReclaimable:     203988 kB
Slab:             324488 kB
SReclaimable:     203988 kB
SUnreclaim:       120500 kB
KernelStack:        4192 kB
PageTables:        36676 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834292 kB
Committed_AS:   16394628 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            64064 kB
HardwareCorrupted:     0 kB
AnonHugePages:   9265152 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:      271060 kB
DirectMap2M:    36202496 kB
DirectMap1G:    99614720 kB

Free space on /tmp at the end= 889948 MiB
End job on nodeC034 at 2024-07-16 14:59:31