(1,26) (2,17) (3,24) (4,16) (5,18) (6,30) (7,25) (8,28) (9,29) (10,20) (12,27) (13,21) (14,22) (15,23) 
nodes: 2530  conflicts: 21  modelTime: 663  solveTime: 4432  totalTime: 5101  modelSize: 41298  readTime: 6 size: 14