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