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