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