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