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