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