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