(1,26) (2,9) (3,5) (4,30) (6,8) (10,21) (11,27) (12,15) (13,14) (16,29) (17,18) (20,24) (22,23) (25,28) 
nodes: 1839  conflicts: 54  modelTime: 1276  solveTime: 8647  totalTime: 9943  modelSize: 72263  readTime: 20 size: 14