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