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