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