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