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