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