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