(1,29) (2,25) (3,28) (4,19) (5,24) (6,27) (7,16) (9,22) (10,26) (11,30) (12,20) (13,18) (14,23) (15,17) 
nodes: 35846  conflicts: 21  modelTime: 660  solveTime: 76924  totalTime: 77589  modelSize: 41293  readTime: 5 size: 14