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