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