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