Trace number 4463542

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
NaPS 1.03a2MSAT (TO) 3600.09 3611.01

General information on the benchmark

NamePB24/WBO/SOFT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-71-70--soft-0-100-0.wbo
MD5SUM30fc2a06a98f4774098732df7c3fc8c4
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.186248
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables4970
Total number of constraints141
Number of soft constraints141
Number of constraints which are clauses71
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 constraint71
Top cost 7546
Min constraint cost 1
Max constraint cost 99
Sum of constraints costs 7545
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 72
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.03a2.
0.00/0.00	c Input file name: HOME/instance-4463542-1722351798.wbo
0.00/0.00	c Initial goal by soft: 7545
0.00/0.09	c single stage optimization mode
0.09/0.12	o 3588
0.30/0.33	o 216
0.30/0.37	o 2
3.98/4.08	o 1
3600.08/3611.00	c 
3600.08/3611.00	c *** TERMINATED *** by signal 15
3600.08/3611.00	s SATISFIABLE
3600.08/3611.00	c _____________________________________________________________________________
3600.08/3611.00	c std/band forms        : 73,0
3600.08/3611.00	c 2cl/3cl ITE-codings   : 35659,0
3600.08/3611.00	c BDD/srt/adr Max costs : 141174,1486,0
3600.08/3611.00	c BDDraw/bin/mul/srt/adr: 0,0,3,70,0
3600.08/3611.00	c BDD nodes             : 37083
3600.08/3611.00	c Es1/CC detections     : 0,0
3600.08/3611.00	c CC sort               : 70
3600.08/3611.00	c SAT/UNSAT calls       : 4,0
3600.08/3611.00	c regenrated variables  : 0
3600.08/3611.00	c eliminated fixed lits : 140
3600.08/3611.00	c goal lit flips        : 71
3600.08/3611.00	c goal stages           : 1
3600.08/3611.00	c goal shrink           : 0
3600.08/3611.00	c goal coeff separations: 0
3600.08/3611.00	c restarts              : 24
3600.08/3611.00	c conflicts             : 24719          (7 /sec)
3600.08/3611.00	c decisions             : 84041          (23 /sec)
3600.08/3611.00	c propagations          : 10053318       (2796 /sec)
3600.08/3611.00	c inspects              : 0              (0 /sec)
3600.08/3611.00	c CPU time (solving tm) : 3596 s        (3596 s, SAT 3.818 s, UNSAT 0 s)
3600.08/3611.00	c Time for Opt-base     : 0.003413 s
3600.08/3611.00	c Steps for Opt-base    : 8601
3600.08/3611.00	c Time for BDD coding   : 0.114 s
3600.08/3611.00	c Time for srt coding   : 0.01105 s
3600.08/3611.00	c _____________________________________________________________________________
3600.08/3611.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
3600.08/3611.00	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.08/3611.00	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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4463542-1722351798/watcher-4463542-1722351798 -o /tmp/evaluation-result-4463542-1722351798/solver-4463542-1722351798 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1722351798-13005 --watchdog 3760 HOME/naps-1.03.sh HOME/instance-4463542-1722351798.wbo 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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=13077, runsolver pid=13074

[startup+0.100081 s]*
/proc/loadavg: 1.54 2.63 3.05 5/268 13082
/proc/meminfo: memFree=129901512/131524600 swapFree=131063756/131071996
[pid=13077] ppid=13074 vsize=9932 memory=2756 CPUtime=0 cores=1,3
/proc/13077/stat : 13077 (naps-1.03.sh) S 13074 13077 12993 0 -1 4194304 225 238 0 0 0 0 0 0 20 0 1 0 1780889 10170368 689 134679101440 94158575038464 94158576117784 140731907729808 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94158578216240 94158578263428 94158598967296 140731907736547 140731907736672 140731907736672 140731907743688 0
/proc/13077/statm: 2483 689 612 264 0 134 0
[pid=13082] ppid=13077 vsize=48960 memory=44980 CPUtime=0.09 cores=1,3
/proc/13082/stat : 13082 (naps-1.03a2) R 13077 13077 12993 0 -1 4194304 11189 0 0 0 8 1 0 0 20 0 1 0 1780890 50135040 11245 134679101440 4194304 6891597 140725238098816 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 24248320 140725238100974 140725238101088 140725238101088 140725238108105 0
/proc/13082/statm: 12240 11245 612 659 0 11444 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 58892 KiB
Current children cumulated memory: 47736 KiB

