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