366.75/368.16	o 229598
367.54/368.98	o 52459
368.14/369.55	o 52359
368.64/370.01	o 20540
369.43/370.88	o 20376
377.42/378.87	o 20375
377.81/379.24	o 19475
378.21/379.60	o 19474
378.51/379.92	o 19473
378.81/380.24	o 19472
379.11/380.55	o 19471
379.40/380.89	o 19470
379.80/381.20	o 19469
380.10/381.51	o 19468
380.41/381.82	o 19467
387.58/389.05	o 19466
1232.25/1236.42	o 14353
1232.56/1236.74	o 14352
1232.86/1237.06	o 14351
1233.15/1237.38	o 14251
1233.56/1237.71	o 14241
1233.86/1238.03	o 14231
1234.15/1238.35	o 14131
1234.45/1238.67	o 14031
1234.75/1238.99	o 13931
1235.15/1239.31	o 13921
1235.45/1239.64	o 13920
1235.75/1239.97	o 13919
1236.04/1240.29	o 13918
1236.45/1240.62	o 13908
1236.74/1240.94	o 13898
1237.04/1241.26	o 13888
1237.34/1241.59	o 13878
1237.74/1241.91	o 13868
1238.04/1242.23	o 13858
1238.34/1242.55	o 13848
1238.63/1242.87	o 13847
1238.95/1243.18	o 13846
1239.34/1243.50	o 13845
1239.63/1243.82	o 13745
1239.94/1244.14	o 13645
1240.23/1244.46	o 13545
1240.53/1244.78	o 13544
1240.93/1245.11	o 13543
1241.23/1245.43	o 13542
1241.53/1245.74	o 13541
1241.84/1246.06	o 13540
1242.13/1246.37	o 13440
1242.53/1246.70	o 13340
1242.84/1247.02	o 13240
1243.13/1247.34	o 13230
1243.42/1247.66	o 13130
1243.73/1247.99	o 13129
1244.13/1248.31	o 13128
1244.43/1248.63	o 13127
1244.72/1248.95	o 13027
1245.02/1249.28	o 12927
1245.42/1249.60	o 12827
1245.72/1249.92	o 12826
1246.02/1250.24	o 12825
1246.42/1250.69	o 12815
1246.82/1251.01	o 12715
1247.12/1251.34	o 12714
1247.42/1251.66	o 12713
1247.71/1251.98	o 12712
1248.12/1252.31	o 12711
1248.41/1252.63	o 12710
1248.71/1252.95	o 12709
1249.01/1253.27	o 12708
1250.11/1254.37	o 12707
1250.50/1254.70	o 12706
1250.82/1255.02	o 12705
1251.81/1256.09	o 12704
1266.27/1270.55	o 12697
1266.77/1271.10	o 12687
1267.36/1271.63	o 12677
1268.16/1272.45	o 12671
1270.06/1274.31	o 12670
1271.95/1276.29	o 12669
1272.55/1276.82	o 12668
1273.04/1277.34	o 12667
1273.55/1277.86	o 12666
1274.04/1278.37	o 12665
1274.54/1278.88	o 12664
1275.04/1279.39	o 12663
1275.54/1279.88	o 12662
1388.62/1393.21	o 12661
1389.92/1394.53	o 12660
1391.22/1395.83	o 12659
1392.52/1397.12	o 12658
1393.81/1398.40	o 12657
3008.82/3018.19	c OUT OF MEMORY
3008.82/3018.19	s SATISFIABLE
3008.82/3018.19	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

OK	8575

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4526689-1751633391/watcher-4526689-1751633391 -o /tmp/evaluation-result-4526689-1751633391/solver-4526689-1751633391 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1751625803-89265 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1706561728 --ls=360 --inp-dombreaklim=0 HOME/instance-4526689-1751633391.wbo 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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


