Trace number 4503006

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 naps-1.03a6SAT (TO)227 3600.09 3612.02

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 benchmark46.5996
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.01	c NaPS 1.03a6.
0.00/0.01	c Input file name: HOME/instance-4503006-1751489777.opb
4.86/4.93	c single stage optimization mode
3600.07/3612.00	o 5048
3600.07/3612.00	o 858
3600.07/3612.00	o 449
3600.07/3612.00	o 227
3600.07/3612.00	c 
3600.07/3612.00	c *** TERMINATED *** by signal 15
3600.07/3612.00	s SATISFIABLE
3600.07/3612.00	c _____________________________________________________________________________
3600.07/3612.00	c std/band forms        : 4,0
3600.07/3612.00	c 2cl/3cl ITE-codings   : 0,0
3600.07/3612.00	c BDD/srt/adr Max costs : 0,395198,0
3600.07/3612.00	c BDDraw/bin/mul/srt/adr: 0,0,0,4,0
3600.07/3612.00	c BDD nodes             : 0
3600.07/3612.00	c Es1/CC detections     : 0,0
3600.07/3612.00	c CC sort               : 4
3600.07/3612.00	c SAT/UNSAT calls       : 4,0
3600.07/3612.00	c regenrated variables  : 3
3600.07/3612.00	c eliminated fixed lits : 0
3600.07/3612.00	c goal lit flips        : 309
3600.07/3612.00	c goal stages           : 1
3600.07/3612.00	c goal shrink           : 0
3600.07/3612.00	c goal coeff separations: 0
3600.07/3612.00	c restarts              : 114243
3600.07/3612.00	c conflicts             : 2526148        (702 /sec)
3600.07/3612.00	c decisions             : 97313298       (27046 /sec)
3600.07/3612.00	c propagations          : 9470232724     (2632060 /sec)
3600.07/3612.00	c inspects              : 0              (0 /sec)
3600.07/3612.00	c CPU time (solving tm) : 3598 s        (3593 s, SAT 1337 s, UNSAT 0 s)
3600.07/3612.00	c Time for Opt-base     : 0.01084 s
3600.07/3612.00	c Steps for Opt-base    : 0
3600.07/3612.00	c Time for BDD coding   : 0 s
3600.07/3612.00	c Time for srt coding   : 0.1289 s
3600.07/3612.00	c _____________________________________________________________________________
3600.07/3612.00	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.07/3612.00	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.07/3612.00	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	227

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: 63708 MiB (55481 MiB free)
  memory of node 1: 64465 MiB (54238 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4503006-1751489777/watcher-4503006-1751489777 -o /tmp/evaluation-result-4503006-1751489777/solver-4503006-1751489777 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751486158-68110 --watchdog 3760 ./naps-1.03a6.sh HOME/instance-4503006-1751489777.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=68610, runsolver pid=68607

[startup+0.100056 s]*
/proc/loadavg: 4.14 4.10 4.06 5/270 68614
/proc/meminfo: memFree=112353156/131249996 swapFree=33010160/33010684
[pid=68610] ppid=68607 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/68610/stat : 68610 (naps-1.03a6.sh) S 68607 68610 68100 0 -1 4194304 228 203 0 0 0 0 0 0 20 0 1 0 64656328 4292608 768 18446744073709551615 94712665612288 94712666506821 140736932933824 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94712666745872 94712666793616 94712697946112 140736932936103 140736932936197 140736932936197 140736932941799 0
/proc/68610/statm: 1048 768 704 219 0 110 0
[pid=68614] ppid=68610 vsize=6964 memory=5352 CPUtime=0.08 cores=0,2
/proc/68614/stat : 68614 (naps-1.03a6) R 68610 68610 68100 0 -1 4194304 916 0 0 0 8 0 0 0 20 0 1 0 64656330 7131136 1338 18446744073709551615 4198400 7047149 140724520994352 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 28123136 140724521003380 140724521003494 140724521003494 140724521009097 0
/proc/68614/statm: 1741 1338 544 696 0 902 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 11156 KiB
Current children cumulated memory: 8424 KiB

[startup+0.205703 s]*
/proc/loadavg: 4.14 4.10 4.06 5/270 68614
/proc/meminfo: memFree=112353156/131249996 swapFree=33010160/33010684
[pid=68610] ppid=68607 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/68610/stat : 68610 (naps-1.03a6.sh) S 68607 68610 68100 0 -1 4194304 228 203 0 0 0 0 0 0 20 0 1 0 64656328 4292608 768 18446744073709551615 94712665612288 94712666506821 140736932933824 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94712666745872 94712666793616 94712697946112 140736932936103 140736932936197 140736932936197 140736932941799 0
/proc/68610/statm: 1048 768 704 219 0 110 0
[pid=68614] ppid=68610 vsize=7360 memory=5608 CPUtime=0.19 cores=0,2
/proc/68614/stat : 68614 (naps-1.03a6) R 68610 68610 68100 0 -1 4194304 997 0 0 0 19 0 0 0 20 0 1 0 64656330 7536640 1402 18446744073709551615 4198400 7047149 140724520994352 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 28123136 140724521003380 140724521003494 140724521003494 140724521009097 0
/proc/68614/statm: 1840 1402 544 696 0 1001 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 11552 KiB
Current children cumulated memory: 8680 KiB

[startup+0.305473 s]*
/proc/loadavg: 4.14 4.10 4.06 5/270 68614
/proc/meminfo: memFree=112353156/131249996 swapFree=33010160/33010684
[pid=68610] ppid=68607 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/68610/stat : 68610 (naps-1.03a6.sh) S 68607 68610 68100 0 -1 4194304 228 203 0 0 0 0 0 0 20 0 1 0 64656328 4292608 768 18446744073709551615 94712665612288 94712666506821 140736932933824 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94712666745872 94712666793616 94712697946112 140736932936103 140736932936197 140736932936197 140736932941799 0
/proc/68610/statm: 1048 768 704 219 0 110 0
[pid=68614] ppid=68610 vsize=7624 memory=5992 CPUtime=0.29 cores=0,2
/proc/68614/stat : 68614 (naps-1.03a6) R 68610 68610 68100 0 -1 4194304 1076 0 0 0 29 0 0 0 20 0 1 0 64656330 7806976 1498 18446744073709551615 4198400 7047149 140724520994352 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 28123136 140724521003380 140724521003494 140724521003494 140724521009097 0
/proc/68614/statm: 1906 1498 544 696 0 1067 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 11816 KiB
Current children cumulated memory: 9064 KiB

[startup+0.70016 s]
/proc/loadavg: 4.14 4.10 4.06 5/270 68614
/proc/meminfo: memFree=112352400/131249996 swapFree=33010160/33010684
[pid=68610] ppid=68607 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/68610/stat : 68610 (naps-1.03a6.sh) S 68607 68610 68100 0 -1 4194304 228 203 0 0 0 0 0 0 20 0 1 0 64656328 4292608 768 18446744073709551615 94712665612288 94712666506821 140736932933824 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94712666745872 94712666793616 94712697946112 140736932936103 140736932936197 140736932936197 140736932941799 0
/proc/68610/statm: 1048 768 704 219 0 110 0
[pid=68614] ppid=68610 vsize=8968 memory=7272 CPUtime=0.67 cores=0,2
/proc/68614/stat : 68614 (naps-1.03a6) R 68610 68610 68100 0 -1 4194304 1393 0 0 0 67 0 0 0 20 0 1 0 64656330 9183232 1818 18446744073709551615 4198400 7047149 140724520994352 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 28123136 140724521003380 140724521003494 140724521003494 140724521009097 0
/proc/68614/statm: 2242 1818 544 696 0 1403 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 13160 KiB
Current children cumulated memory: 10344 KiB

[startup+1.50015 s]
/proc/loadavg: 4.14 4.10 4.06 6/270 68614
/proc/meminfo: memFree=112343328/131249996 swapFree=33010160/33010684
[pid=68610] ppid=68607 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/68610/stat : 68610 (naps-1.03a6.sh) S 68607 68610 68100 0 -1 4194304 228 203 0 0 0 0 0 0 20 0 1 0 64656328 4292608 768 18446744073709551615 94712665612288 94712666506821 140736932933824 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94712666745872 94712666793616 94712697946112 140736932936103 140736932936197 140736932936197 140736932941799 0
/proc/68610/statm: 1048 768 704 219 0 110 0
[pid=68614] ppid=68610 vsize=11588 memory=9704 CPUtime=1.46 cores=0,2
/proc/68614/stat : 68614 (naps-1.03a6) R 68610 68610 68100 0 -1 4194304 2025 0 0 0 146 0 0 0 20 0 1 0 64656330 11866112 2426 18446744073709551615 4198400 7047149 140724520994352 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 28123136 140724521003380 140724521003494 140724521003494 140724521009097 0
/proc/68614/statm: 2897 2426 544 696 0 2058 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 15780 KiB
Current children cumulated memory: 12776 KiB

[startup+3.10477 s]
/proc/loadavg: 4.13 4.10 4.06 6/270 68614
/proc/meminfo: memFree=112334552/131249996 swapFree=33010160/33010684
[pid=68610] ppid=68607 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/68610/stat : 68610 (naps-1.03a6.sh) S 68607 68610 68100 0 -1 4194304 228 203 0 0 0 0 0 0 20 0 1 0 64656328 4292608 768 18446744073709551615 94712665612288 94712666506821 140736932933824 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94712666745872 94712666793616 94712697946112 140736932936103 140736932936197 140736932936197 140736932941799 0
/proc/68610/statm: 1048 768 704 219 0 110 0
[pid=68614] ppid=68610 vsize=16584 memory=14664 CPUtime=3.07 cores=0,2
/proc/68614/stat : 68614 (naps-1.03a6) R 68610 68610 68100 0 -1 4194304 3312 0 0 0 306 1 0 0 20 0 1 0 64656330 16982016 3666 18446744073709551615 4198400 7047149 140724520994352 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 28123136 140724521003380 140724521003494 140724521003494 140724521009097 0
/proc/68614/statm: 4146 3666 544 696 0 3307 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 20776 KiB
Current children cumulated memory: 17736 KiB

[startup+6.30018 s]
/proc/loadavg: 4.13 4.10 4.06 6/270 68614
/proc/meminfo: memFree=112136464/131249996 swapFree=33010160/33010684
[pid=68610] ppid=68607 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/68610/stat : 68610 (naps-1.03a6.sh) S 68607 68610 68100 0 -1 4194304 228 203 0 0 0 0 0 0 20 0 1 0 64656328 4292608 768 18446744073709551615 94712665612288 94712666506821 140736932933824 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94712666745872 94712666793616 94712697946112 140736932936103 140736932936197 140736932936197 140736932941799 0
/proc/68610/statm: 1048 768 704 219 0 110 0
[pid=68614] ppid=68610 vsize=214168 memory=204420 CPUtime=6.25 cores=0,2
/proc/68614/stat : 68614 (naps-1.03a6) R 68610 68610 68100 0 -1 4194304 35988 0 0 0 618 7 0 0 20 0 1 0 64656330 219308032 51105 18446744073709551615 4198400 7047149 140724520994352 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 28123136 140724521003380 140724521003494 140724521003494 140724521009097 0
/proc/68614/statm: 53542 51105 608 696 0 52703 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 218360 KiB
Current children cumulated memory: 207492 KiB

[startup+12.7002 s]
/proc/loadavg: 4.11 4.09 4.06 6/270 68614
/proc/meminfo: memFree=112091664/131249996 swapFree=33010160/33010684
[pid=68610] ppid=68607 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/68610/stat : 68610 (naps-1.03a6.sh) S 68607 68610 68100 0 -1 4194304 228 203 0 0 0 0 0 0 20 0 1 0 64656328 4292608 768 18446744073709551615 94712665612288 94712666506821 140736932933824 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94712666745872 94712666793616 94712697946112 140736932936103 140736932936197 140736932936197 140736932941799 0
/proc/68610/statm: 1048 768 704 219 0 110 0
[pid=68614] ppid=68610 vsize=255580 memory=245844 CPUtime=12.64 cores=0,2
/proc/68614/stat : 68614 (naps-1.03a6) R 68610 68610 68100 0 -1 4194304 39230 0 0 0 1255 9 0 0 20 0 1 0 64656330 261713920 61461 18446744073709551615 4198400 7047149 140724520994352 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 28123136 140724521003380 140724521003494 140724521003494 140724521009097 0
/proc/68614/statm: 63895 61461 608 696 0 63056 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 259772 KiB
Current children cumulated memory: 248916 KiB

[startup+25.5002 s]
/proc/loadavg: 4.09 4.09 4.05 6/270 68614
/proc/meminfo: memFree=111320316/131249996 swapFree=33010160/33010684
[pid=68610] ppid=68607 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/68610/stat : 68610 (naps-1.03a6.sh) S 68607 68610 68100 0 -1 4194304 228 203 0 0 0 0 0 0 20 0 1 0 64656328 4292608 768 18446744073709551615 94712665612288 94712666506821 140736932933824 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94712666745872 94712666793616 94712697946112 140736932936103 140736932936197 140736932936197 140736932941799 0
/proc/68610/statm: 1048 768 704 219 0 110 0
[pid=68614] ppid=68610 vsize=301144 memory=285976 CPUtime=25.41 cores=0,2
/proc/68614/stat : 68614 (naps-1.03a6) R 68610 68610 68100 0 -1 4194304 46268 0 0 0 2528 13 0 0 20 0 1 0 64656330 308371456 71494 18446744073709551615 4198400 7047149 140724520994352 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 28123136 140724521003380 140724521003494 140724521003494 140724521009097 0
/proc/68614/statm: 75286 71494 640 696 0 74447 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 305336 KiB
Current children cumulated memory: 289048 KiB

[startup+51.1053 s]
/proc/loadavg: 4.19 4.11 4.06 6/270 68614
/proc/meminfo: memFree=111122516/131249996 swapFree=33010160/33010684
[pid=68610] ppid=68607 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/68610/stat : 68610 (naps-1.03a6.sh) S 68607 68610 68100 0 -1 4194304 228 203 0 0 0 0 0 0 20 0 1 0 64656328 4292608 768 18446744073709551615 94712665612288 94712666506821 140736932933824 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94712666745872 94712666793616 94712697946112 140736932936103 140736932936197 140736932936197 140736932941799 0
/proc/68610/statm: 1048 768 704 219 0 110 0
[pid=68614] ppid=68610 vsize=334704 memory=321988 CPUtime=50.93 cores=0,2
/proc/68614/stat : 68614 (naps-1.03a6) R 68610 68610 68100 0 -1 4194304 47505 0 0 0 5079 14 0 0 20 0 1 0 64656330 342736896 80497 18446744073709551615 4198400 7047149 140724520994352 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 28123136 140724521003380 140724521003494 140724521003494 140724521009097 0
/proc/68614/statm: 83676 80497 640 696 0 82837 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 338896 KiB
Current children cumulated memory: 325060 KiB

[startup+102.3 s]
/proc/loadavg: 4.07 4.09 4.06 6/270 68616
/proc/meminfo: memFree=111014624/131249996 swapFree=33010160/33010684
[pid=68610] ppid=68607 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/68610/stat : 68610 (naps-1.03a6.sh) S 68607 68610 68100 0 -1 4194304 228 203 0 0 0 0 0 0 20 0 1 0 64656328 4292608 768 18446744073709551615 94712665612288 94712666506821 140736932933824 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94712666745872 94712666793616 94712697946112 140736932936103 140736932936197 140736932936197 140736932941799 0
/proc/68610/statm: 1048 768 704 219 0 110 0
[pid=68614] ppid=68610 vsize=338004 memory=325956 CPUtime=101.99 cores=0,2
/proc/68614/stat : 68614 (naps-1.03a6) R 68610 68610 68100 0 -1 4194304 48614 0 0 0 10184 15 0 0 20 0 1 0 64656330 346116096 81489 18446744073709551615 4198400 7047149 140724520994352 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 28123136 140724521003380 140724521003494 140724521003494 140724521009097 0
/proc/68614/statm: 84501 81489 640 696 0 83662 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 342196 KiB
Current children cumulated memory: 329028 KiB

[startup+162.3 s]
/proc/loadavg: 4.07 4.09 4.06 6/268 68665
/proc/meminfo: memFree=111360556/131249996 swapFree=33010160/33010684
[pid=68610] ppid=68607 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/68610/stat : 68610 (naps-1.03a6.sh) S 68607 68610 68100 0 -1 4194304 228 203 0 0 0 0 0 0 20 0 1 0 64656328 4292608 768 18446744073709551615 94712665612288 94712666506821 140736932933824 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94712666745872 94712666793616 94712697946112 140736932936103 140736932936197 140736932936197 140736932941799 0
/proc/68610/statm: 1048 768 704 219 0 110 0
[pid=68614] ppid=68610 vsize=290900 memory=283240 CPUtime=161.8 cores=0,2
/proc/68614/stat : 68614 (naps-1.03a6) R 68610 68610 68100 0 -1 4194304 51636 0 0 0 16159 21 0 0 20 0 1 0 64656330 297881600 70810 18446744073709551615 4198400 7047149 140724520994352 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 28123136 140724521003380 140724521003494 140724521003494 140724521009097 0
/proc/68614/statm: 72725 70810 640 696 0 71886 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 295092 KiB
Current children cumulated memory: 286312 KiB

[startup+222.3 s]
/proc/loadavg: 4.12 4.10 4.06 6/270 68673
/proc/meminfo: memFree=104785176/131249996 swapFree=33010160/33010684
[pid=68610] ppid=68607 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/68610/stat : 68610 (naps-1.03a6.sh) S 68607 68610 68100 0 -1 4194304 228 203 0 0 0 0 0 0 20 0 1 0 64656328 4292608 768 18446744073709551615 94712665612288 94712666506821 140736932933824 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94712666745872 94712666793616 94712697946112 140736932936103 140736932936197 140736932936197 140736932941799 0
/proc/68610/statm: 1048 768 704 219 0 110 0
[pid=68614] ppid=68610 vsize=362788 memory=323480 CPUtime=221.6 cores=0,2
/proc/68614/stat : 68614 (naps-1.03a6) R 68610 68610 68100 0 -1 4194304 56696 0 0 0 22130 30 0 0 20 0 1 0 64656330 371494912 80870 18446744073709551615 4198400 7047149 140724520994352 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 28123136 140724521003380 140724521003494 140724521003494 140724521009097 0
/proc/68614/statm: 90697 80870 640 696 0 89858 0
Current children cumulated CPU time: 221.6 s

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

/proc/68614/statm: 119682 108090 640 696 0 118843 0
Current children cumulated CPU time: 3032.27 s
Current children cumulated vsize: 482920 KiB
Current children cumulated memory: 435432 KiB

[startup+3102.3 s]
/proc/loadavg: 4.13 4.10 4.09 6/268 68839
/proc/meminfo: memFree=100544552/131249996 swapFree=33010160/33010684
[pid=68610] ppid=68607 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/68610/stat : 68610 (naps-1.03a6.sh) S 68607 68610 68100 0 -1 4194304 228 203 0 0 0 0 0 0 20 0 1 0 64656328 4292608 768 18446744073709551615 94712665612288 94712666506821 140736932933824 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94712666745872 94712666793616 94712697946112 140736932936103 140736932936197 140736932936197 140736932941799 0
/proc/68610/statm: 1048 768 704 219 0 110 0
[pid=68614] ppid=68610 vsize=468732 memory=422364 CPUtime=3092.07 cores=0,2
/proc/68614/stat : 68614 (naps-1.03a6) R 68610 68610 68100 0 -1 4194304 110775 0 0 0 309034 173 0 0 20 0 1 0 64656330 479981568 105591 18446744073709551615 4198400 7047149 140724520994352 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 28123136 140724521003380 140724521003494 140724521003494 140724521009097 0
/proc/68614/statm: 117183 105591 640 696 0 116344 0
Current children cumulated CPU time: 3092.07 s
Current children cumulated vsize: 472924 KiB
Current children cumulated memory: 425436 KiB

[startup+3162.3 s]
/proc/loadavg: 4.05 4.08 4.09 6/267 68841
/proc/meminfo: memFree=100924336/131249996 swapFree=33010160/33010684
[pid=68610] ppid=68607 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/68610/stat : 68610 (naps-1.03a6.sh) S 68607 68610 68100 0 -1 4194304 228 203 0 0 0 0 0 0 20 0 1 0 64656328 4292608 768 18446744073709551615 94712665612288 94712666506821 140736932933824 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94712666745872 94712666793616 94712697946112 140736932936103 140736932936197 140736932936197 140736932941799 0
/proc/68610/statm: 1048 768 704 219 0 110 0
[pid=68614] ppid=68610 vsize=489452 memory=443084 CPUtime=3151.87 cores=0,2
/proc/68614/stat : 68614 (naps-1.03a6) R 68610 68610 68100 0 -1 4194304 111482 0 0 0 315011 176 0 0 20 0 1 0 64656330 501198848 110771 18446744073709551615 4198400 7047149 140724520994352 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 28123136 140724521003380 140724521003494 140724521003494 140724521009097 0
/proc/68614/statm: 122363 110771 640 696 0 121524 0
Current children cumulated CPU time: 3151.87 s
Current children cumulated vsize: 493644 KiB
Current children cumulated memory: 446156 KiB

[startup+3222.3 s]
/proc/loadavg: 4.13 4.09 4.09 6/268 68848
/proc/meminfo: memFree=100901412/131249996 swapFree=33010160/33010684
[pid=68610] ppid=68607 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/68610/stat : 68610 (naps-1.03a6.sh) S 68607 68610 68100 0 -1 4194304 228 203 0 0 0 0 0 0 20 0 1 0 64656328 4292608 768 18446744073709551615 94712665612288 94712666506821 140736932933824 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94712666745872 94712666793616 94712697946112 140736932936103 140736932936197 140736932936197 140736932941799 0
/proc/68610/statm: 1048 768 704 219 0 110 0
[pid=68614] ppid=68610 vsize=490184 memory=443196 CPUtime=3211.66 cores=0,2
/proc/68614/stat : 68614 (naps-1.03a6) R 68610 68610 68100 0 -1 4194304 115694 0 0 0 320983 183 0 0 20 0 1 0 64656330 501948416 110799 18446744073709551615 4198400 7047149 140724520994352 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 28123136 140724521003380 140724521003494 140724521003494 140724521009097 0
/proc/68614/statm: 122546 110799 640 696 0 121707 0
Current children cumulated CPU time: 3211.66 s
Current children cumulated vsize: 494376 KiB
Current children cumulated memory: 446268 KiB

[startup+3282.3 s]
/proc/loadavg: 4.11 4.09 4.09 6/268 68852
/proc/meminfo: memFree=100823972/131249996 swapFree=33010160/33010684
[pid=68610] ppid=68607 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/68610/stat : 68610 (naps-1.03a6.sh) S 68607 68610 68100 0 -1 4194304 228 203 0 0 0 0 0 0 20 0 1 0 64656328 4292608 768 18446744073709551615 94712665612288 94712666506821 140736932933824 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94712666745872 94712666793616 94712697946112 140736932936103 140736932936197 140736932936197 140736932941799 0
/proc/68610/statm: 1048 768 704 219 0 110 0
[pid=68614] ppid=68610 vsize=507368 memory=460296 CPUtime=3271.47 cores=0,2
/proc/68614/stat : 68614 (naps-1.03a6) R 68610 68610 68100 0 -1 4194304 117401 0 0 0 326961 186 0 0 20 0 1 0 64656330 519544832 115074 18446744073709551615 4198400 7047149 140724520994352 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 28123136 140724521003380 140724521003494 140724521003494 140724521009097 0
/proc/68614/statm: 126842 115074 640 696 0 126003 0
Current children cumulated CPU time: 3271.47 s
Current children cumulated vsize: 511560 KiB
Current children cumulated memory: 463368 KiB

[startup+3342.3 s]
/proc/loadavg: 4.29 4.16 4.11 6/268 68854
/proc/meminfo: memFree=100784024/131249996 swapFree=33010160/33010684
[pid=68610] ppid=68607 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/68610/stat : 68610 (naps-1.03a6.sh) S 68607 68610 68100 0 -1 4194304 228 203 0 0 0 0 0 0 20 0 1 0 64656328 4292608 768 18446744073709551615 94712665612288 94712666506821 140736932933824 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94712666745872 94712666793616 94712697946112 140736932936103 140736932936197 140736932936197 140736932941799 0
/proc/68610/statm: 1048 768 704 219 0 110 0
[pid=68614] ppid=68610 vsize=497196 memory=450204 CPUtime=3331.27 cores=0,2
/proc/68614/stat : 68614 (naps-1.03a6) R 68610 68610 68100 0 -1 4194304 118752 0 0 0 332937 190 0 0 20 0 1 0 64656330 509128704 112551 18446744073709551615 4198400 7047149 140724520994352 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 28123136 140724521003380 140724521003494 140724521003494 140724521009097 0
/proc/68614/statm: 124299 112551 640 696 0 123460 0
Current children cumulated CPU time: 3331.27 s
Current children cumulated vsize: 501388 KiB
Current children cumulated memory: 453276 KiB

[startup+3402.3 s]
/proc/loadavg: 4.17 4.14 4.11 6/268 68858
/proc/meminfo: memFree=100804656/131249996 swapFree=33010160/33010684
[pid=68610] ppid=68607 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/68610/stat : 68610 (naps-1.03a6.sh) S 68607 68610 68100 0 -1 4194304 228 203 0 0 0 0 0 0 20 0 1 0 64656328 4292608 768 18446744073709551615 94712665612288 94712666506821 140736932933824 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94712666745872 94712666793616 94712697946112 140736932936103 140736932936197 140736932936197 140736932941799 0
/proc/68610/statm: 1048 768 704 219 0 110 0
[pid=68614] ppid=68610 vsize=521888 memory=474900 CPUtime=3391.06 cores=0,2
/proc/68614/stat : 68614 (naps-1.03a6) R 68610 68610 68100 0 -1 4194304 119380 0 0 0 338913 193 0 0 20 0 1 0 64656330 534413312 118725 18446744073709551615 4198400 7047149 140724520994352 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 28123136 140724521003380 140724521003494 140724521003494 140724521009097 0
/proc/68614/statm: 130472 118725 640 696 0 129633 0
Current children cumulated CPU time: 3391.06 s
Current children cumulated vsize: 526080 KiB
Current children cumulated memory: 477972 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.13 4.10 6/268 68860
/proc/meminfo: memFree=100691424/131249996 swapFree=33010160/33010684
[pid=68610] ppid=68607 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/68610/stat : 68610 (naps-1.03a6.sh) S 68607 68610 68100 0 -1 4194304 228 203 0 0 0 0 0 0 20 0 1 0 64656328 4292608 768 18446744073709551615 94712665612288 94712666506821 140736932933824 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94712666745872 94712666793616 94712697946112 140736932936103 140736932936197 140736932936197 140736932941799 0
/proc/68610/statm: 1048 768 704 219 0 110 0
[pid=68614] ppid=68610 vsize=515828 memory=469000 CPUtime=3450.87 cores=0,2
/proc/68614/stat : 68614 (naps-1.03a6) R 68610 68610 68100 0 -1 4194304 120168 0 0 0 344891 196 0 0 20 0 1 0 64656330 528207872 117250 18446744073709551615 4198400 7047149 140724520994352 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 28123136 140724521003380 140724521003494 140724521003494 140724521009097 0
/proc/68614/statm: 128957 117250 640 696 0 128118 0
Current children cumulated CPU time: 3450.87 s
Current children cumulated vsize: 520020 KiB
Current children cumulated memory: 472072 KiB

[startup+3522.3 s]
/proc/loadavg: 4.08 4.12 4.10 6/268 68863
/proc/meminfo: memFree=100750160/131249996 swapFree=33010160/33010684
[pid=68610] ppid=68607 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/68610/stat : 68610 (naps-1.03a6.sh) S 68607 68610 68100 0 -1 4194304 228 203 0 0 0 0 0 0 20 0 1 0 64656328 4292608 768 18446744073709551615 94712665612288 94712666506821 140736932933824 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94712666745872 94712666793616 94712697946112 140736932936103 140736932936197 140736932936197 140736932941799 0
/proc/68610/statm: 1048 768 704 219 0 110 0
[pid=68614] ppid=68610 vsize=511492 memory=464664 CPUtime=3510.66 cores=0,2
/proc/68614/stat : 68614 (naps-1.03a6) R 68610 68610 68100 0 -1 4194304 120754 0 0 0 350868 198 0 0 20 0 1 0 64656330 523767808 116166 18446744073709551615 4198400 7047149 140724520994352 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 28123136 140724521003380 140724521003494 140724521003494 140724521009097 0
/proc/68614/statm: 127873 116166 640 696 0 127034 0
Current children cumulated CPU time: 3510.66 s
Current children cumulated vsize: 515684 KiB
Current children cumulated memory: 467736 KiB

[startup+3582.3 s]
/proc/loadavg: 4.06 4.11 4.09 6/268 68866
/proc/meminfo: memFree=100737636/131249996 swapFree=33010160/33010684
[pid=68610] ppid=68607 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/68610/stat : 68610 (naps-1.03a6.sh) S 68607 68610 68100 0 -1 4194304 228 203 0 0 0 0 0 0 20 0 1 0 64656328 4292608 768 18446744073709551615 94712665612288 94712666506821 140736932933824 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94712666745872 94712666793616 94712697946112 140736932936103 140736932936197 140736932936197 140736932941799 0
/proc/68610/statm: 1048 768 704 219 0 110 0
[pid=68614] ppid=68610 vsize=549612 memory=503148 CPUtime=3570.47 cores=0,2
/proc/68614/stat : 68614 (naps-1.03a6) R 68610 68610 68100 0 -1 4194304 121322 0 0 0 356845 202 0 0 20 0 1 0 64656330 562802688 125787 18446744073709551615 4198400 7047149 140724520994352 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 28123136 140724521003380 140724521003494 140724521003494 140724521009097 0
/proc/68614/statm: 137403 125787 640 696 0 136564 0
Current children cumulated CPU time: 3570.47 s
Current children cumulated vsize: 553804 KiB
Current children cumulated memory: 506220 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3612 s]*
/proc/loadavg: 4.11 4.12 4.09 5/266 68929
/proc/meminfo: memFree=111954428/131249996 swapFree=33010160/33010684
[pid=68610] ppid=68607 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/68610/stat : 68610 (naps-1.03a6.sh) S 68607 68610 68100 0 -1 4194304 228 203 0 0 0 0 0 0 20 0 1 0 64656328 4292608 768 18446744073709551615 94712665612288 94712666506821 140736932933824 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94712666745872 94712666793616 94712697946112 140736932936103 140736932936197 140736932936197 140736932941799 0
/proc/68610/statm: 1048 768 704 219 0 110 0
[pid=68614] ppid=68610 vsize=511856 memory=465488 CPUtime=3600.07 cores=0,2
/proc/68614/stat : 68614 (naps-1.03a6) R 68610 68610 68100 0 -1 4194304 122054 0 0 0 359803 204 0 0 20 0 1 0 64656330 524140544 116372 18446744073709551615 4198400 7047149 140724520994352 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 28123136 140724521003380 140724521003494 140724521003494 140724521009097 0
/proc/68614/statm: 127964 116372 640 696 0 127125 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 516048 KiB
Current children cumulated memory: 468560 KiB

