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