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