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