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