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