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