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