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