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