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