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