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