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