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