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