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