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