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