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