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