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