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