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