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