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