(1,28) (2,29) (3,20) (4,27) (5,22) (7,30) (8,17) (9,24) (10,25) (12,23) (13,19) (14,26) (15,16) 
nodes: 2347  conflicts: 30  modelTime: 667  solveTime: 3556  totalTime: 4229  modelSize: 41298  readTime: 6 size: 13