| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| cosoco-sat 1.12 | ? (TO) | 2520.0601 | 2519.8999 |
| Name | LatinSquare/LatinSquare-m1-gp/ qwh-o30-h375-04.xml |
| MD5SUM | 64333456646456b433c0ccf5da59df06 |
| Bench Category | CSP (decision problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | 20.1682 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 900 |
| Number of constraints | 2 |
| Number of domains | 1 |
| Minimum domain size | 30 |
| Maximum domain size | 30 |
| Distribution of domain sizes | [{"size":30,"count":900}] |
| Minimum variable degree | 1 |
| Maximum variable degree | 2 |
| Distribution of variable degrees | [{"degree":1,"count":375},{"degree":2,"count":525}] |
| Minimum constraint arity | 525 |
| Maximum constraint arity | 900 |
| Distribution of constraint arities | [{"arity":525,"count":1},{"arity":900,"count":1}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"allDifferent","count":1},{"type":"instantiation","count":1}] |
| Optimization problem | NO |
| Type of objective |
0.00/0.05 c SAT : Variables: 27000 -- Clauses: 392400 0.00/0.07 c root propagations : 4848 0.00/0.07 c restarts enabled, print stats at every restarts 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c This is cosoco 1.12 -- 0.00/0.07 c 0.00/0.07 c command line: cosoco -lc -model -restarts -sat HOME/instance-4266126-1502591398.xml 0.00/0.07 c ========================================[ Problem Statistics ]=========================================== 0.00/0.07 c | 0.00/0.07 c | Parse time : 0.04 s 0.00/0.07 c | 0.00/0.07 c | Variables: 900 0.00/0.07 c | Domain Sizes: 30..30 0.00/0.07 c | 0.00/0.07 c | Constraints: 585 0.00/0.07 c | Arity: 1..30 -- Unary: 525 0.00/0.07 c | 0.00/0.07 c | Types: 0.00/0.07 c | All Different: 60 0.00/0.07 c | Unary: 525 0.00/0.07 c | 0.00/0.07 c ========================================================================================================= 0.00/0.07 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.00/0.08 c 10 638 7288 12412 895 5 606 614 554 0.00/0.10 c 20 1274 9986 16366 895 13 539 623 536 0.10/0.11 c 30 1996 13531 22984 895 22 552 683 581 0.10/0.13 c 40 2682 16688 28232 895 25 542 672 512 0.10/0.14 c 50 3373 20187 35012 895 34 560 682 580 0.10/0.16 c 60 4068 23585 41583 895 43 553 680 581 0.10/0.17 c 70 4712 26427 46473 895 47 559 610 546 0.10/0.19 c 80 5407 29912 53421 895 56 626 682 598 0.10/0.20 c 90 6033 32656 58154 895 58 601 603 546 0.20/0.22 c 100 6664 35424 62961 895 60 585 595 536 0.20/0.23 c 101 7335 38359 66922 895 61 671 671 335 0.20/0.25 c 110 8067 42965 79064 895 67 649 677 597 0.20/0.27 c 120 8748 46499 85932 895 74 533 667 577 0.20/0.29 c 130 9445 50167 93536 895 83 598 672 591 0.20/0.31 c 140 10182 54074 101898 895 89 563 715 619 0.30/0.33 c 150 10881 57888 110523 895 94 662 674 608 0.30/0.34 c 160 11487 60189 113178 895 103 566 596 527 0.30/0.35 c 170 12109 62760 116889 895 108 555 602 538 0.30/0.37 c 180 12761 66076 123282 895 117 589 634 559 0.30/0.38 c 190 13458 69442 129296 895 127 562 686 554 0.30/0.40 c 200 14152 72885 135778 895 137 569 685 575 0.40/0.41 c 210 14841 76053 141924 895 143 593 639 572 0.40/0.42 c 211 15382 77767 142738 895 144 541 541 270 0.40/0.43 c 220 15948 79934 145093 895 149 546 552 494 0.40/0.44 c 230 16516 81900 146793 895 159 534 550 494 0.40/0.45 c 240 17067 83858 148600 895 162 532 538 487 0.40/0.46 c 250 17683 86350 152303 895 171 533 602 526 0.40/0.47 c 260 18266 88589 155180 895 178 533 568 510 0.40/0.48 c 270 18870 91162 159590 895 186 536 580 518 0.40/0.49 c 280 19492 93696 163133 895 196 538 613 525 0.40/0.51 c 290 20111 96407 167224 895 205 539 607 526 0.50/0.52 c 300 20680 98535 169441 895 206 545 552 498 0.50/0.53 c 310 21259 100735 172432 895 213 521 560 494 0.50/0.54 c 320 21818 102678 174757 895 218 520 544 491 0.50/0.54 c 330 22358 104593 176479 895 222 521 525 475 0.50/0.55 c 332 22886 106259 177387 895 224 520 527 349 0.50/0.56 c 340 23425 108152 179182 895 227 521 525 465 0.50/0.57 c 350 23986 110146 181642 895 235 520 547 491 0.50/0.58 c 360 24554 112269 184509 895 240 523 548 486 0.50/0.59 c 370 25098 114207 186746 895 246 525 532 481 0.50/0.60 c 380 25670 116344 189508 895 252 513 548 493 0.50/0.60 c 390 26218 118237 191601 895 260 509 535 481 0.59/0.61 c 400 26772 120216 194272 895 266 511 536 482 0.59/0.62 c 410 27307 122211 196893 895 271 509 519 467 0.59/0.63 c 420 27813 124033 198707 895 278 473 491 434 0.59/0.64 c 430 28363 126075 201507 895 283 507 530 470 0.59/0.65 c 440 28902 127972 203746 895 290 509 526 475 0.59/0.66 c 450 29439 129818 205895 895 295 510 521 470 0.59/0.67 c 460 30061 132065 208492 895 301 489 528 466 0.59/0.67 c 465 30581 133769 209810 895 306 384 516 401 0.59/0.68 c 470 31197 135929 211976 895 311 494 531 436 0.59/0.69 c 480 31682 137687 213745 895 318 452 470 415 0.69/0.70 c 490 32203 139668 216567 895 323 493 503 455 0.69/0.71 c 500 32629 141253 218279 895 326 406 408 369 0.69/0.71 c 510 33134 143009 220463 895 331 481 489 442 0.69/0.72 c 520 33636 144780 222920 895 337 482 486 440 0.69/0.73 c 530 34040 146321 224903 895 342 373 384 345 0.69/0.74 c 540 34567 148251 227506 895 348 457 487 436 0.69/0.75 c 550 34971 149801 229506 895 353 373 384 345 0.69/0.75 c 560 35451 151424 231241 895 358 458 463 419 0.69/0.76 c 570 35840 152899 232922 895 363 337 368 311 0.69/0.77 c 580 36270 154599 235047 895 370 366 409 357 0.69/0.78 c 590 36898 156943 238265 895 375 433 468 416 0.69/0.79 c 600 37384 158718 240626 895 378 460 465 421 0.69/0.79 c 610 37871 160534 243176 895 382 461 470 424 0.79/0.80 c 611 38237 161694 243757 895 383 366 366 183 0.79/0.81 c 620 38716 163416 245944 895 387 458 462 414 0.79/0.81 c 630 39166 165050 248319 895 389 392 433 388 0.79/0.82 c 640 39523 166505 250120 895 394 292 343 279 0.79/0.83 c 650 40044 168376 252603 895 400 399 438 390 0.79/0.84 c 660 40472 169941 254747 895 404 400 405 366 0.79/0.84 c 670 40986 171752 257106 895 408 396 434 380 0.79/0.85 c 680 41343 173155 258734 895 409 277 343 274 0.79/0.86 c 690 41664 174431 260495 895 412 286 297 267 0.79/0.87 c 700 42093 176142 263301 895 415 407 411 372 0.79/0.87 c 710 42424 177398 264674 895 416 318 321 290 0.79/0.88 c 720 42846 178985 266990 895 420 396 400 362 0.79/0.89 c 730 43283 180768 269949 895 425 394 408 366 0.79/0.89 c 740 43683 182287 272500 895 432 372 379 341 0.89/0.90 c 750 43948 183451 274088 895 435 243 248 223 0.89/0.91 c 760 44341 184932 276500 895 442 349 377 339 0.89/0.91 c 770 44625 186202 278433 895 445 239 251 225 0.89/0.92 c 771 45000 187402 279089 895 446 375 375 187 0.89/0.92 c 780 45295 188529 280299 895 452 281 285 254 0.89/0.93 c 790 45611 189803 282179 895 460 282 300 261 0.89/0.94 c 800 46002 191329 284558 895 467 350 365 327 0.89/0.94 c 810 46381 192798 287045 895 472 286 365 321 0.89/0.95 c 820 46751 194154 288912 895 479 352 358 323 0.89/0.96 c 830 47044 195407 290864 895 484 241 273 243 0.89/0.96 c 840 47332 196606 292748 895 488 247 256 230 0.89/0.97 c 850 47700 198047 295123 895 490 325 352 299 0.89/0.97 c 860 47979 199324 297188 895 492 234 244 217 0.89/0.98 c 870 48346 200883 300008 895 493 331 337 304 0.89/0.99 c 880 48702 202309 302516 895 495 331 336 303 0.89/0.99 c 890 48966 203314 303744 895 500 207 252 221 0.89/1.00 c 900 49387 204967 306501 895 504 331 336 303 0.99/1.01 c 910 49631 205999 308034 895 508 201 216 191 0.99/1.01 c 920 49893 207227 310154 895 512 222 234 204 0.99/1.02 c 930 50235 208695 312800 895 514 313 323 290 0.99/1.03 c 940 50586 210083 315003 895 518 311 315 285 0.99/1.03 c 947 50912 211337 316942 895 522 310 317 275 0.99/1.04 c 950 51149 212350 318207 895 523 227 230 171 0.99/1.04 c 960 51546 213771 320182 895 527 224 313 272 0.99/1.05 c 970 51927 215315 322835 895 529 300 318 285 0.99/1.06 c 980 52247 216615 325150 895 536 296 305 273 0.99/1.06 c 990 52575 218088 328020 895 541 297 304 274 0.99/1.07 c 1000 52943 219563 330551 895 545 287 306 274 0.99/1.08 c 1010 53346 221164 333233 895 548 284 305 273 0.99/1.09 c 1020 53603 222291 335094 895 555 213 235 207 0.99/1.09 c 1030 53936 223620 337272 895 560 282 302 269 0.99/1.10 c 1040 54257 224959 339906 895 562 284 293 264 0.99/1.10 c 1050 54489 225937 341282 895 568 194 216 191 1.09/1.11 c 1060 54813 227238 343501 895 572 283 287 259 1.09/1.11 c 1070 55046 228204 344956 895 578 199 207 185 1.09/1.12 c 1080 55405 229709 347572 895 582 266 299 262 1.09/1.13 c 1090 55652 230761 349063 895 585 197 221 189 1.09/1.13 c 1100 55964 232070 351603 895 587 275 284 255 1.09/1.14 c 1110 56188 233023 352988 895 591 198 204 183 1.09/1.14 c 1120 56512 234362 355283 895 594 284 288 260 1.09/1.15 c 1130 56857 235743 357609 895 599 262 286 252 1.09/1.16 c 1140 57122 237005 359934 895 604 211 219 195 1.09/1.16 c 1141 57390 237915 360617 895 605 268 268 134 1.09/1.17 c 1150 57696 239078 362548 895 611 288 291 260 1.09/1.17 c 1160 57986 240399 365158 895 614 264 269 242 1.09/1.18 c 1170 58236 241552 367194 895 619 207 217 192 1.09/1.19 c 1180 58535 242873 369881 895 621 256 271 243 1.09/1.19 c 1190 58784 244109 372035 895 624 210 216 192 1.19/1.20 c 1200 59054 245164 373797 895 628 251 256 231 1.19/1.20 c 1210 59304 246277 375694 895 632 206 215 192 1.19/1.21 c 1220 59580 247371 377532 895 637 253 260 234 1.19/1.21 c 1230 59818 248484 379379 895 640 206 213 188 1.19/1.22 c 1240 60075 249543 381202 895 643 237 242 218 1.19/1.22 c 1250 60311 250641 383218 895 649 197 209 186 1.19/1.23 c 1260 60606 252050 386383 895 655 238 260 231 1.19/1.24 c 1270 60885 253286 388815 895 657 248 254 228 1.19/1.24 c 1280 61193 254650 391484 895 663 240 260 224 1.19/1.25 c 1290 61436 255873 393721 895 667 207 213 190 1.19/1.26 c 1300 61710 257043 395826 895 672 237 255 222 1.19/1.26 conflict 32lvl : 208 bt207-16027:0(499)X1682724 1.19/1.26 c 1310 61972 258222 397884 895 677 210 215 192 1.19/1.27 c 1320 62228 259228 399634 895 680 237 243 218 1.19/1.27 c 1330 62471 260217 401375 895 683 226 230 207 1.19/1.28 c 1340 62692 261171 402673 895 687 191 200 179 1.19/1.28 c 1350 62935 262220 404635 895 690 225 230 207 1.19/1.28 c 1352 63132 262882 405155 895 692 195 196 130 1.19/1.29 c 1360 63344 263784 406290 895 695 190 196 171 1.19/1.29 c 1370 63588 264900 408138 895 699 205 213 189 1.29/1.30 c 1380 63869 266303 411185 895 704 228 239 211 1.29/1.31 c 1390 64132 267403 413059 895 708 240 244 220 1.29/1.31 c 1400 64359 268421 414620 895 712 190 204 179 1.29/1.32 c 1410 64619 269565 416833 895 718 229 238 213 1.29/1.32 c 1420 64885 271000 420188 895 724 232 242 215 1.29/1.33 c 1430 65136 272142 422658 895 731 196 231 197 1.29/1.34 c 1440 65387 273331 425148 895 734 222 230 204 1.29/1.34 c 1450 65725 274956 428581 895 741 222 250 218 1.29/1.35 c 1460 65976 276064 430708 895 745 225 233 209 1.29/1.36 c 1470 66190 277079 432389 895 750 187 194 174 1.29/1.36 c 1480 66463 278456 435505 895 759 221 245 216 1.29/1.37 c 1490 66737 279724 438255 895 761 216 224 200 1.29/1.37 c 1500 66994 280863 440182 895 766 197 212 189 1.29/1.38 c 1510 67247 281983 442548 895 767 230 235 212 1.29/1.39 c 1520 67512 283289 445429 895 773 235 241 217 1.39/1.40 c 1530 67806 284994 449274 895 777 243 253 226 1.39/1.40 c 1540 68057 286084 451081 895 783 229 237 212 1.39/1.41 c 1550 68300 287239 453112 895 787 204 211 189 1.39/1.41 c 1560 68539 288238 455077 895 789 204 215 191 1.39/1.42 c 1570 68751 289165 456478 895 793 184 194 171 1.39/1.42 c 1580 69000 290322 458491 895 798 203 212 188 1.39/1.43 c 1585 69250 291504 460725 895 801 236 240 199 1.39/1.43 c 1590 69493 292621 462765 895 803 225 232 190 1.39/1.44 c 1600 69756 293885 465302 895 808 195 249 214 1.39/1.45 c 1610 70015 295350 468644 895 810 216 219 198 1.39/1.45 c 1620 70253 296326 470193 895 812 223 227 204 1.39/1.46 c 1630 70514 297481 472155 895 814 202 209 186 1.39/1.46 c 1640 70782 298783 474699 895 821 230 242 215 1.39/1.47 c 1650 71061 300120 477289 895 828 237 247 220 1.39/1.48 c 1660 71316 301278 479385 895 836 231 243 214 1.39/1.48 c 1670 71580 302615 482453 895 845 230 243 215 1.39/1.49 c 1680 71841 303858 484955 895 848 221 232 205 1.49/1.50 c 1690 72131 305275 487798 895 854 208 233 204 1.49/1.50 c 1700 72380 306382 489768 895 859 226 235 208 1.49/1.51 c 1710 72648 307640 492030 895 863 196 209 186 1.49/1.52 c 1720 72933 309008 494946 895 868 244 253 227 1.49/1.53 c 1730 73226 310760 499430 895 871 245 251 224 1.49/1.53 c 1740 73485 312008 501925 895 876 224 241 209 1.49/1.54 c 1750 73739 313235 504431 895 882 224 236 209 1.49/1.54 c 1760 73970 314292 506281 895 883 199 205 183 1.49/1.55 c 1770 74201 315315 508406 895 884 213 216 195 1.49/1.56 c 1780 74468 316764 511674 895 889 228 239 212 1.49/1.56 c 1790 74702 317853 513659 895 894 195 205 181 1.49/1.57 c 1800 74980 319226 516594 895 898 228 244 217 1.49/1.57 c 1810 75251 320496 519008 895 904 227 254 222 1.49/1.58 c 1820 75537 321955 522153 895 910 232 263 233 1.49/1.59 c 1830 75801 323268 524903 895 916 224 241 210 1.49/1.59 c 1840 76008 324186 526247 895 921 188 193 172 1.58/1.60 c 1841 76198 324844 526747 895 922 190 190 95 1.58/1.60 c 1850 76425 325924 528620 895 925 189 205 176 1.58/1.61 c 1860 76631 326934 530213 895 927 182 189 170 1.58/1.61 c 1870 76868 328170 532528 895 930 193 202 178 1.58/1.62 c 1880 77128 329287 534778 895 937 223 242 212 1.58/1.63 c 1890 77393 330533 537229 895 947 224 246 217 1.58/1.63 c 1900 77661 331701 539429 895 953 226 250 218 1.58/1.64 c 1910 77911 332787 541383 895 961 227 238 212 1.58/1.64 c 1920 78176 333923 543502 895 971 228 250 219 1.58/1.65 c 1930 78428 335018 545522 895 976 232 237 213 1.58/1.65 c 1940 78673 336181 547714 895 978 192 200 180 1.58/1.66 c 1950 78919 337178 549447 895 982 222 229 206 1.58/1.66 c 1960 79139 338196 551071 895 986 185 193 172 1.58/1.67 c 1970 79343 339043 552245 895 990 184 188 169 1.58/1.67 c 1980 79595 340202 554469 895 993 233 236 213 1.58/1.68 c 1990 79801 341150 555910 895 996 182 185 167 1.58/1.68 c 2000 80014 341995 557081 895 1001 179 192 169 1.58/1.69 c 2010 80218 342927 558411 895 1003 182 187 167 1.58/1.69 c 2020 80479 344172 560786 895 1009 237 245 219 1.68/1.70 c 2030 80680 345119 562233 895 1013 181 185 166 1.68/1.70 c 2040 80885 346043 563547 895 1016 182 187 167 1.68/1.71 c 2050 81090 346923 564802 895 1021 182 187 168 1.68/1.71 c 2060 81331 347879 566480 895 1025 222 227 204 1.68/1.72 c 2070 81543 348767 567667 895 1030 182 190 169 1.68/1.72 c 2080 81752 349713 569066 895 1034 182 190 168 1.68/1.73 c 2090 81976 350763 570772 895 1039 183 195 172 1.68/1.73 c 2100 82178 351655 572085 895 1043 181 188 166 1.68/1.73 c 2110 82387 352632 573685 895 1049 182 195 172 1.68/1.74 c 2120 82644 353785 576351 895 1052 227 236 210 1.68/1.74 c 2122 82828 354428 576839 895 1054 182 183 121 1.68/1.75 c 2130 83067 355487 578669 895 1057 222 224 198 1.68/1.75 c 2140 83319 356740 581488 895 1059 224 234 205 1.68/1.76 c 2150 83518 357654 582883 895 1063 178 183 165 1.68/1.76 c 2160 83727 358589 584167 895 1069 181 186 166 1.68/1.77 c 2170 83985 359879 586880 895 1075 226 239 214 1.68/1.78 c 2180 84196 360837 588441 895 1077 183 194 172 1.68/1.78 c 2190 84409 361790 589860 895 1080 182 190 169 1.68/1.79 c 2200 84654 362927 592356 895 1083 218 227 204 1.68/1.79 c 2210 84910 364113 594919 895 1085 224 233 209 1.79/1.80 c 2220 85147 365191 597151 895 1088 205 223 192 1.79/1.80 c 2230 85402 366341 599668 895 1090 213 231 205 1.79/1.81 c 2240 85665 367435 601645 895 1094 214 228 204 1.79/1.81 c 2250 85916 368552 603995 895 1099 220 228 203 1.79/1.82 c 2260 86127 369502 605365 895 1104 179 191 168 1.79/1.83 c 2270 86396 370781 608205 895 1109 219 234 203 1.79/1.83 c 2280 86661 372197 611514 895 1112 213 230 202 1.79/1.84 c 2290 86930 373600 614744 895 1116 219 229 204 1.79/1.84 c 2300 87157 374577 616254 895 1117 177 194 168 1.79/1.85 c 2310 87423 375947 619471 895 1121 219 233 206 1.79/1.86 c 2320 87671 377024 621666 895 1123 220 228 204 1.79/1.86 c 2330 87911 378045 623711 895 1127 216 222 200 1.79/1.87 c 2340 88140 379359 626620 895 1131 183 193 171 1.79/1.87 c 2350 88382 380380 628642 895 1135 214 224 200 1.79/1.88 c 2360 88591 381258 629939 895 1138 183 191 169 1.79/1.88 c 2370 88800 382140 631129 895 1142 181 189 169 1.79/1.89 c 2380 89018 383246 633287 895 1145 180 190 168 1.79/1.89 c 2390 89259 384291 635367 895 1151 217 221 199 1.89/1.90 c 2400 89480 385294 636911 895 1154 177 184 164 1.89/1.90 c 2410 89729 386488 639580 895 1158 215 226 201 1.89/1.91 c 2420 89957 387417 641129 895 1161 211 215 194 1.89/1.91 c 2430 90162 388276 642364 895 1163 175 182 162 1.89/1.92 c 2431 90370 388958 642804 895 1164 208 208 104 1.89/1.92 c 2440 90578 389810 643952 895 1168 179 190 166 1.89/1.93 c 2450 90793 390876 645737 895 1172 176 187 164 1.89/1.93 c 2460 91034 391934 647887 895 1176 206 226 197 1.89/1.94 c 2470 91256 392905 649403 895 1181 171 188 163 1.89/1.94 c 2480 91513 394092 652097 895 1186 211 232 206 1.89/1.95 c 2490 91715 395000 653519 895 1191 169 182 160 1.89/1.95 c 2500 91920 395932 655020 895 1194 180 186 166 1.89/1.95 c 2510 92119 396798 656286 895 1195 176 181 162 1.89/1.96 c 2520 92346 397645 657726 895 1200 205 212 190 1.89/1.96 c 2530 92572 398533 659350 895 1202 197 214 190 1.89/1.97 c 2540 92789 399528 661151 895 1205 181 184 166 1.89/1.97 c 2550 93018 400476 662917 895 1208 198 214 186 1.89/1.98 c 2560 93225 401311 664063 895 1209 171 180 160 1.89/1.98 c 2570 93455 402334 666261 895 1217 194 213 190 1.89/1.99 c 2580 93653 403242 667600 895 1219 168 175 156 1.89/1.99 c 2590 93872 404261 669178 895 1221 169 188 159 1.89/2.00 c 2600 94100 405153 670822 895 1224 192 212 187 1.89/2.00 c 2610 94317 406126 672358 895 1229 173 181 162 2.00/2.01 c 2620 94530 406998 673533 895 1232 173 187 164 2.00/2.01 c 2630 94739 407970 675049 895 1236 168 178 157 2.00/2.02 c 2640 94967 408941 676967 895 1242 176 210 185 2.00/2.02 c 2650 95209 409910 678616 895 1248 176 211 177 2.00/2.03 c 2660 95460 410965 680601 895 1253 176 215 178 2.00/2.03 c 2670 95673 411887 681911 895 1254 170 185 162 2.00/2.03 c 2680 95907 412827 683603 895 1260 175 206 175 2.00/2.04 c 2690 96151 413884 685671 895 1264 177 215 178 2.00/2.04 c 2700 96357 414785 687096 895 1266 168 185 161 2.00/2.05 c 2710 96591 415745 688853 895 1271 177 207 177 2.00/2.05 c 2720 96825 416728 690875 895 1276 197 217 190 2.00/2.06 conflict 19lvl : 202 bt202-14085:0(205)X1697238 2.00/2.06 conflict 12lvl : 212 bt212-14085:0(448)X1697260 2.00/2.06 c 2730 97077 417881 693414 895 1280 211 226 196 2.00/2.06 c 2740 97287 418791 694831 895 1283 176 185 164 2.00/2.07 c 2750 97535 419922 697326 895 1290 202 226 194 2.00/2.08 c 2760 97770 420980 699355 895 1299 201 221 190 2.00/2.08 c 2770 98011 422090 701101 895 1301 191 201 178 2.00/2.08 c 2771 98197 422696 701485 895 1302 186 186 93 2.00/2.09 c 2780 98425 423888 703553 895 1308 176 184 163 2.00/2.09 c 2790 98648 424919 705223 895 1309 188 197 175 2.00/2.10 c 2800 98870 425805 706837 895 1316 197 209 185 2.10/2.11 c 2810 99112 426975 709344 895 1322 197 218 190 2.10/2.11 c 2820 99336 427971 711406 895 1324 197 207 186 2.10/2.12 c 2830 99594 429239 714151 895 1330 197 226 195 2.10/2.12 c 2840 99791 430080 715299 895 1336 171 182 160 2.10/2.13 c 2850 100017 431274 717434 895 1337 176 184 163 2.10/2.13 c 2860 100245 432398 719944 895 1341 203 214 191 2.10/2.14 c 2870 100486 433494 722176 895 1347 209 218 193 2.10/2.14 c 2880 100716 434536 723763 895 1352 191 199 178 2.10/2.15 c 2890 100929 435570 725559 895 1354 175 184 162 2.10/2.15 c 2900 101150 436521 727154 895 1357 205 209 188 2.10/2.16 c 2910 101362 437585 729122 895 1358 179 188 166 2.10/2.16 c 2920 101589 438543 730877 895 1362 202 210 188 2.10/2.17 c 2930 101797 439661 733084 895 1367 174 185 163 2.10/2.17 c 2940 102037 440732 735157 895 1373 215 226 198 2.10/2.18 conflict 27lvl : 184 bt182-15425:0(461)X1699677 2.10/2.18 c 2950 102287 441863 736921 895 1377 194 201 180 2.10/2.19 c 2960 102538 442904 738889 895 1381 173 208 182 2.10/2.19 c 2970 102773 444158 741198 895 1383 176 184 164 2.19/2.20 c 2980 103001 445176 743201 895 1385 205 209 189 2.19/2.20 c 2990 103216 446257 745057 895 1390 179 186 164 2.19/2.21 c 3000 103445 447302 747191 895 1392 204 208 188 2.19/2.21 c 3010 103677 448625 749655 895 1395 182 186 167 2.19/2.22 c 3020 103909 449634 751659 895 1399 205 211 189 2.19/2.22 c 3030 104149 450721 753854 895 1401 211 214 192 2.19/2.23 c 3040 104386 451731 755591 895 1405 208 213 191 2.19/2.23 c 3050 104605 452653 756784 895 1411 169 187 165 2.19/2.24 c 3060 104822 453748 758687 895 1413 179 186 167 2.19/2.25 c 3070 105064 454820 760771 895 1417 217 223 200 2.19/2.25 c 3080 105319 455919 763159 895 1421 213 223 200 2.19/2.26 c 3090 105545 456922 764683 895 1423 172 189 167 2.19/2.26 conflict 11lvl : 209 bt207-14085:0(308)X1700828 2.19/2.26 c 3100 105770 457884 766198 895 1425 204 209 187 2.19/2.27 c 3110 105987 458945 767962 895 1427 176 185 163 2.19/2.27 c 3120 106226 459990 770066 895 1430 208 211 191 2.19/2.28 c 3130 106462 461070 772362 895 1434 208 219 194 2.19/2.28 c 3140 106687 462111 774579 895 1440 207 211 188 2.19/2.28 c 3142 106894 462811 775169 895 1442 205 206 137 2.19/2.29 c 3150 107104 463787 776655 895 1446 178 185 160 2.19/2.29 c 3160 107325 464738 778026 895 1450 171 189 162 2.29/2.30 c 3170 107552 465707 779950 895 1452 206 212 189 2.29/2.30 c 3180 107786 466701 781908 895 1457 208 210 190 2.29/2.31 c 3190 108016 467776 783443 895 1461 169 192 163 2.29/2.31 c 3200 108235 468700 785143 895 1465 197 202 181 2.29/2.32 c 3210 108472 469738 787254 895 1470 207 218 193 2.29/2.32 c 3220 108679 470756 788858 895 1473 167 188 160 2.29/2.33 c 3230 108920 471874 791187 895 1477 207 218 194 2.29/2.33 c 3240 109128 472813 792602 895 1481 168 189 158 2.29/2.34 c 3250 109352 473760 793907 895 1484 174 191 167 2.29/2.34 c 3260 109587 474772 795806 895 1487 209 218 194 2.29/2.35 c 3270 109814 475764 797237 895 1492 172 193 168 2.29/2.35 c 3280 110025 476796 799019 895 1498 182 186 167 2.29/2.36 c 3290 110248 477901 801662 895 1503 206 209 188 2.29/2.36 c 3300 110477 478844 802880 895 1509 174 190 168 2.29/2.37 c 3310 110690 479731 804078 895 1510 186 189 170 2.29/2.37 c 3320 110916 480747 806298 895 1513 205 208 188 2.29/2.38 c 3330 111122 481679 807668 895 1516 169 189 161 2.29/2.38 c 3340 111366 482923 810572 895 1521 205 223 190 2.29/2.39 c 3350 111607 484093 813113 895 1528 207 217 192 2.29/2.39 c 3360 111818 485023 814504 895 1530 171 189 163 2.39/2.40 c 3370 112046 486067 816686 895 1535 205 211 189 2.39/2.41 c 3380 112294 487355 819590 895 1541 207 218 193 2.39/2.41 c 3390 112496 488250 820951 895 1543 170 187 163 2.39/2.42 c 3400 112704 489147 822191 895 1550 168 187 160 2.39/2.42 c 3410 112930 490259 824091 895 1555 175 184 162 2.39/2.43 c 3420 113182 491675 827529 895 1558 214 222 197 2.39/2.43 c 3430 113394 492720 829325 895 1561 177 182 162 2.39/2.44 conflict 10lvl : 206 bt204-14085:0(168)X1703660 2.39/2.44 conflict 11lvl : 213 bt213-14085:0(369)X1703673 2.39/2.44 c 3440 113636 493942 832120 895 1568 202 222 190 2.39/2.44 c 3450 113861 494912 833976 895 1570 204 213 191 2.39/2.45 c 3460 114090 495971 836268 895 1572 205 209 188 2.39/2.45 c 3470 114314 496929 838297 895 1574 205 209 187 2.39/2.46 c 3480 114522 497809 839560 895 1579 170 181 161 2.39/2.46 c 3490 114721 498685 840860 895 1582 170 182 161 2.39/2.47 c 3500 114945 499616 842670 895 1584 204 207 187 2.39/2.47 c 3510 115138 500484 844072 895 1589 168 176 157 2.39/2.48 c 3520 115333 501371 845507 895 1592 168 177 155 2.39/2.48 c 3530 115532 502329 847069 895 1594 167 181 158 2.39/2.49 c 3540 115756 503264 848893 895 1596 204 207 187 2.39/2.49 c 3550 115953 504186 850463 895 1600 172 176 158 2.39/2.49 c 3551 116122 504753 850844 895 1601 169 169 84 2.49/2.50 c 3560 116350 505839 853171 895 1607 204 212 187 2.49/2.50 c 3570 116591 507093 855849 895 1611 213 227 200 2.49/2.51 c 3580 116805 508305 858143 895 1615 170 181 158 2.49/2.52 c 3590 117085 509453 860241 895 1617 186 204 178 2.49/2.52 c 3600 117287 510469 861927 895 1623 172 183 163 2.49/2.53 c 3610 117515 511506 864094 895 1629 202 208 187 2.49/2.53 c 3620 117745 512537 866291 895 1632 205 209 188 2.49/2.54 c 3630 117930 513490 867876 895 1633 168 171 154 2.49/2.54 c 3640 118131 514407 869216 895 1638 167 177 157 2.49/2.55 c 3650 118325 515321 871033 895 1641 169 174 156 2.49/2.55 c 3660 118523 516256 872604 895 1645 169 178 158 2.49/2.56 c 3670 118719 517193 874303 895 1647 170 172 156 2.49/2.56 c 3680 118909 518021 875638 895 1652 167 178 160 2.49/2.56 c 3690 119135 519086 877909 895 1655 202 208 186 2.49/2.57 c 3700 119332 520040 879424 895 1660 170 175 156 2.49/2.57 conflict 10lvl : 202 bt166-14085:0(157)X1705528 2.49/2.57 c 3710 119569 521129 880993 895 1667 175 202 165 2.49/2.58 c 3720 119791 522033 882728 895 1671 206 208 187 2.49/2.58 c 3730 119984 522878 884029 895 1676 168 173 156 2.49/2.59 c 3740 120181 523909 885970 895 1680 170 178 158 2.49/2.59 c 3750 120370 524747 887288 895 1688 168 173 154 2.59/2.60 c 3760 120590 525664 888909 895 1692 200 208 184 2.59/2.60 c 3770 120783 526635 890743 895 1696 169 176 157 2.59/2.61 c 3780 121010 527659 893058 895 1701 204 208 187 2.59/2.61 c 3790 121237 528635 894941 895 1706 202 209 188 2.59/2.62 c 3800 121445 529669 896619 895 1711 173 188 165 2.59/2.62 c 3810 121643 530702 898565 895 1713 173 176 158 2.59/2.63 c 3820 121838 531611 899968 895 1715 170 174 156 2.59/2.63 conflict 10lvl : 205 bt170-14085:0(172)X1706578 2.59/2.63 c 3830 122071 532624 901430 895 1720 171 205 163 2.59/2.64 c 3840 122261 533443 902738 895 1725 171 175 158 2.59/2.64 c 3850 122453 534332 904181 895 1727 169 173 155 2.59/2.65 c 3860 122666 535495 906305 895 1733 171 184 160 2.59/2.65 c 3870 122871 536505 908018 895 1735 177 181 163 2.59/2.66 c 3880 123074 537427 909648 895 1741 170 177 158 2.59/2.66 c 3890 123273 538390 911164 895 1745 173 180 160 2.59/2.67 c 3900 123474 539342 912679 895 1748 172 179 160 2.59/2.67 c 3910 123665 540269 914434 895 1751 168 172 155 2.59/2.68 c 3920 123897 541248 916401 895 1755 203 210 189 2.59/2.68 c 3930 124089 542151 917772 895 1758 167 175 157 2.59/2.69 c 3940 124317 543101 919674 895 1761 203 209 188 2.59/2.69 c 3950 124519 544115 921439 895 1762 172 181 160 2.69/2.70 c 3960 124715 545209 923577 895 1764 172 178 160 2.69/2.70 c 3970 124923 546327 925827 895 1771 171 186 163 2.69/2.71 c 3980 125132 547335 927448 895 1775 171 188 161 2.69/2.71 c 3990 125366 548416 929585 895 1781 209 217 193 2.69/2.72 c 4000 125559 549255 930847 895 1784 171 174 156 2.69/2.72 c 4001 125764 549945 931330 895 1785 205 205 102 2.69/2.72 c 4010 125951 550907 932846 895 1789 168 172 153 2.69/2.73 c 4020 126136 551800 934403 895 1793 168 170 154 2.69/2.73 c 4030 126355 552931 936410 895 1798 178 185 165 2.69/2.74 c 4040 126548 553761 937672 895 1801 171 174 156 2.69/2.74 c 4050 126775 554688 939303 895 1804 205 208 188 2.69/2.75 c 4060 126991 555852 941569 895 1805 178 184 163 2.69/2.75 c 4070 127195 556772 942941 895 1809 171 185 160 2.69/2.76 c 4080 127381 557603 944143 895 1813 169 173 155 2.69/2.76 c 4090 127574 558525 945569 895 1819 167 174 156 2.69/2.77 c 4100 127769 559534 947265 895 1823 166 172 154 2.69/2.77 c 4110 127963 560353 948480 895 1825 171 175 157 2.69/2.78 c 4120 128158 561219 949788 895 1831 167 175 155 2.69/2.78 c 4130 128379 562122 951529 895 1836 199 204 184 2.69/2.79 c 4140 128597 563327 953827 895 1841 174 184 163 2.69/2.79 c 4150 128797 564274 955367 895 1845 171 181 159 2.79/2.80 c 4160 129017 565133 956821 895 1850 199 205 184 2.79/2.80 c 4170 129231 566169 958687 895 1856 172 192 164 2.79/2.81 c 4180 129449 567159 960565 895 1862 168 200 175 2.79/2.81 c 4190 129721 568288 962595 895 1866 195 205 184 2.79/2.82 c 4200 129955 569445 964842 895 1869 184 192 171 2.79/2.82 c 4210 130148 570282 966100 895 1872 171 174 156 2.79/2.83 c 4220 130364 571178 967915 895 1875 192 196 176 2.79/2.83 c 4230 130585 572337 969986 895 1876 178 184 163 2.79/2.84 c 4240 130778 573179 971272 895 1879 171 174 156 2.79/2.84 c 4250 130988 574096 973111 895 1883 185 193 171 2.79/2.85 c 4260 131184 574972 974502 895 1885 172 178 159 2.79/2.85 c 4270 131407 575925 976051 895 1888 173 202 164 2.79/2.85 c 4280 131598 576862 977810 895 1890 171 174 157 2.79/2.86 c 4290 131795 577752 979256 895 1894 172 176 158 2.79/2.87 c 4300 132034 578997 982114 895 1897 170 189 162 2.79/2.87 c 4310 132241 579994 983802 895 1901 174 185 161 2.79/2.88 c 4320 132491 581030 985774 895 1903 200 204 184 2.79/2.88 c 4330 132680 581901 987121 895 1906 170 173 155 2.79/2.88 c 4340 132874 582819 988513 895 1909 166 173 155 2.79/2.89 c 4350 133093 583951 990675 895 1914 169 184 163 2.79/2.89 c 4360 133324 584909 992407 895 1919 172 204 173 2.89/2.90 c 4370 133513 585821 993948 895 1921 167 177 157 2.89/2.90 c 4380 133744 586939 996108 895 1923 184 192 170 2.89/2.91 c 4390 133972 587846 997627 895 1926 184 203 180 2.89/2.91 c 4400 134197 588949 999664 895 1931 174 182 164 2.89/2.92 c 4410 134401 589960 1001403 895 1933 179 185 165 2.89/2.92 c 4420 134616 590895 1003350 895 1937 194 199 179 2.89/2.93 c 4430 134837 591856 1005476 895 1941 167 203 176 2.89/2.94 c 4440 135061 592979 1007540 895 1946 174 182 162 2.89/2.94 c 4450 135263 593945 1009107 895 1948 176 184 165 2.89/2.94 c 4460 135469 594853 1011064 895 1951 184 190 171 2.89/2.95 c 4470 135697 595849 1013391 895 1955 197 203 183 2.89/2.95 c 4480 135908 596760 1015146 895 1960 167 196 174 2.89/2.96 c 4490 136200 598056 1017896 895 1965 195 199 179 2.89/2.96 c 4493 136374 598722 1018565 895 1967 166 172 127 2.89/2.97 c 4500 136603 599685 1020280 895 1969 187 198 168 2.89/2.97 c 4510 136817 600740 1022165 895 1974 172 183 162 2.89/2.98 c 4520 137044 601800 1024654 895 1978 176 204 172 2.89/2.98 c 4530 137293 602858 1026613 895 1981 167 197 169 2.89/2.99 c 4540 137490 603770 1028103 895 1988 168 179 157 2.89/2.99 c 4550 137709 604743 1029946 895 1994 188 202 179 2.89/3.00 c 4560 137933 605819 1031863 895 1997 177 183 164 2.89/3.00 c 4570 138138 606724 1034137 895 1999 175 178 161 3.00/3.01 c 4580 138342 607636 1035646 895 2007 170 186 161 3.00/3.01 c 4590 138573 608572 1037339 895 2012 168 198 173 3.00/3.02 c 4600 138780 609521 1038970 895 2014 176 186 164 3.00/3.02 c 4610 139002 610711 1041770 895 2017 195 203 179 3.00/3.03 c 4620 139214 611554 1043363 895 2023 185 199 177 3.00/3.03 c 4630 139411 612453 1044809 895 2029 171 182 160 3.00/3.04 c 4640 139643 613619 1047087 895 2031 178 191 170 3.00/3.04 c 4650 139869 614575 1048923 895 2033 198 207 184 3.00/3.05 c 4660 140066 615437 1050320 895 2035 171 178 159 3.00/3.05 c 4670 140258 616279 1051697 895 2040 169 178 158 3.00/3.06 c 4680 140495 617402 1053873 895 2043 173 201 176 3.00/3.06 c 4690 140718 618466 1056203 895 2047 167 199 176 3.00/3.07 c 4700 140916 619324 1057583 895 2050 173 178 159 3.00/3.07 c 4710 141121 620286 1059222 895 2052 175 183 163 3.00/3.08 c 4720 141378 621502 1061641 895 2054 195 214 189 3.00/3.08 c 4730 141596 622526 1063258 895 2060 167 190 167 3.00/3.09 c 4740 141823 623619 1065384 895 2063 179 186 166 3.00/3.10 c 4750 142119 624888 1067998 895 2066 175 203 171 3.00/3.10 c 4760 142347 625810 1069659 895 2071 167 196 171 3.10/3.10 c 4770 142546 626708 1071119 895 2073 174 180 161 3.10/3.11 c 4780 142789 627938 1073487 895 2075 208 214 191 3.10/3.12 c 4790 142996 628971 1075272 895 2079 176 186 165 3.10/3.12 c 4800 143235 630080 1077553 895 2083 187 199 176 3.10/3.13 c 4810 143438 631118 1079539 895 2087 171 182 159 3.10/3.13 c 4820 143728 632491 1082447 895 2088 183 186 168 3.10/3.14 c 4830 143960 633473 1084414 895 2090 187 196 173 3.10/3.14 c 4840 144184 634569 1086663 895 2097 180 209 182 3.10/3.15 c 4850 144436 635783 1089182 895 2101 179 198 171 3.10/3.16 c 4860 144655 636931 1092068 895 2107 198 201 180 3.10/3.16 c 4870 144892 638055 1094449 895 2111 179 198 171 3.10/3.17 c 4880 145082 638889 1095671 895 2113 170 173 156 3.10/3.17 c 4890 145349 640243 1098815 895 2116 182 196 171 3.10/3.18 c 4900 145586 641342 1101009 895 2122 175 197 166 3.10/3.18 c 4910 145833 642574 1103831 895 2126 182 200 176 3.10/3.19 c 4920 146025 643414 1105074 895 2129 169 175 156 3.10/3.19 c 4930 146227 644467 1107117 895 2136 170 184 163 3.19/3.20 c 4940 146475 645708 1109822 895 2140 179 202 174 3.19/3.20 c 4950 146667 646567 1111126 895 2142 170 174 156 3.19/3.21 c 4960 146884 647430 1112744 895 2146 176 201 179 3.19/3.21 c 4970 147080 648380 1114434 895 2150 172 178 158 3.19/3.22 c 4980 147275 649274 1115881 895 2156 170 180 158 3.19/3.22 c 4990 147504 650543 1119053 895 2162 174 203 180 3.19/3.24 c 5035 147851 653311 1129208 895 2170 179 207 192 3.29/3.37 c 5631 149886 676840 1205735 895 2179 168 188 176 3.49/3.50 c 6286 151732 699892 1281866 895 2187 166 183 173 3.59/3.64 c 7006 153602 724632 1371071 895 2198 164 176 171 3.79/3.81 c 7798 156143 755005 1481497 895 2218 165 200 180 3.89/3.99 c 8669 159873 787605 1607446 895 2234 168 196 177 4.10/4.19 c 9627 163350 823261 1752154 895 2242 168 186 183 4.39/4.45 c 10680 167585 869264 1953314 895 2257 171 220 209 4.69/4.77 c 11838 171111 926197 2246386 895 2276 172 232 219 5.00/5.08 c 13111 177625 981950 2508264 895 2285 173 241 210 5.29/5.36 c 14511 182543 1030927 2702198 895 2298 166 209 195 5.69/5.72 c 16051 190373 1095097 3007821 895 2317 187 243 226 6.10/6.17 c 17745 197599 1174704 3375613 895 2334 188 214 202 6.49/6.59 c 19608 203778 1246783 3678174 895 2351 181 213 195 7.00/7.04 c 21657 212532 1328682 3966732 895 2359 170 203 189 7.39/7.47 c 23910 220962 1403316 4331070 895 2376 169 218 202 8.10/8.13 c 26388 233686 1520816 4939711 895 2398 177 253 238 8.69/8.77 c 29113 244439 1634977 5513384 895 2422 195 252 233 9.39/9.41 c 32110 253911 1746924 6090740 895 2451 208 262 247 10.39/10.46 c 35406 267110 1929863 6920983 895 2476 205 273 244 11.59/11.65 c 39031 280985 2136990 7913118 895 2504 211 265 233 12.79/12.88 c 43018 298158 2351944 9016427 895 2539 212 315 282 14.29/14.31 c 47403 324342 2606880 10131062 895 2547 222 258 242 15.19/15.22 c 52226 340382 2776194 10690587 895 2556 197 255 236 16.19/16.26 c 57531 361642 2963773 11330840 895 2563 201 237 216 17.49/17.53 c 63366 381806 3183833 12459588 895 2604 202 278 248 19.19/19.25 c 69784 417826 3492503 13738983 895 2650 201 280 242 20.79/20.87 c 76843 444761 3779469 15085911 895 2689 199 266 250 22.79/22.84 c 84607 471476 4123676 16986091 895 2732 200 277 247 25.00/25.07 c 93147 507120 4515087 18929228 895 2772 203 268 250 27.39/27.49 c 102541 545380 4942901 20943040 895 2804 188 258 241 30.19/30.28 c 112874 586118 5427230 23014942 895 2829 186 233 215 33.00/33.08 c 124240 629988 5911505 25351013 895 2839 188 240 219 33.00/33.09 conflict 9lvl : 191 bt190-14085:0(223)X1737224 35.89/35.98 c 136742 694192 6433351 27639619 895 2857 185 236 208 35.89/35.98 conflict 9lvl : 188 bt177-14085:0(115)X1737551 39.10/39.13 c 150494 752406 6989569 29824946 895 2865 172 222 206 42.39/42.47 c 165621 803033 7582045 31928407 895 2876 162 189 175 45.69/45.75 c 182260 857777 8173321 34054050 895 2902 163 193 176 51.29/51.38 c 200562 939892 9137933 39315748 895 2959 168 244 224 56.39/56.48 c 220694 1037373 10048599 43137164 895 2998 173 257 218 62.19/62.23 c 242839 1139946 11046512 47737307 895 3019 171 229 204 69.11/69.14 c 267198 1232241 12258122 53115669 895 3053 165 260 219 78.20/78.27 c 293992 1355321 13837820 60339285 895 3077 170 242 218 86.30/86.34 c 323465 1496906 15242373 66865984 895 3094 170 217 200 93.60/93.61 c 355885 1608467 16493639 73215515 895 3109 171 225 211 100.80/100.80 c 391547 1736238 17760053 77655374 895 3128 166 203 184 115.01/115.05 c 430775 1913313 20240423 89557077 895 3161 170 266 232 126.20/126.27 c 473925 2055831 22202399 98264251 895 3186 170 226 196 139.90/139.91 c 521390 2304727 24636449 109458259 895 3247 169 257 224 151.11/151.15 c 573601 2467558 26624418 116459310 895 3267 175 213 197 170.30/170.37 c 631033 2699286 29981973 131465990 895 3285 167 259 227 189.60/189.69 c 694208 2957020 33310432 148464187 895 3324 176 261 233 212.60/212.63 c 763700 3272098 37362051 164118122 895 3353 171 267 208 232.51/232.55 c 840141 3709195 40989756 178557848 895 3368 178 239 203 251.51/251.53 c 924226 4024447 44329235 191696720 895 3408 165 210 190 275.21/275.26 c 1016719 4341329 48470079 210379261 895 3439 169 245 213 303.01/303.03 c 1118461 4725535 53340673 233134841 895 3476 166 275 226 338.91/339.00 c 1230377 5500226 59937689 258048960 895 3498 170 261 203 373.31/373.39 c 1353484 6172026 66108254 284572189 895 3535 171 257 204 414.81/414.85 c 1488901 6867639 73352468 315813414 895 3591 171 264 230 460.61/460.69 c 1637859 7559301 81412795 353154336 895 3620 170 231 218 507.62/507.67 c 1801712 8270083 89601966 393753390 895 3667 170 260 224 553.52/553.57 c 1981950 8948163 97659173 428253829 895 3714 169 245 198 609.32/609.31 c 2180211 9720410 107311326 478440714 895 3757 168 275 251 609.32/609.31 conflict 10lvl : 215 bt166-14085:0(335)X1766581 672.23/672.26 c 2398298 10569713 118214696 532627733 895 3793 167 269 244 761.04/761.01 c 2638193 11545119 133696157 608286265 895 3834 175 289 244 838.94/838.90 c 2902077 12531638 147249188 675333723 895 3862 215 263 243 932.95/932.98 c 3192349 14032465 164023839 748488288 895 3904 167 266 233 1016.55/1016.53 c 3511648 15280406 178543723 821733402 895 3941 159 266 243 1126.26/1126.28 c 3862876 16910781 197629462 919343006 895 3975 161 267 239 1228.77/1228.71 c 4249226 19074409 216252057 981540913 895 4011 150 228 194 1349.48/1349.49 c 4674211 21182456 237593639 1080533656 895 4026 154 273 239 1460.19/1460.17 c 5141694 23259620 257140415 1153329574 895 4066 156 235 198 1624.20/1624.13 c 5655925 25099218 285734158 1286413424 895 4114 169 286 261 1807.50/1807.43 c 6221579 27596709 317668181 1428747095 895 4164 201 293 264 2030.23/2030.10 c 6843798 30536403 356487194 1612258791 895 4214 187 318 260 2249.93/2249.84 c 7528238 33700468 394850757 1801771412 895 4230 188 309 265 2439.04/2438.94 c 8281122 37422358 427888129 1926634550 895 4256 177 276 241 2520.05/2519.90 2520.05/2519.90 c *** INTERRUPTED *** 2520.05/2519.90 c restarts : 594 2520.05/2519.90 c conflicts : 8550776 (3393 /sec) 2520.05/2519.90 c decisions : 38702366 (15358 /sec) 2520.05/2519.90 c propagations : 1984605621 (787535 /sec) 2520.05/2519.90 c root propagations : 4848 2520.05/2519.90 c filter calls : 442147083 (175454 /sec) 2520.05/2519.90 c useless filter calls : 147101667 (33 %) 2520.05/2519.90 c 2520.05/2519.90 c clauses : 398456 2520.05/2519.90 c SAT propagations : 2699181 2520.05/2519.90 c SAT conflicts : 0 (12 learnts) 2520.05/2519.90 c Memory used : 52.77 MB 2520.05/2519.90 c CPU time : 2520.02 s 2520.05/2519.90 2520.05/2519.90 s UNKNOWN
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (14445 MiB free)
memory of node 1: 16384 MiB (15731 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4266126-1502591398/watcher-4266126-1502591398 -o /tmp/evaluation-result-4266126-1502591398/solver-4266126-1502591398 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node112-1502567254-23607 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4266126-1502591398.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=28410, runsolver pid=28407
Current StackSize limit: 8192 KiB
[startup+0.100158 s]*
/proc/loadavg: 2.20 2.05 2.06 3/187 28411
/proc/meminfo: memFree=30874928/32770624 swapFree=67108860/67108860
[pid=28410] ppid=28407 vsize=53396 memory=28544 CPUtime=0.1 cores=1,3,5,7
/proc/28410/stat : 28410 (cosoco) R 28407 28410 23522 0 -1 4202496 6823 0 0 0 10 0 0 0 20 0 1 0 92227643 54677504 7136 33554432000 4194304 5972588 140735971755728 140735971752376 140391818578917 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 15331328 140735971763386 140735971763486 140735971763486 140735971766222 0
/proc/28410/statm: 13349 7136 781 435 0 6712 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 53396 KiB
Current children cumulated memory: 28544 KiB
[startup+0.209626 s]*
/proc/loadavg: 2.20 2.05 2.06 3/187 28411
/proc/meminfo: memFree=30874184/32770624 swapFree=67108860/67108860
[pid=28410] ppid=28407 vsize=53916 memory=29228 CPUtime=0.2 cores=1,3,5,7
/proc/28410/stat : 28410 (cosoco) R 28407 28410 23522 0 -1 4202496 6975 0 0 0 20 0 0 0 20 0 1 0 92227643 55209984 7307 33554432000 4194304 5972588 140735971755728 140735971752376 4979087 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 15331328 140735971763386 140735971763486 140735971763486 140735971766222 0
/proc/28410/statm: 13479 7307 781 435 0 6842 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 53916 KiB
Current children cumulated memory: 29228 KiB
[startup+0.309179 s]*
/proc/loadavg: 2.20 2.05 2.06 3/187 28411
/proc/meminfo: memFree=30874184/32770624 swapFree=67108860/67108860
[pid=28410] ppid=28407 vsize=53916 memory=29228 CPUtime=0.3 cores=1,3,5,7
/proc/28410/stat : 28410 (cosoco) R 28407 28410 23522 0 -1 4202496 6993 0 0 0 30 0 0 0 20 0 1 0 92227643 55209984 7307 33554432000 4194304 5972588 140735971755728 140735971752376 4979136 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 15331328 140735971763386 140735971763486 140735971763486 140735971766222 0
/proc/28410/statm: 13479 7307 781 435 0 6842 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 53916 KiB
Current children cumulated memory: 29228 KiB
[startup+0.700365 s]
/proc/loadavg: 2.20 2.05 2.06 3/187 28411
/proc/meminfo: memFree=30874184/32770624 swapFree=67108860/67108860
[pid=28410] ppid=28407 vsize=54028 memory=29384 CPUtime=0.69 cores=1,3,5,7
/proc/28410/stat : 28410 (cosoco) R 28407 28410 23522 0 -1 4202496 7008 0 0 0 69 0 0 0 20 0 1 0 92227643 55324672 7346 33554432000 4194304 5972588 140735971755728 140735971753032 4971197 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 15331328 140735971763386 140735971763486 140735971763486 140735971766222 0
/proc/28410/statm: 13507 7346 781 435 0 6870 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 54028 KiB
Current children cumulated memory: 29384 KiB
[startup+1.50027 s]
/proc/loadavg: 2.20 2.05 2.06 3/187 28411
/proc/meminfo: memFree=30873868/32770624 swapFree=67108860/67108860
[pid=28410] ppid=28407 vsize=54028 memory=29384 CPUtime=1.49 cores=1,3,5,7
/proc/28410/stat : 28410 (cosoco) R 28407 28410 23522 0 -1 4202496 7026 0 0 0 149 0 0 0 20 0 1 0 92227643 55324672 7346 33554432000 4194304 5972588 140735971755728 140735971753032 4972783 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 15331328 140735971763386 140735971763486 140735971763486 140735971766222 0
/proc/28410/statm: 13507 7346 781 435 0 6870 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 54028 KiB
Current children cumulated memory: 29384 KiB
[startup+3.10906 s]
/proc/loadavg: 2.18 2.05 2.06 3/187 28411
/proc/meminfo: memFree=30873744/32770624 swapFree=67108860/67108860
[pid=28410] ppid=28407 vsize=54028 memory=29592 CPUtime=3.1 cores=1,3,5,7
/proc/28410/stat : 28410 (cosoco) R 28407 28410 23522 0 -1 4202496 8988 0 0 0 309 1 0 0 20 0 1 0 92227643 55324672 7398 33554432000 4194304 5972588 140735971755728 140735971753032 4977572 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 15331328 140735971763386 140735971763486 140735971763486 140735971766222 0
/proc/28410/statm: 13507 7398 786 435 0 6870 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 54028 KiB
Current children cumulated memory: 29592 KiB
[startup+6.30026 s]
/proc/loadavg: 2.18 2.05 2.06 3/187 28411
/proc/meminfo: memFree=30873332/32770624 swapFree=67108860/67108860
[pid=28410] ppid=28407 vsize=54028 memory=29636 CPUtime=6.29 cores=1,3,5,7
/proc/28410/stat : 28410 (cosoco) R 28407 28410 23522 0 -1 4202496 11523 0 0 0 628 1 0 0 20 0 1 0 92227643 55324672 7409 33554432000 4194304 5972588 140735971755728 140735971753032 5338177 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 15331328 140735971763386 140735971763486 140735971763486 140735971766222 0
/proc/28410/statm: 13507 7409 786 435 0 6870 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 54028 KiB
Current children cumulated memory: 29636 KiB
[startup+12.7003 s]
/proc/loadavg: 2.17 2.05 2.06 3/187 28411
/proc/meminfo: memFree=30873996/32770624 swapFree=67108860/67108860
[pid=28410] ppid=28407 vsize=54028 memory=29668 CPUtime=12.69 cores=1,3,5,7
/proc/28410/stat : 28410 (cosoco) R 28407 28410 23522 0 -1 4202496 14315 0 0 0 1268 1 0 0 20 0 1 0 92227643 55324672 7417 33554432000 4194304 5972588 140735971755728 140735971753032 4971279 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 15331328 140735971763386 140735971763486 140735971763486 140735971766222 0
/proc/28410/statm: 13507 7417 786 435 0 6870 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 54028 KiB
Current children cumulated memory: 29668 KiB
[startup+25.5003 s]
/proc/loadavg: 2.13 2.04 2.05 3/187 28411
/proc/meminfo: memFree=30874020/32770624 swapFree=67108860/67108860
[pid=28410] ppid=28407 vsize=54028 memory=29716 CPUtime=25.49 cores=1,3,5,7
/proc/28410/stat : 28410 (cosoco) R 28407 28410 23522 0 -1 4202496 19399 0 0 0 2548 1 0 0 20 0 1 0 92227643 55324672 7429 33554432000 4194304 5972588 140735971755728 140735971753032 5338173 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 15331328 140735971763386 140735971763486 140735971763486 140735971766222 0
/proc/28410/statm: 13507 7429 786 435 0 6870 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 54028 KiB
Current children cumulated memory: 29716 KiB
[startup+51.109 s]
/proc/loadavg: 2.09 2.04 2.05 3/187 28411
/proc/meminfo: memFree=30873672/32770624 swapFree=67108860/67108860
[pid=28410] ppid=28407 vsize=54028 memory=29744 CPUtime=51.1 cores=1,3,5,7
/proc/28410/stat : 28410 (cosoco) R 28407 28410 23522 0 -1 4202496 22062 0 0 0 5109 1 0 0 20 0 1 0 92227643 55324672 7436 33554432000 4194304 5972588 140735971755728 140735971753032 4975605 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 15331328 140735971763386 140735971763486 140735971763486 140735971766222 0
/proc/28410/statm: 13507 7436 786 435 0 6870 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 54028 KiB
Current children cumulated memory: 29744 KiB
[startup+102.3 s]
/proc/loadavg: 2.32 2.10 2.07 3/187 28412
/proc/meminfo: memFree=30873740/32770624 swapFree=67108860/67108860
[pid=28410] ppid=28407 vsize=54028 memory=29776 CPUtime=102.3 cores=1,3,5,7
/proc/28410/stat : 28410 (cosoco) R 28407 28410 23522 0 -1 4202496 24970 0 0 0 10228 2 0 0 20 0 1 0 92227643 55324672 7444 33554432000 4194304 5972588 140735971755728 140735971753032 5338173 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 15331328 140735971763386 140735971763486 140735971763486 140735971766222 0
/proc/28410/statm: 13507 7444 786 435 0 6870 0
Current children cumulated CPU time: 102.3 s
Current children cumulated vsize: 54028 KiB
Current children cumulated memory: 29776 KiB
[startup+162.3 s]
/proc/loadavg: 2.22 2.12 2.08 3/187 28413
/proc/meminfo: memFree=30873672/32770624 swapFree=67108860/67108860
[pid=28410] ppid=28407 vsize=54028 memory=29792 CPUtime=162.3 cores=1,3,5,7
/proc/28410/stat : 28410 (cosoco) R 28407 28410 23522 0 -1 4202496 27928 0 0 0 16228 2 0 0 20 0 1 0 92227643 55324672 7448 33554432000 4194304 5972588 140735971755728 140735971753032 4977737 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 15331328 140735971763386 140735971763486 140735971763486 140735971766222 0
/proc/28410/statm: 13507 7448 786 435 0 6870 0
Current children cumulated CPU time: 162.3 s
Current children cumulated vsize: 54028 KiB
Current children cumulated memory: 29792 KiB
[startup+222.3 s]
/proc/loadavg: 2.08 2.10 2.07 3/187 28414
/proc/meminfo: memFree=30873548/32770624 swapFree=67108860/67108860
[pid=28410] ppid=28407 vsize=54028 memory=29808 CPUtime=222.3 cores=1,3,5,7
/proc/28410/stat : 28410 (cosoco) R 28407 28410 23522 0 -1 4202496 30827 0 0 0 22228 2 0 0 20 0 1 0 92227643 55324672 7452 33554432000 4194304 5972588 140735971755728 140735971753032 4971615 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 15331328 140735971763386 140735971763486 140735971763486 140735971766222 0
/proc/28410/statm: 13507 7452 786 435 0 6870 0
Current children cumulated CPU time: 222.3 s
Current children cumulated vsize: 54028 KiB
Current children cumulated memory: 29808 KiB
[startup+282.3 s]
/proc/loadavg: 2.03 2.08 2.07 3/187 28422
/proc/meminfo: memFree=30872536/32770624 swapFree=67108860/67108860
[pid=28410] ppid=28407 vsize=54028 memory=29808 CPUtime=282.31 cores=1,3,5,7
/proc/28410/stat : 28410 (cosoco) R 28407 28410 23522 0 -1 4202496 30888 0 0 0 28229 2 0 0 20 0 1 0 92227643 55324672 7452 33554432000 4194304 5972588 140735971755728 140735971753032 4977723 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 15331328 140735971763386 140735971763486 140735971763486 140735971766222 0
/proc/28410/statm: 13507 7452 786 435 0 6870 0
Current children cumulated CPU time: 282.31 s
Current children cumulated vsize: 54028 KiB
Current children cumulated memory: 29808 KiB
[startup+342.3 s]
/proc/loadavg: 2.01 2.07 2.06 3/187 28423
/proc/meminfo: memFree=30872328/32770624 swapFree=67108860/67108860
[pid=28410] ppid=28407 vsize=54028 memory=29848 CPUtime=342.31 cores=1,3,5,7
/proc/28410/stat : 28410 (cosoco) R 28407 28410 23522 0 -1 4202496 32145 0 0 0 34229 2 0 0 20 0 1 0 92227643 55324672 7462 33554432000 4194304 5972588 140735971755728 140735971753032 4978123 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 15331328 140735971763386 140735971763486 140735971763486 140735971766222 0
/proc/28410/statm: 13507 7462 786 435 0 6870 0
Current children cumulated CPU time: 342.31 s
Current children cumulated vsize: 54028 KiB
Current children cumulated memory: 29848 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.06 2.05 3/187 28424
/proc/meminfo: memFree=30872452/32770624 swapFree=67108860/67108860
[pid=28410] ppid=28407 vsize=54028 memory=29848 CPUtime=402.31 cores=1,3,5,7
/proc/28410/stat : 28410 (cosoco) R 28407 28410 23522 0 -1 4202496 32204 0 0 0 40229 2 0 0 20 0 1 0 92227643 55324672 7462 33554432000 4194304 5972588 140735971755728 140735971753032 4971444 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 15331328 140735971763386 140735971763486 140735971763486 140735971766222 0
/proc/28410/statm: 13507 7462 786 435 0 6870 0
Current children cumulated CPU time: 402.31 s
Current children cumulated vsize: 54028 KiB
Current children cumulated memory: 29848 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 28425
/proc/meminfo: memFree=30872556/32770624 swapFree=67108860/67108860
[pid=28410] ppid=28407 vsize=54028 memory=29876 CPUtime=462.31 cores=1,3,5,7
/proc/28410/stat : 28410 (cosoco) R 28407 28410 23522 0 -1 4202496 33377 0 0 0 46229 2 0 0 20 0 1 0 92227643 55324672 7469 33554432000 4194304 5972588 140735971755728 140735971753032 4975792 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 15331328 140735971763386 140735971763486 140735971763486 140735971766222 0
/proc/28410/statm: 13507 7469 786 435 0 6870 0
Current children cumulated CPU time: 462.31 s
Current children cumulated vsize: 54028 KiB
Current children cumulated memory: 29876 KiB
################
# More data... #
################
/proc/28410/statm: 13507 7487 786 435 0 6870 0
Current children cumulated CPU time: 1782.4 s
Current children cumulated vsize: 54028 KiB
Current children cumulated memory: 29948 KiB
[startup+1842.3 s]
/proc/loadavg: 2.02 2.05 2.05 3/187 28527
/proc/meminfo: memFree=31577940/32770624 swapFree=67108860/67108860
[pid=28410] ppid=28407 vsize=54028 memory=29960 CPUtime=1842.41 cores=1,3,5,7
/proc/28410/stat : 28410 (cosoco) R 28407 28410 23522 0 -1 4202496 47615 0 0 0 184238 3 0 0 20 0 1 0 92227643 55324672 7490 33554432000 4194304 5972588 140735971755728 140735971753032 4975647 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 15331328 140735971763386 140735971763486 140735971763486 140735971766222 0
/proc/28410/statm: 13507 7490 786 435 0 6870 0
Current children cumulated CPU time: 1842.41 s
Current children cumulated vsize: 54028 KiB
Current children cumulated memory: 29960 KiB
[startup+1902.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/187 28528
/proc/meminfo: memFree=31577616/32770624 swapFree=67108860/67108860
[pid=28410] ppid=28407 vsize=54028 memory=29960 CPUtime=1902.41 cores=1,3,5,7
/proc/28410/stat : 28410 (cosoco) R 28407 28410 23522 0 -1 4202496 48913 0 0 0 190238 3 0 0 20 0 1 0 92227643 55324672 7490 33554432000 4194304 5972588 140735971755728 140735971753032 4978779 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 15331328 140735971763386 140735971763486 140735971763486 140735971766222 0
/proc/28410/statm: 13507 7490 786 435 0 6870 0
Current children cumulated CPU time: 1902.41 s
Current children cumulated vsize: 54028 KiB
Current children cumulated memory: 29960 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 28529
/proc/meminfo: memFree=31577576/32770624 swapFree=67108860/67108860
[pid=28410] ppid=28407 vsize=54028 memory=29960 CPUtime=1962.41 cores=1,3,5,7
/proc/28410/stat : 28410 (cosoco) R 28407 28410 23522 0 -1 4202496 48946 0 0 0 196238 3 0 0 20 0 1 0 92227643 55324672 7490 33554432000 4194304 5972588 140735971755728 140735971753032 4970856 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 15331328 140735971763386 140735971763486 140735971763486 140735971766222 0
/proc/28410/statm: 13507 7490 786 435 0 6870 0
Current children cumulated CPU time: 1962.41 s
Current children cumulated vsize: 54028 KiB
Current children cumulated memory: 29960 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 28530
/proc/meminfo: memFree=31577360/32770624 swapFree=67108860/67108860
[pid=28410] ppid=28407 vsize=54028 memory=29960 CPUtime=2022.42 cores=1,3,5,7
/proc/28410/stat : 28410 (cosoco) R 28407 28410 23522 0 -1 4202496 50275 0 0 0 202239 3 0 0 20 0 1 0 92227643 55324672 7490 33554432000 4194304 5972588 140735971755728 140735971753032 4978055 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 15331328 140735971763386 140735971763486 140735971763486 140735971766222 0
/proc/28410/statm: 13507 7490 786 435 0 6870 0
Current children cumulated CPU time: 2022.42 s
Current children cumulated vsize: 54028 KiB
Current children cumulated memory: 29960 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 28538
/proc/meminfo: memFree=31576464/32770624 swapFree=67108860/67108860
[pid=28410] ppid=28407 vsize=54028 memory=29972 CPUtime=2082.42 cores=1,3,5,7
/proc/28410/stat : 28410 (cosoco) R 28407 28410 23522 0 -1 4202496 50337 0 0 0 208239 3 0 0 20 0 1 0 92227643 55324672 7493 33554432000 4194304 5972588 140735971755728 140735971753032 4978058 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 15331328 140735971763386 140735971763486 140735971763486 140735971766222 0
/proc/28410/statm: 13507 7493 786 435 0 6870 0
Current children cumulated CPU time: 2082.42 s
Current children cumulated vsize: 54028 KiB
Current children cumulated memory: 29972 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 28539
/proc/meminfo: memFree=31576920/32770624 swapFree=67108860/67108860
[pid=28410] ppid=28407 vsize=54028 memory=29972 CPUtime=2142.43 cores=1,3,5,7
/proc/28410/stat : 28410 (cosoco) R 28407 28410 23522 0 -1 4202496 51460 0 0 0 214240 3 0 0 20 0 1 0 92227643 55324672 7493 33554432000 4194304 5972588 140735971755728 140735971753032 4978787 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 15331328 140735971763386 140735971763486 140735971763486 140735971766222 0
/proc/28410/statm: 13507 7493 786 435 0 6870 0
Current children cumulated CPU time: 2142.43 s
Current children cumulated vsize: 54028 KiB
Current children cumulated memory: 29972 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 28540
/proc/meminfo: memFree=31576672/32770624 swapFree=67108860/67108860
[pid=28410] ppid=28407 vsize=54028 memory=29972 CPUtime=2202.43 cores=1,3,5,7
/proc/28410/stat : 28410 (cosoco) R 28407 28410 23522 0 -1 4202496 51664 0 0 0 220240 3 0 0 20 0 1 0 92227643 55324672 7493 33554432000 4194304 5972588 140735971755728 140735971753032 4977731 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 15331328 140735971763386 140735971763486 140735971763486 140735971766222 0
/proc/28410/statm: 13507 7493 786 435 0 6870 0
Current children cumulated CPU time: 2202.43 s
Current children cumulated vsize: 54028 KiB
Current children cumulated memory: 29972 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 28541
/proc/meminfo: memFree=31576984/32770624 swapFree=67108860/67108860
[pid=28410] ppid=28407 vsize=54028 memory=29972 CPUtime=2262.43 cores=1,3,5,7
/proc/28410/stat : 28410 (cosoco) R 28407 28410 23522 0 -1 4202496 52850 0 0 0 226240 3 0 0 20 0 1 0 92227643 55324672 7493 33554432000 4194304 5972588 140735971755728 140735971753032 4971586 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 15331328 140735971763386 140735971763486 140735971763486 140735971766222 0
/proc/28410/statm: 13507 7493 786 435 0 6870 0
Current children cumulated CPU time: 2262.43 s
Current children cumulated vsize: 54028 KiB
Current children cumulated memory: 29972 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 28542
/proc/meminfo: memFree=31576860/32770624 swapFree=67108860/67108860
[pid=28410] ppid=28407 vsize=54028 memory=29972 CPUtime=2322.44 cores=1,3,5,7
/proc/28410/stat : 28410 (cosoco) R 28407 28410 23522 0 -1 4202496 52912 0 0 0 232241 3 0 0 20 0 1 0 92227643 55324672 7493 33554432000 4194304 5972588 140735971755728 140735971753032 4975726 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 15331328 140735971763386 140735971763486 140735971763486 140735971766222 0
/proc/28410/statm: 13507 7493 786 435 0 6870 0
Current children cumulated CPU time: 2322.44 s
Current children cumulated vsize: 54028 KiB
Current children cumulated memory: 29972 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 28544
/proc/meminfo: memFree=31576576/32770624 swapFree=67108860/67108860
[pid=28410] ppid=28407 vsize=54028 memory=29972 CPUtime=2382.44 cores=1,3,5,7
/proc/28410/stat : 28410 (cosoco) R 28407 28410 23522 0 -1 4202496 54079 0 0 0 238241 3 0 0 20 0 1 0 92227643 55324672 7493 33554432000 4194304 5972588 140735971755728 140735971753032 4978737 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 15331328 140735971763386 140735971763486 140735971763486 140735971766222 0
/proc/28410/statm: 13507 7493 786 435 0 6870 0
Current children cumulated CPU time: 2382.44 s
Current children cumulated vsize: 54028 KiB
Current children cumulated memory: 29972 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 28545
/proc/meminfo: memFree=31576876/32770624 swapFree=67108860/67108860
[pid=28410] ppid=28407 vsize=54028 memory=29976 CPUtime=2442.44 cores=1,3,5,7
/proc/28410/stat : 28410 (cosoco) R 28407 28410 23522 0 -1 4202496 54202 0 0 0 244241 3 0 0 20 0 1 0 92227643 55324672 7494 33554432000 4194304 5972588 140735971755728 140735971753032 5323658 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 15331328 140735971763386 140735971763486 140735971763486 140735971766222 0
/proc/28410/statm: 13507 7494 786 435 0 6870 0
Current children cumulated CPU time: 2442.44 s
Current children cumulated vsize: 54028 KiB
Current children cumulated memory: 29976 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 28546
/proc/meminfo: memFree=31578104/32770624 swapFree=67108860/67108860
[pid=28410] ppid=28407 vsize=54028 memory=29976 CPUtime=2502.44 cores=1,3,5,7
/proc/28410/stat : 28410 (cosoco) R 28407 28410 23522 0 -1 4202496 55516 0 0 0 250241 3 0 0 20 0 1 0 92227643 55324672 7494 33554432000 4194304 5972588 140735971755728 140735971753032 4975696 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 15331328 140735971763386 140735971763486 140735971763486 140735971766222 0
/proc/28410/statm: 13507 7494 786 435 0 6870 0
Current children cumulated CPU time: 2502.44 s
Current children cumulated vsize: 54028 KiB
Current children cumulated memory: 29976 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2519.9 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 28546
/proc/meminfo: memFree=31578188/32770624 swapFree=67108860/67108860
[pid=28410] ppid=28407 vsize=54028 memory=29976 CPUtime=2520.05 cores=1,3,5,7
/proc/28410/stat : 28410 (cosoco) R 28407 28410 23522 0 -1 4202496 55533 0 0 0 252002 3 0 0 20 0 1 0 92227643 55324672 7494 33554432000 4194304 5972588 140735971755728 140735971753032 4977753 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 15331328 140735971763386 140735971763486 140735971763486 140735971766222 0
/proc/28410/statm: 13507 7494 786 435 0 6870 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 54028 KiB
Current children cumulated memory: 29976 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2519.9 s]
# the end of solver process 28410 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2520.02 s, system=0.038002 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2519.9 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 28546
/proc/meminfo: memFree=31578188/32770624 swapFree=67108860/67108860
[pid=28410] ppid=28407 vsize=54028 memory=29976 CPUtime=2520.05 cores=1,3,5,7
/proc/28410/stat : 28410 (cosoco) R 28407 28410 23522 0 -1 4202496 55533 0 0 0 252002 3 0 0 20 0 1 0 92227643 55324672 7494 33554432000 4194304 5972588 140735971755728 140735971753032 4977753 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 15331328 140735971763386 140735971763486 140735971763486 140735971766222 0
/proc/28410/statm: 13507 7494 786 435 0 6870 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 54028 KiB
Current children cumulated memory: 29976 KiB
Child status: 1
Real time (s): 2519.9
CPU time (s): 2520.06
CPU user time (s): 2520.02
CPU system time (s): 0.038002
CPU usage (%): 100.006
Max. virtual memory (cumulated for all children) (KiB): 54028
Max. memory (cumulated for all children) (KiB): 29976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2520.02
system time used= 0.038002
maximum resident set size= 30052
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 55581
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= 13
involuntary context switches= 910
# summary of solver processes directly reported to runsolver:
# pid: 28410
# total CPU time (s): 2520.06
# total CPU user time (s): 2520.02
# total CPU system time (s): 0.038002
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.27278 second user time and 16.4499 second system time
The end
Begin job on node112 at 2017-08-13 04:15:40 IDJOB=4266126 IDBENCH=138951 IDSOLVER=2655 FILE ID=node112/4266126-1502591398 RUNJOBID= node112-1502567254-23607 PBS_JOBID= 20628283 Free space on /tmp= 61704 MiB SOLVER NAME= cosoco-sat 1.12 BENCH NAME= XCSP17/LatinSquare/LatinSquare-m1-gp/qwh-o30-h375-04.xml COMMAND LINE= cosoco -lc -model -restarts -sat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4266126-1502591398/watcher-4266126-1502591398 -o /tmp/evaluation-result-4266126-1502591398/solver-4266126-1502591398 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node112-1502567254-23607 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4266126-1502591398.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 64333456646456b433c0ccf5da59df06 RANDOM SEED=2043928705 node112.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /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 : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 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 : 5333.24 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 : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 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.55 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 : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 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 : 5333.24 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 : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 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.55 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 : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 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 : 5333.24 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 : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 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.55 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 : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 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 : 5333.24 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 : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 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.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 30900732 kB MemAvailable: 31148064 kB Buffers: 101136 kB Cached: 434316 kB SwapCached: 0 kB Active: 1276812 kB Inactive: 153584 kB Active(anon): 844872 kB Inactive(anon): 77980 kB Active(file): 431940 kB Inactive(file): 75604 kB Unevictable: 6280 kB Mlocked: 6280 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2484 kB Writeback: 0 kB AnonPages: 901380 kB Mapped: 44576 kB Shmem: 25224 kB Slab: 137448 kB SReclaimable: 111244 kB SUnreclaim: 26204 kB KernelStack: 3360 kB PageTables: 6816 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1207148 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 843776 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116096 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 61784 MiB End job on node112 at 2017-08-13 04:57:40