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