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