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