[startup+0.100061 s]*
/proc/loadavg: 4.26 4.20 4.13 5/263 90199
/proc/meminfo: memFree=126230200/131249996 swapFree=33010160/33010684
[pid=90198] ppid=90195 vsize=72828 memory=46964 CPUtime=0.09 cores=1,3
/proc/90198/stat : 90198 (Exact) R 90195 90198 89253 0 -1 4194304 13865 0 0 0 8 1 0 0 20 0 1 0 79017511 74575872 11741 18446744073709551615 4198400 9112445 140723289528000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 43950080 140723289536804 140723289537003 140723289537003 140723289542607 0
/proc/90198/statm: 18207 11741 1024 1200 0 16687 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 72828 KiB
Current children cumulated memory: 46964 KiB

[startup+0.205542 s]*
/proc/loadavg: 4.26 4.20 4.13 5/263 90199
/proc/meminfo: memFree=126185152/131249996 swapFree=33010160/33010684
[pid=90198] ppid=90195 vsize=114336 memory=87512 CPUtime=0.2 cores=1,3
/proc/90198/stat : 90198 (Exact) R 90195 90198 89253 0 -1 4194304 23596 0 0 0 17 3 0 0 20 0 1 0 79017511 117080064 21878 18446744073709551615 4198400 9112445 140723289528000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 43950080 140723289536804 140723289537003 140723289537003 140723289542607 0
/proc/90198/statm: 28584 21878 1024 1200 0 27064 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 114336 KiB
Current children cumulated memory: 87512 KiB

[startup+0.305509 s]*
/proc/loadavg: 4.26 4.20 4.13 5/263 90199
/proc/meminfo: memFree=126153020/131249996 swapFree=33010160/33010684
[pid=90198] ppid=90195 vsize=151288 memory=125640 CPUtime=0.3 cores=1,3
/proc/90198/stat : 90198 (Exact) R 90195 90198 89253 0 -1 4194304 32600 0 0 0 25 5 0 0 20 0 1 0 79017511 154918912 31410 18446744073709551615 4198400 9112445 140723289528000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 43950080 140723289536804 140723289537003 140723289537003 140723289542607 0
/proc/90198/statm: 37822 31410 1024 1200 0 36302 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 151288 KiB
Current children cumulated memory: 125640 KiB

[startup+0.700174 s]
/proc/loadavg: 4.26 4.20 4.13 5/263 90199
/proc/meminfo: memFree=126086420/131249996 swapFree=33010160/33010684
[pid=90198] ppid=90195 vsize=340484 memory=289336 CPUtime=0.69 cores=1,3
/proc/90198/stat : 90198 (Exact) R 90195 90198 89253 0 -1 4194304 55844 0 0 0 57 12 0 0 20 0 1 0 79017511 348655616 72334 18446744073709551615 4198400 9112445 140723289528000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 43950080 140723289536804 140723289537003 140723289537003 140723289542607 0
/proc/90198/statm: 85121 72334 1024 1200 0 83601 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 340484 KiB
Current children cumulated memory: 289336 KiB

[startup+1.50017 s]
/proc/loadavg: 4.26 4.20 4.13 5/263 90199
/proc/meminfo: memFree=125910308/131249996 swapFree=33010160/33010684
[pid=90198] ppid=90195 vsize=640472 memory=584136 CPUtime=1.49 cores=1,3
/proc/90198/stat : 90198 (Exact) R 90195 90198 89253 0 -1 4194304 88072 0 0 0 126 23 0 0 20 0 1 0 79017511 655843328 146034 18446744073709551615 4198400 9112445 140723289528000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 43950080 140723289536804 140723289537003 140723289537003 140723289542607 0
/proc/90198/statm: 160118 146034 1024 1200 0 158598 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 640472 KiB
Current children cumulated memory: 584136 KiB

[startup+3.10546 s]
/proc/loadavg: 4.24 4.20 4.13 5/263 90199
/proc/meminfo: memFree=125069436/131249996 swapFree=33010160/33010684
[pid=90198] ppid=90195 vsize=1266356 memory=1151804 CPUtime=3.09 cores=1,3
/proc/90198/stat : 90198 (Exact) R 90195 90198 89253 0 -1 4194304 143244 0 0 0 264 45 0 0 20 0 1 0 79017511 1296748544 287951 18446744073709551615 4198400 9112445 140723289528000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 43950080 140723289536804 140723289537003 140723289537003 140723289542607 0
/proc/90198/statm: 316589 287951 1024 1200 0 315069 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 1266356 KiB
Current children cumulated memory: 1151804 KiB

