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