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