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