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