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