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