(1,30) (2,23) (3,22) (4,26) (6,20) (7,21) (8,16) (9,29) (10,18) (11,19) (12,24) (13,28) (14,25) (15,17) 
nodes: 9708  conflicts: 35  modelTime: 660  solveTime: 16846  totalTime: 17513  modelSize: 41298  readTime: 7 size: 14