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