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