(1,26) (2,20) (3,13) (4,8) (5,9) (6,18) (7,16) (10,28) (11,14) (12,21) (15,19) (23,29) (24,27) (25,30) 
nodes: 66753  conflicts: 34  modelTime: 1102  solveTime: 278612  totalTime: 279734  modelSize: 72265  readTime: 20 size: 14