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