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