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