[startup+0.206013 s]*
/proc/loadavg: 1.54 2.63 3.05 5/268 13082
/proc/meminfo: memFree=129874044/131524600 swapFree=131063756/131071996
[pid=13077] ppid=13074 vsize=9932 memory=2756 CPUtime=0 cores=1,3
/proc/13077/stat : 13077 (naps-1.03.sh) S 13074 13077 12993 0 -1 4194304 225 238 0 0 0 0 0 0 20 0 1 0 1780889 10170368 689 134679101440 94158575038464 94158576117784 140731907729808 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94158578216240 94158578263428 94158598967296 140731907736547 140731907736672 140731907736672 140731907743688 0
/proc/13077/statm: 2483 689 612 264 0 134 0
[pid=13082] ppid=13077 vsize=58316 memory=55012 CPUtime=0.19 cores=1,3
/proc/13082/stat : 13082 (naps-1.03a2) R 13077 13077 12993 0 -1 4194304 13663 0 0 0 18 1 0 0 20 0 1 0 1780890 59715584 13753 134679101440 4194304 6891597 140725238098816 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 24248320 140725238100974 140725238101088 140725238101088 140725238108105 0
/proc/13082/statm: 14579 13753 612 659 0 13783 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 68248 KiB
Current children cumulated memory: 57768 KiB

[startup+0.305806 s]*
/proc/loadavg: 1.54 2.63 3.05 5/268 13082
/proc/meminfo: memFree=129816572/131524600 swapFree=131063756/131071996
[pid=13077] ppid=13074 vsize=9932 memory=2756 CPUtime=0 cores=1,3
/proc/13077/stat : 13077 (naps-1.03.sh) S 13074 13077 12993 0 -1 4194304 225 238 0 0 0 0 0 0 20 0 1 0 1780889 10170368 689 134679101440 94158575038464 94158576117784 140731907729808 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94158578216240 94158578263428 94158598967296 140731907736547 140731907736672 140731907736672 140731907743688 0
/proc/13077/statm: 2483 689 612 264 0 134 0
[pid=13082] ppid=13077 vsize=74412 memory=69560 CPUtime=0.3 cores=1,3
/proc/13082/stat : 13082 (naps-1.03a2) R 13077 13077 12993 0 -1 4194304 17280 0 0 0 28 2 0 0 20 0 1 0 1780890 76197888 17390 134679101440 4194304 6891597 140725238098816 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 24248320 140725238100974 140725238101088 140725238101088 140725238108105 0
/proc/13082/statm: 18603 17390 644 659 0 17807 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 84344 KiB
Current children cumulated memory: 72316 KiB

[startup+0.700271 s]
/proc/loadavg: 1.54 2.63 3.05 5/268 13082
/proc/meminfo: memFree=129719592/131524600 swapFree=131063756/131071996
[pid=13077] ppid=13074 vsize=9932 memory=2756 CPUtime=0 cores=1,3
/proc/13077/stat : 13077 (naps-1.03.sh) S 13074 13077 12993 0 -1 4194304 225 238 0 0 0 0 0 0 20 0 1 0 1780889 10170368 689 134679101440 94158575038464 94158576117784 140731907729808 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94158578216240 94158578263428 94158598967296 140731907736547 140731907736672 140731907736672 140731907743688 0
/proc/13077/statm: 2483 689 612 264 0 134 0
[pid=13082] ppid=13077 vsize=83192 memory=79304 CPUtime=0.69 cores=1,3
/proc/13082/stat : 13082 (naps-1.03a2) R 13077 13077 12993 0 -1 4194304 20889 0 0 0 66 3 0 0 20 0 1 0 1780890 85188608 19826 134679101440 4194304 6891597 140725238098816 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 24248320 140725238100974 140725238101088 140725238101088 140725238108105 0
/proc/13082/statm: 20798 19826 644 659 0 20002 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 93124 KiB
Current children cumulated memory: 82060 KiB

[startup+1.50027 s]
/proc/loadavg: 1.54 2.63 3.05 5/268 13082
/proc/meminfo: memFree=129678372/131524600 swapFree=131063756/131071996
[pid=13077] ppid=13074 vsize=9932 memory=2756 CPUtime=0 cores=1,3
/proc/13077/stat : 13077 (naps-1.03.sh) S 13074 13077 12993 0 -1 4194304 225 238 0 0 0 0 0 0 20 0 1 0 1780889 10170368 689 134679101440 94158575038464 94158576117784 140731907729808 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94158578216240 94158578263428 94158598967296 140731907736547 140731907736672 140731907736672 140731907743688 0
/proc/13077/statm: 2483 689 612 264 0 134 0
[pid=13082] ppid=13077 vsize=103504 memory=96544 CPUtime=1.48 cores=1,3
/proc/13082/stat : 13082 (naps-1.03a2) R 13077 13077 12993 0 -1 4194304 23680 0 0 0 145 3 0 0 20 0 1 0 1780890 105988096 24136 134679101440 4194304 6891597 140725238098816 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 24248320 140725238100974 140725238101088 140725238101088 140725238108105 0
/proc/13082/statm: 25876 24136 660 659 0 25080 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 113436 KiB
Current children cumulated memory: 99300 KiB

