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