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