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