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