(1,17) (2,8) (3,23) (4,12) (5,25) (6,29) (7,24) (9,19) (10,20) (11,26) (13,14) (15,18) (16,28) (21,30) (22,27) 
nodes: 44392  conflicts: 42  modelTime: 1204  solveTime: 195132  totalTime: 196356  modelSize: 72265  readTime: 20 size: 15