[startup+6.30016 s]
/proc/loadavg: 4.24 4.20 4.13 5/263 90199
/proc/meminfo: memFree=124782856/131249996 swapFree=33010160/33010684
[pid=90198] ppid=90195 vsize=1534672 memory=1420360 CPUtime=6.27 cores=1,3
/proc/90198/stat : 90198 (Exact) R 90195 90198 89253 0 -1 4194304 182423 0 0 0 573 54 0 0 20 0 1 0 79017511 1571504128 355090 18446744073709551615 4198400 9112445 140723289528000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 43950080 140723289536804 140723289537003 140723289537003 140723289542607 0
/proc/90198/statm: 383668 355090 1024 1200 0 382148 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 1534672 KiB
Current children cumulated memory: 1420360 KiB

[startup+12.7002 s]
/proc/loadavg: 4.22 4.20 4.13 5/263 90199
/proc/meminfo: memFree=124759784/131249996 swapFree=33010160/33010684
[pid=90198] ppid=90195 vsize=1534672 memory=1420360 CPUtime=12.65 cores=1,3
/proc/90198/stat : 90198 (Exact) R 90195 90198 89253 0 -1 4194304 182580 0 0 0 1211 54 0 0 20 0 1 0 79017511 1571504128 355090 18446744073709551615 4198400 9112445 140723289528000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 43950080 140723289536804 140723289537003 140723289537003 140723289542607 0
/proc/90198/statm: 383668 355090 1024 1200 0 382148 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1534672 KiB
Current children cumulated memory: 1420360 KiB

[startup+25.5002 s]
/proc/loadavg: 4.17 4.19 4.13 5/263 90199
/proc/meminfo: memFree=124690768/131249996 swapFree=33010160/33010684
[pid=90198] ppid=90195 vsize=1534672 memory=1420360 CPUtime=25.42 cores=1,3
/proc/90198/stat : 90198 (Exact) R 90195 90198 89253 0 -1 4194304 182723 0 0 0 2487 55 0 0 20 0 1 0 79017511 1571504128 355090 18446744073709551615 4198400 9112445 140723289528000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 43950080 140723289536804 140723289537003 140723289537003 140723289542607 0
/proc/90198/statm: 383668 355090 1024 1200 0 382148 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 1534672 KiB
Current children cumulated memory: 1420360 KiB

[startup+51.1055 s]
/proc/loadavg: 4.19 4.19 4.13 5/263 90200
/proc/meminfo: memFree=124648412/131249996 swapFree=33010160/33010684
[pid=90198] ppid=90195 vsize=1534672 memory=1420360 CPUtime=50.94 cores=1,3
/proc/90198/stat : 90198 (Exact) R 90195 90198 89253 0 -1 4194304 182924 0 0 0 5039 55 0 0 20 0 1 0 79017511 1571504128 355090 18446744073709551615 4198400 9112445 140723289528000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 43950080 140723289536804 140723289537003 140723289537003 140723289542607 0
/proc/90198/statm: 383668 355090 1024 1200 0 382148 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 1534672 KiB
Current children cumulated memory: 1420360 KiB

[startup+102.3 s]
/proc/loadavg: 4.15 4.17 4.12 5/263 90203
/proc/meminfo: memFree=124644224/131249996 swapFree=33010160/33010684
[pid=90198] ppid=90195 vsize=1534672 memory=1420360 CPUtime=101.94 cores=1,3
/proc/90198/stat : 90198 (Exact) R 90195 90198 89253 0 -1 4194304 183131 0 0 0 10138 56 0 0 20 0 1 0 79017511 1571504128 355090 18446744073709551615 4198400 9112445 140723289528000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 43950080 140723289536804 140723289537003 140723289537003 140723289542607 0
/proc/90198/statm: 383668 355090 1024 1200 0 382148 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 1534672 KiB
Current children cumulated memory: 1420360 KiB

