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