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