[startup+3.10588 s]
/proc/loadavg: 1.54 2.63 3.05 5/268 13082
/proc/meminfo: memFree=129617732/131524600 swapFree=131063756/131071996
[pid=13077] ppid=13074 vsize=9932 memory=2756 CPUtime=0 cores=1,3
/proc/13077/stat : 13077 (naps-1.03.sh) S 13074 13077 12993 0 -1 4194304 225 238 0 0 0 0 0 0 20 0 1 0 1780889 10170368 689 134679101440 94158575038464 94158576117784 140731907729808 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94158578216240 94158578263428 94158598967296 140731907736547 140731907736672 140731907736672 140731907743688 0
/proc/13077/statm: 2483 689 612 264 0 134 0
[pid=13082] ppid=13077 vsize=99032 memory=95948 CPUtime=3.08 cores=1,3
/proc/13082/stat : 13082 (naps-1.03a2) R 13077 13077 12993 0 -1 4194304 25856 0 0 0 304 4 0 0 20 0 1 0 1780890 101408768 23987 134679101440 4194304 6891597 140725238098816 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 24248320 140725238100974 140725238101088 140725238101088 140725238108105 0
/proc/13082/statm: 24758 23987 660 659 0 23962 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 108964 KiB
Current children cumulated memory: 98704 KiB

[startup+6.30024 s]
/proc/loadavg: 1.74 2.66 3.06 5/268 13084
/proc/meminfo: memFree=129660368/131524600 swapFree=131063756/131071996
[pid=13077] ppid=13074 vsize=9932 memory=2756 CPUtime=0 cores=1,3
/proc/13077/stat : 13077 (naps-1.03.sh) S 13074 13077 12993 0 -1 4194304 225 238 0 0 0 0 0 0 20 0 1 0 1780889 10170368 689 134679101440 94158575038464 94158576117784 140731907729808 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94158578216240 94158578263428 94158598967296 140731907736547 140731907736672 140731907736672 140731907743688 0
/proc/13077/statm: 2483 689 612 264 0 134 0
[pid=13082] ppid=13077 vsize=79948 memory=73380 CPUtime=6.26 cores=1,3
/proc/13082/stat : 13082 (naps-1.03a2) R 13077 13077 12993 0 -1 4194304 26613 0 0 0 622 4 0 0 20 0 1 0 1780890 81866752 18345 134679101440 4194304 6891597 140725238098816 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 24248320 140725238100974 140725238101088 140725238101088 140725238108105 0
/proc/13082/statm: 19987 18345 660 659 0 19191 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 89880 KiB
Current children cumulated memory: 76136 KiB

[startup+12.7002 s]
/proc/loadavg: 1.92 2.68 3.06 5/266 13084
/proc/meminfo: memFree=129642020/131524600 swapFree=131063756/131071996
[pid=13077] ppid=13074 vsize=9932 memory=2756 CPUtime=0 cores=1,3
/proc/13077/stat : 13077 (naps-1.03.sh) S 13074 13077 12993 0 -1 4194304 225 238 0 0 0 0 0 0 20 0 1 0 1780889 10170368 689 134679101440 94158575038464 94158576117784 140731907729808 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94158578216240 94158578263428 94158598967296 140731907736547 140731907736672 140731907736672 140731907743688 0
/proc/13077/statm: 2483 689 612 264 0 134 0
[pid=13082] ppid=13077 vsize=84336 memory=77528 CPUtime=12.64 cores=1,3
/proc/13082/stat : 13082 (naps-1.03a2) R 13077 13077 12993 0 -1 4194304 27168 0 0 0 1260 4 0 0 20 0 1 0 1780890 86360064 19382 134679101440 4194304 6891597 140725238098816 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 24248320 140725238100974 140725238101088 140725238101088 140725238108105 0
/proc/13082/statm: 21084 19382 660 659 0 20288 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 94268 KiB
Current children cumulated memory: 80284 KiB

