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