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