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