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