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