(1,20) (2,12) (3,17) (4,19) (5,11) (6,28) (7,30) (8,27) (9,18) (10,24) (13,21) (14,25) (15,22) (16,26) (23,29) 
nodes: 94029  conflicts: 53  modelTime: 927  solveTime: 200284  totalTime: 201222  modelSize: 72274  readTime: 11 size: 15