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