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