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