(1,24) (3,29) (4,19) (5,21) (7,23) (8,25) (9,16) (10,27) (11,30) (12,20) (13,28) (14,18) (15,22) 
nodes: 3561  conflicts: 36  modelTime: 658  solveTime: 4515  totalTime: 5179  modelSize: 41293  readTime: 6 size: 13