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