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