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