(1,7) (2,16) (3,19) (4,23) (5,14) (6,12) (8,30) (9,20) (10,18) (11,26) (13,21) (15,22) (17,29) (24,27) (25,28) 
nodes: 47538  conflicts: 42  modelTime: 1724  solveTime: 241907  totalTime: 243651  modelSize: 72266  readTime: 20 size: 15