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