| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| R1: cosoco-sat 1.1 | ? (TO) | 2400.38 | 2401.3 |
| Name | Ortholatin/Ortholatin-m1-s1/ Ortholatin-028.xml |
| MD5SUM | 0d73506f0318cc77856f25ccca7d4c63 |
| Bench Category | CSP (decision problem) |
| Best result obtained on this benchmark | |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 2352 |
| Number of constraints | 789 |
| Number of domains | 2 |
| Minimum domain size | 28 |
| Maximum domain size | 784 |
| Distribution of domain sizes | [{"size":28,"count":1568},{"size":784,"count":784}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 3 |
| Distribution of variable degrees | [{"degree":2,"count":2296},{"degree":3,"count":56}] |
| Minimum constraint arity | 3 |
| Maximum constraint arity | 784 |
| Distribution of constraint arities | [{"arity":3,"count":784},{"arity":28,"count":2},{"arity":784,"count":3}] |
| Number of extensional constraints | 784 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"extension","count":784},{"type":"allDifferent","count":3},{"type":"instantiation","count":2}] |
| Optimization problem | NO |
| Type of objective |
17.27/17.31 c SAT : Variables: 658560 -- Clauses: 241232880 17.37/17.40 c root propagations : 27330 17.37/17.40 c restarts enabled, print stats at every restarts 17.37/17.40 c 17.37/17.40 c 17.37/17.40 c 17.37/17.40 c This is cosoco 1.0 -- 17.37/17.40 c 17.37/17.40 c ========================================[ Problem Statistics ]=========================================== 17.37/17.40 c | 17.37/17.40 c | Parse time : 15.02 s 17.37/17.40 c | 17.37/17.40 c | Variables: 2352 17.37/17.40 c | Domain Sizes: 28..784 17.37/17.40 c | 17.37/17.40 c | Constraints: 953 17.37/17.40 c | Arity: 1..784 -- Unary: 56 -- Ternary: 784 17.37/17.40 c | 17.37/17.40 c | Types: 17.37/17.40 c | All Different: 113 17.37/17.40 c | Extension: 784 (nb tuples: 784..784) -- (shared: 783) 17.37/17.40 c | Unary: 56 17.37/17.40 c | 17.37/17.40 c ========================================================================================================= 17.37/17.40 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 17.37/17.46 c 10 248 6230 92031 948 10 233 239 215 17.47/17.55 c 20 578 11926 156423 948 20 317 321 290 17.58/17.69 c 30 1071 21009 273762 948 23 468 474 427 17.77/17.87 c 40 1522 32237 382809 948 29 262 411 313 17.97/18.04 c 50 1887 42724 471105 948 32 340 344 310 18.17/18.23 c 60 2388 54744 595371 948 38 258 474 366 18.27/18.39 c 70 2820 65588 699206 948 42 333 407 362 18.47/18.57 c 80 3252 77211 805258 948 47 345 406 363 18.57/18.70 c 90 3611 86454 880889 948 57 339 349 316 18.77/18.87 c 100 3986 97042 970592 948 62 334 343 308 18.87/18.96 c 101 4254 103164 1022521 948 63 268 268 134 18.97/19.06 c 110 4533 110197 1075896 948 72 271 271 243 19.07/19.14 c 120 4816 116407 1129393 948 82 274 274 249 19.17/19.24 c 130 5110 123114 1188471 948 91 271 277 250 19.26/19.32 c 140 5339 128656 1226622 948 101 220 220 200 19.26/19.39 c 150 5571 134225 1265580 948 111 223 223 202 19.36/19.46 c 160 5806 139131 1304561 948 121 226 226 205 19.46/19.53 c 170 6053 144256 1346669 948 131 238 238 216 19.56/19.61 c 180 6300 150254 1389439 948 141 238 238 216 19.67/19.71 c 190 6559 157096 1436574 948 151 250 250 227 19.78/19.81 c 200 6821 163922 1484553 948 161 253 253 230 19.78/19.90 c 210 7089 170178 1533423 948 171 259 259 235 19.88/19.98 c 211 7348 176412 1582205 948 172 259 259 129 19.97/20.06 c 220 7609 181899 1628040 948 181 253 253 227 20.07/20.14 c 230 7883 188149 1678354 948 191 265 265 240 20.17/20.24 c 240 8160 195260 1730120 948 201 268 268 243 20.27/20.34 c 250 8443 202489 1783469 948 211 274 274 249 20.37/20.45 c 260 8729 209724 1837538 948 221 277 277 251 20.47/20.55 c 270 9015 216983 1891623 948 231 277 277 251 20.57/20.64 c 280 9304 223526 1945727 948 241 280 280 254 20.67/20.73 c 290 9638 230430 2014470 948 247 301 307 277 20.77/20.82 c 300 9957 236482 2074427 948 257 310 310 281 20.88/20.91 c 310 10279 243269 2137237 948 267 313 313 284 20.88/21.00 c 320 10609 250189 2202284 948 276 308 316 285 20.98/21.09 c 330 10904 256769 2257094 948 286 286 286 260 21.07/21.19 c 332 11217 263667 2322090 948 287 310 312 207 21.27/21.32 c 340 11544 272125 2393216 948 291 293 298 263 21.27/21.39 c 350 11758 276685 2426563 948 301 205 205 186 21.37/21.45 c 360 11969 281182 2458424 948 311 202 202 183 21.47/21.52 c 370 12183 285693 2490929 948 321 205 205 186 21.47/21.58 c 380 12427 290480 2530230 948 331 235 235 213 21.57/21.65 c 390 12674 295343 2570321 948 341 238 238 216 21.67/21.77 c 400 13037 303495 2645071 948 350 325 349 312 21.87/21.94 c 410 13380 314471 2722338 948 353 311 316 285 21.97/22.07 c 420 13737 323134 2795930 948 362 337 343 311 22.07/22.17 c 430 14044 329849 2854209 948 372 298 298 270 22.17/22.28 c 440 14378 337700 2919167 948 382 325 325 295 22.27/22.40 c 450 14738 345802 2992922 948 391 316 346 309 22.47/22.51 c 460 15105 353927 3076039 948 395 319 342 305 22.57/22.60 c 465 15434 360174 3140275 948 400 325 325 270 22.67/22.71 c 470 15787 368111 3211885 948 405 349 349 290 22.77/22.85 c 480 16124 377320 3279780 948 415 328 328 298 22.87/22.98 c 490 16488 386665 3353655 948 425 355 355 322 23.07/23.12 c 500 16856 396484 3430045 948 435 344 358 323 23.17/23.25 c 510 17226 405545 3507097 948 445 355 361 327 23.36/23.44 c 520 17677 417671 3617424 948 448 280 423 358 23.46/23.53 c 530 17948 424216 3667386 948 458 262 262 238 23.56/23.62 c 540 18222 430475 3716207 948 468 265 265 240 23.66/23.73 c 550 18523 437859 3774653 948 476 271 286 256 23.77/23.82 c 560 18821 444504 3830265 948 486 289 289 262 23.87/23.95 c 570 19137 452907 3895686 948 491 274 292 257 23.97/24.04 c 580 19441 459598 3952905 948 501 295 295 268 24.07/24.15 c 590 19748 467071 4011570 948 511 298 298 270 24.18/24.25 c 600 20058 474658 4070395 948 521 301 301 273 24.28/24.35 c 610 20371 481622 4130036 948 531 304 304 276 24.37/24.46 c 611 20678 489934 4191131 948 532 307 307 153 24.57/24.60 c 620 21011 499414 4262726 948 536 295 310 272 24.67/24.71 c 630 21330 507120 4324683 948 546 310 310 281 24.77/24.82 c 640 21652 515011 4387464 948 556 313 313 284 24.87/24.94 c 650 21977 523631 4450994 948 566 316 316 287 24.97/25.05 c 660 22305 532264 4515316 948 576 319 319 290 25.07/25.17 c 670 22636 540914 4580457 948 586 322 322 292 25.17/25.29 c 680 22970 549570 4646413 948 596 325 325 295 25.37/25.41 c 690 23307 558261 4713144 948 606 328 328 298 25.47/25.52 c 700 23647 566339 4780726 948 616 331 331 300 25.57/25.63 c 710 23990 574370 4849075 948 626 334 334 303 25.77/25.80 c 720 24430 585892 4949190 948 634 338 424 368 25.87/25.92 c 730 24807 594047 5033386 948 636 1 340 274 25.97/26.06 c 740 25254 604219 5141041 948 639 414 418 378 26.06/26.17 c 750 25612 612335 5214116 948 649 349 349 317 26.26/26.30 c 760 25964 620954 5285545 948 659 343 343 311 26.37/26.41 c 770 26319 628363 5358006 948 668 1 346 283 26.37/26.42 c 771 26320 628371 5358868 948 668 1 1 0 26.47/26.54 c 780 26680 637326 5432865 948 677 352 352 316 26.66/26.73 c 790 27116 649461 5539918 948 682 1 408 316 26.76/26.86 c 800 27551 658815 5640181 948 687 397 412 367 26.96/27.01 c 810 28000 669264 5743935 948 691 409 415 374 27.16/27.21 c 820 28453 682441 5854826 948 695 358 420 359 27.16/27.29 c 830 28808 688549 5924767 948 705 346 346 314 27.36/27.42 c 840 29198 697049 6009913 948 711 343 361 318 27.47/27.56 c 850 29577 706898 6089336 948 721 356 370 335 27.66/27.70 c 860 29956 716975 6168113 948 731 370 370 336 27.76/27.82 c 870 30335 725779 6253132 948 733 1 358 290 27.96/28.03 c 880 30789 739361 6364072 948 737 345 419 347 28.06/28.14 c 890 31188 747443 6453360 948 741 265 364 311 28.26/28.35 c 900 31643 760037 6563626 948 745 345 418 347 28.36/28.48 c 910 32093 769846 6670464 948 748 265 420 352 28.46/28.57 c 920 32457 776730 6743552 948 758 355 355 322 28.57/28.69 c 930 32837 784564 6823131 948 768 345 370 333 28.76/28.80 c 940 33224 792784 6905345 948 777 273 370 318 28.86/28.92 c 947 33603 801344 6985744 948 784 373 373 326 28.96/29.02 c 950 33961 808735 7060077 948 786 277 352 227 29.16/29.20 c 960 34377 822096 7154112 948 792 352 397 341 29.26/29.34 c 970 34768 831914 7236051 948 802 382 382 347 29.46/29.51 c 980 35170 842885 7327362 948 808 280 376 317 29.56/29.63 c 990 35552 851651 7407199 948 818 346 373 332 29.67/29.80 c 1000 35951 862590 7492220 948 828 367 388 350 29.86/29.99 c 1010 36357 875649 7582585 948 837 360 388 347 30.06/30.15 c 1020 36748 887010 7666686 948 847 382 382 347 30.26/30.30 c 1030 37145 897771 7750992 948 857 388 388 352 30.36/30.44 c 1040 37539 907517 7840524 948 859 283 370 318 30.46/30.58 c 1050 37941 917915 7925769 948 869 328 391 349 30.66/30.74 c 1060 38342 928987 8013005 948 878 280 388 333 30.87/30.92 c 1070 38755 941660 8101351 948 888 366 403 363 30.96/31.07 c 1080 39150 952492 8187664 948 897 286 382 330 31.16/31.25 c 1090 39556 965096 8276723 948 905 364 391 348 31.36/31.42 c 1100 39970 977140 8369161 948 911 367 397 347 31.46/31.59 c 1110 40382 989044 8459695 948 920 306 397 344 31.66/31.79 c 1120 40756 1002931 8549085 948 923 344 348 314 31.86/31.94 c 1130 41122 1012837 8627031 948 932 292 352 309 32.06/32.10 c 1140 41524 1024650 8714835 948 939 376 388 348 32.16/32.21 c 1141 41829 1033147 8776401 948 940 305 305 152 32.26/32.38 c 1150 42230 1044677 8865362 948 947 369 382 338 32.46/32.56 c 1160 42624 1057705 8950368 948 957 385 385 350 32.56/32.69 c 1170 43016 1067000 9033524 948 967 371 378 338 32.75/32.87 c 1180 43424 1078722 9124545 948 976 301 394 319 33.06/33.11 c 1190 43854 1093682 9230684 948 980 304 394 344 33.25/33.32 c 1200 44281 1107177 9333906 948 984 382 394 353 33.35/33.41 c 1210 44516 1113532 9373254 948 994 226 226 205 33.35/33.49 c 1220 44763 1119405 9415708 948 1004 238 238 216 33.55/33.68 c 1230 45186 1132185 9508769 948 1013 385 406 365 33.75/33.81 c 1240 45529 1141769 9578634 948 1023 334 334 303 33.85/33.96 c 1250 45936 1151836 9669332 948 1030 301 388 339 34.06/34.12 c 1260 46346 1162765 9763498 948 1038 291 391 332 34.25/34.32 c 1270 46766 1176396 9855842 948 1047 382 403 361 34.35/34.49 c 1280 47178 1187885 9947643 948 1057 374 400 361 34.55/34.63 c 1290 47536 1197192 10020173 948 1067 349 349 317 34.65/34.76 c 1300 47871 1206294 10090804 948 1076 310 322 289 34.85/34.97 c 1310 48310 1220173 10191649 948 1082 375 409 355 35.05/35.17 c 1320 48730 1233291 10285181 948 1091 373 403 360 35.26/35.38 c 1330 49159 1247235 10385336 948 1097 376 403 350 35.45/35.51 c 1340 49493 1256681 10452692 948 1107 325 325 295 35.55/35.68 c 1350 49916 1268274 10547392 948 1115 373 406 360 35.75/35.81 c 1352 50248 1277858 10616333 948 1117 331 331 220 35.96/36.02 c 1360 50688 1292489 10718502 948 1121 381 412 350 36.06/36.19 c 1370 51114 1304418 10813155 948 1129 382 412 366 36.27/36.35 c 1380 51537 1315455 10907691 948 1137 385 409 365 36.46/36.55 c 1390 51970 1328976 11010312 948 1143 378 403 351 36.66/36.75 c 1400 52406 1343051 11113734 948 1149 393 406 362 36.76/36.87 c 1410 52761 1350998 11185006 948 1159 247 346 296 37.06/37.11 c 1420 53199 1366084 11286250 948 1166 385 412 360 37.16/37.28 c 1430 53614 1378026 11376820 948 1176 382 406 366 37.26/37.38 c 1440 53876 1384934 11423349 948 1186 253 253 230 37.47/37.59 c 1450 54312 1399170 11528090 948 1189 313 406 334 37.66/37.79 c 1460 54659 1411857 11609821 948 1190 319 324 292 37.96/38.01 c 1470 55098 1426960 11716640 948 1194 289 403 328 38.06/38.11 c 1480 55348 1433872 11759995 948 1204 241 241 219 38.16/38.23 c 1490 55704 1442658 11833352 948 1214 297 343 303 38.36/38.42 c 1500 56123 1454973 11932811 948 1219 381 391 351 38.46/38.51 c 1510 56316 1460764 11962477 948 1229 184 184 167 38.46/38.60 c 1520 56581 1467844 12009545 948 1239 256 256 232 38.66/38.72 c 1530 56927 1476348 12078192 948 1249 337 337 306 38.86/38.91 c 1540 57333 1489409 12174130 948 1251 286 372 278 39.06/39.11 c 1550 57704 1502211 12261131 948 1252 343 348 314 39.06/39.19 c 1560 57939 1508033 12300919 948 1262 226 226 205 39.26/39.33 c 1570 58276 1517603 12367653 948 1272 328 328 298 39.36/39.45 c 1580 58610 1526470 12434248 948 1282 325 325 295 39.46/39.58 c 1585 58953 1535716 12504926 948 1287 294 334 271 39.56/39.70 c 1590 59297 1544095 12575649 948 1292 340 340 283 39.66/39.79 c 1600 59610 1550997 12634882 948 1302 304 304 276 39.86/39.94 c 1610 60007 1562072 12719850 948 1312 388 388 352 40.06/40.12 c 1620 60416 1574586 12807098 948 1322 400 400 363 40.16/40.28 c 1630 60828 1585939 12894493 948 1332 403 403 366 40.35/40.45 c 1640 61243 1598358 12982683 948 1342 406 406 369 40.55/40.61 c 1650 61658 1609932 13071016 948 1352 406 406 369 40.66/40.76 c 1660 62067 1620569 13159241 948 1362 365 400 360 40.76/40.89 c 1670 62410 1630128 13228667 948 1372 334 334 303 40.95/41.04 c 1680 62822 1641168 13324485 948 1376 291 390 318 41.05/41.17 c 1690 63180 1649782 13397633 948 1386 349 349 317 41.25/41.34 c 1700 63604 1662443 13488270 948 1396 415 415 377 41.35/41.49 c 1710 63926 1672580 13554283 948 1406 313 313 284 41.55/41.68 c 1720 64362 1686326 13652858 948 1413 304 415 328 41.76/41.84 c 1730 64693 1697268 13721227 948 1423 296 322 290 41.95/42.01 c 1740 65114 1708161 13812010 948 1433 403 412 373 42.05/42.19 c 1750 65541 1720586 13908224 948 1443 409 418 378 42.25/42.36 c 1760 65968 1732981 14000489 948 1453 418 418 380 42.45/42.54 c 1770 66391 1745503 14101234 948 1457 322 397 351 42.65/42.75 c 1780 66815 1759203 14197659 948 1465 369 409 360 42.86/42.91 c 1790 67230 1770574 14287239 948 1475 406 406 369 42.96/43.06 c 1800 67606 1781684 14364556 948 1485 367 367 333 43.15/43.25 c 1810 68039 1794935 14461234 948 1494 377 418 373 43.25/43.39 c 1820 68391 1804824 14533167 948 1504 343 343 311 43.45/43.55 c 1830 68806 1816466 14622396 948 1514 406 406 369 43.65/43.73 c 1840 69236 1829238 14717091 948 1524 415 421 381 43.75/43.83 c 1841 69555 1836770 14781300 948 1525 319 319 159 43.85/43.99 c 1850 69981 1847976 14875035 948 1534 415 418 375 44.15/44.20 c 1860 70435 1862384 14985635 948 1538 384 427 361 44.25/44.36 c 1870 70845 1874005 15080907 948 1541 313 384 328 44.45/44.54 c 1880 71266 1886522 15173129 948 1551 412 412 374 44.65/44.72 c 1890 71705 1899471 15274843 948 1557 313 412 346 44.75/44.89 c 1900 72131 1910706 15369343 948 1566 337 412 361 44.95/45.09 c 1910 72571 1923486 15468635 948 1575 331 424 362 45.15/45.21 c 1920 72875 1931961 15526778 948 1585 295 295 268 45.25/45.39 c 1930 73295 1944974 15619902 948 1593 370 403 357 45.34/45.49 c 1940 73590 1952018 15676554 948 1603 286 286 260 45.54/45.65 c 1950 74023 1963733 15776178 948 1606 385 397 353 45.74/45.80 c 1960 74429 1974360 15862878 948 1616 397 397 360 45.84/45.97 c 1970 74856 1986055 15954892 948 1626 415 418 379 46.04/46.14 c 1980 75286 1998547 16048779 948 1636 421 421 382 46.25/46.31 c 1990 75705 2010210 16147827 948 1639 346 397 349 46.34/46.44 c 2000 76081 2019949 16227850 948 1649 367 367 333 46.44/46.59 c 2010 76463 2030367 16308159 948 1659 373 373 339 46.64/46.79 c 2020 76900 2043321 16409057 948 1665 397 412 368 46.84/46.95 c 2030 77328 2054459 16505181 948 1672 379 412 363 47.04/47.10 c 2040 77713 2065818 16585734 948 1682 376 376 341 47.14/47.27 c 2050 78134 2077484 16675947 948 1692 392 412 372 47.35/47.41 c 2060 78525 2087482 16758234 948 1702 382 382 347 47.44/47.54 c 2070 78865 2096779 16827497 948 1712 331 331 300 47.64/47.72 c 2080 79228 2109325 16911842 948 1715 328 334 300 47.84/47.90 c 2090 79597 2122023 16997125 948 1718 334 340 306 47.94/48.05 c 2100 80022 2132371 17091566 948 1723 388 409 361 48.14/48.27 c 2110 80455 2147043 17193784 948 1729 397 409 366 48.35/48.45 c 2120 80898 2159390 17295437 948 1734 298 415 315 48.54/48.65 c 2122 81329 2173458 17391670 948 1736 418 430 282 48.74/48.86 c 2130 81769 2187432 17495661 948 1740 409 418 367 48.94/49.05 c 2140 82215 2201052 17597371 948 1749 303 427 361 49.14/49.24 c 2150 82657 2214562 17694517 948 1759 430 433 393 49.34/49.43 c 2160 83093 2227350 17790823 948 1769 421 427 387 49.45/49.60 c 2170 83528 2239390 17887219 948 1779 306 421 372 49.74/49.80 c 2180 83969 2253115 17988195 948 1787 414 427 384 49.84/49.97 c 2190 84410 2265307 18085622 948 1797 404 430 386 50.04/50.19 c 2200 84862 2279778 18192834 948 1803 409 430 380 50.34/50.42 c 2210 85314 2294715 18299146 948 1810 422 430 388 50.55/50.61 c 2220 85762 2308500 18398087 948 1820 439 439 399 50.65/50.78 c 2230 86207 2320851 18496295 948 1830 436 436 396 50.84/50.93 c 2240 86607 2331659 18581759 948 1840 391 391 355 51.04/51.13 c 2250 87064 2345904 18694674 948 1841 424 429 388 51.14/51.24 c 2260 87362 2353834 18752160 948 1851 289 289 262 51.34/51.46 c 2270 87803 2368516 18855394 948 1857 406 418 374 51.44/51.56 c 2280 88074 2375716 18904436 948 1867 262 262 238 51.64/51.75 c 2290 88520 2388372 19007323 948 1875 307 427 365 51.85/51.91 c 2300 88920 2399950 19091989 948 1885 391 391 355 51.95/52.07 c 2310 89359 2411401 19188444 948 1895 430 430 390 52.15/52.23 c 2320 89801 2422573 19287385 948 1904 408 427 384 52.34/52.44 c 2330 90262 2436310 19395097 948 1912 337 442 379 52.44/52.57 c 2340 90575 2445139 19458170 948 1922 304 304 276 52.64/52.73 c 2350 91021 2456807 19557416 948 1931 411 436 391 52.85/52.94 c 2360 91480 2470598 19662394 948 1939 421 442 393 53.04/53.17 c 2370 91936 2486466 19770357 948 1945 421 433 388 53.24/53.36 c 2380 92386 2500133 19870704 948 1955 327 439 388 53.44/53.55 c 2390 92840 2513818 19971302 948 1965 445 445 404 53.54/53.67 c 2400 93135 2522157 20027593 948 1975 286 286 260 53.74/53.86 c 2410 93595 2535922 20128308 948 1985 451 451 410 53.95/54.01 c 2420 94017 2546367 20219396 948 1994 355 409 362 54.14/54.20 c 2430 94474 2560655 20320606 948 2004 448 448 407 54.24/54.31 c 2431 94814 2568674 20391107 948 2005 340 340 170 54.34/54.41 c 2440 95141 2576363 20455774 948 2014 319 319 287 54.44/54.60 c 2450 95595 2589472 20558058 948 2022 430 439 397 54.64/54.78 c 2460 96049 2601772 20660109 948 2032 376 445 397 54.84/54.95 c 2470 96503 2613331 20759878 948 2042 445 445 404 55.05/55.13 c 2480 96964 2625961 20870523 948 2045 325 440 378 55.24/55.30 c 2490 97415 2637671 20971473 948 2055 439 442 401 55.34/55.41 c 2500 97707 2645459 21027394 948 2065 283 283 257 55.44/55.56 c 2510 98101 2656318 21110607 948 2075 385 385 350 55.64/55.73 c 2520 98523 2668264 21210645 948 2078 334 401 351 55.74/55.87 c 2530 98926 2678441 21298833 948 2088 394 394 358 55.93/56.05 c 2540 99383 2690825 21400240 948 2098 445 448 407 56.14/56.26 c 2550 99857 2705594 21510778 948 2105 435 457 402 56.33/56.47 c 2560 100328 2719890 21619693 948 2113 286 451 365 56.53/56.68 c 2570 100799 2733924 21731780 948 2119 414 448 390 56.63/56.78 c 2580 101073 2741173 21781599 948 2129 265 265 240 56.93/57.01 c 2590 101547 2756588 21894283 948 2135 439 451 404 57.03/57.17 c 2600 101944 2768303 21978966 948 2145 388 388 352 57.14/57.29 c 2610 102308 2777163 22052398 948 2155 355 355 322 57.33/57.46 c 2620 102720 2789071 22145645 948 2164 356 397 353 57.53/57.63 c 2630 103177 2800837 22247180 948 2174 448 448 407 57.73/57.80 c 2640 103627 2813306 22350916 948 2179 418 433 386 57.83/57.95 c 2650 104071 2824241 22449150 948 2188 416 430 388 57.93/58.06 c 2660 104366 2832005 22505441 948 2198 286 286 260 58.13/58.23 c 2670 104830 2843800 22609714 948 2208 302 451 396 58.24/58.38 c 2680 105249 2854686 22708369 948 2211 301 391 298 58.34/58.48 c 2690 105561 2862772 22775302 948 2213 287 291 262 58.53/58.63 c 2700 105940 2872677 22855798 948 2223 361 370 335 58.73/58.82 c 2710 106393 2885696 22958879 948 2228 379 436 360 58.83/58.95 c 2720 106775 2894740 23037936 948 2238 373 373 339 59.03/59.13 c 2730 107219 2907627 23137872 948 2248 362 433 385 59.23/59.34 c 2740 107667 2921783 23241671 948 2256 275 430 348 59.44/59.52 c 2750 108079 2934157 23330136 948 2266 403 403 366 59.53/59.67 c 2760 108511 2945376 23431394 948 2269 274 402 284 59.73/59.84 c 2770 108950 2957352 23526980 948 2279 430 430 390 59.83/59.95 c 2771 109185 2964785 23580426 948 2280 235 235 117 59.93/60.05 c 2780 109413 2971773 23630167 948 2289 220 220 198 60.13/60.20 c 2790 109822 2982708 23716718 948 2299 400 400 363 60.23/60.31 c 2800 110155 2990703 23783134 948 2309 324 324 294 60.33/60.42 c 2810 110434 2998751 23844512 948 2319 270 270 245 60.44/60.59 c 2820 110859 3010761 23935799 948 2328 280 412 350 60.63/60.74 c 2830 111262 3021772 24021245 948 2338 394 394 358 60.83/60.93 c 2840 111714 3034930 24121672 948 2348 423 439 397 61.03/61.10 c 2850 112165 3047264 24220623 948 2358 442 442 401 61.23/61.32 c 2860 112632 3061173 24332493 948 2364 226 445 352 61.44/61.51 c 2870 113096 3074450 24441798 948 2372 310 442 368 61.65/61.75 c 2880 113563 3090441 24552917 948 2378 387 445 378 61.74/61.87 c 2890 113807 3098060 24608468 948 2388 232 235 213 61.94/62.02 c 2900 114222 3108932 24712512 948 2390 279 391 294 62.04/62.14 c 2910 114466 3117082 24767767 948 2400 235 235 213 62.24/62.30 c 2920 114857 3128653 24850816 948 2410 382 382 347 62.34/62.45 c 2930 115272 3139908 24940172 948 2420 406 406 369 62.54/62.62 c 2940 115729 3151359 25044579 948 2429 429 442 398 62.64/62.73 c 2950 115985 3159194 25101684 948 2439 247 247 224 62.84/62.90 c 2960 116446 3171885 25205173 948 2448 289 448 378 62.94/63.07 c 2970 116873 3183821 25297903 948 2458 418 418 380 63.14/63.28 c 2980 117341 3198652 25405377 948 2466 375 454 377 63.44/63.50 c 2990 117813 3213894 25511809 948 2476 460 463 420 63.64/63.72 c 3000 118287 3228295 25622961 948 2484 379 460 395 63.74/63.90 c 3010 118753 3240864 25726715 948 2494 454 457 414 63.94/64.05 c 3020 119120 3251156 25814429 948 2504 358 358 325 64.14/64.28 c 3030 119595 3267257 25924113 948 2512 429 460 410 64.34/64.45 c 3040 119993 3279252 26016676 948 2522 389 389 353 64.44/64.57 c 3050 120276 3287486 26082138 948 2532 274 274 249 64.63/64.79 c 3060 120748 3303038 26191231 948 2540 430 457 408 64.84/64.96 c 3070 121132 3314947 26284415 948 2550 300 370 330 64.94/65.09 c 3080 121394 3323624 26344482 948 2560 253 253 230 65.13/65.25 c 3090 121767 3335248 26433173 948 2570 364 364 330 65.33/65.41 c 3100 122143 3346461 26523374 948 2580 367 367 333 65.53/65.61 c 3110 122536 3360389 26619488 948 2590 309 379 338 65.63/65.79 c 3120 122911 3372200 26712231 948 2598 313 355 312 65.83/65.99 c 3130 123305 3386986 26807784 948 2608 385 385 350 66.04/66.17 c 3140 123702 3400046 26904152 948 2618 388 388 352 66.23/66.33 c 3142 124085 3411711 26999278 948 2620 302 378 226 66.43/66.50 c 3150 124505 3424007 27104858 948 2627 286 409 336 66.53/66.69 c 3160 124930 3437068 27209818 948 2636 301 412 354 66.83/66.90 c 3170 125370 3451790 27324539 948 2641 307 423 353 67.04/67.10 c 3180 125810 3466205 27435479 948 2647 400 424 375 67.13/67.29 c 3190 126253 3478982 27551121 948 2651 404 415 370 67.33/67.46 c 3200 126605 3490611 27635627 948 2661 340 343 311 67.53/67.62 c 3210 126957 3501683 27719257 948 2671 343 343 311 67.63/67.79 c 3220 127383 3513664 27827730 948 2676 397 409 366 67.82/67.94 c 3230 127744 3523759 27913893 948 2686 352 352 320 67.92/68.09 c 3240 128107 3535276 28008371 948 2691 335 340 306 68.13/68.26 c 3250 128526 3546851 28112473 948 2700 316 406 352 68.32/68.40 c 3260 128897 3556777 28207521 948 2705 331 346 304 68.42/68.51 c 3270 129183 3565070 28273235 948 2715 277 277 251 68.62/68.73 c 3280 129620 3580115 28381132 948 2724 319 424 366 68.72/68.85 c 3290 129888 3588721 28441293 948 2734 259 259 235 68.92/69.03 c 3300 130277 3601450 28537408 948 2743 351 379 339 69.12/69.22 c 3310 130713 3615092 28651521 948 2747 246 415 332 69.23/69.36 c 3320 130981 3624531 28713326 948 2757 259 259 235 69.42/69.54 c 3330 131418 3637582 28830012 948 2759 401 404 366 69.52/69.66 c 3340 131683 3645717 28890796 948 2769 256 256 232 69.62/69.77 c 3350 131948 3653780 28951557 948 2779 256 256 232 69.82/69.91 c 3360 132216 3663246 29013730 948 2789 259 259 235 69.92/70.06 c 3370 132640 3673785 29117479 948 2799 409 415 375 70.12/70.26 c 3380 133073 3687049 29222836 948 2809 415 424 384 70.34/70.41 c 3390 133450 3697553 29313804 948 2818 283 364 316 70.53/70.60 c 3400 133879 3710394 29423230 948 2823 300 409 348 70.63/70.74 c 3410 134253 3719981 29512581 948 2832 271 361 312 70.83/70.94 c 3420 134685 3733488 29619463 948 2842 384 421 378 70.93/71.02 c 3430 134872 3739405 29657785 948 2852 178 178 161 71.13/71.22 c 3440 135302 3753312 29762283 948 2862 421 421 382 71.23/71.39 c 3450 135729 3765290 29865491 948 2872 418 418 380 71.44/71.57 c 3460 136164 3778233 29976444 948 2877 349 412 336 71.63/71.71 c 3470 136486 3787819 30052175 948 2887 313 313 284 71.73/71.86 c 3480 136882 3798715 30148765 948 2897 297 385 342 71.93/72.06 c 3490 137321 3811780 30264081 948 2900 334 412 320 72.13/72.26 c 3500 137759 3825873 30377819 948 2905 378 415 356 72.33/72.49 c 3510 138197 3840373 30490472 948 2913 269 418 332 72.43/72.57 c 3520 138414 3846523 30535835 948 2923 208 208 189 72.63/72.78 c 3530 138852 3861073 30644080 948 2933 309 427 377 72.83/72.98 c 3540 139292 3873803 30753477 948 2942 1 430 343 72.93/73.09 c 3550 139563 3881692 30813052 948 2952 262 262 238 73.03/73.16 c 3551 139797 3887219 30863890 948 2953 234 234 117 73.23/73.36 c 3560 140233 3901318 30974782 948 2959 412 424 377 73.43/73.54 c 3570 140662 3914012 31083952 948 2966 257 412 341 73.53/73.61 c 3580 140843 3919180 31118429 948 2976 172 172 156 73.63/73.79 c 3590 141256 3932342 31222798 948 2983 388 400 359 73.93/74.00 c 3600 141690 3946875 31334147 948 2988 380 412 358 74.03/74.18 c 3610 142113 3959306 31441633 948 2994 364 403 349 74.13/74.26 c 3620 142300 3964847 31479248 948 3004 178 178 161 74.33/74.47 c 3630 142743 3979644 31592224 948 3011 272 424 354 74.43/74.56 c 3640 143020 3986118 31652652 948 3021 268 268 243 74.63/74.73 c 3650 143402 3997918 31744382 948 3031 373 373 339 74.83/74.91 c 3660 143817 4010433 31848957 948 3037 325 400 329 75.02/75.10 c 3670 144240 4023611 31957172 948 3043 237 406 343 75.12/75.29 c 3680 144668 4037220 32062200 948 3053 245 415 361 75.32/75.49 c 3690 145112 4050552 32172003 948 3062 259 431 360 75.52/75.67 c 3700 145532 4063427 32275271 948 3071 275 407 346 75.72/75.83 c 3710 145898 4074000 32362633 948 3081 258 353 312 75.83/76.00 c 3720 146288 4085107 32457202 948 3091 261 377 332 76.02/76.18 c 3730 146728 4097783 32564688 948 3101 428 431 391 76.22/76.37 c 3740 147168 4110681 32672415 948 3111 431 431 391 76.32/76.49 c 3750 147446 4118622 32734818 948 3121 269 269 244 76.52/76.69 c 3760 147897 4132995 32848934 948 3128 232 431 346 76.72/76.84 c 3770 148273 4144073 32947590 948 3130 344 349 315 76.93/77.02 c 3780 148695 4156512 33051023 948 3140 336 413 367 77.03/77.17 c 3790 149063 4166751 33137885 948 3150 359 359 326 77.22/77.39 c 3800 149499 4181464 33250691 948 3155 362 410 344 77.42/77.57 c 3810 149934 4194275 33363027 948 3160 329 410 315 77.52/77.65 c 3820 150158 4199748 33408535 948 3170 215 215 195 77.72/77.81 c 3830 150565 4211342 33506078 948 3180 398 398 361 77.82/77.99 c 3840 150979 4223929 33608341 948 3187 344 401 344 78.03/78.18 c 3850 151405 4236698 33713167 948 3196 359 413 365 78.22/78.35 c 3860 151838 4248560 33819757 948 3205 278 419 355 78.42/78.55 c 3870 152277 4262620 33927840 948 3215 259 425 371 78.62/78.74 c 3880 152720 4275956 34037713 948 3224 262 425 365 78.72/78.84 c 3890 152959 4282661 34088624 948 3234 230 230 209 78.92/79.03 c 3900 153393 4296136 34196356 948 3243 217 419 357 79.13/79.23 c 3910 153790 4309876 34302049 948 3249 223 365 317 79.32/79.43 c 3920 154211 4324215 34405409 948 3259 223 410 355 79.52/79.60 c 3930 154634 4336004 34510325 948 3269 223 407 336 79.62/79.77 c 3940 155064 4347931 34619575 948 3273 377 407 352 79.82/79.94 c 3950 155429 4359059 34707871 948 3281 250 344 287 80.02/80.11 c 3960 155848 4371399 34808475 948 3291 410 410 372 80.12/80.21 c 3970 156075 4378429 34856265 948 3301 218 218 198 80.22/80.40 c 3980 156510 4391368 34965572 948 3308 335 410 345 80.42/80.58 c 3990 156936 4403890 35069357 948 3318 407 417 378 80.52/80.69 c 4000 157152 4410938 35115351 948 3328 207 207 188 80.72/80.80 c 4001 157455 4419426 35185476 948 3329 303 303 151 80.82/80.99 c 4010 157886 4432419 35291995 948 3338 257 421 361 80.92/81.07 c 4020 158115 4438117 35339671 948 3348 220 220 200 81.12/81.24 c 4030 158548 4450689 35444421 948 3358 424 424 385 81.22/81.34 c 4040 158765 4457465 35489297 948 3368 208 208 189 81.42/81.57 c 4050 159213 4473108 35605223 948 3375 409 424 380 81.61/81.78 c 4060 159652 4487461 35717456 948 3382 267 421 363 81.81/81.95 c 4070 160018 4499723 35805675 948 3392 273 355 315 82.01/82.15 c 4080 160442 4514171 35909095 948 3402 415 415 377 82.21/82.35 c 4090 160859 4527530 36011868 948 3412 276 406 355 82.42/82.54 c 4100 161302 4540846 36120208 948 3422 287 430 377 82.61/82.73 c 4110 161740 4553544 36227806 948 3432 288 427 375 82.81/82.94 c 4120 162196 4568631 36344706 948 3439 294 438 377 83.01/83.14 c 4130 162648 4582125 36456856 948 3449 305 439 386 83.21/83.36 c 4140 163106 4597389 36571426 948 3459 291 442 374 83.41/83.55 c 4150 163489 4610618 36664426 948 3469 293 370 329 83.52/83.66 c 4160 163766 4618797 36726922 948 3479 268 268 243 83.71/83.86 c 4170 164211 4632457 36836888 948 3489 430 436 395 83.81/83.98 c 4180 164518 4641142 36905392 948 3499 298 298 270 84.01/84.15 c 4190 164964 4652984 37015393 948 3508 322 433 373 84.21/84.35 c 4200 165409 4667234 37123902 948 3518 436 436 396 84.41/84.54 c 4210 165863 4680984 37241704 948 3523 303 427 350 84.51/84.66 c 4220 166164 4689181 37308234 948 3533 292 292 265 84.81/84.91 c 4230 166616 4704695 37433643 948 3535 366 415 338 85.01/85.15 c 4240 167044 4720449 37552384 948 3537 363 391 334 85.21/85.31 c 4250 167453 4731906 37651170 948 3547 400 400 363 85.31/85.48 c 4260 167823 4743428 37738921 948 3557 361 361 328 85.51/85.65 c 4270 168205 4755368 37829340 948 3567 373 373 339 85.72/85.84 c 4280 168619 4768556 37938748 948 3568 383 387 350 85.91/86.07 c 4290 169058 4784444 38050992 948 3577 378 424 377 86.01/86.18 c 4300 169311 4792029 38106177 948 3587 244 244 221 86.21/86.36 c 4310 169711 4805345 38202571 948 3597 391 391 355 86.41/86.54 c 4320 170102 4818077 38296788 948 3607 382 382 347 86.51/86.66 c 4330 170370 4826606 38355609 948 3617 259 259 235 86.71/86.83 c 4340 170773 4838878 38452406 948 3627 394 394 358 86.92/87.04 c 4350 171188 4852968 38553718 948 3637 400 406 368 87.11/87.22 c 4360 171585 4865887 38649481 948 3647 388 388 352 87.31/87.45 c 4370 172023 4881396 38767101 948 3651 404 408 369 87.51/87.63 c 4380 172463 4894070 38876106 948 3660 403 427 384 87.71/87.81 c 4390 172848 4905757 38967891 948 3670 376 376 341 87.92/88.02 c 4400 173309 4920390 39087497 948 3673 421 433 386 88.02/88.19 c 4410 173703 4932706 39181756 948 3683 385 385 350 88.21/88.38 c 4420 174103 4945844 39277066 948 3693 391 391 355 88.31/88.50 c 4430 174374 4954475 39337463 948 3703 262 262 238 88.61/88.70 c 4440 174780 4969024 39435628 948 3713 385 397 359 88.71/88.88 c 4450 175138 4981241 39524945 948 3722 255 343 295 89.01/89.10 c 4460 175599 4996335 39644345 948 3728 418 433 385 89.21/89.30 c 4470 176017 5010037 39744279 948 3738 409 409 371 89.41/89.50 c 4480 176466 5023517 39855770 948 3747 256 436 363 89.61/89.72 c 4490 176921 5038477 39969496 948 3756 256 442 368 89.71/89.84 c 4493 177192 5047044 40034960 948 3758 244 265 188 89.81/89.99 c 4500 177545 5057850 40120939 948 3764 259 343 279 90.01/90.12 c 4510 177907 5067807 40212046 948 3767 328 333 301 90.01/90.20 c 4520 178153 5073898 40273098 948 3772 221 224 202 90.21/90.34 c 4530 178428 5083847 40337822 948 3782 258 265 240 90.31/90.45 c 4540 178684 5092249 40395644 948 3792 247 247 224 90.41/90.58 c 4550 178977 5101098 40464175 948 3801 268 280 252 90.61/90.72 c 4560 179368 5112422 40564091 948 3803 355 361 325 90.71/90.83 c 4570 179700 5120749 40647564 948 3805 304 306 277 90.80/90.92 c 4580 179932 5127218 40696062 948 3815 223 223 202 90.90/91.08 c 4590 180335 5139576 40799951 948 3817 364 370 334 91.10/91.26 c 4600 180644 5151352 40880966 948 3818 283 288 259 91.21/91.34 c 4610 180840 5157182 40921411 948 3828 187 187 170 91.21/91.40 c 4620 181015 5161472 40953261 948 3838 166 166 150 91.40/91.56 c 4630 181351 5173084 41031837 948 3847 238 322 277 91.60/91.77 c 4640 181749 5187511 41136156 948 3851 328 376 312 91.70/91.85 c 4650 181927 5192729 41170322 948 3861 169 169 153 91.90/92.01 c 4660 182302 5204056 41260946 948 3870 334 361 321 92.00/92.17 c 4670 182693 5215735 41354020 948 3880 382 382 347 92.10/92.25 c 4680 182892 5220865 41392950 948 3890 190 190 172 92.20/92.39 c 4690 183214 5230917 41466842 948 3900 313 313 284 92.41/92.55 c 4700 183558 5242224 41547186 948 3910 328 335 303 92.50/92.69 c 4710 183911 5252368 41629359 948 3920 344 344 312 92.70/92.86 c 4720 184264 5263538 41712672 948 3930 341 344 312 92.80/92.99 c 4730 184664 5273830 41814467 948 3932 362 368 332 93.00/93.11 c 4740 184984 5282945 41887496 948 3942 311 311 282 93.10/93.21 c 4750 185241 5289789 41942094 948 3952 248 248 225 93.10/93.27 c 4760 185420 5294090 41974885 948 3962 170 170 154 93.30/93.44 c 4770 185784 5306253 42060824 948 3972 241 350 308 93.41/93.58 c 4780 186128 5316215 42140583 948 3982 335 335 304 93.60/93.75 c 4790 186489 5328267 42225709 948 3992 250 350 309 93.80/93.98 c 4800 186912 5343519 42335936 948 3997 374 398 348 93.90/94.05 c 4810 187121 5348691 42376672 948 4007 200 200 181 94.10/94.21 c 4820 187523 5360100 42473142 948 4015 230 386 308 94.20/94.38 c 4830 187930 5372565 42571041 948 4025 398 398 361 94.51/94.62 c 4840 188342 5388013 42677137 948 4030 368 389 341 94.70/94.82 c 4850 188758 5401550 42779619 948 4039 256 401 342 94.90/95.00 c 4860 189179 5413773 42882079 948 4049 259 410 359 95.00/95.16 c 4870 189593 5425249 42983156 948 4059 264 401 347 95.20/95.34 c 4880 190011 5438046 43084890 948 4069 265 407 357 95.40/95.52 c 4890 190422 5450384 43183239 948 4079 370 401 361 95.61/95.71 c 4900 190843 5464032 43285969 948 4089 271 410 360 95.71/95.89 c 4910 191269 5477020 43389584 948 4099 282 413 363 96.00/96.10 c 4920 191701 5491771 43497091 948 4107 380 413 361 96.10/96.27 c 4930 192149 5503408 43612403 948 4113 292 419 359 96.20/96.39 c 4940 192379 5511277 43661999 948 4123 221 221 200 96.40/96.58 c 4950 192810 5525399 43766467 948 4133 422 422 383 96.60/96.78 c 4960 193245 5538654 43873044 948 4143 261 422 368 96.81/96.96 c 4970 193683 5552003 43979803 948 4153 267 425 372 97.00/97.16 c 4980 194130 5564835 44090269 948 4163 276 434 379 97.20/97.35 c 4990 194583 5577689 44202848 948 4173 437 444 402 97.40/97.57 c 5035 195074 5591674 44318957 948 4218 438 447 436 97.80/97.92 c 5631 196127 5608091 44445834 948 4805 1 440 422 98.21/98.32 c 6286 197249 5626688 44566267 948 5460 345 468 423 98.60/98.77 c 7006 198463 5644049 44692579 948 6179 1 495 446 99.10/99.26 c 7798 199805 5664252 44843054 948 6961 326 524 503 99.60/99.75 c 8669 201222 5684875 44983424 948 7832 514 547 526 100.11/100.28 c 9627 202752 5706936 45134845 948 8787 443 561 546 100.70/100.85 c 10680 204412 5729435 45293267 948 9839 492 604 580 101.30/101.47 c 11838 206212 5752417 45461158 948 10997 423 640 613 102.10/102.22 c 13111 208214 5779845 45659309 948 12264 553 708 662 102.90/103.05 c 14511 210386 5808085 45860338 948 13664 674 773 728 103.80/103.94 c 16051 212777 5837560 46089064 948 15204 754 852 804 104.99/105.18 c 17745 215737 5890058 46536343 948 16348 752 919 860 106.39/106.53 c 19608 218902 5945602 46980305 948 17405 851 1031 945 107.49/107.67 c 21657 222312 5987655 47460859 948 18797 754 1044 997 108.99/109.15 c 23910 225915 6042679 47919322 948 20951 677 1035 956 110.09/110.28 c 26388 229907 6093499 48521933 948 21170 732 876 865 111.79/111.98 c 29113 234092 6154827 49129163 948 22881 515 1028 799 113.89/114.01 c 32110 239359 6254472 50274596 948 23115 596 830 819 116.88/117.07 c 35406 246398 6408193 52053668 948 23422 636 715 707 118.39/118.56 c 39031 250747 6448052 52247512 948 27046 355 721 510 120.19/120.36 c 43018 255646 6491113 52504288 948 31033 631 913 793 122.29/122.49 c 47403 261490 6566093 53080373 948 33225 569 1011 972 125.68/125.81 c 52226 268596 6706964 54326819 948 36587 654 1047 970 128.49/128.63 c 57531 276256 6818750 55432241 948 37257 474 698 689 132.38/132.50 c 63366 284682 6990841 56836107 948 40547 374 601 573 135.58/135.75 c 69784 293084 7127220 57781976 948 41193 376 504 494 138.58/138.77 c 76843 301162 7186034 58091357 948 48246 290 986 782 141.88/142.09 c 84607 311026 7261928 58995428 948 54927 315 1152 916 145.78/145.94 c 93147 321159 7350780 59578424 948 63368 303 1246 924 149.67/149.85 c 102541 333021 7451652 60513121 948 68422 253 1381 1292 155.27/155.49 c 112874 348321 7682869 62712937 948 68772 354 732 691 164.77/164.97 c 124240 367846 8113409 66811066 948 68992 336 569 549 170.57/170.72 c 136742 383484 8295030 68328971 948 75837 290 1065 684 174.66/174.87 c 150494 401136 8449994 70076969 948 76258 348 487 475 186.16/186.32 c 165621 428978 8972596 78190762 948 77973 321 724 672 194.36/194.54 c 182260 449294 9223277 80148006 948 93394 301 1132 718 200.55/200.76 c 200562 469776 9443752 81089774 948 94035 1 520 506 211.55/211.78 c 220694 497267 9924147 84741846 948 94580 307 565 553 219.74/219.95 c 242839 523723 10118909 87142989 948 108243 282 1205 836 227.94/228.15 c 267198 551823 10414202 88933818 948 110413 345 549 527 236.53/236.76 c 293992 583716 10603119 91202588 948 124947 311 1239 769 247.44/247.69 c 323465 620267 11026906 95196006 948 125686 345 553 538 261.03/261.23 c 355885 662933 11497559 100119354 948 133360 295 862 719 281.43/281.63 c 391547 712261 12397749 108924940 948 133896 289 564 544 298.21/298.48 c 430775 762678 13110829 113823325 948 133909 259 432 421 335.09/335.30 c 473925 826847 14850998 126366682 948 134738 322 546 534 349.29/349.59 c 521390 885653 15365004 132931282 948 137401 302 564 545 371.18/371.42 c 573601 958496 16348250 144101866 948 137843 377 459 446 386.08/386.36 c 631033 1027319 16907910 150321767 948 141044 325 529 514 407.17/407.44 c 694208 1099848 17489917 155598552 948 161818 247 1311 745 433.17/433.43 c 763700 1185036 18567394 161889463 948 162514 362 378 367 455.55/455.83 c 840141 1284862 19277852 172328062 948 176105 246 840 766 493.75/494.00 c 924226 1389985 20834022 183945354 948 178021 289 585 499 521.24/521.58 c 1016719 1498839 21814886 192665423 948 179104 369 507 495 572.40/572.78 c 1118461 1630680 23930115 207467684 948 181673 271 582 484 610.69/611.02 c 1230377 1759122 24971109 218045965 948 202142 346 1378 841 648.78/649.19 c 1353484 1899618 26255750 225096092 948 218186 1 1048 496 706.46/706.80 c 1488901 2114275 28364824 265334878 948 234174 268 1335 1038 757.65/758.09 c 1637859 2330807 30026867 298582493 948 248108 384 1155 882 812.23/812.67 c 1801712 2530091 32000887 317103737 948 249189 386 591 578 866.91/867.35 c 1981950 2767185 34206282 344431002 948 249828 369 654 633 950.39/950.83 c 2180211 3042174 37762799 385492557 948 251068 251 648 615 1046.54/1047.02 c 2398298 3308745 41645278 411685481 948 251807 265 585 567 1142.71/1143.23 c 2638193 3610336 45558297 439675454 948 251952 285 533 502 1301.93/1302.50 c 2902077 3969932 52503350 485697975 948 252367 312 465 452 1425.98/1426.61 c 3192349 4386251 57105589 571123268 948 265249 234 1283 908 1521.66/1522.31 c 3511648 4844944 61531074 647545542 948 265305 334 584 564 1625.24/1625.93 c 3862876 5279837 65475171 691105352 948 265778 328 584 562 1789.36/1790.16 c 4249226 5749239 72033710 735296224 948 266949 243 514 456 1945.40/1946.27 c 4674211 6296351 78028624 793356231 948 268035 322 517 454 2057.38/2058.24 c 5141694 6871878 82150325 839363103 948 268052 375 461 450 2214.12/2215.00 c 5655925 7470006 88050630 877980116 948 269396 446 464 452 2361.39/2362.30 c 6221579 8146419 92964237 934983271 948 274128 252 671 642
One s line expected
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) 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. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4242013-1500653327/watcher-4242013-1500653327 -o /tmp/evaluation-result-4242013-1500653327/solver-4242013-1500653327 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node104-1500648178-9847 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4242013-1500653327.xml pid=11279 running on 8 cores: 1,3,5,7,9,11,13,15 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 2.14 3.37 3.69 3/241 11282 /proc/meminfo: memFree=32078816/32770624 swapFree=5868/17556 [pid=11282] ppid=11279 vsize=27648 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/11282/stat : 11282 (cosoco) R 11279 11282 9815 0 -1 4202496 1108 0 0 0 0 0 0 0 20 0 1 0 602384 28311552 939 33554432000 4194304 5970956 140724686238528 140724686235176 139727306054629 0 0 4096 0 0 0 0 17 9 0 0 0 0 0 8070896 8075904 11919360 140724686247100 140724686247235 140724686247235 140724686249934 0 /proc/11282/statm: 6912 939 703 434 0 276 0 [startup+0.100155 s] /proc/loadavg: 2.14 3.37 3.69 3/241 11282 /proc/meminfo: memFree=32078816/32770624 swapFree=5868/17556 [pid=11282] ppid=11279 vsize=63216 CPUtime=0.08 cores=1,3,5,7,9,11,13,15 /proc/11282/stat : 11282 (cosoco) R 11279 11282 9815 0 -1 4202496 8901 0 0 0 7 1 0 0 20 0 1 0 602384 64733184 9731 33554432000 4194304 5970956 140724686238528 140724686235352 139727306054629 0 0 4096 8404994 0 0 0 17 9 0 0 0 0 0 8070896 8075904 11919360 140724686247100 140724686247235 140724686247235 140724686249934 0 /proc/11282/statm: 15804 9731 760 434 0 9168 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 63216 [startup+0.200392 s] /proc/loadavg: 2.14 3.37 3.69 3/241 11282 /proc/meminfo: memFree=32078816/32770624 swapFree=5868/17556 [pid=11282] ppid=11279 vsize=109868 CPUtime=0.19 cores=1,3,5,7,9,11,13,15 /proc/11282/stat : 11282 (cosoco) R 11279 11282 9815 0 -1 4202496 17424 0 0 0 16 3 0 0 20 0 1 0 602384 112504832 20802 33554432000 4194304 5970956 140724686238528 140724686235352 139727306123819 0 0 4096 8404994 0 0 0 17 9 0 0 0 0 0 8070896 8075904 11919360 140724686247100 140724686247235 140724686247235 140724686249934 0 /proc/11282/statm: 27467 20802 760 434 0 20831 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 109868 [startup+0.300379 s] /proc/loadavg: 2.14 3.37 3.69 3/241 11282 /proc/meminfo: memFree=32078816/32770624 swapFree=5868/17556 [pid=11282] ppid=11279 vsize=176588 CPUtime=0.28 cores=1,3,5,7,9,11,13,15 /proc/11282/stat : 11282 (cosoco) R 11279 11282 9815 0 -1 4202496 26772 0 0 0 24 4 0 0 20 0 1 0 602384 180826112 36309 33554432000 4194304 5970956 140724686238528 140724686235352 139727306123819 0 0 4096 8404994 0 0 0 17 9 0 0 0 0 0 8070896 8075904 11919360 140724686247100 140724686247235 140724686247235 140724686249934 0 /proc/11282/statm: 44147 36309 760 434 0 37511 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 176588 [startup+0.700276 s] /proc/loadavg: 2.14 3.37 3.69 3/241 11282 /proc/meminfo: memFree=32078816/32770624 swapFree=5868/17556 [pid=11282] ppid=11279 vsize=485436 CPUtime=0.69 cores=1,3,5,7,9,11,13,15 /proc/11282/stat : 11282 (cosoco) R 11279 11282 9815 0 -1 4202496 58600 0 0 0 59 10 0 0 20 0 1 0 602384 497086464 94692 33554432000 4194304 5970956 140724686238528 140724686235352 139727306054629 0 0 4096 8404994 0 0 0 17 9 0 0 0 0 0 8070896 8075904 11919360 140724686247100 140724686247235 140724686247235 140724686249934 0 /proc/11282/statm: 121359 94692 760 434 0 114723 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 485436 [startup+1.50029 s] /proc/loadavg: 2.14 3.37 3.69 3/242 11283 /proc/meminfo: memFree=31471932/32770624 swapFree=5868/17424 [pid=11282] ppid=11279 vsize=899860 CPUtime=1.48 cores=1,3,5,7,9,11,13,15 /proc/11282/stat : 11282 (cosoco) R 11279 11282 9815 0 -1 4202496 117086 0 0 0 127 21 0 0 20 0 1 0 602384 921456640 208884 33554432000 4194304 5970956 140724686238528 140724686235352 139727306123819 0 0 4096 8404994 0 0 0 17 9 0 0 0 0 0 8070896 8075904 11919360 140724686247100 140724686247235 140724686247235 140724686249934 0 /proc/11282/statm: 224965 208884 760 434 0 218329 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 899860 [startup+3.1003 s] /proc/loadavg: 2.14 3.37 3.69 3/242 11283 /proc/meminfo: memFree=30852844/32770624 swapFree=5868/17424 [pid=11282] ppid=11279 vsize=2022112 CPUtime=3.09 cores=1,3,5,7,9,11,13,15 /proc/11282/stat : 11282 (cosoco) R 11279 11282 9815 0 -1 4202496 231449 0 0 0 265 44 0 0 20 0 1 0 602384 2070642688 430418 33554432000 4194304 5970956 140724686238528 140724686235352 139727306123819 0 0 4096 8404994 0 0 0 17 9 0 0 0 0 0 8070896 8075904 11919360 140724686247100 140724686247235 140724686247235 140724686249934 0 /proc/11282/statm: 505528 430418 760 434 0 498892 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 2022112 [startup+6.30029 s] /proc/loadavg: 2.05 3.34 3.67 4/242 11283 /proc/meminfo: memFree=29033592/32770624 swapFree=5872/17528 [pid=11282] ppid=11279 vsize=3721260 CPUtime=6.28 cores=1,3,5,7,9,11,13,15 /proc/11282/stat : 11282 (cosoco) R 11279 11282 9815 0 -1 4202496 452622 0 0 0 542 86 0 0 20 0 1 0 602384 3810570240 868997 33554432000 4194304 5970956 140724686238528 140724686235352 139727306054629 0 0 4096 8404994 0 0 0 17 9 0 0 0 0 0 8070896 8075904 11919360 140724686247100 140724686247235 140724686247235 140724686249934 0 /proc/11282/statm: 930315 868997 760 434 0 923679 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 3721260 [startup+12.7003 s] /proc/loadavg: 2.04 3.31 3.66 3/242 11283 /proc/meminfo: memFree=25469692/32770624 swapFree=5868/17536 [pid=11282] ppid=11279 vsize=8109084 CPUtime=12.68 cores=1,3,5,7,9,11,13,15 /proc/11282/stat : 11282 (cosoco) R 11279 11282 9815 0 -1 4202496 881378 0 0 0 1099 169 0 0 20 0 1 0 602384 8303702016 1730227 33554432000 4194304 5970956 140724686238528 140724686235352 139727306515436 0 0 4096 8404994 0 0 0 17 9 0 0 0 0 0 8070896 8075904 11919360 140724686247100 140724686247235 140724686247235 140724686249934 0 /proc/11282/statm: 2027304 1730227 760 434 0 2020668 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 8109084 [startup+25.5004 s] /proc/loadavg: 2.03 3.25 3.64 3/243 11284 /proc/meminfo: memFree=22647368/32770624 swapFree=5868/18696 [pid=11282] ppid=11279 vsize=9693280 CPUtime=25.47 cores=1,3,5,7,9,11,13,15 /proc/11282/stat : 11282 (cosoco) R 11279 11282 9815 0 -1 4202496 1227631 0 0 0 2314 233 0 0 20 0 1 0 602384 9925918720 2353039 33554432000 4194304 5970956 140724686238528 140724686235864 4934506 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 11919360 140724686247100 140724686247235 140724686247235 140724686249934 0 /proc/11282/statm: 2423320 2353039 785 434 0 2416684 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 9693280 [startup+51.1004 s] /proc/loadavg: 2.02 3.15 3.59 3/243 11284 /proc/meminfo: memFree=22645632/32770624 swapFree=5868/18732 [pid=11282] ppid=11279 vsize=9694180 CPUtime=51.04 cores=1,3,5,7,9,11,13,15 /proc/11282/stat : 11282 (cosoco) R 11279 11282 9815 0 -1 4202496 1251087 0 0 0 4870 234 0 0 20 0 1 0 602384 9926840320 2353777 33554432000 4194304 5970956 140724686238528 140724686235864 4934320 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 11919360 140724686247100 140724686247235 140724686247235 140724686249934 0 /proc/11282/statm: 2423545 2353777 785 434 0 2416909 0 Current children cumulated CPU time (s) 51.04 Current children cumulated vsize (KiB) 9694180 [startup+102.3 s] /proc/loadavg: 2.01 2.97 3.51 3/244 11293 /proc/meminfo: memFree=22621400/32770624 swapFree=5868/18764 [pid=11282] ppid=11279 vsize=9699268 CPUtime=102.21 cores=1,3,5,7,9,11,13,15 /proc/11282/stat : 11282 (cosoco) R 11279 11282 9815 0 -1 4202496 1298411 0 0 0 9981 240 0 0 20 0 1 0 602384 9932050432 2359635 33554432000 4194304 5970956 140724686238528 140724686235864 5243443 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 11919360 140724686247100 140724686247235 140724686247235 140724686249934 0 /proc/11282/statm: 2424817 2359635 785 434 0 2418181 0 Current children cumulated CPU time (s) 102.21 Current children cumulated vsize (KiB) 9699268 [startup+162.3 s] /proc/loadavg: 2.00 2.80 3.42 3/244 11294 /proc/meminfo: memFree=22423784/32770624 swapFree=5868/18844 [pid=11282] ppid=11279 vsize=12149164 CPUtime=162.17 cores=1,3,5,7,9,11,13,15 /proc/11282/stat : 11282 (cosoco) R 11279 11282 9815 0 -1 4202496 1414976 0 0 0 15963 254 0 0 20 0 1 0 602384 12440743936 2408719 33554432000 4194304 5970956 140724686238528 140724686235864 4934460 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 11919360 140724686247100 140724686247235 140724686247235 140724686249934 0 /proc/11282/statm: 3037291 2408719 785 434 0 3030655 0 Current children cumulated CPU time (s) 162.17 Current children cumulated vsize (KiB) 12149164 [startup+222.308 s] /proc/loadavg: 2.00 2.65 3.33 3/244 11295 /proc/meminfo: memFree=22314276/32770624 swapFree=5868/18912 [pid=11282] ppid=11279 vsize=12150360 CPUtime=222.14 cores=1,3,5,7,9,11,13,15 /proc/11282/stat : 11282 (cosoco) R 11279 11282 9815 0 -1 4202496 1540284 0 0 0 21953 261 0 0 20 0 1 0 602384 12441968640 2436150 33554432000 4194304 5970956 140724686238528 140724686235864 4930672 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 11919360 140724686247100 140724686247235 140724686247235 140724686249934 0 /proc/11282/statm: 3037590 2436150 785 434 0 3030954 0 Current children cumulated CPU time (s) 222.14 Current children cumulated vsize (KiB) 12150360 [startup+282.3 s] /proc/loadavg: 2.00 2.53 3.25 3/244 11296 /proc/meminfo: memFree=22241988/32770624 swapFree=5868/18964 [pid=11282] ppid=11279 vsize=12151100 CPUtime=282.12 cores=1,3,5,7,9,11,13,15 /proc/11282/stat : 11282 (cosoco) R 11279 11282 9815 0 -1 4202496 1613873 0 0 0 27946 266 0 0 20 0 1 0 602384 12442726400 2454217 33554432000 4194304 5970956 140724686238528 140724686235864 5098928 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 11919360 140724686247100 140724686247235 140724686247235 140724686249934 0 /proc/11282/statm: 3037775 2454217 785 434 0 3031139 0 Current children cumulated CPU time (s) 282.12 Current children cumulated vsize (KiB) 12151100 [startup+342.3 s] /proc/loadavg: 2.00 2.44 3.17 3/244 11297 /proc/meminfo: memFree=22240528/32770624 swapFree=5868/19032 [pid=11282] ppid=11279 vsize=12151100 CPUtime=342.09 cores=1,3,5,7,9,11,13,15 /proc/11282/stat : 11282 (cosoco) R 11279 11282 9815 0 -1 4202496 1657764 0 0 0 33941 268 0 0 20 0 1 0 602384 12442726400 2454729 33554432000 4194304 5970956 140724686238528 140724686235864 4974141 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 11919360 140724686247100 140724686247235 140724686247235 140724686249934 0 /proc/11282/statm: 3037775 2454729 785 434 0 3031139 0 Current children cumulated CPU time (s) 342.09 Current children cumulated vsize (KiB) 12151100 [startup+402.3 s] /proc/loadavg: 2.00 2.36 3.09 3/243 11298 /proc/meminfo: memFree=22229960/32770624 swapFree=5868/19092 [pid=11282] ppid=11279 vsize=12151384 CPUtime=402.06 cores=1,3,5,7,9,11,13,15 /proc/11282/stat : 11282 (cosoco) R 11279 11282 9815 0 -1 4202496 1735082 0 0 0 39934 272 0 0 20 0 1 0 602384 12443017216 2457368 33554432000 4194304 5970956 140724686238528 140724686235384 4974816 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 11919360 140724686247100 140724686247235 140724686247235 140724686249934 0 /proc/11282/statm: 3037846 2457368 785 434 0 3031210 0 Current children cumulated CPU time (s) 402.06 Current children cumulated vsize (KiB) 12151384 [startup+462.3 s] /proc/loadavg: 2.00 2.29 3.03 3/243 11299 /proc/meminfo: memFree=22130732/32770624 swapFree=5868/19136 [pid=11282] ppid=11279 vsize=12152552 CPUtime=462.05 cores=1,3,5,7,9,11,13,15 /proc/11282/stat : 11282 (cosoco) R 11279 11282 9815 0 -1 4202496 1802070 0 0 0 45928 277 0 0 20 0 1 0 602384 12444213248 2482202 33554432000 4194304 5970956 140724686238528 140724686235384 5311659 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 11919360 140724686247100 140724686247235 140724686247235 140724686249934 0 /proc/11282/statm: 3038138 2482202 785 434 0 3031502 0 Current children cumulated CPU time (s) 462.05 Current children cumulated vsize (KiB) 12152552 [startup+522.3 s] /proc/loadavg: 2.00 2.24 2.96 3/243 11300 /proc/meminfo: memFree=22126292/32770624 swapFree=5868/19176 [pid=11282] ppid=11279 vsize=12152740 CPUtime=522.03 cores=1,3,5,7,9,11,13,15 /proc/11282/stat : 11282 (cosoco) R 11279 11282 9815 0 -1 4202496 1834266 0 0 0 51924 279 0 0 20 0 1 0 602384 12444405760 2483788 33554432000 4194304 5970956 140724686238528 140724686235384 4934272 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 11919360 140724686247100 140724686247235 140724686247235 140724686249934 0 /proc/11282/statm: 3038185 2483788 785 434 0 3031549 0 Current children cumulated CPU time (s) 522.03 Current children cumulated vsize (KiB) 12152740 [startup+582.3 s] /proc/loadavg: 2.00 2.19 2.90 3/243 11301 /proc/meminfo: memFree=22118252/32770624 swapFree=5868/19208 [pid=11282] ppid=11279 vsize=12152740 CPUtime=582 cores=1,3,5,7,9,11,13,15 /proc/11282/stat : 11282 (cosoco) R 11279 11282 9815 0 -1 4202496 1869416 0 0 0 57919 281 0 0 20 0 1 0 602384 12444405760 2485324 33554432000 4194304 5970956 140724686238528 140724686235864 4977811 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 11919360 140724686247100 140724686247235 140724686247235 140724686249934 0 /proc/11282/statm: 3038185 2485324 785 434 0 3031549 0 Current children cumulated CPU time (s) 582 Current children cumulated vsize (KiB) 12152740 ################ # More data... # ################ [startup+1542.31 s] /proc/loadavg: 2.06 2.04 2.34 3/243 11334 /proc/meminfo: memFree=21863708/32770624 swapFree=5868/19916 [pid=11282] ppid=11279 vsize=12156076 CPUtime=1541.66 cores=1,3,5,7,9,11,13,15 /proc/11282/stat : 11282 (cosoco) R 11279 11282 9815 0 -1 4202496 2488404 0 0 0 153849 317 0 0 20 0 1 0 602384 12447821824 2548559 33554432000 4194304 5970956 140724686238528 140724686235384 4977769 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 11919360 140724686247100 140724686247235 140724686247235 140724686249934 0 /proc/11282/statm: 3039019 2548559 785 434 0 3032383 0 Current children cumulated CPU time (s) 1541.66 Current children cumulated vsize (KiB) 12156076 [startup+1602.3 s] /proc/loadavg: 2.02 2.03 2.32 3/243 11401 /proc/meminfo: memFree=17767728/32770624 swapFree=5868/20036 [pid=11282] ppid=11279 vsize=12156076 CPUtime=1601.64 cores=1,3,5,7,9,11,13,15 /proc/11282/stat : 11282 (cosoco) R 11279 11282 9815 0 -1 4202496 2503421 0 0 0 159846 318 0 0 20 0 1 0 602384 12447821824 2548559 33554432000 4194304 5970956 140724686238528 140724686235384 4976713 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 11919360 140724686247100 140724686247235 140724686247235 140724686249934 0 /proc/11282/statm: 3039019 2548559 785 434 0 3032383 0 Current children cumulated CPU time (s) 1601.64 Current children cumulated vsize (KiB) 12156076 [startup+1662.3 s] /proc/loadavg: 2.01 2.03 2.30 3/243 11402 /proc/meminfo: memFree=15425660/32770624 swapFree=5868/20144 [pid=11282] ppid=11279 vsize=12156172 CPUtime=1661.6 cores=1,3,5,7,9,11,13,15 /proc/11282/stat : 11282 (cosoco) R 11279 11282 9815 0 -1 4202496 2530821 0 0 0 165841 319 0 0 20 0 1 0 602384 12447920128 2549080 33554432000 4194304 5970956 140724686238528 140724686235896 4934320 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 11919360 140724686247100 140724686247235 140724686247235 140724686249934 0 /proc/11282/statm: 3039043 2549080 785 434 0 3032407 0 Current children cumulated CPU time (s) 1661.6 Current children cumulated vsize (KiB) 12156172 [startup+1722.3 s] /proc/loadavg: 2.00 2.02 2.28 3/243 11403 /proc/meminfo: memFree=15425572/32770624 swapFree=5868/20236 [pid=11282] ppid=11279 vsize=12156172 CPUtime=1721.58 cores=1,3,5,7,9,11,13,15 /proc/11282/stat : 11282 (cosoco) R 11279 11282 9815 0 -1 4202496 2544276 0 0 0 171838 320 0 0 20 0 1 0 602384 12447920128 2549080 33554432000 4194304 5970956 140724686238528 140724686235896 4969886 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 11919360 140724686247100 140724686247235 140724686247235 140724686249934 0 /proc/11282/statm: 3039043 2549080 785 434 0 3032407 0 Current children cumulated CPU time (s) 1721.58 Current children cumulated vsize (KiB) 12156172 [startup+1782.3 s] /proc/loadavg: 2.00 2.01 2.26 3/243 11404 /proc/meminfo: memFree=15425272/32770624 swapFree=5868/20320 [pid=11282] ppid=11279 vsize=12156172 CPUtime=1781.55 cores=1,3,5,7,9,11,13,15 /proc/11282/stat : 11282 (cosoco) R 11279 11282 9815 0 -1 4202496 2559051 0 0 0 177834 321 0 0 20 0 1 0 602384 12447920128 2549080 33554432000 4194304 5970956 140724686238528 140724686235896 4974138 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 11919360 140724686247100 140724686247235 140724686247235 140724686249934 0 /proc/11282/statm: 3039043 2549080 785 434 0 3032407 0 Current children cumulated CPU time (s) 1781.55 Current children cumulated vsize (KiB) 12156172 [startup+1842.3 s] /proc/loadavg: 2.00 2.01 2.25 3/243 11405 /proc/meminfo: memFree=15423144/32770624 swapFree=5868/20368 [pid=11282] ppid=11279 vsize=12156172 CPUtime=1841.54 cores=1,3,5,7,9,11,13,15 /proc/11282/stat : 11282 (cosoco) R 11279 11282 9815 0 -1 4202496 2581612 0 0 0 183832 322 0 0 20 0 1 0 602384 12447920128 2549603 33554432000 4194304 5970956 140724686238528 140724686235864 4974237 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 11919360 140724686247100 140724686247235 140724686247235 140724686249934 0 /proc/11282/statm: 3039043 2549603 785 434 0 3032407 0 Current children cumulated CPU time (s) 1841.54 Current children cumulated vsize (KiB) 12156172 [startup+1902.3 s] /proc/loadavg: 2.00 2.01 2.23 3/244 11414 /proc/meminfo: memFree=15423236/32770624 swapFree=5868/20428 [pid=11282] ppid=11279 vsize=12156172 CPUtime=1901.51 cores=1,3,5,7,9,11,13,15 /proc/11282/stat : 11282 (cosoco) R 11279 11282 9815 0 -1 4202496 2601981 0 0 0 189826 325 0 0 20 0 1 0 602384 12447920128 2549603 33554432000 4194304 5970956 140724686238528 140724686235864 4974808 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 11919360 140724686247100 140724686247235 140724686247235 140724686249934 0 /proc/11282/statm: 3039043 2549603 785 434 0 3032407 0 Current children cumulated CPU time (s) 1901.51 Current children cumulated vsize (KiB) 12156172 [startup+1962.3 s] /proc/loadavg: 2.00 2.01 2.22 3/244 11415 /proc/meminfo: memFree=15421088/32770624 swapFree=5868/20480 [pid=11282] ppid=11279 vsize=12156172 CPUtime=1961.5 cores=1,3,5,7,9,11,13,15 /proc/11282/stat : 11282 (cosoco) R 11279 11282 9815 0 -1 4202496 2633524 0 0 0 195823 327 0 0 20 0 1 0 602384 12447920128 2550115 33554432000 4194304 5970956 140724686238528 140724686235864 5243447 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 11919360 140724686247100 140724686247235 140724686247235 140724686249934 0 /proc/11282/statm: 3039043 2550115 785 434 0 3032407 0 Current children cumulated CPU time (s) 1961.5 Current children cumulated vsize (KiB) 12156172 [startup+2022.3 s] /proc/loadavg: 2.00 2.01 2.20 3/244 11416 /proc/meminfo: memFree=15420872/32770624 swapFree=5868/20556 [pid=11282] ppid=11279 vsize=12156172 CPUtime=2021.49 cores=1,3,5,7,9,11,13,15 /proc/11282/stat : 11282 (cosoco) R 11279 11282 9815 0 -1 4202496 2642963 0 0 0 201821 328 0 0 20 0 1 0 602384 12447920128 2550115 33554432000 4194304 5970956 140724686238528 140724686235864 4970977 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 11919360 140724686247100 140724686247235 140724686247235 140724686249934 0 /proc/11282/statm: 3039043 2550115 785 434 0 3032407 0 Current children cumulated CPU time (s) 2021.49 Current children cumulated vsize (KiB) 12156172 [startup+2082.3 s] /proc/loadavg: 2.00 2.01 2.19 3/244 11417 /proc/meminfo: memFree=15420664/32770624 swapFree=5868/20600 [pid=11282] ppid=11279 vsize=12156364 CPUtime=2081.48 cores=1,3,5,7,9,11,13,15 /proc/11282/stat : 11282 (cosoco) R 11279 11282 9815 0 -1 4202496 2668541 0 0 0 207819 329 0 0 20 0 1 0 602384 12448116736 2550149 33554432000 4194304 5970956 140724686238528 140724686235384 4930544 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 11919360 140724686247100 140724686247235 140724686247235 140724686249934 0 /proc/11282/statm: 3039091 2550149 785 434 0 3032455 0 Current children cumulated CPU time (s) 2081.48 Current children cumulated vsize (KiB) 12156364 [startup+2142.3 s] /proc/loadavg: 2.00 2.01 2.18 3/244 11418 /proc/meminfo: memFree=15421072/32770624 swapFree=5868/20652 [pid=11282] ppid=11279 vsize=12156364 CPUtime=2141.45 cores=1,3,5,7,9,11,13,15 /proc/11282/stat : 11282 (cosoco) R 11279 11282 9815 0 -1 4202496 2681792 0 0 0 213815 330 0 0 20 0 1 0 602384 12448116736 2550149 33554432000 4194304 5970956 140724686238528 140724686235384 4974316 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 11919360 140724686247100 140724686247235 140724686247235 140724686249934 0 /proc/11282/statm: 3039091 2550149 785 434 0 3032455 0 Current children cumulated CPU time (s) 2141.45 Current children cumulated vsize (KiB) 12156364 [startup+2202.31 s] /proc/loadavg: 2.00 2.01 2.17 3/243 11419 /proc/meminfo: memFree=15420756/32770624 swapFree=5868/20692 [pid=11282] ppid=11279 vsize=12156364 CPUtime=2201.43 cores=1,3,5,7,9,11,13,15 /proc/11282/stat : 11282 (cosoco) R 11279 11282 9815 0 -1 4202496 2691906 0 0 0 219812 331 0 0 20 0 1 0 602384 12448116736 2550149 33554432000 4194304 5970956 140724686238528 140724686235384 4969768 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 11919360 140724686247100 140724686247235 140724686247235 140724686249934 0 /proc/11282/statm: 3039091 2550149 785 434 0 3032455 0 Current children cumulated CPU time (s) 2201.43 Current children cumulated vsize (KiB) 12156364 [startup+2262.3 s] /proc/loadavg: 2.04 2.03 2.16 3/243 11420 /proc/meminfo: memFree=15416956/32770624 swapFree=5868/20724 [pid=11282] ppid=11279 vsize=12156364 CPUtime=2261.41 cores=1,3,5,7,9,11,13,15 /proc/11282/stat : 11282 (cosoco) R 11279 11282 9815 0 -1 4202496 2739677 0 0 0 225808 333 0 0 20 0 1 0 602384 12448116736 2550661 33554432000 4194304 5970956 140724686238528 140724686235864 4974415 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 11919360 140724686247100 140724686247235 140724686247235 140724686249934 0 /proc/11282/statm: 3039091 2550661 785 434 0 3032455 0 Current children cumulated CPU time (s) 2261.41 Current children cumulated vsize (KiB) 12156364 [startup+2322.3 s] /proc/loadavg: 2.02 2.02 2.15 3/243 11421 /proc/meminfo: memFree=15416996/32770624 swapFree=5868/20764 [pid=11282] ppid=11279 vsize=12156364 CPUtime=2321.39 cores=1,3,5,7,9,11,13,15 /proc/11282/stat : 11282 (cosoco) R 11279 11282 9815 0 -1 4202496 2749395 0 0 0 231805 334 0 0 20 0 1 0 602384 12448116736 2550661 33554432000 4194304 5970956 140724686238528 140724686235864 4970936 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 11919360 140724686247100 140724686247235 140724686247235 140724686249934 0 /proc/11282/statm: 3039091 2550661 785 434 0 3032455 0 Current children cumulated CPU time (s) 2321.39 Current children cumulated vsize (KiB) 12156364 [startup+2382.3 s] /proc/loadavg: 2.01 2.02 2.14 3/243 11422 /proc/meminfo: memFree=15406544/32770624 swapFree=5868/20816 [pid=11282] ppid=11279 vsize=12156364 CPUtime=2381.38 cores=1,3,5,7,9,11,13,15 /proc/11282/stat : 11282 (cosoco) R 11279 11282 9815 0 -1 4202496 2779928 0 0 0 237802 336 0 0 20 0 1 0 602384 12448116736 2553221 33554432000 4194304 5970956 140724686238528 140724686235864 5337501 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 11919360 140724686247100 140724686247235 140724686247235 140724686249934 0 /proc/11282/statm: 3039091 2553221 785 434 0 3032455 0 Current children cumulated CPU time (s) 2381.38 Current children cumulated vsize (KiB) 12156364 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2401 s] /proc/loadavg: 2.00 2.01 2.14 3/243 11422 /proc/meminfo: memFree=15406636/32770624 swapFree=5868/20824 [pid=11282] ppid=11279 vsize=12156364 CPUtime=2400.07 cores=1,3,5,7,9,11,13,15 /proc/11282/stat : 11282 (cosoco) R 11279 11282 9815 0 -1 4202496 2782256 0 0 0 239671 336 0 0 20 0 1 0 602384 12448116736 2553221 33554432000 4194304 5970956 140724686238528 140724686235864 4970464 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 11919360 140724686247100 140724686247235 140724686247235 140724686249934 0 /proc/11282/statm: 3039091 2553221 785 434 0 3032455 0 Current children cumulated CPU time (s) 2400.07 Current children cumulated vsize (KiB) 12156364 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 11282 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+2401.2 s] /proc/loadavg: 2.00 2.01 2.14 3/243 11422 /proc/meminfo: memFree=15406636/32770624 swapFree=5868/20824 [pid=11282] ppid=11279 vsize=0 CPUtime=2400.27 cores=1,3,5,7,9,11,13,15 /proc/11282/stat : 11282 (cosoco) R 11279 11282 9815 0 -1 4202500 2782280 0 0 0 239671 356 0 0 20 0 1 0 602384 0 0 33554432000 0 0 0 0 0 0 16384 4096 8405026 18446744073709551615 0 0 17 9 0 0 0 0 0 0 0 0 0 0 0 0 0 /proc/11282/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 2400.27 Current children cumulated vsize (KiB) 0 Child status: 1 Real time (s): 2401.3 CPU time (s): 2400.38 CPU user time (s): 2396.72 CPU system time (s): 3.6617 CPU usage (%): 99.9616 Max. virtual memory (cumulated for all children) (KiB): 12156364 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2396.72 system time used= 3.6617 maximum resident set size= 10212924 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2782280 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= 127 involuntary context switches= 120900 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 8.60987 second user time and 11.2769 second system time The end
Begin job on node104 at 2017-07-21 18:08:47 IDJOB=4242013 IDBENCH=133176 IDSOLVER=2621 FILE ID=node104/4242013-1500653327 RUNJOBID= node104-1500648178-9847 PBS_JOBID= 20623310 Free space on /tmp= 62012 MiB SOLVER NAME= cosoco-sat 1.1 BENCH NAME= XCSP17/Ortholatin/Ortholatin-m1-s1/Ortholatin-028.xml COMMAND LINE= DIR/cosoco -lc -model -restarts -sat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4242013-1500653327/watcher-4242013-1500653327 -o /tmp/evaluation-result-4242013-1500653327/solver-4242013-1500653327 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node104-1500648178-9847 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4242013-1500653327.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 8 MD5SUM BENCH= 0d73506f0318cc77856f25ccca7d4c63 RANDOM SEED=272787137 node104.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.12 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.57 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.12 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.57 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.12 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.57 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.12 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.57 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 8 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 0 cpu cores : 4 apicid : 1 initial apicid : 1 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.12 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 9 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1867.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 0 cpu cores : 4 apicid : 17 initial apicid : 17 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.57 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 10 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 1 cpu cores : 4 apicid : 3 initial apicid : 3 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.12 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 11 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2133.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 1 cpu cores : 4 apicid : 19 initial apicid : 19 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.57 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 12 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 2 cpu cores : 4 apicid : 5 initial apicid : 5 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.12 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 13 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2000.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 2 cpu cores : 4 apicid : 21 initial apicid : 21 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.57 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 14 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 3 cpu cores : 4 apicid : 7 initial apicid : 7 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.12 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 15 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2000.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 3 cpu cores : 4 apicid : 23 initial apicid : 23 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.57 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 32079208 kB MemAvailable: 31995840 kB Buffers: 73460 kB Cached: 100564 kB SwapCached: 264 kB Active: 180620 kB Inactive: 91216 kB Active(anon): 35320 kB Inactive(anon): 73660 kB Active(file): 145300 kB Inactive(file): 17556 kB Unevictable: 5868 kB Mlocked: 5868 kB SwapTotal: 67108860 kB SwapFree: 67105460 kB Dirty: 2536 kB Writeback: 0 kB AnonPages: 108884 kB Mapped: 30344 kB Shmem: 8772 kB Slab: 110460 kB SReclaimable: 76828 kB SUnreclaim: 33632 kB KernelStack: 4544 kB PageTables: 5432 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 375060 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 49152 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 132480 kB DirectMap2M: 33413120 kB Free space on /tmp at the end= 62012 MiB End job on node104 at 2017-07-21 18:48:48