[startup+162.3 s]
/proc/loadavg: 4.11 4.15 4.12 5/263 90205
/proc/meminfo: memFree=124617132/131249996 swapFree=33010160/33010684
[pid=90198] ppid=90195 vsize=1534672 memory=1420360 CPUtime=161.71 cores=1,3
/proc/90198/stat : 90198 (Exact) R 90195 90198 89253 0 -1 4194304 183314 0 0 0 16114 57 0 0 20 0 1 0 79017511 1571504128 355090 18446744073709551615 4198400 9112445 140723289528000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 43950080 140723289536804 140723289537003 140723289537003 140723289542607 0
/proc/90198/statm: 383668 355090 1024 1200 0 382148 0
Current children cumulated CPU time: 161.71 s
Current children cumulated vsize: 1534672 KiB
Current children cumulated memory: 1420360 KiB

[startup+222.3 s]
/proc/loadavg: 4.19 4.16 4.12 5/263 90207
/proc/meminfo: memFree=124591860/131249996 swapFree=33010160/33010684
[pid=90198] ppid=90195 vsize=1534672 memory=1420360 CPUtime=221.48 cores=1,3
/proc/90198/stat : 90198 (Exact) R 90195 90198 89253 0 -1 4194304 183443 0 0 0 22091 57 0 0 20 0 1 0 79017511 1571504128 355090 18446744073709551615 4198400 9112445 140723289528000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 43950080 140723289536804 140723289537003 140723289537003 140723289542607 0
/proc/90198/statm: 383668 355090 1024 1200 0 382148 0
Current children cumulated CPU time: 221.48 s
Current children cumulated vsize: 1534672 KiB
Current children cumulated memory: 1420360 KiB

[startup+282.3 s]
/proc/loadavg: 4.27 4.20 4.14 5/263 90209
/proc/meminfo: memFree=124581900/131249996 swapFree=33010160/33010684
[pid=90198] ppid=90195 vsize=1534672 memory=1420360 CPUtime=281.24 cores=1,3
/proc/90198/stat : 90198 (Exact) R 90195 90198 89253 0 -1 4194304 183524 0 0 0 28067 57 0 0 20 0 1 0 79017511 1571504128 355090 18446744073709551615 4198400 9112445 140723289528000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 43950080 140723289536804 140723289537003 140723289537003 140723289542607 0
/proc/90198/statm: 383668 355090 1024 1200 0 382148 0
Current children cumulated CPU time: 281.24 s
Current children cumulated vsize: 1534672 KiB
Current children cumulated memory: 1420360 KiB

[startup+342.3 s]
/proc/loadavg: 4.14 4.18 4.13 5/264 90212
/proc/meminfo: memFree=124569124/131249996 swapFree=33010160/33010684
[pid=90198] ppid=90195 vsize=1534672 memory=1420360 CPUtime=341.02 cores=1,3
/proc/90198/stat : 90198 (Exact) R 90195 90198 89253 0 -1 4194304 183576 0 0 0 34045 57 0 0 20 0 1 0 79017511 1571504128 355090 18446744073709551615 4198400 9112445 140723289528000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 43950080 140723289536804 140723289537003 140723289537003 140723289542607 0
/proc/90198/statm: 383668 355090 1024 1200 0 382148 0
Current children cumulated CPU time: 341.02 s
Current children cumulated vsize: 1534672 KiB
Current children cumulated memory: 1420360 KiB

