0.01 c This is CSPtoSAT+minisat version 0.3
0.01 c (c) 2006 roussel@cril.univ-artois.fr
0.01
0.01 c This solver internally uses a modified version of MiniSat2 version 061112
0.01 c MiniSat -- Copyright (c) 2003-2006, Niklas Een, Niklas Sorensson
0.01
0.01 c parsing...
0.02 c preparing clauses for relation R0
0.02 c preparing clauses for relation R1
0.02 c preparing clauses for relation R2
0.02 c preparing clauses for relation R3
0.02 c preparing clauses for relation R4
0.02 c preparing clauses for relation R5
0.02 c preparing clauses for relation R6
0.02 c instanciating clauses for relation R0 (conflicts) and variables V752 V64 V62
0.02 c instanciating clauses for relation R0 (conflicts) and variables V727 V534 V540
0.02 c instanciating clauses for relation R0 (conflicts) and variables V743 V225 V226
0.02 c instanciating clauses for relation R0 (conflicts) and variables V729 V532 V538
0.02 c instanciating clauses for relation R0 (conflicts) and variables V733 V337 V338
0.02 c instanciating clauses for relation R0 (conflicts) and variables V745 V330 V147
0.02 c instanciating clauses for relation R0 (conflicts) and variables V749 V91 V96
0.02 c instanciating clauses for relation R0 (conflicts) and variables V747 V113 V115
0.02 c instanciating clauses for relation R0 (conflicts) and variables V731 V373 V374
0.02 c instanciating clauses for relation R0 (conflicts) and variables V723 V618 V617
0.02 c instanciating clauses for relation R0 (conflicts) and variables V717 V674 V673
0.02 c instanciating clauses for relation R0 (conflicts) and variables V721 V621 V620
0.02 c instanciating clauses for relation R0 (conflicts) and variables V719 V665 V666
0.02 c instanciating clauses for relation R0 (conflicts) and variables V725 V609 V610
0.02 c instanciating clauses for relation R0 (conflicts) and variables V739 V237 V238
0.02 c instanciating clauses for relation R0 (conflicts) and variables V735 V268 V269
0.02 c instanciating clauses for relation R0 (conflicts) and variables V741 V234 V235
0.02 c instanciating clauses for relation R0 (conflicts) and variables V737 V266 V267
0.02 c instanciating clauses for relation R0 (conflicts) and variables V755 V67 V65
0.02 c instanciating clauses for relation R1 (conflicts) and variables V131 V62
0.02 c instanciating clauses for relation R1 (conflicts) and variables V70 V62
0.02 c instanciating clauses for relation R1 (conflicts) and variables V312 V62
0.02 c instanciating clauses for relation R1 (conflicts) and variables V133 V64
0.02 c instanciating clauses for relation R1 (conflicts) and variables V72 V64
0.02 c instanciating clauses for relation R1 (conflicts) and variables V312 V64
0.03 c instanciating clauses for relation R1 (conflicts) and variables V465 V313
0.03 c instanciating clauses for relation R1 (conflicts) and variables V579 V480
0.03 c instanciating clauses for relation R1 (conflicts) and variables V580 V480
0.03 c instanciating clauses for relation R1 (conflicts) and variables V26 V280
0.03 c instanciating clauses for relation R1 (conflicts) and variables V412 V280
0.03 c instanciating clauses for relation R1 (conflicts) and variables V47 V276
0.03 c instanciating clauses for relation R1 (conflicts) and variables V406 V276
0.03 c instanciating clauses for relation R1 (conflicts) and variables V357 V157
0.03 c instanciating clauses for relation R1 (conflicts) and variables V361 V357
0.03 c instanciating clauses for relation R1 (conflicts) and variables V360 V357
0.03 c instanciating clauses for relation R1 (conflicts) and variables V362 V357
0.03 c instanciating clauses for relation R1 (conflicts) and variables V363 V357
0.03 c instanciating clauses for relation R1 (conflicts) and variables V34 V274
0.03 c instanciating clauses for relation R1 (conflicts) and variables V405 V274
0.03 c instanciating clauses for relation R1 (conflicts) and variables V578 V340
0.03 c instanciating clauses for relation R1 (conflicts) and variables V352 V350
0.03 c instanciating clauses for relation R1 (conflicts) and variables V353 V350
0.03 c instanciating clauses for relation R1 (conflicts) and variables V354 V350
0.03 c instanciating clauses for relation R1 (conflicts) and variables V356 V350
0.03 c instanciating clauses for relation R1 (conflicts) and variables V53 V423
0.03 c instanciating clauses for relation R1 (conflicts) and variables V426 V423
0.03 c instanciating clauses for relation R1 (conflicts) and variables V347 V116
0.03 c instanciating clauses for relation R1 (conflicts) and variables V152 V116
0.03 c instanciating clauses for relation R1 (conflicts) and variables V348 V320
0.03 c instanciating clauses for relation R1 (conflicts) and variables V349 V320
0.03 c instanciating clauses for relation R1 (conflicts) and variables V355 V320
0.03 c instanciating clauses for relation R1 (conflicts) and variables V346 V320
0.03 c instanciating clauses for relation R1 (conflicts) and variables V351 V345
0.03 c instanciating clauses for relation R1 (conflicts) and variables V332 V130
0.03 c instanciating clauses for relation R1 (conflicts) and variables V333 V130
0.03 c instanciating clauses for relation R1 (conflicts) and variables V107 V130
0.03 c instanciating clauses for relation R1 (conflicts) and variables V329 V130
0.03 c instanciating clauses for relation R1 (conflicts) and variables V327 V329
0.03 c instanciating clauses for relation R1 (conflicts) and variables V328 V329
0.03 c instanciating clauses for relation R1 (conflicts) and variables V331 V329
0.03 c instanciating clauses for relation R1 (conflicts) and variables V25 V659
0.03 c instanciating clauses for relation R1 (conflicts) and variables V713 V659
0.03 c instanciating clauses for relation R1 (conflicts) and variables V27 V575
0.03 c instanciating clauses for relation R1 (conflicts) and variables V662 V575
0.03 c instanciating clauses for relation R1 (conflicts) and variables V41 V567
0.03 c instanciating clauses for relation R1 (conflicts) and variables V568 V567
0.03 c instanciating clauses for relation R1 (conflicts) and variables V20 V571
0.03 c instanciating clauses for relation R1 (conflicts) and variables V574 V571
0.03 c instanciating clauses for relation R1 (conflicts) and variables V630 V333
0.03 c instanciating clauses for relation R1 (conflicts) and variables V526 V522
0.03 c instanciating clauses for relation R1 (conflicts) and variables V511 V522
0.03 c instanciating clauses for relation R1 (conflicts) and variables V524 V522
0.03 c instanciating clauses for relation R1 (conflicts) and variables V40 V294
0.03 c instanciating clauses for relation R1 (conflicts) and variables V297 V294
0.03 c instanciating clauses for relation R1 (conflicts) and variables V632 V627
0.03 c instanciating clauses for relation R1 (conflicts) and variables V676 V631
0.03 c instanciating clauses for relation R1 (conflicts) and variables V677 V631
0.03 c instanciating clauses for relation R1 (conflicts) and variables V636 V635
0.03 c instanciating clauses for relation R1 (conflicts) and variables V622 V635
0.03 c instanciating clauses for relation R1 (conflicts) and variables V637 V635
0.03 c instanciating clauses for relation R1 (conflicts) and variables V334 V332
0.03 c instanciating clauses for relation R1 (conflicts) and variables V336 V332
0.03 c instanciating clauses for relation R1 (conflicts) and variables V629 V68
0.03 c instanciating clauses for relation R1 (conflicts) and variables V467 V68
0.03 c instanciating clauses for relation R1 (conflicts) and variables V527 V518
0.03 c instanciating clauses for relation R1 (conflicts) and variables V528 V518
0.03 c instanciating clauses for relation R1 (conflicts) and variables V523 V517
0.03 c instanciating clauses for relation R1 (conflicts) and variables V521 V517
0.03 c instanciating clauses for relation R1 (conflicts) and variables V604 V499
0.03 c instanciating clauses for relation R1 (conflicts) and variables V602 V499
0.03 c instanciating clauses for relation R1 (conflicts) and variables V605 V499
0.03 c instanciating clauses for relation R1 (conflicts) and variables V597 V595
0.03 c instanciating clauses for relation R1 (conflicts) and variables V599 V595
0.03 c instanciating clauses for relation R1 (conflicts) and variables V601 V595
0.03 c instanciating clauses for relation R1 (conflicts) and variables V670 V604
0.03 c instanciating clauses for relation R1 (conflicts) and variables V668 V604
0.03 c instanciating clauses for relation R1 (conflicts) and variables V671 V604
0.03 c instanciating clauses for relation R1 (conflicts) and variables V669 V604
0.03 c instanciating clauses for relation R1 (conflicts) and variables V124 V498
0.03 c instanciating clauses for relation R1 (conflicts) and variables V582 V498
0.03 c instanciating clauses for relation R1 (conflicts) and variables V126 V498
0.03 c instanciating clauses for relation R1 (conflicts) and variables V127 V126
0.03 c instanciating clauses for relation R1 (conflicts) and variables V128 V126
0.03 c instanciating clauses for relation R1 (conflicts) and variables V129 V126
0.03 c instanciating clauses for relation R1 (conflicts) and variables V78 V124
0.03 c instanciating clauses for relation R1 (conflicts) and variables V77 V124
0.03 c instanciating clauses for relation R1 (conflicts) and variables V83 V124
0.03 c instanciating clauses for relation R1 (conflicts) and variables V591 V458
0.03 c instanciating clauses for relation R1 (conflicts) and variables V596 V458
0.03 c instanciating clauses for relation R1 (conflicts) and variables V598 V458
0.03 c instanciating clauses for relation R1 (conflicts) and variables V600 V458
0.03 c instanciating clauses for relation R1 (conflicts) and variables V141 V70
0.03 c instanciating clauses for relation R1 (conflicts) and variables V73 V70
0.03 c instanciating clauses for relation R1 (conflicts) and variables V135 V70
0.03 c instanciating clauses for relation R1 (conflicts) and variables V141 V72
0.03 c instanciating clauses for relation R1 (conflicts) and variables V73 V72
0.03 c instanciating clauses for relation R1 (conflicts) and variables V137 V72
0.03 c instanciating clauses for relation R1 (conflicts) and variables V258 V213
0.03 c instanciating clauses for relation R1 (conflicts) and variables V254 V213
0.03 c instanciating clauses for relation R1 (conflicts) and variables V256 V213
0.03 c instanciating clauses for relation R1 (conflicts) and variables V473 V381
0.03 c instanciating clauses for relation R1 (conflicts) and variables V472 V381
0.03 c instanciating clauses for relation R1 (conflicts) and variables V500 V69
0.03 c instanciating clauses for relation R1 (conflicts) and variables V502 V69
0.03 c instanciating clauses for relation R1 (conflicts) and variables V134 V131
0.03 c instanciating clauses for relation R1 (conflicts) and variables V138 V131
0.03 c instanciating clauses for relation R1 (conflicts) and variables V142 V131
0.03 c instanciating clauses for relation R1 (conflicts) and variables V143 V131
0.03 c instanciating clauses for relation R1 (conflicts) and variables V134 V133
0.03 c instanciating clauses for relation R1 (conflicts) and variables V140 V133
0.03 c instanciating clauses for relation R1 (conflicts) and variables V142 V133
0.03 c instanciating clauses for relation R1 (conflicts) and variables V143 V133
0.03 c instanciating clauses for relation R1 (conflicts) and variables V218 V80
0.03 c instanciating clauses for relation R1 (conflicts) and variables V452 V451
0.03 c instanciating clauses for relation R1 (conflicts) and variables V453 V451
0.03 c instanciating clauses for relation R1 (conflicts) and variables V454 V451
0.03 c instanciating clauses for relation R1 (conflicts) and variables V383 V261
0.03 c instanciating clauses for relation R1 (conflicts) and variables V263 V261
0.03 c instanciating clauses for relation R1 (conflicts) and variables V264 V261
0.03 c instanciating clauses for relation R1 (conflicts) and variables V265 V261
0.03 c instanciating clauses for relation R1 (conflicts) and variables V257 V250
0.03 c instanciating clauses for relation R1 (conflicts) and variables V259 V250
0.03 c instanciating clauses for relation R1 (conflicts) and variables V260 V250
0.03 c instanciating clauses for relation R1 (conflicts) and variables V201 V65
0.03 c instanciating clauses for relation R1 (conflicts) and variables V194 V65
0.03 c instanciating clauses for relation R1 (conflicts) and variables V210 V65
0.03 c instanciating clauses for relation R1 (conflicts) and variables V203 V67
0.03 c instanciating clauses for relation R1 (conflicts) and variables V196 V67
0.03 c instanciating clauses for relation R1 (conflicts) and variables V210 V67
0.03 c instanciating clauses for relation R1 (conflicts) and variables V197 V194
0.03 c instanciating clauses for relation R1 (conflicts) and variables V190 V194
0.03 c instanciating clauses for relation R1 (conflicts) and variables V198 V194
0.03 c instanciating clauses for relation R1 (conflicts) and variables V197 V196
0.03 c instanciating clauses for relation R1 (conflicts) and variables V190 V196
0.03 c instanciating clauses for relation R1 (conflicts) and variables V200 V196
0.03 c instanciating clauses for relation R1 (conflicts) and variables V204 V201
0.03 c instanciating clauses for relation R1 (conflicts) and variables V205 V201
0.03 c instanciating clauses for relation R1 (conflicts) and variables V208 V201
0.03 c instanciating clauses for relation R1 (conflicts) and variables V209 V201
0.03 c instanciating clauses for relation R1 (conflicts) and variables V204 V203
0.03 c instanciating clauses for relation R1 (conflicts) and variables V207 V203
0.03 c instanciating clauses for relation R1 (conflicts) and variables V208 V203
0.03 c instanciating clauses for relation R1 (conflicts) and variables V209 V203
0.03 c instanciating clauses for relation R2 (conflicts) and variables V316 V459 V312
0.03 c instanciating clauses for relation R2 (conflicts) and variables V461 V460 V312
0.03 c instanciating clauses for relation R2 (conflicts) and variables V465 V321 V313
0.03 c instanciating clauses for relation R2 (conflicts) and variables V465 V324 V313
0.03 c instanciating clauses for relation R2 (conflicts) and variables V541 V536 V464
0.03 c instanciating clauses for relation R2 (conflicts) and variables V542 V536 V464
0.03 c instanciating clauses for relation R2 (conflicts) and variables V541 V537 V464
0.03 c instanciating clauses for relation R2 (conflicts) and variables V542 V537 V464
0.03 c instanciating clauses for relation R2 (conflicts) and variables V541 V539 V464
0.03 c instanciating clauses for relation R2 (conflicts) and variables V542 V539 V464
0.03 c instanciating clauses for relation R2 (conflicts) and variables V280 V281 V150
0.03 c instanciating clauses for relation R2 (conflicts) and variables V480 V579 V580
0.03 c instanciating clauses for relation R2 (conflicts) and variables V280 V26 V412
0.03 c instanciating clauses for relation R2 (conflicts) and variables V714 V45 V154
0.03 c instanciating clauses for relation R2 (conflicts) and variables V715 V716 V154
0.03 c instanciating clauses for relation R2 (conflicts) and variables V305 V15 V159
0.03 c instanciating clauses for relation R2 (conflicts) and variables V307 V306 V159
0.03 c instanciating clauses for relation R2 (conflicts) and variables V276 V277 V149
0.03 c instanciating clauses for relation R2 (conflicts) and variables V276 V47 V406
0.03 c instanciating clauses for relation R2 (conflicts) and variables V357 V350 V157
0.03 c instanciating clauses for relation R2 (conflicts) and variables V357 V358 V157
0.03 c instanciating clauses for relation R2 (conflicts) and variables V357 V359 V157
0.03 c instanciating clauses for relation R2 (conflicts) and variables V274 V275 V122
0.03 c instanciating clauses for relation R2 (conflicts) and variables V274 V34 V405
0.03 c instanciating clauses for relation R2 (conflicts) and variables V170 V21 V123
0.03 c instanciating clauses for relation R2 (conflicts) and variables V172 V171 V123
0.03 c instanciating clauses for relation R2 (conflicts) and variables V578 V481 V340
0.03 c instanciating clauses for relation R2 (conflicts) and variables V578 V482 V340
0.03 c instanciating clauses for relation R2 (conflicts) and variables V271 V5 V222
0.03 c instanciating clauses for relation R2 (conflicts) and variables V273 V272 V222
0.03 c instanciating clauses for relation R2 (conflicts) and variables V308 V55 V119
0.03 c instanciating clauses for relation R2 (conflicts) and variables V310 V309 V119
0.03 c instanciating clauses for relation R2 (conflicts) and variables V423 V424 V121
0.03 c instanciating clauses for relation R2 (conflicts) and variables V423 V53 V426
0.03 c instanciating clauses for relation R2 (conflicts) and variables V116 V347 V152
0.03 c instanciating clauses for relation R2 (conflicts) and variables V351 V339 V345
0.03 c instanciating clauses for relation R2 (conflicts) and variables V351 V343 V345
0.03 c instanciating clauses for relation R2 (conflicts) and variables V659 V660 V144
0.03 c instanciating clauses for relation R2 (conflicts) and variables V659 V25 V713
0.03 c instanciating clauses for relation R2 (conflicts) and variables V286 V52 V145
0.03 c instanciating clauses for relation R2 (conflicts) and variables V288 V287 V145
0.03 c instanciating clauses for relation R2 (conflicts) and variables V283 V18 V146
0.03 c instanciating clauses for relation R2 (conflicts) and variables V285 V284 V146
0.03 c instanciating clauses for relation R2 (conflicts) and variables V575 V576 V335
0.03 c instanciating clauses for relation R2 (conflicts) and variables V575 V27 V662
0.03 c instanciating clauses for relation R2 (conflicts) and variables V567 V569 V88
0.03 c instanciating clauses for relation R2 (conflicts) and variables V567 V41 V568
0.03 c instanciating clauses for relation R2 (conflicts) and variables V168 V48 V90
0.03 c instanciating clauses for relation R2 (conflicts) and variables V166 V163 V90
0.03 c instanciating clauses for relation R2 (conflicts) and variables V571 V572 V112
0.03 c instanciating clauses for relation R2 (conflicts) and variables V571 V20 V574
0.03 c instanciating clauses for relation R2 (conflicts) and variables V173 V38 V110
0.03 c instanciating clauses for relation R2 (conflicts) and variables V175 V174 V110
0.03 c instanciating clauses for relation R2 (conflicts) and variables V630 V626 V333
0.03 c instanciating clauses for relation R2 (conflicts) and variables V630 V627 V333
0.03 c instanciating clauses for relation R2 (conflicts) and variables V630 V628 V333
0.03 c instanciating clauses for relation R2 (conflicts) and variables V547 V560 V525
0.03 c instanciating clauses for relation R2 (conflicts) and variables V548 V59 V525
0.03 c instanciating clauses for relation R2 (conflicts) and variables V564 V19 V366
0.03 c instanciating clauses for relation R2 (conflicts) and variables V566 V565 V366
0.03 c instanciating clauses for relation R2 (conflicts) and variables V641 V643 V364
0.03 c instanciating clauses for relation R2 (conflicts) and variables V642 V28 V364
0.03 c instanciating clauses for relation R2 (conflicts) and variables V557 V44 V556
0.03 c instanciating clauses for relation R2 (conflicts) and variables V559 V558 V556
0.03 c instanciating clauses for relation R2 (conflicts) and variables V704 V709 V678
0.03 c instanciating clauses for relation R2 (conflicts) and variables V705 V10 V678
0.03 c instanciating clauses for relation R2 (conflicts) and variables V400 V30 V367
0.03 c instanciating clauses for relation R2 (conflicts) and variables V402 V401 V367
0.03 c instanciating clauses for relation R2 (conflicts) and variables V294 V295 V293
0.03 c instanciating clauses for relation R2 (conflicts) and variables V294 V40 V297
0.04 c instanciating clauses for relation R2 (conflicts) and variables V550 V50 V549
0.04 c instanciating clauses for relation R2 (conflicts) and variables V552 V551 V549
0.04 c instanciating clauses for relation R2 (conflicts) and variables V700 V712 V675
0.04 c instanciating clauses for relation R2 (conflicts) and variables V701 V39 V675
0.04 c instanciating clauses for relation R2 (conflicts) and variables V429 V33 V407
0.04 c instanciating clauses for relation R2 (conflicts) and variables V431 V430 V407
0.04 c instanciating clauses for relation R2 (conflicts) and variables V632 V633 V627
0.04 c instanciating clauses for relation R2 (conflicts) and variables V632 V631 V627
0.04 c instanciating clauses for relation R2 (conflicts) and variables V632 V634 V627
0.04 c instanciating clauses for relation R2 (conflicts) and variables V372 V469 V368
0.04 c instanciating clauses for relation R2 (conflicts) and variables V365 V469 V368
0.04 c instanciating clauses for relation R2 (conflicts) and variables V372 V370 V368
0.04 c instanciating clauses for relation R2 (conflicts) and variables V365 V370 V368
0.04 c instanciating clauses for relation R2 (conflicts) and variables V372 V371 V368
0.04 c instanciating clauses for relation R2 (conflicts) and variables V365 V371 V368
0.04 c instanciating clauses for relation R2 (conflicts) and variables V631 V676 V677
0.04 c instanciating clauses for relation R2 (conflicts) and variables V332 V334 V336
0.04 c instanciating clauses for relation R2 (conflicts) and variables V68 V629 V467
0.04 c instanciating clauses for relation R2 (conflicts) and variables V518 V517 V471
0.04 c instanciating clauses for relation R2 (conflicts) and variables V518 V527 V528
0.04 c instanciating clauses for relation R2 (conflicts) and variables V517 V523 V521
0.04 c instanciating clauses for relation R2 (conflicts) and variables V503 V501 V85
0.04 c instanciating clauses for relation R2 (conflicts) and variables V614 V612 V605
0.04 c instanciating clauses for relation R2 (conflicts) and variables V691 V29 V616
0.04 c instanciating clauses for relation R2 (conflicts) and variables V693 V692 V616
0.04 c instanciating clauses for relation R2 (conflicts) and variables V391 V390 V389
0.04 c instanciating clauses for relation R2 (conflicts) and variables V392 V24 V389
0.04 c instanciating clauses for relation R2 (conflicts) and variables V694 V22 V619
0.04 c instanciating clauses for relation R2 (conflicts) and variables V696 V695 V619
0.04 c instanciating clauses for relation R2 (conflicts) and variables V291 V290 V289
0.04 c instanciating clauses for relation R2 (conflicts) and variables V292 V42 V289
0.04 c instanciating clauses for relation R2 (conflicts) and variables V682 V36 V606
0.04 c instanciating clauses for relation R2 (conflicts) and variables V684 V683 V606
0.04 c instanciating clauses for relation R2 (conflicts) and variables V395 V394 V393
0.04 c instanciating clauses for relation R2 (conflicts) and variables V396 V54 V393
0.04 c instanciating clauses for relation R2 (conflicts) and variables V688 V9 V672
0.04 c instanciating clauses for relation R2 (conflicts) and variables V690 V689 V672
0.04 c instanciating clauses for relation R2 (conflicts) and variables V410 V409 V408
0.04 c instanciating clauses for relation R2 (conflicts) and variables V411 V16 V408
0.04 c instanciating clauses for relation R2 (conflicts) and variables V697 V14 V581
0.04 c instanciating clauses for relation R2 (conflicts) and variables V699 V698 V581
0.04 c instanciating clauses for relation R2 (conflicts) and variables V414 V413 V325
0.04 c instanciating clauses for relation R2 (conflicts) and variables V415 V23 V325
0.04 c instanciating clauses for relation R2 (conflicts) and variables V685 V3 V506
0.04 c instanciating clauses for relation R2 (conflicts) and variables V687 V686 V506
0.04 c instanciating clauses for relation R2 (conflicts) and variables V417 V416 V82
0.04 c instanciating clauses for relation R2 (conflicts) and variables V418 V46 V82
0.04 c instanciating clauses for relation R2 (conflicts) and variables V544 V17 V76
0.04 c instanciating clauses for relation R2 (conflicts) and variables V546 V545 V76
0.04 c instanciating clauses for relation R2 (conflicts) and variables V387 V386 V326
0.04 c instanciating clauses for relation R2 (conflicts) and variables V388 V51 V326
0.04 c instanciating clauses for relation R2 (conflicts) and variables V679 V61 V507
0.04 c instanciating clauses for relation R2 (conflicts) and variables V681 V680 V507
0.04 c instanciating clauses for relation R2 (conflicts) and variables V475 V474 V79
0.04 c instanciating clauses for relation R2 (conflicts) and variables V476 V2 V79
0.04 c instanciating clauses for relation R2 (conflicts) and variables V638 V32 V75
0.04 c instanciating clauses for relation R2 (conflicts) and variables V640 V639 V75
0.04 c instanciating clauses for relation R2 (conflicts) and variables V398 V397 V270
0.04 c instanciating clauses for relation R2 (conflicts) and variables V399 V7 V270
0.04 c instanciating clauses for relation R2 (conflicts) and variables V510 V508 V505
0.04 c instanciating clauses for relation R2 (conflicts) and variables V667 V508 V505
0.04 c instanciating clauses for relation R2 (conflicts) and variables V510 V509 V505
0.04 c instanciating clauses for relation R2 (conflicts) and variables V667 V509 V505
0.04 c instanciating clauses for relation R2 (conflicts) and variables V510 V664 V505
0.04 c instanciating clauses for relation R2 (conflicts) and variables V667 V664 V505
0.04 c instanciating clauses for relation R2 (conflicts) and variables V302 V304 V228
0.04 c instanciating clauses for relation R2 (conflicts) and variables V303 V8 V228
0.04 c instanciating clauses for relation R2 (conflicts) and variables V477 V1 V229
0.04 c instanciating clauses for relation R2 (conflicts) and variables V478 V479 V229
0.04 c instanciating clauses for relation R2 (conflicts) and variables V179 V181 V161
0.04 c instanciating clauses for relation R2 (conflicts) and variables V180 V57 V161
0.04 c instanciating clauses for relation R2 (conflicts) and variables V427 V35 V231
0.04 c instanciating clauses for relation R2 (conflicts) and variables V428 V434 V231
0.04 c instanciating clauses for relation R2 (conflicts) and variables V432 V436 V382
0.04 c instanciating clauses for relation R2 (conflicts) and variables V381 V473 V472
0.04 c instanciating clauses for relation R2 (conflicts) and variables V553 V13 V543
0.04 c instanciating clauses for relation R2 (conflicts) and variables V554 V555 V543
0.04 c instanciating clauses for relation R2 (conflicts) and variables V167 V165 V164
0.04 c instanciating clauses for relation R2 (conflicts) and variables V169 V43 V164
0.04 c instanciating clauses for relation R2 (conflicts) and variables V647 V37 V230
0.04 c instanciating clauses for relation R2 (conflicts) and variables V648 V652 V230
0.04 c instanciating clauses for relation R2 (conflicts) and variables V177 V176 V162
0.04 c instanciating clauses for relation R2 (conflicts) and variables V178 V56 V162
0.04 c instanciating clauses for relation R2 (conflicts) and variables V403 V58 V232
0.04 c instanciating clauses for relation R2 (conflicts) and variables V404 V435 V232
0.04 c instanciating clauses for relation R2 (conflicts) and variables V421 V420 V419
0.04 c instanciating clauses for relation R2 (conflicts) and variables V422 V0 V419
0.04 c instanciating clauses for relation R2 (conflicts) and variables V649 V31 V444
0.04 c instanciating clauses for relation R2 (conflicts) and variables V651 V650 V444
0.04 c instanciating clauses for relation R2 (conflicts) and variables V657 V656 V484
0.04 c instanciating clauses for relation R2 (conflicts) and variables V658 V11 V484
0.04 c instanciating clauses for relation R2 (conflicts) and variables V706 V60 V485
0.04 c instanciating clauses for relation R2 (conflicts) and variables V707 V711 V485
0.04 c instanciating clauses for relation R2 (conflicts) and variables V300 V299 V298
0.04 c instanciating clauses for relation R2 (conflicts) and variables V301 V49 V298
0.04 c instanciating clauses for relation R2 (conflicts) and variables V644 V6 V446
0.04 c instanciating clauses for relation R2 (conflicts) and variables V645 V646 V446
0.04 c instanciating clauses for relation R2 (conflicts) and variables V562 V561 V455
0.04 c instanciating clauses for relation R2 (conflicts) and variables V563 V12 V455
0.04 c instanciating clauses for relation R2 (conflicts) and variables V702 V4 V457
0.04 c instanciating clauses for relation R2 (conflicts) and variables V703 V708 V457
0.04 c instanciating clauses for relation R2 (conflicts) and variables V69 V500 V502
0.04 c instanciating clauses for relation R2 (conflicts) and variables V218 V217 V80
0.04 c instanciating clauses for relation R2 (conflicts) and variables V218 V220 V80
0.04 c instanciating clauses for relation R2 (conflicts) and variables V447 V486 V445
0.04 c instanciating clauses for relation R2 (conflicts) and variables V448 V486 V445
0.04 c instanciating clauses for relation R2 (conflicts) and variables V447 V466 V445
0.04 c instanciating clauses for relation R2 (conflicts) and variables V448 V466 V445
0.04 c instanciating clauses for relation R2 (conflicts) and variables V447 V483 V445
0.04 c instanciating clauses for relation R2 (conflicts) and variables V448 V483 V445
0.04 c instanciating clauses for relation R2 (conflicts) and variables V245 V379 V242
0.04 c instanciating clauses for relation R2 (conflicts) and variables V246 V379 V242
0.04 c instanciating clauses for relation R2 (conflicts) and variables V245 V243 V242
0.04 c instanciating clauses for relation R2 (conflicts) and variables V246 V243 V242
0.04 c instanciating clauses for relation R2 (conflicts) and variables V245 V244 V242
0.04 c instanciating clauses for relation R2 (conflicts) and variables V246 V244 V242
0.04 c instanciating clauses for relation R2 (conflicts) and variables V315 V314 V210
0.04 c instanciating clauses for relation R3 (supports) and variables V311 V74
0.04 c instanciating clauses for relation R4 (conflicts) and variables V753 V751
0.04 c instanciating clauses for relation R4 (conflicts) and variables V752 V751
0.04 c instanciating clauses for relation R4 (conflicts) and variables V132 V63
0.04 c instanciating clauses for relation R4 (conflicts) and variables V71 V63
0.04 c instanciating clauses for relation R4 (conflicts) and variables V71 V312
0.04 c instanciating clauses for relation R4 (conflicts) and variables V132 V312
0.04 c instanciating clauses for relation R4 (conflicts) and variables V728 V530
0.04 c instanciating clauses for relation R4 (conflicts) and variables V727 V530
0.04 c instanciating clauses for relation R4 (conflicts) and variables V744 V118
0.04 c instanciating clauses for relation R4 (conflicts) and variables V743 V118
0.04 c instanciating clauses for relation R4 (conflicts) and variables V730 V529
0.04 c instanciating clauses for relation R4 (conflicts) and variables V729 V529
0.04 c instanciating clauses for relation R4 (conflicts) and variables V734 V93
0.04 c instanciating clauses for relation R4 (conflicts) and variables V733 V93
0.04 c instanciating clauses for relation R4 (conflicts) and variables V746 V95
0.04 c instanciating clauses for relation R4 (conflicts) and variables V745 V95
0.04 c instanciating clauses for relation R4 (conflicts) and variables V750 V89
0.04 c instanciating clauses for relation R4 (conflicts) and variables V749 V89
0.04 c instanciating clauses for relation R4 (conflicts) and variables V748 V101
0.04 c instanciating clauses for relation R4 (conflicts) and variables V747 V101
0.04 c instanciating clauses for relation R4 (conflicts) and variables V732 V369
0.04 c instanciating clauses for relation R4 (conflicts) and variables V731 V369
0.04 c instanciating clauses for relation R4 (conflicts) and variables V724 V594
0.04 c instanciating clauses for relation R4 (conflicts) and variables V723 V594
0.04 c instanciating clauses for relation R4 (conflicts) and variables V718 V593
0.04 c instanciating clauses for relation R4 (conflicts) and variables V717 V593
0.04 c instanciating clauses for relation R4 (conflicts) and variables V722 V592
0.04 c instanciating clauses for relation R4 (conflicts) and variables V721 V592
0.04 c instanciating clauses for relation R4 (conflicts) and variables V720 V589
0.04 c instanciating clauses for relation R4 (conflicts) and variables V719 V589
0.04 c instanciating clauses for relation R4 (conflicts) and variables V726 V591
0.04 c instanciating clauses for relation R4 (conflicts) and variables V725 V591
0.04 c instanciating clauses for relation R4 (conflicts) and variables V136 V71
0.04 c instanciating clauses for relation R4 (conflicts) and variables V136 V73
0.04 c instanciating clauses for relation R4 (conflicts) and variables V136 V141
0.04 c instanciating clauses for relation R4 (conflicts) and variables V740 V236
0.04 c instanciating clauses for relation R4 (conflicts) and variables V739 V236
0.04 c instanciating clauses for relation R4 (conflicts) and variables V736 V262
0.04 c instanciating clauses for relation R4 (conflicts) and variables V735 V262
0.04 c instanciating clauses for relation R4 (conflicts) and variables V742 V233
0.04 c instanciating clauses for relation R4 (conflicts) and variables V741 V233
0.04 c instanciating clauses for relation R4 (conflicts) and variables V738 V253
0.04 c instanciating clauses for relation R4 (conflicts) and variables V737 V253
0.04 c instanciating clauses for relation R4 (conflicts) and variables V139 V132
0.04 c instanciating clauses for relation R4 (conflicts) and variables V139 V143
0.04 c instanciating clauses for relation R4 (conflicts) and variables V139 V142
0.04 c instanciating clauses for relation R4 (conflicts) and variables V139 V134
0.04 c instanciating clauses for relation R4 (conflicts) and variables V756 V754
0.04 c instanciating clauses for relation R4 (conflicts) and variables V755 V754
0.04 c instanciating clauses for relation R4 (conflicts) and variables V202 V66
0.04 c instanciating clauses for relation R4 (conflicts) and variables V195 V66
0.04 c instanciating clauses for relation R4 (conflicts) and variables V195 V210
0.04 c instanciating clauses for relation R4 (conflicts) and variables V202 V210
0.04 c instanciating clauses for relation R4 (conflicts) and variables V199 V195
0.04 c instanciating clauses for relation R4 (conflicts) and variables V199 V190
0.04 c instanciating clauses for relation R4 (conflicts) and variables V199 V197
0.04 c instanciating clauses for relation R4 (conflicts) and variables V206 V202
0.04 c instanciating clauses for relation R4 (conflicts) and variables V206 V209
0.04 c instanciating clauses for relation R4 (conflicts) and variables V206 V208
0.04 c instanciating clauses for relation R4 (conflicts) and variables V206 V204
0.04 c instanciating clauses for relation R5 (conflicts) and variables V64 V752
0.04 c instanciating clauses for relation R5 (conflicts) and variables V62 V753
0.04 c instanciating clauses for relation R5 (conflicts) and variables V463 V312
0.04 c instanciating clauses for relation R5 (conflicts) and variables V653 V533
0.04 c instanciating clauses for relation R5 (conflicts) and variables V710 V533
0.04 c instanciating clauses for relation R5 (conflicts) and variables V654 V531
0.04 c instanciating clauses for relation R5 (conflicts) and variables V655 V531
0.04 c instanciating clauses for relation R5 (conflicts) and variables V534 V727
0.04 c instanciating clauses for relation R5 (conflicts) and variables V540 V728
0.04 c instanciating clauses for relation R5 (conflicts) and variables V117 V156
0.04 c instanciating clauses for relation R5 (conflicts) and variables V157 V156
0.04 c instanciating clauses for relation R5 (conflicts) and variables V158 V156
0.04 c instanciating clauses for relation R5 (conflicts) and variables V153 V156
0.04 c instanciating clauses for relation R5 (conflicts) and variables V151 V153
0.04 c instanciating clauses for relation R5 (conflicts) and variables V224 V153
0.04 c instanciating clauses for relation R5 (conflicts) and variables V155 V153
0.04 c instanciating clauses for relation R5 (conflicts) and variables V282 V150
0.04 c instanciating clauses for relation R5 (conflicts) and variables V279 V149
0.04 c instanciating clauses for relation R5 (conflicts) and variables V223 V158
0.04 c instanciating clauses for relation R5 (conflicts) and variables V148 V158
0.04 c instanciating clauses for relation R5 (conflicts) and variables V278 V122
0.04 c instanciating clauses for relation R5 (conflicts) and variables V225 V743
0.04 c instanciating clauses for relation R5 (conflicts) and variables V226 V744
0.05 c instanciating clauses for relation R5 (conflicts) and variables V425 V121
0.05 c instanciating clauses for relation R5 (conflicts) and variables V227 V117
0.05 c instanciating clauses for relation R5 (conflicts) and variables V160 V117
0.05 c instanciating clauses for relation R5 (conflicts) and variables V116 V117
0.05 c instanciating clauses for relation R5 (conflicts) and variables V120 V117
0.05 c instanciating clauses for relation R5 (conflicts) and variables V529 V319
0.05 c instanciating clauses for relation R5 (conflicts) and variables V535 V319
0.05 c instanciating clauses for relation R5 (conflicts) and variables V532 V729
0.05 c instanciating clauses for relation R5 (conflicts) and variables V538 V730
0.05 c instanciating clauses for relation R5 (conflicts) and variables V322 V81
0.05 c instanciating clauses for relation R5 (conflicts) and variables V323 V81
0.05 c instanciating clauses for relation R5 (conflicts) and variables V344 V343
0.05 c instanciating clauses for relation R5 (conflicts) and variables V341 V343
0.05 c instanciating clauses for relation R5 (conflicts) and variables V342 V339
0.05 c instanciating clauses for relation R5 (conflicts) and variables V221 V339
0.05 c instanciating clauses for relation R5 (conflicts) and variables V661 V144
0.05 c instanciating clauses for relation R5 (conflicts) and variables V337 V733
0.05 c instanciating clauses for relation R5 (conflicts) and variables V338 V734
0.05 c instanciating clauses for relation R5 (conflicts) and variables V577 V335
0.05 c instanciating clauses for relation R5 (conflicts) and variables V94 V107
0.05 c instanciating clauses for relation R5 (conflicts) and variables V102 V94
0.05 c instanciating clauses for relation R5 (conflicts) and variables V97 V94
0.05 c instanciating clauses for relation R5 (conflicts) and variables V99 V94
0.05 c instanciating clauses for relation R5 (conflicts) and variables V87 V94
0.05 c instanciating clauses for relation R5 (conflicts) and variables V570 V88
0.05 c instanciating clauses for relation R5 (conflicts) and variables V330 V745
0.05 c instanciating clauses for relation R5 (conflicts) and variables V147 V746
0.05 c instanciating clauses for relation R5 (conflicts) and variables V104 V92
0.05 c instanciating clauses for relation R5 (conflicts) and variables V98 V92
0.05 c instanciating clauses for relation R5 (conflicts) and variables V91 V749
0.05 c instanciating clauses for relation R5 (conflicts) and variables V96 V750
0.05 c instanciating clauses for relation R5 (conflicts) and variables V114 V109
0.05 c instanciating clauses for relation R5 (conflicts) and variables V111 V109
0.05 c instanciating clauses for relation R5 (conflicts) and variables V573 V112
0.05 c instanciating clauses for relation R5 (conflicts) and variables V101 V100
0.05 c instanciating clauses for relation R5 (conflicts) and variables V103 V100
0.05 c instanciating clauses for relation R5 (conflicts) and variables V105 V100
0.05 c instanciating clauses for relation R5 (conflicts) and variables V106 V100
0.05 c instanciating clauses for relation R5 (conflicts) and variables V113 V747
0.05 c instanciating clauses for relation R5 (conflicts) and variables V115 V748
0.05 c instanciating clauses for relation R5 (conflicts) and variables V519 V511
0.05 c instanciating clauses for relation R5 (conflicts) and variables V512 V511
0.05 c instanciating clauses for relation R5 (conflicts) and variables V514 V511
0.05 c instanciating clauses for relation R5 (conflicts) and variables V516 V511
0.05 c instanciating clauses for relation R5 (conflicts) and variables V373 V731
0.05 c instanciating clauses for relation R5 (conflicts) and variables V374 V732
0.05 c instanciating clauses for relation R5 (conflicts) and variables V296 V293
0.05 c instanciating clauses for relation R5 (conflicts) and variables V623 V622
0.05 c instanciating clauses for relation R5 (conflicts) and variables V624 V622
0.05 c instanciating clauses for relation R5 (conflicts) and variables V625 V622
0.05 c instanciating clauses for relation R5 (conflicts) and variables V317 V316
0.05 c instanciating clauses for relation R5 (conflicts) and variables V318 V316
0.05 c instanciating clauses for relation R5 (conflicts) and variables V513 V467
0.05 c instanciating clauses for relation R5 (conflicts) and variables V470 V467
0.05 c instanciating clauses for relation R5 (conflicts) and variables V515 V467
0.05 c instanciating clauses for relation R5 (conflicts) and variables V468 V467
0.05 c instanciating clauses for relation R5 (conflicts) and variables V520 V471
0.05 c instanciating clauses for relation R5 (conflicts) and variables V504 V85
0.05 c instanciating clauses for relation R5 (conflicts) and variables V618 V723
0.05 c instanciating clauses for relation R5 (conflicts) and variables V617 V724
0.05 c instanciating clauses for relation R5 (conflicts) and variables V607 V603
0.05 c instanciating clauses for relation R5 (conflicts) and variables V595 V603
0.05 c instanciating clauses for relation R5 (conflicts) and variables V608 V603
0.05 c instanciating clauses for relation R5 (conflicts) and variables V674 V717
0.05 c instanciating clauses for relation R5 (conflicts) and variables V673 V718
0.05 c instanciating clauses for relation R5 (conflicts) and variables V621 V721
0.05 c instanciating clauses for relation R5 (conflicts) and variables V620 V722
0.05 c instanciating clauses for relation R5 (conflicts) and variables V438 V128
0.05 c instanciating clauses for relation R5 (conflicts) and variables V439 V128
0.05 c instanciating clauses for relation R5 (conflicts) and variables V441 V128
0.05 c instanciating clauses for relation R5 (conflicts) and variables V443 V128
0.05 c instanciating clauses for relation R5 (conflicts) and variables V665 V719
0.05 c instanciating clauses for relation R5 (conflicts) and variables V666 V720
0.05 c instanciating clauses for relation R5 (conflicts) and variables V505 V582
0.05 c instanciating clauses for relation R5 (conflicts) and variables V587 V586
0.05 c instanciating clauses for relation R5 (conflicts) and variables V588 V586
0.05 c instanciating clauses for relation R5 (conflicts) and variables V442 V77
0.05 c instanciating clauses for relation R5 (conflicts) and variables V440 V77
0.05 c instanciating clauses for relation R5 (conflicts) and variables V184 V77
0.05 c instanciating clauses for relation R5 (conflicts) and variables V609 V725
0.05 c instanciating clauses for relation R5 (conflicts) and variables V610 V726
0.05 c instanciating clauses for relation R5 (conflicts) and variables V187 V73
0.05 c instanciating clauses for relation R5 (conflicts) and variables V188 V73
0.05 c instanciating clauses for relation R5 (conflicts) and variables V189 V73
0.05 c instanciating clauses for relation R5 (conflicts) and variables V216 V211
0.05 c instanciating clauses for relation R5 (conflicts) and variables V219 V211
0.05 c instanciating clauses for relation R5 (conflicts) and variables V237 V739
0.05 c instanciating clauses for relation R5 (conflicts) and variables V238 V740
0.05 c instanciating clauses for relation R5 (conflicts) and variables V380 V254
0.05 c instanciating clauses for relation R5 (conflicts) and variables V377 V254
0.05 c instanciating clauses for relation R5 (conflicts) and variables V378 V254
0.05 c instanciating clauses for relation R5 (conflicts) and variables V268 V735
0.05 c instanciating clauses for relation R5 (conflicts) and variables V269 V736
0.05 c instanciating clauses for relation R5 (conflicts) and variables V433 V382
0.05 c instanciating clauses for relation R5 (conflicts) and variables V234 V741
0.05 c instanciating clauses for relation R5 (conflicts) and variables V235 V742
0.05 c instanciating clauses for relation R5 (conflicts) and variables V266 V737
0.05 c instanciating clauses for relation R5 (conflicts) and variables V267 V738
0.05 c instanciating clauses for relation R5 (conflicts) and variables V456 V212
0.05 c instanciating clauses for relation R5 (conflicts) and variables V493 V212
0.05 c instanciating clauses for relation R5 (conflicts) and variables V495 V212
0.05 c instanciating clauses for relation R5 (conflicts) and variables V496 V212
0.05 c instanciating clauses for relation R5 (conflicts) and variables V584 V497
0.05 c instanciating clauses for relation R5 (conflicts) and variables V583 V497
0.05 c instanciating clauses for relation R5 (conflicts) and variables V585 V497
0.05 c instanciating clauses for relation R5 (conflicts) and variables V185 V182
0.05 c instanciating clauses for relation R5 (conflicts) and variables V183 V182
0.05 c instanciating clauses for relation R5 (conflicts) and variables V437 V182
0.05 c instanciating clauses for relation R5 (conflicts) and variables V449 V215
0.05 c instanciating clauses for relation R5 (conflicts) and variables V450 V215
0.05 c instanciating clauses for relation R5 (conflicts) and variables V445 V215
0.05 c instanciating clauses for relation R5 (conflicts) and variables V491 V453
0.05 c instanciating clauses for relation R5 (conflicts) and variables V494 V453
0.05 c instanciating clauses for relation R5 (conflicts) and variables V492 V453
0.05 c instanciating clauses for relation R5 (conflicts) and variables V490 V449
0.05 c instanciating clauses for relation R5 (conflicts) and variables V489 V449
0.05 c instanciating clauses for relation R5 (conflicts) and variables V487 V449
0.05 c instanciating clauses for relation R5 (conflicts) and variables V488 V449
0.05 c instanciating clauses for relation R5 (conflicts) and variables V249 V214
0.05 c instanciating clauses for relation R5 (conflicts) and variables V376 V214
0.05 c instanciating clauses for relation R5 (conflicts) and variables V375 V214
0.05 c instanciating clauses for relation R5 (conflicts) and variables V242 V247
0.05 c instanciating clauses for relation R5 (conflicts) and variables V240 V239
0.05 c instanciating clauses for relation R5 (conflicts) and variables V241 V239
0.05 c instanciating clauses for relation R5 (conflicts) and variables V261 V376
0.05 c instanciating clauses for relation R5 (conflicts) and variables V384 V376
0.05 c instanciating clauses for relation R5 (conflicts) and variables V385 V376
0.05 c instanciating clauses for relation R5 (conflicts) and variables V251 V249
0.05 c instanciating clauses for relation R5 (conflicts) and variables V250 V249
0.05 c instanciating clauses for relation R5 (conflicts) and variables V252 V249
0.05 c instanciating clauses for relation R5 (conflicts) and variables V67 V755
0.05 c instanciating clauses for relation R5 (conflicts) and variables V65 V756
0.05 c instanciating clauses for relation R5 (conflicts) and variables V84 V210
0.05 c instanciating clauses for relation R5 (conflicts) and variables V462 V210
0.05 c instanciating clauses for relation R5 (conflicts) and variables V186 V84
0.05 c instanciating clauses for relation R5 (conflicts) and variables V125 V84
0.05 c instanciating clauses for relation R5 (conflicts) and variables V86 V84
0.05 c instanciating clauses for relation R5 (conflicts) and variables V191 V190
0.05 c instanciating clauses for relation R5 (conflicts) and variables V192 V190
0.05 c instanciating clauses for relation R5 (conflicts) and variables V193 V190
0.05 c instanciating clauses for relation R6 (conflicts) and variables V324 V321 V313
0.05 c instanciating clauses for relation R6 (conflicts) and variables V542 V541 V464
0.05 c instanciating clauses for relation R6 (conflicts) and variables V533 V653 V710
0.05 c instanciating clauses for relation R6 (conflicts) and variables V531 V654 V655
0.05 c instanciating clauses for relation R6 (conflicts) and variables V282 V281 V150
0.05 c instanciating clauses for relation R6 (conflicts) and variables V282 V280 V150
0.05 c instanciating clauses for relation R6 (conflicts) and variables V716 V45 V154
0.05 c instanciating clauses for relation R6 (conflicts) and variables V715 V45 V154
0.05 c instanciating clauses for relation R6 (conflicts) and variables V716 V714 V154
0.05 c instanciating clauses for relation R6 (conflicts) and variables V715 V714 V154
0.05 c instanciating clauses for relation R6 (conflicts) and variables V306 V15 V159
0.05 c instanciating clauses for relation R6 (conflicts) and variables V307 V15 V159
0.05 c instanciating clauses for relation R6 (conflicts) and variables V306 V305 V159
0.05 c instanciating clauses for relation R6 (conflicts) and variables V307 V305 V159
0.05 c instanciating clauses for relation R6 (conflicts) and variables V279 V277 V149
0.05 c instanciating clauses for relation R6 (conflicts) and variables V279 V276 V149
0.05 c instanciating clauses for relation R6 (conflicts) and variables V158 V223 V148
0.05 c instanciating clauses for relation R6 (conflicts) and variables V278 V275 V122
0.05 c instanciating clauses for relation R6 (conflicts) and variables V278 V274 V122
0.05 c instanciating clauses for relation R6 (conflicts) and variables V171 V21 V123
0.05 c instanciating clauses for relation R6 (conflicts) and variables V172 V21 V123
0.05 c instanciating clauses for relation R6 (conflicts) and variables V171 V170 V123
0.05 c instanciating clauses for relation R6 (conflicts) and variables V172 V170 V123
0.05 c instanciating clauses for relation R6 (conflicts) and variables V482 V481 V340
0.05 c instanciating clauses for relation R6 (conflicts) and variables V272 V5 V222
0.05 c instanciating clauses for relation R6 (conflicts) and variables V273 V5 V222
0.05 c instanciating clauses for relation R6 (conflicts) and variables V272 V271 V222
0.05 c instanciating clauses for relation R6 (conflicts) and variables V273 V271 V222
0.05 c instanciating clauses for relation R6 (conflicts) and variables V309 V55 V119
0.05 c instanciating clauses for relation R6 (conflicts) and variables V310 V55 V119
0.05 c instanciating clauses for relation R6 (conflicts) and variables V309 V308 V119
0.05 c instanciating clauses for relation R6 (conflicts) and variables V310 V308 V119
0.05 c instanciating clauses for relation R6 (conflicts) and variables V425 V424 V121
0.05 c instanciating clauses for relation R6 (conflicts) and variables V425 V423 V121
0.05 c instanciating clauses for relation R6 (conflicts) and variables V319 V529 V535
0.05 c instanciating clauses for relation R6 (conflicts) and variables V81 V322 V323
0.05 c instanciating clauses for relation R6 (conflicts) and variables V343 V339 V345
0.05 c instanciating clauses for relation R6 (conflicts) and variables V343 V344 V341
0.05 c instanciating clauses for relation R6 (conflicts) and variables V339 V342 V221
0.05 c instanciating clauses for relation R6 (conflicts) and variables V661 V660 V144
0.05 c instanciating clauses for relation R6 (conflicts) and variables V661 V659 V144
0.05 c instanciating clauses for relation R6 (conflicts) and variables V287 V52 V145
0.05 c instanciating clauses for relation R6 (conflicts) and variables V288 V52 V145
0.05 c instanciating clauses for relation R6 (conflicts) and variables V287 V286 V145
0.05 c instanciating clauses for relation R6 (conflicts) and variables V288 V286 V145
0.05 c instanciating clauses for relation R6 (conflicts) and variables V284 V18 V146
0.05 c instanciating clauses for relation R6 (conflicts) and variables V285 V18 V146
0.05 c instanciating clauses for relation R6 (conflicts) and variables V284 V283 V146
0.05 c instanciating clauses for relation R6 (conflicts) and variables V285 V283 V146
0.05 c instanciating clauses for relation R6 (conflicts) and variables V577 V576 V335
0.05 c instanciating clauses for relation R6 (conflicts) and variables V577 V575 V335
0.05 c instanciating clauses for relation R6 (conflicts) and variables V94 V108 V107
0.05 c instanciating clauses for relation R6 (conflicts) and variables V94 V109 V107
0.05 c instanciating clauses for relation R6 (conflicts) and variables V94 V92 V107
0.05 c instanciating clauses for relation R6 (conflicts) and variables V570 V569 V88
0.05 c instanciating clauses for relation R6 (conflicts) and variables V570 V567 V88
0.05 c instanciating clauses for relation R6 (conflicts) and variables V163 V48 V90
0.05 c instanciating clauses for relation R6 (conflicts) and variables V166 V48 V90
0.05 c instanciating clauses for relation R6 (conflicts) and variables V163 V168 V90
0.05 c instanciating clauses for relation R6 (conflicts) and variables V166 V168 V90
0.05 c instanciating clauses for relation R6 (conflicts) and variables V92 V104 V98
0.05 c instanciating clauses for relation R6 (conflicts) and variables V109 V114 V111
0.05 c instanciating clauses for relation R6 (conflicts) and variables V573 V572 V112
0.05 c instanciating clauses for relation R6 (conflicts) and variables V573 V571 V112
0.05 c instanciating clauses for relation R6 (conflicts) and variables V174 V38 V110
0.05 c instanciating clauses for relation R6 (conflicts) and variables V175 V38 V110
0.05 c instanciating clauses for relation R6 (conflicts) and variables V174 V173 V110
0.05 c instanciating clauses for relation R6 (conflicts) and variables V175 V173 V110
0.05 c instanciating clauses for relation R6 (conflicts) and variables V59 V560 V525
0.06 c instanciating clauses for relation R6 (conflicts) and variables V548 V560 V525
0.06 c instanciating clauses for relation R6 (conflicts) and variables V59 V547 V525
0.06 c instanciating clauses for relation R6 (conflicts) and variables V548 V547 V525
0.06 c instanciating clauses for relation R6 (conflicts) and variables V565 V19 V366
0.06 c instanciating clauses for relation R6 (conflicts) and variables V566 V19 V366
0.06 c instanciating clauses for relation R6 (conflicts) and variables V565 V564 V366
0.06 c instanciating clauses for relation R6 (conflicts) and variables V566 V564 V366
0.06 c instanciating clauses for relation R6 (conflicts) and variables V28 V643 V364
0.06 c instanciating clauses for relation R6 (conflicts) and variables V642 V643 V364
0.06 c instanciating clauses for relation R6 (conflicts) and variables V28 V641 V364
0.06 c instanciating clauses for relation R6 (conflicts) and variables V642 V641 V364
0.06 c instanciating clauses for relation R6 (conflicts) and variables V558 V44 V556
0.06 c instanciating clauses for relation R6 (conflicts) and variables V559 V44 V556
0.06 c instanciating clauses for relation R6 (conflicts) and variables V558 V557 V556
0.06 c instanciating clauses for relation R6 (conflicts) and variables V559 V557 V556
0.06 c instanciating clauses for relation R6 (conflicts) and variables V10 V709 V678
0.06 c instanciating clauses for relation R6 (conflicts) and variables V705 V709 V678
0.06 c instanciating clauses for relation R6 (conflicts) and variables V10 V704 V678
0.06 c instanciating clauses for relation R6 (conflicts) and variables V705 V704 V678
0.06 c instanciating clauses for relation R6 (conflicts) and variables V401 V30 V367
0.06 c instanciating clauses for relation R6 (conflicts) and variables V402 V30 V367
0.06 c instanciating clauses for relation R6 (conflicts) and variables V401 V400 V367
0.06 c instanciating clauses for relation R6 (conflicts) and variables V402 V400 V367
0.06 c instanciating clauses for relation R6 (conflicts) and variables V296 V295 V293
0.06 c instanciating clauses for relation R6 (conflicts) and variables V296 V294 V293
0.06 c instanciating clauses for relation R6 (conflicts) and variables V551 V50 V549
0.06 c instanciating clauses for relation R6 (conflicts) and variables V552 V50 V549
0.06 c instanciating clauses for relation R6 (conflicts) and variables V551 V550 V549
0.06 c instanciating clauses for relation R6 (conflicts) and variables V552 V550 V549
0.06 c instanciating clauses for relation R6 (conflicts) and variables V39 V712 V675
0.06 c instanciating clauses for relation R6 (conflicts) and variables V701 V712 V675
0.06 c instanciating clauses for relation R6 (conflicts) and variables V39 V700 V675
0.06 c instanciating clauses for relation R6 (conflicts) and variables V701 V700 V675
0.06 c instanciating clauses for relation R6 (conflicts) and variables V430 V33 V407
0.06 c instanciating clauses for relation R6 (conflicts) and variables V431 V33 V407
0.06 c instanciating clauses for relation R6 (conflicts) and variables V430 V429 V407
0.06 c instanciating clauses for relation R6 (conflicts) and variables V431 V429 V407
0.06 c instanciating clauses for relation R6 (conflicts) and variables V365 V372 V368
0.06 c instanciating clauses for relation R6 (conflicts) and variables V316 V317 V318
0.06 c instanciating clauses for relation R6 (conflicts) and variables V520 V517 V471
0.06 c instanciating clauses for relation R6 (conflicts) and variables V520 V518 V471
0.06 c instanciating clauses for relation R6 (conflicts) and variables V504 V501 V85
0.06 c instanciating clauses for relation R6 (conflicts) and variables V504 V503 V85
0.06 c instanciating clauses for relation R6 (conflicts) and variables V612 V615 V605
0.06 c instanciating clauses for relation R6 (conflicts) and variables V614 V615 V605
0.06 c instanciating clauses for relation R6 (conflicts) and variables V612 V611 V605
0.06 c instanciating clauses for relation R6 (conflicts) and variables V614 V611 V605
0.06 c instanciating clauses for relation R6 (conflicts) and variables V612 V613 V605
0.06 c instanciating clauses for relation R6 (conflicts) and variables V614 V613 V605
0.06 c instanciating clauses for relation R6 (conflicts) and variables V692 V29 V616
0.06 c instanciating clauses for relation R6 (conflicts) and variables V693 V29 V616
0.06 c instanciating clauses for relation R6 (conflicts) and variables V692 V691 V616
0.06 c instanciating clauses for relation R6 (conflicts) and variables V693 V691 V616
0.06 c instanciating clauses for relation R6 (conflicts) and variables V24 V390 V389
0.06 c instanciating clauses for relation R6 (conflicts) and variables V392 V390 V389
0.06 c instanciating clauses for relation R6 (conflicts) and variables V24 V391 V389
0.06 c instanciating clauses for relation R6 (conflicts) and variables V392 V391 V389
0.06 c instanciating clauses for relation R6 (conflicts) and variables V695 V22 V619
0.06 c instanciating clauses for relation R6 (conflicts) and variables V696 V22 V619
0.06 c instanciating clauses for relation R6 (conflicts) and variables V695 V694 V619
0.06 c instanciating clauses for relation R6 (conflicts) and variables V696 V694 V619
0.06 c instanciating clauses for relation R6 (conflicts) and variables V42 V290 V289
0.06 c instanciating clauses for relation R6 (conflicts) and variables V292 V290 V289
0.06 c instanciating clauses for relation R6 (conflicts) and variables V42 V291 V289
0.06 c instanciating clauses for relation R6 (conflicts) and variables V292 V291 V289
0.06 c instanciating clauses for relation R6 (conflicts) and variables V683 V36 V606
0.06 c instanciating clauses for relation R6 (conflicts) and variables V684 V36 V606
0.06 c instanciating clauses for relation R6 (conflicts) and variables V683 V682 V606
0.06 c instanciating clauses for relation R6 (conflicts) and variables V684 V682 V606
0.06 c instanciating clauses for relation R6 (conflicts) and variables V54 V394 V393
0.06 c instanciating clauses for relation R6 (conflicts) and variables V396 V394 V393
0.06 c instanciating clauses for relation R6 (conflicts) and variables V54 V395 V393
0.06 c instanciating clauses for relation R6 (conflicts) and variables V396 V395 V393
0.06 c instanciating clauses for relation R6 (conflicts) and variables V689 V9 V672
0.06 c instanciating clauses for relation R6 (conflicts) and variables V690 V9 V672
0.06 c instanciating clauses for relation R6 (conflicts) and variables V689 V688 V672
0.06 c instanciating clauses for relation R6 (conflicts) and variables V690 V688 V672
0.06 c instanciating clauses for relation R6 (conflicts) and variables V16 V409 V408
0.06 c instanciating clauses for relation R6 (conflicts) and variables V411 V409 V408
0.06 c instanciating clauses for relation R6 (conflicts) and variables V16 V410 V408
0.06 c instanciating clauses for relation R6 (conflicts) and variables V411 V410 V408
0.06 c instanciating clauses for relation R6 (conflicts) and variables V698 V14 V581
0.06 c instanciating clauses for relation R6 (conflicts) and variables V699 V14 V581
0.06 c instanciating clauses for relation R6 (conflicts) and variables V698 V697 V581
0.06 c instanciating clauses for relation R6 (conflicts) and variables V699 V697 V581
0.06 c instanciating clauses for relation R6 (conflicts) and variables V23 V413 V325
0.06 c instanciating clauses for relation R6 (conflicts) and variables V415 V413 V325
0.06 c instanciating clauses for relation R6 (conflicts) and variables V23 V414 V325
0.06 c instanciating clauses for relation R6 (conflicts) and variables V415 V414 V325
0.06 c instanciating clauses for relation R6 (conflicts) and variables V686 V3 V506
0.06 c instanciating clauses for relation R6 (conflicts) and variables V687 V3 V506
0.06 c instanciating clauses for relation R6 (conflicts) and variables V686 V685 V506
0.06 c instanciating clauses for relation R6 (conflicts) and variables V687 V685 V506
0.06 c instanciating clauses for relation R6 (conflicts) and variables V46 V416 V82
0.06 c instanciating clauses for relation R6 (conflicts) and variables V418 V416 V82
0.06 c instanciating clauses for relation R6 (conflicts) and variables V46 V417 V82
0.06 c instanciating clauses for relation R6 (conflicts) and variables V418 V417 V82
0.06 c instanciating clauses for relation R6 (conflicts) and variables V545 V17 V76
0.06 c instanciating clauses for relation R6 (conflicts) and variables V546 V17 V76
0.06 c instanciating clauses for relation R6 (conflicts) and variables V545 V544 V76
0.06 c instanciating clauses for relation R6 (conflicts) and variables V546 V544 V76
0.06 c instanciating clauses for relation R6 (conflicts) and variables V51 V386 V326
0.06 c instanciating clauses for relation R6 (conflicts) and variables V388 V386 V326
0.06 c instanciating clauses for relation R6 (conflicts) and variables V51 V387 V326
0.06 c instanciating clauses for relation R6 (conflicts) and variables V388 V387 V326
0.06 c instanciating clauses for relation R6 (conflicts) and variables V680 V61 V507
0.06 c instanciating clauses for relation R6 (conflicts) and variables V681 V61 V507
0.06 c instanciating clauses for relation R6 (conflicts) and variables V680 V679 V507
0.06 c instanciating clauses for relation R6 (conflicts) and variables V681 V679 V507
0.06 c instanciating clauses for relation R6 (conflicts) and variables V2 V474 V79
0.06 c instanciating clauses for relation R6 (conflicts) and variables V476 V474 V79
0.06 c instanciating clauses for relation R6 (conflicts) and variables V2 V475 V79
0.06 c instanciating clauses for relation R6 (conflicts) and variables V476 V475 V79
0.06 c instanciating clauses for relation R6 (conflicts) and variables V639 V32 V75
0.06 c instanciating clauses for relation R6 (conflicts) and variables V640 V32 V75
0.06 c instanciating clauses for relation R6 (conflicts) and variables V639 V638 V75
0.06 c instanciating clauses for relation R6 (conflicts) and variables V640 V638 V75
0.06 c instanciating clauses for relation R6 (conflicts) and variables V7 V397 V270
0.06 c instanciating clauses for relation R6 (conflicts) and variables V399 V397 V270
0.06 c instanciating clauses for relation R6 (conflicts) and variables V7 V398 V270
0.06 c instanciating clauses for relation R6 (conflicts) and variables V399 V398 V270
0.06 c instanciating clauses for relation R6 (conflicts) and variables V505 V663 V582
0.06 c instanciating clauses for relation R6 (conflicts) and variables V505 V586 V582
0.06 c instanciating clauses for relation R6 (conflicts) and variables V505 V590 V582
0.06 c instanciating clauses for relation R6 (conflicts) and variables V667 V510 V505
0.06 c instanciating clauses for relation R6 (conflicts) and variables V586 V587 V588
0.06 c instanciating clauses for relation R6 (conflicts) and variables V211 V216 V219
0.06 c instanciating clauses for relation R6 (conflicts) and variables V8 V304 V228
0.06 c instanciating clauses for relation R6 (conflicts) and variables V303 V304 V228
0.06 c instanciating clauses for relation R6 (conflicts) and variables V8 V302 V228
0.06 c instanciating clauses for relation R6 (conflicts) and variables V303 V302 V228
0.06 c instanciating clauses for relation R6 (conflicts) and variables V479 V1 V229
0.06 c instanciating clauses for relation R6 (conflicts) and variables V478 V1 V229
0.06 c instanciating clauses for relation R6 (conflicts) and variables V479 V477 V229
0.06 c instanciating clauses for relation R6 (conflicts) and variables V478 V477 V229
0.06 c instanciating clauses for relation R6 (conflicts) and variables V57 V181 V161
0.06 c instanciating clauses for relation R6 (conflicts) and variables V180 V181 V161
0.06 c instanciating clauses for relation R6 (conflicts) and variables V57 V179 V161
0.06 c instanciating clauses for relation R6 (conflicts) and variables V180 V179 V161
0.06 c instanciating clauses for relation R6 (conflicts) and variables V434 V35 V231
0.06 c instanciating clauses for relation R6 (conflicts) and variables V428 V35 V231
0.06 c instanciating clauses for relation R6 (conflicts) and variables V434 V427 V231
0.06 c instanciating clauses for relation R6 (conflicts) and variables V428 V427 V231
0.06 c instanciating clauses for relation R6 (conflicts) and variables V433 V436 V382
0.06 c instanciating clauses for relation R6 (conflicts) and variables V433 V432 V382
0.06 c instanciating clauses for relation R6 (conflicts) and variables V555 V13 V543
0.06 c instanciating clauses for relation R6 (conflicts) and variables V554 V13 V543
0.06 c instanciating clauses for relation R6 (conflicts) and variables V555 V553 V543
0.06 c instanciating clauses for relation R6 (conflicts) and variables V554 V553 V543
0.06 c instanciating clauses for relation R6 (conflicts) and variables V43 V165 V164
0.06 c instanciating clauses for relation R6 (conflicts) and variables V169 V165 V164
0.06 c instanciating clauses for relation R6 (conflicts) and variables V43 V167 V164
0.06 c instanciating clauses for relation R6 (conflicts) and variables V169 V167 V164
0.06 c instanciating clauses for relation R6 (conflicts) and variables V652 V37 V230
0.06 c instanciating clauses for relation R6 (conflicts) and variables V648 V37 V230
0.06 c instanciating clauses for relation R6 (conflicts) and variables V652 V647 V230
0.06 c instanciating clauses for relation R6 (conflicts) and variables V648 V647 V230
0.06 c instanciating clauses for relation R6 (conflicts) and variables V56 V176 V162
0.06 c instanciating clauses for relation R6 (conflicts) and variables V178 V176 V162
0.06 c instanciating clauses for relation R6 (conflicts) and variables V56 V177 V162
0.06 c instanciating clauses for relation R6 (conflicts) and variables V178 V177 V162
0.06 c instanciating clauses for relation R6 (conflicts) and variables V435 V58 V232
0.06 c instanciating clauses for relation R6 (conflicts) and variables V404 V58 V232
0.06 c instanciating clauses for relation R6 (conflicts) and variables V435 V403 V232
0.06 c instanciating clauses for relation R6 (conflicts) and variables V404 V403 V232
0.06 c instanciating clauses for relation R6 (conflicts) and variables V0 V420 V419
0.06 c instanciating clauses for relation R6 (conflicts) and variables V422 V420 V419
0.06 c instanciating clauses for relation R6 (conflicts) and variables V0 V421 V419
0.06 c instanciating clauses for relation R6 (conflicts) and variables V422 V421 V419
0.06 c instanciating clauses for relation R6 (conflicts) and variables V650 V31 V444
0.06 c instanciating clauses for relation R6 (conflicts) and variables V651 V31 V444
0.06 c instanciating clauses for relation R6 (conflicts) and variables V650 V649 V444
0.06 c instanciating clauses for relation R6 (conflicts) and variables V651 V649 V444
0.06 c instanciating clauses for relation R6 (conflicts) and variables V11 V656 V484
0.06 c instanciating clauses for relation R6 (conflicts) and variables V658 V656 V484
0.06 c instanciating clauses for relation R6 (conflicts) and variables V11 V657 V484
0.06 c instanciating clauses for relation R6 (conflicts) and variables V658 V657 V484
0.06 c instanciating clauses for relation R6 (conflicts) and variables V711 V60 V485
0.06 c instanciating clauses for relation R6 (conflicts) and variables V707 V60 V485
0.06 c instanciating clauses for relation R6 (conflicts) and variables V711 V706 V485
0.06 c instanciating clauses for relation R6 (conflicts) and variables V707 V706 V485
0.06 c instanciating clauses for relation R6 (conflicts) and variables V49 V299 V298
0.06 c instanciating clauses for relation R6 (conflicts) and variables V301 V299 V298
0.06 c instanciating clauses for relation R6 (conflicts) and variables V49 V300 V298
0.06 c instanciating clauses for relation R6 (conflicts) and variables V301 V300 V298
0.06 c instanciating clauses for relation R6 (conflicts) and variables V646 V6 V446
0.06 c instanciating clauses for relation R6 (conflicts) and variables V645 V6 V446
0.06 c instanciating clauses for relation R6 (conflicts) and variables V646 V644 V446
0.06 c instanciating clauses for relation R6 (conflicts) and variables V645 V644 V446
0.06 c instanciating clauses for relation R6 (conflicts) and variables V12 V561 V455
0.06 c instanciating clauses for relation R6 (conflicts) and variables V563 V561 V455
0.06 c instanciating clauses for relation R6 (conflicts) and variables V12 V562 V455
0.06 c instanciating clauses for relation R6 (conflicts) and variables V563 V562 V455
0.06 c instanciating clauses for relation R6 (conflicts) and variables V708 V4 V457
0.06 c instanciating clauses for relation R6 (conflicts) and variables V703 V4 V457
0.06 c instanciating clauses for relation R6 (conflicts) and variables V708 V702 V457
0.06 c instanciating clauses for relation R6 (conflicts) and variables V703 V702 V457
0.06 c instanciating clauses for relation R6 (conflicts) and variables V220 V217 V80
0.06 c instanciating clauses for relation R6 (conflicts) and variables V448 V447 V445
0.06 c instanciating clauses for relation R6 (conflicts) and variables V242 V255 V247
0.06 c instanciating clauses for relation R6 (conflicts) and variables V242 V239 V247
0.06 c instanciating clauses for relation R6 (conflicts) and variables V242 V248 V247
0.06 c instanciating clauses for relation R6 (conflicts) and variables V246 V245 V242
0.06 c instanciating clauses for relation R6 (conflicts) and variables V239 V240 V241
0.07 c ...done
0.07 c #SATvar=1515 #SATclauses=2358 #CSPpredicates=0
0.07 Verified 2356 original clauses.
0.07 c SAT problem is solved
0.07 restarts : 1
0.07 conflicts : 0 (0 /sec)
0.07 decisions : 538 (1.30 % random) (8541 /sec)
0.07 propagations : 1513 (24020 /sec)
0.07 conflict literals : 0 ( nan % deleted)
0.07 Memory used : 7.02 MB
0.07 CPU time : 0.06299 s
0.07 c all predicates checked
0.07
0.07 s SATISFIABLE
0.07 v 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 0 0 1 1 1 1 1 1 0 1 1 1 1 1 0 0 1 1 1 1 1 0 1 1 1 1 1 0 1 1 1 1 1 1 1 1 0 1 0 0 1 0 1 0 1 1 1 0 0 0 0 0 1 0 0 0 0 1 0 0 1 1 0 1 0 0 0 1 0 1 0 1 1 1 0 1 1 1 1 1 1 1 1 0 0 1 0 0 1 0 0 0 1 0 1 0 0 0 1 1 1 1 0 1 1 1 1 1 1 1 0 1 1 0 1 1 1 1 0 0 0 0 1 0 0 1 1 0 0 1 1 0 0 0 1 0 0 1 0 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 0 0 1 1 1 1 1 1 0 1 1 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 1 1 0 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 0 1 1 0 1 1 1 1 1 0 0 1 1 1 0 1 0 0 1 0 1 0 0 0 0 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 1 1 1 1 0 0 1 0 1 1 1 1 0 0 1 1 1 1 1 1 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 1 1 0 1 1 1 0 1 0 1 0 1 1 0 1 0 0 0 1 1 0 1 1 1 0 1 1 1 1 1 1 1 1 0 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 0 0 1 1 1 0 1 1 1 1 1 0 0 1 1 1 1 1 1 0 1 1 1 1 1 0 0 0 0 1 1 1 0 1 0 1 1 0 1 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 0 1 1 0 0 1 1 1 1 1 0 0 0 0 0 0 0 1 1 1 1 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 0 0 0 0 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
0.07
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node43/watcher-242385-1168093386 -o ROOT/results/node43/solver-242385-1168093386 -C 1800 -M 900 /tmp/evaluation/242385-1168093386/CSPtoSAT+minisat /tmp/evaluation/242385-1168093386/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 0.00 0.59 1.29 4/68 13730
/proc/meminfo: memFree=1549640/2055920 swapFree=4192812/4192956
[pid=13729] ppid=13727 vsize=6696 CPUtime=0
/proc/13729/stat : 13729 (CSPtoSAT+minisa) R 13727 13729 13461 0 -1 4194304 402 0 0 0 0 0 0 0 18 0 1 0 157738717 6856704 382 18446744073709551615 134512640 134728504 4294956704 18446744073709551615 4735064 0 0 4096 0 0 0 0 17 1 0 0
/proc/13729/statm: 1674 382 357 52 0 30 0
Child status: 0
Real time (s): 0.0775989
CPU time (s): 0.071988
CPU user time (s): 0.06399
CPU system time (s): 0.007998
CPU usage (%): 92.7694
Max. virtual memory (cumulated for all children) (KiB): 0
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.06399
system time used= 0.007998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 958
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= 16
involuntary context switches= 1
runsolver used 0.004999 s user time and 0.010998 s system time
The end
Begin job on node43 on Sat Jan 6 14:23:09 UTC 2007
IDJOB= 242385
IDBENCH= 7388
FILE ID= node43/242385-1168093386
PBS_JOBID= 3476672
Free space on /tmp= 66482 MiB
BENCH NAME= HOME/pub/bench/CPAI06/dimacs/ssa/ssa-7552-160_ext.xml
COMMAND LINE= /tmp/evaluation/242385-1168093386/CSPtoSAT+minisat /tmp/evaluation/242385-1168093386/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node43/watcher-242385-1168093386 -o ROOT/results/node43/solver-242385-1168093386 -C 1800 -M 900 /tmp/evaluation/242385-1168093386/CSPtoSAT+minisat /tmp/evaluation/242385-1168093386/unknown.xml
META MD5SUM SOLVER= 0ab327eaa5be249b47b2f4b19927f0b0
MD5SUM BENCH= d6fba6b5a7d3c677b49cd760e4250b78
RANDOM SEED= 182008534
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.278
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.278
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1550056 kB
Buffers: 31412 kB
Cached: 386584 kB
SwapCached: 0 kB
Active: 103288 kB
Inactive: 335716 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1550056 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 3280 kB
Writeback: 0 kB
Mapped: 31200 kB
Slab: 52664 kB
Committed_AS: 2992468 kB
PageTables: 1592 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66483 MiB
End job on node43 on Sat Jan 6 14:23:20 UTC 2007