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