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