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