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