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