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