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