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