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