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