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