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