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