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