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