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