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