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