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