(1,13) (2,19) (3,29) (4,27) (5,8) (7,18) (9,17) (10,11) (12,22) (14,21) (15,26) (16,23) (20,30) (25,28) 
nodes: 3600  conflicts: 48  modelTime: 1714  solveTime: 11472  totalTime: 13206  modelSize: 72265  readTime: 20 size: 14