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