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