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