Trace number 4430796

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
ParLS-PBO-1.1 2024-07-09SAT (TO)448835177987 3600.08 3580.81

General information on the benchmark

NamePB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/
random/rand.biglist/normalized-randaefc7c.cudf.trendy.opb
MD5SUM9a5cd1d57fdd32c0069a9cebc068fbf4
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 benchmark394243446
Best CPU time to get the best result obtained on this benchmark0.336998
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5855
Total number of constraints24760
Number of constraints which are clauses24506
Number of constraints which are cardinality constraints (but not clauses)254
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint553
Number of terms in the objective function 2698
Biggest coefficient in the objective function 2465846551
Number of bits for the biggest coefficient in the objective function 32
Sum of the numbers in the objective function 1361143646548
Number of bits of the sum of numbers in the objective function 41
Biggest number in a constraint 2465846551
Number of bits of the biggest number in a constraint 32
Biggest sum of numbers in a constraint 1361143646548
Number of bits of the biggest sum of numbers41
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

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

Verifier Data 

OK	448835177987

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 64096 MiB (63043 MiB free)
  memory of node 1: 64473 MiB (62098 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4430796-1722977942/watcher-4430796-1722977942 -o /tmp/evaluation-result-4430796-1722977942/solver-4430796-1722977942 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1722970779-349542 --watchdog 3760 --use-pty ./ParLS-PBO --benchName=HOME/instance-4430796-1722977942.opb --time_limit=3600 --nbcore=1 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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
Using a pseudo terminal to collect output from the solver
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=353576, runsolver pid=353573

[startup+0.100081 s]*
/proc/loadavg: 4.19 4.20 4.21 5/248 353578
/proc/meminfo: memFree=128136576/131655788 swapFree=131071728/131071996
[pid=353576] ppid=353573 vsize=105304 memory=16096 CPUtime=0.11 cores=1,3
/proc/353576/stat : 353576 (ParLS-PBO) S 353573 353576 349530 0 -1 1077936128 3384 0 0 0 10 1 0 0 20 0 2 0 64164547 107831296 4024 134679101440 4194304 4322517 140724873337408 0 0 0 0 0 16384 0 0 0 17 3 0 0 0 0 0 4356072 4359040 13807616 140724873339917 140724873340037 140724873340037 140724873347052 0
/proc/353576/statm: 26326 4024 951 32 0 5668 0
[pid=353576/tid=353578] ppid=353573 vsize=105304 memory=4026561586 CPUtime=0.01 cores=1,3
/proc/353576/task/353578/stat : 353578 (ParLS-PBO) R 353573 353576 349530 0 -1 4194368 1648 0 0 0 1 0 0 0 20 0 2 0 64164557 107831296 4024 134679101440 4194304 4322517 140724873337408 0 0 0 0 0 16384 0 0 0 -1 1 0 0 0 0 0 4356072 4359040 13807616 140724873339917 140724873340037 140724873340037 140724873347052 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 105304 KiB
Current children cumulated memory: 16096 KiB

[startup+0.213005 s]*
/proc/loadavg: 4.19 4.20 4.21 5/248 353578
/proc/meminfo: memFree=128130864/131655788 swapFree=131071728/131071996
[pid=353576] ppid=353573 vsize=105304 memory=16096 CPUtime=0.22 cores=1,3
/proc/353576/stat : 353576 (ParLS-PBO) R 353573 353576 349530 0 -1 1077936128 3390 0 0 0 21 1 0 0 20 0 2 0 64164547 107831296 4024 134679101440 4194304 4322517 140724873337408 0 0 0 0 0 16384 0 0 0 17 3 0 0 0 0 0 4356072 4359040 13807616 140724873339917 140724873340037 140724873340037 140724873347052 0
/proc/353576/statm: 26326 4024 951 32 0 5674 0
[pid=353576/tid=353578] ppid=353573 vsize=105304 memory=8031135708874735747 CPUtime=0.12 cores=1,3
/proc/353576/task/353578/stat : 353578 (ParLS-PBO) R 353573 353576 349530 0 -1 4194368 1654 0 0 0 12 0 0 0 20 0 2 0 64164557 107831296 4024 134679101440 4194304 4322517 140724873337408 0 0 0 0 0 16384 0 0 0 -1 1 0 0 0 0 0 4356072 4359040 13807616 140724873339917 140724873340037 140724873340037 140724873347052 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 105304 KiB
Current children cumulated memory: 16096 KiB

[startup+0.312269 s]*
/proc/loadavg: 4.19 4.20 4.21 5/248 353578
/proc/meminfo: memFree=128130192/131655788 swapFree=131071728/131071996
[pid=353576] ppid=353573 vsize=105304 memory=16096 CPUtime=0.32 cores=1,3
/proc/353576/stat : 353576 (ParLS-PBO) S 353573 353576 349530 0 -1 1077936128 3390 0 0 0 31 1 0 0 20 0 2 0 64164547 107831296 4024 134679101440 4194304 4322517 140724873337408 0 0 0 0 0 16384 0 0 0 17 3 0 0 0 0 0 4356072 4359040 13807616 140724873339917 140724873340037 140724873340037 140724873347052 0
/proc/353576/statm: 26326 4024 951 32 0 5674 0
[pid=353576/tid=353578] ppid=353573 vsize=105304 memory=-6530988466593496257 CPUtime=0.22 cores=1,3
/proc/353576/task/353578/stat : 353578 (ParLS-PBO) R 353573 353576 349530 0 -1 4194368 1654 0 0 0 22 0 0 0 20 0 2 0 64164557 107831296 4024 134679101440 4194304 4322517 140724873337408 0 0 0 0 0 16384 0 0 0 -1 1 0 0 0 0 0 4356072 4359040 13807616 140724873339917 140724873340037 140724873340037 140724873347052 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 105304 KiB
Current children cumulated memory: 16096 KiB

[startup+0.700277 s]
/proc/loadavg: 4.19 4.20 4.21 5/248 353578
/proc/meminfo: memFree=128130024/131655788 swapFree=131071728/131071996
[pid=353576] ppid=353573 vsize=105304 memory=16096 CPUtime=0.69 cores=1,3
/proc/353576/stat : 353576 (ParLS-PBO) S 353573 353576 349530 0 -1 1077936128 3390 0 0 0 68 1 0 0 20 0 2 0 64164547 107831296 4024 134679101440 4194304 4322517 140724873337408 0 0 0 0 0 16384 0 0 0 17 3 0 0 0 0 0 4356072 4359040 13807616 140724873339917 140724873340037 140724873340037 140724873347052 0
/proc/353576/statm: 26326 4024 951 32 0 5674 0
[pid=353576/tid=353578] ppid=353573 vsize=105304 memory=16064 CPUtime=0.59 cores=1,3
/proc/353576/task/353578/stat : 353578 (ParLS-PBO) R 353573 353576 349530 0 -1 4194368 1654 0 0 0 59 0 0 0 20 0 2 0 64164557 107831296 4024 134679101440 4194304 4322517 140724873337408 0 0 0 0 0 16384 0 0 0 -1 1 0 0 0 0 0 4356072 4359040 13807616 140724873339917 140724873340037 140724873340037 140724873347052 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 105304 KiB
Current children cumulated memory: 16096 KiB

[startup+1.50028 s]
/proc/loadavg: 4.19 4.20 4.21 6/246 353592
/proc/meminfo: memFree=128330484/131655788 swapFree=131071728/131071996
[pid=353576] ppid=353573 vsize=105304 memory=16616 CPUtime=1.49 cores=1,3
/proc/353576/stat : 353576 (ParLS-PBO) S 353573 353576 349530 0 -1 1077936128 4768 0 0 0 148 1 0 0 20 0 2 0 64164547 107831296 4154 134679101440 4194304 4322517 140724873337408 0 0 0 0 0 16384 0 0 0 17 3 0 0 0 0 0 4356072 4359040 13807616 140724873339917 140724873340037 140724873340037 140724873347052 0
/proc/353576/statm: 26326 4154 951 32 0 5674 0
[pid=353576/tid=353578] ppid=353573 vsize=105304 memory=16064 CPUtime=1.39 cores=1,3
/proc/353576/task/353578/stat : 353578 (ParLS-PBO) R 353573 353576 349530 0 -1 4194368 3027 0 0 0 139 0 0 0 20 0 2 0 64164557 107831296 4154 134679101440 4194304 4322517 140724873337408 0 0 0 0 0 16384 0 0 0 -1 1 0 0 0 0 0 4356072 4359040 13807616 140724873339917 140724873340037 140724873340037 140724873347052 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 105304 KiB
Current children cumulated memory: 16616 KiB

[startup+3.11191 s]
/proc/loadavg: 4.26 4.22 4.21 5/245 353592
/proc/meminfo: memFree=128330792/131655788 swapFree=131071728/131071996
[pid=353576] ppid=353573 vsize=105304 memory=16616 CPUtime=3.11 cores=1,3
/proc/353576/stat : 353576 (ParLS-PBO) S 353573 353576 349530 0 -1 1077936128 4782 0 0 0 309 2 0 0 20 0 2 0 64164547 107831296 4154 134679101440 4194304 4322517 140724873337408 0 0 0 0 0 16384 0 0 0 17 3 0 0 0 0 0 4356072 4359040 13807616 140724873339917 140724873340037 140724873340037 140724873347052 0
/proc/353576/statm: 26326 4154 951 32 0 5674 0
[pid=353576/tid=353578] ppid=353573 vsize=105304 memory=16096 CPUtime=3 cores=1,3
/proc/353576/task/353578/stat : 353578 (ParLS-PBO) R 353573 353576 349530 0 -1 4194368 3041 0 0 0 300 0 0 0 20 0 2 0 64164557 107831296 4154 134679101440 4194304 4322517 140724873337408 0 0 0 0 0 16384 0 0 0 -1 1 0 0 0 0 0 4356072 4359040 13807616 140724873339917 140724873340037 140724873340037 140724873347052 0
Current children cumulated CPU time: 3.11 s
Current children cumulated vsize: 105304 KiB
Current children cumulated memory: 16616 KiB

[startup+6.30028 s]
/proc/loadavg: 4.26 4.22 4.21 5/248 353625
/proc/meminfo: memFree=128285116/131655788 swapFree=131071728/131071996
[pid=353576] ppid=353573 vsize=105304 memory=16616 CPUtime=6.32 cores=1,3
/proc/353576/stat : 353576 (ParLS-PBO) S 353573 353576 349530 0 -1 1077936128 7523 0 0 0 628 4 0 0 20 0 2 0 64164547 107831296 4154 134679101440 4194304 4322517 140724873337408 0 0 0 0 0 16384 0 0 0 17 3 0 0 0 0 0 4356072 4359040 13807616 140724873339917 140724873340037 140724873340037 140724873347052 0
/proc/353576/statm: 26326 4154 951 32 0 5674 0
[pid=353576/tid=353578] ppid=353573 vsize=105304 memory=16096 CPUtime=6.18 cores=1,3
/proc/353576/task/353578/stat : 353578 (ParLS-PBO) R 353573 353576 349530 0 -1 4194368 5772 0 0 0 618 0 0 0 20 0 2 0 64164557 107831296 4154 134679101440 4194304 4322517 140724873337408 0 0 0 0 0 16384 0 0 0 -1 1 0 0 0 0 0 4356072 4359040 13807616 140724873339917 140724873340037 140724873340037 140724873347052 0
Current children cumulated CPU time: 6.32 s
Current children cumulated vsize: 105304 KiB
Current children cumulated memory: 16616 KiB

[startup+12.7003 s]
/proc/loadavg: 4.40 4.25 4.22 5/249 353675
/proc/meminfo: memFree=128243860/131655788 swapFree=131071728/131071996
[pid=353576] ppid=353573 vsize=105304 memory=16616 CPUtime=12.75 cores=1,3
/proc/353576/stat : 353576 (ParLS-PBO) S 353573 353576 349530 0 -1 1077936128 8958 0 0 0 1267 8 0 0 20 0 2 0 64164547 107831296 4154 134679101440 4194304 4322517 140724873337408 0 0 0 0 0 16384 0 0 0 17 3 0 0 0 0 0 4356072 4359040 13807616 140724873339917 140724873340037 140724873340037 140724873347052 0
/proc/353576/statm: 26326 4154 951 32 0 5674 0
[pid=353576/tid=353578] ppid=353573 vsize=105304 memory=16096 CPUtime=12.56 cores=1,3
/proc/353576/task/353578/stat : 353578 (ParLS-PBO) R 353573 353576 349530 0 -1 4194368 7202 0 0 0 1256 0 0 0 20 0 2 0 64164557 107831296 4154 134679101440 4194304 4322517 140724873337408 0 0 0 0 0 16384 0 0 0 -1 1 0 0 0 0 0 4356072 4359040 13807616 140724873339917 140724873340037 140724873340037 140724873347052 0
Current children cumulated CPU time: 12.75 s
Current children cumulated vsize: 105304 KiB
Current children cumulated memory: 16616 KiB

[startup+25.5003 s]
/proc/loadavg: 4.31 4.23 4.22 5/249 353677
/proc/meminfo: memFree=128242544/131655788 swapFree=131071728/131071996
[pid=353576] ppid=353573 vsize=105304 memory=17108 CPUtime=25.61 cores=1,3
/proc/353576/stat : 353576 (ParLS-PBO) S 353573 353576 349530 0 -1 1077936128 11450 0 0 0 2546 15 0 0 20 0 2 0 64164547 107831296 4277 134679101440 4194304 4322517 140724873337408 0 0 0 0 0 16384 0 0 0 17 3 0 0 0 0 0 4356072 4359040 13807616 140724873339917 140724873340037 140724873340037 140724873347052 0
/proc/353576/statm: 26326 4277 951 32 0 5674 0
[pid=353576/tid=353578] ppid=353573 vsize=105304 memory=16096 CPUtime=25.33 cores=1,3
/proc/353576/task/353578/stat : 353578 (ParLS-PBO) R 353573 353576 349530 0 -1 4194368 9684 0 0 0 2533 0 0 0 20 0 2 0 64164557 107831296 4277 134679101440 4194304 4322517 140724873337408 0 0 0 0 0 16384 0 0 0 -1 1 0 0 0 0 0 4356072 4359040 13807616 140724873339917 140724873340037 140724873340037 140724873347052 0
Current children cumulated CPU time: 25.61 s
Current children cumulated vsize: 105304 KiB
Current children cumulated memory: 17108 KiB

[startup+51.1119 s]
/proc/loadavg: 4.44 4.26 4.23 5/249 353682
/proc/meminfo: memFree=128238896/131655788 swapFree=131071728/131071996
[pid=353576] ppid=353573 vsize=105304 memory=17108 CPUtime=51.36 cores=1,3
/proc/353576/stat : 353576 (ParLS-PBO) S 353573 353576 349530 0 -1 1077936128 14719 0 0 0 5104 32 0 0 20 0 2 0 64164547 107831296 4277 134679101440 4194304 4322517 140724873337408 0 0 0 0 0 16384 0 0 0 17 3 0 0 0 0 0 4356072 4359040 13807616 140724873339917 140724873340037 140724873340037 140724873347052 0
/proc/353576/statm: 26326 4277 951 32 0 5674 0
[pid=353576/tid=353578] ppid=353573 vsize=105304 memory=17108 CPUtime=50.88 cores=1,3
/proc/353576/task/353578/stat : 353578 (ParLS-PBO) R 353573 353576 349530 0 -1 4194368 12938 0 0 0 5088 0 0 0 20 0 2 0 64164557 107831296 4277 134679101440 4194304 4322517 140724873337408 0 0 0 0 0 16384 0 0 0 -1 1 0 0 0 0 0 4356072 4359040 13807616 140724873339917 140724873340037 140724873340037 140724873347052 0
Current children cumulated CPU time: 51.36 s
Current children cumulated vsize: 105304 KiB
Current children cumulated memory: 17108 KiB

[startup+102.3 s]
/proc/loadavg: 5.62 4.61 4.35 5/249 353693
/proc/meminfo: memFree=128232480/131655788 swapFree=131071728/131071996
[pid=353576] ppid=353573 vsize=105304 memory=17108 CPUtime=102.83 cores=1,3
/proc/353576/stat : 353576 (ParLS-PBO) S 353573 353576 349530 0 -1 1077936128 17037 0 0 0 10220 63 0 0 20 0 2 0 64164547 107831296 4277 134679101440 4194304 4322517 140724873337408 0 0 0 0 0 16384 0 0 0 17 3 0 0 0 0 0 4356072 4359040 13807616 140724873339917 140724873340037 140724873340037 140724873347052 0
/proc/353576/statm: 26326 4277 951 32 0 5674 0
[pid=353576/tid=353578] ppid=353573 vsize=105304 memory=17108 CPUtime=101.96 cores=1,3
/proc/353576/task/353578/stat : 353578 (ParLS-PBO) R 353573 353576 349530 0 -1 4194368 15246 0 0 0 10196 0 0 0 20 0 2 0 64164557 107831296 4277 134679101440 4194304 4322517 140724873337408 0 0 0 0 0 16384 0 0 0 -1 1 0 0 0 0 0 4356072 4359040 13807616 140724873339917 140724873340037 140724873340037 140724873347052 0
Current children cumulated CPU time: 102.83 s
Current children cumulated vsize: 105304 KiB
Current children cumulated memory: 17108 KiB

[startup+162.3 s]
/proc/loadavg: 4.69 4.53 4.34 5/248 353715
/proc/meminfo: memFree=128231724/131655788 swapFree=131071728/131071996
[pid=353576] ppid=353573 vsize=105304 memory=17108 CPUtime=163.15 cores=1,3
/proc/353576/stat : 353576 (ParLS-PBO) S 353573 353576 349530 0 -1 1077936128 19332 0 0 0 16219 96 0 0 20 0 2 0 64164547 107831296 4277 134679101440 4194304 4322517 140724873337408 0 0 0 0 0 16384 0 0 0 17 3 0 0 0 0 0 4356072 4359040 13807616 140724873339917 140724873340037 140724873340037 140724873347052 0
/proc/353576/statm: 26326 4277 951 32 0 5674 0
[pid=353576/tid=353578] ppid=353573 vsize=105304 memory=17108 CPUtime=161.83 cores=1,3
/proc/353576/task/353578/stat : 353578 (ParLS-PBO) R 353573 353576 349530 0 -1 4194368 17531 0 0 0 16183 0 0 0 20 0 2 0 64164557 107831296 4277 134679101440 4194304 4322517 140724873337408 0 0 0 0 0 16384 0 0 0 -1 1 0 0 0 0 0 4356072 4359040 13807616 140724873339917 140724873340037 140724873340037 140724873347052 0
Current children cumulated CPU time: 163.15 s
Current children cumulated vsize: 105304 KiB
Current children cumulated memory: 17108 KiB

[startup+222.3 s]
/proc/loadavg: 4.51 4.51 4.34 5/248 353725
/proc/meminfo: memFree=128230536/131655788 swapFree=131071728/131071996
[pid=353576] ppid=353573 vsize=105304 memory=17108 CPUtime=223.47 cores=1,3
/proc/353576/stat : 353576 (ParLS-PBO) S 353573 353576 349530 0 -1 1077936128 20463 0 0 0 22215 132 0 0 20 0 2 0 64164547 107831296 4277 134679101440 4194304 4322517 140724873337408 0 0 0 0 0 16384 0 0 0 17 3 0 0 0 0 0 4356072 4359040 13807616 140724873339917 140724873340037 140724873340037 140724873347052 0
/proc/353576/statm: 26326 4277 951 32 0 5674 0
[pid=353576/tid=353578] ppid=353573 vsize=105304 memory=11536 CPUtime=221.7 cores=1,3
/proc/353576/task/353578/stat : 353578 (ParLS-PBO) R 353573 353576 349530 0 -1 4194368 18657 0 0 0 22170 0 0 0 20 0 2 0 64164557 107831296 4277 134679101440 4194304 4322517 140724873337408 0 0 0 0 0 16384 0 0 0 -1 1 0 0 0 0 0 4356072 4359040 13807616 140724873339917 140724873340037 140724873340037 140724873347052 0
Current children cumulated CPU time: 223.47 s
Current children cumulated vsize: 105304 KiB
Current children cumulated memory: 17108 KiB

[startup+282.3 s]
/proc/loadavg: 4.34 4.46 4.34 5/248 353737
/proc/meminfo: memFree=128229920/131655788 swapFree=131071728/131071996
[pid=353576] ppid=353573 vsize=105304 memory=17108 CPUtime=283.8 cores=1,3
/proc/353576/stat : 353576 (ParLS-PBO) S 353573 353576 349530 0 -1 1077936128 21621 0 0 0 28211 169 0 0 20 0 2 0 64164547 107831296 4277 134679101440 4194304 4322517 140724873337408 0 0 0 0 0 16384 0 0 0 17 3 0 0 0 0 0 4356072 4359040 13807616 140724873339917 140724873340037 140724873340037 140724873347052 0
/proc/353576/statm: 26326 4277 951 32 0 5674 0
[pid=353576/tid=353578] ppid=353573 vsize=105304 memory=17108 CPUtime=281.57 cores=1,3
/proc/353576/task/353578/stat : 353578 (ParLS-PBO) R 353573 353576 349530 0 -1 4194368 19810 0 0 0 28157 0 0 0 20 0 2 0 64164557 107831296 4277 134679101440 4194304 4322517 140724873337408 0 0 0 0 0 16384 0 0 0 -1 1 0 0 0 0 0 4356072 4359040 13807616 140724873339917 140724873340037 140724873340037 140724873347052 0
Current children cumulated CPU time: 283.8 s

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

/proc/meminfo: memFree=128197276/131655788 swapFree=131071728/131071996
[pid=353576] ppid=353573 vsize=105304 memory=17108 CPUtime=2938.03 cores=1,3
/proc/353576/stat : 353576 (ParLS-PBO) S 353573 353576 349530 0 -1 1077936128 72741 0 0 0 292071 1732 0 0 20 0 2 0 64164547 107831296 4277 134679101440 4194304 4322517 140724873337408 0 0 0 0 0 16384 0 0 0 17 3 0 0 0 0 0 4356072 4359040 13807616 140724873339917 140724873340037 140724873340037 140724873347052 0
/proc/353576/statm: 26326 4277 951 32 0 5674 0
[pid=353576/tid=353578] ppid=353573 vsize=105304 memory=17108 CPUtime=2915.93 cores=1,3
/proc/353576/task/353578/stat : 353578 (ParLS-PBO) R 353573 353576 349530 0 -1 4194368 70703 0 0 0 291590 3 0 0 20 0 2 0 64164557 107831296 4277 134679101440 4194304 4322517 140724873337408 0 0 0 0 0 16384 0 0 0 -1 1 0 0 0 0 0 4356072 4359040 13807616 140724873339917 140724873340037 140724873340037 140724873347052 0
Current children cumulated CPU time: 2938.03 s
Current children cumulated vsize: 105304 KiB
Current children cumulated memory: 17108 KiB

[startup+2982.3 s]
/proc/loadavg: 4.09 4.15 4.21 5/245 354850
/proc/meminfo: memFree=128196680/131655788 swapFree=131071728/131071996
[pid=353576] ppid=353573 vsize=105304 memory=17108 CPUtime=2998.36 cores=1,3
/proc/353576/stat : 353576 (ParLS-PBO) S 353573 353576 349530 0 -1 1077936128 73914 0 0 0 298065 1771 0 0 20 0 2 0 64164547 107831296 4277 134679101440 4194304 4322517 140724873337408 0 0 0 0 0 16384 0 0 0 17 3 0 0 0 0 0 4356072 4359040 13807616 140724873339917 140724873340037 140724873340037 140724873347052 0
/proc/353576/statm: 26326 4277 951 32 0 5674 0
[pid=353576/tid=353578] ppid=353573 vsize=105304 memory=37916 CPUtime=2975.8 cores=1,3
/proc/353576/task/353578/stat : 353578 (ParLS-PBO) R 353573 353576 349530 0 -1 4194368 71870 0 0 0 297577 3 0 0 20 0 2 0 64164557 107831296 4277 134679101440 4194304 4322517 140724873337408 0 0 0 0 0 16384 0 0 0 -1 1 0 0 0 0 0 4356072 4359040 13807616 140724873339917 140724873340037 140724873340037 140724873347052 0
Current children cumulated CPU time: 2998.36 s
Current children cumulated vsize: 105304 KiB
Current children cumulated memory: 17108 KiB

[startup+3042.3 s]
/proc/loadavg: 4.25 4.19 4.22 5/245 354862
/proc/meminfo: memFree=128195900/131655788 swapFree=131071728/131071996
[pid=353576] ppid=353573 vsize=105304 memory=17108 CPUtime=3058.68 cores=1,3
/proc/353576/stat : 353576 (ParLS-PBO) S 353573 353576 349530 0 -1 1077936128 75092 0 0 0 304058 1810 0 0 20 0 2 0 64164547 107831296 4277 134679101440 4194304 4322517 140724873337408 0 0 0 0 0 16384 0 0 0 17 3 0 0 0 0 0 4356072 4359040 13807616 140724873339917 140724873340037 140724873340037 140724873347052 0
/proc/353576/statm: 26326 4277 951 32 0 5674 0
[pid=353576/tid=353578] ppid=353573 vsize=105304 memory=11536 CPUtime=3035.67 cores=1,3
/proc/353576/task/353578/stat : 353578 (ParLS-PBO) R 353573 353576 349530 0 -1 4194368 73043 0 0 0 303564 3 0 0 20 0 2 0 64164557 107831296 4277 134679101440 4194304 4322517 140724873337408 0 0 0 0 0 16384 0 0 0 -1 1 0 0 0 0 0 4356072 4359040 13807616 140724873339917 140724873340037 140724873340037 140724873347052 0
Current children cumulated CPU time: 3058.68 s
Current children cumulated vsize: 105304 KiB
Current children cumulated memory: 17108 KiB

[startup+3102.3 s]
/proc/loadavg: 4.24 4.20 4.22 5/248 354877
/proc/meminfo: memFree=128195376/131655788 swapFree=131071728/131071996
[pid=353576] ppid=353573 vsize=105304 memory=17108 CPUtime=3119.01 cores=1,3
/proc/353576/stat : 353576 (ParLS-PBO) S 353573 353576 349530 0 -1 1077936128 76271 0 0 0 310056 1845 0 0 20 0 2 0 64164547 107831296 4277 134679101440 4194304 4322517 140724873337408 0 0 0 0 0 16384 0 0 0 17 3 0 0 0 0 0 4356072 4359040 13807616 140724873339917 140724873340037 140724873340037 140724873347052 0
/proc/353576/statm: 26326 4277 951 32 0 5674 0
[pid=353576/tid=353578] ppid=353573 vsize=105304 memory=17108 CPUtime=3095.54 cores=1,3
/proc/353576/task/353578/stat : 353578 (ParLS-PBO) R 353573 353576 349530 0 -1 4194368 74217 0 0 0 309551 3 0 0 20 0 2 0 64164557 107831296 4277 134679101440 4194304 4322517 140724873337408 0 0 0 0 0 16384 0 0 0 -1 1 0 0 0 0 0 4356072 4359040 13807616 140724873339917 140724873340037 140724873340037 140724873347052 0
Current children cumulated CPU time: 3119.01 s
Current children cumulated vsize: 105304 KiB
Current children cumulated memory: 17108 KiB

[startup+3162.3 s]
/proc/loadavg: 4.24 4.20 4.22 5/248 354887
/proc/meminfo: memFree=128194464/131655788 swapFree=131071728/131071996
[pid=353576] ppid=353573 vsize=105304 memory=17108 CPUtime=3179.33 cores=1,3
/proc/353576/stat : 353576 (ParLS-PBO) S 353573 353576 349530 0 -1 1077936128 77445 0 0 0 316054 1879 0 0 20 0 2 0 64164547 107831296 4277 134679101440 4194304 4322517 140724873337408 0 0 0 0 0 16384 0 0 0 17 3 0 0 0 0 0 4356072 4359040 13807616 140724873339917 140724873340037 140724873340037 140724873347052 0
/proc/353576/statm: 26326 4277 951 32 0 5674 0
[pid=353576/tid=353578] ppid=353573 vsize=105304 memory=17108 CPUtime=3155.41 cores=1,3
/proc/353576/task/353578/stat : 353578 (ParLS-PBO) R 353573 353576 349530 0 -1 4194368 75387 0 0 0 315538 3 0 0 20 0 2 0 64164557 107831296 4277 134679101440 4194304 4322517 140724873337408 0 0 0 0 0 16384 0 0 0 -1 1 0 0 0 0 0 4356072 4359040 13807616 140724873339917 140724873340037 140724873340037 140724873347052 0
Current children cumulated CPU time: 3179.33 s
Current children cumulated vsize: 105304 KiB
Current children cumulated memory: 17108 KiB

[startup+3222.3 s]
/proc/loadavg: 4.14 4.18 4.21 6/248 354897
/proc/meminfo: memFree=128193788/131655788 swapFree=131071728/131071996
[pid=353576] ppid=353573 vsize=105304 memory=17108 CPUtime=3239.66 cores=1,3
/proc/353576/stat : 353576 (ParLS-PBO) S 353573 353576 349530 0 -1 1077936128 78560 0 0 0 322048 1918 0 0 20 0 2 0 64164547 107831296 4277 134679101440 4194304 4322517 140724873337408 0 0 0 0 0 16384 0 0 0 17 3 0 0 0 0 0 4356072 4359040 13807616 140724873339917 140724873340037 140724873340037 140724873347052 0
/proc/353576/statm: 26326 4277 951 32 0 5674 0
[pid=353576/tid=353578] ppid=353573 vsize=105304 memory=11536 CPUtime=3215.29 cores=1,3
/proc/353576/task/353578/stat : 353578 (ParLS-PBO) R 353573 353576 349530 0 -1 4194368 76496 0 0 0 321526 3 0 0 20 0 2 0 64164557 107831296 4277 134679101440 4194304 4322517 140724873337408 0 0 0 0 0 16384 0 0 0 -1 1 0 0 0 0 0 4356072 4359040 13807616 140724873339917 140724873340037 140724873340037 140724873347052 0
Current children cumulated CPU time: 3239.66 s
Current children cumulated vsize: 105304 KiB
Current children cumulated memory: 17108 KiB

[startup+3282.3 s]
/proc/loadavg: 4.61 4.28 4.23 5/248 354908
/proc/meminfo: memFree=128193008/131655788 swapFree=131071728/131071996
[pid=353576] ppid=353573 vsize=105304 memory=17108 CPUtime=3299.98 cores=1,3
/proc/353576/stat : 353576 (ParLS-PBO) S 353573 353576 349530 0 -1 1077936128 79732 0 0 0 328043 1955 0 0 20 0 2 0 64164547 107831296 4277 134679101440 4194304 4322517 140724873337408 0 0 0 0 0 16384 0 0 0 17 3 0 0 0 0 0 4356072 4359040 13807616 140724873339917 140724873340037 140724873340037 140724873347052 0
/proc/353576/statm: 26326 4277 951 32 0 5674 0
[pid=353576/tid=353578] ppid=353573 vsize=105304 memory=5496 CPUtime=3275.16 cores=1,3
/proc/353576/task/353578/stat : 353578 (ParLS-PBO) R 353573 353576 349530 0 -1 4194368 77662 0 0 0 327513 3 0 0 20 0 2 0 64164557 107831296 4277 134679101440 4194304 4322517 140724873337408 0 0 0 0 0 16384 0 0 0 -1 1 0 0 0 0 0 4356072 4359040 13807616 140724873339917 140724873340037 140724873340037 140724873347052 0
Current children cumulated CPU time: 3299.98 s
Current children cumulated vsize: 105304 KiB
Current children cumulated memory: 17108 KiB

[startup+3342.3 s]
/proc/loadavg: 5.22 4.54 4.33 5/248 354919
/proc/meminfo: memFree=128192372/131655788 swapFree=131071728/131071996
[pid=353576] ppid=353573 vsize=105304 memory=17108 CPUtime=3360.3 cores=1,3
/proc/353576/stat : 353576 (ParLS-PBO) S 353573 353576 349530 0 -1 1077936128 80902 0 0 0 334043 1987 0 0 20 0 2 0 64164547 107831296 4277 134679101440 4194304 4322517 140724873337408 0 0 0 0 0 16384 0 0 0 17 3 0 0 0 0 0 4356072 4359040 13807616 140724873339917 140724873340037 140724873340037 140724873347052 0
/proc/353576/statm: 26326 4277 951 32 0 5674 0
[pid=353576/tid=353578] ppid=353573 vsize=105304 memory=17108 CPUtime=3335.03 cores=1,3
/proc/353576/task/353578/stat : 353578 (ParLS-PBO) R 353573 353576 349530 0 -1 4194368 78827 0 0 0 333500 3 0 0 20 0 2 0 64164557 107831296 4277 134679101440 4194304 4322517 140724873337408 0 0 0 0 0 16384 0 0 0 -1 1 0 0 0 0 0 4356072 4359040 13807616 140724873339917 140724873340037 140724873340037 140724873347052 0
Current children cumulated CPU time: 3360.3 s
Current children cumulated vsize: 105304 KiB
Current children cumulated memory: 17108 KiB

[startup+3402.3 s]
/proc/loadavg: 4.79 4.53 4.34 5/247 355317
/proc/meminfo: memFree=128291216/131655788 swapFree=131071728/131071996
[pid=353576] ppid=353573 vsize=105304 memory=17108 CPUtime=3420.61 cores=1,3
/proc/353576/stat : 353576 (ParLS-PBO) S 353573 353576 349530 0 -1 1077936128 82081 0 0 0 340042 2019 0 0 20 0 2 0 64164547 107831296 4277 134679101440 4194304 4322517 140724873337408 0 0 0 0 0 16384 0 0 0 17 3 0 0 0 0 0 4356072 4359040 13807616 140724873339917 140724873340037 140724873340037 140724873347052 0
/proc/353576/statm: 26326 4277 951 32 0 5674 0
[pid=353576/tid=353578] ppid=353573 vsize=105304 memory=17108 CPUtime=3394.9 cores=1,3
/proc/353576/task/353578/stat : 353578 (ParLS-PBO) R 353573 353576 349530 0 -1 4194368 80000 0 0 0 339487 3 0 0 20 0 2 0 64164557 107831296 4277 134679101440 4194304 4322517 140724873337408 0 0 0 0 0 16384 0 0 0 -1 1 0 0 0 0 0 4356072 4359040 13807616 140724873339917 140724873340037 140724873340037 140724873347052 0
Current children cumulated CPU time: 3420.61 s
Current children cumulated vsize: 105304 KiB
Current children cumulated memory: 17108 KiB

[startup+3462.3 s]
/proc/loadavg: 4.52 4.50 4.34 5/247 355328
/proc/meminfo: memFree=128290844/131655788 swapFree=131071728/131071996
[pid=353576] ppid=353573 vsize=105304 memory=17108 CPUtime=3480.93 cores=1,3
/proc/353576/stat : 353576 (ParLS-PBO) S 353573 353576 349530 0 -1 1077936128 83196 0 0 0 346038 2055 0 0 20 0 2 0 64164547 107831296 4277 134679101440 4194304 4322517 140724873337408 0 0 0 0 0 16384 0 0 0 17 3 0 0 0 0 0 4356072 4359040 13807616 140724873339917 140724873340037 140724873340037 140724873347052 0
/proc/353576/statm: 26326 4277 951 32 0 5674 0
[pid=353576/tid=353578] ppid=353573 vsize=105304 memory=17108 CPUtime=3454.77 cores=1,3
/proc/353576/task/353578/stat : 353578 (ParLS-PBO) R 353573 353576 349530 0 -1 4194368 81110 0 0 0 345474 3 0 0 20 0 2 0 64164557 107831296 4277 134679101440 4194304 4322517 140724873337408 0 0 0 0 0 16384 0 0 0 -1 1 0 0 0 0 0 4356072 4359040 13807616 140724873339917 140724873340037 140724873340037 140724873347052 0
Current children cumulated CPU time: 3480.93 s
Current children cumulated vsize: 105304 KiB
Current children cumulated memory: 17108 KiB

[startup+3522.3 s]
/proc/loadavg: 4.31 4.45 4.33 5/247 355339
/proc/meminfo: memFree=128290064/131655788 swapFree=131071728/131071996
[pid=353576] ppid=353573 vsize=105304 memory=17108 CPUtime=3541.25 cores=1,3
/proc/353576/stat : 353576 (ParLS-PBO) S 353573 353576 349530 0 -1 1077936128 84348 0 0 0 352033 2092 0 0 20 0 2 0 64164547 107831296 4277 134679101440 4194304 4322517 140724873337408 0 0 0 0 0 16384 0 0 0 17 3 0 0 0 0 0 4356072 4359040 13807616 140724873339917 140724873340037 140724873340037 140724873347052 0
/proc/353576/statm: 26326 4277 951 32 0 5674 0
[pid=353576/tid=353578] ppid=353573 vsize=105304 memory=17108 CPUtime=3514.65 cores=1,3
/proc/353576/task/353578/stat : 353578 (ParLS-PBO) R 353573 353576 349530 0 -1 4194368 82257 0 0 0 351461 4 0 0 20 0 2 0 64164557 107831296 4277 134679101440 4194304 4322517 140724873337408 0 0 0 0 0 16384 0 0 0 -1 1 0 0 0 0 0 4356072 4359040 13807616 140724873339917 140724873340037 140724873340037 140724873347052 0
Current children cumulated CPU time: 3541.25 s
Current children cumulated vsize: 105304 KiB
Current children cumulated memory: 17108 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3580.8 s]
/proc/loadavg: 4.25 4.41 4.33 6/249 355519
/proc/meminfo: memFree=128288652/131655788 swapFree=131071728/131071996
[pid=353576] ppid=353573 vsize=105304 memory=17108 CPUtime=3600.06 cores=1,3
/proc/353576/stat : 353576 (ParLS-PBO) S 353573 353576 349530 0 -1 1077936128 85543 0 0 0 357877 2129 0 0 20 0 2 0 64164547 107831296 4277 134679101440 4194304 4322517 140724873337408 0 0 0 0 0 16384 0 0 0 17 3 0 0 0 0 0 4356072 4359040 13807616 140724873339917 140724873340037 140724873340037 140724873347052 0
/proc/353576/statm: 26326 4277 951 32 0 5674 0
[pid=353576/tid=353578] ppid=353573 vsize=105304 memory=16064 CPUtime=3573.02 cores=1,3
/proc/353576/task/353578/stat : 353578 (ParLS-PBO) R 353573 353576 349530 0 -1 4194368 83446 0 0 0 357298 4 0 0 20 0 2 0 64164557 107831296 4277 134679101440 4194304 4322517 140724873337408 0 0 0 0 0 16384 0 0 0 -1 1 0 0 0 0 0 4356072 4359040 13807616 140724873339917 140724873340037 140724873340037 140724873347052 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 105304 KiB
Current children cumulated memory: 17108 KiB

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

