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