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