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