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