(1,21) (3,16) (4,27) (5,23) (6,28) (7,29) (8,26) (9,30) (10,25) (11,24) (12,19) (13,20) (14,18) (15,22) 
nodes: 4592  conflicts: 35  modelTime: 661  solveTime: 8123  totalTime: 8790  modelSize: 41293  readTime: 6 size: 14