Trace number 4507716

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
OR-Tools CP-SAT 9.14SAT 72.0275 36.9063

General information on the benchmark

NamePB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathBA/normalized-BeauxArts_K76.opb
MD5SUMc8871c8b730191d1a04606ab4baf2dee
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark0.706908
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4180
Total number of constraints4334
Number of constraints which are clauses4258
Number of constraints which are cardinality constraints (but not clauses)76
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint76
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 77
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

Solver Data

71.81/36.89	o 0
72.01/36.90	s SATISFIABLE
72.01/36.90	v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 
72.01/36.90	v -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 
72.01/36.90	v -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 
72.01/36.90	v -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 
72.01/36.90	v -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 
72.01/36.90	v x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 
72.01/36.90	v -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 
72.01/36.90	v -x108 -x109 -x110 -x111 -x112 x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 
72.01/36.90	v -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 
72.01/36.90	v -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 
72.01/36.90	v -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 
72.01/36.90	v -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 
72.01/36.90	v -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 
72.01/36.90	v -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 
72.01/36.90	v -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 
72.01/36.90	v -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 
72.01/36.90	v -x225 x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 
72.01/36.90	v -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 
72.01/36.90	v -x251 -x252 -x253 -x254 -x255 -x256 x257 -x258 -x259 -x260 -x261 -x262 -x263 
72.01/36.90	v -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 
72.01/36.90	v -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 
72.01/36.90	v -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 
72.01/36.90	v x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 
72.01/36.90	v -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 
72.01/36.90	v -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 x340 -x341 
72.01/36.90	v -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 
72.01/36.90	v -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 
72.01/36.90	v -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 
72.01/36.90	v -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 
72.01/36.90	v -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 
72.01/36.90	v -x407 -x408 -x409 x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 
72.01/36.90	v -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 
72.01/36.90	v -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 
72.01/36.90	v -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 
72.01/36.90	v -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 
72.01/36.90	v -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 
72.01/36.90	v -x485 -x486 -x487 -x488 -x489 -x490 x491 -x492 -x493 -x494 -x495 -x496 -x497 
72.01/36.90	v -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 
72.01/36.90	v -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 
72.01/36.90	v -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 
72.01/36.90	v -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 
72.01/36.90	v -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 
72.01/36.90	v x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 
72.01/36.90	v -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 
72.01/36.90	v -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 
72.01/36.90	v -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 
72.01/36.90	v -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 
72.01/36.90	v -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 
72.01/36.90	v -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 
72.01/36.90	v -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 
72.01/36.90	v -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 x676 -x677 x678 -x679 
72.01/36.90	v x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 
72.01/36.90	v -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 
72.01/36.90	v -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 
72.01/36.90	v -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 
72.01/36.90	v -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 
72.01/36.90	v -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 x753 -x754 -x755 -x756 -x757 
72.01/36.90	v -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 
72.01/36.90	v -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 
72.01/36.90	v -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 x792 -x793 x794 -x795 -x796 
72.01/36.90	v -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 
72.01/36.90	v -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 
72.01/36.90	v -x823 -x824 -x825 -x826 x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 
72.01/36.90	v -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 
72.01/36.90	v -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 
72.01/36.90	v -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 
72.01/36.90	v -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 
72.01/36.90	v -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 
72.01/36.90	v -x901 -x902 -x903 -x904 -x905 -x906 x907 -x908 -x909 -x910 -x911 -x912 -x913 
72.01/36.90	v -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 
72.01/36.90	v -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 
72.01/36.90	v -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 
72.01/36.90	v -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 
72.01/36.90	v -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 
72.01/36.90	v -x979 -x980 -x981 -x982 -x983 -x984 x985 -x986 -x987 -x988 -x989 -x990 x991 
72.01/36.90	v -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 
72.01/36.90	v -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 
72.01/36.90	v -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 
72.01/36.90	v x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 
72.01/36.90	v -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 
72.01/36.90	v -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 
72.01/36.90	v -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 
72.01/36.90	v -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 
72.01/36.90	v -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 
72.01/36.90	v -x1092 -x1093 -x1094 -x1095 -x1096 x1097 -x1098 -x1099 -x1100 -x1101 -x1102 
72.01/36.90	v -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 
72.01/36.90	v -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 
72.01/36.90	v -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 
72.01/36.90	v -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 
72.01/36.90	v -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 
72.01/36.90	v -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 x1168 
72.01/36.90	v -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 
72.01/36.90	v -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 
72.01/36.90	v -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 
72.01/36.90	v -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 
72.01/36.90	v -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 
72.01/36.90	v -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 
72.01/36.90	v -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 
72.01/36.90	v -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 
72.01/36.90	v -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 
72.01/36.90	v -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 
72.01/36.90	v -x1279 -x1280 -x1281 x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 
72.01/36.90	v -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 
72.01/36.90	v -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 
72.01/36.90	v -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 
72.01/36.90	v -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 
72.01/36.90	v -x1334 -x1335 -x1336 -x1337 x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 
72.01/36.90	v -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 
72.01/36.90	v -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 
72.01/36.90	v -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 x1373 -x1374 -x1375 -x1376 -x1377 
72.01/36.90	v -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 
72.01/36.90	v -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 
72.01/36.90	v -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 x1408 -x1409 -x1410 
72.01/36.90	v -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 
72.01/36.90	v -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 
72.01/36.90	v -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 
72.01/36.90	v -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 
72.01/36.90	v -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 
72.01/36.90	v -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 
72.01/36.90	v -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 x1485 -x1486 -x1487 
72.01/36.90	v -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 
72.01/36.90	v -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 
72.01/36.90	v -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 
72.01/36.90	v -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 
72.01/36.90	v -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 
72.01/36.90	v -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 
72.01/36.90	v -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 x1562 -x1563 -x1564 
72.01/36.90	v -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 
72.01/36.90	v -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 
72.01/36.90	v -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 
72.01/36.90	v -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 
72.01/36.90	v -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 
72.01/36.90	v -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 
72.01/36.90	v -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 x1639 -x1640 -x1641 
72.01/36.90	v -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 
72.01/36.90	v -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 
72.01/36.90	v -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 
72.01/36.90	v -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 
72.01/36.90	v -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 
72.01/36.90	v -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 
72.01/36.90	v -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 x1716 -x1717 -x1718 
72.01/36.90	v -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 
72.01/36.90	v -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 
72.01/36.90	v -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 
72.01/36.90	v -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 x1762 
72.01/36.90	v -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 
72.01/36.90	v -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 
72.01/36.90	v -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 
72.01/36.90	v -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 
72.01/36.90	v -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 
72.01/36.90	v -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 
72.01/36.90	v -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 x1837 -x1838 -x1839 
72.01/36.90	v -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 
72.01/36.90	v -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 
72.01/36.90	v -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 
72.01/36.90	v -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 
72.01/36.90	v -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 
72.01/36.90	v -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 
72.01/36.90	v -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 x1912 -x1913 -x1914 -x1915 -x1916 
72.01/36.90	v -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 
72.01/36.90	v -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 
72.01/36.90	v -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 
72.01/36.90	v -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 
72.01/36.90	v -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 
72.01/36.90	v -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 
72.01/36.90	v -x1983 -x1984 -x1985 -x1986 x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 
72.01/36.90	v -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 
72.01/36.90	v -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 
72.01/36.90	v -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 
72.01/36.90	v -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 
72.01/36.90	v -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 
72.01/36.90	v -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 
72.01/36.90	v -x2060 -x2061 x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 
72.01/36.90	v -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 
72.01/36.90	v -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 
72.01/36.90	v -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 
72.01/36.90	v -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 
72.01/36.90	v -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 
72.01/36.90	v -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 
72.01/36.90	v x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 
72.01/36.90	v -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 x2154 -x2155 -x2156 -x2157 -x2158 
72.01/36.90	v -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 
72.01/36.90	v -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 
72.01/36.90	v -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 
72.01/36.90	v -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 
72.01/36.90	v -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 
72.01/36.90	v -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 
72.01/36.90	v x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 
72.01/36.90	v -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 
72.01/36.90	v -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 
72.01/36.90	v -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 
72.01/36.90	v -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 
72.01/36.90	v -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 
72.01/36.90	v -x2291 -x2292 -x2293 -x2294 x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 
72.01/36.90	v -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 
72.01/36.90	v -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 
72.01/36.90	v -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 
72.01/36.90	v -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 
72.01/36.90	v -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 
72.01/36.90	v -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 
72.01/36.90	v -x2368 -x2369 -x2370 -x2371 x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 
72.01/36.90	v x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 
72.01/36.90	v -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 
72.01/36.90	v -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 
72.01/36.90	v -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 
72.01/36.90	v -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 
72.01/36.90	v -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 
72.01/36.90	v -x2445 -x2446 -x2447 -x2448 x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 
72.01/36.90	v x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 
72.01/36.90	v -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 
72.01/36.90	v -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 
72.01/36.90	v -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 
72.01/36.90	v -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 
72.01/36.90	v -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 
72.01/36.90	v -x2522 -x2523 -x2524 -x2525 -x2526 x2527 -x2528 -x2529 -x2530 -x2531 -x2532 
72.01/36.90	v -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 
72.01/36.90	v -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 
72.01/36.90	v -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 
72.01/36.90	v -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 
72.01/36.90	v -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 
72.01/36.90	v -x2588 -x2589 -x2590 x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 
72.01/36.90	v -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 
72.01/36.90	v -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 
72.01/36.90	v -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 
72.01/36.90	v -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 
72.01/36.90	v -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 
72.01/36.90	v -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 x2664 
72.01/36.90	v -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 
72.01/36.90	v -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 
72.01/36.90	v -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 
72.01/36.90	v -x2698 x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 
72.01/36.90	v -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 
72.01/36.90	v -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 
72.01/36.90	v -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 
72.01/36.90	v -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 
72.01/36.90	v -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 x2763 
72.01/36.90	v -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 
72.01/36.90	v -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 
72.01/36.90	v -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 
72.01/36.90	v -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 
72.01/36.90	v -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 
72.01/36.90	v -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 
72.01/36.90	v -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 
72.01/36.90	v -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 
72.01/36.90	v -x2852 -x2853 -x2854 -x2855 -x2856 x2857 -x2858 -x2859 -x2860 -x2861 -x2862 
72.01/36.90	v -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 
72.01/36.90	v -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 
72.01/36.90	v -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 x2894 -x2895 
72.01/36.90	v -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 
72.01/36.90	v -x2907 -x2908 -x2909 x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 
72.01/36.90	v -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 
72.01/36.90	v -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 
72.01/36.90	v -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 
72.01/36.90	v -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 
72.01/36.90	v -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 x2972 
72.01/36.90	v -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 x2982 -x2983 
72.01/36.90	v x2984 -x2985 -x2986 -x2987 -x2988 x2989 -x2990 -x2991 -x2992 -x2993 -x2994 
72.01/36.90	v -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 
72.01/36.90	v -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 
72.01/36.90	v -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 
72.01/36.90	v -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 
72.01/36.90	v -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 
72.01/36.90	v -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 
72.01/36.90	v -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 
72.01/36.90	v -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 
72.01/36.90	v -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 x3089 -x3090 -x3091 -x3092 -x3093 
72.01/36.90	v -x3094 x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 x3103 -x3104 
72.01/36.90	v -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 
72.01/36.90	v -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 
72.01/36.90	v -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 
72.01/36.90	v -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 
72.01/36.90	v -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 
72.01/36.90	v -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 
72.01/36.90	v -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 x3178 -x3179 -x3180 -x3181 
72.01/36.90	v -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 
72.01/36.90	v -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 
72.01/36.90	v -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 
72.01/36.90	v -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 
72.01/36.90	v -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 
72.01/36.90	v -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 
72.01/36.90	v -x3248 -x3249 -x3250 -x3251 -x3252 x3253 -x3254 -x3255 -x3256 -x3257 -x3258 
72.01/36.90	v -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 
72.01/36.90	v -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 
72.01/36.90	v -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 
72.01/36.90	v -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 
72.01/36.90	v -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 
72.01/36.90	v -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 
72.01/36.90	v -x3325 -x3326 -x3327 x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 
72.01/36.90	v -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 
72.01/36.90	v -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 
72.01/36.90	v -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 
72.01/36.90	v -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 
72.01/36.90	v -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 
72.01/36.90	v -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 
72.01/36.90	v -x3402 x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 
72.01/36.90	v -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 
72.01/36.90	v -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 
72.01/36.90	v -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 
72.01/36.90	v -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 
72.01/36.90	v -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 
72.01/36.90	v -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 x3478 
72.01/36.90	v -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 
72.01/36.90	v -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 
72.01/36.90	v -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 
72.01/36.90	v -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 
72.01/36.90	v -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 
72.01/36.90	v -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 
72.01/36.90	v -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 x3553 -x3554 -x3555 
72.01/36.90	v -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 
72.01/36.90	v -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 
72.01/36.90	v -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 
72.01/36.90	v -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 
72.01/36.90	v -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 
72.01/36.90	v -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 
72.01/36.90	v -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 x3628 -x3629 -x3630 -x3631 -x3632 
72.01/36.90	v -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 
72.01/36.90	v -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 
72.01/36.90	v -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 
72.01/36.90	v -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 
72.01/36.90	v -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 
72.01/36.90	v -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 
72.01/36.90	v -x3699 -x3700 x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 
72.01/36.90	v -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 
72.01/36.90	v -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 
72.01/36.90	v -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 
72.01/36.90	v -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 
72.01/36.90	v -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 
72.01/36.90	v -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 x3772 -x3773 -x3774 -x3775 
72.01/36.90	v -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 
72.01/36.90	v -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 
72.01/36.90	v -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 
72.01/36.90	v -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 
72.01/36.90	v -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 
72.01/36.90	v -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 
72.01/36.90	v -x3842 -x3843 -x3844 -x3845 -x3846 x3847 -x3848 -x3849 -x3850 -x3851 -x3852 
72.01/36.90	v -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 
72.01/36.90	v -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 
72.01/36.90	v -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 
72.01/36.90	v -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 
72.01/36.90	v -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 
72.01/36.90	v -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 
72.01/36.90	v -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 x3927 -x3928 -x3929 
72.01/36.90	v -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 
72.01/36.90	v -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 
72.01/36.90	v -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 
72.01/36.90	v -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 
72.01/36.90	v -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 
72.01/36.90	v -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 
72.01/36.90	v -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 
72.01/36.90	v -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 x4017 
72.01/36.90	v -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 
72.01/36.90	v -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 
72.01/36.90	v -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 
72.01/36.90	v -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 
72.01/36.90	v -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 
72.01/36.90	v -x4073 -x4074 -x4075 -x4076 -x4077 x4078 -x4079 x4080 -x4081 x4082 -x4083 -x4084 
72.01/36.90	v -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 x4092 -x4093 -x4094 -x4095 
72.01/36.90	v -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 
72.01/36.90	v -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 
72.01/36.90	v -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 
72.01/36.90	v -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 
72.01/36.90	v -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 
72.01/36.90	v -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 
72.01/36.90	v -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 
72.01/36.90	v -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 x4180 

