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