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