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