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