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