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