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