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