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