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