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