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