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