Verifier Data

OK	0

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: 63837 MiB (62985 MiB free)
  memory of node 1: 64465 MiB (63685 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507716-1751178474/watcher-4507716-1751178474 -o /tmp/evaluation-result-4507716-1751178474/solver-4507716-1751178474 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751170007-22395 --watchdog 3760 cp-sat-runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:711253226 --competition_mode --input HOME/instance-4507716-1751178474.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=24009, runsolver pid=24006

[startup+0.100098 s]*
/proc/loadavg: 8.23 8.16 8.11 8/256 24010
/proc/meminfo: memFree=129707648/131382112 swapFree=33010684/33010684
[pid=24009] ppid=24006 vsize=18480 memory=15196 CPUtime=0.1 cores=0,2
/proc/24009/stat : 24009 (cp-sat-runner) R 24006 24009 22382 0 -1 4194304 2831 0 0 0 9 1 0 0 20 0 1 0 33526551 18923520 3799 18446744073709551615 4198400 12805993 140724603565648 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 47448064 140724603570457 140724603570661 140724603570661 140724603576263 0
/proc/24009/statm: 4620 3799 1792 2102 0 2160 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 18480 KiB
Current children cumulated memory: 15196 KiB

[startup+0.213516 s]*
/proc/loadavg: 8.23 8.16 8.11 8/256 24010
/proc/meminfo: memFree=129705884/131382112 swapFree=33010684/33010684
[pid=24009] ppid=24006 vsize=20632 memory=17628 CPUtime=0.22 cores=0,2
/proc/24009/stat : 24009 (cp-sat-runner) R 24006 24009 22382 0 -1 4194304 3397 0 0 0 21 1 0 0 20 0 1 0 33526551 21127168 4407 18446744073709551615 4198400 12805993 140724603565648 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 47448064 140724603570457 140724603570661 140724603570661 140724603576263 0
/proc/24009/statm: 5158 4407 1856 2102 0 2698 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 20632 KiB
Current children cumulated memory: 17628 KiB

[startup+0.313379 s]*
/proc/loadavg: 8.23 8.16 8.11 8/256 24010
/proc/meminfo: memFree=129699836/131382112 swapFree=33010684/33010684
[pid=24009] ppid=24006 vsize=23140 memory=20188 CPUtime=0.31 cores=0,2
/proc/24009/stat : 24009 (cp-sat-runner) R 24006 24009 22382 0 -1 4194304 4024 0 0 0 30 1 0 0 20 0 1 0 33526551 23695360 5047 18446744073709551615 4198400 12805993 140724603565648 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 47448064 140724603570457 140724603570661 140724603570661 140724603576263 0
/proc/24009/statm: 5785 5047 1856 2102 0 3325 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 23140 KiB
Current children cumulated memory: 20188 KiB

[startup+0.70032 s]
/proc/loadavg: 8.23 8.16 8.11 8/256 24010
/proc/meminfo: memFree=129692264/131382112 swapFree=33010684/33010684
[pid=24009] ppid=24006 vsize=28972 memory=25948 CPUtime=0.68 cores=0,2
/proc/24009/stat : 24009 (cp-sat-runner) R 24006 24009 22382 0 -1 4194304 5430 0 0 0 67 1 0 0 20 0 1 0 33526551 29667328 6487 18446744073709551615 4198400 12805993 140724603565648 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 47448064 140724603570457 140724603570661 140724603570661 140724603576263 0
/proc/24009/statm: 7243 6487 1888 2102 0 4783 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 28972 KiB
Current children cumulated memory: 25948 KiB

[startup+1.50025 s]
/proc/loadavg: 8.23 8.16 8.11 8/256 24010
/proc/meminfo: memFree=129692264/131382112 swapFree=33010684/33010684
[pid=24009] ppid=24006 vsize=178136 memory=37304 CPUtime=1.66 cores=0,2
/proc/24009/stat : 24009 (cp-sat-runner) S 24006 24009 22382 0 -1 4194304 8325 0 0 0 163 3 0 0 20 0 3 0 33526551 182411264 9326 18446744073709551615 4198400 12805993 140724603565648 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 47448064 140724603570457 140724603570661 140724603570661 140724603576263 0
/proc/24009/statm: 44534 9326 1952 2102 0 11753 0
Current children cumulated CPU time: 1.66 s
Current children cumulated vsize: 178136 KiB
Current children cumulated memory: 37304 KiB

[startup+3.10691 s]
/proc/loadavg: 8.21 8.15 8.11 9/258 24012
/proc/meminfo: memFree=129676640/131382112 swapFree=33010684/33010684
[pid=24009] ppid=24006 vsize=178136 memory=49220 CPUtime=4.84 cores=0,2
/proc/24009/stat : 24009 (cp-sat-runner) S 24006 24009 22382 0 -1 4194304 14254 0 0 0 480 4 0 0 20 0 3 0 33526551 182411264 12305 18446744073709551615 4198400 12805993 140724603565648 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 47448064 140724603570457 140724603570661 140724603570661 140724603576263 0
/proc/24009/statm: 44534 12305 2144 2102 0 14634 0
[pid=24009/tid=24011] ppid=24006 vsize=178136 memory=0 CPUtime=1.78 cores=0,2
/proc/24009/task/24011/stat : 24011 (cp-sat-runner) R 24006 24009 22382 0 -1 4194368 7062 0 0 0 177 1 0 0 20 0 3 0 33526680 182411264 12305 18446744073709551615 4198400 12805993 140724603565648 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 47448064 140724603570457 140724603570661 140724603570661 140724603576263 0
[pid=24009/tid=24012] ppid=24006 vsize=178136 memory=49092 CPUtime=1.76 cores=0,2
/proc/24009/task/24012/stat : 24012 (cp-sat-runner) R 24006 24009 22382 0 -1 4194368 1190 0 0 0 176 0 0 0 20 0 3 0 33526680 182411264 12305 18446744073709551615 4198400 12805993 140724603565648 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 47448064 140724603570457 140724603570661 140724603570661 140724603576263 0
Current children cumulated CPU time: 4.84 s
Current children cumulated vsize: 178136 KiB
Current children cumulated memory: 49220 KiB

[startup+6.30019 s]
/proc/loadavg: 8.21 8.15 8.11 9/258 24012
/proc/meminfo: memFree=129664456/131382112 swapFree=33010684/33010684
[pid=24009] ppid=24006 vsize=178136 memory=53828 CPUtime=11.19 cores=0,2
/proc/24009/stat : 24009 (cp-sat-runner) S 24006 24009 22382 0 -1 4194304 18028 0 0 0 1114 5 0 0 20 0 3 0 33526551 182411264 13457 18446744073709551615 4198400 12805993 140724603565648 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 47448064 140724603570457 140724603570661 140724603570661 140724603576263 0
/proc/24009/statm: 44534 13457 2144 2102 0 15787 0
[pid=24009/tid=24011] ppid=24006 vsize=178136 memory=0 CPUtime=4.96 cores=0,2
/proc/24009/task/24011/stat : 24011 (cp-sat-runner) R 24006 24009 22382 0 -1 4194368 10301 0 0 0 494 2 0 0 20 0 3 0 33526680 182411264 13457 18446744073709551615 4198400 12805993 140724603565648 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 47448064 140724603570457 140724603570661 140724603570661 140724603576263 0
[pid=24009/tid=24012] ppid=24006 vsize=178136 memory=53828 CPUtime=4.92 cores=0,2
/proc/24009/task/24012/stat : 24012 (cp-sat-runner) R 24006 24009 22382 0 -1 4194368 1684 0 0 0 492 0 0 0 20 0 3 0 33526680 182411264 13457 18446744073709551615 4198400 12805993 140724603565648 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 47448064 140724603570457 140724603570661 140724603570661 140724603576263 0
Current children cumulated CPU time: 11.19 s
Current children cumulated vsize: 178136 KiB
Current children cumulated memory: 53828 KiB

[startup+12.7002 s]
/proc/loadavg: 8.18 8.15 8.11 9/258 24012
/proc/meminfo: memFree=129657340/131382112 swapFree=33010684/33010684
[pid=24009] ppid=24006 vsize=178136 memory=62036 CPUtime=23.91 cores=0,2
/proc/24009/stat : 24009 (cp-sat-runner) S 24006 24009 22382 0 -1 4194304 29646 0 0 0 2386 5 0 0 20 0 3 0 33526551 182411264 15509 18446744073709551615 4198400 12805993 140724603565648 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 47448064 140724603570457 140724603570661 140724603570661 140724603576263 0
/proc/24009/statm: 44534 15509 2144 2102 0 17845 0
[pid=24009/tid=24011] ppid=24006 vsize=178136 memory=11264 CPUtime=11.34 cores=0,2
/proc/24009/task/24011/stat : 24011 (cp-sat-runner) R 24006 24009 22382 0 -1 4194368 18955 0 0 0 1132 2 0 0 20 0 3 0 33526680 182411264 15509 18446744073709551615 4198400 12805993 140724603565648 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 47448064 140724603570457 140724603570661 140724603570661 140724603576263 0
[pid=24009/tid=24012] ppid=24006 vsize=178136 memory=61652 CPUtime=11.26 cores=0,2
/proc/24009/task/24012/stat : 24012 (cp-sat-runner) R 24006 24009 22382 0 -1 4194368 4614 0 0 0 1126 0 0 0 20 0 3 0 33526680 182411264 15509 18446744073709551615 4198400 12805993 140724603565648 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 47448064 140724603570457 140724603570661 140724603570661 140724603576263 0
Current children cumulated CPU time: 23.91 s
Current children cumulated vsize: 178136 KiB
Current children cumulated memory: 62036 KiB

[startup+25.5002 s]
/proc/loadavg: 8.15 8.14 8.11 9/258 24012
/proc/meminfo: memFree=129638772/131382112 swapFree=33010684/33010684
[pid=24009] ppid=24006 vsize=178136 memory=62676 CPUtime=49.35 cores=0,2
/proc/24009/stat : 24009 (cp-sat-runner) S 24006 24009 22382 0 -1 4194304 37604 0 0 0 4929 6 0 0 20 0 3 0 33526551 182411264 15669 18446744073709551615 4198400 12805993 140724603565648 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 47448064 140724603570457 140724603570661 140724603570661 140724603576263 0
/proc/24009/statm: 44534 15669 2144 2102 0 18031 0
[pid=24009/tid=24011] ppid=24006 vsize=178136 memory=14340 CPUtime=24.11 cores=0,2
/proc/24009/task/24011/stat : 24011 (cp-sat-runner) R 24006 24009 22382 0 -1 4194368 23408 0 0 0 2408 3 0 0 20 0 3 0 33526680 182411264 15669 18446744073709551615 4198400 12805993 140724603565648 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 47448064 140724603570457 140724603570661 140724603570661 140724603576263 0
[pid=24009/tid=24012] ppid=24006 vsize=178136 memory=62676 CPUtime=23.93 cores=0,2
/proc/24009/task/24012/stat : 24012 (cp-sat-runner) R 24006 24009 22382 0 -1 4194368 7411 0 0 0 2393 0 0 0 20 0 3 0 33526680 182411264 15669 18446744073709551615 4198400 12805993 140724603565648 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 47448064 140724603570457 140724603570661 140724603570661 140724603576263 0
Current children cumulated CPU time: 49.35 s
Current children cumulated vsize: 178136 KiB
Current children cumulated memory: 62676 KiB

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

# cumulated CPU time of all completed processes:  user=71.947 s, system=0.080467 s

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

[startup+25.6002 s]
/proc/loadavg: 8.15 8.14 8.11 9/258 24012
/proc/meminfo: memFree=129638772/131382112 swapFree=33010684/33010684
[pid=24009] ppid=24006 vsize=178136 memory=62676 CPUtime=49.54 cores=0,2
/proc/24009/stat : 24009 (cp-sat-runner) S 24006 24009 22382 0 -1 4194304 37604 0 0 0 4948 6 0 0 20 0 3 0 33526551 182411264 15669 18446744073709551615 4198400 12805993 140724603565648 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 47448064 140724603570457 140724603570661 140724603570661 140724603576263 0
/proc/24009/statm: 44534 15669 2144 2102 0 18031 0
[pid=24009/tid=24011] ppid=24006 vsize=178136 memory=62036 CPUtime=24.2 cores=0,2
/proc/24009/task/24011/stat : 24011 (cp-sat-runner) R 24006 24009 22382 0 -1 4194368 23408 0 0 0 2417 3 0 0 20 0 3 0 33526680 182411264 15669 18446744073709551615 4198400 12805993 140724603565648 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 47448064 140724603570457 140724603570661 140724603570661 140724603576263 0
[pid=24009/tid=24012] ppid=24006 vsize=178136 memory=14340 CPUtime=24.03 cores=0,2
/proc/24009/task/24012/stat : 24012 (cp-sat-runner) R 24006 24009 22382 0 -1 4194368 7411 0 0 0 2403 0 0 0 20 0 3 0 33526680 182411264 15669 18446744073709551615 4198400 12805993 140724603565648 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 47448064 140724603570457 140724603570661 140724603570661 140724603576263 0
Current children cumulated CPU time: 49.54 s
Current children cumulated vsize: 178136 KiB
Current children cumulated memory: 62676 KiB

[startup+32.0002 s]*
/proc/loadavg: 8.20 8.16 8.11 9/258 24012
/proc/meminfo: memFree=129638780/131382112 swapFree=33010684/33010684
[pid=24009] ppid=24006 vsize=178136 memory=62676 CPUtime=62.27 cores=0,2
/proc/24009/stat : 24009 (cp-sat-runner) S 24006 24009 22382 0 -1 4194304 42087 0 0 0 6221 6 0 0 20 0 3 0 33526551 182411264 15669 18446744073709551615 4198400 12805993 140724603565648 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 47448064 140724603570457 140724603570661 140724603570661 140724603576263 0
/proc/24009/statm: 44534 15669 2144 2102 0 18031 0
[pid=24009/tid=24011] ppid=24006 vsize=178136 memory=-8183428098629407943 CPUtime=30.59 cores=0,2
/proc/24009/task/24011/stat : 24011 (cp-sat-runner) R 24006 24009 22382 0 -1 4194368 25652 0 0 0 3056 3 0 0 20 0 3 0 33526680 182411264 15669 18446744073709551615 4198400 12805993 140724603565648 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 47448064 140724603570457 140724603570661 140724603570661 140724603576263 0
[pid=24009/tid=24012] ppid=24006 vsize=178136 memory=6640 CPUtime=30.38 cores=0,2
/proc/24009/task/24012/stat : 24012 (cp-sat-runner) R 24006 24009 22382 0 -1 4194368 9622 0 0 0 3037 1 0 0 20 0 3 0 33526680 182411264 15669 18446744073709551615 4198400 12805993 140724603565648 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 47448064 140724603570457 140724603570661 140724603570661 140724603576263 0
Current children cumulated CPU time: 62.27 s
Current children cumulated vsize: 178136 KiB
Current children cumulated memory: 62676 KiB

[startup+35.2002 s]
/proc/loadavg: 8.20 8.16 8.11 9/258 24012
/proc/meminfo: memFree=129638788/131382112 swapFree=33010684/33010684
[pid=24009] ppid=24006 vsize=178136 memory=63188 CPUtime=68.63 cores=0,2
/proc/24009/stat : 24009 (cp-sat-runner) S 24006 24009 22382 0 -1 4194304 44894 0 0 0 6856 7 0 0 20 0 3 0 33526551 182411264 15797 18446744073709551615 4198400 12805993 140724603565648 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 47448064 140724603570457 140724603570661 140724603570661 140724603576263 0
/proc/24009/statm: 44534 15797 2144 2102 0 18267 0
[pid=24009/tid=24011] ppid=24006 vsize=178136 memory=64076 CPUtime=33.77 cores=0,2
/proc/24009/task/24011/stat : 24011 (cp-sat-runner) R 24006 24009 22382 0 -1 4194368 27931 0 0 0 3374 3 0 0 20 0 3 0 33526680 182411264 15797 18446744073709551615 4198400 12805993 140724603565648 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 47448064 140724603570457 140724603570661 140724603570661 140724603576263 0
[pid=24009/tid=24012] ppid=24006 vsize=178136 memory=62804 CPUtime=33.54 cores=0,2
/proc/24009/task/24012/stat : 24012 (cp-sat-runner) R 24006 24009 22382 0 -1 4194368 10142 0 0 0 3353 1 0 0 20 0 3 0 33526680 182411264 15797 18446744073709551615 4198400 12805993 140724603565648 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 47448064 140724603570457 140724603570661 140724603570661 140724603576263 0
Current children cumulated CPU time: 68.63 s
Current children cumulated vsize: 178136 KiB
Current children cumulated memory: 63188 KiB

[startup+36.0002 s]*
/proc/loadavg: 8.20 8.16 8.11 9/258 24012
/proc/meminfo: memFree=129638292/131382112 swapFree=33010684/33010684
[pid=24009] ppid=24006 vsize=178136 memory=63188 CPUtime=70.23 cores=0,2
/proc/24009/stat : 24009 (cp-sat-runner) S 24006 24009 22382 0 -1 4194304 44896 0 0 0 7016 7 0 0 20 0 3 0 33526551 182411264 15797 18446744073709551615 4198400 12805993 140724603565648 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 47448064 140724603570457 140724603570661 140724603570661 140724603576263 0
/proc/24009/statm: 44534 15797 2144 2102 0 18267 0
[pid=24009/tid=24011] ppid=24006 vsize=178136 memory=5036 CPUtime=34.58 cores=0,2
/proc/24009/task/24011/stat : 24011 (cp-sat-runner) R 24006 24009 22382 0 -1 4194368 27932 0 0 0 3455 3 0 0 20 0 3 0 33526680 182411264 15797 18446744073709551615 4198400 12805993 140724603565648 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 47448064 140724603570457 140724603570661 140724603570661 140724603576263 0
[pid=24009/tid=24012] ppid=24006 vsize=178136 memory=-8183428098629407943 CPUtime=34.34 cores=0,2
/proc/24009/task/24012/stat : 24012 (cp-sat-runner) R 24006 24009 22382 0 -1 4194368 10143 0 0 0 3433 1 0 0 20 0 3 0 33526680 182411264 15797 18446744073709551615 4198400 12805993 140724603565648 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 47448064 140724603570457 140724603570661 140724603570661 140724603576263 0
Current children cumulated CPU time: 70.23 s
Current children cumulated vsize: 178136 KiB
Current children cumulated memory: 63188 KiB

[startup+36.4002 s]
/proc/loadavg: 8.20 8.16 8.11 9/258 24012
/proc/meminfo: memFree=129638292/131382112 swapFree=33010684/33010684
[pid=24009] ppid=24006 vsize=178136 memory=63188 CPUtime=71.01 cores=0,2
/proc/24009/stat : 24009 (cp-sat-runner) S 24006 24009 22382 0 -1 4194304 44902 0 0 0 7094 7 0 0 20 0 3 0 33526551 182411264 15797 18446744073709551615 4198400 12805993 140724603565648 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 47448064 140724603570457 140724603570661 140724603570661 140724603576263 0
/proc/24009/statm: 44534 15797 2144 2102 0 18267 0
[pid=24009/tid=24011] ppid=24006 vsize=178136 memory=11264 CPUtime=34.97 cores=0,2
/proc/24009/task/24011/stat : 24011 (cp-sat-runner) R 24006 24009 22382 0 -1 4194368 27934 0 0 0 3494 3 0 0 20 0 3 0 33526680 182411264 15797 18446744073709551615 4198400 12805993 140724603565648 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 47448064 140724603570457 140724603570661 140724603570661 140724603576263 0
[pid=24009/tid=24012] ppid=24006 vsize=178136 memory=5632 CPUtime=34.73 cores=0,2
/proc/24009/task/24012/stat : 24012 (cp-sat-runner) R 24006 24009 22382 0 -1 4194368 10146 0 0 0 3472 1 0 0 20 0 3 0 33526680 182411264 15797 18446744073709551615 4198400 12805993 140724603565648 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 47448064 140724603570457 140724603570661 140724603570661 140724603576263 0
Current children cumulated CPU time: 71.01 s
Current children cumulated vsize: 178136 KiB
Current children cumulated memory: 63188 KiB

[startup+36.8002 s]
/proc/loadavg: 8.20 8.16 8.11 9/258 24012
/proc/meminfo: memFree=129638292/131382112 swapFree=33010684/33010684
[pid=24009] ppid=24006 vsize=178136 memory=63188 CPUtime=71.81 cores=0,2
/proc/24009/stat : 24009 (cp-sat-runner) S 24006 24009 22382 0 -1 4194304 44906 0 0 0 7174 7 0 0 20 0 3 0 33526551 182411264 15797 18446744073709551615 4198400 12805993 140724603565648 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 47448064 140724603570457 140724603570661 140724603570661 140724603576263 0
/proc/24009/statm: 44534 15797 2144 2102 0 18267 0
[pid=24009/tid=24011] ppid=24006 vsize=178136 memory=62676 CPUtime=35.37 cores=0,2
/proc/24009/task/24011/stat : 24011 (cp-sat-runner) R 24006 24009 22382 0 -1 4194368 27938 0 0 0 3534 3 0 0 20 0 3 0 33526680 182411264 15797 18446744073709551615 4198400 12805993 140724603565648 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 47448064 140724603570457 140724603570661 140724603570661 140724603576263 0
[pid=24009/tid=24012] ppid=24006 vsize=178136 memory=2688 CPUtime=35.13 cores=0,2
/proc/24009/task/24012/stat : 24012 (cp-sat-runner) R 24006 24009 22382 0 -1 4194368 10146 0 0 0 3512 1 0 0 20 0 3 0 33526680 182411264 15797 18446744073709551615 4198400 12805993 140724603565648 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 47448064 140724603570457 140724603570661 140724603570661 140724603576263 0
Current children cumulated CPU time: 71.81 s
Current children cumulated vsize: 178136 KiB
Current children cumulated memory: 63188 KiB

[startup+36.9002 s]
/proc/loadavg: 8.20 8.16 8.11 9/258 24012
/proc/meminfo: memFree=129638292/131382112 swapFree=33010684/33010684
[pid=24009] ppid=24006 vsize=178136 memory=63188 CPUtime=72.01 cores=0,2
/proc/24009/stat : 24009 (cp-sat-runner) R 24006 24009 22382 0 -1 4194304 45572 0 0 0 7194 7 0 0 20 0 3 0 33526551 182411264 15797 18446744073709551615 4198400 12805993 140724603565648 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 47448064 140724603570457 140724603570661 140724603570661 140724603576263 0
/proc/24009/statm: 44534 15797 2144 2102 0 18267 0
[pid=24009/tid=24011] ppid=24006 vsize=178136 memory=11264 CPUtime=35.47 cores=0,2
/proc/24009/task/24011/stat : 24011 (cp-sat-runner) S 24006 24009 22382 0 -1 4194368 28050 0 0 0 3544 3 0 0 20 0 3 0 33526680 182411264 15797 18446744073709551615 4198400 12805993 140724603565648 0 0 0 0 0 16386 1 0 0 -1 2 0 0 0 0 0 14146912 14333620 47448064 140724603570457 140724603570661 140724603570661 140724603576263 0
[pid=24009/tid=24012] ppid=24006 vsize=178136 memory=62676 CPUtime=35.23 cores=0,2
/proc/24009/task/24012/stat : 24012 (cp-sat-runner) R 24006 24009 22382 0 -1 4194368 10147 0 0 0 3522 1 0 0 20 0 3 0 33526680 182411264 15797 18446744073709551615 4198400 12805993 140724603565648 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 47448064 140724603570457 140724603570661 140724603570661 140724603576263 0
Current children cumulated CPU time: 72.01 s
Current children cumulated vsize: 178136 KiB
Current children cumulated memory: 63188 KiB

Child status: 10

Real time (s): 36.9063
CPU time (s): 72.0275
CPU user time (s): 71.947
CPU system time (s): 0.080467
CPU usage (%): 195.163
Max. virtual memory (cumulated for all children) (KiB): 178136
Max. memory (cumulated for all children) (KiB): 63188

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 71.947
system time used= 0.080467
maximum resident set size= 63444
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46256
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= 534
involuntary context switches= 2183


# summary of solver processes directly reported to runsolver:
#   pid: 24009
#   total CPU time (s): 72.0275
#   total CPU user time (s): 71.947
#   total CPU system time (s): 0.080467

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.086654 second user time and 0.251087 second system time

The end

Launcher Data

Begin job on nodeC007 at 2025-06-29 08:27:54
IDJOB=4507716
IDBENCH=158381
IDSOLVER=3320
FILE ID=nodeC007/4507716-1751178474
RUNJOBID= nodeC007-1751170007-22395
SLURM_JOB_ID= 9587524
Free space on /tmp= 432980 MiB

SOLVER NAME= OR-Tools CP-SAT 9.14
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathBA/normalized-BeauxArts_K76.opb
COMMAND LINE= cp-sat-runner --params num_workers:NBCORE,log_search_progress:false,max_time_in_seconds:TIMEOUT,random_seed:RANDOMSEED --competition_mode --input BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507716-1751178474/watcher-4507716-1751178474 -o /tmp/evaluation-result-4507716-1751178474/solver-4507716-1751178474 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751170007-22395 --watchdog 3760  cp-sat-runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:711253226 --competition_mode --input HOME/instance-4507716-1751178474.opb

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

MD5SUM BENCH= c8871c8b730191d1a04606ab4baf2dee
RANDOM SEED=711253226

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.203
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.68
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		: 3591.607
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.68
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.580
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.68
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		: 3591.627
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.68
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		: 3591.612
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.68
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		: 3591.604
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.68
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		: 3591.603
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.68
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		: 3591.589
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.68
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        129711128 kB
MemAvailable:   129655524 kB
Buffers:            3280 kB
Cached:           754712 kB
SwapCached:            0 kB
Active:           592108 kB
Inactive:         509628 kB
Active(anon):     361704 kB
Inactive(anon):        0 kB
Active(file):     230404 kB
Inactive(file):   509628 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             12544 kB
Writeback:            20 kB
AnonPages:        346968 kB
Mapped:           128592 kB
Shmem:             17960 kB
KReclaimable:      87980 kB
Slab:             169368 kB
SReclaimable:      87980 kB
SUnreclaim:        81388 kB
KernelStack:        4192 kB
PageTables:         3568 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:     729480 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149496 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    215040 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      201544 kB
DirectMap2M:    10186752 kB
DirectMap1G:    125829120 kB

Free space on /tmp at the end= 432968 MiB
End job on nodeC007 at 2025-06-29 08:28:31