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