[startup+25.5002 s]
/proc/loadavg: 2.38 2.75 3.08 5/266 13087
/proc/meminfo: memFree=129595088/131524600 swapFree=131063756/131071996
[pid=13077] ppid=13074 vsize=9932 memory=2756 CPUtime=0 cores=1,3
/proc/13077/stat : 13077 (naps-1.03.sh) S 13074 13077 12993 0 -1 4194304 225 238 0 0 0 0 0 0 20 0 1 0 1780889 10170368 689 134679101440 94158575038464 94158576117784 140731907729808 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94158578216240 94158578263428 94158598967296 140731907736547 140731907736672 140731907736672 140731907743688 0
/proc/13077/statm: 2483 689 612 264 0 134 0
[pid=13082] ppid=13077 vsize=100312 memory=93596 CPUtime=25.4 cores=1,3
/proc/13082/stat : 13082 (naps-1.03a2) R 13077 13077 12993 0 -1 4194304 29125 0 0 0 2535 5 0 0 20 0 1 0 1780890 102719488 23399 134679101440 4194304 6891597 140725238098816 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 24248320 140725238100974 140725238101088 140725238101088 140725238108105 0
/proc/13082/statm: 25078 23399 660 659 0 24282 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 110244 KiB
Current children cumulated memory: 96352 KiB

[startup+51.1048 s]
/proc/loadavg: 3.08 2.88 3.12 5/266 13090
/proc/meminfo: memFree=129545836/131524600 swapFree=131063756/131071996
[pid=13077] ppid=13074 vsize=9932 memory=2756 CPUtime=0 cores=1,3
/proc/13077/stat : 13077 (naps-1.03.sh) S 13074 13077 12993 0 -1 4194304 225 238 0 0 0 0 0 0 20 0 1 0 1780889 10170368 689 134679101440 94158575038464 94158576117784 140731907729808 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94158578216240 94158578263428 94158598967296 140731907736547 140731907736672 140731907736672 140731907743688 0
/proc/13077/statm: 2483 689 612 264 0 134 0
[pid=13082] ppid=13077 vsize=106676 memory=99760 CPUtime=50.93 cores=1,3
/proc/13082/stat : 13082 (naps-1.03a2) R 13077 13077 12993 0 -1 4194304 33172 0 0 0 5086 7 0 0 20 0 1 0 1780890 109236224 24940 134679101440 4194304 6891597 140725238098816 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 24248320 140725238100974 140725238101088 140725238101088 140725238108105 0
/proc/13082/statm: 26669 24940 660 659 0 25873 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 116608 KiB
Current children cumulated memory: 102516 KiB

[startup+102.3 s]
/proc/loadavg: 3.68 3.07 3.17 5/266 13098
/proc/meminfo: memFree=129534812/131524600 swapFree=131063756/131071996
[pid=13077] ppid=13074 vsize=9932 memory=2756 CPUtime=0 cores=1,3
/proc/13077/stat : 13077 (naps-1.03.sh) S 13074 13077 12993 0 -1 4194304 225 238 0 0 0 0 0 0 20 0 1 0 1780889 10170368 689 134679101440 94158575038464 94158576117784 140731907729808 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94158578216240 94158578263428 94158598967296 140731907736547 140731907736672 140731907736672 140731907743688 0
/proc/13077/statm: 2483 689 612 264 0 134 0
[pid=13082] ppid=13077 vsize=95624 memory=89056 CPUtime=101.95 cores=1,3
/proc/13082/stat : 13082 (naps-1.03a2) R 13077 13077 12993 0 -1 4194304 37753 0 0 0 10186 9 0 0 20 0 1 0 1780890 97918976 22264 134679101440 4194304 6891597 140725238098816 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 24248320 140725238100974 140725238101088 140725238101088 140725238108105 0
/proc/13082/statm: 23906 22264 660 659 0 23110 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 105556 KiB
Current children cumulated memory: 91812 KiB

[startup+162.3 s]
/proc/loadavg: 3.94 3.26 3.23 5/263 13110
/proc/meminfo: memFree=129420048/131524600 swapFree=131063756/131071996
[pid=13077] ppid=13074 vsize=9932 memory=2756 CPUtime=0 cores=1,3
/proc/13077/stat : 13077 (naps-1.03.sh) S 13074 13077 12993 0 -1 4194304 225 238 0 0 0 0 0 0 20 0 1 0 1780889 10170368 689 134679101440 94158575038464 94158576117784 140731907729808 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94158578216240 94158578263428 94158598967296 140731907736547 140731907736672 140731907736672 140731907743688 0
/proc/13077/statm: 2483 689 612 264 0 134 0
[pid=13082] ppid=13077 vsize=141580 memory=134656 CPUtime=161.76 cores=1,3
/proc/13082/stat : 13082 (naps-1.03a2) R 13077 13077 12993 0 -1 4194304 40273 0 0 0 16164 12 0 0 20 0 1 0 1780890 144977920 33664 134679101440 4194304 6891597 140725238098816 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 24248320 140725238100974 140725238101088 140725238101088 140725238108105 0
/proc/13082/statm: 35395 33664 660 659 0 34599 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 151512 KiB
Current children cumulated memory: 137412 KiB

