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