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