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