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