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