(1,24) (2,29) (3,19) (4,23) (5,16) (6,20) (7,21) (8,27) (10,30) (11,26) (12,25) (13,22) (14,28) (15,18) 
nodes: 3260  conflicts: 13  modelTime: 1187  solveTime: 10815  totalTime: 12012  modelSize: 41293  readTime: 10 size: 14