Trace number 4461221

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
NaPS-GM 1.03a1MSAT (TO) 3600.13 3613.03

General information on the benchmark

NamePB24/WBO/SOFT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-75-70--soft-0-100-0.wbo
MD5SUM9b60ab1c395a8a4ea9e1c58e7ae4b4ea
Bench CategorySOFT-LIN (WBO, only soft constraints, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark0.187276
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables5250
Total number of constraints145
Number of soft constraints145
Number of constraints which are clauses75
Number of constraints which are cardinality constraints (but not clauses)70
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint70
Maximum length of a constraint75
Top cost 7458
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 7457
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 76
Number of bits of the biggest sum of numbers7
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.03a1.
0.00/0.00	c We set -no-flip-min because your selected sat solver does not support it.
0.00/0.00	c Input file name: HOME/instance-4461221-1722076468.wbo
0.00/0.00	c Initial goal by soft: 7457
0.21/0.25	c single stage optimization mode
0.60/0.67	o 7424
0.99/1.06	o 4483
1.27/1.36	o 1959
1.47/1.52	o 309
1.47/1.58	o 40
1.57/1.65	o 23
1.98/2.06	o 11
1.98/2.07	o 7
1.98/2.08	o 1
3600.11/3613.01	c 
3600.11/3613.01	c *** TERMINATED *** by signal 15
3600.11/3613.01	s SATISFIABLE
3600.11/3613.01	c _____________________________________________________________________________
3600.11/3613.01	c std/band forms        : 79,0
3600.11/3613.01	c 2cl/3cl ITE-codings   : 75834,0
3600.11/3613.01	c BDD/srt/adr Max costs : 189183,1588,0
3600.11/3613.01	c BDDraw/bin/mul/srt/adr: 2,0,7,70,0
3600.11/3613.01	c BDD nodes             : 77954
3600.11/3613.01	c Es1/CC detections     : 0,0
3600.11/3613.01	c CC sort               : 70
3600.11/3613.01	c SAT/UNSAT calls       : 9,0
3600.11/3613.01	c regenrated variables  : 535
3600.11/3613.01	c eliminated fixed lits : 491
3600.11/3613.01	c goal lit flips        : 0
3600.11/3613.01	c goal stages           : 1
3600.11/3613.01	c goal shrink           : 0
3600.11/3613.01	c goal coeff separations: 0
3600.11/3613.01	c restarts              : 51
3600.11/3613.01	c conflicts             : 4273           (1 /sec)
3600.11/3613.01	c decisions             : 473610         (132 /sec)
3600.11/3613.01	c propagations          : 4744245        (1318 /sec)
3600.11/3613.01	c inspects              : 0              (0 /sec)
3600.11/3613.01	c CPU time (solving tm) : 3599 s        (3598 s, SAT 1.17 s, UNSAT 0 s)
3600.11/3613.01	c Time for Opt-base     : 0.008478 s
3600.11/3613.01	c Steps for Opt-base    : 8845
3600.11/3613.01	c Time for BDD coding   : 0.5036 s
3600.11/3613.01	c Time for srt coding   : 0.0275 s
3600.11/3613.01	c _____________________________________________________________________________
3600.11/3613.01	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
3600.11/3613.01	v -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -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
3600.11/3613.01	v -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -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 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250

Verifier Data 

OK	1

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: 64096 MiB (59055 MiB free)
  memory of node 1: 64473 MiB (62396 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4461221-1722076468/watcher-4461221-1722076468 -o /tmp/evaluation-result-4461221-1722076468/solver-4461221-1722076468 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1722076468-327056 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4461221-1722076468.wbo 

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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=327114, runsolver pid=327102

[startup+0.100096 s]*
/proc/loadavg: 1.08 2.17 2.85 7/252 327137
/proc/meminfo: memFree=124349656/131655788 swapFree=131070192/131071996
[pid=327114] ppid=327102 vsize=9932 memory=2780 CPUtime=0 cores=0,2
/proc/327114/stat : 327114 (naps-1.03.sh) S 327102 327114 327046 0 -1 4194304 221 238 0 0 0 0 0 0 20 0 1 0 43635670 10170368 695 134679101440 94256156987392 94256158066712 140723189210768 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94256160165168 94256160212356 94256190373888 140723189212125 140723189212254 140723189212254 140723189219272 0
/proc/327114/statm: 2483 695 616 264 0 134 0
[pid=327132] ppid=327114 vsize=16580 memory=10012 CPUtime=0.1 cores=0,2
/proc/327132/stat : 327132 (naps-1.03) R 327114 327114 327046 0 -1 4194304 2262 0 0 0 9 1 0 0 20 0 1 0 43635671 16977920 2503 134679101440 4194304 6891597 140725210213472 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 36978688 140725210215406 140725210215522 140725210215522 140725210222539 0
/proc/327132/statm: 4145 2503 468 659 0 3349 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 26512 KiB
Current children cumulated memory: 12792 KiB

[startup+0.216306 s]*
/proc/loadavg: 1.08 2.17 2.85 7/252 327137
/proc/meminfo: memFree=124321596/131655788 swapFree=131070192/131071996
[pid=327114] ppid=327102 vsize=9932 memory=2780 CPUtime=0 cores=0,2
/proc/327114/stat : 327114 (naps-1.03.sh) S 327102 327114 327046 0 -1 4194304 221 238 0 0 0 0 0 0 20 0 1 0 43635670 10170368 695 134679101440 94256156987392 94256158066712 140723189210768 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94256160165168 94256160212356 94256190373888 140723189212125 140723189212254 140723189212254 140723189219272 0
/proc/327114/statm: 2483 695 616 264 0 134 0
[pid=327132] ppid=327114 vsize=37824 memory=31660 CPUtime=0.21 cores=0,2
/proc/327132/stat : 327132 (naps-1.03) R 327114 327114 327046 0 -1 4194304 7150 0 0 0 19 2 0 0 20 0 1 0 43635671 38731776 7915 134679101440 4194304 6891597 140725210213472 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 36978688 140725210215406 140725210215522 140725210215522 140725210222539 0
/proc/327132/statm: 9456 7915 468 659 0 8660 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 47756 KiB
Current children cumulated memory: 34440 KiB

[startup+0.316104 s]*
/proc/loadavg: 1.08 2.17 2.85 7/252 327137
/proc/meminfo: memFree=124314196/131655788 swapFree=131070192/131071996
[pid=327114] ppid=327102 vsize=9932 memory=2780 CPUtime=0 cores=0,2
/proc/327114/stat : 327114 (naps-1.03.sh) S 327102 327114 327046 0 -1 4194304 221 238 0 0 0 0 0 0 20 0 1 0 43635670 10170368 695 134679101440 94256156987392 94256158066712 140723189210768 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94256160165168 94256160212356 94256190373888 140723189212125 140723189212254 140723189212254 140723189219272 0
/proc/327114/statm: 2483 695 616 264 0 134 0
[pid=327132] ppid=327114 vsize=42916 memory=36588 CPUtime=0.31 cores=0,2
/proc/327132/stat : 327132 (naps-1.03) R 327114 327114 327046 0 -1 4194304 8396 0 0 0 28 3 0 0 20 0 1 0 43635671 43945984 9147 134679101440 4194304 6891597 140725210213472 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 36978688 140725210215406 140725210215522 140725210215522 140725210222539 0
/proc/327132/statm: 10729 9147 468 659 0 9933 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 52848 KiB
Current children cumulated memory: 39368 KiB

[startup+0.700482 s]
/proc/loadavg: 1.08 2.17 2.85 7/252 327137
/proc/meminfo: memFree=124157908/131655788 swapFree=131070192/131071996
[pid=327114] ppid=327102 vsize=9932 memory=2780 CPUtime=0 cores=0,2
/proc/327114/stat : 327114 (naps-1.03.sh) S 327102 327114 327046 0 -1 4194304 221 238 0 0 0 0 0 0 20 0 1 0 43635670 10170368 695 134679101440 94256156987392 94256158066712 140723189210768 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94256160165168 94256160212356 94256190373888 140723189212125 140723189212254 140723189212254 140723189219272 0
/proc/327114/statm: 2483 695 616 264 0 134 0
[pid=327132] ppid=327114 vsize=48184 memory=41944 CPUtime=0.68 cores=0,2
/proc/327132/stat : 327132 (naps-1.03) R 327114 327114 327046 0 -1 4194304 11192 0 0 0 64 4 0 0 20 0 1 0 43635671 49340416 10486 134679101440 4194304 6891597 140725210213472 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 36978688 140725210215406 140725210215522 140725210215522 140725210222539 0
/proc/327132/statm: 12046 10486 468 659 0 11250 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 58116 KiB
Current children cumulated memory: 44724 KiB

[startup+1.50048 s]
/proc/loadavg: 1.31 2.20 2.86 7/252 327137
/proc/meminfo: memFree=123854732/131655788 swapFree=131070192/131071996
[pid=327114] ppid=327102 vsize=9932 memory=2780 CPUtime=0 cores=0,2
/proc/327114/stat : 327114 (naps-1.03.sh) S 327102 327114 327046 0 -1 4194304 221 238 0 0 0 0 0 0 20 0 1 0 43635670 10170368 695 134679101440 94256156987392 94256158066712 140723189210768 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94256160165168 94256160212356 94256190373888 140723189212125 140723189212254 140723189212254 140723189219272 0
/proc/327114/statm: 2483 695 616 264 0 134 0
[pid=327132] ppid=327114 vsize=141576 memory=128648 CPUtime=1.47 cores=0,2
/proc/327132/stat : 327132 (naps-1.03) R 327114 327114 327046 0 -1 4194304 25375 0 0 0 138 9 0 0 20 0 1 0 43635671 144973824 32162 134679101440 4194304 6891597 140725210213472 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 36978688 140725210215406 140725210215522 140725210215522 140725210222539 0
/proc/327132/statm: 35394 32162 468 659 0 34598 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 151508 KiB
Current children cumulated memory: 131428 KiB

[startup+3.11461 s]
/proc/loadavg: 1.31 2.20 2.86 7/252 327137
/proc/meminfo: memFree=122764376/131655788 swapFree=131070192/131071996
[pid=327114] ppid=327102 vsize=9932 memory=2780 CPUtime=0 cores=0,2
/proc/327114/stat : 327114 (naps-1.03.sh) S 327102 327114 327046 0 -1 4194304 221 238 0 0 0 0 0 0 20 0 1 0 43635670 10170368 695 134679101440 94256156987392 94256158066712 140723189210768 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94256160165168 94256160212356 94256190373888 140723189212125 140723189212254 140723189212254 140723189219272 0
/proc/327114/statm: 2483 695 616 264 0 134 0
[pid=327132] ppid=327114 vsize=153108 memory=142040 CPUtime=3.08 cores=0,2
/proc/327132/stat : 327132 (naps-1.03) R 327114 327114 327046 0 -1 4194304 26417 0 0 0 298 10 0 0 20 0 1 0 43635671 156782592 35510 134679101440 4194304 6891597 140725210213472 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 36978688 140725210215406 140725210215522 140725210215522 140725210222539 0
/proc/327132/statm: 38277 35510 468 659 0 37481 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 163040 KiB
Current children cumulated memory: 144820 KiB

[startup+6.30041 s]
/proc/loadavg: 1.61 2.25 2.87 7/252 327137
/proc/meminfo: memFree=122365508/131655788 swapFree=131070192/131071996
[pid=327114] ppid=327102 vsize=9932 memory=2780 CPUtime=0 cores=0,2
/proc/327114/stat : 327114 (naps-1.03.sh) S 327102 327114 327046 0 -1 4194304 221 238 0 0 0 0 0 0 20 0 1 0 43635670 10170368 695 134679101440 94256156987392 94256158066712 140723189210768 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94256160165168 94256160212356 94256190373888 140723189212125 140723189212254 140723189212254 140723189219272 0
/proc/327114/statm: 2483 695 616 264 0 134 0
[pid=327132] ppid=327114 vsize=164784 memory=147724 CPUtime=6.26 cores=0,2
/proc/327132/stat : 327132 (naps-1.03) R 327114 327114 327046 0 -1 4194304 28194 0 0 0 615 11 0 0 20 0 1 0 43635671 168738816 36931 134679101440 4194304 6891597 140725210213472 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 36978688 140725210215406 140725210215522 140725210215522 140725210222539 0
/proc/327132/statm: 41196 36931 468 659 0 40400 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 174716 KiB
Current children cumulated memory: 150504 KiB

[startup+12.7004 s]
/proc/loadavg: 1.80 2.28 2.87 7/252 327138
/proc/meminfo: memFree=121161844/131655788 swapFree=131070192/131071996
[pid=327114] ppid=327102 vsize=9932 memory=2780 CPUtime=0 cores=0,2
/proc/327114/stat : 327114 (naps-1.03.sh) S 327102 327114 327046 0 -1 4194304 221 238 0 0 0 0 0 0 20 0 1 0 43635670 10170368 695 134679101440 94256156987392 94256158066712 140723189210768 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94256160165168 94256160212356 94256190373888 140723189212125 140723189212254 140723189212254 140723189219272 0
/proc/327114/statm: 2483 695 616 264 0 134 0
[pid=327132] ppid=327114 vsize=214572 memory=182700 CPUtime=12.63 cores=0,2
/proc/327132/stat : 327132 (naps-1.03) R 327114 327114 327046 0 -1 4194304 29295 0 0 0 1251 12 0 0 20 0 1 0 43635671 219721728 45675 134679101440 4194304 6891597 140725210213472 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 36978688 140725210215406 140725210215522 140725210215522 140725210222539 0
/proc/327132/statm: 53643 45675 468 659 0 52847 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 224504 KiB
Current children cumulated memory: 185480 KiB

[startup+25.5004 s]
/proc/loadavg: 2.14 2.34 2.89 7/252 327140
/proc/meminfo: memFree=119810096/131655788 swapFree=131070192/131071996
[pid=327114] ppid=327102 vsize=9932 memory=2780 CPUtime=0 cores=0,2
/proc/327114/stat : 327114 (naps-1.03.sh) S 327102 327114 327046 0 -1 4194304 221 238 0 0 0 0 0 0 20 0 1 0 43635670 10170368 695 134679101440 94256156987392 94256158066712 140723189210768 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94256160165168 94256160212356 94256190373888 140723189212125 140723189212254 140723189212254 140723189219272 0
/proc/327114/statm: 2483 695 616 264 0 134 0
[pid=327132] ppid=327114 vsize=264660 memory=212292 CPUtime=25.39 cores=0,2
/proc/327132/stat : 327132 (naps-1.03) R 327114 327114 327046 0 -1 4194304 31484 0 0 0 2525 14 0 0 20 0 1 0 43635671 271011840 53073 134679101440 4194304 6891597 140725210213472 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 36978688 140725210215406 140725210215522 140725210215522 140725210222539 0
/proc/327132/statm: 66165 53073 468 659 0 65369 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 274592 KiB
Current children cumulated memory: 215072 KiB

[startup+51.1141 s]
/proc/loadavg: 3.14 2.56 2.94 5/251 327294
/proc/meminfo: memFree=121434444/131655788 swapFree=131070192/131071996
[pid=327114] ppid=327102 vsize=9932 memory=2780 CPUtime=0 cores=0,2
/proc/327114/stat : 327114 (naps-1.03.sh) S 327102 327114 327046 0 -1 4194304 221 238 0 0 0 0 0 0 20 0 1 0 43635670 10170368 695 134679101440 94256156987392 94256158066712 140723189210768 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94256160165168 94256160212356 94256190373888 140723189212125 140723189212254 140723189212254 140723189219272 0
/proc/327114/statm: 2483 695 616 264 0 134 0
[pid=327132] ppid=327114 vsize=264660 memory=241844 CPUtime=50.92 cores=0,2
/proc/327132/stat : 327132 (naps-1.03) R 327114 327114 327046 0 -1 4194304 32853 0 0 0 5075 17 0 0 20 0 1 0 43635671 271011840 60461 134679101440 4194304 6891597 140725210213472 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 36978688 140725210215406 140725210215522 140725210215522 140725210222539 0
/proc/327132/statm: 66165 60461 468 659 0 65369 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 274592 KiB
Current children cumulated memory: 244624 KiB

[startup+102.3 s]
/proc/loadavg: 3.69 2.80 3.01 5/246 327492
/proc/meminfo: memFree=122022204/131655788 swapFree=131070192/131071996
[pid=327114] ppid=327102 vsize=9932 memory=2780 CPUtime=0 cores=0,2
/proc/327114/stat : 327114 (naps-1.03.sh) S 327102 327114 327046 0 -1 4194304 221 238 0 0 0 0 0 0 20 0 1 0 43635670 10170368 695 134679101440 94256156987392 94256158066712 140723189210768 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94256160165168 94256160212356 94256190373888 140723189212125 140723189212254 140723189212254 140723189219272 0
/proc/327114/statm: 2483 695 616 264 0 134 0
[pid=327132] ppid=327114 vsize=346048 memory=260380 CPUtime=101.94 cores=0,2
/proc/327132/stat : 327132 (naps-1.03) R 327114 327114 327046 0 -1 4194304 36141 0 0 0 10170 24 0 0 20 0 1 0 43635671 354353152 65095 134679101440 4194304 6891597 140725210213472 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 36978688 140725210215406 140725210215522 140725210215522 140725210222539 0
/proc/327132/statm: 86512 65095 468 659 0 85716 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 355980 KiB
Current children cumulated memory: 263160 KiB

[startup+162.3 s]
/proc/loadavg: 3.94 3.04 3.08 5/250 327612
/proc/meminfo: memFree=118257280/131655788 swapFree=131070192/131071996
[pid=327114] ppid=327102 vsize=9932 memory=2780 CPUtime=0 cores=0,2
/proc/327114/stat : 327114 (naps-1.03.sh) S 327102 327114 327046 0 -1 4194304 221 238 0 0 0 0 0 0 20 0 1 0 43635670 10170368 695 134679101440 94256156987392 94256158066712 140723189210768 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94256160165168 94256160212356 94256190373888 140723189212125 140723189212254 140723189212254 140723189219272 0
/proc/327114/statm: 2483 695 616 264 0 134 0
[pid=327132] ppid=327114 vsize=214572 memory=205704 CPUtime=161.73 cores=0,2
/proc/327132/stat : 327132 (naps-1.03) R 327114 327114 327046 0 -1 4194304 37606 0 0 0 16141 32 0 0 20 0 1 0 43635671 219721728 51426 134679101440 4194304 6891597 140725210213472 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 36978688 140725210215406 140725210215522 140725210215522 140725210222539 0
/proc/327132/statm: 53643 51426 468 659 0 52847 0
Current children cumulated CPU time: 161.73 s
Current children cumulated vsize: 224504 KiB
Current children cumulated memory: 208484 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 3.25 3.15 5/248 327721
/proc/meminfo: memFree=98687464/131655788 swapFree=131070192/131071996
[pid=327114] ppid=327102 vsize=9932 memory=2780 CPUtime=0 cores=0,2
/proc/327114/stat : 327114 (naps-1.03.sh) S 327102 327114 327046 0 -1 4194304 221 238 0 0 0 0 0 0 20 0 1 0 43635670 10170368 695 134679101440 94256156987392 94256158066712 140723189210768 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94256160165168 94256160212356 94256190373888 140723189212125 140723189212254 140723189212254 140723189219272 0
/proc/327114/statm: 2483 695 616 264 0 134 0
[pid=327132] ppid=327114 vsize=275700 memory=230304 CPUtime=221.5 cores=0,2
/proc/327132/stat : 327132 (naps-1.03) R 327114 327114 327046 0 -1 4194304 41343 0 0 0 22112 38 0 0 20 0 1 0 43635671 282316800 57576 134679101440 4194304 6891597 140725210213472 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 36978688 140725210215406 140725210215522 140725210215522 140725210222539 0
/proc/327132/statm: 68925 57576 468 659 0 68129 0
Current children cumulated CPU time: 221.5 s
Current children cumulated vsize: 285632 KiB

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

/proc/327132/statm: 147783 126355 468 659 0 146987 0
Current children cumulated CPU time: 3031.4 s
Current children cumulated vsize: 601064 KiB
Current children cumulated memory: 508200 KiB

[startup+3102.3 s]
/proc/loadavg: 4.11 4.22 4.17 5/247 329459
/proc/meminfo: memFree=108980632/131655788 swapFree=131070192/131071996
[pid=327114] ppid=327102 vsize=9932 memory=2780 CPUtime=0 cores=0,2
/proc/327114/stat : 327114 (naps-1.03.sh) S 327102 327114 327046 0 -1 4194304 221 238 0 0 0 0 0 0 20 0 1 0 43635670 10170368 695 134679101440 94256156987392 94256158066712 140723189210768 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94256160165168 94256160212356 94256190373888 140723189212125 140723189212254 140723189212254 140723189219272 0
/proc/327114/statm: 2483 695 616 264 0 134 0
[pid=327132] ppid=327114 vsize=591468 memory=571028 CPUtime=3091.2 cores=0,2
/proc/327132/stat : 327132 (naps-1.03) R 327114 327114 327046 0 -1 4194304 123902 0 0 0 308973 147 0 0 20 0 1 0 43635671 605663232 142757 134679101440 4194304 6891597 140725210213472 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 36978688 140725210215406 140725210215522 140725210215522 140725210222539 0
/proc/327132/statm: 147867 142757 468 659 0 147071 0
Current children cumulated CPU time: 3091.2 s
Current children cumulated vsize: 601400 KiB
Current children cumulated memory: 573808 KiB

[startup+3162.3 s]
/proc/loadavg: 4.16 4.21 4.17 5/247 329469
/proc/meminfo: memFree=109003804/131655788 swapFree=131070192/131071996
[pid=327114] ppid=327102 vsize=9932 memory=2780 CPUtime=0 cores=0,2
/proc/327114/stat : 327114 (naps-1.03.sh) S 327102 327114 327046 0 -1 4194304 221 238 0 0 0 0 0 0 20 0 1 0 43635670 10170368 695 134679101440 94256156987392 94256158066712 140723189210768 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94256160165168 94256160212356 94256190373888 140723189212125 140723189212254 140723189212254 140723189219272 0
/proc/327114/statm: 2483 695 616 264 0 134 0
[pid=327132] ppid=327114 vsize=724740 memory=614916 CPUtime=3150.98 cores=0,2
/proc/327132/stat : 327132 (naps-1.03) R 327114 327114 327046 0 -1 4194304 124855 0 0 0 314950 148 0 0 20 0 1 0 43635671 742133760 153729 134679101440 4194304 6891597 140725210213472 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 36978688 140725210215406 140725210215522 140725210215522 140725210222539 0
/proc/327132/statm: 181185 153729 468 659 0 180389 0
Current children cumulated CPU time: 3150.98 s
Current children cumulated vsize: 734672 KiB
Current children cumulated memory: 617696 KiB

[startup+3222.3 s]
/proc/loadavg: 4.10 4.18 4.16 5/249 329649
/proc/meminfo: memFree=108923188/131655788 swapFree=131070192/131071996
[pid=327114] ppid=327102 vsize=9932 memory=2780 CPUtime=0 cores=0,2
/proc/327114/stat : 327114 (naps-1.03.sh) S 327102 327114 327046 0 -1 4194304 221 238 0 0 0 0 0 0 20 0 1 0 43635670 10170368 695 134679101440 94256156987392 94256158066712 140723189210768 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94256160165168 94256160212356 94256190373888 140723189212125 140723189212254 140723189212254 140723189219272 0
/proc/327114/statm: 2483 695 616 264 0 134 0
[pid=327132] ppid=327114 vsize=726596 memory=653556 CPUtime=3210.77 cores=0,2
/proc/327132/stat : 327132 (naps-1.03) R 327114 327114 327046 0 -1 4194304 125557 0 0 0 320928 149 0 0 20 0 1 0 43635671 744034304 163389 134679101440 4194304 6891597 140725210213472 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 36978688 140725210215406 140725210215522 140725210215522 140725210222539 0
/proc/327132/statm: 181649 163389 468 659 0 180853 0
Current children cumulated CPU time: 3210.77 s
Current children cumulated vsize: 736528 KiB
Current children cumulated memory: 656336 KiB

[startup+3282.3 s]
/proc/loadavg: 4.14 4.18 4.16 5/249 329660
/proc/meminfo: memFree=108812348/131655788 swapFree=131070192/131071996
[pid=327114] ppid=327102 vsize=9932 memory=2780 CPUtime=0 cores=0,2
/proc/327114/stat : 327114 (naps-1.03.sh) S 327102 327114 327046 0 -1 4194304 221 238 0 0 0 0 0 0 20 0 1 0 43635670 10170368 695 134679101440 94256156987392 94256158066712 140723189210768 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94256160165168 94256160212356 94256190373888 140723189212125 140723189212254 140723189212254 140723189219272 0
/proc/327114/statm: 2483 695 616 264 0 134 0
[pid=327132] ppid=327114 vsize=944328 memory=723348 CPUtime=3270.56 cores=0,2
/proc/327132/stat : 327132 (naps-1.03) R 327114 327114 327046 0 -1 4194304 126985 0 0 0 326905 151 0 0 20 0 1 0 43635671 966991872 180837 134679101440 4194304 6891597 140725210213472 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 36978688 140725210215406 140725210215522 140725210215522 140725210222539 0
/proc/327132/statm: 236082 180837 468 659 0 235286 0
Current children cumulated CPU time: 3270.56 s
Current children cumulated vsize: 954260 KiB
Current children cumulated memory: 726128 KiB

[startup+3342.3 s]
/proc/loadavg: 4.05 4.14 4.15 5/251 329728
/proc/meminfo: memFree=109141416/131655788 swapFree=131070192/131071996
[pid=327114] ppid=327102 vsize=9932 memory=2780 CPUtime=0 cores=0,2
/proc/327114/stat : 327114 (naps-1.03.sh) S 327102 327114 327046 0 -1 4194304 221 238 0 0 0 0 0 0 20 0 1 0 43635670 10170368 695 134679101440 94256156987392 94256158066712 140723189210768 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94256160165168 94256160212356 94256190373888 140723189212125 140723189212254 140723189212254 140723189219272 0
/proc/327114/statm: 2483 695 616 264 0 134 0
[pid=327132] ppid=327114 vsize=521516 memory=485248 CPUtime=3330.36 cores=0,2
/proc/327132/stat : 327132 (naps-1.03) R 327114 327114 327046 0 -1 4194304 128632 0 0 0 332881 155 0 0 20 0 1 0 43635671 534032384 121312 134679101440 4194304 6891597 140725210213472 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 36978688 140725210215406 140725210215522 140725210215522 140725210222539 0
/proc/327132/statm: 130379 121312 468 659 0 129583 0
Current children cumulated CPU time: 3330.36 s
Current children cumulated vsize: 531448 KiB
Current children cumulated memory: 488028 KiB

[startup+3402.3 s]
/proc/loadavg: 4.14 4.15 4.15 5/249 329738
/proc/meminfo: memFree=109055724/131655788 swapFree=131070192/131071996
[pid=327114] ppid=327102 vsize=9932 memory=2780 CPUtime=0 cores=0,2
/proc/327114/stat : 327114 (naps-1.03.sh) S 327102 327114 327046 0 -1 4194304 221 238 0 0 0 0 0 0 20 0 1 0 43635670 10170368 695 134679101440 94256156987392 94256158066712 140723189210768 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94256160165168 94256160212356 94256190373888 140723189212125 140723189212254 140723189212254 140723189219272 0
/proc/327114/statm: 2483 695 616 264 0 134 0
[pid=327132] ppid=327114 vsize=602904 memory=533024 CPUtime=3390.14 cores=0,2
/proc/327132/stat : 327132 (naps-1.03) R 327114 327114 327046 0 -1 4194304 129466 0 0 0 338858 156 0 0 20 0 1 0 43635671 617373696 133256 134679101440 4194304 6891597 140725210213472 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 36978688 140725210215406 140725210215522 140725210215522 140725210222539 0
/proc/327132/statm: 150726 133256 468 659 0 149930 0
Current children cumulated CPU time: 3390.14 s
Current children cumulated vsize: 612836 KiB
Current children cumulated memory: 535804 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.14 4.14 5/249 329751
/proc/meminfo: memFree=108965688/131655788 swapFree=131070192/131071996
[pid=327114] ppid=327102 vsize=9932 memory=2780 CPUtime=0 cores=0,2
/proc/327114/stat : 327114 (naps-1.03.sh) S 327102 327114 327046 0 -1 4194304 221 238 0 0 0 0 0 0 20 0 1 0 43635670 10170368 695 134679101440 94256156987392 94256158066712 140723189210768 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94256160165168 94256160212356 94256190373888 140723189212125 140723189212254 140723189212254 140723189219272 0
/proc/327114/statm: 2483 695 616 264 0 134 0
[pid=327132] ppid=327114 vsize=602904 memory=582176 CPUtime=3449.93 cores=0,2
/proc/327132/stat : 327132 (naps-1.03) R 327114 327114 327046 0 -1 4194304 129645 0 0 0 344836 157 0 0 20 0 1 0 43635671 617373696 145544 134679101440 4194304 6891597 140725210213472 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 36978688 140725210215406 140725210215522 140725210215522 140725210222539 0
/proc/327132/statm: 150726 145544 468 659 0 149930 0
Current children cumulated CPU time: 3449.93 s
Current children cumulated vsize: 612836 KiB
Current children cumulated memory: 584956 KiB

[startup+3522.3 s]
/proc/loadavg: 4.09 4.12 4.14 5/249 329761
/proc/meminfo: memFree=108876124/131655788 swapFree=131070192/131071996
[pid=327114] ppid=327102 vsize=9932 memory=2780 CPUtime=0 cores=0,2
/proc/327114/stat : 327114 (naps-1.03.sh) S 327102 327114 327046 0 -1 4194304 221 238 0 0 0 0 0 0 20 0 1 0 43635670 10170368 695 134679101440 94256156987392 94256158066712 140723189210768 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94256160165168 94256160212356 94256190373888 140723189212125 140723189212254 140723189212254 140723189219272 0
/proc/327114/statm: 2483 695 616 264 0 134 0
[pid=327132] ppid=327114 vsize=736484 memory=626064 CPUtime=3509.71 cores=0,2
/proc/327132/stat : 327132 (naps-1.03) R 327114 327114 327046 0 -1 4194304 130548 0 0 0 350813 158 0 0 20 0 1 0 43635671 754159616 156516 134679101440 4194304 6891597 140725210213472 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 36978688 140725210215406 140725210215522 140725210215522 140725210222539 0
/proc/327132/statm: 184121 156516 468 659 0 183325 0
Current children cumulated CPU time: 3509.71 s
Current children cumulated vsize: 746416 KiB
Current children cumulated memory: 628844 KiB

[startup+3582.3 s]
/proc/loadavg: 4.14 4.13 4.14 5/247 329771
/proc/meminfo: memFree=108948040/131655788 swapFree=131070192/131071996
[pid=327114] ppid=327102 vsize=9932 memory=2780 CPUtime=0 cores=0,2
/proc/327114/stat : 327114 (naps-1.03.sh) S 327102 327114 327046 0 -1 4194304 221 238 0 0 0 0 0 0 20 0 1 0 43635670 10170368 695 134679101440 94256156987392 94256158066712 140723189210768 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94256160165168 94256160212356 94256190373888 140723189212125 140723189212254 140723189212254 140723189219272 0
/proc/327114/statm: 2483 695 616 264 0 134 0
[pid=327132] ppid=327114 vsize=738000 memory=653884 CPUtime=3569.5 cores=0,2
/proc/327132/stat : 327132 (naps-1.03) R 327114 327114 327046 0 -1 4194304 131049 0 0 0 356791 159 0 0 20 0 1 0 43635671 755712000 163471 134679101440 4194304 6891597 140725210213472 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 36978688 140725210215406 140725210215522 140725210215522 140725210222539 0
/proc/327132/statm: 184500 163471 468 659 0 183704 0
Current children cumulated CPU time: 3569.5 s
Current children cumulated vsize: 747932 KiB
Current children cumulated memory: 656664 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3613 s]*
/proc/loadavg: 4.08 4.11 4.13 5/247 329776
/proc/meminfo: memFree=108908808/131655788 swapFree=131070192/131071996
[pid=327114] ppid=327102 vsize=9932 memory=2780 CPUtime=0 cores=0,2
/proc/327114/stat : 327114 (naps-1.03.sh) S 327102 327114 327046 0 -1 4194304 221 238 0 0 0 0 0 0 20 0 1 0 43635670 10170368 695 134679101440 94256156987392 94256158066712 140723189210768 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94256160165168 94256160212356 94256190373888 140723189212125 140723189212254 140723189212254 140723189219272 0
/proc/327114/statm: 2483 695 616 264 0 134 0
[pid=327132] ppid=327114 vsize=739348 memory=667500 CPUtime=3600.11 cores=0,2
/proc/327132/stat : 327132 (naps-1.03) R 327114 327114 327046 0 -1 4194304 131492 0 0 0 359851 160 0 0 20 0 1 0 43635671 757092352 166875 134679101440 4194304 6891597 140725210213472 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 36978688 140725210215406 140725210215522 140725210215522 140725210222539 0
/proc/327132/statm: 184837 166875 468 659 0 184041 0
Current children cumulated CPU time: 3600.11 s
Current children cumulated vsize: 749280 KiB
Current children cumulated memory: 670280 KiB

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

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

# cumulated CPU time of all completed processes:  user=0.003557 s, system=0.00444 s

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

# cumulated CPU time of all completed processes:  user=3598.52 s, system=1.61859 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): 3613.03
CPU time (s): 3600.13
CPU user time (s): 3598.52
CPU system time (s): 1.61859
CPU usage (%): 99.6432
Max. virtual memory (cumulated for all children) (KiB): 1090248
Max. memory (cumulated for all children) (KiB): 780836

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.52
system time used= 1.61859
maximum resident set size= 862228
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 131951
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= 149
involuntary context switches= 25256


# summary of solver processes directly reported to runsolver:
#   pid: 327114,327132
#   total CPU time (s): 3600.13
#   total CPU user time (s): 3598.52
#   total CPU system time (s): 1.61859

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.5704 second user time and 38.7628 second system time

The end

Launcher Data 

Begin job on nodeC002 at 2024-07-27 12:34:28
IDJOB=4461221
IDBENCH=143167
IDSOLVER=3087
FILE ID=nodeC002/4461221-1722076468
RUNJOBID= nodeC002-1722076468-327056
SLURM_JOB_ID= 8248130
Free space on /tmp= 723784 MiB

SOLVER NAME= NaPS-GM 1.03a1
BENCH NAME= PB24/WBO/SOFT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-75-70--soft-0-100-0.wbo
COMMAND LINE= HOME/naps-1.03.sh -GM BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4461221-1722076468/watcher-4461221-1722076468 -o /tmp/evaluation-result-4461221-1722076468/solver-4461221-1722076468 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1722076468-327056 --watchdog 3760  HOME/naps-1.03.sh -GM HOME/instance-4461221-1722076468.wbo

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

MD5SUM BENCH= 9b60ab1c395a8a4ea9e1c58e7ae4b4ea
RANDOM SEED=1869090057

nodeC002.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	: 0xb00001f
cpu MHz		: 1197.167
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.43
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	: 0xb00001f
cpu MHz		: 1197.164
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.41
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	: 0xb00001f
cpu MHz		: 1197.167
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.43
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	: 0xb00001f
cpu MHz		: 1197.172
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.41
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	: 0xb00001f
cpu MHz		: 1197.163
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.43
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	: 0xb00001f
cpu MHz		: 1197.161
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.41
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	: 0xb00001f
cpu MHz		: 1278.698
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.43
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	: 0xb00001f
cpu MHz		: 1212.656
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.41
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        124368296 kB
MemAvailable:   129942776 kB
Buffers:          386888 kB
Cached:          6025764 kB
SwapCached:           72 kB
Active:          2453552 kB
Inactive:        4276532 kB
Active(anon):       1420 kB
Inactive(anon):   378692 kB
Active(file):    2452132 kB
Inactive(file):  3897840 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131070192 kB
Dirty:             20888 kB
Writeback:             0 kB
AnonPages:        316980 kB
Mapped:           105660 kB
Shmem:             62036 kB
KReclaimable:     129412 kB
Slab:             241468 kB
SReclaimable:     129412 kB
SUnreclaim:       112056 kB
KernelStack:        3704 kB
PageTables:         9528 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     771584 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            14752 kB
HardwareCorrupted:     0 kB
AnonHugePages:    192512 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:      316232 kB
DirectMap2M:    36288512 kB
DirectMap1G:    99614720 kB

Free space on /tmp at the end= 723684 MiB
End job on nodeC002 at 2024-07-27 13:34:42