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