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