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