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