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