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