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