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