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