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