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