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