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