Sending SIGTERM to process tree (bottom up)

[startup+3612.01 s]
# the end of solver process 68610 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)

# cumulated CPU time of all completed processes:  user=0.001461 s, system=0.002348 s
Sleeping 2 seconds

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

# cumulated CPU time of all completed processes:  user=3598.03 s, system=2.05944 s
# this solver process was not waited by its parent and was adopted by runsolver

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

Child status: 10

Real time (s): 3612.02
CPU time (s): 3600.09
CPU user time (s): 3598.03
CPU system time (s): 2.05944
CPU usage (%): 99.6699
Max. virtual memory (cumulated for all children) (KiB): 673008
Max. memory (cumulated for all children) (KiB): 625504

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.03
system time used= 2.05944
maximum resident set size= 622432
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 122486
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= 132
involuntary context switches= 7849


# summary of solver processes directly reported to runsolver:
#   pid: 68610,68614
#   total CPU time (s): 3600.09
#   total CPU user time (s): 3598.03
#   total CPU system time (s): 2.05944

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.71562 second user time and 16.1304 second system time

The end

Launcher Data 

Begin job on nodeC032 at 2025-07-02 22:56:17
IDJOB=4503006
IDBENCH=155403
IDSOLVER=3341
FILE ID=nodeC032/4503006-1751489777
RUNJOBID= nodeC032-1751486158-68110
SLURM_JOB_ID= 9598539
Free space on /tmp= 430672 MiB

