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