(1,16) (2,26) (3,30) (4,20) (5,17) (6,9) (7,21) (8,19) (10,11) (12,29) (13,18) (14,24) (15,28) (22,27) (23,25) 
nodes: 200799  conflicts: 19  modelTime: 940  solveTime: 664168  totalTime: 665139  modelSize: 72264  readTime: 31 size: 15