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