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