SOLVER NAME= NaPS naps-1.03a6
BENCH NAME= PB24/normalized-PB11/OPT-LIN/kullmann/normalized-mul_8_3_shg.opb
COMMAND LINE= ./naps-1.03a6.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4503006-1751489777/watcher-4503006-1751489777 -o /tmp/evaluation-result-4503006-1751489777/solver-4503006-1751489777 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751486158-68110 --watchdog 3760  ./naps-1.03a6.sh HOME/instance-4503006-1751489777.opb

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

MD5SUM BENCH= 9f3f50f555350d326304759fc873d478
RANDOM SEED=1210145820

nodeC032 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/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		: 3582.539
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.69
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		: 3599.826
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.69
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		: 3599.661
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.69
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		: 3600.384
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.69
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		: 3599.926
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.69
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		: 3599.860
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.69
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.168
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.69
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		: 3700.000
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        112353156 kB
MemAvailable:   128451244 kB
Buffers:            2728 kB
Cached:         16777748 kB
SwapCached:           20 kB
Active:          1598480 kB
Inactive:       16409828 kB
Active(anon):    1242760 kB
Inactive(anon):     3128 kB
Active(file):     355720 kB
Inactive(file): 16406700 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            672332 kB
Writeback:             0 kB
AnonPages:       1229508 kB
Mapped:           110972 kB
Shmem:             18048 kB
KReclaimable:     349812 kB
Slab:             442644 kB
SReclaimable:     349812 kB
SUnreclaim:        92832 kB
KernelStack:        4396 kB
PageTables:         5644 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    1707716 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150584 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1067008 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      203476 kB
DirectMap2M:     7956480 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 430712 MiB
End job on nodeC032 at 2025-07-02 23:56:29