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