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