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