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