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