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