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