[startup+402.3 s]
/proc/loadavg: 4.09 4.16 4.12 5/264 90307
/proc/meminfo: memFree=116045372/131249996 swapFree=33010160/33010684
[pid=90198] ppid=90195 vsize=3575252 memory=3317608 CPUtime=400.82 cores=1,3
/proc/90198/stat : 90198 (Exact) R 90195 90198 89253 0 -1 4194304 447029 0 0 0 39950 132 0 0 20 0 1 0 79017511 3661058048 829402 18446744073709551615 4198400 9112445 140723289528000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 43950080 140723289536804 140723289537003 140723289537003 140723289542607 0
/proc/90198/statm: 893813 829402 1280 1200 0 892293 0
Current children cumulated CPU time: 400.82 s
Current children cumulated vsize: 3575252 KiB
Current children cumulated memory: 3317608 KiB

[startup+462.3 s]
/proc/loadavg: 4.08 4.14 4.12 5/265 90314
/proc/meminfo: memFree=114890176/131249996 swapFree=33010160/33010684
[pid=90198] ppid=90195 vsize=4785908 memory=4533048 CPUtime=460.62 cores=1,3
/proc/90198/stat : 90198 (Exact) R 90195 90198 89253 0 -1 4194304 643263 0 0 0 45878 184 0 0 20 0 1 0 79017511 4900769792 1133262 18446744073709551615 4198400 9112445 140723289528000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 43950080 140723289536804 140723289537003 140723289537003 140723289542607 0
/proc/90198/statm: 1196477 1133262 1280 1200 0 1194957 0
Current children cumulated CPU time: 460.62 s

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

/proc/90198/statm: 7440656 6352557 1280 1200 0 7439136 0
Current children cumulated CPU time: 2494.56 s
Current children cumulated vsize: 29762624 KiB
Current children cumulated memory: 25410228 KiB

[startup+2562.3 s]
/proc/loadavg: 3.12 3.45 3.80 4/256 90546
/proc/meminfo: memFree=82459492/131249996 swapFree=33010160/33010684
[pid=90198] ppid=90195 vsize=29795896 memory=25666872 CPUtime=2554.38 cores=1,3
/proc/90198/stat : 90198 (Exact) R 90195 90198 89253 0 -1 4194304 4316879 0 0 0 254179 1259 0 0 20 0 1 0 79017511 30510997504 6416718 18446744073709551615 4198400 9112445 140723289528000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 43950080 140723289536804 140723289537003 140723289537003 140723289542607 0
/proc/90198/statm: 7448974 6416718 1280 1200 0 7447454 0
Current children cumulated CPU time: 2554.38 s
Current children cumulated vsize: 29795896 KiB
Current children cumulated memory: 25666872 KiB

[startup+2622.3 s]
/proc/loadavg: 3.37 3.46 3.78 4/256 90548
/proc/meminfo: memFree=82242404/131249996 swapFree=33010160/33010684
[pid=90198] ppid=90195 vsize=29800988 memory=25800788 CPUtime=2614.2 cores=1,3
/proc/90198/stat : 90198 (Exact) R 90195 90198 89253 0 -1 4194304 4336164 0 0 0 260147 1273 0 0 20 0 1 0 79017511 30516211712 6450197 18446744073709551615 4198400 9112445 140723289528000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 43950080 140723289536804 140723289537003 140723289537003 140723289542607 0
/proc/90198/statm: 7450247 6450197 1280 1200 0 7448727 0
Current children cumulated CPU time: 2614.2 s
Current children cumulated vsize: 29800988 KiB
Current children cumulated memory: 25800788 KiB

[startup+2682.3 s]
/proc/loadavg: 3.24 3.40 3.74 4/256 90550
/proc/meminfo: memFree=81896460/131249996 swapFree=33010160/33010684
[pid=90198] ppid=90195 vsize=29807708 memory=25993504 CPUtime=2674.02 cores=1,3
/proc/90198/stat : 90198 (Exact) R 90195 90198 89253 0 -1 4194304 4361303 0 0 0 266117 1285 0 0 20 0 1 0 79017511 30523092992 6498376 18446744073709551615 4198400 9112445 140723289528000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 43950080 140723289536804 140723289537003 140723289537003 140723289542607 0
/proc/90198/statm: 7451927 6498376 1280 1200 0 7450407 0
Current children cumulated CPU time: 2674.02 s
Current children cumulated vsize: 29807708 KiB
Current children cumulated memory: 25993504 KiB

