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