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