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