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