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