[startup+2742.3 s]
/proc/loadavg: 3.14 3.34 3.70 4/257 90553
/proc/meminfo: memFree=81627576/131249996 swapFree=33010160/33010684
[pid=90198] ppid=90195 vsize=29817168 memory=26180132 CPUtime=2733.84 cores=1,3
/proc/90198/stat : 90198 (Exact) R 90195 90198 89253 0 -1 4194304 4385338 0 0 0 272084 1300 0 0 20 0 1 0 79017511 30532780032 6545033 18446744073709551615 4198400 9112445 140723289528000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 43950080 140723289536804 140723289537003 140723289537003 140723289542607 0
/proc/90198/statm: 7454292 6545033 1280 1200 0 7452772 0
Current children cumulated CPU time: 2733.84 s
Current children cumulated vsize: 29817168 KiB
Current children cumulated memory: 26180132 KiB

[startup+2802.3 s]
/proc/loadavg: 3.09 3.29 3.66 4/258 90558
/proc/meminfo: memFree=81162932/131249996 swapFree=33010160/33010684
[pid=90198] ppid=90195 vsize=29820528 memory=26339252 CPUtime=2793.66 cores=1,3
/proc/90198/stat : 90198 (Exact) R 90195 90198 89253 0 -1 4194304 4405557 0 0 0 278052 1314 0 0 20 0 1 0 79017511 30536220672 6584813 18446744073709551615 4198400 9112445 140723289528000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 43950080 140723289536804 140723289537003 140723289537003 140723289542607 0
/proc/90198/statm: 7455132 6584813 1280 1200 0 7453612 0
Current children cumulated CPU time: 2793.66 s
Current children cumulated vsize: 29820528 KiB
Current children cumulated memory: 26339252 KiB

[startup+2862.3 s]
/proc/loadavg: 3.09 3.25 3.62 4/258 90564
/proc/meminfo: memFree=80548444/131249996 swapFree=33010160/33010684
[pid=90198] ppid=90195 vsize=29830128 memory=26519132 CPUtime=2853.48 cores=1,3
/proc/90198/stat : 90198 (Exact) R 90195 90198 89253 0 -1 4194304 4430374 0 0 0 284019 1329 0 0 20 0 1 0 79017511 30546051072 6629783 18446744073709551615 4198400 9112445 140723289528000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 43950080 140723289536804 140723289537003 140723289537003 140723289542607 0
/proc/90198/statm: 7457532 6629783 1280 1200 0 7456012 0
Current children cumulated CPU time: 2853.48 s
Current children cumulated vsize: 29830128 KiB
Current children cumulated memory: 26519132 KiB

[startup+2922.3 s]
/proc/loadavg: 3.08 3.22 3.58 4/258 90566
/proc/meminfo: memFree=80258144/131249996 swapFree=33010160/33010684
[pid=90198] ppid=90195 vsize=29832436 memory=26673592 CPUtime=2913.3 cores=1,3
/proc/90198/stat : 90198 (Exact) R 90195 90198 89253 0 -1 4194304 4453596 0 0 0 289990 1340 0 0 20 0 1 0 79017511 30548414464 6668366 18446744073709551615 4198400 9112445 140723289528000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 43950080 140723289536804 140723289537003 140723289537003 140723289542607 0
/proc/90198/statm: 7458109 6668366 1280 1200 0 7456589 0
Current children cumulated CPU time: 2913.3 s
Current children cumulated vsize: 29832436 KiB
Current children cumulated memory: 26673592 KiB

