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