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