(1,29) (2,19) (3,18) (4,20) (6,28) (7,30) (8,21) (9,24) (10,27) (11,23) (12,25) (13,22) (14,16) (15,26) 
nodes: 10501  conflicts: 29  modelTime: 659  solveTime: 23315  totalTime: 23981  modelSize: 41293  readTime: 7 size: 14