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