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