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