(1,24) (2,8) (3,18) (4,11) (5,7) (6,9) (10,30) (12,20) (14,26) (16,19) (17,28) (21,23) (22,29) (25,27) 
nodes: 1477  conflicts: 50  modelTime: 948  solveTime: 4891  totalTime: 5850  modelSize: 72263  readTime: 11 size: 14