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