[startup+222.3 s]
/proc/loadavg: 4.02 3.41 3.29 5/262 13120
/proc/meminfo: memFree=129353384/131524600 swapFree=131063756/131071996
[pid=13077] ppid=13074 vsize=9932 memory=2756 CPUtime=0 cores=1,3
/proc/13077/stat : 13077 (naps-1.03.sh) S 13074 13077 12993 0 -1 4194304 225 238 0 0 0 0 0 0 20 0 1 0 1780889 10170368 689 134679101440 94158575038464 94158576117784 140731907729808 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94158578216240 94158578263428 94158598967296 140731907736547 140731907736672 140731907736672 140731907743688 0
/proc/13077/statm: 2483 689 612 264 0 134 0
[pid=13082] ppid=13077 vsize=145396 memory=138548 CPUtime=221.56 cores=1,3
/proc/13082/stat : 13082 (naps-1.03a2) R 13077 13077 12993 0 -1 4194304 40742 0 0 0 22144 12 0 0 20 0 1 0 1780890 148885504 34637 134679101440 4194304 6891597 140725238098816 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 24248320 140725238100974 140725238101088 140725238101088 140725238108105 0
/proc/13082/statm: 36349 34637 660 659 0 35553 0
Current children cumulated CPU time: 221.56 s
Current children cumulated vsize: 155328 KiB

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

/proc/loadavg: 4.15 4.13 4.09 5/262 14265
/proc/meminfo: memFree=128921080/131524600 swapFree=131063756/131071996
[pid=13077] ppid=13074 vsize=9932 memory=2756 CPUtime=0 cores=1,3
/proc/13077/stat : 13077 (naps-1.03.sh) S 13074 13077 12993 0 -1 4194304 225 238 0 0 0 0 0 0 20 0 1 0 1780889 10170368 689 134679101440 94158575038464 94158576117784 140731907729808 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94158578216240 94158578263428 94158598967296 140731907736547 140731907736672 140731907736672 140731907743688 0
/proc/13077/statm: 2483 689 612 264 0 134 0
[pid=13082] ppid=13077 vsize=279076 memory=272232 CPUtime=3033.15 cores=1,3
/proc/13082/stat : 13082 (naps-1.03a2) R 13077 13077 12993 0 -1 4194304 191236 0 0 0 302984 331 0 0 20 0 1 0 1780890 285773824 68058 134679101440 4194304 6891597 140725238098816 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 24248320 140725238100974 140725238101088 140725238101088 140725238108105 0
/proc/13082/statm: 69769 68058 660 659 0 68973 0
Current children cumulated CPU time: 3033.15 s
Current children cumulated vsize: 289008 KiB
Current children cumulated memory: 274988 KiB

[startup+3102.3 s]
/proc/loadavg: 4.05 4.10 4.09 5/262 14276
/proc/meminfo: memFree=128926052/131524600 swapFree=131063756/131071996
[pid=13077] ppid=13074 vsize=9932 memory=2756 CPUtime=0 cores=1,3
/proc/13077/stat : 13077 (naps-1.03.sh) S 13074 13077 12993 0 -1 4194304 225 238 0 0 0 0 0 0 20 0 1 0 1780889 10170368 689 134679101440 94158575038464 94158576117784 140731907729808 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94158578216240 94158578263428 94158598967296 140731907736547 140731907736672 140731907736672 140731907743688 0
/proc/13077/statm: 2483 689 612 264 0 134 0
[pid=13082] ppid=13077 vsize=288672 memory=283024 CPUtime=3092.95 cores=1,3
/proc/13082/stat : 13082 (naps-1.03a2) R 13077 13077 12993 0 -1 4194304 192852 0 0 0 308961 334 0 0 20 0 1 0 1780890 295600128 70756 134679101440 4194304 6891597 140725238098816 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 24248320 140725238100974 140725238101088 140725238101088 140725238108105 0
/proc/13082/statm: 72168 70756 660 659 0 71372 0
Current children cumulated CPU time: 3092.95 s
Current children cumulated vsize: 298604 KiB
Current children cumulated memory: 285780 KiB

