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