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