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