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