[startup+3580.81 s]
# the end of solver process 353576 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=3578.78 s, system=21.2997 s

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

Child status: 0

Real time (s): 3580.81
CPU time (s): 3600.08
CPU user time (s): 3578.78
CPU system time (s): 21.2997
CPU usage (%): 100.538
Max. virtual memory (cumulated for all children) (KiB): 105304
Max. memory (cumulated for all children) (KiB): 17108

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3578.78
system time used= 21.2997
maximum resident set size= 17224
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 85774
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= 3253606
involuntary context switches= 1232


# summary of solver processes directly reported to runsolver:
#   pid: 353576
#   total CPU time (s): 3600.08
#   total CPU user time (s): 3578.78
#   total CPU system time (s): 21.2997

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.1126 second user time and 28.2691 second system time

The end

Launcher Data 

Begin job on nodeC011 at 2024-08-06 22:59:02
IDJOB=4430796
IDBENCH=150897
IDSOLVER=3054
FILE ID=nodeC011/4430796-1722977942
RUNJOBID= nodeC011-1722970779-349542
SLURM_JOB_ID= 8259054
Free space on /tmp= 723768 MiB

SOLVER NAME= ParLS-PBO-1.1 2024-07-09
BENCH NAME= PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/random/rand.biglist/normalized-randaefc7c.cudf.trendy.opb
COMMAND LINE= ./ParLS-PBO --benchName=BENCHNAME --time_limit=TIMELIMIT --nbcore=1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4430796-1722977942/watcher-4430796-1722977942 -o /tmp/evaluation-result-4430796-1722977942/solver-4430796-1722977942 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1722970779-349542 --watchdog 3760 --use-pty ./ParLS-PBO --benchName=HOME/instance-4430796-1722977942.opb --time_limit=3600 --nbcore=1

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

MD5SUM BENCH= 9a5cd1d57fdd32c0069a9cebc068fbf4
RANDOM SEED=1511194547

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

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

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

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        128144752 kB
MemAvailable:   129724704 kB
Buffers:          347652 kB
Cached:          2083368 kB
SwapCached:           12 kB
Active:           631224 kB
Inactive:        2395808 kB
Active(anon):       1952 kB
Inactive(anon):   639908 kB
Active(file):     629272 kB
Inactive(file):  1755900 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071728 kB
Dirty:              1752 kB
Writeback:             0 kB
AnonPages:        596344 kB
Mapped:           105312 kB
Shmem:             45852 kB
KReclaimable:      69956 kB
Slab:             157036 kB
SReclaimable:      69956 kB
SUnreclaim:        87080 kB
KernelStack:        3996 kB
PageTables:        10676 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     994024 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            25088 kB
HardwareCorrupted:     0 kB
AnonHugePages:    454656 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      277320 kB
DirectMap2M:    22695936 kB
DirectMap1G:    113246208 kB

Free space on /tmp at the end= 723772 MiB
End job on nodeC011 at 2024-08-06 23:58:43