Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | SAT (TO) | 1076796928 | 1800.07 | 1800.53 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-misc05.opb |
MD5SUM | 4e6161a7dc803af1e0ad1878eef0a0d1 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 1076796928 |
Best CPU time to get the best result obtained on this benchmark | 239.533 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1076796928 |
Optimality of the best value was proved | YES |
Number of variables | 1940 |
Total number of constraints | 300 |
Number of constraints which are clauses | 155 |
Number of constraints which are cardinality constraints (but not clauses) | 8 |
Number of constraints which are nor clauses,nor cardinality constraints | 137 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 451 |
Number of terms in the objective function | 31 |
Biggest coefficient in the objective function | 1073741824 |
Number of bits for the biggest coefficient in the objective function | 31 |
Sum of the numbers in the objective function | 2147483647 |
Number of bits of the sum of numbers in the objective function | 31 |
Biggest number in a constraint | 5368709120 |
Number of bits of the biggest number in a constraint | 33 |
Biggest sum of numbers in a constraint | 83751857084 |
Number of bits of the biggest sum of numbers | 37 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT 0.00/0.00 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/354315-1176705052/instance-354315-1176705052.opb 0.00/0.00 c File size is 115367 bytes. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Highest Coefficient sum: 8.37519e+10 0.00/0.02 c Parsing was ok!! 0.00/0.02 c Total parsing time: 0.02 s 0.00/0.02 c Var: 1940 Constr: 329 162/26/141 Lit: 14100 Watch. Lit: 3673 0.00/0.02 c Obj. Vars: 31 (1.59794 % of total variables) 0.79/0.89 c Pre-processing Time: 0.89 s 1.00/1.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.00/1.04 c 0 1135 289 10832 37 3791 17406 0 0 0.89 1.00/1.04 c 102 1135 391 29796 76 6403 19147 102 105 0.96 1.00/1.04 c 253 1135 542 55507 102 6423 21062 253 244 1.03 1.00/1.04 o 1077048320 1.043 1.00/1.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.00/1.05 c 262 1135 552 56394 102 6367 17454 263 251 1.04 1.00/1.05 o 1077040640 1.055 3.09/3.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.09/3.11 c 279 1135 570 59370 104 6315 17454 281 264 1.05 3.09/3.11 c 379 1135 670 92782 138 6461 19200 381 331 1.14 3.09/3.11 c 629 1135 920 119316 129 7128 21121 631 498 1.26 3.09/3.11 c 1115 1135 1406 306998 218 8248 23234 1117 732 1.52 3.09/3.11 c 1930 1135 2221 403199 181 9765 25558 1932 1030 1.87 3.09/3.11 c 3251 1135 3542 785427 221 12484 28114 3253 1048 3.10 3.09/3.11 o 1077011456 3.113 3.09/3.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.09/3.13 c 3253 1135 3545 785915 221 12466 17454 3256 1044 3.11 3.09/3.13 o 1077003776 3.133 3.29/3.34 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.29/3.34 c 3262 1135 3555 790821 222 12492 17454 3266 1041 3.13 3.29/3.34 c 3362 1135 3655 832806 227 12716 19200 3366 1040 3.23 3.29/3.34 o 1076954624 3.335 3.29/3.35 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.29/3.35 c 3446 1135 3740 856697 229 12882 17454 3451 1033 3.33 3.29/3.35 o 1076919808 3.352 22.98/23.08 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 22.98/23.08 c 3452 1135 3747 857973 228 12960 17454 3458 1029 3.35 22.98/23.08 c 3553 1135 3848 880833 228 13308 19200 3559 1027 3.46 22.98/23.08 c 3804 1135 4099 953161 232 13882 21121 3810 1017 3.74 22.98/23.08 c 4280 1135 4575 1062614 232 14731 23234 4286 1106 3.87 22.98/23.08 c 5094 1135 5389 1247954 231 16342 25558 5100 1228 4.15 22.98/23.08 c 6415 1135 6710 1569899 233 18920 28114 6421 1359 4.72 22.98/23.08 c 8496 1135 8791 1952170 222 23015 30926 8502 1505 5.64 22.98/23.08 c 11720 1135 12015 2769268 230 29331 34019 11726 1333 8.79 22.98/23.08 c 16657 1135 16952 4069409 240 39518 37421 16663 789 21.09 22.98/23.08 o 1076894720 23.079 23.28/23.31 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 23.28/23.31 c 17105 1134 17401 4206210 241 40269 17452 17112 741 23.08 23.28/23.31 o 1076890112 23.302 34.98/35.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 34.98/35.06 c 17150 1134 17447 4221399 241 40202 17452 17158 735 23.30 34.98/35.06 c 17251 1134 17548 4242578 241 40442 19198 17259 727 23.73 34.98/35.06 c 17502 1134 17799 4307117 241 41097 21118 17510 701 24.93 34.98/35.06 c 17977 1134 18274 4440501 242 42076 23230 17985 693 25.92 34.98/35.06 c 18791 1134 19088 4700894 246 43754 25554 18799 638 29.42 34.98/35.06 c 20112 1134 20409 5052334 247 46339 28110 20120 577 34.85 34.98/35.06 o 1076862464 35.05 35.68/35.71 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 35.68/35.71 c 20125 1134 20423 5055285 247 46377 17452 20134 574 35.05 35.68/35.71 c 20225 1134 9116 2391779 262 23688 19198 8827 572 35.32 35.68/35.71 o 1076858368 35.697 63.46/63.53 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 63.46/63.53 c 20353 1134 9245 2449944 265 23925 17452 8956 570 35.70 63.46/63.53 c 20455 1134 9347 2482586 265 24034 19198 9058 571 35.81 63.46/63.53 c 20706 1134 9598 2545271 265 24765 21118 9309 574 36.03 63.46/63.53 c 21182 1134 10074 2705463 268 25519 23230 9785 582 36.35 63.46/63.53 c 21995 1134 10887 2988304 274 27131 25554 10598 596 36.89 63.46/63.53 c 23316 1134 12208 3323711 272 29661 28110 11919 616 37.81 63.46/63.53 c 25398 1134 14290 4190289 293 33801 30922 14001 587 43.20 63.46/63.53 c 28623 1132 17515 5139885 293 40384 34015 17226 590 48.44 63.46/63.53 c 33560 1132 22452 6536882 291 50481 37417 22163 566 59.25 63.46/63.53 o 1076796928 63.505 1799.94/1800.47 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1799.94/1800.47 c 34725 1132 23618 6889490 291 52484 17450 23329 546 63.51 1799.94/1800.47 c 34825 1132 9117 2469356 270 23513 19196 8828 544 63.92 1799.94/1800.47 c 35075 1132 9367 2525092 269 23806 21116 9078 546 64.19 1799.94/1800.47 c 35550 1132 9842 2685947 272 25198 23228 9553 546 65.04 1799.94/1800.47 c 36364 1131 10656 2882060 270 26514 25551 10367 551 65.96 1799.94/1800.47 c 37685 1131 11977 3004993 250 29353 28107 11688 564 66.72 1799.94/1800.47 c 39766 1131 14058 3820982 271 33506 30918 13769 567 70.10 1799.94/1800.47 c 42989 1131 17281 5076976 293 39991 34010 16992 571 75.20 1799.94/1800.47 c 47925 1131 22217 7202975 324 49815 37412 21928 571 83.89 1799.94/1800.47 c 55432 1131 29724 10648536 358 65074 41154 29435 431 128.42 1799.94/1800.47 c 66794 1131 41086 14323251 348 87701 45270 40797 411 162.43 1799.94/1800.47 c 83940 1131 22994 7233486 314 51403 49798 22705 369 227.22 1799.94/1800.47 c 109760 1131 48814 14264899 292 102839 54778 48525 380 288.37 1799.94/1800.47 c 148594 1131 43020 13613423 316 91298 60256 42731 347 427.86 1799.94/1800.47 c 206946 1131 51419 21604101 420 108293 66282 51130 253 817.54 1799.94/1800.47 c 294583 1131 27527 10223886 371 60515 72911 27238 212 1389.49 1799.94/1800.47 c Resources Exceeded 1799.94/1800.47 v -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 x1826 x1827 x1828 x1829 -x1830 -x1831 x1832 -x1833 x1834 1799.94/1800.47 v x1835 x1836 -x1837 x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 x1847 -x1848 -x1849 -x1850 -x1851 -x1852 1799.94/1800.47 v -x1853 -x1854 -x1855 -x1856 -x1857 x1858 x1859 -x1860 -x1861 -x1862 x1863 -x1864 x1865 -x1866 x1867 x1868 -x1869 -x1870 1799.94/1800.47 v -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 1799.94/1800.47 v -x1888 x1889 -x1890 x1891 -x1892 -x1893 -x1894 -x1895 x1896 x1897 x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 1799.94/1800.47 v -x1906 -x1907 -x1908 x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 x1919 x1920 -x1921 x1922 x1923 1799.94/1800.47 v x1924 x1925 x1926 -x1927 x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 x1940 x1753 1799.94/1800.47 v x1754 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 x1345 x1346 -x1347 x1348 -x1349 1799.94/1800.47 v -x1350 x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 1799.94/1800.47 v -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 1799.94/1800.47 v -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 1799.94/1800.47 v -x1401 -x1402 -x1403 x1404 -x1405 x1406 -x1407 x1408 x1409 x1410 x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 1799.94/1800.47 v -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 1799.94/1800.47 v -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 1799.94/1800.47 v -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 1799.94/1800.47 v -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 1799.94/1800.47 v -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 1799.94/1800.47 v -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 1799.94/1800.47 v -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 1799.94/1800.47 v -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 1799.94/1800.47 v -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 1799.94/1800.47 v -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 1799.94/1800.47 v -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 1799.94/1800.47 v -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 1799.94/1800.47 v -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 1799.94/1800.47 v -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 1799.94/1800.47 v -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 1799.94/1800.47 v -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 1799.94/1800.47 v -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 1799.94/1800.47 v -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 1799.94/1800.47 v -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 x1734 x1735 x1736 -x1737 -x1738 -x1739 -x1740 x1741 -x1742 1799.94/1800.47 v -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1 -x2 -x3 -x4 -x5 -x6 x7 -x8 -x9 -x10 x11 -x12 -x13 1799.94/1800.47 v -x14 -x15 -x16 -x17 x18 -x19 -x20 -x21 -x22 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 x32 -x33 -x34 -x35 -x36 x37 -x38 -x39 -x40 1799.94/1800.47 v -x41 -x42 -x43 -x44 -x45 -x46 x47 -x48 -x49 -x50 -x51 -x52 x53 -x54 -x55 x57 -x58 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 1799.94/1800.47 v -x69 -x70 -x72 -x23 -x56 x59 x71 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 1799.94/1800.47 v -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 1799.94/1800.47 v -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 1799.94/1800.47 v -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 1799.94/1800.47 v -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 1799.94/1800.47 v -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 1799.94/1800.47 v -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 1799.94/1800.47 v -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 1799.94/1800.47 v -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 1799.94/1800.47 v -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 1799.94/1800.47 v -x282 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 1799.94/1800.47 v -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 1799.94/1800.47 v -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x793 -x794 1799.94/1800.47 v -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 1799.94/1800.47 v -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 1799.94/1800.47 v -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1153 -x1154 -x1155 1799.94/1800.47 v -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 1799.94/1800.47 v -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 1799.94/1800.47 v -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 1799.94/1800.47 v -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 x324 -x325 x326 x327 x328 x329 x330 -x331 -x332 -x333 -x334 1799.94/1800.47 v -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 1799.94/1800.47 v -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 1799.94/1800.47 v -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 1799.94/1800.47 v -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 1799.94/1800.47 v -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x463 -x464 -x465 -x466 -x467 -x468 -x469 1799.94/1800.47 v -x470 -x471 -x472 -x473 x474 -x475 -x476 -x477 x478 -x479 -x480 x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 1799.94/1800.47 v -x491 -x492 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 1799.94/1800.47 v -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 1799.94/1800.47 v -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x1003 1799.94/1800.47 v -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 1799.94/1800.47 v -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1183 -x1184 -x1185 -x1186 -x1187 1799.94/1800.47 v -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 1799.94/1800.47 v -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 1799.94/1800.47 v -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 1799.94/1800.47 v -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 1799.94/1800.47 v -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 1799.94/1800.47 v -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 1799.94/1800.47 v -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 1799.94/1800.47 v -x609 -x610 -x611 -x612 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 1799.94/1800.47 v -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 1799.94/1800.47 v -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 1799.94/1800.47 v -x882 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 1799.94/1800.47 v -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1213 -x1214 -x1215 1799.94/1800.47 v -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 1799.94/1800.47 v -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 1799.94/1800.47 v -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 1799.94/1800.47 v -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 1799.94/1800.47 v -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 1799.94/1800.47 v -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x883 -x884 -x885 1799.94/1800.47 v -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 1799.94/1800.47 v -x907 -x908 -x909 -x910 -x911 -x912 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 1799.94/1800.47 v -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 1799.94/1800.47 v -x1092 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 1799.94/1800.47 v -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x913 -x914 -x915 -x916 1799.94/1800.47 v -x917 -x918 -x919 -x920 -x921 -x922 -x923 x924 x925 x926 x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 1799.94/1800.47 v -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 1799.94/1800.47 v -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 1799.94/1800.47 v -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 1799.94/1800.47 v -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 1799.94/1800.47 v -x1283 x1284 -x1285 x1286 x1287 -x1288 x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 1799.94/1800.47 v -x1301 -x1302 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 1799.94/1800.47 v -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1303 -x1304 1799.94/1800.47 v -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 1799.94/1800.47 v -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 1799.94/1800.47 v -x1761 -x1762 -x1763 -x1764 x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 1799.94/1800.47 v -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 1799.94/1800.47 v -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 1799.94/1800.47 v -x1812 -x1813 -x1814 -x1815 x1816 1799.94/1800.47 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.94/1800.47 c 56 331164 7334 371188 64108 22977224 63819 183 1800.01 1799.94/1800.47 c Objective: 1076796928 1799.94/1800.47 s SATISFIABLE 1799.94/1800.47 c Total time: 1800.02 s
OK 1076796928
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node55/watcher-354315-1176705052 -o ROOT/results/node55/solver-354315-1176705052 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/354315-1176705052/instance-354315-1176705052.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.01 1.02 1.00 3/64 13406 /proc/meminfo: memFree=1826996/2055920 swapFree=4184588/4192956 [pid=13406] ppid=13404 vsize=11852 CPUtime=0 /proc/13406/stat : 13406 (bsolo3.0.16) R 13404 13406 12326 0 -1 4194304 368 0 0 0 0 0 0 0 18 0 1 0 118415217 12136448 336 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 7284347 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13406/statm: 2963 336 282 324 0 2003 0 [startup+0.0256959 s] /proc/loadavg: 1.01 1.02 1.00 3/64 13406 /proc/meminfo: memFree=1826996/2055920 swapFree=4184588/4192956 [pid=13406] ppid=13404 vsize=4608 CPUtime=0.02 /proc/13406/stat : 13406 (bsolo3.0.16) R 13404 13406 12326 0 -1 4194304 565 0 0 0 2 0 0 0 18 0 1 0 118415217 4718592 504 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 7284293 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13406/statm: 1152 504 305 324 0 221 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 4608 [startup+0.101704 s] /proc/loadavg: 1.01 1.02 1.00 3/64 13406 /proc/meminfo: memFree=1826996/2055920 swapFree=4184588/4192956 [pid=13406] ppid=13404 vsize=4624 CPUtime=0.09 /proc/13406/stat : 13406 (bsolo3.0.16) R 13404 13406 12326 0 -1 4194304 596 0 0 0 9 0 0 0 18 0 1 0 118415217 4734976 535 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13406/statm: 1156 535 305 324 0 225 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4624 [startup+0.301722 s] /proc/loadavg: 1.01 1.02 1.00 3/64 13406 /proc/meminfo: memFree=1826996/2055920 swapFree=4184588/4192956 [pid=13406] ppid=13404 vsize=4624 CPUtime=0.29 /proc/13406/stat : 13406 (bsolo3.0.16) R 13404 13406 12326 0 -1 4194304 596 0 0 0 29 0 0 0 19 0 1 0 118415217 4734976 535 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13406/statm: 1156 535 305 324 0 225 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4624 [startup+0.701759 s] /proc/loadavg: 1.01 1.02 1.00 3/64 13406 /proc/meminfo: memFree=1826996/2055920 swapFree=4184588/4192956 [pid=13406] ppid=13404 vsize=4624 CPUtime=0.69 /proc/13406/stat : 13406 (bsolo3.0.16) R 13404 13406 12326 0 -1 4194304 596 0 0 0 69 0 0 0 22 0 1 0 118415217 4734976 535 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13406/statm: 1156 535 305 324 0 225 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4624 [startup+1.50184 s] /proc/loadavg: 1.01 1.02 1.00 2/65 13407 /proc/meminfo: memFree=1825772/2055920 swapFree=4184588/4192956 [pid=13406] ppid=13404 vsize=8216 CPUtime=1.49 /proc/13406/stat : 13406 (bsolo3.0.16) R 13404 13406 12326 0 -1 4194304 1484 0 0 0 149 0 0 0 25 0 1 0 118415217 8413184 1423 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 7284347 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13406/statm: 2054 1423 313 324 0 1123 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8216 [startup+3.10199 s] /proc/loadavg: 1.01 1.02 1.00 2/65 13407 /proc/meminfo: memFree=1819052/2055920 swapFree=4184588/4192956 [pid=13406] ppid=13404 vsize=14776 CPUtime=3.09 /proc/13406/stat : 13406 (bsolo3.0.16) R 13404 13406 12326 0 -1 4194304 3118 0 0 0 308 1 0 0 25 0 1 0 118415217 15130624 3057 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 7284347 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13406/statm: 3694 3057 313 324 0 2763 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 14776 [startup+6.30129 s] /proc/loadavg: 1.01 1.02 1.00 2/65 13407 /proc/meminfo: memFree=1801452/2055920 swapFree=4184588/4192956 [pid=13406] ppid=13404 vsize=30892 CPUtime=6.29 /proc/13406/stat : 13406 (bsolo3.0.16) R 13404 13406 12326 0 -1 4194304 7171 0 0 0 626 3 0 0 25 0 1 0 118415217 31633408 7110 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551094 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13406/statm: 7723 7110 313 324 0 6792 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 30892 [startup+12.7019 s] /proc/loadavg: 1.00 1.02 1.00 2/65 13407 /proc/meminfo: memFree=1783604/2055920 swapFree=4184588/4192956 [pid=13406] ppid=13404 vsize=47608 CPUtime=12.68 /proc/13406/stat : 13406 (bsolo3.0.16) R 13404 13406 12326 0 -1 4194304 11340 0 0 0 1263 5 0 0 25 0 1 0 118415217 48750592 11279 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551257 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13406/statm: 11902 11279 313 324 0 10971 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 47608 [startup+25.5011 s] /proc/loadavg: 1.00 1.02 1.00 2/65 13407 /proc/meminfo: memFree=1768884/2055920 swapFree=4184588/4192956 [pid=13406] ppid=13404 vsize=62156 CPUtime=25.49 /proc/13406/stat : 13406 (bsolo3.0.16) R 13404 13406 12326 0 -1 4194304 14963 0 0 0 2540 9 0 0 25 0 1 0 118415217 63647744 14902 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13406/statm: 15539 14902 313 324 0 14608 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 62156 [startup+51.1015 s] /proc/loadavg: 1.00 1.02 1.00 2/65 13407 /proc/meminfo: memFree=1755060/2055920 swapFree=4184588/4192956 [pid=13406] ppid=13404 vsize=77044 CPUtime=51.07 /proc/13406/stat : 13406 (bsolo3.0.16) R 13404 13406 12326 0 -1 4194304 18712 0 0 0 5094 13 0 0 25 0 1 0 118415217 78893056 18651 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13406/statm: 19261 18651 313 324 0 18330 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 77044 [startup+102.305 s] /proc/loadavg: 1.00 1.01 1.00 2/65 13407 /proc/meminfo: memFree=1706100/2055920 swapFree=4184588/4192956 [pid=13406] ppid=13404 vsize=124332 CPUtime=102.27 /proc/13406/stat : 13406 (bsolo3.0.16) R 13404 13406 12326 0 -1 4194304 30524 0 0 0 10201 26 0 0 25 0 1 0 118415217 127315968 30463 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13406/statm: 31083 30463 313 324 0 30152 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 124332 [startup+162.301 s] /proc/loadavg: 1.06 1.02 1.00 2/65 13407 /proc/meminfo: memFree=1639988/2055920 swapFree=4184588/4192956 [pid=13406] ppid=13404 vsize=190824 CPUtime=162.24 /proc/13406/stat : 13406 (bsolo3.0.16) R 13404 13406 12326 0 -1 4194304 47128 0 0 0 16188 36 0 0 25 0 1 0 118415217 195403776 47067 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13406/statm: 47706 47067 313 324 0 46775 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 190824 [startup+222.302 s] /proc/loadavg: 1.07 1.03 1.00 2/65 13407 /proc/meminfo: memFree=1610292/2055920 swapFree=4184588/4192956 [pid=13406] ppid=13404 vsize=219592 CPUtime=222.23 /proc/13406/stat : 13406 (bsolo3.0.16) R 13404 13406 12326 0 -1 4194304 54388 0 0 0 22178 45 0 0 25 0 1 0 118415217 224862208 54281 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13406/statm: 54898 54281 313 324 0 53967 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 219592 [startup+282.301 s] /proc/loadavg: 1.08 1.04 1.00 2/65 13407 /proc/meminfo: memFree=1610292/2055920 swapFree=4184588/4192956 [pid=13406] ppid=13404 vsize=219592 CPUtime=282.22 /proc/13406/stat : 13406 (bsolo3.0.16) R 13404 13406 12326 0 -1 4194304 54388 0 0 0 28173 49 0 0 25 0 1 0 118415217 224862208 54281 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13406/statm: 54898 54281 313 324 0 53967 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 219592 [startup+342.301 s] /proc/loadavg: 1.02 1.03 1.00 2/65 13407 /proc/meminfo: memFree=1607924/2055920 swapFree=4184588/4192956 [pid=13406] ppid=13404 vsize=221928 CPUtime=342.2 /proc/13406/stat : 13406 (bsolo3.0.16) R 13404 13406 12326 0 -1 4194304 55019 0 0 0 34167 53 0 0 25 0 1 0 118415217 227254272 54856 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13406/statm: 55482 54856 313 324 0 54551 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 221928 [startup+402.302 s] /proc/loadavg: 1.01 1.02 1.00 2/65 13407 /proc/meminfo: memFree=1607924/2055920 swapFree=4184588/4192956 [pid=13406] ppid=13404 vsize=221928 CPUtime=402.18 /proc/13406/stat : 13406 (bsolo3.0.16) R 13404 13406 12326 0 -1 4194304 55019 0 0 0 40163 55 0 0 25 0 1 0 118415217 227254272 54856 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551522 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13406/statm: 55482 54856 313 324 0 54551 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 221928 [startup+462.302 s] /proc/loadavg: 1.00 1.02 1.00 2/65 13409 /proc/meminfo: memFree=1605740/2055920 swapFree=4184588/4192956 [pid=13406] ppid=13404 vsize=224696 CPUtime=462.16 /proc/13406/stat : 13406 (bsolo3.0.16) R 13404 13406 12326 0 -1 4194304 55703 0 0 0 46158 58 0 0 25 0 1 0 118415217 230088704 55540 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551271 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13406/statm: 56174 55540 313 324 0 55243 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 224696 [startup+522.301 s] /proc/loadavg: 1.00 1.01 1.00 2/65 13409 /proc/meminfo: memFree=1562356/2055920 swapFree=4184588/4192956 [pid=13406] ppid=13404 vsize=268080 CPUtime=522.15 /proc/13406/stat : 13406 (bsolo3.0.16) R 13404 13406 12326 0 -1 4194304 66547 0 0 0 52150 65 0 0 25 0 1 0 118415217 274513920 66384 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13406/statm: 67020 66384 313 324 0 66089 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 268080 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13409 /proc/meminfo: memFree=1554164/2055920 swapFree=4184588/4192956 [pid=13406] ppid=13404 vsize=275568 CPUtime=582.14 /proc/13406/stat : 13406 (bsolo3.0.16) R 13404 13406 12326 0 -1 4194304 68500 0 0 0 58146 68 0 0 25 0 1 0 118415217 282181632 68276 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13406/statm: 68892 68276 313 324 0 67961 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 275568 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13409 /proc/meminfo: memFree=1554164/2055920 swapFree=4184588/4192956 [pid=13406] ppid=13404 vsize=275568 CPUtime=642.12 /proc/13406/stat : 13406 (bsolo3.0.16) R 13404 13406 12326 0 -1 4194304 68500 0 0 0 64142 70 0 0 25 0 1 0 118415217 282181632 68276 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13406/statm: 68892 68276 313 324 0 67961 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 275568 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13409 /proc/meminfo: memFree=1506548/2055920 swapFree=4184588/4192956 [pid=13406] ppid=13404 vsize=323484 CPUtime=882.07 /proc/13406/stat : 13406 (bsolo3.0.16) R 13404 13406 12326 0 -1 4194304 80456 0 0 0 88124 83 0 0 25 0 1 0 118415217 331247616 80232 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13406/statm: 80871 80232 313 324 0 79940 0 Current children cumulated CPU time (s) 882.07 Current children cumulated vsize (KiB) 323484 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13409 /proc/meminfo: memFree=1477812/2055920 swapFree=4184588/4192956 [pid=13406] ppid=13404 vsize=352276 CPUtime=942.05 /proc/13406/stat : 13406 (bsolo3.0.16) R 13404 13406 12326 0 -1 4194304 87684 0 0 0 94115 90 0 0 25 0 1 0 118415217 360730624 87460 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551094 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13406/statm: 88069 87460 313 324 0 87138 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 352276 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13409 /proc/meminfo: memFree=1468532/2055920 swapFree=4184588/4192956 [pid=13406] ppid=13404 vsize=360948 CPUtime=1002.04 /proc/13406/stat : 13406 (bsolo3.0.16) R 13404 13406 12326 0 -1 4194304 89907 0 0 0 100110 94 0 0 25 0 1 0 118415217 369610752 89616 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13406/statm: 90237 89616 313 324 0 89306 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 360948 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13409 /proc/meminfo: memFree=1468532/2055920 swapFree=4184588/4192956 [pid=13406] ppid=13404 vsize=360948 CPUtime=1062.02 /proc/13406/stat : 13406 (bsolo3.0.16) R 13404 13406 12326 0 -1 4194304 89907 0 0 0 106105 97 0 0 25 0 1 0 118415217 369610752 89616 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551378 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13406/statm: 90237 89616 313 324 0 89306 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 360948 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13409 /proc/meminfo: memFree=1468532/2055920 swapFree=4184588/4192956 [pid=13406] ppid=13404 vsize=360948 CPUtime=1122 /proc/13406/stat : 13406 (bsolo3.0.16) R 13404 13406 12326 0 -1 4194304 89907 0 0 0 112102 98 0 0 25 0 1 0 118415217 369610752 89616 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551504 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13406/statm: 90237 89616 313 324 0 89306 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 360948 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13409 /proc/meminfo: memFree=1468532/2055920 swapFree=4184588/4192956 [pid=13406] ppid=13404 vsize=360948 CPUtime=1181.99 /proc/13406/stat : 13406 (bsolo3.0.16) R 13404 13406 12326 0 -1 4194304 89907 0 0 0 118099 100 0 0 25 0 1 0 118415217 369610752 89616 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551070 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13406/statm: 90237 89616 313 324 0 89306 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 360948 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13409 /proc/meminfo: memFree=1468532/2055920 swapFree=4184588/4192956 [pid=13406] ppid=13404 vsize=360948 CPUtime=1241.97 /proc/13406/stat : 13406 (bsolo3.0.16) R 13404 13406 12326 0 -1 4194304 89907 0 0 0 124096 101 0 0 25 0 1 0 118415217 369610752 89616 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551288 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13406/statm: 90237 89616 313 324 0 89306 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 360948 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13409 /proc/meminfo: memFree=1468532/2055920 swapFree=4184588/4192956 [pid=13406] ppid=13404 vsize=360948 CPUtime=1301.96 /proc/13406/stat : 13406 (bsolo3.0.16) R 13404 13406 12326 0 -1 4194304 89907 0 0 0 130094 102 0 0 25 0 1 0 118415217 369610752 89616 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551070 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13406/statm: 90237 89616 313 324 0 89306 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 360948 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13409 /proc/meminfo: memFree=1468532/2055920 swapFree=4184588/4192956 [pid=13406] ppid=13404 vsize=360948 CPUtime=1361.95 /proc/13406/stat : 13406 (bsolo3.0.16) R 13404 13406 12326 0 -1 4194304 89907 0 0 0 136092 103 0 0 25 0 1 0 118415217 369610752 89616 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13406/statm: 90237 89616 313 324 0 89306 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 360948 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13409 /proc/meminfo: memFree=1468532/2055920 swapFree=4184588/4192956 [pid=13406] ppid=13404 vsize=360884 CPUtime=1421.93 /proc/13406/stat : 13406 (bsolo3.0.16) R 13404 13406 12326 0 -1 4194304 89907 0 0 0 142087 106 0 0 25 0 1 0 118415217 369545216 89612 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13406/statm: 90221 89612 313 324 0 89290 0 Current children cumulated CPU time (s) 1421.93 Current children cumulated vsize (KiB) 360884 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13409 /proc/meminfo: memFree=1468532/2055920 swapFree=4184588/4192956 [pid=13406] ppid=13404 vsize=360884 CPUtime=1481.92 /proc/13406/stat : 13406 (bsolo3.0.16) R 13404 13406 12326 0 -1 4194304 89907 0 0 0 148085 107 0 0 25 0 1 0 118415217 369545216 89612 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551504 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13406/statm: 90221 89612 313 324 0 89290 0 Current children cumulated CPU time (s) 1481.92 Current children cumulated vsize (KiB) 360884 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13409 /proc/meminfo: memFree=1468532/2055920 swapFree=4184588/4192956 [pid=13406] ppid=13404 vsize=360884 CPUtime=1541.9 /proc/13406/stat : 13406 (bsolo3.0.16) R 13404 13406 12326 0 -1 4194304 89907 0 0 0 154082 108 0 0 25 0 1 0 118415217 369545216 89612 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551504 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13406/statm: 90221 89612 313 324 0 89290 0 Current children cumulated CPU time (s) 1541.9 Current children cumulated vsize (KiB) 360884 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13409 /proc/meminfo: memFree=1468532/2055920 swapFree=4184588/4192956 [pid=13406] ppid=13404 vsize=360884 CPUtime=1601.89 /proc/13406/stat : 13406 (bsolo3.0.16) R 13404 13406 12326 0 -1 4194304 89907 0 0 0 160080 109 0 0 25 0 1 0 118415217 369545216 89612 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13406/statm: 90221 89612 313 324 0 89290 0 Current children cumulated CPU time (s) 1601.89 Current children cumulated vsize (KiB) 360884 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13409 /proc/meminfo: memFree=1468532/2055920 swapFree=4184588/4192956 [pid=13406] ppid=13404 vsize=360884 CPUtime=1661.87 /proc/13406/stat : 13406 (bsolo3.0.16) R 13404 13406 12326 0 -1 4194304 89907 0 0 0 166078 109 0 0 25 0 1 0 118415217 369545216 89612 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13406/statm: 90221 89612 313 324 0 89290 0 Current children cumulated CPU time (s) 1661.87 Current children cumulated vsize (KiB) 360884 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13409 /proc/meminfo: memFree=1468532/2055920 swapFree=4184588/4192956 [pid=13406] ppid=13404 vsize=360884 CPUtime=1721.86 /proc/13406/stat : 13406 (bsolo3.0.16) R 13404 13406 12326 0 -1 4194304 89907 0 0 0 172076 110 0 0 25 0 1 0 118415217 369545216 89612 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551522 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13406/statm: 90221 89612 313 324 0 89290 0 Current children cumulated CPU time (s) 1721.86 Current children cumulated vsize (KiB) 360884 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13409 /proc/meminfo: memFree=1468532/2055920 swapFree=4184588/4192956 [pid=13406] ppid=13404 vsize=360884 CPUtime=1781.84 /proc/13406/stat : 13406 (bsolo3.0.16) R 13404 13406 12326 0 -1 4194304 89907 0 0 0 178074 110 0 0 25 0 1 0 118415217 369545216 89612 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551724 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13406/statm: 90221 89612 313 324 0 89290 0 Current children cumulated CPU time (s) 1781.84 Current children cumulated vsize (KiB) 360884 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13409 /proc/meminfo: memFree=1666612/2055920 swapFree=4184588/4192956 [pid=13406] ppid=13404 vsize=0 CPUtime=1800.04 /proc/13406/stat : 13406 (bsolo3.0.16) R 13404 13406 12326 0 -1 4194308 89908 0 0 0 179890 114 0 0 17 0 1 0 118415217 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13406/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 0 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13409 /proc/meminfo: memFree=1666612/2055920 swapFree=4184588/4192956 [pid=13406] ppid=13404 vsize=0 CPUtime=1800.04 /proc/13406/stat : 13406 (bsolo3.0.16) R 13404 13406 12326 0 -1 4194308 89908 0 0 0 179890 114 0 0 17 0 1 0 118415217 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13406/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.53 CPU time (s): 1800.07 CPU user time (s): 1798.9 CPU system time (s): 1.16882 CPU usage (%): 99.9746 Max. virtual memory (cumulated for all children) (KiB): 361216 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.9 system time used= 1.16882 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 89908 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= 14 involuntary context switches= 3125 runsolver used 1.17782 second user time and 3.75543 second system time The end
Begin job on node55 on Mon Apr 16 06:30:52 UTC 2007 IDJOB= 354315 IDBENCH= 2484 IDSOLVER= 163 FILE ID= node55/354315-1176705052 PBS_JOBID= 4560034 Free space on /tmp= 66513 MiB SOLVER NAME= bsolo 3.0.16 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-misc05.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/354315-1176705052/instance-354315-1176705052.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node55/watcher-354315-1176705052 -o ROOT/results/node55/solver-354315-1176705052 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/354315-1176705052/instance-354315-1176705052.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 4e6161a7dc803af1e0ad1878eef0a0d1 RANDOM SEED= 107517550 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node55.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.216 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 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 syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.216 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 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 syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1827404 kB Buffers: 10384 kB Cached: 140604 kB SwapCached: 2080 kB Active: 54468 kB Inactive: 106768 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1827404 kB SwapTotal: 4192956 kB SwapFree: 4184588 kB Dirty: 4496 kB Writeback: 0 kB Mapped: 17108 kB Slab: 53312 kB Committed_AS: 1032868 kB PageTables: 1384 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66513 MiB End job on node55 on Mon Apr 16 07:00:54 UTC 2007