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