(1,26) (2,11) (3,13) (4,21) (5,24) (6,25) (7,15) (8,18) (9,20) (10,12) (14,28) (16,29) (17,19) (22,30) (23,27) 
nodes: 127153  conflicts: 6  modelTime: 1565  solveTime: 590450  totalTime: 592030  modelSize: 72264  readTime: 15 size: 15