(1,5) (2,14) (3,24) (4,10) (6,27) (7,12) (8,15) (9,18) (11,17) (13,29) (16,26) (19,30) (20,23) (21,22) (25,28) 
nodes: 28510  conflicts: 13  modelTime: 1153  solveTime: 198513  totalTime: 199730  modelSize: 72285  readTime: 63 size: 15