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