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