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