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