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