(1,29) (2,3) (4,11) (5,17) (6,30) (7,23) (8,18) (9,15) (10,13) (12,22) (14,20) (16,25) (19,24) (21,28) (26,27) 
nodes: 107535  conflicts: 44  modelTime: 1275  solveTime: 414125  totalTime: 415420  modelSize: 72263  readTime: 20 size: 15