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