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