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