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