Trace number 4502988

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
OR-Tools CP-SAT 9.14OPT36 167.831 88.3625

General information on the benchmark

NamePB24/normalized-PB11/OPT-LIN/
kullmann/normalized-mul_8_3_shg.opb
MD5SUM9f3f50f555350d326304759fc873d478
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark36
Best CPU time to get the best result obtained on this benchmark46.5996
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5048
Total number of constraints65280
Number of constraints which are clauses65280
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint18
Maximum length of a constraint45
Number of terms in the objective function 5048
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 5048
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 5048
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

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

Verifier Data 

OK	36

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63708 MiB (61319 MiB free)
  memory of node 1: 64465 MiB (62143 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4502988-1751428783/watcher-4502988-1751428783 -o /tmp/evaluation-result-4502988-1751428783/solver-4502988-1751428783 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751428782-59797 --watchdog 3760 cp-sat-runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:1182934836 --competition_mode --input HOME/instance-4502988-1751428783.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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
solver pid=59833, runsolver pid=59830
Current StackSize limit: 8192 KiB


[startup+0.100065 s]*
/proc/loadavg: 0.99 3.09 3.73 4/260 59840
/proc/meminfo: memFree=126349904/131250000 swapFree=33010684/33010684
[pid=59833] ppid=59830 vsize=61316 memory=55372 CPUtime=0.1 cores=5,7
/proc/59833/stat : 59833 (cp-sat-runner) R 59830 59833 59758 0 -1 4194304 13132 0 0 0 7 3 0 0 20 0 1 0 58556923 62787584 13843 18446744073709551615 4198400 12805993 140736312480304 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 14146912 14333620 35323904 140736312482072 140736312482277 140736312482277 140736312487879 0
/proc/59833/statm: 15329 13843 1088 2102 0 12869 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 61316 KiB
Current children cumulated memory: 55372 KiB

[startup+0.205505 s]*
/proc/loadavg: 0.99 3.09 3.73 5/264 59852
/proc/meminfo: memFree=126253136/131250000 swapFree=33010684/33010684
[pid=59833] ppid=59830 vsize=113168 memory=107144 CPUtime=0.2 cores=5,7
/proc/59833/stat : 59833 (cp-sat-runner) R 59830 59833 59758 0 -1 4194304 26274 0 0 0 15 5 0 0 20 0 1 0 58556923 115884032 26786 18446744073709551615 4198400 12805993 140736312480304 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 14146912 14333620 35323904 140736312482072 140736312482277 140736312482277 140736312487879 0
/proc/59833/statm: 28292 26786 1088 2102 0 25832 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 113168 KiB
Current children cumulated memory: 107144 KiB

[startup+0.305408 s]*
/proc/loadavg: 0.99 3.09 3.73 6/268 59856
/proc/meminfo: memFree=126095132/131250000 swapFree=33010684/33010684
[pid=59833] ppid=59830 vsize=163148 memory=156548 CPUtime=0.3 cores=5,7
/proc/59833/stat : 59833 (cp-sat-runner) R 59830 59833 59758 0 -1 4194304 38505 0 0 0 23 7 0 0 20 0 1 0 58556923 167063552 39137 18446744073709551615 4198400 12805993 140736312480304 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 14146912 14333620 35323904 140736312482072 140736312482277 140736312482277 140736312487879 0
/proc/59833/statm: 40787 39137 1088 2102 0 38327 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 163148 KiB
Current children cumulated memory: 156548 KiB

[startup+0.700173 s]
/proc/loadavg: 0.99 3.09 3.73 6/268 59856
/proc/meminfo: memFree=125752412/131250000 swapFree=33010684/33010684
[pid=59833] ppid=59830 vsize=280300 memory=275344 CPUtime=0.69 cores=5,7
/proc/59833/stat : 59833 (cp-sat-runner) R 59830 59833 59758 0 -1 4194304 68729 0 0 0 58 11 0 0 20 0 1 0 58556923 287027200 68836 18446744073709551615 4198400 12805993 140736312480304 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 35323904 140736312482072 140736312482277 140736312482277 140736312487879 0
/proc/59833/statm: 70075 68836 1344 2102 0 67615 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 280300 KiB
Current children cumulated memory: 275344 KiB

[startup+1.50016 s]
/proc/loadavg: 0.99 3.09 3.73 6/268 59856
/proc/meminfo: memFree=125277536/131250000 swapFree=33010684/33010684
[pid=59833] ppid=59830 vsize=280300 memory=275984 CPUtime=1.49 cores=5,7
/proc/59833/stat : 59833 (cp-sat-runner) R 59830 59833 59758 0 -1 4194304 68739 0 0 0 138 11 0 0 20 0 1 0 58556923 287027200 68996 18446744073709551615 4198400 12805993 140736312480304 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 35323904 140736312482072 140736312482277 140736312482277 140736312487879 0
/proc/59833/statm: 70075 68996 1504 2102 0 67615 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 280300 KiB
Current children cumulated memory: 275984 KiB

[startup+3.10536 s]
/proc/loadavg: 1.31 3.12 3.74 6/268 59856
/proc/meminfo: memFree=124913060/131250000 swapFree=33010684/33010684
[pid=59833] ppid=59830 vsize=280300 memory=277500 CPUtime=3.09 cores=5,7
/proc/59833/stat : 59833 (cp-sat-runner) R 59830 59833 59758 0 -1 4194304 69410 0 0 0 296 13 0 0 20 0 1 0 58556923 287027200 69375 18446744073709551615 4198400 12805993 140736312480304 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 35323904 140736312482072 140736312482277 140736312482277 140736312487879 0
/proc/59833/statm: 70075 69375 1856 2102 0 67615 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 280300 KiB
Current children cumulated memory: 277500 KiB

[startup+6.30016 s]
/proc/loadavg: 1.31 3.12 3.74 6/268 59856
/proc/meminfo: memFree=124723484/131250000 swapFree=33010684/33010684
[pid=59833] ppid=59830 vsize=296116 memory=293376 CPUtime=6.26 cores=5,7
/proc/59833/stat : 59833 (cp-sat-runner) R 59830 59833 59758 0 -1 4194304 75692 0 0 0 610 16 0 0 20 0 1 0 58556923 303222784 73344 18446744073709551615 4198400 12805993 140736312480304 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 35323904 140736312482072 140736312482277 140736312482277 140736312487879 0
/proc/59833/statm: 74029 73344 1888 2102 0 71569 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 296116 KiB
Current children cumulated memory: 293376 KiB

[startup+12.7002 s]
/proc/loadavg: 1.68 3.17 3.75 7/270 59858
/proc/meminfo: memFree=124161444/131250000 swapFree=33010684/33010684
[pid=59833] ppid=59830 vsize=1001192 memory=745712 CPUtime=17.57 cores=5,7
/proc/59833/stat : 59833 (cp-sat-runner) S 59830 59833 59758 0 -1 4194304 151709 0 0 0 1720 37 0 0 20 0 3 0 58556923 1025220608 186428 18446744073709551615 4198400 12805993 140736312480304 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146912 14333620 35323904 140736312482072 140736312482277 140736312482277 140736312487879 0
/proc/59833/statm: 250298 186428 2176 2102 0 223094 0
[pid=59833/tid=59857] ppid=59830 vsize=1001192 memory=-8183434682679728068 CPUtime=4.93 cores=5,7
/proc/59833/task/59857/stat : 59857 (cp-sat-runner) R 59830 59833 59758 0 -1 4194368 40401 0 0 0 484 9 0 0 20 0 3 0 58557692 1025220608 186428 18446744073709551615 4198400 12805993 140736312480304 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 35323904 140736312482072 140736312482277 140736312482277 140736312487879 0
[pid=59833/tid=59858] ppid=59830 vsize=1001192 memory=14720 CPUtime=4.96 cores=5,7
/proc/59833/task/59858/stat : 59858 (cp-sat-runner) R 59830 59833 59758 0 -1 4194368 34263 0 0 0 487 9 0 0 20 0 3 0 58557692 1025220608 186428 18446744073709551615 4198400 12805993 140736312480304 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 35323904 140736312482072 140736312482277 140736312482277 140736312487879 0
Current children cumulated CPU time: 17.57 s
Current children cumulated vsize: 1001192 KiB
Current children cumulated memory: 745712 KiB

[startup+25.5002 s]
/proc/loadavg: 3.16 3.43 3.82 9/275 59864
/proc/meminfo: memFree=123068996/131250000 swapFree=33010684/33010684
[pid=59833] ppid=59830 vsize=915848 memory=750568 CPUtime=42.99 cores=5,7
/proc/59833/stat : 59833 (cp-sat-runner) S 59830 59833 59758 0 -1 4194304 213726 0 0 0 4248 51 0 0 20 0 3 0 58556923 937828352 187642 18446744073709551615 4198400 12805993 140736312480304 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146912 14333620 35323904 140736312482072 140736312482277 140736312482277 140736312487879 0
/proc/59833/statm: 228962 187642 2176 2102 0 212930 0
[pid=59833/tid=59857] ppid=59830 vsize=915848 memory=2319354053748064568 CPUtime=17.59 cores=5,7
/proc/59833/task/59857/stat : 59857 (cp-sat-runner) R 59830 59833 59758 0 -1 4194368 82503 0 0 0 1739 20 0 0 20 0 3 0 58557692 937828352 187642 18446744073709551615 4198400 12805993 140736312480304 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 35323904 140736312482072 140736312482277 140736312482277 140736312487879 0
[pid=59833/tid=59858] ppid=59830 vsize=915848 memory=396627345003402 CPUtime=17.72 cores=5,7
/proc/59833/task/59858/stat : 59858 (cp-sat-runner) R 59830 59833 59758 0 -1 4194368 54096 0 0 0 1760 12 0 0 20 0 3 0 58557692 937828352 187642 18446744073709551615 4198400 12805993 140736312480304 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 35323904 140736312482072 140736312482277 140736312482277 140736312487879 0
Current children cumulated CPU time: 42.99 s
Current children cumulated vsize: 915848 KiB
Current children cumulated memory: 750568 KiB

[startup+51.1056 s]
/proc/loadavg: 4.66 3.76 3.92 7/268 59900
/proc/meminfo: memFree=123057320/131250000 swapFree=33010684/33010684
[pid=59833] ppid=59830 vsize=897468 memory=777664 CPUtime=93.86 cores=5,7
/proc/59833/stat : 59833 (cp-sat-runner) S 59830 59833 59758 0 -1 4194304 265409 0 0 0 9328 58 0 0 20 0 3 0 58556923 919007232 194416 18446744073709551615 4198400 12805993 140736312480304 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146912 14333620 35323904 140736312482072 140736312482277 140736312482277 140736312487879 0
/proc/59833/statm: 224367 194416 2176 2102 0 212320 0
[pid=59833/tid=59857] ppid=59830 vsize=897468 memory=749256 CPUtime=42.86 cores=5,7
/proc/59833/task/59857/stat : 59857 (cp-sat-runner) R 59830 59833 59758 0 -1 4194368 90837 0 0 0 4261 25 0 0 20 0 3 0 58557692 919007232 194416 18446744073709551615 4198400 12805993 140736312480304 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 35323904 140736312482072 140736312482277 140736312482277 140736312487879 0
[pid=59833/tid=59858] ppid=59830 vsize=897468 memory=132 CPUtime=43.25 cores=5,7
/proc/59833/task/59858/stat : 59858 (cp-sat-runner) R 59830 59833 59758 0 -1 4194368 92016 0 0 0 4310 15 0 0 20 0 3 0 58557692 919007232 194416 18446744073709551615 4198400 12805993 140736312480304 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 35323904 140736312482072 140736312482277 140736312482277 140736312487879 0
Current children cumulated CPU time: 93.86 s
Current children cumulated vsize: 897468 KiB
Current children cumulated memory: 777664 KiB

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

# cumulated CPU time of all completed processes:  user=167.18 s, system=0.650154 s

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

[startup+51.2003 s]
/proc/loadavg: 4.66 3.76 3.92 7/268 59900
/proc/meminfo: memFree=123057320/131250000 swapFree=33010684/33010684
[pid=59833] ppid=59830 vsize=897468 memory=777664 CPUtime=94.05 cores=5,7
/proc/59833/stat : 59833 (cp-sat-runner) S 59830 59833 59758 0 -1 4194304 265409 0 0 0 9347 58 0 0 20 0 3 0 58556923 919007232 194416 18446744073709551615 4198400 12805993 140736312480304 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146912 14333620 35323904 140736312482072 140736312482277 140736312482277 140736312487879 0
/proc/59833/statm: 224367 194416 2176 2102 0 212320 0
[pid=59833/tid=59857] ppid=59830 vsize=897468 memory=5760 CPUtime=42.96 cores=5,7
/proc/59833/task/59857/stat : 59857 (cp-sat-runner) R 59830 59833 59758 0 -1 4194368 90837 0 0 0 4271 25 0 0 20 0 3 0 58557692 919007232 194416 18446744073709551615 4198400 12805993 140736312480304 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 35323904 140736312482072 140736312482277 140736312482277 140736312487879 0
[pid=59833/tid=59858] ppid=59830 vsize=897468 memory=18304 CPUtime=43.35 cores=5,7
/proc/59833/task/59858/stat : 59858 (cp-sat-runner) R 59830 59833 59758 0 -1 4194368 92016 0 0 0 4320 15 0 0 20 0 3 0 58557692 919007232 194416 18446744073709551615 4198400 12805993 140736312480304 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 35323904 140736312482072 140736312482277 140736312482277 140736312487879 0
Current children cumulated CPU time: 94.05 s
Current children cumulated vsize: 897468 KiB
Current children cumulated memory: 777664 KiB

[startup+64.0002 s]*
/proc/loadavg: 4.95 3.87 3.96 7/268 59900
/proc/meminfo: memFree=123059276/131250000 swapFree=33010684/33010684
[pid=59833] ppid=59830 vsize=897468 memory=777664 CPUtime=119.49 cores=5,7
/proc/59833/stat : 59833 (cp-sat-runner) S 59830 59833 59758 0 -1 4194304 290430 0 0 0 11889 60 0 0 20 0 3 0 58556923 919007232 194416 18446744073709551615 4198400 12805993 140736312480304 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146912 14333620 35323904 140736312482072 140736312482277 140736312482277 140736312487879 0
/proc/59833/statm: 224367 194416 2176 2102 0 212320 0
[pid=59833/tid=59857] ppid=59830 vsize=897468 memory=-8183432475066537410 CPUtime=55.62 cores=5,7
/proc/59833/task/59857/stat : 59857 (cp-sat-runner) R 59830 59833 59758 0 -1 4194368 113944 0 0 0 5536 26 0 0 20 0 3 0 58557692 919007232 194416 18446744073709551615 4198400 12805993 140736312480304 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 35323904 140736312482072 140736312482277 140736312482277 140736312487879 0
[pid=59833/tid=59858] ppid=59830 vsize=897468 memory=4571889875167112860 CPUtime=56.11 cores=5,7
/proc/59833/task/59858/stat : 59858 (cp-sat-runner) R 59830 59833 59758 0 -1 4194368 93879 0 0 0 5596 15 0 0 20 0 3 0 58557692 919007232 194416 18446744073709551615 4198400 12805993 140736312480304 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 35323904 140736312482072 140736312482277 140736312482277 140736312487879 0
Current children cumulated CPU time: 119.49 s
Current children cumulated vsize: 897468 KiB
Current children cumulated memory: 777664 KiB

[startup+76.8002 s]
/proc/loadavg: 5.19 3.96 3.98 7/268 59900
/proc/meminfo: memFree=123046456/131250000 swapFree=33010684/33010684
[pid=59833] ppid=59830 vsize=897468 memory=777664 CPUtime=144.91 cores=5,7
/proc/59833/stat : 59833 (cp-sat-runner) S 59830 59833 59758 0 -1 4194304 294633 0 0 0 14431 60 0 0 20 0 3 0 58556923 919007232 194416 18446744073709551615 4198400 12805993 140736312480304 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146912 14333620 35323904 140736312482072 140736312482277 140736312482277 140736312487879 0
/proc/59833/statm: 224367 194416 2176 2102 0 212320 0
[pid=59833/tid=59857] ppid=59830 vsize=897468 memory=733160 CPUtime=68.29 cores=5,7
/proc/59833/task/59857/stat : 59857 (cp-sat-runner) R 59830 59833 59758 0 -1 4194368 114396 0 0 0 6803 26 0 0 20 0 3 0 58557692 919007232 194416 18446744073709551615 4198400 12805993 140736312480304 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 35323904 140736312482072 140736312482277 140736312482277 140736312487879 0
[pid=59833/tid=59858] ppid=59830 vsize=897468 memory=749256 CPUtime=68.87 cores=5,7
/proc/59833/task/59858/stat : 59858 (cp-sat-runner) R 59830 59833 59758 0 -1 4194368 97629 0 0 0 6872 15 0 0 20 0 3 0 58557692 919007232 194416 18446744073709551615 4198400 12805993 140736312480304 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 35323904 140736312482072 140736312482277 140736312482277 140736312487879 0
Current children cumulated CPU time: 144.91 s
Current children cumulated vsize: 897468 KiB
Current children cumulated memory: 777664 KiB

[startup+83.2002 s]
/proc/loadavg: 5.31 4.03 4.01 7/268 59911
/proc/meminfo: memFree=123013988/131250000 swapFree=33010684/33010684
[pid=59833] ppid=59830 vsize=897468 memory=777664 CPUtime=157.63 cores=5,7
/proc/59833/stat : 59833 (cp-sat-runner) S 59830 59833 59758 0 -1 4194304 303345 0 0 0 15702 61 0 0 20 0 3 0 58556923 919007232 194416 18446744073709551615 4198400 12805993 140736312480304 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146912 14333620 35323904 140736312482072 140736312482277 140736312482277 140736312487879 0
/proc/59833/statm: 224367 194416 2176 2102 0 212320 0
[pid=59833/tid=59857] ppid=59830 vsize=897468 memory=5148 CPUtime=74.61 cores=5,7
/proc/59833/task/59857/stat : 59857 (cp-sat-runner) R 59830 59833 59758 0 -1 4194368 114398 0 0 0 7435 26 0 0 20 0 3 0 58557692 919007232 194416 18446744073709551615 4198400 12805993 140736312480304 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 35323904 140736312482072 140736312482277 140736312482277 140736312487879 0
[pid=59833/tid=59858] ppid=59830 vsize=897468 memory=4764 CPUtime=75.26 cores=5,7
/proc/59833/task/59858/stat : 59858 (cp-sat-runner) R 59830 59833 59758 0 -1 4194368 106339 0 0 0 7510 16 0 0 20 0 3 0 58557692 919007232 194416 18446744073709551615 4198400 12805993 140736312480304 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 35323904 140736312482072 140736312482277 140736312482277 140736312487879 0
Current children cumulated CPU time: 157.63 s
Current children cumulated vsize: 897468 KiB
Current children cumulated memory: 777664 KiB

[startup+86.4002 s]
/proc/loadavg: 5.31 4.03 4.01 7/268 59911
/proc/meminfo: memFree=123014240/131250000 swapFree=33010684/33010684
[pid=59833] ppid=59830 vsize=897468 memory=777664 CPUtime=163.99 cores=5,7
/proc/59833/stat : 59833 (cp-sat-runner) S 59830 59833 59758 0 -1 4194304 304317 0 0 0 16338 61 0 0 20 0 3 0 58556923 919007232 194416 18446744073709551615 4198400 12805993 140736312480304 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146912 14333620 35323904 140736312482072 140736312482277 140736312482277 140736312487879 0
/proc/59833/statm: 224367 194416 2176 2102 0 212320 0
[pid=59833/tid=59857] ppid=59830 vsize=897468 memory=777664 CPUtime=77.74 cores=5,7
/proc/59833/task/59857/stat : 59857 (cp-sat-runner) R 59830 59833 59758 0 -1 4194368 114410 0 0 0 7748 26 0 0 20 0 3 0 58557692 919007232 194416 18446744073709551615 4198400 12805993 140736312480304 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 35323904 140736312482072 140736312482277 140736312482277 140736312487879 0
[pid=59833/tid=59858] ppid=59830 vsize=897468 memory=777664 CPUtime=78.45 cores=5,7
/proc/59833/task/59858/stat : 59858 (cp-sat-runner) R 59830 59833 59758 0 -1 4194368 106564 0 0 0 7829 16 0 0 20 0 3 0 58557692 919007232 194416 18446744073709551615 4198400 12805993 140736312480304 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 35323904 140736312482072 140736312482277 140736312482277 140736312487879 0
Current children cumulated CPU time: 163.99 s
Current children cumulated vsize: 897468 KiB
Current children cumulated memory: 777664 KiB

[startup+87.2002 s]
/proc/loadavg: 5.31 4.03 4.01 7/268 59912
/proc/meminfo: memFree=123014240/131250000 swapFree=33010684/33010684
[pid=59833] ppid=59830 vsize=897468 memory=777664 CPUtime=165.58 cores=5,7
/proc/59833/stat : 59833 (cp-sat-runner) S 59830 59833 59758 0 -1 4194304 304317 0 0 0 16497 61 0 0 20 0 3 0 58556923 919007232 194416 18446744073709551615 4198400 12805993 140736312480304 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146912 14333620 35323904 140736312482072 140736312482277 140736312482277 140736312487879 0
/proc/59833/statm: 224367 194416 2176 2102 0 212320 0
[pid=59833/tid=59857] ppid=59830 vsize=897468 memory=18304 CPUtime=78.53 cores=5,7
/proc/59833/task/59857/stat : 59857 (cp-sat-runner) R 59830 59833 59758 0 -1 4194368 114410 0 0 0 7827 26 0 0 20 0 3 0 58557692 919007232 194416 18446744073709551615 4198400 12805993 140736312480304 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 35323904 140736312482072 140736312482277 140736312482277 140736312487879 0
[pid=59833/tid=59858] ppid=59830 vsize=897468 memory=777664 CPUtime=79.25 cores=5,7
/proc/59833/task/59858/stat : 59858 (cp-sat-runner) R 59830 59833 59758 0 -1 4194368 106564 0 0 0 7909 16 0 0 20 0 3 0 58557692 919007232 194416 18446744073709551615 4198400 12805993 140736312480304 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 35323904 140736312482072 140736312482277 140736312482277 140736312487879 0
Current children cumulated CPU time: 165.58 s
Current children cumulated vsize: 897468 KiB
Current children cumulated memory: 777664 KiB

[startup+88.0002 s]*
/proc/loadavg: 5.37 4.06 4.02 7/268 59912
/proc/meminfo: memFree=123014492/131250000 swapFree=33010684/33010684
[pid=59833] ppid=59830 vsize=897468 memory=777664 CPUtime=167.18 cores=5,7
/proc/59833/stat : 59833 (cp-sat-runner) S 59830 59833 59758 0 -1 4194304 304319 0 0 0 16657 61 0 0 20 0 3 0 58556923 919007232 194416 18446744073709551615 4198400 12805993 140736312480304 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146912 14333620 35323904 140736312482072 140736312482277 140736312482277 140736312487879 0
/proc/59833/statm: 224367 194416 2176 2102 0 212320 0
[pid=59833/tid=59857] ppid=59830 vsize=897468 memory=-8183432475066537410 CPUtime=79.32 cores=5,7
/proc/59833/task/59857/stat : 59857 (cp-sat-runner) R 59830 59833 59758 0 -1 4194368 114410 0 0 0 7906 26 0 0 20 0 3 0 58557692 919007232 194416 18446744073709551615 4198400 12805993 140736312480304 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 35323904 140736312482072 140736312482277 140736312482277 140736312487879 0
[pid=59833/tid=59858] ppid=59830 vsize=897468 memory=4571889875167112860 CPUtime=80.05 cores=5,7
/proc/59833/task/59858/stat : 59858 (cp-sat-runner) R 59830 59833 59758 0 -1 4194368 106566 0 0 0 7989 16 0 0 20 0 3 0 58557692 919007232 194416 18446744073709551615 4198400 12805993 140736312480304 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 35323904 140736312482072 140736312482277 140736312482277 140736312487879 0
Current children cumulated CPU time: 167.18 s
Current children cumulated vsize: 897468 KiB
Current children cumulated memory: 777664 KiB

[startup+88.2002 s]
/proc/loadavg: 5.37 4.06 4.02 7/268 59912
/proc/meminfo: memFree=123014492/131250000 swapFree=33010684/33010684
[pid=59833] ppid=59830 vsize=897468 memory=777664 CPUtime=167.57 cores=5,7
/proc/59833/stat : 59833 (cp-sat-runner) S 59830 59833 59758 0 -1 4194304 304325 0 0 0 16696 61 0 0 20 0 3 0 58556923 919007232 194416 18446744073709551615 4198400 12805993 140736312480304 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146912 14333620 35323904 140736312482072 140736312482277 140736312482277 140736312487879 0
/proc/59833/statm: 224367 194416 2176 2102 0 212320 0
[pid=59833/tid=59857] ppid=59830 vsize=897468 memory=8747116621895827759 CPUtime=79.52 cores=5,7
/proc/59833/task/59857/stat : 59857 (cp-sat-runner) R 59830 59833 59758 0 -1 4194368 114416 0 0 0 7926 26 0 0 20 0 3 0 58557692 919007232 194416 18446744073709551615 4198400 12805993 140736312480304 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 35323904 140736312482072 140736312482277 140736312482277 140736312487879 0
[pid=59833/tid=59858] ppid=59830 vsize=897468 memory=54113165640434 CPUtime=80.24 cores=5,7
/proc/59833/task/59858/stat : 59858 (cp-sat-runner) R 59830 59833 59758 0 -1 4194368 106566 0 0 0 8008 16 0 0 20 0 3 0 58557692 919007232 194416 18446744073709551615 4198400 12805993 140736312480304 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 35323904 140736312482072 140736312482277 140736312482277 140736312487879 0
Current children cumulated CPU time: 167.57 s
Current children cumulated vsize: 897468 KiB
Current children cumulated memory: 777664 KiB

[startup+88.3002 s]
/proc/loadavg: 5.37 4.06 4.02 7/268 59912
/proc/meminfo: memFree=123014492/131250000 swapFree=33010684/33010684
[pid=59833] ppid=59830 vsize=792500 memory=714708 CPUtime=167.76 cores=5,7
/proc/59833/stat : 59833 (cp-sat-runner) R 59830 59833 59758 0 -1 4194304 304500 0 0 0 16715 61 0 0 20 0 3 0 58556923 811520000 178677 18446744073709551615 4198400 12805993 140736312480304 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 35323904 140736312482072 140736312482277 140736312482277 140736312487879 0
/proc/59833/statm: 198125 178677 2176 2102 0 186078 0
[pid=59833/tid=59857] ppid=59830 vsize=792500 memory=777664 CPUtime=79.61 cores=5,7
/proc/59833/task/59857/stat : 59857 (cp-sat-runner) S 59830 59833 59758 0 -1 4194368 114417 0 0 0 7935 26 0 0 20 0 3 0 58557692 811520000 178677 18446744073709551615 4198400 12805993 140736312480304 0 0 0 0 0 16386 1 0 0 -1 7 0 0 0 0 0 14146912 14333620 35323904 140736312482072 140736312482277 140736312482277 140736312487879 0
[pid=59833/tid=59858] ppid=59830 vsize=792500 memory=18304 CPUtime=80.33 cores=5,7
/proc/59833/task/59858/stat : 59858 (cp-sat-runner) S 59830 59833 59758 0 -1 4194368 106569 0 0 0 8017 16 0 0 20 0 3 0 58557692 811520000 178677 18446744073709551615 4198400 12805993 140736312480304 0 0 0 0 0 16386 1 0 0 -1 7 0 0 0 0 0 14146912 14333620 35323904 140736312482072 140736312482277 140736312482277 140736312487879 0
Current children cumulated CPU time: 167.76 s
Current children cumulated vsize: 792500 KiB
Current children cumulated memory: 714708 KiB

Child status: 10

Real time (s): 88.3625
CPU time (s): 167.831
CPU user time (s): 167.18
CPU system time (s): 0.650154
CPU usage (%): 189.934
Max. virtual memory (cumulated for all children) (KiB): 1020904
Max. memory (cumulated for all children) (KiB): 813260

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 167.18
system time used= 0.650154
maximum resident set size= 813260
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 332682
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= 2082
involuntary context switches= 3249


# summary of solver processes directly reported to runsolver:
#   pid: 59833
#   total CPU time (s): 167.831
#   total CPU user time (s): 167.18
#   total CPU system time (s): 0.650154

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.185221 second user time and 0.457579 second system time

The end

Launcher Data 

Begin job on nodeC026 at 2025-07-02 05:59:43
IDJOB=4502988
IDBENCH=155403
IDSOLVER=3320
FILE ID=nodeC026/4502988-1751428783
RUNJOBID= nodeC026-1751428782-59797
SLURM_JOB_ID= 9598365
Free space on /tmp= 432144 MiB

SOLVER NAME= OR-Tools CP-SAT 9.14
BENCH NAME= PB24/normalized-PB11/OPT-LIN/kullmann/normalized-mul_8_3_shg.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-4502988-1751428783/watcher-4502988-1751428783 -o /tmp/evaluation-result-4502988-1751428783/solver-4502988-1751428783 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751428782-59797 --watchdog 3760  cp-sat-runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:1182934836 --competition_mode --input HOME/instance-4502988-1751428783.opb

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

MD5SUM BENCH= 9f3f50f555350d326304759fc873d478
RANDOM SEED=1182934836

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

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

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

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


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        126446604 kB
MemAvailable:   129766404 kB
Buffers:            3280 kB
Cached:          4115124 kB
SwapCached:            0 kB
Active:           346492 kB
Inactive:        3855792 kB
Active(anon):     101992 kB
Inactive(anon):        0 kB
Active(file):     244500 kB
Inactive(file):  3855792 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            121900 kB
Writeback:             0 kB
AnonPages:         87056 kB
Mapped:           109304 kB
Shmem:             18080 kB
KReclaimable:     117496 kB
Slab:             206940 kB
SReclaimable:     117496 kB
SUnreclaim:        89444 kB
KernelStack:        4192 kB
PageTables:         2888 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     370916 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150440 kB
VmallocChunk:          0 kB
Percpu:             3680 kB
HardwareCorrupted:     0 kB
AnonHugePages:     20480 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:      187092 kB
DirectMap2M:     9021440 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432060 MiB
End job on nodeC026 at 2025-07-02 06:01:11