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