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