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