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