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