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