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