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