[startup+2982.3 s]
/proc/loadavg: 3.14 3.21 3.55 4/259 90569
/proc/meminfo: memFree=80030516/131249996 swapFree=33010160/33010684
[pid=90198] ppid=90195 vsize=29844652 memory=26805420 CPUtime=2973.12 cores=1,3
/proc/90198/stat : 90198 (Exact) R 90195 90198 89253 0 -1 4194304 4477055 0 0 0 295956 1356 0 0 20 0 1 0 79017511 30560923648 6701355 18446744073709551615 4198400 9112445 140723289528000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 43950080 140723289536804 140723289537003 140723289537003 140723289542607 0
/proc/90198/statm: 7461163 6701355 1280 1200 0 7459643 0
Current children cumulated CPU time: 2973.12 s
Current children cumulated vsize: 29844652 KiB
Current children cumulated memory: 26805420 KiB

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

# cumulated CPU time of all completed processes:  user=2995.7 s, system=14.2214 s

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

[startup+2995.2 s]
/proc/loadavg: 3.10 3.20 3.54 4/259 90569
/proc/meminfo: memFree=79978008/131249996 swapFree=33010160/33010684
[pid=90198] ppid=90195 vsize=29844652 memory=26848040 CPUtime=2985.99 cores=1,3
/proc/90198/stat : 90198 (Exact) R 90195 90198 89253 0 -1 4194304 4483253 0 0 0 297241 1358 0 0 20 0 1 0 79017511 30560923648 6712010 18446744073709551615 4198400 9112445 140723289528000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 43950080 140723289536804 140723289537003 140723289537003 140723289542607 0
/proc/90198/statm: 7461163 6712010 1280 1200 0 7459643 0
Current children cumulated CPU time: 2985.99 s
Current children cumulated vsize: 29844652 KiB
Current children cumulated memory: 26848040 KiB

[startup+3008 s]*
/proc/loadavg: 3.09 3.19 3.54 4/259 90569
/proc/meminfo: memFree=79936428/131249996 swapFree=33010160/33010684
[pid=90198] ppid=90195 vsize=29844652 memory=26862188 CPUtime=2998.75 cores=1,3
/proc/90198/stat : 90198 (Exact) R 90195 90198 89253 0 -1 4194304 4485773 0 0 0 298513 1362 0 0 20 0 1 0 79017511 30560923648 6715547 18446744073709551615 4198400 9112445 140723289528000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 43950080 140723289536804 140723289537003 140723289537003 140723289542607 0
/proc/90198/statm: 7461163 6715547 1280 1200 0 7459643 0
Current children cumulated CPU time: 2998.75 s
Current children cumulated vsize: 29844652 KiB
Current children cumulated memory: 26862188 KiB

[startup+3014.4 s]
/proc/loadavg: 3.07 3.18 3.53 4/259 90569
/proc/meminfo: memFree=79911980/131249996 swapFree=33010160/33010684
[pid=90198] ppid=90195 vsize=29844652 memory=26884776 CPUtime=3005.13 cores=1,3
/proc/90198/stat : 90198 (Exact) R 90195 90198 89253 0 -1 4194304 4489559 0 0 0 299150 1363 0 0 20 0 1 0 79017511 30560923648 6721194 18446744073709551615 4198400 9112445 140723289528000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 43950080 140723289536804 140723289537003 140723289537003 140723289542607 0
/proc/90198/statm: 7461163 6721194 1280 1200 0 7459643 0
Current children cumulated CPU time: 3005.13 s
Current children cumulated vsize: 29844652 KiB
Current children cumulated memory: 26884776 KiB

[startup+3017.6 s]
/proc/loadavg: 3.07 3.18 3.53 4/259 90569
/proc/meminfo: memFree=79887864/131249996 swapFree=33010160/33010684
[pid=90198] ppid=90195 vsize=29844652 memory=26902152 CPUtime=3008.31 cores=1,3
/proc/90198/stat : 90198 (Exact) R 90195 90198 89253 0 -1 4194304 4492101 0 0 0 299468 1363 0 0 20 0 1 0 79017511 30560923648 6725538 18446744073709551615 4198400 9112445 140723289528000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 43950080 140723289536804 140723289537003 140723289537003 140723289542607 0
/proc/90198/statm: 7461163 6725538 1280 1200 0 7459643 0
Current children cumulated CPU time: 3008.31 s
Current children cumulated vsize: 29844652 KiB
Current children cumulated memory: 26902152 KiB

