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