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