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