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