[startup+3018.4 s]
/proc/loadavg: 3.07 3.18 3.53 4/259 90569
/proc/meminfo: memFree=79887864/131249996 swapFree=33010160/33010684
[pid=90198] ppid=90195 vsize=29706916 memory=26813292 CPUtime=3009.12 cores=1,3
/proc/90198/stat : 90198 (Exact) R 90195 90198 89253 0 -1 4194304 4492744 0 0 0 299548 1364 0 0 20 0 1 0 79017511 30419881984 6703323 18446744073709551615 4198400 9112445 140723289528000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 43950080 140723289536804 140723289537003 140723289537003 140723289542607 0
/proc/90198/statm: 7426729 6703323 1280 1200 0 7425209 0
Current children cumulated CPU time: 3009.12 s
Current children cumulated vsize: 29706916 KiB
Current children cumulated memory: 26813292 KiB

[startup+3018.81 s]
/proc/loadavg: 3.07 3.18 3.53 4/259 90569
/proc/meminfo: memFree=94140180/131249996 swapFree=33010160/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+3019.2 s]
/proc/loadavg: 3.07 3.18 3.53 4/259 90569
/proc/meminfo: memFree=101529168/131249996 swapFree=33010160/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 10

Real time (s): 3019.2
CPU time (s): 3009.92
CPU user time (s): 2995.7
CPU system time (s): 14.2214
CPU usage (%): 99.6927
Max. virtual memory (cumulated for all children) (KiB): 29902512
Max. memory (cumulated for all children) (KiB): 26903176

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2995.7
system time used= 14.2214
maximum resident set size= 26903176
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4494263
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= 82
involuntary context switches= 4040


# summary of solver processes directly reported to runsolver:
#   pid: 90198
#   total CPU time (s): 3009.92
#   total CPU user time (s): 2995.7
#   total CPU system time (s): 14.2214

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.80189 second user time and 13.3006 second system time

The end

Begin job on nodeC029 at 2025-07-04 14:49:51
IDJOB=4526689
IDBENCH=144140
IDSOLVER=3376
FILE ID=nodeC029/4526689-1751633391
RUNJOBID= nodeC029-1751625803-89265
SLURM_JOB_ID= 9598951
Free space on /tmp= 432172 MiB

SOLVER NAME= Exact_no_dombreaking 2025-06-16
BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/graphs/normalized-graph05_wcsp.wbo
COMMAND LINE= HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED --ls=360 --inp-dombreaklim=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4526689-1751633391/watcher-4526689-1751633391 -o /tmp/evaluation-result-4526689-1751633391/solver-4526689-1751633391 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1751625803-89265 --watchdog 3760  HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1706561728 --ls=360 --inp-dombreaklim=0 HOME/instance-4526689-1751633391.wbo

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

MD5SUM BENCH= 6dcf243f3bd81c615377274654cfc335
RANDOM SEED=1706561728

nodeC029 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.708
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.46
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		: 3599.768
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.46
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		: 3599.783
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.46
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		: 3599.448
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.46
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		: 3599.728
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.46
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		: 3599.728
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.46
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		: 3597.069
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.46
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		: 3901.707
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.46
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        126264236 kB
MemAvailable:   129341404 kB
Buffers:            2128 kB
Cached:          3868744 kB
SwapCached:           40 kB
Active:           872900 kB
Inactive:        3429208 kB
Active(anon):     444492 kB
Inactive(anon):     4768 kB
Active(file):     428408 kB
Inactive(file):  3424440 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             22920 kB
Writeback:             0 kB
AnonPages:        434336 kB
Mapped:           119896 kB
Shmem:             18020 kB
KReclaimable:     127120 kB
Slab:             216724 kB
SReclaimable:     127120 kB
SUnreclaim:        89604 kB
KernelStack:        4272 kB
PageTables:         3860 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     796328 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150520 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    305152 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:      193236 kB
DirectMap2M:    11112448 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 432144 MiB
End job on nodeC029 at 2025-07-04 15:40:10