[startup+3162.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/259 14668
/proc/meminfo: memFree=128882788/131524600 swapFree=131063756/131071996
[pid=13077] ppid=13074 vsize=9932 memory=2756 CPUtime=0 cores=1,3
/proc/13077/stat : 13077 (naps-1.03.sh) S 13074 13077 12993 0 -1 4194304 225 238 0 0 0 0 0 0 20 0 1 0 1780889 10170368 689 134679101440 94158575038464 94158576117784 140731907729808 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94158578216240 94158578263428 94158598967296 140731907736547 140731907736672 140731907736672 140731907743688 0
/proc/13077/statm: 2483 689 612 264 0 134 0
[pid=13082] ppid=13077 vsize=279620 memory=273972 CPUtime=3152.77 cores=1,3
/proc/13082/stat : 13082 (naps-1.03a2) R 13077 13077 12993 0 -1 4194304 194973 0 0 0 314938 339 0 0 20 0 1 0 1780890 286330880 68493 134679101440 4194304 6891597 140725238098816 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 24248320 140725238100974 140725238101088 140725238101088 140725238108105 0
/proc/13082/statm: 69905 68493 660 659 0 69109 0
Current children cumulated CPU time: 3152.77 s
Current children cumulated vsize: 289552 KiB
Current children cumulated memory: 276728 KiB

[startup+3222.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/259 14678
/proc/meminfo: memFree=128706988/131524600 swapFree=131063756/131071996
[pid=13077] ppid=13074 vsize=9932 memory=2756 CPUtime=0 cores=1,3
/proc/13077/stat : 13077 (naps-1.03.sh) S 13074 13077 12993 0 -1 4194304 225 238 0 0 0 0 0 0 20 0 1 0 1780889 10170368 689 134679101440 94158575038464 94158576117784 140731907729808 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94158578216240 94158578263428 94158598967296 140731907736547 140731907736672 140731907736672 140731907743688 0
/proc/13077/statm: 2483 689 612 264 0 134 0
[pid=13082] ppid=13077 vsize=280664 memory=275016 CPUtime=3212.58 cores=1,3
/proc/13082/stat : 13082 (naps-1.03a2) R 13077 13077 12993 0 -1 4194304 197563 0 0 0 320912 346 0 0 20 0 1 0 1780890 287399936 68754 134679101440 4194304 6891597 140725238098816 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 24248320 140725238100974 140725238101088 140725238101088 140725238108105 0
/proc/13082/statm: 70166 68754 660 659 0 69370 0
Current children cumulated CPU time: 3212.58 s
Current children cumulated vsize: 290596 KiB
Current children cumulated memory: 277772 KiB

[startup+3282.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/259 14690
/proc/meminfo: memFree=128819160/131524600 swapFree=131063756/131071996
[pid=13077] ppid=13074 vsize=9932 memory=2756 CPUtime=0 cores=1,3
/proc/13077/stat : 13077 (naps-1.03.sh) S 13074 13077 12993 0 -1 4194304 225 238 0 0 0 0 0 0 20 0 1 0 1780889 10170368 689 134679101440 94158575038464 94158576117784 140731907729808 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94158578216240 94158578263428 94158598967296 140731907736547 140731907736672 140731907736672 140731907743688 0
/proc/13077/statm: 2483 689 612 264 0 134 0
[pid=13082] ppid=13077 vsize=308864 memory=303216 CPUtime=3272.4 cores=1,3
/proc/13082/stat : 13082 (naps-1.03a2) R 13077 13077 12993 0 -1 4194304 199189 0 0 0 326890 350 0 0 20 0 1 0 1780890 316276736 75804 134679101440 4194304 6891597 140725238098816 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 24248320 140725238100974 140725238101088 140725238101088 140725238108105 0
/proc/13082/statm: 77216 75804 660 659 0 76420 0
Current children cumulated CPU time: 3272.4 s
Current children cumulated vsize: 318796 KiB
Current children cumulated memory: 305972 KiB

[startup+3342.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/261 14871
/proc/meminfo: memFree=128812664/131524600 swapFree=131063756/131071996
[pid=13077] ppid=13074 vsize=9932 memory=2756 CPUtime=0 cores=1,3
/proc/13077/stat : 13077 (naps-1.03.sh) S 13074 13077 12993 0 -1 4194304 225 238 0 0 0 0 0 0 20 0 1 0 1780889 10170368 689 134679101440 94158575038464 94158576117784 140731907729808 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94158578216240 94158578263428 94158598967296 140731907736547 140731907736672 140731907736672 140731907743688 0
/proc/13077/statm: 2483 689 612 264 0 134 0
[pid=13082] ppid=13077 vsize=280340 memory=274692 CPUtime=3332.2 cores=1,3
/proc/13082/stat : 13082 (naps-1.03a2) R 13077 13077 12993 0 -1 4194304 201286 0 0 0 332864 356 0 0 20 0 1 0 1780890 287068160 68673 134679101440 4194304 6891597 140725238098816 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 24248320 140725238100974 140725238101088 140725238101088 140725238108105 0
/proc/13082/statm: 70085 68673 660 659 0 69289 0
Current children cumulated CPU time: 3332.2 s
Current children cumulated vsize: 290272 KiB
Current children cumulated memory: 277448 KiB

[startup+3402.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/261 14881
/proc/meminfo: memFree=128848968/131524600 swapFree=131063756/131071996
[pid=13077] ppid=13074 vsize=9932 memory=2756 CPUtime=0 cores=1,3
/proc/13077/stat : 13077 (naps-1.03.sh) S 13074 13077 12993 0 -1 4194304 225 238 0 0 0 0 0 0 20 0 1 0 1780889 10170368 689 134679101440 94158575038464 94158576117784 140731907729808 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94158578216240 94158578263428 94158598967296 140731907736547 140731907736672 140731907736672 140731907743688 0
/proc/13077/statm: 2483 689 612 264 0 134 0
[pid=13082] ppid=13077 vsize=301384 memory=295736 CPUtime=3392.02 cores=1,3
/proc/13082/stat : 13082 (naps-1.03a2) R 13077 13077 12993 0 -1 4194304 203453 0 0 0 338837 365 0 0 20 0 1 0 1780890 308617216 73934 134679101440 4194304 6891597 140725238098816 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 24248320 140725238100974 140725238101088 140725238101088 140725238108105 0
/proc/13082/statm: 75346 73934 660 659 0 74550 0
Current children cumulated CPU time: 3392.02 s
Current children cumulated vsize: 311316 KiB
Current children cumulated memory: 298492 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/261 14895
/proc/meminfo: memFree=128835596/131524600 swapFree=131063756/131071996
[pid=13077] ppid=13074 vsize=9932 memory=2756 CPUtime=0 cores=1,3
/proc/13077/stat : 13077 (naps-1.03.sh) S 13074 13077 12993 0 -1 4194304 225 238 0 0 0 0 0 0 20 0 1 0 1780889 10170368 689 134679101440 94158575038464 94158576117784 140731907729808 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94158578216240 94158578263428 94158598967296 140731907736547 140731907736672 140731907736672 140731907743688 0
/proc/13077/statm: 2483 689 612 264 0 134 0
[pid=13082] ppid=13077 vsize=283848 memory=278200 CPUtime=3451.84 cores=1,3
/proc/13082/stat : 13082 (naps-1.03a2) R 13077 13077 12993 0 -1 4194304 205960 0 0 0 344813 371 0 0 20 0 1 0 1780890 290660352 69550 134679101440 4194304 6891597 140725238098816 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 24248320 140725238100974 140725238101088 140725238101088 140725238108105 0
/proc/13082/statm: 70962 69550 660 659 0 70166 0
Current children cumulated CPU time: 3451.84 s
Current children cumulated vsize: 293780 KiB
Current children cumulated memory: 280956 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/261 14916
/proc/meminfo: memFree=128842540/131524600 swapFree=131063756/131071996
[pid=13077] ppid=13074 vsize=9932 memory=2756 CPUtime=0 cores=1,3
/proc/13077/stat : 13077 (naps-1.03.sh) S 13074 13077 12993 0 -1 4194304 225 238 0 0 0 0 0 0 20 0 1 0 1780889 10170368 689 134679101440 94158575038464 94158576117784 140731907729808 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94158578216240 94158578263428 94158598967296 140731907736547 140731907736672 140731907736672 140731907743688 0
/proc/13077/statm: 2483 689 612 264 0 134 0
[pid=13082] ppid=13077 vsize=302084 memory=296436 CPUtime=3511.65 cores=1,3
/proc/13082/stat : 13082 (naps-1.03a2) R 13077 13077 12993 0 -1 4194304 209457 0 0 0 350785 380 0 0 20 0 1 0 1780890 309334016 74109 134679101440 4194304 6891597 140725238098816 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 24248320 140725238100974 140725238101088 140725238101088 140725238108105 0
/proc/13082/statm: 75521 74109 660 659 0 74725 0
Current children cumulated CPU time: 3511.65 s
Current children cumulated vsize: 312016 KiB
Current children cumulated memory: 299192 KiB

[startup+3582.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/261 14927
/proc/meminfo: memFree=128860500/131524600 swapFree=131063756/131071996
[pid=13077] ppid=13074 vsize=9932 memory=2756 CPUtime=0 cores=1,3
/proc/13077/stat : 13077 (naps-1.03.sh) S 13074 13077 12993 0 -1 4194304 225 238 0 0 0 0 0 0 20 0 1 0 1780889 10170368 689 134679101440 94158575038464 94158576117784 140731907729808 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94158578216240 94158578263428 94158598967296 140731907736547 140731907736672 140731907736672 140731907743688 0
/proc/13077/statm: 2483 689 612 264 0 134 0
[pid=13082] ppid=13077 vsize=286952 memory=281304 CPUtime=3571.46 cores=1,3
/proc/13082/stat : 13082 (naps-1.03a2) R 13077 13077 12993 0 -1 4194304 211823 0 0 0 356759 387 0 0 20 0 1 0 1780890 293838848 70326 134679101440 4194304 6891597 140725238098816 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 24248320 140725238100974 140725238101088 140725238101088 140725238108105 0
/proc/13082/statm: 71738 70326 660 659 0 70942 0
Current children cumulated CPU time: 3571.46 s
Current children cumulated vsize: 296884 KiB
Current children cumulated memory: 284060 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611 s]*
/proc/loadavg: 4.17 4.11 4.10 5/261 15032
/proc/meminfo: memFree=129326048/131524600 swapFree=131063756/131071996
[pid=13077] ppid=13074 vsize=9932 memory=2756 CPUtime=0 cores=1,3
/proc/13077/stat : 13077 (naps-1.03.sh) S 13074 13077 12993 0 -1 4194304 225 238 0 0 0 0 0 0 20 0 1 0 1780889 10170368 689 134679101440 94158575038464 94158576117784 140731907729808 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94158578216240 94158578263428 94158598967296 140731907736547 140731907736672 140731907736672 140731907743688 0
/proc/13077/statm: 2483 689 612 264 0 134 0
[pid=13082] ppid=13077 vsize=287608 memory=281960 CPUtime=3600.08 cores=1,3
/proc/13082/stat : 13082 (naps-1.03a2) R 13077 13077 12993 0 -1 4194304 213488 0 0 0 359617 391 0 0 20 0 1 0 1780890 294510592 70490 134679101440 4194304 6891597 140725238098816 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 24248320 140725238100974 140725238101088 140725238101088 140725238108105 0
/proc/13082/statm: 71902 70490 660 659 0 71106 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 297540 KiB
Current children cumulated memory: 284716 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3596.17 s, system=3.91893 s

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

Child status: 10

Real time (s): 3611.01
CPU time (s): 3600.09
CPU user time (s): 3596.17
CPU system time (s): 3.91893
CPU usage (%): 99.6977
Max. virtual memory (cumulated for all children) (KiB): 454420
Max. memory (cumulated for all children) (KiB): 403704

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.17
system time used= 3.91893
maximum resident set size= 437144
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 213966
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= 30
involuntary context switches= 2439


# summary of solver processes directly reported to runsolver:
#   pid: 13077
#   total CPU time (s): 3600.09
#   total CPU user time (s): 3596.17
#   total CPU system time (s): 3.91893

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.56454 second user time and 17.2745 second system time

The end

Launcher Data 

Begin job on nodeC029 at 2024-07-30 17:03:18
IDJOB=4463542
IDBENCH=143155
IDSOLVER=3090
FILE ID=nodeC029/4463542-1722351798
RUNJOBID= nodeC029-1722351798-13005
SLURM_JOB_ID= 8249016
Free space on /tmp= 890068 MiB

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

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

MD5SUM BENCH= 30fc2a06a98f4774098732df7c3fc8c4
RANDOM SEED=1186237529

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        130063972 kB
MemAvailable:   129844024 kB
Buffers:           51080 kB
Cached:           569476 kB
SwapCached:          212 kB
Active:           177188 kB
Inactive:         824380 kB
Active(anon):       1712 kB
Inactive(anon):   400436 kB
Active(file):     175476 kB
Inactive(file):   423944 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131063756 kB
Dirty:             21884 kB
Writeback:            20 kB
AnonPages:        380076 kB
Mapped:            94268 kB
Shmem:             21024 kB
KReclaimable:      40912 kB
Slab:             119848 kB
SReclaimable:      40912 kB
SUnreclaim:        78936 kB
KernelStack:        4232 kB
PageTables:         9592 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     757520 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:             7616 kB
HardwareCorrupted:     0 kB
AnonHugePages:    237568 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:      185044 kB
DirectMap2M:     6928384 kB
DirectMap1G:    128974848 kB

Free space on /tmp at the end= 890020 MiB
End job on nodeC029 at 2024-07-30 18:03:29