(1,6) (2,30) (3,14) (4,10) (5,27) (7,17) (8,20) (9,12) (11,24) (13,21) (15,28) (16,26) (18,23) (19,29) (22,25) 
nodes: 16334  conflicts: 36  modelTime: 955  solveTime: 63647  totalTime: 64635  modelSize: 72265  readTime: 33 size: 15