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