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