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