Trace number 4525238

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
toulbar2 2025-06-13MSAT 3600.04 3609.89

General information on the benchmark

NamePB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-71-70--soft-66-100-0.wbo
MD5SUMfaaafc1d2d1dba01ec3e252f861d3fdd
Bench CategoryPARTIAL-LIN (WBO, both soft and hard constraints, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark0.428346
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables4970
Total number of constraints141
Number of soft constraints43
Number of constraints which are clauses71
Number of constraints which are cardinality constraints (but not clauses)70
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint70
Maximum length of a constraint71
Top cost 2285
Min constraint cost 1
Max constraint cost 97
Sum of constraints costs 2284
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 72
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.77/0.89	o 54
1.86/1.90	o 32
534.80/536.34	o 30
534.80/536.36	o 29
547.47/549.00	o 4
547.47/549.01	o 1
3599.94/3609.88	o 1
3599.94/3609.88	s SATISFIABLE
3599.94/3609.88	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

Verifier Data 

OK	1

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4525238-1751623712/watcher-4525238-1751623712 -o /tmp/evaluation-result-4525238-1751623712/solver-4525238-1751623712 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751619754-88790 --watchdog 3760 toulbar2.sh toulbar2 HOME/instance-4525238-1751623712.wbo -timer=3600 -hve=512 -f=3 -n: -precision=0 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=89351, runsolver pid=89348
Current StackSize limit: 8192 KiB


[startup+0.100068 s]*
/proc/loadavg: 4.10 4.11 4.09 5/268 89353
/proc/meminfo: memFree=127546028/131249996 swapFree=33006296/33010684
[pid=89351] ppid=89348 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/89351/stat : 89351 (toulbar2.sh) S 89348 89351 88780 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 78048699 4292608 768 18446744073709551615 94435839332352 94435840226885 140723905514192 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94435840465936 94435840513680 94435851563008 140723905521973 140723905522149 140723905522149 140723905527753 0
/proc/89351/statm: 1048 768 704 219 0 110 0
[pid=89353] ppid=89351 vsize=40112 memory=30720 CPUtime=0.08 cores=0,2
/proc/89353/stat : 89353 (toulbar2) R 89351 89351 88780 0 -1 4194304 6813 0 0 0 7 1 0 0 20 0 1 0 78048700 41074688 7680 18446744073709551615 4198400 8956741 140736862597792 0 0 0 0 0 33570818 0 0 0 17 2 0 0 0 0 0 9785056 9890480 42332160 140736862599539 140736862599658 140736862599658 140736862605260 0
/proc/89353/statm: 10028 7680 1024 1162 0 8637 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 44304 KiB
Current children cumulated memory: 33792 KiB

[startup+0.205704 s]*
/proc/loadavg: 4.10 4.11 4.09 5/268 89353
/proc/meminfo: memFree=127538972/131249996 swapFree=33006296/33010684
[pid=89351] ppid=89348 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/89351/stat : 89351 (toulbar2.sh) S 89348 89351 88780 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 78048699 4292608 768 18446744073709551615 94435839332352 94435840226885 140723905514192 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94435840465936 94435840513680 94435851563008 140723905521973 140723905522149 140723905522149 140723905527753 0
/proc/89351/statm: 1048 768 704 219 0 110 0
[pid=89353] ppid=89351 vsize=46896 memory=37248 CPUtime=0.18 cores=0,2
/proc/89353/stat : 89353 (toulbar2) R 89351 89351 88780 0 -1 4194304 8472 0 0 0 17 1 0 0 20 0 1 0 78048700 48021504 9312 18446744073709551615 4198400 8956741 140736862597792 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 42332160 140736862599539 140736862599658 140736862599658 140736862605260 0
/proc/89353/statm: 11724 9312 1024 1162 0 10333 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 51088 KiB
Current children cumulated memory: 40320 KiB

[startup+0.305622 s]*
/proc/loadavg: 4.10 4.11 4.09 5/268 89353
/proc/meminfo: memFree=127538972/131249996 swapFree=33006296/33010684
[pid=89351] ppid=89348 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/89351/stat : 89351 (toulbar2.sh) S 89348 89351 88780 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 78048699 4292608 768 18446744073709551615 94435839332352 94435840226885 140723905514192 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94435840465936 94435840513680 94435851563008 140723905521973 140723905522149 140723905522149 140723905527753 0
/proc/89351/statm: 1048 768 704 219 0 110 0
[pid=89353] ppid=89351 vsize=46896 memory=37504 CPUtime=0.28 cores=0,2
/proc/89353/stat : 89353 (toulbar2) R 89351 89351 88780 0 -1 4194304 8545 0 0 0 27 1 0 0 20 0 1 0 78048700 48021504 9376 18446744073709551615 4198400 8956741 140736862597792 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 42332160 140736862599539 140736862599658 140736862599658 140736862605260 0
/proc/89353/statm: 11724 9376 1024 1162 0 10333 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 51088 KiB
Current children cumulated memory: 40576 KiB

[startup+0.700224 s]
/proc/loadavg: 4.10 4.11 4.09 5/268 89353
/proc/meminfo: memFree=127538972/131249996 swapFree=33006296/33010684
[pid=89351] ppid=89348 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/89351/stat : 89351 (toulbar2.sh) S 89348 89351 88780 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 78048699 4292608 768 18446744073709551615 94435839332352 94435840226885 140723905514192 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94435840465936 94435840513680 94435851563008 140723905521973 140723905522149 140723905522149 140723905527753 0
/proc/89351/statm: 1048 768 704 219 0 110 0
[pid=89353] ppid=89351 vsize=47388 memory=38784 CPUtime=0.67 cores=0,2
/proc/89353/stat : 89353 (toulbar2) R 89351 89351 88780 0 -1 4194304 8868 0 0 0 66 1 0 0 20 0 1 0 78048700 48525312 9696 18446744073709551615 4198400 8956741 140736862597792 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 42332160 140736862599539 140736862599658 140736862599658 140736862605260 0
/proc/89353/statm: 11847 9696 1024 1162 0 10456 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 51580 KiB
Current children cumulated memory: 41856 KiB

[startup+1.50023 s]
/proc/loadavg: 4.10 4.11 4.09 5/268 89353
/proc/meminfo: memFree=127539024/131249996 swapFree=33006296/33010684
[pid=89351] ppid=89348 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/89351/stat : 89351 (toulbar2.sh) S 89348 89351 88780 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 78048699 4292608 768 18446744073709551615 94435839332352 94435840226885 140723905514192 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94435840465936 94435840513680 94435851563008 140723905521973 140723905522149 140723905522149 140723905527753 0
/proc/89351/statm: 1048 768 704 219 0 110 0
[pid=89353] ppid=89351 vsize=48364 memory=41216 CPUtime=1.46 cores=0,2
/proc/89353/stat : 89353 (toulbar2) R 89351 89351 88780 0 -1 4194304 9348 0 0 0 145 1 0 0 20 0 1 0 78048700 49524736 10304 18446744073709551615 4198400 8956741 140736862597792 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 42332160 140736862599539 140736862599658 140736862599658 140736862605260 0
/proc/89353/statm: 12091 10304 1152 1162 0 10700 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 52556 KiB
Current children cumulated memory: 44288 KiB

[startup+3.10547 s]
/proc/loadavg: 4.10 4.11 4.09 5/268 89353
/proc/meminfo: memFree=127539316/131249996 swapFree=33006296/33010684
[pid=89351] ppid=89348 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/89351/stat : 89351 (toulbar2.sh) S 89348 89351 88780 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 78048699 4292608 768 18446744073709551615 94435839332352 94435840226885 140723905514192 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94435840465936 94435840513680 94435851563008 140723905521973 140723905522149 140723905522149 140723905527753 0
/proc/89351/statm: 1048 768 704 219 0 110 0
[pid=89353] ppid=89351 vsize=48364 memory=41216 CPUtime=3.07 cores=0,2
/proc/89353/stat : 89353 (toulbar2) R 89351 89351 88780 0 -1 4194304 9350 0 0 0 306 1 0 0 20 0 1 0 78048700 49524736 10304 18446744073709551615 4198400 8956741 140736862597792 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 42332160 140736862599539 140736862599658 140736862599658 140736862605260 0
/proc/89353/statm: 12091 10304 1152 1162 0 10700 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 52556 KiB
Current children cumulated memory: 44288 KiB

[startup+6.3002 s]
/proc/loadavg: 4.09 4.11 4.09 5/268 89353
/proc/meminfo: memFree=127539568/131249996 swapFree=33006296/33010684
[pid=89351] ppid=89348 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/89351/stat : 89351 (toulbar2.sh) S 89348 89351 88780 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 78048699 4292608 768 18446744073709551615 94435839332352 94435840226885 140723905514192 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94435840465936 94435840513680 94435851563008 140723905521973 140723905522149 140723905522149 140723905527753 0
/proc/89351/statm: 1048 768 704 219 0 110 0
[pid=89353] ppid=89351 vsize=48628 memory=41344 CPUtime=6.25 cores=0,2
/proc/89353/stat : 89353 (toulbar2) R 89351 89351 88780 0 -1 4194304 9398 0 0 0 624 1 0 0 20 0 1 0 78048700 49795072 10336 18446744073709551615 4198400 8956741 140736862597792 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 42332160 140736862599539 140736862599658 140736862599658 140736862605260 0
/proc/89353/statm: 12157 10336 1152 1162 0 10766 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 52820 KiB
Current children cumulated memory: 44416 KiB

[startup+12.7002 s]
/proc/loadavg: 4.16 4.12 4.09 5/268 89353
/proc/meminfo: memFree=127539828/131249996 swapFree=33006296/33010684
[pid=89351] ppid=89348 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/89351/stat : 89351 (toulbar2.sh) S 89348 89351 88780 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 78048699 4292608 768 18446744073709551615 94435839332352 94435840226885 140723905514192 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94435840465936 94435840513680 94435851563008 140723905521973 140723905522149 140723905522149 140723905527753 0
/proc/89351/statm: 1048 768 704 219 0 110 0
[pid=89353] ppid=89351 vsize=48628 memory=41344 CPUtime=12.63 cores=0,2
/proc/89353/stat : 89353 (toulbar2) R 89351 89351 88780 0 -1 4194304 9398 0 0 0 1262 1 0 0 20 0 1 0 78048700 49795072 10336 18446744073709551615 4198400 8956741 140736862597792 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 42332160 140736862599539 140736862599658 140736862599658 140736862605260 0
/proc/89353/statm: 12157 10336 1152 1162 0 10766 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 52820 KiB
Current children cumulated memory: 44416 KiB

[startup+25.5002 s]
/proc/loadavg: 4.13 4.12 4.09 5/267 89353
/proc/meminfo: memFree=127539828/131249996 swapFree=33006296/33010684
[pid=89351] ppid=89348 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/89351/stat : 89351 (toulbar2.sh) S 89348 89351 88780 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 78048699 4292608 768 18446744073709551615 94435839332352 94435840226885 140723905514192 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94435840465936 94435840513680 94435851563008 140723905521973 140723905522149 140723905522149 140723905527753 0
/proc/89351/statm: 1048 768 704 219 0 110 0
[pid=89353] ppid=89351 vsize=53324 memory=45448 CPUtime=25.4 cores=0,2
/proc/89353/stat : 89353 (toulbar2) R 89351 89351 88780 0 -1 4194304 11190 0 0 0 2538 2 0 0 20 0 1 0 78048700 54603776 11362 18446744073709551615 4198400 8956741 140736862597792 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 42332160 140736862599539 140736862599658 140736862599658 140736862605260 0
/proc/89353/statm: 13331 11362 1152 1162 0 11940 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 57516 KiB
Current children cumulated memory: 48520 KiB

[startup+51.1056 s]
/proc/loadavg: 4.08 4.11 4.09 5/267 89353
/proc/meminfo: memFree=127540592/131249996 swapFree=33006296/33010684
[pid=89351] ppid=89348 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/89351/stat : 89351 (toulbar2.sh) S 89348 89351 88780 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 78048699 4292608 768 18446744073709551615 94435839332352 94435840226885 140723905514192 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94435840465936 94435840513680 94435851563008 140723905521973 140723905522149 140723905522149 140723905527753 0
/proc/89351/statm: 1048 768 704 219 0 110 0
[pid=89353] ppid=89351 vsize=53648 memory=45704 CPUtime=50.93 cores=0,2
/proc/89353/stat : 89353 (toulbar2) R 89351 89351 88780 0 -1 4194304 11253 0 0 0 5091 2 0 0 20 0 1 0 78048700 54935552 11426 18446744073709551615 4198400 8956741 140736862597792 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 42332160 140736862599539 140736862599658 140736862599658 140736862605260 0
/proc/89353/statm: 13412 11426 1152 1162 0 12021 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 57840 KiB
Current children cumulated memory: 48776 KiB

[startup+102.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/267 89355
/proc/meminfo: memFree=127537660/131249996 swapFree=33006296/33010684
[pid=89351] ppid=89348 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/89351/stat : 89351 (toulbar2.sh) S 89348 89351 88780 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 78048699 4292608 768 18446744073709551615 94435839332352 94435840226885 140723905514192 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94435840465936 94435840513680 94435851563008 140723905521973 140723905522149 140723905522149 140723905527753 0
/proc/89351/statm: 1048 768 704 219 0 110 0
[pid=89353] ppid=89351 vsize=54132 memory=46216 CPUtime=101.97 cores=0,2
/proc/89353/stat : 89353 (toulbar2) R 89351 89351 88780 0 -1 4194304 11368 0 0 0 10195 2 0 0 20 0 1 0 78048700 55431168 11554 18446744073709551615 4198400 8956741 140736862597792 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 42332160 140736862599539 140736862599658 140736862599658 140736862605260 0
/proc/89353/statm: 13533 11554 1152 1162 0 12142 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 58324 KiB
Current children cumulated memory: 49288 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/266 89403
/proc/meminfo: memFree=128249860/131249996 swapFree=33006296/33010684
[pid=89351] ppid=89348 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/89351/stat : 89351 (toulbar2.sh) S 89348 89351 88780 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 78048699 4292608 768 18446744073709551615 94435839332352 94435840226885 140723905514192 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94435840465936 94435840513680 94435851563008 140723905521973 140723905522149 140723905522149 140723905527753 0
/proc/89351/statm: 1048 768 704 219 0 110 0
[pid=89353] ppid=89351 vsize=54620 memory=46600 CPUtime=161.81 cores=0,2
/proc/89353/stat : 89353 (toulbar2) R 89351 89351 88780 0 -1 4194304 11490 0 0 0 16179 2 0 0 20 0 1 0 78048700 55930880 11650 18446744073709551615 4198400 8956741 140736862597792 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 42332160 140736862599539 140736862599658 140736862599658 140736862605260 0
/proc/89353/statm: 13655 11650 1152 1162 0 12264 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 58812 KiB
Current children cumulated memory: 49672 KiB

[startup+222.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/268 89407
/proc/meminfo: memFree=128250720/131249996 swapFree=33006296/33010684
[pid=89351] ppid=89348 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/89351/stat : 89351 (toulbar2.sh) S 89348 89351 88780 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 78048699 4292608 768 18446744073709551615 94435839332352 94435840226885 140723905514192 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94435840465936 94435840513680 94435851563008 140723905521973 140723905522149 140723905522149 140723905527753 0
/proc/89351/statm: 1048 768 704 219 0 110 0
[pid=89353] ppid=89351 vsize=54944 memory=46984 CPUtime=221.65 cores=0,2
/proc/89353/stat : 89353 (toulbar2) R 89351 89351 88780 0 -1 4194304 11581 0 0 0 22163 2 0 0 20 0 1 0 78048700 56262656 11746 18446744073709551615 4198400 8956741 140736862597792 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 42332160 140736862599539 140736862599658 140736862599658 140736862605260 0
/proc/89353/statm: 13736 11746 1152 1162 0 12345 0
Current children cumulated CPU time: 221.65 s

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

/proc/89353/stat : 89353 (toulbar2) R 89351 89351 88780 0 -1 4194304 15301 0 0 0 339298 2 0 0 20 0 1 0 78048700 71704576 16272 18446744073709551615 4198400 8956741 140736862597792 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 42332160 140736862599539 140736862599658 140736862599658 140736862605260 0
/proc/89353/statm: 17506 16272 1152 1162 0 16115 0
Current children cumulated CPU time: 3393 s
Current children cumulated vsize: 74216 KiB
Current children cumulated memory: 68160 KiB

[startup+3462.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/268 89613
/proc/meminfo: memFree=128773288/131249996 swapFree=33006296/33010684
[pid=89351] ppid=89348 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/89351/stat : 89351 (toulbar2.sh) S 89348 89351 88780 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 78048699 4292608 768 18446744073709551615 94435839332352 94435840226885 140723905514192 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94435840465936 94435840513680 94435851563008 140723905521973 140723905522149 140723905522149 140723905527753 0
/proc/89351/statm: 1048 768 704 219 0 110 0
[pid=89353] ppid=89351 vsize=70024 memory=65216 CPUtime=3452.84 cores=0,2
/proc/89353/stat : 89353 (toulbar2) R 89351 89351 88780 0 -1 4194304 15327 0 0 0 345282 2 0 0 20 0 1 0 78048700 71704576 16304 18446744073709551615 4198400 8956741 140736862597792 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 42332160 140736862599539 140736862599658 140736862599658 140736862605260 0
/proc/89353/statm: 17506 16304 1152 1162 0 16115 0
Current children cumulated CPU time: 3452.84 s
Current children cumulated vsize: 74216 KiB
Current children cumulated memory: 68288 KiB

[startup+3522.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/269 89618
/proc/meminfo: memFree=128773744/131249996 swapFree=33006296/33010684
[pid=89351] ppid=89348 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/89351/stat : 89351 (toulbar2.sh) S 89348 89351 88780 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 78048699 4292608 768 18446744073709551615 94435839332352 94435840226885 140723905514192 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94435840465936 94435840513680 94435851563008 140723905521973 140723905522149 140723905522149 140723905527753 0
/proc/89351/statm: 1048 768 704 219 0 110 0
[pid=89353] ppid=89351 vsize=70024 memory=65472 CPUtime=3512.67 cores=0,2
/proc/89353/stat : 89353 (toulbar2) R 89351 89351 88780 0 -1 4194304 15370 0 0 0 351265 2 0 0 20 0 1 0 78048700 71704576 16368 18446744073709551615 4198400 8956741 140736862597792 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 42332160 140736862599539 140736862599658 140736862599658 140736862605260 0
/proc/89353/statm: 17506 16368 1152 1162 0 16115 0
Current children cumulated CPU time: 3512.67 s
Current children cumulated vsize: 74216 KiB
Current children cumulated memory: 68544 KiB

[startup+3582.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/269 89717
/proc/meminfo: memFree=125955384/131249996 swapFree=33006296/33010684
[pid=89351] ppid=89348 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/89351/stat : 89351 (toulbar2.sh) S 89348 89351 88780 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 78048699 4292608 768 18446744073709551615 94435839332352 94435840226885 140723905514192 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94435840465936 94435840513680 94435851563008 140723905521973 140723905522149 140723905522149 140723905527753 0
/proc/89351/statm: 1048 768 704 219 0 110 0
[pid=89353] ppid=89351 vsize=70024 memory=65600 CPUtime=3572.51 cores=0,2
/proc/89353/stat : 89353 (toulbar2) R 89351 89351 88780 0 -1 4194304 15401 0 0 0 357249 2 0 0 20 0 1 0 78048700 71704576 16400 18446744073709551615 4198400 8956741 140736862597792 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 42332160 140736862599539 140736862599658 140736862599658 140736862605260 0
/proc/89353/statm: 17506 16400 1152 1162 0 16115 0
Current children cumulated CPU time: 3572.51 s
Current children cumulated vsize: 74216 KiB
Current children cumulated memory: 68672 KiB

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

# cumulated CPU time of all completed processes:  user=3600.01 s, system=0.031224 s

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

[startup+3584 s]*
/proc/loadavg: 4.07 4.08 4.09 5/269 89717
/proc/meminfo: memFree=125955384/131249996 swapFree=33006296/33010684
[pid=89351] ppid=89348 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/89351/stat : 89351 (toulbar2.sh) S 89348 89351 88780 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 78048699 4292608 768 18446744073709551615 94435839332352 94435840226885 140723905514192 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94435840465936 94435840513680 94435851563008 140723905521973 140723905522149 140723905522149 140723905527753 0
/proc/89351/statm: 1048 768 704 219 0 110 0
[pid=89353] ppid=89351 vsize=70024 memory=65600 CPUtime=3574.21 cores=0,2
/proc/89353/stat : 89353 (toulbar2) R 89351 89351 88780 0 -1 4194304 15401 0 0 0 357419 2 0 0 20 0 1 0 78048700 71704576 16400 18446744073709551615 4198400 8956741 140736862597792 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 42332160 140736862599539 140736862599658 140736862599658 140736862605260 0
/proc/89353/statm: 17506 16400 1152 1162 0 16115 0
Current children cumulated CPU time: 3574.21 s
Current children cumulated vsize: 74216 KiB
Current children cumulated memory: 68672 KiB

[startup+3596.8 s]
/proc/loadavg: 4.12 4.09 4.09 5/269 89717
/proc/meminfo: memFree=125947336/131249996 swapFree=33006296/33010684
[pid=89351] ppid=89348 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/89351/stat : 89351 (toulbar2.sh) S 89348 89351 88780 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 78048699 4292608 768 18446744073709551615 94435839332352 94435840226885 140723905514192 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94435840465936 94435840513680 94435851563008 140723905521973 140723905522149 140723905522149 140723905527753 0
/proc/89351/statm: 1048 768 704 219 0 110 0
[pid=89353] ppid=89351 vsize=70024 memory=65600 CPUtime=3586.97 cores=0,2
/proc/89353/stat : 89353 (toulbar2) R 89351 89351 88780 0 -1 4194304 15407 0 0 0 358695 2 0 0 20 0 1 0 78048700 71704576 16400 18446744073709551615 4198400 8956741 140736862597792 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 42332160 140736862599539 140736862599658 140736862599658 140736862605260 0
/proc/89353/statm: 17506 16400 1152 1162 0 16115 0
Current children cumulated CPU time: 3586.97 s
Current children cumulated vsize: 74216 KiB
Current children cumulated memory: 68672 KiB

[startup+3603.2 s]
/proc/loadavg: 4.11 4.09 4.09 5/269 89717
/proc/meminfo: memFree=125911236/131249996 swapFree=33006296/33010684
[pid=89351] ppid=89348 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/89351/stat : 89351 (toulbar2.sh) S 89348 89351 88780 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 78048699 4292608 768 18446744073709551615 94435839332352 94435840226885 140723905514192 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94435840465936 94435840513680 94435851563008 140723905521973 140723905522149 140723905522149 140723905527753 0
/proc/89351/statm: 1048 768 704 219 0 110 0
[pid=89353] ppid=89351 vsize=70024 memory=65600 CPUtime=3593.35 cores=0,2
/proc/89353/stat : 89353 (toulbar2) R 89351 89351 88780 0 -1 4194304 15412 0 0 0 359333 2 0 0 20 0 1 0 78048700 71704576 16400 18446744073709551615 4198400 8956741 140736862597792 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 42332160 140736862599539 140736862599658 140736862599658 140736862605260 0
/proc/89353/statm: 17506 16400 1152 1162 0 16115 0
Current children cumulated CPU time: 3593.35 s
Current children cumulated vsize: 74216 KiB
Current children cumulated memory: 68672 KiB

[startup+3606.4 s]
/proc/loadavg: 4.10 4.09 4.09 5/267 89731
/proc/meminfo: memFree=128823108/131249996 swapFree=33006296/33010684
[pid=89351] ppid=89348 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/89351/stat : 89351 (toulbar2.sh) S 89348 89351 88780 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 78048699 4292608 768 18446744073709551615 94435839332352 94435840226885 140723905514192 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94435840465936 94435840513680 94435851563008 140723905521973 140723905522149 140723905522149 140723905527753 0
/proc/89351/statm: 1048 768 704 219 0 110 0
[pid=89353] ppid=89351 vsize=70024 memory=65600 CPUtime=3596.55 cores=0,2
/proc/89353/stat : 89353 (toulbar2) R 89351 89351 88780 0 -1 4194304 15412 0 0 0 359653 2 0 0 20 0 1 0 78048700 71704576 16400 18446744073709551615 4198400 8956741 140736862597792 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 42332160 140736862599539 140736862599658 140736862599658 140736862605260 0
/proc/89353/statm: 17506 16400 1152 1162 0 16115 0
Current children cumulated CPU time: 3596.55 s
Current children cumulated vsize: 74216 KiB
Current children cumulated memory: 68672 KiB

[startup+3608 s]*
/proc/loadavg: 4.10 4.09 4.09 5/269 89763
/proc/meminfo: memFree=128431456/131249996 swapFree=33006296/33010684
[pid=89351] ppid=89348 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/89351/stat : 89351 (toulbar2.sh) S 89348 89351 88780 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 78048699 4292608 768 18446744073709551615 94435839332352 94435840226885 140723905514192 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94435840465936 94435840513680 94435851563008 140723905521973 140723905522149 140723905522149 140723905527753 0
/proc/89351/statm: 1048 768 704 219 0 110 0
[pid=89353] ppid=89351 vsize=70024 memory=65600 CPUtime=3598.15 cores=0,2
/proc/89353/stat : 89353 (toulbar2) R 89351 89351 88780 0 -1 4194304 15412 0 0 0 359813 2 0 0 20 0 1 0 78048700 71704576 16400 18446744073709551615 4198400 8956741 140736862597792 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 42332160 140736862599539 140736862599658 140736862599658 140736862605260 0
/proc/89353/statm: 17506 16400 1152 1162 0 16115 0
Current children cumulated CPU time: 3598.15 s
Current children cumulated vsize: 74216 KiB
Current children cumulated memory: 68672 KiB

[startup+3608.8 s]
/proc/loadavg: 4.10 4.09 4.09 5/269 89763
/proc/meminfo: memFree=128431456/131249996 swapFree=33006296/33010684
[pid=89351] ppid=89348 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/89351/stat : 89351 (toulbar2.sh) S 89348 89351 88780 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 78048699 4292608 768 18446744073709551615 94435839332352 94435840226885 140723905514192 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94435840465936 94435840513680 94435851563008 140723905521973 140723905522149 140723905522149 140723905527753 0
/proc/89351/statm: 1048 768 704 219 0 110 0
[pid=89353] ppid=89351 vsize=70024 memory=65600 CPUtime=3598.94 cores=0,2
/proc/89353/stat : 89353 (toulbar2) R 89351 89351 88780 0 -1 4194304 15412 0 0 0 359892 2 0 0 20 0 1 0 78048700 71704576 16400 18446744073709551615 4198400 8956741 140736862597792 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 42332160 140736862599539 140736862599658 140736862599658 140736862605260 0
/proc/89353/statm: 17506 16400 1152 1162 0 16115 0
Current children cumulated CPU time: 3598.94 s
Current children cumulated vsize: 74216 KiB
Current children cumulated memory: 68672 KiB

[startup+3609.6 s]
/proc/loadavg: 4.10 4.09 4.09 5/269 89763
/proc/meminfo: memFree=128415328/131249996 swapFree=33006296/33010684
[pid=89351] ppid=89348 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/89351/stat : 89351 (toulbar2.sh) S 89348 89351 88780 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 78048699 4292608 768 18446744073709551615 94435839332352 94435840226885 140723905514192 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94435840465936 94435840513680 94435851563008 140723905521973 140723905522149 140723905522149 140723905527753 0
/proc/89351/statm: 1048 768 704 219 0 110 0
[pid=89353] ppid=89351 vsize=70024 memory=65600 CPUtime=3599.74 cores=0,2
/proc/89353/stat : 89353 (toulbar2) R 89351 89351 88780 0 -1 4194304 15412 0 0 0 359972 2 0 0 20 0 1 0 78048700 71704576 16400 18446744073709551615 4198400 8956741 140736862597792 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 42332160 140736862599539 140736862599658 140736862599658 140736862605260 0
/proc/89353/statm: 17506 16400 1152 1162 0 16115 0
Current children cumulated CPU time: 3599.74 s
Current children cumulated vsize: 74216 KiB
Current children cumulated memory: 68672 KiB

[startup+3609.8 s]
/proc/loadavg: 4.10 4.09 4.09 5/269 89763
/proc/meminfo: memFree=128415328/131249996 swapFree=33006296/33010684
[pid=89351] ppid=89348 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/89351/stat : 89351 (toulbar2.sh) S 89348 89351 88780 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 78048699 4292608 768 18446744073709551615 94435839332352 94435840226885 140723905514192 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94435840465936 94435840513680 94435851563008 140723905521973 140723905522149 140723905522149 140723905527753 0
/proc/89351/statm: 1048 768 704 219 0 110 0
[pid=89353] ppid=89351 vsize=70024 memory=65600 CPUtime=3599.94 cores=0,2
/proc/89353/stat : 89353 (toulbar2) R 89351 89351 88780 0 -1 4194304 15412 0 0 0 359992 2 0 0 20 0 1 0 78048700 71704576 16400 18446744073709551615 4198400 8956741 140736862597792 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 42332160 140736862599539 140736862599658 140736862599658 140736862605260 0
/proc/89353/statm: 17506 16400 1152 1162 0 16115 0
Current children cumulated CPU time: 3599.94 s
Current children cumulated vsize: 74216 KiB
Current children cumulated memory: 68672 KiB

Child status: 0

Real time (s): 3609.89
CPU time (s): 3600.04
CPU user time (s): 3600.01
CPU system time (s): 0.031224
CPU usage (%): 99.7272
Max. virtual memory (cumulated for all children) (KiB): 74216
Max. memory (cumulated for all children) (KiB): 68672

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3600.01
system time used= 0.031224
maximum resident set size= 65928
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15626
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= 89
involuntary context switches= 4731


# summary of solver processes directly reported to runsolver:
#   pid: 89351
#   total CPU time (s): 3600.04
#   total CPU user time (s): 3600.01
#   total CPU system time (s): 0.031224

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.36601 second user time and 13.5913 second system time

The end

Launcher Data 

Begin job on nodeC015 at 2025-07-04 12:08:32
IDJOB=4525238
IDBENCH=143520
IDSOLVER=3383
FILE ID=nodeC015/4525238-1751623712
RUNJOBID= nodeC015-1751619754-88790
SLURM_JOB_ID= 9598935
Free space on /tmp= 432352 MiB

SOLVER NAME= toulbar2 2025-06-13
BENCH NAME= PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-71-70--soft-66-100-0.wbo
COMMAND LINE= toulbar2.sh toulbar2 BENCHNAME -timer=TIMELIMIT -hve=512 -f=3 -n: -precision=0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4525238-1751623712/watcher-4525238-1751623712 -o /tmp/evaluation-result-4525238-1751623712/solver-4525238-1751623712 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751619754-88790 --watchdog 3760  toulbar2.sh toulbar2 HOME/instance-4525238-1751623712.wbo -timer=3600 -hve=512 -f=3 -n: -precision=0

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

MD5SUM BENCH= faaafc1d2d1dba01ec3e252f861d3fdd
RANDOM SEED=1326547239

nodeC015 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		: 3600.062
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	: 7000.14
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		: 3600.038
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	: 7000.14
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.446
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	: 7000.14
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		: 3601.801
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	: 7000.14
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		: 3600.069
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	: 7000.14
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		: 3600.072
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	: 7000.14
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		: 3520.329
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	: 7000.14
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.664
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	: 7000.14
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        127570724 kB
MemAvailable:   128311256 kB
Buffers:            1508 kB
Cached:          1522840 kB
SwapCached:         3880 kB
Active:          1728756 kB
Inactive:        1284964 kB
Active(anon):    1454724 kB
Inactive(anon):    48804 kB
Active(file):     274032 kB
Inactive(file):  1236160 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33006296 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              6508 kB
Writeback:             0 kB
AnonPages:       1486132 kB
Mapped:           114892 kB
Shmem:             14152 kB
KReclaimable:     139160 kB
Slab:             229868 kB
SReclaimable:     139160 kB
SUnreclaim:        90708 kB
KernelStack:        4336 kB
PageTables:         6000 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    1856120 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150600 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1335296 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:      205524 kB
DirectMap2M:    11100160 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 432344 MiB
End job on nodeC015 at 2025-07-04 13:08:42