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