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