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